リーマンブラザーズ破綻を聞いて、リーマン予想を思い出し、ゼータ関数の自明な零点って何故負の偶数かわからなくなった。
リーマンと言えば普通の人はサラリーマンのことを思い出すのでしょうが、理系の人間は間違いなく数学者のリーマンを思い出す。つづりは全部違うけど。でゼータ関数も思い出したんだが、自明な零点が何で負の偶数か完全に忘れている。
ゼータ関数は
ζ(s)=∑1/ms (m=1...∞)
で負の整数だと
1+22k+32k+...=0
だしな。発散するようにみえちゃう。当然解析接続の話だし、適当な関数関係式使えばすぐわかるんだろうけど、自明って何?ということで以下のような話を昔オイラーがしてたようだ。
http://www.math.ucsb.edu/~stopple/symmetriczeta.pdf
を参考に。今、φ(s)=∑(-1)m-1 /ms (m=1...∞) とすると、
φ(s)-ζ(s)=2ζ(s)/2s とかけるので、φ(s)=(1-21-s )ζ(s) となる。
φ(-n)=∑(-1)m-1 mn だ。
ここでf(z)=z/(1+z)とする。f(z)=∑(-1)m-1 zm なんでいかにもφ(s)と関係しそう。
実際、zf '(z)=z/(1+z)2 =∑(-1)m-1m zm
なんでφ(-1)=zf' (z)|z=1=1/4 からζ(-1)=-1/12だ。1+2+3+4+...=-1/12だよ。有名なやつ。
で本題。z( z f '(z) )' = z(1-z)/(1+z)3=∑(-1)m-1m2 zm
なので、 φ(-2)=z( z f '(z) )' |z=1 = 0だからζ(-2)=0。やっとでた。こんなに長くて、かつ別に証明でもないんだけど計算できるから自明か。数学者の言葉はわからん。「ご冗談でしょう、ファインマンさん」でも自明をからかった話があったな。
« Excelで双曲型偏微分方程式を解いてみる(その4) - Lax-Wendroff編 | トップページ | Excelで双曲型偏微分方程式を解いてみる(その5) - Fromm編 »
「学問・資格」カテゴリの記事
- 高周波(RF・マイクロ波・ミリ波・5G)関連ニュース2021年2月16日 IEEE Microwave Magazineの特集はオールデジタルのRFID、Microwave JournalはEバンド ミリ波通信に衛星や気球を使う話、アメリカの半導体企業がバイデンに投資を迫る、(2021.02.17)
- カオスを生じる電気回路、Chua’s circuitをLTspiceで回路シミュレーションしてみる。(2021.02.19)
- Labyrinth Chaos(迷宮カオス)を生むThomas-Rössler方程式のパラメータbを色々変えて、Python+Scipyでルンゲクッタ8次のDOP853(Dormand&Prince)を使って計算してGIFアニメ(2021.02.16)
- フィッツヒュー・南雲 (FitzHugh-Nagumo) 方程式をPython+Scipyでルンゲクッタ8次のDOP853(Dormand Prince)で計算。(2021.02.23)
- 「水晶振動子の等価回路計算」をカシオの高精度計算サイトkeisan.casio.jpの自作式としてUP! インピーダンスの大きさと位相がグラフ化できる。(2021.02.12)
« Excelで双曲型偏微分方程式を解いてみる(その4) - Lax-Wendroff編 | トップページ | Excelで双曲型偏微分方程式を解いてみる(その5) - Fromm編 »
コメント