Teist järku diferentsiaalvõrrandid
Konstantsete kordajatega lineaarne teist järku diferentsiaalvõrrand lahendatakse, asendades katselise eksponentsiaalse lahendi, muutes diferentsiaalvõrrandi algebraliseks karakteristlikuks võrrandiks, mille juured määravad, kas üldlahend on reaalsete eksponentide summa, üksik korduv eksponent korrutatuna polünoomteguriga, või võnkuv eksponent — täpselt see matemaatika, mis on füüsikas summutatud ja sundvõnkumiste taga.
Practise this conceptTeist järku diferentsiaalvõrrand hõlmab funktsiooni teist tuletist ja kõige olulisem juhtum rakendustes on konstantsete kordajatega lineaarne võrrand, ay'' + by' + cy = 0, mis esineb läbivalt füüsikas võrrandina, mis reguleerib kõike alates vedru otsas olevast massist kuni RLC-elektriahelani. Selle süstemaatiline lahendamine algab katsega: oletame, et lahend on kujul y = e^(rx) mingi veel leidmata konstandi r jaoks. See ei ole eikusagilt võetud oletus — eksponendid on ainsad funktsioonid, mille tuletised on proportsionaalsed nende endaga, seega muudab selle katselahendi asendamine iga tuletise võrrandis r astmeks korrutatuna sama eksponentsiaalse teguriga, mille saab välja jagada, jättes puhta algebralise võrrandi r-i suhtes: ar² + br + c = 0, mida nimetatakse karakteristlikuks võrrandiks.
Karakteristliku võrrandi juurte olemus määrab lahendi kogu kvalitatiivse käitumise ja on täpselt kolm juhtumit. Kui karakteristlikul võrrandil on kaks erinevat reaaljuurt r1 ja r2, on üldlahend kahe eksponendi summa, y = C1·e^(r1x) + C2·e^(r2x) — see on ülesummutatud juhtum füüsikalises ostsillaatoris, kus süsteem naaseb tasakaaluolekusse ilma võnkumata. Kui juured korduvad (üksainus reaaljuur r esineb kaks korda), on üldlahend y = (C1 + C2x)·e^(rx), kus lisategur x on vajalik täpselt sellepärast, et üksik eksponent üksi ei saa pakkuda vajalikku teist sõltumatut lahendit — see on kriitiliselt summutatud juhtum, kiireim võimalik tagasitulek tasakaaluolekusse ilma ületõmbumiseta. Kui juured on kompleksne kaasjuurte paar, α ± iβ, saab üldlahendi Euleri valemi abil ümber kirjutada puhtalt reaalsete liikmetega kujul y = e^(αx)(C1cos(βx) + C2sin(βx)) — võnkuva lahendina, mille amplituud kasvab või kahaneb eksponentsiaalselt sõltuvalt α märgist; see on alasummutatud juhtum, võnkumine eksponentsiaalselt kahaneva ümbrisega, ja taandub puhtaks summutamata võnkumiseks, kui α = 0.
Igal juhul sisaldab üldlahend täpselt kahte suvalist konstanti, vastavuses võrrandi järguga — sama loenduspõhimõte nagu esimest järku võrrandi puhul, mis vajab ühte konstanti, nüüd kahekordistatuna, kuna kordumatu füüsikalise lahendi määramine (näiteks võnkuva massi liikumine) nõuab nii algasukoha kui algkiiruse fikseerimist, kahte sõltumatut infokildu.
Key ideas
Requires: Esimest järku diferentsiaalvõrrandid
Unlocks: Besseli funktsioonid, Legendre'i polünoomid ja teised erifunktsioonid, Osatuletistega võrrandite klassifikatsioon: parabooliline, hüperboolne, elliptiline, Dünaamilised süsteemid ja faasiportreed, Greeni funktsiooni meetod, Osatuletistega diferentsiaalvõrrandid (lihtsamad juhud), Laplace'i teisendus, Muutujate eraldamise meetod ja Sturm-Liouville'i ülesanded
Common misconceptions
- Teist järku lineaarse diferentsiaalvõrrandi üldlahend vajab alati ainult ühte suvalist konstanti, täpselt nagu esimest järku võrrand.
- Karakteristliku võrrandi kompleksed juured tähendavad, et diferentsiaalvõrrandil pole üldse reaalväärtuselist lahendit.
- Katselise eksponentsiaalse lahendi asendamine lineaarsesse diferentsiaalvõrrandisse on lihtsalt oletus, mis mõne võrrandi jaoks juhtub toimima, ilma süstemaatilise põhjuseta.
Resources
Kuulub nende TÜ ainete hulka
See mõiste on kaardistatud järgmis(t)e Tartu Ülikooli õppekava aine(te) osaliseks kattmiseks.
- Matemaatilise füüsika võrrandidLOFY.04.035
- Mittelineaarne dünaamikaLOFY.04.070
- Kõrgem matemaatika IMTMM.00.340
- Kõrgem matemaatika IIMTMM.00.341