Osittaisdifferentiaaliyhtälö

Osittaisdifferentiaaliyhtälö (erikoistapauksia tunnetaan myös matemaattisen fysiikan yhtälöinä , UMF ) on differentiaaliyhtälö, joka sisältää useiden muuttujien tuntemattomia funktioita ja niiden osittaisjohdannaisia .

Johdanto

Tarkastellaan suhteellisen yksinkertaista osittaisdifferentiaaliyhtälöä:

Tästä suhteesta seuraa , että funktion arvo ei riipu . Voimme asettaa sen yhtä suureksi kuin mielivaltainen funktio . Siksi yhtälön yleinen ratkaisu on seuraava:

missä  on mielivaltainen muuttujan funktio . Samankaltaisella tavallisella differentiaaliyhtälöllä on muoto:

ja hänen ratkaisunsa

missä c  on mielivaltainen vakio (riippumaton arvosta ). Nämä kaksi esimerkkiä osoittavat, että tavallisen differentiaaliyhtälön yleinen ratkaisu sisältää mielivaltaisia ​​vakioita, mutta osittaisen differentiaaliyhtälön yleinen ratkaisu sisältää mielivaltaisia ​​funktioita. Osittaisdifferentiaaliyhtälön ratkaisu ei yleisesti ottaen ole ainutlaatuinen. Yleisessä tapauksessa lisäehdot määritellään tarkasteltavan alueen rajalla. Esimerkiksi yllä olevan yhtälön ratkaisu (funktio ) on yksiselitteisesti määritelty, jos se on määritelty rivillä .

Historia

Historioitsijat löysivät ensimmäisen osittaisen differentiaaliyhtälön Eulerin pintateoriaa koskevista kirjoista , jotka juontavat juurensa 1734-1735 (julkaistu vuonna 1740). Nykyaikaisessa merkinnässä se näytti tältä:

Vuodesta 1743 lähtien d'Alembert liittyi Eulerin työhön ja löysi yleisen ratkaisun kielen värähtelyjen aaltoyhtälöön . Seuraavina vuosina Euler ja d'Alembert julkaisivat useita menetelmiä ja tekniikoita tiettyjen osittaisten differentiaaliyhtälöiden tutkimiseksi ja ratkaisemiseksi. Nämä teokset eivät ole vielä luoneet täydellistä teoriaa.

Tämän teeman kehityksen toinen vaihe voidaan ajoittaa vuosille 1770-1830. Lagrangen , Cauchyn ja Jacobin syvälliset tutkimukset kuuluvat tähän ajanjaksoon . Ensimmäiset systemaattiset osittaisten differentiaaliyhtälöiden tutkimukset aloitti Fourier . Hän sovelsi uutta menetelmää merkkijonoyhtälön ratkaisuun - muuttujien erottelumenetelmää , joka myöhemmin sai nimensä.

Sophus Lie ehdotti 1870-luvulla uutta yleistä lähestymistapaa aiheeseen, joka perustuu jatkuvien muunnosryhmien teoriaan .

1800-luvun lopulla osittaisen differentiaaliyhtälön käsite yleistettiin tapaukseen, jossa on ääretön joukko tuntemattomia muuttujia ( osittaisfunktionaalinen differentiaaliyhtälö ).

Epälineaaristen osittaisdifferentiaaliyhtälöiden olemassaolon todistamis- ja ratkaisujen löytämisongelmia ratkaistaan ​​käyttämällä tasaisten monistojen teoriaa , differentiaaligeometriaa , kommutatiivista ja homologista algebraa [1] . Näitä menetelmiä käytetään fysiikassa Lagrangin ja Hamiltonin formalismin tutkimuksessa, korkeampien symmetrioiden ja säilymislakien tutkimuksessa [1] .

Luokitus

Mitta

Sama kuin riippumattomien muuttujien lukumäärä . Täytyy olla vähintään 2 (1, saadaan tavallinen differentiaaliyhtälö ).

Lineaarisuus

On lineaarisia ja epälineaarisia yhtälöitä. Lineaarinen yhtälö voidaan esittää tuntemattomien funktioiden derivaattojen lineaarisena yhdistelmänä. Kertoimet voivat tässä tapauksessa olla joko vakioita tai tunnettuja funktioita.

Lineaariyhtälöitä on tutkittu hyvin, ja miljoonia palkintoja on myönnetty tietyntyyppisten epälineaaristen yhtälöiden ( millennium-ongelmat ) ratkaisemisesta.

Homogeenisuus

Yhtälö on epähomogeeninen, jos on termi, joka ei riipu tuntemattomista funktioista.

Tilaa

Yhtälön järjestys määräytyy derivaatan maksimijärjestyksen mukaan. Kaikkien muuttujien tilaukset ovat tärkeitä.

Toisen kertaluvun lineaaristen yhtälöiden luokitus

Toisen kertaluvun lineaariyhtälöt osittaisissa derivaatoissa jaetaan parabolisiin , elliptisiin ja hyperbolisiin .

Kaksi riippumatonta muuttujaa

Toisen asteen lineaarinen yhtälö, joka sisältää kaksi riippumatonta muuttujaa, on muotoa:

missä ovat kertoimet riippuvat muuttujista ja , ja ellipsi tarkoittaa termejä riippuen ja ensimmäisen kertaluvun osittaisderivaatat: ja . Tämä yhtälö on samanlainen kuin kartioleikkauksen yhtälö :

Aivan kuten kartioleikkaukset jaetaan ellipseihin , paraabeleihin ja hyperboleihin , erottimen merkistä riippuen , toisen asteen yhtälöt tietyssä pisteessä luokitellaan:

  1.  - Hyperbolinen yhtälö ,
  2.  - elliptinen yhtälö ,
  3.  — Parabolinen yhtälö (tässä oletetaan, että kertoimet eivät katoa tietyssä pisteessä samaan aikaan).

Siinä tapauksessa, että kaikki kertoimet ovat vakioita, yhtälöllä on sama tyyppi muuttujien ja tason kaikissa kohdissa . Jos kertoimet riippuvat jatkuvasti ja , pisteiden joukko, joissa annettu yhtälö on hyperbolinen (elliptinen) muodostaa avoimen alueen tasolle, jota kutsutaan hyperboliseksi (elliptiseksi), ja joukko pisteitä, joissa yhtälö on parabolinen. tyyppi on suljettu. Yhtälöä kutsutaan sekatyyppiseksi , jos se on hyperbolinen joissakin tason pisteissä ja elliptinen joissakin pisteissä. Tässä tapauksessa parabolisilla pisteillä on taipumus muodostaa viiva, jota kutsutaan tyypin muutosviivaksi tai rappeutumisviivaksi .

Enemmän kuin kaksi riippumatonta muuttujaa

Yleisessä tapauksessa, kun toisen kertaluvun yhtälö riippuu monista riippumattomista muuttujista:

se voidaan luokitella [2] tiettyyn pisteeseen analogisesti vastaavan toisen asteen muodon kanssa :

Ei-degeneroitu lineaarinen muunnos

neliömuoto voidaan aina pelkistää kanoniseen muotoon:

Lisäksi inertialauseen mukaan positiivisten, negatiivisten ja nollakertoimien lukumäärä neliömuodon kanonisessa muodossa on invariantti eikä se riipu lineaarisesta muutoksesta. Tämän perusteella tehdään tarkasteltavan yhtälön luokitus (pisteessä ):

  1. Jos jossain pisteessä kanonisen muodon toisen asteen muodolla on kaikki saman merkin kertoimet, niin tässä pisteessä olevaa yhtälöä kutsutaan elliptistä tyyppiä olevaksi yhtälöksi .
  2. Jos kanonisen muodon toisen asteen muodolla on eri merkkien kertoimia, mutta ne ovat kaikki erilaisia ​​kuin , niin yhtälöä tässä vaiheessa kutsutaan hyperbolisen tyypin yhtälöksi .
  3. Jos kanonisessa muodossa olevalla neliömuodolla on vähintään yksi kerroin, joka on yhtä suuri kuin piste, niin tässä pisteessä olevaa yhtälöä kutsutaan parabolityyppiseksi yhtälöksi .

Useiden riippumattomien muuttujien tapauksessa voidaan tehdä tarkempi luokittelu (jolle ei ole tarvetta kahden riippumattoman muuttujan tapauksessa):

  1. Hyperbolinen tyyppi voidaan luokitella edelleen:
    1. Normaali hyperbolinen tyyppi , jos yhdellä kertoimella on yksi merkki ja muilla toinen.
    2. Ultrahyperbolinen tyyppi , jos sekä yhden että toisen merkin kertoimet ovat enemmän kuin yksi.
  2. Parabolinen tyyppi voidaan luokitella edelleen:
    1. Elliptinen-parabolinen tyyppi , jos vain yksi kerroin on nolla ja loput ovat samanmerkkisiä.
    2. Hyperbolinen-parabolinen tyyppi , jos vain yksi kerroin on nolla ja muilla on eri etumerkit. Kuten hyperbolinen tyyppi, se voidaan jakaa:
      1. Normaali hyperbolinen-parabolinen tyyppi
      2. Ultrahyperbolinen-parabolinen tyyppi
    3. Ultraparabolinen tyyppi , jos useampi kuin yksi kerroin on nolla. Tässä myös lisäluokittelu on mahdollista nollasta poikkeavien kertoimien etumerkeistä riippuen.

Ratkaisun olemassaolo ja ainutlaatuisuus

Vaikka vastauksella kysymykseen tavallisen differentiaaliyhtälön ratkaisun olemassaolosta ja ainutlaatuisuudesta on täysin tyhjentävä vastaus ( Picard-Lindelöfin lause ), tähän kysymykseen ei ole yksiselitteistä vastausta osittaiselle differentiaaliyhtälölle. On olemassa yleinen lause ( Cauchyn-Kovalevskajan teoreema ), jonka mukaan Cauchyn ongelmalla mille tahansa osittaisdifferentiaaliyhtälölle, joka on analyyttinen tuntemattomien funktioiden ja niiden derivaattojen suhteen, on ainutlaatuinen analyyttinen ratkaisu [3] . On kuitenkin esimerkkejä lineaarisista osittaisdifferentiaaliyhtälöistä, joiden kertoimilla on kaiken asteiset derivaatat ja joilla ei ole ratkaisua ( Lévy [ 1957 ). Vaikka ratkaisu olisi olemassa ja se on ainutlaatuinen, sillä voi olla ei-toivottuja ominaisuuksia.

Harkitse Cauchyn tehtävien sarjaa (riippuen ) Laplacen yhtälöstä :

alkuehdoilla : _

missä on kokonaisluku. Toiminnon derivaatta muuttujan suhteen pyrkii tasaisesti kasvamaan , mutta yhtälön ratkaisu on

Ratkaisu pyrkii äärettömyyteen, ellei minkä tahansa arvon nollasta poikkeavan arvon kerrannainen . Cauchyn ongelmaa Laplacen yhtälölle kutsutaan huonosti asetetuksi tai virheelliseksi , koska ratkaisulla ei ole jatkuvaa riippuvuutta lähtötiedoista.

Epälineaaristen osittaisdifferentiaaliyhtälöiden järjestelmissä todisteet ratkaisujen olemassaolosta ja kaikkien ratkaisujen monistojen etsiminen suoritetaan käyttämällä sileän monistojen teoriaa , differentiaaligeometriaa , kommutatiivista ja homologista algebraa [1] . Näitä menetelmiä käytetään fysiikassa Lagrangin ja Hamiltonin formalismin tutkimuksessa, korkeampien symmetrioiden ja säilymislakien tutkimuksessa [1] .

Esimerkkejä

Yksiulotteinen lämpöyhtälö

Lämmön etenemistä homogeenisessa sauvassa kuvaava yhtälö on parabolista tyyppiä ja muotoa

missä on lämpötila, ja on positiivinen vakio, joka kuvaa lämmön etenemisnopeutta. Cauchyn ongelma esitetään seuraavasti:

,

missä on mielivaltainen funktio.

Merkkijonon värähtelyyhtälö

Yhtälö on hyperbolista tyyppiä. Tässä on merkkijonon siirtymä tasapainoasennosta tai ylimääräinen ilmanpaine putkessa tai putken sähkömagneettisen kentän suuruus, ja se on aallon etenemisnopeus. Cauchyn ongelman muotoilemiseksi alkuajanhetkellä tulee määrittää merkkijonon siirtymä ja nopeus alkuhetkellä:

Kaksiulotteinen Laplacen yhtälö

Laplacen yhtälö kahden muuttujan tuntemattomalle funktiolle on muotoa:

Elliptinen tyyppiyhtälö. Sen ratkaisuja kutsutaan harmonisiksi funktioiksi .

Suhde analyyttisiin funktioihin

Minkä tahansa kompleksisen muuttujan holomorfisen funktion reaali- ja imaginaariosat ovat konjugoituja harmonisia funktioita: ne molemmat täyttävät Laplacen yhtälön ja niiden gradientit ovat ortogonaalisia. Jos , niin Cauchy-Riemannin ehdot ilmoittavat seuraavaa:

Lisäämällä ja vähentämällä yhtälöt toisistaan, saamme:

Voidaan myös osoittaa, että mikä tahansa harmoninen funktio on jonkin analyyttisen funktion todellinen osa.

Rajaongelmat

Rajatehtävät asetetaan seuraavasti: etsi funktio , joka täyttää Laplacen yhtälön alueen kaikissa sisäpisteissä ja alueen rajalla  - tietty ehto. Ehdon tyypistä riippuen erotetaan seuraavat raja-arvoongelmat:

Matemaattisen fysiikan yhtälöiden ratkaiseminen

Tämän tyyppisten yhtälöiden ratkaisemiseen on olemassa kahdenlaisia ​​​​menetelmiä:

  • analyyttinen, jossa tulos johdetaan erilaisilla matemaattisilla muunnoksilla;
  • numeerinen, jossa saatu tulos vastaa todellista annetulla tarkkuudella, mutta joka vaatii paljon rutiinilaskutoimituksia ja siksi voidaan suorittaa vain tietotekniikan (tietokoneen) avulla.

Analyyttinen ratkaisu

Matemaattisen fysiikan yhtälöiden analyyttisiä ratkaisuja voidaan saada monin eri tavoin. Esimerkiksi:

Nämä menetelmät on kehitetty erityyppisille yhtälöille ja joissakin yksinkertaisissa tapauksissa niiden avulla voidaan saada ratkaisu jonkin kaavan tai konvergentin sarjan muodossa, esimerkiksi merkkijonovärähtelyyhtälölle :

Fourier-menetelmää käyttävä analyyttinen ratkaisu on muotoa:

Numeerinen ratkaisu

Koska yksinkertaisellekaan yhtälölle ei aina ole mahdollista löytää analyyttistä ratkaisua monimutkaiselta alueelta, matemaattisen fysiikan yhtälöiden ratkaisemiseen on kehitetty monia menetelmiä. Jotkut niistä perustuvat differentiaalioperaattorin approksimaatioon joillakin lausekkeilla, toiset pelkistävät ongelman projektioksi tai variaatioksi ja ratkaisevat sen, joitain usein käytettyjä numeerisia menetelmiä ovat:

Jokaisella menetelmällä on omat ominaisuutensa ja omat tehtäväluokat, jotka on ratkaistava. Esimerkiksi värähtelyyhtälön äärellinen erotusratkaisu voidaan saada käyttämällä seuraavaa erotuskaaviota :

,

missä  on  aikaaskel ja avaruusaskel.

Heikot ratkaisut

Jos osittaisdifferentiaaliyhtälö esitetään muodossa _ _ . _ _ _ _ _ _

Katso myös

Muistiinpanot

  1. 1 2 3 4 Pommare, 1983 , s. 5.
  2. Sveshnikov A. G., Bogolyubov A. N., Kravtsov V. V. Luku II. Differentiaaliyhtälöiden luokittelu toisen kertaluvun osittaisissa derivaatoissa. // Matemaattisen fysiikan luentoja. — 2. painos, korjattu. ja ylimääräistä - M . : Moskovan valtionyliopiston kustantamo; Tiede, 2004. - S. 49. - 416 s. — ISBN 5-211-04899-7 .
  3. A.M. Nakhushev. Cauchyn–Kovalevskajan lause  (englanniksi) (html). Springer Online (2001). - Cauchyn-Kovalevskajan lause. Käyttöpäivä: 9. tammikuuta 2010. Arkistoitu alkuperäisestä 12. helmikuuta 2012.
  4. L. Behrs, F. John, M. Schechter. Osittaisdifferentiaaliyhtälöt . - M .: Mir, 1966. - S. 146.

Kirjallisuus

  • Tikhonov A. N., Samarskii A. A. Matemaattisen fysiikan yhtälöt. - 7. painos - M . : Moskovan valtionyliopiston kustantamo; Nauka, 2004. - 798 s. — ISBN 5-211-04843-1 .
  • Mizohata S. Osittaisten differentiaaliyhtälöiden teoria. - M .: Mir, 1977. - 504 s.
  • Demidov S. S. Differentiaaliyhtälöiden teorian synty osittaisilla derivaatoilla // Historiallinen ja matemaattinen tutkimus . - M . : Nauka , 1975. - Nro 20 . - S. 204-220 .
  • Pommare J. Osittaisdifferentiaaliyhtälöjärjestelmät ja Lie-pseudoryhmät. - M .: Mir, 1983. - 400 s.
  • Trev J. Luentoja lineaarisista osittaisdifferentiaaliyhtälöistä vakiokertoimilla. - M . : Mir, 1965. - 296 s.
  • Yhtälöiden matemaattinen fysiikka  / V. S. Vladimirov // Suuri venäläinen tietosanakirja  : [35 nidettä]  / ch. toim. Yu. S. Osipov . - M .  : Suuri venäläinen tietosanakirja, 2004-2017.

Linkit