保線性算子q次數(shù)值域的線性映射

劉畔畔，張樹功，李慶春

（1.吉林大學(xué) 數(shù)學(xué)研究所，長春130012；2.北華大學(xué) 數(shù)學(xué)與統(tǒng)計學(xué)院，吉林 吉林132013）

0 引言及預(yù)備知識

關(guān)于算子的數(shù)值域及廣義數(shù)值域的研究目前已取得許多結(jié)果.Langer等［1］在研究定義于Hilbert空間上分塊算子矩陣的譜理論過程中，首先引入了二次數(shù)值域的概念，但對它和數(shù)值域及譜的聯(lián)系以及二次數(shù)值域的基本性質(zhì)等未做深入探討；文獻［2］系統(tǒng)地研究了二次數(shù)值域與譜的關(guān)系，發(fā)現(xiàn)算子的二次數(shù)值域處于譜與數(shù)值域的閉包中；文獻［3－4］將二次數(shù)值域推廣到q次數(shù)值域，并得到了q次數(shù)值域的許多性質(zhì).刻畫矩陣集之間保不變量線性算子的問題稱為“線性保持問題”［5－11］，它在量子力學(xué)、微分幾何、系統(tǒng)控制、數(shù)理統(tǒng)計等領(lǐng)域應(yīng)用廣泛.例如，當從一個系統(tǒng)過渡到另一個系統(tǒng)時，總是希望能保持某些性質(zhì)和關(guān)系不變，這就要求引入線性保持問題.孫立宏［12］在一定條件下，刻畫了保線性算子二次數(shù)值域線性映射的具體表示形式.本文探討哪些線性算子在何種線性映射下保持q次數(shù)值域不變，討論保線性算子q次數(shù)值域線性映射的一般形式，推廣了文獻［12］的結(jié)果.

其中Aij∈B（Hj，Hi），i，j＝1，2，…，q.

定義1 設(shè)?！蔅（H），集合

定義1中，若q＝1，則W1（Γ）恰好是Γ的數(shù)值域；若q＝2，則W2（Γ）是文獻［1－3，12］中Γ的二次數(shù)值域.為方便，下面假設(shè)H為n維Hilbert空間，Hi為ki維子空間，其上算子Aij∈B（Hj，Hi）在某一組基下的矩陣表示仍記為Aij.于是，Γ的矩陣表示仍記為Γ，可以表示為式（1），為說明對應(yīng)的分塊形式，簡記為Γ（k）.

設(shè)Dn，Tn和Mn分別表示n×n復(fù)對角矩陣、復(fù)上三角矩陣和復(fù)矩陣代數(shù).Dn（k），Tn（k）和Mn（k）分別表示q×q階分塊對角、分塊上三角和分塊矩陣類，其對角塊是ki×ki（i＝1，2，…，q）階矩陣，其中k＝（k1，k2，…，kq）T，k1＋k2＋…＋kq＝n.下面認為算子的線性映射即為矩陣類上的線性映射.

若線性映射Φ：Mn→Mn滿足Wq（Γ）＝Wq（Φ（Γ）），??！蔒n，則稱Φ為保線性算子q次數(shù)值域的線性映射.本文刻畫線性映射Φ的表示形式.

1 主要結(jié)果

設(shè)Ci∈Mki（i＝1，2，…，q），定義C1⊕…⊕Cq＝diag（C1，…，Cq）.

引理1 設(shè)Ui（i＝1，2，…，q）是ki×ki階酉矩陣，

則

其中U＊i（i＝1，2，…，q）是Ui的共軛轉(zhuǎn)置.

證明：設(shè)λ∈Wq（Γ（k）），則存在xi∈?ki，‖xi‖＝1，i＝1，2，…，q，使得

因為Ui（i＝1，2，…，q）是酉矩陣，設(shè)x′i＝Uixi，則‖x′i‖＝1（i＝1，2，…，q）.

引理3［5，9］線性映射L：Mn→Mn是滿射，則滿足

的充要條件是存在酉矩陣U，使得L（A）＝UAU＊或L（A）＝（UAU＊）T，A∈Mn.

定理1 設(shè)ki＞1（i＝1，2，…，q），線性映射Φ：Tn（k）→Tn（k）滿足：

且Φii：Mki→Mki（i＝1，2，…，q）是滿射，則對任意的Γ（k）∈Tn（k），

成立的充要條件是存在酉矩陣Ui∈Mki（i＝1，2，…，q），使得

證明：充分性.由定理條件及引理2知式（2）成立，且

應(yīng)用服務(wù)子系統(tǒng)為水利系統(tǒng)各類用戶提供了查詢應(yīng)用水文氣象各類產(chǎn)品的Web應(yīng)用服務(wù)平臺，采用了全新的Microsoft.NET體系結(jié)構(gòu)，以ArcGIS10.0空間應(yīng)用服務(wù)為WebGIS應(yīng)用服務(wù)平臺，以Microsoft的IE瀏覽器結(jié)合ArcGIS的SilverLight為用戶應(yīng)用終端，通過方便簡捷的操作，將查詢應(yīng)用的各類水文氣象產(chǎn)品以統(tǒng)一美觀的風(fēng)格展現(xiàn)給用戶。應(yīng)用服務(wù)子系統(tǒng)的用戶包括水利部局域網(wǎng)用戶、水利廣域網(wǎng)用戶和其他相關(guān)防汛部門的用戶。

再由Φii（Aii）＝UiAiiU＊i或Φii（Aii）＝（UiAiiU＊i）T及引理3有W（Φii（Aii））＝W（Aii）（i＝1，2，…，q），從而充分性成立.

必要性.由式（2），（5）及必要性假設(shè)知

固定Aii＝0（i＝2，3，…，q），則由Φii（0）＝0（i＝2，3，…，q）得

即W（A11）∪｛0｝＝W（Φ11（A11））∪｛0｝.

注意到 W2（A11⊕0（n－k1）（n－k1））＝W （A11）∪ ｛0｝＝W （Φ11（A11））∪ ｛0｝， 由 文 獻 ［2］知，W2（A11⊕0（n－k1）（n－k1））至多有兩個連通分支組成，如果0?W（A11），則必有0?W（Φ11（A11））.從而對任意的A11∈Mk1，W（A11）＝W（Φ11（A11））成立.根據(jù)引理3，存在酉矩陣U1∈Mk1，使得Φ11（A11）＝U1A11U＊1或Φ11（A11）＝（U1A11U＊1）T.

同理可以證明存在酉矩陣Ui∈Mki（i＝2，3，…，q），使得式（4）成立.

推論1 設(shè)1＜ki＜∞（i＝1，2，…，q），線性映射Φ：Dn（k）→Dn（k）滿足

且Φii：Mki→Mki（i＝1，2，…，q）是滿射，則

成立的充要條件是存在酉矩陣Ui∈Mki（i＝1，2，…，q），使得式（4）成立.

定理2 設(shè)1＜ki＜∞（i＝1，2，…，q），k1＋k2＋…＋kq＝n.若Φ：Mn（k）→Mn（k）可表示為

其中B（k），C（k）∈Mn（k），且滿足

這里Φii：Mki→Mki（i＝1，2，…，q）是滿射，Aii（i＝1，2，…，q）是對稱矩陣，則對滿足該條件的Γ（k）∈Mn（k），式（3）成立的充要條件是存在酉矩陣Ui∈Mki（i＝1，2，…，q），使得

且Φst（Ast）（s≠t）由Φii（Aii）唯一確定，即

也即B（k）＝diag（U1，…，Uq），C（k）＝B（k）＊.

證明：由引理1可知充分性成立.

下證必要性.取Ast＝0（s，t＝1，2，…，q，s≠t）和Aii＝λI（i＝2，3，…，q），則對任意的A11∈Mk1，由引理2得

故

由式（8）知

注意到k1＞1，k2＞1，由文獻［2］知二次數(shù)值域或者是連通集或者有兩個連通分支，從而類似于定理1的證明可以推出W（A11）＝W（Φ11（A11））.

類似地，可以證明W（Aii）＝W（Φii（Aii））對任意的Aii∈Mki（i＝2，3，…，q）成立.

由引理3，存在酉矩陣Ui∈Mki（i＝1，2，…，q），使得式（4）成立.注意Φii（Aii）＝（UiAiiU＊i）T＝（U＊i）TAiiUTi，記Vi＝（U＊i）T，則Vi仍為酉矩陣，且V＊i＝UTi，仍記Vi為Ui，則式（6）成立.

根據(jù)定理的條件，可設(shè)

經(jīng)計算得

下面證明B＝diag（U1，…，Uq），C＝diag（U＊1，…，U＊q）.由于已證明Φii（Aii）＝UiAiiU＊i（i＝1，2，…，q），則由

取除Aii外的所有Ajk＝0（j，k＝1，2，…，q）及Aii的任意性，可得Bii＝Ui，Cii＝U＊i，i＝1，2，…，q.

對式（9），當i＝1時，若取除A12外所有的Aij＝0（i，j＝1，2，…，q）可得B11A12C21＝0，則由B11＝U1為酉矩陣知Ak1k2C21＝0，又由A12的任意性得C21＝0.若取除A13外所有的Aij＝0（i，j＝1，2，…，q）可得C31＝0.依此類推，可得到矩陣C的第1列除C11外均為0.同理可得到矩陣B的第1行除B11外均為0.

類似地，當i＝2，3，…，q時，對式（9）中的Aij取特殊值，則可得矩陣C的其他q－1列除C的對角元外均為0，以及矩陣B的其他q－1行除B的對角元外均為0，從而B＝diag（U1，…，Uq），C＝diag（U＊1，…，U＊q）.即式（7）成立.

定理3 若線性映射Φ（Γ（k））＝Γ（k）T，則式（3）成立.

證明：設(shè)λ0∈Wq（Γ（k）T），則存在xi∈?ki，‖xi‖＝1，i＝1，2，…，q，使得

注意到

于是可得

從而

即λ0∈Wq（Γ（k）），所以Wq（Φ（Γ（k）））?Wq（Γ（k））.

類似可證Wq（Γ（k））?Wq（Φ（Γ（k）））.

［1］Langer H，Tretter C.Spectral Decomposition of Some Nonselfadjoint Block Operator Matrices［J］.Journal of Operator Theory，1998，39：339－359.

［2］Langer H，Markus A，Matsaev V，et al.A New Concept for Block Operator Matrices：The Quadratic Numerical Range［J］.Linear Algebra and Its Application，2001，330（1／2／3）：89－112.

［3］Tretter C，Wagenhofer M.The Block Numerical Range of an n×n Block Operator Matrix［J］.SIAM Journal on Matrix Analysis and Applications，2003，24：1003－1017.

［4］REN Fang－guo.Research on Operator Completions and Generalized Numerical Ranges of Operator［D］.Xi’an：Shaanxi Normal University，2004.（任芳國.關(guān)于算子補與廣義數(shù)值域的研究 ［D］.西安：陜西師范大學(xué)，2004.）

［5］Li C K，Tsing N K.Linear Preserver Problems：A Brief Introduction and Some Special Techniques［J］.Linear Algebra and Its Application，1992，162／163／164：217－235.

［6］Burgos M.Orthogonality Preserving Linear Maps on C＊－Algebras with Non－zero Socles ［J］.Journal of Mathematical Analysis and Applications，2013，401（2）：479－487.

［7］Pazzis C S.The Linear Preservers of Non－singularity in a Large Space of Matrices［J］.Linear Algebra and Its Application，2012，436（9）：3507－3530.

［8］JI Guo－xing，WU Bao－wei.Similarity Preserving Linear Maps on Upper Triangular Matrix Algebras［J］.Linear Algebra and Its Application，2006，414（1）：278－287.

［9］Omladic M.On Operators Preserving the Numerical Range［J］.Linear Algebra and Its Application，1990，134：31－51.

［10］TANG Xiao－min，YANG Ya－qin.Strong Linear Preservers of Rank Reverse Permutability on Triangular Matrices［J］.Linear Algebra and Its Application，2006，414（1）：84－96.

［11］Rodam L，?emrl P.A Localization Technique for Linear Preserver Problems ［J］.Linear Algebra and Its Application，2010，433（11／12）：2257－2268.

［12］SUN Li－h(huán)ong.The Quadratic Numerical Range of Block Operator Matrices and the Linear Maps Preserving the Quadratic Numerical Range［D］.Qingdao：Qingdao University of Science and Technology，2009.（孫立宏.塊算子矩陣二次數(shù)值值域及保二次數(shù)值值域的線性映射 ［D］.青島：青島科技大學(xué)，2009.）