2.3.1. Замечание об областях определения и значений операторов Lh

Как уже говорилось, описанные в предыдущем параграфе операторы, аппроксимирующие различные дифференциальные операторы, определены не совсем корректно. Например, сеточная функция Lh1°h2°u на F(wh1h2), аппроксимирующая значения оператора Лапласа, не определена ни в одной граничной точке сетки wh1h2, т. е. ни в одной точке множества gh1h2 = {xij: (i = 0) Ъ (i = n) Ъ (j = 0) Ъ (j = m)}. Точно так же, если Lh°t+,Lh°t–и Lh°t°— операторы, аппроксимирующие оператор L = ¶/¶t – ¶2/¶x2, то функции Lh°t+u,Lh°t–uи Lh°t°u,где u О wht, не определены в некоторых граничных точках сетки wht. Первая из них не определена на боковых и верхней сторонах прямоугольника [0, X] × [0, T] (мы считаем, что ось t направлена вверх), точнее, в тех точках xij сетки, для которых (i = 0) Ъ (i = n) Ъ (j = m). Вторая — в точках, для которых (i = 0) Ъ (i = n) Ъ (j = 0), и, наконец, третья — в точках, для которых (i = 0) Ъ (i = n) Ъ (j = 0) Ъ (j = m).

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