1. 引言
由于Bezout矩阵在多项式求根理论、线性控制系统理论、结构矩阵理论等领域有着广泛的应用(如见文献[1] [2] 等)，近年来受到了数学工作者的高度重视。在Bezout矩阵的研究中，将标准幂基下的经典Bezout矩阵推广到一般多项式基下来研究是近年来常见的一个研究方向(如[3] -[6] )，并且关于经典Bezout 矩阵的Barnett分解公式、和伴侣矩阵的缠绕关系以及通过Vandermonde矩阵的对角约化三个方面的性质对一般多项式基下广义Bezout矩阵也成立。关于一般多项式基，通常考虑的是复数域上次数不超过的多项式线性空间中次数逐渐递增且满足三项递推关系的一个基([5] [6] )。而对于更一般情形的多项式基下的多项式Bezout矩阵，目前多数文献只涉及到它的理论方面的研究，关于它的元素和求逆公式等计算方面的问题鲜有讨论。
最近，Bini与Gemignani[7] 研究了在Bernstein基下的Bezout矩阵，讨论了该矩阵的计算公式和位移结构。本文将讨论一类特殊多项式基下的广义Bezout矩阵。这类多项式的特殊性表现在可以作为的一个基，基中每个多项式都是次的，这一点与Bernstein多
项式相类似。容易看出，基中多项式元素来自于双线性变换函数或的分子与分
母。该函数建立了上下复半平面之间的相互转换，这在复分析教材里经常用到。另外，若对任意次数不超过的多项式，用基可表示为
则新多项式
在标准幂基下的系数与在基下的系数对应成比例，从而在讨论多项式的结式等相关问题[1] 时带来了方便。众所周知，结式矩阵与多项式的最大公因式和Bezout矩阵之间有着紧密的联系。
2. 广义Bezout矩阵元素的计算
给定两个多项式，由下面二元多项式
所确定的矩阵称为由多项式生成的关于标准幂基下的Bezout矩阵[8]，记作。显然也是的一个基，但该基中的每一个多项式的次数都是次的。对上式进行改写为
, (1)
称矩阵为由多项式生成的关于基的广义Bezout矩阵，记作。
下面讨论在基下的广义Bezout矩阵元素的计算公式，我们有下面的定理。
定理2.1：取基，并设
。
那么由(1)所确定的关于基的广义Bezout矩阵的元素可以通过下列公式计算：
(2)
该计算方法的工作量为数量级。
证明：首先由定义(1)得
(3)
其中上式第一部分为
第二部分
将以上两部分代入(3)得：
比较 ()的系数，有
，
由于是基，再比较的系数，即得定理中(2)的证明。
当基取，类似可证下面的结论。
定理2.2：设线性空间的基为，多项式
是关于该基的表示式。那么由(1)式所确定的关于基的广义Bezout矩阵的元素可以通过下列公式计算：
(4)
该计算公式的计算量为。
如果把定理2.1和2.2中的计算公式写成矩阵乘积的形式，得到下面关于Bezout矩阵的三角分解公式。
推论2.3：设条件如定理2.1，则关于基的广义Bezout矩阵的三角分解公式为
推论2.4：设条件如定理2.2，则关于基的广义Bezout矩阵的三角分解公式为
下面我们来考虑一对多项式关于不同基的广义Bezout矩阵之间的联系。为了区别起见，记基分别为
,。则基的第项多项
式为，此项恰为另一个基的第项多项式。因此，就同一对多项式
而言，根据(1)，由它们生成的广义Bezout矩阵与的二元函数是相同的，即为。于是
由于是基，那么Bezout矩阵与元素之间的联系为
例2.1：取线性空间的基为,令
.
则按定义(1)计算，由生成的关于基的广义Bezout矩阵是
另一方面，。按推论2.3的三角分解式为
此矩阵与按定义计算所得的广义Bezout 矩阵完全一致。
例2.2：取线性空间的基为，多项式如前。关于基的表达式为
则生成的关于基的广义Bezout 矩阵按定义(1)计算是
它与按下面三角分解式计算所得的值完全一致
致 谢
感谢审稿人的建议，使得本文更加严谨。
项目基金
安徽省自然科学基金项目(1208085MA02)资助。
NOTES
*通讯作者。
参考文献