Неравенства Вейля: стабильность спектра при возмущениях

Математические модели физических процессов никогда не бывают абсолютно точными. Матрицы, описывающие квантовые гамильтонианы или графы инженерных сетей, всегда содержат погрешности: ошибки измерений приборов, неточности констант или аппаратный шум плавающей запятой процессора. Возникает критически важный вопрос: если мы немного изменим элементы матрицы (добавим шум), насколько сильно сместятся ее собственные значения (спектр)? Не развалится ли мост из-за ошибки датчика в 1%? Немецкий математик и физик-теоретик Герман Вейль ответил на этот вопрос, доказав серию жестких алгебраических неравенств для эрмитовых (симметричных) матриц. Неравенства Вейля гарантируют непрерывность и предсказуемость спектра в условиях хаоса.

Симметричные матрицы и линейность спектра

Пусть у нас есть исходная, «идеальная» симметричная матрица A, и мы добавляем к ней матрицу возмущений (шума) B, которая также является симметричной. Мы получаем новую зашумленную систему A+B. Известно, что сумма симметричных матриц симметрична. Но собственные значения суммы матриц в общем случае не равны сумме собственных значений! Спектр — это нелинейная функция. Однако Герман Вейль нашел способ жестко связать спектры матриц A, B и A+B. Для этого он применил минимаксный принцип Куранта-Фишера. Отсортировав собственные значения всех трех матриц по возрастанию, Вейль вывел строгие алгебраические границы, которые показывают максимально возможное смещение каждого отдельного корня системы.

Формулировка базовых неравенств

Самое известное и интуитивно понятное неравенство Вейля описывает диапазон смещения конкретного k-го собственного значения. Оно гласит: k-е собственное значение суммы матриц (A+B) гарантированно ограничено снизу как k-е собственное значение матрицы A плюс самое маленькое собственное значение матрицы B, а сверху — как k-е собственное значение A плюс самое большое собственное значение матрицы B. Если матрица B — это малый измерительный шум, то ее собственные значения находятся в узком диапазоне от -epsilon до +epsilon. Следовательно, теорема Вейля гарантирует, что абсолютно ни одно собственное значение исходной матрицы не сместится более чем на величину epsilon. Это математическое подтверждение того, что спектр симметричной матрицы феноменально устойчив к шуму.

Теорема Лидского и вариация спектра

В развитие идей Вейля советский математик Виктор Борисович Лидский доказал еще более мощный результат. Если мы возьмем вектор всех собственных значений матрицы A и вычтем из него вектор всех собственных значений зашумленной матрицы A+B, мы получим вектор сдвигов спектра. Лидский доказал, что этот вектор сдвигов всегда мажорируется вектором собственных значений самой матрицы возмущений B. Это означает, что общая «энергия» изменения спектра жестко лимитирована энергетикой добавленного шума. В терминах норм это выражается теоремой Хоффмана-Виландта: сумма квадратов изменений всех собственных значений никогда не превысит сумму квадратов элементов матрицы возмущений (ее нормы Фробениуса).

Квантовая механика и теория возмущений

В теоретической физике неравенства Вейля лежат в основе всей стационарной теории возмущений. Атомы и молекулы описываются гигантскими матрицами (гамильтонианами), найти точные собственные значения которых (энергетические уровни) невозможно. Физики берут простой, решаемый гамильтониан (A) и добавляют к нему сложную физическую компоненту как возмущение (B). Неравенства Вейля позволяют без решения уравнения Шрёдингера аналитически оценить, насколько сильно расщепятся энергетические уровни (например, эффект Штарка или эффект Зеемана в магнитном поле). Эта стабильность спектральных свойств является краеугольным камнем квантовой химии, позволяя моделировать сложные молекулярные орбитали с абсолютной математической надежностью.

Оценить