a) Мы опишем теперь второй метод построения приближенных решений, называемый методом Галёркина. Этот метод имеет то преимущество, что сводит рассматриваемую задачу к конечномерной задаче. А именно, в качестве приближенного решения уравнения $Lu=f$ берется решение этого уравнения, спроектированного на некоторое конечномерное пространство. Предположим, что множество $\Vert v{\Vert }_r⩽1$ компактно в пространстве $V^0$ (это предположение, конечно, выполняется для пространств Соболева на торе). Мы можем поэтому представить скалярное произведение $(v,w{)}_0$ в виде $(v,w{)}_0=(v,Rw{)}_r$, где $R-$ симметричный вполне непрерывный оператор ${}^1$. Пусть $N⩾1$. Обозначим через $H_N$ инвариантное подпространство оператора $R$, порожденное собственными векторами с такими собственными значениями $\lambda$, для которых $|\lambda |>N^{-r},H_N$ — конечномерное пространство, причем
$$\Vert v{\Vert }_0⩾N^{-r}\Vert v{\Vert }_r\text{ при }v\in H_N\text{ и }\Vert v{\Vert }_0⩽N^{-r}\Vert v{\Vert }_r\text{ при }v\in H_{1/N}.$$

Обозначим через $P_N$ оператор ортогонального проектирования на $H_N$ в пространстве $V^0$. Тогда
$$\begin{array}{c}{\Vert P_{N}v\Vert }_r⩽N^r{\Vert P_{N}v\Vert }_0,\\ {\Vert (I-P_N)v\Vert }_0⩽N^{-r}{\Vert (I-P_N)v\Vert }_r⩽N^{-r}\Vert v{\Vert }_r.\end{array}$$

Так как оператор $P_N$ коммутирует с оператором дифференцирования, имеем также
$${\Vert P_{N}v\Vert }_r⩽N^{r-s}{\Vert P_{N}v\Vert }_s,{\Vert (I-P_N)v\Vert }_0⩽N^{-s}{\Vert (I-P_N)v\Vert }_s.$$

Операторы $P_N$ образуют семейство коммутирующих самосопряженных проекторов, удовлетворяющих условию $P_N{P}_{N^{\prime }}=P_N$ при $N^{\prime }>N$.

В пространстве Соболева на торе образом оператора $P_N$ является некоторое пространство тригонометрических полиномов. Ясно, что аналогичные операторы на сфере будут проектировать $V^0$ на подпространство, порожденное первыми сферическими функциями, а на произвольном замкнутом многообразии — на подпространство, порожденное первыми собственными функциями оператора Лапласа-Бельтрами.
b) Приступим теперь к построению приближенных решений линейного уравнения $Lv=g$. В $\mathrm{\S }1$ было показано, что в случае $L=I-$ тождественный оператор, приближенные решения уравнения $Lv=g$ задаются формулой $v=P_{N}g$.

Аналогичным образом строится приближенное решение уравнения $Lv=g$, если оператор $L$ удовлетворяет следующим неравенствам:
$$\Vert v{\Vert }_0^2⩽(v,Lv{)}_0,\Vert v{\Vert }_s^2⩽c((v,Lv{)}_s+K_1^2\Vert v{\Vert }_0^2)$$

и
$$\Vert Lv{\Vert }_s⩽c\Vert v{\Vert }_r.$$

Пусть $\Vert g{\Vert }_s⩽K,\Vert g{\Vert }_0⩽1$. Пусть $v=v_N\in H_N$ — решение линейного уравнения
$$P_N(Lv-g)=0.$$

Так как оператор $P_N$ переводит все пространство $V^0$ в конечномерное подпространство, уравнение (4.4) можно рассматривать как систему конечного числа линейных алгебраических уравнений, причем число неизвестных равно числу уравнений. Для разрешимости этой системы достаточно, чтобы определитель был отличен от нуля или, что то же самое, чтобы соответствующая однородная система имела только нулевое решение.

Из (4.2) вытекает, что $\Vert v{\Vert }_0⩽(v,Lv{)}_0={(P_{N}v,Lv)}_0=(v,g{)}_0$ и, следовательно,
$$\Vert v{\Vert }_0⩽\Vert g{\Vert }_0.$$

Оценим порядок аппроксимации. Из (4.1′) и (4.2) находим
$$\Vert v{\Vert }_r^2⩽{(N^{r-s}\Vert v{\Vert }_s)}^2⩽N^{2(r-s)}c((v,g{)}_s+K_1^2\Vert v{\Vert }_0^2).$$

Оценивая правую часть неравенства с помощью неравенства Шварца, получаем
$$\Vert v{\Vert }_r⩽c{N}^{r-s}K,\text{ если только }K⩾K_1.$$

Остается оценить $\Vert Lv-g{\Vert }_0$. Заметим, что $Lv-g$ ортогонально к подпространству $H_N$, и поэтому в силу (4.1) имеет место оценка
$$\Vert Lv-g{\Vert }_0⩽N^{-s}\Vert Lv-g{\Vert }_s⩽N^{-s}(\Vert Lv{\Vert }_s+\Vert g{\Vert }_s).$$

Используя (4.3) и (4.6), получаем
$$\Vert Lv-g{\Vert }_0⩽N^{-s}(c{c}_1{N}^{r-s}K+K)⩽c_{2}K{N}^{r-2s},$$

если $s<r<2s$ и $N>1$. Таким образом, из (4.7) следует, что $v$ является приближенным решением с порядком аппроксимации
$$\mu =\frac{2s-r}{r-s},\text{ если }s<r<2s.$$

Например, $\mu =s-1$ при $r=s+1$.
Полученные нами результаты показывают, что задача построения приближенного решения сводится к конечномерным задачам, если только множество $\Vert v{\Vert }_r⩽1$ компактно в $V^0$; это имеет место, например, в случае пространств функций на компактных многообразиях, где нормы вводятся аналогично тому, как мы вводили их на торе.