Kezdeti es peremertek feladatok fogalma
Kezdeti feltetel, azaz kezdeti ertek avagy Cauchy-feladat
Van egy kituntettett valtozo, peldaul peldaul az ido valtozo.
Ekkor esetet peremnek hivjuk ahol meg van adva peremertek
Na, tehat van egy kituntetett valtozo, ami altalaban az ido es a kezdeti ertek -ban meg van adva hogy milyen ertekeket vesz fel .
Peldaul egy dobozban van valami gaz ami egy parc diff egyenlet alapjan viselkedik es mi megmondjuk hogy amikor elkezdtuk a kiserletet milyen alloptban volt a gaz.
Def.: az ugy nevezett Laplace operator ahol
Parabolikus alak (hovezetesi egyenlet)
Hiperbolikus alak (hullam egyenlet)
Peremfeltetel, azaz peremertek feladat
Megadjuk -nak vagy derivaltjanak az erteket egy peremen, azaz egy korlatos hataran.
Peldaul egy dobozban van valami gaz ami egy parc diff egyenlet alapkan viselkedik es mi a kiserlet soran merjuk a doboz falain a gazt.
- Dirichlet-fele peremertek feladat: adott
- Neumann-fele peremertek feladat: adott
- Vegyes peremertek feladat: adoot
Ha az adott peremertek feltetel nulla az egesz peremen akkor homogennak mondjuk a peremertek feladatot, kulonben inhomogen.
Megj.: Lehet kezdeti es perem feltetelt egyszerre is adni. Peldaul a dobozban ismerem hogy mi volt a kezdeti allapot es kozben merem a falakon a gaz allapotat.
Elliptikus alak (Poisson egyenlet)
Altalanos eset:
Fourier modszer vegyes feladatokra
Vegyes feladat
Def.: Egy operatornak sajatfuggvenye sajatertekkel, ha
Keressuk az megoldast Fourier-sor alakban, azaz
ahol az sajatfuggvenye (). Ekkor is felirhato ebben bazisban a kovetkezo Fourier-sorral:
Ha ilyen alakban keressuk akkor nezzuk meg hogyan nez ki a feladat felirasa ezzel a behelyettesitessel:
A parcialis derivaltat bevihetjuk a szummaba es az operatort is alkalmazhatjuk egyesevel:
Mivel sajatfuggvenye nek minden -ra, ezert . Ezt kihasznalva a kovetkezore jutunk:
Osszevonva a ket szummat es kiemelve -t a kovetkezot kapjuk:
Most lathatjuk hogy ezekkel a trukkokkel arra redukaltuk a vegye PDE-t, hogy vegtelen sok masodrendu KDE-enk van, tehat ertekre kell a kovetkezot megoldanunk:
Osszegezve a kovetkezok a lepesei a Fourier-modszernek:
- operator sajatertekeit es sajatfuggvenyeit ki kell szamolni.
- fuggvenyeket bazis szerint Fourier-sorba fejteni .
- KDE megoldasa .
- Osszerakni a vegso megoldast .
Linearis es nemlinearis algebrai rendszerek iteracios megoldasa
Alapfeladat:
Gauss eliminacio
Mindenki tudja hogy hogyan mukodik.
Jacobi-iteracio
A kovetkezo iteracios megoldok azon az otleten alapulnak hogy ha az rendszert at tudjuk alakitani alakra akkor felhasznalva a Banach fixpont tetelt (felteve hogy teljesulnek a feltetelek) iteralva az egyenletet egy fixponthoz fogunk konvergalni.
Tetel: (Banach fixpont) Adott fuggveny ha kontrakcio az egesz -en egyutthatoval akkor:
- -nek egyertelmuen letezik fixpontja, azaz ugy hogy .
- A kovetkezokeppen eloallitott sorozat tetszoleges pontbol inditva konvergal az egyetlen fixponthoz: .
- A konvergencia uteme a kovetkezo keplettel adott:
Def.: Az fuggveny kontrakcio az egesz -en egyutthatoval valamely -beli normaban, ha letezik egyutthato amelyre:
Ergo, Lipscitz egyutthatoval.
Nezzuk meg hogy az fuggveny mikor kontrakcio:
Tehat csak akkor kontrakcio a fuggveny ha van olyan norma -en ami olyan matrix normat indukal amelyben .
Tehat es . Tehat a kovetkezokeppen nez ki a Jacobi-iteracio keplete:
Gauss–Seidel-iteracio
Tehat es . Tehat a kovetkezokeppen nez ki a Gauss–Seidel-iteracio keplete:
Egylepeses iteracio altalanos alakja
Vegyuk eszre hogy a Jacobi-iteraciot at tudjuk irni a kovetkezo alakban:
Mivel ezert .
Hasonlokeppen a Gauss–Seidel-iteraciot is at tudjuk irni:
Altalanos egylepeses iteracio:
A fenti jelolessel elve fel tudjuk irni a Jacobi-iteraciot es a Gauss–Seidel iteraciot is a kovetkezo ertekadasokkal.
- Jacobi: ,
- Gauss–Seidel: ,
Gradiens modszer
Valamilyen trukkos modon ha felirunk egy fuggvenyt aminek pont abban az pontban van minimumhelye ahol akkor ennek a fuggvenynek a minumhelyet megkeresve valahogy megkapjuk a megoldast a keresett egyenletrendszerre.
Legyen
Tobbvaltozos analizisbol tudjuk, hogy . Tehat ahol ott , azaz .
Tovabba, ha feltesszuk hogy szimmetrikus pozitiv definit, akkor pozitiv definit tehat valoban minimumhely .
Na most ha tudunk egy olyan eljarast ami egy fuggveny minimumhelyet megtalalja akkor megoldottuk az egyenletrendszert.
Mivel tudjuk hogy egy fuggveny a gradiense abba az iranyba mutat amelyik iranyba a leggyorsabban no a fuggveny, tehat abba az ellentetes iranyba csokken a leggyorsabban. Ha vesszuk a fuggveny gradienset es annak elentetes iranyba lepunk egy meretu lepest akkor a kovetkezot kapjuk:
Konjugalt gradiens modszer
Newton-iteracio
Analog tobb dimenzioban:
Ahol az fuggveny Jacobi-matrixa az pontban.