10.07.2015 Views

С.П. Шарый - Институт вычислительных технологий СО РАН

С.П. Шарый - Институт вычислительных технологий СО РАН

С.П. Шарый - Институт вычислительных технологий СО РАН

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

3.16. <strong>П</strong>роблема собственных значений 401Если A — эрмитова n×n-матрица, то, как известно,A = UDU ∗ ,где D = diag{λ 1 ,λ 2 ,...,λ n } — диагональная матрица с вещественнымисобственными значениями матрицы A по диагонали, U — некотораяунитарная n×n-матрица (ортогональная в вещественном случае). ТогдаR(x) = 〈Ax,x〉〈x,x〉где y = U ∗ x. <strong>П</strong>оскольку= 〈UDU∗ x,x〉〈x,x〉1‖y‖ 2 2n∑|y i | 2 =i=1= 〈DU∗ x,U ∗ x〉〈U ∗ x,U ∗ x〉n∑i=1|y i | 2‖y‖ 2 2= 1,=∑ ni=1 λ i|y i | 2‖y‖ 2 ,2то для эрмитовых матриц отношение Рэлея есть выпуклая комбинация,с коэффициентами |y i | 2 /‖y‖ 2 2 , её собственных значений. В целомже из проведённых выше выкладок следует, что область значения отношенияРэлея для эрмитовой матрицы — это интервал [λ min ,λ max ] ⊂ R,коль скоро все λ i вещественны. Кроме того, для эрмитовых матриц отношениеРэлея позволяет легко находить нетривиальные границы длянаименьшего собственного значения сверху и наибольшего собственногозначения снизу.В теории на основе отношения Рэлея нетрудно вывести полезныеоценки для собственных и сингулярных чисел матриц. В частности, изсвойств отношения Рэлея следует (см. подробности в [40, 50])Теорема 3.16.3 (теорема Вейля) <strong>П</strong>усть A и B — эрмитовы n ×nматрицы,причём λ 1 ≥ λ 2 ≥ ... ≥ λ n — собственные значения матрицыA и ˜λ 1 ≥ ˜λ 2 ≥ ... ≥ ˜λ n — собственные значения матрицыà = A+B. Тогда |˜λ i −λ i | ≤ ‖B‖ 2 .<strong>С</strong>ледствие. <strong>П</strong>усть A и B — произвольные матрицы одинакового размера,причём σ 1 ≥ σ 2 ≥ ... ≥ σ n — сингулярные числа матрицы A, а˜σ 1 ≥ ˜σ 2 ≥ ... ≥ ˜σ n — сингулярные числа матрицы à = A+B. Тогда|˜σ i −σ i | ≤ ‖B‖ 2 .<strong>С</strong>ледствие из теоремы Вейля показывает, что сингулярные числанепрерывно зависят от элементов матрицы, и зависимость эта имеет

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!