Устойчивость разностных схем с переменными весовыми множителями тема автореферата и диссертации по математике, 01.01.07 ВАК РФ

Дегтярев, Сергей Львович АВТОР
кандидата физико-математических наук УЧЕНАЯ СТЕПЕНЬ
Москва МЕСТО ЗАЩИТЫ
1996 ГОД ЗАЩИТЫ
   
01.01.07 КОД ВАК РФ
Автореферат по математике на тему «Устойчивость разностных схем с переменными весовыми множителями»
 
Автореферат диссертации на тему "Устойчивость разностных схем с переменными весовыми множителями"

РГ6 »»

МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ им. М.В. ЛОМОНОСОВА

ФАКУЛЬТЕТ ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКИ И КИБЕРНЕТИКИ

На правах рукопис: УДК 519.61

ДЕГТЯРЕВ СЕРГЕЙ ЛЬВОВИЧ

УСТОЙЧИВОСТЬ РАЗНОСТНЫХ СХЕМ С ПЕРЕМЕННЫМИ ВЕСОВЫМИ МНОЖИТЕЛЯМИ

01.01.0/ - вычислительная математика

Автореферат диссертации на соискание ученой степени кандидата физика - математических наук

Москва - 199(1

Работа выполнена на кафедре вычислительных методов факультета вычислительной математики и кибернетики Московского государственного университета

Научный руководитель: доктор физико-математических наук

профессор А. В. Гулин Официальные оппоненты: доктор физико-математических наук

П. Н. Вабшцевич

кандидат физико-математических наук Е. А. Григорьев Ведущая организация - Институт прикладной математики им. М. В. Келдыша РАН

Защита состоится " $ " хддб года в часов на

заседании диссертационного совета Д. 053.05.37 в Московском государственном университете имени К!. В. Ломоносова по адресу: 119893, Москва. Воробьевы горы, МГУ, факультет вычислительной математики и ки';ер;:?тики, аудитория 685.

С диссертацией можно ознакомиться в библиотеке факультета вычислительной математики и кибернетики МГУ. Автореферат разослан " " 1996 года.

Ученый секретарь совета доктор физико-математических наук Л""// /

профессор ( , Е. И. Моисеев

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ Актуальность. Теория устойчивости разностных схем для естационарных задач математической физики стала самостоятельной властью исследований уже в 50-ые годы. Однако различные отребности практических вычислений ставят новые вопросы перед ней о настоящего времени.

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

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

3

неравномерной сетке.

Научная новизна и практическая ценность работы состоят в том что в ней:

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

для нескольких частных случаев распределения весовы множителей критерий устойчивости сформулирован в аналитическо форме;

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

Основные результаты диссертации.

1. Получены необходимые и достаточные условия устойчивое] двуслойных разностных схем с переменными по пространству весовы» множителями для одномерного и двумерного уравнения теплопроводне сти.

2. Для численного решения уравнения теплопроводности переменными коэффициентами изучены локально неявные разности! схемы с переменными весовыми множителями на неравномерной сетю Показано, что использование локально неявных разностных сх< позволяет исключить влияние величины коэффициента теплопроводное и мелкого шага пространственной сетки на условие устойчивости.

3. Для некоторых специальных случаев распределения весов множителей двумерной разностной схемы решение спектральной зада об устойчивости получено в явном виде.

Апробация работы. Основные результаты диссертации докладыв

4

[ись:

- на конференции выпускников факультета ВМиК МГУ (г.Москва, iail 1993г. );

на международной конференции студентов и' аспирантов 'Ленинские горы-95" (г. Москва, апрель 1995 г. );

- на научно - исследовательском семинаре кафедры вычислитель-:ых методов Московского Университета под руководством' академика ..А. Самарского (г. Москва, апрель 1996 г.);

- на научно - исследовательском семинаре под руководством роф. Ю. П. Попова в Институте прикладной математики им. II. В. елдыша РАН (г. Москва, май 1996 г. ).

Методологическую основу диссертации составляют работы А. А.

1 о

амарского и A.B. Гулина ' .

Объем и структура диссертации. Диссертация состоит из введе-ия, трех глав и списка цитированной литературы. Объем работы: 110 траниц, библиография: 46 названий.

СОДЕРЖАНИЕ ДИССЕРТАЦИИ

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

Глава 1 посвящена исследованию устойчивости разностных схем с эсами для одномерного уравнения теплопроводности. Гулин A.B., Самарский A.A. Об устойчивости одного класса разно--:тных схем. Диф. ур-ния, 1993, 29, N 7, С. 1163-1173. Самарский А. А., Гулин А. В. Критерий устойчивости семейства разностных схем. Докл. РАН, 1993, 330, N 6, С. 694-695.

5

В § 1.1 излагается теория устойчивости двуслойных операторно разностных схем с переменными весовыми множителями. Пусть дан двуслойная операторно-разностная схема, записанная в каноническо виде

В у т У + Ауп = 0 , п = 0,1...- . (1)

где уп = уЧп) бН, ^ = п т , т > 0 - шаг по времени, Н

евклидово пространство со скалярным произведением (•,•)^ , А и В

линейные операторы, действующие в Н и не зависящие от г

Предполагается, что В существует. Схему (1) можно записать в

п+1

разрешенном относительно у виде

yn+1 = S у11 ,

где S = Е - т В-1А .

Разностная схема (1) называется симметризуемой, если существует невырожденный оператор К : Н ■* Н такой, что оператор

S = К S К"1 (2

является самосопряженным.

Устойчивость схемы (1) исследуется в' нормах, порожденн некоторым самосопряженным положительным оператором D, действуют в Н. .Через Н^ обозначается линейное пространство, состоящее элементов пространства Н и снабженное скалярным произведем (y.v, = (Dy,v)H и нормой II у lljj^= V(Uy,y)jj . Разностная схема (

называется устойчивой в пространстве Hq , если при любом у0 « для решения задачи (1) выполняются оценки (Dyn+1,yn+b £ (Dyn,yr n = 0,1,... .

Рассматривается класс симметризуемых разностных схем, именно, схем (1), с операторами А и В, удовлетворяющими условия)

п-

Самарский A.A. Теория разностных схем. М., Наука, 1989.

6

А*= Л , В = Е +■ т о- А , сг* = сг , (3)

•де Е - единичный оператор, а с - самосопряженный оператор в Н. [реобразование (2), приводящее Б к самосопряженному виду, юуществляется здесь оператором К = В .

Разностная схема (1) с оператором В = Е + т с А , где а -1Ператор в Н, получила название схемы с переменными весовыми сожителями. Она является обобщением известной схемы с постоянным ;есом (Г.

Если операторы А и сг - не перестановочны, то оператор В = Е +

; сг А не является самосопряженным. В этом случае для схем (1), (3)

1 диссертации получено неулучшаемое ( за счет выбора нормы )

'словие устойчивости в виде операторного неравенства, выполнение

оторого необходимо для устойчивости в любом Нц и достаточно для

стойчивости в некотором Нд . Доказана

Теорема1. Пусть операторы А и сг не зависят от п.

уществует и выполнены условия (3). Предположим, что А =

, Ь : Н -> Н^ , Ь* : Н, где Н^- евклидово пространство.

ели схема (1) устойчива в каком-либо пространстве Нр, то в Н|

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

О = Е + т Ь ц I* г 0 . (4)

де ц = сг - 0.5 Е . Обратно, если выполнено (4), то схема (1), (3)

стойчива в Н „ . Если существует, то схема (1), (3)

В В

стойчива и в Н о .

А

Теорема 1 является обобщением на случай вырожденного операто-

2

а А теоремы, приведенной в работе .

В § 1.2 рассматривается двуслойная разностная схема с пере-енными по пространству весовыми множителями на неравномерной сете для одномерного уравнения теплопроводности с переменным коэффи-

7

циентом к(х) и краевыми условиями второго рода. Схема имеет вид

у?+:1- у? П+1 п

— -- = (Г, (а + (1 - сг,) (а у_)Л , 1 = 1,... ,N-1,

X X 1 X X 1

т

„п+1 „п

Уо

т

„п+1 ..п

Ун ~ Ум

+ (1 - °-о> Ух о ) • 1 = 0 .

1

— а»Г(Гм уп+1 + (1 - О-») у11 1 , 1 = N . Ь„ М х N х N

(5)

п = 0,1..... у? = и0<х1), 1 = 1,2,...,N-1,

где у? - разностное решение в узле сетки 1 в момент времен 1п = пт, т>0 - шаг по времени,

¡^ = < х1 = х1-:1+ 1 = 1.....N. х0= 0 , хм= 1 > .

( Ь1+1)/ 2 , а^ к((х1_1+ х^)/ 2 ), У_ . = У . , = (УГ Ум17 ^ = ' V' *Ч •

XI Х1"1 А Л 1 1 ' X 1 сг^ , 1=0,1,... - заданные вещественные числа. Показано, что схема (5) принадлежит семейству схем (1), (2 где оператор А определяется согласно формулам 2

ахух 0 , 1 = 0

1

(Ау)! =|- (а У_)Л , 1 = 1,.. .Н-1, х х 1

2

— аы У_ . 1 = N , Ьдо х N

а с-оператор, задаваемый диагональной матрицей с = с! 1 аё (о*0,..., сг^ Построено разложение оператора в произведение А = £ 0 и доказано, что схема (5) удовлетворяет всем условиям теоремы ; Выписана матрица < я—}, соответствующая оператору устойчивое

ф

0 = Е + тЬдЬ , ц = <г - 0.5 Е , для схемы (5). Эта матри!

является якобиевой, ее ненулевые элементы имеют вид

= 1+ т М-^- + —I 11 и. . ь. Л

1 = 1.....Н . Ь = 4 . М

«11-1

= - т

VI

vЛ1íIГT

Ь1

1-1

I = ,

■У а, а

41-11=

= - т

1*1-1

|1[= ^ - 0.5 , 1 =0,1.....N

1 =2.....N ,

Доказана

Теорема2. Если схема (5) устойчива в каком-либо

пространстве Нр, то минимальное собственное значение q|nin матрицы

(6) неотрицательно. Обратно, если минимальное собственное значение

матрицы (6) неотрицательно, то схема (5) устойчива в И , .

В В

Отмечается, что при рассмотрении краевых условий первого рода 1и(0,и = и(1Д) = 0 ) или смешанного типа ( и(0Д)= д^ПД) = 0 ) оператор А соответствующей разностной задачи становится юложительным. Для такой схемы, как и в случае краевых условий второго рода, выполнены все условия применимости теоремы 1. Матрица оператора 0 в этом случае имеет вид (6) с небольшой соррекцией элементов. Условие неотрицательности минимального :обственного значения такой матрицы необходимо для устойчивости в

иобом Нд и достаточно для устойчивости в Н

В В

Н

Установлены достаточные условия устойчивости схемы (5) в виде :истемы неравенств между элементами матрицы 0 (6) , на основании :оторых получен ряд следствий относительно устойчивости схемы с конкретными наборами весовых множителей.

В § 1.3 описаны результаты численного исследования устойчи-

9

вости разностной схемы (5) с переменными весовыми множителями для одномерного уравнения теплопроводности . Минимальное собственное значение матрицы устойчивости (6) определялось методом

бисекции. Из требования Чт}п - 0 получено условие устойчивости разностной схемы (5) и ее вариантов в случае краевых условий первого рода или смешанного типа.

Приведены результаты двух серий расчетов.

Первая - охватывает случай постоянного к(х) = 1 и равномерной сетки. Вторая серия расчётов относится к случаю переменного к<х) и неравномерной сетки. Существенное внимание, в диссертации уделяется исследованию устойчивости локально неявных разностные схем, то есть схем, явных везде за исключением небольшого числг узлов, где схема является неявной. Установлено, что использование локально неявной схемы в областях мелкого шага пространственно! сетки и большого значения коэффициента теплопроводности позволяем исключить влияние этих факторов на границу устойчивости.

Глава 2 посвящена исследованию устойчивости разностных схем < переменными весовыми множителями для двумерного уравнени. теплопроводности.

В § 2.1 критерий устойчивости двуслойной операторно-разност ной схемы ( глава I, теорема 1 ) применен к разностной схеме переменными по пространству весовыми множителями для двумерног уравнения теплопроводности с переменными коэффициентами. Схем имеет вид

= *1к (дЬ У'?к+1 + <1-«г1к) (Л11 у)?к ,(х1л>х2<к) € 0)

у?к = 0 , ( х1Л>х2 к) 6 зг , П * 0 .

у?к = ио'х1,1'х2,к' • ( х1,1'х2,к> е 5 •

(л" ? )Ь ■ [« 1 • [ "г ■

где о> - внутренние узлы, у - граничные узлы сетки й, неравномерной

по каждому направлению, м = ^ х (¡2 , й = ии (3, = < х, х

1,г х1(1-1+ Ь1Л- 1 = 1.....х1,о = Н >'

~~ ( х2,к= х2, к-1+ Ь2,к- к = 1.....х2,0 = Х2,Н = 12 } •

у?^ - разностное решение в узле сетки (1,к) в момент времени ^ = пт, а1 и ^ - сеточные аналоги коэффициентов к^х^^) и (х 1 >х2! в исходном уравнении, о-^ - заданные вещественные числа.

Показано, что схема (7) принадлежит семейству схем 11), (3), где операторы А и <т , действующие в евклидовом пространстве Н, определены равенствами .

( Ау )1к = - ( Лйу )1к , _у|г = 0 .

« °УЛк в "нс-Уис •

Построено разложение оператора А в произведение А = , где

I = ( Ц 12 )Т: Н Н , Ь* = ( 1*2 ) : Н Н ,

причем линейные операторы I, : Н На , Ь* : На Н , а = 1 ,2 определены согласно равенствам

ха

( ЬаУ >1к = ( ^ У- >1к аау)1к = " у)

хаДк

а евклидово пространство Н является прямой суммой евклидовых пространств Н^ и ^ ■

Установлено, что схема (7) удовлетворяет всем условиям

11

теоремы 1 и получена матрица устойчивости { , соответствующая

оператору 0=Е+тЬмЬ* , для схемы (7) (мы не приводим здесь выражения для в виду их громоздкости).

В результате доказана

ТеоремаЗ. Если схема (7) устойчива в каком-либо пространстве Нр , то минимальное собственное значение матрицы устойчивости этой схемы неотрицательно. Обратно, если минимальное собственное значение матрицы 0 неотрицательно, то схема (7)

устойчива в Н * и в Н о .

В В кг

В § 2.2 описаны результаты численного исследования устойчивости разностной схемы (7) с переменными весовыми множителями для двумерного уравнения теплопроводности. Минимальное собственное значение матрицы устойчивости схемы (7) определялось методом

обратных итераций.

Проведено три группы расчетов, позволивших исследовать условие устойчивости в зависимости от выбираемого набора весовых множителей <т = < а^} :

1) при постоянном коэффициенте теплопроводности к^х^^) = = к2(х1>х21 =1 на квадратной сетке;

2) при постоянном коэффициенте на неравномерной сетке;

3) при переменном коэффициенте ^^ ^• х2' =к2< х1* х2 х2' • имеющем локальный выброс величиной к0 »1, на квадратной сетке. Наибольший интерес представляют результаты, связанные с изучением условия устойчивости схемы в случае переменного коэффициента теплопроводности и неравномерной сетки. Подтвержден вывод, сделанный в одномерном случае: использование локально неявных схем в областях мелкого шага пространственной сетки и большого значейия -коэффициента теплопроводности позволяет устранить зависимость

12

условия устойчивости от этих факторов.

В главе 3 проведено аналитическое исследование устойчивости разностных схем с некоторыми специальными наборами переменных весовых множителей для двумерного уравнения теплопроводности с постоянными коэффициентами на равномерной по каждому направлению сетке с шагами и 1^= ^^ .

Рассматриваемая схема является частным случаем схемы (7), приведенной в предыдущей главе, когда а|= ^ - 1. ^ ■ = , к= ^2 ' Следовательно, ее устойчивость, согласно теореме 3,

определяется оператором 0"=Е + т1,цЬ , где операторы Ь =

т ~ * * * ~

(Ц!^) : Н -» Н , I = (Ц!^) Н -» Н определены в главе 2 и

являются в случае постоянных коэффициентов а^ = ад = 1 сеточным аналогом градиента и дивергенции (со знаком минус) соответственно.

В § 3.1 задача на собственные значения для оператора О преобразуется в задачу на собственные значения для оператора

л

О = Е + К*у К ц : Н ,

где

frjEj О

К = (КгК2 )Т : Н Н , . у =

о г2е2

Н Н> н ,

Кк = haLa , a = 1,2 - операторы левой разности, ya= rha , а = 1,2, - единичный оператор в пространстве Ha , а = 1,2. Матрица one-

л

ратора Q называется редуцированной матрицей устойчивости. Установлено, что спектр матрицы Q представляет собой объединение спектра матрицы Q и собственного значения 1 кратности N-^-l. Из теоремы 3 следует

Т е о р е м а 4. Если разностная схема (7) устойчива в каком-либо пространстве Нд, то все собственные значения задачи

Q У = q У, У « 0, у е Н (8)

13

неотрицательны. Обратно, если все собственные значения задачи (8)

неотрицательны, то разностная схема (7) устойчива в пространствах

H 5 и H » . А В В

Изучена связь решений спектральных задач для оператора Q и исходного оператора Q. Эта связь устанавливается в следующих двух теоремах.

Теорема 5. Пусть (y,q) - собственная пара оператора Q.

Тогда

1) если q * 1, то (v,q) - собственная пара оператора Q, где V = у1/2К м У ;

2) если q = 1, то (v,1) - собственная пара оператора Q, где

* 1/2

v - решение уравнения д К ц v = 0 , имеющего s+p линейно независимых решений (s = N^Ng-l, р - число нулевых o-jj, - 0.5).

Теорема 6. Пусть (v,q) - собственная пара оператора Q.

Тогда

1) если q*l, то (у,q) - собственная пара оператора Q, где у = = К* r1/2v,

2) если q = 1, то (у,1> - собственная пара оператора Q, где у - решение уравнения д у = 0, имеющего р > О линейно независимых

решений только в случае вырожденного оператора д.

Редуцированный оператор Q , в отличие от оператора Q, не

является самосопряженным оператором. Однако установлено, что Q -оператор простой структуры, а именно, доказана следующая

Л

Теорема7. У оператора Q : H -» H существует n линейно независимых собственных функций, где n = dira H .

В § 3.2 приведено решение спектральной задачи для редуцированной матрицы (8) в случае шахматного распределения весовых множителей. В шахматном разбиении множество внутренних

точек сетки 0 представляется в виде объединения двух подмножеств и = И и V причем требуется, чтобы центральная точка пятиточечного шаблона < С1,к), (1+1,к), ИДИ) ) и ее окрестность принадлежали разным подмножествам. Весовые множители выбираются в соответствии с правилом

<Г[, если (1,к) € И,

0*2, если И,к) е У, (9)

°1к *

где сг^ и 0"2 - заданные постоянные.

Для трех возможных случаев выбора значений (Д^ =о^-0.5,

I = 1,2) в шахматном распределении : 1) ^ = 0 , * 0 , 2) * 0 , [¡^ - 0 , 3) * 0 , ¡¡2 * 0 < ^ * ^

А

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

Исследование устойчивости рассматриваемой разностной схемы для шахматного распределения весовых множителей (9) сводится, согласно теореме 4, к нахождению условий неотрицательности всех собственных значений оператора 0 . Такие условия содержит

Теорема 8. Для устойчивости разностной схемы (7) в случае шахматного распределения весовых множителей (9! необходимо и достаточно выполнение хотя бы одной из групп неравенств

1 ♦ -у* Л0 г О- »1"2 5 (Аоу1+ 1)(\>»2+ 5 0 ' 1 + 2 А0 а 0, Рг1>2 2 о, 5ДУ1Р2 + у2) + 1 2 О,

где = т(о^ - 0.5), I - 1,2, Л0= 0.5(9 +Д), 5 и Д - соответственно минимальное и максимальное собственные значения

15

пятиточечного разностного оператора Лапласа.

В § 3.3 получено решение задачи на собственные значения для

матрицы 0 в случае распределения весовых множителей в виде чередующихся полос

"а, для к нечетного,

(10)

<г2 Для к четного,

°1к

где Пк)е и, и с*2 - заданные постоянные. Для каждого из трех возможных вариантов выбора значений Дд приведенных выше, спектральная задача для оператора 0 решена в явном виде, найдены собственные значения и базис из собственных функций.

Доказан следующий критерий устойчивости.

Теорема 9. Для устойчивости разностной схемы (7) в случае распределения весовых множителей в виде чередующихся полос (10) необходимо и достаточно выполнение хотя бы одной из групп неравенств

/V М2 - 0 • ^^ - 0 •

(11)

1^ + * 0 , ^^ < 0 , - 12 • (12)

пкп 9

)и1ц2< О, С2>12. щ2> " ^Мг^соэ-^ Г г 0, (13)

^ + < 0 , <0,1 + + 2 0 , 5 12 ' (14>

^ < 0 , ^^ <0,1 + (д^ а 0 , > ,

пкр 9 (15)

м2 < > %<11' ^^ " 4^1,х2(у2СОБ_1^ )2 г !16;

¿¿2 < 0 , = 0,1+ 2^+ ^ - 0 . (17

В неравенствах (12)-(17) через tj и tg обозначены корни

о

квадратного трехчлена f(t) = 1 + t + ^fig tb , причем

t2< t2 , = y2 ♦ } Aj , r2 = г / h| , Äj= 4 (cos -l^)2/ hf ,

k2 = [N2/2].

ПУБЛИКАЦИИ

Основные результаты диссертации опубликованы в следующих работах:

1. A.B. Гулин, С. Л. Дегтярев. Об устойчивости разностных схем с переменными весовыми множителями. Вестн. Моск. ун-та, Сер. 15, Вычисл. матем. и киберн. , 1994, N 3, С. 23-29;

2. С. Л. Дегтярев. Об устойчивости разностных схем с переменными весами для одномерного уравнения теплопроводности. Ж. вычисл. матем. и матем. физ., 1994, Т. 34, N 8-9, С. 1316-1322;

3. С. Л. Дегтярев. Устойчивость локально неявных разностных схем для двумерного уравнения теплопроводности. Ж. вычисл. матем. и матем. физ., 1996, Т. 36, N 4, С. 50-61;

4. А. В. Гулин, С. Л. Дегтярев. Критерий устойчивости двумерной разностной схемы. Препринт Института прикладной математики им. М. В. Келдыша РАН, 1996, N 15.