Спектральная теория операторов

Спектральная теория операторов — это раздел функционального анализа, изучающий свойства линейных операторов в банаховых и гильбертовых пространствах через их спектр — обобщение понятия собственных значений матриц из линейной алгебры. Основная цель теории — описать структуру оператора, разложив его на более простые компоненты, и понять, как оператор действует на элементы пространства. Спектральная теория является фундаментом для квантовой механики, теории дифференциальных уравнений, гармонического анализа и многих других областей математики и физики.

История

Истоки в линейной алгебре и интегральных уравнениях

Корни спектральной теории лежат в задачах линейной алгебры XIX века, где для матриц были введены понятия собственных значений и собственных векторов. Однако решающий импульс дали работы Давида Гильберта (начало XX века) по теории интегральных уравнений. Гильберт изучал интегральные операторы вида \( (Kf)(x) = \int_a^b K(x,y) f(y) \, dy \) и показал, что для симметричных ядер (когда \( K(x,y) = \overline{K(y,x)} \)) существует ортонормированный базис из собственных функций, а сам оператор представляется в виде суммы одномерных проекторов. Это стало прообразом спектральной теоремы для компактных самосопряжённых операторов.

Развитие в XX веке

В 1920-х годах Джон фон Нейман, работая над математическими основами квантовой механики, обобщил идеи Гильберта на неограниченные самосопряжённые операторы в гильбертовом пространстве. Он ввёл понятие спектральной меры и доказал спектральную теорему, которая позволяет представить любой самосопряжённый оператор как интеграл по его спектру. В 1930-1940-х годах Маршалл Стоун, Норберт Винер и другие развили теорию для унитарных операторов и групп операторов. Параллельно, в работах Фридриха Рисса и Стефана Банаха была создана общая теория спектра для ограниченных операторов в банаховых пространствах, включая понятие спектрального радиуса и функционального исчисления.

Основные понятия

Спектр оператора

Пусть \( A \) — линейный оператор, действующий в комплексном банаховом пространстве \( X \). Спектром \( \sigma(A) \) называется множество комплексных чисел \( \lambda \), для которых оператор \( A - \lambda I \) не имеет ограниченного обратного оператора, определённого на всём \( X \). Спектр является замкнутым подмножеством комплексной плоскости и всегда непуст для ограниченных операторов. Он делится на три непересекающиеся части:

• Точечный спектр \( \sigma_p(A) \) — собственные значения, для которых \( A - \lambda I \) не инъективен (существует ненулевой вектор \( x \), такой что \( Ax = \lambda x \)).
• Непрерывный спектр \( \sigma_c(A) \) — числа, для которых \( A - \lambda I \) инъективен, его образ плотен в \( X \), но обратный оператор неограничен.
• Остаточный спектр \( \sigma_r(A) \) — числа, для которых \( A - \lambda I \) инъективен, но его образ не плотен в \( X \).

Резольвента

Функция \( R(\lambda, A) = (A - \lambda I)^{-1} \), определённая на множестве регулярных точек (дополнении к спектру), называется резольвентой. Она является аналитической операторнозначной функцией от \( \lambda \) и удовлетворяет резольвентному тождеству: \( R(\lambda) - R(\mu) = (\lambda - \mu) R(\lambda) R(\mu) \). Поведение резольвенты вблизи спектра даёт важную информацию об операторе.

Спектральный радиус

Спектральный радиус \( r(A) \) определяется как \( r(A) = \sup \{ |\lambda| : \lambda \in \sigma(A) \} \). Для ограниченного оператора справедлива формула Гельфанда: \( r(A) = \lim_{n \to \infty} \|A^n\|^{1/n} \). Спектральный радиус не превосходит нормы оператора, но может быть строго меньше.

Спектральная теорема

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

Компактный самосопряжённый оператор \( A \) в гильбертовом пространстве \( H \) обладает дискретным спектром, состоящим из собственных значений \( \lambda_n \), которые стремятся к нулю (если их бесконечно много). Каждому ненулевому собственному значению соответствует конечномерное собственное подпространство. Существует ортонормированный базис из собственных векторов, и оператор представляется в виде: \[ A x = \sum_{n} \lambda_n \langle x, e_n \rangle e_n, \] где \( e_n \) — собственные векторы. Это разложение является аналогом диагонализации матрицы.

Для ограниченных самосопряжённых операторов

Для произвольного ограниченного самосопряжённого оператора \( A \) спектральная теорема утверждает существование спектральной меры \( E(\cdot) \) — проекторнозначной меры на борелевских подмножествах спектра \( \sigma(A) \), такой что: \[ A = \int_{\sigma(A)} \lambda \, dE(\lambda). \] Интеграл понимается в смысле Стилтьеса-Римана или Лебега. Эта формула позволяет определить функции от оператора: для любой борелевской функции \( f \) на \( \sigma(A) \) оператор \( f(A) \) задаётся как \( f(A) = \int f(\lambda) \, dE(\lambda) \). Это функциональное исчисление является мощным инструментом.

Для неограниченных самосопряжённых операторов

Спектральная теорема обобщается на неограниченные самосопряжённые операторы, которые возникают в квантовой механике (например, операторы координаты и импульса). В этом случае спектр может быть непрерывным и неограниченным. Спектральная мера \( E(\lambda) \) определяется на всей вещественной оси, и оператор представляется интегралом: \[ A = \int_{-\infty}^{+\infty} \lambda \, dE(\lambda). \] Область определения оператора \( A \) состоит из векторов \( x \in H \), для которых интеграл \( \int \lambda^2 \, d\|E(\lambda)x\|^2 \) сходится.

Классификация операторов по спектру

Операторы с дискретным спектром

Спектр состоит из изолированных собственных значений конечной кратности, возможно с единственной предельной точкой (например, у компактных операторов — ноль). Такие операторы часто встречаются в задачах на собственные значения для дифференциальных операторов на ограниченных областях.

Операторы с непрерывным спектром

Спектр содержит интервалы или более сложные континуумы. Пример — оператор умножения на независимую переменную в \( L^2(\mathbb{R}) \): \( (Mf)(x) = x f(x) \). Его спектр — вся вещественная ось, и он является чисто непрерывным (нет собственных значений).

Спектральные типы

Спектр может быть смешанным. Различают:

• Абсолютно непрерывный спектр — соответствует спектральной мере, абсолютно непрерывной относительно меры Лебега.
• Сингулярный непрерывный спектр — спектральная мера сингулярна относительно меры Лебега (например, канторова лестница).
• Точечный спектр — соответствует атомам спектральной меры.

Применение

Квантовая механика

Спектральная теория является математическим языком квантовой механики. Физические наблюдаемые (энергия, импульс, координата) моделируются самосопряжёнными операторами в гильбертовом пространстве. Спектр оператора энергии (гамильтониана) даёт возможные значения энергии системы. Дискретный спектр соответствует связанным состояниям, непрерывный — состояниям рассеяния. Спектральная теорема позволяет вычислять вероятности переходов между состояниями.

Теория дифференциальных уравнений

Спектральные методы используются для решения краевых задач для обыкновенных и дифференциальных уравнений в частных производных. Разложение по собственным функциям (например, ряды Фурье, сферические функции) является прямым следствием спектральной теории для операторов Штурма-Лиувилля и Лапласа.

Гармонический анализ

Преобразование Фурье можно рассматривать как спектральное разложение оператора дифференцирования. Теория обобщённых функций и теория представлений групп также тесно связаны со спектральной теорией.

Теория управления и обработка сигналов

Спектральный анализ сигналов (разложение на частоты) основан на спектральной теории операторов сдвига. В теории управления спектральные методы применяются для анализа устойчивости систем.

Критика и ограничения

Спектральная теория хорошо развита для самосопряжённых и нормальных операторов в гильбертовых пространствах. Для несамосопряжённых операторов в банаховых пространствах ситуация сложнее: спектр может быть неполным, а разложение по собственным векторам — не существовать. Развитие теории несамосопряжённых операторов (теория Крейна-Ланжера, псевдоспектры) является активной областью исследований. Кроме того, для неограниченных операторов возникают технические сложности с определением области определения и спектральной меры.

Интересные факты

• Спектральная теорема для самосопряжённых операторов является одним из величайших достижений математики XX века. Джон фон Нейман посвятил ей свою знаменитую книгу «Математические основы квантовой механики».
• Понятие спектрального радиуса было введено Израилем Гельфандом в 1941 году.
• Спектральная теория тесно связана с теорией алгебр фон Неймана и C*-алгебр, где она принимает особенно элегантную форму.
• В квантовой механике спектр оператора энергии атома водорода был вычислен ещё в 1913 году Нильсом Бором, но строгое математическое обоснование с помощью спектральной теории появилось лишь в 1930-х годах.

Источники

• Рид М., Саймон Б. «Методы современной математической физики. Том 1: Функциональный анализ»
• Колмогоров А. Н., Фомин С. В. «Элементы теории функций и функционального анализа»
• Халмош П. «Гильбертово пространство в задачах»
• Данфорд Н., Шварц Дж. «Линейные операторы. Общая теория»
• Фон Нейман Дж. «Математические основы квантовой механики»