约翰·恩瑟·李特尔伍德（John Edensor Littlewood）

20 世纪上半叶英国分析学派的「另一半」——他与哈代合作 35 年、合写百余篇论文，被丹麦数学家哈拉尔德·玻尔打趣为「英国只有三位大数学家：哈代、李特尔伍德、哈代–李特尔伍德」；他在 1914 年一纸证明推翻了「素数计数函数永远小于对数积分」的数十年信念，又与拉马努金、卡特莱特、佩利等天才各有精彩合作，终生受抑郁症困扰却把 92 年的生命几乎全部用在了硬分析的攻坚战上。

一、生平与时代背景

约翰·恩瑟·李特尔伍德（John Edensor Littlewood）于 1885 年 6 月 9 日出生在英国肯特郡罗切斯特（Rochester）。父亲 爱德华·桑顿·李特尔伍德（Edward Thornton Littlewood） 也是数学家，1882 年以第九名甲等及格者（Ninth Wrangler）的成绩通过剑桥数学荣誉学位考试；母亲 西尔维娅·莫德·阿克兰（Sylvia Maud Ackland）。家中三子，约翰是长子；二弟后来学医，三弟不幸 8 岁时从桥上跌入湖中夭折。

1892 年，父亲在「剑桥莫德林学院研究员」与「南非新校温贝格（Wynberg）校长」之间选择了后者，举家迁往南非。李特尔伍德后来回忆：「若留在剑桥，我们的生活会截然不同……在那边我度过了极为快乐的童年，有山、有海、有宜人的气候。」但南非的教育质量很差，他曾因教学混乱而算术考试不及格；即便进了开普敦大学，也未能受益。1900 年，15 岁的他被送回英国，进入伦敦的圣保罗学校（St Paul's School），有幸遇到杰出教师 弗朗西斯·麦考利（Francis Macaulay，代数几何学家）——李特尔伍德日后说，麦考利的课「带有大学的氛围，任何学校都给不了比这更好的自立、知识与判断力基础」。1902 年 12 月他获得剑桥奖学金。

1903 年 10 月入剑桥三一学院，导师是《数学娱乐与随笔》的作者 沃尔特·劳斯·鲍尔（Walter Rouse Ball）。1905 年在数学荣誉学位考试第一部分中与 詹姆斯·默瑟（James Mercer） 并列甲等及格者第一名（Senior Wrangler）；1906 年完成第二部分，开始在 E·W·巴恩斯（E. W. Barnes） 指导下做研究。巴恩斯给了他两个课题：第一个他迅速解决；第二个是黎曼猜想。此事后来被视为当时英国数学「孤立与闭塞」的惊人注脚——巴恩斯竟认为适合最优秀的研究生，而李特尔伍德也毫不迟疑地去攻。李特尔伍德并不后悔：「攻一个太难的问题，总会证明出一些有趣的相关结果。」他在这个过程中重新发现了「黎曼猜想蕴含素数定理」这一在欧洲大陆已为人知的结论，并由此赢得三一学院研究员席位。

1907—1910 年任曼彻斯特大学理查森讲师（Richardson Lecturer）；1908 年当选三一学院研究员并获史密斯奖（Smith's Prize）。1910 年 10 月回到剑桥，接替被排挤离职的 A·N·怀特海（A. N. Whitehead） 空缺，此后便再未离开。最迟不晚于 1911 年（有人认为是 1910 年），他与 G·H·哈代（G. H. Hardy） 开始了长达 35 年的传奇合作。

一战期间，李特尔伍德在皇家要塞炮兵部队（Royal Garrison Artillery）服役，军衔少尉，从事弹道学计算：改进了防空射表与炮弹射程、飞行时间、落地角公式。他被特许与朋友住在伦敦、甚至允许穿军装打伞。米尔恩（E. A. Milne）记载：试射时「炮弹爆炸的观测位置精确地落在李特尔伍德算出的弹道上、时间标记上，误差极小，令所有相关人员又惊又喜」。

1928 年他出任劳斯·鲍尔数学教授（Rouse Ball Professor）——该席位由劳斯·鲍尔 1925 年去世后捐资设立，李特尔伍德是首位担任者，这使他可以自选课题讲授、不必再承担常规教学。1950 年退休。

终其一生，李特尔伍德受抑郁症折磨——从学生时代起就有，1957 年退休后接受治疗才明显好转，此后他终于能接受邀请访问美国，在 1957 年后的十年里多次赴美。抑郁极大地损害了他的社交生活：他一生从未担任过任何委员会的秘书或主席；1941—1943 年任伦敦数学会主席期间，竟从未主持过一次会议，全程由副主席代为主持。但在熟悉的三一学院晚餐桌上，他谈笑风生、十分活跃。

他身材矮壮、反应敏捷，学生时代是体操健将和击球手；热爱板球、登山、滑雪，常去康沃尔、苏格兰、阿尔卑斯度假；自学钢琴，尤其喜爱巴赫、贝多芬、莫扎特。90 岁仍思路敏锐，1970 年发表论文称「我克服了一个困扰我许久的难题」。1977 年 9 月 6 日在剑桥去世，享年 92 岁。

二、学术生涯年表

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

1. π(x) 与 Li(x) 之差无穷次变号（1914）——解析数论

问题背景：高斯、勒让德经验上猜想素数定理 π(x)~Li(x)（更精确地用对数积分 Li(x) 逼近 π(x)）。到 1914 年，所有数值计算都显示 π(x) < Li(x) 对一切已知 x 成立，许多数学家（包括拉马努金在他的某些论断中）相信这对所有 x 都对。

精确表述：李特尔伍德 1914 年在论文 Sur la distribution des nombres premiers（《Comptes Rendus》第 158 卷）中证明：差 $d(x)=\pi(x)-\operatorname{Li}(x)$ 无穷多次取正值、也无穷多次取负值。换言之，「π(x) 永远小于 Li(x)」是错误的。他的证明是存在性的，没有给出第一个变号点的位置。

与前人关系：素数定理（π(x)~x/log x 或 ~Li(x)）已于 1896 年由阿达马与德拉瓦莱·普桑证明；李特尔伍德的结果揭示逼近的误差项振荡极为剧烈，仅凭数值无法判断符号。第一个使 π(x)>Li(x) 的 x 的上界由他的学生 斯坦利·斯丘斯（Stanley Skewes） 给出：1933 年在黎曼假设成立的条件下证明存在某个 $x<10^{10^{10^{34}}}$（即 $e^{e^{e^{79}}}$ 量级，史称 Skewes 数）使 π(x)>Li(x)；1955 年斯丘斯在不假设黎曼假设的情况下给出另一个更大的上界。后世不断把这个界缩小（目前已知首个交叉点小于 $10^{316}$）。

局限性：李特尔伍德的证明完全是定性的；变号点的实际大小至今远未被精确定位，且该现象暗示 ζ 函数零点分布与素数误差之间的深刻联系。

2. 哈代—李特尔伍德圆法（1918 起）——解析数论

问题背景：如何计算整数分拆数 p(n)（把 n 写成正整数之和的方式数）？如何证明华林问题（每个正整数是 g(k) 个 k 次幂之和）？这些加性数论问题在 19 世纪缺乏系统工具。

关键思想：哈代与李特尔伍德（在拉马努金分拆工作的启发下）发明了圆法（circle method）：利用生成函数 $F(z)=\sum_{n\ge 0}a_n z^n$ 在单位圆上的积分来提取系数 $a_n=\frac{1}{2\pi i}\oint F(z)z^{-n-1}dz$。关键观察是：当 z 接近有理点 $e^{2\pi i h/q}$（q 小）时，F(z) 有极大的主项贡献，而在无理点附近贡献较小。于是把单位圆周按「法雷弧（Farey arcs）」分割：在「主弧」（接近小分母有理点）上用局部渐近精确估计，在「余弧」上证明贡献可忽略。

精确表述/代表结果： - 分拆函数渐近（哈代—拉马努金 1918，哈代—李特尔伍德 1920）： $$p(n)\sim \frac{1}{4n\sqrt{3}}\exp!\left(\pi\sqrt{\frac{2n}{3}}\right).$$ 圆法还给出一个收敛级数展开，后由 拉德马赫（Hans Rademacher，1937） 改进为精确等式。 - 华林问题：哈代—李特尔伍德证明对每个 $k$ 存在 $G(k)$ 使每个充分大的整数可表为至多 $G(k)$ 个 $k$ 次幂之和，并给出 $G(k)$ 的上界（如 $G(4)\le 19$，后被改进）。 - 素数 k 元组猜想与条件性三素数定理：1923 年在《Partitio numerorum III》中，他们在广义黎曼猜想（GRH）成立的假设下，证明大奇数可表为三素数之和（三元哥德巴赫猜想，条件性；无条件证明由 Helfgott 2013 年完成），并给出素数 k 元组的渐近计数（即第一哈代—李特尔伍德猜想的条件性版本）。这一渐近蕴含：对任意固定长度 $k$，存在无穷多组素数等差数列——无条件证明直到 2004 年 Green–Tao 定理才给出。

与前人关系：拉马努金在 1910 年代的分拆与 ζ 函数工作是圆法的重要思想来源；圆法由哈代—李特尔伍德系统化，后经 维诺格拉多夫（Vinogradov） 改造为更简洁有力的版本，成为现代解析数论的核心工具之一。

3. 哈代—李特尔伍德极大不等式与极大函数——调和分析

问题背景：傅里叶分析中，一个函数的傅里叶级数是否几乎处处收敛？逐点收敛需要控制函数在一点附近的平均行为。

关键思想/精确表述：哈代与李特尔伍德引入哈代—李特尔伍德极大函数（中心或非中心版本）：对局部可积函数 $f$， $$Mf(x)=\sup_{r>0}\frac{1}{|B(x,r)|}\int_{B(x,r)}|f(y)|\,dy.$$ 他们证明了弱型 (1,1) 不等式和强型 (p,p) 不等式（$11$），且对 $L^1$ 映到弱 $L^1$。这是勒贝格微分定理与傅里叶级数几乎处处收敛研究的基础工具，后经 Wiener 推广到一般空间，成为调和分析的基石。

与前人关系：极大算子的思想源于勒贝格的微分定理；哈代—李特尔伍德首次把它系统化为可迭代的不等式工具。考尔德伦—齐格蒙德（Calderón–Zygmund）奇异积分理论在很大程度上建立在极大函数方法之上。

4. 陶伯定理（Littlewood 型条件）——分析

问题背景：阿贝尔定理说，若 $\sum a_n$ 收敛到 $s$，则其阿贝尔和 $\lim_{r\to 1^-}\sum a_n r^n=s$。其逆命题（阿贝尔和收敛能否推出原级数收敛）一般不成立，需要附加「陶伯条件」。

精确表述：李特尔伍德 1911 年证明的李特尔伍德陶伯定理：若 $\sum a_n$ 阿贝尔可和到 $s$，且 $n a_n=O(1)$（即 $a_n=O(1/n)$），则 $\sum a_n$ 收敛到 $s$。这改进了陶伯（Tauber）原先较弱的条件 $n a_n\to 0$。哈代与李特尔伍德随后发展了一整套哈代—李特尔伍德陶伯理论，把阿贝尔可和、波莱尔可和等各种求和法的逆定理系统化。

历史意义：陶伯理论是连接「发散级数求和」与「经典收敛」的桥梁，在素数定理的初等证明（塞尔伯格—埃尔德什 1949）、概率论极限定理中都有重要应用。李特尔伍德 1958 年获科普利奖章的引文特别提到他在「陶伯理论」上的贡献。

5. 李特尔伍德 4/3 不等式——泛函分析 / 巴拿赫空间理论

精确表述：1930 年李特尔伍德证明，对任意双线性型 $B:\mathbb C^n\times\mathbb C^n\to\mathbb C$，有 $$\left(\sum_{i,j}|B(e_i,e_j)|^{4/3}\right)^{3/4}\le \sqrt{2}\,|B|\infty,$$ 其中 $|B|\infty$ 是在单位多圆盘上的上确界范数。这就是李特尔伍德 4/3 不等式。

历史意义：它是格罗滕迪克张量范数理论的先驱——格罗滕迪克 1950 年代的著名工作把这一不等式推广为一般巴拿赫空间之间算子的张量范数估计（格罗滕迪克不等式 / Grothendieck's theorem），开启了巴拿赫空间局部理论这一分支。李特尔伍德因此被视为「无穷维巴拿赫空间几何」的早期奠基者之一。

6. 与卡特莱特合作：非线性微分方程与动力系统（1930s 起）

问题背景：1938 年，英国科学与工业研究部（Radio Research Board）因雷达/无线电工程需要，请纯数学家研究一类非线性微分方程，特别是范德波尔方程（van der Pol equation）$x''+\mu(x^2-1)x'+x=b\mu k\cos(\lambda t)$，它描述无线电振荡器的受迫振动。

关键思想：李特尔伍德与 玛丽·卡特莱特（Mary Cartwright） 合作超过十年，研究大参数 $\mu$ 时的解的行为。他们发现解的结构极其复杂：存在多种周期解、准周期解，以及解对初值的敏感依赖。他们发展了平面上不变连续统的不动点定理，并较早地把庞加莱变换理论应用于耗散系统。

历史意义：这项工作是现代动力系统与混沌理论的早期先驱之一——他们在「奇怪吸引子」成为正式概念之前几十年，就观察到了非线性振荡系统的复杂拓扑行为。卡特莱特后来因此成为英国第一位女皇家学会会员。

7. 李特尔伍德三原则、李特尔伍德猜想与其他

• 李特尔伍德三原则（实分析教学名言）：①每个可测集近乎有限个区间的并；②每个可测函数近乎连续；③每个收敛的可测函数列近乎一致收敛。「近乎」由测度论精确化，是实分析入门的经典总结。
• 李特尔伍德猜想（丢番图逼近）：对任意实数 $\alpha,\beta$，$\liminf_{n\to\infty} n\,|n\alpha|\,|n\beta|=0$（$|\cdot|$ 表示到最近整数的距离）。这是他留给后人的著名难题，至今（2026 年）未完全解决，但已有深刻部分结果（如 Einsiedler–Katok–Lindenstrauss 证明其例外集的豪斯多夫维数为零）。
• Littlewood–Paley 理论（与佩利合作）：傅里叶分析中的二进分解方法，成为现代调和分析（小波、奇异积分）的核心工具。
• Littlewood–Offord 问题：随机符号和 $\sum\pm a_i$ 的反聚集不等式，是组合概率与随机矩阵理论的开端之一。

四、代表著作与文献

• 《一个数学家的杂集》（A Mathematician's Miscellany，1953 初版；1986 年由 Bollobás 扩充为 Littlewood's Miscellany 再版，剑桥大学出版社）：包含弹道学回忆、数学轶事、对研究方法的思考。
• 《李特尔伍德论文集》（Collected Papers of J E Littlewood，2 卷，Bollobás 编，1982，OUP/MIT Press）：注意哈代—李特尔伍德合作论文主要收入《哈代文集》。
• 与哈代合作的论文系列 《Partitio numerorum》（1918—1929，共约十篇）：圆法的原始文献。
• 1914 年论文 Sur la distribution des nombres premiers，Comptes Rendus 158: 1869–1872。
• 1911 年陶伯定理论文 The converse of Abel's theorem on power series，Proceedings of the London Mathematical Society (2) 9: 434–448。
• 1930 年 On bounded bilinear forms in an infinite number of variables（4/3 不等式），Quarterly Journal of Mathematics。
• 与卡特莱特合著多篇关于范德波尔方程的论文（1940s）。

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

• 师承：
• 本科导师：劳斯·鲍尔（三一学院）。
• 研究导师：E·W·巴恩斯（给他黎曼猜想课题）。
• 中学关键影响：F·S·麦考利。
• 学生（博士）：哈罗德·达文波特（Harold Davenport）、萨尔瓦达曼·乔拉（Sarvadaman Chowla）、A·O·L·阿特金（A. O. L. Atkin）、斯坦利·斯丘斯（Stanley Skewes）、唐纳德·斯宾塞（Donald C. Spencer）、阿尔伯特·英厄姆（Albert Ingham）等。维基百科还把拉马努金列为其博士学生（拉马努金在剑桥的研究导师为哈代与李特尔伍德）。
• 主要合作者：
• G·H·哈代：35 年、百余篇论文，数学史上最伟大的合作之一。两人约定的合作「四规则」由哈拉尔德·玻尔 1947 年演讲披露：①写信给对方时，写得对或错完全无关紧要；②收到信没有义务读，更无义务回；③两人最好不要同时想同一个细节；④即使某人对共同署名论文毫无贡献也无所谓。卡特莱特推测这些规则在 1912 年商定。
• 斯里尼瓦萨·拉马努金：哈代—李特尔伍德共同鉴定其天才，李特尔伍德受托教拉马努金严格数学——但他说「每次提到一个拉马努金需要知道的内容，他都会抛出一大片原创想法，让人几乎无法继续原来的教学」。
• 玛丽·卡特莱特：非线性微分方程，合作十余年。
• 雷蒙德·佩利：Littlewood–Paley 理论（佩利 26 岁滑雪去世，合作中断）。
• 西里尔·奥福德：Littlewood–Offord 问题。
• 学派归属：李特尔伍德是剑桥分析学派的中流砥柱。19 世纪末—20 世纪初英国数学相对孤立（他自己在《杂集》中反思了这种孤立），但哈代—李特尔伍德—拉马努金的工作把英国分析推回世界前沿，并为现代解析数论与调和分析奠基。他 1957 年当选巴黎科学院通讯院士，接替去世的弗雷歇。

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

• 「李特尔伍德是哈代虚构的」：兰道（Edmund Landau）曾怀疑李特尔伍德是哈代用来发表次要工作的笔名，并专程赴英国核实，结果在剑桥只见哈代不见李特尔伍德（因李特尔伍德抑郁、深居简出），反以为「证实了猜想」；维纳自传中也提及类似传闻并坚决否认。这类传闻恰恰说明李特尔伍德因抑郁而罕见于公共场合。
• 合作起始年份：哈代—李特尔伍德合作始于 1910 还是 1911，文献有两说。MacTutor 记「certainly by 1911 but some suggest in 1910」，本档案标存疑。
• FRS 当选年份：MacTutor 作 1915，维基百科作 1916。本档案标存疑。
• 拉马努金的错误素数论断：拉马努金曾断言 π(x) < Li(x) 恒成立，李特尔伍德 1914 年证明这是错的。哈代后来评价拉马努金时指出，尽管他在素数分布上的部分论断有误，但其直觉在分拆、模形式、级数上却惊人地正确。
• 历史评价：哈代评价李特尔伍德是他所认识的「最优秀的数学家」——「他是最有可能攻克一个真正深刻而可怕的难题的人；没有谁能同时具备那样的洞察力、技巧和力量。」1958 年科普利奖章引文称他「在分析的诸多分支——包括陶伯理论、黎曼 ζ 函数和非线性微分方程——上做出了杰出贡献」。他以硬分析的蛮力与精巧技巧闻名，与哈代的优雅互补。

七、身后影响与学术谱系

• 解析数论：圆法 → 维诺格拉多夫改造 → 现代解析数论核心工具；哈代—李特尔伍德素数 k 元组猜想 → Green–Tao 定理（2004）、张益唐（2013）等当代素数间隔突破的思想源头。
• 调和分析：极大函数与 Littlewood–Paley 理论 → 现代奇异积分（考尔德伦—齐格蒙德）、小波分析。
• 泛函分析：4/3 不等式 → 格罗滕迪克张量范数理论 → 巴拿赫空间局部理论。
• 动力系统：与卡特莱特的非线性方程研究 → 现代混沌理论的早期先声。
• 学术谱系：哈代 → 李特尔伍德 → 达文波特（→ 斯泰瓦特等英国数论学派）；李特尔伍德 → 阿特金、斯宾塞（美国）。拉马努金经由哈代—李特尔伍德引入世界数学。
• 文化纪念：以其命名的概念众多——Littlewood 猜想、Littlewood 多项式、Littlewood 三原则、Littlewood 陶伯定理、Littlewood 4/3 不等式、Littlewood–Paley 理论、Littlewood–Offord 问题、Littlewood 从属定理等；电影《知无涯者》（2015）中由托比·琼斯饰演李特尔伍德。

八、延伸阅读与权威来源

• MacTutor 数学史档案：John Edensor Littlewood：圣安德鲁斯大学权威传记，本档案生平、年表与合作细节的核心出处。
• Wikipedia: John Edensor Littlewood：生平、成就与荣誉总览（交叉核对）。
• J. C. Burkill, "John Edensor Littlewood" (Royal Society obituary, 1978)：皇家学会院士传记。
• P. Bateman & H. Diamond, "John E. Littlewood (1885–1977): An Informal Obituary"，The Mathematical Intelligencer 1 (1979), 28–33：非正式回忆与轶事。
• MacTutor：G. H. Hardy 传记：合作背景。
• MacTutor：Srinivasa Ramanujan 传记：三人合作关系。
• Wikipedia: Hardy–Littlewood circle method：圆法的技术说明与历史。
• Wikipedia: Skewes's number：π(x)−Li(x) 首个变号点的界。
• Wikipedia: Littlewood's 4/3 inequality：与格罗滕迪克张量范数的联系。
• Wikipedia: Littlewood's conjecture：丢番图逼近猜想及当前进展。
• 数学谱系项目：John Edensor Littlewood：导师与学生谱系。
• Littlewood's Miscellany，Béla Bollobás 编（Cambridge University Press, 1986）：一手回忆与数学随笔。