数論における重要公式Poissonの和公式を証明します。さらに応用としてリーマンゼータ関数関数等式の証明にも応用できるテータ関数のモジュラー関係式と呼ばれる等式を証明します。
参考文献
(1) 素数とゼータ関数 (共立講座 数学の輝き)(2) Multiplicative Number Theory (Graduate Texts in Mathematics 74)
Fourier級数展開とFourier変換
Poissonの和公式はFourier級数展開とFourier変換に関連する公式です。ここではFourier級数展開とFourier変換について簡単に紹介します。まずFourier級数展開についてです。を周期Lの実変数複素数値関数とします。つまり
が成り立っているということです。この時
\begin{align}
c_n=\frac{1}{L}\int_0^{L}f(y)e^{-2n\pi i y/L} \; dy \notag
\end{align}と定めこれを の第
Fourier係数と呼びます。
※以下の議論において整数全体を走る無限和は
\begin{align}
\sum_{n \in \mathbb{Z}} =\sum_{-\infty}^{\infty}=\lim_{N\to \infty} \sum_{n=-N}^N \notag
\end{align}を意味しています。
が周期
の関数であって点
で微分可能なら
\begin{align}
f(x)=\sum_{n\in \mathbb{Z}}c_ne^{2n\pi i x/L} \notag
\end{align}が成り立つ。
さらにFourier変換を定義します。
実変数複素数値関数 に対して
\begin{align}
\widehat{f}(\xi )=\int_{-\infty}^{\infty}f(x)e^{-2\pi i x \xi } \; dx \notag
\end{align}を のFourier変換と呼びます。
Fourier級数展開、Fourier変換ともに解析学のかなり重要な位置を占めていて合わせてFourier解析や調和解析などと呼ばれています。
さてFourier級数展開とFourier変換。眺めているとずいぶんと似ているような気がします。そこでこの二つの間になにか関係が成り立つんじゃないかと思うのは至極当然。その解答がPoissonの和公式です。
Poissonの和公式
ではPoissonの和公式を証明します。級関数
は
をある
に対して満たすとする。このとき
\begin{align}
\sum_{n\in \mathbb{Z}}f(n)=\sum_{n\in \mathbb{Z}}\widehat{f}(n) \notag
\end{align}が成り立つ。
証明 関数 を
\begin{align}
F(x)=\sum_{k \in \mathbb{Z}}f(x+k) \notag
\end{align}と定める。に対する仮定より
は
上一様収束する。したがって
は
級である。このとき
の変数を1ずらしても和は整数全体を走るから
F(x+1)=\sum_{k\in \mathbb{Z}}f(x+k+1) =F(x) \notag
\end{align}
\begin{align}
c_n&=\int_0^1F(y)e^{-2n\pi i y}\; dy \notag \\
&=\sum_{k\in \mathbb{Z}}\int_0^1f(y+k)e^{-2n\pi i y}\; dy \notag
\end{align}
\begin{align}
&=\sum_{k\in \mathbb{Z}}\int_k^{k+1}f(x)e^{-2n\pi i x}\; dx \notag \\
&=\int_{-\infty}^{\infty} f(x)e^{-2n\pi i x}\; dx =\widehat{f}(n) \notag
\end{align}と計算できる。
F(x)=\sum_{k\in \mathbb{Z}}f(x+k)=\sum_{n\in \mathbb{Z}}c_ne^{2n\pi i x}=\sum_{n\in \mathbb{Z}}\widehat{f}(n)e^{2n\pi i x} \notag
\end{align}
テータ関数のモジュラー関係式
Poissonの和公式の重要な応用であるテータ関数のモジュラー関係式を証明します。以下、複素数\begin{align}
H=\{ z \in \mathbb{C} | y>0\} \notag
\end{align}と置きます。
\begin{align}
\theta (z)=\sum_{n\in \mathbb{Z}}e^{\pi i n^2 z} \quad (z \in H) \notag
\end{align}と定め、これをテータ関数といいます。絶対値をとれば
\begin{align}
{|}\theta (z) {|} \le \sum_{n \in \mathbb{Z}} e^{-\pi n^2y} \notag
\end{align}となるので
さて、テータ関数のモジュラー関係式とは次の公式のことを言います。
任意の に対して
\begin{align}
\theta \Big{(}-\frac{1}{z}\Big{)}=\Big{(}\frac{z}{i}\Big{)}^{1/2}\theta (z) \notag
\end{align}が成り立つ。
上の関数のうち上記モジュラー関係式に類する関数等式を満たすものはモジュラー形式と呼ばれます。テータ関数はモジュラー形式の一例となります。その意味で上の関係式はモジュラー関係式と呼ばれます*1。
モジュラー関係式は次のより一般的な補題から即座に導くことができます。この補題自体もDirichletのL関数の関数等式を導く際に用いられます。
任意の に対して
\sum_{n\in \mathbb{Z}}e^{-(n+\alpha )^2\pi /x}= x^{1/2}\sum_{n\in \mathbb{Z}}e^{-n^2\pi x+2\pi in\alpha} \notag
\end{align}
補題の証明 関数 を
\begin{align}
f_{\alpha, x}(y)=e^{-(y+\alpha )^2\pi /x} \notag
\end{align}と置く。これにPoissonの和公式を適用すると
\sum_{n\in \mathbb{Z}}f_{\alpha ,x}(n) =\sum_{n\in \mathbb{Z}}\int_{-\infty}^{\infty}e^{-(y+\alpha )^2\pi /x-2\pi iny} \; dy \notag
\end{align}
\begin{align}
=x\sum_{n\in \mathbb{Z}}e^{2\pi i n \alpha } \int_{-\infty}^{\infty} e^{-\pi x u^2-2 \pi i n x u}\; du \notag
\end{align}となる。 被積分関数の指数部分は平方完成により
{-}\pi x u^2-2 \pi i n x u =-\pi x (u+in)^2 -n^2\pi x \notag
\end{align}
=x\sum_{n=-\infty}^{\infty} e^{-n^2\pi x+2\pi i n \alpha}\int_{-\infty}^{\infty}e^{-\pi x(u+in)^2}\; du \label{ast}
\end{align}
まず
\begin{align}
=\lim_{N\to \infty} \int_{C_N}e^{-\pi x z^2}\; dz \notag
\end{align}とかける。さらに被積分関数は正則関数であるから積分路を
\begin{align}
=\lim_{N\to \infty}\int_{C'_N}e^{-\pi x z^2}\; dz \label{ken}
\end{align}となる。
ここで 上の積分のうち最後の
から
までの虚軸に沿った積分路の部分の絶対値を計算すると、任意の
に対して
\int_0^n e^{-\pi x (N+it)^2}i\; dt &=ie^{-\pi x N^2} \int_0^n e^{-2\pi i N xt +t^2}\; dt \notag \\
&\ll e^{-\pi x N^2} \to 0 \quad (N\to \infty) \notag
\end{align}
=\lim_{N\to \infty} \int_{-N}^Ne^{-\pi x t^2}\; dt=\int_{-\infty}^{\infty}e^{-\pi x t^2}\; dt \notag
\end{align}
\begin{align}
=\frac{1}{\sqrt{\pi x}}\int_{-\infty}^{\infty}e^{-u^2} \;du=\frac{1}{\sqrt{x}} \notag
\end{align}となる。ただし最後はガウス積分による。同様に
\sum_{n\in \mathbb{Z}}f_{\alpha ,x}(n)=x^{1/2}\sum_{n=-\infty}^{\infty}e^{-n^2\pi x+2\pi in\alpha} \notag
\end{align}
補題の公式と複素関数論における一致の定理よりテータ関数のモジュラー関係式が示されます。
モジュラー関係式の証明 補題の式で とすれば
\begin{align}
\sum_{n\in \mathbb{Z}}e^{-n^2 \pi /x}=x^{1/2}\sum_{n\in \mathbb{Z}}e^{-n^2\pi x} \notag
\end{align}となる。これを少し書き換えると
\sum_{n\in \mathbb{Z}}e^{\pi i n^2/(-ix)}=\Big{(}\frac{ix}{i}\Big{)}^{1/2}\sum_{n\in \mathbb{Z}} e^{\pi i n^2 (ix)} \notag
\end{align}
\begin{align}
\theta \Big{(}-\frac{1}{ix}\Big{)} =\Big{(}\frac{ix}{i}\Big{)}^{1/2} \theta (ix) \notag
\end{align}となる。したがって
おわりに
Poissonの和公式とその応用を考えました。ここで出てきた補題はリーマンゼータ関数やL関数の関数等式を導くのにとても便利です。さらにテータ関数はモジュラー関係式によってモジュラー形式、あるいは保型形式という数論における重要な分野へとつながる重要な関数です。
*1:なぜモジュラーと呼ばれるのでしょう?ご存知の方いましたらコメントで教えてください。