Wykłady z Analizy Matematycznej II
Wykłady z Analizy Matematycznej II
Wykłady z Analizy Matematycznej II
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<strong>Wykłady</strong> z<br />
<strong>Analizy</strong> <strong>Matematycznej</strong> <strong>II</strong><br />
Walter Rusin<br />
28 lutego 2004<br />
2
Spis treści<br />
Wstęp 5<br />
1 Twierdzenia o punktach stałych 7<br />
1.1 Przestrzenietopologiczne ................... 7<br />
1.2 TwierdzenieBrouwera ..................... 13<br />
1.3 Przestrzenie metryczne i twierdzenie Banacha . . . . . . . . 14<br />
1.4 TwierdzenieKakutaniego ................... 17<br />
1.5 Zadania ............................. 18<br />
2 Równania różniczkowe zwyczajne 19<br />
2.1 Definicja równania różniczkowego . . . . . . . . . . . . . . . 19<br />
2.2 Podejście geometryczne . . . . . . . . . . . . . . . . . . . . 21<br />
2.3 Równaniaautonomiczne .................... 23<br />
2.4 Przykłady zagadnień . . . . . . . . . . . . . . . . . . . . . . 23<br />
2.5 Badanie równań ruchu † ..................... 27<br />
2.5.1 Układy potencjalne o jednym stopniu swobody . . . 27<br />
2.5.2 Układy potencjalne o dwóch stopniach swobody . . . 28<br />
2.6 Zadania ............................. 29<br />
3 Istnienie i jednoznaczność rozwiązań 31<br />
3.1 TwierdzeniePeano ....................... 31<br />
3.2 TwierdzeniePicarda-Lindelöfa................. 34<br />
3.3 Zadania ............................. 36<br />
3<br />
4 SPIS TREŚCI<br />
4 Podstawowe klasy równań 39<br />
4.1 Równania o zmiennych rozdzielonych . . . . . . . . . . . . . 39<br />
4.2 Równaniajednorodne ..................... 42<br />
4.3 Równania w postaci różniczek zupełnych . . . . . . . . . . . 45<br />
4.4 Zadania ............................. 47<br />
5 Zależność od danych 49<br />
5.1 Ciągła zależność od warunku początkowego . . . . . . . . . 49<br />
5.2 Zależnośćodprawejstrony .................. 51<br />
5.3 Zadania ............................. 55<br />
6 Równania liniowe skalarne 57<br />
6.1 Czynnik całkujący . . . . . . . . . . . . . . . . . . . . . . . 57<br />
6.2 Równania liniowe skalarne pierwszego rzędu . . . . . . . . . 58<br />
6.3 RównanieBernoulliego..................... 62<br />
6.4 Równanie Riccatiego . . . . . . . . . . . . . . . . . . . . . . 62<br />
6.5 Równanie Clairauta † ...................... 63<br />
6.6 Równanie Lagrange’a-d’Alamberta † .............. 64<br />
6.7 Zadania ............................. 65<br />
7 Liniowe równania rzędu drugiego 67<br />
7.1 Zagadnienie........................... 67<br />
7.2 Równaniaostałychwspółczynnikach............. 69<br />
7.3 Zadania ............................. 72<br />
8 Układy równań liniowych 73<br />
8.1 Zagadnienie........................... 73<br />
8.2 Układy o stałych współczynnikach . . . . . . . . . . . . . . 79<br />
8.3 Równania skalarne wyższego rzędu . . . . . . . . . . . . . . 87<br />
8.4 Zadania ............................. 89<br />
9 Stabilność rozwiązań 91<br />
10 Klasyfikacja punktów krytycznych układów 93
Wstęp<br />
Zagadnienia przedstawione w niniejszym skrypcie odpowiadają wykładom<br />
<strong>Analizy</strong> <strong>Matematycznej</strong> <strong>II</strong> prowadzonym przeze mnie wiosną 2004 roku.<br />
Z uwagi na charakter studiów, materiał zawarty w poszczególnych wykładach<br />
może wydawać się czasem bardzo okrojony i niekompletny dla osób<br />
mających styczność z matematyką na innym poziomie. Dotyczy to szczególnie<br />
rozdziału pierwszego zawierającego minimum niezbędnych pojęć topologicznych.<br />
Czytając go należy mieć na względzie, że jest to namiastka semestralnego<br />
wykładu topologii ogólnej, mająca na celu wprowadzenie pojęć<br />
koniecznych do zrozumienia wybranych twierdzeń o punkcie stałym. Równania<br />
różniczkowe zwyczajne są bowiem bardzo szeroką dziedziną matematyki,<br />
korzystającą z wielu metod innych jej obszarów. Starałem się jednak<br />
w każdym rozdziale wprowadzić niezbędne pojęcia i obiekty potrzebne do<br />
zrozumienia treści wykładów. Tych z Was, którzy są bardziej dociekliwi i<br />
zainteresowani matematyką odsyłam zatem do licznych książek poświęconych<br />
tematyce wykładu. W razie jakichkolwiek wątpliwości zachęcam Was<br />
do uczęszczania na konsultacje. Matematyka ma raczej to do siebie, że należy<br />
uczyć się jej systematycznie, choć nie ma na to reguły.<br />
Na końcu każdego rozdziału zamieściłem zadania. Ponieważ przedmiot<br />
odbywa się w wymiarze dwóch godzin tygodniowo, polecam ich rozwiązywanie.<br />
Niektóre z nich oznaczone symbolem † są nieco trudniejsze i wymagają<br />
lepszego zrozumienia treści.<br />
Należy pamiętać, że treść skryptu nie musi w 100% odpowiadać treści<br />
wykładu, zachęcam więc do regularnego uczęszczania na zajęcia...<br />
O czytelniku zakładam, że dysponuje znajomością podstawowych pojęć<br />
5<br />
6 SPIS TREŚCI<br />
teorii mnogości wprowadzonej podczas kursu mateamtyki na I roku lub kursu<br />
logiki. W skrypcie stosuję notację standardową, spotykaną w większości<br />
literatury, proszę pytać jeśli coś jest niejasne.
Rozdział 1<br />
Twierdzenia o punktach<br />
stałych<br />
Teoria punktów stałych odwzorowań odgrywa ważną rolę w wielu działach<br />
matematyki. Metody te wykorzystywane są w teorii równań różniczkowych<br />
cząstkowych oraz zwyczajnych, metodach numerycznych. Pojawiają się często<br />
w bardzo zaskakujących sytuacjach. W rozdziale niniejszym zajmiemy<br />
się trzema twierdzeniami należącymi do tej klasy.<br />
1.1 Przestrzenie topologiczne<br />
Często sam zbiór nie jest interesującym pojęciem. Dopiero wyposażenie tego<br />
zbioru w pewną strukturę daje możliwość rozwinięcia nowych pojęć. Dla nas<br />
kluczowe będzie pojęcie przestrzeni topologicznej.<br />
Definicja 1.1.1 Przestrzenią topologiczną nazywamy parę (X, O) złożoną<br />
ze zbioru X irodzinyOjego podzbiorów spełniającej warunki<br />
(O1) ∅,X ∈O<br />
(O2) jeśli U1,U2 ∈Oto U1 ∩ U2 ∈O<br />
(O3) Jeśli Uα ∈Oto <br />
α Uα ∈Ogdzie α ∈ A - pewien zbiór indeksów.<br />
7<br />
8 ROZDZIAŁ 1. TWIERDZENIA O PUNKTACH STAŁYCH<br />
Zbiór X będziemy nazywali przestrzenią, jego elementy punktami przestrzeni,<br />
a elementy rodziny O będziemy nazywać zbiorami otwartymi w przestrzeni<br />
X. RodzinęO nazywać będziemy topologią na X. Jeśli dla pewnego<br />
x ∈ X i zbioru otwartego U ∈Omamy x ∈ U, tomówimy,żeU jest otoczeniem<br />
punktu x. Dopełnienia zbiorów otwartych w przestrzeni X nazywamy<br />
zbiorami domkniętymi.<br />
Definicja 1.1.2 Zbiór F nazwiemy domkniętym w przestrzeni X jeśli X\F<br />
jest zbiorem otwartym w przestrzeni X.<br />
Z praw De Morgana wynikają własności dualne do (O1)-(O3).<br />
(D1) ∅,X są zbiorami domkniętymi<br />
(D2) jeśli F1,F2 są domknięte to F1 ∪ F2 jest domknięty<br />
(D3) Jeśli Fα są domknięte to <br />
α Fα jest domknięty, gdzie α ∈ A - pewien<br />
zbiór indeksów.<br />
Zbiory, które są jednocześnie otwarte i domknięte w przestrzeni X nazywamy<br />
zbiorami otwarto-domkniętymi.<br />
Dla dowolnego zbioru A rozważmy rodzinę Dα wszystkich zbiorów domkniętych<br />
zawierających A. Na mocy własności (D3) ich przecięcie również<br />
jest zbiorem domkniętym. Jest to najmniejszy w sensie inkluzji taki zbiór.<br />
Nazwiemy go domknięciem zbioru A i oznaczymy przez cl(A). Dualnie to<br />
pojęcia domknięcia zbioru można zdefiniować pojęcie wnętrza zbioru jako<br />
sumę mnogościową wszystkich zbiorów otwartych zawartych w A. Jest to<br />
wówczas maksymalny w sensie inkluzji zbiór otwarty zawarty w zbiorze A.<br />
Wnętrze zbioru A oznaczamy int(A).<br />
Zauważmy, że najuboższą topologią, jaką można wprowadzić na każdym<br />
zbiorze jest topologia O = {∅,X}, w której jedynymi otwartymi zbiorami<br />
są X-cała przestrzeń i ∅ - zbiór pusty. Najbogatszą topologią jest topologia,<br />
w której O =2 X , czyli w której każdy podzbiór zbioru X jest zbiorem<br />
otwartym. Taką topologię nazwiemy topologią dyskretną. Dwie topologie O1<br />
i O2 nazwiemy równoważnymi jeśli zbiór otwarty w przestrzeni (X, O1) jest<br />
otwarty w przestrzeni (X, O2) oraz odwrtonie.
1.1. PRZESTRZENIE TOPOLOGICZNE 9<br />
W dalszej części mówiąc przestrzeń będziemy mieli na myśli przestrzeń<br />
topologiczną. Będziemy także opuszczać w notacji topologię pisząc X zamiast<br />
(X, O) gdy nie będzie to prowadziło do nieporozumień (tzn. gdy X<br />
jest wyposażone w jedną topologię). Będziemy także mówili, że zbiór U jest<br />
otwarty zamiast zbiór U jest otwarty w X, gdy nie prowadzi to do nieporozumień.<br />
Definicja 1.1.3 Rodzinę zbiorów otwartych Uα nazwiemy pokryciem otwartym<br />
przestrzeni X jeśli zachodzi warunek <br />
α Uα ⊇ X.<br />
Definicja 1.1.4 Przestrzenią zwartą nazwiemy przestrzeń, dla której z każdego<br />
pokrycia otwartego można wybrać podpokrycie skończone.<br />
Ważnym pojęciem jest pojęcie podprzestrzeni topologicznej.<br />
Definicja 1.1.5 Podzbiór P ⊂ X przestrzeni topologicznej z topologią daną<br />
jako O∩P = {U ∩ P : U ∈O}nazwiemy podprzestrzenią topologiczną z<br />
topologią dziedziczoną z X.<br />
Wiele własności dotyczących zbiorów definiuje się przy użyciu pojęcia podprzestrzeni<br />
np. zbiorem zwartym w X nazwiemy zbiór, który jest zwarty<br />
jako popdrzestrzeń topologiczna w X. Inaczej, zbiorami zwartymi są zbiory,<br />
dla których z każdego ich pokrycia otwartego można wybrać podpokrycie<br />
skończone.<br />
Rozważmy teraz dwie przestrzenie topologiczne X i Y .Niechf : X → Y<br />
będzie odwzorowaniem między nimi.<br />
Definicja 1.1.6 Przekształcenie f : X → Y nazwiemy ciągłym jeśli dla<br />
każdego zbioru otwartego U ⊆ Y zbiór f −1 (U) ⊆ X jest otwarty.<br />
Zauważmy, że wprowadzona przed chwilą definicja przekształcenia ciągłego<br />
odwołuje się wyłącznie do pojęcia zbioru otwartego. Analogicznie można<br />
zdefiniować przekształcenie ciągłe w terminach zbiorów domkniętych<br />
mówiąc, że przekształcenie między dwiema przestrzeniami jest ciągłe gdy<br />
przeciwobrazy zbiorów domkniętych są domknięte. Od tej pory mówiąc o<br />
10 ROZDZIAŁ 1. TWIERDZENIA O PUNKTACH STAŁYCH<br />
przekształceniach przestrzeni topologicznych mamy na myśli przekształcenia<br />
ciągłe.<br />
Wśród przekształceń ciągłych przestrzeni istnieje pewna wyróżniona i<br />
ważna klasa.<br />
Definicja 1.1.7 Przekształcenie ciągłe f : X → Y nazwiemy homeomorfizmem,<br />
jeśli jest ono "1-1" oraz "na" i dodatkowo odwzorowanie f −1 : Y →<br />
X jest ciągłe.<br />
Jeśli między przestrzeniami X i Y istnieje homeomorfizm, to przestrzenie<br />
te nazwiemy homeomorficznymi. Bycie homeomorficznymi jest silną zależnością<br />
pomiędzy przestrzeniami. Relacja homeomorficzności, będąca relacją<br />
równoważności dwóch przestrzeni, powoduje że przestrzenie homeomorficzne<br />
topologicznie są nierozróżnialne. To właśnie w tym sensie prawdziwe jest<br />
powiedzenie, że "kubek i obrączka są tym samym". Dwie przestrzenie homeomorficzne<br />
X i Y będziemy oznaczać X ∼ = Y .<br />
Potrzebny nam będzie w dalszej części jeszcze jeden szczególny rodzaj<br />
odwzorowań.<br />
Definicja 1.1.8 Niech dane będzie odwzorowanie f : X → X. Przekształcenie<br />
f nazwiemy retrakcją przestrzeni X jeśli f ◦f = f. Obraz przekształcenia<br />
f nazwiemy retraktem przestrzeni X.<br />
Retrakcja jest zatem czymś na kształt rzutowania w przestrzeni topologicznej.<br />
Rozważmy teraz dwa odwzorowania ciągłe f,g : X → Y .<br />
Definicja 1.1.9 Odwzorowanie ciągłe H : X × I → Y nazwiemy homotopią<br />
pomiędzy przekształceniem f : X → Y i g : X → Y jeśli spełnia ono<br />
H(x, 0) = f(x), H(x, 1) = g(x). Of i g powiemy wówczas, że są homotopijne<br />
w homotopii H.<br />
Relacja homotopijności przekształceń jest relacją równoważności. Będziemy<br />
używać także oznaczenia f H ∼ g lub krócej f ∼ g gdy dwa odwzorowania są<br />
homotopijne. O homotopii należy myśleć jako o ciągłym przejściu od jednego<br />
przekształcenia do drugiego. Jeśli spojrzeć na wykresy przekształceń
1.1. PRZESTRZENIE TOPOLOGICZNE 11<br />
(zdefiniowane jako Graph(f) ={(x, y) ∈ X × Y : y = f(x)}) to homotopia<br />
oznacza "przekształcenie" wykresu odwzorowania f do wykresu odwzorowania<br />
g w sposób ciągły. Dla każdego punktu t ∈ I mamy odwzorowanie ciągłe<br />
H(·,t):X → Y . Parametr t nazywany jest również czasem homotopii.<br />
Rozważmy dwa odwzorowania f,g : X → Y , gdzie przestrzeń Y jest wypukła.<br />
Dowolne dwa odwzorowania w przestrzeń wypukłą są homotopijne.<br />
Homotopię pomiędzy tymi odwzorowaniami można podać wprost wzorem<br />
H(x, t) =(1− t) · f(x)+t · g(x).<br />
Mając zdefiniowane pojęcie homotopii dwóch przekształceń, możemy teraz<br />
wprowadzić pojęcie homotopijnej równoważności dwóch przestrzeni.<br />
Definicja 1.1.10 Dwie przestrzenie X i Y nazwiemy homotopijnie równoważnymi,<br />
jeśli istnieją odwzorowania f : X → Y i g : Y → X takie, że<br />
g ◦ f ∼ idX i f ◦ g ∼ idY .<br />
Relację homotopijnej równoważności dwóch przestrzeni oznaczać będziemy<br />
X Y . Ponieważ homotopijność przekształceń jest relacją równoważności,<br />
to homotopijna równoważność dwóch przestrzeni także jest realcją równoważności.<br />
Przestrzeń X, która jest homotopijnie równoważna przestrzeni złożonej<br />
z jednego punktu, zanurzonej w przestrzeni X, nazywamy ściągalną.<br />
Ściągalność przestrzeni do punktu x0 ∈ X oznacza, że homotopijne są odwzorowania<br />
idX : X → X i ∗ : X →{x0}. Homotopię H : X × I → X<br />
między odwzorowaniami idX i ∗ nazywamy ściągnięciem.<br />
Zanim sformułujemy pierwsze twierdzenie o punkcie stałym zdefiniujmy<br />
jeszcze pewną własność, która przysługuje niekedy przestrzeniom.<br />
Definicja 1.1.11 Przestrzeń X ma własność punktu stałego, jeśli dla każdego<br />
przekształcenia ciągłego f : X → X istnieje punkt x0 ∈ X taki, że<br />
zachodzi f(x0) =x0.<br />
Mając dane dwie przestrzenie X i Y oraz odwzorowanie f : X → Y<br />
możemy skonstruować pewne specjalne klasy przestrzeni topologicznych,<br />
mianowicie produkt przestrzeni, przestrzeń ilorazową, sklejenie przestrzeni,<br />
cylinder przekształcenia, stożek przekształcenia oraz zawieszenie przestrzeni.<br />
12 ROZDZIAŁ 1. TWIERDZENIA O PUNKTACH STAŁYCH<br />
Definicja 1.1.12 Produktem przestrzeni topologicznych nazywać będziemy<br />
przestrzeń topologiczną X ×Y z topologią wprowadzoną przez dowolne sumy<br />
mnogościowe i skończone iloczyny mnogościowe zbiorów postaci U1 × U2,<br />
gdzie U1 ⊆ X i U2 ⊆ Y są otwarte.<br />
Definicja 1.1.13 Niech ∼ będzie relacją równoważności w przestrzeni topologicznej<br />
X. Przez przestrzeń ilorazową rozumieć będziemy przestrzeń klas<br />
abstrakcji relacji ∼ czyli X/∼.<br />
Mamy dane kanoniczne rzutowanie π : X → X/∼. W przestrzeni X/∼<br />
wprowadzamy najbogatszą topologię, w której przekształcenie π jest ciągłe<br />
tzn. otwarte w X/∼ są te zbiory U, których przeciwobrazy π −1 (U) są otwarte<br />
w X. Rozważmy teraz odwzorowanie f : X → Y .<br />
Definicja 1.1.14 Sklejeniem przestrzeni X i Y odwzorowaniem f : X → Y<br />
nazwiemy przestrzeń X ∪f Y =(X .<br />
∪ Y )/ (x∼f(x)).<br />
Sklejenie odwzorowaniem f polega zatem na utożsamieniu punktu w X i<br />
jego obrazu w Y .<br />
Definicja 1.1.15 Cylindrem przekształcenia f : X → Y nazwiemy przestrzeń<br />
Z(f) =(X × I .<br />
∪ Y )/ (x,1)∼f(x).<br />
Definicja 1.1.16 Stożkiem przekształcenia f : X → Y nazwiemy przestrzeń<br />
C(f) =Z(f)/ (x1,1)∼(x2,1).<br />
Definicja 1.1.17 Zawieszeniem przestrzeni X nazwiemy przestrzeń ΣX =<br />
(X × I)/ (x1,0)∼(x2,0),(x1,1)∼(x2,1).<br />
Fakt 1.1.18 C(idS n) ∼ = cl(B n+1 ).<br />
Potrzebny nam będzie jeszcze jeden fakt, który z uwagi na zaawansowane<br />
techniki topologii algebraicznej wykorzystywane w jego dowodzie, pozostawimy<br />
nieudowodniony.<br />
Fakt 1.1.19 Przestrzeń S n nie jest przestrzenią ściągalną.
1.2. TWIERDZENIE BROUWERA 13<br />
1.2 Twierdzenie Brouwera<br />
Mamy teraz prawie wszystkie narzędzia niezbędne do sformułowania i udowodnienia<br />
twierdzenia Brouwera o punkcie stałym.<br />
Twierdzenie 1.2.1 Następujące warunki są równoważne:<br />
a) S n nie jest ściągalne<br />
b) S n nie jest retraktem cl(B n+1 )<br />
c) cl(B n+1 ) ma własność punktu stałego.<br />
Mianem twierdzenia Brouwera o punkcie stałym nazywamy właśnie c) w<br />
twierdzeniu 1.2.1.<br />
Dowód. Pokażmy nie wprost.<br />
a) ⇒ b) Niech S n będzie retraktem cl(B n+1 ). Istnieje zatem retrakcja<br />
r : cl(B n+1 ) → S n . Rozważmy teraz odwzorowania idS n : Sn → cl(B n+1 ) -<br />
włożenie sfery w domkniętą kulę, oraz ∗ : S n → cl(B n+1 ) - przekształcenie<br />
stałe w dowolny punkt w cl(Bn+1 ). Ponieważ cl(Bn+1 ) jest wypukła, to<br />
odwzorowania idSn oraz ∗ są homotopijne. Istnieje zatem homotopia H :<br />
Sn × I → cl(Bn+1 ) od idSn do ∗. Odwzorowanie r ◦ H : Sn × I → Sn jest<br />
zatem homotopią od przekształcenia identycznościowego na sferze Sn do<br />
odzworowania stałego w punkt na sferze Sn . To oznacza ściągalność sfery i<br />
przeczy punktowi a).<br />
b) ⇒ a) Przypuśćmy, że Sn jest ściągalna. Istnieje zatem homotopia<br />
H : Sn × I → Sn taka, że H(·, 0) = idSn, H(·, 1) = ∗. Zauważmy, że<br />
Graph(H) ∼ = C(idSn) ∼ = cl(Bn+1 ). Homotopia H jest zatem ciągłym przekształceniem<br />
Sn × I → cl(Bn+1 ). Odwracając czas w homotopii H tzn.<br />
rozważając homotpię H1(x, t) =H(x, 1−t) otrzymamy ciągłe przekształcenie<br />
cl(Bn+1 ) → Sn × I. Mamy także kanoniczne odwzorowanie rzutowania<br />
prSn : Sn × I → Sn . Składając mamy prSn ◦ H1 : cl(Bn+1 ) → Sn -odwzorowanie<br />
ciągłe, będące retrakcją kuli cl(Bn+1 ) na sferę Sn . To przeczy<br />
punktowi b).<br />
b) ⇒ c) Przypuśćmy, że cl(Bn+1 ) nie ma własności punktu stałego.<br />
Istnieje zatem odwzorowanie ciągłe f : cl(Bn+1 ) → cl(Bn+1 ) takie, że<br />
14 ROZDZIAŁ 1. TWIERDZENIA O PUNKTACH STAŁYCH<br />
∀ x∈cl(B n+1 ) f(x) = x. Wybierając więc dowolny punkt x ∈ cl(B n+1 ) przeprowadzamy<br />
odcinek przez punkt f(x) ∈ cl(B n+1 ) iokreślamyr(x) jako<br />
przecięcie z S n przedłużenia tego odcinka od punktu f(x). Tak określone<br />
przekształcenie r : cl(B n+1 ) → S n jest retrakcją kuli cl(B n+1 ) na sferę S n .<br />
To przeczy punktowi b).<br />
c) ⇒ b) Przypuśćmy, że istnieje retrakcja r : cl(B n+1 ) → S n . Rozważmy<br />
przekształcenia a : S n → S n zwane przekształceniem antypodycznym tzn.<br />
przyporządkowujące x ↦→ −x oraz włożenie i : S n ↩→ cl(B n+1 ). Przekształcenie<br />
i ◦ a ◦ r : cl(B n+1 ) → cl(B n+1 ) jest ciągłym odwzorowaniem kuli w<br />
siebie i nie ma punktu stałego, co przeczy punktowi c). <br />
Twierdzenie Brouwera jest bardzo silnym twierdzeniem. Zauważmy, że<br />
obowiązuje ono nie tylko dla kul, ale dla wszystkich przestrzeni homeomorficznych<br />
z kulą. Rozważmy bowiem przestrzeń X ∼ = cl(B n+1 ) iniechodwzorowanie<br />
h : X → cl(B n+1 ) będzie homeomorfizmem tych przestrzeni.<br />
Niech f : X → X będzie ciągłym odwzorowaniem przestrzeni X wsiebie.<br />
Odwzorowanie h ◦ f ◦ h −1 jest ciągłym odwzorowaniem kuli w siebie i na<br />
mocy twierdzenia Brouwera ma punkt stały. Istnieje więc x ∗ ∈ cl(B n+1 )<br />
taki, że (h ◦ f ◦ h −1 )(x ∗ )=x ∗ . Mamy zatem (h ◦ f)(h −1 (x ∗ )) = x ∗ , czyli<br />
f(h −1 (x ∗ )) = h −1 (x ∗ ). Określając y ∗ = h −1 (x ∗ ) mamy punkt stały przekształcenia<br />
f : X → X.<br />
1.3 Przestrzenie metryczne i twierdzenie Banacha<br />
Wśród przestrzeni topologicznych na szczególną uwagę zasługują przestrzenie<br />
metryczne.<br />
Definicja 1.3.1 Przestrzenią metryczną nazywamy parę (X, ϱ) złożoną ze<br />
zbioru X i funkcji ϱ : X × X → R spełniającej następujące warunki<br />
(M1) ∀x1,x2∈X ϱ(x1,x2) 0 i ϱ(x1,x2) =0⇔ x1 = x2<br />
(M2) ∀x1,x2∈X ϱ(x1,x2) =ϱ(x2,x1)<br />
(M3) ∀x1,x2,x3∈X ϱ(x1,x2) ϱ(x1,x3)+ϱ(x2,x3)
1.3. PRZESTRZENIE METRYCZNE I TWIERDZENIE BANACHA 15<br />
Podobnie jak w przypadku przestrzeni topologicznej będziemy w zapisie<br />
opuszczać strukturę metryczną i pisać X zamiast (X, ϱ). W przestrzeni metrycznej<br />
możemy w naturalny sposób zdefiniować kulę.<br />
Definicja 1.3.2 Kulą otwartą o środku w punkcie x0 ∈ X i promieniu r>0<br />
nazwiemy zbiór B(x0,r)={x ∈ X : ϱ(x0,x) 0∃δ>0 ϱX(x0,x) n0 ϱ(xm,xn)
1.4. TWIERDZENIE KAKUTANIEGO 17<br />
1.4 Twierdzenie Kakutaniego<br />
Niech X i Y będą dwiema przestrzeniami topologicznymi.<br />
Definicja 1.4.1 Odwzorowaniem wielowartościowym określamy odwzorowanie<br />
F : X → 2Y .<br />
Dla punktu y ∈ Y możemy zdefiniować zbiór F −1 (y) ={x ∈ X : y ∈<br />
F (x)}. DlaB⊆Y mamy F −1 (B) ={x ∈ X : F (x) ∩ B = ∅}. Wykresem<br />
odwzorowania F jest zbiór Graph(F )={(x, y) ∈ X × Y : y ∈ F (x)}.<br />
Definicja 1.4.2 Powiemy, że odwzorowanie wielowartościowe F : X → 2Y jest górnie-półciągłe w x ∈ X jeśli dla każdego otoczenia V zbioru F (x) istnieje<br />
otoczenie U punktu x takie, że F (U) ⊆ V . Powiemy, że odwzorowanie<br />
F jest górnie-półciągłe, jeśli jest górnie-półciągłe w każdym punkcie x ∈ X.<br />
W dalszych rozważaniach będą nas interesować przekształcenia wielowartościowe<br />
F : X → 2Y o wartościach w rodzinie niepustych, zwartych i<br />
wypukłych zbiorów przestrzeni Y .<br />
W takim przypadku istenieje inna charakteryzacja odwzorowań górniepółciągłych,<br />
bardziej użyteczna z naszego punktu widzenia.<br />
Definicja 1.4.3 Odwzorowanie F : X → 2Y jest górnie-półciągłe, jeśli z<br />
faktów xn → x, yn → y i yn ∈ F (xn) wynika, że y ∈ F (x).<br />
Z uwagi na zmianę charakteru przestrzeni, gdzie znajduje się obraz odwzorowania<br />
F zmieni się także pojęcie punktu stałego. Przez punkt stały<br />
odwzorowania wielowartościowego rozumieć będziemy punkt x∗ , dla którego<br />
zachodzi x∗ ∈ F (x∗ ). Jeśli każde odwzorowanie wielowartościowe F : X →<br />
2X ma punkt stały, to powiemy, że X ma własność punktu stałego w sensie<br />
Kakutaniego.<br />
Wynik uzyskany przez Kakutaniego wymaga wprowadzenia wielu pojęć i<br />
narzędzi tzw. PL-topologii, znacznie wykraczających poza program wykładu<br />
z <strong>Analizy</strong> <strong>Matematycznej</strong> <strong>II</strong>, dlatego zostanie przedstawiony bez dowodu.<br />
Twierdzenie 1.4.4 (Kakutani) Niech X będzie zwartym, wypukłym podzbiorem<br />
Rn .WówczasXma własność punktu stałego w sensie Kakutaniego.<br />
18 ROZDZIAŁ 1. TWIERDZENIA O PUNKTACH STAŁYCH<br />
Warto jednak wspomnieć, że twierdzenie Kakutaniego jest pewnym przeniesieniem<br />
twierdzenia Brouwera na przypadek odwzorowań wielowartościowych.<br />
Po raz pierwszy twierdzenie Kakutaniego w ekonomii zostało zastosowane<br />
przez Nash’a w jego teorii gier niekooperacyjnych, stąd waga pracy<br />
Nash’a i Nagroda Nobla a nie Medal Fields’a<br />
1.5 Zadania<br />
1. Podzielić litery alfabetu łacińskiego na klasy homeomorficzności.<br />
2. Z czym homeomorficzne są ΣS 0 , ΣS 1 ?<br />
3. Czy brzeg kwadratu na R 2 może być jego retraktem ?<br />
4. Udowodnij, że wykres dowolnego przekształcenia ciągłego f : I → I<br />
przecina prostą y = x.<br />
5. Sprawdź, że topologia dyskretna zdefiniowana w rozdziale 1.1 pokrywa<br />
się z topologią wprowadzoną przez metrykę dyskretną tzn. metrykę<br />
mającą własność ∀x1=x2 ϱ(x1,x2) =1.<br />
6. Załóżmy, że przestrzeń X jest metryzowalna (tzn. topologia w przestrzeni<br />
X pochodzi od jakiejś metryki). Niech Y będzie przestrzenią<br />
topologiczną homeomorficzną z X. Udowodnij,żeY również jest metryzowalna.<br />
7. † Z samolotu lecącego nad Warszawą wyrzucamy plan miasta. Udowodnij,<br />
że Istnieje dokładnie jeden taki punkt na planie nakrywający<br />
punkt w mieście, który przedstawia.
Rozdział 2<br />
Równania różniczkowe<br />
zwyczajne<br />
Zajmiemy się teraz pojęciem równania różniczkowego zwyczajnego. Obiekt<br />
ten pojawia się w sposób naturalny w wielu zagadnieniach. Wykład ten<br />
prezentuje pewne podstawowe pojęcia teorii równań rózniczkowych zwyczajnych,<br />
stanowiących pewnwgo rodzaju słownik, którego będziemy używać w<br />
trakcie kolejnych wykładów.<br />
2.1 Definicja równania różniczkowego<br />
Zaczniemy od ogólnej definicji równania różniczkowego zwyczajnego.<br />
Definicja 2.1.1 Równaniem różniczkowym zwyczajnym rzędu n nazywamy<br />
równanie<br />
F (t, x, ˙x, ¨x,...,x (n) )=0 (2.1)<br />
wiążące zmienną niezależną t, zmienne zależne x i ich pochodne ˙x, ¨x, ...,<br />
x (n) aż do rzędu n. Rozwiązaniem równania (2.1) nazywamy funkcję ϕ(t)<br />
klasy C n , która podstawiona do równania w miejsce x zmienia to równanie<br />
w tożsamość.<br />
19<br />
20 ROZDZIAŁ 2. RÓWNANIA RÓŻNICZKOWE ZWYCZAJNE<br />
Wszystkie funkcje występujące w równaniu (2.1) traktujemy jako funkcje<br />
wektorowe o wartościach w przestrzeni rzeczywistej R m .<br />
Definicja 2.1.2 Wykres odwzorowania ϕ(t) w przestrzeni R m+1 w zmiennych<br />
(t, x) nazywamy krzywą całkową równania (2.1).<br />
Posługiwanie się równaniem różniczkowym w postaci (2.1) jest niewygodne<br />
i rzadko spotykane w praktyce. Jeśli najwyższa pochodna x (n) (t)<br />
wchodzi do funkcji F w sposób nietrywialny, to najczęściej lokalnie spełnione<br />
są założenia twierdzenia o funkcji uwikłanej i równanie (2.1) można<br />
rozwikłać względem najwyższej pochodnej<br />
x (n) (t) =f(t, x, ˙x,...,x (n−1) ) (2.2)<br />
Równanie rzędu n możemy w łatwy sposób sprowadzić do równania (układu<br />
równań skalarnych) pierwszego rzędu. W tym celu oznaczmy<br />
x0(t) =x(t), x1(t) = ˙x(t), ...,xn−1(t) =x (n−1) (t).<br />
Wprowadźmy nową zmienną ¯x(t) = (x0(t),x1(t),...,xn−1(t)). Równanie<br />
(2.2) możemy zatem zapisać jako równanie pierwszego rzędu<br />
˙¯x = g(t, ¯x), (2.3)<br />
gdzie g(t, ¯x) =(x1(t),x2(t),...,xn−2(t),f(t, x0,x1,...,xn−1)). W dalszej<br />
części będziemy się zajmować równaniami (układami równań) pierwszego<br />
rzędu, które można zapisać w postaci<br />
˙x = f(t, x). (2.4)<br />
Niech G ⊂ R m+1 będzie zbiorem spójnym, w którym prawa strona równania<br />
(2.4) jest dobrze określona. Zbiór G nazywać będziemy rozszerzoną<br />
przestrzenią fazową równania (2.4), a jego rzut D na przestrzeń R m zmiennych<br />
x nazwiemy przestrzenią fazową tego równania. W zbiorze G istnieje<br />
zwykle bardzo wiele krzywych całkowych równania (2.4). Krzywe te tworzą<br />
wieloparametrowe rodziny rozwiązań. Jeśli ϕ(t, c1,c2,...,cm) :R → R m
2.2. PODEJŚCIE GEOMETRYCZNE 21<br />
jest rodziną funkcji, sparametryzowaną m parametrami c1,c2,...,cm taką,<br />
że dla każdego (c1,c2,...,cm) ∈ A ⊂ R m funkcja ϕ(t, c1,...,cm) jest krzywą<br />
całkową równania (2.4) i dla każdego (t0,x0) ∈ G istnieją parametry<br />
(c 0 1 ,...,c0 m) ∈ A, takie że ϕ(t, c 0 1 ,...,c0 m) jest krzywą całkową przechodzącą<br />
przez punkt (t0,x0), torodzinęϕ(t, c1,...,cm) nazwiemy rozwiązaniem<br />
ogólnym równania (2.4). Oprócz pojęcia rozwiązania ogólnego będziemy się<br />
posługiwać także pojęciem całka ogólna w przypadku, gdy będziemy dysponować<br />
jedynie uwikłanym przedstawieniem rozwiązania ogólnego tzn.<br />
Φ(t, x, c1,...,cm) =0.<br />
2.2 Podejście geometryczne<br />
W celu zrozumienia geometrycznego sensu rozwiązań równania (2.4) rozpatrzmy<br />
najpierw to równanie w przypadku skalarnym (m = 1). Niech<br />
funkcja x(t) będzie rozwiązaniem tego równania. Rozważmy jej wykres jako<br />
podzbiór (podrozmaitość klasy C 1 ) płaszczyzny (t, x). Jak wiadomo wektor<br />
styczny do wykresu funkcji x(t) ma postać (1, ˙x(t)) = (1,f(t, x)). Zatem<br />
równanie (2.4) można odczytać następująco. Na R 2 dane jest pole wektorowe<br />
(1,f(t, x)). Szukamy krzywej, będącej wykresem funkcji x(t) i takiej,<br />
że w każdym punkcie (t, x) leżącym na tej krzywej, wektor styczny do niej<br />
jest równy (1,f(t, x)). Nie ma tu znaczenia, czy znajdujemy się na płaszczyźnie<br />
R 2 czy w wyżej wymiarowej przestrzeni R m+1 . W ogólności w powyższy<br />
sposób możemy definiować równania różniczkowe na rozmaitościach<br />
odpowiedniej klasy gładkości. Mając dane dostatecznie gładkie pole wektorowe<br />
X ∈ V (M) na rozmaitości M odpowiedniej klasy gładkości i punkt<br />
p ∈ M możemy znaleźć przynajmniej lokalnie krzywą c :[0,t) → M taką że<br />
˙c(t) =X(c(t)) i c(0) = p. Rozwiązanie takiego równania nazwiemy potokiem<br />
pola wektorowego X. W dalszej cześci ograniczymy się jednak do zagadnień<br />
w przestrzeni euklidesowej.<br />
Niech dane będzie pole wektorowe w R m+1 . Wybierzmy punkt (t0,x0),<br />
a następnie poruszymy się w kierunku wektora stycznego (1, ˙x 1 0 ,..., ˙xm 0 ).<br />
Oznaczmy ten punkt przez (t1,x1), a z niego przejdźmy w kierunku wektora<br />
stycznego (1, ˙x 1 1 ,..., ˙xm 1 ) itd. W ten sposób otrzymaliśmy jedną krzywą<br />
22 ROZDZIAŁ 2. RÓWNANIA RÓŻNICZKOWE ZWYCZAJNE<br />
całkową. Aby otrzymać inną krzywą, wystartowalibyśmy z innego punktu<br />
(t0,x ′ 0 ).<br />
Z tego postępowania można wyciągnąć wniosek, że wybór punktu początkowego<br />
(t0,x0) pozwolił nam ograniczyć się tylko do jednej krzywej<br />
całkowej. Prowadzi to do pojęcia warunku początkowego dla równania różniczkowego<br />
(2.4).<br />
Definicja 2.2.1 Warunek postaci x(t0) =x0 ograniczający zbiór rozwiązań<br />
równania pierwszego rzędu (2.4) nazywa się warunkiem początkowym lub warunkiem<br />
Cauchy’ego. Równanie (2.4) uzupełnione warunkiem początkowym<br />
nazywamy zagadnieniem Cauchy’ego lub zagadnieniem początkowym.<br />
Definicja 2.2.2 Rozwiązaniem zagadnienia Cauchy’ego nazywamy funkcję<br />
ϕ(t) klasy C 1 na przedziale [t0,t0 + α], spełniającą równanie (2.4) oraz warunek<br />
początkowy.<br />
Wróćmy na moment do równań wyższych rzędów. Warto sobie uświadomić,<br />
że dla równania postaci (2.2) zadanie warunku początkowego wymaga zadania<br />
wartości nie tylko samej funkcji dla czasu t0, ale także wartości jej<br />
n − 1 pochodnych. Wynika to wprost z postaci równania pierwszego rzędu,<br />
do której sprowadziliśmy równanie (2.2). Warunek Cauchy’ego dla tego równania<br />
ma postać ¯x(t0) =X, gdzie X ∈ R m i mamy x(t0) =X0, ˙x(t0) =X1,<br />
..., x (n−1) (t0) =Xn−1. Prowadzi to do następującej definicji zagadnienia<br />
początkowego dla równania rzędu n, będącego całkowitą analogią do przypadku<br />
równania skalarnego.<br />
Definicja 2.2.3 Jeśli dane jest równanie różniczkowe rzędu n, postaci (2.2)<br />
w przestrzeni R m , to zagadnienie Cauchy’ego dla tego równania przyjmuje<br />
formę<br />
x (n) = f(t, x, ˙x,...,x (n−1) ),<br />
x(t0) =x0, ˙x(t0) =x1, ...,x (n−1) (t0) =xn−1,<br />
gdzie x0,x1,...,xn−1 ∈ R m .
2.3. RÓWNANIA AUTONOMICZNE 23<br />
2.3 Równania autonomiczne<br />
Wśród równań różniczkowych na uwagę zasługuje pewna szczególna ich klasa.<br />
Definicja 2.3.1 Równanie postaci (2.2), w którym prawa strona nie zależy<br />
jawnie od zmiennej niezależnej, nazywamy równaniem autonomicznym.<br />
Równanie to ma postać<br />
˙x = f(x) (2.5)<br />
Zauważmy, że każde równanie nieautonomiczne w postaci (2.2) możemy<br />
sprowadzić do równania autonomicznego przez podstawienie t = s, gdzie<br />
s jest nową zmienną niezależną, a t jest traktowane jako kolejna składowa<br />
wektora x. Wtedy równanie (2.2) można zapisać w postaci autonomicznej<br />
¯x = ¯ f(¯x),<br />
gdzie ¯x =(t, x) i ¯ f =(1,f). Różniczkowanie oznacza różniczkowanie po<br />
nowym parametrze s.<br />
Ewolucję równania autonomicznego najwygodniej jest rozpatrywać w<br />
przestrzeni fazowej takiego równania, czyli w zbiorze wszystkich możliwych<br />
wartości zmiennej zależnej. Jeśli x ∈ R m to przestrzenią fazową tego równania<br />
jest podzbiór przestrzeni R m .<br />
Rozpatrując rozszerzoną przestrzeń fazową R m+1 mamy krzywe całkowe<br />
będące wykresami konkretnych rozwiązań równania (2.2). Rzutując te<br />
krzywe na R m mamy krzywe fazowe będące obrazem rozwiązania.<br />
2.4 Przykłady zagadnień<br />
Równania różniczkowe zwyczajne spotkac możemy w wielu dziedzinach.<br />
Najcześciej jednak natkniemy się na nie w fizyce, a szczególnie w mechanice<br />
klasycznej. Metody równań różniczkowych zwyczajnych używane są także<br />
w bilogii, chemii.<br />
Przykład 1. (Przykład zagadnienia prowadzącego do równania różniczkowego)<br />
Rozważmy proces rozmnażania się bakterii. Zakładamy, że bakterie<br />
24 ROZDZIAŁ 2. RÓWNANIA RÓŻNICZKOWE ZWYCZAJNE<br />
znajdują się w środowisku o stałych parametrach, w związku z czym szybkość<br />
i sposób ich rozmnażania się jest stały. Wiadomo, że w tych warunkach<br />
bakterie rozmnażają się przez podział, w którego wyniku z jednej bakterii<br />
powstaje k nowych. Podział ten następuje co τ minut. Znajdziemy wzór<br />
opisujący wzrost populacji bakterii.<br />
Przyjmiemy, że wszystkie bakterie dzielą się w tych samych chwilach:<br />
t0, t1 = t0 + τ, t2 = t0 +2τ, ...<br />
Jeśli Ni oznacza liczbę bakterii w chwili ti, to zmianę tej liczby w czasie<br />
opisuje równanie<br />
Ni+1 =(1+k)Ni<br />
(2.6)<br />
Znając N0 czyli liczbę bakterii w chwili t0, możemy łatwo obliczyć<br />
Ni =(1+k) i N0.<br />
Jednak założenie, że bakterie dzielą się dokładnie w tych samych chwilach,<br />
jest mało realistyczne (liczba τ jest średnim czasem między kolejnymi<br />
podziałami, otrzymanym z eksperymentalnych badań biologów). Bardziej<br />
realne jest założenie, że bakterie dzielą się w różnych chwilach, które są<br />
równomiernie rozłożone w czasie, tzn. liczba podziałów w przedziale czasu<br />
(t, t +∆t) zależy od ∆t, a nie zależy od t (oczywiście zależy także od<br />
liczby bakterii). Aby znaleźć prawo opisujące wzrost populacji bakterii przy<br />
założeniu równomiernego w czasie rozkładu chwil podziału, musimy zrezygnować<br />
z traktowania N(t) jako liczby bakterii w chwili t (a więc jako<br />
liczby naturalnej). Przyjmijmy natomiast, że N(t) jest pewną miarą gęstości<br />
bakterii w środowisku i będziemy ją traktować jako liczbę rzeczywistą<br />
(po to, żeby w dalszych rozważaniach uznać N(t) za gładkąfunkcję zmiennej<br />
t). Niech teraz N(t) będzie wielkością populacji w chwili t, aN(t +∆t)<br />
w chwili t +∆t. Różnica N(t +∆t) − N(t) jest przyrostem populacji w<br />
przedziale czasu ∆t. Aby wyznaczyć ten przyrost, zauwazmy że co τ minut<br />
następuje podział określonej bakterii, natomist co τ/N(t) minut następuje<br />
podział jakiejś bakterii z populacji N(t) bakterii. Oznacza to, że w czasie<br />
∆t nastąpi<br />
∆t<br />
τ/N(t)<br />
1<br />
= N(t)∆t (2.7)<br />
τ
2.4. PRZYKŁADY ZAGADNIEŃ 25<br />
podziałów. Ponieważ w każdym podziale z jednej bakterii tworzy się k bakterii,<br />
więc<br />
N(t +∆t) − N(t) = k<br />
N(t). (2.8)<br />
τ<br />
Jeśli założymy, że N(t) jest funkcją różniczkowalną, to będziemy mogli dokonać<br />
przejścia granicznego ∆t → 0. Otrzymamy wtedy równanie<br />
˙N(t) = k<br />
N(t), (2.9)<br />
τ<br />
które opisuje prawo wzrostu populacji bakterii. Mamy zatem przykład jak<br />
z zagadnienia różnicowego (dyskretnego) przejść na przypadek różniczkowy<br />
(ciągły).<br />
Przykład 2.(Wahadło matematyczne) Wahadłem matematycznym nazywamy<br />
punkt materialny o masie m zawieszony na długiej, cienkiej i nierozciągliwej<br />
nici. Wykonuje on wahania wokół najniżej położonego punktu<br />
O, zwanego środkiem wahań. Załóżmy, że wahadło wykonuje tylko małe<br />
wahania i oznaczmy przez z odchylenie od środka wahań. Aby znaleźć przyspieszenie<br />
a wahadła w punkcie wyhylenia P zauważmy, że siła działająca<br />
na punkt materialny o masie m jest dana przez składową ciążenia, styczną<br />
do toru wahań (składowa prostopadła do niej jest równoważona przez<br />
sprężystość nici, na której wisi wahadło). Wtedy<br />
ma = −mg sin(x),<br />
gdzie x jest kątem wychylenia nici od pionu, g - przyspieszeniem w polu<br />
grawitacyjnym ziemi. Znak − po prwej stronie równania występuje w<br />
skutek przeciwnych zwrotów wychylenia i działającej na punkt siły. Jeśli<br />
przyspieszenie wahadła wyrazimy przez drugą pochodną odchylenia z, to<br />
otrzymamy<br />
m¨z = −mg sin(x).<br />
Zauważmy, że jeśli z mierzymy wzdłuż łuku, po którym porusza się punkt<br />
materialny, to<br />
z = xl,<br />
26 ROZDZIAŁ 2. RÓWNANIA RÓŻNICZKOWE ZWYCZAJNE<br />
gdzie l jest długością wahadła. Ostatecznie otrzymujemy równanie wahadła<br />
¨x = − g<br />
l sin(x).<br />
Skorzystamy teraz z założenia, że wahadło wykonuje tylko małe drgania i<br />
możemy zastosować przybliżenie sin(x) ≈ x. Małe drgania wahadła daje się<br />
zatem opisać równaniem<br />
¨x = −kx,<br />
gdzie k = g/l. Zagadnienie początkowe dla tego równania ma postać<br />
⎧<br />
⎪⎨ ¨x = −kx<br />
x(t0) =x0<br />
⎪⎩ ˙x(t0) =x1<br />
Otrzymaliśmy zagadnienie Cauchy’ego drugiego rzędu.<br />
Przykład z równaniem wahadła podsuwa na myśl inny sposób zadania<br />
warunków określających rozwiązanie równania różniczkowego. Możemy<br />
starać się opisać jego ruch podając nie połozenie początkowe i prędkość<br />
początkową, ale wychylenie w chwili t0 i wychylenie w chwili t1. Wtedy<br />
odpowiednie zaganienie miałoby postać<br />
⎧<br />
⎪⎨ ¨x = −kx<br />
x(t0) =x0<br />
(2.10)<br />
⎪⎩ x(t1) =x1<br />
Zagadnienie w postaci (2.10) nazywać będziemy zagadnieniem brzegowym.<br />
Nazwa ta bierze się stąd, że starając się znaleźć rozwiązanie, podajemy jego<br />
wartość na dwóch końcach przedziału, na którym poszukujemy rozwiązania.<br />
Oczywiście postawienie zagadnienia brzegowego nie ogranicza się do równań<br />
drugiego rzędu (choć dla tych równań jest to bardzo naturalny rodzaj warunku).<br />
Można ten typ warunku formułować dla równań dowolnego rzędu<br />
zadając dostatecznie wiele wartości.<br />
Definicja 2.4.1 Niech dane będzie równanie w postaci (2.4) z funkcją f :<br />
I × R m → R m ,gdzieI =[a, b] ⊂ R. Zagadnienie brzegowe dla równania
2.5. BADANIE RÓWNAŃ RUCHU † 27<br />
(2.4) na przedziale [a, b] ma postać<br />
q(x(a),x(b)) = 0, (2.11)<br />
gdzie q jest daną funkcją o wartościach w Rm .<br />
Jeśli q jest funkcją liniową, która nie zależy od x(b) to warunek (2.11) sprowadza<br />
się do warunku Cauchy’ego. Można więc warunek (2.11) uważać za<br />
ogólną postać warunku granicznego dla równania (układu) (2.4). Zauważmy,<br />
że rozwiązywanie zagadnienia początkowego jest na ogół łatwiejsze niż<br />
zagadnienia brzegowego. W drugim przypadku musimy bowiem wcześniej<br />
wiedzieć, że rozwiązanie określonej jest na całym odcinku [a, b], co nie zawsze<br />
jest prawdą.<br />
2.5 Badanie równań ruchu †<br />
Równania różniczkowe zwyczajne, tak jak główne idee rachunku różniczkowego<br />
wywodzą się z zagadnień mechaniki Newtonowskiej. Przyjżyjmy się<br />
dokładniej pewnym wybranym problemom.<br />
Zanim to jednak nastąpi wprowdźmy pojęcie potencjału.<br />
Definicja 2.5.1 Niech dany będzie Newtonowski układ mechaniczny B ze<br />
stanami opisanymi funkcją x : R → Rm . Jeśli istnieje funkcja V : Rm → R<br />
taka, że ¨x = −∇V , to układ B nazwiemy układem potencjalnym. Funkcję V<br />
nazwiemy funkcją potencjału lub potencjałem.<br />
Układy potencjalne są zatem układami, w których pole sił jest polem gradientowym<br />
pewnej funkcji skalarnej. Przykładem takiego pola jest w ujęciu<br />
klasycznym pole grawitacyjne ziemi.<br />
2.5.1 Układy potencjalne o jednym stopniu swobody<br />
Definicja 2.5.2 Układem o jednym stopniu swobody nazwiemy układ opisany<br />
przez jedno równanie różniczkowe<br />
¨x = f(x), x∈ R (2.12)<br />
28 ROZDZIAŁ 2. RÓWNANIA RÓŻNICZKOWE ZWYCZAJNE<br />
Energią kinetyczną nazywamy formę kwadratową<br />
T = 1<br />
2 ˙x2 .<br />
Energią potencjalną nazywamy<br />
x<br />
U(x) =− f(ζ) dζ<br />
Znak − został tak dobrany, by np. w przypadku rzutu kamieniem jego<br />
energia potencjalna była tym większa, im wyżej znajduje się kamień. Energią<br />
całkowitą układu nazwiemy E = T + U.<br />
Twierdzenie 2.5.3 (Prawo zachowania energii) Energia całkowita dla<br />
układu poruszającego się zgodnie z równaniem (2.12) nie ulega zmianie.<br />
Dowód. Wykonajmy rachunek<br />
dE d<br />
dU<br />
= (T + U) = ˙x¨x + ˙x =˙x(¨x − f(x)) = 0.<br />
dt dt dt<br />
Dowodzi to zatem, że E = const. <br />
2.5.2 Układy potencjalne o dwóch stopniach swobody<br />
Definicja 2.5.4 Przez układ o dwóch stopniach swobody rozumiemy układ<br />
opisany równaniem różniczkowym<br />
¨x = f(x), x∈ R 2<br />
(2.13)<br />
Zauważmy, że i w tym przypadku zachodzi prawo zachowania energii całkowitej<br />
2.5.3. Musimy jednak inaczej rozumieć kwadrat prędkości w formie<br />
energii kinetycznej. Teraz mamy na myśli iloczyn skalarny 〈 ˙x, ˙x〉.<br />
Dowód. Bezpośredni rachunek daje<br />
dE<br />
= 〈 ˙x, ¨x〉 + 〈∇U, ˙x〉 = 〈¨x + ∇U, ˙x〉 =0<br />
dt<br />
na mocy równań ruchu. <br />
Wniosek 2.5.5 Jeśli w chwili początkowej energia całkowita wynosi E, to<br />
cała trajektoria ruchu leży w obszarze, dla którego U(x) E. Inaczej, punkt<br />
znajduje się cały czas wewnątrz studni potncjału U(x) E.<br />
x0
2.6. ZADANIA 29<br />
2.6 Zadania<br />
1. Sprawdzić, czy podana rodzina funkcji jest rozwiązaniem wskazanego<br />
równania różniczkowego<br />
(a) x(t) =c1 cos 6t + c2 sin 6t ¨x +36x =0<br />
(b) x(t) =c1e6t + c2e−6t − 1 1<br />
2t − 36<br />
(c) x(t) =2+c √ 1 − t2 (1 − t2 )˙x + tx =2t 1<br />
¨x − 36x =18t +1<br />
2. Znaleźć równanie różniczkowe (możliwie niskiego rzędu), którego rozwiązaniem<br />
jest zadana rodzina krzywych:<br />
(a) x(t) =ect (b) x(t) =sin(t + c)<br />
(c) (t − c1) 2 + c2x 2 =1<br />
(d) t = c1x 2 + c2x + c3<br />
3. Naszkicować przybliżony przebieg krzywych całkowych dla poniższych<br />
równań, odgadując je z postaci pola wektorowego generowanego przez<br />
te równania<br />
(a) ˙x = x − t2 (b) x ˙x + t =0<br />
(c) ˙x = x−3t<br />
t+3x<br />
(d) ˙x = t+x<br />
t−x<br />
4. Opisać zbiór wszystkich ekstremów krzywych całkowych równania ˙x =<br />
f(t, x).<br />
5. Dane jest równanie różniczkowe ˙x = f(x, t), w którym prawa strona<br />
spełnia warunek f(x, t) =f(−x, −t). Udowodnić, że jeśli funkcja ϕ(t)<br />
jest rozwiązaniem tego równania, to także funkcja −ϕ(−t) jest jego<br />
rozwiązaniem. Znaleźć analogiczną własność rozwiązania, jeśli prawa<br />
strona spełnia warunki f(x, t) =−f(x, −t) lub f(x, t) =−f(−x, t).<br />
1 Dla jakich czasów jest określone to rozwiązanie?<br />
30 ROZDZIAŁ 2. RÓWNANIA RÓŻNICZKOWE ZWYCZAJNE<br />
6. † Załóżmy, że łódź płynie przez rzekę reprezentowaną jako pas [−a, a]×<br />
R w poprzek od −a do a z jednostają prędkością vs. Prędkość nurtu<br />
rzeki opisana jest funkcją vr(x) =3 1 − <br />
x 2<br />
a . Znaleźć zagadnienie<br />
opisujące tor, po którym będzie poruszać się łódź.
Rozdział 3<br />
Istnienie i jednoznaczność<br />
rozwiązań<br />
W rozdziale tym zajmiemy się zagadnieniem istenienia i jednoznaczności<br />
rozwiązań równań różniczkowych zwyczajnych. Odpowiedź na te pytania<br />
jest istotna w chwili, gdy nie potrafimy podać analitycznej formuły opisującej<br />
rozwiązanie (o ile istnieje). Często w problemach zadajemy sobie<br />
pytanie, czy działanie układu jest jedyne możliwe. Twierdzenia zawarte w<br />
tym rozdziale dadzą nam odpowiedź.<br />
3.1 Twierdzenie Peano<br />
Równania różniczkowe zwyczajne są bardzo rozwiniętą dziedziną matematyki.<br />
Mimo to potrafimy rozwiązywać efektywnie w postaci analitycznej<br />
tylko nieliczne ich klasy, które poznamy później. Rezygnując więc z pytania<br />
o możliwość efektywnego rozwiązania danego równania, spróbujmy zadać<br />
pytanie ogólniejsze, ale łatwiejsze: jakie warunki musi spełniać równanie,<br />
abyśmy mogli być pewni, że ma ono rozwiązanie (nawet jeśli nie potrafimy<br />
go określić) i kiedy rozwiązanie jest jednoznaczne?<br />
Pytanie to będziemy rozważać w możliwie ogólnej sytuacji, tzn. założy-<br />
31<br />
32 ROZDZIAŁ 3. ISTNIENIE I JEDNOZNACZNOŚĆ ROZWIĄZAŃ<br />
my,żemamydanerównaniewpostaci<br />
˙x = f(t, x)<br />
w przestrzeni liniowej. Przypomnijmy, ze x = x(t) ∈ Rm ,af jest funkcją<br />
f : Rm+1 → Rm .<br />
Twierdzenie 3.1.1 (Peano) Niech K =[t0,t0 + a] ×{x−x0 b} ⊂<br />
Rm+1 . Niech F : K → Rm będzie funkcją ciągłą, sup (t,x)∈K F (t, x) = M.<br />
Wtedy zagadnienie Cauchy’ego znalezienia takiej funkcji x(t), że<br />
˙x = F (t, x) (3.1)<br />
i spełniony jest warunek x(t0) =x0, ma rozwiązanie na odcinku [t0,t0 + α],<br />
α =min(a, b/M).<br />
Zanim przejdziemy do dowodu twierdzenia 3.1.1, potrzebny będzie nam<br />
lemat.<br />
Lemat 3.1.2 Zagadnienie Cauchy’ego (3.1) ma rozwiązanie x(t) różniczkowalne<br />
na odcinku [t0,t1) lub [t0,t1] wtedy i tylko wtedy, gdy równanie<br />
całkowe<br />
x(t) =x0 +<br />
t<br />
t0<br />
F (s, x(s))ds (3.2)<br />
ma rozwiązanie ciągłe.<br />
Dowód. (lematu 3.1.2) Przypuśćmy, że funkcja x(t) spełnia warunek (3.2).<br />
Całkując obie strony równania ˙x = F (t, x) od t0 do t i korzystając z warunku<br />
x(t0) =x0 otrzymujemy:<br />
czyli<br />
x(t) − x(t0) =<br />
x(t) =x0 +<br />
t<br />
t0<br />
t<br />
t0<br />
F (s, x(s))ds,<br />
F (s, x(s))ds.
3.1. TWIERDZENIE PEANO 33<br />
Implikacja w drugą stronę wynika automatycznie z różniczkowania (3.2)<br />
względem t. Zauważmy, że z ciągłości F wynika, że x(t) jest klasy C 1 . <br />
Dowód. (twierdzenia 3.1.1) Dla dowolnej liczby naturalnej n definiujemy na<br />
przedziale [t0,t0+a] funkcję xn(t), kolejno na odcinkach [t0+ k<br />
n<br />
k =0, 1,...,n− 1 według wzoru<br />
xn(t) =xn<br />
<br />
α, t0+ k+1<br />
n α],<br />
xn(t0) =x0<br />
t0 + k<br />
n α<br />
<br />
+ F t0 + k<br />
<br />
α, xn t0 +<br />
n k<br />
n α<br />
<br />
t − t0 + k<br />
n α<br />
<br />
dla t ∈ (t0 + k<br />
nα, t0 + k+1<br />
n α]. Jak się później okaże, definicja ta ma sens<br />
jeśli xn(t0 + k<br />
nα) − x0 b. Tak zdefiniowany ciąg funkcji jest aproksymacją<br />
ewentualnego rozwiązania (o którym jeszcze nie wiemy, że istnieje)<br />
funkcjami kawałkami liniowymi.<br />
Przypuśćmy, że istnieje liczba t1 : t0
3.2. TWIERDZENIE PICARDA-LINDELÖFA 35<br />
Przykład 1. Rozważmy następujące równanie:<br />
˙x = x β , 0
3.3. ZADANIA 37<br />
(b) ˙x = tx + e −x<br />
3. † Niech funkcja f : R → R będzie ciągła, a funkcja g : R → R niech<br />
spełnia warunek Lipschitza. Udowodnić, że układ równań<br />
˙x1 = f(x2)x1,<br />
˙x2 = g(x2)<br />
uzupełniony dowolnym warunkiem początkowym, ma co najwyżej jedno<br />
rozwiązanie w dowolnym przedziale.<br />
38 ROZDZIAŁ 3. ISTNIENIE I JEDNOZNACZNOŚĆ ROZWIĄZAŃ
Rozdział 4<br />
Podstawowe klasy równań<br />
Znamy już twierdzenia, dające nam możliwość orzeczenia, czy dane równanie<br />
posiada rozwiązanie i czy jest ono jednoznaczne. Należy pamiętać, że<br />
twierdzenia te są kryteriami dostatecznymi a nie koniecznymi. Zajmiemy<br />
się teraz pewnymi klasami równań, których rozwiązania jesteśmy w stanie<br />
bez trudu wyznaczyć analitycznie. Ograniczymy się tylko do przypadku<br />
skalarnego.<br />
4.1 Równania o zmiennych rozdzielonych<br />
Równanie o zmiennych rozdzielonych jest najprostszą sytuacją równania<br />
różniczkowego zwyczajnego. Poniższa definicja tłumaczy pochodzenie nazwy<br />
tej klasy równań.<br />
Definicja 4.1.1 Równanie różniczkowe rzędu pierwszego<br />
˙x = f(t, x)<br />
nazywamy równaniem o zmiennych rozdzielonych, jeśli funkcja f(t, x) daje<br />
się przedstawić w postaci iloczynu dwóch funkcji jednej zmiennej, tj.<br />
f(t, x) =g1(t)g2(x).<br />
39<br />
40 ROZDZIAŁ 4. PODSTAWOWE KLASY RÓWNAŃ<br />
Równanie o zmiennych rozdzielonych można rozwiązać w bardzo łatwy sposób.<br />
Twierdzenie 4.1.2 Dane jest równanie różniczkowe o zmiennych rozdzielonych<br />
˙x = g1(t)g2(x). (4.1)<br />
Niech funkcje g1(t) i g2(x) będą ciągłe dla t ∈ (a, b) i x ∈ (c, d) oraz niech<br />
g2(x) nie ma zer na odcinku (c, d). Wtedy przez każdy punkt (t0,x0) prostokąta<br />
Q = {(t, x) :t ∈ (a, b),x ∈ (c, d)} przechodzi dokładnie jedna krzywa<br />
całkowa równania (4.1). Krzywa przechodząca przez punkt (t0,x0) jest dana<br />
wzorem<br />
x(t) =G −1<br />
2 (G1(t) − G1(t0)+G2(x0)), (4.2)<br />
gdzie G1(t) jest funkcją pierwotną funkcji g1(t), aG2(x) - funkcją pierwotną<br />
funkcji 1/g2(x).<br />
Dowód. Podzielmy równanie (4.1) stronami przez g2(x). Otrzymamy<br />
1 dx<br />
= g1(t).<br />
g2(x) dt<br />
Równość tę możemy zapisać inaczej w postaci<br />
d<br />
dt G2(x(t)) = g1(t), (4.3)<br />
gdzie G2(x) jest funkcją pierwotną dla 1/g2(x). Całkujemy równanie w przedziale<br />
(t0,t) i otrzymujemy<br />
G2(x(t)) − G2(x(t0)) = G1(t) − G1(t0), (4.4)<br />
gdzie G1(t) jest funkcją pierwotną dla g1(t). Zauważmy, że G2 jest funkcją<br />
monotoniczną, bo G ′ 2 =1/g2 = 0, czyli pochodna G2 ma stały znak. Istnieje<br />
więc funkcja G −1<br />
2 , odwrotna do G2. Wobec tego z (4.4) mamy<br />
x(t) =G −1<br />
2 (G1(t) − G1(t0)+G2(x0)),<br />
wykorzystując fakt, że x(t0) =x0.
4.1. RÓWNANIA O ZMIENNYCH ROZDZIELONYCH 41<br />
Równania o zmiennych rozdzielonych są w pewnym sensie podstawową<br />
klasą równań, którą można rozwiązać analitycznie. Często w wielu zagadnieniach<br />
dotyczących różnych dziedzin skomplikowane równania, nie tylko<br />
zwyczajne, rozwiązuje się postulując istnienie rozwiązania w postaci zmiennych<br />
rozdzielonych. Pochodzenie nazwy tej klasy równaniń jest naturalne.<br />
Rozpatrzmy następujący przykład równania zwyczajnego.<br />
Przykład 1. Rozwiążemy zagadnienie Cauchy’ego<br />
<br />
π<br />
˙x sin t − x cos t =0, x =1. (4.5)<br />
2<br />
Przekształćmy równanie (4.5) by otrzymać<br />
˙x<br />
x<br />
cos t<br />
= . (4.6)<br />
sin t<br />
Przekształcenie jest poprawne ze względu na warunek Cauchy’ego jaki rozpatrujemy.<br />
Całkując równanie (4.6) dostajemy<br />
ln |x| =ln| sin t| + C1<br />
co można zapisać jako<br />
ln |x| =ln(|C2sin t|).<br />
Z różnowartościowości funkcji ln otrzymujemy<br />
x(t) =C2 sin t.<br />
Na mocy warunku x <br />
π<br />
2 =1otrzymujemy C2 =1. W ten sposób rozwiązaliśmy<br />
zagadnienie. Rozwiązaniem jest x(t) =sint<br />
W trakcie rozwiązywania zagadnienia pojawiła się stała całkowania C1,<br />
później przekształcona do stałej C2 =ln|C1|, która została ustalona później<br />
na podstawie warunku Cauchy’ego. W celu uniknięcia uciążliwego wprowadzania<br />
indeksów będziemy stosować konwencję stałej generycznej tzn. zamiast<br />
pisać C1 i przekształcać C2 =ln|C1| będziemy pisać C zarówno przed<br />
jak i po przekształceniu, mając jednak na uwadze ewentualne konsekwencje<br />
wynikające z danej zamiany.<br />
42 ROZDZIAŁ 4. PODSTAWOWE KLASY RÓWNAŃ<br />
4.2 Równania jednorodne<br />
Często przez odpowiednią zamianę zmiennych jesteśmy w stanie sprowadzić<br />
jeden typ równania do już nam znanego. Tak będzie w przypadku omawianych<br />
tu równań jednorodnych.<br />
Definicja 4.2.1 Funkcja dwóch zmiennych f(x, y) nazywa się funkcją jednorodną<br />
stopnia n, jeśli f(tx, ty) =t n f(x, y).<br />
Zanim zaczniemy rozpatrywać równania z funkcjami jednorodnymi, sformułujemy<br />
nieco ogólniej zapis równania. Zauważmy bowiem, że w przypadku<br />
pojedynczego równania decyzja, która zmienna jest zmienną zależną, a która<br />
zmienną niezależną, jest dość arbitralna. Aby podkreślić tę dowolność<br />
wyboru zmiennej zależnej, równanie<br />
˙x = f(t, x)<br />
będziemy zapisywać w postaci równości dwóch różniczek<br />
dx = f(t, x)dt<br />
lub też w postaci zachowującej pełną symetrię zmiennych<br />
M(x, y)dx + N(x, y)dy =0. (4.7)<br />
W celu zachowania pełnej symetrii zostały zmienione nawet nazwy zmiennych.<br />
Równanie to można zapisać oczywiście także w postaci<br />
dy y)<br />
= −M(x,<br />
dx N(x, y) .<br />
Wprowadzenie takiego zapisu może się wydawać zbędne, jednakże w wielu<br />
sytuacjach okazuje się, że postać ta prowadzi do łatwych całek.<br />
Definicja 4.2.2 Równanie różniczkowe w postaci (4.7) nazywa się równaniem<br />
jednorodnym stopnia n, jesli funkcje M(x, y) i N(x, y) są funkcjami<br />
jednorodnymi stopnia n.
4.2. RÓWNANIA JEDNORODNE 43<br />
Często można znaleźć łatwiejszą metodę całkowania równań jednorodnych.<br />
Poniższe twierdzenie prezentuje najogólniejszą metodę ich rozwiązywania.<br />
Twierdzenie 4.2.3 Dane jest równanie jednorodne stopnia n w postaci<br />
różniczek<br />
M(x, y)dx + N(x, y)dy =0. (4.8)<br />
O funkcjach M(x, y) i N(x, y) zakładamy, że są funkcjami ciągłymi w zbio-<br />
4.3. RÓWNANIA W POSTACI RÓŻNICZEK ZUPEŁNYCH 45<br />
Po scałkowaniu otrzymamy<br />
czyli<br />
ln |ξ| + 1<br />
2 ln |1+2u − u2 | =lnC,<br />
ξ 2 (1 + 2u − u 2 )=C 2 .<br />
Wracamy do zmiennych (x, y) i otrzymujemy równanie<br />
(x +1) 2<br />
<br />
y − 3 (y − 3)2<br />
1+2 −<br />
x +1 (x +1) 2<br />
<br />
= C 2 .<br />
czyli<br />
Uwaga na stałe generyczne!<br />
x 2 +2xy − y 2 − 4x +8y = C.<br />
4.3 Równania w postaci różniczek zupełnych<br />
Równanie w postaci różniczek (w postaci (4.7)) przypomina zapis różniczki<br />
zupełnej funkcji dwóch zmiennych. Oczywiście, nie każde takie wyrażenie<br />
jest w rzeczywistości różniczką zupełną jakiejś funkcji. Analiza dostarcza<br />
nam jednak prostych sposobów sprawdzenia tego faktu.<br />
Twierdzenie 4.3.1 Niech będzie dane wyrażenie<br />
M(x, y)dx + N(x, y)dy (4.10)<br />
i niech funkcje M(x, y), N(x, y), My(x, y) i Nx(x, y) będą ciągłe w zbiorze<br />
Q = {(x, y) :x ∈ (a, b),y ∈ (c, d)}. Jeśli w zbiorze Q jest spełniona równość<br />
My(x, y) =Nx(x, y), (4.11)<br />
to wyrażenie (4.10) jest różniczką zupełną, czyli różniczką pewnej funkcji<br />
F (x, y). Wtedy również całka krzywoliniowa<br />
<br />
M(x, y)dx + N(x, y)dy, (4.12)<br />
L<br />
liczona po drodze L zawartej w Q nie zależy od drogi całkowania.<br />
46 ROZDZIAŁ 4. PODSTAWOWE KLASY RÓWNAŃ<br />
Funkcje M(x, y) i N(x, y) możemy potraktować jako składowe pola wektorowego<br />
V (x, y) =(M(x, y),N(x, y)). Mówimym że pole takie jest potencjalne,<br />
jeśli istnieje funkcja F (x, y) taka że<br />
V (x, y) =∇F (x, y).<br />
Funkcję F nazywamy potencjałem pola. Korzystając z twierdzenia 4.3.1<br />
można łatwo udowodnić istnienie rozwiązań dla równań w postaci różniczek<br />
zupełnych.<br />
Twierdzenie 4.3.2 Załóżmy, że w zbiorze Q = {(x, y) :x ∈ (a, b),y ∈<br />
(c, d)} funkcje M(x, y), N(x, y), My(x, y) i Nx(x, y) są ciągłe i spełniają<br />
równość<br />
My(x, y) =Nx(x, y)<br />
oraz jedna z funkcji M(x, y) lub N(x, y) jest różna od zera w kazdym punkcie<br />
zbioru Q. Wtedy przez każdy punkt (x0,y0) ∈ Q przechodzi dokładnie jedna<br />
krzywa całkowa równania<br />
M(x, y)dx + N(x, y)dy =0 (4.13)<br />
Dowód. Załóżmy, że N(x, y) = 0. Wtedy równanie (4.13) można przepisać<br />
w postaci<br />
M(x, y)+N(x, y) dy<br />
=0. (4.14)<br />
dx<br />
Ponieważ rozważamy różniczkę zupełną, więc istnieje funkcja F (x, y), że<br />
M(x, y) = ∂F<br />
, N(x, y) =∂F<br />
∂x ∂y .<br />
Wobec tego równanie (4.14) można zapisać jako<br />
dF (x, y(x))<br />
=0.<br />
dx<br />
Rozwiązaniem tego równania jest F (x, y(x)) = C. Aby był spełniony warunek<br />
początkowy należy przyjąć C = F (x0,y0) co jednocześnie gwarantuje<br />
jednoznaczność rozwiązania (dlaczego?). Zauważmy także, że warunek
4.4. ZADANIA 47<br />
N(x, y) = 0gwarantuje spełnienie założeń twierdzenia o funkcji uwikłanej.<br />
Oznacza to, że równanie F (x, y(x)) = C można rozwikłać zadając funkcję<br />
y(x) w postaci jawnej. <br />
Przykład 1. Znajdziemy krzywą całkową równania<br />
(x + y)dx +(x − y)dy =0,<br />
przechodzącą przez punkt (1, 1). Całkując to równanie skorzystamy z faktu,<br />
ze całka krzywoliniowa nie zależy od drogi całkowania. Całkę łączącą punkt<br />
(1, 1) z punktem (x, y) obliczymy po łamanej przechodzącej przez punkt<br />
(x, 1). Mamy<br />
(x,y)<br />
(1,1)<br />
(t + s)dt +(t − s)ds =<br />
x<br />
1<br />
(t +1)dt +<br />
y<br />
1<br />
(x − s)ds =<br />
= 1<br />
2 x2 + x − 3 1<br />
+ xy −<br />
2 2 y2 − x + 1 1<br />
=<br />
2 2 x2 + xy − 1<br />
2 y2 − 1.<br />
Oznacza to, że F (x, y) = 1<br />
2x2 +xy − 1<br />
2y2 −1. W celu znalezienia rozwiązania<br />
naszego równania należy rozwikłać równanie F (x, y) =0. Zauwazmy jendak,<br />
że niemożliwe jest znalezienie rozwiązania w postaci funkcji y(x), bo<br />
Fy(1, 1) = 0. Ponieważ Fx(1, 1) = 2 więc łatwo można znaleźć rozwiązanie<br />
w postaci<br />
<br />
x(y) =−y ± 2(y2 +1).<br />
W rozdziale następnym będziemy nadal zajmować się równaniami w postaci<br />
różniczek zupełnych oraz równaniami, które a priori do tej klasy nie należą,<br />
ale mogą być na nią zrzutowane.<br />
4.4 Zadania<br />
1. Znaleźć rozwiązania zagadnień Cauchy’ego<br />
(a) y ln ydx + xdy =0, y(1) = 1.<br />
(b) xdy − ydx =0, y(1) = 0.<br />
48 ROZDZIAŁ 4. PODSTAWOWE KLASY RÓWNAŃ<br />
(c) x 1 − y 2 dx + y √ 1 − x 2 dy =0, y(0) = 1.<br />
2. Scałkować równania<br />
(a) t ˙x = x cos ln x<br />
t<br />
(b) (2x − 4y +6)dx +(x + y − 3)dy =0<br />
(c) ˙x = x 2 − 2<br />
t 2<br />
3. Scałkować równania<br />
(a) 2xydx +(x2 − y2 )dy =0<br />
(b) (2 − 9xy2 )xdx +(4y2− 6x2 )ydy =0<br />
(c) y<br />
x +(y3 +lnx)dy =0<br />
4. † Scałkować równania<br />
<br />
x (a) y +1<br />
<br />
x dx + y − 1 dy =0<br />
(b) (x 2 y 3 + y)dx +(x 3 y 2 − x)dy =0
Rozdział 5<br />
Zależność od danych<br />
Często dysponując jednym rozwiązaniem chcielibyśmy móc orzec co zmieni<br />
się gdy zmienimy warunki początkowe lub prawą stronę równania. Rozdział<br />
ten poświęcony jest twierdzeniom opisującym charakter tych właśnie zależności.<br />
5.1 Ciągła zależność od warunku początkowego<br />
W wielu zagadnieniach praktycznych mamy do czynienia z warunkiem Cauchy’ego.<br />
Rozwiązania są wyznaczone przez warunek początkowy. Można zadać<br />
pytanie czy zmiana punktu początkowego, z którego nasze rozwiązanie<br />
startuje, wpływa w sposób ciągły na przebieg rozwiązania?<br />
Twierdzenie 5.1.1 Niech dane będzie zagadnienie Cauchy’ego<br />
<br />
˙x = f(t, x)<br />
x(t0) =x0<br />
Jeśli funkcja f jest określona na G ⊆ R × R m i lipschitzowska ze względu na<br />
x ∈ R m , natomiast φ(x0,t)=u(t) jest rozwiązaniem problemu Cauchy’ego<br />
dla u(t0) =x0, na[t0,t1], aφ(y n ,t)=vn(t) są rozwiązaniami problemu<br />
cauchy’ego dla y n → x0 określonymi na [t0,t1], tovn(t) → u(t) dla t ∈<br />
[t0,t1].<br />
49<br />
50 ROZDZIAŁ 5. ZALEŻNOŚĆ OD DANYCH<br />
W sformułowaniu twierdzenia można pominąć warunek określoności rozwiązań<br />
vn(t) na przedziale [t0,t1]. Ich istnienie na całym tym przedziale<br />
wynika z twierdzeń o przedłużaniu rozwiązań, którymi nie będziemy się<br />
zajmować.<br />
Zanim przejdziemy do dowodu twierdzenia 5.1.1, potrzebujemy jeszcze<br />
jednego pomocniczego narzędzia, które w teorii równań różniczkowych zwyczajnych<br />
oraz cząstkowych odgrywa bardzo ważną rolę.<br />
Lemat 5.1.2 (Nierówność Gronwall’a) Niech K>0, C 0, t0 0. Oznaczmy U(t) =C + t<br />
t0 Kv(s)ds.<br />
Ponieważ K, v 0, mamy U(t) > 0. Zachodzi także U ′ (t) =Kv(t). Założenie<br />
(5.1) mówi, że v(t) U(t). Zatem(ln U(t)) ′ = U ′ (t)<br />
K, co oznacza,<br />
że<br />
U(t)<br />
t<br />
ln U(t) − ln U(t0) = (ln U(s))<br />
t0<br />
′ ds K(t − t0).<br />
Stąd v(t) U(t) U(t0)eK(t−t0) .JeśliC = 0 to możemy je zastąpić<br />
dowolnym innym C1 > 0. Wtedy<br />
v(t) C1 +<br />
t<br />
t0<br />
Kv(s)ds<br />
zatem na mocy udowodnionej już części lematu v(t) C1eK(t−t0) . Z dowolności<br />
C1 otrzymujemy v(t) CeK(t−t0) =0. <br />
Dowód. (twierdzenia 5.1.1) Załóżmy, że vn jest określona na [t0,t1]. mamy<br />
wówczas<br />
vn(t) − u(t) vn(t0) − u(t0) +<br />
t<br />
t0<br />
Lvn(s) − u(s)ds,
5.2. ZALEŻNOŚĆ OD PRAWEJ STRONY 51<br />
gdzie L jest stałą Lipschitza funkcji f wkierunkux. Funkcja v(t) =vn(t)−<br />
u(t) spełnia założenia lematu Gronwall’a (5.1.2) zatem<br />
vn(t) − u(t) e L(t−t0) vn(t0) − u(t0)<br />
więc vn(t0) − u(t0) →0 implikuje ∀t vn(t) − u(t) →0. <br />
5.2 Zależność od prawej strony<br />
Zależność od funkcji występującej po prawej stronie równania rozumie się<br />
najczęściej w ten sposób, że zakłada się, iż jest ona zalezna od trzech zmiennych<br />
f = f(t, x, λ), gdzietjest zmienną niezależną, x zmienną zależną, a<br />
λ jest traktowane jako dodatkowy parametr. Oznacza to rozważanie zagadnienia<br />
początkowego w postaci<br />
<br />
˙x = f(t, x, λ)<br />
(5.3)<br />
x(t0) =x0<br />
Jeśli x(t) jest rozwiązaniem zagadnienia (5.3) to chcąc badać zależność tego<br />
rozwiązania od warunków początkowych (t0,x0) i parametru λ, będziemy<br />
traktowali to rozwiązanie jako funkcję wszystkich tych zmiennych, tj. x(t) =<br />
ϕ(t, t0,x0,λ). Okazuje się, że sytuację tą można znacznie uprościć dokonując<br />
zamiany zmiennych<br />
t ↦→ t − t0, x ↦→ x − x0.<br />
Zagadnienie (5.3) zmieni się wówczas na równoważne<br />
<br />
˙x = f(t − t0,x− x0,λ)<br />
(5.4)<br />
x(0) = 0<br />
W tym zapisie zmienne x0,t0 są dodatkowymi parametrami funkcji f.Oznacza<br />
to, że zależność od warunków początkowych można sprowadzić do zależności<br />
prawej strony równania od parametru. Możliwa jest także operacja<br />
odwrtona. Możemy potraktować λ jako zmienną zależną, uzupełniając zagadnienie<br />
(5.3) równaniem<br />
˙λ =0,<br />
52 ROZDZIAŁ 5. ZALEŻNOŚĆ OD DANYCH<br />
z warunkiem początkowym<br />
λ(t0) =λ0,<br />
gdzie λ0 jest ustaloną wartością parametru λ (wybraną dowolnie). Przyjmując<br />
¯x =(x, λ) i ¯ f =(f,0),<br />
otrzymamy zagadnienie Cauchy’ego<br />
<br />
˙¯x = ¯ f(t, ¯x)<br />
(5.5)<br />
¯x(t0) =¯x0.<br />
Stąd widać, że zależność od parametru można sprowadzić do zależności<br />
od warunku początkowego. Na podstawie twierdzenia 5.1.1 możemy zatem<br />
wnioskować o ciągłej zależności rozwiązań od parametru, zamieniając zagadnienie<br />
zależności prawej strony na zagadnienie zależności od warunku<br />
początkowego.<br />
W większości wypadków regularność prawej strony równania jest wyższa<br />
niż tylko lipschitzowskość. Obecnie zajmiemy się tym przypadkiem.<br />
Twierdzenie 5.2.1 Niech f(t, x, λ) będzie funkcją klasy C1 swoich argumentów<br />
dla (t, x) ∈ Q ⊂ Rm i λ ∈ G ⊂ Rk , gdzie zbiory Q i G są otwarte.<br />
Wtedy rozwiązanie x = x(t, t0,x0,λ) zagadnienia początkowego (5.3) jest<br />
klasy C1 względem zmiennych t, t0,x0,λ w otwartym zbiorze, na którym<br />
jest określone. Jeśli przez y(t) oznaczymy macierz Jacobiego [ ∂x(t,t0,x0,λ)<br />
∂λ ],<br />
to spełnia ona równanie macierzowe<br />
dy ∂f(t, x, λ) ∂f(t, x, λ)<br />
= y + (5.6)<br />
dt ∂x<br />
∂λ<br />
z warunkiem początkowym<br />
y(t0) = ∂x(t0,t0,x0,λ)<br />
=0.<br />
∂λ<br />
Natomiast macierz Jacobiego z(t) =[ ∂x(t,t0,x0,λ)<br />
] spełnia równanie<br />
∂x0<br />
dz<br />
dt<br />
∂f(t, x, λ)<br />
= z (5.7)<br />
∂x
5.2. ZALEŻNOŚĆ OD PRAWEJ STRONY 53<br />
z warunkiem początkowym<br />
z(t0) = ∂x(t0,t0,x0,λ<br />
= Im×m.<br />
∂x0<br />
Dowód. Różniczkowalność w sposób ciągły względem t wynika z twierdzenia<br />
Picarda-Linedlöfa (twierdzenie 3.2.1). Na podstawie uwag uczynionych<br />
wczesniej możemy zająć się zależnością rozwiązania od parametru λ. Poniżej<br />
udowodnimy, że rozwiązanie (5.3) jest klasy C1 jako funkcja tego parametru.<br />
Dla uproszczenia zapisu ograniczymy się do rozważania przypadku jednowymiarowego<br />
(skalarne λ). W przypadku λ będącego wektorem poniższe<br />
rozumowanie należy przeprowadzić dla każdej ze składowych oddzielnie.<br />
Niech ϕ(t, λ1) i ϕ(t, λ2) będą dwoma rozwiązaniami równania (5.3) z<br />
tym samym warunkiem początkowym i różnymi wartościami parametru λ.<br />
Niech U będzie zwartym podzbiorem Q iniech(t, ϕ(t, λ1)), (t, ϕ(t, λ2)) ∈ U<br />
dla t ∈ J0 = {t : |t − t0| α}. Rozważmy różnicę<br />
∆ϕ = ϕ(t, λ2) − ϕ(t, λ1).<br />
Korzystamy z całkowej postaci równania (5.3) i rozwijamy funkcję f(t, x, λ2)<br />
w szereg Taylora wokół punktu λ1, skąd<br />
t <br />
∂f(τ,ϕ(τ,λ1),λ1)<br />
∆ϕ(t) =<br />
+ ɛ1(τ) ∆ϕ(τ)dτ+<br />
t0 ∂x<br />
t <br />
∂f(τ,ϕ(τ,λ1),λ1)<br />
+<br />
+ ɛ2(τ) (λ2 − λ1)dτ,<br />
t0 ∂λ<br />
gdzie ɛ1(τ) =o(λ2 − λ1) i ɛ2(τ) =o(λ2 − λ1). Po podzieleniu obu stron tego<br />
równania przez (λ2 − λ1) otrzymujemy różnicową wersję równania (5.6)<br />
∆ϕ(t)<br />
λ2 − λ1<br />
t <br />
∂f(τ,ϕ(τ,λ1),λ1) ∆ϕ(τ)<br />
=<br />
+ ɛ1(τ) dτ+ (5.8)<br />
t0 ∂x<br />
λ2 − λ1<br />
t <br />
∂f(τ,ϕ(τ,λ1),λ1)<br />
+<br />
+ ɛ2(τ) dτ.<br />
∂λ<br />
t0<br />
54 ROZDZIAŁ 5. ZALEŻNOŚĆ OD DANYCH<br />
Ponieważ równanie (5.6) spełnia warunki twierdzenia o istnieniu i jednoznaczności<br />
rozwiązań, więc niech y(t, λ) będzie jego rozwiązaniem. Oznaczmy<br />
u(t) = ∆ϕ(t)<br />
− y(t, λ1).<br />
λ2 − λ1<br />
Odejmijmy od równania (5.8) całkowąwersję równania (5.6) i otrzymujemy<br />
t <br />
∂f(τ,ϕ(τ,λ1),λ1)<br />
u(t) =<br />
+ ɛ1(τ) u(τ)dτ+<br />
∂x<br />
t0<br />
t<br />
(ɛ1(τ)y(τ,λ1)+ɛ2(τ))dτ.<br />
t0<br />
Jeśli τ ∈ J0, to funkcja y(τ,λ1) jest ograniczona i<br />
ζ =sup|ɛ1(τ)y(τ,λ1)+ɛ2(τ)|<br />
= o(λ2 − λ1).<br />
τ∈J0<br />
Zachodzi wtedy oszacowanie<br />
t <br />
∂f(τ,ϕ(τ,λ1),λ1 <br />
|u(t)| <br />
+ ɛ1(τ) <br />
t0 ∂x<br />
|u(τ)| + ζ dτ.<br />
Niech K =supτ∈J0 | ∂f(τ,ϕ(τ,λ1),λ1)<br />
∂x<br />
ciągłości ∂f<br />
∂x i zwartości U. Z lematu Gronwall’a otrzymujemy<br />
|. StałaK jest skonczona, co wynika z<br />
|u(t)| ζ<br />
K (eKα − 1).<br />
Wynika stąd, że u(t) =o(λ2 − λ1), czyli<br />
∂ϕ(x, λ)<br />
= y(t, λ).<br />
∂λ<br />
Wobec tego rozwiązanie równania (5.3) jest klasy C1 względem λ, bomacierz<br />
Jacobiego jego pochodnej względem λ spełnia równanie (5.6) i jest<br />
ciągła, co wynika z twierdzenia 5.1.1. <br />
Wynik ten można uogólnić na wyższe klasy regularności prawej strony.<br />
Wniosek 5.2.2 Jeśli w założeniach twierdzenia 5.2.1 funkcja f(t, x, λ) jest<br />
klasy Cr ,gdzier1, to rozwiązanie x(t, t0,x0,λ) jest też kalsy Cr .
5.3. ZADANIA 55<br />
5.3 Zadania<br />
1. Znaleźć wskazaną pochodną względem parametru lub warunku początkowego:<br />
(a) ˙x = x + µ(t + x 2 ), x(0) = 1. Znaleźć ∂x<br />
∂µ |µ=0<br />
(b) ˙x =2t + µx 2 , x(0) = µ − 1. Znaleźć ∂x<br />
∂µ |µ=0<br />
(c) ˙x = x + x 2 + tx 3 , x(2) = x0. Znaleźć ∂x<br />
∂x0 |x0=0<br />
56 ROZDZIAŁ 5. ZALEŻNOŚĆ OD DANYCH
Rozdział 6<br />
Równania liniowe skalarne<br />
6.1 Czynnik całkujący<br />
Równania w postaci różniczek zupełnych nie występują zbyt często. Bywa<br />
jednak tak, że chociaż wyjściowe równanie nie jest w postaci różniczki zupełnej,<br />
to po pomnożeniu przez pewną funkcję daje się sprowadzić do takiej<br />
postaci. Funkcja taka nazywa się czynnikiem całkującym. Jeśli wyrażenie<br />
Mdx+ Ndy<br />
pomnożymy przez czynnik całkujący µ(x, y)<br />
µMdx + µNdy<br />
i zażądamy żeby nowe wyrażenie było różniczką zupełną<br />
∂µM<br />
∂y<br />
to otrzymamy równanie cząstkowe<br />
= ∂µN<br />
∂x<br />
M ∂µ<br />
<br />
∂µ ∂N<br />
− N = µ<br />
∂y ∂x ∂x<br />
57<br />
<br />
∂M<br />
− . (6.1)<br />
∂y<br />
58 ROZDZIAŁ 6. RÓWNANIA LINIOWE SKALARNE<br />
Oczywiście rozwiązanie (6.1) nie jest wcale łatwiejsze od rozwiązania wyjściowego<br />
równania zwyczajnego. Często jednak bywa, że wyrażenie Mdx+<br />
Ndy jest bliskie różniczce zupełnej. Wtedy czynnik Nx − My, występujący<br />
po prawej stronie równania (6.1), może być stały albo może być funkcją tylko<br />
jednej zmiennej. Sugeruje to często poszukiwanie czynnika całkującego<br />
w postaci µ(x), µ(y) lub µ = µ(f) gdzie f jest znaną funkcją x i y.<br />
Przykład 1. Czynnikiem całkującym dla równania<br />
(1 − x 2 y)dx + x 2 (y − x)dy =0<br />
jest µ(x) =x −2 .<br />
Przykład 2. Czynnikiem całkującym dla równania<br />
jest µ =(xy) −1 .<br />
xy 2 dx +(x 2 y − x)dy =0<br />
6.2 Równania liniowe skalarne pierwszego rzędu<br />
Obecnie zajmiemy się przypadkiem jednego równania liniowego pierwszego<br />
rzędu.<br />
Definicja 6.2.1 Równanie postaci<br />
˙x + p(t)x = q(t) (6.2)<br />
gdzie p(t) i q(t) są funkcjami zmiennej t ∈ (a, b), nazywamy równaniem<br />
liniowym. Jeśli q(t) ≡ 0 to równanie to nazywamy równaniem liniowym<br />
jednorodnym.<br />
Dla równania (6.2) bardzo łatwo otrzymać twierdzenie o istnieniu i jendoznaczności.<br />
Twierdzenie 6.2.2 Jeśli funkcje p(t) i q(t) są ciągłe dla t ∈ (a, b), to<br />
przez każdy punkt zbioru Q =(a, b) × R przechodzi dokładnie jedna krzywa<br />
całkowa równania (6.2). maksymalnym przedziałem istnienia rozwiązania<br />
jest przedział (a, b).
6.2. RÓWNANIA LINIOWE SKALARNE PIERWSZEGO RZĘDU 59<br />
Dowód. Istnienie i jednoznaczność lokalnego rozwiązania wynika z twierdzenia<br />
Picarda-Lindelöfa, bo wyrażenie q(t)−p(t)x spełnia lokalnie warunek<br />
Lipschitza. Należy jedynie udowodnić że rozwiązanie lokalne przedłuża się<br />
na cały odcinek (a, b). Wystarczy w tym celu udowodnić, że rozwiązanie w<br />
każdym punkcie jest ograniczone. Rozważmy zatem rozwiązanie x(t) przechodzące<br />
przez punkt (t0,x0). Pokażemy, że jeśli t1 ∈ (a, b) to x(t1) jest<br />
ograniczone. Rozwiązanie x(t) spełnia równanie całkowe<br />
t<br />
t<br />
x(t) =x0 − p(s)x(s)ds + q(s)ds,<br />
t0<br />
t0<br />
więc mamy oszacowanie<br />
t1<br />
t1<br />
|x(t1)| |x0 + q(s)ds| + K |x(s)|ds,<br />
t0<br />
t0<br />
gdzie K =supt∈[t0,t1] |p(t)|. Ponieważ odcinek [t0,t1] jest zwarty, więc funkcja<br />
q(t) jest ograniczona dla t ∈ [t0,t1] i<br />
<br />
<br />
<br />
x0 <br />
t1 <br />
+ q(s)ds<br />
= c
6.2. RÓWNANIA LINIOWE SKALARNE PIERWSZEGO RZĘDU 61<br />
Na przedstawiony powyżej wynik można spojrzeć w inny sposób. Zdefiniujmy<br />
operator L określony na funkcjach różniczkowalnych jako<br />
L(x) = ˙x + p(t)x.<br />
Operator ten jest oczywiście liniowy 2 . Używając operatora L równanie jednorodne<br />
możemy zapisać w postaci<br />
a niejednorodne jako<br />
L(x) =0, (6.4)<br />
L(x) =q(t). (6.5)<br />
Jeśli popatrzymy na L jako na przekształcenie liniowe to równanie (6.4)<br />
opisuje jego jądro. Jak wiadomo z algebry liniowej jądro jest podprzestrzenią<br />
liniową. Widać to choćby z równania (6.3). Rozwiązania równania (6.2.1)<br />
możemy teraz opisać w terminach operatora L.<br />
Twierdzenie 6.2.3 Niech będzie dany operator liniowy L(x) = ˙x + p(t)x.<br />
Wówczas<br />
1. Jądro operatora L jest przestrzenią jednowymiarową, jej bazą jest wektor<br />
u(t) =exp−<br />
t<br />
t0 p(s)ds<br />
<br />
.<br />
2. Funkcja up(t) = t<br />
t0 q(τ)exp<br />
<br />
− t<br />
τ p(s)ds<br />
<br />
dτ jest szczególnym rozwiązaniem<br />
równania niejednorodnego L(x) =q(t).<br />
3. Każde rozwiązanie równania niejednorodnego L(x) =q(t) przedstawia<br />
się w postaci sumy rozwiązania szczególnego up(t) i pewnego rozwiązaniazjądraoperatoraL.<br />
2<br />
Dla osób zaznajomionych z analizą funkcjonalną: jest również ciągły jako operator<br />
C 1 → C 1 .<br />
62 ROZDZIAŁ 6. RÓWNANIA LINIOWE SKALARNE<br />
6.3 Równanie Bernoulliego<br />
Obok równań liniowych istnieją pewne rodzaje równań, które można sprowadzić<br />
przez odpowiednie podstawienie do równań tejże klasy. Rozważmy<br />
równanie postaci<br />
˙x + p(t)x + q(t)x n =0. (6.6)<br />
Równanie to nosi nazwę równania Bernoulliego. Liczbęnnazywamy wykładnikiem<br />
Bernoulliego. Dlan =0mamy do czynienia ze zwykłym równaniem<br />
liniowym. Dla innych wartości wykładnika Bernoulliego równanie<br />
(6.6) sprowadza się do równania liniowego przez podstawienie<br />
z = x 1−n .<br />
Po podzieleniu równania (6.6) stronami przez x n otrzymamy<br />
˙xx −n + p(t)x 1−n + q(t) =0. (6.7)<br />
Ponieważ ˙z =(1−n)x −n ˙x to równanie (6.7) względem zmiennej z ma postać<br />
1<br />
˙z + p(t)z + q(t) =0,<br />
1 − n<br />
czyli jest równaniem liniowym.<br />
6.4 Równanie Riccatiego<br />
Innym typem równania, które w pewnych przypadkach daje się sprowadzić<br />
do równania liniowego, jest równanie postaci<br />
˙x + p(t)x + q(t)x 2 + r(t) =0. (6.8)<br />
Równanie w tej postaci nazywa się równaniem Riccatiego i nie istnieje ogólny<br />
sposób jego analitycznego całkowania. Jeśli jednak zanamy jedno rowiązanie<br />
szczególne x1(t), to przez podstawienie u = x − x1 możnatorównanie
6.5. RÓWNANIE CLAIRAUTA † 63<br />
sprowadzić do prostej postaci. Ponieważ ˙u = ˙x − x1, ˙ więc podstawiając tę<br />
równość do lewej strony równania (6.8) otrzymujemy<br />
x1 ˙ +˙u + p(t)(x1 + u)+q(t)(x1 + u) 2 + r(t) =<br />
= x1 ˙ + p(t)x1 + q(t)x 2 1 + r(t)+ ˙u + p(t)u +2q(t)x1u + q(t)u 2 =<br />
=˙u + p(t)u +2q(t)x1u + q(t)u 2 .<br />
Stąd wynika, że u(t) spełnia równanie<br />
˙u + p(t)u +2q(t)x1(t)u + q(t)u 2 =0.<br />
Jest to równanie Bernoulliego z wykładnikiem 2 i jako takie można je rozwiązać<br />
analitycznie. Oczywiście powstaje pytanie, w jakim stopniu metoda ta<br />
jest skuteczna, tzn. jak można znaleźć szczególne rozwiązanie x1(t). Prawda<br />
jest taka, że rozwiązanie x1(t) należy zgadnąć. Kedy jednak uda nam się<br />
odgadnąć jedno rozwiązanie, wtedy przedstawiona metoda postępowania<br />
pozwala znaleźć rozwiązanie ogólne tego równania.<br />
6.5 Równanie Clairauta †<br />
Równanie postaci<br />
x = t ˙x + f(˙x), (6.9)<br />
gdzie o ˙x i f zakładamy różniczkowalność w pewnych przedziałach nazywamy<br />
równaniem Clairauta. Różniczkując obie strony równania (6.9) mamy<br />
˙x =˙x + t¨x + f ′ (˙x)¨x,<br />
skąd<br />
¨x(t + f ′ (˙x)) = 0.<br />
Należy zatem rozpatrzyć dwa przypadki ¨x =0lub t + f ′ (˙x) =0. Jeżeli<br />
¨x =0to ˙x = C i po podstawieniu do równania (6.9) mamy<br />
x = Ct + f(C).<br />
64 ROZDZIAŁ 6. RÓWNANIA LINIOWE SKALARNE<br />
Jeśli natomiast t + f ′ (˙x) = 0 to rozwiązanie otrzymujemy jako rodzinę<br />
krzywych parametrycznych w postaci (t, x) danych układem<br />
traktując ˙x jako parametr.<br />
t = −f ′ (˙x)<br />
x = t ˙x + f(˙x)<br />
6.6 Równanie Lagrange’a-d’Alamberta †<br />
Równaniem Lagrange’a-d’Alamberta nazywamy równanie w postaci<br />
x = tf(˙x)+g(˙x), (6.10)<br />
w którym o funkcjach f i g zakładamy, że są danymi funkcjami klasy C 1 w<br />
pewnym przedziale oraz f(˙x) ≡ ˙x. Poszukujemy rozwiązań równania (6.10)<br />
klasy C 2 . Po zróżniczkowaniu stronami mamy<br />
˙x = f(˙x)+tf ′ (˙x)¨x + g ′ (˙x)¨x.<br />
Podstawiając ˙x = p i ¨x =˙p mamy przy założeniu tf ′ (p)+g ′ (p) = 0<br />
p − f(p)<br />
˙p =<br />
tf ′ (p)+g ′ . (6.11)<br />
(p)<br />
Jeśli licznik p − f(p) jest równy 0 przy wartościach p1,p2,...,pk to przedział<br />
zmienności p rozbijamy na rozłączne przedziały nie zawierające owych<br />
punktów. W każdym z nich pochodna ˙p zachowuje stały znak, co oznacza że<br />
funkcja p jest ściśle monotoniczna. Istnieje zatem funkcja odwrotna t = t(p)<br />
przy zało-<br />
różniczkowalna w odpowiednim przedziale. Ponieważ dt<br />
dp<br />
=1/ dp<br />
dt<br />
żeniu dp<br />
dt = 0, które mamy spełnione, to traktując równanie (6.11) jako<br />
równanie funkcji t w zależności od zmiennej p mamy równanie<br />
dt<br />
dp − f ′ (p)<br />
p − f(p) t = g′ (p)<br />
p − f(p)<br />
bedące równaniem liniowym.
6.7. ZADANIA 65<br />
6.7 Zadania<br />
1. Rozwiązać równania<br />
(a) t ˙x − 2x =4t 4<br />
(b) (2t +1)˙x =4t +2x<br />
(c) tx + et − t ˙x =0<br />
(d) (2x + y)dy = ydx +4lnydy<br />
2. Rozwiązać podane równania, sprowadzając je do postaci liniowej<br />
(a) xdx =(x2− 2y +1)dy<br />
(b) t(ex − ˙x) =2<br />
(c) (t 2 − 1) ˙x sin x +2t cos x =2t − 2t 3<br />
3. Rozwiązać równania<br />
(a) t 2 ˙x + tx + t 2 x 2 =4<br />
(b) 3˙x + x 2 + 2<br />
t 2 =0<br />
(c) ˙x − 2tx + x 2 =5− t 2<br />
66 ROZDZIAŁ 6. RÓWNANIA LINIOWE SKALARNE
Rozdział 7<br />
Liniowe równania rzędu<br />
drugiego<br />
7.1 Zagadnienie<br />
W wielu zagadnieniach, nie tylko fizycznych, mamy do czynienia z równaniami<br />
rzędów wyższych niż jeden. Przypomnijmy, że druga pochodna pewnej<br />
wielkości określa szybkość zmiany tej wielkości. W zastosowaniach traktowana<br />
jest ona jako informacja o przyspieszeniu. Interesować będą nas równania<br />
liniowe.<br />
Definicja 7.1.1 Równaniem liniowym rzędu drugiego nazywamy równanie<br />
postaci:<br />
¨x + p(t)˙x + q(t)x = r(t). (7.1)<br />
Gdy r(t) ≡ 0, wówczas równanie (7.1) nazywamy równaniem jednorodnym,<br />
w przeciwnym wypadku równanie to nazywamy równaniem niejednorodnym.<br />
Dowody istnienia i jednoznaczności rozwiązań równań liniowych drugiego<br />
rzędu na razie pominiemy. Zostaną one zaprezentowane, gdy będziemy w<br />
posiadaniu narzędzi z obszaru układów równań liniowych pierwszego rzędu.<br />
Jak pamiętamy z rozdziału 2, każde równanie rzędu wyższego niż pierwszy<br />
można rozłożyć na układ równań rzędu pierwszego.<br />
67<br />
68 ROZDZIAŁ 7. LINIOWE RÓWNANIA RZĘDU DRUGIEGO<br />
Podobnie jak w przypadku równań liniowych rzędu pierwszego, również<br />
w tym przypadku możemy spojrzeć na zagadnienie w sposób geometryczny.<br />
W rozdziale szóstym doszliśmy do wniosku, że rozwiązanie niejednorodnego<br />
równania liniowego wyraża się jako warstwa afiniczna rozwiązania zagadnienia<br />
jednorodnego. Również w tym przypadku dowolne ϕ - rozwiązanie<br />
równania (7.1) może zostać przedstawione jako suma ϕc - jednego ustalonego<br />
rozwiązania zagadnienia (7.1) oraz ˜ϕ - dowolnego rozwiązania zagadnienia<br />
jednorodnego, stowarzyszonego z (7.1)<br />
¨x + p(t)˙x + q(t)x =0. (7.2)<br />
Zapisując powyższe wnioski przy użyciu języka algebry liniowej możemy<br />
stwierdzić że zagadnienie (7.1) jest w istocie poszukiwaniem przeciwobrazu<br />
elementu r(t) ∈ C0 przy przekształceniu liniowym L(x) =¨x+p(t)˙x+q(t)x.<br />
Ponieważ porzuciliśmy świat skończenie wymiarowy przenosząc się w<br />
przestrzenie funkcyjne, które ze swej natury są przestrzeniami o nieskończonej<br />
liczbie wymiarów, potrzebne jest nam zdefiniowanie pojęcia liniowej<br />
niezależności układu wektorów będace wygodniejszym w użyciu niż stosowane<br />
dotychczas. Pojęcie to zostanie wprowadzone w nieco nietypowy sposób.<br />
Niech x1(t) i x2(t) będą dwoma różnymi rozwiązaniami zagadnienia jednorodnego<br />
(7.2). Z liniowości wynikać powinno że dla dowolnych skalarów<br />
c1 i c2 funkcja postaci c1x1(t) +c2x2(t) także jest rozwiązaniem równania<br />
(7.2). W ogólności stwierdzenie to jest jednak nieprawdziwe.<br />
Stwierdzenie 7.1.2 Niech x1(t) i x2(t) będą dwoma różnymi rozwiązaniami<br />
zagadnienia jednorodnego (7.2) określonymi na przedziale [a, b]. Funkcja<br />
postaci c1x1(t)+c2x2(t) jest rozwiązaniem równania (7.2) wtedy i tylko wtedy,<br />
gdy<br />
<br />
<br />
x1(t) x2(t)<br />
∀t∈[a,b] det<br />
= 0. (7.3)<br />
˙x1(t) ˙x2(t)<br />
Dowód. (na razie pomijamy) Warunek 7.3 pozwala nam sformułować<br />
następującą definicję<br />
Definicja 7.1.3 Układ funkcji (x1(t),x2(t)) nazwiemy liniowo niezależnym<br />
gdy spełniony jest warunek 7.3.
7.2. RÓWNANIA O STAŁYCH WSPÓŁCZYNNIKACH 69<br />
Macierz występującą w sformułowaniu warunku 7.3 nazywamy macierzą<br />
Wrońskiego, jej wyznacznik zaś wrońskianem.<br />
Rozważając operator L możemy stwierdzić, że zagadnienia (7.1) i (7.2)<br />
można sformułować jako rozwiązywanie zagadnień L(x) =r(t) i L(x) =0.<br />
Podobnie do twierdzenia 6.2.3 możemy sformułować następujące twierdzenie.<br />
Twierdzenie 7.1.4 Niech dany będzie operator liniowy L : C 2 → C 0 zadany<br />
wzorem L(x) =¨x + p(t)˙x + q(t)x. Wówczas<br />
1. Jądro operatora L jest dwuwymiarowe, jego bazę stanowią liniowo niezależne<br />
funkcje x1(t) i x2(t).<br />
2. Jeśli xc(t) jest rozwiązaniem równania L(x) =r(t), tojegoogólne<br />
rozwiązanie wyraża się wzorem c1x1(t)+c2x2(t)+xc(t) gdzie c1,c2 ∈<br />
R.<br />
Dowód. (na razie pomijamy) <br />
7.2 Równania o stałych współczynnikach<br />
Niestety nie potrafimy rozwiązywać równań liniowych rzędu drugiego w<br />
ogólności jaką prezentuje postać 7.1. Jesteśmy jednak w stanie podać jego<br />
rozwiązania w przypadku, gdy funkcje p(t) i q(t) są funkcjami stałymi.<br />
Do takich równań ograniczymy się w daleszej cześci rozważań.<br />
Rozpatrzmy równanie w postaci<br />
¨x + a ˙x + bx = r(t), (7.4)<br />
gdzie a, b ∈ R. Gdy rozpatrywaliśmy jednorodne równanie liniowe rzędu<br />
pierwszego, ogólna postać jego rozwiązania miała formę e λt .Sprawdźmy,<br />
czy podobne rozumowanie będzie miało rację bytu także w obecnej sytuacji.<br />
Podstawmy x(t) =e λt do równania (7.4). Mamy wówczas<br />
(λ 2 + aλ + b)e λt =0<br />
70 ROZDZIAŁ 7. LINIOWE RÓWNANIA RZĘDU DRUGIEGO<br />
skąd jako wniosek możemy wyciągnąć<br />
λ 2 + aλ + b =0. (7.5)<br />
Wielomian stanowiący lewą stronę równania nazywamy wielomianem charakterystycznym<br />
równania (7.4). Pochodzenie nazwy stanie się jasne w teorii<br />
układów równań rzedu pierwszego. Rozpatrzmy dwa przypadki.<br />
1. ∆ = 0. Istnieją wówczas λ1,λ2 - dwa różne pierwiastki równania (7.5).<br />
Bezpośrednim rachunkiem można w łatwy sposób sprawdzić, że odpowiadające<br />
im funkcje eλ1t i eλ2t stanowią układ liniowo niezależny. Rozwiązanie<br />
ogólne zagadnienia niejednorodnego ma zatem postać<br />
x(t) =xc(t)+c1e λ1t + c2e λ2t<br />
Można sobie teraz zadać pytanie, co stanie się w wypadku, gdy pierwiastki<br />
λ1 i λ2 są dwoma sprzeżonymi pierwiastkami zespolonymi1 .Niestanowito<br />
jednak wielkiego problemu, gdyż można posłużyć się następującym trickiem.<br />
Jak wiemy każdą liczbę zespolona można zapisać w postaci z = eα+iϕ gdzie<br />
eα jest moduem a ϕ argumentem. Inaczej z = eα (cos ϕ + i sin ϕ). Stąd,dla<br />
λ1 = α + iβ oraz sprzeżonego do λ1 pierwiastka λ2, mamy poniżesz wyrażenia.<br />
e λ1t = e αt (cosβt + i sin βt)<br />
e λ2t = e αt (cosβt − i sin βt)<br />
Przekształcając otrzymamy<br />
e αt cos βt = 1<br />
2 (eλ1t + e λ2t ) e αt sin βt = 1<br />
2 (eλ1t − e λ2t )<br />
Teraz jesteśmy w stanie rozwiązanie zapisać jako kombinację funkcji rzeczywistych<br />
x(t) =xc(t)+c1e αt sin βt + c2e αt cos βt.<br />
Geometrycznie odpowiada to zamianie bazy przestrzeni C traktowanej jako<br />
przestrzń liniowa nad R z kanonicznej {1,i} na skośną do niej.<br />
1 Podkreślmy że rozpatrujemy warunek ∆ = 0, w szczególności ∆ < 0.
7.2. RÓWNANIA O STAŁYCH WSPÓŁCZYNNIKACH 71<br />
1. ∆=0. W tym przypadku mamy jeden pierwiastek podwójny λ. Pierwszym<br />
wektorem rozpinającym jądro operatora tworzącego równanie będzie<br />
zatem e λt . Poszukujemy drugiego wektora rozpinającego jądro, liniowo niezależnego<br />
z pierwszym. Posłużymy się metodologią podobną do znajdowania<br />
rozwiązań równań liniowych niejednorodnych. Załóżmy, ze drugi wektor ma<br />
postać u(t)e λt . Podstawmy tę postać do równania jednorodnego<br />
Otrzymamy wówczas<br />
¨x + a ˙x + bx =0<br />
üe λt +2˙uλe λt + uλ 2 e λt + aλe λt u + a ˙ue λt + bue λt =0<br />
Po uporządkowaniu i podzieleniu przez e λt mamy<br />
ü +(2λ + a) ˙u +(λ<br />
<br />
=0<br />
2 + aλ + b) u =0<br />
<br />
=0<br />
Zerowanie sie obu pokreślonych czynników wynika z założeń narzuconych<br />
na λ. Drugi czynnik zeruje się, gdyż λ jest pierwiastkiem wielomianu charakterystycznego,<br />
zerowanie się pierwszego czynnika wynika z faktu, że λ<br />
jest pierwiastkiem podwójnym. Ostatecznie zatem mamy<br />
skąd<br />
ü =0<br />
u(t) =c1t + c2.<br />
Drugim szukanym wektorem z bazy jądra operatora L jest (c1t + c2)e λt ,co<br />
po redukcji o c2e λt iskalowaniuprzez1/c1 daje nam te λt .<br />
Bezpośredni rachunek pokazuje liniową niezależność układu (e λt ,te λt ).<br />
Dowolne rozwiązanie zagadnienia niejednorodnego ma zatem postać<br />
x(t) =xc(t)+c1e λt + c2te λt .<br />
Dalsze związki prezentowanych tutaj metod z geometrią skończenie wymiarową<br />
staną się widoczne w momencie, gdy zaczniemy zajmować się układami<br />
równań pierwszego rzędu.<br />
72 ROZDZIAŁ 7. LINIOWE RÓWNANIA RZĘDU DRUGIEGO<br />
7.3 Zadania<br />
1. Rozwiąż poniższe równania<br />
(a) ¨x +˙x − 2x =0<br />
(b) ¨x − 4˙x +5x =0<br />
(c) ¨x − 2˙x + x =0<br />
2. Rozwiąż poniższe równania<br />
(a) ¨x − x =2e t − t 2<br />
(b) ¨x +˙x − 2x =3te t<br />
(c) ¨x + x =4sint
Rozdział 8<br />
Układy równań liniowych<br />
8.1 Zagadnienie<br />
Jak stwierdziliśmy w rozdziale drugim, równania różniczkowe rzędów wyższych<br />
niż jeden można przeformułować na wielowymiarowe zagadnienie niższego<br />
rzędu. Odbywa się to kosztem wektoryzacji równania, co oznacza że<br />
zamiast rozwiązywać równanie skalarne, rozwiązujemy układ takich równań.<br />
Możemy postępowanie to interpretować jako rozwiązywanie pojedyńczego<br />
równania, którego rozwiązaniem jest funkcja wektorowa.<br />
W rozdziale tym zajmować się będziemy układami równań liniowych.<br />
Dalej rozważać będziemy tylko układy pierwszego rzędu (por. rozdział drugi).<br />
Układ taki ma postać<br />
˙x = A(t)x + f(t). (8.1)<br />
Za warunek początkowy przyjmiemy<br />
x(t0) =x0. (8.2)<br />
Równanie (8.1) wygląda w zasadzie tak samo jak równanie (6.2) z tą tylko<br />
różnicą, że w równaniu (8.1) funkcja x(t) jest funkcją o wartościach wektorowych<br />
w przestrzeni Rm .<br />
x(t) =(x1(t),x2(t),...,xm(t)).<br />
73<br />
74 ROZDZIAŁ 8. UKŁADY RÓWNAŃ LINIOWYCH<br />
Analogicznie funkcja f(t) jest funkjcą wektorową o wartościach w Rm .Funkcja<br />
A(t) jest macierzą m × m<br />
⎡<br />
⎢<br />
A(t) = ⎢<br />
⎣<br />
a11(t)<br />
a21(t)<br />
.<br />
a12(t)<br />
a22(t)<br />
.<br />
...<br />
...<br />
. ..<br />
a1m(t)<br />
a2m(t)<br />
.<br />
⎤<br />
⎥<br />
⎦<br />
am1(t) am2(t) ... amm(t)<br />
Wiele własności udowodnionych dla zagadnień postaci (6.2) przenosi się na<br />
zagadnienia rozpatrywane obecnie.<br />
Twierdzenie 8.1.1 Jeśli funkcje A(t) i f(t) są ciągłe dla t ∈ (a, b), to<br />
przez każdy punkt zbioru Q =(a, b)×R m przechodzi dokładnie jedna krzywa<br />
całkowa równania (8.1). Maksymalnym przedziałem istnienia rozwiązania<br />
jest przedział (a, b).<br />
Dowód. Dowód twierdzenia przebiega analogicznie do dowodu twierdzenia<br />
6.2.2. Różnica polega na zastąpieniu modułu |·|normą ·. <br />
Podobnie jak w przypadku równań skalarnych pewną szczególną rolę odgrywają<br />
przypadki gdy w zagadnieniu (8.1) funkcja f ≡ 0. Mamy wówczas<br />
do czynienia z zagadnieniem jednorodnym. Z jednoznaczności rozwiązania<br />
gwarantowanej przez twierdzenie 8.1.1 wynika następujący wniosek.<br />
Wniosek 8.1.2 Jeśli x(t) jest rozwiązaniem zagadnienia jednorodnego<br />
˙x = A(t)x<br />
i x(t0) =0dla pewnego t0 ∈ (a, b), tox≡ 0.<br />
Prawdziwe jest także twierdzenie analogiczne to spotkanego wcześniej podczas<br />
rozważania równań skalarnych, opisujące geometryczną naturę przestrzeni<br />
rozwiązań.<br />
Twierdzenie 8.1.3 Prawdziwe są następujące stwierdzenia:<br />
1. Rozwiązania równania jednorodnego tworzą m-wymiarową przestrzeń<br />
liniową E.
8.1. ZAGADNIENIE 75<br />
2. Jeśli xc(t) jest rozwiązaniem szczególnym równania niejednorodnego,<br />
a wektory xi(t) i =1, 2,...,m są bazą przestrzeni E, to rozwiązanie<br />
ogólne równania niejednorodnego ma postać<br />
gdzie ci ∈ R.<br />
x(t) =xc(t)+c1x1(t)+...+ cmxm(t),<br />
Dowód. NiechE będzie zbiorem wszystkich rozwiązań równania jednorodnego.<br />
Niech x1(t),x2(t) ∈E. Wtedy łatwo sprawdzić, że<br />
x(t) =c1x1(t)+c2x2(t) ∈E.<br />
Wobec tego E jest przestrzenią liniową. Udowodnimy teraz, że dim E = m.<br />
Niech t0 ∈ (a, b) i zdefiniujmy odwzorowanie L : x(t) ↦→ x(t0) =x0 ∈ Rm .<br />
Odwzorowanie L jest oczywiście liniowe. Ponieważ na mocy twierdzenia<br />
8.1.1 istnieje rozwiązanie dla dowolnych danych początkowych, to odwzorowanie<br />
to jest epimorficzne. Dalej, ze względu na wniosek 8.1.2 jądro tego<br />
odwzorowania składa się tylko z wektora zerowego. Odwzorowanie L jest<br />
zatem monomorficzne. Ustaliliśmy zatem izomorfizm między E a Rm .Udowodniliśmy<br />
punkt 1) twierdzenia. Punktu 2) dowodzi się analogicznie jak<br />
to ma miejsce w przypadku równań skalarnych. <br />
Załóżmy teraz, że mamy jakąś bazę przestrzeni E, złożonej z rozwiązań<br />
równania jednorodnego. Baza ta składa się z funkcji x1(t),x2(t),...,xm(t).<br />
Zbudujmy z tych funkcji macierz X(t), tak aby kolejne xi(t) stanowiły kolumny<br />
macierzy X(t). Macierz X spełnia równanie macierzowe<br />
˙X = A(t)X. (8.3)<br />
Wynika to z faktu, że kolumny macierzy spełniają to równanie. Co więcej,<br />
można zauważyć że jeśli pewna macierz X spełnia to równanie, wówczas jej<br />
kolumny także spełniają równanie analogiczne.<br />
Dla dalszego toku rozumowania niezbędne jest poniższe twierdzenie.<br />
76 ROZDZIAŁ 8. UKŁADY RÓWNAŃ LINIOWYCH<br />
Twierdzenie 8.1.4 Niech X(t) będzie macierzą m × m spełniającą równanie<br />
(8.3) w przedziale (a, b). Zdefiniujmy<br />
∆(t) =detX(t).<br />
Dla każdego t i każdego t0 z przedziału (a, b) zachodzi<br />
∆(t) =∆(t0)exp<br />
t<br />
t0<br />
trA(s)ds.<br />
Dowód. NiechA(t) =[aij(t)] oraz X(t) =[x j<br />
i (t)]. Z prawa różniczkowania<br />
wyznacznika mamy<br />
<br />
<br />
˙x<br />
<br />
<br />
˙∆(t) = <br />
<br />
<br />
<br />
<br />
1 1 ˙x 2 1 ... ˙x m 1<br />
x1 2 x2 2 ... xm <br />
<br />
x<br />
<br />
2 <br />
<br />
.<br />
. . .. + ...+ <br />
<br />
. <br />
<br />
<br />
1 1 x2 1 ... xm 1<br />
x1 2 x2 2 ... xm <br />
<br />
<br />
<br />
2 <br />
<br />
.<br />
. . .. .<br />
. <br />
<br />
<br />
x 1 m x 2 m ... x m m<br />
˙x 1 m ˙x 2 m ... ˙x m m<br />
Równanie (8.3 zapisane w postaci składowych macierzy X(t) ma postać<br />
˙x j<br />
i =<br />
m<br />
k=1<br />
aikx j<br />
k .<br />
Korzystając z tych wyrażeń, otrzymujemy<br />
<br />
<br />
a11x<br />
<br />
<br />
˙∆(t) = <br />
<br />
<br />
<br />
<br />
1 1 a11x2 1 ... a11xm x<br />
1<br />
1 2 x2 2 ... xm . .<br />
. ..<br />
<br />
<br />
<br />
<br />
2 <br />
<br />
+...+<br />
<br />
<br />
. <br />
<br />
<br />
x 1 m x 2 m ... x m m<br />
czyli<br />
˙∆(t) =∆(t)trA(t).<br />
Całkujemy to równanie i otrzymujemy<br />
∆(t) =∆(t0)exp<br />
t<br />
t0<br />
x1 1 x2 1 ... xm 1<br />
x1 2 x2 2 ... xm 2<br />
.<br />
. . .. .<br />
ammx1 m ammx2 m ... ammxm <br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
m<br />
trA(s)ds,<br />
co należało pokazać. <br />
Z powyższego twierdzenia nasuwa się od razu następujący wniosek.<br />
,
8.1. ZAGADNIENIE 77<br />
Wniosek 8.1.5 Jeśli ∆(t0) = 0w pewnym punkcie t0 ∈ (a, b), to∆(t) = 0<br />
dla każdego t ∈ (a, b).<br />
Definicja 8.1.6 macierz kwadratowa X(t) owymiarzem × m spełniająca<br />
równanie ˙ X = A(t)X nazywa się macierzą fundamentalną układu ˙x =<br />
A(t)x. Wektoryx1(t),x2(t),...,xm(t) będące jej kolumnami nazwiemy fundamentalnym<br />
układem rozwiązań. Wyznacznik ∆(t) nazywa się wtdy wyznacznikiem<br />
Wrońskiego 1 układu funkcji x1(t),x2(t),...,xm(t).<br />
Zauważmy, że jeśli wyznacznik wrońskiego jest różny od zera w jakimś<br />
punkcie przedziału, to jest on różny od zera w każdym punkcie tego przedziału.<br />
Powiemy wówczas, że funkcje tworzące układ fundamentalny są liniowo<br />
niezależne. Stąd wynika łatwy sposób konstruowania układu fundamentalnego.<br />
Twierdzenie 8.1.7 Każde liniowe równanie jednorodne postaci ˙x = A(t)x<br />
ma układ fundamentalny.<br />
Dowód. Wybieramy m liniowo niezależnych wektorów w Rm : x1 0 ,x20 ,...,xm0 i rozwiązujemy równanie ˙x = A(t)x kolejno z warunkami x(t0) =xi 0 . Otrzymane<br />
rozwiązania xi (t) tworzą układ fundamentalny. <br />
Zajmiemy się teraz równaniem niejednorodnym. Podobnie jak w przypadku<br />
równań skalarnych, także tutaj możliwa jest metoda uzmiennienia<br />
stałej (wariacji parametru).<br />
Twierdzenie 8.1.8 Niech dane będzie zagadnienie początkowe dla równania<br />
niejednorodnego<br />
˙x = A(t)x + f(t) x(t0) =x0.<br />
Rozwiązanie tego zagadnienia ma postać<br />
x(t) =X(t)X −1 (t0)x0 + X(t)<br />
t<br />
t0<br />
X −1 (s)f(s)ds,<br />
gdzie X(t) jest macierzą fundamentalną układu jednorodnego.<br />
1 Wyznacznik Wrońskiego określa się także mianem "wrońskian".<br />
78 ROZDZIAŁ 8. UKŁADY RÓWNAŃ LINIOWYCH<br />
Dowód. Niechx1(t),...,xm(t) będą układem fundamentalnym rozwiązań<br />
równania jednorodnego. Wtedy każde rozwiązanie zagadnienia jednorodnego<br />
można zapisać jako kombinację<br />
x(t) =c1x1(t)+...+ cmxm(t).<br />
Rozwiązania szukamy więc w postaci<br />
x(t) =c1(t)x1(t)+...+ cm(t)xm(t).<br />
Niech X(t) będzie macierzą fundamentalną, której kolumnami są wektory<br />
xi(t),<br />
C(t) =(c1(t),c2(t),...,cm(t)).<br />
Wtedy poszukiwane rozwiązanie można zapisać w prostszej formie jako<br />
x(t) =X(t)C(t). Po podstawieniu tego wyrażenia do równania mamy<br />
˙X(t)C(t)+X ˙ C(t) =A(t)X(t)C(t)+f(t).<br />
Ponieważ X(t) spełnia równanie jednorodne to mamy<br />
X(t) ˙ C(t) =f(t).<br />
Macierz fundamentalna jest macierzą nieosobliwą zatem istnieje X−1 (t) i<br />
ostatnie równanie przyjmuje postać<br />
˙C(t) =X −1 (t)f(t).<br />
Całkujemy to równanie, skąd otrzymujemy<br />
C(t) =C(t0)+<br />
t<br />
t0<br />
X −1 (s)f(s)ds.<br />
Jeśli ma być spełniony warunek początkowy, to<br />
X(t0)C(t0) =x0,<br />
czyli<br />
C(t0) =X −1 (t0)x0.<br />
Wtedy<br />
C(t) =X −1 t<br />
(t0)x0 + X<br />
t0<br />
−1 (s)f(s)ds.<br />
Mnożymy ostatnią równość przez X(t) i otrzymujemy tezę twierdzenia.
8.2. UKŁADY O STAŁYCH WSPÓŁCZYNNIKACH 79<br />
8.2 Układy o stałych współczynnikach<br />
Zajmując się równaniem liniowym skalarnym drugiego rzędu powiedzieliśmy,<br />
że nie potrafimy rozwiązywać owego zagadnienia w przypadku, gdy<br />
współczynniki równania nie są stałe. W dalszym ciągu zajmować będziemy<br />
się zatem układami równań pierwszego rzędu o stałych współczynnikach.<br />
Dla układów takich istnieją skuteczne metody całkowania.<br />
Rozważmy układ jednorodny<br />
˙x = Rx, (8.4)<br />
gdzie R jest stałą macierzą o wymiarze m × m, oraz warunek początkowy<br />
x(t0) =x0. (8.5)<br />
Gdyby równanie (8.4) było równaniem skalarnym, to rozwiązanie zagadnienia<br />
Cauchy’ego miałoby postać x(t) =x0e R(t−t0) . Będziemy starali się<br />
pokazać, że identyczny wzrów zachodzi także dla równania wektorowego.<br />
Zanim jednak to nastąpi musimy zdefiniować obiekt e A gdzie A jest macierzą.<br />
Definicja 8.2.1 Jeśli A jest macierzą kwadratową m×m, toeA definiujemy<br />
jako sumę szeregu<br />
e A = I + A + 1<br />
2! A2 + 1<br />
3! A3 + ...+ 1<br />
n! An + ..., (8.6)<br />
gdzie An traktujemy jako n-krotne złożenie operatora A ze sobą.<br />
Jeśli norma operatora A jest ograniczona (w przestrzeniach skończenie wymiarowych,<br />
czyli takich w których się poruszamy, operatory liniowe jako<br />
przekształcenia ciągłe mają normę ograniczoną) to z ograniczenia owego<br />
wynika zbieżność powyższego szeregu.<br />
Przykład 1. Obliczymy eA dla macierzy<br />
⎡ ⎤<br />
1 1 0<br />
⎢ ⎥<br />
A = ⎣ 0 1 0 ⎦<br />
0 0 2<br />
80 ROZDZIAŁ 8. UKŁADY RÓWNAŃ LINIOWYCH<br />
Rozłóżmy macierz A na sumę A = AD + B gdzie<br />
⎡<br />
1<br />
⎢<br />
AD = ⎣ 0<br />
0<br />
1<br />
⎤<br />
0<br />
⎥<br />
0 ⎦<br />
⎡<br />
0<br />
⎢<br />
B = ⎣ 0<br />
1<br />
0<br />
⎤<br />
0<br />
⎥<br />
0 ⎦<br />
0 0 2<br />
0 0 0<br />
Ponieważ dla macierzy AD i B iloczyn ADB jest przemienny to z wzoru<br />
(8.6) wynika, że<br />
e A = e AD+B = e AD e B<br />
Bezpośredni rachunek połączony z odrobiną spostrzegawczości daje<br />
e AD ⎡<br />
e<br />
⎢<br />
= ⎣ 0<br />
0<br />
e<br />
0<br />
0<br />
0 0 e2 ⎤<br />
⎥<br />
⎦<br />
Aby obliczyć pozostałą część, czyli e B , posłużymy się obserwacją że macierz<br />
B jest w istocie elementem nilpotentnym pierścienia macierzy. Nilpotentność<br />
oznacza istnienie takiego n ∈ N że B n =0. Rzeczywiście B 2 =0. Bezpo-<br />
średni rachunek daje<br />
Ostatecznie mamy<br />
e B ⎡<br />
1<br />
⎢<br />
= ⎣ 0<br />
1<br />
1<br />
⎤<br />
0<br />
⎥<br />
0 ⎦ .<br />
0 0 1<br />
⎡<br />
e A = e AD e B ⎢<br />
= ⎣<br />
e<br />
0<br />
e<br />
e<br />
0<br />
0<br />
0 0 e2 ⎤<br />
⎥<br />
⎦<br />
Należy tu zwrócić szczególną uwagę na fakt, że na poprawność powyższego<br />
rozumowania istotny wpływ ma przemienność macierzy AD oraz B.<br />
Biorąc dwa operatory rzutowe na dwie różne podprzestrzenie liniowe (jest jasne że operatory<br />
takie nie komutują ze sobą, inaczej nie są ze sobą przemienne) otrzymamy różne<br />
wyniki biorąc e A e B oraz e B e A .<br />
Możemy teraz sformułować podstawowe twierdzenie.
8.2. UKŁADY O STAŁYCH WSPÓŁCZYNNIKACH 81<br />
Twierdzenie 8.2.2 Macierzą fundamentalną równania (8.5) jest exp(Rt).<br />
Dowód. Korzystając ze wzoru (8.6) liczymy pochodną macierzy 2 exp(Rt)<br />
d<br />
dteRt = d<br />
1<br />
dt (I + Rt + 2! R2t2 + ...+ 1<br />
n! Rntn + ...)=<br />
= R + R2t2 + 1<br />
2! R3t2 + ...+ 1<br />
(n−1)! Rnt (n−1) =<br />
= R(I + Rt + 1<br />
2! R2t2 + ...+ 1<br />
(n−1)! R(n−1) t (n−1) + ...)=ReRt Oznacza to, że X(t) =e Rt spełnia równanie<br />
˙X = RX.<br />
Wobec uwag w poprzedniej sekcji, macierz X jest więc macierzą fundamentalną<br />
układu (8.4). <br />
Zajmiemy się teraz problemem znajdowania macierzy fundamentalnej<br />
dla układu zadanego dowolną macierzą. Jeśli R jest macierzą diagonalną,<br />
tzn. ma postać<br />
⎡<br />
λ1<br />
⎢ 0<br />
R = ⎢<br />
⎣ .<br />
0<br />
λ2<br />
.<br />
...<br />
...<br />
. ..<br />
0<br />
0<br />
.<br />
⎤<br />
⎥<br />
⎦<br />
0 0 ... λm<br />
to z wzoru (8.6) wynika, że<br />
e Rt ⎡<br />
e<br />
⎢<br />
= ⎢<br />
⎣<br />
λ1t 0<br />
0<br />
e<br />
... 0<br />
λ2t . .<br />
...<br />
. ..<br />
0<br />
.<br />
0 0 ... eλmt ⎤<br />
⎥<br />
⎦<br />
Jeśli macierz R nie jest w postaci diagonalnej, to posłużymy się znanym<br />
z algebry liniowej rozkładem Jordanowskim przestrzeni na podprzestrzenie<br />
niezmiennicze. Wiadomo, że macierz R jest rzeczywista. Będziemy ją<br />
2<br />
Uwaga: korzystamy tu z twierdzenia o różniczkowaniu jednostajnie zbieżnego szeregu<br />
funkcyjnego wyraz po wyrazie!<br />
82 ROZDZIAŁ 8. UKŁADY RÓWNAŃ LINIOWYCH<br />
traktować jako przekształcenie R : Cm → Cm . Na mocy tw. Jordana istnieje<br />
nieosobliwe przekształcenie Q, takieżeQ−1RQ = J, przy czym J jest<br />
macierzą w kanonicznej postaci Jordana<br />
⎡<br />
J1<br />
⎢ 0<br />
J = ⎢<br />
⎣ .<br />
0<br />
J2<br />
.<br />
...<br />
...<br />
. ..<br />
0<br />
0<br />
.<br />
⎤<br />
⎥<br />
⎦<br />
0 0 ... Jj<br />
gdzie każda z klatek Ji jst klatką diagonalną albo klatką w postaci<br />
⎡<br />
λi<br />
⎢ 0<br />
⎢<br />
Ji = ⎢ .<br />
⎢<br />
⎣ 0<br />
1<br />
λi<br />
.<br />
0<br />
0<br />
1<br />
.<br />
0<br />
...<br />
...<br />
. ..<br />
...<br />
0<br />
0<br />
.<br />
1<br />
⎤<br />
⎥<br />
⎦<br />
0 0 0 ... λi<br />
(8.7)<br />
Przestrzeń Cm rozpada się na sumę prostą przestrzeni Hi o tej własności,<br />
że każda Hi jest niezmiennicza dla J i J ma w Hi wektor własny o wartości<br />
własnej λi. Z blokowej postaci macierzy J wynika że<br />
e Jt ⎡<br />
e<br />
⎢<br />
= ⎢<br />
⎣<br />
J1t 0<br />
0<br />
e<br />
... 0<br />
J2t . .<br />
...<br />
. ..<br />
0<br />
.<br />
0 0 ... eJjt ⎤<br />
⎥<br />
⎦<br />
Wystarczy zatem skonstruować e Jit . Jeśli macierz Ji jest diagonalna, to<br />
wiemy jak konstruować funkcję wykładniczą. Jeśli natomiast Ji ma postać<br />
(8.7) to postępujemy następująco. Rozkładamy Ji na sumę<br />
Ji = λiIk + Kk,<br />
gdzie indeksem k oznaczono wymiar przestrzeni niezmienniczej Hi. Oczywiście<br />
macierze Ik i Kk są przemienne zatem<br />
e Jit = e λit Ike Kkt .
8.2. UKŁADY O STAŁYCH WSPÓŁCZYNNIKACH 83<br />
Oznacza to, że wystarczy znaleźć e Kkt . Obliczając kolejne potęgi macierzy<br />
Kk przekonujemy się, że jest ona macierzą nilpotentną. Bezpośrednim<br />
rachunkiem możliwym do wykonania w warunkach domowego zacisza otrzy-<br />
mujemy<br />
e Kkt ⎡<br />
1 0 0 ... 0<br />
⎢ t 1 0 ... 0<br />
⎢ t<br />
= ⎢<br />
⎣<br />
2<br />
⎤<br />
⎥<br />
2 t 1 ... 0 ⎥<br />
. ⎥<br />
. . . .. . ⎥<br />
⎦<br />
t k−1<br />
(k−1)!<br />
t k−2<br />
(k−2)!<br />
t k−3<br />
(k−3)! ... 1<br />
Stąd zaś otrzymujemy e Jit a następnie exp(Jt). Mając tę ostatnią funkcję i<br />
przekształcenie Q, które sprowadza R do postaci Jordana, zauważamy że<br />
R n = QJ n Q −1<br />
co łatwo pokazać przy użyciu indukcji. Korzystając z tej równości, otrzymujemy<br />
exp(Rt) =Q exp(Jt)Q −1 ,<br />
skąd można znaleźć macierz fundamentalną exp(Rt).<br />
Widać, że uciążliwa procedura obliczania szeregów nieskończonych została<br />
zastąpiona rachunkiem zamiany bazy z kanonicznej na bazę Jordana.<br />
Powoduje to jednak kłopoty związane ze znaelzieniem macierzy transformacji<br />
bazy. Jak więc postępować w praktyce chcąc wyznaczyć macierz fundamentalną<br />
układu (8.4)?<br />
Mając macierz R, znajdujemy przede wszystkim jej wartości własne. Jak<br />
wiadomo z kursu alegebry liniowej są to pierwiastki wielomianu charakterystycznego<br />
det(R − λI) =0<br />
Każdy pierwiastek tego wielomianu jest wartością własną operatora R i<br />
odpowiada mu jakiś wektor własny. Nie ma tu jednak wzajemnie jednoznacznej<br />
odpowiedniości, gdyż pierwiastki mogą być wielokrotne, a odpowiadające<br />
im wartości własne mogą mieć mniejszą krotność, czyli mniejszą<br />
liczbę odpowiadających im wektorów własnych.<br />
84 ROZDZIAŁ 8. UKŁADY RÓWNAŃ LINIOWYCH<br />
Jeśli jakiś λi jest pierwiastkiem wielomianu charakterystycznego, to jest<br />
jednocześnie wartością własną macierzy R. Oznacza to, że po sprowadzeniu<br />
macierzy R do postaci Jordana jest kolumna, w której λi występuje w<br />
miejscu przecięcia diagonali z tą właśnie kolumną, a pozostałe elementy kolumny<br />
są zerowe. Jeśli macierz Jordana jest diagonalna, to jest to oczywiste.<br />
Jeśli klatka Jordana ma postać (8.7) to kolumną tą jest pierwsza kolumna<br />
macierzy J zawierająca element λi. Oznacza to, że wektor x(t) =e λit vi dla<br />
pewnego stałego wektora vi jest rozwiązaniem (8.4). Po wstawieniu tego<br />
rozwiązania x(t) do (8.4) otrzymujemy<br />
skąd po uproszczeniu mamy<br />
λie λit vi = Re λit vi,<br />
Rvi = λivi.<br />
Oznacza to, że wektor vi jest wektorem własnym macierzy R, odpowiadającym<br />
wartości własnej λi. Powyższa obserwacja pozwala rozwiązać problem<br />
wyznaczenia macierzy fundamentalnej w przypadku, gdy wszystkie wartości<br />
własne są parami różne. Mamy wtedy m pierwiastków λ1,λ2,...,λm i<br />
m odpowiadających im wektorów własnych v1,v2,...,vm . Z kursu algebry<br />
liniowej wiemy, że wektory vi są liniowo niezależne, więc funkcje<br />
e λ1t v1,e λ2t v2,...,e λmt vm<br />
(8.8)<br />
tworzą bazę przestrzeni rozwiązań równania (8.4) i wyznaczają macierz fundamentalną<br />
exp(Rt). Należy tylko zauważyć, że dla t =0macierz exp(Rt)<br />
jest macierzą jednostkową. Jeśli więc wektory (8.8) wyznaczają macierz<br />
X(t), to aby z tej macierzy znaleźć exp(Rt) - należy przyjąć<br />
exp(Rt) =X(t)X −1 (0).<br />
Podobnie przebiega poszukiwanie macierzy fundamentalnej, gdy pierwiastki<br />
wielomianu charakterystycznego są jednokrotne, ale wśród nich znajdują się<br />
pierwiastki zespolone. Jeśli λ jest zespoloną wartością własną macierzy R,<br />
natomiast v odpowiadającym jej wektorem własnym, to funkcja<br />
x(t) =e λt v
8.2. UKŁADY O STAŁYCH WSPÓŁCZYNNIKACH 85<br />
jest oczywiście rozwiązaniem równania (8.4), ale rozwiązaniem zespolonym.<br />
Aby otrzymać rozwiązania rzeczywiste, uczyńmy następujące spostrzeżenie.<br />
Ponieważ wielomian charakterystyczny ma współczynniki rzeczywiste, więc<br />
pierwiastki zespolone występują parami jako sprzężone liczby zespolone.<br />
Niech λ1 = α + iβ, λ2 = α − iβ będą taką parą wartości własnych macierzy<br />
R. Niechv1 = u + iw będzie wektorem własnym odpowiadającym wartości<br />
własnej λ1.<br />
λ1v1 = Rv1<br />
gdzie u, w są wektorami rzeczywistymi. Wtedy wektorem własnym odpowiadającym<br />
wartości własnej λ2 jest wektor v2 = u − iv. Równości<br />
można zaspisać jako<br />
Jeśli więc<br />
λ1v1 = Rv1<br />
λ2v2 = Rv2<br />
(αu − βw)+i(αw + βu) =Ru + iRw<br />
(αu − βw) − i(αw + βu) =Ru − iRw.<br />
x1(t) =e λ1tv1 , x2(t) =e λ2t v2,<br />
to<br />
z1(t) = 1<br />
2 (x1(t)+x2(t)) = e αt (u cos βt − w sin βt)<br />
z2(t) = 1<br />
2i (x1(t) − x2(t)) = e αt (w cos βt + u sin βt)<br />
są dwoma liniowo niezależnymi rozwiązaniami rzeczywistymi równania (8.4).<br />
Przypadek pierwiastków wielokrotnych jest nieco trudniejszy. Zauważmy,<br />
że wystarczy ograniczyć się tylko do pierwiastków rzeczywistych. W<br />
przypadku wielokrotnych pierwiastków zespolonych należy przeprowadzić<br />
modyfikacje rozwiązań opisane powyżej.<br />
Niech więc λk będzie wartością własną macierzy R o krotności nk. Oczywiście<br />
λk jest wartością własną macierzy R. Załóżmy jednak, że λk ma νk<br />
86 ROZDZIAŁ 8. UKŁADY RÓWNAŃ LINIOWYCH<br />
wektorów własnych oraz νk
8.3. RÓWNANIA SKALARNE WYŻSZEGO RZĘDU 87<br />
jest rozwiązaniem równania (8.4). W algebrze liniowej dowodzi się, że wektory<br />
spełniające<br />
(R − λI)v = 0, (R − λI) 2 v =0.<br />
sąliniowo niezależne od wktoró, które spełniają<br />
(R − λI)v =0.<br />
Własność ta przenosi się na wyższe potęgi, co gwarantuje nam możliwość<br />
znalezienia wystarczającej liczby liniowo niezależnych wektorów a zatem<br />
wystarczającej liczby liniowo niezależnych rozwiązań równania (8.4).<br />
8.3 Równania skalarne wyższego rzędu<br />
Zajmiemy się teraz jednym równaniem liniowym rzędu m<br />
x (m) + pm−1(t)x (m−1) + ...+ p1(t)˙x + p0(t)x = q(t). (8.10)<br />
Zagadnienie Cauchy’wgo dla tego równania polega na zadaniu w chwili t0<br />
wartości funkcji x oraz jej pochodnych do rzędu m − 1<br />
x(t0) =x 0 0, ˙x(t0) =x 0 1, ...,x (m−1) (t0) =x 0 m−1.<br />
Jak już zostało wyjaśnione w rozdziale drugim, równanie (8.10) z warunkami<br />
początkowymi można sprowadzić do zagadnienia początkowego dla układu<br />
pierwszego rzędu. Wystarczy w tym celu zdefiniować<br />
xk = x (k) .<br />
Równanie (8.10) zmienia się wtedy w układ<br />
⎧<br />
˙x0 = x1<br />
⎪⎨<br />
˙x1 = x2<br />
.<br />
˙xm−2 ⎪⎩<br />
˙xm−1<br />
=<br />
=<br />
xm−1<br />
−pm−1(t)xm−1 − ...− p0(t)x0 + q(t)<br />
88 ROZDZIAŁ 8. UKŁADY RÓWNAŃ LINIOWYCH<br />
a warunki początkowe stają się warunkami dla układu xk(t0) =x 0 k .Zamieniwszy<br />
skalarne zagadnienie wyższego rzędu na wektorowe zagadnienie<br />
rzędu pierwszego możemy wykorzsytać zdobyte wcześniej umiejętności i<br />
znajdując układ fundamentalny zagadnienia znaleźć jego rozwiązanie. W<br />
przypadku stałych współczynników równania postępowanie to można nieco<br />
uprościć. Niech będzie dane równanie jednorodne rzędu m o stałych współczynnikach<br />
x (m) + am−1x (m−1) + ...+ a1 ˙x + a0x =0. (8.11)<br />
Równanie to można sprowadzić do równania pierwszego rzędu<br />
˙X = RX<br />
gdzie<br />
⎛<br />
⎜<br />
X = ⎜<br />
⎝<br />
x<br />
˙x<br />
.<br />
x (m−1)<br />
⎞<br />
⎟ ,<br />
⎠<br />
⎡<br />
⎢<br />
R = ⎢<br />
⎣<br />
0<br />
0<br />
.<br />
1<br />
0<br />
.<br />
0<br />
1<br />
.<br />
...<br />
...<br />
. ..<br />
0<br />
0<br />
1<br />
⎤<br />
⎥<br />
⎦<br />
−a0 −a1 −a2 ... −am−1<br />
Znajdujemy wielomian charakterystyczny macierzy R<br />
p(λ) =det(λI − R) =λ m m−1 <br />
+<br />
i=0<br />
aiλ i . (8.12)<br />
Jeśli λ0 jest pierwiastkiem wielomianu p(λ), toe λ0t jest rozwiązaniem równania<br />
(8.11). Jeśli więc wielomian p(λ) ma m różnych pierwiastków, to mamy<br />
m liniowo niezależnych rozwiązań dla (8.11). Jak pamiętamy z poprzedniej<br />
części, komplikacje pojawiają się przy pierwiastkach wielokrotnych. W<br />
przypadku równania (8.11) rozwiązanie jest jednak łatwiejsze do obliczenia<br />
(nie trzeba znajdować wektorów własnych).<br />
Twierdzenie 8.3.1 Jeśli λ0 jest k-krotnym pierwiastkiem wielomianu charakterystycznego<br />
(8.12), 1 k m, to funkcje e λ0t ,te λ0t ,...,t k−1 e λ0t są<br />
liniowo niezależnymi rozwiązaniami równania (8.11).
8.4. ZADANIA 89<br />
Dowód. Jeśli λ0 jest k-krotnym pierwiastkiem wielomianu p(λ), to<br />
p(λ0) = dp<br />
dλ (λ0) = dk−1p dλk−1 (λ0) =0<br />
Niech<br />
L(x) ≡ x (m) + sum m−1<br />
i=0 aix (i) ,<br />
tzn. L(x) jest operatorem po lewej stronie równania (8.11). Zauważmy następująca<br />
własność tego operatora<br />
L(e λt )=p(λ)e λt<br />
Rozważmy funkcję tieλt i poddajmy ją działaniu operatora L<br />
L(t i e λt )=L( ∂ieλt ∂i<br />
)= i<br />
∂λ ∂λi L(eλt )= ∂i<br />
∂λi (p(λ)eλt ). (8.13)<br />
Dla i =0, 1,...,k− 1 stosujemy wzór Leibniza do ostatniego wyrazenia w<br />
(8.13), otrzymujemy wtedy sumę wyrazów postaci<br />
Ponieważ dla j k − 1<br />
więc<br />
−t i−j ∂j p<br />
∂λ j (λ)eλt , j =0, 1, 2,...,i.<br />
∂ j p<br />
∂ j (λ0) =0,<br />
L(t i e λ0t )=0.<br />
Funkcje t i e λ0t są zatem rozwiązaniami równania (8.11). Liniowa niezależność<br />
tych funkcji wynika z liniowej niezależności wielomianów różnych stopni. <br />
8.4 Zadania<br />
1. Dla równania ˙x = Ax znaleźć macierz fundamentalną X(t), taką że<br />
X(0) = I, jeśli macierz A jest dana wzorem:<br />
90 ROZDZIAŁ 8. UKŁADY RÓWNAŃ LINIOWYCH<br />
<br />
1<br />
(a)<br />
−4<br />
<br />
−1<br />
1<br />
<br />
−1<br />
(b)<br />
1<br />
<br />
8<br />
1<br />
⎡<br />
2<br />
⎢<br />
(c) ⎣ −1<br />
1<br />
0<br />
⎤<br />
−1<br />
⎥<br />
1 ⎦<br />
1 1 0<br />
2. Rozwiązać układ równań sprowadzając do układu rzędu pierwszego<br />
<br />
¨x1 − 2¨x2 +˙x2 + x1 − 3x2 =0<br />
(a)<br />
4¨x2 − 2¨x1 − ˙x1 − 2x1 +5x2 =0<br />
<br />
¨x1 − 2x1 +3x2 =0<br />
(b)<br />
¨x2 − x1 +2x2 =0