Parciális dierenciálegyenletek

Hasonló dokumentumok
Utolsó el adás. Wettl Ferenc BME Algebra Tanszék, Wettl Ferenc (BME) Utolsó el adás / 20

I. Fejezetek a klasszikus analízisből 3

2. SZÉLSŽÉRTÉKSZÁMÍTÁS. 2.1 A széls érték fogalma, létezése

(1 + (y ) 2 = f(x). Határozzuk meg a rúd alakját, ha a nyomaték eloszlás. (y ) 2 + 2yy = 0,

Dierenciálhányados, derivált

Tizenegyedik gyakorlat: Parciális dierenciálegyenletek Dierenciálegyenletek, Földtudomány és Környezettan BSc

1. Számsorok, hatványsorok, Taylor-sor, Fourier-sor

KOVÁCS BÉLA, MATEMATIKA II.

1. Parciális függvény, parciális derivált (ismétlés)

Konvex optimalizálás feladatok

Végeselem modellezés alapjai 1. óra

3. Lineáris differenciálegyenletek

A hullámegyenlet megoldása magasabb dimenziókban

(!), {z C z z 0 < R} K (K: konv. tart.) lim cn+1

Differenciálegyenletek december 13.

Feladatok megoldásokkal az első gyakorlathoz (differencia- és differenciálhányados fogalma, geometriai és fizikai jelentése) (x 1)(x + 1) x 1

1. Számsorok, hatványsorok, Taylor-sor, Fourier-sor

Differenciálegyenletek. Vajda István március 4.

Tartalomjegyzék. Typotex Kiadó, 2010

ANALÍZIS II. Példatár

Samu Viktória. A Helmholtz-egyenlet

Dierenciálhatóság. Wettl Ferenc el adása alapján és

Lineáris algebra 2. Filip Ferdinánd december 7. siva.banki.hu/jegyzetek

Modellek és Algoritmusok - 2.ZH Elmélet

DIFFERENCIÁLEGYENLETEK. BSc. Matematika II. BGRMA2HNND, BGRMA2HNNC

Analízis III Parciális differenciálegyenletek

Segédanyag az A3 tárgy gyakorlatához

sin x = cos x =? sin x = dx =? dx = cos x =? g) Adja meg a helyettesítéses integrálás szabályát határozott integrálokra vonatkozóan!

1. Példa. A gamma függvény és a Fubini-tétel.

Kétváltozós függvények differenciálszámítása

Boros Zoltán február

Matematika II. 1 sin xdx =, 1 cos xdx =, 1 + x 2 dx =

Analízis III. gyakorlat október

Lineáris leképezések. Wettl Ferenc március 9. Wettl Ferenc Lineáris leképezések március 9. 1 / 31

6. feladatsor: Inhomogén lineáris differenciálegyenletek (megoldás)

Matematika A2 vizsga mgeoldása június 4.

KOVÁCS BÉLA, MATEMATIKA II.

Meghatározás: Olyan egyenlet, amely a független változók mellett tartalmaz egy vagy több függvényt és azok deriváltjait.

A legjobb közeĺıtés itt most azt jelentette, hogy a lineáris

Taylor-polinomok. 1. Alapfeladatok április Feladat: Írjuk fel az f(x) = e 2x függvény másodfokú Maclaurinpolinomját!

MATEMATIKA 2. dolgozat megoldása (A csoport)

VIK A1 Matematika BOSCH, Hatvan, 5. Gyakorlati anyag

Differenciálegyenletek

Feladatok a Diffrenciálegyenletek IV témakörhöz. 1. Határozzuk meg következő differenciálegyenletek általános megoldását a próba függvény módszerrel.

Matematika szigorlat június 17. Neptun kód:

Tartalom. Állapottér reprezentációk tulajdonságai stabilitás irányíthatóság megfigyelhetőség minimalitás

Abszolút folytonos valószín ségi változó (4. el adás)

Megoldások MATEMATIKA II. VIZSGA (VK) NBT. NG. NMH. SZAKOS HALLGATÓK RÉSZÉRE (Kérjük, hogy a megfelelő szakot jelölje be!

2. (b) Hővezetési problémák. Utolsó módosítás: február25. Dr. Márkus Ferenc BME Fizika Tanszék

Megoldott feladatok november 30. n+3 szigorúan monoton csökken, 5. n+3. lim a n = lim. n+3 = 2n+3 n+4 2n+1

Lineáris egyenletrendszerek

Lagrange-féle multiplikátor módszer és alkalmazása

Hajlított tartó elmozdulásmez jének meghatározása Ritz-módszerrel

MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK KÖZÉP SZINT Függvények

Ipari matematika 2. gyakorlófeladatok

valós számot tartalmaz, mert az ilyen részhalmazon nem azonosság.

KOVÁCS BÉLA, MATEMATIKA II.

Folytonos rendszeregyenletek megoldása. 1. Folytonos idejű (FI) rendszeregyenlet általános alakja

Többváltozós, valós értékű függvények

0-49 pont: elégtelen, pont: elégséges, pont: közepes, pont: jó, pont: jeles

A brachistochron probléma megoldása

Végeselem analízis. 1. el adás

MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI KÖZÉPSZINT Függvények

MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK KÖZÉP SZINT Függvények

3. előadás Stabilitás

JPTE PMMFK Levelező-távoktatás, villamosmérnök szak

Diszkrét idej rendszerek analízise az id tartományban

1. Komplex függvények dierenciálhatósága, Cauchy-Riemann egyenletek. Hatványsorok, elemi függvények

Matematika III. harmadik előadás

4. Laplace transzformáció és alkalmazása

Differenciálszámítás. 8. előadás. Farkas István. DE ATC Gazdaságelemzési és Statisztikai Tanszék. Differenciálszámítás p. 1/1

Többváltozós, valós értékű függvények

Matematikai háttér. 3. Fejezet. A matematika hozzászoktatja a szemünket ahhoz, hogy tisztán és világosan lássa az igazságot.

DIFFERENCIÁLÁS, GRADIENS VEKTOR, HESSE MÁTRIX, LÁNCSZABÁLY,

Matematika III előadás

Differenciálegyenletek numerikus integrálása április 9.

Példatár Lineáris algebra és többváltozós függvények

Atomok és molekulák elektronszerkezete

Matematika II képletek. 1 sin xdx =, cos 2 x dx = sh 2 x dx = 1 + x 2 dx = 1 x. cos xdx =,

Mátrixfüggvények. Wettl Ferenc április 28. Wettl Ferenc Mátrixfüggvények április / 22

Losonczi László. Debreceni Egyetem, Közgazdaság- és Gazdaságtudományi Kar

A L Hospital-szabály, elaszticitás, monotonitás, konvexitás

Kétváltozós függvény szélsőértéke

MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK KÖZÉPSZINT Függvények

Diszkrét matematika 1. középszint

Matematika A1a Analízis

Függvények Megoldások

Descartes-féle, derékszögű koordináta-rendszer

Matematika mérnököknek 2. Ismétlés Numerikus dierenciálás Diegyenletek Fourier Matlab Projekt Desc Linkek

NUMERIKUS MÓDSZEREK FARAGÓ ISTVÁN HORVÁTH RÓBERT. Ismertet Tartalomjegyzék Pályázati támogatás Gondozó

Matematika A1. 8. feladatsor. Dierenciálás 2. Trigonometrikus függvények deriváltja. A láncszabály. 1. Határozzuk meg a dy/dx függvényt.

Mátrix-exponens, Laplace transzformáció

Lagrange és Hamilton mechanika

Kvantummechanika gyakorlat Beadandó feladatsor Határid : 4. heti gyakorlatok eleje

Függvényhatárérték és folytonosság

Konjugált gradiens módszer

Feladatok az 5. hétre. Eredményekkel és teljesen kidolgozott megoldásokkal az 1,2,3.(a),(b),(c), 6.(a) feladatokra

Komplex számok. Komplex számok és alakjaik, számolás komplex számokkal.

Vektorterek. Wettl Ferenc február 17. Wettl Ferenc Vektorterek február / 27

Feladatok a Gazdasági matematika II. tárgy gyakorlataihoz

Átírás:

Parciális dierenciálegyenletek 2009. május 25. A félév lezárásaként néhány alap-deníciót és alap-példát szeretnék adni a Parciális Dierenciálegynletek (PDE) témaköréb l. Épp csak egy kis izelít t. Az alapfeladatok leírása az Analízis II. jegyzetben is megtalálható, itt kicsit átdolgoztam azokat. 1. Bevezetés Parciális dierenciálegyenlet (PDE) olyan dierenciálegyenlet, ahol az ismeretlen függvény többváltozós, és az egyenletben az ismeretlen függvény parciális deriváltjai szerepelnek. Azt a legegyszer bb esetet tekintjük, amikor az ismeretlen függvény kétváltozós, melyet u = u(x, t) vagy u = u(x, y) jelöli. A jelölés attól függ majd, hogy milyen zikai jelenséget ír le az egyenlet. Az u(x, t) jelölés id ben változó folyamatot jelent, x a hely koordinátája, t pedig az id. Az u(x, y) jelölést akkor használjuk, ha egy id ben stacionárius síkbeli állapotról van szó. Itt (x, y) a síkbeli koordinátákat jelöli. Néhény konkrét els és másodrend PDE-t tekintünk, melyben kétváltozós, kétszer folytonosan deriválható u(x, t) függvényt keresünk. Az L[u] parciális dierenciál operátor valamilyen függvénye az u, u x, u t, u xx, u xt, u tt parciális deriváltaknak. A PDE lineáris, ha L[u] a felsorolt változóknak lineáris függvénye. 1. Példa. L 1 = t + b x els rend parciális dierenciáloperátor: L 1 [u] = u t + bu x b R 1

2. Példa. másodrend parciális dierenciáloperátor L 2 = t c2 2 x 2 L 2 [u] = u t c 2 u xx c R Az L[u] = 0 egyenlet homogén, az L[u] = f egyenlet inhomogén, ahol f adott kétvaltozós függvény. 2. Els rend lineáris PDE Tekíntsük az alábbi els rend kezdetiérték feladatot: u t(x, t) + bu x(x, t) = 0, (x, t) IR 2 (1) u(x, 0) = g(x), x IR, (2) ahol a g függvény írja le a zikai folyamat t = 0 id pontbeli helyzetét. Ez az ú.n. transport egyenlet. Itt az u(x, t) függv«y x koordinátája a hely/et jelenti, a t koordináta az id t. Tegyük fel, hogy valamely u(x, t) függvény megoldása a (1) egyenletnek. Legyen (x, t) egy rögzített pont és deniáljuk az alábbi valós függvényt: Ennek deriváltja z(s) = u(x + sb, t + s), s R. z (s) = u x(x + sb, t + s) b + u t(x + sb, t + s). Mivel u megoldása a parciális dierenciálegyenletnek, ezért z (s) = 0, ami azt jelenti, hogy a z(s) függvény konstans. Ezért az u függvény az (x + sb, t + s) IR 2, s IR módon paraméterezett egyenes mentén konstans értéket vesz fel: u(x + sb, t + s) = u(x, t), s IR Az ilyen típusú egyeneseket karakterisztikus egyenesnek hívjuk. 2

A fenti (1) egyenlethez tartozik egy kezdeti feltétel is, melyet a (2) egyenlet ad meg. Ha a keresett függvény értékét egy adott (x, t) pontban ki akarjuk számolni, akkor azt kell meghatározni, hogy a ponton áthaladó karakterisztikus egyenes hol metszi a t = 0 tengelyt. Ez s = t paraméterértéknél áll el, így: u(x, t) = u((x + sb, t + s) = u(x tb, 0) = g(x tb). Összefoglalva: a (1)-(2) kezdetiérték feladat megoldása: u(x, t) = g(x tb). Megjegyzés. Ha a kezdeti id ponthoz tartozó függvény nem dierenci ható - esetleg szakadása is van - akkor a fent deniált u(x, t) = g(x tb) függvényt a (1)-(2) egyenletek gyenge megoldásának nevezzük, Az így kapott u(x, t) nem lesz dierenciálható - mégis, bizonyos értelemben megoldása a transport egyenletnek. Err l kés bb fognak tanulni. 3. A h vezetés egyenlete Tekintsünk egy végtelen hosszúnak feltételezett rudat, melynek vastagsága elhanyagolható. Ennek h mérsékletét vizsgáljuk az id változásával. Feltételezésünk szerint a rúd szigetelve van a környezetéhez képest. Jelölje u(x, t) a t id pontban az x helyen a h mérsékletet. Fizikai 3

meggondolások alapján belátható, hogy (megfelel skálázással) ez a függvény kielégíti ezt a parciális dierenciálegyenletet: u t u xx = 0. (3) Ahhoz, hogy a h mérsékletet egyértelm en meg tudjuk határozni, szükség van a 0 id pontbeli h mérséklet ismeretére. A fenti PDE-hez az alábbi peremfeltételt adjuk meg: ahol f adott függvény, melyre u(x, 0) = f(x), x IR, (4) f 2 (x)dx <. Ezt a (4)feltételt azért hívjuk peremfeltételnek, mert az u függvény értelmezési tartományának: határán adja meg a függvényértékeket. D u = {(x, t) : x IR, t 0} Az (3) egyenlet általános megoldásának megkonstruálásához induljunk ki egy könnyen adódó megoldásból. Ezt a megoldást úgy kaphatjuk, hogy u(x, t)-t szeparált alakban keressük Ekkor u(x, t) = G(x)F (t). u t(x, t) = G(x)F (t) u xx(x, t) = G (x)f (t), így a (3) egyenletet átrendezve azt kapjuk, hogy F (t) F (t) = G (x) G(x) = λ. Ugyanis a fenti egyenletben az els kifejezés t függvénye, a másik pedig x függvénye - ezért egyenl ség esetén mindkett konstans. Fizikai meggondolások alapján a jobboldalon szerepl konstans csak negatív lehet (...miért?), λ = s 2 alakban írjuk. Így két közönséges DE-t kell megoldanunk: F (t) = s 2 F (t), G (x) = s 2 G(x), ahol s IR tetsz legesen megválasztható paraméter. Ezek egy alapmegoldása: F (t) = e s2t, G(x) = e isx. Az (3) egyenlet s paraméterhez tartozó alapmegoldása u s (x, t) = e s2 t+itx, 4

melynek értéke a peremen: u s (x, 0) = e ixs. Ezekb l fogjuk 'kikeverni' az általános megoldást. A módszer, amit alkalmazni fogunk, a Fourier módszer. Ha f egy négyzetesen integrálható valós függvény, akkor el állítható f(x) = 1 alakban, ahol f a függvény Fourier transzformáltja. e ixs f(s)ds 3.1. Allítás. A (3)-(4) peremérték feladat megoldása u(x, t) = 1 e ixs s2 t f(s)ds. (5) Bizonyítás: A (5) egyenletben deniált függvény teljesíti a peremfeltételt, hiszen t = 0-ra u(x, 0) = 1 e ixs f(s)ds = f(x). A függvény kielégíti a PDE-t is, hiszen az integráljel mögé deriválva minden s mellett kielégíti azt. Határozzuk meg a megoldást a kezdeti id pontban ismert f függvényében. Fourier transzformáltja, tehát: f függvény f f(s) = 1 Ezt behelyettesítve a (5) kifejezésbe azt kapjuk, hogy: u(x, t) = 1 ahol K(t, x, y) alkalmas magfüggvény: e iys f(y)dy K(x, t, y)f(y)dy, Leellen rizhetó, hogy K(t, x, y) = u(x, t) = 1 1 2t e is(x y) s2t ds. e (x y)2 4t f(y)dy. (6) 5

Megjegyzés. Speciális esetként legyen a h vezet rúd kezdeti eloszlása a Dirac delta függvény, δ(x). Ezt úgy képzelhetjük el, hogy a rúd a t = 0 id pontban az x = 0 pontban egységnyi h mennyiséget kap, ez a kezdeti feltétel. A PDE azt írja le, hogy ilyen impulzust adva hogy fog id ben szétoszlani a h. Ekkor a (6) képlet alapján u(x, t) = 1 1 2t e x2 4t, ami egy normális eloszlás s r ségfüggvénye (err l majd jöv re tanulnak). 4. A hullámmozgás egyenlete Tekintsünk egy végtelen hosszú rugalmas húrt, és legyen u(x, t) a t id pontban a húr x pontjának kitérése. Ha a húr hullámmozgást végez, akkor zikai meggondolások alapján u(x, t) olyan kétszer folytonosan dierenciálható függvény, mely kielégíti az alábbi PDE-t: u tt c 2 u xx = 0, (7) ahol c adott konstans. A feladat akkor lesz egyértelm en megoldható, ha megadjuk a kezdeti id pontban a húr helyzetét és az egyes pontokhoz tartozó pillanatnyi sebességet. A peremfeltételek tehát u(x, 0) = f(x), u t(x, 0) = g(x), (8) ahol f és g adott folytonosan dierenciálható függvények. Példa Legyen u(x, t) = F (x + ct), ahol F tetsz leges kétszer dierenciálható függvény. Ekkor tehát u megoldása a hullámegyenletnek. u xx = F, u tt = c 2 F, Hasonlóan, ha u(x, t) = G(x ct) alakú, ahol G tetsz leges kétszer dierenciálható függvény, akkor ez is a hullámegyenlet megoldása lesz. Egyszer számolással igzolható, hogy a hullámmozgás PDE általános megoldása u(x, t) = F (x + ct) + G(x ct), ahol F és G kétszer folytonosan dierenciálható valós függvények. 4.1. Allítás. A (7)- (8) feladat D'Alembert-féle megoldása: u(x, t) = f(x + ct) f(x ct) 2 6 + 1 2c x+ct x ct g(s)ds. (9)

Bizonyítás. Behelyettesítéssel igazolható. 1. Megjegyzés. Tegyük fel, hogy a kezdeti feltételben szerepl függvények véges intervallumon kívül 0 érték ek - azaz csak azon a szakaszon van bármiféle mozgás. A fenti formulából látszik, hogy minden x pontba ELJUT a húr rezgése elegend en nagy t esetén. 2. Megjegyzés. Az u(x, t) = F (x + ct) + G(x ct) függvény gyenge megoldása a hullámegyenletnek, ha F és/vagy G nem kétszer dierenciálható. Ennek a gyenge megoldásnak egy sajátoss ga, hogy az eredeti függvényekben jelen lev szingularitások nem t nnek el az id vel. Ha például F egy x 0 pontban szakad, akkor u szakadási helyei: {(x, t) : x ct = x 0 } - a szingularitás terjed tovább id vel. 5. Laplace egyenlet A PDE elmélet legfontosabb egyenlete a Laplace egyenlet. A kétdimenziós Laplace operátor = 2 x 2 + 2 y 2, Kétszer folytonosan dierenciálható u függvényre u = u xx + u yy. A Laplace egyenlet: u = 0 (10) A Laplace egynlethez többféle peremfeltételt lehet hozzárendelni. Legyen D IR 2 nyílt tartomány, melynek határa D. Dirichlet feladat: u(x, y) = 0, (x, y) D u(x, y) = g(x, y), (x, y) D ahol g elegend en sima adott függvény. Neumann feladat: u(x, y) = 0, (x, y) D n u(x, y) = g(x, y), (x, y) D ahol n u a határra mer leges iránymenti derivált, g elegend en sima adott függvény. 7

5.1. Deníció. Ha egy u függvény valamely D IR 2 tartományban kielégíti a Laplace egyenletet, akkor ott harmonikus. Komplex függvénytanban tanultuk, hogy egy dierenciálható komplex függvény kanonikus alakjában szerepl két kétváltozós valós függvény harmonikus. 6. Másodrend lineáris PDE-k osztályozása Az L[u] másodrend parciális dierenciáloperátor f része a másodrend tagokat tartalmazza: L 0 [u] = au xx + bu xt + cu tt. A PDE kanonikus alakú, ha b = 0. Belátható, hogy állandó együtthatós lineáris másodrend PDE alkalmas koordináta transzformációval kanonikus alakra hozható, melyben az operátor f része L 0 [u] = ε 1 u xx + ε 2 u tt, ε 1,2 = 0, ±1. A másodrend lineáris PDE-k osztályozása ez alapján történhet. 1. A PDE parabolikus típusú, ha ε 1 ε 2 = 0, azaz Példa erre a h vezetés egyenlete. ε 1 = 0, ε 2 0 vagy ε 1 0, ε 2 = 0. 2. A PDE hiperbolikus típusú, ha ε 1 ε 2 = 1, azaz ε 1 = 1, ε 2 = 1 vagy ε 1 = 1, ε 2 = 1. Hiperbolikus egyenlet például a hullámmozgás egyenlete. 3. A PDE elliptikus, ha ε 1 ε 2 = 1, azaz ε 1 = ε 2 = 1 vagy ε 1 = ε 2 = 1. Ebben az esetben a függvény változóit x és y jelöli, ezzel id ben nem változó folyamatokat lehet leírni. Erre példa a Laplace egyenlet. Az inhomogén elliptikus egyenletet Poisson egyenlet-nek hívjuk: u + f(x, y) = 0. 8