Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

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




Разностная схема

Постановка задачи

Простейшие разностные схемы для уравнения теплопроводности

Рассмотрим cмешанную краевую задачу для уравнения теплопроводности

 

t

 

T

 

 

D

 

0 1 x

 

с начальным и краевыми условиями

Будем считать, что правая часть дифференциального уравнения и функции , , удовлетворяет условиям, обеспечивающим существование и единственность гладкого решения задачи (1) - (2).

Построим разностную схему - разностный (сеточный) аналог дифференциальной задачи (1) - (2).

Выполним следующие шаги:

1) Область непрерывного изменения аргументов заменим дискретным множеством точек – сеткой , Точки называются узлами сетки , и называются шагами сетки по оси и , соответственно. Узел сетки будем обозначать .

Сетку можно представить в виде

где

, .

Замечание. При реализации метода сеток шаги и обычно выбирают согласованно. Поэтому сетка и обозначена через .

2) Все функции в исходной дифференциальной задаче (1) – (2) заменим сеточными функциями - функциями, определенными в узлах сетки . Сеточную функцию обозначим через Проекцию функции на сетку обозначим через

3) Производные в исходной дифференциальной задаче (1) – (2) заменим разностными отношениями – сходящимися формулами численного дифференцирования:

 

В результате получим систему линейных алгебраических уравнений:

 

Здесь - числовой параметр - сеточная аппроксимация правой части дифференциального уравнения , - сеточная аппроксимация начального условия , и - сеточные аппроксимации краевых условий и , соответственно.

Система (3) называется разностной схемой - разностным (дискретным) аналогом дифференциальной задачи (1) – (2).

Для построения разностной схемы (3) при используется шесть точек – шеститочечный шаблон:

 

 

 

В этом случае разностную схему (3) принято называть схемой с весами.

Замечание. При разностная схема (3) называется явной. Шаблон имеет вид:

 

 

При разностная схема (3) называется целиком неявной. Шаблон имеет вид:

 

При разностная схема (3) называется схемой Кранка-Николсона.

Разностная схема (3) имеет послойную структуру. Зная решение на -ом слое () мы можем найти решение на - ом слое.

Введем пространства - функций непрерывных на D и имеющих, непрерывные частные производные и пространство :

Теперь дифференциальную задачу (1)-(2) можно записать в виде операторного уравнения:

где

 


Введем пространства сеточных функций и .

где

Теперь разностную схему (3) можно записать в виде операторного уравнения

где

 

 

 

Замечание. Операторы и линейные и ограниченные.

По определению разностная схема (4) аппроксимирует исходную дифференциальную задачу (1) - (2) на ее решении если

при .

При этом, если существует константа не зависящая от , и

при ,

то будем говорить, что разностная схема (4) аппроксимирует задачу (1)-(2) с порядком

Разность называется невязкой.

Пусть . Введем в рассмотрение промежуточный слой по :

Тогда

 

а)

 

б)

Следовательно,

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

 

 

то полагая , , , , имеем при

и при

 

 

Отсюда, используя промежуточный слой и соответствующую аппроксимацию входных данных задачи (1)-(2): , , , получаем, что разностная схема с весами обладает свойством аппроксимации и

1) , при , ,

2) , при .

Аналогично проверяем, что явная и целиком неявная разностные схемы обладают свойством аппроксимации и .

Для явной разностной схемы

 

 

мы полагаем , , , и проверяем аппроксимацию на слое

Для целиком неявной разностной схемы

 

 

мы полагаем , , , и проверяем аппроксимацию на слое

Разностная схема (4) называется устойчивой, если для достаточно малых шагов сетки и выполнены условия:

1) Для любой сеточной функции уравнение имеет единственное решение (существует обратный оператор ).

2) Существует константа , независящая от ( и ), такая, что для решения уравнения имеет место неравенство

(норма обратного оператора равномерно по ограничена константой : ).

Замечание. Условие 2) определения устойчивости разностной схемы принято называть условием устойчивости разностной схемы.

Имеет место

Предложение. Если решение разностной схемы (4) для любого удовлетворяет условию

то схема (4) устойчивая.

Неравенство (6) называется принципом максимума.

Действительно, рассмотрим две разностные схемы

и

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

 

(однородное уравнение, неоднородные начальное и краевые условия) и

(неоднородное уравнение, однородные начальное и краевые условия).

Очевидно, если существуют решения первой и второй задач и , то существует и решение разностной схемы (4).

Применим принцип максимума (6) к решению первой задачи:

Применим принцип максимума (6) к решению второй задачи:

Таким образом, для решения разностной схемы (4) справедливо неравенство

 

Отсюда получаем, что

,

 

условие устойчивости (7) выполнено с константой .

Предложение доказано.

Ограничимся исследованием устойчивости разностной схемы (4) в двух крайних случаях: целиком неявной схемы и явной схемы .

Устойчивость целиком неявной схемы .

Обозначим . Получим из (6) для каждого

Система (9) однозначно разрешима (см. условие устойчивости метода прогонки решения системы линейных уравнений с трехдиагональной матрицей).

Пусть - решение (9) и , где наименьший из всех индексов, для которых . Если или , то неравенство (8) выполнено. Пусть .

Уравнение системы (9) при запишем в виде

Так как сумма скобок в левой части равенства строго меньше нуля, имеем

Следовательно, для целиком неявной разностной схемы имеет место неравенство (8). Это означает, что целиком неявная разностная схема устойчива при любом соотношении шагов и .

Устойчивость явной схемы

Обозначив , из (5) для каждого решение разностной схемы находится по формуле:

Очевидно, если , то

и неравенство (8) выполнено. Следовательно, явная разностная схема устойчива при условии

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

Рассмотрим однородную задачу При этом схема примет вид

Пусть на -ом слое возникла ошибки . Тогда для вычисления ошибки на следующем слое получим формулу:

Предположим, что где - некоторое достаточно малое число. Тогда

или

так как при .

Следовательно, на слое получим:

при

Замечание. При значительном уменьшении шага (при фиксированном ) растет число шагов и, следовательно, растет суммарная ошибка вычислений.

Окончательно получаем, что явная разностная схема устойчива при и неустойчива при

Замечание. Разностная схема (3) с весами устойчива:

1) при любом соотношении шагов, если ;

2) при если

Имеет место

Теорема Филиппова. Если разностная схема (4) (то же (3)) аппроксимирует исходную дифференциальную задачу (1)-(2) на ее решении и устойчива, то она сходящаяся:

при

Действительно, имеем

и

здесь - решение разностной схемы (3) (или что тоже (4)), - точное решение исходной дифференциальной задачи (1) – (2).

Отсюда получаем

Пусть разностная схема аппроксимирует исходную задачу с порядком Тогда из условий аппроксимации и устойчивости немедленно следует, что

Следовательно, разностная схема является сходящейся с порядком

Окончательно получаем:

Разностная схема (3) с весами сходящаяся:

1) при любом соотношении шагов с порядком , если ;

2) при любом соотношении шагов с порядком , если ;

3) при с порядком , если




Поделиться с друзьями:


Дата добавления: 2014-12-07; Просмотров: 4219; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление




Генерация страницы за: 0.011 сек.