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:

  1. operator sajatertekeit es sajatfuggvenyeit ki kell szamolni.
  2. fuggvenyeket bazis szerint Fourier-sorba fejteni .
  3. KDE megoldasa .
  4. 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:

  1. -nek egyertelmuen letezik fixpontja, azaz ugy hogy .
  2. A kovetkezokeppen eloallitott sorozat tetszoleges pontbol inditva konvergal az egyetlen fixponthoz: .
  3. 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.

Diff egyenletek megoldasa Euler modszerrel

Explicit Euler-modszer

Implicit Euler-modszer