Разностный Оператор

оператор, действующий в пространстве сеточных функций. Р. О. Возникают при аппроксимации дифференциальной задачи разностной и являются предметом изучения разностных схем теории. Разностную схему можно рассматривать как операторное уравнение с операторами, действующими в нек-ром функциональном пространстве, а именно в пространстве сеточных функций. Под пространством сеточных функций понимается множество функций, определенных в точках заданной сетки и образующих конечномерное векторное пространство. Пространства сеточных функций обычно возникают при аппроксимации того или иного пространства функций непрерывного аргумента. П р и м е р 1. Пусть С[0, 1] - пространство непрерывных функций, заданных на отрезке с нормой Вводится сетка и рассматривается множество С h, [0, 1] функций , заданных на сетке wh.

Множество С h[0, 1] образует (N+1)-мерное векторное пространство относительно покоординатного сложения и умножения на число. Норма в Ch[0, 1] согласована с нормой в С[0, 1] в том смысле, что для любой функции определен вектор и существует Любой линейный Р. О. как оператор, действующий в конечномерном пространстве, может быть представлен матрицей. Характерными свойствами матриц, порождаемых разностными операторами, являются их большой размер и относительно большое число нулевых элементов. В общем случае конструкция пространств сеточных функций и Р. О. Может быть весьма сложной. Наиболее изучены свойства Р. О., действующих в пространствах с гильбертовой метрикой. В этом случае наибольший интерес представляют такие свойства Р.

О., как самосопряженность и положительность. В основе математич. Аппарата, позволяющего исследовать свойства Р. О., лежат разностные аналоги формул дифференцирования произведения и интегрирования по частям. П р и м е р 2. Пусть задано множество действительных функций на сетке wh. Вводятся обозначения. Справедливы следующие формулы. Имеет место также формула суммирования по частям Из последней формулы следует, в частности, самосопряженность и положительность оператора второй разностной производной на множестве функций, заданных на сетке wh и обращающихся в нуль на границе i=0, i=N. Многочисленные исследования посвящены изучению свойств разностных аппроксимаций дифференциальных операторов эллиптич.

Типа (см. [1]-[4]). Для построения соответствующих Р. О. Используются такие эффективные методы, как метод баланса, конечных элементов, вариационные и проекционные методы. Найденные разностные аппроксимации хорошо моделируют основные свойства исходных операторов, такие, напр., как эллиптичность, выполнение принципа максимума и др. Построены также Р. О., аппроксимирующие эллиптические дифференциальные операторы в областях сложной формы при различных типах краевых условий и в случае нерегулярных сеток (см. [5]). Свойства стационарных Р. О. Используются для изучения устойчивости нестационарных разностных задач и для построения итерационных методов. При этом теория итерационных методов может быть изложена как один из разделов общей теории устойчивости разностных схем (см.

[6], [7]). В связи с построением экономичных разностных схем для многомерных задач математич. Физики исследованы факторизованные Р. О., то есть многомерные Р. О., представимые в виде произведения одномерных Р. О. (см. [1]). Изучались и нелинейные Р. О. (см. [8]). Лит.:[1] С а м а р с к и й А. А., Теория разностных схем, М., 1977. [2] С а м а р с к и й А. А., А н д р е е в В. Б., Разностные методы для эллиптических уравнений, М., 1976. [3] К о р н е е в В. Г., Схемы метода конечных элементов высоких порядков точности, Л., 1977. [4] О б э н Ж.-П., Приближенное решение эллиптических краевых задач, пер. С англ., М., 1977. [5] С а м а р с к и й А. А., Ф р я з и н о в И. В., "Успехи матем. Наук", 1976, т. 31, в. 6, с. 167-97. [6] С а м а р с к и й А.

А., Г у л и н А. В., Устойчивость разностных схем, М., 1973. [7] С а м а р с к и й А. А., Н и к о л а е в Е. С., Методы решения сеточных уравнений, М., 1978. [8] К а р ч е в с к и й М. М., Л я ш к о A. Д., "Изв. Вузов. Математика", 1972, № 11, с. 23-31. 1973, № 3, с. 44 - 52. А. В. Гулин, А. А. Самарский.