■有限ゼータ関数(その2)

有限ゼータ関数は、Nの正の約数nに関するnの逆数の総和として定義されます。

たとえば、

ζ2(s)=1/1^s+1/2^s

ζ3(s)=1/1^s+1/3^s

ζ9(s)=1/1^s+1/3^s+1/3^2s

===================================

【3】零点の分布

ζ3(s)=1/1^s+1/3^s=0

3^s=-1

3^s=exp(slog3)=-1

オイラーの公式より、

slog3=±πi,±3πi,±5・・・

s=±πi/log3,±3πi/log3,±5πi/log3,・・・純虚数(虚軸上に並ぶ)

===================================

ζ6(s)=ζ2(s)ζ3(s)=0

零点はζ2(s)=0の零点とζ3(s)の零点を合わせたもの・・・純虚数(虚軸上に並ぶ)

ζ9(s)=1/1^s+1/3^s+1/3^2s=0

両辺に(1/1^s-1/3^s)をかけると1/1^s-1/27^s=0

零点は1/27^s=1(ただし3^s≠1)・・・純虚数(虚軸上に並ぶ)

===================================

無限ゼータ関数の零点分布が虚軸に平行なs=1/2上に並ぶというのが有名なリーマン予想になります。

===================================