Главная > Математика > Введение в теорию разностных схем
<< Предыдущий параграф
Следующий параграф >>
<< Предыдущий параграф Следующий параграф >>
Макеты страниц

8. О понятии корректности разностной задачи.

Применительно к задачам математической физики принято говорить (см., например, А. Н. Тихонов и А. А. Самарский [6]), что задача поставлена корректно, если выполнены два условия:

1) задача однозначно разрешима при любых входных данных из некоторого класса,

2) решение задачи непрерывно зависит от входных данных.

Аналогично определяют понятие корректности разностной задачи. Пусть решение, а входные данные некоторой разностной задачи. Они зависят от параметра сетки). Меняя мы получим последовательности решений и входных данных Таким образом, мы рассматриваем не одну разностную задачу, а семейство задач, зависящее от параметра Понятие корректности вводится для семейства разностных задач (схем) при

Будем говорить, что разностная задача (схема) корректна, если при всех достаточно малых

1) решение разностной задачи существует и единственно для всех входных данных из некоторого допустимого семейства,

2) решение непрерывно зависит от причем эта зависимость равномерна относительно

Более точно, второе условие означает, что существует такая постоянная не зависящая от что при достаточно малом выполняется неравенство

где решение задачи с входными данными нормы на множестве сеточных функций, заданных на сетке

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

Пусть дана непрерывная задача (см. (25) — (26))

и пусть на сетке ее аппроксимирует разностная задача

Задача для погрешности где значение (проекция) решения и задачи (48) на сетке имеет вид

где погрешности аппроксимации уравнения и дополнительного условия. Вместо (50) напишем формально

Если оператор линеен и разностная схема корректна, то, в силу (47), будем иметь

Отсюда видно, что если схема устойчива и аппроксимирует исходную задачу, то она сходится (обычно говорят «из аппроксимации и устойчивости следует сходимость»), причем порядок точности (скорость сходимости) схемы определяется ее порядком аппроксимации (см. А. Ф. Филиппов [1]).

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

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

Ранее уже приводились примеры норм, в которых оцениваются решение и погрешность аппроксимации на сетке К сожалению, мы не можем сейчас же получить оценки устойчивости вида (51) для конкретных разностных задач. Для этого нам понадобится вспомогательный математический аппарат, а именно: формулы суммирования, разностные формулы Грина, простейшие сегочные аналоги теорем вложения. Такие минимальные средства позволят получить оценки решения разностных аналогов краевых задач для обыкновенного дифференциального уравнения второго порядка. На этом примере мы познакомимся с типичными ситуациями, которые возникают для значительно более сложных задач при изучении устойчивости, аппроксимации и точности разностных схем.

<< Предыдущий параграф Следующий параграф >>
Оглавление