Теорема Бауэра – Фике - Википедия - Bauer–Fike theorem

В математика, то Теорема Бауэра – Фике. стандартный результат в теория возмущений из собственное значение комплексного диагонализуемая матрица. По сути, он устанавливает абсолютную верхнюю границу отклонения одного возмущенного собственного значения матрицы от правильно выбранного собственного значения точной матрицы. Неформально говоря, в нем говорится, что чувствительность собственных значений оценивается числом обусловленности матрицы собственных векторов.

Теорема была доказана Фридрих Л. Бауэр и К. Т. Фике в 1960 г.

Установка

Далее мы предполагаем, что:

• А ∈ C^п,п это диагонализуемая матрица;
• V ∈ C^п,п неособое собственный вектор матрица такая, что А = VΛV ⁻¹, куда Λ - диагональная матрица.
• Если Икс ∈ C^п,п обратима, ее номер условия в п-норма обозначается κ_п(Икс) и определяется:

${ displaystyle kappa _ {p} (X) = | X | _ {p} left | X ^ {- 1} right | _ {p}.}$

Теорема Бауэра – Фике.

Теорема Бауэра – Фике. Позволять μ быть собственным значением А + δA. Тогда существует λ ∈ Λ(А) такой, что:

${ displaystyle | lambda - mu | leq kappa _ {p} (V) | delta A | _ {p}}$

Доказательство. Мы можем предположить μ ∉ Λ(А), иначе возьмем λ = μ и результат тривиально верен, так как κ_п(V) ≥ 1. С μ является собственным значением А + δA, у нас есть det (А + δA − мкИ) = 0 и так

${ Displaystyle { begin {align} 0 & = det (A + delta A- mu I) & = det (V ^ {- 1}) det (A + delta A- mu I) det (V) & = det left (V ^ {- 1} (A + delta A- mu I) V right) & = det left (V ^ {- 1} AV + V ^ {- 1} delta AV-V ^ {- 1} mu IV right) & = det left ( Lambda + V ^ {- 1} delta AV- mu I right) & = det ( Lambda - mu I) det left (( Lambda - mu I) ^ {- 1} V ^ {- 1} delta AV + I right) конец {выровнено}}}$

Однако наше предположение, μ ∉ Λ(А), означает, что: det (Λ - мкИ) ≠ 0 и поэтому мы можем написать:

${ displaystyle det left (( Lambda - mu I) ^ {- 1} V ^ {- 1} delta AV + I right) = 0.}$

Это показывает −1 быть собственным значением

${ displaystyle ( Lambda - mu I) ^ {- 1} V ^ {- 1} delta AV.}$

Поскольку все п-нормы согласованные матричные нормы у нас есть |λ| ≤ ||А||_п куда λ является собственным значением А. В данном случае это дает нам:

${ displaystyle 1 = | -1 | leq left | ( Lambda - mu I) ^ {- 1} V ^ {- 1} delta AV right | _ {p} leq left | ( Lambda - mu I) ^ {- 1} right | _ {p} left | V ^ {- 1} right | _ {p} | V | _ {p} | delta A | _ {p} = left | ( Lambda - mu I) ^ {- 1} right | _ {p} kappa _ {p} (V) | delta A | _ {p}}$

Но (Λ - мкИ)⁻¹ диагональная матрица, п-норма которого легко вычисляется:

${ displaystyle left | left ( Lambda - mu I right) ^ {- 1} right | _ {p} = max _ { | { boldsymbol {x}} | _ {p} neq 0} { frac { left | left ( Lambda - mu I right) ^ {- 1} { boldsymbol {x}} right | _ {p}} { | { boldsymbol {x}} | _ {p}}} = max _ { lambda in Lambda (A)} { frac {1} {| lambda - mu |}} = { frac {1} { min _ { lambda in Lambda (A)} | lambda - mu |}}}$

откуда:

${ displaystyle min _ { lambda in Lambda (A)} | lambda - mu | leq kappa _ {p} (V) | delta A | _ {p}.}$

Альтернативная формулировка

Теорема также может быть переформулирована, чтобы лучше подходить для численных методов. Фактически, имея дело с реальными проблемами собственной системы, часто бывает точная матрица А, но знает только приблизительную пару собственное значение-собственный вектор, (λ^а, v^а ) и необходимо связать ошибку. Следующая версия поможет вам.

Теорема Бауэра – Фике (альтернативная формулировка). Позволять (λ^а, v^а ) - приближенная пара собственное значение-собственный вектор, и р = Аv^а − λ^аv^а. Тогда существует λ ∈ Λ(А) такой, что:

${ displaystyle left | lambda - lambda ^ {a} right | leq kappa _ {p} (V) { frac { | { boldsymbol {r}} | _ {p}} { left | { boldsymbol {v}} ^ {a} right | _ {p}}}}$

Доказательство. Мы можем предположить λ^а ∉ Λ(А), иначе возьмем λ = λ^а и результат тривиально верен, так как κ_п(V) ≥ 1. Так (А − λ^ая)⁻¹ существует, поэтому мы можем написать:

${ displaystyle { boldsymbol {v}} ^ {a} = left (A- lambda ^ {a} I right) ^ {- 1} { boldsymbol {r}} = V left (D- лямбда ^ {a} I right) ^ {- 1} V ^ {- 1} { boldsymbol {r}}}$

поскольку А диагонализуема; принимая п-нормы обеих сторон, получаем:

${ displaystyle left | { boldsymbol {v}} ^ {a} right | _ {p} = left | V left (D- lambda ^ {a} I right) ^ {- 1} V ^ {- 1} { boldsymbol {r}} right | _ {p} leq | V | _ {p} left | left (D- lambda ^ {a} I right) ^ {- 1} right | _ {p} left | V ^ {- 1} right | _ {p} | { boldsymbol {r}} | _ {p} = kappa _ {p} (V) left | left (D- lambda ^ {a} I right) ^ {- 1} right | _ {p} | { boldsymbol {r}} | _ {p}.}$

тем не мение

${ displaystyle left (D- lambda ^ {a} I right) ^ {- 1}}$

- диагональная матрица и ее п-norm легко вычисляется:

${ displaystyle left | left (D- lambda ^ {a} I right) ^ {- 1} right | _ {p} = max _ { | { boldsymbol {x}} | _ {p} neq 0} { frac { left | left (D- lambda ^ {a} I right) ^ {- 1} { boldsymbol {x}} right | _ { p}} { | { boldsymbol {x}} | _ {p}}} = max _ { lambda in sigma (A)} { frac {1} { left | lambda - lambda ^ {a} right |}} = { frac {1} { min _ { lambda in sigma (A)} left | lambda - lambda ^ {a} right |}}}$

откуда:

${ displaystyle min _ { lambda in lambda (A)} left | lambda - lambda ^ {a} right | leq kappa _ {p} (V) { frac { | { boldsymbol {r}} | _ {p}} { left | { boldsymbol {v}} ^ {a} right | _ {p}}}.}$

Относительная граница

Обе формулировки теоремы Бауэра – Фике дают абсолютную оценку. Следующее следствие полезно, когда требуется относительная оценка:

Следствие. Предполагать А обратима и что μ является собственным значением А + δA. Тогда существует λ ∈ Λ(А) такой, что:

${ displaystyle { frac {| lambda - mu |} {| lambda |}} leq kappa _ {p} (V) left | A ^ {- 1} delta A right | _{п}}$

Примечание. ||А⁻¹δA|| можно формально рассматривать как относительное изменение А, как только |λ − μ|/|λ| относительная вариация λ.

Доказательство. С μ является собственным значением А + δA и det (А) ≠ 0, умножив на −А⁻¹ слева имеем:

${ displaystyle -A ^ {- 1} (A + delta A) { boldsymbol {v}} = - mu A ^ {- 1} { boldsymbol {v}}.}$

Если мы установим:

${ displaystyle A ^ {a} = mu A ^ {- 1}, qquad ( delta A) ^ {a} = - A ^ {- 1} delta A}$

тогда у нас есть:

${ displaystyle left (A ^ {a} + ( delta A) ^ {a} -I right) { boldsymbol {v}} = { boldsymbol {0}}}$

что обозначает 1 является собственным значением А^а + (δA)^а, с v как собственный вектор. Теперь собственные значения А^а находятся μ/λ_я, в то время как у него такой же матрица собственных векторов в качестве А. Применяя теорему Бауэра – Фике к А^а + (δA)^а с собственным значением 1, дает нам:

${ displaystyle min _ { lambda in Lambda (A)} left | { frac { mu} { lambda}} - 1 right | = min _ { lambda in Lambda (A )} { frac {| lambda - mu |} {| lambda |}} leq kappa _ {p} (V) left | A ^ {- 1} delta A right | _ {п}}$

Случай нормальных матриц.

Если А является нормальный, V это унитарная матрица, следовательно:

${ displaystyle | V | _ {2} = left | V ^ {- 1} right | _ {2} = 1,}$

так что κ₂(V) = 1. Тогда теорема Бауэра – Фике принимает следующий вид:

${ displaystyle exists lambda in Lambda (A): quad | lambda - mu | leq | delta A | _ {2}}$

Или в альтернативной формулировке:

${ displaystyle exists lambda in Lambda (A): quad left | lambda - lambda ^ {a} right | leq { frac { | { boldsymbol {r}} | _ {2}} { left | { boldsymbol {v}} ^ {a} right | _ {2}}}}$

что, очевидно, остается верным, если А это Эрмитова матрица. В этом случае, однако, имеет место гораздо более сильный результат, известный как Теорема Вейля о собственных значениях. В эрмитовом случае теорему Бауэра – Фике можно также переформулировать в том виде, в котором отображение А ↦ Λ(А) который отображает матрицу на ее спектр это нерасширяющая функция с уважением к Расстояние Хаусдорфа на множестве компактных подмножеств C.

Рекомендации

• Bauer, F. L .; Фике, К. Т. (1960). «Нормы и теоремы исключения». Нумер. Математика. 2 (1): 137–141. Дои:10.1007 / BF01386217.
• Eisenstat, S.C .; Ипсен, И. К. Ф. (1998). «Три абсолютных границы возмущения для собственных значений матрицы подразумевают относительные границы». Журнал SIAM по матричному анализу и приложениям. 20 (1): 149–158. CiteSeerX  10.1.1.45.3999. Дои:10.1137 / S0895479897323282.