English translation of Frobenius' and Stickelberger's "On the theory of elliptic functions"

论文技术总结：弗罗贝尼乌斯与施蒂克塞尔格的椭圆函数行列式理论

1. 研究背景与问题 (Problem)

该论文旨在探讨并建立椭圆函数理论中几个重要公式之间的内在联系。

• 触发点：夏尔·埃尔米特（Charles Hermite）在《纯粹与应用数学杂志》第 82 卷中发表的一个关于椭圆函数的著名公式。
• 目标：
  1. 从一般性的行列式公式出发，推导出埃尔米特的特定公式。
  2. 进一步推导出利奥波德·基佩特（Leopold Kiepert）在解决椭圆函数倍点问题（multiplication problem）时所使用的更特化的公式。
• 核心挑战：如何系统地将涉及多个变量的行列式极限过程转化为包含魏尔斯特拉斯 $\wp$ 函数和 $\sigma$ 函数的简洁表达式。

2. 方法论 (Methodology)

作者采用了一种基于极限过程（Limiting Process）和行列式性质的通用推导方法。

• 通用极限引理：
  设 $f_0(u), \dots, f_n(u)$ 为 $n+1$ 个收敛幂级数。考虑由 $f_\alpha(u_\beta)$ 构成的 $(n+1)$ 阶行列式 $F(u_0, \dots, u_n)$。
  由于 $F$ 是反对称函数，它可以分解为：
  $$F = G(u_0, \dots, u_n) \prod_{\alpha > \beta} (u_\alpha - u_\beta)$$
  其中 $G$ 是对称函数。
  作者引入了变量 $u_\beta = u + \beta h$，并令 $h \to 0$。利用行列式定理，证明了该比值在极限情况下转化为导数构成的行列式：
  $$\lim_{h \to 0} \frac{F(u_0, \dots, u_n)}{\prod (u_\alpha - u_\beta)} = \frac{1}{\prod (\alpha - \beta)} \det(f_\alpha^{(\beta)}(u))$$
  这一过程将多变量函数转化为单变量高阶导数的行列式。

• 椭圆函数性质的应用：
  作者利用魏尔斯特拉斯椭圆函数理论（特别是 $\sigma(u)$ 和 $\wp(u)$ 函数）：

  • 构造了一个包含 $\psi(u) = \frac{d}{du}\log \sigma(u)$ 的特殊行列式 $R$。
  • 利用椭圆函数的双周期性和阿贝尔定理（Abel's Theorem）：椭圆函数的零点之和与极点之和在模周期意义下相等。
  • 通过分析行列式 $R$ 的极点（$u_0 = -v_i$）和零点（$u_0 = u_i$），确定了其第三个零点，从而利用 $\sigma$ 函数的性质重构了该行列式的解析形式。

3. 关键贡献与推导过程 (Key Contributions & Derivations)

A. 一般行列式恒等式 (公式 2)
作者首先推导了一个关于 $\psi(u) = \zeta(u)$（魏尔斯特拉斯 $\zeta$ 函数，即 $\sigma'/\sigma$）的行列式恒等式。
通过考察行列式：
$$R = \det \begin{pmatrix} 0 & 1 & \dots & 1 \\ 1 & \psi(u_0+v_0) & \dots & \psi(u_0+v_n) \\ \vdots & \vdots & \ddots & \vdots \\ 1 & \psi(u_n+v_0) & \dots & \psi(u_n+v_n) \end{pmatrix}$$
利用双周期性和零点分析，证明了该行列式等于（忽略常数因子）：
$$R = - \frac{\sigma(\sum u_\alpha + \sum v_\beta) \prod_{\alpha>\beta}\sigma(u_\alpha-u_\beta) \prod_{\alpha>\beta}\sigma(v_\alpha-v_\beta)}{\prod_{\alpha,\beta}\sigma(u_\alpha+v_\beta)}$$
作者通过数学归纳法验证了常数因子的正确性。

B. 极限过程的应用 (公式 3)
将上述一般恒等式中的 $v_\beta$ 设为 $\beta h$ 并取 $h \to 0$ 的极限。

• 左侧行列式转化为包含 $\psi$ 函数导数的行列式。
• 利用 $\psi'(u) = -\wp(u)$ 的关系，最终得到了一个包含 $\wp$ 函数及其导数的行列式公式：
  $$\det \begin{pmatrix} 1 & \wp(u_0) & \wp'(u_0) & \dots & \wp^{(n-1)}(u_0) \\ 1 & \wp(u_1) & \wp'(u_1) & \dots & \wp^{(n-1)}(u_1) \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ 1 & \wp(u_n) & \wp'(u_n) & \dots & \wp^{(n-1)}(u_n) \end{pmatrix} = (-1)^n \frac{\prod(\alpha-\beta) \sigma(\sum u_\alpha) \prod_{\alpha>\beta}\sigma(u_\alpha-u_\beta)}{(\prod \sigma(u_\alpha))^{n+1}}$$
  贡献：这直接复现并解释了埃尔米特（Hermite）之前给出的著名公式。

C. 基佩特公式的推导 (公式 4)
再次应用极限过程，但在公式 (1) 中选择特定的函数序列：$f_0(u)=1, f_1(u)=\wp(u), \dots, f_n(u)=\wp^{(n-1)}(u)$。

• 通过对第一列进行消元，行列式降阶。
• 得到了基佩特（Kiepert）用于解决倍点问题的公式：
  $$\det \begin{pmatrix} \wp'(u) & \wp''(u) & \dots & \wp^{(n)}(u) \\ \wp''(u) & \wp'''(u) & \dots & \wp^{(n+1)}(u) \\ \vdots & \vdots & \ddots & \vdots \\ \wp^{(n)}(u) & \wp^{(n+1)}(u) & \dots & \wp^{(2n-1)}(u) \end{pmatrix} = (-1)^n (\prod(\alpha-\beta))^2 \frac{\sigma((n+1)u)}{\sigma(u)^{(n+1)^2}}$$

4. 主要结果 (Results)

1. 统一性：证明了埃尔米特公式、基佩特公式以及更一般的椭圆函数行列式恒等式本质上是同一数学结构在不同极限条件下的表现。
2. 显式公式：给出了 $\wp$ 函数及其高阶导数构成的行列式与 $\sigma$ 函数乘积之间的精确解析关系。
3. 极限技巧：确立了一种通过引入微小量 $h$ 并取极限，将多变量反对称行列式转化为单变量导数行列式的通用技术。

5. 意义与影响 (Significance)

• 理论整合：该论文在魏尔斯特拉斯椭圆函数理论体系建立初期，清晰地梳理了不同数学家（Hermite, Kiepert, Weierstrass）成果之间的逻辑联系，消除了公式间的孤立感。
• 工具创新：文中使用的“极限过程”方法（将差分商转化为导数行列式）成为处理椭圆函数及相关特殊函数行列式问题的有力工具。
• 倍点问题：推导出的公式 (4) 直接服务于椭圆函数的倍点（multiplication）理论，为后续研究椭圆曲线上的点运算提供了重要的代数基础。
• 历史地位：作为弗罗贝尼乌斯早期的重要工作之一，展示了他在代数与函数论结合方面的深厚功底，为后来他在群论和表示论方面的成就奠定了分析基础。

总结：这篇短小精悍的论文通过巧妙的极限变换和行列式性质分析，成功地将椭圆函数理论中几个看似独立的著名公式统一在一个严密的框架下，不仅验证了前人的结果，还揭示了 $\wp$ 函数导数行列式与 $\sigma$ 函数乘积之间深刻的代数结构。