Grøns funktion

Den grønne  funktion er en funktion, der bruges til at løse lineære ikke-homogene differentialligninger med randbetingelser (ikke-homogent grænseværdiproblem ). Opkaldt efter den engelske matematiker George Green , som først udviklede teorien i 1830'erne.

Greens funktioner er nyttige i elektrostatik - til at løse Poissons ligning ; i teorien om kondenseret stof  giver de mulighed for at løse diffusionsligningen (og varmeligningen, der falder sammen med den); i kvantemekanik  er den grønnes funktion af Hamiltonian en af ​​nøglefunktionerne og er relateret til tætheden af ​​tilstande. Den grønnes funktioner, der bruges i disse områder, er meget ens, da diffusionsligningerne og Schrödinger-ligningen ligner hinanden i en eller anden forstand. Alle områder af matematisk og teoretisk fysik , hvor Greens funktioner er ekstremt nyttige, er måske endda svære at opregne. De hjælper med at finde stationære og ikke-stationære løsninger, herunder under forskellige randforhold.

I partikelfysik og statistisk fysik bruges Greens funktioner som propagatorer i Feynman-diagrammer (og udtrykket "Greens funktion" anvendes ofte generelt på korrelationsfunktionen i kvantefeltteori ). Den grønne funktion er meget brugt i anvendelser af spredningsteori til faststoffysik ( røntgendiffraktion , beregninger af de elektroniske spektre af metalliske materialer).

Definition og brug

Den grønnes funktion af en lineær differentialoperator, der virker på generaliserede funktioner på en delmængde af det euklidiske rum i et punkt, er enhver løsning af ligningen

,

hvor  er Dirac delta-funktionen . Denne egenskab af den grønne funktion kan bruges til at løse en differentialligning af formen

,

Den grønne funktion er en omvendt operator til , så den betegnes ofte symbolsk som .

Hvis kernen af ​​operatoren er ikke-triviel, så er den grønnes funktion ikke unik. Men i praksis gør brugen af ​​symmetriprincippet, randbetingelser eller andre yderligere forhold det muligt at bestemme en specifik Greens funktion. Generelt set er den grønne funktion ikke en almindelig, men en generaliseret funktion , det vil sige, den kan falde uden for klassen af ​​almindelige funktioner, for eksempel have træk i form af en deltafunktion eller dens afledte.

Greenens funktion er også et nyttigt værktøj til at løse bølgeligningen, diffusionsligningen og kvantemekaniske ligninger, hvor Greenens funktion af Hamilton-operatoren spiller en afgørende rolle og er relateret til tætheden af ​​tilstande . I fysik er den grønnes funktion normalt defineret med det modsatte fortegn:

,

som ikke ændrer dens egenskaber væsentligt.

Hvis operatoren er translationelt invariant , dvs. hvis den har konstante koefficienter i forhold til , så kan den grønnes funktion vælges som en foldningsoperator

.

I dette tilfælde falder det sammen med impulsovergangsfunktionen fra teorien om lineære stationære systemer .

Bemærk

Nogle gange, når en inhomogen ligning indeholder en konstant koefficient på højre side, det vil sige, at den har formen

.

I dette tilfælde skrives løsningen af ​​den oprindelige inhomogene ligning med en vilkårlig funktion på højre side som

.
  1. Det er klart, at forskellen i definitionen af ​​den grønne funktion beskrevet i dette afsnit fra den, der er givet i artiklen ovenfor, ikke vedrører sagens essens, men kun den foretrukne notationsform

Greens funktion af Sturm-Liouville-operatoren (endimensionelt tilfælde)

Udtalelse af problemet

Lad være Sturm  - Liouville - operatoren, en lineær differentialoperator af formen:

,

og lad  være grænsebetingelsesoperatoren:

Greens sætning

Lade være  en kontinuerlig funktion på intervallet . Lad os også antage, at opgaven

er regulær, det vil sige, at der kun er en triviel løsning på det homogene problem.

Så er der en unik løsning, der tilfredsstiller systemet

,

som er givet af udtrykket

,

hvor  er den grønnes funktion, der opfylder følgende krav (de er også egenskaber ved den grønnes funktion):

  1. løbende i og .
  2. For ,. _
  3. For ,. _
  4. Afledt spring :.
  5. Symmetrisk: .

Find den grønne funktion

Som en serie gennem operatoregenfunktioner

Hvis mængden af ​​egenvektorer ( egenfunktioner ) af en differentialoperator

(det vil sige et sæt af sådanne funktioner , at der for hver er et tal , der )

er færdig, så kan man konstruere Greenens funktion ved hjælp af egenvektorerne og egenværdierne .

Fuldstændigheden af ​​funktionssystemet betyder opfyldelsen af ​​relationen

.

Det kan man vise

.

Faktisk, hvis vi handler på denne sum som en operator, opnår vi en deltafunktion (på grund af fuldstændighedsrelationen).

(Overlinien, , betegner kompleks konjugation ; hvis det  er reelle funktioner , kan den udelades).

For parabolske ligninger

Varmeligningen , Schrödinger-ligningen og diffusionsligningerne kan repræsenteres som en partiel differentialligning :

 

 

 

 

(en)

hvor  er den hermitiske operator , er de rumlige koordinater

 - temperatur ,.

 er bølgefunktionen ,. _

 er koncentrationen af ​​stoffet ,.

Operatorens egenfunktioner danner et komplet ortonormalt system og opfylder ligningen

.

Lad os antage, at løsningen af ​​ligning (1) kan repræsenteres som:

 

 

 

 

(2)

Ved at indsætte den foreslåede løsningsform i ligning (1) får vi:

.

På denne måde:

.

Denne ligning skal holde for alle m. Vi får ligningen:

,

hvor

.

Derfor kan løsningen af ​​den oprindelige ligning (1) repræsenteres som:

.

I betragtning af serie (2) ensartet konvergent, kan vi konstatere, at:

,

hvor  er volumenelementet.

Fra denne formel følger:

Så hvis den oprindelige tilstand er givet, så

Denne ligning kan skrives i en mere bekvem form:

,

hvor:

.

Dette udtryk kaldes den grønnes funktion for ligning (1).

Greens funktion for Laplacian

Greenens funktion for Laplacianen kan udledes af Greens sætning .

For at opnå Greens sætning, lad os starte med Gauss lov :

.

Vi accepterer og erstatter Gauss' lov. Lad os beregne og anvende kædereglen for operatøren :

.

Ved at indsætte resultatet i Gauss' sætning får vi Green's sætning:

.

Forudsat at vores lineære differentialoperator er Laplacian , , og at vi har den grønne funktion for det . Definitionen af ​​den grønnes funktion i dette tilfælde kan skrives som:

.

Vi indsætter Greens sætning. Så får vi:

.

Ved hjælp af udtrykket kan vi løse Laplace-ligningen ( ) og Poisson-ligningen ( ) med Neumann- eller Dirichlet-grænsebetingelser. Med andre ord kan vi finde en løsning overalt inden for et givet domæne, hvis (1) en værdi er givet ved grænsen af ​​dette domæne ( Dirichlet grænsebetingelser ), eller (2) den normale afledede er givet ved grænsen af ​​dette domæne ( Neumann grænsebetingelser).

Lad os være interesserede i løsningen inden for domænet. I dette tilfælde forenkles integralet til på grund af deltafunktionens hovedegenskab , og vi har:

.

Denne formel udtrykker den velkendte egenskab ved harmoniske funktioner , som består i, at hvis værdien af ​​den normale afledte ved grænsen af ​​regionen er kendt, så er alle værdier af funktionen i ethvert indre punkt i denne region også kendt.

I elektrostatik forstås det som det elektrostatiske potentiale , som den elektriske ladningstæthed , og den normale afledte som den normale komponent af det elektriske felt.

Ved løsning af Dirichlet- grænseværdiproblemet vælges den grønnes funktion i formen . Denne funktion forsvinder, når eller er ved grænsefladen; og omvendt, når man løser Neumann-grænseværdiproblemet, bør man vælge den grønnes funktion, så dens normalafledte forsvinder på overfladen. Der er således kun et af de to udtryk tilbage i integralet over overfladen.

I mangel af grænsebetingelser har den grønnes funktion for Laplacian formen:

.

I betragtning af at grænsefladen er uendelig stor og erstatter den grønne funktion i dette udtryk, vil vi nå frem til et lignende udtryk for det elektriske potentiale i form af den elektriske ladningstæthed .

.

Eksempel

(Dette eksempel tjener som en illustration til afsnittet Greens funktion af Sturm-Liouville-operatoren (endimensionelt tilfælde) , og de overvejelser, der er beskrevet her, illustrerer sætningens punkter fra det tilsvarende afsnit, hvis referencer er til stede i teksten nedenfor).

Fået en opgave

; .

Find den grønne funktion.

Første trin: Den Grønnes funktion i dette tilfælde skal per definition være en løsning på ligningen

 

 

 

 

(3)

hvor to streger angiver den anden afledede med hensyn til .

For , hvor -funktionen er lig med nul, reduceres denne ligning til en homogen (punkt 2 i den nævnte sætning):

,

det vil sige, for alle punkter undtagen , vil den grønne funktion være løsningen af ​​en sådan homogen ligning.

Den generelle løsning af en sådan ligning

,

hvor og  er konstanter (afhænger ikke af ).

Den skal altså have præcis denne form overalt, bortset fra punktet , desuden til venstre og højre for den kan (og vil) koefficienterne og have forskellige værdier.

Vi pålægger Grønnes funktion grænsebetingelser, der falder sammen med den oprindelige opgaves grænsebetingelser (punkt 3 i sætningen nævnt i den indledende bemærkning). Greenens funktion med randbetingelser pålagt på denne måde er praktisk, fordi løsningerne konstrueret ved at summere eller integrere sådanne Greens funktioner automatisk vil opfylde disse randbetingelser.

Fra venstre grænsebetingelse:  - pålagt den grønnes funktion, ser vi, at for den generelle løsning skal koefficienten være nul, dvs.

.

På samme måde, fra den højre randbetingelse:  - får vi koefficienten lig med nul , dvs.

.

Som et resultat, under hensyntagen til, at koefficienterne og generelt kan afhænge af , kan vi skrive:

Andet trin:

Vi skal definere og .

Ved at integrere to gange venstre og højre side af ligning (3) med deltafunktionen på højre side, ser vi, at Greenens funktion skal være kontinuert (punkt 1 i den nævnte sætning), og dermed betingelsen for at matche løsningen og :

.

Efter at have integreret venstre og højre del af den samme ligning fra til opnår vi betingelsen for springet af den første afledede (punkt 4 i sætningen), og bruger den, får vi:

.

Ved at bruge Cramers regel, eller blot gætte løsningen til systemet af disse to ligninger, får vi det

.

Disse udtryk opfylder betingelsen for punkt 5 i sætningen.

Så den grønnes funktion af problemet:

,

som kan skrives som

Tabel med Greens funktioner

Denne tabel viser Greens funktioner for almindeligt forekommende differentialoperatorer, hvor , ,  er Heaviside-funktionen ,  er Bessel-funktionen , er den modificerede Bessel-funktion af den første type og  er den modificerede Bessel-funktion af den anden type . [2] Hvor tid ( t ) vises i den første kolonne, og årsagssammenhængen Greens funktioner vises .

Differentialoperatør L Greens funktion G Eksempel på applikation
, Harmonisk oscillator
, Poisson ligning
, Poisson ligning
stationær 3D Schrödinger-ligning for en fri partikel
i rummet med dimensioner Potentiel Yukawa , propagator
1D bølgeligning
2D- bølgeligning
3D -bølgeligning
1D diffusionsligning
2D diffusionsligning
3D diffusionsligning
1D Klein-Gordon ligning
2D Klein-Gordon ligning
3D Klein-Gordon ligning
telegrafligning
2D relativistisk varmeligning
3D relativistisk varmeligning

Andre eksempler

Se også

Noter

  1. Li Tsung-dao Matematiske metoder i fysik. - M.: Mir, 1965. - s. 200
  2. Nogle eksempler er hentet fra Schulz, Hermann: Physik mit Bleistift. Frankfurt am Main: Deutsch, 2001. ISBN 3-8171-1661-6 (tysk)

Litteratur