アペリーの定理

数学において、アペリーの定理 (Apéry's theorem) は、アペリーの定数 ζ(3) が無理数であるという、数論の結果である。つまり、数

$\zeta (3)=\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^3}=\frac{1}{1^3}+\frac{1}{2^3}+\frac{1}{3^3}+\cdots =1.2020569\dots$

は p と q を整数として分数 p/q の形に書くことはできない。

リーマンのゼータ関数の偶数 2n (n > 0) における特殊値はベルヌーイ数を用いて表すことができ、したがって無理数であることが分かるのだが、奇数 2n + 1 (n > 0) において一般に有理数であるのか無理数であるのかは、無理数であると予想されてはいるが、未解決のままである。

1978年にフランスの数学者ロジェ・アペリーが、周囲が全く予期しないうちに、この事実の証明を発表した。アペリーの証明は、一箇所手計算ではできないところが含まれているといわれており、またその方法が未だに他の ζ の奇数値に対して一般化できないこともあり、非常に謎めいたものとなっている。後にテンプレート:仮リンクのルジャンドル多項式を使った証明やテンプレート:仮リンクの証明などが発表されている。

アペリーはフランス人数学者で、当時隆盛を誇っていたブルバキとは独立にこの方法を開拓した。

歴史

レオンハルト・オイラーは n が正の整数であるときにある有理数 p/q に対して

$\frac{1}{1^{2n}}+\frac{1}{2^{2n}}+\frac{1}{3^{2n}}+\frac{1}{4^{2n}}+\cdots =\frac{p}{q}{\pi }^{2n}$

であることを証明した。具体的には、左辺の無限級数を ζ(2n) と書いて、彼は

$\zeta (2n)=(-1{)}^{n+1}\frac{B_{2n}(2\pi {)}^{2n}}{2(2n)!}$

を示した。ここで B_n はベルヌーイ数であり、有理数である。テンプレート:Πⁿ が常に無理数であると証明されてからは、これは ζ(2n) がすべての正の整数 n に対して無理数であることを示している。

奇数に対するいわゆるテンプレート:仮リンク、正の整数 n に対する値 ζ(2n+1) に対しては、テンプレート:Pi によるそのような表示は知られていない。これらの量の比

$\frac{\zeta (2n+1)}{{\pi }^{2n+1}}$

はすべての整数 n ≥ 1 に対して超越数であることが予想されている。

このため、奇数に対するゼータ定数は、すべて超越数であると信じられているにもかかわらず、無理数であることの証明は見つかっていなかった。しかしながら、1978年6月、ロジェ・アペリーは "Sur l'irrationalité de ζ(3)"（ζ(3)の無理性に関して）という題の講演を行った。講演において彼は ζ(3) と ζ(2) が無理数であることの証明の概略を話した。後者は テンプレート:Pi を用いた表示に頼るのではなく前者のための手法を単純化したものを用いた。結果の全く予想外の性質とアペリーの主題への無感動で非常に概略的なアプローチのために、聴衆の数学者の多くは証明には欠陥があると捨て去った。しかしながら、テンプレート:仮リンク、テンプレート:仮リンク、テンプレート:仮リンクはアペリーは良い線を行っているかもしれないと思い、彼の証明の確認を始めた。2ヶ月の後に彼らはアペリーの証明の確認を終わり、8月18日にコーエンは証明の全詳細を与える講演を行った。講演の後アペリー自身が演説をし彼のアイデアのもととなったものを説明した。

アペリーの証明

アペリーのオリジナルの証明はペーター・グスタフ・ディリクレの有名な無理数性判定法に基づいていた。それは数 ξ は次の条件を満たすならば無理数であるというものである：ある固定された c, δ > 0 に対して、

$|\xi -\frac{p}{q}|<\frac{c}{q^{1+\delta }}$

となる互いに素な整数 p, q が無限に存在する。

アペリーの出発点は ζ(3) の級数表示

$\zeta (3)=\frac{5}{2}\sum _{n=1}^{\mathrm{\infty }}\frac{(-1{)}^{n-1}}{n^3(\genfrac{}{}{0ex}{}{2n}{n})}$

であった。大雑把に言えば、次にアペリーはこの級数と同じくらい早く ζ(3) に収束する数列 c_n,k を定義した。具体的には、

$c_{n,k}=\sum _{m=1}^n\frac{1}{m^3}+\sum _{m=1}^k\frac{(-1{)}^{m-1}}{2m^3(\genfrac{}{}{0ex}{}{n}{m})(\genfrac{}{}{0ex}{}{n+m}{m})}$

である。それから彼はさらに、商がほぼ c_n,k である2つの数列 a_n と b_n を定義した。これらの数列は

$a_n=\sum _{k=0}^n{c}_{n,k}{(\genfrac{}{}{0ex}{}{n}{k})}^2{(\genfrac{}{}{0ex}{}{n+k}{k})}^2$

および

$b_n=\sum _{k=0}^n{(\genfrac{}{}{0ex}{}{n}{k})}^2{(\genfrac{}{}{0ex}{}{n+k}{k})}^2$

であった。数列 a_n/b_n は判定法を適用するのに十分早く ζ(3) に収束するのであるが、残念なことに a_n は n = 2 以降整数ではない。それでもアペリーは、適当な整数を a_n と b_n に掛けてこの問題に対処してもなお収束は無理性を保証するのに十分早いことを示したのである。

後の証明

アペリーの結果から一年も経たないうちに別の証明がテンプレート:仮リンクによって見つかった。彼はアペリーの級数をずらしルジャンドル多項式 $\widetilde{P_n}(x)$ を含む積分に置き換えた。後にテンプレート:仮リンクへと一般化されることになる表現を用いて、ある整数 A_n と B_n （数列 テンプレート:OEIS2C および テンプレート:OEIS2C）に対して

$\underset{0}{\overset{1}{\int }}\underset{0}{\overset{1}{\int }}\frac{-\log (xy)}{1-xy}\widetilde{P_n}(x)\widetilde{P_n}(y)dxdy=\frac{A_n+B_n\zeta (3)}{\mathrm{lcm}{[1,\dots ,n]}^3}$

となることをボイカーズは示した。部分積分と、ζ(3) が有理数 a/b に等しいという仮定を用いて、ボイカーズは最終的に次の不等式を導出した：

$0<\frac{1}{b}\le |A_n+B_n\zeta (3)|\le 4{\left(\frac{4}{5}\right)}^n.$

最右辺は 0 に収束するからいずれ 1/b を下回り、これは矛盾である。

テンプレート:仮リンクによるより最近の証明はアペリーのオリジナルの証明をより思い起こさせるものであり、テンプレート:仮リンクによる第四の証明とも類似している。後のこれらの証明は再びある正の定数以上であるのに 0 に収束する数列を構成することによって ζ(3) が有理数であるという仮定から矛盾を導く。超幾何級数を使っていて、それらは早期の証明よりもいくぶん分かりづらい。

さらに大きなゼータ定数

アペリーとボイカーズは級数表示

$\zeta (2)=3\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^2(\genfrac{}{}{0ex}{}{2n}{n})}$

のおかげで彼らの証明を ζ(2) のために単純化できた。アペリーの手法の成功のおかげで、

$\zeta (5)={\xi }_5\sum _{n=1}^{\mathrm{\infty }}\frac{(-1{)}^{n-1}}{n^5(\genfrac{}{}{0ex}{}{2n}{n})}$

という性質を持つ数 ξ₅ の研究がなされた。もしそのような ξ₅ が見つかれば、アペリーの定理の証明のために使われた手法は ζ(5) が無理数であることの証明に使えると期待される。しかし不幸なことに、コンピュータによる広範な探索はそのような定数を見つけることに失敗しており、実は今では次のことが知られている。ξ₅ が存在し、かつ次数が高々 25 の代数的数であれば、その最小多項式の係数は巨大、少なくとも 10³⁸³ でなければならない。そのため、アペリーの証明を拡張して大きい奇数のゼータ定数に取り組むことはうまくいきそうにない。

それにも関わらず、この領域を研究する多くの数学者は近いうちにブレイクスルーがくることを予期している。実際、テンプレート:仮リンクとTanguy Rivoalによる最近の研究は ζ(2n+1) のうち無限個は無理数でなければならないことを示しており、ζ(5), ζ(7), ζ(9), ζ(11) のうち少なくとも1つは無理数でなければならないことまでも示している。彼らの研究はゼータ関数の値に線型形式を用いており、それらを評価して奇数におけるゼータ関数の値によって張られるベクトル空間の次元をおさえる。Zudilin が彼のリストをさらに短くして1つだけの数にするという望みは実現しなかったが、この問題に関する研究はなお活発に行われている。Higher zeta constants は物理への応用がある： テンプレート:仮リンクの相関関数を記述するのである。例えば文献を参照。

外部リンク

• テンプレート:Cite journal