Спектральное разложение линейного оператора
Спектра́льное разложе́ние лине́йного опера́тора, представление оператора в виде интеграла по спектральной мере (спектральной функции). Для любого самосопряжённого оператора в гильбертовом пространстве существует такая спектральная функция , что
Это означает, что
для любых , . Спектральная функция самосопряжённого оператора может быть вычислена через его резольвенту по формуле
Из теоремы о спектральном разложении самосопряжённого оператора следует возможность реализации самосопряжённых операторов операторами умножения и существование функционального исчисления на борелевских функциях.
Используя спектральное разложение самосопряжённого оператора и теорию расширений с выходом из пространства (Ахиезер. 1966), можно получить интегральное представление симметрического оператора через обобщённую спектральную функцию. Аналогично строится интегральное представление изометрических операторов. При этом аналогия между спектральными разложениями самосопряжённых и унитарных операторов, с одной стороны, и интегральными представлениями симметрических и изометрических – с другой, далеко не полная (отсутствие единственности обобщённых спектральных функций, отсутствие сильной сходимости интегралов, сравнительная узость функционального исчисления и т. п.).
Для любого ограниченного нормального оператора в гильбертовом пространстве существует такая счётно-аддитивная в сильной операторной топологии самосопряжённая спектральная мера на -алгебре борелевских подмножеств комплексной плоскости, что
При этом , , . Эта теорема допускает следующую удобную переформулировку: всякий ограниченный нормальный оператор унитарно эквивалентен оператору умножения на некоторую существенно ограниченную функцию в пространстве , причём мера может быть выбрана конечной, если пространство сепарабельно.
Из теоремы о спектральном разложении следует существование функционального исчисления от нормального оператора, т. е. гомоморфизма алгебры существенно ограниченных борелевских функций на в алгебру ограниченных операторов, удовлетворяющего условию и переводящего всякую ограниченную поточечно сходящуюся последовательность функций в сильно сходящуюся последовательность операторов. Образ этого гомоморфизма (т. е. множество всех функций от оператора ) совпадает с множеством всех операторов, перестановочных с каждым оператором, перестановочным с . Поскольку из существования функционального исчисления, в свою очередь, следует теорема о спектральном разложении, этот результат можно считать одной из форм спектральной теоремы. Теорема о спектральном разложении обобщается и на неограниченные нормальные операторы (Ахиезер. 1966).
Спектральная мера в случае спектрального разложения унитарного оператора – частного случая нормального оператора – может быть задана на единичной окружности. Спектральное разложение унитарного оператора иногда записывается в виде
где – спектральная функция, сосредоточенная на отрезке . Таким образом, спектральное разложение даёт возможность представить унитарный оператор в виде , где – самосопряжённый оператор. Этот результат обобщает теорема Стоуна: всякая сильно непрерывная однопараметрическая группа унитарных операторов представляется в виде
где – самосопряжённый (возможно, неограниченный) оператор.