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

Dit artikel bevat een Engelse vertaling en digitalisering van Sophie Kowalevski's oorspronkelijke Franse werk uit 1889 over de rotatie van een star lichaam rond een vast punt, beter bekend als het Kovalevskaja-topprobleem.

De kern

Het dansende ijsbeer: Sophie Kowalevski's doorbraak

Stel je voor dat je een zware, onregelmatige steen hebt die aan één punt vastzit, alsof het een deur is die aan één scharnier hangt. Als je die steen een duw geeft, begint hij te draaien, te wiebelen en te tollen. De natuurkunde zegt ons precies hoe hij beweegt, maar er is een probleem: de wiskundige vergelijkingen die deze beweging beschrijven zijn zo complex dat ze voor bijna elke situatie onoplosbaar lijken.

Het is alsof je probeert de exacte beweging van een danser te voorspellen die op een trampoline springt, terwijl de trampoline zelf ook nog eens van vorm verandert.

In de 19e eeuw wisten wiskundigen al twee situaties waarin je deze beweging perfect kon berekenen:

1. De perfecte bol: Als de steen perfect rond is (zoals een biljartbal) en het zwaartepunt precies in het midden zit.
2. De symmetrische tol: Als de steen symmetrisch is (zoals een tol) en het zwaartepunt op de as van rotatie ligt.

In al deze bekende gevallen gedraagt de beweging zich "netjes". De wiskundigen noemen dit dat de oplossing een uniforme functie is. Je kunt je dit voorstellen als een danser die altijd dezelfde stappen maakt, zonder ooit te struikelen of in de war te raken, zelfs niet als je oneindig lang kijkt.

De grote vraag: Is er nog een andere manier waarop een onregelmatige steen kan tollen, waarbij de beweging ook zo "netjes" en voorspelbaar blijft?

Sophie Kowalevski, een wiskundig genie uit Rusland (en de eerste vrouw die een doctoraat in de wiskunde behaalde in Europa), dacht van wel. Ze zocht naar een derde, verborgen dansstijl.

De zoektocht naar de "Derde Dans"

Kowalevski ging op zoek naar een specifieke combinatie van eigenschappen van het lichaam (hoe zwaar het is, hoe de massa verdeeld is) en de positie van het zwaartepunt. Ze dacht: "Als ik de juiste verhoudingen vind, moet de wiskundige vergelijking oplossen met een soort oneindige som (een reeks), net zoals bij de bekende gevallen."

Ze deed dit alsof ze een puzzel oplost waarbij ze de eerste stukjes van de beweging (de "beginwaarden") moest vinden. Ze ontdekte dat er inderdaad een derde geval bestaat, maar het is heel specifiek:

1. Het lichaam moet een bepaalde vorm hebben waarbij twee van de drie "traagheidsmomenten" (een maat voor hoe moeilijk het is om het lichaam te laten draaien) precies twee keer zo groot zijn als de derde.
   • Metafoor: Stel je een ei voor dat in de lengte is gesneden, maar dan zo dat het in twee richtingen even zwaar voelt om te draaien, en in de derde richting precies half zo zwaar.
2. Het zwaartepunt moet zich op een heel specifieke plek bevinden: precies in het vlak van die twee gelijke assen.

De Oplossing: Hyperelliptische Functies

Toen ze deze specifieke voorwaarden had gevonden, kon ze de vergelijkingen oplossen. Maar de oplossing was niet simpel.

In de bekende gevallen gebruikten wiskundigen elliptische functies. Je kunt je dit voorstellen als een complexe, maar bekende dansstijl (zoals een wals).
Kowalevski ontdekte dat haar nieuwe geval een nog complexere dans vereiste, die ze hyperelliptische functies noemde.

• Metafoor: Als elliptische functies een wals zijn, dan zijn hyperelliptische functies een ingewikkeld, choreografisch meesterwerk met meer dansers die tegelijkertijd verschillende patronen lopen. Het is nog steeds een voorspelbare dans (geen chaos), maar het is veel moeilijker te beschrijven.

Ze toonde aan dat als je een lichaam bouwt met deze specifieke verhoudingen, de beweging nooit "kapot" gaat. De steen zal eeuwig doordraaien volgens een vast patroon, zonder dat de wiskunde "ontploft" of onbepaalde waarden gaat geven.

Het Mechanische Bewijs: Een Bouwopdracht

In het laatste deel van haar paper (hoofdstuk 8) gaat Kowalevski nog een stap verder. Ze zegt: "Oké, de wiskunde klopt, maar bestaat zo'n ding in het echt?"

Ze beschrijft hoe je zo'n lichaam kunt bouwen. Je moet een lichaam maken dat:

• In de lengte en breedte even zwaar is om te draaien.
• In de hoogte precies half zo zwaar is om te draaien.
• Het zwaartepunt ligt op de as die door het midden gaat.

Ze concludeert dat dit mechanisch mogelijk is. Je kunt een lichaam maken (bijvoorbeeld een speciaal gevormde bol of een as met gewichten) dat precies voldoet aan deze eisen. Als je zo'n ding laat tollen, volgt het de "derde dans" die ze heeft ontdekt.

Waarom is dit belangrijk?

Vóór Kowalevski dachten veel wiskundigen dat er maar twee manieren waren waarop een zwaar lichaam stabiel en voorspelbaar kon tollen. Ze dachten dat elke andere vorm zou leiden tot chaotische, onvoorspelbare beweging.

Kowalevski bewees dat de wiskundige wereld rijker is dan gedacht. Ze toonde aan dat er een verborgen orde bestaat in de chaos van de rotatie, mits je de juiste "recept" volgt.

Samengevat in één zin:
Sophie Kowalevski ontdekte dat er, naast de bekende gevallen van een perfecte bol en een symmetrische tol, nog een derde, zeer specifieke vorm van een onregelmatig lichaam bestaat die netjes en voorspelbaar blijft tollen, en ze leverde de complexe wiskundige "danspasjes" (hyperelliptische functies) om deze beweging te beschrijven.

Dit werk bracht haar in 1888 de prestigieuze Bordin-prijs van de Académie des Sciences in Parijs, een enorme eer voor een vrouw in die tijd. Het is een monumentaal bewijs van haar inzicht in de diepe verbinding tussen de vorm van een object en de harmonie van zijn beweging.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel van Sophie Kowalevski over de rotatie van een star lichaam om een vast punt, geschreven in het Nederlands.

Samenvatting: Over het probleem van de rotatie van een star lichaam om een vast punt

Auteur: Sophie Kowalevski
Originele publicatie: Acta Mathematica, 12 (1889), pp. 177–232.
Context: Dit werk is de samenvatting van het onderzoek dat de Académie des Sciences van Parijs in 1888 bekroonde met de Bordin-prijs.

1. Het Probleem

Het artikel behandelt de integratie van de differentiaalvergelijkingen die de rotatie van een zwaar, star lichaam om een vast punt beschrijven. De beweging wordt gedefinieerd door een stelsel van zes differentiaalvergelijkingen voor de hoeksnelheidscomponenten ($p, q, r$) en de richtingscosinussen van de zwaartekrachtvector ($\gamma, \gamma', \gamma''$):

$$\begin{aligned} A\frac{dp}{dt} &= (B-C)qr + Mg(y_0\gamma'' - z_0\gamma'), \\ B\frac{dq}{dt} &= (C-A)rp + Mg(z_0\gamma - x_0\gamma''), \\ C\frac{dr}{dt} &= (A-B)pq + Mg(x_0\gamma' - y_0\gamma), \\ \frac{d\gamma}{dt} &= r\gamma' - q\gamma'', \quad \text{enz.} \end{aligned}$$

Hierbij zijn $A, B, C$ de hoofdtraagheidsmomenten en $(x_0, y_0, z_0)$ de coördinaten van het zwaartepunt.

Kowalevski onderzoekt of de algemene oplossing van dit stelsel bestaat uit uniforme functies (functies zonder essentiële singulariteiten, alleen polen) van de tijd. In de twee bekende gevallen (Euler-Poisson en Lagrange) zijn de oplossingen uit te drukken in elliptische functies. Kowalevski stelt de vraag of er een derde geval bestaat waarin de integratie eveneens mogelijk is met behulp van uniforme functies.

2. Methodologie

Kowalevski hanteert een rigoureuze analytische aanpak:

• Reeksontwikkeling: Ze onderzoekt de mogelijkheid om de oplossingen te ontwikkelen in Laurent-reeksen rondom een pool ($t=0$):
  $$p = t^{-1}(p_0 + p_1t + \dots), \quad \gamma = t^{-2}(f_0 + f_1t + \dots)$$
  Door de coëfficiënten te vergelijken, leidt ze af dat de leidende termen ($p_0, q_0, r_0, f_0, g_0, h_0$) aan specifieke algebraïsche vergelijkingen moeten voldoen.
• Analyse van Singulariteiten: Ze toont aan dat voor de reeksen vijf willekeurige constanten te bevatten (nodig voor de algemene oplossing), de determinant van het lineaire stelsel voor de hogere orde coëfficiënten moet verdwijnen voor vijf verschillende gehele waarden van de index $m$.
• Vindt van een Nieuw Geval: Door de voorwaarden voor de integrabiliteit te analyseren, concludeert ze dat deze voorwaarden in het algemene geval niet worden vervuld, maar wel in een specifiek nieuw geval.
• Integratie met Hyperelliptische Functies: Voor dit nieuwe geval reduceert ze het probleem tot het integreren van differentiaalvergelijkingen die leiden tot hyperelliptische functies (specifiek Rosenhain-functies). Ze gebruikt de theorie van Weierstrass over elliptische functies en $\wp$-functies om de oplossing te construeren.
• Theta-functies: Ze drukt de uiteindelijke oplossing uit in termen van hyperelliptische theta-functies van twee variabelen ($v_1, v_2$), die lineaire functies van de tijd zijn.

3. De Nieuwe Integrabele Geval (Het Kowalevski-geval)

Kowalevski identificeert de volgende voorwaarden voor de constanten die leiden tot een nieuwe integrabele oplossing:

1. De twee grootste hoofdtraagheidsmomenten zijn gelijk en tweemaal zo groot als het derde: $A = B = 2C$.
2. Het zwaartepunt ligt in het vlak van de gelijke traagheidsmomenten: $z_0 = 0$.

In dit geval zijn er vier algebraïsche integralen (behoudswetten) die de beweging beperken, waardoor het stelsel volledig integreerbaar wordt.

4. Belangrijkste Resultaten

• Vierde Integraal: Naast de bekende integralen voor energie en impulsmoment, vindt Kowalevski een vierde integraal van beweging die specifiek is voor het geval $A=B=2C$ en $z_0=0$. Deze wordt gevonden door complexe combinaties van de variabelen te beschouwen:
  $$\{(p + qi)^2 + c_0(\gamma + i\gamma')\}\{(p - qi)^2 + c_0(\gamma - i\gamma')\} = k^2$$
• Reductie tot Hyperelliptische Integralen: Ze reduceert het stelsel differentiaalvergelijkingen tot twee differentiaalvergelijkingen voor nieuwe variabelen $s_1$ en $s_2$:
  $$\frac{ds_1}{\sqrt{R_1(s_1)}} + \frac{ds_2}{\sqrt{R_1(s_2)}} = 0, \quad \frac{s_1 ds_1}{\sqrt{R_1(s_1)}} + \frac{s_2 ds_2}{\sqrt{R_1(s_2)}} = dt$$
  waarbij $R_1(s)$ een polynoom van de vijfde graad is. Dit impliceert dat de oplossing wordt gegeven door hyperelliptische functies.
• Expliciete Oplossing: Ze geeft expliciete formules voor de bewegingsvariabelen ($p, q, r, \gamma, \gamma', \gamma''$) als rationale functies van hyperelliptische theta-functies.
• Uniformiteit: Ze bewijst dat de oplossingen uniforme functies van de tijd zijn, wat betekent dat ze geen andere singulariteiten hebben dan polen.
• Mechanische Realisatie: In het laatste hoofdstuk beschrijft ze hoe een fysiek lichaam (een ellipsoïde met een specifieke dichtheidsverdeling) kan worden geconstrueerd dat voldoet aan de voorwaarden $A=B=2C$ en $z_0=0$, waarmee het probleem mechanisch realiseerbaar is.

5. Betekenis en Impact

• Derde Integrabele Geval: Voor meer dan een eeuw waren er slechts twee bekende gevallen van integratie voor de rotatie van een star lichaam (Euler en Lagrange). Kowalevski ontdekte het derde en laatste bekende integrabele geval voor dit klassieke probleem in de mechanica.
• Wiskundige Innovatie: Haar werk markeert een overgang van elliptische naar hyperelliptische functies in de mechanica. Ze toonde aan dat complexe analytische methoden (reeksontwikkeling, singulariteitsanalyse) krachtige hulpmiddelen zijn om integrabiliteit te bewijzen.
• Erfenis: Dit resultaat is een mijlpaal in de geschiedenis van de wiskundige mechanica en de theorie van niet-lineaire differentiaalvergelijkingen. Het "Kowalevski-geval" wordt nog steeds onderwezen en bestudeerd als een fundamenteel voorbeeld van een niet-triviale integrabele systeem.

Kortom, Kowalevski bewees dat onder specifieke symmetrievoorwaarden ($A=B=2C, z_0=0$) de rotatie van een star lichaam exact oplosbaar is, en leverde de expliciete oplossing in termen van hyperelliptische functies, waarmee ze een van de grootste wiskundige doorbraken van de 19e eeuw in de mechanica verzekerde.