Dixon 结式的三类多余因子

Dixon结式是一种基本消元方法,
它在自动控制、机器人等高技术领域中有着重要应用.
但是由于结式方法可能产生多余因子,
因此多余因子的产生机理一直是一大难题.
本文通过将Dixon结式表示成原多项式系统的线性组合,
发现了Dixon结式的部分多余因子,
并且证明了其可由Dixon导出多项式的多余因子和Dixon矩阵的多余因子
以及导出多项式回代产生的多余因子三大部分组成.     

多变元Sylvester结式与多余因子

经典的Sylvester结式方法是代数几何的一种基本消元方法,但它一次只能处理1个变元2个方程的多项式系统.本文将Sylvester结式扩展到n个变元n+1个方程的多项式系统,并且证明了新的多变元的Sylvester结式包含在原多项式系统的理想中.同时,给出了一种去掉其部分多余因子的方法.     

构造一般Dixon 结式矩阵的快速算法

近几年来, 基于Dixon 结式的消去法被广泛地用来求解非线性多项式方程组, 因此国际上许多学者开始研究构造Dixon 结式矩阵的有效算法. 本文将目前最为有效的只能处理2个变元3个方程情形的递归算法扩展到n个变元n+1个多项式方程的一般情形, 并且将该算法在Maple下编程实现. 通过Maple随机产生的多项式的比较实验, 可以看出, 比之现有的所有方法, 本程序具有更高的效率. 特别是应用此程序, 首次以48阶的Dixon结式矩阵的形式, 给出了4个一般的关于每个变元的次数不超过2次的曲面存在公共交点的必要条件.     

有理数域上一类多项式可约性的一个判别法

任给一个m次的整系数多项式∑mi=0aixi,其中首项系数am=1,以及对应的下列不动点迭代算法｛u1=(u)1,u2=(u)2,…um-1=(u)m-1,un=-(am-1+am-2/un-1+am-3/un-1un-2+…+a0/un-1un-2…un-(m-1))(n≥m).1)不难看出,若迭代具有一个有理数极限...