兩類矩陣對(duì)角化問題的研究

徐香勤

兩類矩陣對(duì)角化問題的研究

徐香勤

河南牧業(yè)經(jīng)濟(jì)學(xué)院, 河南 鄭州 450011

矩陣對(duì)角化在高等代數(shù)中占據(jù)著重要位置，成為求解矩陣論問題的必需工具。本文針對(duì)矩陣對(duì)角化的理論問題，利用Smith標(biāo)準(zhǔn)型，刻劃了一類數(shù)字特殊分塊矩陣可對(duì)角化的若干性質(zhì)，并將結(jié)論推廣到一般的域上。同時(shí)討論了方陣族可同時(shí)對(duì)角化的充要條件以及正規(guī)矩陣族可同時(shí)酉對(duì)角化的充要條件。實(shí)例結(jié)果表明：兩個(gè)對(duì)稱正定（半正定）Hermit矩陣充要條件必要性是顯然的，冪零陣的所有特征值都為零，＋和有相同特征值。

極小多項(xiàng)式; Simth標(biāo)準(zhǔn)型; 同時(shí)對(duì)角化; 特征值

高等代數(shù)是數(shù)學(xué)專業(yè)的必修課，而矩陣對(duì)角化則是高等代數(shù)的重要內(nèi)容之一，在求解矩陣論問題時(shí)不可或缺。同時(shí)，矩陣對(duì)角化還在求解數(shù)列通項(xiàng)、微分方程以及信號(hào)處理、算法設(shè)計(jì)等領(lǐng)域都有很高的實(shí)用價(jià)值[1,2]。研究證明，實(shí)對(duì)稱的矩陣一定能對(duì)角化，普通的數(shù)字矩陣不一定能對(duì)角化，但是兩個(gè)普通的數(shù)字矩陣有可能同時(shí)對(duì)角化[3-6]。本文通過Smith標(biāo)準(zhǔn)型刻劃一類分塊矩陣可對(duì)角化的若干性質(zhì)，并討論可同時(shí)對(duì)角化方陣族的充要條件，給出了正規(guī)矩陣族可同時(shí)酉對(duì)角化的充要條件。本文中，表示復(fù)數(shù)集合，表示一個(gè)域，M()表示復(fù)數(shù)集上的階方陣的集合。()表示方陣的全部特征值的集合。0∈()，0()={∈C|=0}稱為關(guān)于特征值0的特征子空間。

1 方陣對(duì)角化的幾個(gè)特質(zhì)

引理1：∈M()，()為極小多項(xiàng)式，則可對(duì)角化的充要條件是()沒有重根[7]。

引理2：數(shù)字方陣相似于數(shù)字方陣的充要條件是-等價(jià)于-[7]。

引理3：方陣可對(duì)角化的充要條件是的初等因子都是線性（無重根）[8]。

證明：的極小多項(xiàng)式和的極小多項(xiàng)式分別記為m()和m()，則m()=0。根據(jù)極小多項(xiàng)式的定義可知m()=0，于是m()|m()。由于可對(duì)角化，故m()沒有重根，從而m()沒有重根，因此矩陣可對(duì)角化。同理矩陣也可對(duì)角化。

證明：設(shè)-的Smith標(biāo)準(zhǔn)型為(1(),…,α())，設(shè)-的Smith標(biāo)準(zhǔn)型為(1(),…,β())。由于()∩()=，故：(β(),β())=1=1,2,…,;=1,2,…,(1)

考慮-的初等變換，可知其Smith標(biāo)準(zhǔn)型等價(jià)于：(1(),…,α(),1(),…,β()) (2)

對(duì)于域上的矩陣，定理2有如下類似結(jié)論。

證明：充分性是顯然的，以下證明必要性。

若可對(duì)角化，則的初等因子都是線性的，而的初等因子由和的初等因子合并組成，因此和的初等因子都是線性的，從而和都可以對(duì)角化。

2 同時(shí)對(duì)角化方陣族的幾個(gè)性質(zhì)

定理5：QíM()為一個(gè)非空矩陣族，則Q可同時(shí)對(duì)角化的充要條件是：

（1）Q是可交換矩陣族；

（2）Q中每個(gè)矩陣均可對(duì)角化。

證明：任取1,2∈Q，存在可逆矩陣∈M()，滿足-1AP=L,=1,2。從而12=L1-1L2-1=L1L2-1=L2L1-1=L2-1L1-1=21。必要性得證。

充分性：對(duì)矩陣的階數(shù)采用數(shù)學(xué)歸納法。

=1結(jié)論是顯然的。假設(shè)對(duì)所有階數(shù)小于的矩陣結(jié)論均成立，以下考慮階數(shù)為的矩陣。

若Q中每個(gè)矩陣均為數(shù)乘矩陣λI，結(jié)論顯然成立。

若存在∈Q特征值個(gè)數(shù)至少為2，設(shè)存在可逆矩陣∈M()，使得：

其中1，2，…，為的個(gè)不同的特征值(≥2)。

令：S={,λI|∈Q} (=1,2,…,) (5)

=(1,…,Q) (6)

從而對(duì)于"∈Q,()()-1為對(duì)角形。

考慮到正規(guī)矩陣（滿足AA=AA）均可酉對(duì)角化[9]，利用與定理5相同的證明方法得以下結(jié)論：

推論1：QíM()為一個(gè)非空正規(guī)矩陣族（Hermite矩陣族），則Q可同時(shí)酉對(duì)角化的充要條件是Q是可換族。

定理6：QíM()為一個(gè)非空矩陣族，若Q是可換族，則Q可同時(shí)上（下）三角化。

證明:對(duì)矩陣的階數(shù)采用數(shù)學(xué)歸納法。

=1是顯然的。假設(shè)對(duì)所有階數(shù)小于的矩陣結(jié)論均成立，以下考慮階數(shù)為的矩陣。

情形1：若對(duì)于"∈Q,存在的一個(gè)特征子空間V0()的維數(shù)為,則必為數(shù)乘矩陣，此時(shí)定理成立；

情形2：$∈Q,存在的一個(gè)特征子空間V0()的維數(shù)小于,取出V0()的一個(gè)基1,2,…,α(<),將其擴(kuò)充為C的一組基1,2,…,α,1,2,…,β(+=),令={1,2,…,α,1,2,…,β} (+=)，則：

注意到Q是可交換族，因此對(duì)于"∈Q,V0()均為的不變子空間，于是：

易知"∈Q，-1與-1均可交換，故1={|∈Q}è{0I}和諸2={(C)2|∈Q}è{2}是一個(gè)可交換族。由歸納假設(shè)矩陣族1,2可同時(shí)對(duì)角化。即存在可逆矩陣Q∈M()=1,2，使得"∈S，=-1 iLQ=1,2，其中諸L(∈Q)為對(duì)角形矩陣(=1,2)。令=(1,2)，易知對(duì)于"∈Q,()()-1為上三角陣。

考慮轉(zhuǎn)置矩陣，可知Q可同時(shí)上（下）三角化。

推論2,∈M()。若=,1,2,…,λ是的全部特征值，1,2,…,μ是的全部特征值，則存在1,2,…,的排列,，使得λμ(i)(=1,2,…,)構(gòu)成的全部特征值，λ+(i)(=1,2,…,)構(gòu)成+的全部特征值。

3 兩個(gè)例子

例1：,∈M()是兩個(gè)對(duì)稱正定（半正定）Hermit矩陣，則對(duì)稱正定（半正定）的充要條件是＝。

證明：必要性是顯然的，以下證明充分性。

若＝，由于Hermit矩陣是正規(guī)陣，根據(jù)推論1，則，可同時(shí)酉對(duì)角化。由推論2，的任意一個(gè)特征值必然為，其中∈()，∈()。當(dāng)都正定時(shí)，>0（當(dāng)都半正定時(shí)，≥0），故正定（半正定）。

例2：∈M()是一個(gè)冪零陣，＝，則det (＋)＝det ()。

證明：由于是一個(gè)冪零陣，因此的所有特征值都為零，由引理2，＋和有相同的特征值，故det (＋)＝det ()。

4 討論

矩陣的理論和方法已成為現(xiàn)代科技領(lǐng)域必不可少的工具，當(dāng)今電子計(jì)算機(jī)及計(jì)算技術(shù)的迅速發(fā)展為矩陣?yán)碚摰膽?yīng)用開辟了更廣闊的前景。矩陣對(duì)角化作為矩陣論的重要組成部分,對(duì)其研究主要集中在各類特殊矩陣可對(duì)角化對(duì)的條件判定以及相關(guān)應(yīng)用。鄧勇對(duì)主理想環(huán)上矩陣可對(duì)角化問題進(jìn)行了探討，給出了主理想環(huán)上一類具有特殊類型最小多項(xiàng)式的矩陣可對(duì)角化的充要條件[9]。程薇給出了一個(gè)四元數(shù)矩陣對(duì)同時(shí)實(shí)對(duì)角化的定義，討論了兩個(gè)四元數(shù)矩陣可同時(shí)實(shí)對(duì)角化的充分必要條件并給出了可行的算法，討論了一個(gè)四元數(shù)長矩陣集可同時(shí)實(shí)對(duì)角化的情況[10]。Chore?o E和Zhou J等人利用對(duì)角化方法在較好地解決了-光子-模型的求解問題[11,12]。相對(duì)而說，矩陣對(duì)角化的理論研究滯后于實(shí)踐應(yīng)用，但隨著學(xué)者們的廣泛重視，在理論研究方面將會(huì)有較大的進(jìn)展。

5 結(jié)論

求解矩陣對(duì)角化的理論問題有較大的研究價(jià)值，本文通過Smith標(biāo)準(zhǔn)型刻劃了一類數(shù)字特殊分塊矩陣可對(duì)角化的若干性質(zhì)，并將結(jié)論推廣到一般的域上。同時(shí)討論了方陣族可同時(shí)對(duì)角化的充要條件，以及正規(guī)矩陣族可同時(shí)酉對(duì)角化的充要條件。最后利用文中定理，通過實(shí)例證明了兩個(gè)矩陣論中的結(jié)論。

[1] 岳嶸.利用矩陣對(duì)角化求數(shù)列通項(xiàng)[J].高等數(shù)學(xué)研究,2007,10(4):66-68

[2] 龔麗燕,陳益智,蔡俊樹.遞推數(shù)列通項(xiàng)的矩陣解法[J].高等數(shù)學(xué)研究,2014(5):3-6

[3] 李麗花.矩陣可對(duì)角化問題的研究[J].考試周刊,2012(64):48-48

[4] 趙利強(qiáng),陳坤云,王建林,等.基于矩陣對(duì)角化變換的高階容積卡爾曼濾波[J].控制與決策,2016,31(6):1080-1086

[5] 汪芳宗,王永,宋墩文,等.基于矩陣對(duì)角化的電磁暫態(tài)時(shí)間并行計(jì)算方法[J].電網(wǎng)技術(shù),2017,41(8):2521-2527

[6] 韓如意,王川龍.對(duì)稱矩陣填充的線性交替最速下降算法研究[J].中北大學(xué)學(xué)報(bào):自然科學(xué)版,2018,39(1):14-20

[7] 陳公寧.矩陣?yán)碚撆c應(yīng)用[M].北京:高等教育出版社,1990:72

[8] Horn RA, Johnson CR. Matrix Analysis[M]. Cambridge: Cambridge University Press 2012:137

[9] 鄧勇.主理想環(huán)上矩陣可對(duì)角化的新判據(jù)[J].山東農(nóng)業(yè)大學(xué)學(xué)報(bào):自然科學(xué)版,2015,46(4):625-627

[10] 程薇.四元數(shù)矩陣代數(shù)中的若干問題研究[D].北京:國防科學(xué)技術(shù)大學(xué),2009

[11] Chore?o E, Ojeda-Guillén D, Granados VD. Matrix diagonalization and exact solution of the k-photon Jaynes–Cummings model[J]. The European Physical Journal D, 2018,72(8):142-157

[12] Zhou J, Su HY, Zhang FL,. Solving the Jaynes-Cummings Model with Shift Operators Constructed by Means of the Matrix-Diagonalizing Technique[J]. Chinese Physics Letters,2018,35(1):15-18

Study on Diagonalization of Two Kinds of Matrices

XU Xiang-qin

450011,

Matrix diagonalization plays an important role in Higher Algebra and becomes a necessary tool for solving matrix theory problems. In this paper, some properties of the diagonalization of a class of special block matrices are characterized by using Smith's canonical form, and the conclusion is extended to the general field F. At the same time, the necessary and sufficient conditions for the simultaneous diagonalization of square matrices and the simultaneous unitary diagonalization of normal matrices are discussed. The results show that the necessary and sufficient conditions for two symmetric positive definite (semi-positive definite) Hermit matrices are obvious. All eigenvalues of nilpotent matrix A are zero, and A+B and B have the same eigenvalues.

Minimal polynomial; smith form; simultaneous diagonalization; eigenvalue

O151.21

A

1000-2324(2019)02-0350-03

10.3969/j.issn.1000-2324.2019.02.037

2018-03-04

2018-05-12

河南省科技廳軟科學(xué)研究計(jì)劃項(xiàng)目(182400410584)

徐香勤(1979-),女,碩士,講師,主要研究方向?yàn)榫仃囌?、偏微分方程、?yīng)用數(shù)學(xué). E-mail:xiangqinxu@163.com