Czynnik całkujący

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

Czynnik całkujący (metoda czynnika całkującego) – metoda pozwalająca znaleźć rozwiązania niektórych równań różniczkowych pierwszego rzędu poprzez sprowadzenie ich do równań różniczkowych zupełnych.

Niech dane będzie równanie różniczkowe

(1)

lub, w alternatywnej postaci,

(1')

gdzie funkcje i są klasy na pewnym obszarze jednospójnym i w żadnym punkcie tego obszaru nie zerują się jednocześnie. Ponadto załóżmy, że zachodzi

(warunek ten oznacza, że równanie (1) nie jest równaniem zupełnym).

Metoda czynnika całkującego polega na znalezieniu różnej od zera funkcji takiej, że po przemnożeniu przez nią równania (1'), stanie się ono równaniem zupełnym:

(2)

dla którego będzie zachodziło

.
(3)

Z powyższych wzorów wynika, że szukana funkcja musi posiadać pochodne cząstkowe pierwszego rzędu.

Tak sprowadzone równanie, będące równaniem zupełnym daje się już scałkować, istnieje więc funkcja , dla której jest całką (rozwiązaniem) równania (2), a zarazem i (1). Znajdywanie czynnika całkującego prowadzi do rozwiązywania równania (3) pierwszego rzędu o pochodnych cząstkowych, z niewiadomą funkcją U(x,y), które w ogólności jest trudne do rozwiązania.

Niektóre przypadki postaci czynnika całkującego[edytuj]

Czynnik całkujący zależny tylko od [edytuj]

Przypuśćmy, że równanie (1) ma czynnik całkujący zależny tylko od zmiennej , . Oznacza, to że musi on spełniać równanie

,
(4)

jako że . Zakładając, że , otrzymujemy

.
(4')

Aby istniał czynnik całkujący konieczne jest, by prawa strona równania (4') była zależna tylko od zmiennej :

.
(5)

Wtedy, rozwiązując równanie o zmiennych rozdzielonych (4') otrzymujemy, że

,
(6)

gdzie jest dowolną, niezerową liczbą rzeczywistą, a to oznaczenie funkcji eksponencjalnej. Każda z tak otrzymanych funkcji jest czynnikiem całkującym, zwyczajowo więc przyjmuje się, że .

Przykład[edytuj]

Niech dane będzie równanie liniowe

.
(7)

Warunek (5) jest spełniony, ponieważ w naszym przypadku i oraz

tak więc czynnikiem całkującym równania (7) jest

Czynnik całkujący zależny tylko od [edytuj]

Postępując analogicznie, jak w poprzednim przykładzie, czynnik całkujący równania (1) zależny od istnieć będzie tylko wtedy, gdy oraz prawa strona równania

(8)

będzie zależna tylko od . Wtedy czynnik całkujący będzie postaci

,
(9)

gdzie ponownie jest dowolną, niezerową liczbą rzeczywistą, a to prawa strona równania (8).

Czynnik całkujący zależny od [edytuj]

Ponownie, załóżmy, że równanie (1) ma czynnik całkujący postaci , gdzie . Zauważmy, że funkcja jest formalnie funkcją zmiennej . Warunek (3) przyjmuje postać

Ponieważ , zakładając, że warunkiem na to, by funkcja była czynnikiem całkującym (1) jest, aby prawa strona równania

(10)

zależała tylko od , czyli od . Czynnik całkujący ma wtedy postać

gdzie , jak poprzednio jest prawą stroną (10).

Przykład[edytuj]

Rozpatrzmy równanie

(11)

W naszym przypadku , oraz

Prawa strona równania jest zależna tylko od , więc czynnik całkujący będzie postaci

Przypadek ogólny[edytuj]

Załóżmy w końcu że równanie (1) ma czynnik całkujący postaci , gdzie jest dowolną funkcją, posiadającą pochodne cząstkowe i dla której zachodzi . Warunek (3) przyjmuje ponownie postać

a warunkiem, by była czynnikiem całkującym (1) jest, by prawa strona równania

(12)

była zależna jedynie od .

Istnienie i jednoznaczność czynnika całkującego[edytuj]

Zakładając istnienie całki ogólnej równania (1), przy poprzednich założeniach można wykazać[1][2], że każde równanie postaci (1') ma czynnik całkujący.

Z postaci czynnika całkującego

(13)

wynika, że dla dowolnej, niezerowej liczby rzeczywistej , jest czynnikiem całkującym. Oprócz tego, jeśli jest czynnikiem całkującym równania (1), to

gdzie jest całką ogólną równania (1) a jest dowolną, niezerową funkcją mającą ciągłą pochodną, także jest czynnikiem całkującym (1). W istocie, pomiędzy każdymi dwoma czynnikami całkującymi równania (1) zachodzi zależność (13)[1].

Przypisy

Bibliografia[edytuj]

  • Nikolaj M. Matwiejew: Metody całkowania równań różniczkowych zwyczajnych. Warszawa: PWN, 1970.
  • Herbert Goering: Elementarne metody rozwiązywania równań różniczkowych. Warszawa: PWN, 1971.
  • Existence of Integrating Factor (ang.). ProofWiki, 2009. [dostęp 2013-07-09].