Пусть задана область G переменных x = (x 1, x 2,…, xp) с границей G и поставлена корректная задача решения уравнения с граничными условиями:
Au (x) - f (x) = 0, x Î G; (51)
Ru (x) - m (x) = 0, x Î G. (52)
Введем в области G + G сетку с шагом h, которая содержит регулярные (внутренние) узлы wh и нерегулярные (граничные) узлы gh.
Перейдем в (51), (52) к соответствующим разностным аналогам
Ahyh (x) - jh (x) = 0, x Î wh; (51¢)
Rhyh (x) - ch (x) = 0, x Î gh. (52¢)
Близость разностной схемы (51¢), (52¢) к исходной задаче (51), (52) определяется величинами невязок:
;
.
Разностная схема (51¢), (52¢) аппроксимирует задачу (51), (52), когда
,
аппроксимация имеет p -й порядок, когда
.
Дадим некоторые комментарии к выбору норм. Для простоты будем рассматривать одномерный случай, т.е. G = [ a, b ].
Можно использовать чебышевскую или локальную норму
,
или гильбертову, среднеквадратическую:
.
Часто строят ассоциированные или связанные с оператором A энергетические нормы. Например,
.
Выбор нормы регулируется двумя противоположными соображениями. С одной стороны, желательно, чтобы разностное решение y было близко к точному решению в наиболее сильной© норме. Например, в задачах на разрушение конструкций малость деформаций в не гарантирует целостность конструкций, а малость в норме — гарантирует. С другой стороны, чем слабее норма , тем легче разностную схему построить и доказать ее сходимость.
|
|
Функции yh, jh, ch, входящие в (51¢), (52¢), определены на сетке, поэтому для них необходимо определить соответствующие сеточные нормы , и . Обычно их вводят так, чтобы они переходили в выбранные нормы , и при h ® 0. В качестве разностных аналогов чебышевской и гильбертовых норм выбирают выражения
или близкие аналоги.