■ゼータの香りの漂う公式の背後にある構造(その79,杉岡幹生)
今回は、下記のζ(2)の分岐構造のうち『ζ(2)は、3分割の分身たちに分かれる。』と『3分割の分身たちは、6分割の分身たちに分かれる。』を確かめます。
//////////////////////////////////////////////////////////////////////
=========================================
ζ(2)は、2分割の分身たちに分かれる。
2分割の分身たちは、4分割の分身たちに分かれる。
4分割の分身たちは、8分割の分身たちに分かれる。
8分割の分身たちは、16分割の分身たちに分かれる。・・・・・・
=========================================
あるいは、次のようにもなっている。
=========================================
ζ(2)は、3分割の分身たちに分かれる。
3分割の分身たちは、6分割の分身たちに分かれる。
6分割の分身たちは、12分割の分身たちに分かれる。・・・・・・
=========================================
あるいは、次のようにもなっている。
=========================================
ζ(2)は、5分割の分身たちに分かれる。
5分割の分身たちは、10分割の分身たちに分かれる。
10分割の分身たちは、20分割の分身たちに分かれる。・・・・・
=========================================
あるいは・・と、素数を起点として無限に倍々ゲームで分岐していく。逆に無限の彼方から見れば・・⇒32分身⇒16分身⇒8分身⇒4分身⇒2分身⇒ζ(2) などとなっている。
厳密には予想ですが、こんなふうになっています。
(注記)例えば「3分割の分身たちは、6分割の分身たちに分かれる。」は、精密には「ζ(2)3分割の分身たちは、ζ(2)6分割の分身たちに分かれる。」ということを意味します。略して書いているので、ご注意ください。
//////////////////////////////////////////////////////////////////////
では今回は1分割、3分割の分岐構造を見ることにします。準備としてまず(その31)でのZ(2)(つまりζ(2))の1分割、3分割と、(その60)でのZ(2)6分割の結果を再掲します。
===================================<(その31)、(その60)から抜粋 >
Z(2)=1 +1/3^2 +1/5^2 +1/7^2 +1/9^2 +1/11^2 +・・=(3/4)ζ(2)=π^2/8
Z(2)は本質的にζ(2)に等しいものです。
■Z(2)1分割
Z(2)=1 +1/3^2 +1/5^2 +1/7^2 +1/9^2 +1/11^2 +・・=(π/4)^2 /{cos(π/4)}^2 =π^2/8
■Z(2)3分割
A1= 1 + 1/11^2 +1/13^2 +1/23^2 + 1/25^2 +1/35^2 +・・=(π/12)^2 /{cos(5π/12)}^2
A2=1/3^2 +1/9^2 +1/15^2 +1/21^2 + 1/27^2 +1/33^2 +・・=(π/12)^2 /{cos(3π/12)}^2
A3=1/5^2 +1/7^2 +1/17^2 +1/19^2 + 1/29^2 +1/31^2 +・・=(π/12)^2 /{cos(π/12)}^2
A1 +A2 +A3=Z(2)=π^2/8となる。
■Z(2)6分割
B1 = 1 + 1/23^2 +1/25^2 +1/47^2 + 1/49^2 +1/71^2 + ・・ =(π/24)^2 /{cos(11π/24)}^2
B2 = 1/3^2 + 1/21^2 +1/27^2 +1/45^2 + 1/51^2 +1/69^2 + ・・=(π/24)^2 /{cos(9π/24)}^2
B3 = 1/5^2 + 1/19^2 +1/29^2 +1/43^2 + 1/53^2 +1/67^2 + ・・=(π/24)^2 /{cos(7π/24)}^2
B4 = 1/7^2 + 1/17^2 +1/31^2 +1/41^2 + 1/55^2 +1/65^2 + ・・=(π/24)^2 /{cos(5π/24)}^2
B5 = 1/9^2 + 1/15^2 +1/33^2 +1/39^2 + 1/57^2 +1/63^2 + ・・=(π/24)^2 /{cos(3π/24)}^2
B6 =1/11^2 + 1/13^2 +1/35^2 +1/37^2 + 1/59^2 +1/61^2 + ・・=(π/24)^2 /{cos(π/24)}^2
B1 +B2 +B3 +B4 +B5 +B6=Z(2)=π^2/8となる。
===================================
上記の事実からまず「Z(2)は(つまりζ(2)は)、3分割の分身たちに分かれる」ことが言えます。これはこれまで見てきたゼータ分割そのものであり、当然成立しています。OKです。
次に「3分割の分身たちは、6分割の分身たちに分かれる」ことが言えるのですが、わかりますでしょうか。
すなわち、次のようにとなっているのです!
A1=B1 +B6 ----@
A2=B2 +B5 ----A
A3=B3 +B4 ----B
級数での成立は簡単にわかります(眺めればわかる)。また右辺値での成立も(級数での成立から自明ではありますが)、次のようにすれば容易に確かめられます。
三角関数において次式が成り立つ。
1/{cos(π/2 -2x)}^2 =(1/4)[1/{cos(π/2 -x)}^2 +1/{cos(x)}^2]
このxにπ/24、3π/24、5π/24を代入することで、@、A、Bの右辺値での成立を確かめることができます。
よって「3分割の分身たちは、6分割の分身たちに分かれる」ことがわかりました。
以上より、『ζ(2)は、3分割の分身たちに分かれる。』と『3分割の分身たちは、6分割の分身たちに分かれる。』が確認できました。
これまでに確認できたのは次の6つのケースです。
=========================================
ζ(2)は、2分割の分身たちに分かれる。
2分割の分身たちは、4分割の分身たちに分かれる。
4分割の分身たちは、8分割の分身たちに分かれる。
8分割の分身たちは、16分割の分身たちに分かれる。
=========================================
=========================================
ζ(2)は、3分割の分身たちに分かれる。
3分割の分身たちは、6分割の分身たちに分かれる。
=========================================
次回は、次を確かめたいと思います。
=========================================
6分割の分身たちは、12分割の分身たちに分かれる。
=========================================
以上。(杉岡幹生)
===================================