Численные методы в уравнениях математической физики. Учебное пособие
.pdf
1.3.ПОНЯТИЯ АППРОКСИМАЦИИ, СХОДИМОСТИ
ИУСТОЙЧИВОСТИ В МКР И МКО
Разностная схема имеет k-й порядок аппроксимации, если 
f * Lhu* 
C1hk , где u* – точное решение, Lh – разностный опера-
тор, f * – правая часть (сеточная функция).
Разностная схема имеет k -й порядок точности (сходимости), если 
u u* 
C2hk , где u – сеточная функция, удовлетворяющая уравне-
нию Lhu f * .
Разностная схема устойчива, если малому изменению входных данных соответствует малое изменение решения:

u u* 
C 
Lh u u* 
.
Очевидно, что из аппроксимации и устойчивости следует сходимость разностной схемы:
|
u u* |
|
|
|
C |
Lhu Lhu* |
CC hk . |
|
|
|
|||||
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
f * |
C2 |
При этом разностная схема сходится с k -м порядком, если она устойчива и имеет k -й порядок аппроксимации.
1.4.ПОНЯТИЕ АППРОКСИМАЦИИ В МКЭ
Вотличие от МКР и МКО в методе конечных элементов (МКЭ) понятия порядка аппроксимации и порядка точности эквивалентны, поскольку в МКЭ речь сразу идет об аппроксимации решения (а не
n |
|
дифференциального оператора): uh qi i |
. Величина порядка ап- |
i 1 |
n |
|
|
проксимации определяется порядком базисных функций i i 1 |
|
и зависит от нормы. Если в базисе i in 1 |
представимы все поли- |
11
номы |
степени |
m, то |
в энергетической |
норме |
|
v |
|
|
|
Э |
|||||||||||||||||
|
|
|
|||||||||||||||||||||||||
|
(gradv)2 d v2d v2dS будет |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
справедлива |
оценка |
|||||||||||||||||||||||||
|
|
|
|
|
S |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
u u* |
|
Chm , а |
в норме |
пространства L |
|
|
|
v |
|
|
|
|
|
v2d |
|
будет |
||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
Э |
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
L2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
справедлива оценка |
|
u u* |
|
|
|
L |
Chm 1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
Для эллиптического уравнения при использовании МКЭ устойчи- |
|||||||||||||||||||||||||
вость очевидна: всегда ищется решение, ближайшее к точному в энергетической норме [3].
1.5. ЯВНЫЕ И НЕЯВНЫЕ СХЕМЫ АППРОКСИМАЦИИ ПО ВРЕМЕНИ
Рассмотрим некоторые способы аппроксимации начально-краевых задач для уравнений параболического типа
|
u |
div( grad u) f |
(26) |
|
t |
|
|
и для уравнений гиперболического типа
|
2u |
|
u |
div( gradu) f . |
(27) |
|
t2 |
t |
|||||
|
|
|
|
Помимо краевых условий вида (19)–(21) начально-краевая задача для уравнения параболического типа (26) должна включать в себя начальное условие
u |
|
t t0 , |
(28) |
|
|||
|
|
а для начально-краевой задачи для уравнения гиперболического типа необходимо задать два начальных условия: (28) и
u |
|
. |
(29) |
|
|||
t |
|
||
|
t t |
|
|
|
|
||
|
0 |
|
|
12
Для построения дискретных аналогов уравнений (26) и (27) помимо сетки по пространству необходима сетка по времени, на которой производные по времени заменяются разностными аналогами.
При тестировании программ, реализующих решение уравнений (26) и (27), необходимо проводить изучение сходимости отдельно по времени и по пространству.
Рассмотрим аппроксимацию дифференциального уравнения (26) по времени с использованием следующих схем:
|
|
|
u j u j 1 |
div( grad u j ) f |
j , |
|
j 1, |
, J , |
|
(30) |
|||||||||
|
|
|
|
t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
u j u j 1 |
div( grad u j 1) f |
j 1, |
|
j 1, |
, J , |
(31) |
|||||||||||
|
|
|
|
t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
u |
j |
u |
j 1 |
|
grad u |
j |
u |
j 1 |
|
f |
j |
|
f |
j 1 |
|
j 1, |
, J . |
(32) |
|
|
|
div |
|
|
|
|
|
, |
|||||||||||
|
t |
|
|
2 |
|
|
2 |
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Соотношение (30) определяет неявную схему аппроксимации параболического уравнения, соотношение (31) – явную схему, а соотношение (32) – схему Кранка–Николсона.
Обозначим через q j вектор весов разложения конечноэлементного
решения по базисным функциям (т. е. для лагранжевых элементов – это значения решения в узлах конечноэлементной сетки). Тогда для
каждого j 1, ..., J мы получим матричное уравнение следующего вида:
1 |
Mq j |
1 |
Mq j 1 Gq j MS3q j b j , |
(33) |
|
t |
t |
||||
|
|
|
где MS3 – вклады в глобальную матрицу конечноэлементной СЛАУ
от краевых условий третьего рода; запись b j означает, что вектор этот сформирован по значениям функции f и краевых условий на j -м
временном слое; G и M – это глобальные матрицы жесткости и массы соответственно.
13
Матричное уравнение (33) фактически является СЛАУ для вектора неизвестных q j :
1 |
M G MS3 |
|
1 |
|
|
|
|
|
q j b j |
|
Mq j 1. |
(34) |
|
|
t |
|||||
t |
|
|
|
|
||
Аналогично строятся процедуры решения уравнений (31) и (32). Для уравнения (31) получаем матричное уравнение
1 |
M MS3 |
q j b j 1 |
1 |
|
|
|
|
|
|
|
M G q j 1 |
, |
(35) |
||
t |
|
||||||
|
|
t |
|
|
|
||
а для уравнения (32) – матричное уравнение
|
|
|
1 |
|
1 |
|
|
1 |
|
|
S |
|
|
|
j |
|
|
|
|
|
|
|
|
M |
|
|
G |
|
M |
|
3 |
q |
|
|
|
|
|||
|
|
t |
2 |
2 |
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
1 |
|
|
|
1 |
|
|
1 |
|
|
|
|
1 |
MS3 |
|
|
|||
|
|
(b j b j 1) |
|
|
|
M |
|
|
G |
|
|
q j 1 . |
(36) |
||||||
2 |
|
t |
2 |
2 |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Для устойчивости вычислительного процесса при использовании явной схемы необходимо соблюдать определенное соотношение меж-
ду шагом по времени и размерами ячейки дискретизации в пространственной сетке: с уменьшением размеров ячейки дискретизации максимально допустимый для устойчивого счета шаг по времени должен быть уменьшен пропорционально квадрату размера ячеек дискрети-
зации. Такого рода ограничений нет в неявной схеме (34) и в схеме Кранка–Николсона (36) (которая по своей сути также является неявной схемой).
Рассмотрим процедуру построения неявной трехслойной схемы для решения дифференциального уравнения параболического типа. Будем считать, что функция u является функцией двух пространственных
координат |
x и y . Представим |
искомое решение |
u на |
интервале |
|
(t j 2 , t j ) |
в следующем виде: |
|
|
|
|
u(x, |
y, t) u j 2 (x, y) j |
(t) u j 1(x, y) j (t) u j |
(x, y) j |
(t) , (37) |
|
|
2 |
|
1 |
0 |
|
14
где функции 2j , 1j и 0j – это базисные квадратичные полиномы Лагранжа (с двумя корнями из набора значений времен t j 2 , t j 1 и t j , которые могут быть записаны в виде
2j (t) |
1 |
|
(t t j 1)(t t j ) , |
(38) |
|||||||||||
t1 t |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
j |
(t) |
1 |
|
|
(t t |
j 2 |
)(t t |
j |
) , |
(39) |
|||||
|
|
|
|||||||||||||
1 |
|
|
t1 t0 |
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|||||
j |
(t) |
|
1 |
(t t |
j 2 |
)(t t |
j 1 |
) , |
(40) |
||||||
|
|
||||||||||||||
0 |
|
t t0 |
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
где
|
t t j t j 2 , |
|
t1 t j 1 t j 2 , |
|
t0 t j t j 1. |
||||||||||||||||||||||||||
Вычислим производные по t функций (38)–(40) при |
|||||||||||||||||||||||||||||||
том обозначений (41)): |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
d 2j t |
|
|
|
1 |
(t t |
j |
) |
(t t |
j 1 |
) |
|
|
|
|
t j t j 1 |
|
|
|||||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
dt |
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
t t |
|
|
|
|
|
|
|
|
|
|
|
|
t t |
|
|
||||||||||||
|
|
|
|
t t j |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
t t j |
|
|
|
1 |
|
|
||||
|
|
|
|
|
|
d 1j (t) |
|
|
|
|
|
t j t j |
2 |
|
|
t |
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, |
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
dt |
|
|
|
|
|
t t |
0 |
|
t t |
0 |
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
t t j |
|
|
1 |
|
|
|
|
|
|
1 |
|
|
|
|
|
|||
|
|
|
d j |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
(t j t j 1) (t j t j 2 ) |
|
|
|
|
|
||||||||||||||||||
|
|
|
(t) |
|
|
|
|
|
|
|
t t |
|
|
||||||||||||||||||
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
. |
||||||||
|
|
|
|
|
|
|
|
|
|
t t0 |
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
dt |
|
|
t t j |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t t0 |
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(41) t t j (с уче-
t0 , (42)
t1 t
(43)
(44)
С учетом (42)–(44) получим следующее уравнение
t0 |
u j 2 |
t |
|
u j 1 |
t t0 |
u j div( gradu j ) f j . |
(45) |
t t |
t t |
|
|
||||
|
0 |
|
t t |
|
|||
1 |
|
1 |
|
0 |
|
|
|
15
Выполняя конечноэлементную аппроксимацию краевой задачи для уравнения (45), получаем СЛАУ следующего вида:
|
t t0 |
S |
|
j |
|
j |
|
t0 |
|
j 2 |
|
t |
|
j 1 |
|
|
|
M G M 3 |
q |
|
b |
|
|
|
Mq |
|
|
|
Mq |
|
. (46) |
t t0 |
|
|
t t1 |
|
t1 t0 |
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
При решении начально-краевых задач для уравнения гиперболического типа наиболее часто используют две схемы аппроксимации этого уравнения по времени: явную схему и схему, аналогичную схеме
Кранка–Николсона. При условии, что шаг по времени t t j t j 1 не
изменяется на всем временном интервале, где ищется решение задачи, явная схема аппроксимации уравнения (27) по времени имеет вид
u j 2u j 1 u j 2 |
u j u j 2 |
div( gradu j 1) f j 1, |
t2 |
2 t |
|
а схема, аналогичная схеме Кранка–Николсона, следующий вид:
|
u j |
2u j 1 u j 2 |
|
u j u j 2 |
|||||
|
t2 |
|
2 t |
|
|||||
|
|
|
|
|
|
|
|||
|
|
|
u j u j 2 |
|
|
f j f |
j 2 |
||
div |
grad |
|
|
|
|
|
, |
||
2 |
2 |
|
|||||||
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
(47)
(48)
Выполняя конечноэлементную аппроксимацию соответствующих задач для уравнений (47) и (48), получаем матричные уравнения следующего вида (здесь и далее для простоты будем считать, что вкладов от краевых условий в глобальную матрицу нет):
|
|
1 |
M q j |
2 |
M q j 1 |
1 |
M q j 2 |
|
|
|||||
|
t2 |
t2 |
t2 |
|
|
|||||||||
|
|
|
|
|
|
|
|
|
||||||
|
1 |
|
M q j |
1 |
|
M q j 2 |
Gq j 1 b j 1 |
, |
(49) |
|||||
2 t |
2 t |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|||||
16
1 |
M q j |
2 |
M q j 1 |
1 |
M q j 2 |
1 |
|
M q j |
|
||||
|
t2 |
t2 |
|
2 t |
|||||||||
|
|
|
|
|
t2 |
|
|
|
|||||
|
|
1 |
M q j 2 |
1 Gq j |
1 Gq j 2 |
1 b j |
1 b j 2 , |
(50) |
|||||
|
2 t |
||||||||||||
|
|
|
|
2 |
2 |
|
2 |
|
2 |
|
|||
где G , как и ранее, – матрица жесткости, получающаяся в результате |
|||||||||||||
аппроксимации члена div( gradu), а M |
и M – матрицы массы, |
||||||||||||
получающиеся в результате аппроксимации членов u и u соответ-
ственно.
Явная схема аппроксимации уравнения (27) с неравномерным шагом по времени может быть записана в виде
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
u j 2 |
|
|
|
|
|
|
|
|
u j 1 |
|
|
|
|
u j |
|
|
|||||||||||
|
|
t t |
|
t |
t |
0 |
|
t t |
0 |
|
|||||||||||||||||||||||||
|
|
|
|
|
|
1 |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
t0 |
|
|
|
|
|
|
|
|
t0 t1 |
|
|
|
|
t1 |
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
u j 2 |
|
|
u j 1 |
|
u j |
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
t t0 |
|
|
||||||||||||||||||||||
|
|
|
|
|
t t1 |
|
|
|
|
|
|
t1 t0 |
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
div( grad u j 1) f |
|
j 1. |
|
|
|
|
|
(51) |
|||||||||||||||||||
Конечноэлементная аппроксимация краевой задачи для уравне- |
|||||||||||||||||||||||||||||||||||
ния (51) приведет к матричному уравнению вида |
|
|
|
|
|||||||||||||||||||||||||||||||
2 |
M q j 2 |
2 |
|
|
M q j 1 |
2 |
|
|
M q j |
|
t0 |
M q j 2 |
|||||||||||||||||||||||
|
t t |
t |
t |
0 |
|
t t |
0 |
t t |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
1 |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
||||||
|
|
|
t0 t1 |
M q j 1 |
|
t |
|
|
|
M q j Gq j 1 |
b j . |
(52) |
|||||||||||||||||||||||
|
|
|
t t |
|
|
|
|||||||||||||||||||||||||||||
|
|
|
t t |
0 |
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
17
2.МЕТОДЫ РЕШЕНИЯ НЕЛИНЕЙНЫХ ЗАДАЧ
2.1.ПОНЯТИЕ О ЛИНЕЙНЫХ И НЕЛИНЕЙНЫХ ЗАДАЧАХ
Нелинейными называют такие дифференциально-краевые задачи, у которых параметры дифференциального уравнения или краевых условий зависят от решения.
В общем виде нелинейное дифференциальное уравнение эллиптического типа можно записать следующим образом:
|
div (u)gradu (u)u f (u) . |
(53) |
При этом уравнение является нелинейным, если хотя бы один из |
||
параметров , |
или f зависит от решения u (причем f |
нелинейно |
зависит от u ).
В качестве практических примеров нелинейных задач можно привести задачи магнитостатики и электродинамики (расчета магнитного или электромагнитного поля в различных технических устройствах – ускорителях заряженных частиц, электродвигателях и др.), в которых коэффициент магнитной проницаемости зависит от магнитной индукции, связанные задачи термоупругости, где от температуры могут зависеть как механические свойства конструкции (модуль Юнга, коэффициент расширения), так и термические (коэффициент теплопроводности, теплоемкости) и др. Соответствующие зависимости коэффициентов уравнений, как правило, получаются из экспериментов и представляются в научно-технической литературе либо в виде табличных зависимостей (например, получить зависимость коэффициента магнитной проницаемости от магнитной индукции можно с помощью так называемых кривых намагниченности), либо в виде некоторых аналитических выражений. Забегая вперед, отметим, что если соответствующие зависимости коэффициентов нелинейного дифференциального уравнения заданы таблично, то для реализации вычислительных схем, которые будут описаны в следующих разделах, следует перед решением задачи построить соответствующие интерполянты, например, в ви-
де сплайнов [3, с. 204–217].
Как правило, отдельно рассматривается ситуация, когда один из коэффициентов (чаще всего это коэффициент диффузии ) зависит
от производных решения, например, (gradu) . Хотя формально
18
запись (u) может означать не только непосредственную зависимость
от решения u (заданную аналитически, таблично или каким-либо еще способом), но и зависимость от каких-либо производных u
|
например, от gradu или от |
|
grad u |
|
|
(gradu)2 |
, тем не менее при ре- |
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ализации соответствующего метода решения нелинейной задачи очень важно то, как именно задана зависимость от решения – непосред-
ственной зависимостью (u) или как-то иначе, например зависимостью ( grad u ) .
Заметим также, что нелинейность дифференциального уравнения (53), порождаемую зависимостью коэффициента от u, можно
трактовать как нелинейность модифицированной правой части
f (u) f (u) (u)u . |
(54) |
Однако при переносе члена (u)u в правую часть методы решения
соответствующей нелинейной задачи чаще всего уступают по эффективности подходам, в которых нелинейный член (u)u уравнения (53)
обрабатывается отдельно от правой части f (u) . Поэтому лучше нелинейность (u)u обрабатывать с учетом ее вида, а не как составляющую
нелинейной правой части.
В этой книге мы рассмотрим наиболее часто встречающиеся на практике ситуации, когда коэффициент диффузии и правая часть f
являются некоторыми функциями решения, оставив читателю для самостоятельного осмысления ситуации с нелинейностью, порождаемой зависимостью от u .
Краевая задача может оказаться нелинейной не только в том случае, когда параметры дифференциального уравнения , и f зави-
сят от решения u , но и тогда, когда параметры краевых условий , или u зависят от u . Так, краевое условие второго рода делает краевую задачу нелинейной, если параметр зависит (нелинейно) от u :
|
u |
(u) . |
(55) |
|
n |
|
|
19
Краевое условие же третьего рода будет нелинейным, если его параметры или u зависят от u . В общем случае нелинейное краевое
условие третьего рода может быть записано в виде
u (u)(u u (u)) 0 |
(56) |
n |
|
|
(при этом, естественно, предполагается, что u (u) – нелинейная функ-
ция u ).
В результате конечноэлементной аппроксимации нелинейной краевой задачи (53), (55), (56) получается система нелинейных уравнений
A(q)q b(q) , |
(57) |
у которой компоненты матрицы A(q) и вектора правой части b(q) определяются следующим образом:
Aij (q) (uh (q))grad j grad id
(uh (q)) j id |
(uh (q)) j idS, |
(58) |
|
S3 |
|
bi (q) f (uh (q)) id (uh (q)) idS |
|
|
|
S2 |
|
(uh (q))u (uh (q)) idS, |
(59) |
|
S3 |
|
|
где
(60)
Рассмотрим методы решения этой системы нелинейных уравнений.
20
