Математические основы моделирования сложных физических систем
.pdf
i = x ,xi = xi
и гауссовы координаты в гранях
x = |
x1,..., xi 1, xi 1,..., xn . |
||
i |
|
|
|
Учитывая, что |
|
|
|
= |
n |
n |
, |
i=1 i |
i=1 i |
||
представим коэффициенты в граничных условиях (4.3) в виде
|
n |
n |
C(x,t) = |
Ci (xi ,t) ( i ) |
Ci (xi ,t) ( i ), |
|
i=1 |
i=1 |
D(x,t) = Di (xi ,t) ( i ) Di (xi ,t) ( i ), |
||
|
n |
n |
E(x,t) = |
Ei (xi ,t) ( i ) |
Ei (xi ,t) ( i ), |
|
i=1 |
i=1 |
где ( i ) - характеристическая функция множества i .
Учитывая, что
|
|
|
|
|
ni (x) = |
ij , x |
|
|
|
i , |
|
|
|
|
|
|
|
(4.7) |
|||||||
запишем краевые условия в виде |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
C (x ,t)u(x,t) |
|
D (x |
,t) |
u(x,t) |
|
= E |
|
(x ,t), x |
|
i |
. |
(4.8) |
|||||||||||||
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||
i |
i |
|
|
i |
i |
i |
|
xi |
|
|
|
|
i |
|
i |
i |
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Используя (4.7) и (4.8), запишем интегральное тождество (4.6) в виде: |
|
||||||||||||||||||||||||
|
|
|
|
dx |
K |
u |
|
= dx |
Gu |
F |
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
t |
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
n |
|
|
|
|
u |
|
|
|
|
|
|
|
u |
|
|
|
|
|
|
||
|
|
|
|
|
dxAi |
|
|
dx Bi |
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
i=1 |
xi |
xi |
|
xi |
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
d i |
(x) |
Ai |
(x,t) |
|
Qi (x,t) |
Pi (x,t)u(x,t) |
|
|
|
|
|
|||||||||||||
|
|
|
|
i |
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i
50
d i |
(x) |
|
Ai (x,t) |
|
Qi (x,t) |
Pi (x,t)u(x,t) |
|
, |
(4.9) |
||
|
|
|
|||||||||
|
|
|
i |
|
i |
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
где ограничение функции на грань определяется по правилу |
|
|
|||||||||
|
|
|
|
|
|
|
|
|
(4.10) |
||
|
|
|
f (x) |
|
|
(x ) = |
f (xi |
, x ), |
|
||
|
|
|
|
i |
|
i |
|
i |
|
,t). (4.11) |
|
Qi (x ,t) = Ei |
(x |
|
,t) / Di (x ,t), Pi |
(x |
,t) = Ci (x ,t) / Di |
(x |
|||||
i |
|
i |
|
i |
i |
i |
|
i |
|||
Таким образом, исходная задача свелась к обобщенной задаче Коши |
|||||||||||
(4.9). |
|
|
|
|
|
|
|
|
|
|
|
4.2. Пространственная дискретизация обобщенной задачи Коши |
|||||||||||
Введя в область |
|
пространственную сетку и используя в качестве |
|||||||||
пробных функций (r) функции с компактным носителем, локализованным в окрестностях узлов, получим разностную аппроксимацию интегральных параметров в уравнении (4.9).
Введем в |
|
области |
(неравномерную) пространственную сетку. |
||||||||||||||||||||
Обозначим через |
|
|
|
множество узловых значений i - той переменной |
|||||||||||||||||||
|
i |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
i |
= xi,m |
|
mi |
= 1,...Mi |
,i = 1,..., n, |
|
(4.12) |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
где xi,1 = xi , xi , M i |
|
= xi . |
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
Введем обозначения для различных множеств сеточных узлов |
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
i = |
xi,m |
|
mi = 2,...Mi = 1 |
|
(4.13) |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
n |
|
|
|
|
|
|
n |
|
i |
|
|
|
|
|
|
|
(4.14) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
= |
|
X |
i , |
= X i |
= |
, = |
|
, i = |
i . |
|||||||||||
|
|
|
|
|
|
i=1 |
|
|
|
|
i=1 |
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|||||||||||||||||
Таким образом, |
- |
множество всех сеточных узлов, |
|
- множество |
|||||||||||||||||||
всех внутренних узлов, - множество всех граничных узлов, |
i |
- множество |
|||||||||||||||||||||
51
всех узлов на грани i . Элементы множеств (107), (108) будем обозначать |
|
символом , так что, например, |
означает |
|
|
|
|
|
|
|
|
= |
1,..., n , i |
|
|
i ,i = 1,..., n |
|
|
|
|
|
|
|
||||||
Координаты |
вектора |
|
|
|
являются узловыми |
значениями |
|
соответствующей |
|||||||||||||||||
переменной. |
Для |
каждой |
координаты |
|
|
i |
определим |
|
шаги |
сетки по |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
переменной xi . Если |
i = xi ,m |
, то положим: |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
hi ( |
i ) = |
|
i |
|
xi,m |
1, hi |
( i ) = xi,m |
|
1 |
i , |
|
i ( i ) = 0,5(hi |
( |
|
i ) |
hi ( |
i )). |
(4.15) |
|||||||
|
|
|
|
|
|
|
i |
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Очевидно, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
hi |
( |
i |
hi ( |
i )) = hi ( |
i ), hi ( |
i |
hi ( |
i )) = hi |
( |
i ). |
|
|
(4.16) |
|||||||||
С каждым узлом |
|
i |
свяжем элементарную окрестность |
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
x Rn |
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
e( ) = |
|
|
i |
|
h ( |
i |
) x |
i |
h ( |
i |
) . |
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
i |
i |
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|||||||||||||||||
На множестве |
|
|
будем рассматривать |
функции |
y(x,t) , |
которые |
будем |
||||||||||||||||||
называть сеточными функциями. Пространство сеточных функций будем
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
обозначать H ( ) . На |
множестве |
H ( |
) |
можно |
определить структуру |
|||||||||
гильбертова пространства [2]-[4]. |
|
|
|
|
|
|
|
|
||||||
Аналогично определяются пространства H( |
) , |
H ( i ) . |
||||||||||||
Введем обозначения |
|
|
|
|
|
|
|
|
|
|||||
|
|
hi |
( |
i ) = {0,..., hi |
( |
i ),...,0}, |
|
|
|
|||||
|
|
hi |
( |
i ) = {0,..., hi |
( |
i ),...,0}, |
|
|
||||||
|
|
y ( ,t) = |
|
1 |
|
|
y( ,t) |
y( hi ( i ),t) , |
||||||
|
|
|
|
|
|
|||||||||
|
|
hi |
( |
i ) |
|
|||||||||
|
|
|
i |
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y ( ,t) = |
|
1 |
|
|
y( |
hi ( i ),t) |
y( ,t) . |
|||||
|
|
|
|
|
|
|||||||||
|
|
hi |
( |
i ) |
|
|||||||||
|
|
|
i |
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Используя (4.16), имеем
52
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y |
( |
|
hi ( |
i ),t) = y |
( |
,t). |
|
|
|
|
|
|
|
|
|
|
|
(4.17) |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Для |
|
i |
|
|
|
|
i определим одномерные функции |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
( |
|
xi |
|
|
hi |
( |
i )), |
|
|
|
xi |
|
|
[ |
i , |
|
|
hi ( |
i )], |
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
i |
|
|
|||||||||||||||||||||||||
|
|
|
|
i |
( |
i |
, x ) = |
(h ( |
i |
))2 |
|
|
|
|
|
|
|
|
(4.18) |
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0, |
|
|
|
|
|
|
|
|
|
|
xi |
[ i , |
|
i |
|
|
hi |
( |
i )], |
i |
xi |
; |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
(xi |
|
|
|
|
|
hi |
|
|
i ), |
|
|
|
xi |
|
[ |
|
|
|
hi |
( |
i ), |
i ], |
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
i |
|
|
|
|
||||||||||||||||
|
|
|
|
|
i |
( |
i |
, x ) = |
|
|
|
(h ( |
|
i |
))2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(4.19) |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0, |
|
|
|
|
|
|
|
|
|
xi |
|
[ i |
|
|
hi ( i ), i ], i |
xi ; |
|
|||||||||
|
|
|
|
|
|
0 |
( |
|
|
, x ) = |
1 |
|
|
|
|
|
h ( |
|
) |
|
|
( |
|
, x ) |
h ( |
|
) |
|
|
( |
|
, x ) |
, |
|
x . |
(4.20) |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
i |
|
i |
|
|
|
|
|
|
|
|
|
i |
|
i |
i |
i |
i |
|
i |
i |
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
2 i ( i ) |
|
|
i |
|
|
|
|
|
i |
|
i |
|
|
|
|
|
i |
|
|
|
i |
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
С помощью этих функций определим одномерные интегральные ядра |
|||||||||||||||||||||||||||||||||||||||||||||||||
для |
i |
|
|
i : |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i ( i , xi ), i = xi , |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
( |
|
i |
, x ) = |
|
|
|
0 |
( |
|
i |
, x ), |
i |
|
|
i |
, |
|
|
|
|
|
|
|
|
|
|
|
(4.21) |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
i |
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i ( i , xi ), i = xi . |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
Нетрудно убедиться, что все функции |
i |
нормированы на единицу |
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i ( i , xi )dxi = 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
Функции |
|
i |
|
, |
0 |
|
совпадают (с точностью до нормировки) |
с базисными |
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
функциями, используемыми в методе конечных элементов. |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
Используя (4.18) - (4.21), находим производные: |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
2 / (h ( |
|
i |
))2 , x |
[ |
i |
, |
i |
|
h ( |
|
i |
)], |
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
|
|
|
|
|
|
|
i |
|
|
|
|
|
i |
|
|
|
|
i |
|
|
|
|
|
|
|
|
(4.22) |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
xi |
|
|
|
|
|
0, xi |
|
[ |
|
i , |
|
|
i hi |
( |
|
i )], i |
|
|
xi . |
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
2 / (h ( |
|
i |
))2 , x [ |
i |
|
h ( |
i |
), |
i |
], |
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
|
|
|
|
|
i |
|
|
|
|
|
|
i |
|
|
i |
|
|
|
|
|
|
|
|
|
|
(4.23) |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
xi |
|
|
|
|
0, xi |
|
[ i |
|
|
hi ( i ), i ], i |
|
|
xi . |
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
53
0 |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
= |
|
h ( |
|
) |
i |
|
h ( |
|
) |
i |
, |
|
|
(4.24) |
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
i |
|
|
i |
|
i |
i |
|||||||
|
xi |
2 i ( |
i ) |
i |
|
xi |
i |
|
xi |
|
|||||||
|
|
|
|
|
|
|
|
|
|
||||||||
Соотношения (4.22) - (4.24) определяют производную |
i / |
xi . |
|||||||||||||||
Таким образом, |
функции |
i |
являются |
|
суммируемыми |
функциями |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
аргумента xi , с компактным носителем в |
R . |
Кроме того, |
они имеют все |
||||||||||||||
обобщенные производные первого порядка, являющиеся кусочно-гладкими
функциями. Поэтому функции |
|
i |
принадлежат классу W 1 |
(R) . |
||
|
|
|
|
2 |
|
|
Определим сечения параллелепипеда гиперплоскостями |
||||||
|
i |
= |
x Rn , x = |
i |
. |
|
|
|
i |
|
|
||
Получим
i = i = , xi = i .
Определим
x = |
x1,..., xi 1, xi 1,..., xn , |
i |
|
= |
1,..., i 1, i 1,..., n . |
i |
|
Тогда x - гауссовы координаты в гиперплоскости
i
определим функцию:
|
( |
, x ) = |
n |
k ( k , xk ). |
i |
|
|||
|
i |
i |
k =1, k |
i |
|
|
|
На области определим многомерные функции:
( , x) = ( i |
, xi ) ( |
i |
, x ), |
|
, |
i |
i |
i |
|
|
|
|
|
|
|
i |
( , x) = i |
( i |
, xi ) ( |
i |
, x ), |
|
, i |
|
|
|
i |
i |
|
|
|
|
|
|
|
|
|
|
i . На множестве i
(4.25)
|
(4.26) |
xi |
(4.27) |
54
i |
( , x) = i |
( i |
, xi ) ( |
i |
, x ), |
|
, i xi |
|
|
|
i |
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
( |
, x ), xi |
i , i |
hi ( i ) , |
|
|
|
|
|
|
|
|
i |
|||||
|
|
|
hi |
( |
i ) |
|||||||
|
( |
, x) = |
|
i |
i |
|
|
|
||||
i |
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0, xi |
|
|
i , i |
hi ( i ) , i |
xi . |
||
|
|
|
|
1 |
|
|
i ( |
, x ), xi |
i hi ( i ), i , |
|||
|
|
|
|
|
|
|
||||||
|
( |
, x) = |
hi |
( |
i ) |
|||||||
|
|
i |
i |
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
||
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0, xi |
|
i |
hi ( i ), i |
, i |
xi |
||
Используя эти определения, нетрудно убедиться, что
(4.28)
(4.29)
(4.30)
|
|
|
|
|
|
|
|
|
|
|
|
i |
( |
|
, x), |
i |
= xi |
, |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
( , x) = |
|
hi |
( i ) |
i |
( |
|
, x) |
|
hi |
( |
i ) |
i |
( |
, x) |
, i |
|
i , |
(4.31) |
||||||||||||||
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
2 i ( |
|
|
|
||||||||||||||||||||||||||||
|
|
|
i ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
i |
( |
|
, x), |
i |
= xi |
, |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
i |
( |
, x), |
i = xi , |
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
hi |
|
( |
i ) |
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
( , x) |
= |
|
1 |
|
|
|
|
i |
( |
|
, x) |
|
|
i ( |
, x) |
, |
|
i |
i , |
|
|
|
(4.32) |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
i ( |
i ) |
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
xi |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
i |
( |
, x), |
i |
= xi |
, |
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
hi |
( |
i ) |
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Из (4.24), (4.30), (4.14) следует
i |
hi |
( |
i ), x |
= |
i |
hi |
( |
i ), x |
= |
i
i
,x ,
,x ,
i xi
(4.33)
i xi
Функции |
, |
i |
, |
i |
являются |
функциями |
класса |
W 1 |
( ) , их носители |
|
|
|
|
|
|
2 |
|
||
компактны и локализованы в элементарной окрестности узла . |
|||||||||
|
|
|
|
|
sup |
,sup i ,sup i |
e |
|
(4.34) |
55
Функция ( |
|
, x ) есть функция класса |
W 1 |
( |
i |
) , ее носитель компактен в |
|
i |
i |
2 |
|
|
|
i |
|
|
|
|
||
|
|
|
|
|
|
|
гиперплоскости |
и локализован: sup |
e( ) |
|
. Функции удовлетворяют |
||
i
i
условию нормировки
( , x)dx = i ( , x)dx = i
i |
( |
, x )d |
i |
|
i |
i |
|
i |
|
|
|
( , x)dx = 1, |
|
(4.35) |
= 1. |
(4.36) |
|
Каждая из функций , i |
, i определяет оператор проектирования функций |
||||||
из класса W 1 |
( ) |
в пространство сеточных функций. Определим оператор |
|||||
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
T ( ) :W 1 ( ) H ( ) |
|
|
||
|
|
|
2 |
|
|
|
|
в виде |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
T ( |
)F (x,t) = ( , x)F(x,t)dx, |
(4.37) |
|||
Аналогично определяются операторы
Ti ( )F (x,t) =
Ti ( )F (x,t) =
Si ( )F (x,t) =
Si ( )F (x,t) =
i
i
i
i
( , x)F(x,t)dx, |
|
, |
||
|
|
|
|
|
( , x)F(x,t)dx, |
, |
|||
|
|
|
|
|
( |
, x)F (x,t)dx, |
, |
||
|
|
|
|
|
( |
, x)F (x,t)dx, |
, |
||
i |
xi |
(4.38) |
i |
xi |
(4.39) |
i |
xi |
(4.40) |
i |
xi |
(4.41) |
Очевидно, что операторы (4.37)-(4.41) линейны. Так как носители
интегральных ядер , i , i локализованы в элементарной окрестности узла
, то каждую операцию (4.37)-(4.41) можно трактовать как операцию
усреднения функции |
F(x,t) |
по элементарной окрестности с |
|
|
56 |
соответствующим ядром усреднения. Поэтому операторы Si являются обобщениями соответствующих операторов Стеклова, операторы T ,Ti 
являются обобщениями усредняющих операторов, описанных в [2].
Из (4.35) следует, что усредняющие операторы обладают естественным свойством нормировки:
T ( ) 1 = Ti ( ) 1 = Si ( ) 1 = 1 |
(4.42) |
Прямым вычислением нетрудно убедиться, что в соответствующей области определения
Ti ( )xi =
Si ( )xi =
Пример:
|
1 |
|
h ( |
|
) |
|
|
|
|||
i |
3 i |
i |
(4.43) |
||
|
1 |
|
|
||
|
h ( |
|
) |
||
|
|
|
|||
i |
2 i |
i |
|
||
|
|
|
i hi ( |
i ) |
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ti ( i )xi = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
xi |
|
hi ( i ) xidxi = |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
||||||||
|
|
|
|
|
(h ( |
i |
))2 |
|
|
|
||||||||||||
|
|
|
i |
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
2 |
|
|
|
|
|
x2 |
|
x3 |
|
h ( |
i |
)x2 |
|
i hi ( i ) |
||||||||
|
|
|
|
|
|
|
|
|||||||||||||||
= |
|
|
|
|
|
i i |
|
|
i |
|
i |
|
|
i |
|
|
= |
|||||
(h ( |
i |
))2 |
|
|
2 |
|
3 |
|
|
|
|
|
2 |
|
|
|
|
|||||
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
= |
|
|
|
1 |
h ( |
|
) |
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
i |
|
3 |
|
i |
|
i |
|
|
|
|
|
|
||
Остальное аналогично.
Соотношения (4.33) определяют правило сдвига для операторов Si
Si ( ) = Si ( h ( )), Si ( ) = Si ( h ( )). |
(4.44) |
Используя (4.31), получаем
57
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ti |
( |
), |
|
, |
i |
= xi |
|
|
|
T ( ) = |
1 |
|
hi |
( )Ti |
( ) hi ( )Ti ( ) , |
|
, i i |
|||||
|
|
|||||||||||
|
|
|
||||||||||
2 |
|
|||||||||||
|
i |
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ti |
( |
), |
, |
i |
= xi |
|
|
||
Определим оператор
Si ( )F (x,t) = F (x,t) |
( , x) |
dx |
|
||
|
xi |
|
Используя (126), получаем:
(4.45)
(4.46)
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
Si |
( )F (x,t), |
|
, i = xi |
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
h ( |
|
|
) |
|
|
|||||||||||||
|
|
|
|
|
|
i |
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Si |
( )F (x,t) = |
1 |
|
|
|
Si |
( ) |
|
Si ( |
) F (x,t), |
|
|
|
, i |
i |
(4.47) |
||||||||
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|||||||||||||||||||
|
|
( |
i ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
Si |
( )F (x,t), |
, i = xi |
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
h= ( |
i |
) |
|
|
||||||||||||||||
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Определим также операторы усреднения по сечениям i . |
Для функции |
|||||||||||||||||||||||
F x ,t , определенный на множестве |
i , определим оператор: |
|
|
|||||||||||||||||||||
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
S ( ) :W / ( |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
i |
) |
H ( ) |
|
|
|
|
|
|
||||||||||||||
|
|
|
i |
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
где
S ( |
)F x ,t = |
i ( |
, x |
)F |
x ,t |
d i , |
|
|
(4.48) |
i |
i |
|
i |
i |
i |
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
Операторы S ( ) линейны – удовлетворяют условию нормировки |
|
||||||||
i |
|
|
|
|
|
|
|
|
|
|
S |
( |
) 1 = 1 |
|
|
|
|
(4.49) |
|
|
|
i |
|
|
|
|
|
|
|
4.3. Обобщенные уравнения баланса |
|
|
|
|
|
||||
Рассмотрим |
интегральное |
|
тождество |
(4.9) |
|
и |
положим |
||
58
(x) = ( , x), |
|
, x |
. Чтобы найти следы на гранях |
|
i |
функции |
( ,x) , |
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
используем (4.18), (4.21), (4.26). В результате получим |
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
( |
|
, x) |
|
|
= |
2 |
|
|
|
, x |
|
|
i |
( ), |
|
|
|
|
|
(4.50) |
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
i |
|
hi ( |
i ) i |
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
i |
i |
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
где символ |
i ( ) |
определяется в виде |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
( |
) = |
|
1, |
i |
= xi |
, |
|
|
|
|
|
|
|
|
|
|
|
(4.51) |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
i |
|
0, |
i |
|
i , |
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Используя (4.37), (4.46), (4.48), (4.50), запишем (4.9) в операторной |
||||||||||||||||||||||||||||||||
форме: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
T |
K x,t |
|
u x,t |
|
= T |
|
|
F x,t G x,t u x,t |
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
u |
|
|
|
|
|
|
|
|
|
u |
|
|
|
|
|
|
|||||
|
|
|
|
|
S |
|
A x,t |
|
x,t T |
|
B x,t |
|
x,t |
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
i |
|
i |
|
|
xi |
|
|
|
|
|
i |
|
|
xi |
|
|
|
|
|
||||||||
|
|
|
i=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
2 |
|
i |
S |
|
Ai |
x,t |
|
|
|
|
|
i |
x ,t |
|
Pi |
x ,t u x,t |
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
hi |
|
|
i |
|
|
|
i |
|
|||||||||||||||||||||||
|
i |
i |
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
i |
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
2 |
|
i |
S |
|
Ai |
x,t |
|
|
|
|
i |
x |
,t |
|
Pi |
x |
,t u x,t |
|
|
|
.(4.52) |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
hi |
|
|
i |
|
|
|
i |
||||||||||||||||||||||||
|
i |
i |
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
i |
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
Предпоследний член в (4.52) |
отличен |
от нуля |
только при |
i = xi , |
||||||||||||||||||||||||||||
последний – при |
i = xi . Уравнение (4.52) получено в результате усреднения |
|||||||||||||||||||||||||||||||
уравнения (4.1) по элементарной окрестности узла |
и, таким образом, имеет |
|||||||||||||||||||||||||||||||
смысл обобщенного уравнения баланса для элементарной ячейки [2], [3].
Последние два члена характеризуют влияние краевых условий.
4.4. Разностная аппроксимация
Пусть y ,t - сеточная функция, аппроксимирующая значения u x,t
59
