奥古斯丁-路易·柯西

奥古斯丁-路易·柯西（1789年8月21日—1857年5月23日）是法国数学家。他的研究推动数学分析转变为一门以精确定义和严格证明为核心的学科。他是复分析的主要奠基人之一，并在无穷级数、微分方程、代数、几何和数学物理等领域作出了贡献。许多数学概念以他的名字命名，包括柯西序列、柯西积分定理和柯西—黎曼方程。(mathshistory.st-andrews.ac.uk)

生平与职业生涯

柯西出生于巴黎。1805年，他进入巴黎综合理工学院，随后在国立桥路学校接受工程师培训。1810年，他开始参与瑟堡港口设施的建设，在履行工程职责的同时从事数学研究。1812年，他返回巴黎，逐渐将精力集中于数学。1815年，他成为巴黎综合理工学院的数学分析助理教授；1816年，他凭借有关波的研究获得法国科学院大奖，并当选为该院院士。(mathshistory.st-andrews.ac.uk)

柯西是一位虔诚的天主教徒，也是波旁王朝的支持者。1830年七月革命后，他离开法国，后来在都灵任教，并在布拉格担任查理十世之孙的家庭教师。他于1838年返回巴黎，但由于拒绝宣誓效忠政府，未能恢复某些公职。1848年，宣誓要求被废除后，他在索邦大学担任教授。1857年，他在巴黎附近的索镇去世。(mathshistory.st-andrews.ac.uk)

分析的严格化

柯西为巴黎综合理工学院学生编写的《分析教程》（Cours d’analyse，1821年）系统地讨论了极限、连续性和收敛性。该书导言明确反对不加限制地依赖形式代数运算：在对无穷级数求和之前，应先确定其收敛条件。这种方法区分了对有限表达式有效的运算，以及在涉及无穷多项时需要额外论证的运算。(fr.wikisource.org)

他的定义同时使用了极限和无穷小量。当一个变量的 successive values 不断减小并趋于零时，它便成为无穷小量。他以这样的要求来描述连续性：自变量的无穷小变化应引起因变量的无穷小变化。因此，不能不加限定地将他的理论框架等同于后来标准化的分析学 ε–δ 表述。对于他的无穷小语言与现代表述之间的关系，历史学者提出了不同的解释。(arxiv.org)

与他的研究密切相关的一个核心概念是柯西序列。用现代符号表示，实数序列 $(x_n)$ 满足柯西条件，是指对每个 $\varepsilon>0$ ，都存在整数 $N$ ，使得

|x_m-x_n|<\varepsilon \qquad\text{只要 }m,n\geq N.

这一条件检验序列中足够靠后的各项是否彼此任意接近，而无需预先给出一个候选极限。对于实数序列，这一条件是收敛的充要条件。柯西在1821年的教科书中提出了这一判据，不过此前已有相关思想。(math.berkeley.edu)

他对导数、定积分和收敛判别法的严谨处理，也使其影响扩展到了微积分领域。然而，严格化仍是一个不断发展的过程。其中一个突出问题涉及他关于连续函数之和的连续性的断言：用现代术语来说，仅有逐点收敛并不能保证和函数连续，而一致收敛则提供了适当的更强条件。如何解释他最初的表述及其后来的澄清，是数学史研究中的一个课题。(mathshistory.st-andrews.ac.uk)

复分析

柯西发展了研究复数变量函数的方法，尤其是沿曲线积分的方法。**柯西积分定理**的一种标准现代表述是：若 $f$ 在一个单连通开区域上解析，则对该区域内任意分段光滑的闭曲线 $\gamma$ ，都有

\oint_\gamma f(z)\,dz=0.

关于区域和解析性的假设至关重要：这一定理并不允许将任意围绕奇点的围道积分都设为零。(ocw.mit.edu)

**柯西积分公式**用函数在围道上的值来表示其在围道内部的值。若 $f$ 在包含简单闭围道 $\gamma$ 及其内部的一个开集上解析，且围道取正向，则对内部点 $a$ ，有

f(a)=\frac{1}{2\pi i} \oint_\gamma \frac{f(z)}{z-a}\,dz.

因此，在这些假设下，函数在围道上的值决定了其在内部的值。(ocw.mit.edu)

柯西还发展了留数计算方法。留数定理将具有孤立奇点的函数在适当闭围道上的积分，化为称作留数的局部系数之和。它为计算复积分，以及许多难以用初等方法求得的实积分，提供了有力的方法。这些技术后来成为物理学和工程学中常用的数学工具。(ocw.mit.edu)

其他贡献与数学遗产

柯西的研究还涉及行列式、置换群、微分方程、弹性理论和光学。他在这些领域的研究将纯数学与物理现象的数学描述联系起来。他的全集共27卷，于1882年至1970年间出版。(mathshistory.st-andrews.ac.uk)

柯西—黎曼方程和柯西—柯瓦列夫斯卡娅存在定理，都是以他命名的数学成果。这些名称体现了他的重要影响，但包含这些成果的现代理论也凝聚了后来的推广与重新表述。尤其应当区分今天所用积分定理的一般形式及其证明，与柯西在19世纪最初给出的论述。(mathshistory.st-andrews.ac.uk)

参考来源

Augustin-Louis Cauchy (1789–1857) — Biography — MacTutor History of Mathematicsmathshistory.st-andrews.ac.uk
Cauchy — Dictionary of Scientific Biographymathshistory.st-andrews.ac.uk
Cours d’analyse de l’école royale polytechnique/Texte entierfr.wikisource.org
Cauchy’s Criterion for Convergencemath.berkeley.edu
A two-track tour of Cauchy’s Coursarxiv.org
Cauchy’s sum theorem and its 1821 and 1853 formulationsu.cs.biu.ac.il
Lecture 13: The General Cauchy Theoremocw.mit.edu
Complex Analysisocw.mit.edu
Syllabus — Complex Variables with Applications — MIT OpenCourseWareocw.mit.edu