Aleksander Brzeziński
a.brzezinski@gik.pw.edu.pl, tel. 0607/211-589
RÓWNANIA RÓŻNICZKOWE LINIOWE O STAAYCH WSPÓACZYNNIKACH
Wykład: Zaawansowane metody opracowywania obserwacji
Kierunek: Geodezja i Kartografia, semestr II 2014/2015
notatki do wykładu w dniu 28.10.2014 r.
Zalecana lektura:
Arnold V. I., 1973, Ordinary Differential Equations, (translated from Russian and edited by R. A. Silverman), The M.I.T. Press,
Cambridge, Mass., and London, England (Polish translation was published by PWN in 1975)
BrzeziÅ„ski A., 1987, Polar motion and excitation functions, Mitteilungen der geodätischen Institute der Technischen Universität
Graz, Folge 58, Graz, Austria
Równania różniczkowe liniowe o stałych współczynnikach
Rozpatrzmy liniowe równanie różniczkowe zwyczajne rzędu 1 (wektorowe, lub równoważnie,
układ równań skalarnych)
×
× - A× = f, (1)
‹ x
w którym
× wektor niewiadomych (wymiaru n),
x(t)
×
f(t) znana funkcja wektorowa (wymiaru n),
A macierz kwadratowa o staÅ‚ych współczynnikach (wymiaru n × n).
Wszystkie wielkości występujące w równaniu (1) mogą być albo jednocześnie rzeczywiste, albo
jednocześnie zespolone; mówimy wtedy odpowiednio o równaniu w dziedzinie liczb rzeczywistych
lub w dziedzinie liczb zespolonych.
Uwagi
1. Równania różniczkowe zwyczajne rzędu wyższego niż 1 można zawsze sprowadzić do postaci
(1) wprowadzajÄ…c zmienne pomocnicze;
2. Każde rozwiÄ…zanie równania (1) z warunkiem poczÄ…tkowym × x0
x(t0)=× jest sumÄ… rozwiÄ…zania
×
ogólnego × o(t) odpowiadajÄ…cego równania jednorodnego (tzn. równania (1) przy f(t) =×
x 0)
z warunkiem poczÄ…tkowym × = × oraz rozwiÄ…zania szczególnego × s(t) równania (1) z
x(t0) x0 x
zerowym warunkiem poczÄ…tkowym × 0.
x(t0)=×
W fizyce, rozwiÄ…zania × o(t) i × s(t) nazywa siÄ™ czÄ™sto odpowiednio rozwiÄ…zaniem swobodnym i
x x
×
wymuszonym, a f(t) funkcjÄ… wymuszajÄ…cÄ… lub pobudzajÄ…cÄ….
Równania różniczkowe liniowe o stałych współczynnikach
Rozwiązanie ogólne (swobodne)
Rozważmy najpierw wersję jednorodną równania (1)
×
× - A× = 0, (2)
‹ x
z warunkiem poczÄ…tkowym × x0.
x(t0)=× RozwiÄ…zanie równania (2) przyjmuje postać
× o(t) = Åš(t - t0)× (3)
x x0,
gdzie Ś jest tzw. macierzą fundamentalną bądz macierzą przejścia równania (układu równań)
(1), i wyraża się wzorem
Åš(Ä) = eAÄ, (4)
w którym funkcja wykładnicza macierzy jest zgodna z definicją podaną w poprzednim wykładzie.
Własności macierzy przejścia: Macierz przejścia jest zawsze nieosobliwa i spełnia następujące
równania
Åš(0) = I , (5)
Åš(Ä1 + Ä2) = Åš(Ä1)Åš(Ä2) , (6)
Åš(-Ä) = Åš-1(Ä) , (7)
det[Åš(Ä)] = etr(A)·Ä , (8)
gdzie I oznacza macierz jednostkową, det oznacza wyznacznik, a tr ślad macierzy.
Równania różniczkowe liniowe o stałych współczynnikach
Rozwiązanie z wykorzystaniem wartości własnych
Niech 1, 2, . . . , n będą wartościami własnymi macierzy A. Przyjmijmy dodatkowo, ze warto-
ści własne są parami różne. Przy tym założeniu istnieje n odpowiadających wektorów własnych
× × ×
¾1, ¾2, . . . , ¾n, które sÄ… liniowo niezależne. Oznaczmy przez S macierz wymiaru n × n, której
[ ]
× × ×
kolumny są współrzędnymi wektorów własnych, tzn. S = . Zgodnie z równaniem
¾1 ¾2 . . . ¾n
(15) z poprzedniego wykładu, macierz przejścia wyraża się wzorem
ëÅ‚ öÅ‚
e1Ä 0 · · · 0
ìÅ‚ ÷Å‚
ìÅ‚ ÷Å‚
ìÅ‚ ÷Å‚
ìÅ‚ ÷Å‚
0 e2Ä · · · 0
ìÅ‚ ÷Å‚
ìÅ‚ ÷Å‚
Åš(Ä) = eAÄ = Se›ÄS-1 = S S-1 . (9)
ìÅ‚ ÷Å‚
. . .
.
ìÅ‚ ÷Å‚
. . . .
.
ìÅ‚ . . . ÷Å‚
ìÅ‚ ÷Å‚
íÅ‚ Å‚Å‚
0 0 · · · enÄ
Zauważmy, że wszystkie własności macierzy przejścia, wyrażone przez równania (5) do (8),
można łatwo wydedukować z równania (9).
Rozwiązanie ogólne równania różniczkowego liniowego, wyrażone przez równanie (3) z macie-
rzą przejścia opisaną równaniem (9), może być także przedstawione jako jawna funkcja wartości
i wektorów własnych
n
"
×
× o(t) = ak¾kek(t-t0), (10)
x
k=1
gdzie stałe współczynniki a1, a2, . . . , an są zdefiniowane przez warunek początkowy
n
"
×
× x0 (11)
x(t0) = × = ak¾k.
k=1
Równania różniczkowe liniowe o stałych współczynnikach
Rozwiązanie ogólne może być również sformułowane bez jawnego odwoływania się do wektorów
własnych. Zamiast równania (10), przyjmujemy następującą postać rozwiązania
n
"
× o(t) = × (12)
x akek(t-t0),
k=1
a nastÄ™pnie wyznaczamy staÅ‚e współczynniki wektorowe × poprzez podstawienie wyrażenia (12)
ak
do równania (2), a nastÄ™pnie uwzglÄ™dnienie warunku poczÄ…tkowego × x0.
x(t0)=×
Zauważmy, że macierz przejÅ›cia Åš(Ä) nie pojawia siÄ™ w postaci jawnej w rozwiÄ…zaniu zadanym
równaniami (10) bądz (12). Niemniej z dalszych rozważań wynika, że macierz przejścia jest
ważnym elementem rozwiązania szczególnego (wymuszonego). W praktyce możemy postąpić
na dwa sposoby:
1. Wyznaczyć wartoÅ›ci wÅ‚asne i wektory wÅ‚asne macierzy A, a nastÄ™pnie wrazić macierz Åš(Ä)
przy pomocy wzoru (9). W następnym kroku macierz przejścia może być wykorzystana do
wyznaczenia zarówno rozwiązania ogólnego, r-nie (3), jak i rozwiązania szczególnego.
2. Wyznaczyć rozwiązanie ogólne korzystając ze wzoru (10) bądz (12), a następnie wyznaczyć
macierz przejścia porównując otrzymane rozwiązanie z równaniem (3). W kolejności, otrzy-
mana macierz przejścia może być wykorzystana do wyznaczenia rozwiązania szczególnego.
Przypadek szczególny: równanie rzeczywiste z zespolonymi wartościami własnymi
Zajmiemy się teraz przypadkiem równania różniczkowego o wpółczynnikach rzeczywistych, któ-
rego niektóre wartości własne są zespolone.
Równania różniczkowe liniowe o stałych współczynnikach
Równanie (1) jest rzeczywiste, a jego wartości własne są rzeczywiste k dla k 1, . . . , n1, lub
"=
zespolone, wzajemnie sprzężone ! = Ä…! Ä… iÉ! dla ! = 1, . . . , n2, gdzie i = -1, Ä…!, É! " R
oraz n1 + 2n2 = n. Jak było powiedziane w poprzednim wykładzie, odpowiadające wektory
× × ×
wÅ‚asne sÄ… rzeczywiste ¾k dla k = 1, . . . , n1, i zespolone, wzajemnie sprzężone ¾! i (¾!)" dla
! = 1, . . . , n2.
Rozwiązanie równania jednorodnego jest sumą funkcji wykładniczych oraz sinusoid ze zmienia-
jącymi się wykładniczo amplitudami
[ ]
n1 n2
" "
× × ×
× o(t) = ak¾kek(t-t0) + eÄ…!(t-t0) b!¾!eiÉ!(t-t0) + b"(¾!)"e-iÉ!(t-t0)
x
!
k=1 !=1
n1 n2
" "
×
= ak¾kek(t-t0) + eÄ…!(t-t0) [× c cos É!(t - t0) + × s sin É!(t - t0)] . (13)
a! a!
k=1 !=1
StaÅ‚e wektory × c i × s mogÄ… być wyrażone przez staÅ‚e zespolone b! oraz współrzÄ™dne zespolonych
a! a!
×
wektorów wÅ‚asnych ¾!, czym siÄ™ tutaj nie bÄ™dziemy zajmować. Czytelnik może także postÄ…pić
w podobny sposób, jak w przypadku równania (12), tzn. podstawić rozwiązanie (13) do wzoru
(2), a następnie skorzystać z warunku początkowego.
Przypadek wielokrotnych wartości własnych
W przypadku wielokrotnych wartości własnych rozwiązanie ma postać podobną do równania (12)
z jedną tylko różnicą polegającą na tym, że człon wykładniczy ek(t-t0) odpowiadający wartości
wÅ‚asnej k o krotnoÅ›ci ½k jest zastÄ…piony przez quasi-wielomian, tzn. wyrażenie p(t)ek(t-t0), w
którym p(t) jest wielomianem stopnia niższego niż ½k.
Równania różniczkowe liniowe o stałych współczynnikach
Rozwiązanie równania niejednorodnego
×
RozwiÄ…zanie szczególne r-nia (1) z zerowym warunkiem poczÄ…tkowym ×
x(t0) = 0 wyraża się
poprzez tzw. splot (ang. convolution) macierzy fundamentalnej równania, Åš(Ä), z funkcjÄ… wy-
×
muszajÄ…cÄ… f:
t
+"
×
× s(t) = Åš(t - Ä)f(Ä)dÄ. (14)
x
t0
Rozwiązanie końcowe jest sumą rozwiązania ogólnego (3) oraz rozwiązania szczególnego (14)
t
+"
×
× = × o(t) + × s(t) = Åš(t - t0)× + Åš(t - Ä)f(Ä)dÄ. (15)
x(t) x x x0
t0
Stabilność liniowych systemów dynamicznych
Przyjmijmy, że równanie (1) opisuje zmiany czasowe pewnego układu fizycznego reprezento-
wanego przez wektor × nazywany wektorem stanu; ten ukÅ‚ad bÄ™dzie nazywany liniowym
x(t)
układem dynamicznym. Z naszych wcześniejszych rozważań jest jasne, że dla pewnych wartości
parametrów równania (1) jego rozwiązanie zmienia się stabilnie w czasie, a dla innych wartości
parametrów następuje szybka eksplozja rozwiązania.
Ściśle rzecz ujmując, liniowy układ dynamiczny nazwiemy stabilnym jeśli rozwiązania swobod-
ne, tzn. przy braku siły wymuszającej, zanikają z czasem. Jeśli nie zanikają, ale są ograniczone,
wówczas układ nazwiemy neutralnie stabilnym. W pozostałych przypadkach będziemy mówić o
układzie niestabilnym.
Równania różniczkowe liniowe o stałych współczynnikach
Oznaczmy wartoÅ›ci wÅ‚asne ukÅ‚adu (1) przez k = Ä…k+iÉk, dla k = 1, 2, . . . , n oraz Ä…k, Ék " R.
Bez straty ogólności można potraktować wartości własne rzeczywiste jako szczególny przypadek
wartoÅ›ci zespolonych przy Ék = 0. Ponieważ zachodzi
ek(t-t0) = e(Ä…k+iÉk)(t-t0) = eÄ…k(t-t0) eiÉk(t-t0) = eÄ…k(t-t0),
więc wszystkie składniki rozwiązania ogólnego zanikają przy t " wtedy i tylko wtedy, gdy
Ä…k < 0 dla k = 1, 2, . . . , n.
Jeśli ąk = 0 dla pewnych k, tzn. wartości własne są liczbami czysto urojonymi bądz zerem,
wówczas odpowiadające człony rozwiązania nie zanikają, ale mają ograniczoną wielkość.
W przypadku, gdy ąk > 0 dla co najmniej jednej wartości własnej k układu rozwiązanie jest
rozbieżne.
Reasumując powyższe rozważania możemy stwierdzić co następuje:
Liniowy układ dynamiczny jest stabilny wtedy i tylko wtedy, gdy wszystkie jego warto-
ści własne mają ujemne części rzeczywiste, neutralnie stabilny gdy wartości własne mają
ujemne a w niektórych przypadkach zerowe części rzeczywiste, i niestabilny w pozostałych
przypadkach.
Nietrudno zauważyć, że twierdzenie to jest prawdziwe bez względu na to, czy mamy do czynienia
z liniowym równaniem różniczkowym w dziedzinie liczb rzeczywistych, czy zespolonych.
Równania różniczkowe liniowe o stałych współczynnikach
Å„Å‚
ôÅ‚
òÅ‚
‹ = 5x + 4y
Przykład 1: Znalezć rozwiązanie ogólne i wyznaczyć macierz przejścia układu równań
ôÅ‚
ół
Ź = 4x + 5y
îÅ‚ Å‚Å‚ ëÅ‚ öÅ‚
x 5 4
ðÅ‚ ûÅ‚ íÅ‚ Å‚Å‚
Postać wektorowo-macierzowa ukÅ‚adu: × = A× z × = oraz A = .
‹ x x
y 4 5
- 4
5
Wielomian charakterystyczny: PA() = det(A - I) = = (5 - )2 - 16 = 2 - 10 + 9;
4 5 -
Wartości własne: 1 = 1, 2 = 9;
Sprawdzenie: 1 + 2 = 10 = 5 + 5 = trA, 1 · 2 = 9 = 25 - 16 = detA;
îÅ‚ Å‚Å‚ îÅ‚ Å‚Å‚ îÅ‚ " Å‚Å‚ îÅ‚ " Å‚Å‚
1 1 1/ 1/
× ×
ðÅ‚ ûÅ‚ ðÅ‚ ûÅ‚ ûÅ‚ ûÅ‚
Wektory wÅ‚asne (ortogonalne): ¾1 = , ¾2 = , i po normalizacji × = q2 ðÅ‚ "2 ;
q1 ðÅ‚ "2 , × =
-1 1 -1/ 2 1/ 2
îÅ‚ Å‚Å‚ îÅ‚ Å‚Å‚
x(t) x0
ðÅ‚ ûÅ‚ ðÅ‚ ûÅ‚
Rozwiązanie ogólne (dla prostoty zapisu odniesione do t0 = 0): = Ś(t) .
y(t) y0
Opcja 1 rozwiÄ…zania: liczymy Åš(t) z r-nia (9)
ëÅ‚ öÅ‚ ëÅ‚ " " öÅ‚ ëÅ‚ " " öÅ‚
et 0 1/ 2 1/ 1/ -1/ 2
íÅ‚ Å‚Å‚ íÅ‚ Å‚Å‚ íÅ‚ Å‚Å‚
" "2 "2 "
e›t = , Q = , QT = ,
0 e9t -1/ 2 1/ 2 1/ 2 1/ 2
ëÅ‚ " " öÅ‚ ëÅ‚ öÅ‚ ëÅ‚ " " öÅ‚ ëÅ‚ öÅ‚
1/ 2 1/ -et + e9t
íÅ‚ Å‚Å‚ íÅ‚ Å‚Å‚ íÅ‚ Å‚Å‚ íÅ‚ Å‚Å‚
" "2 et 0 1/"2 -1/ 2 1 et + e9t
"
Åš(t) = eAt = Se›tS-1 = Qe›tQT = = .
2
-1/ 2 1/ 2 0 e9t 1/ 2 1/ 2 -et + e9t et + e9t
îÅ‚ Å‚Å‚ îÅ‚ Å‚Å‚
1 1
× 1 × 2
Opcja 2 rozwiÄ…zania: liczymy rozwiÄ…zanie ogólne z równania (10) × = a1¾1e t + a2¾2e t = a1 ðÅ‚ ûÅ‚ et + a2 ðÅ‚ ûÅ‚ e9t.
x(t)
-1 1
îÅ‚ Å‚Å‚ îÅ‚ Å‚Å‚ îÅ‚ Å‚Å‚ îÅ‚ Å‚Å‚
1 1 a1 + a2 x0
1 1
× ×
ðÅ‚ ûÅ‚ ðÅ‚ ûÅ‚
Warunek poczÄ…tkowy: × = a1¾1 + a2¾2 = a1 ðÅ‚ ûÅ‚ + a2 ðÅ‚ ûÅ‚ = = =Ò! a1 = (x0 - y0), a2 = (x0 + y0).
x(0)
2 2
-1 1 -a1 + a2 y0
îÅ‚ Å‚Å‚ îÅ‚ Å‚Å‚ ëÅ‚ öÅ‚ îÅ‚ Å‚Å‚ îÅ‚ Å‚Å‚
1 1 et + e9t -et + e9t x0 x0
1 1 1
ðÅ‚ ûÅ‚ ðÅ‚ ûÅ‚ íÅ‚ Å‚Å‚ ðÅ‚ ûÅ‚ ðÅ‚ ûÅ‚
Podstawienie: × = (x0 - y0) et + (x0 + y0) e9t = = Åš(t) ,
x(t)
2 2 2
-1 1 -et + e9t et + e9t y0 y0
i porównanie daje to samo wyrażenie na macierz Ś(t), jak w przypadku Opcji 1.
Równania różniczkowe liniowe o stałych współczynnikach
Å„Å‚
ôÅ‚
òÅ‚
‹ = 2x - y
Przykład 2: Znalezć rozwiązanie ogólne i wyznaczyć macierz przejścia układu równań
ôÅ‚
ół
Ź = x + 2y
îÅ‚ Å‚Å‚ ëÅ‚ öÅ‚
x 2 -1
ðÅ‚ ûÅ‚ íÅ‚ Å‚Å‚
Postać wektorowo-macierzowa ukÅ‚adu: × = A× with × = and A = .
‹ x x
y 1 2
- -1
2
Wielomian charakterystyczny: PA() = det(A - I) = = (2 - )2 + 1 = 2 - 4 + 5;
1 2 -
Wartości własne: 1 = 2 - i, 2 = 2 + i;
Sprawdzenie: 1 + 2 = 4 = 2 + 2 = trA, 1 · 2 = 5 = 22 + 1 = detA;
îÅ‚ Å‚Å‚ îÅ‚ Å‚Å‚
-i i
× ×
ðÅ‚ ûÅ‚ ðÅ‚ ûÅ‚
Wektory wÅ‚asne: ¾1 = , ¾2 = .
1 1
îÅ‚ Å‚Å‚ îÅ‚ Å‚Å‚
x(t) x0
ðÅ‚ ûÅ‚ ðÅ‚ ûÅ‚
Rozwiązanie ogólne (dla prostoty zapisu odniesione do t0 = 0): = Ś(t)
y(t) y0
Opcja 1 rozwiÄ…zania: liczymy Åš(t) z r-nia (9)
ëÅ‚ öÅ‚ ëÅ‚ öÅ‚ ëÅ‚ öÅ‚ ëÅ‚ öÅ‚ ëÅ‚ öÅ‚
e(2-i)t 0 e2te-it 0 e-it 0 -i i i/2 1/2
íÅ‚ Å‚Å‚ íÅ‚ Å‚Å‚ íÅ‚ Å‚Å‚ íÅ‚ Å‚Å‚ íÅ‚ Å‚Å‚
e›t = = = e2t , S = , S-1 = , (sprawdz SS-1 =I)
0 e(2+i)t 0 e2teit 0 eit 1 1 -i/2 1/2
ëÅ‚ öÅ‚ ëÅ‚ öÅ‚ ëÅ‚ öÅ‚ ëÅ‚ öÅ‚ ëÅ‚ öÅ‚
-i i e-it 0 i/2 1/2 -i i ie-it/2 e-it/2
íÅ‚ Å‚Å‚ íÅ‚ Å‚Å‚ íÅ‚ Å‚Å‚ íÅ‚ Å‚Å‚ íÅ‚ Å‚Å‚
Åš(t) = eAt = Se›tS-1 = e2t = e2t =
1 1 0 eit -i/2 1/2 1 1 -ieit/2 eit/2
ëÅ‚ [ ] [ ] öÅ‚ ëÅ‚ öÅ‚
e-it + eit /2 -i e-it - eit /2 cos t - sin t
íÅ‚ [ ] [ ] Å‚Å‚ íÅ‚ Å‚Å‚
= e2t = e2t .
i e-it - eit /2 e-it + eit /2 sin t cos t
Zadania
1. Rozwiąż Przykład 2 korzystając z Opcji 2 rozwiązania (por. Przykład 1).
2. Rozwiąż równanie wahadła z tarciem (Arnold, 1973)
ć = -x - k‹.
Przeprowadz dyskusję rozwiązań w zależności od wartości współczynnika tarcia k.
Wyszukiwarka
Podobne podstrony:
7 uklady rown rozn , teoria5 rown rozn rz 2, teoria6 rown rozn rz n, teoria4 rown rozn rz 1, teoria4 rown rozn rz 1, zadania7 uklady rown rozn , zadania063 Sprowadzanie równ różn cząstk do postaci kanonicznej przykłady, nowa wersjacalkowanie rown rozn prostokatow trapezow simpsona eulerarown rozn062 Sprowadzanie równ różn cząstk do postaci kanonicznej przykładyRow Rozn Fizyki Mat 06 Derezinski p49Inf przestrz wekt uklady rownwięcej podobnych podstron