Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Методы математической физки Меркулов

.pdf
Скачиваний:
131
Добавлен:
28.05.2022
Размер:
865.91 Кб
Скачать

Пусть y(x) – решение уравнения L(y) = f, тогда

J(y + v) = J(y) + 2(L(v); v):

Оператор L – положительно-определенный, т. е. (L(v); v) > 0 для любой функции v(x) 6= 0 (kvk > 0). Следовательно, J(y + v) > J(y), т. е. на функции y функционал J достигает минимума.

Обратное утверждение: пусть J(y) – минимальное значение функционала. Тогда при любом должно выполняться неравенство

2 (L(y) f; v) + 2(L(v); v) > 0:

Но при изменении знака левая часть неравенства будет менять знак, если только (L(y) f; v) 6= 0. Следовательно, для произвольной функции v скалярное произведение (L(y) f; v) = 0. Это возможно только, если

L(y) = f. К доказательству теоремы следует сделать одно принципиальное замечание. Дело в том, что области определения дифференциального оператора L(y) и функционала J(y) не совпадают. Функционал J(y) определен на функциях, имеющих первую производную и удовлетворяющих краевым условиям. Решение же дифференциального уравнения L(y) = f должно быть дважды дифференцируемым. В случае, когда функция y(x), минимизирующая функционал, дважды дифференцируема, она является и решением уравнения L(y) = f в обычном смысле, и такое решение принято

называть классическим решением уравнения.

Если же у функции y(x) непрерывна только первая производная, y(x) называют обобщенным решением уравнения L(y) = f.

5.2. Задача о минимуме функционала в многомерном случае

Пусть u(x; y) – дифференцируемая функция двух переменных, удовлетворяющая на границе области краевым условиям Дирихле. Введем в рассмотрение функционал

ZZ

J(u) = F (x; y; u; u0x; u0y)dx dy: (5.5)

Требуется найти функцию u0(x; y), на которой функционал (5.5) достигает минимального значения. По аналогии с одномерной задачей напишем для функционала (5.5) уравнение Эйлера

@u

dx

@ux0

dy

@uy0

 

= 0:

(5.6)

@F

 

d

 

@F

 

d

 

@F

 

 

 

Аккуратный вывод уравнения (5.6) см., например, в [10].

150

Решением уравнения Эйлера и будет функция, обеспечивающая минимум функционала (5.5).

Пример 5.5. Рассмотрим функционал

J(u) = ZZ " @x

2

+ @y

 

2

 

+ qu2

2fu#dx dy

 

 

 

 

 

@u

 

 

 

 

@u

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и найдем для него уравнение Эйлера:

 

 

 

 

 

 

 

 

 

 

F

x; y; u; u0 ; u0

 

 

u0

2

 

 

 

u0 2

qu2

 

fu;

(

 

 

 

 

x y) = ( x) + (

 

 

y) +

 

 

2

 

 

 

 

 

 

 

 

@F

= 2qu 2f;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

@u

 

 

 

 

 

 

 

@F

 

= 2ux0 ;

 

 

d

 

@F

= 2

 

@2u

 

;

 

@ux0

 

dx

@ux0

 

@x2

 

 

 

 

@F

 

= 2uy0 ;

 

 

d

 

 

@F

 

= 2

@2u

:

 

 

 

@uy0

 

 

dy

@uy0

@y2

Таким образом, уравнение Эйлера будет

 

 

 

 

 

 

 

 

 

 

@2u

 

 

 

@2u

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+ qu = f:

 

 

 

 

 

 

 

 

 

@x2

@y2

 

 

 

 

(5.7)

(5.8)

Как и в одномерном случае, если L(u) – симметричный положительноопределенный оператор, то решение операторного уравнения L(u) = f эк-

вивалентно задаче о минимуме функционала

J(u)

=

= (L(u); u) 2(f; u).

 

 

Пример 5.6. Построим функционал для уравнения (5.8). Если функ-

ция q(x; y) q0 > 0, то оператор L(u) =

@2u @2u

+ q(x; y)u будет

 

 

 

 

@x2

@y2

симметричным и положительно-определенным. К уравнению (5.8) добавим

однородные краевые условия Дирихле u

 

= 0, где – граница области .

Запишем функционал

 

 

 

 

 

J(u) = (Lu; u) 2(f; u) = ZZ

@2u

 

@2u

+ qu u dx dy 2 ZZ fu dx dy:

@x2

@y2

 

 

 

 

 

 

 

 

 

 

Первые слагаемые в интеграле преобразуем по формуле Грина

 

 

 

ZZ

@2u

 

@2u

u dx dy =

ZZ

(grad u; grad u)dx dy Z

 

@u

 

+

 

u

 

ds;

@x2

@y2

@~n

 

 

 

 

 

 

 

 

 

 

151

где ~n – внешняя нормаль к границе . С учетом краевых условий имеем

ZZ @x2

+ @y2

u dx dy = ZZ

" @x

 

+

@y

#dx dy

 

@2u

 

@2u

 

 

 

 

 

 

@u

 

2

 

@u

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и, следовательно,

 

 

 

 

 

 

 

@y

 

2fu#dx dy;

J(u) = ZZ " @x

 

+

+ qu2

 

 

 

 

 

@u

 

2

 

@u

2

 

 

 

 

 

т. е. получили тот же функционал (5.7).

5.3.Решение задачи о минимуме функционала методом Ритца

В предыдущих параграфах было показано, что задача нахождения минимума функционала эквивалентна решению краевой задачи для дифференциального уравнения Эйлера. Однако существуют методы нахождения минимума, не использующие уравнение Эйлера. Их принято называть прямыми. Более того, в ряде случаев от исходной краевой задачи переходят к задаче поиска минимума функционала. Именно такую задачу и рассмотрим.

Пусть L(u) – симметричный положительно-определенный оператор. Поставим краевую задачу Дирихле

L(u) = f; u = 0;

(5.9)

 

 

где – граница области . Решение этой задачи будем искать как минимум функционала

J(u) = (L(u); u) 2(f; u):

(5.10)

Область определения функционала D(J) состоит из дифференцируемых в

функций, удовлетворяющих краевым условиям u = 0. Возьмем линейно независимый набор функций f'kgnk=1; 'k 2 D(J), и рассмотрим множество линейных комбинаций f 1'1 + 2'2 + ::: + n'ng = Dn. Множество Dn является подпространством линейного пространства D(J), а функции '1, ..., 'n будут базисом этого подпространства. Любой элемент u 2 Dn однозначно определяется набором коэффициентов 1, ..., n – координатами u в базисе '1, ..., 'n.

Найдем минимум функционала J(u) на множестве Dn, т. е. найдем та-

152

Найдем все частные производные

кой набор коэффициентов 1, ..., n, который обеспечит минимум функции

( 1; 2; :::; n) = J( 1'1 + 2'2 + ::: + n'n) =

=(L( 1'1 + ::: + n'n); 1'1 + ::: + n'n) 2(f; 1'1 + ::: + n'n) =

=21(L('1); '1) + 1 2(L('1); '2) + ::: + 1 n(L('1); 'n) +

+ 2 1(L('2); '1) + 22(L('2); '2) + ::: + 2 n(L('2); 'n) +

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2 1(f;'1) 2 2(f; '2) ::: 2 n(f; 'n):

@ , k = 1; 2; :::; n, и приравня-

@ k

ем их нулю. При этом учитываем, что оператор L симметричный, т. е. (L('k); 'm) = ('k; L('m)). В итоге получится система линейных уравнений

8

 

> 1(L('1); '1) + 2(L('2); '1) + ::: + n(L('n); '1) = (f; '1);

 

>

 

>

 

< 1(L('1); '2) + 2(L('2); '2) + ::: + n(L('n); '2) = (f; '2);

(5.11)

>. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

>

>

: 1(L('1); 'n) + 2(L('2); 'n) + ::: + n(L('n); 'n) = (f; 'n):

Покажем, что система (5.11) однозначно разрешима. Для этого рассмотрим соответствующую однородную систему и предположим, что она имеет нетривиальное решение 1, 2, ..., n, т. е. выполняются равенства

8 1

(L('1); '2) + 2

(L('2); '2) + ::: + n

(L('n); '2) = 0;

>

1

(L('1); '1) + 2

(L('2); '1) + ::: + n

(L('n); '1) = 0;

>

. .

. . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . .

>

 

 

 

 

<

 

 

 

 

> 1

(L('1); 'n) + 2(L('2); 'n) + ::: + n(L('n); 'n) = 0:

>

 

 

 

 

>

 

 

 

 

:

 

 

 

 

В силу линейности скалярного произведения и оператора L имеем

(L( 1'1 + 2'2 + ::: + n'n); '1) = 0; (L( 1'1 + 2'2 + ::: + n'n); '2) = 0;

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

(L( 1'1 + 2'2 + ::: + n'n); 'n) = 0:

Умножим первое равенство на 1, второе – на 2 и т. д., затем сложим и получим

(L( 1'1 + 2'2 + ::: + n'n); 1'1 + 2'2 + ::: + n'n) = 0:

Так как оператор L – положительно-определенный (т. е. 8u, u 6= 0,

(L(u); u) > 0), то 1'1 + 2'2 + ::: + n'n = 0. Полученное равенство противоречит условию линейной независимости '1, '2, ..., 'n. Следова-

тельно, однородная система имеет только тривиальное решение, а значит,

153

система (5.11) разрешима единственным образом. Решив систему (5.11), получим элемент un = 1'1 + 2'2 + ::: + n'n, который можно рассматривать как приближенное решение задачи о минимуме функционала (5.10), а также как приближение обобщенного решения краевой задачи (5.9). Если расширить систему базисных функций '1, '2, ..., 'n, 'n+1, ..., 'n1 и найти элемент un1 , обеспечивающий минимум функционала на множестве

Dn1 = f 1'1 + ::: + n1 'n1 g, то J(un1 ) J(un). Минимум функционала не может увеличиться, потому что un 2 Dn1 . Затем можно еще добавить ба-

зисных функций, получить un2 и т. д. Получится последовательность приближенных решений un, un1 , un2 , ... .

Доказательство сходимости последовательности к точному решению задачи выходит за рамки настоящего пособия, его можно найти, например, в [11].

Описанный метод построения последовательности приближенных решений называется методом Ритца.

Отметим, что в методе Ритца от базисных функций 'k требуется наличие только первых производных.

Пусть оператор L имеет вид

L(y) = (p(x)y0)0 + q(x)y;

функция y(x) задана на промежутке [a; b] и удовлетворяет краевым условиям y(a) = y(b) = 0. Тогда скалярное произведение

b

Z

(L('k); 'm) = [ (p(x)'0k)0 + q(x)'k] 'm dx =

a

b

Z

= p(x)'0k'm ba + (p(x)'0k'0m + q(x)'k'm)dx:

a

С учетом краевых условий

b

Z

(L('k); 'm) = (p(x)'0k'0m + q(x)'k'm)dx:

a

В двумерном случае, например для оператора

L(u) = u + q(x; y)u;

скалярные произведения будут выглядеть следующим образом:

(L('k); 'm) =

ZZ @@xk @@xm

+

@@yk @@ym

+ q(x; y)'k'm dx dy:

 

' '

 

' '

 

 

 

 

 

 

154

5.4. Понятие о методе Галеркина

Пусть L(u) – дифференциальный оператор 2-го порядка (не обязательно симметричный). Поставим краевую задачу

L(u) = f;

(5.12)

где u удовлетворяет однородным краевым условиям Дирихле. Возьмем произвольную дифференцируемую функцию v, удовлетворяющую однородным краевым условиям Дирихле, и скалярно умножим уравнение (5.12) на v:

(L(u); v) = (f; v);

(5.13)

или, что то же самое, (L(u) f; v) = 0. Поскольку скалярное произведение – это интеграл, соотношение (5.13) принято называть интегральным тождеством.

Функцию u, удовлетворяющую интегральному тождеству с произвольной функцией v, будем называть обобщенным решением краевой задачи (5.12).

Очевидно, что если краевая задача (5.12) имеет обычное решение, то это решение будет и обобщенным. Однако обобщенное решение может быть дифференцируемо только один раз, тогда как решение задачи (5.12) должно быть дифференцируемо 2 раза. Такой случай уже встречался при рассмотрении задачи о минимуме функционала. Более того, в 5.1 доказательство эквивалентности задачи о минимуме функционала и краевой задачи основывалось на выполнении соотношения (L(u) f; v) = 0, т. е. интегрального тождества (5.13). Таким образом, для симметричного оператора задача нахождения минимума функционала и задача поиска функции, удовлетворяющей интегральному тождеству, эквивалентны. Однако соотношение (5.13) можно написать и для несимметричного оператора и не связывать его с каким-либо функционалом.

Метод Галеркина состоит в построении решения задачи на конечномерном подпространстве так же, как и в методе Ритца. Возьмем систему из n линейно независимых дифференцируемых функций, удовлетворяющих однородным краевым условиям '1, '2, ..., 'n. Рассмотрим множество всех линейных комбинаций этих функций Dn = f 1'1 + 2'2 +:::+ n'ng. Будем искать функцию un = 1'1 + 2'2 + ::: + n'n, удовлетворяющую соотношению (5.13) для произвольной функции v 2 Dn:

(L( 1'1 + 2'2 + ::: + n'n); v) = (f; v):

(5.14)

Если интегральное тождество будет выполнено для всех базисных функций пространства Dn, то в силу линейности скалярного произведения оно будет выполнено и для любой функции v 2 Dn. Последовательно подставляя в

155

156

(5.14) вместо v базисные функции '1, '2, ..., 'n, получим систему линейных уравнений

8 1(L('1); '2) + 2

(L('2); '2) + ::: + n(L('n); '2) = (f; '2);

 

1(L('1); '1) + 2

(L('2); '1) + ::: + n(L('n); '1) = (f; '1);

>. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

>

 

 

<

 

 

>

 

(5.15)

>

>

>

: 1(L('1); 'n) + 2(L('2); 'n) + ::: + n(L('n); 'n) = (f; 'n):

В случае симметричного оператора L система (5.15) совпадает с системой, полученной методом Ритца. Решая систему (5.15), получим решение задачи un = 1'1 + 2'2 +:::+ n'n 2 Dn, которое можно принять за приближенное решение задачи (5.13) и за приближенное обобщенное решение задачи (5.12). Затем набор базисных функций расширяется, строится новое приближенное решение un1 и т. д. В итоге, как и в методе Ритца, получаем последовательность приближенных решений un, un1 , ... . Вопросы сходимости приближенного решения к точному, как и разрешимость системы (5.15) в общем случае, обсуждаются в известных монографиях, например в [11].

Покажем, как строится интегральное тождество для двумерной краевой задачи. Пусть в области задано уравнение эллиптического типа

 

@2u

 

@2u

+ b1(x; y)

@u

+ b2(x; y)

@u

+ q(x; y)u = f(x; y):

(5.16)

@x2

@y2

@x

@y

На границе области заданы однородные условия Дирихле

u = 0:

Заметим, что оператор задачи (5.16) не симметричен и поэтому метод Ритца к ней не применим. Умножим уравнение (5.16) на произвольную, удовлетворяющую однородным краевым условиям функцию v и проинтегрируем по :

ZZ

@2u

 

 

@2v

v dx dy + ZZ

b1(x; y)

@u

 

@u

v dx dy +

 

+

 

 

 

+ b2

(x; y)

 

@x2

@y2

@x

@y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+ ZZ q(x; y)uv dx dy = ZZ f(x; y)v dx dy:

 

(5.17)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Первый интеграл преобразуем по формуле интегрирования по частям:

 

 

 

 

 

 

@2u

 

@2v

 

 

 

 

 

 

 

 

ZZ

 

+

 

 

v dx dy =

 

 

 

 

 

 

 

 

@x2

@y2

 

 

 

Полученное соотношение и является интегральным тождеством для уравнения (5.16).
5.5. Пример решения уравнения Пуассона методом конечных элементов
+ q(x; y)uv dx dy =
f(x; y)v dx dy:

= ZZ

@x @y

+ @y @y

dx dy Z

@~n v ds;

 

@u @v

 

@u @v

 

@u

 

 

 

 

 

 

 

 

 

 

 

где ~n – нормаль к границе . Так как функция v на границе обращается в нуль, то и последний интеграл тоже равен нулю, и формула (5.17) примет вид

ZZ

@u @v

+

@u @v

dx dy + ZZ b1(x; y)

@u

+ b2(x; y)

@u

v dx dy +

 

 

 

 

 

 

 

 

 

@x @x

 

@y @y

@x

@y

 

 

 

 

 

 

ZZ

 

 

 

 

 

 

 

 

 

 

 

ZZ

 

 

 

 

Визложении метода конечных элементов будем следовать монографии

[12].Рассмотрим задачу Дирихле для уравнения Пуассона в прямоугольнике = [0; a] [0; b]

8

@2u

 

@2u

= f(x; y);

@x2

@y2

>

 

 

 

 

 

<

 

 

 

 

 

>

 

= 0:

 

(5.18)

u

 

 

>

 

 

 

 

 

>

:

Пусть v – произвольная функция, удовлетворяющая однородным краевым условиям. Для задачи (5.18) запишем интегральное тождество метода Галеркина

ZZ

@x @x +

@y @y

dx dy = ZZ fv dx dy:

(5.19)

 

@u @v

@u @v

 

 

 

 

 

 

 

 

 

 

 

 

Далее в методе Галеркина необходимо выбрать систему базисных функций. Для этого зададим в области сетку. Пусть заданы шаги сетки hx = na

b

и hy = m. Обозначим xk = khx, yk = ihy, k = 0; 1; :::; n, i = 0; 1; :::; m.

В каждом прямоугольнике построенной сетки проведем диагональ из левого нижнего угла. Таким образом, область оказалась разбита на треугольники (рис. 5.1). Такой вид сетки принято называть триангуляцией.

Введем в рассмотрение функции 'ki(x; y), обладающие следующими свойствами: функция 'ki равна единице в узле (xk; yi) и нулю во всех

157

остальных узлах сетки; функция линейна во всех треугольниках сетки (рис. 5.2). Такие функции называют функциями-палатками.

y

 

 

 

 

b

 

 

 

 

y 3

 

 

 

 

y 2

 

 

 

 

y 1

 

 

 

 

y 0

 

 

 

 

0

x 0

x 1

x 2

x 3

 

 

 

Рис. 5.1

a x

Рис. 5.2

y

 

 

 

 

i +1

 

I

 

 

 

 

h y

 

 

VI

II

y

 

 

 

 

i

 

V

III

 

 

 

 

 

 

IV

 

h y

y

 

 

 

 

i

−1

h x

h x

 

 

 

x k +1

 

 

x k −1

x k

 

 

Рис. 5.3

 

Понятно, что функция 'ki будет отлична от нуля только в тех треугольниках сетки, которые имеют вершину в точке (xk; yi). Занумеруем треугольники вокруг узла (xk; yi) как показано на рис. 5.3.

В таблице в явном виде приведены функция 'ki(x; y) и ее производные для каждого треугольника сетки.

Система функций f'kigk=1;:::;n 1

i=1;:::;m 1

линейно-независима, и ее можно взять в качестве базисных функций метода Галеркина. Решение интегрального тождества (5.19) будем искать в виде

n 1 m 1

Xk

X

u~(x; y) =

uki'ki(x; y):

=1 i=1

Так как в каждом узле сетки отлична от нуля только одна базисная функция, то u~(xk; yi) = uki. Т. е., если найти коэффициенты решения задачи uki, то фактически получим приближенные значения решения в узлах сетки. Для того чтобы найти uki, запишем систему линейных уравнений, аналогичную (5.15), учитывая при этом, что оператор задачи (5.18) есть L = :

158

 

 

 

 

 

 

 

Номер

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

треугольника

 

 

 

 

 

 

'ki(x; y)

 

 

 

@'ki

 

 

@'ki

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

@x

 

 

 

@y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

I

 

 

 

 

 

 

 

1

 

 

 

 

y yi

 

 

 

 

 

 

 

0

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

hy

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

hy

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

II

 

 

 

 

 

 

1

 

 

 

 

x xk

 

 

 

 

 

 

 

1

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

hx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

hx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

III

 

 

 

 

1

 

 

x xk

+

y yi

 

 

 

 

 

1

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

hx

 

 

 

hy

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

hx

 

 

 

 

 

 

hy

 

 

 

 

 

 

 

 

 

 

 

 

 

IV

 

 

 

 

 

 

 

 

1 +

y yi

 

 

 

 

 

 

 

0

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

hy

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

hy

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

V

 

 

 

 

 

 

 

1 +

x xk

 

 

 

 

 

 

1

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

hx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

hx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

VI

 

 

 

 

1 +

x xk

 

 

y yi

 

 

 

 

1

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

hx

 

 

hy

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

hx

 

 

 

 

hy

 

 

 

 

 

u11( '11; '11) + u21( '21; '11) + :::

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

8

 

 

::: + un 1 m 1( 'n 1 m 1; '11) = (f; '11);

 

 

 

 

 

 

 

 

>u

11

(

 

'

11

; '

21

) + u

21

( '

21

; '

21

) + :::

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

::: + un 1 m 1(

 

'n 1 m 1; '21) = (f; '21);

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

> . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

'11; 'n 1 1) + u21(

'21; 'n 1 1) + :::

 

 

 

 

 

 

 

 

>u11(

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(5.20)

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

::: + un

 

 

 

1(

 

'n 1 m

 

 

1; 'n

 

1 1) = (f; 'n

1 1);

 

 

 

>

 

 

1 m

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

<

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>u11( '11; '12) + u21( '21; '12) + :::

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

::: + un 1 m 1(

 

'n 1 m 1; '12) = (f; '12);

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

> . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

'11; 'n 1 m 1) + u21(

 

 

 

'21; 'n 1 m 1) + :::

>u11(

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

>

>

>

>

>

>

>

:::: + un 1 m 1( 'n 1 m 1; 'n 1 m 1) = (f; 'n 1 m 1):

Возьмем в системе (5.20) строчку с номером (k; i) и вычислим все входящие в нее скалярные произведения, которые с учетом (5.19) имеют вид

( 'lj; 'ki) = ZZ @@xlj @@xki

+

@@ylj @@yki dx dy:

(5.21)

' '

 

' '

 

 

Так как функции 'ki и 'lj отличны от нуля только в шести треугольниках сетки, то интеграл (5.21) равен нулю, если шестерки треугольников, примыкающих к узлам (ki) и (lj), не пересекаются. Выпишем все случаи,

159