13.05.2013 Views

Wykłady z Analizy Matematycznej II

Wykłady z Analizy Matematycznej II

Wykłady z Analizy Matematycznej II

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!