Спектральная теорема для самосопряжённых операторов

Спектральная теорема - главный структурный результат теории операторов: она говорит, что самосопряжённый оператор устроен «диагонально», даже если в бесконечномерном пространстве у него нет ни одного собственного вектора. В конечной размерности это знакомое разложение симметричной матрицы по ортонормированному базису. В гильбертовом пространстве язык собственных векторов перестаёт работать, и на смену сумме приходит интеграл по спектральной мере. Ниже разберём обе формулировки, чем непрерывный спектр отличается от точечного и как теорема выглядит для неограниченных операторов. Если нужно применить её к конкретному оператору, соберите запрос в форме ниже.

Что утверждает спектральная теорема

Пусть $A$ - самосопряжённый оператор в гильбертовом пространстве $H$, то есть $\langle Ax, y\rangle = \langle x, Ay\rangle$ для всех $x, y$ из области определения. Спектральная теорема утверждает: существует единственная спектральная мера (разложение единицы) $E$ на борелевских подмножествах вещественной прямой такая, что

$$A = \int_{\sigma(A)} \lambda \, dE(\lambda).$$

Здесь $\sigma(A)$ - спектр оператора, всегда лежащий на вещественной оси, а $E(\Delta)$ - ортогональный проектор, отвечающий борелевскому множеству $\Delta$. Содержательно это значит, что оператор «диагонален» относительно семейства проекторов $E$: каждый кусочек спектра вносит вклад через свой проектор, а собственное число $\lambda$ играет роль координаты на оси.

Главная ценность формулировки - она не требует существования собственных векторов. У оператора умножения на координату в $L^2$ нет ни одного собственного вектора, но спектральная мера у него есть, и теорема описывает его полностью.

Конечномерный случай: знакомая диагонализация

В пространстве $\mathbb{C}^n$ самосопряжённый оператор задаётся эрмитовой матрицей ($A^* = A$), а в вещественном случае - симметричной ($A^T = A$). Здесь спектральная теорема превращается в школьную диагонализацию:

$$A = \sum_{i} \lambda_i P_i,$$

где $\lambda_i$ - вещественные собственные числа, а $P_i$ - ортогональные проекторы на собственные подпространства. Спектральная мера здесь дискретна: $E(\Delta) = \sum_{\lambda_i \in \Delta} P_i$, то есть интеграл из общей формулы вырождается в конечную сумму.

Рассчитать для своей задачи

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

Спектральная мера и разложение единицы

Спектральная мера $E$ - это отображение, которое каждому борелевскому множеству $\Delta \subset \mathbb{R}$ сопоставляет ортогональный проектор $E(\Delta)$ так, что выполнены аксиомы:

$$\begin{aligned} E(\varnothing) &= 0, \quad E(\mathbb{R}) = I, \\ E(\Delta_1 \cap \Delta_2) &= E(\Delta_1)\,E(\Delta_2), \\ E\Big(\bigsqcup_k \Delta_k\Big) &= \sum_k E(\Delta_k). \end{aligned}$$

Последнее равенство понимается в смысле сильной сходимости. По сути $E$ - это «проекторнозначная вероятностная мера»: вместо чисел она присваивает множествам проекторы, а условие $E(\mathbb{R}) = I$ - аналог нормировки. Поэтому её ещё называют разложением единицы: тождественный оператор раскладывается по всему спектру.

Через спектральную меру определяется и скалярная мера. Для каждого вектора $x$ величина $\mu_x(\Delta) = \langle E(\Delta) x, x\rangle = \|E(\Delta)x\|^2$ - обычная неотрицательная мера на прямой, а интеграл сводится к классическому:

$$\langle Ax, x\rangle = \int_{\sigma(A)} \lambda \, d\mu_x(\lambda).$$

Именно эти скалярные меры $\mu_x$ переводят операторную задачу в язык обычного интегрирования, который уже умеет анализ.

Типы спектра: точечный, непрерывный, остаточный

В бесконечной размерности спектр $\sigma(A)$ устроен богаче, чем набор собственных чисел. Его принято делить на части:

• Точечный спектр $\sigma_p$ - собственные числа: $\lambda$, при которых $A - \lambda I$ не инъективен. Здесь спектральная мера даёт «атом», ненулевой проектор $E(\{\lambda\})$.
• Непрерывный спектр $\sigma_c$ - $\lambda$, при которых $A - \lambda I$ инъективен и имеет плотный образ, но не обратим. Собственного вектора нет, мера $E(\{\lambda\}) = 0$, но окрестность $\lambda$ несёт ненулевой проектор.
• Остаточный спектр для самосопряжённого оператора пуст - это важное следствие самосопряжённости.

Рассчитать для своей задачи

Классический пример непрерывного спектра - оператор умножения $(Af)(x) = x f(x)$ в $L^2[0,1]$. Его спектр - весь отрезок $[0,1]$, но ни одного собственного вектора нет: уравнение $x f(x) = \lambda f(x)$ заставляет $f$ обращаться в ноль почти всюду. Спектральная мера здесь - это $E(\Delta) f = \chi_\Delta \cdot f$, умножение на индикатор множества $\Delta$.

Функциональное исчисление

Из спектральной меры рождается главный инструмент - функциональное исчисление: для любой ограниченной борелевской функции $g$ корректно определён оператор

$$g(A) = \int_{\sigma(A)} g(\lambda) \, dE(\lambda).$$

Это превращает анализ функций в анализ операторов. Полагая $g(\lambda) = \lambda^2$, получаем $A^2$; полагая $g(\lambda) = e^{it\lambda}$ - унитарную группу $e^{itA}$, которая в квантовой механике описывает эволюцию во времени. Отображение $g \mapsto g(A)$ сохраняет операции: сумме функций отвечает сумма операторов, произведению - произведение, комплексному сопряжению - сопряжённый оператор.

Именно функциональное исчисление объясняет, почему спектральная теорема так важна для приложений: квадратный корень из положительного оператора, экспонента, резольвента $(A - z I)^{-1}$ - всё это значения подходящих функций на спектре. Похожую идею «привести оператор к каноническому виду и работать с ним покомпонентно» использует LU-разложение матрицы - там разложение нужно уже для прикладного решения систем.

Неограниченные операторы

Многие операторы физики - импульс $-i\,d/dx$, гамильтониан, оператор Лапласа - не ограничены: они определены не на всём $H$, а лишь на плотной области $D(A)$. Для них самосопряжённость требует тонкости: мало симметричности $\langle Ax,y\rangle = \langle x,Ay\rangle$, нужно ещё совпадение областей определения $A$ и сопряжённого $A^*$. Симметричный, но не самосопряжённый оператор спектральной теореме не подчиняется.

Если же $A = A^*$ в этом строгом смысле, теорема остаётся в силе: спектральная мера существует, и

$$A = \int_{\mathbb{R}} \lambda \, dE(\lambda),$$

причём область определения восстанавливается как $D(A) = \{x : \int \lambda^2 \, d\mu_x(\lambda) < \infty\}$. Эта аккуратность с областями - то, что отличает зрелую формулировку Стоуна и фон Неймана от наивного переноса матричной диагонализации.

Частые ошибки

• Считать, что у самосопряжённого оператора всегда есть собственные векторы. В бесконечной размерности их может не быть вовсе (непрерывный спектр) - но спектральная мера есть всегда.
• Путать симметричность и самосопряжённость для неограниченных операторов. Симметричность - лишь равенство скалярных произведений; самосопряжённость дополнительно требует $D(A) = D(A^*)$.
• Думать, что спектр самосопряжённого оператора может быть комплексным. Он всегда лежит на вещественной оси - это прямое следствие $A = A^*$.
• Забывать про остаточный спектр. Для самосопряжённого оператора он пуст, поэтому весь спектр исчерпывается точечным и непрерывным.
• Брать неограниченную функцию $g$ в функциональном исчислении без оговорок. Тогда $g(A)$ снова неограничен, и нужно следить за областью определения.

FAQ

Чем спектральная теорема в гильбертовом пространстве отличается от диагонализации матрицы? Принципиально - заменой суммы на интеграл. В конечной размерности оператор раскладывается в сумму $\sum \lambda_i P_i$ по собственным подпространствам. В бесконечной размерности собственных подпространств может не быть, и сумма заменяется интегралом $\int \lambda\, dE(\lambda)$ по спектральной мере. Конечномерный случай - частный, когда мера дискретна.

Зачем нужна спектральная мера, если можно говорить о собственных числах? Потому что собственных чисел может не хватить. Оператор умножения на координату не имеет ни одного собственного вектора, но полностью описывается спектральной мерой. Мера - универсальный язык, который одинаково работает и для точечного, и для непрерывного спектра.

Любой ли симметричный оператор подчиняется спектральной теореме? Нет. Для ограниченных операторов симметричность и самосопряжённость совпадают, но для неограниченных - нет. Симметричному, но не самосопряжённому оператору спектральная теорема в полной форме не применима, пока не построено его самосопряжённое расширение.

Коротко

Спектральная теорема для самосопряжённых операторов утверждает, что любой такой оператор представляется интегралом $\int \lambda\, dE(\lambda)$ по спектральной мере на вещественной оси. В конечной размерности это привычная диагонализация $\sum \lambda_i P_i$, в бесконечной - её обобщение, не требующее собственных векторов. Спектр распадается на точечную и непрерывную части, остаточный спектр пуст, а из спектральной меры вырастает функциональное исчисление - главный рабочий инструмент теории операторов и квантовой механики.