アペリーの定理のソースを表示

[[数学]]において、'''アペリーの定理''' (Apéry's theorem) は、[[アペリーの定数]] ζ(3) が[[無理数]]であるという、[[数論]]の結果である。つまり、数
:<math>\zeta(3)=\sum_{n=1}^\infty \frac{1}{n^3}=\frac{1}{1^3}+\frac{1}{2^3}+\frac{1}{3^3}+\dotsb = 1.2020569\ldots</math>
は ''p'' と ''q'' を整数として分数 ''p''/''q'' の形に書くことはできない。

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

[[1978年]]に[[フランス]]の[[数学者]][[ロジェ・アペリー]]が、周囲が全く予期しないうちに、この事実の[[証明 (数学)|証明]]を発表した。アペリーの証明は、一箇所手計算ではできないところが含まれているといわれており、またその方法が未だに他の ζ の[[奇数]]値に対して一般化できないこともあり、非常に謎めいたものとなっている。後に{{仮リンク|フリッツ・ボイカーズ|en|Frits Beukers}}の[[ルジャンドル多項式]]を使った証明や{{仮リンク|ユーリイ・ネステレンコ|en|Yuri Valentinovich Nesterenko}}の証明などが発表されている。

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

==歴史==
[[レオンハルト・オイラー]]は ''n'' が正の整数であるときにある有理数 ''p''/''q'' に対して
:<math>\frac{1}{1^{2n}}+\frac{1}{2^{2n}}+\frac{1}{3^{2n}}+\frac{1}{4^{2n}}+\dotsb = \frac{p}{q}\pi^{2n}</math>
であることを証明した。具体的には、左辺の無限級数を ζ(2''n'') と書いて、彼は
:<math>\zeta(2n) = (-1)^{n+1}\frac{B_{2n}(2\pi)^{2n}}{2(2n)!}</math>
を示した。ここで ''B<sub>n</sub>'' は[[ベルヌーイ数]]であり、有理数である。{{π}}<sup>''n''</sup> が常に無理数であると証明されてからは、これは ζ(2''n'') がすべての正の整数 ''n'' に対して無理数であることを示している。

奇数に対するいわゆる{{仮リンク|ゼータ定数|en|zeta constants|preserve=1}}、正の整数 ''n'' に対する値 ζ(2''n''+1) に対しては、{{pi}} によるそのような表示は知られていない。これらの量の比
:<math>\frac{\zeta(2n+1)}{\pi^{2n+1}}</math>
はすべての整数 ''n''&nbsp;≥&nbsp;1 に対して超越数であることが予想されている<ref>{{cite journal |last=Kohnen | first=Winfried |title=Transcendence conjectures about periods of modular forms and rational structures on spaces of modular forms |journal=Proc. Indian Acad. Sci. Math. Sci. |volume=99 | number=3 |year=1989 |pages=231–233 |doi=10.1007/BF02864395}}</ref>。

このため、奇数に対するゼータ定数は、すべて[[超越数]]であると信じられているにもかかわらず、無理数であることの証明は見つかっていなかった。しかしながら、1978年6月、[[ロジェ・アペリー]]は "Sur l'irrationalité de ζ(3)"（ζ(3)の無理性に関して）という題の講演を行った。講演において彼は ζ(3) と ζ(2) が無理数であることの証明の概略を話した。後者は {{pi}} を用いた表示に頼るのではなく前者のための手法を単純化したものを用いた。結果の全く予想外の性質とアペリーの主題への無感動で非常に概略的なアプローチのために、聴衆の数学者の多くは証明には欠陥があると捨て去った。しかしながら、{{仮リンク|アンリ・コーエン (数論学者)|en|Henri Cohen (number theorist)|label=アンリ・コーエン}}、{{仮リンク|ヘンドリック・レンストラ|en|Hendrik Lenstra}}、{{仮リンク|アルフレッド・ファン・デル・ポールテン|en|Alfred van der Poorten}}はアペリーは良い線を行っているかもしれないと思い、彼の証明の確認を始めた。2ヶ月の後に彼らはアペリーの証明の確認を終わり、8月18日にコーエンは証明の全詳細を与える講演を行った。講演の後アペリー自身が演説をし彼のアイデアのもととなったものを説明した<ref>{{cite journal |author=A. van der Poorten |title=A proof that Euler missed... |journal=[[The Mathematical Intelligencer]] |volume=1 |issue=4 |year=1979 |pages=195–203 |doi=10.1007/BF03028234 |url=http://www.maths.mq.edu.au/~alf/45.pdf}}</ref>。

== アペリーの証明 ==
アペリーのオリジナルの証明<ref>{{cite journal | last1 = Apéry | first1 = R. | year = 1979 | title = Irrationalité de ζ(2) et ζ(3) | url = | journal = Astérisque | volume = 61 | issue = | pages = 11–13 }}</ref><ref>{{Citation | last1=Apéry | first1 = R. | year = 1981 | chapter=Interpolation de fractions continues et irrationalité de certaines constantes | title=Bulletin de la section des sciences du C.T.H.S III | pages=37–53 }}</ref>は[[ペーター・グスタフ・ディリクレ]]の有名な無理数性判定法に基づいていた。それは数 ξ は次の条件を満たすならば無理数であるというものである：ある固定された ''c'', δ > 0 に対して、
:<math>\left|\xi-\frac{p}{q}\right|<\frac{c}{q^{1+\delta}}</math>
となる互いに素な整数 ''p'', ''q'' が無限に存在する。

アペリーの出発点は ζ(3) の級数表示
:<math>\zeta(3) = \frac{5}{2} \sum_{n=1}^\infty \frac{(-1)^{n-1}}{n^3\binom{2n}{n}}</math>
であった。大雑把に言えば、次にアペリーはこの級数と同じくらい早く ζ(3) に収束する数列 ''c<sub>n,k</sub>'' を定義した。具体的には、
:<math>c_{n,k}=\sum_{m=1}^{n}\frac{1}{m^{3}}+\sum_{m=1}^{k}\frac{(-1)^{m-1}}{2m^{3}\binom{n}{m}\binom{n+m}{m}}</math>
である。それから彼はさらに、商がほぼ ''c<sub>n,k</sub>'' である2つの数列 ''a<sub>n</sub>'' と ''b<sub>n</sub>'' を定義した。これらの数列は
:<math>a_{n}=\sum_{k=0}^{n}c_{n,k}\binom{n}{k}^{2}\binom{n+k}{k}^{2}</math>
および
:<math>b_{n}=\sum_{k=0}^{n}\binom{n}{k}^{2}\binom{n+k}{k}^{2}</math>
であった。数列 ''a<sub>n</sub>''/''b<sub>n</sub>'' は判定法を適用するのに十分早く ζ(3) に収束するのであるが、残念なことに ''a<sub>n</sub>'' は ''n'' = 2 以降整数ではない。それでもアペリーは、適当な整数を ''a<sub>n</sub>'' と ''b<sub>n</sub>'' に掛けてこの問題に対処してもなお収束は無理性を保証するのに十分早いことを示したのである。

== 後の証明 ==
アペリーの結果から一年も経たないうちに別の証明が{{仮リンク|フリッツ・ボイカーズ|en|Frits Beukers}}によって見つかった<ref>{{cite journal |author=F. Beukers |title=A note on the irrationality of ζ(2) and ζ(3) |journal=Bulletin of the London Mathematical Society |volume=11 |year=1979 |issue=3 |pages=268–272 |doi=10.1112/blms/11.3.268}}</ref>。彼はアペリーの級数を[[ずらしルジャンドル多項式]] <math>\tilde{P_{n}}(x)</math> を含む積分に置き換えた。後に{{仮リンク|Hadjicostas's formula|en|Hadjicostas's formula}}へと一般化されることになる表現を用いて、ある整数 ''A<sub>n</sub>'' と ''B<sub>n</sub>'' （数列 {{OEIS2C|A171484}} および {{OEIS2C|A171485}}）に対して
:<math>\int_{0}^{1}\!\!\int_{0}^{1}\frac{-\log(xy)}{1-xy}\tilde{P_{n}}(x)\tilde{P_{n}}(y)\,dxdy=\frac{A_{n}+B_{n}\zeta(3)}{\operatorname{lcm}\left[1,\ldots,n\right]^{3}}</math>
となることをボイカーズは示した。部分積分と、ζ(3) が有理数 ''a''/''b'' に等しいという仮定を用いて、ボイカーズは最終的に次の不等式を導出した：
:<math>0<\frac{1}{b}\leq\left|A_{n}+B_{n}\zeta(3)\right|\leq 4\left(\frac{4}{5}\right)^{n}.</math>
最右辺は 0 に収束するからいずれ 1/''b'' を下回り、これは[[帰謬法|矛盾]]である。

{{仮リンク|ヴァディム・ズディリン|en|Wadim Zudilin}}によるより最近の証明<ref>W. Zudilin (2002), [https://arxiv.org/abs/math/0202159 ''An Elementary Proof of Apéry's Theorem''].</ref>はアペリーのオリジナルの証明をより思い起こさせるものであり、{{仮リンク|ユーリイ・ネステレンコ|en|Yuri Valentinovich Nesterenko}}による第四の証明とも類似している<ref>{{cite journal |author=Ю. В. Нестеренко |title=Некоторые замечания о ζ(3) |language=Russian |journal=Матем. Заметки |volume=59 |issue=6 |year=1996 |pages=865–880 |url=http://mi.mathnet.ru/mz1785}} English translation: {{cite journal |author=Yu. V. Nesterenko |title=A Few Remarks on ζ(3) |journal=Math. Notes |volume=59 |issue=6 |year=1996 |pages=625–636 |doi=10.1007/BF02307212|id={{Mathnet|mz1785}}}}</ref>。後のこれらの証明は再びある正の定数以上であるのに 0 に収束する数列を構成することによって ζ(3) が有理数であるという仮定から矛盾を導く。超幾何級数を使っていて、それらは早期の証明よりもいくぶん分かりづらい。

== さらに大きなゼータ定数 ==

アペリーとボイカーズは級数表示
:<math>\zeta(2)=3\sum_{n=1}^{\infty}\frac{1}{n^{2}\binom{2n}{n}}</math>
のおかげで彼らの証明を ζ(2) のために単純化できた。アペリーの手法の成功のおかげで、
:<math>\zeta(5)=\xi_{5}\sum_{n=1}^{\infty}\frac{(-1)^{n-1}}{n^{5}\binom{2n}{n}}</math>
という性質を持つ数 ξ<sub>5</sub> の研究がなされた。もしそのような ξ<sub>5</sub> が見つかれば、アペリーの定理の証明のために使われた手法は ζ(5) が無理数であることの証明に使えると期待される。しかし不幸なことに、コンピュータによる広範な探索<ref>D. H. Bailey, J. Borwein, N. Calkin, R. Girgensohn, R. Luke, and V. Moll, ''Experimental Mathematics in Action'', 2007.</ref>はそのような定数を見つけることに失敗しており、実は今では次のことが知られている。ξ<sub>5</sub> が存在し、かつ次数が高々 25 の代数的数であれば、その[[最小多項式 (体論)|最小多項式]]の係数は巨大、少なくとも 10<sup>383</sup> でなければならない。そのため、アペリーの証明を拡張して大きい奇数のゼータ定数に取り組むことはうまくいきそうにない。

それにも関わらず、この領域を研究する多くの数学者は近いうちにブレイクスルーがくることを予期している<ref>{{cite book |author=Jorn Steuding |title=Diophantine Analysis (Discrete Mathematics and Its Applications) |publisher=Chapman & Hall/CRC |location=Boca Raton |year=2005 |pages=280|isbn=978-1-58488-482-8 |oclc= |doi= |accessdate=}}</ref>。実際、{{仮リンク|ヴァディム・ズディリン|en|Wadim Zudilin}}とTanguy Rivoalによる最近の研究は ζ(2''n''+1) のうち無限個は無理数でなければならないことを示しており<ref>{{cite journal | last1 = Rivoal | first1 = T. | year = 2000 | title = La fonction zeta de Riemann prend une infinité de valeurs irrationnelles aux entiers impairs | url = | journal = Comptes Rendus de l'Académie des Sciences. Série I. Mathématique | volume = 331 | issue = | pages = 267–270 |doi = 10.1016/S0764-4442(00)01624-4  |arxiv=math/0008051}}</ref>、ζ(5), ζ(7), ζ(9), ζ(11) のうち少なくとも1つは無理数でなければならないことまでも示している<ref>{{cite journal |author=W. Zudilin |title=One of the numbers ζ(5), ζ(7), ζ(9), ζ(11) is irrational |journal=Russ. Math. Surv. |year=2001 |volume=56 |issue=4 |pages=774–776 |doi=10.1070/RM2001v056n04ABEH000427}}</ref>。彼らの研究はゼータ関数の値に線型形式を用いており、それらを評価して奇数におけるゼータ関数の値によって張られる[[ベクトル空間]]の次元をおさえる。Zudilin が彼のリストをさらに短くして1つだけの数にするという望みは実現しなかったが、この問題に関する研究はなお活発に行われている。Higher zeta constants は物理への応用がある： {{仮リンク|ハイゼンベルクモデル (量子)|en|Heisenberg model (quantum)|label=量子スピン鎖}}の相関関数を記述するのである。例えば文献<ref>{{cite journal |author=H. E. Boos, V. E. Korepin, Y. Nishiyama, M. Shiroishi |title=Quantum Correlations and Number Theory|journal=
Journal reference:	Journal of Physics A|year=2002 |volume=35  |pages=:4443–4452 }}</ref>を参照。

==参考文献==
{{reflist|2}}

==外部リンク==
*{{cite journal|author=Huylebrouck, Dirk|title=Similarities in Irrationality Proofs for π, ln2, ζ(2), and ζ(3)|journal=Amer. Math. Monthly|volume=108|year=2001|pages=222–231|url=http://www.maa.org/sites/default/files/pdf/upload_library/22/Ford/Huylebrouck222-231.pdf|doi=10.2307/2695383}}

{{DEFAULTSORT:あへりいのていり}}
[[Category:ゼータ関数とL関数]]
[[Category:数論の定理]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]