约瑟夫·刘维尔（Joseph Liouville）

超越数存在性的首位证明者与谱理论的开创者之一——他构造了刘维尔数，与施图姆建立微分方程本征值理论，证明相空间体积守恒；更以创办《刘维尔杂志》、抢救出版伽罗瓦遗稿，深刻塑造了 19 世纪数学的走向。

一、生平与时代背景

约瑟夫·刘维尔于 1809 年 3 月 24 日生于法国圣奥梅尔（Saint-Omer）。父亲是拿破仑军队的陆军上尉，因此约瑟夫幼年有几年随叔父生活。父亲在战争中幸存，拿破仑败退后退役回乡，全家定居图勒（Toul），约瑟夫在此上学。后来他去巴黎的圣路易高级中学（Collège St Louis），在最高水平的数学班学习；读完热尔戈纳（Gergonne）《数学年刊》上的文章后，他证明了一些几何结果并写成论文（从未发表）。

1825 年刘维尔入巴黎综合理工学院（École Polytechnique），1825—1826 学年听安培（Ampère）的《分析与力学教程》，也听阿拉果（Arago）的课及安培在法兰西公学院（Collège de France）的另一门课。他似乎没听过柯西（Cauchy）的课，但柯西显然对他影响至深。1827 年毕业，主考官有德普龙尼（de Prony）与泊松（Poisson）。毕业后他入路桥学校（École des Ponts et Chaussées），但工程项目损害了他的健康，他回家乡图勒休养。此时他已决心走学术道路，无法在远离巴黎处学习；数次请假（其中一次让他得以结婚并度了几天蜜月）后，他于 1830 年 10 月从路桥学校辞职——在此之前他已向巴黎科学院提交了多篇关于电动力学、偏微分方程与热理论的论文。

1831 年刘维尔获得第一个学术职位，担任马蒂厄（Claude Mathieu，接替安培讲席）的助手，同时受聘于数所私立学校与中央学校（École Centrale）。他在此阶段每周授课 35 到 40 小时，负担极重，部分课程讲得过高，程度较低的学生跟不上。

1836 年刘维尔创办了数学期刊《纯粹与应用数学杂志》（Journal de Mathématiques Pures et Appliquées），即著名的"刘维尔杂志"，它在整个 19 世纪对法国数学贡献巨大。此前他已在克雷尔（Crelle）杂志发表论文、获得国际声誉，也正因此感到法国数学发表渠道的不足。1836 年纳维（Navier）去世，刘维尔是综合理工学院讲席的热门人选，但经过激烈竞争，职位给了迪阿梅尔（Duhamel）。1837 年他被聘为法兰西公学院比奥（Biot）的代课教师，1838 年任综合理工学院分析与力学教授。次年（1839）他在利布里（Libri）的强烈反对下，当选科学院天文学部委员，与利布里的争吵此后愈演愈烈。1840 年泊松去世后，他当选经度局（Bureau des Longitudes）成员。

1840 年是刘维尔职业生涯的转折点。吕岑（J. Lützen，其权威传记作者）写道："1840 年之前，刘维尔沿几条清晰的道路谋求自己的事业；此后约 20 年，推广与发展其他数学家的思想成了中心议题。"他的生活分为两段：漫长的夏天在图勒做研究、写论文、编杂志；11 月到次年 7 月在巴黎教学与行政。

并非事事顺心。1843 年拉克鲁瓦（Lacroix）去世，刘维尔申请他在法兰西公学院的讲席（他当时只是比奥的代课），但经过激烈选举，利布里获任；刘维尔随即从法兰西公学院辞职，信中写道："作为一个人和一个几何学家，我为昨天法兰西公学院发生的事深感屈辱。从这一刻起，我不可能再在这个机构授课。"

政治也是刘维尔生活的一面。他的朋友与数学同行阿拉果 1831 年进入众议院并成为共和党领袖，其他数学同行如卡塔兰（Catalan）也因类似的共和观点损害了数学生涯。刘维尔没有让政治观点阻碍自己的晋升——不像柯西，他与阿拉果一样愿意宣誓效忠国王。受阿拉果鼓励，他 1848 年竞选制宪议会，4 月 23 日当选，进入温和共和派多数。但巴黎工人不满，当阿拉果试图向人群演讲时，有人喊出那句名言："阿拉果先生，您从来没有挨过饿。"1849 年他再次被提名，但温和共和派大势已去，他落选了。

这次政治失败改变了刘维尔的性格。吕岑写道："此前他的信常因病而沮丧，会向利布里这样的敌人发泄怒火，但总为自己认为正确的事而奋斗；1849 年落选后，他变得尖刻，甚至对老朋友也是如此……数学笔记里夹杂着诗人与哲学家的引文。"

1848 年革命中利布里逃出法国（并非政治原因，而是为逃避偷盗珍贵书籍手稿的监禁判决），其法兰西公学院讲席 1850 年空缺，柯西与刘维尔竞争，刘维尔险胜，1851 年起在法兰西公学院授课。从政期间他的数学产量大减，1850 年代虽有健康问题却重新回升，1856 与 1857 年是他最高产的两年。但 1857 年被任命为理学院（Faculté des Sciences）力学讲席后，教学负担开始压垮他——他是完美主义者，觉得无法投入足够时间讲好课便痛苦。他仍在发表，但多是 1856 高产年所得的结果，且来不及润色证明。另一个打击是 1859 年狄利克雷去世：他失去了密友与主要的数学通信者。

1882 年 9 月 8 日，刘维尔在巴黎逝世，享年 73 岁。他一生发表了 400 余篇论文（数论约 200 篇）。

二、学术生涯年表

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

1. 超越数的存在性与刘维尔数（1844 / 1851）

问题背景：18 世纪以来，数学家猜测像 $\mathrm e$、$\pi$ 这样的数可能不是任何整系数多项式的根（即超越数），但无人能证明超越数存在；甚至"是否所有无理数都是代数数"仍是开放问题。

关键思想：刘维尔从读哥德巴赫与丹尼尔·伯努利的通信中产生兴趣，目标本是证明 $\mathrm e$ 超越（未果，后由埃尔米特 1873 年、林德曼 1882 年证明 $\pi$）。他先证明了一条关键的逼近定理（刘维尔定理）：

若 $\alpha$ 是 $n>1$ 次代数数，则存在常数 $C>0$，使得对任意有理数 $p/q$（$q>0$），有 $$\left|\alpha-\frac pq\right|>\frac{C}{q^n}.$$

即：代数数不可能被有理数逼近得"太好"。于是，凡是能被有理数逼近得比任何 $1/q^n$ 都快的数，必为超越数。1844 年他用连分数构造出这样的数；1851 年他去掉了连分数依赖，给出了著名的刘维尔数：

$$L=\sum_{k=1}^\infty 10^{-k!}=0.1100010000000000000000010000\ldots$$

（小数点后第 $k!$ 位为 1，其余为 0）。它满足对任意 $n$ 存在 $p/q$ 使 $|L-p/q|<1/q^n$，故超越。

精确意义：这是人类历史上第一个被证明为超越数的数，打破了"所有无理数皆代数"的猜想，开辟了超越数论。

与前人关系：欧拉、勒让德曾猜测 $\mathrm e$、$\pi$ 超越；刘维尔给出存在性的构造性证明。

局限性：刘维尔数是"人造"的高度可逼近数，他未能证明自然出现的 $\mathrm e$、$\pi$ 超越（后由埃尔米特、林德曼完成）；其逼近指数 $n$ 后来被图厄、西格尔、罗斯改进（Thue–Siegel–Roth 定理，最佳指数 $2+\varepsilon$，罗斯获菲尔兹奖）。

2. 施图姆—刘维尔理论（1829—1837，与施图姆合作）

问题背景：二阶线性常微分方程的边值问题在数学物理中无处不在（振动弦、热传导、膜振动），但缺乏系统理论；特征值与特征函数的一般性质不明。

关键思想：刘维尔与查尔斯·施图姆（Charles Sturm）在 1829—1837 年间合作研究一般二阶线性方程

$$-\frac{d}{dx}!\left(p(x)\frac{dy}{dx}\right)+q(x)y=\lambda\, r(x)y,\qquad x\in[a,b],$$

配以适当边界条件。他们证明了一系列奠定谱理论的结果： - 存在一列趋于 $+\infty$ 的特征值 $\lambda_1<\lambda_2<\cdots$； - 对应特征函数 ${y_n}$ 关于权函数 $r(x)$ 在 $[a,b]$ 上正交：$\int_a^b y_m(x)y_n(x)r(x)\,dx=0\ (m\ne n)$； - 第 $n$ 个特征函数在 $(a,b)$ 内恰有 $n-1$ 个零点（振荡定理，施图姆）； - 满足一定条件的函数可展开为特征函数的收敛级数（特征函数展开定理）。

精确意义：这是谱理论的起源，是量子力学（薛定谔方程的本征值问题）、积分方程、偏微分方程分离变量法的数学基础。

与前人关系：傅里叶对热方程的特殊情形用过三角函数展开；施图姆—刘维尔把它推广到一般变系数二阶方程，建立了一般理论。

3. 刘维尔定理（复分析）：有界整函数必为常数

问题背景：复变函数中，在全平面全纯（整函数）的函数是否可能非平凡有界？

关键思想：刘维尔定理——若整函数 $f:\mathbb C\to\mathbb C$ 有界（存在 $M$ 使 $|f(z)|\le M$ 对所有 $z$），则 $f$ 必为常数。它可由柯西积分公式推出：对任一点 $z_0$，$f'(z_0)=\frac{1}{2\pi i}\oint_{|w-z_0|=R}\frac{f(w)}{(w-z_0)^2}dw$，令 $R\to\infty$ 得 $|f'(z_0)|\le M/R\to 0$，故 $f'\equiv 0$。

归属说明（存疑/学界共识）：此定理以刘维尔命名，但最早的证明由柯西于 1844 年给出；刘维尔在 1847 年的讲义中阐述（并于 1844 年 12 月宣布了关于有界双周期解析函数的相关"原理"），遂得名。它是复分析最基本的定理之一，可简洁证明代数基本定理。

4. 哈密顿相流的体积保持（刘维尔定理，经典力学）

问题背景：哈密顿系统在相空间中的演化是否保持某种测度？这是统计力学的基础问题。

关键思想：刘维尔证明了哈密顿流保持相空间的体积元（刘维尔定理）：对哈密顿系统 $\dot q=\partial H/\partial p,\ \dot p=-\partial H/\partial q$，其流映射 $\phi_t$ 保持勒贝格测度 $dq_1\cdots dq_n\,dp_1\cdots dp_n$，即相空间中任一区域的体积在演化中不变。等价地，散度为零：$\sum_i(\partial\dot q_i/\partial q_i+\partial\dot p_i/\partial p_i)=0$。

精确意义：这是统计力学的基石（微正则系综、遍历理论都依赖它），也是辛几何中"辛流保持体积"的最早形式。

与前人关系：哈密顿建立了正则方程；刘维尔揭示了其测度保持性质，为玻尔兹曼、吉布斯的统计力学铺平道路。

5. 分数阶微积分（1832—1837）

问题背景：导数的阶数 $n$ 通常是整数；能否定义任意阶（有理、无理甚至复数阶）的微分算子 $D^t$？

关键思想：刘维尔在 1832—1837 年间的论文中，定义了任意阶微分算子 $D^t$，把 $t$ 从整数推广到有理数、无理数乃至复数（基于黎曼—刘维尔分数积分/导数的思想）。他是分数阶微积分的奠基人之一，把它应用于势论与积分方程。

与前人关系：莱布尼茨 1695 年已在给洛必达的信中提出"半阶导数"的设想；刘维尔给出了系统的解析构造。后来黎曼（1847）也独立发展了分数积分，合称黎曼—刘维尔分数微积分。

6. 有限项积分与微分伽罗瓦理论的先驱（1832—1833）

问题背景：哪些初等函数的积分仍是初等函数？例如 $\int e^{-x^2}dx$、$\int \sin x/x\,dx$ 能否用初等函数表示？

关键思想：刘维尔研究了代数函数的积分何时为代数函数（1832—1833，四篇论文），进而研究一般的有限项积分问题。他证明了今天所称的刘维尔定理（微分代数形式）：若初等函数 $f$ 的积分 $F$ 是初等的，则 $F$ 可由 $f$ 通过有限次加、减、乘、除、指数与对数运算得到——由此可判别 $\int e^{-x^2}dx$ 等"不可积"（非初等）。他的工作起初独立于阿贝尔，后来吸收了阿贝尔的思想。

精确意义：这是微分伽罗瓦理论与符号积分算法（如计算机代数系统 Risch 算法）的理论源头。

7. 抢救伽罗瓦遗稿（1842—1846）

问题背景：伽罗瓦（Évariste Galois）1832 年 21 岁死于决斗，其群论手稿晦涩难懂，长期无人问津，险些失传。

关键思想：1842 年刘维尔开始研读伽罗瓦未发表的论文；1843 年 9 月他向巴黎科学院宣布，自己在伽罗瓦的工作中发现了深刻结果，并承诺发表其论文并附自己的评注。1846 年，他在自己的杂志上发表了伽罗瓦的主要遗稿（包括《关于方程根式可解性的论文》），使群论首次进入主流数学视野。他还就伽罗瓦的工作开课，塞尔（Serret）、贝特朗（Bertrand）、埃尔米特（Hermite）等听了该课。

与前人关系：若刘维尔没有抢救并出版，伽罗瓦理论可能被埋没更久；此出版直接催生了后来若尔当（Jordan）的置换群理论与现代群论。

存疑：刘维尔曾承诺写评注补全伽罗瓦证明中的缺口，他确实写了，但始终未发表——原因不明，学界对此略有讨论。

8. 微分几何与保形变换

刘维尔研究了微分几何中的保形变换，证明了关于三维空间保形映射的刘维尔定理（1850）：$\mathbb R^3$ 中（区域间）的保形映射必为默比乌斯变换（平移、旋转、相似与反演的复合），即三维空间不存在高维的"解析函数"式的丰富保形族——这与二维（复解析函数）形成鲜明对比。

四、代表著作与文献

• 400 余篇论文，主要载于自己创办的《纯粹与应用数学杂志》及巴黎科学院《报告》（Comptes Rendus），覆盖数论、分析、数学物理、微分几何、天文学。
• 创办并主编《纯粹与应用数学杂志》（Journal de Mathématiques Pures et Appliquées，1836 年起，"刘维尔杂志"）。
• 1844 年关于超越数的论文；1851 年给出刘维尔数 $0.110001\ldots$ 的论文。
• 与施图姆合作的二阶线性微分方程论文（1829—1837）。
• 1846 年在其杂志上发表的伽罗瓦遗稿。
• 权威传记：J. Lützen, Joseph Liouville 1809—1882: Master of Pure and Applied Mathematics（Springer, 1990）。

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

• 师承：巴黎综合理工学院，受教于安培、阿拉果；深受柯西影响（虽未听其课）。无正式博士。
• 学派归属：19 世纪法国分析学派的中坚，与柯西、泊松、埃尔米特一脉相承；法国数学从分析向代数、数论、数学物理扩展的关键人物。
• 同时代交往：
• 夏尔·施图姆（Charles Sturm）：合作者，共同建立施图姆—刘维尔理论。
• 约翰·狄利克雷：密友与主要数学通信者；1859 年狄利克雷去世对他是重大打击。
• 弗朗索瓦·阿拉果：挚友，政治上引导其进入共和派；举荐其从政。
• 利布里（Guglielmo Libri）：宿敌，多次在讲席竞争中阻挠他；1848 年利布里因盗书逃亡，其讲席终归刘维尔。
• 奥古斯丁·柯西：竞争者（1850 年法兰西公学院讲席之争中刘维尔胜出）；思想上既受其影响又有分歧。
• 夏尔·埃尔米特、约瑟夫·贝特朗、约瑟夫-阿尔弗雷德·塞尔：曾听刘维尔的伽罗瓦课程的年轻数学家，后来成为法国数学的中坚。
• 阿德里安-马里·勒让德、西莫恩·泊松：学术前辈。
• 编辑角色：通过《刘维尔杂志》提携了包括埃尔米特、施图姆、伽罗瓦（遗稿）在内的大批数学家。

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

• 与利布里的长期争斗：利布里在科学院选举、法兰西公学院讲席等多处阻挠刘维尔，二人争吵激烈。1848 年利布里因盗书逃亡法国（并非政治原因），其讲席 1850 年空缺，刘维尔击败柯西获得——算是某种"平反"。此段恩怨是 19 世纪法国数学界人际关系的著名案例。
• 复分析"刘维尔定理"的归属：如前述，该定理 1844 年由柯西首证，刘维尔 1847 年讲义中阐述而得名。命名归刘维尔，首次证明归柯西——这是数学史上常见的"命名偏差"，应如实说明（存疑仅在首次证明者归属，定理内容无误）。
• 伽罗瓦评注未发表：刘维尔承诺为伽罗瓦遗稿写评注、补全证明缺口，他确实写了却未发表，伽罗瓦理论的一些细节因此要等若尔当（1870）才完全厘清。原因不明。
• 政治挫折对性格的影响：1849 年落选后，刘维尔从积极乐观变得尖刻抑郁，数学笔记中常夹诗人与哲学家引文；吕岑对此有详细分析。这也影响了他后期的产量与心态。
• 历史评价：刘维尔是 19 世纪最多产、影响最广的数学家之一（400 余篇论文），在分析、数论、数学物理、微分几何皆有奠基性贡献；而他作为编辑（《刘维尔杂志》）和学术推手（抢救伽罗瓦）的作用，可能比其个人定理更深远。他是法国数学黄金时代承前启后的枢纽。

七、身后影响与学术谱系

• 超越数论：刘维尔数与逼近定理开创超越数论，经埃尔米特（$\mathrm e$）、林德曼（$\pi$）、图厄—西格尔—罗斯、格尔丰德—施奈德发展至现代。
• 谱理论与数学物理：施图姆—刘维尔理论是量子力学、偏微分方程、积分方程的根基；希尔伯特的谱理论、量子力学的本征值问题皆溯源于此。
• 经典力学与统计力学：相空间体积守恒（刘维尔定理）是统计力学、辛几何、遍历理论的基础。
• 复分析：刘维尔定理是复分析的基本定理，简洁证明代数基本定理，并推广为"刘维尔性质"（PDE 与几何中的刚性结果）。
• 微分代数与符号积分：有限项积分理论是 Risch 算法与现代计算机代数的理论基础。
• 群论的传播：抢救出版伽罗瓦遗稿，直接催生若尔当的置换群理论与现代抽象代数。
• 数学出版：《刘维尔杂志》至今仍是世界主要数学期刊之一（现由 Elsevier 出版）。
• 命名遗存：刘维尔数、刘维尔定理（复分析、经典力学、保形几何、微分代数各一个）、刘维尔函数（数论）、施图姆—刘维尔理论、刘维尔—斯捷科洛夫谱等；月球有刘维尔环形山，巴黎有约瑟夫·刘维尔路。

八、延伸阅读与权威来源

• MacTutor 数学史档案：Joseph Liouville：圣安德鲁斯大学权威传记，本档案主要史实出处。
• Dictionary of Scientific Biography — Liouville (PDF, MacTutor 托管)：科学史权威传记条目（R. Taton 撰写）。
• Wikipedia: Joseph Liouville：生平与著作交叉核对。
• Wikipedia: Liouville number：刘维尔数与超越性证明。
• Wikipedia: Sturm–Liouville theory：二阶线性 ODE 谱理论。
• Wikipedia: Liouville's theorem (complex analysis)：定理陈述与柯西/刘维尔归属。
• Wikipedia: Liouville's theorem (Hamiltonian)：相空间体积守恒。
• Wikipedia: Sturm separation theorem：施图姆振荡定理。
• J. Lützen, Joseph Liouville 1809—1882（Springer 1990）：权威学术传记，主要史实来源。
• Heinz Klaus Strick 传记（MacTutor 托管 PDF）：通俗传记，补充生平细节。