非奇H矩阵的等价条件.pdf

维普资讯 2006年 6月 高 等 学 校 计 算 数 学 学 报 第 28卷第 2期 非奇H矩阵的等价条件 董安国 封建湖 (长安大学理学院，西安 710064) A NECESSARY AND SUFFICIENT CoNDITIoN oF NoNSINGULAR 日．M 旺UCES DongAnguo FengJianhu (FacultyofScience，chang’anUniversity,Xi’an710064) Abstract 日．matriceswerewidelyusedinmanyfields．Itwasdifficulttoiudge H ．matrices． In thispaper，a necessary na d sufficientcondition fornonsingular H．matricesisputofrward，furthermorethenecessaryandsufficlentcondition ofr M ．matricesisalsoobtained． Key words H ．mattix，M ．matrix，convexset． AMS(2000)subjectclassiflcations 15A21 中图法分类号 O151．26，O241．6 1 引 言 日矩阵与M 矩阵是计算数学中应用很广的一类矩阵类，在数理方程、控制论、电力 系统、经济数学等众多领域中都有广泛的应用，然而对它的判别非常困难，所以对该类矩 阵的判别具有非常重要的意义．王川龙，李继成，王广彬，黄廷祝等在 1【-6】中分别给出了 一 系列实用性的判别准则，但都是充分条件，本文给出了非奇 日矩阵的充要条件． 称各分量都大于零的向量为正向量，记为 >0；称各分量都不小于零的向量为非负 向量，记为 0． 用HM表示非奇 日矩阵 3【]的集合． 设 几阶 z矩阵A= (aij) 为 几阶复矩阵B= (biy) 的比较矩阵 5【】，这样 收稿 日期：2004．02．06． 维普资讯 2006年 6月 高 等 学 校 计 算 数 学 学 报 ．135． B∈日M 等价于A∈HM[5]． 记 ．={I>0，∈E”)，．52『={I=Ax，∈s1)． 2 凸集和非奇 H矩阵的一些基本结论 定义 1 设s为En中的一个子集，如果对任意的 (¨，()∈S及 ∈0【，1】，都有 ()+(1一 )()∈S贝U称 S为凸集． 引理 1 设 A为 B 的比较矩阵，则 B ∈日M 的充分必要条件是存在 向量 = (1，2，… ，m)T>0，使 A >0． 证明 由非奇 日矩阵的定义，B∈日M等价于存在正对角矩阵D=diag(=l，2，… ， )， 使矩阵 AD 为严格对角占优，由比较矩阵的定义，取 = (1，2，… ， )T>0，即有 Ax>0． 引理 2 S1， 为凸集． 证明 设 1，2∈s1，∈0【，1】，贝0 1+(1一 )2∈S1． 所以S1为凸集； 若 Zl，Z2∈ ， ∈0【，1】则存在 1，2∈s1使 Zl Ax1． Z2 Ax2． 故有 1+(1一A)z2=A(Axx+(1一 )2)∈ ． 因而 为凸集． 引理 3 设D1，D2为 中的两个非空凸集，且 D1nD2=圣，则存在非零 向量 Y，使 inf(yTI∈D1} sup(yTI∈D2}． 证明 见文献 7【]．