Математические основы моделирования сложных физических систем
.pdf
G(x,t) интенсивность поглощения, а F(x,t) опсывает источники.
5.2. Обобщенная постановка задачи Если коэффициенты задачи не удовлетворяют необходимым условиям
гладкости, то задачу и ее решение следует трактовать в обобщенном смысле,
считая коэффициенты и решение элементами обобщенных функциональных классов с соответствующим обобщенным толкованием производных.
Умножим уравнение (5.1) на произвольную (пробную) весовую функцию (x) и проинтегрируем по промежутку [a,b] . Используя формулу интегрирования по частям, получим интегральное тождество, эквивалентное исходному уравнению (5.1)
b |
|
2u |
|
|
u |
|
|
|
|
|
|
||||||
(x) |
|
|
|
|
K (x,t) |
|
dx = |
|
|
|
|
|
|
||||
|
t2 |
t |
|
|
|
|
|
|
|||||||||
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
u |
|
|
|
|
|
|
= (x) F (x,t) G(x,t)u B(x,t) |
|
|
|
|
dx |
|
|||||||||||
|
|
x |
|
||||||||||||||
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
b |
u |
|
|
|
|
|
|
|
|
u |
|
|
x=b |
(5.4) |
|||
|
|
|
|
|
|
|
|
||||||||||
A(x,t) |
|
dx |
(x) A(x,t) |
|
|
|
. |
||||||||||
|
x x |
|
x |
||||||||||||||
a |
|
|
|
|
|
|
|
x=a |
|
||||||||
|
|
|
|
|
|
|
|
||||||||||
Тождество (5.4) имеет смысл и тогда, когда функциональные коэффициенты уравнения (5.1) являются только кусочно-непрерывными функциями, что позволяет сформулировать обобщенную постановку исходной задачи.
Обобщенным решением задачи (5.1) - (5.3) будем называть функцию u(x,t) ,
удовлетворяющую интегральному тождеству (5.4) для всех (x) , а краевые и начальные условия выполняются выполняются почти всюду.
5.3. Пространственная дискретизация обобщенной задачи Коши Введем в области x [a,b] (неравномерную) пространственную сетку
70
|
|
|
|
|
|
|
|
a = x0 < x1 |
|
< xn = b |
|
|
|
|
(5.5) |
|||||||||||
Для |
каждого |
xi |
определим |
частичные |
|
промежутки |
i = [xi |
1, xi ] , |
||||||||||||||||||
i = [xi , xi |
1] , |
0 = |
|
, n = |
|
|
и шаги сетки по переменной x |
|
|
|||||||||||||||||
|
|
|
|
|
|
hi |
= xi |
|
|
xi 1, |
|
|
h0 = 0; |
|
|
|
||||||||||
|
|
|
|
|
|
hi |
= xi |
1 |
|
xi , |
|
|
hn = 0; |
|
|
(5.6) |
||||||||||
|
|
|
|
|
|
|
= |
1 |
[h |
|
h ], i = 0, , n. |
|
|
|
||||||||||||
|
|
|
|
|
|
i |
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
2 |
|
i |
|
i |
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
По определению i |
= |
i 1 , hi |
= hi 1 , |
i = 1, |
, n . |
|
|
|
|
|
|
|||||||||||||||
В окрестности узлов xi |
|
определим функции |
|
|
|
|
|
|||||||||||||||||||
|
|
(x) = |
|
2 |
(x xi 1) |
( |
|
|
), |
|
|
i (x) = |
|
|
2 |
(xi 1 |
x) ( |
i ), |
(5.7) |
|||||||
|
i |
|
|
i |
|
|
|
|||||||||||||||||||
|
(h )2 |
|
|
(h )2 |
||||||||||||||||||||||
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
(x) = |
|
1 |
|
|
(h |
|
(x) |
h |
|
(x)). |
|
|
(5.8) |
|||||||
|
|
|
|
|
i |
|
|
|
|
i |
i |
|
|
|||||||||||||
|
|
|
|
|
|
|
2 |
|
|
|
i |
|
|
i |
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Здесь ( A) -- характеристическая функция множества A : |
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1, |
|
x |
A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( A) = 0, |
x |
A. |
|
|
|
|
|
(5.9) |
|||||||
Функции (5.7), (5.8) являются непрерывными функциями аргумента |
x с |
|||||||||||||||||||||||||
компактным носителем в R и имеют кусочно -- гладкие производные первого |
||||||||||||||||||||||||||
порядка. Кроме того, эти функции нормированы на 1 |
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
i |
(x)dx = 1, |
|
|
i (x)dx = 1. |
|
|
(5.10) |
||||||||||||
Определим усредняющие интегральные операторы. Пусть F(x,t) -
произвольная кусочно-непрерывная функция. Тогда по определению
ˆ |
xi |
|
|
2 |
xi |
|
|
|
|
||
Ti |
{F (x,t)} = |
F (x,t) |
i (x)dx = |
(h )2 |
(x xi 1)F(x,t)dx, |
|
x |
1 |
|
i |
x |
|
i |
|
|
i 1 |
|
|
|
|
71 |
|
|
|
|
|
|
|
|
|
|
ˆ |
{F (x,t)} = 0; |
|
|
||||||
|
|
|
|
|
|
|
T0 |
|
|
||||||||
ˆ |
|
|
xi |
1 |
|
|
|
|
|
|
|
2 |
|
xi |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Ti |
{F (x,t)} = |
F (x,t) i |
|
(x)dx = |
(h )2 |
x |
(xi 1 x)F (x,t)dx, |
||||||||||
|
|
|
x |
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
ˆ |
{F (x,t)} = 0; |
|
|
||||||
|
|
|
|
|
|
|
Tn |
|
|
||||||||
|
|
ˆ |
|
|
|
1 |
|
|
|
ˆ |
|
|
|
|
|
ˆ |
|
|
|
Ti |
{F (x,t)} = |
2 |
|
hi Ti |
{F (x,t)} hi |
Ti |
{F (x,t)} ; |
||||||||
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|||
|
ˆ |
|
|
xi |
|
|
|
|
|
|
i (x) |
|
|
2 |
|
xi |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
Si |
{F (x,t)} = |
|
F(x,t) |
|
x |
dx = |
(h )2 |
F(x,t)dx, |
||||||||
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
i |
|
x |
|
|
|
|
i 1 |
|
|
|
|
|
|
|
|
|
|
i 1 |
||
|
|
|
|
|
|
|
|
ˆ |
{F (x,t)} = 0; |
|
|
||||||
|
|
|
|
|
|
|
|
S0 |
|
|
|||||||
ˆ |
|
xi |
1 |
|
|
|
i (x) |
|
|
|
|
|
|
|
|
|
|
||
Si |
{F (x,t)} = |
|
F (x,t) |
|
|
dx = |
|||
|
x |
||||||||
|
|
xi |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
Sn {F (x,t)} = 0; |
||||
|
ˆ |
|
1 |
|
|
ˆ |
|
|
|
|
Si |
{F (x,t)} = |
|
|
|
hi |
Si |
{F (x,t)} |
|
|
2 |
|
|||||||
|
|
|
i |
|
|
|
|||
2 |
xi 1 |
|
F (x,t)dx, |
||
|
||
(h )2 |
||
x |
||
i |
||
|
i |
ˆ
hi Si {F (x,t)} ;
(5.11)
(5.12)
(5.13)
(5.14)
(5.15)
(5.16)
ˆ |
|
ˆ |
|
|
|
|
|
|
2 |
xi |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(5.17) |
|||
Qi |
{F (x,t)} = Ti |
{(x |
xi )F (x,t)} = |
(h )2 |
|
(x |
xi )(x |
xi 1)F(x,t)dx; |
||||||
|
|
|
|
|
|
|
|
|
i |
x |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
ˆ |
|
ˆ |
|
|
|
|
|
|
2 |
xi |
1 |
|
|
|
|
* |
|
|
|
|
|
|
|
|
|
(5.18) |
|||
Qi |
{F (x,t)} = Ti |
{(x |
xi )F (x,t)} = |
|
(h )2 |
x |
(x |
xi )(xi 1 |
x)F (x,t)dx; |
|||||
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
ˆ |
|
|
|
1 |
|
ˆ |
|
|
|
ˆ |
|
(5.19) |
|
|
Qi |
{F (x,t)} = |
|
|
hi Qi {F (x,t)} |
hi Qi {F (x,t)} . |
||||||||
|
2 |
|
||||||||||||
|
|
|
|
|
i |
|
|
|
|
|
|
|||
Все эти операторы линейны. Так как носители их интегральных ядер
локализованы |
в элементарной окрестности узла xi , т. |
е. в множестве |
||
x [xi hi , xi |
hi ], то каждый оператор можно трактовать как оператор |
|||
усреднения |
функции |
F(x,t) |
по элементарной |
окрестности с |
|
|
|
72 |
|
соответствующим ядром усреднения [2].
Нетрудно убедиться, что
|
ˆ |
ˆ |
ˆ |
|
|
2 |
|
ˆ |
|
|
hi |
|
(5.20) |
|
|
Ti |
{1} = Ti |
{1} = 1, Si |
{1} = |
|
|
, |
Qi |
{1} = |
|
|
, |
||
|
|
hi |
3 |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||
и что справедливы правила сдвига |
|
|
|
|
|
|
|
|
|
|
|
|||
ˆ |
{F (x,t)} = |
ˆ |
|
ˆ |
|
|
|
|
ˆ |
1{F (x,t)} |
(5.21) |
|||
Si |
Si 1{F (x,t)}, |
Qi |
{F (x,t)} = Qi |
|||||||||||
5.4. Обобщенное уравнение баланса
В интегральном соотношении (5.4) положим (x) = i (x) , i = 0, , n и
запишем его в операторной форме
|
ˆ |
2u |
|
|
u |
|
|
|
|
|
Ti |
t2 |
K (x,t) |
t |
= |
|
|
||
ˆ |
|
|
|
|
u |
|
ˆ |
|
u |
= Ti |
F (x,t) G(x,t)u B(x,t) |
|
x |
Si |
A(x,t) |
x |
|||
|
|
|
|
|
|
|
|||
i0 |
A(x,t) |
E (t) C (t)u(x,t) |
|
|
in |
|
D (t) |
|
|
|
|
i |
|
x=a |
i |
||
|
|
|
|
|
|
Здесь ij -- символ Кронекера
A(x,t) |
E (t) C (t)u(x,t) |
|
. (5.22) |
|
D (t) |
||||
|
|
x=b |
||
|
|
|
|
= |
1 |
i = j, |
(5.23) |
ij |
0, |
i j. |
||
|
|
|
Уравнение (5.22) получено в результате усреднения исходного уравнения по элементарной окрестности узла xi и, таким образом, имеет смысл обобщенного уравнения баланса для элементарной ячейки [2], [3].
Последние два члена характеризуют влияние краевых условий.
5.5. Разностная аппроксимация
73
Пусть |
|
y(t) = |
y (t) n |
|
- |
|
сеточная |
|
функция, аппроксимирующая |
||||||||||||||||||||||||
|
|
|
|
|
i |
|
|
i=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
значение u(x,t) в узлах xi . В окрестности узла xi |
используем аппроксимации |
||||||||||||||||||||||||||||||||
u(x,t) |
yi (t) |
(x |
|
xi ) |
|
yi (t) yi 1 |
(t) |
( |
i ) |
|
yi 1 |
(t) yi (t) |
( i |
) , |
(5.24) |
||||||||||||||||||
|
|
|
|
|
|
hi |
|
|
|
|
|
|
|
|
hi |
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Определим разностный оператор с ядром F(x,t) |
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
{F (x,t), y} = |
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Pi |
|
|
|
|
|
|
|
|
|
|
|||||||||
ˆ |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
(5.25) |
||
= yiTi |
F (x,t) |
|
|
|
|
|
( yi |
|
|
yi 1)Qi |
|
F (x,t) |
( yi 1 |
yi )Qi |
F (x,t) . |
||||||||||||||||||
2 |
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
В частности, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
ˆ |
|
|
|
|
|
2 |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(5.26) |
|||
|
|
|
|
|
Pi{1, y} = |
|
3 |
yi |
6 |
i |
|
hi yi |
1 |
|
hi yi |
1 . |
|
|
|
|
|||||||||||||
Так как оператор |
ˆ |
представляется трехдиагональной матрицей, |
он может |
||||||||||||||||||||||||||||||
Pi |
|||||||||||||||||||||||||||||||||
быть эффективно обращен методом прогонки. |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
Определим разностный граничный оператор |
|
|
|
|
|
|
|||||||||||||||||||||||||||
ˆ |
y |
= |
|
A(xi ,t) E (t) C (t) yi (t) |
|
|
E (t) C (t) yi (t) |
|
|
(5.27) |
|||||||||||||||||||||||
i |
|
|
|
|
|
|
|
|
|
|
|
D (t) |
|
|
|
|
|
|
i0 |
|
|
|
D (t) |
|
|
in |
|
||||||
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Используем аппроксимации (5.24) и запишем уравнение баланса (5.22)
в виде:
ˆ |
|
2y(t) |
ˆ |
|
y(t) |
ˆ |
|
ˆ |
|
(5.28) |
Pi |
1, |
t2 |
Pi |
K (x,t), |
t |
= Li |
y(t) |
i |
y(t) . |
Здесь разностный оператор ˆ определяется выражением
Li y
|
ˆ |
|
ˆ |
|
ˆ |
|
|
L y = T F(x,t) |
P G(x,t), y |
||||
|
i |
|
i |
|
i |
|
1 |
|
ˆ |
|
ˆ |
|
|
2 |
i |
( yi |
yi 1) Ti |
B(x,t) Si |
A(x,t) |
|
|
|
|
|
|
||
74
1 |
|
|
ˆ |
|
ˆ |
|
(5.29) |
2 |
|
( yi 1 |
yi ) Ti |
B(x,t) |
Si |
A(x,t) . |
|
i |
|
|
|
|
|
||
5.6. Решение эволюционной задачи Чтобы свести решение задачи (5.28) к задаче эволюционного типа,
введем вспомогательную функцию и ее аппроксимации в окрестности узла xi
|
|
|
|
|
|
v(x,t) = |
|
|
u |
, |
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
|
|
||
v(x,t) zi (t) (x |
|
xi ) |
zi (t) zi 1(t) |
( |
|
|
) |
|
zi 1 |
(t) zi |
(t) |
( i |
) . |
(5.30) |
||||||||||
|
|
|
hi |
|
|
|
|
i |
|
|
hi |
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Усредняя в окрестности узла |
xi , получаем разностный аналог соотношения |
|||||||||||||||||||||||
(5.30): |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
ˆ |
|
|
|
y |
|
|
|
|
|
|
(5.31) |
||||
|
|
|
|
Pi |
1, z(t) |
= Pi |
1, |
|
t |
|
|
. |
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Определим квадратную (n |
1) |
|
(n 1) -матрицу |
|
|
|
|
|
||||||||||||||||
|
|
|
|
a0 |
b0 |
|
0 |
|
|
|
|
|
|
|
|
|
0 |
0 |
|
|
|
|
||
|
|
|
|
c1 |
a1 |
|
b1 |
|
|
|
|
|
|
|
|
|
0 |
0 |
|
|
|
|
||
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(5.32) |
|
M = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
0 0 0 |
|
|
|
cn 1 |
|
|
|
an 1 |
bn 1 |
|
|
|
|
|||||||
|
|
|
|
0 |
0 |
|
0 |
|
|
|
0 |
|
|
|
|
cn |
an |
|
|
|
|
|||
где |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a = |
2 |
, |
b = |
hi |
|
, |
c = |
hi |
, |
|
|
i = 0, , n. |
|
|
|
(5.33) |
||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
i |
3 |
|
i |
|
6 |
|
|
i |
6 i |
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Тогда соотношения (5.28) и (5.31) можно представить в виде эволюционного уравнения:
75
d y(t) |
|
|
|
|
ˆ |
||
ˆ |
1 |
|
|
M |
|||
|
|
= (M ) |
ˆ |
|
ˆ |
|
|
dt z(t) |
y(t) |
y(t) |
|||||
|
Li |
i |
|||||
z(t)
ˆ
(5.34)
Pi K (x,t),v(t)
с начальными условиями:
ˆ |
{u0 |
(x,t)}, |
ˆ |
{u0 |
(x,t)}, i = 0, , n. |
(5.35) |
yi (t0 ) = Ti |
vi (t0 ) = Ti |
|||||
Решение начальной задачи (5.34), (5.35) производится методом Рунге- |
||||||
Кутта с помощью стандартной программы с переменной длиной шага и контролируемой точностью [6].
5.7. Пример вычислительной программы
Программа fem5.cpp проверяет точность решения уравнения (5.1) с
граничными условиями (5.2) для известной функции. Для тестирования рассмотрим уравнение (5.1) с функциональными коэффициентами
K (x,t) = t2 |
x2 , |
A(x,t) = x2t 2 , |
B(x,t) = 2xt(t |
1), |
G(x,t) = xt 2 |
x2 , |
|||
F (x,t) = t5 x3 (x |
18) |
3t 4 x3 |
t3 (x4 x 4) |
t |
2 x(3x4 |
1) |
7tx3 |
x3. |
|
Сформулируем |
граничную |
задачу |
в полосе x |
|
[1,3] , |
t |
0 с линейными |
||
краевыми условиями третьего рода ( C (x,t) = 1, D (x,t) = 1):
u |
|
u |
|
|
|
= 2t3 |
, u |
u |
|
= 54t3 |
4t |
||||
|
|
|
|
|
|
|
|
||||||||
|
x |
x |
|
||||||||||||
|
|
|
x=1 |
|
|
|
|
x=3 |
|
|
|||||
и начальными условиями |
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
u(x,t) |
|
t=0 = 0, |
|
u |
|
= x, x [1,3]. |
|
|||||||
|
|
|
|
|
|||||||||||
|
|
|
|
||||||||||||
|
|
|
|
|
|
||||||||||
|
|
|
t |
|
|||||||||||
|
|
|
|
t =0 |
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Точным решением этой задачи является функция |
|
|
|||||||||||||
|
|
|
|
|
|
u(x,t) = x3t3 |
xt. |
|
|
|
|||||
При решении начальной задачи (5.34), (5.35) методом Рунге-Кутта число обращений к функции для вычисления правой части равно 290.
76
Поточечные оценки точности аппроксимации в узловых точках по пространству дается выражениями:
|
|
u |
|
|
|
|
u |
/ |
t |
|
|
|
|
2u |
/ |
t2 |
|
|
||
i = |
1 |
i |
|
, |
i = |
1 |
i |
|
|
, i |
= |
1 |
|
i |
|
|
|
, |
||
u |
u |
/ |
t |
2 |
u |
/ |
t |
2 |
||||||||||||
|
|
i |
|
|
|
|
i |
|
|
|
|
|
|
i |
|
|
|
|
||
где ui = u(xi ,t) , ui -- результаты численной аппроксимации решения исходной задачи в точке (xi ,t) .
Результаты представлены в таблице приведенной в выходном файле testhyp.txt.
ЗАКЛЮЧЕНИЕ Среди 23 проблем Д. Гильберта, которые этот великий математик
сформулировал в 1900 году на международном конгрессе математиков в Париже, достойное место занимает проблема 20 — "общая задача о граничных условиях", в которой ставится проблема расширения классического понятия решения дифференциального уравнения и выработки понятия обобщенного решения. Окончательного решения этой проблемы пока не существует. Однако существует общий подход к построению понятия обобщенной разрешимости: для дифференциальных уравнений нужно построить эквивалентные им интегральные уравнения, решения которых и объявить решением исходных дифференциальных уравнений в обобщенном смысле.
С развитием вычислительной техники получили быстрое развитие дискретные методы решения задач математической физики - метод конечных разностей и метод конечных элементов. Метод конечных разностей можно применять для случая, когда решение задачи является достаточно гладким.
Однако реальные физические процессы часто протекают в гетерогенных
77
средах, когда разные области решения обладают разными физическими характеристиками, меняющимися скачком на границах, и имеют сосредоточенные источники. В этих случаях естественно возникает понятие обобщенного решения. Обобщенное решение дифференциального уравнения определяется как функция, удовлетворяющая некоторому интегральному тождеству, полученному из исходного дифференциального уравнения с учетом источников и граничных условий. Это интегральное тождество, в
частности, может представлять собой соотношение баланса в некоторых локальных объемах - конечных элементах - и поэтому метод конечных элементов хорошо подходит для построения разностной схемы для обобщенного решения.
Исходная задача, заданная дифференциальным уравнением записанным для искомой функции, представляется в эквивалентной интегральной формулировке, а затем ищется приближенное решение последней в виде комбинации конечного числа заданных пробных функций. В методе конечных элементов пробные функции кусочно полиномиальны. Именно этим выбором определяется успех метода. Каждая пробная функция равна нулю на большей части области и отлична от нуля только в окрестности одного узла.
В этой окрестности пробная функция составлена из полиномов небольшой степени, и все вычисления становятся максимально простыми.
Еще один способ построения разностных схем для задач с обобщенным решением, состоит в аппроксимации производных конечными разностями в узлах сетки и вычислении интегралов по квадратурным формулам в локальных областях в окресности узлов сетки, задаваемых кусочно-
полиномиальными пробными функциями. Таким способом удалось получить хорошие апроксимации для многомерных стационарных и нестационарных задач с граничными условиями.
78
СПИСОК ЛИТЕРАТУРЫ
[1]Розин Л.А. Стержневые системы как системы конечных элементов. Изд-во ЛГУ, Л., 1976.
[2]Maglevanny I. and Smolar V. Vacuum, 46(11):1261--1269, 2002.
[3] Самарский А. А. Разностные схемы для дифференциальных уравнений с обобщенными решениями. Изд-во ЛГУ, М., 1987.
[4] Марчук Г.И. Методы расщепления. Наука, М., 1988.
[5] Самарский А. А. Теория разностных схем. Наука, М., 1983.
[6] Хайрер Э. and Нерсетт С. and Ваннер Г. Решение обыкновенных дифференциальных уравнений. Нежесткие задачи. Vbh., М., 1990.
79
