|
設 是不同的實數,並考慮矩陣

證明 可以表示為

其中列向量 生成一個多項式

滿足

您可以引用您瞭解的任何關於多項式插值的知識來證明 是非奇異的。
|
我們想要證明

或者等價地,
th,
th
的項是
當
,並且是
當
,也就是說

首先注意到

同樣地,注意到

因此,

|
令 為一個實數矩陣,階數為 ,特徵值為 ,以及 個線性無關的特徵向量 . 假設您想找到一個特徵向量 ,它對應於特徵值 ,並且您已知 使得

指定一個數值演算法,用於找到 ,並給出該演算法的收斂證明,證明它在適當的情況下是收斂的。
|
令

然後,

這表明

因為移動特徵值和矩陣求逆不會影響特徵向量,

假設對於所有
,
。生成
以找到
。從任意
開始,滿足
。
For
(Rayleigh quotient)
End
如果對於所有
,
,那麼
將被
支配。
因為
線性無關,它們構成
的基底。因此,

根據特徵向量的定義,

為了找到
的一般形式,即第 k 步的近似特徵向量,可以觀察演算法中的幾個步驟。

根據歸納法,

因此,

比較加權
和
,

因為假設
。
上述表示式在
趨於
,因為對於所有
,都有
。因此,隨著
的增長,
與
平行。因為
,因此必然有
。
|
假設 A 是一個上三角非奇異矩陣。證明當使用雅克比迭代和高斯-賽德爾迭代求解 時,它們會在有限步內收斂。
|
令
,其中
是一個對角矩陣,
是一個下三角矩陣,其對角線為零,而
也是一個上三角矩陣,其對角線也為零。
雅克比迭代可以透過將
代入
中,並求解
,即
假設條件下,由於
,迭代公式為

類似地,將
代入,將
分組,並解出
,即
由於假設條件下
,雅可比迭代和高斯-賽德爾迭代的公式相同。

雅可比迭代和高斯-賽德爾迭代是將矩陣
分解成
、
和
:分別是對角矩陣、上三角矩陣(對角線以上部分)和下三角矩陣(對角線以下部分)。它們的迭代過程如下:
(高斯-賽德爾)
(雅可比方法)
在本例中,
為上三角矩陣,因此
為零矩陣。因此,高斯-賽德爾方法和雅可比方法具有以下相同的形式

此外,
可以寫成

從
中減去
,我們得到
在我們這個問題中,
是對角矩陣,
是上三角矩陣,對角線上為零。注意,積
也是上三角矩陣,對角線上為零。
令
,

此外,令
為相關矩陣

其中
是
,
是
,並且
是
.
最後,乘積
(稱為 (1))是

這裡
的結構與
幾乎完全相同,只是它的對角元素為零。
此時,在
步(起始矩陣的大小)時,收斂應該是顯而易見的,因為
僅僅是
,其中
,每次
被
乘以,第 k 個上對角線被清零(其中 k=0 表示對角線本身)。經過
次應用
後,結果將是大小為
的零矩陣。
簡而言之,
是大小為
的零矩陣。
因此,
,也就是說,當
為上三角矩陣時,用於求解
的雅可比和高斯-賽德爾方法在
步內收斂。


-
- R = ( 0 ∗ ∗ ∗ 0 0 ∗ ∗ 0 0 0 ∗ 0 0 0 0 ) {\displaystyle R={\begin{pmatrix}0&*&*&*\\0&0&*&*\\0&0&0&*\\0&0&0&0\\\end{pmatrix}}}

- R 2 = ( 0 ∗ ∗ ∗ 0 0 ∗ ∗ 0 0 0 ∗ 0 0 0 0 ) ( 0 ∗ ∗ ∗ 0 0 ∗ ∗ 0 0 0 ∗ 0 0 0 0 ) = ( 0 0 ∗ ∗ 0 0 0 ∗ 0 0 0 0 0 0 0 0 ) {\displaystyle R^{2}={\begin{pmatrix}0&*&*&*\\0&0&*&*\\0&0&0&*\\0&0&0&0\\\end{pmatrix}}{\begin{pmatrix}0&*&*&*\\0&0&*&*\\0&0&0&*\\0&0&0&0\\\end{pmatrix}}={\begin{pmatrix}0&0&*&*\\0&0&0&*\\0&0&0&0\\0&0&0&0\\\end{pmatrix}}}

- R 3 = ( 0 ∗ ∗ ∗ 0 0 ∗ ∗ 0 0 0 ∗ 0 0 0 0 ) ( 0 0 ∗ ∗ 0 0 0 ∗ 0 0 0 0 0 0 0 0 ) = ( 0 0 0 ∗ 0 0 0 0 0 0 0 0 0 0 0 0 ) {\displaystyle R^{3}={\begin{pmatrix}0&*&*&*\\0&0&*&*\\0&0&0&*\\0&0&0&0\\\end{pmatrix}}{\begin{pmatrix}0&0&*&*\\0&0&0&*\\0&0&0&0\\0&0&0&0\\\end{pmatrix}}={\begin{pmatrix}0&0&0&*\\0&0&0&0\\0&0&0&0\\0&0&0&0\\\end{pmatrix}}}

- R 4 = ( 0 ∗ ∗ ∗ 0 0 ∗ ∗ 0 0 0 ∗ 0 0 0 0 ) ( 0 0 0 ∗ 0 0 0 0 0 0 0 0 0 0 0 0 ) = ( 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ) {\displaystyle R^{4}={\begin{pmatrix}0&*&*&*\\0&0&*&*\\0&0&0&*\\0&0&0&0\\\end{pmatrix}}{\begin{pmatrix}0&0&0&*\\0&0&0&0\\0&0&0&0\\0&0&0&0\\\end{pmatrix}}={\begin{pmatrix}0&0&0&0\\0&0&0&0\\0&0&0&0\\0&0&0&0\\\end{pmatrix}}}
