Helmholtz-ligningen

Helmholtz-ligningen er en partiell differensialligning som har en sentral rolle i matematikk og fysikk. I det mest generelle tilfellet kan ligningen for funksjonen U(x)  skrives som

Grafisk fremstilling av en løsning til den inhomogene Helmholtz-ligningen i planet med to punktkilder.

der ∇ 2 er Laplace-operatoren og f(x)  er en gitt funksjon. Når denne er en konstant, forenkles Helmholtz-ligningen til

som er den mest vanlige formen. I det spesielle tilfellet at k = 0, reduseres den til Laplace-ligningen. Løsningene vil i stor grad være bestemt av grensebetingelsene.

Mest direkte kommer Helmholtz-ligningen frem fra den vanlige bølgeligningen for en bølge med en gitt frekvens. Men den kan også oppstå fra for eksempel diffusjonsligningen eller varmeledningsligningen under spesielle forhold. I tillegg kan egenskapene til en kvantemekanisk partikkel med konstant energi og beskrevet ved Schrödinger-ligningen, finnes fra løsninger av Helmholtz-ligningen.[1]

Ligningen har fått sitt navn etter Hermann von Helmholtz som rundt 1860 gjorde detaljerte studier av den i forbindelse med studier av lydbølger.[2] Hans undersøkelser førte i sin tur til Kirchhoffs diffraksjonsteori som ga en matematisk utledning av Huygens-Fresnels prinsipp i optikken.[3]

Bakgrunn rediger

Det elektriske feltet til en elektromagnetisk bølge i et medium med brytningsindeks n, oppfyller den partielle differensialligningen[4]

 

der c er lyshastigheten. Når den har en bestemt vinkelfrekvens ω, beskriver den en harmonisk bølge. Hver komponent av feltet varierer da med tiden som

 

når man skriver det som en kompleks fasevektor. Den double deriverte med hensyn på tiden vil nå gi - ω2. Dermed vil den romlige variasjonen av hver komponent være gitt ved den generelle Helmholtz-ligningen

 

når man antar at brytningsindeksen har en romlig variasjon n = n(x). Befinner bølgen seg i luft, kan man med god nøyaktighet sette n = 1. Da tar ligningen formen til den spesielle Helmholtz-ligningen der ω/c = k = 2π /λ  er bølgetallet når λ er bølgelengden. Løsningen av ligningen beskriver da en plan bølge i et kartesisk koordinatsystem.

Stasjonær Schrödinger-ligning rediger

En kvantemekanisk partikkel med masse m som beveger seg i et statisk potensial er beskrevet ved den tidsavhengige Schrödinger-ligningen

 

hvor den komplekse bølgefunksjonen Ψ(x,t) beskriver dens tilstand. Tilsvarer denne en sitasjon der energien E  til partikkelen er konstant, vil tidsvariasjonen av bølgefunksjonen igjen være harmonisk,

 

Den romlige delen ψ(x) av den fulle bølgefunksjonen tilfredsstiller derfor den generelle Helmholtz-ligningen

 

Avhengig av grensebetingelsene, vil ligningen bare ha løsninger for bestemte verdier av energien E tilsvarende visse egentilstander. Bevegelsen til partikkelen sies da å være kvantisert. I det spesielle tilfellet at potensialet V = 0, vil løsningen beskrive en plan bølge

 

der C er en kompleks amplitude og p er impulsen til partikkelen gitt ved E = p2/2m. At energien er positiv, følger fra antagelsen at bølgefunksjon ikke skal divergere uendelig langt borte som ville vært meningsløst for en fri partikkel.[5]

Separasjon av variable rediger

I mange situasjoner kan Helmholtz-ligningen løses ved «separasjon av variable».[6] Med bruk av kartesiske koordinater (x, y, z)  i tre dimensjoner, tar den i det enkleste tilfellet formen

 

hvor k er konstant. Man kan nå anta løsninger som er produkt av funksjoner av hver sin variabel, det vil si U(x) = X(x)Y(y)Z(z). Ligningen kan da omskrives til

 

Da koordinatene varierer uavhengig av hverandre, må hvert av de tre første leddene være konstant. Derfor er

 

og tilsvarende for de to andre funksjonene med kx2 + ky2 + kz2 = k2. Den generelle løsningen består dermed av en kombinasjon av alle mulige produkt

 

som oppfyller dette kravet for komponentene til vektoren k = (kx, ky, kz). Dette tilsvarer en sum av plane bølger i forskjellige retninger, men med samme bølgelengde λ = 2π /k.

Sfæriske koordinater rediger

Like viktig er den samme ligningen i kulekoordinater (r, θ, φ). Med Laplace-operatoren i dette koordinatsystemet, tar den formen

 

Ved separasjon av variable antar man en løsning på formen U = R(r)Y(θ,φ). Den videre fremgangsmåten vil nå bli den samme for Laplace-ligningen. Den angulære funksjonen Y må oppfylle differensialligningen

 

som viser at den er gitt ved sfærisk harmoniske funksjoner. De betegnes med Ym(θ,φ)  hvor ℓ er et positivt heltall eller null, mens heltallet m ligger i intervallet - ℓ ≤ m ≤ ℓ. Det tar derfor 2ℓ + 1 forskjellige verdier.

Den tilsvarende, radielle ligningen er samtidig gitt ved den ordinære differensialligningen

 

med løsninger gitt som sfæriske Bessel-funksjoner som har halvtallige indekser.[6] Hvis man forlanger at skal være regulære i r = 0, betegnes de med j(kr). Den fulle løsningen av Helmholtz-ligningen i dette koordinatsystemet tar da den generelle formen

 

hvor koeffisientene Cm  må bestemmes ut fra grensebetingelsene.[1]

Løsninger av Schrödinger-ligningen for et sfærisk symmetrisk potensial V(r)  vil kunne finnes på samme måte med separasjon av variable. Den vinkelavhengige delen av bølgefunksjonen vil være den samme som her, mens differensialligningen for den radielle delen R(r)  vil involvere potensialet. For det spesielle tilfellet at dette er gitt ved Coulomb-potensialet, er de bundne løsningene av denne ligningen gitt ved Laguerre-polynom for diskrete verdier av energien E. De tilsvarer de kvantiserte energinivåene i hydrogenatomet.[5]

Kulebølger rediger

 
Utsnitt av en tidsvariabel løsning av bølgeligningen som tilsvarer en sfærisk bølge.

Bølger som oppstår fra en punktkilde i r = 0, vil være symmetriske om dette punktet og derfor være uavhengige av vinklene θ og φ. De vil derfor tilfredsstille differensialligningen for funksjonen R(r ), men da kun for ℓ = 0. Men man kan ikke lenger forlange at de radielle løsningene er regulære i kildepunktet r = 0. Derimot må de finnes direkte fra den radielle differensialligningen som for ℓ = 0 reduseres til

 

Dette er den enkleste Helmholtz-ligning som er den samme som svingeligningen for en harmonisk oscillator. Skrives løsningene som komplekse fasevektorer, vil de da ha den generelle formen

 

hvor A er en ukjent konstant i amplituden. Med en tidsavhengighet som e- iωt i den tilsvarende bølgeligningen, betyr det at de fulle løsningene av denne er på formen

 

De representerer inn- og utgående kulebølger. Amplituden avtar som 1/r  fordi den utstrålte energien som er proporsjonal med amplitudene kvadrat, skal være konstant gjennom hvert kuleskall med areal 4π r 2 som omslutter kilden.[4]

Sylinderbølger rediger

Sylinderbølger oppstår på samme måte fra en linjeformet kilde som har aksial symmetri. Da er det mer hensiktsmessig å buke tredimensjonale polarkoordinater (ρ, θ, z). Symmetrien forlanger nå at det ikke kan være noen θ-avhengighet i løsningen. I tillegg kan man for det enkleste tilfellet også anta at der er ingen avhengighet av koordinaten z langs symmetriaksen slik at Helmholtz-ligningen forenkles til

 

Hvis man i den ekvivalente ligningen

 

skriver k = 2π /λ, ser man at for avstander ρ >> λ  vil leddet 1/4ρ2 kunne ignoreres. Funksjonen ρU tilfredsstiller derfor den samme svingeligningen som den tilsvarende, sfæriske funksjonen. Den radielle delen av en slik sylinderbølge er dermed

 

for avstander mye større enn bølgelengden. Vanligvis er disse bølgene av mest interesse i dette området . Deres amplitude avtar der omvendt proporsjonalt med kvadratroten av radius ρ. Dette er da igjen i overensstemmelse med energibevarelse da en omsluttende sylinder vil ha et areal som er proporsjonalt med 2π ρ.

Inhomogen Helmholtz-ligning rediger

Den spesielle Helmholtz-ligningen som inneholder et inhomogent ledd, er av stor betydning i mange forskjellige sammenhenger. Generelt kan den skrives som

 

hvor Q(r) er en gitt funksjon. Den omtales ofte som «kilden» til feltet U(r). Når k = 0, er ligningen identisk med Poissons ligning.

Generelle løsninger av den inhomogene Helmholtz-ligningen kan finnes ved bruk av Greens funksjon. Den er definert som løsningen av ligningen for en punktformig kilde. Når denne beskrives ved Diracs deltafunksjon, kan Green-funksjonen finnes som en løsning av differensialligningen

 

hvor r'  er «kildepunktet». Siden de akseptable løsningene også er bestemt av grensebetingelsene for problemet, vil funksjonen generelt kunne avhenge av begge koordinatvektorene r og r' og ikke bare av deres differens. Den skrives derfor her som G(r, r') og er symmetrisk i de to argumentene[7]

Ved å bruke de to funksjonene U(r) og G(r, r') i Greens identitet med integrasjon over et volum V innesluttet av flaten ∂V, finner man sammenhengen

 

der enhetsvektoren n står normalt på flaten ∂V og er rettet utover. Siden begge funksjonene som inngår her, tilfredsstiller hver sin differerensialligning, vil denne identiteten nå forenkles og gir det viktige resultatet

 

Det har mange viktige anvendelser.[7] Hvis systemet er åpent og uten en begrensende overflate, er det siste leddet på høyre side lik med null, og man har det mest vanlige formen

 

for løsningen av ligningen for funksjonen U(r) direkte uttrykt ved kilden Q(r) via Green-funksjonen. Derimot når kildefunksjonen er null og systemet befinner seg innen et endelig volum V, danner det siste leddet en integralligning for den ukjente funksjonen U(r) hvor den har en verdi i hvert punkt i volumet som avhenger av dens verdier på overflaten ∂V av dette. Denne danner grunnlaget for Kirchhoffs diffraksjonsteori som gir den matematiske forklaringen av Huygens-Fresnels prinsipp for bølgebevegelse.

Eksempel rediger

Bølger har sin opprinnelse i en eller annen kilde. For elektromagnetiske bølger vil den være en tidsvariabel, elektrisk ladning eller strøm. Den vil opptre som en inhomogen term på høyre side i den tilsvarende bølgeligningen. Velger man å bruke Lorenz-gaugen for de elektromagnetiske potensialene, vil det elektriske potensialet i vakuum da tilfredsstille den inhomogene bølgeligningen

 

der ε0  er den elektriske permittiviteten som inngår i Coulombs lov og ρ(x,t)  er den elektrisk ladningstettheten. Når denne er konstant i tiden, går ligningen over i Poisson-ligningen som kan betraktes som den inhomogene Laplace-ligningen for et statisk potensial.

Når dette varierer med tiden, kan ligningen enklest løses ved å innføre det Fourier-transformerte potensialet

 

og tilsvarende for ladningstettheten ρ(x,t). Den inhomogene bølgeigningen går det over til

 

som er den inhomogene Helmholtz-ligningen.

Denne kan løses ved å beregne ligningens Green-funksjon i et åpent rom uten grenseflater.[4] Den tar da den enkle formen

 

og representerer inn- og utgående kulebølger fra punktkilden i x = x' . Dermed blir

 

En invers Fourier-transformasjon gir så løsningen av den inhomogene bølgeligningen som

 

der t'  = t   |x - x'|/c  er den retarderte eller avanserte tiden i kilden. Den tilsvarer at en forandring av ladningstettheten behøver en viss tid å nå frem til punktet i den resulterende bølgen avhengig av avstanden mellom kildepunkt og bølgepunkt.

Når den gitte ladningstettheten ikke varierer med tiden, er dette resultatet ikke noe annet enn det uttrykket for Coulomb-potensialet for en generell ladningsfordeling.

Referanser rediger

  1. ^ a b A. Sommerfeld, Vorlesungen über Theoretische Physik: Partielle Differentialgleichungen der Physik, Akademische Verlagsgesellschaft, Leipzig (1962).
  2. ^ H. Helmholtz, Theorie der Luftschwingungen in Röhren mit offenen Enden. J. Reine Angew. Math., 57, 1–72 (1860).
  3. ^ M. Kline, Mathematical Thought from Ancient to Modern Times, Volume 2, Oxford University Press, Oxford (1972). ISBN 978-0-19-506136-9.
  4. ^ a b c J.D. Jackson, Classical Electrodynamics, John Wiley & Sons, New York (1962).
  5. ^ a b R. Shankar, Principles of Quantum Mechanics, Plenum Press, New York (1982). ISBN 0-306-40397-8.
  6. ^ a b M.L. Boas, Mathematical Methods in the Physical Sciences, John Wiley & Sons, New York (1983). ISBN 0-471-04409-1.
  7. ^ a b P.A. Morse and H. Feshbach, Methods of Theoretical Physics, McGraw-Hill, New York, (1953).

Litteratur rediger

  • J. Mathews and R.L. Walker, Mathematical Methods of Physics, W.A. Benjamin, New York (1970). ISBN 0-8053-7002-1.