381
8.6. Równania różniczkowe cząstkowe
doboru
współczynników do zadania. Niech będzie
*„ = (ci »c2.....c,)T.
Załóżmy najpierw, ze g=0. Wygodnie jest wybrać Hm tak, te Bu = 0 (V«e Hm). W klasycznych zastosowaniach y, są zwykle wielomianami lub funkcjami trygonomctryc2-pomnożonymi przez pewną funkcję wybraną tak, aby spełnić warunki brzegowe. Niekiedy jako pj przyjmuje się funkcje własne prostszego równania z tymi samymi warunkami brzegowymi. Jeszcze inaczej wybiera się funkcje y] w metodzie elementu skończonego; zob. § 8.6.5.
pozostaje teraz przybliżyć funkcję/ kombinacją liniową funkcji ę, = AipW rozdziale 4 takie zadania aproksymacyjne rozważano dla funkcji jednej zmiennej, ale technika po-stepowania i twierdzenie 4.2.5 są prawdziwe ogólniej i można ich użyć do minimalizacji normy ||/- Au\\. Wymaga się tylko określenia iloczynu skalarnego (u, r) i normy lub se-minormy Iju1 =(w, u)112 spełniających warunki podane w § 4.1.3; może być np.
lub
1.8.6.15) = \\u{x,y)v{x,y\dxdy.
D
Jeśli używa się zbioru dyskretnego . to metodę nazywa się koUokacją. Otrzy
mujemy wtedy układ liniowy z macierzą o elementach
nadokreślony, jeśli m>n.
W metodzie Gałerkina współczynniki określa żądanie, aby funkcja residualna f- Au b} b ortogonalna do wszystkich v e Hn w sensie definicji (8.6.15), tzn. żeby było
{iPi,Au-f)*z 0 (i =1,2.....n).
DaJe to układ liniowy
p2je elementami macierzy An i składowymi wektora /„ są odpowiednio liczby Apj) 1 (Wcześniej wspomniana minimalizacja normy ||/-/łw|| prowadzi do podobnego u^nau» ale z elementami (Ah/it Ayj) i (Aiphfj). (Należy sprawdzić te stwierdzenia!).
Jeśli do rozwinięcia (8.6.13) chciałoby się dołączyć jeden składnik i jeśli dany jest *°zkład trójkątny macierzy' A„, to rozwiązanie układu Am+\u9+x=fHJft otrzymuje się ^vsztem Oln2) działań (to samo odnosi się do kollokacji, jeśli m=n). Wyniki otrzymane . łóżnych n mogą się przydać do oszacowania błędu i - być może — do przyspieszenia ^‘ężności.
Operator A w przestrzeni H z iloczynem skalarnym jest symetryczny, jeśli (u, Av)= gpUfcp) (yg,o e /f). Operator symetryczny jest dodatnio określony, jeśli (u, Au)>0 fer ^ naszym przypadku wszystkie funkcje u s H spełniają warunek brzegowy