ゼータ関数を勝手に拡張してみる
\zeta(s)=\sum_{n=1}^{\infty}\frac{1}{n^s}
$$前回の記事(下記リンク)では自然数の平方逆数和、つまりを求めたわけですね。
canaan1008.hatenablog.com
前回扱ったように、ゼータ関数に出てくる項のうち、奇数番目、偶数番目の項だけを足すことを表す記号とかあったほうが面白そうじゃない?って思いました。
というわけで勝手に作りました*1。
勝手に作ればいいのさ
たとえばこんな記法はどうでしょう。\begin{align}
\zeta_{\text{奇数}}(s)&=\sum\frac{1}{(\text{奇数})^s} \\
\zeta_{\text{偶数}}(s)&=\sum\frac{1}{(\text{偶数})^s} \\
\zeta_{\mathbb{N}}(s)&=\sum_{n=1}^{\infty}\frac{1}{n^s}
\end{align}最後の式は自然数全体で考えているので普通のゼータ関数と同じですね。
もうちょっと厳密に考えてみるとこんな記法が思い浮かびました。
意味が通じそうなときはのように記述しても良いことにしましょう。
例えばこういうことです。
の場合、\begin{align}
\zeta_{3,1}(s)&=\sum_{n=1}^{\infty}\frac{1}{(3n-1)^s}\\
&=\frac{1}{2^s}+\frac{1}{5^s}+\frac{1}{8^s}+\frac{1}{{11}^s}+\cdots
\end{align}分母がの形になっているものだけ足しましょうね〜ということです。
前回やっていたこと
前回扱ったのは平方(2乗)なので、のときのゼータ関数になります。
わかったことを上の記法を使って書くと、次のようになりますね。\begin{align}
\zeta(2)&=\sum_{n=1}^{\infty}\frac{1}{n^2}\\
&=\frac{1}{1^2}+\frac{1}{2^2}+\frac{1}{3^2}+\frac{1}{4^2}+\cdots\\
&=\frac{\pi^2}{6}\\
\zeta_{\text{奇数}}(2)&=\frac{1}{1^2}+\frac{1}{3^2}+\frac{1}{5^2}+\frac{1}{7^2}+\cdots\\
&=\frac{\pi^2}{8}\\
\zeta_{\text{偶数}}(2)&=\frac{1}{2^2}+\frac{1}{4^2}+\frac{1}{6^2}+\frac{1}{8^2}+\cdots\\
&=\frac{\pi^2}{24}
\end{align}前回の導出方法や補足を思い返すと次のようなこともわかります。\begin{align}
\zeta(2)&=\zeta_{\text{奇数}}(2)+\zeta_{\text{偶数}}(2)\\
\zeta_{\text{偶数}}(2)&=\frac{1}{2^2}\cdot\zeta(2)\\
\zeta_{\text{奇数}}(2)&=3\cdot\zeta_{\text{偶数}}(2)
\end{align}なんだか……
美しい!!
成り立つであろう性質
一般的なに関して考えても次のようなことは成り立ちそうです*3。$$
\zeta(s)=\sum_{b=0}^{a-1}\zeta_{a,b}(s)
$$自然数全体を奇数と偶数に分けたように、分母がの形になるそれぞれのグループに重複しないように分けたので、足し合わせれば元のゼータ関数に戻るよね、ということです。
\begin{align}
\zeta_{a,0}(s)&=\sum_{n=1}^{\infty}\frac{1}{(an)^s}\\
&=\frac{1}{a^s}\sum_{n=1}^{\infty}\frac{1}{n^s}\\
&=\frac{1}{a^s}\zeta(s)
\end{align}のときに限っては、各分母からを持ってこれるよね、持ってくると残るのは元のゼータ関数だよね、ということです。
逆に言えばからを求めることができます。前回の補足でやった内容です。
気になること
のときの値は元のゼータ関数から求めることができる(元の値が求まっていれば)が、のときの値は求まるのか…?
例えば、$$
\zeta_{3,2}(2)=\frac{1}{1^2}+\frac{1}{4^2}+\frac{1}{7^2}+\frac{1}{{10}^2}+\cdots\\
$$とか。
前回の内容の延長で考えたことなのでまだまだ研究中ですが、何か面白そうなことは絶対眠ってる気がする………(期待)