Skrypt W Rusin Analiza matematyczna 2

background image

Wykłady z

Analizy Matematycznej II

Walter Rusin

28 lutego 2004

2

background image

Spis treści

Wstęp

5

1 Twierdzenia o punktach stałych

7

1.1

Przestrzenie topologiczne

. . . . . . . . . . . . . . . . . . .

7

1.2

Twierdzenie Brouwera . . . . . . . . . . . . . . . . . . . . .

13

1.3

Przestrzenie metryczne i twierdzenie Banacha . . . . . . . .

14

1.4

Twierdzenie Kakutaniego

. . . . . . . . . . . . . . . . . . .

17

1.5

Zadania . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

18

2 Równania różniczkowe zwyczajne

19

2.1

Definicja równania różniczkowego . . . . . . . . . . . . . . .

19

2.2

Podejście geometryczne

. . . . . . . . . . . . . . . . . . . .

21

2.3

Równania autonomiczne . . . . . . . . . . . . . . . . . . . .

23

2.4

Przykłady zagadnień . . . . . . . . . . . . . . . . . . . . . .

23

2.5

Badanie równań ruchu

. . . . . . . . . . . . . . . . . . . . .

27

2.5.1

Układy potencjalne o jednym stopniu swobody . . .

27

2.5.2

Układy potencjalne o dwóch stopniach swobody . . .

28

2.6

Zadania . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

29

3 Istnienie i jednoznaczność rozwiązań

31

3.1

Twierdzenie Peano . . . . . . . . . . . . . . . . . . . . . . .

31

3.2

Twierdzenie Picarda-Lindelöfa . . . . . . . . . . . . . . . . .

34

3.3

Zadania . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

36

3

4

SPIS TREŚCI

4 Podstawowe klasy równań

39

4.1

Równania o zmiennych rozdzielonych . . . . . . . . . . . . .

39

4.2

Równania jednorodne

. . . . . . . . . . . . . . . . . . . . .

42

4.3

Równania w postaci różniczek zupełnych . . . . . . . . . . .

45

4.4

Zadania . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

47

5 Zależność od danych

49

5.1

Ciągła zależność od warunku początkowego . . . . . . . . .

49

5.2

Zależność od prawej strony

. . . . . . . . . . . . . . . . . .

51

5.3

Zadania . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

55

6 Równania liniowe skalarne

57

6.1

Czynnik całkujący . . . . . . . . . . . . . . . . . . . . . . .

57

6.2

Równania liniowe skalarne pierwszego rzędu . . . . . . . . .

58

6.3

Równanie Bernoulliego . . . . . . . . . . . . . . . . . . . . .

62

6.4

Równanie Riccatiego . . . . . . . . . . . . . . . . . . . . . .

62

6.5

Równanie Clairauta

. . . . . . . . . . . . . . . . . . . . . .

63

6.6

Równanie Lagrange’a-d’Alamberta

. . . . . . . . . . . . . .

64

6.7

Zadania . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

65

7 Liniowe równania rzędu drugiego

67

7.1

Zagadnienie . . . . . . . . . . . . . . . . . . . . . . . . . . .

67

7.2

Równania o stałych współczynnikach . . . . . . . . . . . . .

69

7.3

Zadania . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

72

8 Układy równań liniowych

73

8.1

Zagadnienie . . . . . . . . . . . . . . . . . . . . . . . . . . .

73

8.2

Układy o stałych współczynnikach . . . . . . . . . . . . . .

79

8.3

Równania skalarne wyższego rzędu . . . . . . . . . . . . . .

87

8.4

Zadania . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

89

9 Stabilność rozwiązań

91

10 Klasyfikacja punktów krytycznych układów

93

background image

Wstęp

Zagadnienia przedstawione w niniejszym skrypcie odpowiadają wykładom
Analizy Matematycznej II prowadzonym przeze mnie wiosną 2004 roku.

Z uwagi na charakter studiów, materiał zawarty w poszczególnych wy-

kładach może wydawać się czasem bardzo okrojony i niekompletny dla osób
mających styczność z matematyką na innym poziomie. Dotyczy to szczegól-
nie rozdziału pierwszego zawierającego minimum niezbędnych pojęć topo-
logicznych. Czytając go należy mieć na względzie, że jest to namiastka se-
mestralnego wykładu topologii ogólnej, mająca na celu wprowadzenie pojęć
koniecznych do zrozumienia wybranych twierdzeń o punkcie stałym. Rów-
nania różniczkowe zwyczajne są bowiem bardzo szeroką dziedziną matema-
tyki, korzystającą z wielu metod innych jej obszarów. Starałem się jednak
w każdym rozdziale wprowadzić niezbędne pojęcia i obiekty potrzebne do
zrozumienia treści wykładów. Tych z Was, którzy są bardziej dociekliwi i
zainteresowani matematyką odsyłam zatem do licznych książek poświęco-
nych tematyce wykładu. W razie jakichkolwiek wątpliwości zachęcam Was
do uczęszczania na konsultacje. Matematyka ma raczej to do siebie, że na-
leży uczyć się jej systematycznie, choć nie ma na to reguły.

Na końcu każdego rozdziału zamieściłem zadania. Ponieważ przedmiot

odbywa się w wymiarze dwóch godzin tygodniowo, polecam ich rozwiązywa-
nie. Niektóre z nich oznaczone symbolem

są nieco trudniejsze i wymagają

lepszego zrozumienia treści.

Należy pamiętać, że treść skryptu nie musi w 100% odpowiadać treści

wykładu, zachęcam więc do regularnego uczęszczania na zajęcia...

O czytelniku zakładam, że dysponuje znajomością podstawowych pojęć

5

6

SPIS TREŚCI

teorii mnogości wprowadzonej podczas kursu mateamtyki na I roku lub kur-
su logiki. W skrypcie stosuję notację standardową, spotykaną w większości
literatury, proszę pytać jeśli coś jest niejasne.

background image

Rozdział 1

Twierdzenia o punktach
stałych

Teoria punktów stałych odwzorowań odgrywa ważną rolę w wielu działach
matematyki. Metody te wykorzystywane są w teorii równań różniczkowych
cząstkowych oraz zwyczajnych, metodach numerycznych. Pojawiają się czę-
sto w bardzo zaskakujących sytuacjach. W rozdziale niniejszym zajmiemy
się trzema twierdzeniami należącymi do tej klasy.

1.1

Przestrzenie topologiczne

Często sam zbiór nie jest interesującym pojęciem. Dopiero wyposażenie tego
zbioru w pewną strukturę daje możliwość rozwinięcia nowych pojęć. Dla nas
kluczowe będzie pojęcie przestrzeni topologicznej.

Definicja 1.1.1 Przestrzenią topologiczną nazywamy parę (X, O) złożoną
ze zbioru X i rodziny

O jego podzbiorów spełniającej warunki

(O1)

∅, X ∈ O

(O2) jeśli U

1

, U

2

∈ O to U

1

∩ U

2

∈ O

(O3) Jeśli U

α

∈ O to

α

U

α

∈ O gdzie α ∈ A - pewien zbiór indeksów.

7

8

ROZDZIAŁ 1. TWIERDZENIA O PUNKTACH STAŁYCH

Zbiór X będziemy nazywali przestrzenią, jego elementy punktami prze-

strzeni, a elementy rodziny

O będziemy nazywać zbiorami otwartymi w prze-

strzeni X. Rodzinę

O nazywać będziemy topologią na X. Jeśli dla pewnego

x

∈ X i zbioru otwartego U ∈ O mamy x ∈ U, to mówimy, że U jest otocze-

niem punktu x. Dopełnienia zbiorów otwartych w przestrzeni X nazywamy
zbiorami domkniętymi.

Definicja 1.1.2 Zbiór F nazwiemy domkniętym w przestrzeni X jeśli X

\F

jest zbiorem otwartym w przestrzeni X.

Z praw De Morgana wynikają własności dualne do (O1)-(O3).

(D1)

∅, X są zbiorami domkniętymi

(D2) jeśli F

1

, F

2

są domknięte to F

1

∪ F

2

jest domknięty

(D3) Jeśli F

α

są domknięte to

α

F

α

jest domknięty, gdzie α

∈ A - pewien

zbiór indeksów.

Zbiory, które są jednocześnie otwarte i domknięte w przestrzeni X na-

zywamy zbiorami otwarto-domkniętymi.

Dla dowolnego zbioru A rozważmy rodzinę

D

α

wszystkich zbiorów do-

mkniętych zawierających A. Na mocy własności (D3) ich przecięcie również
jest zbiorem domkniętym. Jest to najmniejszy w sensie inkluzji taki zbiór.
Nazwiemy go domknięciem zbioru A i oznaczymy przez cl(A). Dualnie to
pojęcia domknięcia zbioru można zdefiniować pojęcie wnętrza zbioru jako
sumę mnogościową wszystkich zbiorów otwartych zawartych w A. Jest to
wówczas maksymalny w sensie inkluzji zbiór otwarty zawarty w zbiorze A.
Wnętrze zbioru A oznaczamy int(A).

Zauważmy, że najuboższą topologią, jaką można wprowadzić na każdym

zbiorze jest topologia

O = {∅, X}, w której jedynymi otwartymi zbiorami

X-cała przestrzeń i

- zbiór pusty. Najbogatszą topologią jest topologia,

w której

O = 2

X

, czyli w której każdy podzbiór zbioru X jest zbiorem

otwartym. Taką topologię nazwiemy topologią dyskretną. Dwie topologie

O

1

i

O

2

nazwiemy równoważnymi jeśli zbiór otwarty w przestrzeni (X, O

1

) jest

otwarty w przestrzeni (X, O

2

) oraz odwrtonie.

background image

1.1. PRZESTRZENIE TOPOLOGICZNE

9

W dalszej części mówiąc przestrzeń będziemy mieli na myśli przestrzeń

topologiczną. Będziemy także opuszczać w notacji topologię pisząc X za-
miast (X, O) gdy nie będzie to prowadziło do nieporozumień (tzn. gdy X
jest wyposażone w jedną topologię). Będziemy także mówili, że zbiór U jest
otwarty zamiast zbiór U jest otwarty w X, gdy nie prowadzi to do nieporo-
zumień.

Definicja 1.1.3 Rodzinę zbiorów otwartych U

α

nazwiemy pokryciem otwar-

tym przestrzeni X jeśli zachodzi warunek

α

U

α

⊇ X.

Definicja 1.1.4 Przestrzenią zwartą nazwiemy przestrzeń, dla której z każ-
dego pokrycia otwartego można wybrać podpokrycie skończone.

Ważnym pojęciem jest pojęcie podprzestrzeni topologicznej.

Definicja 1.1.5 Podzbiór P

⊂ X przestrzeni topologicznej z topologią daną

jako

O ∩ P = {U ∩ P : U ∈ O} nazwiemy podprzestrzenią topologiczną z

topologią dziedziczoną z X.

Wiele własności dotyczących zbiorów definiuje się przy użyciu pojęcia pod-
przestrzeni np. zbiorem zwartym w X nazwiemy zbiór, który jest zwarty
jako popdrzestrzeń topologiczna w X. Inaczej, zbiorami zwartymi są zbio-
ry, dla których z każdego ich pokrycia otwartego można wybrać podpokrycie
skończone.

Rozważmy teraz dwie przestrzenie topologiczne X i Y . Niech f : X → Y

będzie odwzorowaniem między nimi.

Definicja 1.1.6 Przekształcenie f : X → Y nazwiemy ciągłym jeśli dla
każdego zbioru otwartego U

⊆ Y zbiór f

1

(U ) ⊆ X jest otwarty.

Zauważmy, że wprowadzona przed chwilą definicja przekształcenia ciągłe-
go odwołuje się wyłącznie do pojęcia zbioru otwartego. Analogicznie moż-
na zdefiniować przekształcenie ciągłe w terminach zbiorów domkniętych
mówiąc, że przekształcenie między dwiema przestrzeniami jest ciągłe gdy
przeciwobrazy zbiorów domkniętych są domknięte. Od tej pory mówiąc o

10

ROZDZIAŁ 1. TWIERDZENIA O PUNKTACH STAŁYCH

przekształceniach przestrzeni topologicznych mamy na myśli przekształce-
nia ciągłe.

Wśród przekształceń ciągłych przestrzeni istnieje pewna wyróżniona i

ważna klasa.

Definicja 1.1.7 Przekształcenie ciągłe f : X → Y nazwiemy homeomorfi-
zmem, jeśli jest ono "1-1" oraz "na" i dodatkowo odwzorowanie f

1

: Y →

X jest ciągłe.

Jeśli między przestrzeniami X i Y istnieje homeomorfizm, to przestrzenie
te nazwiemy homeomorficznymi. Bycie homeomorficznymi jest silną zależ-
nością pomiędzy przestrzeniami. Relacja homeomorficzności, będąca relacją
równoważności dwóch przestrzeni, powoduje że przestrzenie homeomorficz-
ne topologicznie są nierozróżnialne. To właśnie w tym sensie prawdziwe jest
powiedzenie, że "kubek i obrączka są tym samym". Dwie przestrzenie ho-
meomorficzne X i Y będziemy oznaczać X ∼

= Y .

Potrzebny nam będzie w dalszej części jeszcze jeden szczególny rodzaj

odwzorowań.

Definicja 1.1.8 Niech dane będzie odwzorowanie f : X → X. Przekształce-
nie f nazwiemy retrakcją przestrzeni X jeśli f

◦f = f. Obraz przekształcenia

f nazwiemy retraktem przestrzeni X.

Retrakcja jest zatem czymś na kształt rzutowania w przestrzeni topologicz-
nej.

Rozważmy teraz dwa odwzorowania ciągłe f, g : X → Y .

Definicja 1.1.9 Odwzorowanie ciągłe H : X × I → Y nazwiemy homoto-
pią pomiędzy przekształceniem f
: X → Y i g : X → Y jeśli spełnia ono
H
(x, 0) = f (x), H(x, 1) = g(x). O f i g powiemy wówczas, że są homoto-
pijne w homotopii H.

Relacja homotopijności przekształceń jest relacją równoważności. Będziemy

używać także oznaczenia f

H

∼ g lub krócej f ∼ g gdy dwa odwzorowania są

homotopijne. O homotopii należy myśleć jako o ciągłym przejściu od jed-
nego przekształcenia do drugiego. Jeśli spojrzeć na wykresy przekształceń

background image

1.1. PRZESTRZENIE TOPOLOGICZNE

11

(zdefiniowane jako Graph(f ) = {(x, y) ∈ X × Y : y = f (x)}) to homotopia
oznacza "przekształcenie" wykresu odwzorowania f do wykresu odwzorowa-
nia g w sposób ciągły. Dla każdego punktu t

∈ I mamy odwzorowanie ciągłe

H(·, t) : X → Y . Parametr t nazywany jest również czasem homotopii.

Rozważmy dwa odwzorowania f, g : X → Y , gdzie przestrzeń Y jest wy-

pukła. Dowolne dwa odwzorowania w przestrzeń wypukłą są homotopijne.
Homotopię pomiędzy tymi odwzorowaniami można podać wprost wzorem
H(x, t) = (1 − t) · f (x) + t · g(x).

Mając zdefiniowane pojęcie homotopii dwóch przekształceń, możemy te-

raz wprowadzić pojęcie homotopijnej równoważności dwóch przestrzeni.

Definicja 1.1.10 Dwie przestrzenie X i Y nazwiemy homotopijnie równo-
ważnymi, jeśli istnieją odwzorowania f
: X → Y i g : Y → X takie, że
g

◦ f ∼ id

X

i f

◦ g ∼ id

Y

.

Relację homotopijnej równoważności dwóch przestrzeni oznaczać będziemy
X

Y . Ponieważ homotopijność przekształceń jest relacją równoważności,

to homotopijna równoważność dwóch przestrzeni także jest realcją równo-
ważności.

Przestrzeń X, która jest homotopijnie równoważna przestrzeni złożo-

nej z jednego punktu, zanurzonej w przestrzeni X, nazywamy ściągalną.
Ściągalność przestrzeni do punktu x

0

∈ X oznacza, że homotopijne są od-

wzorowania id

X

: X → X i : X → {x

0

}. Homotopię H : X × I → X

między odwzorowaniami id

X

i

nazywamy ściągnięciem.

Zanim sformułujemy pierwsze twierdzenie o punkcie stałym zdefiniujmy

jeszcze pewną własność, która przysługuje niekedy przestrzeniom.

Definicja 1.1.11 Przestrzeń X ma własność punktu stałego, jeśli dla każ-
dego przekształcenia ciągłego f
: X → X istnieje punkt x

0

∈ X taki, że

zachodzi f (x

0

) = x

0

.

Mając dane dwie przestrzenie X i Y oraz odwzorowanie f : X → Y

możemy skonstruować pewne specjalne klasy przestrzeni topologicznych,
mianowicie produkt przestrzeni, przestrzeń ilorazową, sklejenie przestrzeni,
cylinder przekształcenia, stożek przekształcenia oraz zawieszenie przestrzeni.

12

ROZDZIAŁ 1. TWIERDZENIA O PUNKTACH STAŁYCH

Definicja 1.1.12 Produktem przestrzeni topologicznych nazywać będziemy
przestrzeń topologiczną X

×Y z topologią wprowadzoną przez dowolne sumy

mnogościowe i skończone iloczyny mnogościowe zbiorów postaci U

1

× U

2

,

gdzie U

1

⊆ X i U

2

⊆ Y są otwarte.

Definicja 1.1.13 Niech

∼ będzie relacją równoważności w przestrzeni to-

pologicznej X. Przez przestrzeń ilorazową rozumieć będziemy przestrzeń klas
abstrakcji relacji

∼ czyli X/

.

Mamy dane kanoniczne rzutowanie π : X → X/

. W przestrzeni X/

wprowadzamy najbogatszą topologię, w której przekształcenie π jest ciągłe
tzn. otwarte w X/

są te zbiory U , których przeciwobrazy π

1

(U ) są otwarte

w X. Rozważmy teraz odwzorowanie f : X → Y .

Definicja 1.1.14 Sklejeniem przestrzeni X i Y odwzorowaniem f : X → Y
nazwiemy przestrzeń X

f

Y = (X

.

∪ Y )/

(x∼f(x))

.

Sklejenie odwzorowaniem f polega zatem na utożsamieniu punktu w X i
jego obrazu w Y .

Definicja 1.1.15 Cylindrem przekształcenia f : X → Y nazwiemy prze-
strzeń Z
(f ) = (X × I

.

∪ Y )/

(x,1)∼f(x)

.

Definicja 1.1.16 Stożkiem przekształcenia f : X → Y nazwiemy prze-
strzeń C
(f ) = Z(f )/

(x

1

,1)(x

2

,1)

.

Definicja 1.1.17 Zawieszeniem przestrzeni X nazwiemy przestrzeń ΣX =
(X × I)/

(x

1

,0)(x

2

,0),(x

1

,1)(x

2

,1)

.

Fakt 1.1.18 C(id

S

n

)

= cl(B

n+1

).

Potrzebny nam będzie jeszcze jeden fakt, który z uwagi na zaawansowane
techniki topologii algebraicznej wykorzystywane w jego dowodzie, pozosta-
wimy nieudowodniony.

Fakt 1.1.19 Przestrzeń S

n

nie jest przestrzenią ściągalną.

background image

1.2. TWIERDZENIE BROUWERA

13

1.2

Twierdzenie Brouwera

Mamy teraz prawie wszystkie narzędzia niezbędne do sformułowania i udo-
wodnienia twierdzenia Brouwera o punkcie stałym.

Twierdzenie 1.2.1 Następujące warunki są równoważne:

a) S

n

nie jest ściągalne

b) S

n

nie jest retraktem cl(B

n+1

)

c) cl(B

n+1

) ma własność punktu stałego.

Mianem twierdzenia Brouwera o punkcie stałym nazywamy właśnie c) w
twierdzeniu 1.2.1.
Dowód. Pokażmy nie wprost.

a) ⇒ b) Niech S

n

będzie retraktem cl(B

n+1

). Istnieje zatem retrakcja

r : cl(B

n+1

) → S

n

. Rozważmy teraz odwzorowania id

S

n

: S

n

→ cl(B

n+1

) -

włożenie sfery w domkniętą kulę, oraz

: S

n

→ cl(B

n+1

) - przekształcenie

stałe w dowolny punkt w cl(B

n+1

). Ponieważ cl(B

n+1

) jest wypukła, to

odwzorowania id

S

n

oraz

są homotopijne. Istnieje zatem homotopia H :

S

n

× I → cl(B

n+1

) od id

S

n

do

. Odwzorowanie r ◦ H : S

n

× I → S

n

jest

zatem homotopią od przekształcenia identycznościowego na sferze S

n

do

odzworowania stałego w punkt na sferze S

n

. To oznacza ściągalność sfery i

przeczy punktowi a).

b) ⇒ a) Przypuśćmy, że S

n

jest ściągalna. Istnieje zatem homotopia

H : S

n

× I → S

n

taka, że H(·, 0) = id

S

n

, H(·, 1) = . Zauważmy, że

Graph(H)

= C(id

S

n

)

= cl(B

n+1

). Homotopia H jest zatem ciągłym prze-

kształceniem S

n

× I → cl(B

n+1

). Odwracając czas w homotopii H tzn.

rozważając homotpię H

1

(x, t) = H(x, 1 − t) otrzymamy ciągłe przekształce-

nie cl(B

n+1

) → S

n

× I. Mamy także kanoniczne odwzorowanie rzutowania

pr

S

n

: S

n

× I → S

n

. Składając mamy pr

S

n

◦ H

1

: cl(B

n+1

) → S

n

- od-

wzorowanie ciągłe, będące retrakcją kuli cl(B

n+1

) na sferę S

n

. To przeczy

punktowi b).

b) ⇒ c) Przypuśćmy, że cl(B

n+1

) nie ma własności punktu stałego.

Istnieje zatem odwzorowanie ciągłe f : cl(B

n+1

) → cl(B

n+1

) takie, że

14

ROZDZIAŁ 1. TWIERDZENIA O PUNKTACH STAŁYCH

x∈cl(B

n+1

)

f (x) = x. Wybierając więc dowolny punkt x ∈ cl(B

n+1

) prze-

prowadzamy odcinek przez punkt f (x) ∈ cl(B

n+1

) i określamy r(x) jako

przecięcie z S

n

przedłużenia tego odcinka od punktu f (x). Tak określone

przekształcenie r : cl(B

n+1

) → S

n

jest retrakcją kuli cl(B

n+1

) na sferę S

n

.

To przeczy punktowi b).

c) ⇒ b) Przypuśćmy, że istnieje retrakcja r : cl(B

n+1

) → S

n

. Rozważmy

przekształcenia a : S

n

→ S

n

zwane przekształceniem antypodycznym tzn.

przyporządkowujące x

→ −x oraz włożenie i : S

n

→ cl(B

n+1

). Przekształ-

cenie i

◦ a ◦ r : cl(B

n+1

) → cl(B

n+1

) jest ciągłym odwzorowaniem kuli w

siebie i nie ma punktu stałego, co przeczy punktowi c).

Twierdzenie Brouwera jest bardzo silnym twierdzeniem. Zauważmy, że

obowiązuje ono nie tylko dla kul, ale dla wszystkich przestrzeni homeomor-
ficznych z kulą. Rozważmy bowiem przestrzeń X ∼

= cl(B

n+1

) i niech od-

wzorowanie h : X → cl(B

n+1

) będzie homeomorfizmem tych przestrzeni.

Niech f : X → X będzie ciągłym odwzorowaniem przestrzeni X w siebie.
Odwzorowanie h

◦ f ◦ h

1

jest ciągłym odwzorowaniem kuli w siebie i na

mocy twierdzenia Brouwera ma punkt stały. Istnieje więc x

∈ cl(B

n+1

)

taki, że (h ◦ f ◦ h

1

)(x

) = x

. Mamy zatem (h ◦ f )(h

1

(x

)) = x

, czyli

f (h

1

(x

)) = h

1

(x

). Określając y

= h

1

(x

) mamy punkt stały prze-

kształcenia f : X → X.

1.3

Przestrzenie metryczne i twierdzenie Banacha

Wśród przestrzeni topologicznych na szczególną uwagę zasługują przestrze-
nie metryczne
.

Definicja 1.3.1 Przestrzenią metryczną nazywamy parę (X, ) złożoną ze
zbioru X i funkcji
: X × X → R spełniającej następujące warunki

(M1)

x

1

,x

2

∈X

(x

1

, x

2

) 0 i (x

1

, x

2

) = 0 ⇔ x

1

= x

2

(M2)

x

1

,x

2

∈X

(x

1

, x

2

) = (x

2

, x

1

)

(M3)

x

1

,x

2

,x

3

∈X

(x

1

, x

2

) (x

1

, x

3

) + (x

2

, x

3

)

background image

1.3. PRZESTRZENIE METRYCZNE I TWIERDZENIE BANACHA 15

Podobnie jak w przypadku przestrzeni topologicznej będziemy w zapisie
opuszczać strukturę metryczną i pisać X zamiast (X, ). W przestrzeni me-
trycznej możemy w naturalny sposób zdefiniować kulę.

Definicja 1.3.2 Kulą otwartą o środku w punkcie x

0

∈ X i promieniu r > 0

nazwiemy zbiór B(x

0

, r) = {x ∈ X : (x

0

, x) < r}.

Każda przestrzeń metryczna jest przestrzenią topologiczną gdzie topolo-
gia wprowadzona jest przez rodzinę kul tzn. każdy zbiór otwarty jest sumą
mnogościową dowolnej liczby kul. Podczas podstawowego kursu analizy na I
roku poznaliście definicję ciągłości przekształcenia pomiędzy dwiema prze-
strzeniami metrycznymi (w szczególności dwiema przestrzeniami

R).

Definicja 1.3.3 Niech X, Y będą dwiema przestrzeniami metrycznymi, a
f
: X → Y odwzorowaniem między nimi. Przekształcenie f nazwiemy cią-
głym w punkcie x

0

jeśli

>0

δ>0

X

(x

0

, x) < δ ⇒

Y

(f (x

0

), f (x)) < .

Przekształcenie f nazwywamy ciągłym, jeśli jest ciągłe w każdym punkcie
x

∈ X.

W przestrzeni metrycznej zdefiniujmy ciągi zwane ciągami Cauchy’ego.

Definicja 1.3.4 Ciąg punktów (x

n

) w przestrzeni metrycznej X nazywamy

ciągiem Cauchy’ego jeśli

>0

n

0

N

m,n>n

0

(x

m

, x

n

) < .

Ciągiem cauchy’ego nazywamy więc ciąg, którego dowolnie dalekie wyrazy
są dowolnie blisko siebie w sensie metryki na przestrzeni X. Każdy ciąg
zbieżny w przestrzeni X jest ciągiem Cauchy’ego, ale nie każdy ciąg Cau-
chy’ego jest zbieżny. Obserwacja ta prowadzi do następującej definicji.

Definicja 1.3.5 Przestrzeń metryczną, w której każdy ciąg Cauchyego jest
zbieżny do granicy w tej przestrzeni nazywamy przestrzenią zupełną.

Rozważmy teraz przekształcenie ciągłe zupełnej przestrzeni metrycznej X
w siebie.

Definicja 1.3.6 Przekształcenie f : X → X nazwiemy kontrakcją, jeśli
spełnia ono warunek

x

1

,x

2

∈X

(f (x

1

), f (x

2

)) c(x

1

, x

2

), gdzie c < 1.

16

ROZDZIAŁ 1. TWIERDZENIA O PUNKTACH STAŁYCH

Na mocy definicji, konktrakcja jest przekształceniem ciągłym. Możemy teraz
sformułować twierdzenie Banacha o punkcie stałym.

Twierdzenie 1.3.7 (Banach) Jeśli f : X → X jest kontrakcją na zupeł-
nej przestrzeni metrycznej X to f posiada dokładnie jeden punkt stały, tzn.
istnieje takie x

∈ X, że f(x

) = x

.

Dowód. Niech x ∈ X i przyjmijmy x

0

= x. Definiujemy rekurencyjnie ciąg

punktów x

1

= f (x

0

), x

n

= f (x

n−1

) dla n 2. Zauważmy, że ciąg (x

n

) jest

ciągiem Cauchy’ego. Istotnie, dla dowolnego n zachodzi

(f

n+1

(x

0

), f

n

(x

0

)) c(f

n

(x

0

), f

n−1

(x

0

)) . . . c

n

(f (x

0

), x

0

)

Dla dowolnych indeksów m, n > k (bez straty ogólności możemy założyć
m

n) mamy zatem

(f

m

(x

0

), f

n

(x

0

)) c

m

(x

0

, f

n−m

(x

0

)) c

m

((x

0

, f (x

0

))+

+(f (x

0

), f

2

(x

0

)) + . . . + (f

n−m−1

(x

0

), f

n−m

(x

0

)))

c

m

(1 + c + c

2

+ . . . + c

n−m−1

)(x

0

, f (x

0

))

c

m

1 − c

(x

0

, f (x

0

)).

Ponieważ (x

0

, f (x

0

)) jest stałe, a c

m

może zostać uczynione dowolnie małe

to prawa strona może zostać uczyniona dowolnie mała. Ponieważ X jest
z założenia przestrzenią zupełną, to ciąg (x

n

) ma granicę. Oznaczmy tę

granicę przez x

. Z ciągłości f wynika, że x

jest punktem stałym odwzoro-

wania f . Rzeczywiście, f (x

) = f (lim

n→∞

f

n

(x

0

)) = lim

n→∞

f (f

n

(x

0

)) =

lim

n→∞

f

n+1

(x

0

) = x

. Pozostaje jeszcze wykazać jednoznaczność punk-

tu stałego. Jeśli x

1

i x

2

są dwoma różnymi punktami stałymi, to mamy

(x

1

, x

2

) c(x

1

, x

2

), zatem (x

1

, x

2

) = 0 czyli x

1

= x

2

.

Twierdzenie Banacha odgrywa ważną rolę w dowodach istnienia i jedno-

znaczności rozwiązań równań różniczkowych cząstkowych. Z uwagi na jego
ogólność można je napotkać w wielu rozumowaniach w różnych obszarach
matematyki.

background image

1.4. TWIERDZENIE KAKUTANIEGO

17

1.4

Twierdzenie Kakutaniego

Niech X i Y będą dwiema przestrzeniami topologicznymi.

Definicja 1.4.1 Odwzorowaniem wielowartościowym określamy odwzoro-
wanie F
: X → 2

Y

.

Dla punktu y

∈ Y możemy zdefiniować zbiór F

1

(y) = {x ∈ X : y ∈

F (x)}. Dla B ⊆ Y mamy F

1

(B) = {x ∈ X : F (x) ∩ B = ∅}. Wykresem

odwzorowania F jest zbiór Graph(F ) = {(x, y) ∈ X × Y : y ∈ F (x)}.

Definicja 1.4.2 Powiemy, że odwzorowanie wielowartościowe F : X → 2

Y

jest górnie-półciągłe w x

∈ X jeśli dla każdego otoczenia V zbioru F (x) ist-

nieje otoczenie U punktu x takie, że F (U ) ⊆ V . Powiemy, że odwzorowanie
F jest górnie-półciągłe, jeśli jest górnie-półciągłe w każdym punkcie x

∈ X.

W dalszych rozważaniach będą nas interesować przekształcenia wielowar-
tościowe F : X → 2

Y

o wartościach w rodzinie niepustych, zwartych i

wypukłych zbiorów przestrzeni Y .

W takim przypadku istenieje inna charakteryzacja odwzorowań górnie-

półciągłych, bardziej użyteczna z naszego punktu widzenia.

Definicja 1.4.3 Odwzorowanie F : X → 2

Y

jest górnie-półciągłe, jeśli z

faktów x

n

→ x, y

n

→ y i y

n

∈ F (x

n

) wynika, że y ∈ F (x).

Z uwagi na zmianę charakteru przestrzeni, gdzie znajduje się obraz od-

wzorowania F zmieni się także pojęcie punktu stałego. Przez punkt stały
odwzorowania wielowartościowego rozumieć będziemy punkt x

, dla którego

zachodzi x

∈ F (x

). Jeśli każde odwzorowanie wielowartościowe F : X →

2

X

ma punkt stały, to powiemy, że X ma własność punktu stałego w sensie

Kakutaniego.

Wynik uzyskany przez Kakutaniego wymaga wprowadzenia wielu pojęć i

narzędzi tzw. PL-topologii, znacznie wykraczających poza program wykładu
z Analizy Matematycznej II, dlatego zostanie przedstawiony bez dowodu.

Twierdzenie 1.4.4 (Kakutani) Niech X będzie zwartym, wypukłym pod-
zbiorem

R

n

. Wówczas X ma własność punktu stałego w sensie Kakutaniego.

18

ROZDZIAŁ 1. TWIERDZENIA O PUNKTACH STAŁYCH

Warto jednak wspomnieć, że twierdzenie Kakutaniego jest pewnym prze-
niesieniem twierdzenia Brouwera na przypadek odwzorowań wielowartościo-
wych. Po raz pierwszy twierdzenie Kakutaniego w ekonomii zostało zasto-
sowane przez Nash’a w jego teorii gier niekooperacyjnych, stąd waga pracy
Nash’a i Nagroda Nobla a nie Medal Fields’a

1.5

Zadania

1. Podzielić litery alfabetu łacińskiego na klasy homeomorficzności.

2. Z czym homeomorficzne są ΣS

0

, ΣS

1

?

3. Czy brzeg kwadratu na

R

2

może być jego retraktem ?

4. Udowodnij, że wykres dowolnego przekształcenia ciągłego f : I → I

przecina prostą y = x.

5. Sprawdź, że topologia dyskretna zdefiniowana w rozdziale 1.1 pokrywa

się z topologią wprowadzoną przez metrykę dyskretną tzn. metrykę
mającą własność

x

1

=x

2

(x

1

, x

2

) = 1.

6. Załóżmy, że przestrzeń X jest metryzowalna (tzn. topologia w prze-

strzeni X pochodzi od jakiejś metryki). Niech Y będzie przestrzenią
topologiczną homeomorficzną z X. Udowodnij, że Y również jest me-
tryzowalna.

7.

Z samolotu lecącego nad Warszawą wyrzucamy plan miasta. Udo-

wodnij, że Istnieje dokładnie jeden taki punkt na planie nakrywający
punkt w mieście, który przedstawia.

background image

Rozdział 2

Równania różniczkowe
zwyczajne

Zajmiemy się teraz pojęciem równania różniczkowego zwyczajnego. Obiekt
ten pojawia się w sposób naturalny w wielu zagadnieniach. Wykład ten
prezentuje pewne podstawowe pojęcia teorii równań rózniczkowych zwyczaj-
nych, stanowiących pewnwgo rodzaju słownik, którego będziemy używać w
trakcie kolejnych wykładów.

2.1

Definicja równania różniczkowego

Zaczniemy od ogólnej definicji równania różniczkowego zwyczajnego.

Definicja 2.1.1 Równaniem różniczkowym zwyczajnym rzędu n nazywamy
równanie

F (t, x, ˙x, ¨

x, . . . , x

(n)

) = 0

(2.1)

wiążące zmienną niezależną t, zmienne zależne x i ich pochodne ˙x, ¨

x, . . .,

x

(n)

aż do rzędu n. Rozwiązaniem równania (2.1) nazywamy funkcję ϕ(t)

klasy C

n

, która podstawiona do równania w miejsce x zmienia to równanie

w tożsamość.

19

20

ROZDZIAŁ 2. RÓWNANIA RÓŻNICZKOWE ZWYCZAJNE

Wszystkie funkcje występujące w równaniu (2.1) traktujemy jako funkcje
wektorowe o wartościach w przestrzeni rzeczywistej

R

m

.

Definicja 2.1.2 Wykres odwzorowania ϕ(t) w przestrzeni R

m+1

w zmien-

nych (t, x) nazywamy krzywą całkową równania (2.1).

Posługiwanie się równaniem różniczkowym w postaci (2.1) jest niewy-

godne i rzadko spotykane w praktyce. Jeśli najwyższa pochodna x

(n)

(t)

wchodzi do funkcji F w sposób nietrywialny, to najczęściej lokalnie speł-
nione są założenia twierdzenia o funkcji uwikłanej i równanie (2.1) można
rozwikłać względem najwyższej pochodnej

x

(n)

(t) = f (t, x, ˙x, . . . , x

(n−1)

)

(2.2)

Równanie rzędu n możemy w łatwy sposób sprowadzić do równania (układu
równań skalarnych) pierwszego rzędu. W tym celu oznaczmy

x

0

(t) = x(t), x

1

(t) = ˙x(t), . . . , x

n−1

(t) = x

(n−1)

(t).

Wprowadźmy nową zmienną ¯

x(t) = (x

0

(t), x

1

(t), . . . , x

n−1

(t)). Równanie

(2.2) możemy zatem zapisać jako równanie pierwszego rzędu

˙¯x = g(t, ¯x),

(2.3)

gdzie g(t, ¯

x) = (x

1

(t), x

2

(t), . . . , x

n−2

(t), f (t, x

0

, x

1

, . . . , x

n−1

)). W dalszej

części będziemy się zajmować równaniami (układami równań) pierwszego
rzędu, które można zapisać w postaci

˙x = f (t, x).

(2.4)

Niech G

R

m+1

będzie zbiorem spójnym, w którym prawa strona rów-

nania (2.4) jest dobrze określona. Zbiór G nazywać będziemy rozszerzoną
przestrzenią fazową
równania (2.4), a jego rzut D na przestrzeń

R

m

zmien-

nych x nazwiemy przestrzenią fazową tego równania. W zbiorze G istnieje
zwykle bardzo wiele krzywych całkowych równania (2.4). Krzywe te tworzą
wieloparametrowe rodziny rozwiązań. Jeśli ϕ(t, c

1

, c

2

, . . . , c

m

) : R R

m

background image

2.2. PODEJŚCIE GEOMETRYCZNE

21

jest rodziną funkcji, sparametryzowaną m parametrami c

1

, c

2

, . . . , c

m

taką,

że dla każdego (c

1

, c

2

, . . . , c

m

) ∈ A ⊂ R

m

funkcja ϕ(t, c

1

, . . . , c

m

) jest krzy-

wą całkową równania (2.4) i dla każdego (t

0

, x

0

) ∈ G istnieją parametry

(c

0

1

, . . . , c

0

m

) ∈ A, takie że ϕ(t, c

0

1

, . . . , c

0

m

) jest krzywą całkową przechodzą-

cą przez punkt (t

0

, x

0

), to rodzinę ϕ(t, c

1

, . . . , c

m

) nazwiemy rozwiązaniem

ogólnym równania (2.4). Oprócz pojęcia rozwiązania ogólnego będziemy się
posługiwać także pojęciem całka ogólna w przypadku, gdy będziemy dys-
ponować jedynie uwikłanym przedstawieniem rozwiązania ogólnego tzn.

Φ(t, x, c

1

, . . . , c

m

) = 0.

2.2

Podejście geometryczne

W celu zrozumienia geometrycznego sensu rozwiązań równania (2.4) roz-
patrzmy najpierw to równanie w przypadku skalarnym (m = 1). Niech
funkcja x(t) będzie rozwiązaniem tego równania. Rozważmy jej wykres jako
podzbiór (podrozmaitość klasy C

1

) płaszczyzny (t, x). Jak wiadomo wektor

styczny do wykresu funkcji x(t) ma postać (1, ˙x(t)) = (1, f (t, x)). Zatem
równanie (2.4) można odczytać następująco. Na

R

2

dane jest pole wekto-

rowe (1, f (t, x)). Szukamy krzywej, będącej wykresem funkcji x(t) i takiej,
że w każdym punkcie (t, x) leżącym na tej krzywej, wektor styczny do niej
jest równy (1, f (t, x)). Nie ma tu znaczenia, czy znajdujemy się na płasz-
czyźnie

R

2

czy w wyżej wymiarowej przestrzeni

R

m+1

. W ogólności w po-

wyższy sposób możemy definiować równania różniczkowe na rozmaitościach
odpowiedniej klasy gładkości. Mając dane dostatecznie gładkie pole wekto-
rowe X

∈ V (M) na rozmaitości M odpowiedniej klasy gładkości i punkt

p

∈ M możemy znaleźć przynajmniej lokalnie krzywą c : [0, t) → M taką że

˙c(t) = X(c(t)) i c(0) = p. Rozwiązanie takiego równania nazwiemy potokiem

pola wektorowego X. W dalszej cześci ograniczymy się jednak do zagadnień
w przestrzeni euklidesowej.

Niech dane będzie pole wektorowe w

R

m+1

. Wybierzmy punkt (t

0

, x

0

),

a następnie poruszymy się w kierunku wektora stycznego (1, ˙x

1

0

, . . . , ˙x

m

0

).

Oznaczmy ten punkt przez (t

1

, x

1

), a z niego przejdźmy w kierunku wekto-

ra stycznego (1, ˙x

1

1

, . . . , ˙x

m

1

) itd. W ten sposób otrzymaliśmy jedną krzywą

22

ROZDZIAŁ 2. RÓWNANIA RÓŻNICZKOWE ZWYCZAJNE

całkową. Aby otrzymać inną krzywą, wystartowalibyśmy z innego punktu
(t

0

, x

0

).

Z tego postępowania można wyciągnąć wniosek, że wybór punktu po-

czątkowego (t

0

, x

0

) pozwolił nam ograniczyć się tylko do jednej krzywej

całkowej. Prowadzi to do pojęcia warunku początkowego dla równania róż-
niczkowego (2.4).

Definicja 2.2.1 Warunek postaci x(t

0

) = x

0

ograniczający zbiór rozwiązań

równania pierwszego rzędu (2.4) nazywa się warunkiem początkowym lub wa-
runkiem Cauchy’ego. Równanie (2.4) uzupełnione warunkiem początkowym
nazywamy zagadnieniem Cauchy’ego lub zagadnieniem początkowym.

Definicja 2.2.2 Rozwiązaniem zagadnienia Cauchy’ego nazywamy funkcję
ϕ
(t) klasy C

1

na przedziale [t

0

, t

0

+ α], spełniającą równanie (2.4) oraz wa-

runek początkowy.

Wróćmy na moment do równań wyższych rzędów. Warto sobie uświadomić,
że dla równania postaci (2.2) zadanie warunku początkowego wymaga za-
dania wartości nie tylko samej funkcji dla czasu t

0

, ale także wartości jej

n

1 pochodnych. Wynika to wprost z postaci równania pierwszego rzędu,

do której sprowadziliśmy równanie (2.2). Warunek Cauchy’ego dla tego rów-
nania ma postać ¯

x(t

0

) = X, gdzie X ∈ R

m

i mamy x(t

0

) = X

0

, ˙x(t

0

) = X

1

,

. . ., x

(n−1)

(t

0

) = X

n−1

. Prowadzi to do następującej definicji zagadnienia

początkowego dla równania rzędu n, będącego całkowitą analogią do przy-
padku równania skalarnego.

Definicja 2.2.3 Jeśli dane jest równanie różniczkowe rzędu n, postaci (2.2)
w przestrzeni

R

m

, to zagadnienie Cauchy’ego dla tego równania przyjmuje

formę

x

(n)

= f (t, x, ˙x, . . . , x

(n−1)

),

x(t

0

) = x

0

, ˙x(t

0

) = x

1

, . . . , x

(n−1)

(t

0

) = x

n−1

,

gdzie x

0

, x

1

, . . . , x

n−1

R

m

.

background image

2.3. RÓWNANIA AUTONOMICZNE

23

2.3

Równania autonomiczne

Wśród równań różniczkowych na uwagę zasługuje pewna szczególna ich kla-
sa.

Definicja 2.3.1 Równanie postaci (2.2), w którym prawa strona nie zale-
ży jawnie od zmiennej niezależnej, nazywamy równaniem autonomicznym.
Równanie to ma postać

˙x = f (x)

(2.5)

Zauważmy, że każde równanie nieautonomiczne w postaci (2.2) możemy
sprowadzić do równania autonomicznego przez podstawienie t = s, gdzie
s jest nową zmienną niezależną, a t jest traktowane jako kolejna składowa
wektora x. Wtedy równanie (2.2) można zapisać w postaci autonomicznej

¯

x = ¯

f

x),

gdzie ¯

x = (t, x) i ¯

f = (1, f ). Różniczkowanie oznacza różniczkowanie po

nowym parametrze s.

Ewolucję równania autonomicznego najwygodniej jest rozpatrywać w

przestrzeni fazowej takiego równania, czyli w zbiorze wszystkich możliwych
wartości zmiennej zależnej. Jeśli x

R

m

to przestrzenią fazową tego rów-

nania jest podzbiór przestrzeni

R

m

.

Rozpatrując rozszerzoną przestrzeń fazową

R

m+1

mamy krzywe całko-

we będące wykresami konkretnych rozwiązań równania (2.2). Rzutując te
krzywe na

R

m

mamy krzywe fazowe będące obrazem rozwiązania.

2.4

Przykłady zagadnień

Równania różniczkowe zwyczajne spotkac możemy w wielu dziedzinach.
Najcześciej jednak natkniemy się na nie w fizyce, a szczególnie w mechanice
klasycznej. Metody równań różniczkowych zwyczajnych używane są także
w bilogii, chemii.

Przykład 1. (Przykład zagadnienia prowadzącego do równania różniczko-
wego)
Rozważmy proces rozmnażania się bakterii. Zakładamy, że bakterie

24

ROZDZIAŁ 2. RÓWNANIA RÓŻNICZKOWE ZWYCZAJNE

znajdują się w środowisku o stałych parametrach, w związku z czym szyb-
kość i sposób ich rozmnażania się jest stały. Wiadomo, że w tych warunkach
bakterie rozmnażają się przez podział, w którego wyniku z jednej bakterii
powstaje k nowych. Podział ten następuje co τ minut. Znajdziemy wzór
opisujący wzrost populacji bakterii.

Przyjmiemy, że wszystkie bakterie dzielą się w tych samych chwilach:

t

0

, t

1

= t

0

+ τ, t

2

= t

0

+ 2τ, . . .

Jeśli N

i

oznacza liczbę bakterii w chwili t

i

, to zmianę tej liczby w czasie

opisuje równanie

N

i+1

= (1 + k)N

i

(2.6)

Znając N

0

czyli liczbę bakterii w chwili t

0

, możemy łatwo obliczyć

N

i

= (1 + k)

i

N

0

.

Jednak założenie, że bakterie dzielą się dokładnie w tych samych chwi-
lach, jest mało realistyczne (liczba τ jest średnim czasem między kolejnymi
podziałami, otrzymanym z eksperymentalnych badań biologów). Bardziej
realne jest założenie, że bakterie dzielą się w różnych chwilach, które są
równomiernie rozłożone w czasie, tzn. liczba podziałów w przedziale cza-
su (t, t + ∆t) zależy od ∆t, a nie zależy od t (oczywiście zależy także od
liczby bakterii). Aby znaleźć prawo opisujące wzrost populacji bakterii przy
założeniu równomiernego w czasie rozkładu chwil podziału, musimy zre-
zygnować z traktowania N (t) jako liczby bakterii w chwili t (a więc jako
liczby naturalnej). Przyjmijmy natomiast, że N (t) jest pewną miarą gęsto-
ści bakterii w środowisku i będziemy ją traktować jako liczbę rzeczywistą
(po to, żeby w dalszych rozważaniach uznać N (t) za gładkąfunkcję zmien-
nej t). Niech teraz N (t) będzie wielkością populacji w chwili t, a N (t + ∆t)
w chwili t + ∆t. Różnica N (t + ∆t) − N (t) jest przyrostem populacji w
przedziale czasu ∆t. Aby wyznaczyć ten przyrost, zauwazmy że co τ minut
następuje podział określonej bakterii, natomist co τ /N (t) minut następuje
podział jakiejś bakterii z populacji N (t) bakterii. Oznacza to, że w czasie
t nastąpi

t

τ /N (t)

=

1
τ

N (t)∆t

(2.7)

background image

2.4. PRZYKŁADY ZAGADNIEŃ

25

podziałów. Ponieważ w każdym podziale z jednej bakterii tworzy się k bak-
terii, więc

N (t + ∆t) − N (t) =

k
τ

N (t).

(2.8)

Jeśli założymy, że N (t) jest funkcją różniczkowalną, to będziemy mogli do-
konać przejścia granicznego ∆t → 0. Otrzymamy wtedy równanie

˙

N (t) =

k
τ

N (t),

(2.9)

które opisuje prawo wzrostu populacji bakterii. Mamy zatem przykład jak
z zagadnienia różnicowego (dyskretnego) przejść na przypadek różniczkowy
(ciągły).
Przykład 2.(Wahadło matematyczne) Wahadłem matematycznym nazy-
wamy punkt materialny o masie m zawieszony na długiej, cienkiej i nie-
rozciągliwej nici. Wykonuje on wahania wokół najniżej położonego punktu
O, zwanego środkiem wahań. Załóżmy, że wahadło wykonuje tylko małe
wahania i oznaczmy przez z odchylenie od środka wahań. Aby znaleźć przy-
spieszenie a wahadła w punkcie wyhylenia P zauważmy, że siła działająca
na punkt materialny o masie m jest dana przez składową ciążenia, stycz-
ną do toru wahań (składowa prostopadła do niej jest równoważona przez
sprężystość nici, na której wisi wahadło). Wtedy

ma = −mg sin(x),

gdzie x jest kątem wychylenia nici od pionu, g - przyspieszeniem w po-
lu grawitacyjnym ziemi. Znak

po prwej stronie równania występuje w

skutek przeciwnych zwrotów wychylenia i działającej na punkt siły. Jeśli
przyspieszenie wahadła wyrazimy przez drugą pochodną odchylenia z, to
otrzymamy

m¨

z = −mg sin(x).

Zauważmy, że jeśli z mierzymy wzdłuż łuku, po którym porusza się punkt
materialny, to

z = xl,

26

ROZDZIAŁ 2. RÓWNANIA RÓŻNICZKOWE ZWYCZAJNE

gdzie l jest długością wahadła. Ostatecznie otrzymujemy równanie wahadła

¨

x =

g

l

sin(x).

Skorzystamy teraz z założenia, że wahadło wykonuje tylko małe drgania i
możemy zastosować przybliżenie sin(x) ≈ x. Małe drgania wahadła daje się
zatem opisać równaniem

¨

x = −kx,

gdzie k = g/l. Zagadnienie początkowe dla tego równania ma postać


¨

x = −kx

x(t

0

) = x

0

˙x(t

0

) = x

1

Otrzymaliśmy zagadnienie Cauchy’ego drugiego rzędu.

Przykład z równaniem wahadła podsuwa na myśl inny sposób zada-

nia warunków określających rozwiązanie równania różniczkowego. Możemy
starać się opisać jego ruch podając nie połozenie początkowe i prędkość
początkową, ale wychylenie w chwili t

0

i wychylenie w chwili t

1

. Wtedy

odpowiednie zaganienie miałoby postać


¨

x = −kx

x(t

0

) = x

0

x(t

1

) = x

1

(2.10)

Zagadnienie w postaci (2.10) nazywać będziemy zagadnieniem brzegowym.
Nazwa ta bierze się stąd, że starając się znaleźć rozwiązanie, podajemy jego
wartość na dwóch końcach przedziału, na którym poszukujemy rozwiązania.
Oczywiście postawienie zagadnienia brzegowego nie ogranicza się do równań
drugiego rzędu (choć dla tych równań jest to bardzo naturalny rodzaj wa-
runku). Można ten typ warunku formułować dla równań dowolnego rzędu
zadając dostatecznie wiele wartości.

Definicja 2.4.1 Niech dane będzie równanie w postaci (2.4) z funkcją f :
I

× R

m

R

m

, gdzie I = [a, b] R. Zagadnienie brzegowe dla równania

background image

2.5. BADANIE RÓWNAŃ RUCHU

27

(2.4) na przedziale [a, b] ma postać

q(x(a), x(b)) = 0,

(2.11)

gdzie q jest daną funkcją o wartościach w

R

m

.

Jeśli q jest funkcją liniową, która nie zależy od x(b) to warunek (2.11) spro-
wadza się do warunku Cauchy’ego. Można więc warunek (2.11) uważać za
ogólną postać warunku granicznego dla równania (układu) (2.4). Zauważ-
my, że rozwiązywanie zagadnienia początkowego jest na ogół łatwiejsze niż
zagadnienia brzegowego. W drugim przypadku musimy bowiem wcześniej
wiedzieć, że rozwiązanie określonej jest na całym odcinku [a, b], co nie za-
wsze jest prawdą.

2.5

Badanie równań ruchu

Równania różniczkowe zwyczajne, tak jak główne idee rachunku różniczko-
wego wywodzą się z zagadnień mechaniki Newtonowskiej. Przyjżyjmy się
dokładniej pewnym wybranym problemom.

Zanim to jednak nastąpi wprowdźmy pojęcie potencjału.

Definicja 2.5.1 Niech dany będzie Newtonowski układ mechaniczny

B ze

stanami opisanymi funkcją x : R R

m

. Jeśli istnieje funkcja V : R

m

R

taka, że ¨

x = −∇V , to układ B nazwiemy układem potencjalnym. Funkcję V

nazwiemy funkcją potencjału lub potencjałem.

Układy potencjalne są zatem układami, w których pole sił jest polem gra-
dientowym pewnej funkcji skalarnej. Przykładem takiego pola jest w ujęciu
klasycznym pole grawitacyjne ziemi.

2.5.1

Układy potencjalne o jednym stopniu swobody

Definicja 2.5.2 Układem o jednym stopniu swobody nazwiemy układ opi-
sany przez jedno równanie różniczkowe

¨

x = f (x), x ∈ R

(2.12)

28

ROZDZIAŁ 2. RÓWNANIA RÓŻNICZKOWE ZWYCZAJNE

Energią kinetyczną nazywamy formę kwadratową

T =

1
2

˙x

2

.

Energią potencjalną nazywamy

U (x) =

x

x

0

f (ζ)

Znak

został tak dobrany, by np. w przypadku rzutu kamieniem jego

energia potencjalna była tym większa, im wyżej znajduje się kamień. Energią
całkowitą układu
nazwiemy E = T + U .

Twierdzenie 2.5.3 (Prawo zachowania energii) Energia całkowita dla
układu poruszającego się zgodnie z równaniem (2.12) nie ulega zmianie.

Dowód. Wykonajmy rachunek

dE

dt

=

d

dt

(T + U ) = ˙x¨

x +

dU

dt

˙x = ˙x

x

− f(x)) = 0.

Dowodzi to zatem, że E = const.

2.5.2

Układy potencjalne o dwóch stopniach swobody

Definicja 2.5.4 Przez układ o dwóch stopniach swobody rozumiemy układ
opisany równaniem różniczkowym

¨

x = f (x), x ∈ R

2

(2.13)

Zauważmy, że i w tym przypadku zachodzi prawo zachowania energii cał-
kowitej 2.5.3. Musimy jednak inaczej rozumieć kwadrat prędkości w formie
energii kinetycznej. Teraz mamy na myśli iloczyn skalarny

˙x, ˙x.

Dowód. Bezpośredni rachunek daje

dE

dt

= ˙x, ¨

x

+ ∇U, ˙x = ¨x + ∇U, ˙x = 0

na mocy równań ruchu.

Wniosek 2.5.5 Jeśli w chwili początkowej energia całkowita wynosi E, to
cała trajektoria ruchu leży w obszarze, dla którego U
(x) E. Inaczej, punkt
znajduje się cały czas wewnątrz studni potncjału U
(x) E.

background image

2.6. ZADANIA

29

2.6

Zadania

1. Sprawdzić, czy podana rodzina funkcji jest rozwiązaniem wskazanego

równania różniczkowego

(a) x(t) = c

1

cos 6t + c

2

sin 6t

¨

x + 36x = 0

(b) x(t) = c

1

e

6t

+ c

2

e

6t

1

2

t

1

36

¨

x

36x = 18t + 1

(c) x(t) = 2 + c

1 − t

2

(1 − t

2

) ˙x + tx = 2t

1

2. Znaleźć równanie różniczkowe (możliwie niskiego rzędu), którego roz-

wiązaniem jest zadana rodzina krzywych:

(a) x(t) = e

ct

(b) x(t) = sin(t + c)

(c) (t − c

1

)

2

+ c

2

x

2

= 1

(d) t = c

1

x

2

+ c

2

x + c

3

3. Naszkicować przybliżony przebieg krzywych całkowych dla poniższych

równań, odgadując je z postaci pola wektorowego generowanego przez
te równania

(a) ˙x = x − t

2

(b) x ˙x + t = 0

(c) ˙x =

x−3t

t+3x

(d) ˙x =

t+x

t−x

4. Opisać zbiór wszystkich ekstremów krzywych całkowych równania ˙x =

f (t, x).

5. Dane jest równanie różniczkowe ˙x = f (x, t), w którym prawa strona

spełnia warunek f (x, t) = f (−x, −t). Udowodnić, że jeśli funkcja ϕ(t)
jest rozwiązaniem tego równania, to także funkcja

−ϕ(−t) jest jego

rozwiązaniem. Znaleźć analogiczną własność rozwiązania, jeśli prawa
strona spełnia warunki f (x, t) = −f (x, −t) lub f (x, t) = −f (−x, t).

1

Dla jakich czasów jest określone to rozwiązanie?

30

ROZDZIAŁ 2. RÓWNANIA RÓŻNICZKOWE ZWYCZAJNE

6.

Załóżmy, że łódź płynie przez rzekę reprezentowaną jako pas [−a, a]×

R w poprzek od −a do a z jednostają prędkością v

s

. Prędkość nurtu

rzeki opisana jest funkcją v

r

(x) = 3

1

x

a

2

. Znaleźć zagadnienie

opisujące tor, po którym będzie poruszać się łódź.

background image

Rozdział 3

Istnienie i jednoznaczność
rozwiązań

W rozdziale tym zajmiemy się zagadnieniem istenienia i jednoznaczności
rozwiązań równań różniczkowych zwyczajnych. Odpowiedź na te pytania
jest istotna w chwili, gdy nie potrafimy podać analitycznej formuły opi-
sującej rozwiązanie (o ile istnieje). Często w problemach zadajemy sobie
pytanie, czy działanie układu jest jedyne możliwe. Twierdzenia zawarte w
tym rozdziale dadzą nam odpowiedź.

3.1

Twierdzenie Peano

Równania różniczkowe zwyczajne są bardzo rozwiniętą dziedziną matema-
tyki. Mimo to potrafimy rozwiązywać efektywnie w postaci analitycznej
tylko nieliczne ich klasy, które poznamy później. Rezygnując więc z pytania
o możliwość efektywnego rozwiązania danego równania, spróbujmy zadać
pytanie ogólniejsze, ale łatwiejsze: jakie warunki musi spełniać równanie,
abyśmy mogli być pewni, że ma ono rozwiązanie (nawet jeśli nie potrafimy
go określić) i kiedy rozwiązanie jest jednoznaczne?

Pytanie to będziemy rozważać w możliwie ogólnej sytuacji, tzn. założy-

31

32

ROZDZIAŁ 3. ISTNIENIE I JEDNOZNACZNOŚĆ ROZWIĄZAŃ

my, że mamy dane równanie w postaci

˙x = f (t, x)

w przestrzeni liniowej. Przypomnijmy, ze x = x(t) R

m

, a f jest funkcją

f : R

m+1

R

m

.

Twierdzenie 3.1.1 (Peano) Niech K = [t

0

, t

0

+ a] × {x − x

0

b} ⊂

R

m+1

. Niech F : K → R

m

będzie funkcją ciągłą, sup

(t,x)∈K

F (t, x) = M.

Wtedy zagadnienie Cauchy’ego znalezienia takiej funkcji x(t), że

˙x = F (t, x)

(3.1)

i spełniony jest warunek x(t

0

) = x

0

, ma rozwiązanie na odcinku [t

0

, t

0

+ α],

α = min(a, b/M ).

Zanim przejdziemy do dowodu twierdzenia 3.1.1, potrzebny będzie nam

lemat.

Lemat 3.1.2 Zagadnienie Cauchy’ego (3.1) ma rozwiązanie x(t) różnicz-
kowalne na odcinku
[t

0

, t

1

) lub [t

0

, t

1

] wtedy i tylko wtedy, gdy równanie

całkowe

x(t) = x

0

+

t

t

0

F (s, x(s))ds

(3.2)

ma rozwiązanie ciągłe.

Dowód. (lematu 3.1.2) Przypuśćmy, że funkcja x

(t) spełnia warunek (3.2).

Całkując obie strony równania ˙x = F (t, x) od t

0

do t i korzystając z warunku

x(t

0

) = x

0

otrzymujemy:

x(t) − x(t

0

) =

t

t

0

F (s, x(s))ds,

czyli

x(t) = x

0

+

t

t

0

F (s, x(s))ds.

background image

3.1. TWIERDZENIE PEANO

33

Implikacja w drugą stronę wynika automatycznie z różniczkowania (3.2)
względem t. Zauważmy, że z ciągłości F wynika, że x(t) jest klasy C

1

.

Dowód. (twierdzenia 3.1.1) Dla dowolnej liczby naturalnej n definiujemy na
przedziale [t

0

, t

0

+a] funkcję x

n

(t), kolejno na odcinkach [t

0

+

k

n

α, t

0

+

k+1

n

α],

k = 0, 1, . . . , n − 1 według wzoru

x

n

(t

0

) = x

0

x

n

(t) = x

n

t

0

+

k
n

α

+ F

t

0

+

k
n

α, x

n

t

0

+

k
n

α

t

t

0

+

k
n

α

dla t

(t

0

+

k

n

α, t

0

+

k+1

n

α]. Jak się później okaże, definicja ta ma sens

jeśli

x

n

(t

0

+

k

n

α) − x

0

b. Tak zdefiniowany ciąg funkcji jest aproksy-

macją ewentualnego rozwiązania (o którym jeszcze nie wiemy, że istnieje)
funkcjami kawałkami liniowymi.

Przypuśćmy, że istnieje liczba t

1

: t

0

< t

1

< t

0

+ α taka, że x

n

(t

1

)

x

0

= b i dla t

0

t t

1

mamy

x

n

(t

1

) − x

0

b; w szczególności definicja

ciągu x

n

(t) mam sens dla t t

1

.

Funkcje x

n

(t) są Lipschitz-ciągłe ze stałą M tzn. zachodzi

t,t

[t

0

,t

0

+α]

x

n

(t) − x

n

(t

) M |t − t

|,

gdyż na odcinkach [t

0

+

k

n

α, t

0

+

k+1

n

α] są liniowe (afiniczne) z pochod-

F

t

0

+

k

n

α, x

n

t

0

+

k

n

α

, a

F M. Istnienie t

1

prowadzi więc do

sprzeczności, gdyż

b = x

n

(t) − x

n

(t

0

) M |t

1

− t

0

| < M

b

m

= b.

Powyższą metodą możemy więc określić x

n

dla t

t

0

+ a i t t

0

+

b

M

.

Krzywa (t, x

n

(t)) będzie wówczas zawarta w K.

Jako Lipschitz-ciągłe z tą samą stałą M funkcje x

n

(t) są jednakowo

ciągłe, tzn.

>0

δ>0

n

t,t

[t

0

,t

0

+α]

|t − t

| < δ ⇒ x

n

(t) − x

n

(t

) < .

34

ROZDZIAŁ 3. ISTNIENIE I JEDNOZNACZNOŚĆ ROZWIĄZAŃ

Na mocy twierdzenia Arzeli-Ascoliego z ciągu x

n

możemy wybrać podciąg

jednostajnie zbieżny. Dla uproszczenia oznaczeń możemy przyjąć, że sam
ciąg x

n

zbiega jednostajnie do pewnej funkcji x(t). Pokażemy, że ta funkcja

jest rozwiązaniem problemu Cauchy’ego. W tym celu na podstawie lematu
3.1.2, wystarczy wykazać, że jest rozwiązaniem równania całkowego (3.2).
Niech φ

n

(t) = F (t

0

+

k

n

α, x

n

(t

0

+

k

n

α)), dla t ∈ [t

0

+

k

n

α, t

0

+

k+1

n

α). Wówczas

x

n

(t) = x

0

+

t

t

0

Φ

n

(s)ds.

Zachodzi także Φ

n

(s) −→ F (s, x(s)), ponieważ x

n

(t

0

+

k

n

α) −→ x(t

0

+

k

n

α),

a funkcja F jest jednostajnie ciągła. Zatem

x(t) = lim

n→∞

x

n

(t) = x

0

+ lim

n→∞

t

t

0

Φ

n

(s)ds = x

0

+

t

t

0

lim

n→∞

Φ

n

(s)ds =

= x

0

+

t

t

0

F (x(s))ds.

Powyższa równość kończy dowód.

Metoda przybliżania rozwiązań równania różniczkowego zwyczajnego

zastosowana w dowodzie twierdzenia 3.1.1 nazywa się otwartym schematem
Eulera
i jest wykorzystywana przy numerycznym rozwiązywaniu równań.
Jest to najłatwiejsza metoda dająca w pewnych wypadakch zadowalające
wyniki.

Teraz, gdy jesteśmy wyposażeni w narzędzia pozwalające stwierdzić ist-

nienie rozwiązania, możemy przejść do kolejnego problemu, jakim jest jed-
noznaczność.

3.2

Twierdzenie Picarda-Lindelöfa

Załóżmy jak poprzednio, że dane jest zagadnienie Cauchy’ego (3.1). Za-
czniemy od przykładu interesującej nas sytuacji.

background image

3.2. TWIERDZENIE PICARDA-LINDELÖFA

35

Przykład 1. Rozważmy następujące równanie:

˙x = x

β

, 0 < β < 1, x 0.

Stosując metodę rozdzielania zmiennych otrzymujemy

dx
x

β

= C +

dt

o ile x

= 0, więc

1

1 − β

x

1−β

= C + t,

x(t) = (1 − β)

1

1−β

(t − C)

1

1−β

dla t > C (zaminiliśmy w oznaczeniach C na

−C). Dla t = C to rozwią-

zanie przedłuża się do x(C) = 0. Mamy wówczas prawostronną pochodną

˙x(C) = 0. Istnieje także inne rozwiązanie: x(t) 0. Zatem dla żadnego

t

0

R nie ma jednoznaczności rozwiązań zagadnienia Cauchy’ego z warun-

kiem początkowym x(t

0

) = 0.

Startując zatem w punkcie (t

0

, 0) w przestrzeni fazowej będziemy mogli

poruszać się stycznie do pola wektorowego zadającego równanie (inaczej,
dla którego krzywe całkowe są potokiem tego pola wektorowego) na dwa
sposoby.

Twierdzenie 3.2.1 (Picard-Lindelöf ) Niech K, F będą takie jak w za-
łożeniach twierdzenia 3.1.1. Załóżmy dodatkowo, że F jest Lipschitz-ciągła
ze stałą L w kierunku x tzn. spełniony jest warunek

(t,x),(t,y)∈K

F (t, x) − F (t, y) Lx − y,

to istnieje dokładnie jedno rozwiązanie problemu Cauchy’ego na [t

0

, t

0

+ α

,

gdzie α

= min(a,

b

M

,

τ

L

) dla dowolnej ustalonej liczby 0 < τ < 1.

Dowód. Zauważmy, że operator liniowy L, zdefiniowany wzorem

L(u)(t) = x

0

+

t

t

0

F (u(s))ds

36

ROZDZIAŁ 3. ISTNIENIE I JEDNOZNACZNOŚĆ ROZWIĄZAŃ

przeprowadza przestrzeń C

0

z [t

0

, t

0

+α], o wartościach w zbiorze {x−x

0

b

} ⊂ R

m

, takich że u(t

0

) = x

0

w siebie, gdyż

L(u)(t) − x

0

t

t

0

F (s, u(s))ds M

b

M

= b.

Ponadto

L jest kontrakcją. Załóżmy bowiem, że mamy dwie funkcje u(t) i

v(t) klasy C

0

. Wtedy dla każdego t

0

t t

0

+ α

:

L(u)(t) − L(v)(t) =

t

t

0

(F (u(s)) − F (v(s)))ds

L

t

t

0

u(s) − v(s)ds τ

sup

t

0

st

0

+α

u(s) − v(s).

Przestrzeń C

0

jest przestrzenią Banacha. Zatem z tw. Banacha o punkcie

stałym (twierdzenie 1.3.7) istnieje dokładnie jeden punkt stały odwzorowa-
nia

L tzn. takie u(t), że L(u)(t) = u(t). Funkcja u(t) jest na mocy lematu

3.1.2 rozwiązaniem zagadnienia Cauchy’ego.

Żądanie Lipschitz-ciągłości prawej strony równania (3.1) powoduje za-

tem, że rozwiązanie zagadnienia jest jednoznaczne. Dowód twierdzenia 3.2.1
obrazuje także jak silnym narzędziem jest twierdzenie 1.3.7.

3.3

Zadania

1. Czy wykresy dwóch różnych rozwiązań danego równania mogą sie

przecinać w pewnym punkcie (t

0

, x

0

) jeśli równaniem tym jest:

(a) ˙x = x

2

+ t

(b) ¨

x = x

2

+ t

2. Czy poniższe równania, uzupełnione dowolnym warunkiem początko-

wym x(t

0

) = x

0

mają rozwiązania? Jeśli tak, to czy są one jedno-

znaczne?

(a) ˙x = t

3

− x

3

background image

3.3. ZADANIA

37

(b) ˙x = tx + e

−x

3.

Niech funkcja f : R R będzie ciągła, a funkcja g : R R niech

spełnia warunek Lipschitza. Udowodnić, że układ równań

˙x

1

= f (x

2

)x

1

,

˙x

2

= g(x

2

)

uzupełniony dowolnym warunkiem początkowym, ma co najwyżej jed-
no rozwiązanie w dowolnym przedziale.

38

ROZDZIAŁ 3. ISTNIENIE I JEDNOZNACZNOŚĆ ROZWIĄZAŃ

background image

Rozdział 4

Podstawowe klasy równań

Znamy już twierdzenia, dające nam możliwość orzeczenia, czy dane równa-
nie posiada rozwiązanie i czy jest ono jednoznaczne. Należy pamiętać, że
twierdzenia te są kryteriami dostatecznymi a nie koniecznymi. Zajmiemy
się teraz pewnymi klasami równań, których rozwiązania jesteśmy w sta-
nie bez trudu wyznaczyć analitycznie. Ograniczymy się tylko do przypadku
skalarnego.

4.1

Równania o zmiennych rozdzielonych

Równanie o zmiennych rozdzielonych jest najprostszą sytuacją równania
różniczkowego zwyczajnego. Poniższa definicja tłumaczy pochodzenie na-
zwy tej klasy równań.

Definicja 4.1.1 Równanie różniczkowe rzędu pierwszego

˙x = f (t, x)

nazywamy równaniem o zmiennych rozdzielonych, jeśli funkcja f (t, x) daje
się przedstawić w postaci iloczynu dwóch funkcji jednej zmiennej, tj.

f (t, x) = g

1

(t)g

2

(x).

39

40

ROZDZIAŁ 4. PODSTAWOWE KLASY RÓWNAŃ

Równanie o zmiennych rozdzielonych można rozwiązać w bardzo łatwy spo-
sób.

Twierdzenie 4.1.2 Dane jest równanie różniczkowe o zmiennych rozdzie-
lonych

˙x = g

1

(t)g

2

(x).

(4.1)

Niech funkcje g

1

(t) i g

2

(x) będą ciągłe dla t ∈ (a, b) i x ∈ (c, d) oraz niech

g

2

(x) nie ma zer na odcinku (c, d). Wtedy przez każdy punkt (t

0

, x

0

) prosto-

kąta Q = {(t, x) : t ∈ (a, b), x ∈ (c, d)} przechodzi dokładnie jedna krzywa
całkowa równania (4.1). Krzywa przechodząca przez punkt
(t

0

, x

0

) jest dana

wzorem

x(t) = G

1

2

(G

1

(t) − G

1

(t

0

) + G

2

(x

0

)),

(4.2)

gdzie G

1

(t) jest funkcją pierwotną funkcji g

1

(t), a G

2

(x) - funkcją pierwotną

funkcji 1/g

2

(x).

Dowód. Podzielmy równanie (4.1) stronami przez g

2

(x). Otrzymamy

1

g

2

(x)

dx

dt

= g

1

(t).

Równość tę możemy zapisać inaczej w postaci

d

dt

G

2

(x(t)) = g

1

(t),

(4.3)

gdzie G

2

(x) jest funkcją pierwotną dla 1/g

2

(x). Całkujemy równanie w prze-

dziale (t

0

, t) i otrzymujemy

G

2

(x(t)) − G

2

(x(t

0

)) = G

1

(t) − G

1

(t

0

),

(4.4)

gdzie G

1

(t) jest funkcją pierwotną dla g

1

(t). Zauważmy, że G

2

jest funkcją

monotoniczną, bo G

2

= 1/g

2

= 0, czyli pochodna G

2

ma stały znak. Istnieje

więc funkcja G

1

2

, odwrotna do G

2

. Wobec tego z (4.4) mamy

x(t) = G

1

2

(G

1

(t) − G

1

(t

0

) + G

2

(x

0

)),

wykorzystując fakt, że x(t

0

) = x

0

.

background image

4.1. RÓWNANIA O ZMIENNYCH ROZDZIELONYCH

41

Równania o zmiennych rozdzielonych są w pewnym sensie podstawową

klasą równań, którą można rozwiązać analitycznie. Często w wielu zagad-
nieniach dotyczących różnych dziedzin skomplikowane równania, nie tylko
zwyczajne, rozwiązuje się postulując istnienie rozwiązania w postaci zmien-
nych rozdzielonych. Pochodzenie nazwy tej klasy równaniń jest naturalne.

Rozpatrzmy następujący przykład równania zwyczajnego.

Przykład 1. Rozwiążemy zagadnienie Cauchy’ego

˙x sin t − x cos t = 0, x

π

2

= 1.

(4.5)

Przekształćmy równanie (4.5) by otrzymać

˙x

x

=

cos t

sin t

.

(4.6)

Przekształcenie jest poprawne ze względu na warunek Cauchy’ego jaki roz-
patrujemy. Całkując równanie (4.6) dostajemy

ln |x| = ln | sin t| + C

1

co można zapisać jako

ln |x| = ln(|C

2

sin t|).

Z różnowartościowości funkcji ln otrzymujemy

x(t) = C

2

sin t.

Na mocy warunku x

π

2

= 1 otrzymujemy C

2

= 1. W ten sposób rozwiąza-

liśmy zagadnienie. Rozwiązaniem jest x(t) = sin t

W trakcie rozwiązywania zagadnienia pojawiła się stała całkowania C

1

,

później przekształcona do stałej C

2

= ln |C

1

|, która została ustalona później

na podstawie warunku Cauchy’ego. W celu uniknięcia uciążliwego wprowa-
dzania indeksów będziemy stosować konwencję stałej generycznej tzn. za-
miast pisać C

1

i przekształcać C

2

= ln |C

1

| będziemy pisać C zarówno przed

jak i po przekształceniu, mając jednak na uwadze ewentualne konsekwencje
wynikające z danej zamiany.

42

ROZDZIAŁ 4. PODSTAWOWE KLASY RÓWNAŃ

4.2

Równania jednorodne

Często przez odpowiednią zamianę zmiennych jesteśmy w stanie sprowadzić
jeden typ równania do już nam znanego. Tak będzie w przypadku omawia-
nych tu równań jednorodnych.

Definicja 4.2.1 Funkcja dwóch zmiennych f (x, y) nazywa się funkcją jed-
norodną stopnia n, jeśli f
(tx, ty) = t

n

f (x, y).

Zanim zaczniemy rozpatrywać równania z funkcjami jednorodnymi, sformu-
łujemy nieco ogólniej zapis równania. Zauważmy bowiem, że w przypadku
pojedynczego równania decyzja, która zmienna jest zmienną zależną, a któ-
ra zmienną niezależną, jest dość arbitralna. Aby podkreślić tę dowolność
wyboru zmiennej zależnej, równanie

˙x = f (t, x)

będziemy zapisywać w postaci równości dwóch różniczek

dx = f (t, x)dt

lub też w postaci zachowującej pełną symetrię zmiennych

M (x, y)dx + N (x, y)dy = 0.

(4.7)

W celu zachowania pełnej symetrii zostały zmienione nawet nazwy zmien-
nych. Równanie to można zapisać oczywiście także w postaci

dy
dx

=

M (x, y)

N (x, y)

.

Wprowadzenie takiego zapisu może się wydawać zbędne, jednakże w wielu
sytuacjach okazuje się, że postać ta prowadzi do łatwych całek.

Definicja 4.2.2 Równanie różniczkowe w postaci (4.7) nazywa się równa-
niem jednorodnym stopnia n, jesli funkcje M
(x, y) i N (x, y) są funkcjami
jednorodnymi stopnia n.

background image

4.2. RÓWNANIA JEDNORODNE

43

Często można znaleźć łatwiejszą metodę całkowania równań jednorodnych.
Poniższe twierdzenie prezentuje najogólniejszą metodę ich rozwiązywania.

Twierdzenie 4.2.3 Dane jest równanie jednorodne stopnia n w postaci
różniczek

M (x, y)dx + N (x, y)dy = 0.

(4.8)

O funkcjach M (x, y) i N (x, y) zakładamy, że są funkcjami ciągłymi w zbio-
rze Q
= {(x, y) : a <

y
x

< b

} oraz

xM (x, y) + yN (x, y) = 0.

Wtedy przez każdy punkt (x

0

, y

0

) ∈ Q przechodzi dokładnie jedna krzywa

całkowa równania (4.8).

Dowód. Równanie (4.8) można sprowadzić do równania o zmiennych roz-
dzielonych przez każde z dwóch podstawień y = ux i x = vy. Wybierzmy
podstawienie y = ux. Pokażemy, jak wtedy przebiega całkowanie równania
(4.8).

M (x, y)dx + N (x, y)dy = M (x, ux)dx + N (x, ux)(xdu + udx) =

= x

n

M (1, u)dx + x

n

N (1, u)(xdu + udx) =

= x

n

(M (1, u) + uN (1, u))dx + x

n+1

N (1, u)du = 0.

Po przekształceniu otrzymujemy równanie o zmiennych rozdzielonych

dx

x

=

N (1, u)

M (1, u) + uN (1, u)

du.

(4.9)

Ponieważ M (1, u) + uN (1, u) = 0 więc występująca po prawej stronie rów-
nania funkcja jest ciągła i ma funkcję pierwotną G(u). Całkujemy równanie
(4.9) i otrzymujemy

ln |x| = G(u) + G

y

0

x

0

+ ln |x

0

|,

44

ROZDZIAŁ 4. PODSTAWOWE KLASY RÓWNAŃ

skąd po przejściu do zmiennych (x, y) mamy

ln |x| = G

y
x

+ G

y

0

x

0

+ ln |x

0

|.

Zauwazmy przy tym, że zgodnie z twierdzeniem 4.1.2 całkowanie równania
(4.9) jest możliwe tylko w takim obszarze Q, który nie zawiera punktów
(x, y) o współrzędnej x = 0. Jeśli obszar Q zawiera takie punkty, a nie
zawiera punktów o współrzędnej y = 0, to równanie (4.8) można rozwiązać,
stosując podstawienie x = vy.

Przykład 1. Znajdziemy rodzinę krzywych całkowych, opisanych równa-
niem

(x + y − 2)dx + (x − y + 4)dy = 0.

Równanie to nie jest równaniem jednorodnym, ale można je do postaci jed-
norodnej sprowadzić. Zróbmy podstawienie x = ξ + x

0

, y = µ + y

0

. Mamy

x + y − 2 = ξ + x

0

+ µ + y

0

2

x

− y + 4 = ξ + x

0

− µ − y

0

+ 4

Parę (x

0

, y

0

) wybieramy tak, by spełniony był układ

x

0

+ y

0

=

2

x

0

− y

0

= 4

W ten sposób otrzymujemy równanie jednorodne

(ξ + µ)+ (ξ − µ)= 0.

Dalsze postępowanie jest już proste. Podstawiamy µ = i mamy równanie

(ξ + )+ (ξ − uξ)(ξdu + udξ) = 0.

Po uporządkowaniu wyrazów otrzymujemy równanie o zmiennych rozdzie-
lonych

(1 + 2u − u

2

)+ ξ(1 − u)du = 0.

background image

4.3. RÓWNANIA W POSTACI RÓŻNICZEK ZUPEŁNYCH

45

Po scałkowaniu otrzymamy

ln |ξ| +

1
2

ln |1 + 2u − u

2

| = ln C,

czyli

ξ

2

(1 + 2u − u

2

) = C

2

.

Wracamy do zmiennych (x, y) i otrzymujemy równanie

(x + 1)

2

1 + 2

y

3

x + 1

(y − 3)

2

(x + 1)

2

= C

2

.

czyli

x

2

+ 2xy − y

2

4x + 8y = C.

Uwaga na stałe generyczne!

4.3

Równania w postaci różniczek zupełnych

Równanie w postaci różniczek (w postaci (4.7)) przypomina zapis różniczki
zupełnej funkcji dwóch zmiennych. Oczywiście, nie każde takie wyrażenie
jest w rzeczywistości różniczką zupełną jakiejś funkcji. Analiza dostarcza
nam jednak prostych sposobów sprawdzenia tego faktu.

Twierdzenie 4.3.1 Niech będzie dane wyrażenie

M (x, y)dx + N (x, y)dy

(4.10)

i niech funkcje M (x, y), N (x, y), M

y

(x, y) i N

x

(x, y) będą ciągłe w zbiorze

Q = {(x, y) : x ∈ (a, b), y ∈ (c, d)}. Jeśli w zbiorze Q jest spełniona równość

M

y

(x, y) = N

x

(x, y),

(4.11)

to wyrażenie (4.10) jest różniczką zupełną, czyli różniczką pewnej funkcji
F
(x, y). Wtedy również całka krzywoliniowa

L

M (x, y)dx + N (x, y)dy,

(4.12)

liczona po drodze L zawartej w Q nie zależy od drogi całkowania.

46

ROZDZIAŁ 4. PODSTAWOWE KLASY RÓWNAŃ

Funkcje M (x, y) i N (x, y) możemy potraktować jako składowe pola wek-

torowego V (x, y) = (M (x, y), N (x, y)). Mówimym że pole takie jest poten-
cjalne
, jeśli istnieje funkcja F (x, y) taka że

V (x, y) = ∇F (x, y).

Funkcję F nazywamy potencjałem pola. Korzystając z twierdzenia 4.3.1
można łatwo udowodnić istnienie rozwiązań dla równań w postaci różniczek
zupełnych.

Twierdzenie 4.3.2 Załóżmy, że w zbiorze Q = {(x, y) : x ∈ (a, b), y ∈
(c, d)} funkcje M (x, y), N (x, y), M

y

(x, y) i N

x

(x, y) są ciągłe i spełniają

równość

M

y

(x, y) = N

x

(x, y)

oraz jedna z funkcji M (x, y) lub N (x, y) jest różna od zera w kazdym punkcie
zbioru Q. Wtedy przez każdy punkt
(x

0

, y

0

) ∈ Q przechodzi dokładnie jedna

krzywa całkowa równania

M (x, y)dx + N (x, y)dy = 0

(4.13)

Dowód. Załóżmy, że N (x, y) = 0. Wtedy równanie (4.13) można przepisać
w postaci

M (x, y) + N (x, y)

dy
dx

= 0.

(4.14)

Ponieważ rozważamy różniczkę zupełną, więc istnieje funkcja F (x, y), że

M (x, y) =

∂F

∂x

, N (x, y) =

∂F

∂y

.

Wobec tego równanie (4.14) można zapisać jako

dF (x, y(x))

dx

= 0.

Rozwiązaniem tego równania jest F (x, y(x)) = C. Aby był spełniony wa-
runek początkowy należy przyjąć C = F (x

0

, y

0

) co jednocześnie gwaran-

tuje jednoznaczność rozwiązania (dlaczego?). Zauważmy także, że warunek

background image

4.4. ZADANIA

47

N (x, y) = 0 gwarantuje spełnienie założeń twierdzenia o funkcji uwikłanej.
Oznacza to, że równanie F (x, y(x)) = C można rozwikłać zadając funkcję
y(x) w postaci jawnej.

Przykład 1. Znajdziemy krzywą całkową równania

(x + y)dx + (x − y)dy = 0,

przechodzącą przez punkt (1, 1). Całkując to równanie skorzystamy z faktu,
ze całka krzywoliniowa nie zależy od drogi całkowania. Całkę łączącą punkt
(1, 1) z punktem (x, y) obliczymy po łamanej przechodzącej przez punkt
(x, 1). Mamy

(x,y)

(1,1)

(t + s)dt + (t − s)ds =

x

1

(t + 1)dt +

y

1

(x − s)ds =

=

1
2

x

2

+ x −

3
2

+ xy −

1
2

y

2

− x +

1
2

=

1
2

x

2

+ xy −

1
2

y

2

1.

Oznacza to, że F (x, y) =

1

2

x

2

+xy −

1

2

y

2

1. W celu znalezienia rozwiązania

naszego równania należy rozwikłać równanie F (x, y) = 0. Zauwazmy jen-
dak, że niemożliwe jest znalezienie rozwiązania w postaci funkcji y(x), bo
F

y

(1, 1) = 0. Ponieważ F

x

(1, 1) = 2 więc łatwo można znaleźć rozwiązanie

w postaci

x(y) = −y ±

2(y

2

+ 1).

W rozdziale następnym będziemy nadal zajmować się równaniami w postaci
różniczek zupełnych oraz równaniami, które a priori do tej klasy nie należą,
ale mogą być na nią zrzutowane.

4.4

Zadania

1. Znaleźć rozwiązania zagadnień Cauchy’ego

(a) y ln ydx + xdy = 0, y(1) = 1.

(b) xdy

− ydx = 0, y(1) = 0.

48

ROZDZIAŁ 4. PODSTAWOWE KLASY RÓWNAŃ

(c) x

1 − y

2

dx + y

1 − x

2

dy = 0, y(0) = 1.

2. Scałkować równania

(a) t ˙x = x cos ln

x

t

(b) (2x − 4y + 6)dx + (x + y − 3)dy = 0

(c) ˙x = x

2

2

t

2

3. Scałkować równania

(a) 2xydx + (x

2

− y

2

)dy = 0

(b) (2 9xy

2

)xdx + (4y

2

6x

2

)ydy = 0

(c)

y
x

+ (y

3

+ ln x)dy = 0

4.

Scałkować równania

(a)

x

y

+ 1

dx +

x

y

1

dy = 0

(b) (x

2

y

3

+ y)dx + (x

3

y

2

− x)dy = 0

background image

Rozdział 5

Zależność od danych

Często dysponując jednym rozwiązaniem chcielibyśmy móc orzec co zmieni
się gdy zmienimy warunki początkowe lub prawą stronę równania. Rozdział
ten poświęcony jest twierdzeniom opisującym charakter tych właśnie zależ-
ności.

5.1

Ciągła zależność od warunku początkowego

W wielu zagadnieniach praktycznych mamy do czynienia z warunkiem Cau-
chy’ego. Rozwiązania są wyznaczone przez warunek początkowy. Można za-
dać pytanie czy zmiana punktu początkowego, z którego nasze rozwiązanie
startuje, wpływa w sposób ciągły na przebieg rozwiązania?

Twierdzenie 5.1.1 Niech dane będzie zagadnienie Cauchy’ego

˙x = f (t, x)

x(t

0

) = x

0

Jeśli funkcja f jest określona na G

R × R

m

i lipschitzowska ze względu na

x

R

m

, natomiast φ(x

0

, t) = u(t) jest rozwiązaniem problemu Cauchy’ego

dla u(t

0

) = x

0

, na [t

0

, t

1

], a φ(y

n

, t) = v

n

(t) są rozwiązaniami problemu

cauchy’ego dla y

n

→ x

0

określonymi na [t

0

, t

1

], to v

n

(t) → u(t) dla t ∈

[t

0

, t

1

].

49

50

ROZDZIAŁ 5. ZALEŻNOŚĆ OD DANYCH

W sformułowaniu twierdzenia można pominąć warunek określoności roz-

wiązań v

n

(t) na przedziale [t

0

, t

1

]. Ich istnienie na całym tym przedziale

wynika z twierdzeń o przedłużaniu rozwiązań, którymi nie będziemy się
zajmować.

Zanim przejdziemy do dowodu twierdzenia 5.1.1, potrzebujemy jeszcze

jednego pomocniczego narzędzia, które w teorii równań różniczkowych zwy-
czajnych oraz cząstkowych odgrywa bardzo ważną rolę.

Lemat 5.1.2 (Nierówność Gronwall’a) Niech K > 0, C 0, t

0

< t

1

.

Jeśli funkcja ciągła rzeczywista, nieujemna v : [t

0

, t

1

] R spełnia nierów-

ność:

v(t) C +

t

t

0

Kv(s)ds

(5.1)

dla wszystkich t

[t

0

, t

1

], to takze dla wszystkich t ∈ [t

0

, t

1

] spełnia nierów-

ność:

v(t) Ce

K(t−t

0

)

.

(5.2)

Dowód. Załóżmy najpierw, że C > 0. Oznaczmy U (t) = C +

t

t

0

Kv(s)ds.

Ponieważ K, v

0, mamy U(t) > 0. Zachodzi także U

(t) = Kv(t). Zało-

żenie (5.1) mówi, że v(t) U (t). Zatem (ln U (t))

=

U

(t)

U (t)

K, co oznacza,

że

ln U (t) ln U (t

0

) =

t

t

0

(ln U (s))

ds

K(t − t

0

).

Stąd v(t) U (t) U (t

0

)e

K(t−t

0

)

. Jeśli C = 0 to możemy je zastąpić

dowolnym innym C

1

> 0. Wtedy

v(t) C

1

+

t

t

0

Kv(s)ds

zatem na mocy udowodnionej już części lematu v(t) C

1

e

K(t−t

0

)

. Z dowol-

ności C

1

otrzymujemy v(t) Ce

K(t−t

0

)

= 0.

Dowód. (twierdzenia 5.1.1) Załóżmy, że v

n

jest określona na [t

0

, t

1

]. mamy

wówczas

v

n

(t) − u(t) v

n

(t

0

) − u(t

0

) +

t

t

0

L

v

n

(s) − u(s)ds,

background image

5.2. ZALEŻNOŚĆ OD PRAWEJ STRONY

51

gdzie L jest stałą Lipschitza funkcji f w kierunku x. Funkcja v(t) = v

n

(t)

u(t) spełnia założenia lematu Gronwall’a (5.1.2) zatem

v

n

(t) − u(t) e

L(t−t

0

)

v

n

(t

0

) − u(t

0

)

więc

v

n

(t

0

) − u(t

0

)0 implikuje

t

v

n

(t) − u(t)0.

5.2

Zależność od prawej strony

Zależność od funkcji występującej po prawej stronie równania rozumie się
najczęściej w ten sposób, że zakłada się, iż jest ona zalezna od trzech zmien-
nych f = f (t, x, λ), gdzie t jest zmienną niezależną, x zmienną zależną, a
λ jest traktowane jako dodatkowy parametr. Oznacza to rozważanie zagad-
nienia początkowego w postaci

˙x = f (t, x, λ)

x(t

0

) = x

0

(5.3)

Jeśli x(t) jest rozwiązaniem zagadnienia (5.3) to chcąc badać zależność tego
rozwiązania od warunków początkowych (t

0

, x

0

) i parametru λ, będziemy

traktowali to rozwiązanie jako funkcję wszystkich tych zmiennych, tj. x(t) =
ϕ(t, t

0

, x

0

, λ). Okazuje się, że sytuację tą można znacznie uprościć dokonując

zamiany zmiennych

t

→ t − t

0

, x

→ x − x

0

.

Zagadnienie (5.3) zmieni się wówczas na równoważne

˙x = f (t − t

0

, x

− x

0

, λ)

x(0) = 0

(5.4)

W tym zapisie zmienne x

0

, t

0

są dodatkowymi parametrami funkcji f . Ozna-

cza to, że zależność od warunków początkowych można sprowadzić do za-
leżności prawej strony równania od parametru. Możliwa jest także operacja
odwrtona. Możemy potraktować λ jako zmienną zależną, uzupełniając za-
gadnienie (5.3) równaniem

˙λ = 0,

52

ROZDZIAŁ 5. ZALEŻNOŚĆ OD DANYCH

z warunkiem początkowym

λ(t

0

) = λ

0

,

gdzie λ

0

jest ustaloną wartością parametru λ (wybraną dowolnie). Przyj-

mując

¯

x = (x, λ) i ¯

f = (f, 0),

otrzymamy zagadnienie Cauchy’ego

˙¯x = ¯

f (t, ¯

x)

¯

x(t

0

) = ¯

x

0

.

(5.5)

Stąd widać, że zależność od parametru można sprowadzić do zależności
od warunku początkowego. Na podstawie twierdzenia 5.1.1 możemy zatem
wnioskować o ciągłej zależności rozwiązań od parametru, zamieniając za-
gadnienie zależności prawej strony na zagadnienie zależności od warunku
początkowego.

W większości wypadków regularność prawej strony równania jest wyższa

niż tylko lipschitzowskość. Obecnie zajmiemy się tym przypadkiem.

Twierdzenie 5.2.1 Niech f (t, x, λ) będzie funkcją klasy C

1

swoich argu-

mentów dla (t, x) ∈ Q ⊂ R

m

i λ

∈ G ⊂ R

k

, gdzie zbiory Q i G są otwarte.

Wtedy rozwiązanie x = x(t, t

0

, x

0

, λ) zagadnienia początkowego (5.3) jest

klasy C

1

względem zmiennych t, t

0

, x

0

, λ w otwartym zbiorze, na którym

jest określone. Jeśli przez y(t) oznaczymy macierz Jacobiego [

∂x(t,t

0

,x

0

)

∂λ

],

to spełnia ona równanie macierzowe

dy

dt

=

∂f (t, x, λ)

∂x

y +

∂f (t, x, λ)

∂λ

(5.6)

z warunkiem początkowym

y(t

0

) =

∂x(t

0

, t

0

, x

0

, λ)

∂λ

= 0.

Natomiast macierz Jacobiego z(t) = [

∂x(t,t

0

,x

0

)

∂x

0

] spełnia równanie

dz

dt

=

∂f (t, x, λ)

∂x

z

(5.7)

background image

5.2. ZALEŻNOŚĆ OD PRAWEJ STRONY

53

z warunkiem początkowym

z(t

0

) =

∂x(t

0

, t

0

, x

0

, λ

∂x

0

= I

m×m

.

Dowód. Różniczkowalność w sposób ciągły względem t wynika z twierdze-
nia Picarda-Linedlöfa (twierdzenie 3.2.1). Na podstawie uwag uczynionych
wczesniej możemy zająć się zależnością rozwiązania od parametru λ. Poniżej
udowodnimy, że rozwiązanie (5.3) jest klasy C

1

jako funkcja tego parametru.

Dla uproszczenia zapisu ograniczymy się do rozważania przypadku jedno-
wymiarowego (skalarne λ). W przypadku λ będącego wektorem poniższe
rozumowanie należy przeprowadzić dla każdej ze składowych oddzielnie.

Niech ϕ(t, λ

1

) i ϕ(t, λ

2

) będą dwoma rozwiązaniami równania (5.3) z

tym samym warunkiem początkowym i różnymi wartościami parametru λ.
Niech U będzie zwartym podzbiorem Q i niech (t, ϕ(t, λ

1

)), (t, ϕ(t, λ

2

)) ∈ U

dla t

∈ J

0

= {t : |t − t

0

| α}. Rozważmy różnicę

ϕ = ϕ(t, λ

2

) − ϕ(t, λ

1

).

Korzystamy z całkowej postaci równania (5.3) i rozwijamy funkcję f (t, x, λ

2

)

w szereg Taylora wokół punktu λ

1

, skąd

ϕ(t) =

t

t

0

∂f (τ, ϕ(τ, λ

1

), λ

1

)

∂x

+

1

(τ )

ϕ(τ )+

+

t

t

0

∂f (τ, ϕ(τ, λ

1

), λ

1

)

∂λ

+

2

(τ )

(λ

2

− λ

1

)dτ,

gdzie

1

(τ ) = o(λ

2

− λ

1

) i

2

(τ ) = o(λ

2

− λ

1

). Po podzieleniu obu stron tego

równania przez (λ

2

− λ

1

) otrzymujemy różnicową wersję równania (5.6)

ϕ(t)

λ

2

− λ

1

=

t

t

0

∂f (τ, ϕ(τ, λ

1

), λ

1

)

∂x

+

1

(τ )

ϕ(τ )

λ

2

− λ

1

+

(5.8)

+

t

t

0

∂f (τ, ϕ(τ, λ

1

), λ

1

)

∂λ

+

2

(τ )

dτ.

54

ROZDZIAŁ 5. ZALEŻNOŚĆ OD DANYCH

Ponieważ równanie (5.6) spełnia warunki twierdzenia o istnieniu i jedno-
znaczności rozwiązań, więc niech y(t, λ) będzie jego rozwiązaniem. Oznacz-
my

u(t) =

ϕ(t)

λ

2

− λ

1

− y(t, λ

1

).

Odejmijmy od równania (5.8) całkowąwersję równania (5.6) i otrzymujemy

u(t) =

t

t

0

∂f (τ, ϕ(τ, λ

1

), λ

1

)

∂x

+

1

(τ )

u(τ )+

t

t

0

(

1

(τ )y(τ, λ

1

) +

2

(τ ))dτ.

Jeśli τ

∈ J

0

, to funkcja y(τ, λ

1

) jest ograniczona i

ζ = sup

τ ∈J

0

|

1

(τ )y(τ, λ

1

) +

2

(τ )| = o(λ

2

− λ

1

).

Zachodzi wtedy oszacowanie

|u(t)|

t

t

0

∂f (τ, ϕ(τ, λ

1

), λ

1

∂x

+

1

(τ )

|u(τ)| + ζ

dτ.

Niech K = sup

τ ∈J

0

|

∂f (τ,ϕ(τ,λ

1

)

1

)

∂x

|. Stała K jest skonczona, co wynika z

ciągłości

∂f
∂x

i zwartości U . Z lematu Gronwall’a otrzymujemy

|u(t)|

ζ

K

(e

1).

Wynika stąd, że u(t) = o(λ

2

− λ

1

), czyli

∂ϕ(x, λ)

∂λ

= y(t, λ).

Wobec tego rozwiązanie równania (5.3) jest klasy C

1

względem λ, bo ma-

cierz Jacobiego jego pochodnej względem λ spełnia równanie (5.6) i jest
ciągła, co wynika z twierdzenia 5.1.1.

Wynik ten można uogólnić na wyższe klasy regularności prawej strony.

Wniosek 5.2.2 Jeśli w założeniach twierdzenia 5.2.1 funkcja f (t, x, λ) jest
klasy C

r

, gdzie r

1, to rozwiązanie x(t, t

0

, x

0

, λ) jest też kalsy C

r

.

background image

5.3. ZADANIA

55

5.3

Zadania

1. Znaleźć wskazaną pochodną względem parametru lub warunku po-

czątkowego:

(a) ˙x = x + µ(t + x

2

), x(0) = 1. Znaleźć

∂x

∂µ

|

µ=0

(b) ˙x = 2t + µx

2

, x(0) = µ − 1. Znaleźć

∂x

∂µ

|

µ=0

(c) ˙x = x + x

2

+ tx

3

, x(2) = x

0

. Znaleźć

∂x

∂x

0

|

x

0

=0

56

ROZDZIAŁ 5. ZALEŻNOŚĆ OD DANYCH

background image

Rozdział 6

Równania liniowe skalarne

6.1

Czynnik całkujący

Równania w postaci różniczek zupełnych nie występują zbyt często. Bywa
jednak tak, że chociaż wyjściowe równanie nie jest w postaci różniczki zu-
pełnej, to po pomnożeniu przez pewną funkcję daje się sprowadzić do takiej
postaci. Funkcja taka nazywa się czynnikiem całkującym. Jeśli wyrażenie

M dx + N dy

pomnożymy przez czynnik całkujący µ(x, y)

µM dx + µN dy

i zażądamy żeby nowe wyrażenie było różniczką zupełną

∂µM

∂y

=

∂µN

∂x

to otrzymamy równanie cząstkowe

M

∂µ

∂y

− N

∂µ
∂x

= µ

∂N

∂x

∂M

∂y

.

(6.1)

57

58

ROZDZIAŁ 6. RÓWNANIA LINIOWE SKALARNE

Oczywiście rozwiązanie (6.1) nie jest wcale łatwiejsze od rozwiązania wyj-
ściowego równania zwyczajnego. Często jednak bywa, że wyrażenie M dx +
N dy jest bliskie różniczce zupełnej. Wtedy czynnik N

x

− M

y

, występujący

po prawej stronie równania (6.1), może być stały albo może być funkcją tyl-
ko jednej zmiennej. Sugeruje to często poszukiwanie czynnika całkującego
w postaci µ(x), µ(y) lub µ = µ(f ) gdzie f jest znaną funkcją x i y.
Przykład 1. Czynnikiem całkującym dla równania

(1 − x

2

y)dx + x

2

(y − x)dy = 0

jest µ(x) = x

2

.

Przykład 2. Czynnikiem całkującym dla równania

xy

2

dx + (x

2

y

− x)dy = 0

jest µ = (xy)

1

.

6.2

Równania liniowe skalarne pierwszego rzędu

Obecnie zajmiemy się przypadkiem jednego równania liniowego pierwszego
rzędu.

Definicja 6.2.1 Równanie postaci

˙x + p(t)x = q(t)

(6.2)

gdzie p(t) i q(t) są funkcjami zmiennej t ∈ (a, b), nazywamy równaniem
liniowym. Jeśli q
(t) 0 to równanie to nazywamy równaniem liniowym
jednorodnym.

Dla równania (6.2) bardzo łatwo otrzymać twierdzenie o istnieniu i jen-

doznaczności.

Twierdzenie 6.2.2 Jeśli funkcje p(t) i q(t) są ciągłe dla t ∈ (a, b), to
przez każdy punkt zbioru Q
= (a, b) × R przechodzi dokładnie jedna krzywa
całkowa równania (6.2). maksymalnym przedziałem istnienia rozwiązania
jest przedział
(a, b).

background image

6.2. RÓWNANIA LINIOWE SKALARNE PIERWSZEGO RZĘDU

59

Dowód. Istnienie i jednoznaczność lokalnego rozwiązania wynika z twier-
dzenia Picarda-Lindelöfa, bo wyrażenie q(t)−p(t)x spełnia lokalnie warunek
Lipschitza. Należy jedynie udowodnić że rozwiązanie lokalne przedłuża się
na cały odcinek (a, b). Wystarczy w tym celu udowodnić, że rozwiązanie w
każdym punkcie jest ograniczone. Rozważmy zatem rozwiązanie x(t) prze-
chodzące przez punkt (t

0

, x

0

). Pokażemy, że jeśli t

1

(a, b) to x(t

1

) jest

ograniczone. Rozwiązanie x(t) spełnia równanie całkowe

x(t) = x

0

t

t

0

p(s)x(s)ds +

t

t

0

q(s)ds,

więc mamy oszacowanie

|x(t

1

)| |x

0

+

t

1

t

0

q(s)ds| + K

t

1

t

0

|x(s)|ds,

gdzie K = sup

t∈[t

0

,t

1

]

|p(t)|. Ponieważ odcinek [t

0

, t

1

] jest zwarty, więc funk-

cja q(t) jest ograniczona dla t ∈ [t

0

, t

1

] i

x

0

+

t

1

t

0

q(s)ds

= c < +∞.

Stąd

|x(t

1

)| c + K

t

1

t

0

|x(s)|ds.

Na mocy nierówności Gronwalla mamy

|x(t

1

)| ce

K(t

1

−t

0

)

.

Oznacza to, że rozwiązanie x(t) jest ograniczone na całym przedziale (a, b),
zatem rozwiązania lokalne możemy na cały ten przedział przedłużyć.

Dowód istnienia można także przeprowadzić konstruktywnie podając

metodę rozwiązywania równań liniowych skalarnych.

Dowód. (metoda uzmienniania stałej) Zauważmy że równanie postaci

˙x + p(t)x = 0,

60

ROZDZIAŁ 6. RÓWNANIA LINIOWE SKALARNE

czyli równanie jednorodne powstałe przez opuszczenie prawej strony w (6.2)
jest równaniem o zminnych rozdzielonych. Jego rozwiązanie ma postać

x(t) = C exp

t

t

0

p(s)ds

.

(6.3)

Aby znaleźć rozwiązanie równania niejednorodnego zastosujemy metodę
zwaną metodą uzmienniania stałej. W tym celu w miejsce stałej C wsta-
wimy nieznaną funkcję czasu z(t) i poszukujemy rozwiązania w postaci

x(t) = z(t) exp

t

t

0

p(s)ds

.

Po podstawieniu do równania (6.2) otrzymujemy

˙z(t) exp

t

t

0

p(s)ds

− z(t)p(t) exp

t

t

0

p(s)ds

+

+p(t)z(t) exp

t

t

0

p(s)ds

= q(t).

Po uporządkowaniu wyrazów otrzymujemy równanie dla z(t) w postaci

˙z(t) = q(t) exp

t

t

0

p(s)ds

,

którego rozwiązanie ma postać

z(t) = z(t

0

) +

t

t

0

q(τ ) exp

τ

t

0

p(s)ds

dτ.

Po podstawieniu do równania (6.3) mamy

x(t) =

z(t

0

) +

t

t

0

q(τ ) exp

τ

t

0

p(s)ds

exp

t

t

0

p(s)ds

.

Mamy zatem ogólną postać rozwiązania.

1

1

Uwaga: łatwiej jest powtórzyć zaprezentowaną procedurę niż korzystać z ostatecznej

postaci rozwiązania.

background image

6.2. RÓWNANIA LINIOWE SKALARNE PIERWSZEGO RZĘDU

61

Na przedstawiony powyżej wynik można spojrzeć w inny sposób. Zdefi-

niujmy operator

L określony na funkcjach różniczkowalnych jako

L(x) = ˙x + p(t)x.

Operator ten jest oczywiście liniowy

2

. Używając operatora

L równanie jed-

norodne możemy zapisać w postaci

L(x) = 0,

(6.4)

a niejednorodne jako

L(x) = q(t).

(6.5)

Jeśli popatrzymy na

L jako na przekształcenie liniowe to równanie (6.4)

opisuje jego jądro. Jak wiadomo z algebry liniowej jądro jest podprzestrzenią
liniową. Widać to choćby z równania (6.3). Rozwiązania równania (6.2.1)
możemy teraz opisać w terminach operatora

L.

Twierdzenie 6.2.3 Niech będzie dany operator liniowy

L(x) = ˙x + p(t)x.

Wówczas

1. Jądro operatora

L jest przestrzenią jednowymiarową, jej bazą jest wek-

tor u(t) = exp

t

t

0

p(s)ds

.

2. Funkcja u

p

(t) =

t

t

0

q(τ ) exp

t

τ

p(s)ds

dτ jest szczególnym rozwią-

zaniem równania niejednorodnego

L(x) = q(t).

3. Każde rozwiązanie równania niejednorodnego

L(x) = q(t) przedstawia

się w postaci sumy rozwiązania szczególnego u

p

(t) i pewnego rozwią-

zania z jądra operatora

L.

2

Dla osób zaznajomionych z analizą funkcjonalną: jest również ciągły jako operator

C

1

→ C

1

.

62

ROZDZIAŁ 6. RÓWNANIA LINIOWE SKALARNE

6.3

Równanie Bernoulliego

Obok równań liniowych istnieją pewne rodzaje równań, które można spro-
wadzić przez odpowiednie podstawienie do równań tejże klasy. Rozważmy
równanie postaci

˙x + p(t)x + q(t)x

n

= 0.

(6.6)

Równanie to nosi nazwę równania Bernoulliego. Liczbę n nazywamy wy-
kładnikiem Bernoulliego
. Dla n = 0 mamy do czynienia ze zwykłym rów-
naniem liniowym. Dla innych wartości wykładnika Bernoulliego równanie
(6.6) sprowadza się do równania liniowego przez podstawienie

z = x

1−n

.

Po podzieleniu równania (6.6) stronami przez x

n

otrzymamy

˙xx

−n

+ p(t)x

1−n

+ q(t) = 0.

(6.7)

Ponieważ ˙z = (1−n)x

−n

˙x to równanie (6.7) względem zmiennej z ma postać

1

1 − n

˙z + p(t)z + q(t) = 0,

czyli jest równaniem liniowym.

6.4

Równanie Riccatiego

Innym typem równania, które w pewnych przypadkach daje się sprowadzić
do równania liniowego, jest równanie postaci

˙x + p(t)x + q(t)x

2

+ r(t) = 0.

(6.8)

Równanie w tej postaci nazywa się równaniem Riccatiego i nie istnieje ogólny
sposób jego analitycznego całkowania. Jeśli jednak zanamy jedno rowiązanie
szczególne x

1

(t), to przez podstawienie u = x − x

1

można to równanie

background image

6.5. RÓWNANIE CLAIRAUTA

63

sprowadzić do prostej postaci. Ponieważ ˙u = ˙x − ˙

x

1

, więc podstawiając tę

równość do lewej strony równania (6.8) otrzymujemy

˙

x

1

+ ˙u + p(t)(x

1

+ u) + q(t)(x

1

+ u)

2

+ r(t) =

= ˙

x

1

+ p(t)x

1

+ q(t)x

2

1

+ r(t) + ˙u + p(t)u + 2q(t)x

1

u + q(t)u

2

=

= ˙u + p(t)u + 2q(t)x

1

u + q(t)u

2

.

Stąd wynika, że u(t) spełnia równanie

˙u + p(t)u + 2q(t)x

1

(t)u + q(t)u

2

= 0.

Jest to równanie Bernoulliego z wykładnikiem 2 i jako takie można je rozwią-
zać analitycznie. Oczywiście powstaje pytanie, w jakim stopniu metoda ta
jest skuteczna, tzn. jak można znaleźć szczególne rozwiązanie x

1

(t). Prawda

jest taka, że rozwiązanie x

1

(t) należy zgadnąć. Kedy jednak uda nam się

odgadnąć jedno rozwiązanie, wtedy przedstawiona metoda postępowania
pozwala znaleźć rozwiązanie ogólne tego równania.

6.5

Równanie Clairauta

Równanie postaci

x = t ˙x + f ( ˙x),

(6.9)

gdzie o ˙x i f zakładamy różniczkowalność w pewnych przedziałach nazywa-
my równaniem Clairauta. Różniczkując obie strony równania (6.9) mamy

˙x = ˙x + t¨

x + f

( ˙x

x,

skąd

¨

x(t + f

( ˙x)) = 0.

Należy zatem rozpatrzyć dwa przypadki ¨

x = 0 lub t + f

( ˙x) = 0. Jeżeli

¨

x = 0 to ˙x = C i po podstawieniu do równania (6.9) mamy

x = Ct + f (C).

64

ROZDZIAŁ 6. RÓWNANIA LINIOWE SKALARNE

Jeśli natomiast t + f

( ˙x) = 0 to rozwiązanie otrzymujemy jako rodzinę

krzywych parametrycznych w postaci (t, x) danych układem

t = −f

( ˙x)

x = t ˙x + f ( ˙x)

traktując ˙x jako parametr.

6.6

Równanie Lagrange’a-d’Alamberta

Równaniem Lagrange’a-d’Alamberta nazywamy równanie w postaci

x = tf ( ˙x) + g( ˙x),

(6.10)

w którym o funkcjach f i g zakładamy, że są danymi funkcjami klasy C

1

w

pewnym przedziale oraz f ( ˙x) ˙x. Poszukujemy rozwiązań równania (6.10)
klasy C

2

. Po zróżniczkowaniu stronami mamy

˙x = f ( ˙x) + tf

( ˙x

x + g

( ˙x

x.

Podstawiając ˙x = p i ¨

x = ˙p mamy przy założeniu tf

(p) + g

(p) = 0

˙p =

p

− f(p)

tf

(p) + g

(p)

.

(6.11)

Jeśli licznik p

− f(p) jest równy 0 przy wartościach p

1

, p

2

, . . . , p

k

to prze-

dział zmienności p rozbijamy na rozłączne przedziały nie zawierające owych
punktów. W każdym z nich pochodna ˙p zachowuje stały znak, co oznacza że
funkcja p jest ściśle monotoniczna. Istnieje zatem funkcja odwrotna t = t(p)
różniczkowalna w odpowiednim przedziale. Ponieważ

dt

dp

= 1/

dp

dt

przy zało-

żeniu

dp

dt

= 0, które mamy spełnione, to traktując równanie (6.11) jako

równanie funkcji t w zależności od zmiennej p mamy równanie

dt

dp

f

(p)

p

− f(p)

t =

g

(p)

p

− f(p)

bedące równaniem liniowym.

background image

6.7. ZADANIA

65

6.7

Zadania

1. Rozwiązać równania

(a) t ˙x − 2x = 4t

4

(b) (2t + 1) ˙x = 4t + 2x

(c) tx + e

t

− t ˙x = 0

(d) (2x + y)dy = ydx + 4 ln ydy

2. Rozwiązać podane równania, sprowadzając je do postaci liniowej

(a) xdx = (x

2

2y + 1)dy

(b) t(e

x

˙x) = 2

(c) (t

2

1) ˙x sin x + 2t cos x = 2t − 2t

3

3. Rozwiązać równania

(a) t

2

˙x + tx + t

2

x

2

= 4

(b) 3 ˙x + x

2

+

2

t

2

= 0

(c) ˙x − 2tx + x

2

= 5 − t

2

66

ROZDZIAŁ 6. RÓWNANIA LINIOWE SKALARNE

background image

Rozdział 7

Liniowe równania rzędu
drugiego

7.1

Zagadnienie

W wielu zagadnieniach, nie tylko fizycznych, mamy do czynienia z równania-
mi rzędów wyższych niż jeden. Przypomnijmy, że druga pochodna pewnej
wielkości określa szybkość zmiany tej wielkości. W zastosowaniach traktowa-
na jest ona jako informacja o przyspieszeniu. Interesować będą nas równania
liniowe.

Definicja 7.1.1 Równaniem liniowym rzędu drugiego nazywamy równanie
postaci:

¨

x + p(t) ˙x + q(t)x = r(t).

(7.1)

Gdy r(t) 0, wówczas równanie (7.1) nazywamy równaniem jednorodnym,
w przeciwnym wypadku równanie to nazywamy równaniem niejednorodnym.

Dowody istnienia i jednoznaczności rozwiązań równań liniowych drugiego
rzędu na razie pominiemy. Zostaną one zaprezentowane, gdy będziemy w
posiadaniu narzędzi z obszaru układów równań liniowych pierwszego rzędu.
Jak pamiętamy z rozdziału 2, każde równanie rzędu wyższego niż pierwszy
można rozłożyć na układ równań rzędu pierwszego.

67

68

ROZDZIAŁ 7. LINIOWE RÓWNANIA RZĘDU DRUGIEGO

Podobnie jak w przypadku równań liniowych rzędu pierwszego, również

w tym przypadku możemy spojrzeć na zagadnienie w sposób geometryczny.
W rozdziale szóstym doszliśmy do wniosku, że rozwiązanie niejednorodnego
równania liniowego wyraża się jako warstwa afiniczna rozwiązania zagad-
nienia jednorodnego. Również w tym przypadku dowolne ϕ - rozwiązanie
równania (7.1) może zostać przedstawione jako suma ϕ

c

- jednego ustalonego

rozwiązania zagadnienia (7.1) oraz ˜

ϕ - dowolnego rozwiązania zagadnienia

jednorodnego, stowarzyszonego z (7.1)

¨

x + p(t) ˙x + q(t)x = 0.

(7.2)

Zapisując powyższe wnioski przy użyciu języka algebry liniowej możemy
stwierdzić że zagadnienie (7.1) jest w istocie poszukiwaniem przeciwobrazu
elementu r(t) ∈ C

0

przy przekształceniu liniowym

L(x) = ¨x+p(t) ˙x+q(t)x.

Ponieważ porzuciliśmy świat skończenie wymiarowy przenosząc się w

przestrzenie funkcyjne, które ze swej natury są przestrzeniami o nieskoń-
czonej liczbie wymiarów, potrzebne jest nam zdefiniowanie pojęcia liniowej
niezależności układu wektorów będace wygodniejszym w użyciu niż stosowa-
ne dotychczas. Pojęcie to zostanie wprowadzone w nieco nietypowy sposób.

Niech x

1

(t) i x

2

(t) będą dwoma różnymi rozwiązaniami zagadnienia jed-

norodnego (7.2). Z liniowości wynikać powinno że dla dowolnych skalarów
c

1

i c

2

funkcja postaci c

1

x

1

(t) + c

2

x

2

(t) także jest rozwiązaniem równania

(7.2). W ogólności stwierdzenie to jest jednak nieprawdziwe.

Stwierdzenie 7.1.2 Niech x

1

(t) i x

2

(t) będą dwoma różnymi rozwiązania-

mi zagadnienia jednorodnego (7.2) określonymi na przedziale [a, b]. Funkcja
postaci c

1

x

1

(t)+c

2

x

2

(t) jest rozwiązaniem równania (7.2) wtedy i tylko wte-

dy, gdy

t∈[a,b]

det

x

1

(t) x

2

(t)

˙x

1

(t)

˙x

2

(t)

= 0.

(7.3)

Dowód. (na razie pomijamy)

Warunek 7.3 pozwala nam sformułować

następującą definicję

Definicja 7.1.3 Układ funkcji (x

1

(t), x

2

(t)) nazwiemy liniowo niezależnym

gdy spełniony jest warunek 7.3.

background image

7.2. RÓWNANIA O STAŁYCH WSPÓŁCZYNNIKACH

69

Macierz występującą w sformułowaniu warunku 7.3 nazywamy macierzą

Wrońskiego, jej wyznacznik zaś wrońskianem.

Rozważając operator

L możemy stwierdzić, że zagadnienia (7.1) i (7.2)

można sformułować jako rozwiązywanie zagadnień

L(x) = r(t) i L(x) = 0.

Podobnie do twierdzenia 6.2.3 możemy sformułować następujące twierdze-
nie.

Twierdzenie 7.1.4 Niech dany będzie operator liniowy

L : C

2

→ C

0

zada-

ny wzorem

L(x) = ¨x + p(t) ˙x + q(t)x. Wówczas

1. Jądro operatora

L jest dwuwymiarowe, jego bazę stanowią liniowo nie-

zależne funkcje x

1

(t) i x

2

(t).

2. Jeśli x

c

(t) jest rozwiązaniem równania L(x) = r(t), to jego ogólne

rozwiązanie wyraża się wzorem c

1

x

1

(t) + c

2

x

2

(t) + x

c

(t) gdzie c

1

, c

2

R.

Dowód. (na razie pomijamy)

7.2

Równania o stałych współczynnikach

Niestety nie potrafimy rozwiązywać równań liniowych rzędu drugiego w
ogólności jaką prezentuje postać 7.1. Jesteśmy jednak w stanie podać je-
go rozwiązania w przypadku, gdy funkcje p(t) i q(t) są funkcjami stałymi.
Do takich równań ograniczymy się w daleszej cześci rozważań.

Rozpatrzmy równanie w postaci

¨

x + a ˙x + bx = r(t),

(7.4)

gdzie a, b

R. Gdy rozpatrywaliśmy jednorodne równanie liniowe rzędu

pierwszego, ogólna postać jego rozwiązania miała formę e

λt

. Sprawdźmy,

czy podobne rozumowanie będzie miało rację bytu także w obecnej sytuacji.
Podstawmy x(t) = e

λt

do równania (7.4). Mamy wówczas

(λ

2

+ + b)e

λt

= 0

70

ROZDZIAŁ 7. LINIOWE RÓWNANIA RZĘDU DRUGIEGO

skąd jako wniosek możemy wyciągnąć

λ

2

+ + b = 0.

(7.5)

Wielomian stanowiący lewą stronę równania nazywamy wielomianem cha-
rakterystycznym
równania (7.4). Pochodzenie nazwy stanie się jasne w teorii
układów równań rzedu pierwszego. Rozpatrzmy dwa przypadki.

1. ∆ = 0. Istnieją wówczas λ

1

, λ

2

- dwa różne pierwiastki równania (7.5).

Bezpośrednim rachunkiem można w łatwy sposób sprawdzić, że odpowia-
dające im funkcje e

λ

1

t

i e

λ

2

t

stanowią układ liniowo niezależny. Rozwiązanie

ogólne zagadnienia niejednorodnego ma zatem postać

x(t) = x

c

(t) + c

1

e

λ

1

t

+ c

2

e

λ

2

t

Można sobie teraz zadać pytanie, co stanie się w wypadku, gdy pierwiastki
λ

1

i λ

2

są dwoma sprzeżonymi pierwiastkami zespolonymi

1

. Nie stanowi to

jednak wielkiego problemu, gdyż można posłużyć się następującym trickiem.
Jak wiemy każdą liczbę zespolona można zapisać w postaci z = e

α+

gdzie

e

α

jest moduem a ϕ argumentem. Inaczej z = e

α

(cos ϕ + i sin ϕ). Stąd,dla

λ

1

= α + oraz sprzeżonego do λ

1

pierwiastka λ

2

, mamy poniżesz wyra-

żenia.

e

λ

1

t

= e

αt

(cosβt + i sin βt)

e

λ

2

t

= e

αt

(cosβt − i sin βt)

Przekształcając otrzymamy

e

αt

cos βt =

1
2

(e

λ

1

t

+ e

λ

2

t

)

e

αt

sin βt =

1
2

(e

λ

1

t

− e

λ

2

t

)

Teraz jesteśmy w stanie rozwiązanie zapisać jako kombinację funkcji rzeczy-
wistych

x(t) = x

c

(t) + c

1

e

αt

sin βt + c

2

e

αt

cos βt.

Geometrycznie odpowiada to zamianie bazy przestrzeni

C traktowanej jako

przestrzń liniowa nad

R z kanonicznej {1, i} na skośną do niej.

1

Podkreślmy że rozpatrujemy warunek

= 0, w szczególności ∆ < 0.

background image

7.2. RÓWNANIA O STAŁYCH WSPÓŁCZYNNIKACH

71

1. ∆ = 0. W tym przypadku mamy jeden pierwiastek podwójny λ. Pierw-
szym wektorem rozpinającym jądro operatora tworzącego równanie będzie
zatem e

λt

. Poszukujemy drugiego wektora rozpinającego jądro, liniowo nie-

zależnego z pierwszym. Posłużymy się metodologią podobną do znajdowania
rozwiązań równań liniowych niejednorodnych. Załóżmy, ze drugi wektor ma
postać u(t)e

λt

. Podstawmy tę postać do równania jednorodnego

¨

x + a ˙x + bx = 0

Otrzymamy wówczas

¨

ue

λt

+ 2 ˙uλe

λt

+

2

e

λt

+ aλe

λt

u + a ˙ue

λt

+ bue

λt

= 0

Po uporządkowaniu i podzieleniu przez e

λt

mamy

¨

u + (2λ + a)

=0

˙u + (λ

2

+ + b)

=0

u = 0

Zerowanie sie obu pokreślonych czynników wynika z założeń narzuconych
na λ. Drugi czynnik zeruje się, gdyż λ jest pierwiastkiem wielomianu cha-
rakterystycznego, zerowanie się pierwszego czynnika wynika z faktu, że λ
jest pierwiastkiem podwójnym. Ostatecznie zatem mamy

¨

u = 0

skąd

u(t) = c

1

t + c

2

.

Drugim szukanym wektorem z bazy jądra operatora

L jest (c

1

t + c

2

)e

λt

, co

po redukcji o c

2

e

λt

i skalowaniu przez 1/c

1

daje nam te

λt

.

Bezpośredni rachunek pokazuje liniową niezależność układu (e

λt

, te

λt

).

Dowolne rozwiązanie zagadnienia niejednorodnego ma zatem postać

x(t) = x

c

(t) + c

1

e

λt

+ c

2

te

λt

.

Dalsze związki prezentowanych tutaj metod z geometrią skończenie wy-

miarową staną się widoczne w momencie, gdy zaczniemy zajmować się ukła-
dami równań pierwszego rzędu.

72

ROZDZIAŁ 7. LINIOWE RÓWNANIA RZĘDU DRUGIEGO

7.3

Zadania

1. Rozwiąż poniższe równania

(a) ¨

x + ˙x − 2x = 0

(b) ¨

x

4 ˙x + 5x = 0

(c) ¨

x

2 ˙x + x = 0

2. Rozwiąż poniższe równania

(a) ¨

x

− x = 2e

t

− t

2

(b) ¨

x + ˙x − 2x = 3te

t

(c) ¨

x + x = 4 sin t

background image

Rozdział 8

Układy równań liniowych

8.1

Zagadnienie

Jak stwierdziliśmy w rozdziale drugim, równania różniczkowe rzędów wyż-
szych niż jeden można przeformułować na wielowymiarowe zagadnienie niż-
szego rzędu. Odbywa się to kosztem wektoryzacji równania, co oznacza że
zamiast rozwiązywać równanie skalarne, rozwiązujemy układ takich równań.
Możemy postępowanie to interpretować jako rozwiązywanie pojedyńczego
równania, którego rozwiązaniem jest funkcja wektorowa.

W rozdziale tym zajmować się będziemy układami równań liniowych.

Dalej rozważać będziemy tylko układy pierwszego rzędu (por. rozdział dru-
gi). Układ taki ma postać

˙x = A(t)x + f (t).

(8.1)

Za warunek początkowy przyjmiemy

x(t

0

) = x

0

.

(8.2)

Równanie (8.1) wygląda w zasadzie tak samo jak równanie (6.2) z tą tylko
różnicą, że w równaniu (8.1) funkcja x(t) jest funkcją o wartościach wekto-
rowych w przestrzeni

R

m

.

x(t) = (x

1

(t), x

2

(t), . . . , x

m

(t)).

73

74

ROZDZIAŁ 8. UKŁADY RÓWNAŃ LINIOWYCH

Analogicznie funkcja f (t) jest funkjcą wektorową o wartościach w R

m

. Funk-

cja A(t) jest macierzą m × m

A(t) =


a

11

(t)

a

12

(t)

. . .

a

1m

(t)

a

21

(t)

a

22

(t)

. . .

a

2m

(t)

..

.

..

.

. ..

..

.

a

m1

(t) a

m2

(t) . . . a

mm

(t)


Wiele własności udowodnionych dla zagadnień postaci (6.2) przenosi się na
zagadnienia rozpatrywane obecnie.

Twierdzenie 8.1.1 Jeśli funkcje A(t) i f (t) są ciągłe dla t ∈ (a, b), to
przez każdy punkt zbioru Q
= (a, b) × R

m

przechodzi dokładnie jedna krzywa

całkowa równania (8.1). Maksymalnym przedziałem istnienia rozwiązania
jest przedział
(a, b).

Dowód. Dowód twierdzenia przebiega analogicznie do dowodu twierdzenia
6.2.2. Różnica polega na zastąpieniu modułu

| · | normą · .

Podobnie jak w przypadku równań skalarnych pewną szczególną rolę od-

grywają przypadki gdy w zagadnieniu (8.1) funkcja f

0. Mamy wówczas

do czynienia z zagadnieniem jednorodnym. Z jednoznaczności rozwiązania
gwarantowanej przez twierdzenie 8.1.1 wynika następujący wniosek.

Wniosek 8.1.2 Jeśli x(t) jest rozwiązaniem zagadnienia jednorodnego

˙x = A(t)x

i x(t

0

) = 0 dla pewnego t

0

(a, b), to x ≡ 0.

Prawdziwe jest także twierdzenie analogiczne to spotkanego wcześniej pod-
czas rozważania równań skalarnych, opisujące geometryczną naturę prze-
strzeni rozwiązań.

Twierdzenie 8.1.3 Prawdziwe są następujące stwierdzenia:

1. Rozwiązania równania jednorodnego tworzą m-wymiarową przestrzeń

liniową

E.

background image

8.1. ZAGADNIENIE

75

2. Jeśli x

c

(t) jest rozwiązaniem szczególnym równania niejednorodnego,

a wektory x

i

(t) i = 1, 2, . . . , m są bazą przestrzeni E, to rozwiązanie

ogólne równania niejednorodnego ma postać

x(t) = x

c

(t) + c

1

x

1

(t) + . . . + c

m

x

m

(t),

gdzie c

i

R.

Dowód. Niech E będzie zbiorem wszystkich rozwiązań równania jednorod-
nego. Niech x

1

(t), x

2

(t) ∈ E. Wtedy łatwo sprawdzić, że

x(t) = c

1

x

1

(t) + c

2

x

2

(t) ∈ E.

Wobec tego

E jest przestrzenią liniową. Udowodnimy teraz, że dim E = m.

Niech t

0

(a, b) i zdefiniujmy odwzorowanie L : x(t) → x(t

0

) = x

0

R

m

.

Odwzorowanie L jest oczywiście liniowe. Ponieważ na mocy twierdzenia
8.1.1 istnieje rozwiązanie dla dowolnych danych początkowych, to odwzo-
rowanie to jest epimorficzne. Dalej, ze względu na wniosek 8.1.2 jądro tego
odwzorowania składa się tylko z wektora zerowego. Odwzorowanie L jest
zatem monomorficzne. Ustaliliśmy zatem izomorfizm między

E a R

m

. Udo-

wodniliśmy punkt 1) twierdzenia. Punktu 2) dowodzi się analogicznie jak
to ma miejsce w przypadku równań skalarnych.

Załóżmy teraz, że mamy jakąś bazę przestrzeni

E, złożonej z rozwiązań

równania jednorodnego. Baza ta składa się z funkcji x

1

(t), x

2

(t), . . . , x

m

(t).

Zbudujmy z tych funkcji macierz X(t), tak aby kolejne x

i

(t) stanowiły ko-

lumny macierzy X(t). Macierz X spełnia równanie macierzowe

˙

X = A(t)X.

(8.3)

Wynika to z faktu, że kolumny macierzy spełniają to równanie. Co więcej,
można zauważyć że jeśli pewna macierz X spełnia to równanie, wówczas jej
kolumny także spełniają równanie analogiczne.

Dla dalszego toku rozumowania niezbędne jest poniższe twierdzenie.

76

ROZDZIAŁ 8. UKŁADY RÓWNAŃ LINIOWYCH

Twierdzenie 8.1.4 Niech X(t) będzie macierzą m × m spełniającą równa-
nie (8.3) w przedziale
(a, b). Zdefiniujmy

∆(t) = det X(t).

Dla każdego t i każdego t

0

z przedziału (a, b) zachodzi

∆(t) = ∆(t

0

) exp

t

t

0

trA(s)ds.

Dowód. Niech A

(t) = [a

ij

(t)] oraz X(t) = [x

j
i

(t)]. Z prawa różniczkowania

wyznacznika mamy

˙

∆(t) =

˙x

1

1

˙x

2

1

. . .

˙x

m

1

x

1

2

x

2

2

. . . x

m

2

..

.

..

.

. .. ...

x

1

m

x

2

m

. . . x

m

m

+ . . . +

x

1

1

x

2

1

. . . x

m

1

x

1

2

x

2

2

. . . x

m

2

..

.

..

.

. .. ...

˙x

1

m

˙x

2

m

. . .

˙x

m

m

.

Równanie (8.3 zapisane w postaci składowych macierzy X(t) ma postać

˙x

j
i

=

m

!

k=1

a

ik

x

j
k

.

Korzystając z tych wyrażeń, otrzymujemy

˙

∆(t) =

a

11

x

1

1

a

11

x

2

1

. . . a

11

x

m

1

x

1

2

x

2

2

. . .

x

m

2

..

.

..

.

. ..

..

.

x

1

m

x

2

m

. . .

x

m

m

+. . .+

x

1

1

x

2

1

. . .

x

m

1

x

1

2

x

2

2

. . .

x

m

2

..

.

..

.

. ..

..

.

a

mm

x

1

m

a

mm

x

2

m

. . . a

mm

x

m

m

,

czyli

˙

∆(t) = ∆(t)trA(t).

Całkujemy to równanie i otrzymujemy

∆(t) = ∆(t

0

) exp

t

t

0

trA(s)ds,

co należało pokazać.

Z powyższego twierdzenia nasuwa się od razu następujący wniosek.

background image

8.1. ZAGADNIENIE

77

Wniosek 8.1.5 Jeśli ∆(t

0

) = 0 w pewnym punkcie t

0

(a, b), to ∆(t) = 0

dla każdego t

(a, b).

Definicja 8.1.6 macierz kwadratowa X(t) o wymiarze m × m spełniają-
ca równanie
˙

X = A(t)X nazywa się macierzą fundamentalną układu ˙x =

A(t)x. Wektory x

1

(t), x

2

(t), . . . , x

m

(t) będące jej kolumnami nazwiemy fun-

damentalnym układem rozwiązań. Wyznacznik ∆(t) nazywa się wtdy wy-
znacznikiem Wrońskiego

1

układu funkcji x

1

(t), x

2

(t), . . . , x

m

(t).

Zauważmy, że jeśli wyznacznik wrońskiego jest różny od zera w jakimś

punkcie przedziału, to jest on różny od zera w każdym punkcie tego przedzia-
łu. Powiemy wówczas, że funkcje tworzące układ fundamentalny są liniowo
niezależne. Stąd wynika łatwy sposób konstruowania układu fundamental-
nego.

Twierdzenie 8.1.7 Każde liniowe równanie jednorodne postaci ˙x = A(t)x
ma układ fundamentalny.

Dowód. Wybieramy m liniowo niezależnych wektorów w

R

m

: x

1

0

, x

2

0

, . . . , x

m

0

i rozwiązujemy równanie ˙x = A(t)x kolejno z warunkami x(t

0

) = x

i

0

. Otrzy-

mane rozwiązania x

i

(t) tworzą układ fundamentalny.

Zajmiemy się teraz równaniem niejednorodnym. Podobnie jak w przy-

padku równań skalarnych, także tutaj możliwa jest metoda uzmiennienia
stałej (wariacji parametru).

Twierdzenie 8.1.8 Niech dane będzie zagadnienie początkowe dla równa-
nia niejednorodnego

˙x = A(t)x + f (t)

x(t

0

) = x

0

.

Rozwiązanie tego zagadnienia ma postać

x(t) = X(t)X

1

(t

0

)x

0

+ X(t)

t

t

0

X

1

(s)f (s)ds,

gdzie X(t) jest macierzą fundamentalną układu jednorodnego.

1

Wyznacznik Wrońskiego określa się także mianem "wrońskian".

78

ROZDZIAŁ 8. UKŁADY RÓWNAŃ LINIOWYCH

Dowód. Niech x

1

(t), . . . , x

m

(t) będą układem fundamentalnym rozwiązań

równania jednorodnego. Wtedy każde rozwiązanie zagadnienia jednorodne-
go można zapisać jako kombinację

x(t) = c

1

x

1

(t) + . . . + c

m

x

m

(t).

Rozwiązania szukamy więc w postaci

x(t) = c

1

(t)x

1

(t) + . . . + c

m

(t)x

m

(t).

Niech X(t) będzie macierzą fundamentalną, której kolumnami są wektory
x

i

(t),

C(t) = (c

1

(t), c

2

(t), . . . , c

m

(t)).

Wtedy poszukiwane rozwiązanie można zapisać w prostszej formie jako
x(t) = X(t)C(t). Po podstawieniu tego wyrażenia do równania mamy

˙

X(t)C(t) + X ˙

C(t) = A(t)X(t)C(t) + f (t).

Ponieważ X(t) spełnia równanie jednorodne to mamy

X(t) ˙

C(t) = f (t).

Macierz fundamentalna jest macierzą nieosobliwą zatem istnieje X

1

(t) i

ostatnie równanie przyjmuje postać

˙

C(t) = X

1

(t)f (t).

Całkujemy to równanie, skąd otrzymujemy

C(t) = C(t

0

) +

t

t

0

X

1

(s)f (s)ds.

Jeśli ma być spełniony warunek początkowy, to

X(t

0

)C(t

0

) = x

0

,

czyli

C(t

0

) = X

1

(t

0

)x

0

.

Wtedy

C(t) = X

1

(t

0

)x

0

+

t

t

0

X

1

(s)f (s)ds.

Mnożymy ostatnią równość przez X(t) i otrzymujemy tezę twierdzenia.

background image

8.2. UKŁADY O STAŁYCH WSPÓŁCZYNNIKACH

79

8.2

Układy o stałych współczynnikach

Zajmując się równaniem liniowym skalarnym drugiego rzędu powiedzieli-
śmy, że nie potrafimy rozwiązywać owego zagadnienia w przypadku, gdy
współczynniki równania nie są stałe. W dalszym ciągu zajmować będziemy
się zatem układami równań pierwszego rzędu o stałych współczynnikach.
Dla układów takich istnieją skuteczne metody całkowania.

Rozważmy układ jednorodny

˙x = Rx,

(8.4)

gdzie R jest stałą macierzą o wymiarze m

× m, oraz warunek początkowy

x(t

0

) = x

0

.

(8.5)

Gdyby równanie (8.4) było równaniem skalarnym, to rozwiązanie zagad-
nienia Cauchy’ego miałoby postać x(t) = x

0

e

R(t−t

0

)

. Będziemy starali się

pokazać, że identyczny wzrów zachodzi także dla równania wektorowego.
Zanim jednak to nastąpi musimy zdefiniować obiekt e

A

gdzie A jest macie-

rzą.

Definicja 8.2.1 Jeśli A jest macierzą kwadratową m

×m, to e

A

definiujemy

jako sumę szeregu

e

A

= I + A +

1

2!

A

2

+

1

3!

A

3

+ . . . +

1

n!

A

n

+ . . . ,

(8.6)

gdzie A

n

traktujemy jako n-krotne złożenie operatora A ze sobą.

Jeśli norma operatora A jest ograniczona (w przestrzeniach skończenie wy-
miarowych, czyli takich w których się poruszamy, operatory liniowe jako
przekształcenia ciągłe mają normę ograniczoną) to z ograniczenia owego
wynika zbieżność powyższego szeregu.
Przykład 1. Obliczymy e

A

dla macierzy

A =


1 1 0
0 1 0
0 0 2


80

ROZDZIAŁ 8. UKŁADY RÓWNAŃ LINIOWYCH

Rozłóżmy macierz A na sumę A = A

D

+ B gdzie

A

D

=


1 0 0
0 1 0
0 0 2


B =


0 1 0
0 0 0
0 0 0


Ponieważ dla macierzy A

D

i B iloczyn A

D

B jest przemienny to z wzoru

(8.6) wynika, że

e

A

= e

A

D

+B

= e

A

D

e

B

Bezpośredni rachunek połączony z odrobiną spostrzegawczości daje

e

A

D

=


e 0

0

0 e

0

0 0 e

2


Aby obliczyć pozostałą część, czyli e

B

, posłużymy się obserwacją że macierz

B jest w istocie elementem nilpotentnym pierścienia macierzy. Nilpotentność
oznacza istnienie takiego n

N że B

n

= 0. Rzeczywiście B

2

= 0. Bezpo-

średni rachunek daje

e

B

=


1 1 0
0 1 0
0 0 1


.

Ostatecznie mamy

e

A

= e

A

D

e

B

=


e e

0

0 e

0

0 0 e

2


Należy tu zwrócić szczególną uwagę na fakt, że na poprawność powyższego
rozumowania istotny wpływ ma przemienność macierzy A

D

oraz B.

Biorąc dwa operatory rzutowe na dwie różne podprzestrzenie liniowe (jest jasne że ope-
ratory takie nie komutują ze sobą, inaczej nie są ze sobą przemienne) otrzymamy różne
wyniki biorąc

e

A

e

B

oraz

e

B

e

A

.

Możemy teraz sformułować podstawowe twierdzenie.

background image

8.2. UKŁADY O STAŁYCH WSPÓŁCZYNNIKACH

81

Twierdzenie 8.2.2 Macierzą fundamentalną równania (8.5) jest exp(Rt).

Dowód. Korzystając ze wzoru (8.6) liczymy pochodną macierzy

2

exp(Rt)

d

dt

e

Rt

=

d

dt

(I + Rt +

1

2!

R

2

t

2

+ . . . +

1

n!

R

n

t

n

+ . . .) =

= R + R

2

t

2

+

1

2!

R

3

t

2

+ . . . +

1

(n−1)!

R

n

t

(n−1)

=

= R(I + Rt +

1

2!

R

2

t

2

+ . . . +

1

(n−1)!

R

(n−1)

t

(n−1)

+ . . .) = Re

Rt

Oznacza to, że X(t) = e

Rt

spełnia równanie

˙

X = RX.

Wobec uwag w poprzedniej sekcji, macierz X jest więc macierzą fundamen-
talną układu (8.4).

Zajmiemy się teraz problemem znajdowania macierzy fundamentalnej

dla układu zadanego dowolną macierzą. Jeśli R jest macierzą diagonalną,
tzn. ma postać

R =


λ

1

0

. . .

0

0

λ

2

. . .

0

..

.

..

.

. .. ...

0

0

. . . λ

m


to z wzoru (8.6) wynika, że

e

Rt

=


e

λ

1

t

0

. . .

0

0

e

λ

2

t

. . .

0

..

.

..

.

. ..

..

.

0

0

. . . e

λ

m

t


Jeśli macierz R nie jest w postaci diagonalnej, to posłużymy się znanym
z algebry liniowej rozkładem Jordanowskim przestrzeni na podprzestrze-
nie niezmiennicze. Wiadomo, że macierz R jest rzeczywista. Będziemy ją

2

Uwaga: korzystamy tu z twierdzenia o różniczkowaniu jednostajnie zbieżnego szeregu

funkcyjnego wyraz po wyrazie!

82

ROZDZIAŁ 8. UKŁADY RÓWNAŃ LINIOWYCH

traktować jako przekształcenie R : C

m

C

m

. Na mocy tw. Jordana istnie-

je nieosobliwe przekształcenie Q, takie że Q

1

RQ = J, przy czym J jest

macierzą w kanonicznej postaci Jordana

J =


J

1

0

. . .

0

0

J

2

. . .

0

..

.

..

.

. .. ...

0

0

. . . J

j


gdzie każda z klatek J

i

jst klatką diagonalną albo klatką w postaci

J

i

=


λ

i

1

0 . . .

0

0

λ

i

1 . . .

0

..

.

..

.

..

.

. .. ...

0

0

0 . . .

1

0

0

0 . . . λ

i


(8.7)

Przestrzeń

C

m

rozpada się na sumę prostą przestrzeni H

i

o tej własności,

że każda H

i

jest niezmiennicza dla J i J ma w H

i

wektor własny o wartości

własnej λ

i

. Z blokowej postaci macierzy J wynika że

e

Jt

=


e

J

1

t

0

. . .

0

0

e

J

2

t

. . .

0

..

.

..

.

. ..

..

.

0

0

. . . e

J

j

t


Wystarczy zatem skonstruować e

J

i

t

. Jeśli macierz J

i

jest diagonalna, to

wiemy jak konstruować funkcję wykładniczą. Jeśli natomiast J

i

ma postać

(8.7) to postępujemy następująco. Rozkładamy J

i

na sumę

J

i

= λ

i

I

k

+ K

k

,

gdzie indeksem k oznaczono wymiar przestrzeni niezmienniczej H

i

. Oczy-

wiście macierze I

k

i K

k

są przemienne zatem

e

J

i

t

= e

λ

i

t

I

k

e

K

k

t

.

background image

8.2. UKŁADY O STAŁYCH WSPÓŁCZYNNIKACH

83

Oznacza to, że wystarczy znaleźć e

K

k

t

. Obliczając kolejne potęgi macie-

rzy K

k

przekonujemy się, że jest ona macierzą nilpotentną. Bezpośrednim

rachunkiem możliwym do wykonania w warunkach domowego zacisza otrzy-
mujemy

e

K

k

t

=


1

0

0

. . . 0

t

1

0

. . . 0

t

2

2

t

1

. . . 0

..

.

..

.

..

.

. .. ...

t

k−1

(k−1)!

t

k−2

(k−2)!

t

k−3

(k−3)!

. . . 1


Stąd zaś otrzymujemy e

J

i

t

a następnie exp(Jt). Mając tę ostatnią funkcję i

przekształcenie Q, które sprowadza R do postaci Jordana, zauważamy że

R

n

= QJ

n

Q

1

co łatwo pokazać przy użyciu indukcji. Korzystając z tej równości, otrzy-
mujemy

exp(Rt) = Q exp(Jt)Q

1

,

skąd można znaleźć macierz fundamentalną exp(Rt).

Widać, że uciążliwa procedura obliczania szeregów nieskończonych zo-

stała zastąpiona rachunkiem zamiany bazy z kanonicznej na bazę Jordana.
Powoduje to jednak kłopoty związane ze znaelzieniem macierzy transforma-
cji bazy. Jak więc postępować w praktyce chcąc wyznaczyć macierz funda-
mentalną układu (8.4)?

Mając macierz R, znajdujemy przede wszystkim jej wartości własne. Jak

wiadomo z kursu alegebry liniowej są to pierwiastki wielomianu charakte-
rystycznego

det(R − λI) = 0

Każdy pierwiastek tego wielomianu jest wartością własną operatora R i
odpowiada mu jakiś wektor własny. Nie ma tu jednak wzajemnie jedno-
znacznej odpowiedniości, gdyż pierwiastki mogą być wielokrotne, a odpo-
wiadające im wartości własne mogą mieć mniejszą krotność, czyli mniejszą
liczbę odpowiadających im wektorów własnych.

84

ROZDZIAŁ 8. UKŁADY RÓWNAŃ LINIOWYCH

Jeśli jakiś λ

i

jest pierwiastkiem wielomianu charakterystycznego, to jest

jednocześnie wartością własną macierzy R. Oznacza to, że po sprowadze-
niu macierzy R do postaci Jordana jest kolumna, w której λ

i

występuje w

miejscu przecięcia diagonali z tą właśnie kolumną, a pozostałe elementy ko-
lumny są zerowe. Jeśli macierz Jordana jest diagonalna, to jest to oczywiste.
Jeśli klatka Jordana ma postać (8.7) to kolumną tą jest pierwsza kolumna
macierzy J zawierająca element λ

i

. Oznacza to, że wektor x(t) = e

λ

i

t

v

i

dla

pewnego stałego wektora v

i

jest rozwiązaniem (8.4). Po wstawieniu tego

rozwiązania x(t) do (8.4) otrzymujemy

λ

i

e

λ

i

t

v

i

= Re

λ

i

t

v

i

,

skąd po uproszczeniu mamy

Rv

i

= λ

i

v

i

.

Oznacza to, że wektor v

i

jest wektorem własnym macierzy R, odpowiadają-

cym wartości własnej λ

i

. Powyższa obserwacja pozwala rozwiązać problem

wyznaczenia macierzy fundamentalnej w przypadku, gdy wszystkie warto-
ści własne są parami różne. Mamy wtedy m pierwiastków λ

1

, λ

2

, . . . , λ

m

i

m odpowiadających im wektorów własnych v

1

, v

2

, . . . , v

m

. Z kursu algebry

liniowej wiemy, że wektory v

i

są liniowo niezależne, więc funkcje

e

λ

1

t

v

1

, e

λ

2

t

v

2

, . . . , e

λ

m

t

v

m

(8.8)

tworzą bazę przestrzeni rozwiązań równania (8.4) i wyznaczają macierz fun-
damentalną exp(Rt). Należy tylko zauważyć, że dla t = 0 macierz exp(Rt)
jest macierzą jednostkową. Jeśli więc wektory (8.8) wyznaczają macierz
X(t), to aby z tej macierzy znaleźć exp(Rt) - należy przyjąć

exp(Rt) = X(t)X

1

(0).

Podobnie przebiega poszukiwanie macierzy fundamentalnej, gdy pierwiastki
wielomianu charakterystycznego są jednokrotne, ale wśród nich znajdują się
pierwiastki zespolone. Jeśli λ jest zespoloną wartością własną macierzy R,
natomiast v odpowiadającym jej wektorem własnym, to funkcja

x(t) = e

λt

v

background image

8.2. UKŁADY O STAŁYCH WSPÓŁCZYNNIKACH

85

jest oczywiście rozwiązaniem równania (8.4), ale rozwiązaniem zespolonym.
Aby otrzymać rozwiązania rzeczywiste, uczyńmy następujące spostrzeżenie.
Ponieważ wielomian charakterystyczny ma współczynniki rzeczywiste, więc
pierwiastki zespolone występują parami jako sprzężone liczby zespolone.
Niech λ

1

= α + , λ

2

= α − iβ będą taką parą wartości własnych macierzy

R. Niech v

1

= u + iw będzie wektorem własnym odpowiadającym wartości

własnej λ

1

.

λ

1

v

1

= Rv

1

gdzie u, w są wektorami rzeczywistymi. Wtedy wektorem własnym odpo-
wiadającym wartości własnej λ

2

jest wektor v

2

= u − iv. Równości

λ

1

v

1

= Rv

1

λ

2

v

2

= Rv

2

można zaspisać jako

(αu − βw) + i(αw + βu) = Ru + iRw

(αu − βw) − i(αw + βu) = Ru − iRw.

Jeśli więc

x

1

(t) = e

λ

1

tv

1

,

x

2

(t) = e

λ

2

t

v

2

,

to

z

1

(t) =

1
2

(x

1

(t) + x

2

(t)) = e

αt

(u cos βt − w sin βt)

z

2

(t) =

1

2i

(x

1

(t) − x

2

(t)) = e

αt

(w cos βt + u sin βt)

są dwoma liniowo niezależnymi rozwiązaniami rzeczywistymi równania (8.4).

Przypadek pierwiastków wielokrotnych jest nieco trudniejszy. Zauważ-

my, że wystarczy ograniczyć się tylko do pierwiastków rzeczywistych. W
przypadku wielokrotnych pierwiastków zespolonych należy przeprowadzić
modyfikacje rozwiązań opisane powyżej.

Niech więc λ

k

będzie wartością własną macierzy R o krotności n

k

. Oczy-

wiście λ

k

jest wartością własną macierzy R. Załóżmy jednak, że λ

k

ma ν

k

86

ROZDZIAŁ 8. UKŁADY RÓWNAŃ LINIOWYCH

wektorów własnych oraz ν

k

< n

k

. Z algebry liniowej wiadomo, że jeśli rów-

nanie

(R − λ

k

I)v = 0

ma ν

k

liniowo niezależnych rozwiązań, to równanie

(R − λ

k

)

2

v = 0

ma co najmniej ν

k

+ 1 liniowo niezależnych rozwiązań, a

(R − λ

k

I)

n

k

−ν

k

+1

v = 0

ma co najmnije n

k

liniowo niezależnych rozwiązań. W celu efektywnego

znalezienia tych wektorów zauważmy, że jeśli v jest dowolnym wektorem, to
exp(Rt)v jest rozwiązaniem równanai (8.4). Korzystając z definicji funkcji
wykładniczej dla macierzy R, otrzymujemy rozwinięcie

exp(Rt)v = e

λt

v + t(R − λI)v +

t

2

2!

(R − λI)

2

v + . . .

.

(8.9)

Jeśli λ jest wartościąwłasną macierzy R, a v odpowiadajacym jej wektorem
własnym, to

(R − λI)v = 0

i z rozwinięcia (8.9) pozostaje tylko e

λt

v., która to funkcja, jak już wiemy,

jest rozwiązaniem równania (8.4). Jeśli λ jest wielokrotnym pierwiastkiem
wielomianu charakterystycznego, ale ma niewystarczającąliczbę wektorów
własnych, to możemy poszukiwać takich wektorów v, że

(R − λI)v = 0,

(R − λI)

2

v = 0.

Wtedy w rozwinięciu (8.9) pozostają tylko dwa pierwsze wyrazy i funkcja

x(t) = e

λt

(I + t(R − λI))v

background image

8.3. RÓWNANIA SKALARNE WYŻSZEGO RZĘDU

87

jest rozwiązaniem równania (8.4). W algebrze liniowej dowodzi się, że wek-
tory spełniające

(R − λI)v = 0,

(R − λI)

2

v = 0.

sąliniowo niezależne od wktoró, które spełniają

(R − λI)v = 0.

Własność ta przenosi się na wyższe potęgi, co gwarantuje nam możliwość
znalezienia wystarczającej liczby liniowo niezależnych wektorów a zatem
wystarczającej liczby liniowo niezależnych rozwiązań równania (8.4).

8.3

Równania skalarne wyższego rzędu

Zajmiemy się teraz jednym równaniem liniowym rzędu m

x

(m)

+ p

m−1

(t)x

(m−1)

+ . . . + p

1

(t) ˙x + p

0

(t)x = q(t).

(8.10)

Zagadnienie Cauchy’wgo dla tego równania polega na zadaniu w chwili t

0

wartości funkcji x oraz jej pochodnych do rzędu m

1

x(t

0

) = x

0

0

, ˙x(t

0

) = x

0

1

, . . . , x

(m−1)

(t

0

) = x

0

m−1

.

Jak już zostało wyjaśnione w rozdziale drugim, równanie (8.10) z warunkami
początkowymi można sprowadzić do zagadnienia początkowego dla układu
pierwszego rzędu. Wystarczy w tym celu zdefiniować

x

k

= x

(k)

.

Równanie (8.10) zmienia się wtedy w układ


˙x

0

= x

1

˙x

1

= x

2

..

.

˙x

m−2

= x

m−1

˙x

m−1

= −p

m−1

(t)x

m−1

− . . . − p

0

(t)x

0

+ q(t)

88

ROZDZIAŁ 8. UKŁADY RÓWNAŃ LINIOWYCH

a warunki początkowe stają się warunkami dla układu x

k

(t

0

) = x

0

k

. Za-

mieniwszy skalarne zagadnienie wyższego rzędu na wektorowe zagadnienie
rzędu pierwszego możemy wykorzsytać zdobyte wcześniej umiejętności i
znajdując układ fundamentalny zagadnienia znaleźć jego rozwiązanie. W
przypadku stałych współczynników równania postępowanie to można nieco
uprościć. Niech będzie dane równanie jednorodne rzędu m o stałych współ-
czynnikach

x

(m)

+ a

m−1

x

(m−1)

+ . . . + a

1

˙x + a

0

x = 0.

(8.11)

Równanie to można sprowadzić do równania pierwszego rzędu

˙

X = RX

gdzie

X =


x

˙x

..

.

x

(m−1)


,

R =


0

1

0

. . .

0

0

0

1

. . .

0

..

.

..

.

..

.

. ..

1

−a

0

−a

1

−a

2

. . .

−a

m−1


Znajdujemy wielomian charakterystyczny macierzy R

p(λ) = det(λI − R) = λ

m

+

m−1

!

i=0

a

i

λ

i

.

(8.12)

Jeśli λ

0

jest pierwiastkiem wielomianu p(λ), to e

λ

0

t

jest rozwiązaniem rów-

nania (8.11). Jeśli więc wielomian p(λ) ma m różnych pierwiastków, to ma-
my m liniowo niezależnych rozwiązań dla (8.11). Jak pamiętamy z poprzed-
niej części, komplikacje pojawiają się przy pierwiastkach wielokrotnych. W
przypadku równania (8.11) rozwiązanie jest jednak łatwiejsze do obliczenia
(nie trzeba znajdować wektorów własnych).

Twierdzenie 8.3.1 Jeśli λ

0

jest k-krotnym pierwiastkiem wielomianu cha-

rakterystycznego (8.12), 1 k m, to funkcje e

λ

0

t

, te

λ

0

t

, . . . , t

k−1

e

λ

0

t

liniowo niezależnymi rozwiązaniami równania (8.11).

background image

8.4. ZADANIA

89

Dowód. Jeśli λ

0

jest k-krotnym pierwiastkiem wielomianu p(λ), to

p(λ

0

) =

dp

(λ

0

) =

d

k−1

p

k−1

(λ

0

) = 0

Niech

L(x) ≡ x

(m)

+ sum

m−1

i=0

a

i

x

(i)

,

tzn. L(x) jest operatorem po lewej stronie równania (8.11). Zauważmy na-
stępująca własność tego operatora

L(e

λt

) = p(λ)e

λt

Rozważmy funkcję t

i

e

λt

i poddajmy ją działaniu operatora L

L(t

i

e

λt

) = L(

i

e

λt

∂λ

i

) =

i

∂λ

i

L(e

λt

) =

i

∂λ

i

(p(λ)e

λt

).

(8.13)

Dla i = 0, 1, . . . , k − 1 stosujemy wzór Leibniza do ostatniego wyrazenia w
(8.13), otrzymujemy wtedy sumę wyrazów postaci

−t

i−j

j

p

∂λ

j

(λ)e

λt

, j = 0, 1, 2, . . . , i.

Ponieważ dla j

k − 1

j

p

j

(λ

0

) = 0,

więc

L(t

i

e

λ

0

t

) = 0.

Funkcje t

i

e

λ

0

t

są zatem rozwiązaniami równania (8.11). Liniowa niezależność

tych funkcji wynika z liniowej niezależności wielomianów różnych stopni.

8.4

Zadania

1. Dla równania ˙x = Ax znaleźć macierz fundamentalną X(t), taką że

X(0) = I, jeśli macierz A jest dana wzorem:

90

ROZDZIAŁ 8. UKŁADY RÓWNAŃ LINIOWYCH

(a)

1

1

4

1

(b)

1 8

1

1

(c)


2

1 1

1 0

1

1

1

0


2. Rozwiązać układ równań sprowadzając do układu rzędu pierwszego

(a)

¨

x

1

x

2

+ ˙x

2

+ x

1

3x

2

= 0

x

2

x

1

˙x

1

2x

1

+ 5x

2

= 0

(b)

¨

x

1

2x

1

+ 3x

2

= 0

¨

x

2

− x

1

+ 2x

2

= 0


Wyszukiwarka

Podobne podstrony:
Analiza Matematyczna 1 stary skrypt id 60884 (2)
Analiza Matematyczna I Skrypt UMK
WYKLAD ANALIZA MATEMATYCZNA
Analiza matematyczna, lista analiza 2008 6 szeregi
Analiza Matematyczna 1 Gewert Skoczylas zadania
Analiza Matematyczna Twierdzenia
Analiza matematyczna 1
Praca domowa 2a Analiza Matematyczna
Zadania z Analizy Matematycznej, Matematyka
zestaw9, Matematyka stosowana, Analiza, Analiza matematyczna dla leniwych
Analiza matematycza opracowanie pytań
Kolos 3 Analiza matematyczna
analiza matematyczna 7
Analiza matematyczna 2 Przyklady i zadania
cw 13 Analiza Matematyczna (calki) id

więcej podobnych podstron