Введение

Конструирование для эрмитовых матриц

В математике, коэффициент Рэлея (/'r//eɪ//.//l//i/) для заданной комплексной эрмитовой матрицы и ненулевого вектора определяется как: Для вещественных матриц и векторов условие эрмитовости сводится к условию симметричности, а сопряжённая транспозиция – к обычной транспозиции. Отметим, что для любого ненулевого скаляра. Напомним, что эрмитова (или вещественно симметричная) матрица диагонализуема только с вещественными собственными значениями. Можно показать, что для заданной матрицы коэффициент Рэлея достигает своего минимального значения (наименьшего собственного значения) при (соответствующем собственном векторе). Аналогично, и .

Коэффициент Рэлея используется в теореме min-max для получения точных значений всех собственных значений. Он также применяется в алгоритмах вычисления собственных значений (таких как итерация по коэффициенту Рэлея) для получения приближения собственного значения на основе приближения собственного вектора. Область значений коэффициента Рэлея (для любой матрицы, не обязательно эрмитовой) называется числовым рядом и содержит её спектр. Когда матрица эрмитова, числовой радиус равен спектральной норме. В функциональном анализе также известен как спектральный радиус. В контексте алгебр или алгебраической квантовой механики функция, которая сопоставляет коэффициенту Рэлея-Рица для фиксированной и изменяющейся по алгебре, называется векторным состоянием алгебры. В квантовой механике коэффициент Рэлея даёт ожидаемое значение наблюдаемой, соответствующей оператору для системы, состояние которой задано формулой.

Если мы фиксируем комплексную матрицу, то полученное отображение коэффициента Рэлея (рассматриваемое как функция) полностью определяет её через тождество поляризации; это остаётся верным даже в том случае, если мы допускаем, что она не является эрмитовой. Однако, если мы ограничим поле скаляров вещественными числами, то коэффициент Рэлея определяет только симметричную часть.

Границы для гермита M

Как указано во введении, для любого вектора x справедливо , где – соответственно наименьшее и наибольшее собственные значения матрицы M. Это следует непосредственно из того, что коэффициент Рэлея является взвешенным средним собственных значений M:

где – -я собственная пара после ортонормализации, а – -я координата вектора x в собственном базисе. Легко проверить, что эти границы достигаются на соответствующих собственных векторах. Тот факт, что коэффициент Рэлея является взвешенным средним собственных значений, можно использовать для определения второго, третьего и т.д. наибольших собственных значений. Пусть – собственные значения, упорядоченные по убыванию. Если и ограничено условием ортогональности к , то есть , то достигает максимального значения , которое достигается при .

Обобщения

Для данной пары (A, B) матриц и заданного ненулевого вектора x обобщенный коэффициент Рэлея определяется как: Обобщенный коэффициент Рэлея может быть сведен к коэффициенту Рэлея посредством преобразования, где L – разложение Холецкого эрмитовой положительно определенной матрицы B. Для данной пары (x, y) ненулевых векторов и заданной эрмитовой матрицы H обобщенный коэффициент Рэлея может быть определен как: , что совпадает с R(H, x) при x = y. В квантовой механике эта величина называется "матричным элементом" или иногда "амплитудой перехода".