Нелинейное уравнение теплопроводности и квазиньютоновский

advertisement
В.М. МАДОРСКИЙ
БрГУ имени А.С. Пушкина (г. Брест, Беларусь)
НЕЛИНЕЙНОЕ УРАВНЕНИЕ
КВАЗИНЬЮТОНОВСКИЙ МЕТОД
ТЕПЛОПРОВОДНОСТИ
И
Рассматривается нелинейная задача теплопроводности
u 
u
(1)
 ( K ( x, t , u ) )  F ( x, t , u )
t x
x
 ( x,0)   ( x), u (0, t )  1 (t ); u (a, t )   2 (t )
(2)
x [0, a], t [0,T ] для случая непрерывных и гладких коэффициентов.
При дискретизации задачи (1)-(2) будем использовать неявную
трехточечную схему и шеститочечный шаблон для возможности
применения метода Кранка-Николсон. В таком случае задача (1)-(2) будет
сведена к системе нелинейных численных уравнений. Для получения
высокоточного приближенного решения задачи часто приходится решать
большие системы (порядка многих сотен тысяч) уравнений.
Несмотря на то, что системы нелинейных уравнений имеют
трехдиагональную
структуру,
напрямую
использовать
метод
трехдиагональной матричной прогонки не представляется возможным без
предварительной линеаризации.
Таким образом, нелинейная задача сводится к последовательности
линейных задач, решение которых при определенных условиях сводится к
решению исходной нелинейной численной задачи.
Запишем задачу (1)-(2) в операторном виде.
(3)
f ( x)  0; f ( D  X  X ) X – B-пространство.
Для решения уравнения (3) рассматривается итерационный процесс
в предположении, что оператор f в интересующей нас области D
удовлетворяет следующим условиям:
f  C D( 2 ) ,
f
/
( x)

1
 B , f // ( x)  K , x D .
Шаг 1. Решается линейная система для определения поправки x n
f /( xn )xn   f ( xn ), n=0,1,2,…
Шаг 2. Находим очередное приближение
xn1  xn   n xn , n=0,1,2,…,
(4)
(5)
Шаг 3. Если f ( xn1 )   ,   1 (параметр останова), то конец просчетов,
иначе
Шаг 4. Если f ( xn1 )  f ( xn ) , то  n 1 : 1 , иначе
2

 n f ( xn )

 n1  min 1,
  f (x ) 2  f (x ) 2
n
n 1
 n
2
2
2
f ( xn )  f ( xn 1 )  f ( xn 2 ) 
2

 ,   0

 n1 
n
2 f ( xn  2 )
2
f ( xn1 )

,



 f (x )
2
0
0
2
(6)
 f ( x1 )
f ( x1 )
2
2
.
и осуществляется переход на шаг 1.
Относительно процесса (4) – (6) справедлива
B f ( x0 )
выполняются условия
1  q0
теоремы. Тогда итерационный процесс (4) – (6) при  0  1 со
Теорема. Пусть в шаре S x0 , r , r 
сверхлинейной скоростью сходится к x *  S ( x0 , r ) .  0  0.5KB2 0 f ( x0 ) .
Доказательство. Найдем соотношение, связывающее шаговые
длины с нормами невязок. Из (6) при  n  2  1 имеем


 n1 f ( xn1 )
 n f ( xn )  f ( xn1 )
 n 2


.
(7)
2
 n1  n1 f ( xn1 ) 2  f ( xn 2 ) 2  n1
 n 1 2 f ( x n  2 )
Из (7) следует соотношение
 f x  2  f x  2 
n
n 1
2
.
(8)
 n  2 f xn  2    n 
2
Из условий теоремы и (8) следует, что последовательность норм
невязок монотонно убывает к нулю, шаговые длины  i с четными и
нечетными индексами образуют монотонно возрастающие к единице
последовательности.
Пусть  n 1  1 , тогда
2


 n 1 
 n 2
 n f  xn 
2
2
 n 1 f xn 1 
2
2


2
2
2


 n  f xn   f xn 1   2 n f xn 1 


2
2
2
2
2
f xn  2   f xn  1   f  xn   


f
x
 0 f x0 
n2

  n 2

2 f  xn  2  n
2
2
f xn  1 
2 n
2
f xn  1 
2 n
2
f xn  1 
.
(9)
Из (9) следует, что при некотором k параметр  k становится равным
единице, а из сходимости последовательности норм невязок к нулю
следует, что при некотором номере итерации m выполняется соотношение
 m  0.5 KB2 f xm   1, так что при i  max m, k  начинает выполняться
достаточное условие сходимости метода Ньютона. Таким образом,
итерационный процесс (4) – (6) со сверхлинейной скоростью сходится к
x *  S  x0 , r  .
В качестве модельной взята нелинейная задача
2
u   2 u 
 u 
2
 u
  2t  2 xu  2u   ,
t x  x 
 x 
u0, t   t 2 ; ua, t   a 2  t 2 ; ux,0  x 2 .
С известным решением ux, t   x 2  t 2 дискретизация проводилась на
трехточечном шаблоне, позволяющем получить неявную схему, и на
шестеточечном шаблоне, позволяющем использовать метод Кранка–
Николсон после линеаризация нелинейной задачи.
Результаты вычислительного эксперимента при использовании чисто
неявной схемы и метода Кранка–Николсон сведены в таблице 1.
Таблица 1. Сравнительный анализ качества приближенного решения при
использовании чисто неявной схемы и метода Кранка–Николсон.
Погрешность
Погрешность
Число
точек полученного
сеточного
Область
разбиения
по сеточного
решения
при
интегрирования пространству N и решения
при использовании
времени M
использовании
метода Кранка–
чисто
неявной Николсон
схемы
[0,1;0,1]
N,M=100
0.001187
1.1434E–6
[0,1;0,1]
N,M=1000
3.8E–5
1.9072E–9
[0,2;0,2]
N,M=1000
0.000297
1.0621E–6
[0,3;0,3]
N,M=1000
0.000947
1.2391E–5
Анализ таблицы 1 позволяет сделать следующие выводы: во-первых,
использование
квазиньютоновского
метода
позволяет
получить
приближенное решение дифференциальной задачи с высокой точностью
при не очень большой области интегрирования и с разумной точностью,
если область интегрирования сравнительно велика, и во-вторых,
использование метода Кранка–Николсон при решении последовательности
линеаризованных задач дает весьма заметный выигрыш при решении
нелинейных задач теплопроводности.
ЛИТЕРАТУРА
1. Мадорский, В.М. Квазиньютоновские процессы для решения
нелинейных уравнений/ В.М. Мадорский – Брест: БрГУ. – 2005. –
186 С.
Download