引言
让·加斯东·达布(Jean-Gaston Darboux, 1842-1917)是19世纪法国最杰出的数学家之一,他在微分几何、数学分析和偏微分方程等领域做出了深远贡献。在其众多著作中,《曲面通论教程及无穷小计算的几何应用》(Leçons sur la théorie générale des surfaces et les applications géométriques du calcul infinitésimal) 无疑是最具代表性的作品。这部四卷本巨著于1887年至1896年间陆续出版,系统总结了19世纪微分几何的发展成果,并融入了达布本人的大量创新性研究。
历史背景与学术地位
在达布之前,微分几何领域已经有许多重要工作:蒙日(Monge)奠定了微分几何的基础,高斯(Gauss)引入了内蕴几何的概念,杜潘(Dupin)发现了三重正交曲面系的定理。然而,这些研究成果散布在各种论文和专著中,缺乏统一的系统化处理。达布的《曲面通论教程》正是为了填补这一空白而作。
这部著作不仅是对前人工作的总结,更是一部充满开创性研究的专著。达布在其中提出了许多新概念、新方法,如达布标架、五球坐标、十二曲面系等,对后来的微分几何发展产生了深远影响。
各卷内容详解
第一卷(1887年):基础理论与极小曲面
标题:Généralités. Coordonnées curvilignes. Surfaces minima(一般性概念、曲线坐标、极小曲面)
核心内容
基本概念与记号系统
- 系统阐述了曲面的参数表示
- 引入了切平面、法线、第一和第二基本形式
- 建立了曲率线、渐近线的严格理论
曲线坐标理论
- 详细发展了曲线坐标系的概念
- 研究了坐标系的变换性质
- 引入了正交曲线系的初步理论
极小曲面理论
- 这是本卷的重点内容,达布给出了极小曲面理论的系统阐述
- 包括普拉托(Plateau)问题的解析处理
- 研究了极小曲面的变换性质
- 引入了魏尔斯特拉斯-恩内佩尔(Weierstrass-Enneper)表示
主要贡献
- 综合处理:首次将分散的极小曲面研究成果系统化
- 新方法:引入复分析方法研究极小曲面
- 等温坐标:详细阐述了极小曲面上的等温参数系统
第二卷(1889年):线汇理论与偏微分方程
标题:Les congruences et les équations linéaires aux dérivées partielles. Des lignes tracées sur les surfaces(线汇和线性偏微分方程、曲面上的曲线)
核心内容
线汇理论
- 系统研究线汇的几何性质
- 引入焦散面(caustic)的概念
- 研究了法线汇的特殊性质
- 建立了线汇与曲面的对应关系
线性偏微分方程
- 将几何问题与偏微分方程理论相结合
- 研究了二阶线性偏微分方程的几何意义
- 引入了辅助方程(équation auxiliaire)的概念
- 展示了如何利用Pfaff问题求解几何问题
曲面上的曲线系统
- 研究了曲率线、测地线、渐近线等特殊曲线
- 发展了共轭系统的理论
- 引入了等温曲面的概念
主要贡献
- 几何-分析的统一:建立了偏微分方程与几何对象的深刻联系
- 线汇分类:给出了线汇的系统性分类理论
- 方法创新:引入了求解几何问题的新方法
第三卷(1894年):测地线与曲面变形
标题:Lignes géodésiques et courbure géodésique. Paramètres différentiels. Déformation des surfaces(测地线和测地曲率、微分参数、曲面变形)
核心内容
测地线理论
- 系统发展了测地线的变分理论
- 研究了测地线的存在性和唯一性
- 引入了测地曲率的概念
- 建立了克氏罗德里格公式(Codazzi-Mainardi equations)的完整理论
微分参数(Beltrami微分参数)
- 引入了第一、第二微分参数 $\Delta_1 u, \Delta_2 u$
- 研究了微分参数的不变性质
- 将微分参数应用于曲面分类问题
曲面变形理论
- 系统研究了曲面的无穷小变形
- 建立了可贴曲面的判定准则
- 研究了常曲率曲面的变形性质
- 引入了关联曲面(surfaces associées)的概念
达布标架
- 引入了著名的达布标架(Darboux frame)
- 建立了达布方程
- 展示了活动标架方法的强大力量
主要贡献
- 达布标架:这是达布最重要的贡献之一,成为研究曲线和曲面的基本工具
- 变形理论:给出了曲面可贴性的完整判别理论
- 活动标架方法:系统发展了运动学方法在几何中的应用
第四卷(1896年):无穷小变形与球面表示
标题:Déformation infiniment petite et représentation sphérique(无穷小变形和球面表示)
核心内容
无穷小变形理论
- 详细研究了曲面的无穷小变形
- 建立了有限变形与无穷小变形的联系
- 引入了十二曲面系(douze surfaces de Darboux)
- 研究了等温曲面的变换性质
球面表示理论
- 系统发展了高斯球面映射的理论
- 解决了球面表示问题:给定球面上的正交系统,求对应曲率线的曲面
- 将此问题化为求解特定类型的偏微分方程
- 引入了五球坐标(coordonnées pentasphériques)
特殊曲面类
- 研究了常曲率曲面
- 分析了线汇包络面的性质
- 发展了可展曲面的完整理论
动力学的几何应用
- 将几何方法应用于刚体运动学
- 研究了泊松(Poinsot)运动的几何表示
- 建立了刚体运动的几何理论
主要贡献
- 十二曲面系:发现了一个封闭的曲面系统,展示了曲面间的深刻联系
- 五球坐标:引入了新的坐标系,简化了许多几何问题的表述
- 球面表示问题的完整解:给出了这一经典问题的完整解答
主要数学贡献与创新
1. 达布标架(Darboux Frame)
达布标架是达布最重要的创新之一。对于空间曲线 $\gamma(s)$,达布标架由三个正交单位向量构成:
- 切向量 $\mathbf{t} = \gamma’(s)$
- 主法向量 $\mathbf{n}$
- 副法向量 $\mathbf{b} = \mathbf{t} \times \mathbf{n}$
达布方程描述了这个标架沿曲线的运动:
$$ \frac{d}{ds}\begin{pmatrix} \mathbf{t} \ \mathbf{n} \ \mathbf{b} \end{pmatrix} = \begin{pmatrix} 0 & \kappa_g & \kappa_n \ -\kappa_g & 0 & \tau_g \ -\kappa_n & -\tau_g & 0 \end{pmatrix} \begin{pmatrix} \mathbf{t} \ \mathbf{n} \ \mathbf{b} \end{pmatrix} $$
其中 $\kappa_g$ 是测地曲率,$\kappa_n$ 是法曲率,$\tau_g$ 是测地挠率。
2. 五球坐标(Pentaspherical Coordinates)
达布引入的五球坐标是一种使用五个球面的幂次来表示点的坐标系统。对于空间中的点 $P$,其五球坐标为:
$$ x_i = \frac{S_i}{R_i} + \alpha_i \quad (i=1,2,3,4,5) $$
其中 $S_i$ 是点 $P$ 对第 $i$ 个球面的幂,$R_i$ 是该球面的半径,$\alpha_i$ 是常数,满足 $\sum_{i=1}^5 \frac{1}{R_i^2} = 0$。
3. 达布定理(Darboux’s Theorem)
达布证明了关于对称形式的重要定理:达布定理指出,对于辛流形上的辛形式,局部上存在坐标系使该形式具有标准形式。这是现代辛几何的基础定理之一。
4. 十二曲面系
达布发现了一个封闭的曲面系统:如果给定一个曲面 $S$,可以找到另外11个曲面与它构成封闭系统,这些曲面之间通过特定的变换关系相互联系。这一发现展示了曲面理论中隐含的对称性和统一性。
5. 正交曲面系理论
达布对三重正交曲面系做出了重大贡献:
- 证明了杜潘定理的逆定理
- 给出了正交曲面系存在的判别准则
- 发现了新的正交曲面系,如环面系(cyclides de Dupin)
方法论特色
1. 几何与分析的完美结合
达布的工作体现了几何直观与分析严密性的完美结合。他既不纯用几何推理,也不完全依赖分析计算,而是根据问题的性质灵活运用两种方法。例如:
- 在研究曲面滚动问题时,他给出了纯粹的几何证明
- 在解决球面表示问题时,则运用了复杂的分析技巧
2. 运动学方法(活动标架法)
达布系统发展了运动学方法在几何中的应用。通过引入活动标架,将几何问题转化为标架运动的研究,这种方法后来被嘉当(Élie Cartan)发展为现代微分几何的重要工具。
3. 虚元素的运用
达布是虚元素在几何中运用的积极倡导者。他认为虚元素在几何中的运用与分析中的复数同样必要。在他的著作中,迷向直线、零球、迷向可展曲面等虚元素的概念得到系统运用。
历史影响
1. 对法国几何学派的影响
达布通过教学和研究培养了一大批优秀的几何学家,包括:
- 吉沙尔(Guichard)
- 柯尼希斯(Koenigs)
- 科瑟拉(Cosserat)兄弟
- 德穆兰(Demoulin)
- 齐策卡(Tzitzeica)
2. 对国际数学界的影响
达布的工作影响了世界各地的数学家:
- 意大利的比安基(Bianchi)和列维-奇维塔(Levi-Civita)
- 德国的魏尔斯特拉斯(Weierstrass)学派
- 美国的微分几何研究
3. 与现代数学的联系
达布的许多思想在现代数学中继续发展:
- 活动标架法被嘉当发展为主纤维丛理论
- 达布定理成为辛几何的基础
- 偏微分方程的几何理论可以追溯到达布的工作
写作风格与特色
1. 系统性与完整性
《曲面通论教程》的最大特色是其系统性和完整性。达布不是简单地将前人的结果汇编在一起,而是:
- 从基本概念出发,逐步构建完整的理论体系
- 在每一部分都融入自己的创新性研究
- 注意不同理论分支之间的内在联系
2. 清晰的阐述风格
达布的写作风格以其清晰和优雅著称:
- 定义准确,证明严密
- 善于运用具体例子说明抽象概念
- 注重几何直观与分析推导的平衡
3. 丰富的注释与补充
在四卷著作中,达布加入了大量注释,这些注释:
- 提供了历史背景和相关文献
- 包含了许多未发表的原创结果
- 指出了进一步研究的方向
结语
达布的《曲面通论教程》是微分几何史上一座真正的里程碑。这部四卷本巨著不仅系统总结了19世纪微分几何的成就,更通过达布本人的创新性研究,为20世纪微分几何的发展奠定了基础。
正如达布自己所信奉的:"几何与分析的联盟是有用且富有成效的;或许这种联盟是两者成功的条件。"《曲面通论教程》正是这一理念的完美体现。
今天,虽然微分几何已经发展到了更抽象、更一般的层面,但达布的这部经典著作仍然具有重要的参考价值。无论是对于希望学习经典微分几何的学生,还是对于寻求研究灵感的数学家,《曲面通论教程》都是一座取之不尽的宝库。
参考文献
Darboux, G. Leçons sur la théorie générale des surfaces et les applications géométriques du calcul infinitésimal, Tome I-IV, Gauthier-Villars, Paris, 1887-1896.
Eisenhart, L.P. “Darboux’s Contribution to Geometry”, Bulletin of the American Mathematical Society, 1918.
Lebon, E. Gaston Darboux: Biographie, Bibliographie analytique des écrits, Gauthier-Villars, Paris, 1910.
陈维桓. 《微分几何讲义》. 北京大学出版社, 2018.
Klingenberg, W. A Course in Differential Geometry, Springer, 1978.
本文系作者根据达布原著及相关研究资料撰写,旨在向中文读者介绍这部经典著作的主要内容与学术价值。
