復對稱矩陣

復對稱矩陣

復對稱矩陣(complex symmetric matrix)是一種對稱矩陣,指aij=aji(i,j=1,2,…,n)的n階復矩陣A=(aij)。任何n階復矩陣相似於復對稱矩陣。復對稱矩陣與實對稱矩陣的顯著區別之一是不一定能對角化,但是,對於復對稱矩陣仍然有類似於自伴矩陣譜定理那樣的分解。

基本介紹


復對稱矩陣指的n階復矩陣。任何n階復矩陣相似於復對稱矩陣,任何復對稱矩陣S正交相似於對稱矩陣,即存在正交矩陣T,使,其中
是准對角形矩陣,子塊E 是p階單位矩陣,子塊
復對稱矩陣
復對稱矩陣
稱為復對稱矩陣S的標準形。

相關分析


矩陣是對稱的,是指 ,在許多場合,所研究的對稱矩陣只有實元素,因而它們是實Hermite矩陣
但是,在有些情形,我們要與復對稱矩陣打交道,一個例子是研究複平面中單位圓盤的正則解析映射,如果f(z)是單位圓盤上的正則解析函數,又如果f(z)是適合和的標準化了的函數,那麼,f(z)是一一的(有時稱為單葉的),當且僅當
對滿足的點的所有選擇,點的所有選擇和所有,2,...成立。如果,則右邊的差商可以看作。這些稱為Grunsky不等式組的龐雜不等式有很簡單的代數形式
其中,
應注意的是,A是Hermite矩陣,而B是 復對稱矩陣。
另一個自然要產生復對稱矩陣的例子出現在一般的矩問題中。設是給定的複數序列,設是某個正整數,且定義,注意A是形狀為Hankel矩陣的復對稱矩陣。對 ,我們考慮復二次型,要問是否存在某個固定常數,使得對所有 和所有,2,...有
根據Nebari定理,這個條件成立,當且僅當存在一個幾乎處處有界的Lebesgue可測函數,它的Fourier係數是已知數;關於F(t)的本質邊界恰好是上述不等式組的常數c。
在實際應用中復對稱矩陣似乎不像復Hermite(或實對稱)矩陣那樣幾乎經常出現,但是前兩個例子說明,它們還是出現了,雖然復對稱矩陣不一定可對角化,可是復對稱矩陣有一個類似於Hermite 矩陣的譜定理的分解,並且可以用邏輯上類似的方法來證明它,我們首先證明一個與Schur三角分解定理類似的定理,它說明,包括對稱矩陣在內的一類矩陣總可以分解成,其中U是西矩陣,是上三角矩陣,如果,上三角矩陣是對稱的,則它必定是對角矩陣。
定理1 設是給定的,那麼存在西矩陣和上三角矩陣使得,當且僅當的所有特徵值是非負實數,在這個條件下,的所有主對角元可以選取非負值。
每個對稱矩陣有如下性質:的所有特徵值都是非負的。該特殊形式已包含在上述定理中,人們通常把它歸功於Schur(1945). 但是較早的證明是由Hua(1944),Siegel(1943)和Jacobsen(1939)提出的;而歷史的優先權顯然應該屬於Takagi(1925)。
推論(Takagi分解) 如果是對稱矩陣,則存在西矩陣和非負實對角矩陣使得。U的諸列是由的特徵向量組成的標準正交組,而的相應對角元是的相應特徵值的非負平方根。