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

Titolo

Sulla teoria delle funzioni ellittiche (Zur Theorie der elliptischen Functionen)
Autori: Ferdinand Georg Frobenius e Ludwig Stickelberger
Data: 10 marzo 1877
Pubblicazione: Journal für die reine und angewandte Mathematik (Crelle's Journal), Vol. 83, pp. 175–179.

1. Il Problema

Il lavoro nasce dall'osservazione di una formula notevole comunicata da Charles Hermite in una nota precedente (Vol. 82, p. 343). L'obiettivo degli autori è chiarire le connessioni tra diverse formule correlate nella teoria delle funzioni ellittiche. Nello specifico, il paper mira a:

• Derivare la formula specifica di Hermite partendo da un'equazione generale.
• Ottenere la formula ulteriormente specializzata utilizzata da Kiepert come base per la sua soluzione al problema della moltiplicazione delle funzioni ellittiche.
• Unificare queste formule attraverso un processo di limite rigoroso applicato a determinanti di funzioni.

2. Metodologia

La metodologia centrale adottata da Frobenius e Stickelberger si basa su un processo di limite applicato ai determinanti di serie di potenze.

A. Il Lemma Generale sui Determinanti

Gli autori introducono un teorema generale per $n+1$ serie convergenti di potenze positive $f_0(u), \dots, f_n(u)$. Considerano il determinante $F(u_0, \dots, u_n) = |\det(f_\alpha(u_\beta))|$.
Poiché questo determinante è una funzione alternante, può essere espresso come:
$$F = G(u_0, \dots, u_n) \prod_{\alpha > \beta} (u_\alpha - u_\beta)$$
dove $G$ è una funzione simmetrica.
Applicando un processo di limite in cui le variabili $u_\beta$ convergono tutte verso un valore $u$ (ponendo $u_\beta = u + \beta h$ e facendo tendere $h \to 0$), dimostrano che il rapporto tra il determinante e il prodotto delle differenze converge a un determinante di derivate:
$$\lim_{h \to 0} \frac{F}{\prod (u_\alpha - u_\beta)} = \frac{1}{\prod (\alpha - \beta)} \det(f_\alpha^{(\beta)}(u))$$
Questo permette di trasformare determinanti di funzioni in determinanti di loro derivate.

B. Applicazione alle Funzioni Ellittiche

Gli autori applicano questa tecnica a un determinante specifico $R$ che coinvolge la funzione $\psi(u) = \frac{d}{du} \log \sigma(u)$, dove $\sigma(u)$ è la funzione sigma di Weierstrass.

1. Analisi delle Proprietà: Dimostrano che $R$ è una funzione doppiamente periodica rispetto a ciascuna delle sue variabili.
2. Analisi dei Pesi e degli Zeri: Analizzano i poli (dove la funzione diverge) e gli zeri della funzione. Usando il teorema di Abel sulla somma degli zeri e dei poli, determinano le condizioni necessarie affinché il determinante si annulli.
3. Fattorizzazione: Sulla base delle proprietà di periodicità e degli zeri/poli, esprimono il determinante $R$ in termini di prodotti di funzioni $\sigma$.

3. Risultati Chiave

Il lavoro produce tre risultati principali, presentati come equazioni numerate:

Risultato 1: Identità Generale per $\psi(u)$

Derivano una formula chiusa per il determinante che coinvolge $\psi(u) = \sigma'(u)/\sigma(u)$:
$$-\det \begin{pmatrix} 0 & 1 & \dots & 1 \\ 1 & \frac{\sigma'(u_0+v_0)}{\sigma(u_0+v_0)} & \dots & \frac{\sigma'(u_0+v_n)}{\sigma(u_0+v_n)} \\ \vdots & \vdots & \ddots & \vdots \\ 1 & \frac{\sigma'(u_n+v_0)}{\sigma(u_n+v_0)} & \dots & \frac{\sigma'(u_n+v_n)}{\sigma(u_n+v_n)} \end{pmatrix} = \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)}$$
Questa identità è verificata per induzione su $n$.

Risultato 2: Formula di Hermite (Equazione 3)

Applicando il processo di limite ($v_\beta = \beta h \to 0$) al risultato precedente, ottengono una relazione che coinvolge le derivate di $\psi$ e, di conseguenza, la funzione $\wp(u)$ di Weierstrass (dove $-\psi'(u) = \wp(u)$).
Ottenuto il determinante di ordine $n+1$:
$$\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 \left(\prod_{\alpha>\beta}(\alpha-\beta)\right) \frac{\sigma(\sum u_\alpha) \prod_{\alpha>\beta}\sigma(u_\alpha-u_\beta)}{(\prod \sigma(u_\alpha))^{n+1}}$$
Gli autori notano che questa è essenzialmente l'equazione fornita da Hermite.

Risultato 3: Formula di Kiepert (Equazione 4)

Applicando nuovamente il processo di limite alla formula generale (1), scegliendo le funzioni $f_k(u) = \wp^{(k-1)}(u)$, derivano la formula utilizzata da Kiepert per il problema della moltiplicazione. Il risultato è un determinante di ordine $n$ contenente derivate di $\wp$:
$$\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 \left(\prod_{\alpha>\beta}(\alpha-\beta)\right)^2 \frac{\sigma((n+1)u)}{\sigma(u)^{(n+1)^2}}$$

4. Significato e Impatto

• Unificazione Teorica: Il lavoro fornisce un quadro unificato che collega le formule di Hermite e Kiepert, mostrando che non sono entità isolate ma casi limite di una struttura determinale più generale.
• Metodo Potente: L'introduzione e l'applicazione sistematica del processo di limite su determinanti di funzioni analitiche si rivelano uno strumento potente per derivare identità complesse nella teoria delle funzioni speciali.
• Fondamenti della Teoria di Weierstrass: Il paper utilizza e consolida il linguaggio introdotto da Weierstrass (funzioni $\sigma$ e $\wp$), contribuendo alla standardizzazione e alla formalizzazione della teoria delle funzioni ellittiche alla fine del XIX secolo.
• Risoluzione del Problema di Moltiplicazione: La derivazione della formula di Kiepert offre una base rigorosa per la soluzione del problema della moltiplicazione delle funzioni ellittiche, un tema centrale nella teoria algebrica dei numeri e nelle curve ellittiche.

In sintesi, Frobenius e Stickelberger dimostrano come tecniche algebriche avanzate (determinanti) e analisi complessa (processi di limite) possano essere fuse per rivelare profonde strutture nelle funzioni ellittiche, collegando direttamente i lavori dei principali matematici dell'epoca (Hermite, Kiepert, Weierstrass).