W03 Algebra Gewert


Algebra z elementami równań różniczkowych
Dr Marian Gewert
Wykład 03
Równania różniczkowe zwyczajne
Równania różniczkowe rzędu drugiego, sprowadzalne do równań rzędu
pierwszego
Zadanie: Rozwiązać równanie z warunkami początkowymi 4y ' ' y=1, y śą0źą=1, y ' śą0źą=-1
ćą
dq dq dy dy
y '=q śą yźą! y ' '= q 4q y=1 2q dq= / 2q dq=
ćą
+" +" +"
dy dy
2 y 2 y
ćą ćą
q2= yąC1 q= yąC1("q=- ćą ćą
yąC1 y '= yąC1 (" y' =- ćą
yąC1
ćą ćą
ćą ćą ćą ćą
ą
nie może być bo y 'śą0źą=-1
1
y'=- ćą
yąC1 y' śą0źą=- ćą
yśą0źąąC1 -1=- 1ąC1 C =0 y '=- ćą
y y '=- y4
ćą ćą
ćą ćą
1
4
1 1 3 3
- -
3
4 3 3
4 4
y dy=-dt / y dy=- dt y4=--tąC2 y4=- tąC yśąt źą= - tąC2
+" +" +"
2
śą źą
3 4 4
ćą
4
3 3 3
yśą0źą= C4=1 C =1 yśą tźą= - t ą1
ćą
2 2
śą źą
4
ćą
Równania różniczkowe rzędu II liniowe
Definicja:
śąLźą y ' 'ą p śątźą y 'ąq śątźą y=h śątźą
Równanie postaci nazywamy równaniem różniczkowym
liniowym.
Twierdzenie: (o istnieniu i jednoznaczności)
p śątźą , qśąt źą hśątźą śąa ,bźą
Niech funkcje oraz są ciągłe na przedziale
wtedy zagadnienie początkowe
y' 'ą pśąt źą y 'ąq śątźą y=h śątźą , y śąt0źą= y0 , y' śąt0źą= y1 ,
t0"śąa , bźą , y0 , y1"!
gdzie ma dokładnie jedno rozwiązanie.
śąa , bźą
Rozwiązanie to jest określone na całym przedziale .
W dalszej części wykładu dla uproszczenia twierdzeń i definicji przyjmujemy że wszystkie funkcje
śąa ,bźą
są ciągłe na przedziale .
Równania różniczkowe rzędu II liniowe jednorodne
Definicja:
śąLJ źą y ' ' ą p śątźą y'ąqśąt źą y=0
Równanie postaci nazywamy równaniami liniowymi
jednorodnymi.
Fakt:
y1śątźą , y2śąt źą ą1 y1śąt źąąą2 y2śątźą
Niech będą rozwiązaniami równania (LJ). Wtedy funkcja , gdzie
ą1 , ą2"!
jest również rozwiązaniem równania (LJ).
Definicja:
y1śątźą , y2śąt źą
Parę rozwiązań równania (LJ) spełniającą warunek:
y1śąt źą y2śąt źą
W śą y1 , y2źąśąt źą=det `"0
t"śąa , bźą
dla , nazywamy układem fundamentalnym
[ ]
y1' śąt źą y2 ' śątźą
równania (LJ). wrońskian
Przykład: Sprawdzić czy funkcje y1śątźą=e2t , y2śątźą=te2t tworzą bazę równania
y ' '-4y'ą4y=0 !
na .
?
1.
y1śątźą=e2t y1 ' '-4y1' śąt źąą4y1śątźą=0 y1' śąt źą=2 e2t y1' ' śąt źą=4 e2t 4e2t-8e2tą4 e2t=0
?
y2śątźą=te2t y2' '-4y2' śątźąą4y2 śątźą=0 y2 '=e2tą2te2t=śą1ą2tźą e2t
y2' '=2 e2tą2śą1ą2tźąe2t=śą4ą4tźąe2t śą4ą4t źąe2t-4śą1ą2tźą e2tą4te2t=0
e2t te2t =e4tą2te4t-2te4t=e4t`"0
2. W śą y1 , y2źąśąt źą=det
[ ]
2 e2t e2tą2te2t
Czyli układ jest fundamentalny.
Twierdzenie:
y1śątźą , y2śąt źą
Niech będzie układem fundamentalnym równania (LJ). Wtedy dla każdego

ą
ą
yśątźą C1 , C2
rozwiązania tego równania istnieją (jednoznacznie wyznaczone) stałe takie, że

ą
ą2 .
yśątźą=C1 y1śątźąąC y2śąt źą
Dowód:
t0"śąa , bźą yśąt0źą= y0 , y ' śąt0źą= y1
Niech i oznaczmy . Rozważmy układ równań:
y1śąt0źą y2śąt0źą
C1 y1śąt0źąąC2 y śąt0źą= y0 C1 = y0
2
[ ]
[ ] [ ]
y1' śąt0źą y2 ' śąt0źą
C1 y1 ' śąt0źąąC y2 ' śąt0źą= y1 C2 y1
2
Czyli są jednoznacznie wyznaczone
y1śąt0źą y2 śąt0źą
ą
ą
C1 ,C2
det =W śą y1 , y2źąśąt0źą`"0
[ ]
y1' śąt0źą y2 ' śąt0źą

ą
ą2
yśątźą=C1 y1śątźąąC y2śąt źą yśąt źą
Rozważmy funkcje
ą
ą jest rozwiązaniem (LJ)

ą1
ą2
yśąt0źą=C y1śąt0źąąC y2śąt0źą= y0

ą
yśątźą= y śątźą
Z twierdzenia o istnieniu i jednoznaczności
ą

ą1
ą
yśąt0źą=C y1' śąt0źąąC2 y2' śą t0źą= y1

ą
Uwaga:
C1 y1śąt źąąC2 y2śątźą C1 , C2"!
Rozwiązanie równania (LJ) postaci , gdzie nazywamy
rozwiązaniem ogólnym równania (LJ).
Równania o stałych współczynnikach
Definicja:
śą LS źą y ' ' ą py 'ąqy=0
Równanie postaci , gdzie p , q "! nazywamy równaniem o stałych
współczynnikach.
dy= p dt ln#"y#"=- ptąln#"C#" y śąt źą=Ce- pt
y ' ą py=0 p "!
y
ą
Przykład: Wyznaczyć parametr tak aby funkcja yśątźą=eą t była rozwiązaniem równania (LJ)
y' śątźą=ąeąt y ' ' =ą2 eą t y' ' śąt źąą py' śątźąąqy śąt źą=ą2 eątą p ąeątąqeąt=śąą2ą pąąqźąeąt=0 !
! ą2ą p ąąq=0
Definicja:
Wielomian W śąąźą=ą2ą p ąąq nazywamy wielomianem charakterystycznym równania (LS).
ąśąąźą=0
Równanie nazywamy równaniem charakterystycznym (LS).
ą1 , ą2 będą pierwiastkami równania charakterystycznego równania (LS).
Niech
1 2
1. ą1 , ą2"! , ą1`"ą2 y1śątźą=eą t , y2śąt źą=eą t - rozwiązania
1 2
eą t eą t
1 1 1
W śą y1 , y2źąśąt źą= =ą2eśąą ąą2źąt-ą1 eśąą ąą2źąt=śąą2-ą1źąeśąą ąą2źąt`"0
1 2
#" #"
ą1 eą t ą2eą t
1 2
y1śątźą=eą t , y2śąt źą=eą t - układ fundamentalny.
2. ą1 , ą2"! , ą1=ą2=ą y1śątźą=ą eąt - rozwiązanie
y2śątźą=u śąt źąeą t u ' śąt źą=0 u śątźą=t y2śątźą=teąt
eą t teą t =e2 ąąt e2 -ąt e2 =ąt e2 `"0
ąt ąt ąt ą t
W śą y1 , y2źąśąt źą=
#" #"
eą t eą tąąteą t
y1śątźą=ąeąt , y2śątźą=ą t eą t - układ fundamentalny.
ą
ą1=ąąi ą , ą2=ą1=ą-i ą
3. , gdzie ąą0
y1śątźą=eą t cos ąt , y2 śątźą=eą t sin ą t - układ fundamentalny.
Przykład: Rozwiąż równanie y ' '-2y=0
1. ą2-2=0
2 ą2= 2
2. ą1=-ćą ćą
3. y1śątźą=e-ćą2t y2 śąt źą=ećą2 t
4. yśątźą=C1 e-ćą2 tąC ećą2 t
2
y ' ' -4y 'ą3y=0 y śą0źą=7 y ' śą0źą=16
4-2=1 ą2= 4ą2=3 y1śątźą=et y2śątźą=e3t
ą2-4ąą3=0 ą=16-12=4 ą1=
2 2
yśątźą=C1 etąC e3t y ' śątźą=C1 etą3C2e3t yśą0źą=C1ąC 2=7 2C2=9 C =9 C1=5
2 2
2 2
y' śą0źą=C1ą3C2=16
5 9
yśątźą= etą e3t
2 2
y' '-4y'ą5y=0
4ą2i=2ąi ą2= 4-2i
ą2-4 ąą5 ą=16-20=-4 ą1= =2-i
2 2
y1śąt źą=e2t cost y2 śątźą=e2t sin t yśąt źą=C1e2t costąC2 e2t sin t


Wyszukiwarka

Podobne podstrony:
W07 Algebra Gewert
W08 Algebra Gewert
W02 Algebra Gewert
W01 Algebra Gewert
W06 Algebra Gewert
W04 Algebra Gewert
W05 Algebra Gewert
W09 Algebra Gewert
lista uzupelniajaca Gewerta algebra
Wstęp do pakietu algebry komputerowej Maple
Algebra Ikl
Microsoft PowerPoint 04 algebra relacji i rachunek relacyjny
2008 11 Maximum Math Free Computer Algebra with Maxima
lista zadań, algebra
algebra kolokwium (liczby zespolone)
Geometia i Algebra Liniowa

więcej podobnych podstron