1. 引言
符号模式矩阵的研究起源于研究线性动力系统的符号可解性与符号稳定性,是由诺贝尔经济学奖获得者P.A. Samuelson在《Foundations of Economic Analysis》 [1] 一书中首先提出的。在组合矩阵论中,符号模式矩阵是一个十分活跃的研究课题,它在社会学、经济学、化学、计算机科学等众多领域中具有广泛的实际应用背景。1987年,C. Eschenbach在C.R. Johnson的指导下引出并研究了符号模式允许和要求某种实矩阵的性质,C. Eschenbach,F. Hall和李忠善及他们所在的Georgia州立大学的同行们对符号模式矩阵的很多性质都进行了研究 [2] - [7] 。2016年,Steve Kirkland [8] 等人首次提出了代数正矩阵的概念,即对于实方阵A,如果存在实系数多项式f使得
是正矩阵,那么A称为代数正矩阵。除此之外,他们也提出了符号模式矩阵要求代数正和允许代数正这两个重要问题。2019年,Sunil Das [9] 等人刻画了星符号模式矩阵和三对角符号模式矩阵要求代数正。2021年,Biswas A,Kundu S [10] 刻画了所有3阶对称的符号模式矩阵要求代数正。同年,Sunil Das [11] 给出了5阶树符号模式矩阵要求代数正的等价刻画。2022年,Sunil Das [12] 研究符号模式矩阵允许代数正的充分条件,并且给出从低阶代数正矩阵构造高阶代数正矩阵的方法。同年,田岩和焦旸 [13] 通过对代数正矩阵的研究,给出代数正矩阵的一些性质,可以将实矩阵进行约化,简化证明。迄今为止,很多学者和专家关于符号模式矩阵的研究已经取得了大量丰硕的成果,但是还有很多问题亟待解决,符号模式矩阵要求代数正和允许代数正仍是组合矩阵论中的两个非常重要的问题。本文研究了3阶Hessenberg符号模式矩阵,首先引入Hessenberg符号模式矩阵的概念,证明所有3阶Hessenberg符号模式矩阵都是不可约的;其次分别讨论3阶Hessenberg符号模式矩阵不是允许代数正、允许代数正的等价条件;最后,从允许代数正的3阶Hessenberg符号模式矩阵中找到要求代数正的3阶Hessenberg符号模式矩阵,并且给出3阶Hessenberg符号模式矩阵允许代数正且要求代数正的充分必要条件。因此,我们将3阶Hessenberg符号模式矩阵分为三类:不是允许代数正、允许代数正、允许代数正且要求代数正。
2. 预备知识
符号模式矩阵是指所有元素都取自集合
的矩阵。对于实矩阵
,以
的符号为元素组成的符号模式矩阵称为A的符号模式矩阵。对于任意符号模式矩阵A,所有与A的符号相同的实矩阵组成的集合称为A所决定的定性矩阵类,记为
。所有元素都是正实数的矩阵称为正矩阵,即矩阵中每个元素都大于零,记作
。设A是实方阵,如果存在一个实系数多项式f使得
,那么称A是代数正矩阵。设A是符号模式矩阵,如果
中任意矩阵都是代数正的,那么称符号模式矩阵A是要求代数正的。设A是符号模式矩阵,如果
中存在代数正矩阵,那么称符号模式矩阵A是允许代数正的。设V是有限集合,
,则集合对
称为一个有向图。V中的元素称为顶点。E中的元素称为弧。D中首尾相连的一串弧称为有向路径。若存在一条从a到b的有向路径,也存在一条从b到a的有向路径,则称有向图
的两个顶点a和b是强连通的 [14] 。设
是n阶实矩阵,有向图
的顶点在
中,
为弧当且仅当
。
本文中
表示矩阵A的第i行j列元素。本文讨论的矩阵都是实方阵。R表示是实数域。
定义2.1 符号模式矩阵A形如
,
其中
,
,其余位置的元素都为0,称A是Hessenberg符号模式矩阵。
3. 主要结论
首先,我们证明3阶Hessenberg符号模式矩阵A是不可约的,给出所有3阶Hessenberg符号模式矩阵的具体形式;然后,分别讨论它们是否允许代数正和要求代数正;最后,将所有的3阶Hessenberg符号模式矩阵分为三类:不是允许代数正、允许代数正、允许代数正且要求代数正。
引理3.1 [15] 方阵A不可约当且仅当其有向图
强连通。
引理3.2 3阶Hessenberg符号模式矩阵A是不可约的。
证明 设A是3阶Hessenberg符号模式矩阵,则
,
故A的有向图
中任意两个顶点
之间都存在有向路径,则
是强连通的。由引理3.1可知,A是不可约的。
以下符号模式矩阵中的元素
,
表示非负,
表示非正。设A是n阶符号模式矩阵,取A中+的元素,其余元素用0替代,记为
,取A中−的元素,其余元素用0替代,记为
,则
。
定理 设A是3阶Hessenberg符号模式矩阵,则
① A不是允许代数正当且仅当A或
的形式如下:
,
,
,
,
,
。
② A允许代数正当且仅当A或
的形式如下:
,
,
,
。
③ A允许代数正且要求代数正当且仅当A或
有如下形式:
,
,
,
,
,
,
,
,
,
,
。
证明 设A是3阶Hessenberg符号模式矩阵,则A或
具有下列形式
。
首先,考虑A不是允许代数正的充分必要条件。
① 设A不是允许代数正的。由引理3.2可知,A不可约。我们考虑S中第一个符号模式,由
的定
义可知,
。
的有向图
中的顶点3到任意顶点
都不存在有向路径,
所以
不是强连通的。由引理3.1可知,
是可约。同理可证,S中第二、三、四、五个符号模式对应的
都是可约的。因此,由( [16] ,定理4)可知,S中前五个符号模式符合条件。
考虑S中第六个符号模式,设A是允许代数正的,则由( [8] ,定理12)可知,
或
。所以,A不是允许代数正的,那么
。
反之,由上述证明可知,S中前五个符号模式对应的
都可约,根据( [16] ,定理4),A不是允许代
数正的。
的每行每列不同时含有+或−,所以根据( [8] ,定理12),A不是允许代数正的。
因此,①成立。
其次,讨论A是允许代数正的充分必要条件。
考虑S中第六个符号模式。由已知A是允许代数正的,根据( [8] ,定理12),A的每行每列都含有+或−,所以
或
。
反之,设
,则
中存在矩阵
,其中
。
存在
和
以及足够大的
,使得
,所以M是代数正矩阵,故A是允许代数正的。
设
,则
中存在矩阵
(
,c任意)。
设
,其中
。那么存在
,
和足够大的
使得
,所以
是代数正矩阵。根据( [13] ,引理2.4),M是代数正的,所以A是允许代数正。
由( [8] ,定理12)可知,易知S中第七个、第八个符号模式符合条件。
反之,设
,则
中存在除对角线元素以外所有元素都非负的矩阵M。由( [8] ,定理5)可知,M是代数正矩阵,所以A是允许代数正的。
设
,则
中存在实矩阵
,其中
,
。存在
,
以及足够大的
,使得
。所以,M是代数正的,故A是允许代数正。因此,②成立。
最后,给出A是允许代数正且要求代数正的充分必要条件。
只需考虑②中四个允许代数正的符号模式哪些是要求代数正的。
设
是要求代数正的,则任取
,其中
,所以M是代数正矩阵。存在对角矩阵
,使得
,即
,其中
。
由( [13] ,推论2.3)可知,
是代数正矩阵,则存在实系数多项式
使得
。由
和
可得
。不妨取
,则
,
,
,
。
当
,
,
,
都大于零时,可得
,
。当
时,
;当
时,
。因此,A的形式为
,
,
,
,
。
再考虑②中的第三个符号模式。设
是要求代数正的,则任意
是代数正矩阵。因为M中除对角线元素以外所有元素都非负,由( [8] ,定理5)可知,A符合条件。
考虑②中最后一个符号模式。设
是要求代数正的,则任意矩阵
是代数正矩阵。设
,其中
(
)。
存在对角矩阵
使得
,即
,其中
。
由( [13] ,推论2.3)可知
是代数正矩阵,则存在实系数多项式
,使得
。由
和
,可得
。不妨取
,则
,
,
,
。
当
,
,
,
都大于0时,可得
,
。当
时,
;当
时,
。因此,A的形式为
,
,
,
,
。
反之,证明③中的前五个符号模式是要求代数正,只需考虑符号模式
,其中
。
任取
,则存在对角矩阵D,使得
,即
,其中
,
。
存在
,
以及足够大的
,使得
。
因此,M是代数正的。根据( [13] ,推论2.3)可知,
是代数正的,则A是要求代数正的。
考虑③中的符号模式
,任取
,则M除对角线元素外所有元素非负。由( [8] ,定理5)可知,M是代数正的,则A是允许代数正且要求代数正矩阵。
讨论③中的后五个符号模式,只需考虑符号模式
,其中
。
任取
,则存在对角矩阵D,使得
,则
,其中
,
。
存在
,
,和足够大的
,使得
。所以,M是代数正的。根据( [13] ,推论2.3)可知,
是代数正的,故A是允许代数正且要求代数正的。因此,③成立。
4. 结论
本文主要通过对所有3阶Hessenberg符号模式矩阵的研究,分别给出3阶Hessenberg符号模式矩阵不是允许代数正、允许代数正以及要求代数正的等价条件。在此基础之上,给出Hessenberg符号模式矩阵允许代数正且要求代数正的充分必要条件。本文对于符号模式矩阵的允许代数正和要求代数正的研究可以提供一定的思路和方法。
基金项目
辽宁省教育厅青年项目(LQ2020021)。
NOTES
*通讯作者。