∑ 数学名人档案库
← 返回 小约翰·福布斯·纳什 简介档案 深度档案
微分几何博弈论偏微分方程

小约翰·福布斯·纳什（John Forbes Nash Jr.）

唯一同时获得诺贝尔经济学奖与阿贝尔奖的学者；以博弈论的纳什均衡、微分几何的嵌入定理和偏微分方程正则性理论三大方向的突破性工作闻名，其与精神分裂症搏斗三十余年并奇迹康复的人生，经由《美丽心灵》为世人熟知。

一、生平与时代背景

约翰·福布斯·纳什（John Forbes Nash Jr.）1928 年 6 月 13 日生于美国西弗吉尼亚州布鲁菲尔德（Bluefield）。父亲老约翰·福布斯·纳什（1892–？）是得克萨斯人，一战时赴法国服役，退伍后任电气工程师，供职于阿巴拉契亚电力公司；母亲玛格丽特·弗吉尼亚·马丁（Margaret Virginia Martin，人称 Virginia）受过大学教育，婚前任教十年。妹妹玛莎（Martha）比他小两岁。

纳什自幼性格孤僻内向，被家人视为"与众不同的孩子"：他醉心书本与独自做实验，对同龄人的游戏兴趣寡淡。约 14 岁时读到 E.T. 贝尔的《数学精英》（Men of Mathematics），受其激励自行重新证明了书中关于费马的若干结果，第一次感受到数学发现的兴奋——这与他在学校里枯燥乏味的数学课形成鲜明对比。1941 年他入读布鲁菲尔德学院（Bluefield College）修习数学与化学课程，课余热衷于做化学实验，甚至因制造炸药导致一名同学身亡（此事见诸传记，细节存疑）。

1945 年 6 月，纳什赢得乔治·威斯汀豪斯竞赛奖学金，进入卡内基理工学院（今卡内基梅隆大学），原本主修化学工程。数学系主任约翰·辛格（John Synge）很快发现他的天赋，劝其转向数学。他两次参加普特南数学竞赛均未进入前五，引为憾事。1948 年他同时获得数学学士与硕士学位，被哈佛、普林斯顿、芝加哥和密歇根录取；最终选择了给他最慷慨奖学金的普林斯顿。带去的推荐信只有教授理查德·达芬（Richard Duffin）一行字："此人是天才。"

1948 年秋入普林斯顿后，纳什涉猎拓扑、代数几何、博弈论与逻辑，但很少听课，习惯独立从头推导。同届同学米尔诺（John Milnor）回忆他"脑子里总是装满数学想法"。普林斯顿公共休息室里流行一种由他发明的拓扑游戏"Nash"，后来发现与丹麦人海因（Piet Hein）独立发明的 Hex 完全相同。他还曾主动求见爱因斯坦，陈述自己关于引力的想法，爱因斯坦听了约一小时后劝他"再多学点物理"。

1950 年纳什以 27 页的博士论文《非合作博弈》（Non-cooperative Games）获普林斯顿博士学位。此后主要在 MIT 任教，1950 年起兼任 RAND 公司顾问。1957 年与艾丽西亚·洛佩斯-哈里森·德·拉德（Alicia López-Harrison de Lardé）结婚。1959 年起精神疾病发作，被迫辞去 MIT 教职，此后二十余年辗转于精神病院与流亡式的生活之间。70 年代起病情逐渐缓解，80 年代中期重返研究。1994 年因博弈论贡献获诺贝尔经济学奖；2015 年 5 月 19 日与尼伦伯格共获阿贝尔奖。仅四天后的 2015 年 5 月 23 日，纳什夫妇在新泽西州的一场出租车车祸中双双遇难，享年 86 岁。

二、学术生涯年表

年份 事件
1928 6 月 13 日生于西弗吉尼亚州布鲁菲尔德。
约 1942 阅读 E.T. 贝尔《数学精英》，受激励自学高等数学。
1945 6 月入卡内基理工学院，原修化学工程，后转数学。
1948 获卡内基理工学院数学学士与硕士；9 月入普林斯顿大学读博。
1950 以《非合作博弈》获普林斯顿博士学位；任 MIT 讲师；任 RAND 公司顾问（1950–54）。
1950 发表《Equilibrium Points in N-Person Games》（不到一页，317 词）；发表《The Bargaining Problem》。
1951 发表《Non-cooperative Games》于《Annals of Mathematics》。
1952 发表《Real Algebraic Manifolds》于《Annals of Mathematics》。
1953 与护士 Eleanor Stier 之子 John Stier 出生。
1954 发表第一篇等距嵌入论文（C¹ 嵌入定理）；因圣莫尼卡警方诱捕事件失去 RAND 顾问职位。
1956 发表第二篇嵌入论文（光滑嵌入定理）。
1957 与 Alicia López-Harrison de Lardé 结婚。
1958 发表《Continuity of Solutions of Parabolic and Elliptic Equations》，建立解的 Hölder 正则性；获 MIT 终身教授。
1959 精神疾病发作；春辞去 MIT 教职；入 McLean 医院；5 月次子 John Charles Martin Nash 出生。
1963 与 Alicia 离婚。
1970 最后一次出院；此后与 Alicia 同住，逐步康复。
1978 获 John von Neumann 理论奖。
1994 与 Harsanyi、Selten 共获诺贝尔经济学奖。
1999 获 AMS Leroy P. Steele 杰出研究贡献奖。
2001 与 Alicia 复婚。
2015 5 月 19 日与 Louis Nirenberg 共获阿贝尔奖；5 月 23 日于新泽西出租车车祸中与妻子双双遇难。

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

1. 纳什均衡与非合作博弈论

问题背景：冯·诺依曼与摩根斯特恩 1944 年的《博弈论与经济行为》建立了零和博弈的极小极大理论，但无法处理多方、非零和的一般情形。经济学中大量冲突与合作问题需要一个更一般的解概念。

关键思想：纳什定义了非合作博弈的均衡点（后称纳什均衡）：在一组策略中，每个参与者的策略都是对其他参与者策略的最优反应——任何单方面改变策略都不会使自己的收益更高。

存在性定理（1950）：对每个有限 $n$ 人非合作博弈（每个参与者有有限个纯策略），至少存在一个混合策略纳什均衡。纳什利用角谷不动点定理（Kakutani fixed-point theorem，布劳威尔不动点定理的集值推广）给出了简洁证明——他在本科时就独立证明过布劳威尔不动点定理。

精确表述：设 $G=(S_1,\dots,S_n;u_1,\dots,u_n)$，策略组合 $s^=(s_1^,\dots,s_n^)$ 是纳什均衡当且仅当对每个 $i$ 和每个 $s_i\in S_i$，有 $u_i(s_i^,s_{-i}^)\ge u_i(s_i,s_{-i}^)$。

影响：纳什均衡已成为现代经济学、政治学、演化生物学乃至计算机科学（算法博弈论）的核心解概念。1994 年诺贝尔经济学奖即授予纳什、豪尔绍尼（John Harsanyi）与泽尔腾（Reinhard Selten），以表彰他们对非合作博弈论的奠基性贡献。

局限：纳什均衡只保证存在性，不保证唯一性、效率或稳定性；其多重均衡的选择问题至今是研究热点。

2. 纳什议价解（Nash Bargaining Solution）

1950 年论文《The Bargaining Problem》中，纳什用公理方法刻画了两人议价问题的唯一解：在帕累托有效、仿射变换不变、无关选择独立等公理下，议价解最大化双方效用增益的乘积 $\prod_i (u_i-d_i)$。这是合作博弈论的基石之一，与他的非合作均衡工作形成互补。

3. 纳什嵌入定理（Nash Embedding Theorems）

问题背景：黎曼流形是内蕴定义的几何对象，能否把它等距（保持度量）地放进欧氏空间，是微分几何的基本问题。此前惠特尼（Whitney）证明了拓扑嵌入的存在性，但等距嵌入要难得多。

定理一（C¹ 嵌入，1954）：任何 $n$ 维 $C^1$ 黎曼流形都可以 $C^1$ 等距嵌入到 $\mathbb{R}^{2n+1}$（浸入到 $\mathbb{R}^{2n}$）。纳什采用高度褶皱、近乎分形的构造（"twist"），允许嵌入在 C¹ 意义下等距而形状极其"狂野"。

定理二（光滑嵌入，1956）：对 $k\ge 3$（或解析），任何紧 $C^k$ 黎曼 $n$ 流形都可 $C^k$ 等距嵌入到某个维数足够大的欧氏空间 $\mathbb{R}^N$（纳什给出具体上界）；对具有有界度量的非紧流形也成立。

关键技术：光滑版本的证明需要克服"导数损失"（每次迭代都损失正则性），纳什发明了一种带平滑算子的牛顿迭代，这就是后来的纳什—莫泽迭代（见下条）。

意义：嵌入定理表明抽象黎曼几何与欧氏空间中的具体几何并无本质鸿沟，是整体微分几何的里程碑。其 C¹ 版本的"狂野性"后来发展出凸积分理论（Gromov）。

4. 纳什—莫泽迭代（Nash–Moser Iteration）

背景：在光滑嵌入定理证明中，标准的压缩映射（巴拿赫不动点）每迭代一次就损失一阶导数，无法收敛。

思想：纳什引入带平滑的牛顿迭代：每步用牛顿法加速收敛的同时，用平滑算子把损失的导数"补回来"，从而在丢导数的函数空间之间建立隐函数定理。

发展：尤尔根·莫泽（Jürgen Moser）在 1960 年代将其抽象化并用于小除数问题（如 KAM 理论中的稳定性问题），理查德·哈密顿（Richard Hamilton）1982 年给出一般框架——纳什—莫泽隐函数定理，成为处理"导数损失"问题的标准工具，广泛应用于几何偏微分方程、辛几何、流体力学等。

5. 偏微分方程解的正则性（De Giorgi–Nash 理论）

问题背景：希尔伯特第 19 问题问：正则变分问题的解是否必定解析？这需要证明散度型一致椭圆方程弱解的高阶正则性，而系数仅有界可测时，传统方法失效。

结果（1958，与恩尼奥·德乔治各自独立）：对散度型一致椭圆/抛物方程

$$\partial_i(a^{ij}(x)\partial_j u)=0$$

（系数 $a^{ij}$ 仅有界可测），其弱解是 Hölder 连续的。这一先验 Hölder 估计是 20 世纪偏微分方程最深刻的结果之一，与 Schauder 估计并列。

意义：德乔治（1957，椭圆）与纳什（1958，抛物）的工作解决了希尔伯特第 19 问题；后来的 De Giorgi–Nash–Moser 理论成为几何分析（包括 Yamabe 问题、Ricci 流等）的基础工具。

6. 实代数流形（Real Algebraic Manifolds, 1952）

纳什证明：每个紧光滑流形都微分同胚于某个实代数簇的一个连通分支；两个实代数流形等价当且仅当它们解析同胚。这一结果把光滑拓扑与实代数几何联系起来，是实代数几何的奠基性定理之一；他还在论文中引入了后来称为纳什吹起（Nash blowing-up）的构造。

四、代表著作与文献

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

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

七、身后影响与学术谱系

八、延伸阅读与权威来源