トップページ⇒math
101コメント22KB

ζ(2n+1)

■ このスレッドは過去ログ倉庫に格納されています
0001１３２人目の素数さん2006/05/04(木) 16:53:08
はっきりさせておきたいことがある。
0002１３２人目の素数さん2006/05/04(木) 16:58:51
n < 0 の話？
0003１３２人目の素数さん2006/05/04(木) 16:59:28
とりあえず自然数あたりから
0004Moon2006/05/04(木) 17:00:26
ζ関数について一から教えてくれ。
0005１３２人目の素数さん2006/05/04(木) 17:05:37
ζ(z) = Σ[n=1〜∞] (1 / n^z)
zが正の偶数の場合は、かなり簡単な値に収束する
ζ(2) = pi^2 / 6など。
0006１３２人目の素数さん2006/05/04(木) 17:15:35
>>5
は、リーマンゼータと呼ばれる狭義
本当の定義はクソ長ったらしい
0007１３２人目の素数さん2006/05/04(木) 17:18:52
ζ関数のグラフはζに形が似ている。
0008Moon2006/05/04(木) 17:26:12
ぜー太関数のグラフは女性器に形が似ていると聴いたことがある
0009１３２人目の素数さん2006/05/04(木) 17:30:06
どのぐらいの年齢の？
0010１３２人目の素数さん2006/05/04(木) 17:59:00
幼女性器の形に似たグラフをプロットする関数きぼんぬ
0011１３２人目の素数さん2006/05/04(木) 18:08:22
関数の定義から不可能。
0012１３２人目の素数さん2006/05/04(木) 19:07:01
２０代くらいだと
0013１３２人目の素数さん2006/05/04(木) 19:22:24
変質者ばかりだな・・・危険団体規制法に・・・
0014１３２人目の素数さん2006/05/04(木) 19:29:51
北朝鮮の拉致問題よりロシアの幼女ポルノのほうが大問題だ・・・
0015１３２人目の素数さん2006/05/13(土) 07:20:14
ζ(3)=(2π^2/7)*log2+(16/7)*∫[_0^(π/2)]xlog(sin x)dx
は無理数。

ζ(5),ζ(7),ζ(9),ζ(11)のうち少なくとも1つは無理数。

ζ(2n+1)の値は三重三角関数を用いて表示できる。

ζ(2n+1)の値はζ(2n)の無限和の形で表すことが出来る。
0016１３２人目の素数さん2006/05/13(土) 07:35:54
ζ(x)でxが負の場合は？
0017１３２人目の素数さん2006/05/13(土) 08:37:20
ζ星人の見分け方

１．立つとき体が右に傾く
２．抽象的概念を、日常にたとえるのが得意
３．素数に命をかけている
４．ときおり奇妙な歌をうたい踊る
0018１３２人目の素数さん2006/05/14(日) 04:56:00
関数等式
0019１３２人目の素数さん2006/05/14(日) 08:29:37
ζを四元数まで拡大すると…
0020１３２人目の素数さん2006/05/15(月) 02:06:13
和の方はともかく積の方は面倒になりそうだな。
0021１３２人目の擬素数さん2006/05/15(月) 05:55:46
ζ（ｓ）の　0<Re(s)<1 の帯領域をcritical stripという。
日本語に訳すと”きわどいストリップ”だ。
0022１３２人目の素数さん2006/05/15(月) 06:03:57
ゼータ関数のグラフはメコスジに似ている
0023１３２人目の素数さん2006/05/16(火) 04:43:35
オイラーによる予想
ζ(3)=α*(log2)^3+β*(π^2/6)*log2
となる有理数α,βが存在する。
0024１３２人目の素数さん2006/05/16(火) 04:48:59
((pi)^2)/6をζ(2)って書けるね
こうすると5以上の奇数にもつながる？
0025１３２人目の素数さん2006/05/16(火) 05:54:19
>>22
カーディシアで現すと小陰唇の発達した成人女性のそれにみえるが。
0026１３２人目の素数さん2006/05/24(水) 20:19:26
>>24
ベルヌーイ数を使えば、偶数のゼータは似たような式で書けますよ。
奇数のゼータについてはだめですけど。
0027１３２人目の素数さん2006/05/24(水) 20:37:39
ζ(2n)=(-(-4)^n)(Ｂ_(2n))(π^2n)/(2(2n!))
0028１３２人目の素数さん2006/05/24(水) 20:43:16
πの指数部の2nにも括弧を付けておいて。
0029１３２人目の素数さん2006/05/24(水) 21:11:41
Ｂ_nは、
納n=0 to ∞]((Ｂ_n)(x^n))/(n!)=(xe^x)/((e^x-)1)
で定義される。

あとは関数等式
ζ(s)＝π^(s-1/2)Γ((1-s)/2)／Γ(s/2)ζ(1-s)
で、古典的な結果はおｋ
0030たむ ◆Tamu.jIzZ. 2006/05/24(水) 22:03:50
ラマヌジャンの予想は？
0031１３２人目の素数さん2006/05/26(金) 09:48:58
>>24
話が逆。
0032１３２人目の素数さん2006/06/16(金) 00:00:41
630
0033１３２人目の素数さん2006/07/28(金) 15:28:35
760
0034１３２人目の素数さん2006/08/05(土) 17:26:35
　
0035なんつっ亭 ◆YLhguIEUXM 2006/08/05(土) 18:32:20
ζ(2n+1)＝ちんげの数

なんつって＾＾；
0036１３２人目の素数さん2006/08/05(土) 19:55:10
誰か谷山予想や佐藤予想と絡めてラマヌジャンの予想の解説してくれんかね？
0037１３２人目の素数さん2006/08/30(水) 16:38:59
998
0038１３２人目の素数さん2006/08/31(木) 02:43:46
結局ζが奇数の時は既知関数では表せないんじゃ？
現在でも謎のままなんだし
0039１３２人目の素数さん2006/08/31(木) 02:49:31
>>38
うまく表せたらフィールズ賞とれます？
0040１３２人目の素数さん2006/08/31(木) 03:44:26
そんな簡単には取れないだろう
0041１３２人目の素数さん2006/09/01(金) 15:44:13
>>38
オイラーの予想が当たったら残念だな
0042１３２人目の素数さん2006/09/02(土) 01:55:49
>>40
じゃあどうしたら撮れるの？
0043１３２人目の素数さん2006/09/02(土) 14:05:17
一晩寝れば
0044１３２人目の素数さん2006/09/24(日) 23:21:39
くりこみとやらが意味わからん
0045１３２人目の素数さん2006/10/03(火) 05:32:56
174
0046１３２人目の素数さん2006/11/13(月) 14:05:39
410
0047１３２人目の素数さん2006/11/26(日) 21:06:59
正の奇数のゼータの値全体の中には無理数が無限にある
0048１３２人目の素数さん2006/12/30(土) 09:21:06
>>47
何で
0049１３２人目の素数さん2006/12/30(土) 10:07:19
ζ(z) = Σ[n=1〜∞] (1 / n^z)
ζ(z) = Ｓ(1 / ｘ^z)dx
0050１３２人目の素数さん2006/12/30(土) 13:24:25
>>48
証明されているがなぜと説明できるほどオレが理解していない
0051１３２人目の素数さん2007/02/05(月) 17:06:40
110
0052１３２人目の素数さん2007/03/11(日) 20:36:53
855
0053１３２人目の素数さん2007/04/20(金) 05:31:48
誰か

Σ1/(2^n*n^3) の値わかります？n=1から∞までの和です。

ちなみに、

Σ1/(2^n*n^2) = 1/2 * ζ(2) - 1/2 * (ln2)^2

というのは簡単に分かりました。要は、これでべき数が３のときなんだよなぁ。
0054PolyLogarithm2007/04/21(土) 15:56:10
>53

Li_k(z) ≡ Σ[n=1,∞) (z^n)/(n^k),

Li_2(1/2) = (1/12)π^2 - (1/2){ln(2)}^2
　　　　　= 0.582240526465012505902656320159680108755…

Li_3(1/2) = (7/8)ζ(3) - (1/12)(π^2)ln(2) + (1/6){ln(2)}^3
　　　　　= 0.537213193608040200940623225594965826675…

http://functions.wolfram.com/ZetaFunctionsandPolylogarithms/PolyLog/03/02/02/
0055１３２人目の素数さん2007/04/21(土) 17:48:50
>>54さん、ありがとうございます。
自分でも、∫x^2/(e^x-1)dx などを使って導くことができました。
上のリンクのページにいろいろまとまってますね。。
0056１３２人目の素数さん2007/04/21(土) 18:39:26
ζの自明な零点 -2n ってあるけど，どうやればこれが零点だと示せるんでしょうか？
解析接続をしろとあるんですが，わかりません．解説をお願いします．
0057１３２人目の素数さん2007/04/21(土) 18:57:52
自明じゃないから、その本が間違ってると思う。
0058１３２人目の素数さん2007/04/21(土) 19:34:48
ちなみに　∫x^2/(e^x-1)dx　を0からln(2)まで積分すると

　　　　　　　　1/4 * ζ(3) - 1/3 * ln(2)

になるようです。
0059１３２人目の素数さん2007/06/08(金) 13:51:52
>>56
関数等式を使う。
自明な零点ってのは実軸上の零点。
他は皆実数成分が1/2ってのが、リーマン予想。

オイラーから入るとそんなにむずかしくはない。関数等式は、、、。
リーマンの前になんていうか、関数等式を示唆した式をオイラーは手に入れている。
そこらへんは、アユーブのZetaの話（高校生向きにくらいに書かれている。）
がわかりやすいだけでなく、想像力をかりたてられる。
他（リーマンの論文とか、その跡の研究は）はむずかしい。
0060１３２人目の素数さん2007/06/25(月) 13:25:34
844
0061１３２人目の素数さん2007/07/07(土) 14:16:10
926 :
　Σ[i=1,∞) 1/(i^k) = 1 + 1/(k-1).
の証明お願いしますm(_ _)m
ただしkは2以上の任意の整数。

http://science6.2ch.net/test/read.cgi/math/1182816910/926
さくらスレ２２１
0062１３２人目の素数さん2007/07/07(土) 14:21:04
963 :

ζ(2) = (π^2)/6 　= 1.64493406684822643647241516664603…
ζ(3) = (5/2)Σ[n=1,∞) (-1)^(n-1) /{(n^3)C[2n,n]} = 1.202056903159594284…
ζ(4) = (π^4)/90　= 1.08232323371113819151600369654117…
ζ(6) = (π^6)/945 = 1.01734306198444913971451792979092…

http://science6.2ch.net/test/read.cgi/math/1182816910/963
0063１３２人目の素数さん2007/07/07(土) 14:24:25
986 :
〔補題〕
　　1 + 1/(2^k) + {(5-k)/(2k-2)}(1/2)^k < ζ(k) < 1 + 1/(2^k) + {1/(k-1)}(2/5)^(k-1),
(略証)
y=(1/x)^k の凸性を使うと
　1/(i^k) < ∫[i-1/2,i+1/2] (1/x)^k dx,
　∫[i,i+1] (1/x)^k dx < { 1/(i^k) + 1/((i+1)^k) } /2,
よって
　1 + 1/(2^(k+1)) + ∫[2,∞) (1/x)^k dx < ζ(k) < 1 + 1/(2^k) + ∫[5/2,∞) (1/x)^k dx,

(例)
　1.625 < ζ(2) < 1.65
　1.1875 < ζ(3) < 1.205
　1.07291666… < ζ(4) < 1.08383333…
　1.03125 < ζ(5) < 1.03765
　1.015625 < ζ(6) < 1.017673

http://science6.2ch.net/test/read.cgi/math/1182816910/986
0064１３２人目の素数さん2007/07/07(土) 23:35:21
序でにもう1つ…

〔補題〕
　m≧2 のとき
　　1 + 1/(2^k) + …… + 1/(m^k) < ζ(k) < 1 + 1/(2^k) + …… + 1/(m^k) + 1/{(k-1)(m+0.5)^(k-1)},
0065１３２人目の素数さん2007/07/09(月) 01:56:34

http://messages.yahoo.co.jp/bbs?.mm=GN&action=m&board=1835554&tid=a5bca1bca5bf4xbfta4rjy6afa49a4ka4bfa4aa4k&sid=1835554&mid=1&type=date&first=1
ゼータ関数を勉強するために
0066１３２人目の素数さん2007/07/21(土) 00:23:31
23 ：１３２人目の素数さん：2006/05/16(火) 04:43:35
オイラーによる予想
ζ(3)=α*(log2)^3+β*(π^2/6)*log2
となる有理数α,βが存在する。

これって、コンピュータに数値計算させれば、ある程度予想はつくよね？
有理数は可算無限個しかないんだから、たとえば、
「有理数α，βの分母と分子は、ともに10000以下」
という条件のもとで、上の式に合致する(と思われる)α，βを探してみるとか。
0067名無しさん＠そうだ選挙に行こう2007/07/29(日) 08:19:26
↑アフォか
0068名無しさん＠そうだ選挙に行こう2007/07/29(日) 10:25:17
>>67
予想が正しいとすれば、α，βは「大げさな」有理数ではないと思うんだ。
たとえば、α＝767432/1219878361 みたいな変な有理数が答えだとは思えない。
α＝2/3みたいな、すっきりした有理数であってほしい。もしこのような有理数が
答えだった場合、「有理数α，βの分母と分子は、ともに10000以下」という条件の
もとで調べれば十分だろう。逆に、この範囲で答えがなかったら、予想は否定的で
ある可能性が高いと言える。
0069名無しさん＠そうだ選挙に行こう2007/07/29(日) 10:29:25
一応付け加えておくと、俺はコンピュータの検索によって「答えっぽいものを見つけたい」だけ。
0070名無しさん＠そうだ選挙に行こう2007/07/29(日) 12:04:05
↑天才か
0071１３２人目の素数さん2007/08/31(金) 16:43:01
0072１３２人目の素数さん2007/10/30(火) 10:07:33
200
0073１３２人目の素数さん2007/12/18(火) 17:42:08
それでともかく、ζ(3)/π^3=n/m、n,m≦10000で調べてくれないか？
多分もうどっかでやってるとは思うが、自然な発想で追っていくのが一番おもしろい。
その上、自分で追っかけるのが一番おもしろいよ。数学は。誰かがやっていようがいまいが。
初等的な発想で自然に追っかけて行って欲しい。
大体がオイラーってのは自然な発想しかしてないよ。それを自然に生涯続けてるのがなんか
すごいなって思うが、、、。だれでもできる事じゃない。

しかし、オイラーの発想はいつも素朴で自然。発見した物はしかしいつもとても
美しい。
0074１３２人目の素数さん2007/12/18(火) 23:29:07
＞ζ(3)/π^3=n/m、n,m≦10000で調べてくれないか？
ここでも見ておけ。
http://homepage3.nifty.com/y_sugi/sp/sp32.htm
0075１３２人目の素数さん2007/12/21(金) 17:56:38
そこは嘘くさいし、上記の近似は行っていない。
0076１３２人目の素数さん2007/12/21(金) 18:16:14
ζ(3)≒1.2020569031595942854
π≒3.1415926535897932385
ζ(3)/π^3≒0.038768179602916830537

6π^3/ζ(3)≒154.76610099971911978
0077742007/12/21(金) 23:39:42
>>75
そこのサイトの真ん中より少し上に、

ζ(3)＝π^3[(1/945)*{(2^3＋1)/(2^3−1)}*{(3^3＋1)/(3^3−1)}*{(5^3＋1)/(5^3−1)}*…]^1/2

とあるだろうが。ζ(3)/π^3が、きれいな形の無限積(の平方根)で表示されている。この表示が
有理数になるとは思えない(もちろん、実際のところは どうなのか分からないが)。

＞上記の近似は行っていない。
俺がこのサイトを挙げたのは、ζ(3)/π＾3の無限積表示が載っているからだ。この表示を見れば、
有理数の近似を行うことがいかに無謀か分かるだろ。

＞そこは嘘くさいし、
あほｗ サイトの管理人が「万が一」トンデモの類であっても、載っている公式は正しいかもしれないだろ。
特に、何か信頼できる書籍やサイトからの引用だったなら、載っている公式自体は信用に値する。あるいは、
公式が正しいかどうか、自分で検証してみるのもよい。オマエは全て他人任せなのか？ちなみに、

ζ(3)＝π^3[(1/945)*{(2^3＋1)/(2^3−1)}*{(3^3＋1)/(3^3−1)}*{(5^3＋1)/(5^3−1)}*…]^1/2

この公式は正しい。証明(と呼ぶのも大げさなほど簡単な証明)がサイトに載っている。あまりに
証明が簡単なので、その正しさもすぐに検証できる。オマエは「嘘くさい」の一言で全ての検証を
放棄してしまったから、こんなに簡単に導ける公式を見落としてしまったわけだ。
結局、損するのは自分自身。
0078１３２人目の素数さん2007/12/22(土) 12:15:29
まあ、嘘くさい
0079１３２人目の素数さん2007/12/22(土) 18:12:09
>>77
それさあ、素数の無限積なんだけど、、、？はああーーつかれる。
ζ(3)＝π^3*[(1/945)*{(2^3＋1)/(2^3−1)}*{(3^3＋1)/(3^3−1)}*{(5^3＋1)/(5^3−1)}*…]^(1/2)
=π^3*[(1/945)*{(Π(pは素数）(p^3+1)/(p^3-1)]^(1/2)
=[π^6*(1/945)*Π(pは素数）(1+1/p^3)/(1-1/p^3)]^(1/2)
=[π^6/945*Π(pは素数）(1+1/p^3)(1-1/p^3)/(1-1/p^3)^2]^(1/2)
=ζ(6)*Π(pは素数）(1-1/p^6)/(1-1/p^3)^2]^(1/2)
=[ζ(6)*ζ(6)/ζ(3)^2]^(1/2)
=ζ(6)/ζ(3)
素数の無限積を素数の無限積であらわしたって近似式なんかでてくる訳がない。
素数の無限積を有理数の近似式であらわしてみてって言っただけ。

ついでに言っておくが
ζ(3)=ζ(6)/ζ(3)な訳はない。だから言ってるだろうが、そこはうそ臭いって。
自分で手動かして計算しろ！馬鹿が！
0080訂正2007/12/22(土) 18:14:42
素数の無限積/Π^3を有理数の近似式であらわしてみて
0081訂正2007/12/22(土) 18:19:54
素数の無限積/Π^3を有理数の近似式であらわしてみて

=ζ(6)*Π(pは素数）(1-1/p^6)/(1-1/p^3)^2]^(1/2)
=[ζ(6)/ζ(6)*ζ(3)^2]^(1/2)
=ζ(3)

興奮してしまった。その式はだから当たり前な事を当たり前に言い換えてるだけ。
0082１３２人目の素数さん2007/12/22(土) 18:21:15
定義を言ってるだけなんだよ。そこは、、、。
0083１３２人目の素数さん2007/12/22(土) 18:26:38
偶数の場合にはそれが有理数になる。君の言う無謀な試みが成功する訳だ。
オイラーも最初は計算したろう。偶数の様にならないかなって。
でもならなかったんだろう。なってればこんな話題になんかならない。
でも古人のやった事、ちょっと桁あげてやってみてって言っただけ。
0084１３２人目の素数さん2007/12/22(土) 18:32:15
素数の無限積が円と有理数になるから不思議なんだよ。
それを考えるのにまた、素数の無限積使ってどうするんだよ。
なんか出てくるのか？あほらしい。
0085１３２人目の素数さん2007/12/22(土) 18:33:37
おまえがやれよｗ
0086１３２人目の素数さん2007/12/22(土) 18:36:39
めんどくさいからいやだ。
0087１３２人目の素数さん2007/12/22(土) 18:39:12
せっかくやってくれそうな奴がいたのにつぶしやがって、馬鹿が、、、。
0088１３２人目の素数さん2007/12/22(土) 18:55:35
類似の式はζ(k)=π^k*有理数[ζ(2k)/ζ(k)^2}^(1/2)で出てくる。素数の無限積を用いた有理数近似が確かに出てくる。
kが偶数でも奇数でも出てくる。あんまり馬鹿らしくて涙が出てくる。
0089１３２人目の素数さん2007/12/22(土) 19:22:20
ついでに言うと奇ze-taを無限の隅ze-taで表した式もこのサイトの主は発見している。
それはオイラーも発見した物と同じ物だ。それはそれで価値はあるだろう。サイトの
個人主にとっては。新しくもない事を確かめもしないで自分が発見したとか言う神経が
どうかしてる。アインシュタインがまちがってたり、オイラーの公式が定義だったり
それを発見したのが自分だったりする様なサイトはどうでもいいんだよ。
オイラーが素直にやってみた事やってみる方が価値があるよ。
0090１３２人目の素数さん2007/12/22(土) 19:37:59
嘘くさい
0091１３２人目の素数さん2007/12/22(土) 20:08:50
6π^3/ζ(3)≒154.76610099971911978

数字の並びが充分おもしおろいんだが、、、
0092１３２人目の素数さん2007/12/22(土) 21:22:24
ゆとりが多すぎる
0093１３２人目の素数さん2007/12/30(日) 04:14:36
奇数ゼータか
もうどうでもいいや
0094１３２人目の素数さん2008/03/28(金) 03:28:18
946
0095１３２人目の素数さん2008/04/22(火) 22:17:33
n*n!/...
0096１３２人目の素数さん2008/05/03(土) 18:43:52
素数の無限積を素数の無限積であらわしたって近似式なんかでてくる訳がない。
0097１３２人目の素数さん2008/05/04(日) 03:20:32
何の近似式だよボケｗ
近似も何も、「ピッタリイコール」の公式じゃねーか。
0098１３２人目の素数さん2008/05/04(日) 16:53:08
二年。
0099１３２人目の素数さん2008/05/05(月) 23:23:20
age
0100１３２人目の素数さん2008/05/06(火) 02:20:54
フﾐζ I can fly
0101１３２人目の素数さん2008/07/04(金) 08:49:53
192
■ このスレッドは過去ログ倉庫に格納されています