Varme ligning
Den aktuelle version af siden er endnu ikke blevet gennemgået af erfarne bidragydere og kan afvige væsentligt fra den
version , der blev gennemgået den 13. januar 2019; checks kræver
5 redigeringer .
Varmeligningen er en andenordens partiel differentialligning, der beskriver fordelingen af temperatur i et givet område af rummet og dets ændring i tid.
Ligningstype
I rummet med et vilkårligt koordinatsystem har varmeligningen formen
hvor er en positiv konstant (tallet er den termiske diffusivitet ),
er Laplace-operatoren og er en funktion af varmekilder [1] . Den ønskede funktion indstiller temperaturen på punktet med koordinaterne på tidspunktet .
Denne ligning kan forklares som følger. Temperaturændringshastigheden over tid er proportional med krumningen af temperaturfordelingen over rummet (den anden afledte). Med andre ord, jo højere krumningen af temperatur-"puklerne" i kroppen er, jo hurtigere sker temperaturudligningen disse steder.
I rummet med kartesiske koordinater tager varmeligningen formen
Varmeledningsligningen kaldes homogen , hvis , dvs. der er ingen varmekilder og "dræn" inde i systemet.
Cauchy-problemet for varmeligningen
Homogen ligning
Overvej Cauchy-problemet for den homogene varmeligning:
hvor er den indledende funktion , kontinuert og afgrænset på hele rummet, og den ønskede funktion er kontinuert og afgrænset for og alle værdier af argumentet .
Følgende egenskaber gælder for det homogene Cauchy-problem [2] :
- Maksimumsprincip (maksimums- og minimumssætning): Løsningen af det homogene Cauchy-problem tilfredsstiller ulighederne for alle og . [3]
- Eksistens- og unikhedssætning: For enhver løsning af det homogene Cauchy-problem eksisterer, er unik og afhænger kontinuerligt af den indledende funktion i strimlen . Med andre ord er dette Cauchy -problem veloplagt [4] .
- Kernen i varmeligningen er løsningen af Cauchy-problemet for den homogene varmeligning med startbetingelsen , hvor er Dirac delta-funktionen . Det ser ud som om:
hvor er vektorens standard
skalære kvadrat . Nogle gange kaldes varmeligningens kerne også dens fundamentale løsning , selvom den
fundamentale løsning oftest forstås som en funktion, der opnås fra kernen ved at gange med
Heaviside-funktionen .
- Sammenfaldet af formlen for kernen af varmeligningen med tætheden af normalfordelingen med nul matematisk forventning og spredning proportional med er ikke tilfældig. Det forklares ved, at varmeoverførsel er forbundet med partiklernes Brownske bevægelse , som er matematisk beskrevet ved hjælp af Wiener tilfældig proces .
- Poisson-integral: I et rum med kartesiske koordinater er løsningen på det homogene Cauchy-problem givet i form af en integralformel kaldet Poisson-integralet . Nemlig, for alle er der en foldning med hensyn til rumvariablen af kernen med den indledende funktion:
- Poisson-integralet definerer en unik kontinuerlig og afgrænset løsning af det givne Cauchy-problem (bemærk, at der er uendeligt mange ubegrænsede løsninger).
- Fysisk paradoks: det følger af Poisson-formlen, at hvis startfunktionen er lig med nul overalt, bortset fra et begrænset område, for eksempel givet af betingelsen , hvor den er positiv, så er løsningen efter en vilkårlig kort periode vil være strengt taget positiv på alle punkter i rummet med vilkårligt store værdier . Dette indebærer et paradoksalt udsagn fra et fysisk synspunkt om, at varme forplanter sig med en uendelig hastighed. Forklaringen på paradokset er, at varmeligningen ikke helt præcist beskriver den virkelige fysiske proces med varmeudbredelse. Praksis viser, at denne ligning i de fleste tilfælde stadig giver en ret god tilnærmelse [2] .
Inhomogen ligning
Overvej Cauchy-problemet for den inhomogene varmeligning:
I dette tilfælde har Poisson-integralet formen [5] :
Endimensionel varmeligning
For tilfældet med én rumlig variabel x (problemet med at opvarme eller afkøle stangen), har varmeligningen formen
Til denne ligning kan du indstille og løse forskellige grænseværdiproblemer , en af de metoder til løsning, som blev foreslået af den franske matematiker Fourier og bærer hans navn [6]
Metode til adskillelse af variabler (Fourier-metoden)
Homogen varmeligning med homogene randbetingelser
Overvej følgende problem:
Skal finde en funktion til .
Vi repræsenterer den ønskede funktion som produkt
Så erstatter vi den foreslåede form for løsningen i den oprindelige ligning, vi får
Lad os opdele udtrykket i :
Da vi på venstre side af ligningen har en funktion, der kun afhænger af , og til højre - kun på , så fikserer vi en hvilken som helst værdi på højre side, får vi, at for enhver værdi af den venstre side af ligningen er konstant . På samme måde kan du sikre dig, at højre side er konstant, det vil sige lig med en bestemt konstant (minus tages for nemheds skyld). Således får vi to almindelige lineære differentialligninger:
Lad os være opmærksomme på grænsebetingelserne for det oprindelige problem og erstatte den foreslåede form af ligningen i dem, får vi:
hvorfra ( , da vi ellers ville have en løsning , og vi leder kun efter ikke-trivielle løsninger).
Under hensyntagen til de opnåede grænsebetingelser opnår vi Sturm-Liouville-problemet :
Dens løsning er reduceret til at løse en lineær differentialligning og overveje tre tilfælde:
-
I dette tilfælde vil den generelle form for løsningen være som følger:
Ved at erstatte randbetingelserne sikrer vi os, at løsningen bliver , og vi leder kun efter ikke-trivielle løsninger, derfor er denne sag ikke egnet.
-
Generelt billede af løsningen
Det er let at se, at denne mulighed heller ikke passer os.
-
Generelt billede af løsningen
Vi erstatter grænsebetingelserne:
Da vi kun leder efter ikke-trivielle løsninger, er det derfor ikke egnet for os
Herfra
Under hensyntagen til det fundne , udleder vi den generelle løsning af den lineære differentialligning
skal få svar
Nu er alt klar til at skrive løsningen på det oprindelige problem:
Som et resultat har vi et uendeligt antal særlige løsninger til ligningen. Alle disse særlige løsninger er lineært uafhængige , det vil sige, at en lineær kombination af et hvilket som helst antal løsninger er lig med nul, hvis alle deres koefficienter er lig med nul. Derfor er det logisk at antage, at ved at opsummere alle bestemte løsninger over fra enhed til uendelighed, vil vi opnå en generel løsning på det oprindelige problem.
Det er tilbage at bestemme værdien af konstanten (afhængigt af ) fra starttilstanden
For at bestemme værdien af , er det nødvendigt at udvide funktionen til en Fourier-serie :
Vi får:
Hvor kommer den generelle løsning fra:
I løbet af matematisk fysik er det bevist, at den resulterende serie opfylder alle betingelserne for dette problem, det vil sige, at funktionen er differentierbar (og rækken konvergerer ensartet ), opfylder ligningen i definitionsdomænet og er kontinuert ved punkterne for grænsen for dette domæne.
Inhomogen varmeligning med homogene randbetingelser
Overvej følgende problem for en ikke -homogen ligning :
Lade
Derefter, ved hjælp af den åbenlyse relation , omskriver vi den oprindelige ligning som:
Lad os løse den sidste lineære inhomogene ligning ved hjælp af metoden til variation af konstanten . Først finder vi den generelle løsning af den homogene lineære ligning
I den generelle løsning erstatter vi konstanten med en variabel og erstatter den med den oprindelige ligning.
Fra starttilstanden får vi:
Under hensyntagen til betingelsen for , opnår vi
Fordi
så er naturligvis koefficienten for Fourier-serien og er lig med
Som et resultat er den generelle formel:
Generelt problem med første grænseværdi
I mange tilfælde er det muligt at løse den inhomogene varmeligning med inhomogene grænse- og begyndelsesbetingelser
ved hjælp af metoderne beskrevet ovenfor og følgende enkle trick. Vi repræsenterer den ønskede funktion som en sum:
Lad os finde funktionen :
Således er det oprindelige problem reduceret til følgende:
Efter at vi har fundet funktionen , finder vi den ønskede funktion ved formlen
Litteratur
På russisk
På engelsk
- Crank, J.; Nicolson, P. & Hartree, D. R. (1947), A Practical Method for Numerical Evaluation of Solutions of Partial differential Equations of the Heat-Conduction Type , Proceedings of the Cambridge Philosophical Society bind 43: 50–67 , DOI 10.10017/S02190050/S02190050/S02190007
- Einstein, Albert (1905), Über die von der molekularkinetischen Theorie der Wärme geforderte Bewegung von in ruhenden Flüssigkeiten suspendierten Teilchen , Ann. Phys. Leipzig 17 , bind 322 (8): 549–560 , DOI 10.1002/andp.19053220806
- Evans, L.C. (1998), Partial Differential Equations , American Mathematical Society, ISBN 0-8218-0772-2
- John, Fritz (1991), Partial Differential Equations (4. udgave), Springer, ISBN 978-0-387-90609-6
- Wilmott, P.; Howison, S. & Dewynne, J. (1995), The Mathematics of Financial Derivatives: A Student Introduction , Cambridge University Press
- Carslaw, H.S. & Jaeger, J.C. (1959), Conduction of Heat in Solids (2. udgave), Oxford University Press, ISBN 978-0-19-853368-9
- Thambynayagam, RKM (2011), The Diffusion Handbook: Applied Solutions for Engineers , McGraw-Hill Professional, ISBN 978-0-07-175184-1
- Perona, P & Malik, J. (1990), Scale-Space and Edge Detection Using Anisotropic Diffusion, IEEE Transactions on Pattern Analysis and Machine Intelligence bind 12 (7): 629–639
- Unsworth, J. & Duarte, FJ (1979), Heat diffusion in a solid sphere og Fourier Theory , Am. J Phys. T. 47 (11): 891–893 , DOI 10.1119/1.11601
Links
Noter
- ↑ Tikhonov A.N., Samarsky A.A. Matematisk fysiks ligninger. - ch. III, § 1. - Enhver udgave.
- ↑ 1 2 Petrovsky I. G. Forelæsninger om partielle differentialligninger. - ch. IV, § 40. - Enhver udgave.
- ↑ Hvis vi sammen med afgrænsede løsninger betragter ubegrænsede, er maksimumprincippet ikke sandt: løsningens afgrænsning følger ikke af afgrænsningen af de indledende data. Derfor er der ingen unik løsning. Se for eksempel A. Tychonoff, "Théorèmes d'unicité pour l'équation de la chaleur", Mat. Lør., 42:2 (1935), 199-216
- ↑ Udsagn om løsningens unikke og vedvarende afhængighed er en simpel konsekvens af maksimumsprincippet.
- ↑ Erich Miersemann. Partielle Differenzialgleichungen, s. 156 . Hentet 11. juni 2015. Arkiveret fra originalen 27. marts 2016. (ubestemt)
- ↑ Tikhonov A.N., Samarsky A.A. Matematisk fysiks ligninger. - ch. III, § 2. - Enhver udgave.