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

ラマヌジャンの論文24:ベルトランの仮説の証明

241
0
$$\newcommand{a}[0]{\alpha} \newcommand{Aut}[0]{\operatorname{Aut}} \newcommand{b}[0]{\beta} \newcommand{C}[0]{\mathbb{C}} \newcommand{c}[0]{\cdot} \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{FF}[6]{{}_3F_2\left(\begin{matrix}#1,#2,#3\\#4,#5\end{matrix};#6\right)} \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} $$

はじめに

 この記事ではラマヌジャンの書いた論文"A proof of Bertrand’s postulate"を読んでいきます。
 タイトルの24という番号はハーディによる書籍"Collected Papers of Srinivasa Ramanujan"におけるナンバリングに準じています。ちなみに"Collected Papers"の全容については こちらのサイト こちらのサイト にて閲覧することができます。
 なお各命題の証明については論文で示されている式変形以外は自力で考案したものとなるので至らぬ点もあるかもしれませんがあしからず。

概説

 ベルトランの仮説とは次のような主張のことを言います。

 任意の実数$x\geq1$に対し$x< p\leq2x$なる素数$p$が存在する。

 僅か2ページのこの論文ではベルトランの仮説のシンプルな証明を与えています。
 またその証明から
$$\pi(2x)-\pi(x)>\frac{x-9\sqrt{2x}}{3\log2x}\geq0\quad(x\geq162)$$
という不等式が得られるのでより強く以下の主張が示されます。

 任意の実数$x\geq1$に対し$x< p\leq 2x$なる素数が少なくとも$\dis\l\lfloor\frac{x-9\sqrt{2x}}{3\log2x}\r\rfloor$個存在する。

1.

 以下$\vt(x),\psi(x)$をチェビシェフ関数
$$\vt(x)=\sum_{p\leq x}\log p,\quad \psi(x)=\sum^\infty_{n=1}\vt(x^\frac1n)$$
とする。
 このときベルトランの仮説は
$$\vt(2x)-\vt(x)=\sum_{x< p\leq2x}\log p>0$$
と言い換えられることに注意する。

$\dis\log\lfloor x\rfloor!=\sum^\infty_{n=1}\psi\l(\frac xn\r)$

$$\psi(x)=\sum^\infty_{n=1}\sum_{p^n\leq x}\log p$$
と表せることに注意するとルジャンドルの公式から
\begin{align} \log\lfloor x\rfloor! &=\sum_p\log p\sum^\infty_{n=1}\l\lfloor\frac x{p^n}\r\rfloor\\ &=\sum_p\log p\sum^\infty_{n=1}\sum_{k\leq x/p^n}1\\ &=\sum^\infty_{k=1}\sum^\infty_{n=1}\sum_{p^n\leq x/k}\log p\\ &=\sum^\infty_{k=1}\psi\l(\frac xk\r) \end{align}
とわかる。

\begin{align} \log\G(x)-2\log\G\l(\frac{x+1}2\r) &\leq\log\lfloor x\rfloor!-2\log\lfloor x/2\rfloor!\\ &\leq\log\G(x+1)-2\log\G\l(\frac{x+1}2\r) \end{align}

$$\frac{d^2}{dx^2}\log\G(x)=\sum^\infty_{n=0}\frac2{(x+n)^2}>0$$
より
$$\log\G(x)-2\log\G\l(\frac{x+1}2\r),\quad\log\G(x+1)-2\log\G\l(\frac{x+1}2\r)$$
はそれぞれ単調増加であることに注意する。
 また
$$n+\frac12\leq\frac x2< n+\frac32$$
において
\begin{align} \log\lfloor x\rfloor!-2\log\lfloor x/2\rfloor! ={}&\log(2n+1)!-2\log n!, \quad\log(2n+2)!-2\log(n+1)!\\ ={}&\log(2n+1)!-2\log n!, \quad\log(2n+1)!-2\log n!-\log\frac{n+1}2\\ \end{align}
となることに注意すると
\begin{align} \log\G(x)-2\log\G\l(\frac{x+1}2\r) &<\log\G(2n+3)-2\log\G\l(n+2\r)\\ &\leq\log\lfloor x\rfloor!-2\log\lfloor x/2\rfloor!\\ &\leq\log\G(2n+2)-2\log\G(n+1)\\ &\leq\log\G(x+1)-2\log\G\l(\frac{x+1}2\r) \end{align}
とわかる。

\begin{align} \log\lfloor x\rfloor!-2\log\lfloor x/2\rfloor!&<\frac34x\quad(x>0)\\ \log\lfloor x\rfloor!-2\log\lfloor x/2\rfloor!&>\frac23x\quad(x>300) \end{align}

 スターリングの公式
$$\log\G(x)=\l(x-\frac12\r)\log x-x+\frac12\log2\pi+O\l(\frac1x\r)$$
および$\G(x+1)=x\G(x)$から
\begin{align} \log\G(x)-2\log\G\l(\frac{x+1}2\r)&=x\log2-\frac12\log x-\frac12\log2\pi+1+O\l(\frac1x\r)\\ \log\G(x+1)-2\log\G\l(\frac{x+1}2\r)&=x\log2+\frac12\log x-\frac12\log2\pi+1+O\l(\frac1x\r) \end{align}
が成り立つので$\log2=0.6931\ldots$に注意するとわかる(多分)。

\begin{align} \psi(x)-\psi\l(\frac x2\r)&<\frac34x\quad(x>0)\\ \psi(x)-\psi\l(\frac x2\r)+\psi\l(\frac x3\r)&>\frac23x\quad(x>300) \end{align}
特に
$$\psi(x)<\frac32x\quad(x>0)$$

 補題3より
\begin{align} \log\lfloor x\rfloor!-2\log\lfloor x/2\rfloor! &=\sum^\infty_{n=1}(-1)^{n-1}\psi\l(\frac xn\r)\\ &=\psi(x)-\psi\l(\frac x2\r) +\sum^\infty_{n=2}(\psi\l(\frac x{2n-1}\r)-\psi\bigg(\frac x{2n}\bigg))\\ &=\psi(x)-\psi\l(\frac x2\r)+\psi\l(\frac x3\r) -\sum^\infty_{n=2}(\psi\l(\frac x{2n+1}\r)-\psi\bigg(\frac x{2n}\bigg)) \end{align}
と表せることに注意すると
$$\psi(x)-\psi\l(\frac x2\r) \leq\log\lfloor x\rfloor!-2\log\lfloor x/2\rfloor! \leq\psi(x)-\psi\l(\frac x2\r)+\psi\l(\frac x3\r)$$
が成り立つので補題5より前者の不等式を得る。
 また後者の不等式については
\begin{align} \psi(x) &=\sum^\infty_{n=0}(\psi\l(\frac x{2^n}\r)-\psi\l(\frac x{2^{n+1}}\r))\\ &<\frac34\sum^\infty_{n=0}\frac x{2^n}=\frac32x \end{align}
とわかる。

$$\vt(x)-\vt\l(\frac x2\r)>\frac x6-3\sqrt x\quad(x>300)$$
が成り立つ。特に
$$\vt(2x)-\vt(x)>0\quad(x\geq162)$$
を得る。

 上と同様にして
$$\psi(x)-2\psi(\sqrt x)=\sum^\infty_{n=1}(-1)^{n-1}\vt(x^{\frac1n})$$
から
$$\psi(x)-2\psi(\sqrt x)\leq\vt(x)\leq\psi(x)$$
が成り立つので
\begin{align} \frac23x &<\psi(x)-\psi\l(\frac x2\r)+\psi\l(\frac x3\r)\\ &<\vt(x)-\vt\l(\frac x2\r)+2\psi(\sqrt x)+\psi\l(\frac x3\r)\\ &<\vt(x)-\vt\l(\frac x2\r)+3\sqrt x+\frac x2 \end{align}
つまり
$$\vt(x)-\vt\l(\frac x2\r)>\frac x6-3\sqrt x\quad(x>300)$$
を得る。
 特に$x\geq18^2=324$において
$$\frac x6-3\sqrt x\geq0$$
が成り立つので
$$\vt(2x)-\vt(x)>0\quad(x\geq162)$$
を得る。

2.

$$\pi(x)-\pi\l(\frac x2\r)>\frac{x-18\sqrt x}{6\log x}\quad(x>300)$$
が成り立つ。

  この記事 の定理4
$$\vt(x)=\pi(x)\log x-\int^x_2\frac{\pi(t)}{t}dt$$
から
\begin{align} \vt(x)-\vt\l(\frac x2\r) &=(\pi(x)-\pi\l(\frac x2\r))\log x+\pi\l(\frac x2\r)\log2-\int^x_{x/2}\frac{\pi(t)}{t}dt\\ &\leq(\pi(x)-\pi\l(\frac x2\r))\log x+\pi\l(\frac x2\r)\l(\log2-\int^x_{x/2}\frac{dt}t\r)\\ &=(\pi(x)-\pi\l(\frac x2\r))\log x \end{align}
が成り立つことに注意するとわかる。

$$x_n=2,11,17,29,41,\ldots\quad(n=1,2,3,4,5,\ldots)$$
とおくと$x\geq x_n$において
$$\pi(x)-\pi\l(\frac x2\r)\geq n$$
が成り立つ。

参考文献

[1]
S. Ramanujan, A proof of Bertrand’s postulate, Journal of the Indian Mathematical Society, 1919, 181 - 182
投稿日:129
更新日:129
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。

投稿者

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

コメント

他の人のコメント

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