この記事ではApéryの定理
のApéryによる証明に纏わる歴史および証明の解説を行います。
- アペリー・ショック
- Apéryの生涯
- Apéryの論文に書かれていること
- 無理数であることを示すには何を示せばよいか
- 証明の概略
- 証明の細部
- Apéryの驚くべき主張〜Beukersの証明との比較〜
- Apéryはどのようにして近似列を見つけたのか?
- 参考文献
アペリー・ショック
フランスはマルセイユのルミニーで1978年の6月に開かれた研究集会"Journées Arithmétiques"
その集会にて、当時61歳(!)であるApéryが"Sur l'irrationalité de "なるタイトルの伝説の講演を行いました*1。
Apéryがの無理性を証明したと主張するのではないかと噂も流れていたようですが、懐疑的に思っている人の方が多かったようです。講演後も、彼の知名度のなさや年齢、あるいはその講演の内容(どうやら分かりにくかったらしい)から即座には受け入れられませんでした。
しかし、Cohenは彼の証明が正しいと信じたようで、PoortenおよびLenstraの3人のディスカッションにおいて、CohenはApéryの主張する殆どの部分が実際に正しいことを証明したのです。ある一箇所を除いては。。。
その一箇所というのはApéryの証明において最もミステリアスな部分であり、しかしながら数値レベルではApéryの言っていることはどうやら正しいのです!
後述するように、それもApéry講演の2ヶ月後にはZagierとCohenによって証明され、の無理性はApéryによって証明されたということが共通認識となりました。
数学において最重要関数と言われることもあるRiemannのゼータ関数*2。その特殊値も極めて重要な研究対象であり、最初の研究成果はEulerによるバーゼル問題*3の解決
でした。その後、Euler自身によって正の偶数における値は
の正の有理数倍であることも証明されました。
すると、の数としての性質が分かれば
の数としての性質についても何かを言える場合があり、例えば
は超越数であることが知られているので*4、
も超越数となります。
一方、正の奇数におけるについてはあまり多くのことは分かっておらず、
などの表示式*5は得られていても、無理性などの数としての性質は何一つ分かっていない状況でした。
この何も分かっていない状況においては、挑戦する数学者も相当怖かったはずです。というのも、当時の数学では100年たっても解きようのない難問である可能性だってあったからです(時代の流れで解けるはずだという確信を持てる研究を除けば、この怖さは未解決問題に取り組む全ての数学者が味わうものだと思います)。
このような状況にも関わらず、Apéryはこの問題に一人果敢に取り組み、が無理数であることを証明したのです。更に、WilesがFermatの最終定理を解決したときなどとは異なり、Eulerの時代には既に知られていたような初等的な議論のみで証明しているため、当時の数学者達に相当の驚きをもって迎えられました。
これが、世に言う"アペリー・ショック"です。
また、Apéryの証明が謎めいているのは(Apéryの結果を受けて相当の数の数学者が取り組んだものと想像できますが)、一般化が容易ではないというか全然できないのです。進展らしい進展と言えるのは
のみです。
全然進展のない分野に大きなニュースが舞い降りたにも関わらず、結局その分野はろくに進展していないという状況にあるのです*6。例えば、の超越性や
の無理性*7は未だに解決の兆しもないのです。
第二次アペリー・ショックが待ち望まれています。
Apéryの生涯
Roger Apéry (1916年11月14日 - 1994年12月18日)
父はコンスタンティノープル出身のエンジニアGeorges Apéry (1887-1978)で、彼はピアノの先生であるJustine Vander Cruyssen (1892-1965)とルーアンで結婚。
Rogerは一人っ子でルーアン生まれ。
1920-1926の4年間はリール。
1926からパリに移り住む。
1928にはEuclidの平行線公理に魅せられたという。
リセ・ルイ=ル=グランで勉強し、1932年頃には代数幾何に傾倒する。
1935年に一度試験に失敗し、翌年エコール・ノルマル・シュペリオールに入学。
1947年 代数幾何とイデアルに関する学位論文を提出(イタリア学派の代数幾何だったらしい)。
同年Denise Bienaiméと結婚。
3人の息子がいる。Denys (1948年生まれ)、François (1950生まれ)、 Robert (1953生まれ)。
Françoisは数学者になる。
Apéryの結婚生活については順風満帆とはいかず、1971年に離婚。1972年にはClaudine Lamotteと再婚し、1977年に再度離婚。
レンヌで2年働いた後、1949年からカーン大学勤務。
1953年から教授。
50年代からは数論に興味を持ち、例えばRamanujan-Nagell型方程式の特殊な場合である
を研究し(、
は素数)、
の場合を除くと解の個数は
個以下であることなどを証明している。
数学の哲学へも興味があり、幾つかの論文を執筆している。
圏論を推進した最初のフランス人数学者の一人でもあるらしい。
1994年にパーキンソン病のため死去。パリにある両親と同じ墓に埋葬され、公式
が刻み込まれている。

Apéryの論文に書かれていること
Apéry自身による論文[A]があり、彼の結果を述べる際には大抵引用されますが、驚くべきことにたったの3ページしかありません。この論文は最善を尽くして書かれたわけではなく、通常の数学論文の水準の証明は一切ありません。
書かれていることは三つで、
- どのような手順で無理性を示すか
の場合のその手順
の場合のその手順
です。特に、三つ目に何が書かれているかを一つ目の内容と若干ミックスさせて再現すると大体次のようになります:
によって、有理数列
を構成する(
。それは各
について
で
に収束する数列で、
が増えるほど収束スピードは速くなっていき、
は収束スピードの遅い級数
を与え、対角に進む
は収束スピードの速い級数
を与える*8。
なる正整数列
があって、
が成り立つ。しかしながら、これだけでは無理性はまだ示せない(分母が大きすぎる)。実際にはこれらの
に依存する正整数係数線形結合によって、分母が大きすぎない、しかし同じく
に収束する近似列
を上手く構成する。
整数列
有理数列![]()
これらは共に漸化式
を満たす。そうして、
なので、
は無理数である。
Riemannの1859年の論文で証明の概略のみが書かれている定理の証明を復元することに匹敵するぐらい*9、Apéryの論文は解読不能な書かれ方をしています。
しかしながら、幸いにも我々にはPoortenによるApéryの証明に関する報告論文[P]があるので、この記事ではそれに沿ってApéryの証明を完全に理解することを目標にしましょう。Poortenに書かれている以上に計算の詳細を書くことによって、この記事の存在価値が少しはあることを祈ります。全て読めば、Apéryの論文が一体何を言っているのかわかるようになるでしょう。
ちなみに、Apéry論文に書いてある数値で近似値を出すと、
となります。この次は
です。定義通りの計算
に比べて非常に収束が速いことが見て取れます。
無理数であることを示すには何を示せばよいか
与えられた実数が無理数であることを証明する方法には幾つかの方法がありますが*10、基本的には有理数と無理数を分かつものはディリクレの近似定理 - INTEGERSの冒頭でも述べたように、高い近似精度を持った近似列があるかどうかです。
つまり、十分に収束の速い近似列を与えることができれば無理数であることを証明できます。この観点に基づいた証明法を、次のようにまとめることができます*11。
- (Hyp1)
- (Hyp2) 無数の自然数
に対して、
(Hyp1)と(Hyp2)が成り立つような整数列が存在すれば、
は無理数である。
証明. (Hyp1)と(Hyp2)が成り立つような整数列が存在すると仮定する。
が有理数であると仮定して矛盾を導けば良い。そこで、
が存在して、
と書けたと仮定しよう。(Hyp1)および(Hyp2)より、十分大きい自然数
で
かつ
が成り立つようなものが存在するので、
を得る。しかし、は整数なので、
と
の間に整数が存在することになってしまい矛盾が生じる。 Q.E.D.
仮定(Hyp1)および(Hyp2)は、補題に現れる数列による近似
が非常に速い収束スピードを持つことを意味しているのです。
Apéryによるの無理性証明も近似列構成によるものですが、いきなり(Hyp1)および(Hyp2)を満たすような整数列二つを与えるのは難しいため、次の補題のように「分母をコントロールできる良い有理数列から良い整数列を作る」という形で証明します:
- (Hyp ⅰ)
が存在して、
が成り立つ。
- (Hyp ⅱ) 無数の自然数
に対して、
。
- (Hyp ⅲ) ある自然数列
が存在して、
が成立する。
- (Hyp ⅳ)
および
が存在して、
が成立する。
このとき、(Hyp ⅰ)〜(Hyp ⅳ)が成り立つような有理数列が存在して、
ならば、
は無理数である。
証明. とすれば補題1の状況になる。 Q.E.D.
数には同じ数であっても一般に様々な表示法があります。
などもその一つと言えるでしょう。
さて、Riemannゼータの特殊値の無理性を示すことが何故難しいのかというと、定義する級数の収束が極めて遅いことに起因します。無理数であるならば必ず収束スピードの速い表示を持ちますが、収束スピードの遅い表示を持ってはいけないわけではないのです。なんかは
をその定義と採用すれば、定義そのものが極めて速い収束スピードを持つ級数なのでが無理数であることを示すのは容易いのです。
の収束スピードが遅く、その近似値を求めることが容易でなかった歴史はバーゼル問題についての記事に書きました。
の場合はアペリー・ショックの節で述べたEulerの定理によって円周率を用いた表示を持ち、円周率の方は無理性を証明しやすいので
の無理性は分かります*12。しかしながら、
の方は収束スピードの速い級数表示を見つけることが全く容易ではないのです。
このように、無理性証明は宝探しのような側面を持つのですが、Apéryはの場合にその宝を発見したのです!
証明の概略
この節ではApéryの論文に曖昧に書いていることをもっと正確に書き、証明の概略を理解することを目標とします。この節で証明が書かれていない事実については次節で証明を与えます(ある一つの主張を除いて。それについては次々節を参照してください)。証明を後回しにするものについては(*)と記しをつけておきます。
整数列および有理数
を
と導入します。はApéry数と呼ばれています。
また、は
で定義されます。このが補題2の仮定を全て満たすことを確認すれば、
が無理数であることが証明されます。
とすると、
ー(*)が成り立つので、
,
で定義される数列
は整数列になることが分かります。
また、記事数列lcm[1,2,…,n]のgrowthと素数定理 - INTEGERSで証明したように、十分大きいに対して
が成り立つので、
,
として補題2の(Hyp ⅲ)および(Hyp ⅳ)が成り立つことが確認できました*13。
次に、(驚くべきことに!!!)数列および
は同じ漸化式
を満たしますー(*)。それぞれにとした
の辺々を引くことにより(下から上を引く)、
が得られます。従って、
が分かります。
とおきます。
このとき、は実際に
の近似列になっており、
が成り立ちます。よって、
と合わせると、望遠鏡級数によって
なので、
と評価できることがわかりました(が単調増加であることに注意)。特に、最初の級数表示によって補題2の(Hyp ⅱ)の成り立つことが示されました。
の漸化式は
と変形でき、多項式の
より大きい方の根が
であることから、は
なる漸近挙動を示します(の肩に乗ってるのは"スモール・オー"です)。
冪乗と指数関数の速度関係に注意して、に対して
が十分大きいに対して成立することが、★より分かります。すなわち、補題2の(Hyp ⅰ)が示されました。
なので、を十分小さくとることにより、数列
は補題2の全ての仮定を満たすことが示されました。すなわち、
が無理数であることが結論づけられます。
証明の細部
それでは証明を後回しにしていた細部を埋めましょう。
証明. 明らかになので、
に対して
を示せばよい。それは任意の素数に対して
を示すことに他ならない。Legendreの公式より、二項係数の指数について
が成り立つ。一般にであることと、
が整数ならば
であることは容易に確かめられるので、
と評価できる。に注意して、
が示された。 Q.E.D.
証明. に注意すると、
に対して
と評価できる。すなわち、について一様に
であるから、
となって、両辺をで割って
とすれば所望の極限公式を得る。 Q.E.D.
証明. (♩)および多項式の根が
であることより、Poincaréの定理
integers.hatenablog.com
から
が成り立つ。の一般項から
は正かつ単調増加なので、複合は共に
となる。 Q.E.D.
Cohenはより詳しい漸近挙動
を示しているのらしいですが、私は証明を知りません。
Apéryの驚くべき主張〜Beukersの証明との比較〜
アペリー・ショックの節で述べたようにCohen等若手数学者は当初Apéryの証明において一箇所証明を復元できないクリティカルな箇所がありました。それは
で定義される数列が共に同じ漸化式
を満たすことの証明です*14。
しかしながら、彼らはApéryの証明は正しいと確信を得ていました。というのも、二項係数を用いた具体的な式で与えられる一般項を幾つかので計算してみると、漸化式において初項
としたときの数値と確かにことごとく一致するからです。
それにしても、この漸化式を見て「この式が一般項になっているよ」と言われても、「何でそんなことがわかるんだ!!」と言いたくなります。
とりあえず、だけ二通りの計算をしてみましょう:
漸化式の方では
についても
である一方、
と確かに一致しています!
ところで、があの漸化式を満たしておきながら整数列であるというのは尋常ならざる事態です。最後に
を計算するステップで残りの部分は必ず
で割り切れるというのですから*15。
コンピュータプログラムを書ける方は試しに他の初項で整数列になるものがあるかサーチしてみるのもよいと思います。如何にApéry数が奇跡的であるかが分かることでしょう。
Apéryを信用できない状況において「これが一般項さ」と俄かには信じがたいことを言われ、しかし数値実験してみるとそれがどうやら正しそうだということを初めて知ったときのPoorten達の驚きは果たしてどれほどのものだったのでしょうか。少し引用しましょう:
In Marseille, our amazement was total when our HP-67s*16, calculating
*17 on the one hand from the definition above and on the other hand by the recurrence (2)*18, kept on producing the same values!
今、計算しても驚きの内容なので、彼が報告論文に"miraculous"だとか"fantastic"などと書いてしまう気持ちが分かります。
ここで、一度Beukersの仕事[B]に目を移したいと思います。彼はApéryの証明の直後*19に極めてエレガントな別証明を与えました*20。
integers.hatenablog.com
それは
と積分の等式を証明し、左辺の表示から補題2の(Hyp ⅲ)、(Hyp ⅳ)を、右辺の表示から(Hyp ⅰ)、(Hyp ⅱ)を示すというものでした()。
つまり、ApéryもBeukersも基本的には補題2のレシピに従っての無理性を証明しています。
今取り扱っている無理性証明は「良い有理近似を与える」ことによる証明法でしたが、それが実際に"良い"ということを補題2に従って証明するには確かめることが五つもあります( (Hyp ⅰ)〜(Hyp ⅳ), ) *21。
そして、それらは(整数性証明など)代数的な性質のものであったり、(不等式評価など)解析的な性質のものであったりします((Hyp ⅲ)+(Hyp ⅳ)は代数的、(Hyp ⅰ)は解析的な性質です。(Hyp ⅱ)は代数的に示されることもあれば、解析的に示されることもあります)。
このように、有理近似が良いものであることを示すには、その近似列に代数的側面および解析的側面の二面性を持っていて欲しいのです。
ここで重要になるのが
ということです。補題2による無理性証明の例を幾つか吟味してみると、考察している有理近似に対して、代数的な性質の証明および解析的な性質の証明がそれぞれ上手く機能するような二通りの表示を与えることによって証明しています。
このように考えると、二つの表示が等しいことを証明するというステップが補題2に基づいた無理性証明の一つのキーポイントになることが了解されます。
Beukersによるの無理性証明の場合、このキーポイントがすなわち(B)を証明することなのです(左辺が代数的に扱いやすい表示で、右辺が解析的に扱いやすい表示)。
そして、Beukersによる証明が非常にエレガントであると私が感じる一つの理由が、(B)の証明が周期に関するKontsevich-Zagier予想の思想に則っていることです。
KontsevichとZagierは[KZ]において、それまでの数学者が陰に陽に考えていた事柄について、周期の定義を明文化することによって明確な視点を与えました:
一言で言えば、周期とは("有理的な")積分で書ける数のことを言います。周期全体のなす集合をと表すことにすると、
は可算集合
は
代数をなす
などが成り立ちます。すなわち、周期環は全ての代数的数を含みながら、円周率やゼータ値などの重要な超越数(や超越数と予想される数)をも含む可算な新しい数体系なのです。
論文[KZ]も傑作ですが、周期に関する良書が出版されたので、詳しいことについてはそちらを参照してください:
[Y] 周期と実数の0-認識問題-Kontsevich-Zagierの予想-問題・予想・原理の数学-吉永-正彦
この本のメインテーマであるKontsevich-Zagier予想とは、周期に関する次の予想のことを指します(詳しくは[KZ], [Y]を参照のこと):
この予想は非常に美しい予想ですが、[Y]のまえがきには
個人的には, Kontsevich-Zagierの予想は, そこに予想としてあってくれるだけで幸せな予想, 解けなくてもよいが, その予想を心の中で唱え, それが予言する世界に思いを馳せるだけで幸せになり, 自分でも何かやりたいという冒険心を書き立てられる予想である.
と書かれています。また、彼らは周期間の等号を証明しようとする際には実際に積分の基本変形で証明せよと提言しています([KZ, Principle 2])。
さて、(B)は各について周期の等号になっていることが分かります(注意:左辺はBeukers-Hadjicostasの定理の証明の観点で
が入っていますが、
なので周期の表示と考えることができます)。そうして、Beukersによる(B)の証明は確かにKontsevich-Zagierの言うとおりに、積分の基本変形のみで証明されています*22。
このように、今証明を見直してみると、Beukersによる証明はKontsevich-Zagierの指導原理に従っているところが一つのエレガントさだと感じます(つまり、単発的な証明ではなく、ある種の王道*23の証明になっている)。
さて、Beukersの論文には"the shape of which is motivated by Apéry's formulas"とは書いているものの、その論文を読んだだけでは読み取れない驚きの事実があります。
実は、Beukersの扱っている近似列はApéryのそれと全く同一なのです!!!
数列
どうやって証明するかはこの記事では一旦置いておきますが、私はこの事実の数値レベルにおける確認作業を行い、感動のあまり泣いてしまいました。
Apéry現象とは
「Apéry以降、多数の数学者がの無理性証明を発表しているが、それらはどれもこれもApéryの与えた近似列と同一のものを別表現で扱っているにすぎない」
現象のことを言います(全てがそれに該当するというわけではありません)。
つまり、Apéryが裸の姿で発見した近似列に積分という衣を着せ、Kontsevich-Zagierの美しい理論のレール上で証明を与えたのがBeukersによる別証明だったのです。
このように分析すると、Apéryによる証明の状況が見えてきます。すなわち、裸の近似列に対して、いかにしてその二面性を見出したのかという疑問が生じるのです。
積分などという高度な武器を使えない状況で、どのように素手で立ち向かったのか*24。
彼がどこに近似列の二面性を求めたか。それは既に証明の概略の節で見たように
です。
こう考えると、(B)に対応するApéryによる証明のキーポイントは
となります。
数列の漸化式を解く。これは高校の数学Bで習います。
私も高校生の頃、色々なパターンの解法を学んだのを思い出します。
とは言っても漸化式はいつでも解けるというわけではありません。高校で扱った漸化式は基本的には解けるもののみです。一般の漸化式を考えると、いつでも解けてしまうような万能な解法はありません。
Apéryの漸化式も複雑な漸化式なため、「こうやったら解けるよ」というマニュアルはないのです。
さて、大変奇妙なのは、Apéryがどうやってこの漸化式を解いたのか分からないことです。
彼は、「この漸化式の一般項はこのように与えられる」と答えのみを宣言して、その証明をどこにも発表していません。
結局、Apéryの証明が正しいことを検証しようとしたCohenやPoortenはこの部分を証明できないままに二ヶ月が過ぎ去ります*25。
そんな中、この話があのZagierの耳に入りました。
すると、彼はたちどころにの場合に対応する漸化式の半分を解いてしまったのです!!(この記事では
のみを扱っていますが、ApéryやBeukersの手法は
の場合にも機能します。)
証明の突破口さえ分かれば後はルーチンワークで、その後、Zagierのアイデアに基づいての場合についてもCohenによって全ての証明が完成されました。
そうして、1978年にヘルシンキで開催された国際数学者会議において、8月18日(金)17:00にCohenがの無理性のApéryによる証明の解説講演を行い、Apéryがそれに続いてMotivation等を語った(次節参照)ということです。
肝心の証明ですが、それは別記事で紹介することにしました:
というわけで、最後までApéryが全ての証明を与えることができていたかについては疑問が残ります。状況としては"Theorem (Apéry-Cohen-Zagier)"のように表現されてもおかしくないと思います*26。
しかしながら、Poortenの報告[P]は相当にApéryに敬意を表す書き方がなされており、その書き方が全クレジットをApéryに与えるような広まり方になったのだと想像されます。
個人的にはPoortenによる数学的貢献はなかったのか?ということに興味がありますが、少なくともApéryの論文が解読できない以上、英語による詳しい解説記事を書いた功績は極めて大きいと言えるでしょう*27。
Apéryはどのようにして近似列を見つけたのか?
さて、漸化式を解くというステップはCohen-Zagierによって切り抜けられたわけですが、その証明は答えが初めから分かっているという状況に依存しています。
一般項を知らない状況から漸化式を論理的にいじっていけば、あの和(や
の公式)が得られるというわけではないのです。
なので、Apéry-Cohen-Zagierによる漸化式解法における最も重要な部分は、結局のところApéryがあの一般項と漸化式を発見したことだと思います*28。
可能性としては
- 漸化式を発見し、その後一般項の形を発見した。
- 一般項の形で表される数列を発見し、それがあの漸化式を満たすことを発見した。
- 両方同時に発見した。
があると思いますが、これは2. であろうと推測します*29。
Apéryの出発点はそれ自体が驚くべきものである級数表示
です。なお、これはApéryが発見したとする文献も見られますが、[P]で指摘されているように1953年にはHjörtnæsが発表しています。また、今では1890年にMarkovがより一般的な級数の等号である
を示していたことが分かっています(として
とすればよい)。
例えば、
と数値計算できますが、この級数表示はの定義級数に比べて非常に収束が速いことがわかります(そして、Apéryが最終的に見出した近似列よりは遅い)。
ここで、
であったことを思い出しましょう。以前の記事
において②=③とした式により、
が成り立つので、
が成り立つことがわかります。
どのルートを通っても、下に行けば行くほどに近づき、左端のルート(
)では
の速さで、右端のルート()では
の速さでに収束します。
このように、Apéryは二番目のステップとして
なる補間を与える数列を見出したのでしょう。
しかし、どのルートを通っても無理性を証明するには収束が遅いです*30(収束を速くしようと思うと右方向のルートに行く(を大きくする)べきですが、そうすると補題3の観点から分母がでかくなりすぎてしまいます(
が悪さをする) )。
- 左の方のルートは分母のgrowthがマイルドというメリットがあるが、収束が遅いというデメリットがある。
- 右の方のルートは収束が速いというメリットがあるが、分母のgrowthも速いというデメリットがある。
そこで、この状況を打開するために、彼は各ルートを上手く線形に重ね合わせて収束を加速させる*31という発想を得ました*32。
各ルートのメリットを強調し、デメリットを抑えるような理想的な状況を作るのです。
まず、
を考えれば、で常に
に収束することがわかります(補題4の証明を参照せよ)。更に、補題3より
を考えると常に補題2の(Hyp ⅲ), (Hyp ⅳ)を満たすことが分かります(は整数列)。
後は試行錯誤で(Hyp ⅰ)を満たすようなを見つけることができれば勝利です。
さて、そんなに簡単には見つかりません。Apéryは次のような複雑なステップを経て最終的な近似にたどり着いたと言っているらしいのですが、正直言ってこの部分は何をしているのかあまりよく分かりません。
還暦まで無名の数学者であったApéryが数学人生最後の気持ちで渾身の力で見つけ出したのではないかと勝手に想像しています。
先ほどの三角形を書きましたが、今度は二つの三角形を書きます。
一つ目を分子、二つ目を分母と思うことによって毎に有理数ができます。やはり、
について一様に
で
に収束します。
この二つの三角形をそれぞれ次のように段階的に変換していきます:
分子
分母
三つ目と五つ目の変換で和を取っているので、最終的にできた二枚の三角形の商における各ルートは最初の三角形のルートの線形結合になっています。
この最後の三角形商における右端のルート()が所望の近似列
を与えるというのがApéryの考察です。実際、とすると
となり、とすれば*33、これは
に等しいことが分かります。すなわち、
とすればよいという結論です。
上記恒等式の証明.
ここで、を用いた。あとは
を示せばよいが、これはChu-Vandermonde型の恒等式である。 Q.E.D.
正直、上のApéryの変換は何をやっているのかわかりませんが、「これで無理性が示せる!!」と信じることができたのは何故なのでしょうか?
もしかしたら、愚直に上手くいくまでを探し続けた可能性も否定できません(自分だったら途方に暮れてしまいそうです)。
が言えれば補題2の(Hyp ⅰ)が言えるのですから、を計算していけば自信を持てるかもしれません。
とじわじわ成長していくので、最初の数十項を計算する程度では不安ですが*34、本気で計算すれば極限値の大体の大きさの確信は持てるかもしれないです(当時のコンピュータのスペックを把握していないので適当なことを言っていますが)。
しかし、です。一連の議論によって「この近似列で無理性証明が絶対にできる!」と確信を持てたとしても、(Hyp ⅰ)やその他の細かいところのApéryの証明はあの漸化式に依っているのですから、この得られた近似列から漸化式を見出すという作業が残っています。
これに関しては私はお手上げです。本当にどうやって見つけたのでしょうか?
一度発見しさえすれば、Cohen-Poortenのようにコンピュータでチェックすることによって確信を得ることはできるでしょう。しかしながら、例えばアペリー数の記事に載っている数を眺めても、私にはあの漸化式は浮かび上がってきません。
などという特徴的な多項式には何か裏がありそうですが、そこらへんについてはPoorten[P]には一切書かれていません。
更に、が
と全く同じ漸化式を満たすという現象は何なのでしょう?(漸化式の解全体はベクトル空間をなしますが、
と
は一次独立です。)
別に全く同じ漸化式を満たさなくとも無理性証明が上手くいくことはありそうですが、何故か全く同じ漸化式を満たし、証明の細部でも美しさの観点で活躍します。
Zagier-Cohenによる漸化式を満たすことの証明はの定義に強く依存した計算で行われていて(実際、
が漸化式を満たすことより
が漸化式を満たすことの証明の方が複雑です)、当然
を別の形に変えれば同じ漸化式は満たしません。
どれだけ解説をしようと試みても、やはりApéryの証明は奇跡の証明としか言いようがないと感じます。
Apéryの仕事は、Andrew WilesがFermatの最終定理を解決したときのような、その後の数学を劇的に進歩させる仕事ではなかったかもしれませんが、確かに彼は一つの歴史的難問を解決したのです。
私はRoger Apéryに敬意を表します。
最後に、Apéryの伝説の講演に出席したPhilip Gibbsによる証言を引用してこの記事を締めくくりたいと思います:
参考文献
- [A] R. Apéry, Irrationalité de
et
, Astérisque 61 (1979), 11–13.
- [B] F. Beukers, A note on the irrationality of
and
, Bull. London Math. Soc. 11 (1979), 268–272.
- [C] H. Cohen, Démonstration de l’irrationalité de
, (d’après R. Apery), Séminaire de théorie des nombres de Grenoble Vol. 6, (1977-1978), 1-9.
- [KZ] M. Kontsevich, D. Zagier, Periods, Mathematics unlimited-2001 and beyond, Springer, Berlin (2001), 771-808.
- [P] A van der Poorten, A proof that Euler missed ..., The Mathematical Intelligencer 1 (4) (1979), 195-203.
- [E] E. Reyssat, Irrationalité de
selon, ApérySéminaire Delange-Pisot-Poitou. Théorie des nombres, Vol. 20, Issue: 1, (1978-1979), 1-6.
- Roger Apéry biography
*1:それは木曜日の14:00だったらしく、6/1, 6/8, 6/15, 6/22, 6/29のいずれかの可能性があります。 追記: 数学者である先生の6/22であるというtweetを見ました。
*6:この言い方は一部の数学者から反感を買うかもしれませんが、少なくともRiemannゼータ値の無理性・超越性については間違ったことを言っていないはずです。
*7:幾つか解決宣言をした文献がありますが、私が読んだものは全て間違っています。
*9:それはHadamard, Poussin, Mangoldtなどの努力によって成し遂げられたのでした。
*10:例えば、記事
integers.hatenablog.com
ではが無理数であることの5通りの証明を書いています。代数的無理数については全然異なるアプローチが割とある気がします。典型例は
で、この場合は近似列を与えることなく初等的に証明できることはよく知られた通りです。
*11:専門家向けの注意。この記事では無理数度等は扱わないことにするため、このような背理法の書き方を採用します。
*12:円周率の場合は収束スピードの速い表示を持つというよりは、その数学的特異性から無理性を証明しやすいと理解した方が良いかもしれません。 integers.hatenablog.com
*13:Apéryの論文にあるように、任意のに対して
と取れますが、
の無理性証明としては
で十分です。
*14:どうでもいいですが、と因数分解出来ます。
*15:漸化式から即座に分かるのはであって、
の分母の小ささについてもかなり非自明です。
*16:計算機です。 HP-67/-97 - Wikipedia
*17:この記事でいう。これはApéryの記号を踏襲しています。
*18:の満たす漸化式。
*19:これが個人的に謎です。Apéryが証明に成功した以上は別証明の存在可能性は急に高まり、数学者も心情的にはそれまでより楽に挑戦できるとは言え、何故ここまで瞬間的に美しい証明を発見できたのでしょう。少なくとも私はApéryの証明を読んだからと言ってBeukersの証明を発見できる気がしません。
*20:[P]には"Frits Beukers ~ has found an elegant approach to Apéry's proofs which entirely avoids explicit identities, recurrences and other magic."と紹介されています。やはり、Apéryの証明法は"magic"だと思っているのですね。
*21: などの無理性証明が未解決の問題では、近似列の候補を探す際に仮定の幾つかを満たすようなものは作れるが、全部を同時に満たすものを作るのが難しいという状況にあります。もう少し正確に言うと、全部を満たすようにすると他のゼータ値がくっついてきます。アペリー・ショックの節で述べたZudilinの結果は
だけは難しいけれど、
,
,
もつければ全ての仮定を満たす数列が構成できるというタイプの証明法です。"少なくとも一つが無理数"ということが帰結される理由は次の補題を適用するからです:
とする。有理数列
および
に関する次の仮定を考える:
が存在して、
が成り立つ。
に対して、
。
が存在して、
が成立する。
および
が存在して、
が成立する。
が存在して、
ならば、
の少なくとも一つは無理数である。
が全て有理数だと仮定して背理法で証明されます。
*22:[B]と[KZ]では[B]の方がはるかに前に出版された論文であり、[B]はKontsevich-Zagier予想を裏付ける一つの根拠と考える方が正確です。Kontsevich-Zagier予想の主張自体は、どのような手順で基本変形を行えば良いかというアルゴリズムまでは要求していないですが、Beukersによる(B)の証明の変形は一箇所非凡な変数変換を行っています。私のブログ記事ではMillerによるもう少し凡庸な変形手順を紹介しました。
*23:の無理性などの証明には至っていないですが、Beukers型の積分にはその後多数の研究があります。
*24:見かけ上ApéryよりBeukersによる証明の方が短くスマートに感じますが、証明を完全に理解しようとすると、当然「積分の変数変換公式」等の積分論における定理の証明を全て理解しておく必要があります。実際には大学初学年度レベルなのでこのようなことを気にする人はいないと思いますが。
*25:なお、証明すべきことは「恒等式の証明」に過ぎません(一般項の候補が実際に漸化式を満たすことを証明すればよい)。Littlewoodの言葉に「正しいことが分かっている恒等式の証明はいつだって簡単だ」(Any identity, once verified, is trivial.)というものがあるそうですが、Poortenは、このApéryの漸化式の証明はLittlewoodの言葉に対する殆ど反例であると言えるだろうと主張しています。
*26:例えば、Fermatの最終定理に関するFreyの仕事は不完全で、Serreを経てRibetが完全なる証明を与えました。この一連の内容の全クレジットをFreyに与えるような文脈は聴いたことがなく、Ribetに最大の功績が与えられるのが通常のような気がします。もちろん、Apéryのケースとは数学的難しさが異なりますが。
*27:[C], [E]のようにフランス語の似たような解説論文もありますが、Poorten以上に詳しいというわけではありません。また、"creative telescoping"という用語はPoortenの記事で初めて使われたものらしいですが、その後のcreative telescopingの理論の発展に最も影響を与えた論文と言えます。
*28:今でこそ"Apéry-like"な数列や漸化式が幾つか研究されていますが、Apéry-likeな対象に恐らく世界で最初に取り組んだであろうApéryにとってはかなり難しいことだったに違いありません。
*29:[P]の論文構成は変わっていて、演習問題を出してその解答を解説するというスタイルで書かれています。演習問題③が次のような書かれ方をしています(記号表記が異なることに注意):
を
で定義される数列と定義するとき、
は全て整数であることを示せ!また、
を
で定義すると、
を割り切るような分母を持つ有理数であることを示せ。
*30:ちゃんと説明していなかったですが、無理性を証明する際に要求される"収束の速さ"はただ単に速い(絶対的な速さ)だけでなく、"分母の大きさに対する相対的な速さ"が重要になることに注意します(詳しくはDirichlet近似を参照してください)。単に速い収束列なら有理数・無理数に関係なく作れますが、"分母が小さいにも関わらず考えている数にかなり近い"有理数を作れるかが勝負なのです。例えば、
はエマープです)。
*31:ただし、スカラーはに依存して良い。
*32:別に本人に聴いたわけではないですがw この節は私の妄想も入っています。とは言っても似たようなことは彼の論文の1ページ目にも書いてあります。
*33:Apéryの5段変形の一回目においてが行われていた。
*34:追記:なので、(Hyp ⅰ)が成り立つという確信は割と簡単に得られるかもしれません。勿論、厳密な証明のためには漸化式が必要です。