Legendre-polynom

Legendre-polynom er polynom av en variabel som er av stor viktighet i matematikk og fysikk. De ble oppdaget av Adrien-Marie Legendre i 1782 i forbindelse beregning av gravitasjonskrefter mellom planeter. Kort deretter viste Pierre-Simon Laplace at de kunne generaliseres til sfærisk harmoniske funksjoner som etter etableringen av kvantemekanikken har fått stor betydning i atomfysikken.

De kan defineres på mange forskjellige måter. Hvilken definisjon man benytter, er avhengig av hvilken bruk man gjør av dem eller i hvilken sammenheng de opptrer.

Egenskaper

I mange sammenhenger opptrer Legendre-polynomene som løsninger av Laplace-ligningen  som blant annet gravitasjonspotensialet utenfor en masse må oppfylle. Ved bruk av kulekoordinater vil potensialet i allminnelighet avhenge av to vinkler θ og φ. I det spesielle tilfellet at løsningen skal være uavhengig av den asimutale vinkelen φ,  vil den resterende vinkelavhengigheten være beskrevet ved en løsning av Legendres differensialligning

 

hvor den variable x = cosθ  tar verdier mellom -1 og +1. Ligningen kan løses ved en rekkeutvikling i potenser av x. Denne vil inneholde et endelig antall ledd når parameteren n er et helt tall . Disse spesielle løsningene er Legendre-polynom og betegnes som Pn(x ).

Ortogonalitet
Legendre-polynomene danner et ortogonalt sett av funksjoner. De er normert slik at deres indreprodukt har verdien

 

hvor δmn  er Kronecker-deltaet som tar verdien 1 eller 0 avhengig av om m = n eller ikke.

Dette settet av polynomer er «fullstendig» på den måten at en vilkårlig funksjon f(x) kan skrives som en uendelig og konvergent rekke

hvor koeffisientene er

 

Dette har mange praktiske anvendelser og danner grunnlaget for multipolutviklingen av et aksialsymmetrisk potensial eller funksjon.

Rodrigues' formel

Noen år etter at Legendre hadde funnet disse polynomene og etablert mange av deres egenskaper, ble det vist at de kan alle utregnes fra det kompakte uttrykket

 

som kalles Rodrigues' formel. Herav kan man også vise at Legendre-polynomene oppfyller rekursjonsformelen

 

Ved å definere P0(x) = 1 og P1(x) = x, kan man generere alle polynomene. De neste blir da

Genererende funksjon

Historisk oppsto Legendre-polynomene i forbindelse med utregningen av gravitasjonspotensialet utenfor en aksialsymmetrisk massefordeling. Det enkleste eksempel på en slik fordeling er når et massepunkt er plassert slik at det ligger utenom origo til koordinatsystemet. Potensialet Φ i et punkt P vil da avta omvendt proporsjonalt med avstanden R  til massepunktet der

 

når man gjør bruk av cosinussetningen. Her er a avstanden til massepunktet fra origo der θ er vinkelen mellom retningene til dette og feltpunktet P.  Ved å innføre x = cosθ og t = a/r, kan man nå benytte binomialformelen til å utvikle kvadratroten i potenser av t for avstander r > a der t < 1. Koeffisientene i denne uendelige rekken blir da Legendre-polynom

 

slik at uttykket på venstre side kalles den genererende funksjonen for disse polynomene.

Potensialet skapt av den asymmetriske massefordelingen blir dermed

for avstander  r > a. Dette er det aller enkleste eksempelet på en multipolutvikling der koeffisientene (a /r )n er størrelsen til den n-te multipol.

Assosierte Legendre-polynom
De er løsninger av Legendres generaliserte differensialligning

 

hvor indeksene  ℓ and m er heltall. Den første kalles for polynomets «grad» og er alltid positiv eller null, mens den andre er dens «orden» og må ligge i intervallet  for å ha regulære løsninger. Denne indeksen tar derfor 2ℓ + 1 forskjellige verdier. 

Differensialligningen oppstår naturlig når Laplace-ligningen eller Schrödinger-ligningen løses i kulekoordinater. Bare når m er et like tall, vil løsningene være polynom. Derfor benyttes ofte det mer korrekte navnet «assosierte Legendre-funksjoner».

Den generaliserte differensialligningen til Legendre oppstår ved å derivere den opprinnelig m ganger. På den måten blir det klart at de assosierte polynomene kan utledes ved derivasjon av de vanlige Legendre-polynomene. En meget benyttet definisjon er

 ,

Faktoren foran kalles «Condon-Shortley-konvensjonen» og er spesielt benyttet i kvantemekanikken for å forenkle formlene der. Ved bruk av Rodrigues' formel, har man dermed 

 

som gjør det mulig å beregne disse nye funksjonene direkte.  Denne sammenhengen betyr at de kan finnes også for m < 0 siden

Når 0 ≤ m ≤ ℓ oppfyller de ortogonalitet på formen

Eksempel
Disse funksjonene er mest hensiktsmessig fremstilt ved å benytte den variable x = cosθ.  For grad ℓ < 4 tar de formen

Kuleflatefunksjoner

Sfærisk harmoniske funksjoner som ofte omtales som kuleflatefunksjoner, er i stor grad bygget opp av assosierte Legendre-polynom. Den vanligste definisjonen som blir brukt i kvantemekanikken, er

Disse funksjonene er komplekse. Med de konvensjonene som er benyttet her, er 

Som funksjoner av kuleflatekoordinatene (θ,φ) gir de direkte den romlige fordeling av elektronene i et atom som beskrevet av Schrödinger-ligningen. Det fører til å innordne elektronene i forskjellige elektronskall som i stor grad bestemmer deres kjemiske egenskaper.

Referanser

Polynomer
 Funksjoner
 Matematiske rekker