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

Методы вычислительной математики

..pdf
Скачиваний:
17
Добавлен:
15.11.2022
Размер:
3.42 Mб
Скачать

где x = xk xi = x j xk = h2 – расстояние между двумя соседними узлами, то

есть шаг сетки. Последнее выражение является конечно-разностной аппроксимацией уравнения (12.12), применяемой в сеточных методах.

Контрольные вопросы и задания

12.1.Сформулируйте идею метода моментов (взвешенных невязок).

12.2.Сформулируйте требования к пробным функциям, используемым

вметоде моментов, и обоснуйте их необходимость.

12.3.Сформулируйте требования к взвешивающим функциям, используемым в методе моментов, и обоснуйте их необходимость.

12.4.Какой смысл вкладывается в название слабая формулировка задачи?

12.5.Что представляет собой слабое решение задачи?

12.6.Какойсмыслвкладывается вназвание обратнаяформулировказадачи?

12.7.При каком условии метод моментов приводит к поиску решения дифференциальной задачи только на границе?

12.8.Приведите классификацию метода моментов (взвешенных невязок).

12.9.При каких условиях метод Галеркина оказывается частным случаем метода моментов?

12.10.При каких условиях метод наименьших квадратов оказывается частным случаем метода моментов?

12.11.При каких условиях метод коллокаций оказывается частным случаем метода моментов?

12.12.При каких условиях метод конечных разностей оказывается частным случаем метода моментов?

291

13.АППРОКСИМАЦИЯ КУСОЧНО-ГЛАДКИМИ ФУНКЦИЯМИ

Вклассе метода моментов применяются специальные процедуры аппроксимации функций, основанные на разложении в ряды по системам кусочногладких функций.

13.1. Функции одной переменной

Рассматриваются способы и алгоритмы аппроксимации функций с помощью кусочно-постоянных, кусочно-линейных и кусочно-квадратичных функций.

13.1.1. Кусочно-постоянные функции

Для

определенности

рассматривается аппроксимация функции f (x) = x2

наотрезке

G = [0,1]. Этот

отрезок представляется объединением G = G1 G2

G3 G4, где G1 = [0,14], G2 = [14,12], G3 = [12, 34], G4 = [34,1]. На каждом из этих интервалов (рис. 13.1) вводятся кусочно-постоянные пробные функции

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1,

x Gi ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ϕi (x)=

x G .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

ϕ1(x )

 

 

 

 

 

1

 

 

 

 

 

 

 

 

ϕ2(x )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

x

0

0,25

0,5

0,75

0

0,25

0,5

0,75

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

б

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

ϕ3(x )

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

ϕ4(x )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

0,25

0,5

0,75

0

0,25

0,5

0,75

x

 

 

 

 

 

 

 

 

 

 

в

 

 

 

 

 

 

 

 

 

 

 

 

 

 

г

 

 

 

 

 

 

 

 

 

 

Рис. 13.1. Пробные кусочно-постоянные функции

 

 

 

 

 

 

292

Функция f(x) представляется в виде разложения

m

 

f (x) fm (x)= aiϕi (x),

(13.1)

i=1

причем в рассматриваемом случае m = 4. Погрешность представления функции

m

f (x) aiϕi (x)

i=1

взвешивается в области G с использованием в качестве взвешивающих тех же самых функций ϕk,

1

 

m

 

1

1

m

 

 

 

 

 

 

 

f aiϕi ϕk dx = fϕk dx ϕk aiϕidx, k =1, m .

0

 

i=1

 

0

0

i=1

Метод моментов требует равенства нулю всех взвешенных на рассматриваемом отрезке погрешностей,

1

m

1

 

 

 

fϕk dx ai ϕiϕk dx = 0, k =

 

.

(13.2)

1,m

0

i=1

0

 

 

 

Эти равенства представляют собой систему четырех линейных алгебраических уравнений относительно четырех искомых коэффициентов ai , i =1,4 ,

разложения (13.1). В соответствии с выражением (13.2) подсчитываются значения интегралов для k = 1:

1

1 4

 

1

 

1

1

ϕ1ϕ1dx = 1dx = 1 4 ,

 

ϕ2ϕ1dx = ϕ3ϕ1dx = ϕ4ϕ1dx = 0,

0

0

 

0

 

0

0

 

1

1 4

 

x3

 

 

1 4

 

 

 

 

 

 

fϕ1dx = x2dx =

 

 

 

=1 192.

 

 

 

 

 

 

0

0

3

 

 

0

 

 

 

 

 

 

Аналогично вычисляются остальные интегралы. Подстановка их значений в выражение (13.2) приводит к системе четырех линейных алгебраических уравнений

a1

 

4 + 0a2 + 0a3

+ 0a4

=1 192,

 

 

+ a

 

 

4 + 0a

 

+ 0a

 

= 7 192,

0a

2

 

3

4

 

1

 

 

 

 

 

 

 

 

(13.3)

 

 

+ 0a2

+ a3

 

4 + 0a4

0a1

 

=19 192,

 

 

+ 0a

 

+ 0a

 

 

+ a

 

4

= 37 192.

0a

2

3

 

4

 

1

 

 

 

 

 

 

 

 

 

293

Решение этой системы определяет искомые коэффициенты разложения

a1 = 1 48,

a2

= 7 48,

a3 =19 48,

a4 = 37 48.

 

Аппроксимация функции

f (x) = x2

на отрезке [0, 1] с помощью представ-

ления (13.1) показана на рис. 13.2.

 

 

 

f (x )

 

 

 

 

 

0,75

 

 

 

 

 

0,5

 

 

 

 

 

0,25

 

 

 

 

 

0

 

 

 

 

 

0

0,25

0,5

0,75

x

Рис. 13.2. Аппроксимация зависимости f (x) = x2

 

кусочно-постоянными пробными функциями

 

13.1.2. Кусочно-линейные функции

Набор кусочно-линейных функций представлен на рис. 13.3.

1

 

 

 

ϕ1(x )

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

ϕ2(x )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

0,25

0,5

0,75

 

0

0,25

0,5

0,75

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

ϕ3(x )

 

 

 

 

 

 

 

1

 

 

 

 

 

 

ϕ4(x )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

x

0

0,25

0,5

0,75

 

0

0,25

0,5

0,75

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

ϕ5(x )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

0,25

0,5 0,75

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рис. 13.3. Пробные кусочно-линейные функции

 

 

294

Если все узлы отрезка [0, 1] перенумеровать, каждая функция ϕi , i =1,5, будет ассоциироваться с i-м узлом, соответствующим ее номеру. В своем узле значение ϕi равно 1, а в соседних эта функция обращается в 0, изменяясь линейно вдоль прилежащих к i-му узлу интервалов. Во всей остальной области пробная функция ϕi тождественно равна 0.

Заданная функция представляется в виде разложения (13.1) при m = 5:

 

 

 

1 4x, x [0,1 4],

 

 

 

4x, x [0,1 4],

ϕ

 

(x) =

ϕ

 

(x)=

 

4x, x [1 4,1 2],

 

 

 

 

2

2

1

 

 

 

x [1 4, 1];

 

 

 

 

 

 

 

0,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0, x [1 2,1];

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4x 1, x [1 4,1 2],

 

 

 

4x 2, x [1 2, 3 4],

ϕ

 

(x)=

 

 

 

ϕ

 

(x)=

 

4x, x [3 4,1],

3

3 4x, x [1 2, 3 4],

4

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x [0,1 4] [3 4,1];

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0,

 

 

 

0, x [0,1 2];

 

 

 

 

4x 3, x [3 4,1],

 

 

 

 

 

ϕ5

(x) =

 

 

 

 

 

 

x [0, 3 4].

 

 

 

 

 

 

 

 

0,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В соответствии с выражением (13.2) определяются значения интегралов,

 

1

1 4

1

1 4

 

 

ϕ1ϕ1dx = (1 4x)2 dx =1 12 ,

ϕ2ϕ1dx = 4x(1 4x)dx =1 24 ,

 

0

0

0

0

 

1

1

1

1

1 4

(1 4x)dx =1 768 .

ϕ3ϕ1dx = ϕ4ϕ1dx = ϕ5ϕ1dx = 0 ,

fϕ1dx = x2

0

0

0

0

0

 

Вычисление остальных интегралов и подстановка полученных значений в выражение (13.2) приводят к системе пяти линейных алгебраических уравнений относительно ai , i =1,5 ,

a1

12 + a2 24 + 0a3 + 0a4

+ 0a5 =1 768,

 

 

 

24 + a

 

6 + a

 

24

+

0a

 

+

0a

 

=14 768,

 

a

 

2

3

4

5

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+ a2 24 + a3

 

6 + a4

24 + 0a5 = 50 768,

(13.4)

0a1

 

 

 

+ 0a2

+ a3

 

24 + a4

6 + a5

 

 

 

 

0a1

 

24 =110 768,

 

 

 

+ 0a

 

+ 0a

 

+ a

 

24 + a

 

12 =81 768.

 

0a

2

3

4

5

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

295

Решением этой системы уравнений являются коэффициенты разложения a1 = −196, a2 = 596, a3 = 2396, a4 = 5396, a5 = 9596 .

Найденные коэффициенты можно рассматривать как приближенные значения аппроксимируемой функции в узлах сеточной области (рис. 13.4).

Рис. 13.4. Аппроксимация зависимости f (x) = x2 (пунктирная линия) кусочно-линейными пробными функциями (–о–)

Из приведенных примеров следует, что при кусочно-постоянных функциях с каждым конечным интервалом [xi, xj] связана одна базисная функция ϕi(x) (рис. 13.5, а), при кусочно-линейной аппроксимации с тем же интервалом ассоциируются две функции (рис. 13.5, б),

ϕi (x)= (x j x)h и ϕj (x)= (x xi )h ,

где h = xj xi – длина соответствующего интервала.

ϕ(x)

ϕi(x)

ϕj(x)

xi

xj

xi

xj

 

а

 

б

Рис. 13.5. Кусочно-постоянная (а) и кусочно-линейные (б) базисные функции, ассоциируемые с конечным отрезком [xi, xj]

296

Для второго примера ясен геометрический смысл коэффициентов разложения (13.1) по базисным функциям

f (xi )fm (xi )= aiϕi (xi )+ a j ϕj (xi )= ai ,

то есть ai аппроксимирует значение заданной функции в узле xi разностной сетки. Этот факт широко используется в различных реализациях метода конечных элементов. Рассмотренный способ аппроксимации функций может быть продолжен для получения базисных функций более высоких порядков.

13.1.3. Функции высших степеней

Для построения квадратичной аппроксимации на отрезке [xi, xj] вводится дополнительный узел xk (рис. 13.6), который, как правило, располагается в его центре. Первая функция конструируется в виде

ϕi (x) = αx2 + βx + γ.

Рис. 13.6. Квадратичные пробные функции на отрезке [xi, xj]

Требуется, чтобы она удовлетворяла на выбранном отрезке следующим условиям:

ϕi (xi )=1, ϕi (x j )= 0, ϕi (xk )= 0,

то есть в своем узле обращается в 1, а в соседних должна быть равной 0. Это требование приводит к системе трех линейных алгебраических уравнений

αxi2αx2jαxk2

+βxi + γ =1,

+βx j + γ = 0,

+βxk + γ = 0

относительно коэффициентов α, β и γ. Определители этой системы

297

 

xi2

xi

1

 

 

 

1

xi

1

 

 

 

 

 

 

=

x2j

x j

1

= h3 3,

α =

 

0

x j

1

 

= h 2 ,

 

xk2

xk

1

 

 

 

0

xk

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xi2

1

1

= −h(xk + x j ) 2 ,

 

xi2

xi

1

 

 

β =

x2j

0

1

γ =

x2j

x j

0

= hxk x j

2

 

xk2

0

1

 

 

xk2

xk

0

 

 

позволяют вычислить

α = 2 h2 , β = −2(xk + x j ) h2 , γ = 2xk x j h2

и построить

первую пробную функцию

 

 

 

 

 

 

ϕi (x)= 2(x xk )(x x j )h2.

Эта функция удовлетворяет всем предъявляемым требованиям. Аналогич-

ным образом конструируются пробные функции

ϕj (x) = 2(x xk )(x xi )h2, ϕk (x)= −4(x xi )(x x j )h2.

Вид этих квадратичных функций, ассоциированных с отрезком [xi, xj], представлен на рис. 13.6. На рис. 13.7 показаны те же функции, ассоциированные с узлами отрезка xi, xj и xk .

Кубические пробные функции, для построения которых внутри отрезка [xi, xj] вводятся два дополнительных узла с координатами xk = (2xi + x j )3

и xq = (xi + 2xj )3 , имеют вид

ϕi (x)= −9(x xk )(x xq )(x x j )2h3 , ϕk (x) = 27(x xi )(x xq )(x x j )2h3 , ϕq (x) = −27(x xi )(x xk )(x x j )2h3 , ϕj (x)= 9(x xi )(x xk )(x xq )2h3

и показаны на рис. 13.8.

Пусть на отрезке [xi, xj] задана естественная координата ξ с началом в центре этого отрезка,

ξ = 2(x xc )h, xc = (xi + x j )2.

Впределах этого отрезка естественная координата принимает значения

ξ[1,1]. В этой системе координат пробные функции представляются сле-

дующим образом: линейные

ϕi = (1 − ξ)2, ϕj = (1 + ξ)2;

298

а

б

в

Рис. 13.7. Рис. 13.7. Квадратичные пробные функции, ассоциируемые с узлами отрезка

Рис. 13.8. Кубические пробные функции на отрезке [xi, xj]

299

квадратичные

ϕi = ξ (ξ −1)2 , ϕj = ξ(ξ +1)2 , ϕk = (ξ −1)(ξ +1)2;

кубические

ϕi = 9(ξ + 1 3)(ξ −1 3)(ξ −1)16 , ϕj = 9(ξ +1 3)(ξ −1 3)(ξ +1)16,

ϕk = 27(ξ −13)(ξ −1)(ξ + 1)16 , ϕq = 27(ξ +13)(ξ −1)(ξ +1)16.

Вобщем случае для построения на отрезке [xi, xj] системы базисных функций степени p

ϕr (x) = αr x p r x p1…+ ωr , r =1, p +1

следует ввести (помимо узлов xi и xj на концах отрезка) дополнительно p – 1 промежуточных узлов.

Коэффициенты α, β, ..., ω могут быть определены из решения соответствующих систем линейных алгебраических уравнений

α

p + β p + + ω =

1,

 

 

1xi 1xi 1

 

 

………………………….

 

 

 

 

 

 

α1x jp + β1x jp +…+ ω1

= 0.

 

 

 

 

 

Целесообразно использовать для определения базисных функций способ, применяемый при построении полинома Лагранжа,

ϕk (x) =

(x xi )(x xk 1 )(x xk+1 )(x x j )

 

.

(xk xi )(xk xk 1 )(xk xk+1 )(xk x j )

 

 

Очевидно, что в этом случае

1, k = q,

ϕk (xq )=

0, k q.

13.1.4. Иерархические многочлены

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

300

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]