matematyka - opracowanie


Def: Niech 0x01 graphic
będzie ustalone oraz 0x01 graphic
będzie zbiorem otwartym, a funkcja 0x01 graphic
będize dana. Wówczas równanie postaci:

(1) 0x01 graphic
nazywamy równaniem różniczkowym zwyczajnym rzędu n. (jest to postać normalna, tzn y^(n) w sposób jawny). Ogólniej: (1') 0x01 graphic

Def:

  1. Funkcję 0x01 graphic
    nazywamy rozwiązaniem lub całką szczególną równania (1), jeżeli jest ona n-krotnie różniczkowalna w przedziale (a,b); zbiór 0x01 graphic
    oraz 0x01 graphic

  2. Jeżeli 0x01 graphic
    jest rozwiązaniem szczególnym równania (1) to jej wykres nazywamy krzywą całkową równania (1).

  3. Zbiór wszystkich rozwiązań szczególnych w (a,b) równania różniczkowego (1) nazywamy rozwiązaniem ogólnym (całką ogólną) równania 91) w przedziale (a,b)

Def: Poszukiwania rozwiązania szczególnego równania 0x01 graphic
spełniającym warunek początkowy 0x01 graphic
nazywamy problemem Cauchy'ego.

Tw. Picarda.

Jeżeli funkcja f jest funkcją ciągłą mającą ciągłą pochodną cząstkową względem y w obszarze D, to problem Cauchy'ego ma dokładnie jedno rozwiązanie dla dowolnego 0x01 graphic

Założenia:

0x01 graphic
→ iloczyn dwóch funkcji

0x01 graphic
0x01 graphic
- ciągła

0x01 graphic
0x01 graphic
- ciągła

Tw: 0x01 graphic
problem początkowy Cauchy'ego 0x01 graphic
ma dokładnie jedno rozwiązanie.

Def: RLJ (równanie liniowe jednorodne) 0x01 graphic

RLN (równanie liniowe niejednorodne) 0x01 graphic

Równania jednorodne - Jeżeli funkcja 0x01 graphic
ciągła, to dla każdego 0x01 graphic
problem początkowy Cauchy'ego ma dokładnie jedno rozwiązanie w przedziale 0x01 graphic

Równania niejednorodne - Jeżeli funkcja 0x01 graphic
ciągła, to dla każdego 0x01 graphic
problem początkowy Cauchy'ego, czyli 0x01 graphic
ma dokładnie jedno rozwiązanie w przedziale 0x01 graphic

RORLJ jest postaci 0x01 graphic
gdzie 0x01 graphic

RSRLN: tzn funkcja 0x01 graphic
jest rozwiązaniem ogólnym równania liniowego niejednorodnego, czyli 0x01 graphic
gdzie 0x01 graphic
jest RORLJ, a 0x01 graphic
jest RSRLN.

Tw: Rozwiązanie ogólne: RORNJ=RORLJ+RSRLN

Każde równanie postaci (1) 0x01 graphic
gdzie f-ciągła, można zapisać w postaci (2) 0x01 graphic
gdzie P I Q są ciągłe.

Def: Równanie 0x01 graphic
nazywamy równaniem zupełnym w obszarze D, jeżeli istnieje funkcja 0x01 graphic
klasy 0x01 graphic
taka, że 0x01 graphic
, 0x01 graphic
.

Tw. Jeżeli równanie 0x01 graphic
jest zupelne w obszarze D to jego rozwiązanie ogólne w postaci uwikłanej dane jest równaniem 0x01 graphic
, 0x01 graphic
, 0x01 graphic

Def: Jeżeli funkcja 0x01 graphic
jest ciągła I nie zeruje się w żadnym punkcie obszaru D a równaniem 0x01 graphic
jest zupełne w D to u nazywamy czynnikiem całkującym równania (2)

Tw. Niech 0x01 graphic
. Warunkiem koniecznym I wystarczającym na to, żeby równanie (2) miało czynnik całkujący postaci:

  1. 0x01 graphic
    jest by 0x01 graphic
    I wówczas 0x01 graphic

  2. 0x01 graphic
    jest by 0x01 graphic
    I wówczas 0x01 graphic

Def: Problemem Cauchy'ego dla równania różniczkowego rzędu n 0x01 graphic
0x01 graphic
nazywamy poszukiwanie rozwiązania szczególnego tego równania spełniającego warunki początkowe. 0x01 graphic

Tw. Jeżeli funkcja f jest ciągła w obszarze 0x01 graphic
I ma w 0x01 graphic
ciągłe pochodne cząstkowe względem zmiennych 0x01 graphic
, to dla dowolnego 0x01 graphic
problem początkowy Cauchy'ego 0x01 graphic
ma dokładnie jedno rozwiązanie.

Def: Układem n równań różniczkowych rzędu 1 nazywamy wyrażenie postaci:

0x01 graphic
gdzie 0x01 graphic
- funkcje okreslone na zbiorze otwartym 0x01 graphic
zaś 0x01 graphic

Def: Ciąg funkcji różniczkowalnych w przedziale (a,b) 0x01 graphic
nazywamy rozwiązaniem szczególnym układu równań w przedziale (a,b), jeśli na przedziale (a,b) 0x01 graphic

Def: Zbiór 0x01 graphic
nazywamy krzywą całkową rozwiązania szczególnego 0x01 graphic

Def: Zbiór 0x01 graphic
nazywamy trajektorią rozwiązania szczególnego 0x01 graphic

Def: Ukłąd równań oraz układ warunków 0x01 graphic
nazywamy problemem początkowym Cauchy'ego

Tw. Jeżeli funkcje 0x01 graphic
są ciągłe w obszarze 0x01 graphic
I mają ciągłe pochodne cząstkowe względem zmiennych 0x01 graphic
oraz 0x01 graphic
to problem Cauchy'ego ma dokładnie jedno rozwiązanie.

Def: Jeżeli macierz 0x01 graphic
jest macierzą o wyrazach stałych to URL nazywamy układem równań liniowych o stałych współczynnikach.

Niech 0x01 graphic
będzie wartością własną macierzy A układu jednorodnego o stałych współczynnikach.

  1. Jeżeli 0x01 graphic
    jest krotnością 1 to funkcja wektorowa 0x01 graphic
    gdzie 0x01 graphic
    jest dowolnym wektorem własnym odpowiadającym wartości własnej 0x01 graphic
    jest rozwiązaniem tego układu.

  2. Jeżeli 0x01 graphic
    i 0x01 graphic
    , gdzie 0x01 graphic
    są krotności 1, to każda z funkcji wektorowych 0x01 graphic
    , 0x01 graphic
    , gdzie 0x01 graphic
    jest dowolnym wektorem własnym odpowiadającym wartości własnej 0x01 graphic
    jest rozwiązaniem tego układu.

  3. Jeżeli macierz A ma tylko jednokrotne wartości własne (rzeczywiste lub zespolone), to funkcje zestawione dla wszystkich tych wartości w podany powyżej sposób stanowią jego układ fundamentalny

  4. Jeżeli jakaś wartość własna %lambda macierzy A jest k-krotna (k>1), to ponieważ wiemy, że A jest diagonalizowalna, istnieje k liniowo niezaleznych wektorów własych odpowiadających tej wartości własnej 0x01 graphic
    (bo przestrzeń własna odpowiadająca tej wartości własnej 0x01 graphic
    jest k-wymiarowa). Każdemu takimeu wektorowi 0x01 graphic
    odpowiada k funkcji wektorowych (lub 2k, gdy 0x01 graphic
    - zespolone), które tworzymy analogicznie jak dla k=1.

W ten sposób tworzymy układ fundamentalny, składający się z n funkcji wektorowych.

Def: Autonomicznym (stacjonarnym) układem równań różniczkowych rzędu pierwszego nazywamy układ postaci UA: 0x01 graphic
.

Def: Punkt 0x01 graphic
nazywamy punktem równowagi układu UA, jeżeli 0x01 graphic
.

Punkt 0x01 graphic
(rozwiązanie trywialne) jest punktem równowagi URLJ o stałych współczynnikach.

Każdy punkt równowagi układu UA wyznacza rozwiązanie stałe: 0x01 graphic
na 0x01 graphic
tego układu. Rozwiązanie takie nazywamy rozwiązaniem równowagi lub rozwiązaniem stacjonarnym.

Def: Punkt równowagi 0x01 graphic
układu UA nazywamy stabilnym, jeżeli 0x01 graphic
taka, że każde rozwiązanie 0x01 graphic
tego układu z warunkiem początkowym 0x01 graphic
spełniającym nierówność 0x01 graphic
istnieje na 0x01 graphic
I spełnia ten warunek: 0x01 graphic
. W przeciwnym wypadku punkt równowagi nazywamy niestabilnym.

Def. Punkt równowagi 0x01 graphic
układu UA nazywamy asymptotycznie stabiltymy jeżeli jest stabilny I jeżeli 0x01 graphic
takie, że każde rozwiązanie 0x01 graphic
z warunkiem początkowym 0x01 graphic
spełniającym nierówność 0x01 graphic
spełnia warunki 0x01 graphic