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

Samenvatting: Over de theorie van elliptische functies

Auteurs: Ferdinand Georg Frobenius en Ludwig Stickelberger
Publicatie: Journal für die reine und angewandte Mathematik (Crelle's Journal), Band 83, 1877.
Context: Het artikel is een reactie op een formule die door Charles Hermite was gepresenteerd en bouwt voort op eerder werk van Kiepert en de theorie van Weierstrass.

1. Het Probleem en de Aanleiding

Het artikel heeft als doel de onderlinge samenhangen tussen diverse formules in de theorie van elliptische functies te verduidelijken. De auteurs vertrekken van een opmerkelijke formule die door Hermite was gedeeld en streven er naar om:

1. Van een algemene determinant-uitdrukking af te leiden naar de gespecialiseerde formule van Hermite.
2. Vervolgens verder te specialiseren naar de formule die Kiepert gebruikte als basis voor zijn oplossing van het vermenigvuldigingsprobleem (multiplication problem) van elliptische functies.

De kern van het probleem ligt in het vinden van een systematische methode om determinanten van functiereeksen te evalueren wanneer de variabelen naar elkaar convergeren (een limietproces).

2. Methodologie

De auteurs hanteren een krachtige analytische methode die bestaat uit twee hoofdcomponenten:

• Het Limietproces voor Determinanten:
  Ze introduceren een algemene stelling voor determinanten van de vorm $|f_\alpha(u_\beta)|$, waarbij $f_\alpha$ convergente reeksen zijn. Door de variabelen $u_\beta$ te definiëren als $u + \beta h$ en de limiet $h \to 0$ te nemen, kunnen ze de determinant uitdrukken in termen van afgeleiden van de functies.
  De centrale identiteit die ze afleiden is:
  $$\lim_{h \to 0} \frac{\det(f_\alpha(u + \beta h))}{\prod_{\alpha > \beta} ((u+\alpha h) - (u+\beta h))} = \frac{1}{\prod_{\alpha > \beta} (\alpha - \beta)} \det(f_\alpha^{(\beta)}(u))$$
  Hierbij vertaalt de deling door het verschilproduct ($\Pi(u_\alpha - u_\beta)$) de determinant naar een vorm die afgeleiden bevat.

• Analyse van Elliptische Determinanten:
  Ze passen deze methode toe op een specifieke determinant $R$ die is opgebouwd uit de functie $\psi(u) = \frac{d}{du} \log \sigma(u)$ (waarbij $\sigma(u)$ de Weierstrass-sigmafunctie is).

  • Ze tonen aan dat $R$ een dubbel periodieke functie is met betrekking tot elke variabele.
  • Ze analyseren de nulpunten en polen van deze functie. Gezien de eigenschappen van elliptische functies (het aantal nulpunten is gelijk aan het aantal polen, en de som van de nulpunten is congruent aan de som van de polen volgens de stelling van Abel), kunnen ze de exacte vorm van de determinant bepalen in termen van $\sigma$-functies.

3. Belangrijkste Resultaten en Formules

Het artikel leidt drie fundamentele formules af:

Formule (2): De algemene determinant-identiteit
De auteurs vinden een gesloten uitdrukking voor de determinant met elementen $\psi(u_\alpha + v_\beta)$:
$$-\det\left(\frac{\sigma'(u_\alpha+v_\beta)}{\sigma(u_\alpha+v_\beta)}\right) = \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)}$$
Deze formule is geldig tot op een constante factor, die ze bewijzen door inductie en het nemen van specifieke limieten (bijv. $u_n = -v_n$).

Formule (3): De Hermite-identiteit
Door in Formule (2) de limiet $v_\beta = \beta h \to 0$ te nemen en gebruik te maken van de relatie $-\psi'(u) = \wp(u)$ (de Weierstrass-pi-functie), leiden ze de volgende determinant af:
$$\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}}$$
Dit is de formule die eerder door Hermite was gepresenteerd.

Formule (4): De Kiepert-identiteit (Vermenigvuldigingsformule)
Door een tweede limietproces toe te passen op Formule (3), waarbij ze $f_0=1, f_1=\wp, \dots, f_n=\wp^{(n-1)}$ kiezen en de variabelen allemaal gelijk stellen aan $u$, reduceren ze de determinant tot een $n \times n$ determinant. Dit leidt tot de formule van Kiepert:
$$\det\left( \wp^{(i+j)}(u) \right)_{i,j=1}^n = (-1)^n \left(\prod_{\alpha>\beta}(\alpha-\beta)\right)^2 \frac{\sigma((n+1)u)}{\sigma(u)^{(n+1)^2}}$$
Deze formule is cruciaal voor de oplossing van het probleem van het vermenigvuldigen van elliptische functies.

4. Bijdrage en Significantie

• Unificatie van theorieën: Het artikel slaagt erin om de formules van Hermite en Kiepert te verenigen binnen één raamwerk van limietprocessen op determinanten. Het toont aan dat deze specifieke formules geen geïsoleerde fenomenen zijn, maar natuurlijke gevolgen zijn van de algemene structuur van elliptische functies.
• Methodologische innovatie: De gebruikte techniek om determinanten van functiereeksen over te brengen naar determinanten van afgeleiden via een limietproces ($h \to 0$) is een elegante en krachtige wiskundige methode die later vaak is toegepast in de analyse van speciale functies.
• Basis voor verdere ontwikkeling: De afgeleide formules, met name Formule (4), vormen een fundamenteel hulpmiddel in de theorie van elliptische functies en hebben implicaties voor de studie van de vermenigvuldiging van punten op elliptische krommen.
• Historische context: Het artikel illustreert de intense wiskundige activiteit in Zürich rond 1877, waar Frobenius en Stickelberger (beide studenten of collega's van Weierstrass) de theorie van de Weierstrass-elliptische functies ($\wp, \sigma, \zeta$) verder uitdiepten en formaliseerden.

Conclusie

Frobenius en Stickelberger leveren in dit korte maar krachtige artikel een rigoureuze afleiding van belangrijke determinant-identiteiten voor elliptische functies. Door een systematisch limietproces toe te passen, verbinden ze de algemene theorie met specifieke, krachtige formules die essentieel zijn voor de vermenigvuldigingstheorie, en bevestigen ze zo de diepe samenhang tussen de werken van Hermite, Kiepert en Weierstrass.