r+n上正半定型差分代换.docxVIP

r+n上正半定型差分代换 最近，差分代换（sd）引起了相关科学家的注意。杨路对此做了较为系统的研究,引入逐次差分代换方法(SDS),克服了传统差分代换一次不成难以继续的困难。刘保乾也对差分代换做了一些探讨。对于什么样的多项式类,其逐次差分代换施行有限步后所产生的多项式集合中每个多项式的所有系数都是非负的?杨路等和姚勇研究认为:凡在R+n上严格正定的多项式,其逐次差分代换施行有限步后所产生的多项式集合中每个多项式的所有系数必然都变成非负,即在R+n上严格正定的多项式必是差分代换有限步到位的。然而,这些结果对于正半定型却是半可判定的。其后,徐嘉等用杨路等提出的逐次结式方法,给出差分代换完备化算法。 另有一些学者将差分代换方法应用于非正半定型。Hou等利用型的系数、次数、变元个数及其在标准单形上的最小值给出了一个上界M,证明了非正定型的M次差分代换集中必有多项式,其系数全为负数。 实际上,欲使差分代换集序列负向终止,只需差分代换集中存在多项式负定即可。因此可能会得到比M更小的上界m。本文发展差分代换方法,估计出这样的上界m,将这一上界与柱形代数分解算法结合,得到R+n上正半定型判定的一个完备化。本文还将探讨差分代换与柱形代数分解相结合的方法,同时提出一种新的差分代换矩阵以减少差分代换的次数。最后举例说明算法的正确性与有效性,并与其他差分代换算法做比较。 1 组成的集合和型f的m次差分代换集 原始的差分代换方法选取矩阵An作为基本代换矩阵。然而,当m→∞时不收敛,这使得判定逐次差分代换方法的终止性变得困难。姚勇考虑将随机矩阵Tn作为其基本代换矩阵,因此可以更顺利地讨论终止性问题。 定义1型(即齐次多项式)…叫做在R+n上是正半定的(PSD),如果满足 其中……}。如果f还满足蕴涵关系则称f在R+n上是正定的(简称PD)。 设Sn是n个文字的对称群是由σ对应的n×n置换矩阵。 定义2n×n方阵Bσ由下式定义(即由Tn经行置换得到): 并记所有Bσ组成的集合为PTn(共n!个元)。 R+n中的标准单形Δn定义为点集: 记如果则明显。 定义3记定义线性映射如下: ψσ:,X。 更一般的映射ψσ的复合是 这里。 标准单形Δn是由……,0)T,…所张成,即…,en]。明显映射的象是单形。 记单形S的直径为d(S),我们有如下引理。 引理1对于标准单形有 设则 也即 引理2点…是线性独立的它们张成的单形记为。则有 引理3 定义4f∈R[x1,…,xn],X=(x1,x2,…,xn)T,Sn是n个文字的对称群。定义集合 集合就称为型f的m次差分代换集。 定义5型定义f的差分代换集序列(也称SDS集序列)如下: 一个d次型f可写为 其中…。记 定义6如果型f的每一单项前的系数Cα都是非负实数,则称f是正平凡的。如果f(1,1,…,1)0,则称f是负平凡的。 明显地,型f是正平凡的,则f∈PSD;型f是负平凡的,则f?PSD。 定义7对给定的型f,若存在某个正整数k,使集合中每一个元都是正平凡的,这时称集合序列正向终止。 定义8对给定的型f,若存在某个正整数k和型g,满足且g是负平凡的,这时称是负向终止的。 定义9对给定的型f,集序列既不正向终止,也不负向终止,则称集序列为不终止。 定义10对于一个n元多项式…,将h分解为中的不可约多项式乘积: 定义sqrfree(h)如下: 定义11对环中的一组无平方因子且两两互素的多项式集 Brown投影算子为 其中,lc(Pi,xn)是多项式Pi关于变元xn的首项系数(或称导系数),disc(Pi,xn)是多项式Pi关于变元xn的判别式,res(Pi,Pj,xn)是多项式Pi与Pj关于变元xn的结式。 2 主要结果 2.1 算法项的检验 我们首先证明如下引理。 引理4对于一个形如式(1)的d次型f,及标准单形上两点X′和X″,若|X′-X″|≤h,则 证明记则由n元函数中值定理有 其中0θ1,从而 定理1给定一个形如式(1)的d次型…在标准单形上有解,则f的次差分代换集中必有负平凡元素。 证明经过m次差分代换后,由引理3知,必存在使得且 注意到标准单形的直径为故由引理4知,当 或 时,对于有 从而定理得证。 注这一上界要优于文献的定理2.1所给出的上界。事实上, 算法1 Projectk:给定一个n元d次齐次多项式算法Projectk返回非负实数k。 中的多项式有正根,隔离最小的正根T0 引理5对于d次型f,算法Projectk求得的k有如下性质:1)若k=0,则f是PSD的;2)若k0,且f不是PSD的,则也不是PSD的。 证明引进变量T,求出在标准单形上使下式非负的最小正数T的一个下界: f在标准单形上最小值的绝对值即为最小的正数T。我们用算法Projectk来求T的下界。 记号同算法Projectk,将中