シュリニヴァーサ・ラマヌジャン

インドの数学者

シュリニヴァーサ・ラマヌジャン(Srinivasa Ramanujan [ˈsrnɪvɑːsə rɑːˈmɑːnʊən];[1] 出生名:Srinivasa Ramanujan Aiyangar IPA: [sriːniʋaːsa ɾaːmaːnud͡ʑan ajːaŋgar], タミル語: சீனிவாச இராமானுஜன் [sriːniˈʋaːsə raːˈmaːnudʒən] ( 音声ファイル)1887年12月22日 - 1920年4月26日[2]は、インドの数学者純粋数学の正式な教育をほとんど受けていないが、極めて直感的かつ天才的な閃きにより、数学的解析整数論無限級数連分数などのほか、当時解決不可能とされていた数学的問題の解決にも貢献し、「インドの魔術師」の異名を取った[3]

シュリニヴァーサ・アイヤンガル・ラマヌジャン
Srinivasa Aiyangar Ramanujan
生誕 1887年12月22日
イギリス領インド帝国の旗 イギリス領インド帝国マドラス管区イーロードゥ(現・タミル・ナードゥ州イーロードゥ県
死没 (1920-04-26) 1920年4月26日(32歳没)
イギリス領インド帝国の旗 イギリス領インド帝国マドラス管区マドラスチェットペット
病死
居住 マドラス管区クンバコナム
国籍 イギリス領インド帝国の旗 イギリス領インド帝国
研究分野 数論
保型形式
出身校 パッチャイヤッパル大学
指導教員 ゴッドフレイ・ハロルド・ハーディ
主な業績 ランダウ・ラマヌジャンの定数
モックテータ関数
ラマヌジャン予想
ラマヌジャン素数
ラマヌジャン・ソルドナー定数
ラマヌジャンのテータ関数
ラマヌジャンの和公式
ロジャース・ラマヌジャン恒等式
影響を
受けた人物
ゴッドフレイ・ハロルド・ハーディ
署名
プロジェクト:人物伝
テンプレートを表示

生涯

編集
 
クンバコナムのサランガパニー通りにあるラマヌジャンの生家。

1887年、南インドのタミル・ナードゥ州タンジャーヴール県クンバコナムの極貧のバラモン階級の家庭に生まれた。幼少の頃より母親から徹底したヒンドゥー教宗教教育を受ける。高校では全科目で成績が悪く、高等数学の正式な教育は受けていなかった[4]。しかし15歳のとき、ジョージ・カーという数学教師が著した『純粋数学要覧』 (Synopsis of Pure Mathematics) という受験用の数学公式集に出会ったことで数学に没頭する。

奨学金を得てマドラスパッチャイヤッパル大学に入学したが、数学に没頭するあまり他科目の授業に出席しなくなり、1906年12月にFellow of Arts号の学位認定試験に落第し、次の年度にも再び落第したため、奨学金を打ち切られて学位を得ないまま中途退学する[5]。しばらく独学で数学の研究を続けていたが、やがて港湾事務所の事務員の職に就き、そこで上司の理解もあって、仕事を早めに終えて数学の研究に没頭していた。

ラマヌジャンは当初、孤立して自らの数学的研究を展開していたが、1913年に周囲の勧めもあって、イギリスのヒル(Micaiah John Muller Hill)教授、ベイカー(H. F. Baker)教授、ホブソン教授に研究成果を記した手紙を出すも、全て黙殺される[注 1]。だがケンブリッジ大学ゴドフリー・ハーディは、ラマヌジャンの手紙を読み、最初は「狂人のたわごと」程度にしかとらなかったものの、やがてその内容に驚愕するようになる[注 2]。ラマヌジャンの成果には明らかな間違いや既知のものもあるが、中には「この分野の権威である自分でも真偽を即断できないもの」「自分が証明した未公表の成果と同じもの」がいくつか書かれていたからである[7][8]

 
ケンブリッジ大学トリニティ・カレッジにて他の科学者と共に撮影。中央がラマヌジャン。
 
ケンブリッジ大学トリニティ・カレッジヒューウェル寮

こうしてハーディは、ラマヌジャンの研究が並外れたものであることを認め、彼をケンブリッジ大学に招聘した。ラマヌジャンは1914年に渡英する。王立協会フェローに選出されるが[注 3]、イギリスでの生活に馴染むことができず、やがて身体的な衰弱を来たして病気を患い[注 4]1919年にインドへ帰国。1920年に32歳の若さで病死した。ハーディへ宛てた最後の手紙には、彼がまだ新しい数学的アイデアや定理を生み出し続けていたことを物語っている。

没後

編集

1997年にラマヌジャンの影響を受けた数学のあらゆる分野の研究を掲載するための科学雑誌『ラマヌジャン・ジャーナル』が創刊された[11]

2014年にインドで「ラマヌジャン英語版 」という伝記映画が制作され、2015年にはイギリスで「奇蹟がくれた数式」という伝記映画が制作された。

業績

編集

ラマヌジャンはその短い生涯の間に、独自に3,900近くの結果(ほとんどが恒等式方程式)をまとめあげた[12]ラマヌジャン素数ラマヌジャンθ関数分割式模擬θ関数など、彼の独創的で非常に型破りな結果は、全く新しい分野を開拓し、膨大な量の研究を促すことになった。彼の何千もの結果のうち、1, 2ダース分を除いて、すべてが正しいことが現在証明されている[13]

渡英後に発表した40編の論文の他には、渡英前の数学的発見を記したノートが3冊、帰国後に記された「失われたノートブック」[注 5]が残っている。彼のノートには、発表された結果や未発表の結果がまとめられており、「新しい数学的アイデアの源」として、彼の死後数十年にわたって分析・研究されてきた。特に「失われたノートブック」には、晩年の発見が記されており、数学者たちの間で大きな話題となった。ただし、大学で系統的な数学教育を受けなかったため、彼は「証明」という概念を持っておらず、得た「定理」に関して彼なりの理由付けをするに留まっており[注 6]、ラマヌジャンの業績は理解されにくかった。共同研究を行っていたハーディも、彼の直感性を損ねることを恐れて証明を押し付けることは避け、朝ラマヌジャンが持ってきた半ダースもの「定理」を1日かけて証明するという方法をとった[注 7]。その後、多くの数学者の協力により、彼が26歳までに発見した定理に関して証明が行われた。その作業が完了したのは1997年であり、「ノートブック」と「失われたノートブック」の全文が出版完了したのは2018年である。ラマヌジャンの死後1世紀近く経った現在も、彼の著作の中にある「単純な性質」や「類似した結果」というコメント自体が、疑われていなかった深遠かつ微妙な整数論の結果であることが、研究者たちによって発見され続けている[15][16]

渡英前のノートに記された公式群は、既に知られていたものも多かったが、連分数や代数的級数などに関しては新しい発見があった。渡英後に発表したラマヌジャンの保型形式、それに関連したラマヌジャン予想は重要な未解決問題であった[注 8]。その他、ロジャース・ラマヌジャン恒等式の再発見や確率論的整数論を創始した功績も高く評価されているが、帰印後のハーディへの手紙に記された「モックテータ関数」の発見が最高の仕事と評されている。後にハーディはラマヌジャンの仕事について、以下のように述懐している[8]

(ラマヌジャンの仕事は)真に偉大な仕事の単純さと不可避性を備えてはいなかった。それは奇妙さが減れば、より偉大になっただろう。しかしそこには誰も否定できない天賦の才能があった。それは深く無敵の独創性である。もし彼がもっと若い頃に発見され、馴らされていたら、おそらくもっと偉大な数学者になって、新しい発見やより重要な発見をしただろう。一方、彼はそれほど「ラマヌジャン的」でなくなり、ヨーロッパの教授風になって、得るものより失うもののほうが大きかったかもしれない。

また、ハーディは1点から100点までの点数で数学者をランク付けしていた。それによると、ハーディ自身は25点、リトルウッドが30点、ヒルベルトが80点、そしてラマヌジャンが100点だった[17]。ハーディは謙遜して自分をわずか25点にしか評価していないが、ラマヌジャンに100点を与えたのは、彼の業績に対してハーディが抱いていた尊敬の度合いを表している[注 9]

彼の解法の発想について「寝ている間にナーマギリ女神が教えてくれた」と発した言葉は有名である。

ラマヌジャンの τ 関数

編集

ラマヌジャンは、現在ラマヌジャンのデルタと呼ばれている次の保型形式を計算した。

 

彼は x のべきの係数   が乗法的な関数であることを見抜き、さらにそこから

 

を考えて、そのオイラー積表示

 

を与えた[注 10]。このオイラー積には p−2s という ps の2次の因子が現れており、このようなオイラー積はラマヌジャンによって初めて発見されたものである(「2次のゼータ」の発見)。

タクシー数

編集

ラマヌジャンの逸話として有名なものの一つに次のものがある。

1918年2月ごろ、ラマヌジャンは療養所に入っており、見舞いに来たハーディは次のようなことを言った。

「乗ってきたタクシーのナンバーは1729だった。さして特徴のない数字だったよ」

これを聞いたラマヌジャンは、すぐさま次のように言った。

「そんなことはありません。とても興味深い数字です。それは2通りの2つの立方数の和で表せる最小の数です」

実は、1729は次のように表すことができる。

1729 = 123 + 13 = 103 + 93

すなわち、1729が「A = B3 + C3 = D3 + E3」という形で表すことのできる数 A のうち最小のものであることを、ラマヌジャンは即座に指摘したのである。

このようなことから、リトルウッドは「全ての自然数はラマヌジャンの個人的な友人だ」と述べたと言われる。この逸話のため、1729は俗にハーディ・ラマヌジャン数タクシー数などと呼ばれており、スタートレックフューチュラマなどのSFや、ハッカー文化の文脈では「一見すると特に意味のない数」のような文脈でこの数が使われていることがある。ちなみに1729は、カーマイケル数でもある。

この逸話には続きがあり、ハーディが四乗数でも同様のものがあるのかを尋ねた所、ラマヌジャンは少し考えた後「あると思うが大きすぎて分からない」と答えたという。この直感は当たっており、実際、四乗数はそれより何桁も大きい数である。

635 318 657 = 1344 + 1334 = 1584 + 594

補足:上記でいう立方数は自然数を3乗した数のことであり、整数(0は含まず)を3乗した数として負の数まで含め、また絶対値が違う組み合わせからなる値は91が最小(絶対値が最小)である。

91 = 63 + (−5)3 = 43 + 33

タクシー数とK3曲面

編集

ラマヌジャンが1729という数字を何故意識していたのか、没後90年以上よく分っていなかったが、21世紀に入って理由が判明した。

2013年エモリー大学ケン・オノアンドリュー・グランヴィル英語版と共にケンブリッジ大学が所蔵するラマヌジャンの遺稿を調査した際、インド帰国後の1919年に病床で記したノートの中に、1729の計算とそれにまつわる覚書があるのを発見した。オノとグランヴィルが驚いたことに、ラマヌジャンはその中で次数3である場合のフェルマーの最終定理の「反例に近い値」を無限個生成する式を与えていた[18][19]。つまり、a3 + b3 = c3 + 1 または a3 + b3 = c3 − 1を満たす a, b, c を探すという問題に対する答である。1729は103 + 93 = 123 + 13としてこの計算の中に現れる。

オノはこの発見を持ち帰り、彼の指導院生であるSarah Trebat-Lederと共に精査した結果、この時ラマヌジャンは答を導出する過程で1729と楕円曲線から今日で言うK3曲面を構成していたことを発見した[20][21]。これはアンドレ・ヴェイユによるK3曲面の再発見と命名に30年以上先行する仕事である。更にラマヌジャンのK3曲面はランク≧2の楕円曲線を無限個生成するという特別な性質を持っていた。プリンストン大学マンジュル・バルガヴァはこれを「これまで未知だった性質を示す素晴らしい例」であり、数学にまた新たな発展をもたらすだろうと述べた[18]

具体的には、ラマヌジャンは一般に

 

を考察し[注 11]、1913年に無限個の解を与える公式

 

を発見し、その後オイラーの一般有理解と等価な一般有理解の公式を得ている。

オノらは、上記の整数解で t = A/B としたもの

 

は楕円曲線

 

の2つの有理点を与え、さらにこの楕円曲線は関数体   上の楕円曲線とみると階数2をもち、  によって生成されることを示した。特に、与えられた有理数 t に対して(有限個の例外を除き)この楕円曲線は有理数上2以上の階数をもつ。また曲面

 

は楕円K3曲面であることを示したのである[22]

円周率の公式

編集

ラマヌジャンは、今日ではモジュラー関数と呼ばれる考えを元に、次の円周率の公式を発見した。

 
 

これらの公式は、収束が非常に早いものとして知られている。1985年に、ウィリアム・ゴスパー (William Gosper) は、1番目の式を用いて、当時としては世界最高の1752万6200桁を計算した。ただしラマヌジャンは証明を書き残していなかったので、ゴスパーの計算が正しく円周率を与えるかは保証されなかったが、得られた結果はそれまでに計算されていた円周率の値と整合したので、式の正しさのある意味で実験的な「証明」を与えたことになる。これらの式はその後に数学的に正当な方法で証明された。

また、次のような円周率に関する近似式も発見している。

 
 
 

著作

編集
  • Srinivasa Ramanujan; G. H. Hardy, P. V. Seshu Aiyar, B. M. Wilson, ブルース・バーント英語版 (2000). Collected Papers of Srinivasa Ramanujan. AMS. ISBN 0-8218-2076-1 
原書は1927年にラマヌジャンの死後に出版された。数学の専門誌に掲載されたラマヌジャンの論文37編を収録。第3版にはブルース・バーントの注釈が追加されている。
  • S. Ramanujan (1957). Notebooks (2 Volumes). Bombay, India: Tata Institute of Fundamental Research 
ラマヌジャンによって記されたノートブックの影印を収録。
  • S. Ramanujan (1988). The Lost Notebook and Other Unpublished Papers. New Delhi, India: Narosa. ISBN 3-540-18726-X 
ラマヌジャンの“失われたノートブック”の影印を収録。
  • K. Srinivasa Rao. “Questions by Srinivasa Ramanujan”. Journal of the Indian Mathematical Socity. 2012年12月22日閲覧。
  • S. Ramanujan (2012). Notebooks (2 Volumes). Bombay, India: Tata Institute of Fundamental Research 
チェンナイのRoja Muthiah Research Libraryにより直筆草稿よりスキャンされたマイクロフィルムから作成。

脚注

編集

注釈

編集
  1. ^ ハンス・アイゼンクは「彼は、第一線のプロの数学者たちに自分の研究に興味を持ってもらおうとしたが、そのほとんどは失敗に終わった。彼が見せなければならないものは、あまりに目新しく、あまりに見慣れないもので、しかも変わった方法で提示されるため、彼らは気にかけることができなかったのだ。」[6]とする。
  2. ^ ハーディは彼の手紙について、「一目見ただけで最高の数学者によって書かれたことがわかる」と述べ、ラマヌジャンをオイラーヤコビといった天才的数学者と比較している。
  3. ^ ラマヌジャンはトリニティ・カレッジのフェローに選ばれた最初のインド人となった。
  4. ^ ラマヌジャンは敬虔なヒンドゥー教徒であり、厳格な菜食主義者だったうえ、「バラモン以外のものが料理したものは不浄」として口にせず、あまつさえハーディとの共同研究に没頭するあまり、「30時間休まずに研究して20時間眠り続ける」というような不規則な生活を続けていた[9]第一次世界大戦下のイギリスはドイツによる通商破壊もあり、栄養の確保が困難だったことも拍車をかけたとされる。なお、ラマヌジャンの病気については、結核か重度のビタミン欠乏症と言われていたが、近年の研究では赤痢を併発していたことからアメーバ肝炎とされている[10]
  5. ^ 1976年に発見された。
  6. ^ 例えば「寝ている間にナーマギリ女神が教えてくれた」など。
  7. ^ ハーディのノートには、ラマヌジャンが画期的な新定理を発表したことが記されており、その中には「私を完全に打ち負かしたもの、今まで全く見たことのないもの」[14]、また最近証明されたが非常に高度な結果もあった[要出典]
  8. ^ 1974年ドリーニュが解決している。
  9. ^ ハーディの採点基準では採点外のその他大勢が存在するため、25点や100点というのは「点数を付けるに値する」対象内での評価点となる。ハーディ自身己の業績にかなりの自負を持っているが、それでも25点程度だろうとした上でラマヌジャンを100点と評価している。
  10. ^ 正確には「証明」していない。
  11. ^ 有理数解を与える一般的な公式は既にレオンハルト・オイラーによって発見されており、そこから無限個の整数解が得られるが、すべての整数解を与える一般的な公式は知られていない。なお、アドルフ・フルヴィッツによって単純化された公式がHardy & Wright (2008, Theorem 235)に掲載されている。

出典

編集
  1. ^ Olausson, Lena; Sangster, Catherine (2006). Oxford BBC Guide to Pronunciation. Oxford University Press. p. 322. ISBN 978-0-19-280710-6 
  2. ^ Oxford Dictionary of National Biography (英語) (online ed.). Oxford University Press. {{cite encyclopedia}}: |title=は必須です。 (説明) (要購読、またはイギリス公立図書館への会員加入。)
  3. ^ 『別冊ニュートン 数学の世界[増補第3版]楽しみながら科学と数学に強くなろう』ニュートンプレス、2019年11月5日、102頁。 
  4. ^ 「脳のなかの幽霊」V・S・ラマチャンドラン,1999
  5. ^ Kanigel(1991)、pp.55 f。カニーゲル (1994)、pp.59-61。
  6. ^ Hans Eysenck (1995). Genius, p. 197. Cambridge University Press, ISBN 0-521-48508-8.
  7. ^ 藤原(2002)、p. 163。
  8. ^ a b G. H. Hardy (1940), Lecture I
  9. ^ 『別冊ニュートン 数学の世界[増補第3版]楽しみながら科学と数学に強くなろう』ニュートンプレス、2019年11月5日、103頁。 
  10. ^ D. A. B. YOUNG, Ramanujan's illness, Current Sci. 67, no. 12 (1994), 967–972
  11. ^ Ono, Ken (June–July 2006). “Honoring a Gift from Kumbakonam”. Notices of the American Mathematical Society 53 (6): 640–51 [649–50]. https://www.ams.org/notices/200606/fea-ono.pdf 23 June 2007閲覧。. 
  12. ^ Berndt, Bruce C. (12 December 1997). Ramanujan's Notebooks. Part 5. Springer Science & Business. p. 4. ISBN 978-0-38794941-3 
  13. ^ “Rediscovering Ramanujan”. Frontline 16 (17): 650. (August 1999). https://web.archive.org/web/20130925201456/http://www.frontline.in/static/html/fl1617/16170810.htm 20 December 2012閲覧。. 
  14. ^ Hardy, Godfrey Harold (1940). Ramanujan: Twelve Lectures on Subjects Suggested by His Life and Work. Cambridge University Press. p. 9. ISBN 0-8218-2023-0 
  15. ^ Deep meaning in Ramanujan's 'simple' pattern Archived 3 August 2017 at the Wayback Machine.
  16. ^ "Mathematical proof reveals magic of Ramanujan's genius" Archived 9 July 2017 at the Wayback Machine.. New Scientist.
  17. ^ Kanigel(1991)、p. 226。カニーゲル(1994)、p. 221。
  18. ^ a b Clark, Carol (2015-10-14), Mathematicians find 'magic key' to drive Ramanujan's taxi-cab number, Phys, https://phys.org/news/2015-10-mathematicians-magic-key-ramanujan-taxi-cab.html 2017年4月18日閲覧。 
  19. ^ Freiberger, Marianne (2015-11-03), Ramanujan surprises again, Plus, https://plus.maths.org/content/ramanujan 2017年4月21日閲覧。 
  20. ^ Ono, Ken; Trebat-Leder, Sarah (2016-10-17), “The 1729 K3 surface”, Research in Number Theory (Springer), https://resnumtheor.springeropen.com/articles/10.1007/s40993-016-0058-2 2017年4月18日閲覧。 
  21. ^ Ono, Ken; Trebat-Leder, Sarah (2017-02-10), “Erratum to: The 1729 K3 surface”, Research in Number Theory (Springer), https://resnumtheor.springeropen.com/articles/10.1007/s40993-017-0076-8 2017年4月18日閲覧。 
  22. ^ Ken Ono and Sarah Trebat-Leder (2016, 2017)

参考文献

編集

関連文献

編集

関連項目

編集

・ユゴー=コーヤマ

外部リンク

編集