Keplers ligning

Keplers ligning er en ligning som gir sammenhengen mellom den eksentriske anomalien E og den midlere anomalien M ved en elliptisk bane:

der  er baneeksentrisiteten.

Ligningen ble utledet av Johannes Kepler i 1619, og har spilt en viktig rolle i både fysikkens og matematikkens historie. Den er også en sentral ved løsningen av tolegemeproblemet.

Alternative former 
Keplers ligning har flere former. Hver form er forbundet med en spesiell type omløpsbane. Den vanligste formen brukes for elliptiske baner (0 ≤  < 1). Den hyperbolske keplerligningen brukes for hyperbolske baner (). Den radielle formen brukes for lineære (radielle baner). Grensetilfellet for parabolske baner () må uttrykkes med hjelp av Barkers ligning.

Hyperbolsk form 
Den hyperbolske formen for Keplers ligning er:

der H er den hyperbolske eksentriske anomalien. Denne ligningen kan utledes ved å multiplisere den elliptiske formen av ligningen med kvadratroten av -1, og erstatte E med .

Radiell form 
Den radielle formen er:

der t er proporsjonal mot tiden og x er proporsjonal mot avstanden fra fokus. Denne ligningen kan utledes ved å multiplisere den elliptiske formen av ligningen med 1/2, og erstatte E med  og sette  = 1.

Inversen av Keplers ligning 
Å beregne M for en gitt verdi av E er enkelt. Å beregne E når M er angitt er betydelig mer komplisert. Keplers ligning er nemlig transcendental, noe som innebærer at den ikke kan løses for E algebraisk. Keplers ligning kan imidlertid løses for E analytisk gjennom en lagrangeinversjon. Løsningen til Keplers ligning er angitt i de to taylorseriene nedenfor.

Forvirring over keplerligningens løsbarhet har gjennomsyret matematikklitteraturen i fire århundrer. Det hevdes ofte feilaktig at Keplers ligning «ikke kan løses analytisk». Mange forfattere hevder at den ikke kan løses i det hele. Den første til å komme med denne påstanden var ingen ringere enn Kepler selv:

Inverse keplerligningen 
Den inverse keplerligningen er løsningen til Keplers ligning for alle reelle verdier av : 

Ved beregning gir dette: 

Disse rekkene kan gjenskapes i Mathematica med InverseSeries-operasjonen.
 InverseSeries[Series[M - Sin[M], {M, 0, 10}]]
 InverseSeries[Series[M - e Sin[M], {M, 0, 10}]]
Funksjonene over er enkle taylorserier. Taylorsererepresentasjoner av transcendentafunksjoner betraktes som definisjon av de funksjonene. Der er løsningen over den formelle definisjonen av den inverse keplerligningen. Selv om denne løsningen er den enkleste i matematisk sammenheng, er konvergensen veldig dårlig når  er nær 1, noe som gjør rekkene lite egnet for tilpasninger: øvrige formuleringer, som for eksempel universalvariabelformuleringen har bedre konvergensegenskaper og fungerer både på elliptiske, parabolske og hyperbolske baner. Alternativt kan Keplers ligning løses numerisk, men også der er konvergensen dårlig når  er nær 1.

Løsningen for   ble oppdaget av Karl Stumpff i 1968, men dens betydning ble ikke anerkjent.

Referanser 

Himmelmekanikk
Artikler i astronomiprosjektet