Kiindulási és peremfeltételek

Az oldal jelenlegi verzióját még nem ellenőrizték tapasztalt közreműködők, és jelentősen eltérhet a 2021. május 26-án felülvizsgált verziótól ; az ellenőrzéshez 1 szerkesztés szükséges .

A differenciálegyenletek elméletében a kezdeti és a peremfeltételek  az alapvető differenciálegyenlet ( közönséges vagy részleges differenciál ) kiegészítései, amelyek meghatározzák annak viselkedését a kezdeti időpillanatban, illetve a vizsgált tartomány határán .

Általában egy differenciálegyenletnek nem egy megoldása van, hanem egy egész család. A kezdeti és peremfeltételek lehetővé teszik, hogy válasszon belőle egy valós fizikai folyamatnak vagy jelenségnek megfelelőt. A közönséges differenciálegyenletek elméletében egy olyan tételt bizonyítanak, amely egy kezdeti feltétellel rendelkező probléma megoldásának létezésére és egyediségére vonatkozik (az ún. Cauchy-probléma ). A parciális differenciálegyenletek esetében a kezdeti és határérték-problémák bizonyos osztályaira kapunk néhány létezési és egyediségi tételt a megoldásokhoz.

Terminológia

Néha a nem stacionárius feladatok kezdeti feltételeit, például a hiperbolikus vagy parabolikus egyenletek megoldását , peremfeltételeknek is nevezik .

Stacionárius problémák esetén a peremfeltételeket fő és természetes feltételekre osztják .

A fő feltételek általában olyan alakúak , ahol  a régió határa .

A természetes feltételek tartalmazzák a megoldás deriváltját is a határ normáljához képest .

Példa

Az egyenlet egy test mozgását írja le a Föld gravitációs mezejében . Kielégül bármely olyan másodfokú függvény , ahol  tetszőleges számok vannak. Egy adott mozgástörvény elkülönítéséhez meg kell adni a test kezdeti koordinátáját és sebességét, vagyis a kezdeti feltételeket .

A peremfeltételek beállításának helyessége

A matematikai fizika problémái valós fizikai folyamatokat írnak le, ezért állításuknak a következő természetes követelményeknek kell megfelelniük:

  1. A megoldásnak léteznie kell valamilyen függvényosztályban;
  2. A megoldásnak minden függvényosztályban egyedinek kell lennie ;
  3. A megoldásnak folyamatosan függnie kell az adatoktól (kezdeti és peremfeltételek, metszéspontok, együtthatók stb.).

A megoldás folyamatos függésének követelménye abból adódik, hogy a fizikai adatokat általában hozzávetőlegesen a kísérletből határozzuk meg, ezért biztosnak kell lenni abban, hogy a feladat megoldása a választott matematikai modell keretein belül nem függ jelentősen a mérési hibától. Matematikailag ez a követelmény például a következőképpen írható fel (a szabad kifejezéstől való függetlenség érdekében):

Legyen két differenciálegyenlet: azonos differenciáloperátorokkal és azonos peremfeltételekkel, akkor ezek megoldása folyamatosan függ a szabad tagtól, ha:

, ahol , - a megfelelő egyenletek megoldásai.

Azt a függvényhalmazt, amelyre a felsorolt ​​követelmények teljesülnek, helyességi osztálynak nevezzük . A peremfeltételek helytelen beállítását jól szemlélteti Hadamard példája .

Lásd még

Irodalom