Сходимость разностных схем
Основная теорема. В этом пункте мы рассмотрим задачу для дифференциальных уравнений с граничными условиями
которая на сетке, состоящей из множества регулярных узлов и множества нерегулярных узловаппроксимирована разностной схемой
(30.10)
В конечном итоге нас будет интересовать близость разностного решения у(х) к точному решению u(x), поскольку у(х) определено только на сетке +то сравнивать эти решения надо в сеточной норме.
Определение. Разностное решение у(х) сходится к решению u(x) задачи (30.9), если при(30.11)
разностное решение имеет порядок р, если при
(30.12)
Анализируя сходимость схемы ломаных для обыкновенного дифференциального уравнения, мы видели, что погрешность решения вызвана погрешностью начальных данных и погрешностью аппроксимации, усиливающимися (или ослабляющимися) в ходе расчета. Интуитивно ясно, что для хорошей точности расчета достаточно, чтобы эти погрешности были малы и в ходе расчета не сильно возрастали.
Определение. Разностная схема (30.10) корректна, если ее решение существует и единственно при любых входных данных и, принадлежащих заданным классам функций, и схема устойчива.
Теорема. Если решение дифференциальной задачи существует, разностная схема (30.10) корректна и аппроксимирует дифференциальную задачу (30.9) на данном решении, то разностное решение сходится к точному.
Доказательство. Напишем цепочку преобразований
где есть, по определению, невязка разностной схемы. Делая аналогичное преобразование для краевых условий, получим
(30.13)
Равенства (30.13) представляют собой схему (30.10) с правыми частями, измененными на величину невязки. Поскольку разностная схема устойчива, то для любого найдется такоечтоесли
В силу аппроксимации для любого найдется такоечтопри.
Следовательно, для любого > 0 найдется такоечтопри.
Сходимость доказана.
(Эту теорему кратко формулируют так: «Из аппроксимации и устойчивости следует сходимость»).
Замечание 1. Некоторые начальные или граничные условия аппроксимируются точно; примером являются граничные условия первого рода если узелхN сетки расположен на границе х = а. Устойчивости по таким условиям можно не требовать, ибо никакой ошибки в расчет они не вносят (кроме ошибки округления).
Устойчивость по правой части требуется почти во всех случаях, поскольку погрешность аппроксимации в (30.13) эквивалентна некоторой погрешности правой части.
Замечание 2. Аппроксимацию часто проверяют не на решениях дифференциальной задачи (30.9), а на некотором широком классе функций, которому принадлежит решение (обычно на классе функций, непрерывных и ограниченных вместе с некоторым числом своих производных).
Ясно, что если на всех функциях этого класса имеется аппроксимация порядка р, то аппроксимация на решении имеет порядок не ниже р. Так вот из этого замечания следует, что такая аппроксимация достаточна для доказательства теоремы о сходимости.
Замечание 3. При исследовании аппроксимации и устойчивости конкретных разностных схем нередко используют разные нормы для одной и той же функции. Например, при установлении локальной аппроксимации для берется, а при спектральном исследовании устойчивости -. Доказательство сходимости в этом случае справедливо, только если аппроксимация установлена в нормахболее сильных (или тех же самых), чем нормы, использованные для правых частей в определении устойчивости.
Замечание 4. Если аппроксимация или устойчивость условные, то сходимость имеет место при выполнении условий устойчивости и аппроксимации (т.е. при определенных соотношениях между шагами по разным переменным).
Замечание 5. Устойчивость является, как не трудно убедиться, необходимым условием сходимости. В самом деле, если схема неустойчива, то найдутся такие сколь угодно малые ошибки входных данных, которым соответствует значительная погрешность решения. Сходимости при этом быть не может.