戈弗雷·哈罗德·哈代（Godfrey Harold Hardy）

20 世纪上半叶英国纯数学的复兴者与最美数学散文的作者——他与李特尔伍德的 35 年合作是数学史上最伟大的搭档之一，用「圆法」推进了华林问题与哥德巴赫猜想；他一眼认出拉马努金的天才；他的《一个数学家的辩白》把数学家的心灵写得通透而忧伤，而那句「世上没有丑数学的永久位置」成了纯数学的美学宣言。

一、生平与时代背景

戈弗雷·哈罗德·哈代 1877 年 2 月 7 日生于英格兰萨里郡克兰利（Cranleigh）。父亲艾萨克·哈代（Isaac Hardy）是克兰利学校的财务主管兼美术教师，母亲索菲娅（Sophia）曾在林肯师范学校任教；双亲都聪慧且有些数学才能，但出身贫寒，未能接受大学教育。他一生被称为「哈代」（Hardy），只有一两个密友叫他「哈罗德」。

他在克兰利学校读到 12 岁，每门功课都名列第一，但因领奖要在全校面前走过而「无法忍受」。他在《辩白》中坦承，少年时对数学并无激情，只是把它当作「在考试与奖学金中胜过别的男孩」的最有效手段。1889 年他赢得温彻斯特公学（Winchester College，当时英国数学训练最好的学校）的奖学金，次年入学。尽管后来承认那里学术训练一流，他不喜欢学校的其他一切：对一个体弱害羞的男孩来说，公学是个粗粝的地方；他从未接受体育训练，但终生热爱球类运动，尤其是板球。

1896 年他获剑桥三一学院公开奖学金入学，被分配给最有名的「教练」R. R. 韦伯（R. R. Webb）。他很快发现韦伯只关心考试技巧而非数学本身，一度想转读历史。后来他换了导师洛夫（A. E. H. Love），是洛夫让他「第一次睁开眼睛」，并建议他读若尔当的《分析教程》（Cours d'analyse）——哈代写道：「我永远忘不了读这部杰作时的震惊，它让我第一次懂得数学究竟是什么。」1898 年他在数学荣誉学位考试（Tripos）中获第四名「甲等及格者」（fourth wrangler），这一结果令他懊恼——尽管他觉得这套体制很荒唐，仍认为自己本该拿第一。1900 年当选三一学院研究员，1901 年与金斯（J. H. Jeans）共获史密斯奖（「相对名次不予指定」）。

1911 年之前，他发表了大量关于级数与积分收敛性的论文，确立了分析学家的声誉；但他这一时期对数学最大的贡献是 1908 年的《纯数学教程》（A Course of Pure Mathematics）——英国第一部面向本科生的严格数、函数、极限论述，彻底改变了大学数学教学。

1911 年，他与约翰·恩瑟·李特尔伍德（J. E. Littlewood）开始合作，这一合作持续了 35 年，是数学史上最伟大的合作之一。1913 年初，他收到来自印度的拉马努金（Srinivasa Ramanujan）的第一封信——另外两位顶尖数学家此前都未能识其天才——哈代立即看出那是天才，把他请到剑桥，两人合写了五篇杰出论文。1914 年一战爆发，李特尔伍德赴皇家炮兵服役，哈代主动请缨但因体检不合格被拒。他的反战立场（他敬重德国文化，认为这场战争不该打，且错主要在英国一方）使他与剑桥多数同事格格不入，深感苦闷。

1919 年他离开剑桥，任牛津大学萨维利安几何学教授——这是他一生中最快乐、也产出最好数学的年代（与在剑桥的李特尔伍德远程合作，后勤颇为困难）。他自称「四十出头在牛津当教授时状态最佳」。尽管出身与职位，他偏同情贫弱者，厌恶他所谓「大屁股」的自信帝国主义资产阶级（含大多数主教、校长、法官和除劳合·乔治外的所有政客）。1924—1926 年他担任科学工作者协会（工会）主席。1928—1929 学年他赴普林斯顿，与维布伦（Veblen）交换一年。

1931 年霍布森（Hobson）退休，他回剑桥任萨德来里安讲座教授（Sadleirian Professor）。斯诺（C. P. Snow）说他回来有两个原因：他仍视剑桥为英国数学的中心、萨德来里安讲座为英国首屈一指的数学讲席；以及他能保留学院里的房间（牛津则不能）——对未婚、渐入老境的他而言这很重要。

他的研究兴趣覆盖纯数学诸多领域：丢番图分析、发散级数求和、傅里叶级数、黎曼 ζ 函数、素数分布。合作者除李特尔伍德、拉马努金外，还有蒂奇马什（Titchmarsh）、英厄姆（Ingham）、兰道、波利亚（Pólya）、赖特（E. M. Wright）、罗戈辛斯基（Rogosinski）、里斯（Marcel Riesz）。

哈代是纯粹数学家，希望自己的数学「永远不能被应用」。然而 1908 年他（在普尼特（Punnett）的询问下）给出了描述显性/隐性遗传比例在大种群中如何传递的定律——即哈代—温伯格定律（温伯格独立发现），他自认不重要，却被证明在血型分布等遗传学中至关重要。

板球是他生活中除数学外唯一的激情：赛季里他的一天是——早餐读《泰晤士报》板球比分，9 点到 1 点做研究，简餐后走到大学板球场看球，傍晚慢慢走回学院房间，晚餐后一杯葡萄酒；非赛季则读澳大利亚板球比分，下午打真实网球（real tennis）。他以怪癖闻名：讨厌被拍照（已知仅存五张快照），讨厌镜子，进旅馆第一件事是用毛巾盖住镜子；他常玩「骗上帝」的游戏（尽管终生自称不信上帝），比如去丹麦途中寄明信片声称已证明黎曼假设，心想上帝不会让船沉、给他费马那样的名声；去看板球时带着「反上帝装备」（厚毛衣、雨伞、待审论文、考卷），以为上帝会因此让太阳整日高照来故意跟他作对。

1939 年 62 岁的他心脏病发作，身心的青春状态戛然而止，再也无法参与运动；他对欧洲再次陷入战争的疯狂充满愤怒。但他给世界留下了最后一份礼物——1940 年写的《一个数学家的辩白》（A Mathematician's Apology）。斯诺评价这本书「若以应有的文本细读，是一本萦绕着忧伤的书」：它既是创造力的遗言，也是对一去不返的创造力的克制而热烈的挽歌。

1945 年战争结束时他健康迅速恶化；他渴望重新创造，却知道创造力已尽，陷入抑郁。1946 年他只能靠出租车出行，走几步就气喘。1947 年初夏他试图服用大量巴比妥类药物自杀，但服得太多，呕吐时幸存（撞在盥洗盆上留下黑眼圈），自嘲「搞砸了」。此后他不再尝试，平静等待死亡。他在去世前几周才得知自己获科普利奖章。1947 年 12 月 1 日卒于剑桥。

荣誉：1910 年当选皇家学会会员（FRS）；1920 年获皇家奖章；1940 年获西尔维斯特奖章（「对纯数学多个分支的重要贡献」）；1947 年获科普利奖章（「过去三十年英国数学分析发展中的杰出贡献」）；1926—1928、1939—1941 年两度任伦敦数学会主席；1929 年获该会德摩根奖章。

二、学术生涯年表

三、核心成果（逐条技术解析）

1. 哈代—李特尔伍德圆法（1918—1928）

问题背景：加法数论中的经典问题——华林问题（每个正整数是否可表为 $g(k)$ 个 $k$ 次幂之和？）、哥德巴赫猜想（大偶数表为两素数之和？）、整数分拆 $p(n)$ 的渐近——缺乏系统方法。

关键思想：圆法把「表示数」表示为某生成函数在单位圆上的积分，然后把积分路径（单位圆）分成「主弧」（major arcs，靠近分母小的有理点 $e^{2\pi i h/q}$，贡献主项）与「次弧」（minor arcs，其余部分，须估计其为小项）。主弧上的积分用有理逼近化为奇异级数与Γ函数，次弧用三角和估计。

精确表述：若 $r_s(N)$ 是把 $N$ 表为 $s$ 个 $k$ 次幂之和的表示数，则生成函数 $f(z)=\sum_{n\ge0} r_s(n)z^n$，而 $$r_s(N)=\frac1{2\pi i}\oint_{|z|=r}\frac{f(z)}{z^{N+1}}\,dz,$$ 取 $r=1-1/N$，将单位圆按法瑞序列分割为主弧与次弧分别估计。

与前人关系：方法雏形来自哈代与拉马努金 1918 年关于分拆 $p(n)$ 的工作；哈代—李特尔伍德在 1920—1928 年的「数的分划」系列 I—VIII 中系统发展。维诺格拉多夫（Vinogradov）后来用更优的素变数三角和估计改进，证明了「三素数定理」（大奇数表为三素数之和）。

意义：圆法是 20 世纪解析数论最强大的工具之一，至今仍是处理加性问题的标准方法，对华林问题、哥德巴赫猜想、素变数方程均有深远影响。

2. 与拉马努金：分拆函数的渐近公式（1918）

结果：1913 年哈代收到印度无名小职员拉马努金的信，其中满是未经证明的惊人恒等式。哈代与李特尔伍德评估后认定这是天才，力邀其来剑桥（1914）。两人合作的巅峰是 1918 年论文《组合分析中的渐近公式》，证明整数分拆函数 $p(n)$（把 $n$ 写成正整数之和的方式数，不计顺序）满足 $$p(n)\sim\frac{1}{4n\sqrt3}\exp\left(\pi\sqrt{\frac{2n}{3}}\right)\quad(n\to\infty).$$ 进一步给出任意精度的渐近展开（领头项后有级数修正）。

意义：这是圆法的第一次成功应用，也是渐近分析的典范；它展示了模形式与分拆函数之间的深刻联系（后被拉德马赫（Rademacher）精确化）。哈代「发现」拉马努金本身就是 20 世纪数学史上最动人的故事之一。

3. 黎曼 ζ 函数：临界线上无穷多个零点（1914）

背景：黎曼假设（1859）断言 ζ 函数所有非平凡零点都在临界线 $\operatorname{Re}s=1/2$ 上。到 1914 年，人们只验证了前若干个零点确实在临界线上，但不知道是否有无穷多个。

结果：哈代 1914 年证明了黎曼 ζ 函数在临界线 $\operatorname{Re}s=1/2$ 上有无穷多个零点。这是迈向黎曼假设的第一个重大理论结果（而非数值验证）。

与后人关系：哈代与李特尔伍德后来得到临界线上零点比例的下界（约 $1/3$）；塞尔贝格（Selberg，1942）把比例改进为正的比例；莱文森（Levinson，1974）改进到至少 $1/3$ 零点在临界线上；康里（Conrey，1989）到 $2/5$。但 RH 至今未证。

意义：这是解析数论的里程碑，首次从理论上确认临界线上零点的无穷性，为后续零点密度研究开辟了道路。

4. 哈代不等式（1920）

结果：哈代 1920 年证明了离散哈代不等式：对 $p>1$ 与非负实数 $a_n$， $$\sum_{n=1}^\infty\left(\frac{a_1+\cdots+a_n}{n}\right)^p\le\left(\frac{p}{p-1}\right)^p\sum_{n=1}^\infty a_n^p,$$ 常数 $(p/(p-1))^p$ 是最佳的；以及对应的积分形式 $$\int_0^\infty\left(\frac1x\int_0^x f(t)\,dt\right)^p dx\le\left(\frac{p}{p-1}\right)^p\int_0^\infty f(x)^p dx.$$

意义：哈代不等式是分析学中最常用的不等式之一，在调和分析、偏微分方程、变分法、谱估计中无处不在，衍生出大量加权与高维推广（哈代—索博列夫不等式等）。

5. 哈代空间 $H^p$ 与哈代—李特尔伍德极大函数

哈代空间（1915 起）：哈代在《论单位圆内解析函数的平均值》等论文中研究了单位圆盘上满足 $\sup_{r<1}\int_0^{2\pi}|f(re^{i\theta})|^p d\theta<\infty$ 的解析函数类，即哈代空间 $H^p$（$0<p\le\infty$）。他建立了 $H^p$ 函数的边界值、因式分解、零点分布等基本性质。

哈代—李特尔伍德极大定理（1930）：1930 年两人在《一个有函数论应用的极大定理》中证明，对局部可积函数 $f$，其哈代—李特尔伍德极大函数 $$(Mf)(x)=\sup_{r>0}\frac1{2r}\int_{x-r}^{x+r}|f(t)|\,dt$$ 满足弱型 $(1,1)$ 不等式与强型 $(p,p)$ 不等式（$1<p\le\infty$）。

意义：$H^p$ 空间是复分析、调和分析、算子理论、控制工程的核心对象；极大函数（及其高维推广）是现代调和分析的基本工具，几乎所有奇异积分定理的证明都要用到它。

6. 发散级数求和与陶伯定理

结果：哈代系统研究了发散级数的可和性（切萨罗求和、阿贝尔求和等），与李特尔伍德建立了一系列陶伯型定理：给出在可和性假设下添加什么条件能保证级数本身收敛。例如哈代—李特尔伍德陶伯定理：若 $\sum a_n$ 阿贝尔可和到 $s$ 且 $a_n=O(1/n)$，则 $\sum a_n$ 收敛到 $s$。

意义：可和性理论与傅里叶级数、解析延拓密切相关；陶伯定理后来被维纳（Wiener）用傅里叶方法系统推广，成为分析学的重要分支。

7. 哈代—温伯格定律（1908）与「无用之讥」

背景：1908 年遗传学家普尼特（R. C. Punnett）问哈代：为何显性遗传性状不会在种群中逐代增多？哈代用一个简单的二项式论证给出了答案。

结果：在随机交配、无选择、无突变、无迁移的大种群中，等位基因频率 $p,q$ 与基因型频率 $p^2:2pq:q^2$ 逐代保持不变（哈代—温伯格定律）。

评价：哈代认为这是平凡且不重要的结果（他以「我从未做过任何有用的事」自诩），但它是群体遗传学的基本定律，在血型分布、遗传咨询中被广泛应用——颇具反讽。德国医生温伯格（Wilhelm Weinberg）同年独立发现。

四、代表著作与文献

• 《纯数学教程》（A Course of Pure Mathematics，1908，剑桥大学出版社，多次再版）：英国第一部严格的本科分析教材，革新了英国数学教学。
• 《一个数学家的辩白》（A Mathematician's Apology，1940，剑桥；1967 年版含 C. P. 斯诺前言）：数学美文经典，对数学创造与美学的反思。
• 《不等式》（与李特尔伍德、波利亚合著，Inequalities，1934，剑桥）：经典不等式专著。
• 《数论导引》（与 E. M. 赖特合著，An Introduction to the Theory of Numbers，1938，牛津；多次再版）：数论经典教材。
• 《发散级数》（Divergent Series，1949，身后出版）：可和性理论的系统著作。
• 《傅里叶级数》（与罗戈辛斯基合著，Fourier Series，1944）：傅里叶级数现代理论教材。
• 论文：约 350 篇，含「数的分划」系列（与李特尔伍德）、《组合分析中的渐近公式》（与拉马努金，1918）、《论黎曼 ζ 函数的零点》（1914）等；全集 7 卷（1966—1979）。

五、师承、学派与同时代交往

• 师承：剑桥三一学院，受教于 A. E. H. 洛夫（Love）；洛夫建议读若尔当《分析教程》是其数学觉醒的关键。英国传统上他是「牛顿—哈代」一脉，但风格更接近欧洲大陆（受若尔当、勒贝格、兰道影响）。
• 李特尔伍德：1911 年起合作 35 年，约百篇论文，数学史上最伟大的合作之一。两人有著名约定：互不互访信件须假定对方正确、署名不分主次；哈代常说李特尔伍德技术更强，自己负责洞察与写作。
• 拉马努金：1913 年识其天才、请到剑桥，五篇合作论文；哈代后来说「与拉马努金的合作是我人生中唯一浪漫的事」。「1729 的士数」轶事即两人交往中的佳话（拉马努金指出 1729 是最小的可用两种方式表为两立方和的数）。
• 兰道：同代解析数论对手与合作者，有合写论文；兰道的《讲义》是哈代的重要参考。
• 合作者：蒂奇马什、英厄姆、波利亚、赖特、罗戈辛斯基、里斯等。
• 学生与影响：培养了英国一代分析与数论学者（如蒂奇马什、赖特）；他重振了自牛顿后长期重应用、轻纯理的英国纯数学，使剑桥成为世界分析与数论中心。
• 学派归属：英国分析—解析数论学派（哈代—李特尔伍德）的创立者；与德国（兰道、西格尔）、苏联（维诺格拉多夫）学派共同塑造 20 世纪解析数论。

六、争议、公案与历史评价

• 一战反战立场：哈代像罗素一样认为这场战争不该打，并认为错主要在英国一方；他敬重德国文化。这一立场使他在战时剑桥很孤立，也是他 1919 年转赴牛津的原因之一。
• 纯数学「无用」的辩白：他在《辩白》中声称「我从未做过任何有用的事」，并以「没有永久位置留给丑数学」著称。这既塑造了他的美学形象，也招致争议：事实上哈代—温伯格定律在遗传学中极有用，他本人也承认。他所谓「无用」主要指「不直接服务于战争与功利」。
• Tripos 体制批判：哈代（与罗素等）批评剑桥数学 Tripos 的「教练—应试」体制扼杀真正的数学教育；他推动了 Tripos 的改革（废除甲等及格者的名次排列于 1910 年实施），并以《纯数学教程》重塑英国本科分析教学。
• 与李特尔伍德的合作模式：两人长期分居（剑桥—牛津），通过邮件合作，其效率与产出令人称奇；关于「署名不分主次」的约定成为数学合作的典范。
• 晚年自杀未遂：1947 年他因创造力枯竭与抑郁而服药自杀未遂（呕吐时撞出黑眼圈，自嘲搞砸了）。斯诺对此有动人记述——这是 20 世纪数学名人中较罕见的晚年心理悲剧。
• 历史评价：哈代被公认为 20 世纪上半叶英国最伟大的纯数学家。他复兴了英国纯数学；他与李特尔伍德的合作、对拉马努金的发现、圆法与极大函数等工具，深刻影响了整个 20 世纪分析与数论；他的《纯数学教程》与《辩白》哺育并激励了几代数学家，许多人正是读了《辩白》才立志投身数学。

七、身后影响与学术谱系

• 对解析数论：圆法、分拆渐近、ζ 零点研究直接影响了维诺格拉多夫、塞尔贝格、埃尔德什、丘德诺夫斯基等；华林问题、哥德巴赫猜想的现代进展都以圆法为基础。
• 对调和分析：$H^p$ 空间与哈代—李特尔伍德极大函数是现代调和分析的两大支柱；奇异积分（考尔德伦—齐格蒙德）、小波理论都建立在极大函数技术之上。
• 对不等式与分析：哈代不等式、《不等式》一书成为分析学家的标准参考，衍生出哈代—索博列夫、加权哈代等大量推广。
• 对数学教育：《纯数学教程》革新了英国及英联邦的本科数学教学，是「严格分析」进入英语世界的标志；《数论导引》（与赖特）至今是数论入门经典。
• 对数学文化：《一个数学家的辩白》是最广为阅读的数学散文，影响了公众对数学的理解，也激励了无数年轻人投身数学。
• 命名遗存：哈代—李特尔伍德圆法、哈代—李特尔伍德极大函数/不等式、哈代空间 $H^p$、哈代不等式、哈代—拉马努金渐近公式、哈代—温伯格定律、哈代—李特尔伍德素数元组猜想、哈代—拉马努金数（的士数）；剑桥设有哈代研究席位；电影《知无涯者》（The Man Who Knew Infinity，2015）以他发现拉马努金为主题。

八、延伸阅读与权威来源

• MacTutor 数学史档案：G. H. Hardy：圣安德鲁斯大学权威传记，本档案主要史实出处。
• MacTutor: Dictionary of Scientific Biography — Hardy：科学传记词典条目（J. C. Burkill 撰）。
• Wikipedia: G. H. Hardy：生平、著作与性格轶事的交叉核对。
• Wikipedia: Hardy–Littlewood circle method：圆法的技术细节与历史。
• Wikipedia: Hardy–Ramanujan theorem：分拆渐近公式及拉马努金交往。
• Wikipedia: Hardy inequality：离散与积分哈代不等式。
• Wikipedia: Hardy space：$H^p$ 空间的历史与理论。
• Wikipedia: Hardy–Littlewood maximal function：极大函数与极大定理。
• Wikipedia: Hardy–Weinberg principle：遗传定律。
• G. H. Hardy, A Mathematician's Apology (Cambridge, 1940; with C. P. Snow foreword, 1967)：哈代本人的经典散文，一手文献。
• Robert Kanigel, The Man Who Knew Infinity (Scribner, 1991)：哈代发现拉马努金的传记，本档案部分轶事出处。
• The Times obituary: G. H. Hardy：《泰晤士报》讣告。