奥古斯丁-路易·柯西 (Augustin-Louis Cauchy, 1789-1857)

一、出身——大革命那年出生的数学战士

1789年8月21日，法国巴黎爆发了攻占巴士底狱的骚动。两个月后，一个注定要改变整个数学分析面貌的婴儿出生了。

奥古斯丁-路易·柯西的父亲是一位律师，曾任法国参议院秘书长。柯西从小就在一个高度政治化的环境中长大——年幼时甚至曾在卢森堡宫的花园里与拉普拉斯和拉格朗日玩耍。拉格朗日曾指着小柯西对别人说：

“这个孩子有一天会取代我们所有人——前提是他不在科学和政治之间把精力分散得太开。”

柯西确实没有让人失望，但他也确实把精力分散到了极致。

13岁时，他就读完了拉普拉斯的《天体力学》（五卷本？是的，全读完了）。1810年，21岁的柯西从巴黎综合理工学院和桥梁公路学校毕业后，前往瑟堡（Cherbourg）参与建造拿破仑的军港。他在工作之余研究数学——他的第一部重要论文（关于多面体的欧拉定理的推广）就是在军港宿舍里写成的。

1813年，24岁的柯西回到巴黎。他太优秀了，以至于拉格朗日和拉普拉斯（当时法国数学界的两座大山）都主动推荐他进入巴黎科学院。

二、柯西的数学风格——“严谨”这个词是为他发明的

在柯西之前，微积分的基础是极不严格的。牛顿的”流数”有物理直觉支持；欧拉的无穷级数可以通过”形式操作”得到正确结果；但没有人知道这些操作到底在什么条件下是合法的。

柯西的《分析教程》（Cours d’Analyse，1821年）改变了这一切。它用极限语言重新定义了微积分的基础：

柯西的定义	现代版本
函数 $f$ 在 $x$ 处连续：任意 $\varepsilon>0$ ，存在 $\delta>0$ 使得…	$\varepsilon$ - $\delta$ 定义
序列 $a_n$ 收敛于 $L$ ：当 $n$ 足够大时…	$\varepsilon$ - $N$ 定义
导数 $f'(x)$ ：差商 $\frac{f(x+h)-f(x)}{h}$ 的极限	导数定义
柯西收敛准则：序列收敛 $\iff$ 对任意 $\varepsilon>0$ ，存在 $N$ 使得对任意 $m,n>N$ 有 $\\|a_m-a_n\\|<\varepsilon$	不依赖极限值的收敛判断

这意味着柯西把微积分的语言从”无穷小量”（难以严格定义）转化为”任意给定的精度”（可以严格操作）。这是整个分析学严格化的起点。

一个具体的例子：柯西问”无穷级数 $\sum_{n=1}^\infty \frac{1}{n^2}$ 收敛吗？”他给出的方法是——用积分做比较： $\frac{1}{n^2} < \int_{n-1}^n \frac{dx}{x^2}$ ，所以级数收敛到 $\frac{\pi^2}{6}$ （这个问题后来由欧拉解决）。

三、复变函数论的奠基

3.1 柯西-黎曼方程

这是复变函数理论的核心条件，出现在你的《复变函数完全入门（二）》全篇文章中。

复函数 $f(z) = u(x,y) + iv(x,y)$ 可微的充要条件：

\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}, \quad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}

几何含义：复可微（全纯）函数在局部上是”旋转+缩放”——不产生剪切变形。这是复变函数比实变函数”美”的根本原因。

3.2 柯西积分定理

如果 $f(z)$ 在单连通区域 $D$ 内全纯，则沿任何闭曲线 $C$ 的积分为零：

\oint_C f(z) dz = 0

这看起来像是数学的抽象游戏，但它的工程应用极其广泛：

路径无关的线积分计算
实函数定积分的计算（用留数定理）
保角变换中形状保持性的严格证明

3.3 柯西积分公式

如果 $f$ 在区域 $D$ 内全纯， $C$ 是 $D$ 内一条包围点 $z_0$ 的简单闭曲线，则：

f(z_0) = \frac{1}{2\pi i} \oint_C \frac{f(z)}{z - z_0} dz

核心意义：全纯函数在区域内任意一点的值，完全由它在边界上的值决定。这意味着：

全纯函数在区域内处处可导（光滑性远远强于实函数）
全纯函数的实部和虚部都是调和函数（满足拉普拉斯方程的）
知道函数在边界的值，可以推算出内部的全部行为

3.4 留数定理

\oint_C f(z) dz = 2\pi i \sum \text{Res}(f, z_k)

这是复积分计算中最重要的公式——它把一个复杂曲线积分简化为对奇点的代数计算。

在博客中出现的场景

博客文章	柯西的出现方式
复变函数（二）-解析函数与柯西-黎曼方程	整篇文章的核心，柯西-黎曼方程
复变函数（四）-保角变换	保角变换的性质基于柯西积分理论
Anderson空气动力学-势流理论	用复势函数描述二维势流，依赖于柯西积分理论
翼型理论	儒科夫斯基变换是保角变换的典型应用

概念	博客中位置	含义
柯西-黎曼方程	复变函数第二篇	复可微的核心条件
柯西积分定理	复变函数	闭环积分为零，路径无关
柯西积分公式	复变函数	边界值→内部值，描述全域行为
留数定理	复变函数	积分的工程计算工具

四、柯西的”过度产出”

柯西一生发表了789篇论文——仅次于欧拉的886篇，在数学史上排名第二。但与欧拉不同，柯西的论文质量差异巨大：

巨量的开创性工作：复变函数、弹性力学、色散理论、行列式理论
大量的”日常输出”：巴黎科学院的会议几乎期期都有柯西的论文，被戏称为”柯西的文件堆”
有时解决同一个问题从不同角度写多篇论文：导致后人统计他的贡献时非常头疼

他的极端高产有一个负面效果：他的严密性在后期有所下降，部分论文缺乏他早年《分析教程》中的那种精炼。

关于柯西和伽罗瓦的故事：19岁的埃瓦里斯特·伽罗瓦提交了他的群论论文——后来被证明是19世纪最深刻的数学发现之一。但柯西作为评审人，收到了论文但没有认真看。伽罗瓦的论文后来”丢失”了（其实是傅里叶收下后，傅里叶很快就去世了）。这被普遍认为是柯西的一个重大失误——他没能看出一个年轻天才的革命性工作。

五、柯西的矛盾性格

柯西是一个极度矛盾的人：

在数学上：他是”严谨”的化身，对微积分基础要求极严
在为人上：他极为固执、好斗，几乎得罪了法国科学院的所有人
在政治上：他是极端的保皇派（支持波旁王朝），1830年七月革命后拒绝了向新政权宣誓效忠，选择自我流放到意大利都灵和布拉格
在宗教上：他是虔诚的天主教徒，热衷于参与耶稣会的事务

一个著名的轶事：柯西在巴黎科学院的会议上经常打断别人的发言，批评别人的数学不严谨。有一次，他坐在听众席上，一边听报告一边点头嘀咕”不够严格——完全不够严格”。报告人忍无可忍，说”柯西先生，等您做报告时我再提意见。”柯西回答说：”我从来不提交不严格的论文。”

六、与傅里叶的对比

对比维度	傅里叶	柯西
出生	1768，裁缝家庭孤儿	1789，律师家庭
代表作	《热的解析理论》(1822)	《分析教程》(1821)
性格	热情、善于交际	固执、好斗、虔诚
政治立场	支持革命和拿破仑	极端的保皇派
复变函数贡献	傅里叶级数的复指数形式	柯西积分理论、留数定理
对分析的态度	“先发表再完善”	“不严格就不行”
严格性	被当时的数学家批评不够严格	定义了现代严格性的标准

傅里叶和柯西之间有一个有趣的张力：傅里叶大胆地使用级数展开，被指责不够严格；而柯西在1820年代发展出的严格分析框架，恰恰为傅里叶级数提供了收敛性证明的严格基础。狄利克雷在1829年证明傅里叶级数收敛条件时使用的就是柯西的极限理论。

七、影响与传承

柯西的复变函数理论由黎曼和魏尔斯特拉斯在19世纪下半叶发扬光大。黎曼在1850年代的博士学位论文中用柯西积分理论建立了复变函数的几何理论；魏尔斯特拉斯则发展了以幂级数展开为基础的分析方法。

柯西对弹性力学也有重要贡献——他提出的”应力”（stress）和”应变”（strain）概念是固体力学的基石，这直接影响了飞机结构设计中的有限元分析（FEA）。

柯西在数论和代数学中的工作：他研究了置换群、行列式的理论，这些工作是伽罗瓦群论的先导，也是线性代数的基础之一。

参考文献

Cauchy, A.-L. (1821). Cours d’Analyse de l’École Royale Polytechnique. （中译本：《分析教程》）
Cauchy, A.-L. (1840). Exercices d’Analyse et de Physique Mathématique. 4 vols. 柯西的论文合集
Belhoste, B. (1991). Augustin-Louis Cauchy: A Biography. Springer-Verlag.
Kline, M. (1972). Mathematical Thought from Ancient to Modern Times. Oxford University Press. — 柯西在分析严格化中的角色
Stillwell, J. (2010). Mathematics and Its History (3rd ed.). Springer. — 复变函数诞生的历史

120年过去了，从牛顿到拉普拉斯到高斯再到傅里叶和柯西——法国人统治了数学分析的全部领域。现在轮到俄罗斯人登场了。儒科夫斯基（Zhukovsky）——1847年生于一个没有数学传统的国家——他将用保角变换改写空气动力学。复变函数中的保角变换，在空气动力学中用于把圆柱绕流变成翼型绕流，这个变换正是儒科夫斯基变换。