ПРОЕКЦИОННЫЕ МЕТОДЫ

Значение ПРОЕКЦИОННЫЕ МЕТОДЫ в математической энциклопедии:

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

Пусть L- оператор, область определения D(L).к-рого лежит в банаховом пространстве X, а область значений R(L) - в банаховом пространстве Y. Для решения уравнения

Lx = y(1)

проекционным методом выбирают две последовательности подпространств { Х _п}и {Y_n},

а также проекторы Р _п, проектирующие Yна Y_n. Уравнение (1) заменяется приближенным

(2)

В случае X=Y, X_n=Y_n, n=1; 2, . . . П. м. (2) принято называть методом Галерки на (иногда последний метод трактуется более широко, см. Галер-кина метод).

Имеет место теорема сходимости П. м. для линейных уравнений (для случая конечномерных подпространств Х _n и Y_n). Пусть Lлинеен и переводит D (L).на R(L).взаимно однозначно, причем D(L).и R(L).плотны в Х и Y соответственно; подпространства Х _п и Y_n конечномерны, dimX_n=dim Y_n, n=1, 2, . . ., а проекторы Р _п ограничены равномерно по п, то есть || Р _n||c=const, n=1, 2, . . . Тогда следующее условие а) равносильно набору условий б) и в):
а) начиная с нек-рого п= п ₀ существует единственное решение х _п уравнения (2) и ||Lx_n-y||.0 при любом ;

б) последовательность подпространств LХ _п предельно плотна в Y, т. е. расстояние d(y, LХ _n).О при для ;

в) , где .

Быстрота сходимости при соблюдении условий б) и в) характеризуется неравенством

(3)

В случае, когда пространства Xи Y гильбертовы, а Р _п и Q_n - ортопроекторы, проектирующие Y соответственно на Y_n и LX_n, условие в) равносильно условию

в') , где q_n=|| Р _n-Q_n|| - раствор подпространств Y_n и LX_n;вместо (3) получается оценка

В случае Y_n=LX_n (метод наименьших квадратов) q_n=0, n=1, 2, . . ., и критерием сходимости является условие б).

Теорема дает условие сходимости невязки ||L х _п -у||. Если L^-1 ограничен и , то из сходимости невязки следует сходимость самих приближении х _п к решению x=L^-1y у равнения (1). Из теоремы можно извлечь удобный критерий сходимости метода Галеркина; для метода Галеркина - Петрова следует дополнительно наложить условие типа в').

Пусть l - линейная ограниченная форма, а а - билинейная ограниченная форма на действительном гильбертовом пространстве Н(или полуторалинейная в случае комплексного Н). Допускается, что апредставима в виде , так что

а билинейная форма bвполне непрерывна, т. е. слабые сходимости в Нвлекут за собой сходимость (симметричность форм а, не обязательна). Пусть поставлена задача: найти такое, что

. (4)

Метод Галеркина решения задачи (4) заключается в следующем. Выбирают какие-нибудь (замкнутые) подпространства , n=1, 2, . . ., и находят такое, что

(5)

Имеет место следующая теорема: пусть {H_n} предельно плотна в H, выполнены наложенные выше на аусловия, и задача (4) имеет единственное решение (равносильное условие: однородная задача отыскания ииз условия имеет лишь тривиальное решение u=0); тогда задача (5) при всех достаточно больших пимеет единственное решение и с оценкой

где О _п - ортопроектор, проектирующий Нна H_n, с=const.

В применении к краевым задачам для уравнений эллиптич. типа в качестве Н, как правило, выбирается энергетич. пространство главной части соответствующего дифференциального оператора.

Лит.:[1] Красносельский М. А. [и д р.], Приближенное решение операторных уравнений, М., 1969.

Г. М. Вайникко.