English translation of Sophie Kowalevski's "On the problem of the rotation of a rigid body about a fixed point"

本文是索菲·柯瓦列夫斯卡娅（Sofya Kovalevskaya）1889 年用法文发表于《数学学报》第 12 卷的关于刚体定点旋转问题的经典论文《Sur le probleme de la rotation d'un corps solide autour d'un point fixe》的英文翻译与数字化版本，该成果奠定了著名的“柯瓦列夫斯卡娅陀螺”理论的基础。

要点

这是一篇由索菲·科瓦列夫斯卡娅（Sophie Kowalevski）撰写的数学经典论文，发表于 1889 年。为了让你轻松理解这篇深奥的论文，我们可以把它想象成一位天才数学家在解决一个极其复杂的“陀螺旋转谜题”。

🌟 核心故事：一个旋转的陀螺

想象你手里拿着一个形状不规则的陀螺（比如一个歪歪扭扭的土豆），你把它放在桌子上的一点上，让它旋转。

• 问题： 这个陀螺会怎么转？它的角速度、重心位置会随时间发生什么变化？
• 难点： 在大多数情况下，这个运动太复杂了，就像试图预测一群受惊的蜜蜂的飞行轨迹，数学家们发现无法用简单的公式（像 $y=x^2$ 那样）来描述它。

在科瓦列夫斯卡娅之前，人们只知道两种特殊情况可以算出答案：

1. 欧拉情况： 陀螺没有重量（或者重心就在旋转点上），像个完美的玩具。
2. 拉格朗日情况： 陀螺是完美的圆柱体或圆锥体，且重心在轴线上。

这两种情况下的运动规律是“优雅”的，可以用当时已知的“椭圆函数”（一种高级的三角函数）来描述。

🕵️‍♀️ 科瓦列夫斯卡娅的突破：寻找“第三种奇迹”

科瓦列夫斯卡娅问了一个大胆的问题：“除了这两种特殊情况，还有没有第三种情况，能让这个复杂的陀螺运动变得‘优雅’且可解？”

她通过极其严密的数学推导（就像在迷宫里寻找唯一的出口），发现确实存在第三种情况！

这个“第三种情况”是什么？

想象一个特殊的陀螺，它满足两个奇怪的条件：

1. 形状特殊： 它的两个主惯性矩（可以理解为物体在两个方向上的“转动惯性”）相等，且是第三个方向的两倍。就像是一个压扁的圆盘，或者更形象地说，像一个两头重、中间轻的特殊哑铃。
2. 重心位置特殊： 它的重心不在旋转轴上，但恰好位于那个“重”的平面内（垂直于旋转轴）。

比喻： 想象你在玩一个特殊的溜溜球，它的轴心稍微偏了一点，而且它的形状是扁平的。在这种特定的组合下，原本混乱的旋转突然变得有规律可循了。

🧩 数学魔法：从混乱到秩序

为了证明这个新情况是可解的，科瓦列夫斯卡娅做了一件非常酷的事情：

1. 寻找“隐藏的节奏”： 她发现，在这个特定的陀螺运动中，虽然看起来变量很多（6 个变量在变），但它们之间存在着某种隐藏的守恒律（就像音乐中的和弦，虽然音符在变，但和弦结构不变）。她找到了第 4 个守恒量（前三个是已知的能量、动量等）。
2. 引入“超椭圆函数”： 一旦找到了这个第 4 个守恒量，原本无法解开的方程组突然就“松绑”了。她发现，描述这个陀螺运动的公式，可以用一种比“椭圆函数”更高级的函数来表示，她称之为超椭圆函数（Hyperelliptic functions）。
   • 通俗比喻： 如果普通三角函数是“简单的波浪”，椭圆函数是“复杂的波浪”，那么她发现的这种新函数就是“波浪的波浪”，虽然更复杂，但它是完全可预测、有规律的。

📝 论文的结构（简化版）

1. 第一章：提出挑战
   她列出了描述陀螺运动的所有方程，并指出在一般情况下，这些方程的解会像疯了一样乱跑（有奇点）。她提出：如果解是“好”的（像普通函数一样平滑），那么它们必须满足特定的形式。

2. 第二章：发现新大陆
   通过复杂的代数运算，她排除了绝大多数情况，最终锁定了那个神奇的特定条件（$A=B=2C$ 且重心在特定位置）。她证明了只有在这个条件下，方程才能被“优雅”地解开。

3. 第三至七章：构建工具
   这是论文最硬核的部分。她引入了当时最前沿的数学工具（魏尔斯特拉斯的椭圆函数理论），并发展了一套新的数学语言（$\Theta$ 函数，Theta functions）。

   • 她把陀螺的每一个运动参数（位置、速度）都写成了这些高级函数的比值。
   • 这就像给混乱的陀螺运动画了一张精确的地图，告诉你它在任何时刻都在哪里。

4. 第八章：物理实现
   最后，她不仅停留在数学上，还回答了一个物理问题：“现实中真的存在这样的陀螺吗？”
   她通过计算证明：是的！如果你制造一个密度分布特殊的物体（比如一个特定的椭球体），并把它挂在特定的点上，它就能完美地执行这种“第三种”旋转运动。

💡 为什么这篇论文如此重要？

• 打破僵局： 在 19 世纪，人们认为除了欧拉和拉格朗日发现的两种情况外，刚体旋转问题是无解的。科瓦列夫斯卡娅打破了这个思维定势，证明了第三种可解情况的存在。
• 数学工具的创新： 她为了这个问题，极大地推动了超椭圆函数和阿贝尔函数的发展。她就像是一个为了修路而发明了新型挖掘机的工程师。
• 女性的里程碑： 索菲·科瓦列夫斯卡娅是第一位获得现代博士学位的女性，也是第一位在现代科学领域获得如此崇高地位的女性数学家。这篇论文为她赢得了法国科学院的博尔丁奖（Bordin Prize），奖金从 3000 法郎涨到了 5000 法郎。

🎯 总结

想象一下，你看着一个在风中乱转的陀螺，所有人都说：“这太乱了，没法预测。”
科瓦列夫斯卡娅说：“不，只要陀螺的形状和重心满足一个特定的‘秘密配方’，它的运动就藏着一种深层的、优美的数学节奏。”
她不仅找到了这个配方，还发明了一套全新的“数学乐器”来演奏这个节奏。这就是这篇论文的伟大之处：在看似混乱的物理世界中，发现了隐藏的数学秩序。

技术摘要

1. 研究问题 (Problem)

该论文旨在解决经典力学中一个长期未决的难题：刚体绕定点旋转的欧拉 - 泊松方程（Euler-Poisson equations）在什么条件下是可积的？

• 背景：刚体绕定点旋转的运动由一组非线性微分方程描述。在科瓦列夫斯卡娅之前，数学界仅知道两个可积的特例：
  1. 欧拉 - 泊松情形 (Euler-Poisson case)：刚体无重力作用（重心与定点重合，$x_0=y_0=z_0=0$）。
  2. 拉格朗日情形 (Lagrange case)：刚体具有旋转对称性（$A=B$）且重心位于对称轴上（$x_0=y_0=0$）。
• 目标：科瓦列夫斯卡娅试图探究是否存在第三个可积情形。她提出，如果该方程组存在新的可积情形，其解应当是时间的单值函数（uniform functions），且其奇点仅为极点（poles）。这意味着解可以通过某种级数展开（洛朗级数）来表示。

2. 方法论 (Methodology)

科瓦列夫斯卡娅采用了一种极具创新性的复分析与代数几何相结合的方法：

1. 奇点分析（Pole Analysis）：

   • 她假设解在复时间平面上是单值函数，因此可以展开为 $t$ 的洛朗级数形式（如 $p = t^{-1}(p_0 + \dots)$）。
   • 通过比较微分方程两边的最低次幂项，她推导出了系数 $p_0, q_0, r_0, f_0, g_0, h_0$ 必须满足的代数方程组。
   • 她分析了这些代数方程组的相容性条件，发现只有在特定的参数约束下，这些系数才能非零且满足所有约束。

2. 寻找新条件：

   • 通过复杂的代数推导，她证明了在一般情况下（即 $A, B, C$ 互不相等且重心不在轴上），上述级数展开无法包含足够的任意常数（5 个），因此不可积。
   • 然而，她发现当满足特定条件 $A = B = 2C$ 且 $z_0 = 0$（重心位于赤道平面内，且刚体关于该轴具有特定的惯性矩比例）时，相容性条件得以满足。这就是著名的科瓦列夫斯卡娅情形（Kowalevski Top）。

3. 超椭圆函数与 theta 函数 (Hyperelliptic and Theta Functions)：

   • 一旦确定了可积条件，她利用代数积分（首次积分）将微分方程组转化为代数曲线上的积分问题。
   • 她引入了新的变量 $s_1, s_2$，将问题转化为关于这些变量的微分方程。
   • 通过引入魏尔斯特拉斯（Weierstrass）的 $\wp$ 函数和 $\sigma$ 函数理论，以及罗森海恩（Rosenhain）的超椭圆函数理论，她将解表示为**雅可比 theta 函数（Theta functions）**的商。
   • 她详细推导了如何将角速度分量 $(p, q, r)$ 和方向余弦 $(\gamma, \gamma', \gamma'')$ 表达为时间的函数。

4. 物理实现：

   • 在论文最后，她通过计算证明了这种刚体在物理上是可构造的（例如，一个特定的椭球体或组合体），只要其惯性矩满足 $A=B=2C$ 且重心位于特定位置。

3. 主要贡献与结果 (Key Contributions & Results)

1. 发现第三个可积情形：

   • 确立了刚体绕定点旋转的第三个可积情形，即科瓦列夫斯卡娅陀螺。
   • 条件：$A = B = 2C$（惯性矩关系），且重心位于垂直于对称轴的平面内（$z_0 = 0$）。

2. 第四个首次积分（First Integral）：

   • 除了能量积分、角动量投影积分和几何约束积分外，她发现了一个新的、非线性的四次首次积分：
     $$\{(p + qi)^2 + c_0(\gamma + i\gamma')\} \{(p - qi)^2 + c_0(\gamma - i\gamma')\} = k^2$$
     其中 $i = \sqrt{-1}$，$c_0$ 是与重力相关的常数。这个积分的存在是系统可积的关键。

3. 解的显式表达：

   • 她成功地将运动方程的解表示为超椭圆函数（具体为 genus 2 的 theta 函数）的有理函数。
   • 证明了所有运动变量（角速度和方向余弦）都是时间的单值亚纯函数（meromorphic functions），即它们在整个复时间平面上除了极点外没有其他奇点（如分支点）。这解决了关于解的全局性质的问题。

4. 数学工具的革新：

   • 该论文极大地推动了阿贝尔积分（Abelian integrals）和theta 函数在力学中的应用。
   • 展示了如何将复杂的非线性微分方程组转化为代数几何问题（在黎曼曲面上积分）。

4. 意义与影响 (Significance)

• 历史地位：这是数学物理史上的里程碑。在科瓦列夫斯卡娅之前，人们普遍认为只有欧拉和拉格朗日两种可积情形。她的发现打破了这一认知，展示了数学分析在解决经典力学难题中的强大力量。
• 理论价值：
  • 它确立了可积系统理论（Integrable Systems）的一个重要基石。
  • 它展示了单值性原理（Painlevé property 的前身）作为寻找可积系统判据的有效性。
• 物理应用：科瓦列夫斯卡娅陀螺成为了研究非线性动力学、混沌理论以及可积系统性质的标准模型之一。其运动轨迹表现出复杂的周期性行为，但在数学上是完全可解的。
• 女性科学家的成就：作为第一位获得巴黎科学院博尔丁奖的女性，也是第一位获得该奖项的女性数学家，这篇论文不仅是科学上的突破，也是科学史上的重要事件。

总结

科瓦列夫斯卡娅的这篇论文通过严谨的复分析方法和深刻的代数洞察，不仅找到了刚体旋转的第三个可积情形，还给出了其解的完整解析表达（基于 theta 函数）。这项工作将经典力学推向了现代数学分析的前沿，是 19 世纪数学与物理结合的巅峰之作。