Вполне непрерывный линейный оператор

Определение вполне непрерывного (компактного) оператора

Определение 1. Оператор \(A: X \to Y\), где \(X\) и \(Y\) - банаховы пространства, называется вполне непрерывным, если он любую слабо сходящуюся последовательность переводит в последовательность, сходящуюся по норме: \( x_n \xrightarrow{w} x \implies \|A x_n\| \to \|A x\|\).

Определение 2. Оператор \(A: X \to Y\) называется компактным, если он всякое ограниченное множество \(M \subset X\) переводит в предкомпактное множество в \(Y\). (Без ограничения общности, достаточно проверять предкомпактность множества \(A(\bar{B}_1(0))\) в \(Y\), где \(\bar{B}_1(0) = \{x \in X: \|x\| \leqslant 1\}\) — замкнутый шар радиуса 1 c центром в нуле).

Замечание 1. Всякий вполне непрерывный или компактный оператор — ограничен.

Утверждение 1. Пусть $$H$$ — гильбертово. Если оператор \(A: H \to H\) — вполне непрерывен, то сопряжённый оператор $$A^*$$ тоже вполне непрерывен.

Доказательство. Заметим, что если \(x_n \xrightarrow{w} x\), то:

\[\|A^*x_n - A^*x\|^2 = \langle A^*(x_n - x), A^*(x_n - x) \rangle = \langle AA^*(x_n - x), x_n - x \rangle \leqslant \|A(A^*(x_n - x))\| \cdot \|x_n - x\|.\]

Так как последовательность \(\{x_n\}\) — ограничена, а оператор \(A^*\) — непрерывен, последовательность \(\{A^*(x_n - x)\}\) сходится слабо к нулю.

Оператор \(A\) — вполне непрерывен, поэтому он переводит слабо сходящуюся последовательность \(\{A(A^*(x_n - x))\}\) в сходящуюся по норме\[\|A(A^*(x_n - x))\| \to 0.\]

Так как множитель \(\|x_n - x\|\) ограничен, то вся правая часть неравенства стремится к нулю, откуда следует, что \(\|A^*x_n\| \to \|A^*x\|\). То есть, оператор \(A^*\) вполне непрерывен по определению. \(\blacksquare\)

Связь компактных и вполне непрерывных операторов

Лемма 1. Если \(x_n \xrightarrow{w} x\), то \(Ax_n \xrightarrow{w} Ax\).

Доказательство. \(\langle Ax_n, y \rangle = \langle x_n, A^*y \rangle \to \langle x, A^*y \rangle = \langle Ax, y \rangle\). \(\blacksquare\)

Теорема 1. Линейный оператор \(A \in \mathcal{L}(X, Y)\) является вполне непрерывным $$\Longleftrightarrow$$ этот линейный оператор является компактным.

В правую сторону. Рассмотрим произвольную ограниченную последовательность $$\{x_n\}$$, из неё можно выбрать слабо сходящуюся подпоследовательность \(\{x_{n_k}\} \xrightarrow{w} x\). По определению вполне непрерывного оператора это означает, что \(\{Ax_{n_k}\} \to Ax\). Наличие сильно сходящейся подпоследовательности для любой ограниченной последовательности означает, что образ ограниченного множества предкомпактен, то есть оператор \(A\) компактен.

В левую сторону. Предположим противное. Пусть существует такая $$x_n \xrightarrow{w} x$$, что $$Ax_n \not\to Ax$$. По лемме: $$Ax_n \xrightarrow{w} Ax$$. Заметим сначала, что $$Ax_n$$ может сходиться только к $$Ax$$. По предположению:\[\forall\ \varepsilon > 0 \ \exists\ \ \{n_k\}: \|Ax_{n_k} - Ax\| \geqslant \varepsilon.\] $$\{x_{n_k}\}$$ — сходится слабо, откуда следует, что она также и ограничена, откуда из определения компактного оператора следует, что $$\{Ax_{n_k}\}$$ — предкомпактное, значит из неё можно выбрать фундаментальную подпоследовательность $$\{Ax_{n_{k_l}}\}$$, а из баноховости $$Y$$, $$\{Ax_{n_{k_l}}\}$$ будет сходиться к некоторому $$y$$, и неравенство выше выполняться не будет: $$\|Ax_{n_{k_l}} - Ax\| < \varepsilon$$. Таким образом, существует $$y$$ такое, что $$\|Ax_{n_{k_l}} - y\| \to 0$$ и $$y$$ может быть равно только $$Ax$$. \(\blacksquare\)

Замкнутость множества вполне непрерывных (компактных) операторов

Теорема 2. Если $$A$$ — ограниченный линейный оператор, а $$\{A_n\}$$ — последовательность компактных операторов, такая что $$\|A_n - A\| \to 0$$ при $$n \to \infty$$, то оператор $$A$$ также является компактным.

Доказательство. Пусть $$M \subset X$$ — произвольное ограниченное множество, и \(C = \sup_{x \in M} \|x\|\). Для доказательства компактности $$A$$ воспользуемся критерием предкомпактности: покажем, что для любого $$\varepsilon > 0$$ образ $$A(M)$$ обладает конечной $$\varepsilon$$-сетью.

Зафиксируем $$\varepsilon > 0$$. Так как $$\|A_n - A\| \to 0$$, выберем такое число $$n$$, чтобы \(\|A_n - A\| < \frac{\varepsilon}{2C}\).

Множество $$A_n(M)$$ предкомпактно (так как операторы $$A_n$$ компактны по условию). Значит, для него существует конечная $$\frac{\varepsilon}{2}$$-сеть $$\{y_1, \dots, y_k\} \subset Y$$.

Проверим, что эта же сеть будет являться $$\varepsilon$$-сетью для множества $$A(M)$$. Для любого $$Ax \in A(M)$$:\[\|Ax - y_i\| = \|Ax - A_nx + A_nx - y_i\| \leqslant \|(A - A_n)x\| + \|A_nx - y_i\|.\]

Оценка первого слагаемого:\[\|(A - A_n)x\| \leqslant \|A - A_n\| \cdot \|x\| < \frac{\varepsilon}{2C} \cdot C = \frac{\varepsilon}{2}\].

А второе слагаемое оценивается выбором сетки для $$A_n(M)$$:\[\|A_nx - y_i\| < \frac{\varepsilon}{2}\].

Откуда:\[\|Ax - y_i\| < \frac{\varepsilon}{2} + \frac{\varepsilon}{2} = \varepsilon\].

Таким образом, для любого ограниченного множества образ имеет конечную $$\varepsilon$$-сеть, следовательно, $$A(M)$$ предкомпактно, и оператор $$A$$ компактен. \(\blacksquare\)

Замечание 2. Из Теоремы 2 следует, что пространство компактных операторов является замкнутым в пространстве всех ограниченных операторов. Следовательно, ограниченный, но не компактный оператор нельзя приблизить по норме последовательностью компактных.

Приближение вполне непрерывных (компактных) операторов конечномерными

Свойства проекторов в гильбертовом пространстве

Пусть $$H$$ — сепарабельное гильбертово пространство, а $$\{e_k\}$$ — его ортонормированный базис. Определим последовательность конечномерных проекторов $$P_n$$ и остаточных операторов $$R_n$$: \[P_n x = \sum_{k=1}^n \langle x, e_k \rangle e_k, \quad R_n x = \sum_{k=n+1}^\infty \langle x, e_k \rangle e_k.\]

Для этих операторов выполняются свойства:

• Разложение единицы: $$P_n + R_n = E$$, где $$E$$ — тождественный оператор.
• Сильная сходимость: $$P_n x \to x$$ для любого $$x \in H$$ при $$n \to \infty$$.
• Отсутствие сходимости по норме: $$\|P_n - E\| \not\to 0$$(в бесконечномерном случае).
• Самосопряженность: $$P_n = P_n^*$$ и $$R_n = R_n^*$$.

Теорема о приближении вполне непрерывных (компактных) операторов конечномерными

Лемма 2. Для любого компактного оператора $$A$$ существует вектор $$z \in H$$ с единичной нормой ($$\|z\|=1$$), на котором достигается норма оператора — $$\|A\| = \|Az\|.$$

Доказательство. Рассмотрим последовательность $$\{x_n\}$$, такую что $$\|x_n\|=1$$ и $$\|Ax_n\| \to \|A\|$$.

$$\{x_n\}$$ — ограничена, значит, можем выбрать слабо сходящуюся подпоследовательность: $$x_{n_k} \xrightarrow{w} z$$.

Из компактности(вполне непрерывности) $$A$$ следует, что $$Ax_{n_k} \to Az$$. Значит, \(\|Az\| = \lim \|Ax_{n_k}\| = \|A\|\).

Так как $$\|Az\| \leqslant \|A\| \cdot \|z\|$$, а $$\|Az\| = \|A\|$$, то $$\|z\| \geqslant 1$$.

В то же время из свойств слабого предела получаем $$\|z\| \leqslant \underline{\lim} \|x_{n_k}\| = 1$$.

Таким образом, $$\|z\| = 1$$. \(\blacksquare\)

Теорема 3. Если оператор $$A: H \to H$$ компактен, то\[\|A - P_n A P_n\| \to 0 \quad \text{при } n \to \infty.\]

Доказательство. Сначала покажем, что если $$\{x_n\}$$ ограничена, то $$R_n x_n \xrightarrow{w} 0$$. Действительно:\[ \forall\ y \in H: |\langle R_n x_n, y \rangle| = |\langle x_n, R_n y \rangle| \leqslant \|x_n\| \cdot \|R_n y\| \to 0,\] так как $$\|R_n y\| \to 0$$.

Далее рассмотрим разность\[\|A - P_n A P_n\| = \|P_n A + R_n A - P_n A P_n\| = \|P_n A P_n + R_n A R_n + R_n A - P_n A P_n\| = \|P_n A R_n + R_n A\| \leqslant \|P_n A R_n\| + \|R_n A\|.\]

Теперь оценим норму:\[\|A - P_n A P_n\| \leqslant \|P_n A R_n\| + \|R_n A\|.\] Первое слагаемое: Оператор $$P_n A R_n$$ компактен, значит, по лемме, существует $$\|x_n\|=1$$, такой что $$\|P_n A R_n\| = \|P_n A R_n x_n\|$$. Так как $$R_n x_n \xrightarrow{w} 0$$, а $$A$$ вполне непрерывен, то $$A(R_n x_n) \to 0$$. Значит, $$\|P_n A R_n x_n\| \to 0$$.

Второе слагаемое: Заметим, что $$\|R_n A\| = \|A^* R_n\|$$. Так как $$A^*$$ компактен, то аналогично $$\|A^* R_n\| \to 0$$. \(\blacksquare\)