3
大学数学基礎解説
文献あり

ラマヌジャンの素数公式

1157
0
$$\newcommand{a}[0]{\alpha} \newcommand{Aut}[0]{\operatorname{Aut}} \newcommand{b}[0]{\beta} \newcommand{C}[0]{\mathbb{C}} \newcommand{d}[0]{\delta} \newcommand{dis}[0]{\displaystyle} \newcommand{e}[0]{\varepsilon} \newcommand{F}[4]{{}_2F_1\left(\begin{matrix}#1,#2\\#3\end{matrix};#4\right)} \newcommand{farc}[2]{\frac{#1}{#2}} \newcommand{G}[0]{\Gamma} \newcommand{g}[0]{\gamma} \newcommand{Gal}[0]{\operatorname{Gal}} \newcommand{H}[0]{\mathbb{H}} \newcommand{id}[0]{\operatorname{id}} \newcommand{Im}[0]{\operatorname{Im}} \newcommand{Ker}[0]{\operatorname{Ker}} \newcommand{l}[0]{\left} \newcommand{L}[0]{\Lambda} \newcommand{la}[0]{\lambda} \newcommand{La}[0]{\Lambda} \newcommand{Li}[0]{\operatorname{Li}} \newcommand{li}[0]{\operatorname{li}} \newcommand{M}[4]{\begin{pmatrix}#1& #2\\#3& #4\end{pmatrix}} \newcommand{N}[0]{\mathbb{N}} \newcommand{o}[0]{\omega} \newcommand{O}[0]{\Omega} \newcommand{ol}[1]{\overline{#1}} \newcommand{ord}[0]{\operatorname{ord}} \newcommand{P}[0]{\mathfrak{P}} \newcommand{p}[0]{\mathfrak{p}} \newcommand{q}[0]{\mathfrak{q}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{r}[0]{\right} \newcommand{R}[0]{\mathbb{R}} \newcommand{Re}[0]{\operatorname{Re}} \newcommand{s}[0]{\sigma} \newcommand{t}[0]{\theta} \newcommand{ul}[1]{\underline{#1}} \newcommand{vp}[0]{\varphi} \newcommand{vt}[0]{\vartheta} \newcommand{Z}[0]{\mathbb{Z}} \newcommand{z}[0]{\zeta} \newcommand{ZZ}[1]{\mathbb{Z}/#1\mathbb{Z}} \newcommand{ZZt}[1]{(\mathbb{Z}/#1\mathbb{Z})^\times} $$

はじめに

 この記事ではラマヌジャンの発見した素数公式
$$\pi(x)\sim\frac2\pi\sum^\infty_{n=1}(-1)^{n-1}\frac{2n}{(2n-1)B_{2n}}\l(\frac{\log x}{2\pi}\r)^{2n-1}$$
について解説していきます。

補題1

$$\log x=\int^1_0\frac{t^{x-1}-1}{\log t}dt$$

\begin{align*} \log x &=\int^x_1\frac{du}u\\\ &=\int^x_1\int^1_0t^{u-1}dtdu\\ &=\int^1_0\frac{t^{x-1}-1}{\log t}dt \end{align*}

$$\g=\int^1_0\l(\frac1t+\frac1{\log t}\r)dt$$

\begin{align*} \g &=\lim_{N\to\infty}\l(\sum^N_{n=1}\frac1n-\log N\r)\\ &=\lim_{N\to\infty}\l(\sum^N_{n=1}\int^1_0(1-t)^{n-1}dt-\int^1_0\frac{t^{N-1}-1}{\log t}dt\r)\\ &=\int^1_0\l(\frac1t+\frac1{\log t}\r)dt \end{align*}

$$\li(x)=\g+\log|\log x|+\sum^\infty_{n=1}\frac{(\log x)^n}{n\cdot n!}$$

\begin{align*} \li(x) &=\g-\int^1_0\frac{dt}t+\int^x_1\frac{dt}{\log t}\\ &=\g-\int^1_0\frac{dt}t+\int^{\log x}_0\frac{du}u+\int^{\log x}_0\frac{e^u-1}{u}du\qquad(t=e^u)\\ &=\g+[\log u]^{\log x}_1+\l[\sum^\infty_{n=1}\frac{u^{n-1}}{n!}\r]^{\log x}_0\\ &=\g+\log|\log x|+\sum^\infty_{n=1}\frac{(\log x)^n}{n\cdot n!} \end{align*}
(少しアヤしい変形をしているが簡単に正当化できる)

補題2

$$\sum^\infty_{n=1}\frac{\mu(n)}n=0,\quad\sum^\infty_{n=1}\mu(n)\frac{\log n}{n}=-1$$
が成り立つ。ただし$\mu(n)$はメビウス関数とした。

 メビウス関数は乗法的関数なので
\begin{align*} \sum^\infty_{n=1}\frac{\mu(n)}{n^s}&=\prod_{p:\mathrm{prime}}\sum^\infty_{k=0}\frac{\mu(p^k)}{p^{ks}}\\ &=\prod_{p:\mathrm{prime}}(1-p^{-s})=\frac1{\z(s)} \end{align*}
が成り立つ。したがって
\begin{align*} \sum^\infty_{n=1}\frac{\mu(n)}n &=\lim_{s\to1}\frac1{\z(s)}=0\\ \sum^\infty_{n=1}\mu(n)\frac{\log n}{n} &=-\lim_{s\to1}\frac1{(s-1)\z(s)}=-1 \end{align*}
を得る。

 素数計数関数$\pi(x)$
$$R(x)=\sum^\infty_{n=1}\frac{\mu(n)}n\li(x^\frac1n)$$
によってよく近似される。特に
$$\lim_{x\to\infty}\frac{\pi(x)}{R(x)}=1$$
が成り立つ。

  リーマンの素数公式
$$\pi(x)=\sum^\infty_{n=1}\frac{\mu(n)}{n} (\li(x^{\frac1n})-\sum_{\rho}\li(x^{\frac\rho{n}})+\int^\infty_{x^\frac1n}\frac{dt}{t(t^2-1)\log t}-\log2)$$
と素数定理より従う。

証明

$$G(x)=\frac2\pi\sum^\infty_{n=1}(-1)^{n-1}\frac{2n}{(2n-1)B_{2n}}\l(\frac{\log x}{2\pi}\r)^{2n-1}$$
とおいたとき
$$G(x)=R(x)-R(x^{-1})$$
が成り立つ。ただし$B_{2n}$はベルヌーイ数とした。

 上の補題より
\begin{align*} R(x) &=\sum^\infty_{n=1}\frac{\mu(n)}n\l(\g+\log|\log x|-\log n +\sum^\infty_{k=1}\frac1{k\cdot k!}\l(\frac{\log x}n\r)^k\r)\\ &=1+\sum^\infty_{k=1}\frac{(\log x)^k}{k\cdot k!}\sum^\infty_{n=1}\frac{\mu(n)}{n^{k+1}}\\ &=1+\sum^\infty_{k=1}\frac{(\log x)^k}{k\cdot k!\z(k+1)} \end{align*}
が成り立つので、ゼータ関数の特殊値
$$\z(2n)=(-1)^{n-1}\frac{(2\pi)^{2n}B_{2n}}{2(2n)!}$$
に注意すると
\begin{align*} R(x)-R(x^{-1}) &=2\sum^\infty_{n=1}\frac{(\log x)^{2n-1}}{(2n-1)(2n-1)!\z(2n)}\\ &=\frac2\pi\sum^\infty_{n=1}(-1)^{n-1}\frac{2n}{(2n-1)B_{2n}}\l(\frac{\log x}{2\pi}\r)^{2n-1} \end{align*}
を得る。

ラマヌジャンの素数公式

 $\pi(x)$$G(x)$によってよく近似される。特に
$$\lim_{x\to\infty}\frac{\pi(x)}{G(x)}=1$$
が成り立つ。

 上の補題より$R(x^{-1})\to0\quad(x\to\infty)$を示せば十分である。
 いま
$$g_n=\sum^n_{k=1}\frac{\mu(k)}k$$
とおくと部分和分により
\begin{align*} R(x^{-1}) &=\sum^\infty_{n=1}(g_n-g_{n-1})\li(x^{-1/n})\\ &=\sum^\infty_{n=1}g_n(\li(x^{-1/n})-\li(x^{-1/(n+1)}))\\ &=\sum^\infty_{n=1}g_n\int^{1/n}_{1/(n+1)}\frac{x^{-u}}udu\quad(t=x^{-u}) \end{align*}
が成り立つ。また
$$0\leq\int^{1/n}_{1/(n+1)}\frac{x^{-u}}udu\leq\l(\frac1n-\frac1{n+1}\r)\frac1{\frac1{n+1}}=\frac1n$$
と評価できること、および$g_n=O(1/(\log n)^2)$という評価が知られていることを用いると上の級数は絶対一様収束することがわかる。したがって
$$\lim_{x\to\infty}R(x^{-1}) =\sum^\infty_{n=1}g_n\l(\lim_{x\to\infty}\int^{1/n}_{1/(n+1)}\frac{x^{-u}}udu\r)=0$$
を得る。

余談

 ラマヌジャンはハーディに初めて送った手紙の中で次のようなことを述べている。

 $x$より小さい素数の総数を‘正確’に表す関数を発見しました. ‘正確に’というのは, $x$が無限大になってもこの関数と実際の素数の総数の差が$0$となるかごく小さい値となるという意味です.
 この関数が無限級数の形で表せること, さらにその表し方が$2$通りあることがわかりました.
($1$) ベルヌーイ数による表し方. この表し方により, $10^8$までの素数の総数を, 誤差が全くないかもしくはあったとしても$1$または$2$の範囲で容易に求めることができます. (←さらっとヤバいこと言ってない?)
($2$) 積分による表し方. この表し方から, この関数の値を全て計算できます.

 ラマヌジャンからの手紙に感銘を受けたハーディは返信を書くとともにその手紙の内容を知り合いの数学者たちに共有しており、ハーディの同僚であるリトルウッドもその一人であった。
 リトルウッドはラマヌジャンの研究に興味を持っていたようだが二度目の手紙にて
$$\pi(x)=\frac2\pi\sum^\infty_{n=1}(-1)^{n-1}\frac{2n}{(2n-1)B_{2n}}\l(\frac{\log x}{2\pi}\r)^{2n-1}$$

$$\pi(x)=\sum^\infty_{n=1}\frac{\mu(n)}n\Li(x^\frac1n)$$
といった(厳密には正しくない)公式が提示されているのを見て「素数に関する結果は誤りであります」とか

 私が想像しますに, 彼は自分の結果が正しいと自分自身を納得させることができれば満足してしまい, それで素数を含む発散級数に対するある種の作用が正当であると考えたのでしょう.
 (中略)結局この問題につきましては, 発散級数の研究がかなりひどい誤りを導いたのでしょう. そして驚くことではないのですが, 間違いなく素数に固有の恐ろしい悪魔に捕まってしまったのでしょう.

などと酷評した手紙をハーディに送っている(その反面いくつかの結果に対しては興味深いものであると評しており「彼がヤコビ級の数学者であると, 私には確信できます.」と述べている)。
 ちなみにこれらの手紙が交わされたのは1913年ごろの話であったが、リトルウッドは1914年に次のような結果を発表している。

リトルウッドの定理

 $\pi(x)-\li(x)$は非有界に振動する。またその振幅のオーダーは少なくとも$O(\frac{\sqrt x}{\log x}\log\log\log x)$以上である。

 このことは先の手紙にも現れており

$$\pi(x)-\Li(x)+\frac12\Li(\sqrt x)\neq O(\sqrt x/\log x)$$
であることが知られています. 彼の公式によりますと, この左辺は$O\big(\Li(\sqrt[3]{x})\big)$(つまり$O(\sqrt[3]x/\log x)$)となります。

と言及されている。
 このあたりの歴史を知っていると色々面白い。

参考文献

[1]
B. C. Berndt, Ramanujan’s Notebook Part IV, Springer, 1993, pp. 126-129
[2]
B. C. Berndt, R. A. Rankin 著, 細川尋史 訳, ラマヌジャン書簡集, シュプリンガー・フェアラーク東京, 2001
投稿日:20231114

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

子葉
子葉
977
220814
主に複素解析、代数学、数論を学んでおります。 私の経験上、その証明が簡単に探しても見つからない、英語の文献を漁らないと載ってない、なんて定理の解説を主にやっていきます。 同じ経験をしている人の助けになれば。最近は自分用のノートになっている節があります。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中