對角優勢矩陣
對角佔優矩陣是指一矩陣的每一橫行,對角線上元素的大小大於或等於同一橫行其他元素大小的和,一矩陣A為對角佔優矩陣若
其中aij為第i行第j列的元素。
上述的定義中用到大於等於,其條件較鬆,因此有時會稱為弱對角佔優矩陣,若上述的定義用大於代替大於等於,則稱為強對角佔優矩陣。對角優勢矩陣可以指弱對角佔優矩陣,也可以指強對角佔優矩陣,視上下文而定[1]。
變體
編輯第一段的定義是考慮同一橫行其他元素大小的和,有時也稱為行對角優勢矩陣,若是考慮同一直列其他元素大小的和,則稱為列對角優勢矩陣。
若一不可約矩陣是弱對角優勢矩陣,但至少一橫行(或一直列)符合強對角優勢的條件,則此矩陣稱為不可約對角優勢矩陣。
例子
編輯矩陣
可得
- 因為
- 因為
- 因為 .
因為任一對角線元素大小都大於等於同一行其他元素的和,因此A為對角優勢矩陣。
矩陣
但是
- 因為
- 因為
- 因為 .
因為 和 都小於同一列其他元素大小的和,因此B不是對角優勢矩陣。
矩陣
可得
- 因為
- 因為
- 因為 .
因為任一對角線元素大小都大於同一行其他元素的和,因此C為強對角優勢矩陣。
應用及性質
編輯強對角優勢矩陣(或不可約對角優勢矩陣[2])是非奇異方陣,此結果即為Levy–Desplanques定理[3],針對強對角優勢矩陣的結果,可以用Gershgorin圓定理證明。
若不考慮對稱性的條件,上述的矩陣不一定會是半正定矩陣。(例如, ),但其特徵值的實部為非負數(參見對角優勢矩陣的結果,可以用Gershgorin圓定理。)
類似的,若埃爾米特強對角優勢矩陣的對角線元素為正,此矩陣為正定矩陣,此矩陣等於某個對角線元素為非負值實數的埃爾米特強對角優勢矩陣 加上 ,其中 為正的實數(也是正定矩陣)。
若高斯消元法(LU分解)的矩陣為強對角優勢矩陣,不需要進行尋找軸元的過程。
若一線性聯立方程的矩陣為強對角優勢矩陣或不可約對角優勢矩陣,利用雅可比法及高斯-賽德爾迭代的計算結果會收斂。
許多從有限元素法中產生的矩陣都是對角優勢矩陣。
參考資料
編輯- ^ For instance, Horn and Johnson (1985, p. 349) use it to mean weak diagonal dominance.
- ^ Horn and Johnson, Thm 6.2.27.
- ^ Horn and Johnson, Thm 6.1.10. This result has been independently rediscovered dozens of times. A few notable ones are Lévy (1881), Desplanques (1886), Minkowski (1900), Hadamard (1903), Schur, Markov (1908), Rohrbach (1931), Gershgorin (1931), Artin (1932), Ostrowski (1937), and Furtwängler (1936). For a history of this "recurring theorem" see: Taussky, Olga. A recurring theorem on determinants. American Mathematical Monthly (The American Mathematical Monthly, Vol. 56, No. 10). 1949, 56 (10): 672–676. JSTOR 2305561. doi:10.2307/2305561. Another useful history is in: Schneider, Hans. Olga Taussky-Todd's influence on matrix theory and matrix theorists. Linear and Multilinear Algebra. 1977, 5 (3): 197–224. doi:10.1080/03081087708817197.
- Gene H. Golub & Charles F. Van Loan. Matrix Computations, 1996. ISBN 0-8018-5414-8
- Roger A. Horn & Charles R. Johnson. Matrix Analysis, Cambridge University Press, 1985. ISBN 0-521-38632-2 (paperback).