雅克·阿达马（Jacques Salomon Hadamard）

活了 97 岁的法国数学泰斗——他证明了素数定理，发明了"适定性"让偏微分方程有了判别好坏的标准，在负曲率曲面上的测地线里嗅到了后来混沌的气息；他在德雷福斯冤案中拍案而起，在两次世界大战中痛失三子，却把余生投入和平与数学教育，直到 96 岁还在追问灵感从何而来。

一、生平与时代背景

雅克·萨洛蒙·阿达马于 1865 年 12 月 8 日生于法国凡尔赛。父亲阿梅代·阿达马（Amédée Hadamard，犹太背景）是教师，教授古典文学、语法、历史与地理；母亲克莱尔·玛丽·让娜·皮卡尔（Claire Marie Jeanne Picard）在家中私人教授钢琴。雅克出生时父亲在凡尔赛帝国中学任教，雅克 3 岁时全家迁居巴黎，父亲转任沙勒马尼中学（Lycée Charlemagne）。[^mactutor-hadamard]

他的童年恰逢法国多难之秋：1870 年普法战争爆发，9 月 19 日普军围攻巴黎，城中居民杀马、猫、狗充饥，阿达马家也吃了象肉度日；1871 年 1 月 28 日巴黎投降，5 月 10 日《法兰克福条约》签订，巴黎公社期间阿达马家的房子被烧毁。此外小妹妹让娜 1870 年夭折，另一个妹妹苏珊娜 1871 年出生、1874 年夭折。[^mactutor-hadamard]

他在父亲任教的沙勒马尼中学开始读书，最初除数学外各科都好，尤其擅长希腊文与拉丁文。他 1936 年回忆说："在算术上，直到五年级我都是倒数第一或几乎倒数。"——MacTutor 指出这句话并不准确：虽然一开始算术确实弱，但到五年级他已名列班级第二，1875 年起在全国中学生竞赛（Concours Général）的多个科目获奖；正是五年级时一位好数学老师把他引向了数学。[^mactutor-hadamard] 存疑：他自述的"倒数第一"常被当作大器晚成的轶事流传，但与学校记录不符，宜视作他对自己早期"慢热"的夸张。

1875 年父亲因教师声誉不佳被调往路易大帝中学（Lycée Louis-le-Grand），雅克 1876 年起就读该校。1882 年取得文学与业士学位，1883 年取得理学士学位，并在 1883 年 Concours Général 中获代数一等奖和力学一等奖。1884 年他同时参加巴黎综合理工学院与巴黎高等师范学院（ENS）的入学考试，两校都考了第一名，选择了高师。同窗有迪昂（Duhem）和潘勒韦（Painlevé）；老师包括朱尔·塔内里（Jules Tannery）、埃尔米特（Hermite）、达布（Darboux）、阿佩尔（Appell）、古尔萨（Goursat）、É·皮卡（Émile Picard）。他在高师时已开始研究由幂级数系数生成的行列式估计，1888 年 10 月 30 日毕业。[^mactutor-hadamard]

博士期间他做中学教师：先在卡昂中学（无教学任务），1889 年 6 月起在圣路易中学，1890 年 9 月起在布丰中学教了三年。教学评价不高（对学生要求过高），但他最成功的学生是弗雷歇（Fréchet），二人通信长达约 9 年。1892 年以关于泰勒级数定义函数的论文获博士学位——这是最早研究解析函数一般理论的工作之一，首次系统处理奇点。同年他凭《确定小于给定数的素数个数》一文获数学科学大奖（Grand Prix des Sciences Mathématiques）：该奖题目由埃尔米特提出，本是为斯蒂尔切斯（Stieltjes）设的，但斯蒂尔切斯 1885 年声称证明了黎曼假设却从未发表，1890 年发现证明有漏洞后未提交；阿达马在博士论文提交与答辩之间意识到自己关于整函数的结果可用于 ζ 函数，因此获奖。[^mactutor-hadamard]

1892 年 6 月他与童年相识、同样犹太背景、热爱音乐的露易丝-安娜·特雷内尔（Louise-Anna Trénel）结婚。次年迁居波尔多，任波尔多大学讲师；1896 年 2 月 1 日升任天文学与有理力学教授。在波尔多四年间，两个儿子皮埃尔与艾蒂安出生，他发表了 29 篇论文，其中最重要的是1896 年证明素数定理（与瓦莱·普桑 Charles de la Vallée Poussin 各自独立完成）；同年还凭关于动力轨道的论文获博尔丹奖（Bordin Prize）；1893 年发现了著名的行列式不等式，取等号的矩阵即今天的哈达玛矩阵。[^mactutor-hadamard]

1897 年他辞去波尔多讲席回到巴黎，任索邦理学院与法兰西公学院的较低职位。在巴黎期间他的研究更多转向数学物理，但他始终强调自己是数学家而非物理学家，是工作的严谨性使其成为数学。1912 年他接替若尔当任巴黎综合理工学院分析教授；1912 年底当选法国科学院院士，填补庞加莱去世留下的席位——庞加莱当年大力支持他获此席位。他承担了综述庞加莱全部工作的艰巨任务，在一个夏天内写出两篇长文，保罗·莱维（Paul Lévy）感叹："只有阿达马才敢在一个夏天里综述庞加莱遍及众多领域的全部工作并完成它。"[^mactutor-hadamard]

战争给他带来巨大创伤：1916 年他的两个大儿子皮埃尔与艾蒂安在凡尔登战役中阵亡（皮埃尔阵亡时他正在罗马讲学，回到巴黎才得知噩耗）；1944 年三儿子马蒂厄又在二战中遇难；1962 年 96 岁的他，孙子艾蒂安在登山事故中遇难，这击垮了他的精神，此后他足不出户，1963 年 10 月 17 日在巴黎逝世，享年 97 岁。[^mactutor-hadamard]

二、学术生涯年表

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

1. 素数定理的证明（1896）——世纪难题的终结

问题背景：18 世纪末，高斯与勒让德通过数值观察猜想：不超过 $x$ 的素数个数 $\pi(x)$ 渐近于 $x/\ln x$。黎曼 1859 年在论文中勾勒了用 ζ 函数证明的路线，但所需的复分析工具尚未成熟；斯蒂尔切斯声称证出黎曼假设却未能成文。这个问题是 1859—1896 年间复分析发展的主要动力之一。[^mactutor-hadamard]

关键思想：阿达马把他博士期间关于整函数的结果（哈达玛分解定理）应用于黎曼 ζ 函数 $\zeta(s)$，证明了 ζ 函数在直线 $\mathrm{Re}(s)=1$ 上没有零点——这是证明素数定理的关键缺口。1896 年，他与比利时数学家瓦莱·普桑各自独立地完成了素数定理的证明：

$$ \pi(x) \sim \frac{x}{\ln x}, \qquad \text{即} \quad \lim_{x\to\infty}\frac{\pi(x)\ln x}{x}=1. $$

两人都用了复分析（整函数理论 + ζ 函数的零点分布），这是解析数论的奠基性胜利。[^mactutor-hadamard]

与前人关系：黎曼给出路线，阿达马/瓦莱·普桑补齐工具；初等证明（不用复分析）要等到 1949 年埃尔德什与塞尔伯格。

2. 偏微分方程的"适定性"概念（1902 年提出，1922 年系统阐述）

问题背景：19 世纪以来，人们为各种偏微分方程（波动方程、热方程、拉普拉斯方程）求解，但缺乏一个统一标准来判断"什么样的问题才是好问题"。

关键思想：阿达马在研究数学物理偏微分方程时引入了适定性（well-posedness）概念，要求一个定解问题满足三条：

1. 解存在（existence）；
2. 解唯一（uniqueness）；
3. 解连续依赖于数据（continuous dependence on initial/boundary data）——即数据微小变化不会导致解剧变。

他指出，不满足第三条的问题（如拉普拉斯方程的初值问题，即"不适定问题"）在物理上无意义，尽管数学上可解。这一思想集中体现在 1922 年《线性偏微分方程的柯西问题讲义》（Lectures on Cauchy's Problem in Linear Partial Differential Equations，基于他在耶鲁的讲学）中，奠定了现代偏微分方程理论的基本框架。[^mactutor-hadamard]

与前人关系：柯西、科瓦列夫斯卡娅给出了解析解的存在唯一性（柯西—科瓦列夫斯卡娅定理），但只涉及存在性与唯一性；阿达马加上"连续依赖性"，使其成为完整的判据。

应用：今天每一个偏微分方程模型（从天气预报到量子场论）都要先验证适定性。

3. 整函数的哈达玛分解定理（博士论文，1892）

问题背景：多项式可以分解为一次因子之积，那整函数（全平面解析的函数）呢？

关键思想：哈达玛分解定理（Hadamard factorization theorem）：若 $f$ 是有穷亏格（finite genus）的整函数，其零点为 $a_n$（计重数），则

$$ f(z) = z^m e^{P(z)} \prod_n \left(1-\frac{z}{a_n}\right)\exp\left(\frac{z}{a_n}+\cdots+\frac{z^p}{p a_n^p}\right), $$

其中 $P$ 是多项式，$p$ 是亏格。这把多项式的因式分解推广到整函数，是复分析的核心定理之一，也是他证明素数定理时分析 ζ 函数的工具。相关的柯西—阿达马公式：幂级数 $\sum a_n z^n$ 的收敛半径 $R=1/\limsup_{n\to\infty}|a_n|^{1/n}$，也以他命名（与柯西的根判别法相关，由阿达马严格确立）。

4. 哈达玛矩阵与行列式不等式（1893）

问题背景：如何用列向量长度估计矩阵行列式的上界？这在积分方程、编码、实验设计中有用。

精确表述：哈达玛不等式：对 $n\times n$ 复矩阵 $A$，其列向量为 $v_1,\ldots,v_n$，则

$$ |\det A| \le \prod_{i=1}^n |v_i|_2. $$

等号成立当且仅当列向量两两正交。哈达玛矩阵是其元素为 $\pm 1$、列两两正交的方阵（即满足 $H H^T = n I$），取等号。[^mactutor-hadamard]

应用：哈达玛矩阵在编码理论、纠错码、信号处理（哈达玛变换）、组合设计、量子计算中都是重要对象。著名的哈达玛猜想（是否对每个 4 的倍数 $n$ 都存在 $n$ 阶哈达玛矩阵）至今未完全解决。

5. 负曲率曲面上的测地线与符号动力学的起源（1898）

问题背景：博尔丹奖的题目是关于测地线的。阿达马研究负曲率曲面上的测地线（质点在曲面上的自由运动轨道）。

关键思想：1898 年他证明，在负曲率曲面上，测地线表现出极端复杂、"混沌"的行为：对几乎所有初值，测地线稠密地布满曲面，且对初值敏感依赖。他把无穷多条测地线用符号序列（来自曲面基本群的字）来编码——这就是符号动力学（symbolic dynamics）的起源，比后来的动力系统理论早了几十年。[^mactutor-hadamard] 这一工作同时是几何和动力学的重大贡献，为庞加莱的拓扑动力系统、伯克霍夫的遍历理论开辟了道路。

6. 泛函分析的奠基：引入"泛函"（1910）

问题背景：变分法处理的是"函数的函数"——给一条曲线赋一个数值（如长度、能量），需要在无穷维空间中求极值。

关键思想：阿达马在 1910 年《变分法讲义》中正式引入了泛函（functional / 法语 fonctionnelle）一词，用来指称定义在函数空间上的实值映射，并讨论其连续性与微分。这为弗雷歇（Fréchet，他的学生）、里斯（Riesz）、巴拿赫（Banach）建立泛函分析铺平了道路。[^mactutor-hadamard]

7. 《数学领域中的发明心理学》（1945）

晚年阿达马研究数学创造的心理过程，1945 年出版《数学领域中的发明心理学》（The Psychology of Invention in the Mathematical Field，法文初版 1945），记录了许多数学家的内省，其中最著名的是庞加莱关于上车瞬间顿悟福克斯函数的自述，将数学创造概括为"准备—酝酿—顿悟—验证"四阶段。这本书把数学史与认知心理学结合，至今是关于数学创造力的经典读物。

四、代表著作与文献

• 《泰勒级数定义的函数的研究》（博士论文，1892）：整函数奇点与哈达玛分解定理。
• 《关于整函数的一个性质及其在 ζ 函数理论中的应用》（1896）：素数定理证明。
• 《具有负曲率的曲面上的测地线及其对应的轨迹》（1898）：符号动力学的起源。
• 《初等几何讲义》（Leçons de géométrie élémentaire，两卷，1898—1901）：影响法国数学教学。
• 《变分法讲义》（1910）：引入"泛函"。
• 《线性偏微分方程的柯西问题讲义》（1922）：适定性概念的系统阐述。
• 《数学领域中的发明心理学》（1945）：数学创造心理学经典。

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

• 老师：高师时期受教于埃尔米特、达布、阿佩尔、古尔萨、É·皮卡、朱尔·塔内里。
• 学生/后辈：弗雷歇（最著名，泛函分析与抽象拓扑空间的先驱，师生通信 9 年）、保罗·莱维（概率论大家）、芒德布罗（Mandelbrot，分形之父，曾受其影响）等。他主持讨论班数十年，影响了两代法国数学家。
• 同辈/朋友：潘勒韦（同窗，后任总理）、迪昂；与瓦莱·普桑独立证明素数定理；庞加莱大力支持他，庞加莱去世后他综述了庞加莱的全部工作。
• 政治同道：德雷福斯事件中与左拉、潘勒韦等并肩为德雷福斯辩护；洛朗·施瓦茨（Laurent Schwartz，菲尔兹奖得主，也是他的远亲后辈）评价此事是他"一生中捍卫正义的伟大事业"。[^mactutor-hadamard]
• 学派归属：法国高师—科学院传统的分析与数论领袖；1912 年起是法国数学界的泰斗，担任科学院院士直至 50 年后，是法兰西学士院的"元老"（doyen）。

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

• 德雷福斯事件：1894 年犹太军官德雷福斯（阿达马妻子的亲戚）被诬告通敌，阿达马起初也以为他有罪；1897 年回巴黎后发现证据系伪造，遂成为平反运动的中坚，直至 1906 年德雷福斯恢复名誉。洛朗·施瓦茨称这是他生命中"捍卫正义的伟大事业，标志了他的一生"。[^mactutor-hadamard] 这显示他把数学的理性精神贯彻到政治行动中。
• 自述轶事的偏差：他自称童年算术"倒数第一"，但学校记录显示不符，应理解为对自己早期慢热的夸张。
• 反犹与战争创伤：作为犹太裔，他亲历普法战争、德雷福斯事件、两次世界大战；三个儿子与一个孙子在战争/事故中遇难，个人悲剧深重。
• 历史评价：阿达马被视为 20 世纪上半叶法国数学的领袖。他横跨数论、分析、微分方程、几何、动力系统、泛函分析多个领域，以严谨与广度著称；他的讨论班与教学塑造了法国数学半个世纪。他活了 97 岁，1950 年以 84 岁高龄任国际数学家大会名誉主席。[^mactutor-hadamard]

七、身后影响与学术谱系

• 解析数论：素数定理的证明标志解析数论走向成熟，整条线通向维诺格拉多夫、塞尔伯格、陶哲轩等的现代素数分布研究。
• 偏微分方程：适定性成为 PDE 的基本判据，20 世纪的整个 PDE 理论（从拉克斯—米尔格拉姆定理到孤子理论）都在此框架下发展。
• 动力系统：1898 年负曲率测地线的工作是符号动力学与混沌理论的源头，经庞加莱、伯克霍夫、斯梅尔（Smale）发展为现代动力系统。
• 泛函分析："泛函"概念经弗雷歇、里斯、巴拿赫发展为 20 世纪最重要的分析分支。
• 组合与信息：哈达玛矩阵与哈达玛变换在编码、信号处理、量子计算中广泛应用。
• 数学教育与普及：《初等几何讲义》影响法国中学几何教学一代；《发明心理学》让数学创造的过程为公众所知。
• 传承：他的学生弗雷歇、莱维，以及再传弟子（如芒德布罗），构成法国数学的重要谱系。

八、延伸阅读与权威来源

• MacTutor: Jacques Hadamard：权威数学史档案，本档案主要传记依据。
• MacTutor DSB: Hadamard (PDF)：《科学传记辞典》条目。
• Encyclopaedia Britannica: Jacques Hadamard：权威百科条目。
• Wikipedia: Jacques Hadamard：交叉核对用，含完整著作列表与生平。
• Wikipedia: Prime number theorem：素数定理的证明历史。
• Wikipedia: Hadamard matrix：哈达玛矩阵与哈达玛猜想。
• Wikipedia: Well-posed problem：适定性概念的历史。
• Mathematical Genealogy Project: Hadamard：师承谱系数据。
• 雅克·阿达马：《数学领域中的发明心理学》（1945；中译版，商务印书馆/大连理工大学出版社）：阿达马本人关于数学创造的经典著作。