矩阵多项式的综合除法及其应用.pdfVIP

20l0年 5月 汕头大学学报 (自然科学版) 第25卷 第2期 M ay 2010 JournalofShantouUniversity(NaturalScience) Vo1．25 NO．2 文章编号 ：1001—4217(2010l02—0016—08 矩阵多项式的综合除法及其应用 谢泽嘉 (华南师范大学数学科学学院，广东 广州 510631) 摘 要：给出矩阵多项式的综合除法，利用微分代数的观点，将其应用于一类常系数偏微分 方程化为无穷维 Hamilton系统的问题 中．再结合标准型算法 ，将其应用于构造一类偏微分 方程组通解的问题 中． 关键词：无穷维 Ilamihon系统；带余除法；综合除法；矩阵多项式；偏微分方程组通解 中图分类号 ：O175．25 文献标识码 ：A O 引 言 求微分方程(组)的等价无穷维Hamilton系统是分析力学的反问题，是经典力学的主 要问题之一．阿拉坦仓l【】提出了矩阵多元多项式带余除法的理论，并将其应用于解决常 系数偏微分方程(组)的无穷维 Ilami|ton系统的反问题．陆斌及张鸿庆2【】将矩阵多元多项 式带余除法与标准型算法相结合，获得构造一类偏微分方程组通解的新方法．关于矩阵 多元多项式带余除法的计算，侯国林和阿拉坦仓3【]利用Mathematica系统将文献[1]中的 结果编制成矩阵多元多项式带余除法软件包，用于求商式与余式．本文将类 比多项式的 综合除法，给出矩阵多项式的综合除法，以解决常系数偏微分方程(组)的无穷维Handiton 系统的反问题和构造偏微分方程组通解中所涉及的矩阵多项式的带余除法问题． 1 矩阵多项式的带余除法 若m×g,／矩阵 m、凡均为正整数)A()的每个元素都是关于5的多项式，则称A()为mX ／l,阶矩阵多项式． 若矩阵多项式的次数dIA(s)】：k(其 中k为正整数)，则A(S)可表示为A()=A。s+ A． +‘…+A ，其中A A，，…，A 称为A(S)按总幂次展开的系数矩阵．其它关于A() 的按行 (列)幂次展开及按指定行 (列)幂次展开的情况可参考相关文献网． 文献给出了当除式为方阵时的带余除法阿，本文将带余除法推广到除式为矩形阵的情 况，证明从略．以下r、Z、m均为正整数，耐 表示rXZ的实系数矩阵多项式环． 左除 设A()∈蕊， 为行正则，曰()∈耐 Is]，aIB()J≥ala(I，则存在唯一的 收稿 日期 ：2(X)9—12一Ol 作者简介 ：谢泽嘉(1987-)，男，广东揭阳人，本科．研究方向：数学与应用数学．E-mail：1051863526@qq．COm 第 2期 谢泽嘉：矩阵多项式的综合除法及其应用 17 商式Q(s)∈ 卜1和余式 ()∈耐～ ，使得： B(s)=A(s)Q(s)+ (s)，aR(s)aA(s)， 其中，aA()表示A(s)第 i行的次数． 右除 设 A(s)∈ 为列正则， (s)∈ 】， (s)l≥aA【()】，则存在唯一的 商式 ()∈ 和余式庙()∈ rI】，使得： B(s)=Q )A )+R(s)， ：R(s) ：A )， i=1，…，r． 其中，aA()表示A()第 i列的次数． 对于上面矩阵多项式的带余除法，在具体求商与余时，左除时A()必须是按行幂次 展开，并要求展开后的首项系数阵行满秩 ， (s)则必须是按与A(s)行幂次相同的指定行 幂次展开 ；右除时A(s)必须是按列幂次展开 ，并要求展开后的首项系数阵列满秩，B(s) 则必须是按与A()列幂次相同的指定列幂次展开．另外 ，若A()按总幂次展开时的首 项系数阵为行 (列)满秩矩阵，则同样有类似于上面的关于按总幂次展开的左除(右除)， 并且被除式也是按总幂次展开． 2 矩阵多项式的综合除法 矩阵多项式也有类似于多项式的综合除法，当被除式与除式行数相同时可以进行左 除，列数相同时可以进行右除．下面给出除式和被除式按总幂次展开的情况． 对于A()∈