1. 引言
插值问题是计算数学研究中的一个重要问题,如今一元多项式插值理论日渐成熟,但仅有一元多项式的插值理论是不够的,在实际生活中许多时候会碰到多元插值的问题,比如在计算机辅助几何设计中就涉及许多的多元多项式插值问题。遗憾的是多元多项式插值理论并不能由一元多项式插值理论进行直接地推广,甚至插值结点选取不好都会导致插值问题无解,即构成不适定插值问题 [1],这点与一元多项式插值有很大的不同,也导致如何选取多元多项式插值的插值结点成为多元多项式插值理论的重要部分 [2]。
在选取多元多项式插值的插值结点相关理论中,Bezout定理发挥了重要的作用,其给出了平面上的代数曲线对应的多项式有质公因子的判定方法 [3],用它可以证明许多在平面构造适定结点组的方法 [4] [5] [6],但目前三维空间代数曲面对应多项式何时有质公因子的相关研究还不够多,该文给出了一种判断三维空间代数曲面对应多项式是否有质公因子的判定方法。
2. 基本定义以及定理
本文主要研究空间
上的无重复分量代数曲面所对应的多项式是否存在质公因子的问题,为此引入以下概念与定理。
定义1:(三维空间的代数曲面)
若
是一个三元n次多项式,则把
上所有满足方程
的点所构成的集合,即
,称为与
相应的n次代数曲面,并且将其简称为n次代数曲面
。
定义2:(数域P上多元多项式的整除)
设
与
是数域P上的两个n元多项式,若存在数域P上的n元多项式
使得
,则称
整除
,记作
,否则称
不整除
,记作
。
定义3:(数域P上三元多项式的可约性)
如果数域P上次数≥1的三元n次多项式
可以写作两个次数大于等于1的实系数多项式的乘积,则称多项式
是可约的,同时也称n次代数曲面
是可约的,否则则称多项式
是不可约的,同时称n次代数曲面
是不可约的。
定义4:(质因子,不可约因子)
给定三元n次多项式
,若
是
的因子,且满足
不可约,则称
是
的质因子,也称
是
的不可约因子。值得注意的是,由可约性定义
可知,零多项式与零次多项式不会构成质因子。
定义5:(无重复分量代数曲面)
给定n次代数曲面
,如果多项式
的分解式中没有重数大于等于2的重因子,则称n次代数曲面
是无重复分量代数曲面,我们主要研究无重复分量代数曲面。
定理1:(多元多项式整除性质)
设在
中
不可约,且对
和
有
,则
或
。该定理的证明可以参见文献 [7]。
定理2:(Bezout定理)
若m次代数曲线
和n次代数曲线
交点个数多于mn,则一定有次数既不超过m也不超过n的非零次多项式
存在,使得
式中,
,
分别为次数小于m和n的二元实系数多项式。其证明过程可参见文献 [8],由证明过程可知一定存在
的质因子
满足定理条件。
定理3的引理:(三维空间无重复分量代数曲面对应的多项式性质)
给定三元n次无重复分量代数曲面
,与三元m次无重复分量代数曲面
与多项式
,若其满足
且
,则
存在质因子
满足
,即存在
满足
。
定理3:(三维空间无重复分量代数曲面对应的多项式存在质公因子的判定定理)
给定
上的三元n次无重复分量代数曲面
与三元m次无重复分量代数曲面
,其中
若
与
关于z的结式为0,则必有
的一个次数既不超过m也不超过n的质因子
满足
式子中的
,
分别为次数小于n和m的三元实系数多项式。
3. 引理与判定定理的证明
引理的证明:
证明:以下将
简记为
,
简记为
,
简记为h。
若
不可约,由于
,所以由定理1可知
,
即是所求的质因子。
若
可约,且由于
所对应的曲面是无重复分量代数曲面,所以
,其中
为不可约多项式,现证明
不全整除h。
如果
,则找到不整除h的
中的多项式。
若
,则存在
满足
。
如果
,则找到不整除h的
中的多项式。
若
,则
,若
,则或与
对应代数曲面是无重复分量代数曲面相矛盾,或与
不可约矛盾,从而
,由于
为不可约多项式,且
,所以
,从而存在
满足
。
如果
,则找到不整除h的
中的多项式。
若
,则
,若
,则或与
对应代数曲面是无重复分量代数曲面相矛盾,或与
都不可约矛盾,从而
,由于
为不可约多项式,所以存在
满足
。
这样一直进行下去,则要么找到不整除h的
中的多项式,要么一直进行,直到讨论
是否整除h,此时
,这是由于若
,则
,此时若
,则或与
对应代数曲面是无重复分量代数曲面相矛盾,或与
都不可约矛盾,由此可知
,所以存在
满足
,由此
,即
,这与已知的
相矛盾,从而
。
由上可知存在
满足
,又因为
即
从而得到
,因为
是不可约因子,且由此可知
。
综上所述,无论
是否可约,都能找到一个质因子
,满足
,即存在
满足
,证毕。
判定定理的证明:
证明:由于
与
关于z的结式:
所以其各行关于x和y的所有有理分式所做成的域是线性相关的,由线性相关的定义可以知道,存
在
个不全为零的有理分式
,
,
,
,
,
,
,
,
,
,其满足分别乘结式对应行列式的第1到第
行后再相加为零向量。将
简记为
,其中
,
简记为
,其中
,可以得到
(1)
将(1)式的第1行,第2行一直到第
行分别乘
,
,
,
,
,
,
,
,
,
后再相加后得到
(2)
记
(3)
(4)
设
是
个不全为零的有理分式
,
,
,
,
,
,
,
,
,
的公分母,则将(3)、(4)代入(2)后,(2)式等号两边同时乘
后即可去掉
与
中的分母,使其变为多项式,进一步得到
(5)
由(5)式可知
,由于
关于z的次数为n,
关于z的次数为
,所以
,由引理可知
存在一个不可约因子
,其满足
,所以存在多项式
,
,其次数分别小于n和m,且满足
证毕。
致谢
该论文之所以能够完成,首先要感谢我的导师崔利宏教授,有了导师的指点才有了这篇论文基本的方向,也感谢导师在课下对我和宋文建的耐心指导,对于我们研究了很久还是不懂的问题,老师总是耐心给予解答。导师生动易懂的讲解与严谨求实的研究精神对我产生了很大的影响。在此,我向我的导师表达深深的谢意。同时也非常感谢评审的各位专家在百忙之中审阅并提出重要意见,我在此表示衷心的感谢!