卡尔·古斯塔夫·雅可比（Carl Gustav Jacob Jacobi）

与阿贝尔并立的椭圆函数论奠基人——他以惊人的算法才能把椭圆函数、θ 函数、数论、微分方程与力学熔于一炉，又把"讨论班"（seminar）这种研究型教学法引入德国大学；他晚年因一场政治演说触怒当局，却在贫病中仍把数学做到生命最后一刻。

一、生平与时代背景

卡尔·古斯塔夫·雅可比于 1804 年 12 月 10 日生于普鲁士的波茨坦。他出身犹太家庭，出生时被起了法式名字"雅克·西蒙"（Jacques Simon）。父亲西蒙·雅可比（Simon Jacobi）是银行家，家境富裕；卡尔是次子，长兄莫里茨（Moritz Jacobi）后来成为著名物理学家，还有一个姐姐特蕾泽（Therese）和弟弟爱德华（Eduard，继承父业做银行家）。

他早年由母系的一位叔叔启蒙，将近 12 岁时进入波茨坦文科中学（Gymnasium）。因基础扎实、天赋出众，1817 年（仍在一年级时）就被编入最高年级——到 1816—17 学年结束时他才 12 岁，却已达到大学入学标准。但柏林大学不收 16 岁以下的学生，他只得在同一个最高年级里待到 1821 年春。在此期间他自修了欧拉的《无穷分析引论》（Introductio in analysin infinitorum），并尝试自己用根式解五次方程。

1821 年他进入柏林大学，起初在哲学、古典学与数学之间犹豫，两年后选定数学。但当时德国大学的数学教育水平不高，他像在中学时一样主要靠自学拉格朗日等大数学家的著作。到 1823—24 学年结束时，他已通过在中学教授数学、希腊文、拉丁文的国家考试。由于是犹太人，谋教职本有障碍，但他的才华足以越过这道坎：1825 年他获柏林约阿希姆斯塔尔文科中学（Joachimsthalsche Gymnasium）的教职，同时已向柏林大学提交博士论文并迅速转入特许任教资格（Habilitation）研究。

1825 年他向柏林科学院提交了一篇关于迭代函数的论文，但评审认为不值得发表（这篇论文直到 1961 年才连同评注出版）。同年他由犹太教改宗基督教，使大学任教成为可能，1825—26 学年起在柏林大学兼课。由于柏林前景不佳，听从同事建议，1826 年 5 月转赴柯尼斯堡大学（Königsberg，今加里宁格勒），与天文学家贝塞尔（Bessel）和同样刚获博士学位的弗朗茨·诺伊曼（Franz Neumann）共事——三人后来成为德国大学数学复兴的核心。

到柯尼斯堡前，雅可比已在数论上做出重要发现（受高斯二次、四次剩余工作的启发，研究三次剩余），并写信告知高斯，高斯甚为重视，还向贝塞尔打听这位年轻人。同时他与阿贝尔各自独立地产生了关于椭圆函数的革命性新思想。1827 年 8 月 5 日他致信椭圆积分领域的权威勒让德（两人之间共留存 23 封通信），勒让德立即意识到雅可比取得了根本性进展，并于 1828 年 2 月 9 日回信，盛赞雅可比与阿贝尔：

"看到你们两位年轻数学家如此成功地耕耘这片长期是我心爱研究、却在我祖国未受应有重视的分析分支，令我极为欣慰……你们以自己的工作跻身于我们这个时代最优秀的分析学家之列。"

勒让德的极力推荐使雅可比于 1827 年 12 月 28 日晋升副教授。1829 年暑假他赴巴黎，见到勒让德、傅里叶、泊松等，途中还在哥廷根拜访了高斯。他的椭圆函数奠基之作《椭圆函数论新基础》（Fundamenta nova theoria functionum ellipticarum，1829）及其后续补遗，使该理论系统成形。

1831 年 9 月 11 日他与玛丽·施温克（Marie Schwinck）结婚；1832 年 5 月经过一场四小时的拉丁文答辩后晋升正教授。他是极出色的教师，吸引了大批学生，并在德国大学中率先引入讨论班（seminar）制度以传授数学前沿——博尔夏特（Borchardt）、海涅（Heine）、黑塞（Hesse）、里歇洛（Richelot）、罗森海因（Rosenhain）、冯·赛德尔（von Seidel）等都出自他的门下，形成了一个真正的"学派"。

1834 年他证明了单变量双周期函数的周期比必为非实数，引发刘维尔、柯西的后续工作。1834 年他还敏锐地识别出当时还是中学教师的库默尔（Kummer）的数学天才，此后一直提携他。1841 年他发表长论文《论函数行列式》（De determinantibus functionalibus），系统研究今称雅可比行列式的对象（虽然柯西 1815 年已先行研究过）。

1842 年 7 月，他与贝塞尔作为普鲁士代表赴曼彻斯特参加英国科学促进会（BAAS）会议，夫人同行；归途经巴黎，他在法兰西学院讲学。1843 年他被诊断出糖尿病，医生建议去意大利疗养；但他并非富人——一场席卷普鲁士的商业萧条使他破产，失去了继承的全部财产。狄利克雷看望他后写信给亚历山大·冯·洪堡，请他向腓特烈·威廉四世说情，为雅可比争取到赴意大利的资助。1843 年他与博尔夏特、狄利克雷同行（施莱夫利任翻译，施泰纳也在），经卢卡的数学会议，于 11 月 16 日抵达罗马；在罗马他还研究梵蒂冈藏的丢番图《算术》手稿。意大利气候确实帮助他恢复。

因柯尼斯堡气候恶劣不宜他的健康，经国王特许，1844 年 6 月前他已转至柏林，并获薪金补贴以弥补柏林较高的生活开支与医疗费用。他在柏林大学开课不多，1847—1848 学年曾讲分析力学，对拉格朗日把力学当作公理化演绎科学的观点提出批评。

1848 年革命席卷德意志诸邦，柏林爆发战斗。雅可比在柏林宪政俱乐部发表了一场政治演说，同时触怒了保皇派与共和派，结果普鲁士政府拒绝让他正式加入柏林大学编制。1849 年革命被镇压后，政府迁怒于他，取消了他在柏林生活所需的薪金补贴；他只得迁居小城哥达（Gotha）与家人同住，并接受了维也纳大学的教席。普鲁士政府这才意识到可能失去雅可比，遂做出让步——他得以在柏林大学授课，而家人留居哥达。这并非好条件，但他接受了，说明他对祖国的眷恋。

1850 年暑假他在哥达与家人团聚。1851 年 1 月他先患流感，尚未复原又染上天花，几天后去世，年仅 46 岁。史家 Scriba 把他与欧拉相比：两人都是多产的写作者与更惊人的计算者，都从大量算法工作中汲取洞见，都横跨数学多个领域。

二、学术生涯年表

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

1. 椭圆函数论——以四个 θ 函数为基础（《椭圆函数论新基础》，1829）

问题背景：椭圆积分长期被当作"积不出"的超越函数，勒让德花四十年整理其三类理论，却始终在积分框架内。需要反演并找到统一的解析表达。

关键思想：雅可比（与阿贝尔各自独立）反演椭圆积分得到椭圆函数，并独具特色地用四个 θ 函数（theta functions）把椭圆函数表示为比值，从而获得它们在全复平面上的解析延拓与快速收敛的级数展开。

精确表述：雅可比定义了第一类 θ 函数 $$\theta_1(z,q)=2\sum_{n=0}^\infty (-1)^n q^{(n+1/2)^2}\sin((2n+1)z),$$ 以及另外三个（$\theta_2,\theta_3,\theta_4$），并把雅可比椭圆函数表示为 $$\operatorname{sn}(u)=\frac{\theta_3(0)\,\theta_1(u/2K)}{\theta_2(0)\,\theta_4(u/2K)},\quad \operatorname{cn}(u)=\frac{\theta_4(0)\,\theta_2(u/2K)}{\theta_2(0)\,\theta_4(u/2K)},\quad \operatorname{dn}(u)=\frac{\theta_4(0)\,\theta_3(u/2K)}{\theta_3(0)\,\theta_4(u/2K)},$$ 其中 $K$ 是第一类完全椭圆积分。这使椭圆函数作为复平面上双周期亚纯函数的解析性质一目了然。他还发展了椭圆函数的变换理论（虚变换、模变换），为模形式理论埋下种子。

与前人关系：反演思想由阿贝尔与他各自独立提出（高斯更早但未发表）；以 θ 函数为基础则是雅可比的独特贡献，魏尔斯特拉斯后来用 $\sigma,\wp$ 函数给出另一套系统。

历史意义：椭圆函数论成为 19 世纪分析的中心，雅可比的 θ 函数方法影响了数论、热方程、量子统计等众多领域。

2. 用椭圆函数证明整数分拆为平方和的公式（《新基础》，1829）

问题背景：费马、欧拉、拉格朗日研究过正整数表示为平方和的问题（拉格朗日 1770 年证明四平方和定理：每个自然数都是四个整数平方之和），但求"表示数"（$r_k(n)=$ 把 $n$ 表为 $k$ 个平方和的方式数）的精确公式很难。

关键思想：雅可比把生成函数 $\theta_3(0,q)^k=\left(\sum_{n\in\mathbb{Z}}q^{n^2}\right)^k$ 展开，其系数就是 $r_k(n)$；再用椭圆函数的变换公式推出这些系数的闭式。

精确表述（雅可比的平方和公式）： - $r_2(n)=4\sum_{d\mid n,\,4\nmid d}(-1)^{(d-1)/2}$（二平方和，推广费马定理）； - $r_4(n)=8\sum_{d\mid n,\,4\nmid d}d$（四平方和，由此立即推出拉格朗日四平方和定理，因为右式对 $n\ge 1$ 恒正）； - 他还给出了 $r_6(n),r_8(n)$ 的公式。

与前人关系：拉格朗日证明了存在性，但雅可比给出了精确的表示数公式，且用的是全新的解析（椭圆函数）方法——这是用椭圆函数/模形式研究数论的开端，后世模形式与自守形式理论的源头之一。

3. 雅可比行列式与函数相关性（《论函数行列式》，1841）

问题背景：多重积分的变量替换、函数组的函数相关性，需要一个高维的"导数"概念。

关键思想：雅可比在 1841 年长论文《论函数行列式》（De determinantibus functionalibus）中系统研究了今称雅可比行列式的函数行列式。

精确表述：对 $n$ 个变量的 $n$ 个函数 $y_i=f_i(x_1,\dots,x_n)$，雅可比行列式为 $$\frac{\partial(y_1,\dots,y_n)}{\partial(x_1,\dots,x_n)}=\det\left(\frac{\partial y_i}{\partial x_j}\right)_{n\times n}.$$ 它给出多重积分换元公式 $$\int f(\mathbf{y})\,dy_1\cdots dy_n=\int f(\mathbf{y}(\mathbf{x}))\left|\frac{\partial(y_1,\dots,y_n)}{\partial(x_1,\dots,x_n)}\right|dx_1\cdots dx_n.$$ 雅可比证明：若 $n$ 个函数在 $n$ 个变量中函数相关，则雅可比行列式恒为零；若函数独立，则不恒为零。

与前人关系：柯西 1815 年已研究过函数行列式，但雅可比的长篇系统论文（1841）才使它成为分析与几何的标准工具，故名。

应用：雅可比行列式是多元微积分、微分几何（体积元、度量）、统计（变量替换的密度变换）、热力学（麦克斯韦关系）等的基础。

4. 分析力学的哈密顿—雅可比理论

问题背景：哈密顿（William Rowan Hamilton）在 1830 年代把力学改写为"哈密顿正则方程"，并引入主函数；需要一种通过正则变换求解的系统方法。

关键思想：雅可比在柯尼斯堡与柏林的动力学讲义（身后由克莱布施于 1866 年整理出版为《动力学讲义》Vorlesungen über Dynamik）中，发展了正则变换（接触变换）理论，并给出求解力学系统的哈密顿—雅可比方法。

精确表述（哈密顿—雅可比方程）：若能找到主函数 $S(q,\alpha,t)$ 满足一阶偏微分方程 $$\frac{\partial S}{\partial t}+H\left(q,\frac{\partial S}{\partial q},t\right)=0,$$ 则原力学系统的解可由 $\beta_i=\partial S/\partial\alpha_i$ 与 $p_i=\partial S/\partial q_i$ 代数地求出——把一个 $2n$ 维的动力学问题化为求一个标量 PDE 的完全积分。雅可比还提出"雅可比乘子"（last multiplier）法，用于把可积系统化为求积分。

与前人关系：哈密顿提出主函数与正则方程；雅可比完成了变换理论与求解方法，并澄清了理论结构，故方程以两人命名。

历史影响：哈密顿—雅可比理论是经典力学的最高综合之一；它的"作用量—主函数"结构是从经典力学过渡到量子力学的关键桥梁——薛定谔正是从几何光学与波动光学的类比、经由哈密顿—雅可比理论建立了薛定谔方程；WKB 近似、作用量量子化都源自这里。

5. 数论：雅可比符号、二次型与双周期定理

• 雅可比符号（Jacobi symbol）：把勒让德符号 $\left(\frac{a}{p}\right)$（$p$ 为素数）推广到任意正奇数分母 $n$ 的复合情形 $\left(\frac{a}{n}\right)$，保持互反律但不再刻画二次剩余——极大简化了二次互反律的计算，是数论的基本符号工具。
• 二次型：受高斯《算术研究》启发，研究三元二次型与整数表示，把椭圆函数方法引入数论。
• 双周期函数定理（1834）：证明单变量单值双周期函数的两个周期之比必为非实数（否则函数退化），奠定了椭圆函数作为复平面格点周期函数的理论基础，引发刘维尔、柯西的一般化。
• 三次剩余：到柯尼斯堡前已研究三次剩余（推广高斯的二次、四次剩余），获高斯重视。

6. 微分几何：闭曲线法线球面像定理（1842）

问题背景：空间曲线的整体几何性质研究。

精确表述（雅可比定理，1842）：空间中一条闭可微曲线的法向量沿曲线的球面像（Gauss 映射的像）把单位球面分成面积相等的两部分。 这个漂亮的整体定理出现在他回应克劳森（Clausen）1842 年对其 1836 年论文更正的一篇论文中，是曲线整体理论的早期重要结果。

四、代表著作与文献

• 《椭圆函数论新基础》（Fundamenta nova theoria functionum ellipticarum，1829，柯尼斯堡）：椭圆函数论的奠基著作，引入四个 θ 函数、雅可比椭圆函数、变换理论，并用它们证明平方和表示数公式。
• 《论函数行列式》（De determinantibus functionalibus，1841）：系统建立雅可比行列式理论。
• 《动力学讲义》（Vorlesungen über Dynamik，1866，由克莱布施据其 1842—1843 年柯尼斯堡讲义整理出版，身后刊行）：哈密顿—雅可比理论、正则变换、雅可比乘子法的经典文本。
• 大量论文载于《克雷尔杂志》，涉及椭圆函数、数论、PDE、微分几何。
• 《全集》（Carl Gustav Jacob Jacobi, Gesammelte Werke，8 卷，柏林，1881—1891；由博尔夏特等整理）。

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

• 师承：叔叔启蒙；中学主要靠自学欧拉；柏林大学自学拉格朗日。无严格意义上的博士导师；贝塞尔、F. 诺伊曼是柯尼斯堡时期的同事与长者。
• 学派归属：柯尼斯堡数学学派的创立者之一——他与贝塞尔、F. 诺伊曼构成"三驾马车"，把柯尼斯堡建设为 19 世纪德国数学重镇，并培养了整整一代数学家。
• 同时代交往：
• 勒让德：23 封通信的忘年交；勒让德作为椭圆积分权威，慷慨支持雅可比与阿贝尔两位年轻人。
• 阿贝尔：椭圆函数论的独立发现者与竞争者，相互敬重、彼此推动。
• 高斯：雅可比到柯尼斯堡前就以三次剩余工作获高斯重视，1829 年亲访哥廷根。
• 狄利克雷、洪堡：1843 年为他争取意大利疗养资助；狄利克雷与他同赴罗马。
• 库默尔：1834 年雅可比识别出还是中学教师的库默尔的天才并极力提携，库默尔后来成为一代数论宗师。
• 哈密顿：与哈密顿共同建立分析力学的正则理论（哈密顿—雅可比），两人从不同方向出发、相互印证。
• 学生/传人：博尔夏特、海涅、黑塞、里歇洛、罗森海因、冯·赛德尔等；他引入的讨论班制度成为德国研究型大学的标志，经克莱因、希尔伯特发扬光大。

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

• 改宗与教职：雅可比 1825 年由犹太教改宗基督教才得以在大学任教，是 19 世纪德国学术反犹背景的典型写照（对比犹太裔的另一些数学家，如后来的戴德金同代人；雅可比是较早突破障碍的成功者）。
• 早年论文被拒：1825 年迭代函数论文被柏林科学院评审否决，1961 年才由 Biermann 连同对评审的批评出版——是早期评审失当的一例。
• 与阿贝尔的竞争：两人各自独立发现椭圆函数反演，学界曾有优先权讨论；但两人通信中相互承认对方的独立贡献，竞争是健康的。雅可比在阿贝尔死后继续发展其思想，两人共同奠定该领域。
• 政治演说的代价：1848 年宪政俱乐部的演说同时触怒保皇派与共和派，导致他被拒加入柏林大学编制、失去薪金补贴，晚景经济拮据——反映了科学家在动荡政治中的脆弱地位。
• 历史评价：雅可比是 19 世纪上半叶最有算法才能与创造力的分析学家之一，Scriba 把他与欧拉相比。他横跨椭圆函数、数论、行列式、微分方程、微分几何、力学多个领域，且在每个领域都留下以他命名的核心工具（雅可比椭圆函数、雅可比行列式、雅可比符号、哈密顿—雅可比方程、雅可比恒等式等）。他把科研讨论班制度引入德国大学，深刻塑造了现代数学研究与教学的形态。

七、身后影响与学术谱系

• 对复分析：椭圆函数与 θ 函数理论经魏尔斯特拉斯（$\wp$ 函数）、黎曼、克莱因发展为复分析的核心；θ 函数成为模形式、自守形式的基本构件。
• 对数论：用椭圆函数证明平方和公式，开启了解析数论与模形式的联系；雅可比符号是初等数论的标准工具；他对库默尔的提携影响了代数数论的诞生。
• 对力学与物理学：哈密顿—雅可比理论是经典力学的最高综合，是通往量子力学的关键桥梁（薛定谔方程、WKB 方法、作用量量子化）；雅可比行列式在统计力学、热力学中不可或缺。
• 对几何与拓扑：雅可比行列式是微分几何体积元的基础；闭曲线球面像定理是整体微分几何的早期成果；他关于微分方程的研究（雅可比乘子、最后乘子法）影响了可积系统理论。
• 对数学教育：引入德国大学讨论班（seminar）制度，培养了博尔夏特、海涅、库默尔（经提携）等，这一制度经克莱因、希尔伯特传承，成为现代研究型大学的标配。
• 命名遗存：雅可比椭圆函数（$\operatorname{sn},\operatorname{cn},\operatorname{dn}$）、雅可比 θ 函数、雅可比行列式、雅可比矩阵、雅可比符号、雅可比恒等式、哈密顿—雅可比方程、雅可比乘子、雅可比积分（天体力学中的雅可比常数）、雅可比椭球（旋转流体平衡形状）、月球雅可比环形山；雅可比—莫泽定理（KAM 理论的一部分，以他与莫泽命名）。

八、延伸阅读与权威来源

• MacTutor 数学史档案：Carl Gustav Jacob Jacobi：圣安德鲁斯大学权威传记，本档案主要史实出处。
• Dictionary of Scientific Biography — Jacobi (PDF, MacTutor 托管)：科学史权威传记条目（Scriba 撰）。
• Wikipedia: Carl Gustav Jacob Jacobi：生平与著作交叉核对。
• Wikipedia: Jacobi elliptic functions：雅可比椭圆函数与 θ 函数表示。
• Wikipedia: Jacobi determinant：雅可比行列式及其应用。
• Wikipedia: Hamilton–Jacobi equation：与哈密顿共同建立的分析力学理论。
• Wikipedia: Jacobi symbol：勒让德符号的推广。
• K.-R. Biermann, Carl Friedrich Gauß und Alexander von Humboldt in ihren Beziehungen zu A. F. Möbius und C. G. J. Jacobi：研究雅可比与高斯、洪堡关系的权威著作（MacTutor 参考文献 5）。