Оператор Гильберта — Шмидта

Оператор Гильберта — Шмидта — класс компактных операторов в гильбертовом пространстве

Пусть ${\displaystyle T:H\to K}$ - компактный оператор между гильбертовыми пространствами.
Для ${\displaystyle T}$ можно выбрать ортонормированные системы ${\displaystyle \{e_{1}^{'},e_{2}^{'},...\}\subset H}$, ${\displaystyle \{e_{1}^{''},e_{2}^{''},...\}\subset K}$ и последовательность неотрицательных чисел ${\displaystyle \{s_{n}\}}$ так, что ${\displaystyle Tx=\sum _{n}s_{n}(x,e_{n}^{'})e_{n}^{''}}$.
${\displaystyle T}$ называют оператором Гильберта — Шмидта, если для его ${\displaystyle s}$-чисел выполнено неравенство: ${\displaystyle \sum _{n}s_{n}^{2}<\infty }$.
Класс операторов Гильберта — Шмидта обозначают: ${\displaystyle \mathbf {S} _{2}(H,K)}$

• Класс ${\displaystyle \mathbf {S} _{2}(H,K)}$ представляет собой банахово пространство относительно нормы ${\displaystyle ||T||_{HS}={\sqrt {\sum _{n}s_{n}^{2}}}}$
• Совокупность операторов конечного ранга плотна в ${\displaystyle \mathbf {S} _{2}(H,K)}$
• Пространство ${\displaystyle \mathbf {S} _{2}(H,K)}$ - сепарабельно, если ${\displaystyle H,K}$ - сепарабельны
• Если ${\displaystyle T_{1},T_{2}\in \mathbf {S} _{2}(H)}$, то ${\displaystyle T=T_{1}T_{2}}$ - ядерный оператор и
  ${\displaystyle ||T||_{\mathcal {N}}\leq ||T_{1}||_{HS}||T_{2}||_{HS}}$
• В конечномерном пространстве норма Гильберта — Шмидта совпадает с нормой Фробениуса
• Композиция оператора Гильберта — Шмидта с любым ограниченным оператором является оператор Гильберта — Шмидта
• ${\displaystyle T}$ - оператор Гильберта — Шмидта, если найдутся такие ортонормированные базисы ${\displaystyle \{e_{n}\}_{n\in I}}$ и ${\displaystyle \{f_{m}\}_{m\in J}}$ в пространстве ${\displaystyle H}$ и ${\displaystyle K}$ соответственно, что ${\displaystyle \sum _{n,m}|\langle T(e_{n}),f_{m}\rangle _{K}|^{2}<+\infty }$. Величину ${\displaystyle \langle T(e_{n}),f_{m}\rangle _{K}}$ называют матричным элементом оператора${\displaystyle T}$. Их совокупность образует аналог матрицы линейного оператора. Таким образом, операторы Гильберта — Шмидта — операторы с квадратично суммируемой матрицей.

Класс ${\displaystyle \mathbf {S} _{2}(H)}$ можно естественным образом превратить в гильбертово пространство, если для операторов ${\displaystyle T_{1},T_{2}\in \mathbf {S} _{2}(H)}$ ввести скалярное произведение:
${\displaystyle \langle T_{1},T_{2}\rangle =\operatorname {Tr} (T_{1}T_{2}^{*})=\operatorname {Tr} (T_{2}^{*}T_{1})}$, которое вдобавок согласуется с ${\displaystyle ||\cdot ||_{2}}$.

Из этого следует ряд свойств:

• Класс ${\displaystyle \mathbf {S} _{2}(H)}$ - сепарабельное гильбертово пространство.
• Пусть ${\displaystyle \{e_{k}^{'}\}}$ и ${\displaystyle \{e_{l}^{''}\}}$ - какие-либо ортонормированные базисы в ${\displaystyle H}$. Тогда система одномерных операторов ${\displaystyle T_{kl}=(\cdot ,e_{k}^{'})e_{l}^{''}}$ образуют ортонормированный базис в гильбертовом пространстве ${\displaystyle \mathbf {S} _{2}(H)}$

• Оператор в ${\displaystyle L_{2}[a,b]}$ является оператором Гильберта — Шмидта тогда и только тогда, когда он является интегральным оператором с квадратично интегрируемым ядром.
• Ядерный оператор является оператором Гильберта — Шмидта

• А. Я. Хелемский. Лекции по функциональному анализу. — МЦНМО, 2014. — 552 с. — 2000 экз. — ISBN 5-94057-065-8.
• А. Пич. Ядерные локально выпуклые пространства. — МИР, 1967. — 266 с.
• М. Ш. Бирман М. З. Соломяк. Спектральная теория самосопряженных операторов в гильбертовом пространстве. — Лань, 2010. — 458 с. — 1000 экз. — ISBN 978-5-8114-1076-7.

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