1. 引言
矩阵多项式理论在线性代数中有着非常重要的地位,在高阶微分方程理论的求解中有着重要应用。经典的多项理论中有如下结论 [1]:设
是域F上的一元多项式环,则对于
,存在
使得
(Bezout等式)
其中
表示
的首项系数为1的最大公因式 [2]。本文主要讨论在矩阵多项式理论中该结论的形式。
矩阵多项式
不是一个交换环,因此考虑
上的Bezout等式会有不同的形态出现,例如
分别表示Bezout等式的不同形式推广。Barnett在 [3] 中研究了首一的矩阵多项式(矩阵多项式最高次项的系数矩阵是单位矩阵)的异侧的推广形式。
2. Bezout等式在矩阵多项式中的推广
将不同形式推广的一些结论写成下面定理:
定理1设矩阵多项式
,
,则
(1)
当且仅当对于任意矩阵多项式
,都存在矩阵多项式
,使得
同理,
当且仅当对于任意矩阵多项式
,都存在
,使得
(2) 存在
使得
当且仅当对任意的矩阵多项式
都存在
使得
同理,存在
使得
当且仅当对任意的矩阵多项式
都存在
使得
。
证 (1) 由文献 [4] 中关于Smith标准型的相关理论(定理S1.1)可知,存在可逆的多项式矩阵
,
,
,
,通过左右乘矩阵得到
,
,
因为
,
,
。
所以
,所以存在
,
,使得
因此,存在矩阵
使得
所以
左乘
,右乘
可得
即
,
其中
,
。
同理可得,存在
,使得
(2) 若存在
使得
则等式左端同乘
,有
,其中
,
。
反之,由于
的任意性,显然成立。
下面给出关于不同推广形式的两个例子,上述证明过程中使用了辗转相除法,这为求解问题提供了一种方法。
例1设
则
,
,
因此
。
设
则存在矩阵多项式
,
,
使得
,
即
。
例2. 设
则
,
,
因此
。
设
则存在矩阵多项式
,
使得
,
即
。
基金项目
山东省自然科学基金(项目编号:ZR2018PA002)资助。
参考文献
NOTES
*通讯作者。