Helmholtz nedbrytningssats är ett påstående om nedbrytningen av ett godtyckligt differentierbart vektorfält i två komponenter:
Om divergensen och kurvan för ett vektorfält definieras vid varje punkt i ett ändligt öppet område V i rymden, så kan funktionen överallt i V representeras som summan av ett irrotationsfält och ett solenoidfält : var för alla punkter i regionen V. |
I en mer populär formulering för hela rymden säger Helmholtz sats:
Vilket vektorfält som helst , envärdigt, kontinuerligt och avgränsat i hela rymden, kan delas upp i en summa av potentiella och solenoidala vektorfält och representeras som: var |
En skalär funktion kallas en skalär potential, en vektorfunktion kallas en vektorpotential. [1] .
Låt F vara ett vektorfält i R ³ och låt det vara två gånger kontinuerligt differentierbart och minska i oändlighet snabbare än 1/ r i fallet med en ogränsad domän. [2] Då kan fältet F representeras som summan av ett irrotationsfält (vars rotor är noll) och ett solenoidfält (vars divergens är noll).
En av de möjliga representationerna för vektorfältet F i denna form är summan av gradienten och krullen av två explicit beräkningsbara funktioner, som skrivs nedan:
var är den newtonska operatorn (om den verkar på ett vektorfält som ∇ × F , verkar den på varje komponent i det).
Om F har noll divergens , ∇ F = 0, så sägs F vara solenoidal , eller divergensfri, och Helmholtz-expansionen av fältet F minskar till
I fallet med en sådan representation av fältet kallas A vektorpotentialen för fältet F . För ett solenoidfält (det vill säga ett fält med noll divergens) är det alltid möjligt att konstruera en vektorfunktion (vektorpotential) vars fält är rotorn. Vektorpotentialen för ett givet solenoidfält bestäms med en betydande grad av frihet. I synnerhet, utan förlust av generalitet, kan Coulomb gauge (eller normalisering) tillståndet ∇· A = 0 påtvingas den (ett specialfall av en divergensfri vektorpotential; se även problemet med att återställa en vektorfunktion från en curl och divergens nedan). Du kan fritt lägga till gradienten för vilken skalär funktion som helst till vektorpotentialen - detta ändrar inte dess krullning, det vill säga det solenoidala fältet som definieras av den (och om den indikerade skalära funktionen uppfyller Laplace-ekvationen, då villkoret för Coulomb-kalibreringen ändras inte heller när vektorpotentialen uppfyller den).
Om F har en nollrotor, ∇× F = 0, kallas F ett irrotations- eller lokalt potentiellt fält , och expansionen av F tar formen
I fallet med en sådan representation av fältet kallas φ den skalära potentialen för fältet F . För ett irrotationsfält (det vill säga ett fält med en nollrotor) är det alltid möjligt att konstruera en skalär funktion (skalär potential), vars gradient är detta fält. Den skalära potentialen för ett givet irrotationsfält bestäms upp till en additiv konstant.
I det allmänna fallet kan F representeras av summan
,där skalärpotentialens negativa gradient är fältets irrotationskomponent och vektorpotentialens rotor är solenoidkomponenten. Representationen av F som summan av ett irrotationsfält och ett solenoidfält är inte unik, eftersom man till φ alltid kan addera en godtycklig funktion ψ som uppfyller Laplace-ekvationen, och till A , en vektorfunktion H förenlig med ψ , som är resultatet av att lösa problemet med att återvinna en vektorfunktion från rotor och divergens (se nedan) enligt ekvationerna ∇· H = 0, ∇× H = ∇ψ. En sådan substitution förändrar inte bara skalär- och vektorpotentialerna som är involverade i Helmholtz-expansionen, utan förändrar också signifikant det irrotationsfältet -∇(φ+ψ) och det solenoidala fältet ∇× (A+H) , till summan av vilka fältet F sönderdelas .
Nära besläktad med Helmholtz sats är problemet med att rekonstruera ett vektorfält från en divergens och en krullning, som ibland kallas Helmholtz-problemet .
Låt det ges ett skalärt fält och ett vektorfält , som är tillräckligt jämna och antingen ges i ett avgränsat område eller minskar snabbare än 1/ r ² i oändligheten. Det krävs att man hittar ett vektorfält så att
ochNär man analyserar existensen och unikheten hos en lösning på ett problem bör man skilja mellan:
Det interna problemet (förutsatt att det är lösbart) har en unik lösning om den normala projektionen för vektorfunktionen ges längs regionens gräns .
Det externa problemet (under förutsättning av dess lösbarhet) har en unik lösning om den normala projektionen för vektorfunktionen ges längs gränsen för regionen , och kravet ställs på vektorfunktionen att den minskar i oändligheten minst som .
Problemet för hela rymden R ³ (under förutsättning av dess lösbarhet) har en unik lösning om kravet ställs på vektorfunktionen att den minskar i oändligheten minst som .
I alla dessa fall är lösningen på Helmholtz-problemet unik om den finns för givna indata.
Problemet har en lösning som inte passar alla , och :
A. Intern uppgift : om
B. Extern uppgift : if
B. Problem för hela utrymmet R ³ : if
Lösbarheten och unikheten hos lösningen av Helmholtz-problemet är nära relaterad till lösbarheten och unikheten hos lösningen av Neumann-problemet för Laplace-ekvationen i samma domän (se nedan algoritmen för att konstruera en lösning på Helmholtz-problemet).
Genom att använda problemet med att återställa en vektorfunktion från en krullning och divergens, kan expansionen av ett vektorfält till summan av ett irrotationsfält och ett solenoidfält utföras enligt följande:
Den konstruerade representationen av ett vektorfält som summan av två fält är inte unik. Det finns vektorfält som är både irroterande (rotorn är noll) och solenoidal (divergensen är noll). Dessa fält är gradienter av skalära funktioner som uppfyller Laplace-ekvationen (och bara de). Lägger vi ett sådant fält till den första termen och subtraherar den från den andra termen, erhåller vi en ny uppdelning av vektorfältet i summan av ett irrotations- och solenoidfält.
Lösningen på problemet med att återställa en funktion från ett krullnings-, divergens- och gränsvillkor kan konstrueras enligt följande:
1) För en given funktion beräknas funktionen , där skalärpotentialen beräknas med formeln . Resultatet är en funktion för vilken och ; 2) För en given funktion beräknas funktionen , där vektorpotentialen beräknas med formeln . Resultatet är en funktion för vilken och ; 3) Vi letar efter en funktion för vilken , , och den normala projektionen på gränsen av regionen är vald på ett sådant sätt att den uppfyller gränsvillkoret . För att hitta en sådan funktion görs en substitution , där skalärpotentialen måste uppfylla Laplace-ekvationen . För funktionen erhålls Neumann-gränsvillkoret och det är lätt att kontrollera att kriteriet för Neumann-problemets lösbarhet kommer att vara uppfyllt. Därför finns funktionen alltid, är unikt definierad för den externa uppgiften, och upp till en additiv konstant för den interna uppgiften. Som ett resultat finns den funktion vi behöver alltid och är unik.Funktionen är en lösning för uppgiften, och den enda. Om gränsvillkoret inte är specificerat är lösningen på problemet alla möjliga funktioner i formen , där , är gradienten för en funktion som uppfyller Laplace-ekvationen. Om problemet finns i hela rymden R ³ blir den (unika) lösningen en funktion som har det önskade beteendet i oändligheten.
Som ett resultat kan Helmholtz-satsen omformuleras i följande termer. Låt C vara ett solenoidalt vektorfält ( div C=0 ) och d ett skalärt fält i R ³, som är tillräckligt jämna och antingen ges i ett begränsat område eller minskar snabbare än 1/ r ² i oändligheten. Sedan finns det ett vektorfält F så att
ochOm dessutom vektorfältet F beaktas i hela rymden R ³ och försvinner som r → ∞, så är F unikt. [2] I det allmänna fallet bestäms lösningen upp till en additiv additiv - gradienten av en godtycklig funktion som uppfyller Laplace-ekvationen.
Med andra ord, under vissa förhållanden kan ett vektorfält konstrueras från dess krullning och divergens, och när problemet definieras i hela rymden R ³ är lösningen unik (under det a priori antagandet att fältet försvinner i oändligheten ganska snabbt). Denna sats är av stor betydelse inom elektrostatik ; till exempel beskriver Maxwells ekvationer i det statiska fallet fält av just denna typ [2] . Som redan nämnts ovan, en av de möjliga lösningarna: