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

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

シュリニヴァーサ・アイヤンガル・ラマヌジャン（Srinivasa Aiyangar Ramanujan, タミル語: சீனிவாச இராமானுசன் [sriːniˈʋaːsə raːˈmaːnudʒən] ( 音声ファイル)、1887年12月22日 - 1920年4月26日）は数論を専門とするインドの数学者。極めて直感的、天才的な閃きにより「インドの魔術師」の異名を取った。

生涯

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

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

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

その後、周囲の勧めもあって、1913年、イギリスのヒル教授、ベイカー教授、ボブソン教授に研究成果を記した手紙を出すも黙殺される。だがケンブリッジ大学のゴッドフレイ・ハロルド・ハーディは、ラマヌジャンの手紙を読み、最初は「狂人のたわごと」程度にしかとらなかったものの、やがてその内容に驚愕するようになる。ラマヌジャンの成果には明らかな間違いや既知のものもあるが、中には「この分野の権威である自分でも真偽を即断できないもの」、「自分が証明した未公表の成果と同じもの」がいくつか書かれていたからである 。

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

ケンブリッジ大学トリニティ・カレッジヒューウェル寮

こうしてハーディはラマヌジャンをケンブリッジ大学に招聘し、ラマヌジャンは1914年に渡英する。しかしイギリスでの生活に馴染むことができず、やがて病気を患ってインドに帰国、1920年に病死した。ラマヌジャンは敬虔なヒンドゥー教徒であり厳格な菜食主義者だったが、第一次世界大戦下のイギリスはドイツによる通商破壊もあり、確保が困難だった。こうしたことが原因で、ラマヌジャンは身体的な衰弱を来たしたものとされる。なお、ラマヌジャンの病気は結核か重度のビタミン欠乏症、あるいは近年の研究ではアメーバ性肝炎と言われる。

渡英後に発表した四十編の論文の他には、渡英前の数学的発見を記したノート三冊、帰国後に記された「失われたノートブック」が残っている。ただし、大学で系統的な数学教育を受けなかったため、彼は「証明」という概念を持っておらず、得た「定理」に関して彼なりの理由付けをするに留まっていた（寝ている間にナーマギリ女神が教えてくれた、など）。共同研究を行っていたハーディも、彼の直感性を損ねることを恐れて証明を押し付けることは避け、朝ラマヌジャンが持ってきた半ダースもの「定理」を一日かけて証明するという方法をとった。一方、明確な証明をしないラマヌジャンの業績は理解されにくかった。彼が26歳までに発見した定理に関して、その後多くの数学者の協力で証明が行われたが、その作業が完了したのは1997年である。「ノートブック」と「失われたノートブック」の全文が出版完了したのは2018年である。

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

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

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

ラマヌジャンの τ 関数

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

$\Delta =x\prod _{n=1}^{\infty }(1-x^{n})^{24}=\sum _{n=1}^{\infty }\tau (n)x^{n}$

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

$\sum _{n=1}^{\infty }\tau (n)n^{-s}$

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

$\prod _{p}{\frac {1}{1-\tau (p)p^{-s}+p^{11-2s}}}$

を与えた（正確には、「証明」していないが）。このオイラー積には p^−2s という p^−s の2次の因子が現れており、このようなオイラー積はラマヌジャンによって初めて発見されたものである（「2次のゼータ」の発見）。

タクシー数

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

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

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

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

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

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

1729 = 12³ + 1³ = 10³ + 9³

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

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

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

635 318 657 = 134⁴ + 133⁴ = 158⁴ + 59⁴

補足：上記でいう立方数は自然数を3乗した数のことであり、整数（0は含まず）を3乗した数として負の数まで含めれば、91が最小（絶対値が最小）である。

91 = 6³ + (−5)³ = 4³ + 3³

詳細は「タクシー数」、「キャブタクシー数」、および「一般化タクシー数」を参照

タクシー数とK3曲面

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

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

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

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

$X^{3}+Y^{3}=Z^{3}+W^{3}$

を考察し（有理数解を与える一般的な公式は既にレオンハルト・オイラーによって発見されており、そこから無限個の整数解が得られるが、すべての整数解を与える一般的な公式は知られていない）、1913年に無限個の解を与える公式

$(6A^{2}-4AB+4B^{2})^{3}+(-3A^{2}-5AB+5B^{2})^{3}=(4A^{2}-4AB+6B^{2})^{3}+(5A^{2}-5AB-3B^{2})^{3}$

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

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

$(6t^{2}-4t+4)^{3}+(-3t^{2}-5t+5)^{3}=(4t^{2}-4t+6)^{3}+(5t^{2}-5t-3)^{3}$

は楕円曲線

$X^{3}+Y^{3}=k(t),k(t)=63(3t^{2}-3t+1)(t^{2}+t+1)(t^{2}-3t+3)$

の2つの有理点を与え、さらにこの楕円曲線は関数体 $\mathbb {Q} (t)$ 上の楕円曲線とみると階数2をもち、$(6t^{2}-4t+4,-3t^{2}-5t+5),(4t^{2}-4t+6,5t^{2}-5t-3)$ によって生成されることを示した。特に、与えられた有理数 t に対して（有限個の例外を除き）この楕円曲線は有理数上2以上の階数をもつ。また曲面

$X^{3}+Y^{3}=k(Z)$

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

円周率の公式

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

${\frac {1}{\pi }}={\frac {2{\sqrt {2}}}{99^{2}}}\sum _{n=0}^{\infty }{\frac {(4n)!(1103+26390n)}{(4^{n}99^{n}n!)^{4}}}$

${\frac {4}{\pi }}=\sum _{n=0}^{\infty }{\frac {(-1)^{n}(4n)!(1123+21460n)}{882^{2n+1}(4^{n}n!)^{4}}}$

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

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

$\pi \approx {\sqrt[{4}]{\frac {2143}{22}}}=3.1415926525\cdots$

$\pi \approx {\frac {63\left(17+15{\sqrt {5}}\right)}{25\left(7+15{\sqrt {5}}\right)}}=3.1415926538\cdots$

${\frac {1}{2\pi {\sqrt {2}}}}\approx {\frac {1103}{99^{2}}}\iff \pi \approx 3.1415927\cdots$

著作

• 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により直筆草稿よりスキャンされたマイクロフィルムから作成。

参考文献

• Kanigel, Robert (1991). The Man Who Knew Infinity (Paperback ed.). New York: Charles Scribner's Sons. ISBN 0-671-75061-5 　映画『奇蹟がくれた数式』の原作
  • ロバート・カーニゲル『無限の天才　夭折の数学者・ラマヌジャン』田中靖夫訳工作舎 1994/2016 ISBN 978-4-87502-476-7 - Kanigel(1991)の和訳。
• 藤原正彦『天才の栄光と挫折　数学者列伝』新潮社〈新潮選書〉、2002年5月。ISBN 4-10-603511-1。 
  • 藤原正彦『天才の栄光と挫折　数学者列伝』文藝春秋〈文春文庫〉、2008年9月。ISBN 978-4-16-774902-6。 
• Berndt, Bruce C.; Rankin, Robert A. (1995), Ramanujan: Letters and Commentary, 9, Providence, Rhode Island: American Mathematical Society, ISBN 0-8218-0287-9 
  • ラマヌジャン 著、ブルース・バーント・ロバート・ランキン編著 編『ラマヌジャン書簡集』細川尋史訳、シュプリンガー・フェアラーク東京、2001年6月。ISBN 4-431-70777-8。 
  • ラマヌジャン 著、ブルース・バーント・ロバート・ランキン編著 編『ラマヌジャン書簡集』細川尋史訳、丸善出版、2001年6月。ISBN 978-4-621-06414-6。https://www.maruzen-publishing.co.jp/item/b294359.html。 
• Hardy, G. H. (1940). Ramanujan: Twelve Lectures on Subjects Suggested by His Life and Work. Cambridge University Press , Reiisued AMS Chelsea (1999)
  • G.H. ハーディ『ラマヌジャン その生涯と業績に想起された主題による十二の講義』髙瀬幸一（訳）、丸善出版〈数学クラシックス〉、2016年。ISBN 978-4621065297。 

関連文献

• Berndt, Bruce C. (1998), Butzer, P. L.; Oberschelp, W.; Jongen, H. Th., ed. (PDF), Charlemagne and His Heritage: 1200 Years of Civilization and Science in Europe, Turnhout, Belgium: Brepols Verlag, pp. 119–146, ISBN 2-503-50673-9, https://faculty.math.illinois.edu/~berndt/articles/aachen.pdf 
• Berndt, Bruce C.; Andrews, George E. (2005), Ramanujan's Lost Notebook, Part I, New York: Springer, ISBN 0-387-25529-X 
• Berndt, Bruce C.; Andrews, George E. (2008), Ramanujan's Lost Notebook, Part II, New York: Springer, ISBN 978-0-387-77765-8 
• Berndt, Bruce C.; Andrews, George E. (2012), Ramanujan's Lost Notebook, Part III, New York: Springer, ISBN 978-1-4614-3809-0 
• Berndt, Bruce C.; Andrews, George E. (2013), Ramanujan's Lost Notebook, Part IV, New York: Springer, ISBN 978-1-4614-4080-2 
• Berndt, Bruce C.; Andrews, George E. (2018), Ramanujan's Lost Notebook, Part V, New York: Springer, ISBN 978-3-3197-7832-7 
• Berndt, Bruce C.; Rankin, Robert A. (2001), Ramanujan: Essays and Surveys, 22, Providence, Rhode Island: American Mathematical Society, ISBN 0-8218-2624-7 
• Berndt, Bruce C. (2006), Number Theory in the Spirit of Ramanujan, 9, Providence, Rhode Island: American Mathematical Society, ISBN 0-8218-4178-5 
• Berndt, Bruce C. (1985), Ramanujan's Notebooks, Part I, New York: Springer, ISBN 0-387-96110-0 
• Berndt, Bruce C. (1999), Ramanujan's Notebooks, Part II, New York: Springer, ISBN 0-387-96794-X 
• Berndt, Bruce C. (2004), Ramanujan's Notebooks, Part III, New York: Springer, ISBN 0-387-97503-9 
• Berndt, Bruce C. (1993), Ramanujan's Notebooks, Part IV, New York: Springer, ISBN 0-387-94109-6 
• Berndt, Bruce C. (2005), Ramanujan's Notebooks, Part V, New York: Springer, ISBN 0-387-94941-0 
• Hardy, G. H. (1978), Ramanujan, New York: Chelsea Pub. Co., ISBN 0-8284-0136-5 
• Hardy, G. H. (1999), Ramanujan: Twelve Lectures on Subjects Suggested by His Life and Work, Providence, Rhode Island: American Mathematical Society, ISBN 0-8218-2023-0 
• Hardy, G.H.; Wright, E.M. (2008) [1938]. An Introduction to the Theory of Numbers. Revised by D.R. Heath-Brown and J.H. Silverman. Foreword by Andrew Wiles. (6th ed.). Oxford: Oxford University Press. ISBN 978-0-19-921986-5. Zbl 1159.11001 
• Henderson, Harry (1995), Modern Mathematicians, New York: Facts on File Inc., ISBN 0-8160-3235-1 
• Kolata, Gina (19 Jun. 1987), “Remembering a 'Magical Genius'”, Science, New Series (American Association for the Advancement of Science) 236 (4808): 1519–1521 
• Leavitt, David (2007), The Indian Clerk (paperback ed.), London: Bloomsbury, ISBN 978-0-7475-9370-6 
• Narlikar, Jayant V. (2003), Scientific Edge: the Indian Scientist From Vedic to Modern Times, New Delhi, India: Penguin Books, ISBN 0-14-303028-0 
• Ono, Ken; Trebat-Leder, Sarah (2016). “The 1729 K3 surface”. Res. Number Theory 2: No. 26. doi:10.1007/s40993-016-0058-2. 
• Ono, Ken; Trebat-Leder, Sarah (2017). “Erratum to: The 1729 K3 surface”. Res. Number Theory 3: No. 12. doi:10.1007/s40993-017-0076-8. 
• Sankaran, T. M. (2005) (マラヤラム語), Srinivasa Ramanujan- Ganitha lokathile Mahaprathibha, Kochi, India: Kerala Sastra Sahithya Parishath 

関連項目

• 円積問題
• ゴッドフレイ・ハロルド・ハーディ
• ラマヌジャンのタウ函数
• ブロカールの問題
• ラマヌジャン賞
• ラマヌジャンの和公式
• ラマヌジャン予想
• ラマヌジャン (小惑星)
• 奇蹟がくれた数式 - 2015年にイギリスで制作された伝記映画
• ラマヌジャン (映画) - 2014年にインドで制作された伝記映画
• 1+2+3+4+...
• 多重根号
• ラマヌジャングラフ

外部リンク

• Ramanujan's papers and notebooks
• O'Connor, John J.; Robertson, Edmund F., “Srinivasa Aiyangar Ramanujan”, MacTutor History of Mathematics archive, University of St Andrews, https://mathshistory.st-andrews.ac.uk/Biographies/Ramanujan/ .