В функциональном анализе классическое разделение спектра на точечный, непрерывный и остаточный не всегда дает полную картину. Для более глубокого понимания структуры операторов, особенно в квантовой механике и теории дифференциальных уравнений, вводится понятие существенного спектра, $\sigma_{ess}(T)$. Интуитивно, это та часть спектра, которая остается неизменной при добавлении компактных возмущений. Это делает его фундаментальной характеристикой оператора, описывающей его «неустранимые» спектральные свойства.

Ключевым инструментом для идентификации точек в спектре является критерий Вейля, который связывает спектр с существованием «аппроксимативных собственных векторов». Для самосопряженного оператора $T$ в гильбертовом пространстве $\mathcal{H}$ число $\lambda$ принадлежит спектру $\sigma(T)$ тогда и только тогда, когда существует последовательность единичных векторов $x_n \in \mathcal{H}$ (последовательность Вейля), для которой соответствующая норма стремится к нулю.

Существует несколько эквивалентных определений существенного спектра. Одно из наиболее распространенных, $\sigma_{ess,2}(T)$, определяет его как множество таких $\lambda \in \mathbb{C}$, для которых оператор $T - \lambda I$ не является фредгольмовым. Эта формулировка особенно удобна для анализа устойчивости.

Центральным результатом, подчеркивающим важность существенного спектра, является теорема Вейля. Она утверждает, что существенный спектр самосопряженного оператора инвариантен относительно компактных возмущений. Если $T$ — самосопряженный оператор, а $K$ — компактный самосопряженный оператор, то их существенные спектры совпадают.

Это означает, что компактные операторы, которые в бесконечномерных пространствах являются аналогами матриц в конечномерном случае, могут изменять только «дискретную» часть спектра. Они могут добавлять или удалять изолированные собственные значения конечной кратности, но не могут сдвинуть непрерывную, «существенную» его часть. Это свойство имеет решающее значение в квантовой механике, где потенциалы, убывающие на бесконечности, часто приводят к компактным возмущениям оператора свободной частицы, не меняя его существенный спектр, который соответствует энергиям рассеяния.

Непрерывный спектр $\sigma_c(T)$ не является монолитным. Используя спектральную теорему для самосопряженных операторов, его можно разложить на две дизъюнктные части: абсолютно непрерывный спектр ($\sigma_{ac}(T)$) и сингулярный непрерывный спектр ($\sigma_{sc}(T)$).

Разложение основано на мере Лебега и спектральной мере, ассоциированной с оператором. Точка $\lambda$ принадлежит $\sigma_{ac}(T)$, если соответствующая спектральная мера абсолютно непрерывна относительно меры Лебега. Если же мера сингулярна относительно меры Лебега, но при этом не имеет атомов (что соответствовало бы собственным значениям), то $\lambda$ попадает в $\sigma_{sc}(T)$.

Классическим примером оператора с чисто сингулярным непрерывным спектром является гамильтониан для одномерной квазикристаллической структуры, такой как модель «почти Матье». В таких системах отсутствует периодичность, что приводит к подавлению диффузии и появлению спектра, который не является ни дискретным, ни абсолютно непрерывным. Эти спектры часто имеют фрактальную структуру, подобную канторову множеству, и являются предметом активных исследований в математической физике.

Понимание этих тонких различий в структуре спектра необходимо для точного описания физических систем и решения сложных операторных уравнений.