140
'/< warunków początkowych g2 (0) = c2, g'2 (0) = 0 wynika, że [3 = c2, tr (), cy,yli ostatecznie
u (x, Z)
B — A -T-r n7TC U7T
A H---—x cn cos —j—tsm ~J~X
n=l
l f 2lTC . . 27T
H--/ sm 2s sm —— (Z — s) as ■ sm —a;.
27TC J Z l
o
W sytuacji ogólnej, gdy A i B są funkcjami zmiennej Z, należy poszukiwać rozwiązań w postaci
u (x, t) — v (x, Z) + r0 (x) A (Z) + ri (x) 5 (Z).
Jeśli chcemy, by warunki brzegowe na v były jednorodne, musimy mieć r0 (0) = 1, ri (0) = 0 oraz r0 (Z) = 0, r/ (Z) — 1. To podstawienie jest możliwe dla A i B klasy C2, ale wybór r0 i r; jest już prosty:
r0(x) = 1-y, r,(z) = y.
Dla ogólniejszych warunków brzegowych
ux (0, Z) + ru (0, Z) = A (Z),
'U-t (Z, Z) + su (Z, t) = B (Z),
należy użyć innych funkcji liniowych zmiennej x w miejsce r0 i r;.
Ćwiczenie 6. ut = a2uxx, u(0, Z) = 0, ux(l,t) = Z, u(a;,0) = sin ^f-x.
Ćwiczenie 7. utt — u„, ux (Z, Z) — ru (0, Z) — A, ux (Z, Z) + ru (Z, Z) = —A, u (x, 0) = ut (x, 0) = 0.
Do tej pory stosowaliśmy metodę rozdzielania zmiennych do równań parabolicznych i hiperbolicznych; teraz rozwiążemy problem eliptyczny.
Przykład 6. uxx + uyy = 0,
u (0, y) = A (y), u (a, y) = B (y),
u (x, 0) = 0, u (x, b) = sin ^x.
Warunki zgodności: A (0) = B (0) = 0, A (6) = B (6) = 0. Poszukujemy u w postaci sumy
u = v + w,
gdzie v jest rozwiązaniem problemu:
f vxx + vyy = 0, v (0, y) = v (a, y) = 0,
v (x, 0) = 0, w (x, b) = sin ^x,
a w jest rozwiązaniem zagadnienia:
\ w (0,y) = A (y), ru (a, y) = B (y).
Obu tych funkcji szukamy metodą Fouriera. Jeśli v (x, y) = f (x) g (y), to
Spełnienie warunków brzegowych jednorodnych na krawędziach a: = 0, x — a, prowadzi do zagadnienia Sturma-Liouville’a
które ma wartości własne
i funkcje własne
. nn
Jn {x) = sm —x, n = 1,2,... a
Stąd gn musi spełniać równanie
mr
a
czyli mieć postać
gdzie cn, dn G R.
Ostatecznie funkcja v powinna mieć postać
OO
T17T
sin —x. a
“ł“ dn &
n= 1
Wykorzystując pozostałe dwa warunki brzegowe dobieramy stałe cn i
dn-
oo
0 = v (x, 0) = y (cn + dn) sin ■—x => c„ + dn = 0
i a
71= 1