Компактный оператор

<< >>

Напоминание: все рассматриваемые пространства считаем Банаховыми.

Определение:

Множество называется относительно компактным, если его замыкание компактно

Определение:

Линейный ограниченный оператор [math] A : X \to Y [/math] называется компактным, если [math] A [/math] переводит любое ограниченное подмножество [math] X [/math] в относительно компактное множество из [math] Y [/math].

Из определения ясно, что мы получаем усиление ограниченности, так как любое относительно компактное множество — ограничено.

Пример

Рассмотрим пространство [math] C[0,1] [/math]. Пусть [math] K(t, s) [/math] — непрерывно на [math] [0,1]\times[0,1] [/math] и ограничено: [math] | K(t,s) | \leq M [/math].

Введем оператор [math]A: C[0,1] \to C[0,1][/math] как [math] A(x,t) = \int\limits_0^1 K(t,s) x(s) ds [/math], где [math] x(s) \in C[0,1] [/math].

Зададим норму [math] \| x \| = \max\limits_{s \in [0,1]} | x(s) | \implies |x(s)| \leq \| x \| [/math].

Утверждение:

Оператор [math] A(x,t) = \int\limits_0^1 K(t,s) x(s) ds [/math] — компактный.

[math]\triangleright[/math]

[math] | A(x,t) | \leq M \cdot \| x \| [/math] [math] \| A x \| \leq M \cdot \| x \| [/math] Проверим, что реализуются условия теоремы Арцела-Асколи о предкомпактности множества в [math] C[a, b] [/math]: [math] T \subset C[0,1] [/math] — относительно компактное [math]\iff[/math] [math]\exists M\ \forall x \in T : \|x\| \leq M [/math] [math] \forall \varepsilon \gt 0 \ \exists \delta \gt 0 : | t'' - t' | \lt \delta \implies \forall x \in T : | x(t') - x(t'') | \lt \varepsilon [/math] — равностепенная непрерывность. Рассмотрим [math]V = \{ x \mid \|x\| \le 1\}[/math] и [math]A(V)[/math]. [math]\|K(u, z)\| \le M, \|A(x)\| \le M\|x\|, x \in V, \|x\| \le 1 [/math] [math]\|Ax\| \le M[/math] [math]|A(x, t'') - A(x, t')| = |\int\limits_0^1 (K(t'', s) - K(t', s)) x(s) ds|[/math] [math]K(u, z)[/math] непрерывна на компакте [math][0, 1] \times [0, 1][/math], следовательно, равномерно непрерывна на нем. Отсюда, [math]\forall \varepsilon \gt 0 \exists \delta \gt 0: |t'' - t'| \lt \delta \implies |K(t'', s) - K(t', s)| \lt \varepsilon \forall s \in [0, 1][/math]. Таким образом, [math]|A(x, t'') - A(x, t')| \le \int\limits_0^1 \varepsilon |x(s)| ds \le \varepsilon \|x\| \lt \varepsilon[/math], получили равностепенную непрерывность [math]A[/math].

[math]\triangleleft[/math]

Критерий проверки компактности

Замечание: в бесконечномерном пространстве шар не будет компактом (следствие из теоремы Рисса о почти перпендикуляре), следовательно, [math]\mathcal{I}x = x[/math] — не компактен.

Для определения компактности используется критерий Хаусдорфа: множество компактно тогда и только тогда, когда оно замкнуто и вполне ограниченно, то есть у него существует конечная [math]\varepsilon[/math]-сеть.

Произведение компактных операторов

Утверждение:

[math] A \in \mathcal{L} (X,Y), ~ B \in \mathcal{L} (Y,Z) [/math], [math] C = B \cdot A [/math] (произведение, суперпозиция). Тогда: Если [math] B [/math] ­— ограниченный, [math] A [/math] ­— компактный, то [math] C [/math] ­— компактный. Если [math] B [/math] ­— компактный, [math] A [/math] ­— ограниченный, то [math] C [/math] ­— компактный.

[math]\triangleright[/math]

<wikitex>Докажем первый случай, второй доказывается аналогично. Рассмотрим единичный шар $V = \{ x \mid \

[math]\triangleleft[/math]

Утверждение (следствие):

Если [math] B [/math] — компактный оператор, то он (в бесконечномерном случае) не может быть непрерывно обратимым.

[math]\triangleright[/math]

От противного: пусть [math] \exists B^{-1} \implies I = B \cdot B^{-1} [/math] — компактный по доказанному утверждению, что невозможно в бесконечномерном случае.

[math]\triangleleft[/math]

Компактность сопряженного оператора

Утверждение:

Если [math]A: E \to F[/math] — компактный, то [math]A^*: F^* \to E^*[/math] — тоже компактный.

[math]\triangleright[/math]

(Стырено у прошлого курса) По определению сопряженного оператора, если [math]\phi \in F^*[/math], то [math]A^*\phi = \phi A[/math]. 1. Для доказательства необходимо показать, что множество [math]\{A^*\phi \mid \|\phi\| \le 1\}[/math] будет относительно компактно в [math]E^*[/math]. Для этого надо показать, что если взята последовательность [math]\{\phi_n\}[/math] такая, что [math]\|\phi_n\| \le 1\[/math], то можно выбрать [math]\{\phi_{n_k}\}[/math] такую, что [math]A^*\phi_{n_k}[/math] сходится в [math]E^*[/math]. 2. Рассмотрим в [math]E[/math] единичный замкнутый шар [math]\overline{V}[/math]. По компактности оператора [math]K = Cl(A(\overline{V})) \subset F[/math] будет метрическим компактом. Рассмотрим сужение функционалов [math]\phi_n[/math] на [math]K[/math]. 3. Докажем равностепенную непрерывность этой последовательности: рассмотрим [math]y, z \in K[/math]. Норма [math]\|\phi_n(z) - \phi_n(y)\| = \|\phi_n(z - y)\| \le \|\phi_n\| \|z - y\| \le \|z - y\|[/math] не зависит от [math]n[/math], а следовательно [math]\{\phi_n\}[/math] равностепенно непрерывна. 4. Выполняется и равномерная ограниченность последовательности. Для любого [math]y \in K[/math]: [math]\|\phi_n(y)\| \le \|\phi_n\| \|y\| \le \|y\| \le const[/math]. 5. Таким образом [math]\{\phi_n\}[/math] равномерно ограничена и равностепенно непрерывна, следовательно, по теореме Арцела — Асколи из нее можно выделить равномерно сходящуюся последовательность [math]\{\phi_{n_m}\}[/math] в [math]K[/math]. Для доказательства теоремы осталось показать, что [math]A^*\{\phi_{n_m}\}[/math] сходится в [math]E^*[/math]. Для этого достаточно выяснить, что [math]A^*\{\phi_{n_m}\}[/math] равномерно сходится (при устремлении [math]m[/math] к бесконечности) на [math]\overline{V}[/math]. 6. Рассмотрим [math]\varepsilon \gt 0[/math]. По равномерной сходимости [math]\{\phi_{n_m}\}[/math] на [math]K[/math]: [math]\exists p_0 : \forall i, j \ge p_0 : \forall y \in K : \| \phi_{n_j}(y) - \phi_{n_i}(y) \| \le \varepsilon[/math]. 7. Следовательно, для любого [math]x \in \overline{V}[/math] верно [math]\| \phi_{n_j}(Ax) - \phi_{n_i}(Ax) \| \le \varepsilon[/math]. Замечая, что [math]\phi_{n_i}(Ax) = A^*(\phi_{n_i}, x)[/math], приходим к равномерной сходимости [math]A^*\phi_{n_m}[/math] на [math]\overline{V}[/math]. Таким образом, теорема доказана.

[math]\triangleleft[/math]

Утверждение:

Пусть [math] A [/math] ­— компактный, тогда [math] R(A) [/math] — сепарабельно (то есть, в [math] R(A) [/math] существует счетное всюду плотное подмножество).

[math]\triangleright[/math]

[math] X = \bigcup\limits_{n=1}^{\infty} V_n, \quad V_n = \{ x \mid \| x \| \lt n \} [/math] — счетное объединение шаров. [math] R(A) = A (X) = \bigcup\limits_{n=1}^{\infty} A(V_n) [/math] [math] A(V_n) [/math] — относительно компактно. Используя теорему Хаусдорфа, можно показать, что любое относительно компактное множество сепарабельно: объединение [math]\varepsilon[/math]-сетей при [math]\varepsilon = \frac1n[/math] для [math]n[/math] от [math]1[/math] до [math]\infty[/math] счетно и оно будет всюду плотным в этом множестве. Счетное объединение сепарабельных множеств ­— сепарабельно, значит [math] R(A) [/math] — сепарабельно.

[math]\triangleleft[/math]