11Rownania rozniczkowe, 4.Równanie różniczkowe liniowe rzędu pierwszego, Równanie różniczkowe liniowe rzędu pierwszego


Równanie różniczkowe liniowe rzędu pierwszego.

Definicja

Równanie

0x01 graphic
, gdzie 0x01 graphic

0x08 graphic
nazywamy równaniem różniczkowym liniowym rzędu pierwszego. Równanie to nazywamy jednorodnym i oznaczamy RJ, jeśli0x01 graphic
, natomiast nazywamy niejednorodnym i oznaczamy RN, jeśli 0x01 graphic
.

Aby wyznaczyć rozwiązanie RN szukamy najpierw rozwiązań odpowiadającego mu RJ:

0x01 graphic
RJ

1) funkcja 0x01 graphic
jest rozwiązaniem RJ

2) jeśli 0x01 graphic
, to otrzymujemy równanie o zmiennych rozdzielonych

0x01 graphic

Rozdzielając zmienne

0x01 graphic

całkując

0x01 graphic
, gdzie 0x01 graphic

i przekształcając otrzymujemy kolejno

0x01 graphic

0x01 graphic

i ostatecznie

0x01 graphic
, gdzie 0x01 graphic
.

Jednakże jeśli 0x01 graphic
, to otrzymujemy wcześniej wyznaczone rozwiązanie 0x01 graphic
.

Zatem całką ogólną równania jednorodnego CORJ jest rodzina

0x01 graphic
dla 0x01 graphic
R.

Twierdzenie

Jeśli 0x01 graphic
, to 0x01 graphic
jest całką ogólną RJ, ponadto przez każdy punkt obszaru 0x01 graphic
przechodzi dokładnie jedna krzywa całkowa tego równania.

Uwaga

Całka ogólna RJ zawiera wszystkie krzywe całkowe RJ.

Aby wyznaczyć CORN (całkę ogólną równania niejednorodnego) stosujemy jedną z dwóch metod.

CORJ0x01 graphic
CORN

I. Metoda uzmienniania stałej

Stałą C zastępujemy taką funkcją C(x), aby

0x01 graphic

było CORN. Wtedy

0x01 graphic

stąd

0x01 graphic

0x01 graphic

zatem

0x01 graphic

i

0x01 graphic

jest CORN.

Twierdzenie

Jeśli 0x01 graphic
, to

0x01 graphic

jest całką ogólną równania niejednorodnego, ponadto przez każdy punkt obszaru 0x01 graphic
R0x01 graphic
przechodzi dokładnie jedna krzywa całkowa.

Przykład

Znaleźć całkę ogólną równania 0x01 graphic
.

Nie jest to równanie liniowe funkcji 0x01 graphic
, ale jest równaniem liniowym funkcji odwrotnej 0x01 graphic
. Zatem w przedziale w którym 0x01 graphic
mamy

0x01 graphic
RN

Szukamy najpierw rozwiązań równania jednorodnego

0x01 graphic
RJ

przekształcamy

0x01 graphic

stąd

0x01 graphic
dla 0x01 graphic

czyli

0x01 graphic
dla 0x01 graphic

i ostatecznie

0x01 graphic
dla 0x01 graphic
.

Jeśli 0x01 graphic
, to 0x01 graphic
i 0x01 graphic
spełnia RJ. Stąd otrzymujemy CORJ:

0x01 graphic
dla 0x01 graphic
R.

Uzmienniamy stałą

0x01 graphic

różniczkujemy

0x01 graphic

i podstawiając do RN otrzymujemy

0x01 graphic

czyli

0x01 graphic
.

Stąd

0x01 graphic

Ostatecznie

0x01 graphic
- CORN

jest również całką ogólną równania wyjściowego.

Twierdzenie

Niech 0x01 graphic
- CORJ,

0x01 graphic
- CSRN (całka szczególna równania niejednorodnego).

Wtedy

0x01 graphic
- CORN.

Dowód (szkic):

0x01 graphic

0x01 graphic

stąd widać, że

0x01 graphic
- rozwiązanie RN.

0x08 graphic
0x01 graphic

II. Metoda przewidywań

Polega na odgadnięciu CSRN, gdy dana jest CORJ, i wtedy CORN=CSRN+CORJ, na podstawie powyższego twierdzenia. Metodę stosujemy, gdy

0x01 graphic

lub jest sumą lub iloczynem powyższych funkcji

Wtedy

CSRN - jest tej samej postaci co funkcja f i zachowuje odpowiednio

0x01 graphic

oraz przyjmuje pozostałe współczynniki stałe, które wyznaczymy z RN.

Przykład

Znaleźć całkę szczególną CSR równania 0x01 graphic
RN,

spełniającą następujący warunek 0x01 graphic
.

Szukamy rozwiązania równania jednorodnego

0x01 graphic
RJ

Stąd

0x01 graphic

0x01 graphic
dla 0x01 graphic

0x01 graphic
dla 0x01 graphic

i ostatecznie

0x01 graphic
.

Ponadto, jeśli 0x01 graphic

Zatem

0x01 graphic
- CORJ.

Zastosujmy metodę przewidywań.

Niech

0x01 graphic
- CSRN.

wtedy 0x01 graphic

0x01 graphic

Podstawiając do RN otrzymujemy

0x01 graphic

0x01 graphic

0x01 graphic

Stąd

0x01 graphic
- CSRN.

Ostatecznie

0x01 graphic
- CORN.

Teraz z rodziny CORN wybieramy tę, dla której 0x01 graphic
. Wtedy

0x01 graphic

Zatem

0x01 graphic
- CSRN spełniająca warunek początkowy 0x01 graphic
.

Twierdzenie

Niech 0x01 graphic
- całka szczególna równania 0x01 graphic
RN1,

0x01 graphic
- całka szczególna równania 0x01 graphic
RN2.

Wtedy

0x01 graphic
jest całką szczególną równania 0x01 graphic
RN.

Dowód (szkic):

0x01 graphic

0x01 graphic

0x08 graphic
stąd widać że

0x01 graphic
- rozwiązanie równania RN.

Twierdzenie to wykorzystujemy do obliczenia całek RN w przypadku, gdy funkcja f jest kombinacją liniową wcześniej wymienionych trzech typów funkcji.

Przykład

Znaleźć całkę szczególną równania 0x01 graphic
RN

spełniającą warunek początkowy 0x01 graphic
.

Rozwiązaniem równania jednorodnego

0x01 graphic
RJ

jest

0x01 graphic
CORJ.

Wyznaczmy CS dwóch równań niejednorodnych

0x01 graphic
0x01 graphic
i 0x01 graphic
0x01 graphic

stosując metodę przewidywań.

Niech 0x01 graphic
0x01 graphic
.

Wtedy 0x01 graphic

i wstawiając do 0x01 graphic
otrzymujemy

0x01 graphic

stąd

0x01 graphic

Zatem

0x01 graphic
0x01 graphic
.

Niech 0x01 graphic
0x01 graphic
.

Wtedy kolejno

0x01 graphic

0x01 graphic

0x01 graphic

Zatem

0x01 graphic
0x01 graphic
.

Stąd otrzymujemy

0x01 graphic
- CORN

czyli

0x01 graphic
- CORN

Uwzględniając warunek początkowy

0x01 graphic

otrzymujemy

0x01 graphic

i stąd

0x01 graphic

jest CSRN spełniającą warunek początkowy 0x01 graphic
.

1

15



Wyszukiwarka