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

フェルディナント・ゲオルク・フロベニウス（Ferdinand Georg Frobenius）とルートヴィヒ・シュティッケルベルガー（Ludwig Stickelberger）による 1877 年の論文『楕円関数の理論について（Zur Theorie der elliptischen Functionen）』の技術的概要を以下に記します。

1. 研究の背景と問題設定

この論文は、シャルル・エルミート（Charles Hermite）が直前に発表した楕円関数に関する注記（『Journal für die reine und angewandte Mathematik』第 82 巻）で提示された「 remarkable formula（注目すべき公式）」を出発点としています。
著者たちは、以下の 3 つの段階的な公式間の関係を明らかにすることを目的としています。

1. 一般的な行列式公式（出発点）。
2. エルミートの特殊化された公式。
3. キエパート（Kiepert）が楕円関数の乗法問題（multiplication problem）の解決に用いたさらに特殊化された公式。

これらの公式を統一的に導出するために、著者たちは「極限過程（limiting process）」と呼ばれる手法を一般化して適用しました。

2. 手法（Methodology）

論文の核心は、行列式と対称関数を用いた極限操作にあります。

• 一般化された極限過程の定式化:
  収束するべき級数 $f_0(u), \dots, f_n(u)$ と変数 $u_0, \dots, u_n$ に対して、行列式 $F = \det(f_\alpha(u_\beta))$ を考えます。この行列式は、交代関数（alternating function）として、対称関数 $G$ と差積 $\Pi(u_\alpha - u_\beta)$ の積に分解できます。
  ここで、$u_\beta = u + \beta h$ と置き、$h \to 0$ の極限を取ることで、以下の関係式（式 1）を導きます。
  $$\lim_{h \to 0} \frac{F(u_0, \dots, u_n)}{\Pi(u_\alpha - u_\beta)} = \frac{1}{\Pi(\alpha - \beta)} \det(f_\alpha^{(\beta)}(u))$$
  これは、変数をすべて $u$ に一致させた場合の極限値が、関数の導関数を含む行列式で表されることを示しています。

• 楕円関数への適用:
  この手法を、ワイエルシュトラスの $\sigma$ 関数と $\wp$ 関数（$\wp(u) = -\frac{d^2}{du^2}\log \sigma(u)$）に適用します。
  特に、$\psi(u) = \frac{d}{du}\log \sigma(u)$ を用いた行列式 $R$ を考察し、その周期性と極・零点の性質（アベルの定理など）を利用して、行列式を $\sigma$ 関数の積の形で表現します（式 2）。

• 漸化と極限の反復:
  式（2）において $v_\beta = \beta h$ と置き、再び $h \to 0$ の極限を取ることで、$\psi$ の導関数（すなわち $\wp$ 関数）を含む行列式を得ます。さらに、$f_0=1, f_1=\wp, \dots$ といった特定の関数列に対して同じ極限過程を適用することで、より高次の導関数を含む行列式を導出します。

3. 主要な結果（Key Results）

論文は以下の 3 つの重要な行列式公式を導出・確認しています。

• 式 (2): $\sigma$ 関数と $\psi$ 関数に関する行列式
  $\psi(u) = \sigma'(u)/\sigma(u)$ を用いた行列式が、$\sigma$ 関数の積と差積の比として表現されることを示しました。
  $$-\det\left( \frac{\sigma'(u_\alpha+v_\beta)}{\sigma(u_\alpha+v_\beta)} \right) = \frac{\sigma(\sum u_\alpha + \sum v_\beta) \prod \sigma(u_\alpha - u_\beta) \prod \sigma(v_\alpha - v_\beta)}{\prod \sigma(u_\alpha + v_\beta)}$$
  （右辺の積の範囲は分子で $\alpha > \beta$、分母はすべてのペア）。

• 式 (3): エルミートの公式の導出
  上記の極限過程を適用し、$\wp(u)$ を導入することで、エルミートが提示した公式と本質的に同一の式を得ました。
  $$\det\left( \wp^{(k)}(u_j) \right)_{j,k=0}^{n} = (-1)^n \Pi(\alpha-\beta) \frac{\sigma(\sum u_\alpha) \prod \sigma(u_\alpha - u_\beta)}{(\prod \sigma(u_\alpha))^{n+1}}$$
  （行列の第 1 列はすべて 1、以降が $\wp$ の導関数）。

• 式 (4): キエパートの公式の導出
  さらに特殊化し、$f_0(u)=1, f_1(u)=\wp(u), \dots, f_n(u)=\wp^{(n-1)}(u)$ として極限過程を適用することで、キエパートが乗法問題の解決に用いた公式を導きました。
  $$\det\left( \wp^{(i+j+1)}(u) \right)_{i,j=0}^{n-1} = (-1)^n (\Pi(\alpha-\beta))^2 \frac{\sigma((n+1)u)}{\sigma(u)^{(n+1)(n+1)}}$$
  これは、$\wp$ 関数の導関数からなる行列式が、$\sigma$ 関数の特定の値で表されることを示しています。

4. 意義と貢献（Significance）

• 公式の体系的統合:
  当時、エルミートやキエパートによって個別に発見・利用されていた複雑な楕円関数の行列式公式が、実は単一の「極限過程」という統一的な原理から導かれることを示しました。これにより、これらの公式間の論理的つながりが明確になりました。
• 行列式と特殊関数の関係の深化:
  行列式の極限操作が、$\sigma$ 関数や $\wp$ 関数といった楕円関数の基本的な性質（周期性、零点、極）とどのように結びつくかを厳密に証明しました。
• 乗法問題への応用:
  導出された式 (4) は、楕円関数の整数乗法（multiplication problem）を解くための基礎として機能し、後の楕円関数論の発展に寄与しました。
• 数学的厳密性:
  ブリオ（Briot）とブーケ（Bouquet）の理論やアベルの定理を適切に引用・利用しながら、行列式の値が定数倍を除いて一意に定まることを帰納法などで厳密に検証しています。

結論

この論文は、19 世紀後半の楕円関数論において、個別の公式を統一的な枠組みで再解釈し、一般化された行列式手法によって重要な結果を導出した重要な業績です。フロベニウスとシュティッケルベルガーは、エルミートとキエパートの成果を「極限過程」という強力な手法で結びつけ、楕円関数の代数構造と解析的性質の関係をより深く解明しました。