Znaleźć funkcję
spełniającą równanie
![]() ![]() ![]() ![]() |
(3.1) |
wraz z warunkami brzegowymi
![]() ![]() ![]() |
(3.2) |
i warunkami początkowymi
![]() ![]() ![]() ![]() |
(3.3) |
Zakładamy, że
jest klasy
,
,
,
są klasy
.
Zakładamy ponadto, że spełnione są tzw. warunki zgodności, tzn.
,
,
,
.
Zagadnienie (3.1)-(3.3) rozwiążemy w kilku etapach, stosując tzw. metodę Fouriera zwaną także metodą separacji zmiennych.
![]() ![]() ![]() ![]() |
(3.4) |
oraz
(brak siły zewnętrznej wymuszającej ruch).
Najpierw rozwiążemy pewne zagadnienie pomocnicze.
Znaleźć rozwiązanie równania (3.1)
nie równe tożsamościowo zeru, spełniające warunki brzegowe (3.4)
i przedstawialne w postaci,
gdzie
funkcje
i
zależą
tylko od jednej zmiennej.
Podstawiając
do równania (3.1), gdzie
,
otrzymujemy
![]() |
(3.5) |
Ponieważ równość (3.5) zachodzić musi
dla wszystkich
i
z rozważanego zakresu, więc obie strony tej równości muszą być stałe. Oznaczając
tę stałą przez
dostajemy równość
![]() |
![]() |
(3.6) |
![]() |
![]() |
(3.7) |
Z warunków brzegowych (3.4) wynika, że
(w przeciwnym razie
i
).
Dla funkcji
otrzymaliśmy tzw. zagadnienie Sturma-Liouville'a polegające na wyznaczeniu
takich wartości
,
zwanych wartościami własnymi, przy których istnieją niezerowe rozwiązania
równania (3.6), zwane funkcjami własnymi,
spełniające warunki
.
W celu wyznaczenia wartości własnych zagadnienia należy rozważyć trzy następujące przypadki.
![]() ![]() |
(3.8) |
istnieją niezerowe funkcje
![]() |
(3.9) |
będące rozwiązaniami równania (3.6) z
warunkami.
Liczby
są wartościami własnymi rozważanego zagadnienia.
![]() |
(3.10) |
W takim razie rozwiązaniem zagadnienia pomocniczego (3.1), (3.4) są funkcje
![]() ![]() |
(3.11) |
Aby skonstruować rozwiązanie spełniające także zadane warunki początkowe (3.3) tworzymy szereg
![]() ![]() |
(3.12) |
którego współczynniki, zgodnie z teorią szeregów Fouriera, określone są wzorami
![]() ![]() |
(3.13) |
T w i e r d z e n i e
Jeżeli
jest klasy
,
,
jest klasy
,
,
to szereg (3.12) ze współczynnikami określonymi
wzorami (3.13) jest rozwiązaniem zagadnienia
(3.1) dla
,
z warunkami (3.3)-(3.4).
P r z y k ł a d 1
Rozwiązać omówione powyżej zagadnienie dla .
Ze wzorów (3.13) wynika, że
P r z y k ł a d 2
Rozwiązać omówione powyżej zagadnienie dla ,
.
Z podanych wzorów wynika, że
Wystarczy zatem wyznaczyć funkcję
spełniającą równanie
![]() ![]() ![]() ![]() |
(3.14) |
z warunkami
![]() |
![]() ![]() ![]() |
(3.15) |
![]() |
![]() ![]() ![]() |
(3.16) |
W tym celu załóżmy, że funkcja dana
dla
może być zapisana w postaci sinusowego szeregu Fouriera względem zmiennej
![]() ![]() |
(3.17) |
gdzie
![]() ![]() |
(3.18) |
gdzie
są niewiadomymi funkcjami. Zakładając, że dozwolone jest różniczkowanie
szeregu (3.18) wyraz po wyrazie, z równania
(3.14) i przedstawienia (3.17)
otrzymujemy
![]() ![]() ![]() |
(3.19) |
Z warunków (3.15) wynika ponadto, że
![]() ![]() ![]() |
(3.20) |
Rozwiązanie zagadnienia (3.19)-(3.20) można przedstawić w postaci
![]() ![]() ![]() |
(3.21) |
T w i e r d z e n i e
Jeżeli funkcja
jest klasy
oraz
dla każdego
,
to szereg (3.18) ze współczynnikami określonymi
wzorami (3.21) jest rozwiązaniem zagadnienia
(3.14)-(3.16).
![]() |
(3.22) |
i poszukujemy rozwiązania zagadnienia w postaci .
Ponieważ ze wzoru (3.22) wynika, że
i
,
więc
,
tzn. funkcja
jest rozwiązaniem pewnego zagadnienia postaci (3.1),
(3.3), (3.4)
z jednorodnymi warunkami brzegowymi. Zagadnienie wyznaczenia takiej funkcji
zostało omówione w poprzednim punkcie.