姚 勇，王挽瀾，秦小林

(1.中國(guó)科學(xué)院成都計(jì)算機(jī)應(yīng)用研究所，四川 成都 610041；2.成都大學(xué)信息科學(xué)與技術(shù)學(xué)院，四川 成都 610106)

首先來(lái)看一個(gè)不等式的例子

例1：設(shè)n是正整數(shù)，證明對(duì)任意兩兩不等的非負(fù)實(shí)數(shù)a，b，c都有

證明:考慮函數(shù)

引進(jìn)參數(shù)t，從對(duì)稱(chēng)性、兩兩不等且和非負(fù)，可設(shè)a＞b＞c≥t≥0.考慮t的函數(shù)

我們要證明g(t)是一個(gè)單調(diào)減函數(shù).對(duì)g(t)求導(dǎo)數(shù)(注意到g(t)的分母中不含有t，容易求導(dǎo)數(shù))，獲得

對(duì)g′(t)再求一次導(dǎo)數(shù)(這里求導(dǎo)依然是簡(jiǎn)單的)，得到

因?yàn)閍＞b＞c≥t≥0，我們有g(shù)″(t)≥0.因此，g′(t)是單調(diào)增函數(shù)。記顯然A＞0.于是得到

從g′(t)≤0推出g(t)是一個(gè)單調(diào)減函數(shù).因此，我們有

最后只需證明f(a-c，b-c，0)≥0.也就是要證f(a，b，0)≥0.換言之

這是一個(gè)熟知的不等式.它等價(jià)于

使用算術(shù)-幾何平均不等式有

兩式相加除以( 4n+1)即證得不等式(2).

這樣我們就完成了不等式(1)的證明.

上面的例子顯示了函數(shù)f的一個(gè)特性:它關(guān)于變?cè)猼是單調(diào)遞減的.這個(gè)特性我們稱(chēng)之為對(duì)角遞減性.類(lèi)似例1這樣的例子并不是罕見(jiàn)的，事實(shí)上有較大的一類(lèi)函數(shù)具有這種屬性，可參考文獻(xiàn)[1-6].本文中我們將對(duì)這類(lèi)函數(shù)作相對(duì)深入的研究.

注釋1例1中n=1的情況屬于四川師范大學(xué)李昌勇.

注釋2書(shū)[3]中闡述了與例1中類(lèi)似的方法，稱(chēng)為全導(dǎo)數(shù)方法.書(shū)中也僅僅是使用該方法去證明不等式，并未對(duì)方法本身加以研究.

現(xiàn)在，來(lái)正式引入對(duì)角遞減性的概念.

定義1：令x=(x1，…，xn)，實(shí)空間Rn中第一卦限記為(不含原點(diǎn))，即

齊次函數(shù)f(x)如果滿(mǎn)足對(duì)任意的點(diǎn)x都有

其中0≤t≤min{x1，…，xn}，則稱(chēng)函數(shù)f(x)在上具有對(duì)角遞減性.

對(duì)角遞減性有一個(gè)幾何解釋.在空間Rn中給定單位立方體In=[0，1]n，點(diǎn)P=(1，…，1)是立方體的一個(gè)頂點(diǎn)，連接立方體的對(duì)角線PO，獲得向量對(duì)每一個(gè)給定的點(diǎn)函數(shù)f(x)沿著平行于向量的方向趨向坐標(biāo)面，f(x)的值是單調(diào)減少的，見(jiàn)圖1.

圖1 對(duì)角遞減性的幾何解釋Fig.1 The geometrical interpretation of the diagonal decreasing property

定義2：齊次函數(shù)f(x)如果對(duì)任意的點(diǎn)都有f(x)≥0則稱(chēng)為在上是非負(fù)的，簡(jiǎn)稱(chēng)非負(fù)的.如果滿(mǎn)足則稱(chēng)為嚴(yán)格正的.對(duì)角遞減函數(shù)被應(yīng)用于證明許多的不等式.但對(duì)角遞減函數(shù)自身的研究甚少.本文將向這一方向前進(jìn)一步，研究了對(duì)角遞減函數(shù)的初步性質(zhì).文中以下部分的內(nèi)容被組織為:第二節(jié)是對(duì)角遞減函數(shù)的基本性質(zhì).第三節(jié)研究了非負(fù)三元二次型中對(duì)角遞減函數(shù)出現(xiàn)的概率.它顯示了對(duì)角遞減函數(shù)的不足.為了彌補(bǔ)這一弱點(diǎn)，我們?cè)诘谒墓?jié)引入了分塊對(duì)角遞減函數(shù)的概念，理論結(jié)果是證明了嚴(yán)格正的齊次多項(xiàng)式函數(shù)，一定是分塊對(duì)角遞減函數(shù).也就是說(shuō)分塊對(duì)角遞減函數(shù)在非負(fù)齊次多項(xiàng)式函數(shù)中是一個(gè)相當(dāng)大的類(lèi).最后是全文的總結(jié)以及未來(lái)工作的一些想法.

1 微分判別法與應(yīng)用基礎(chǔ)

下面的兩個(gè)簡(jiǎn)單引理是定義1的直接結(jié)果.考慮到完整性，這里仍給出了證明.

引理1：設(shè)f(x)是定義在上的齊次可微函數(shù).記全導(dǎo)數(shù)

f(x)是對(duì)角遞減函數(shù)當(dāng)且僅當(dāng)

證明：記

函數(shù)g(t)關(guān)于t單調(diào)減少是等價(jià)于

根據(jù)導(dǎo)數(shù)的鏈?zhǔn)椒▌t

作變量代換

并注意到0≤t≤min{x1，…，xn}，知

也就是

上面的過(guò)程是可逆的.所以我們同時(shí)證明了充分性和必要性.

引理1中沒(méi)有出現(xiàn)參數(shù)t，表明函數(shù)的對(duì)角遞減性是函數(shù)自身的屬性與參數(shù)t并沒(méi)有直接關(guān)系.對(duì)角遞減函數(shù)有如下的基本性質(zhì)，它是應(yīng)用的基礎(chǔ)

引理2：集合上的齊次函數(shù)f(x)是對(duì)角遞減函數(shù).則不等式

成立當(dāng)且僅當(dāng)

證明：必要性是明顯的.主要證明充分性

根據(jù)對(duì)角遞減函數(shù)的定義有

由于0≤t≤min{x1，…，xn}，不妨設(shè)x1=min{x1，…，xn}.于是

最后一個(gè)不等式是等價(jià)于

證明完成.

討論：f(x)|xi=0實(shí)際上只有n-1個(gè)變?cè)?正如例1所顯示出的，要證明與對(duì)角遞減函數(shù)相關(guān)的不等式，將被歸結(jié)到證明至少有一個(gè)變量為0的情況，從而減少了變?cè)獢?shù)量.因此對(duì)角遞減函數(shù)可以起到降低維數(shù)的作用.

2 對(duì)角遞減的三元二次型

下面對(duì)最簡(jiǎn)單的情況——三元二次型來(lái)估計(jì)對(duì)角遞減函數(shù)在非負(fù)三元二次型中所占的比例.令實(shí)二次型

其中A=(aij)是實(shí)對(duì)稱(chēng)矩陣.計(jì)算f(x)的全導(dǎo)數(shù)得到

于是根據(jù)引理1，我們獲得

引理3：實(shí)二次型

f(x)是對(duì)角遞減函數(shù)當(dāng)且僅當(dāng)對(duì)每一個(gè)i∈{1，2，…，n}都有

證明：由引理1和等式(4)立得.

下面來(lái)具體計(jì)算三元二次非負(fù)型集合中，對(duì)角遞減函數(shù)所占比例是多少.

第一步:規(guī)范化三階實(shí)對(duì)稱(chēng)矩陣

對(duì)稱(chēng)矩陣

所對(duì)應(yīng)的的三元二次型為

假定a11，a22，a33都是正實(shí)數(shù)(如果其中有一個(gè)是負(fù)數(shù)則三元二次型不是非負(fù)的)，考慮變換

于是

矩陣B具有如下形式

注意到

因此從矩陣A轉(zhuǎn)向矩陣B并沒(méi)有損失非負(fù)性.但是矩陣B要簡(jiǎn)單很多.

引理4[7]:給定二次型

矩陣B具有(5)的形式.不等式

成立當(dāng)且僅當(dāng)

討論：注意到如果bij＞0，則條件bij+1≥0自然成立.因此我們只關(guān)注bij≤0的部分.于是假設(shè)

也就是將參數(shù)空間限制在一個(gè)立方體[-1，0]3中.

引理5：滿(mǎn)足不等式

的點(diǎn)(x，y，z)所圍成的立體的體積記為V1

證明:計(jì)算點(diǎn)集的邊界曲面，也就是解方程

求得(舍去立方體[-1，0]3外的一枝)

再解方程

得解(同樣舍去一個(gè)不合題意的解)

根據(jù)微積分方法，我們知道

引理6：給定二次型

矩陣B具有(5)的形式.并且假設(shè)

則g是對(duì)角遞減函數(shù)并且不等式

成立當(dāng)且僅當(dāng)

證明：直接由引理3和引理4得出.

引理7：滿(mǎn)足不等式

的點(diǎn)(x，y，z)所圍成的立體的體積記為V2

證明：由于條件都是線性約束，根據(jù)解析幾何的方法，滿(mǎn)足條件的點(diǎn)集(x，y，z)是一個(gè)凸多面體.求出它的頂點(diǎn)是

并且它是兩個(gè)四面體的并.這兩個(gè)四面體的頂點(diǎn)分別為

定理1：給定二次型

矩陣B具有(5)的形式.并且假設(shè)

則對(duì)角遞減函數(shù)在非負(fù)三元二次型中出現(xiàn)的概率是

證明：由引理5和引理7立得.

3 分塊對(duì)角遞減函數(shù)

從定理1可以看到對(duì)角遞減函數(shù)是相對(duì)較少的，在證明不等式時(shí)作用比較有限.我們將引入更強(qiáng)的分塊對(duì)角遞減函數(shù).

我們記標(biāo)準(zhǔn)單形

由點(diǎn)P1，…，Pk所張成的單形，記為[P1，…，Pk]

將標(biāo)準(zhǔn)單形分解為更小的單形，我們稱(chēng)為單純剖分，如果小單形滿(mǎn)足下面兩個(gè)條件.

②任意兩個(gè)小單形內(nèi)部不相交，即j≠k時(shí)Int(Λj)∩Int(Λk)=φ.

如果將空間Rn的點(diǎn)用列向量表示，則小單形Λj的頂點(diǎn)坐標(biāo)對(duì)應(yīng)了一個(gè)列隨機(jī)矩陣，記為[Λj].矩陣[Λj]是不唯一的，它們相差一個(gè)列的置換.

這里要區(qū)別記號(hào)[P1，…，Pk]和[P1…Pk]

⊙[P1，…，Pk]表示由點(diǎn)P1，…，Pk所張成的單形.

⊙[P1…Pk]表示以P1，…，Pk為列的矩陣.

定義3：在Rn*+上的齊次可微函數(shù)f(x)，如果存在標(biāo)準(zhǔn)單形的單純剖分

使得對(duì)每個(gè)小單形Λj，f([Λj]x)都是對(duì)角遞減函數(shù)，則稱(chēng)f(x)稱(chēng)為分塊對(duì)角遞減函數(shù).

分塊對(duì)角遞減函數(shù)包含了較多的函數(shù).比如我們將證明下面兩個(gè)結(jié)果.

定理2：二元型

證明:根據(jù)實(shí)數(shù)域上單變量多項(xiàng)式的唯一因子分解定理，齊次多項(xiàng)式f(u，v)的不可約因子是一次或二次的.于是要證的結(jié)論明顯是下面引理8的推論.

引理8：二元二次型

證明：分兩種情況b≥0和b＜0.

1.如果b≥0，則根據(jù)引理1有r(u，v)是對(duì)角遞減函數(shù)，因?yàn)閞(u，v)的全導(dǎo)數(shù)顯然是非負(fù)的.

2.如果b＜0，則其判別式需要滿(mǎn)足

我們將標(biāo)準(zhǔn)單形Δ2分解為兩個(gè)小單形Λ1和Λ2

定理3：齊次多項(xiàng)式f∈R[x]，如果

則f是分塊對(duì)角遞減函數(shù).

定理3的證明需要的一個(gè)關(guān)鍵引理.它來(lái)自文獻(xiàn)[8].

引理9[8]：齊次多項(xiàng)式f∈R[x]，如果

則存在正數(shù)ε，使得對(duì)任意直徑小于ε的單形Λ滿(mǎn)足f([Λ]x)的系數(shù)都是正數(shù).

證明：見(jiàn)文獻(xiàn)[8].

定理3的證明：一方面，如果多項(xiàng)式g的系數(shù)都是正實(shí)數(shù)，則顯然有

因?yàn)?/p>

的系數(shù)也都是正實(shí)數(shù).所以g是對(duì)角遞減函數(shù).

另一方面，根據(jù)引理9，存在正數(shù)ε，使得對(duì)任意直徑小于ε的單形Λ滿(mǎn)足f([Λ]x)的系數(shù)都是正數(shù).于是只需將標(biāo)準(zhǔn)單形Δn分解為直徑充分小的單形就可以了.也就是說(shuō)只需證明存在Δn的單純剖分

滿(mǎn)足Λj的直徑都小于ε.這是可以做到的，比如使用重心剖分[9-10].

綜合上述兩方面，我們便證明了定理3.

討論：注意到在非負(fù)齊次多項(xiàng)式函數(shù)中嚴(yán)格正的齊次多項(xiàng)式函數(shù)出現(xiàn)的概率是1.這是因?yàn)榉秦?fù)齊次多項(xiàng)式在齊次多項(xiàng)式中是一個(gè)錐.這個(gè)錐被分為兩部分——邊界和內(nèi)部，內(nèi)部代表嚴(yán)格正的，而邊界則代表非負(fù)且非嚴(yán)格正的.熟知邊界的維數(shù)要低于內(nèi)部的維數(shù).于是隨機(jī)的取一個(gè)非負(fù)齊次多項(xiàng)式，它是嚴(yán)格正的齊次多項(xiàng)式的概率是1，也就是說(shuō)它是分塊對(duì)角遞減函數(shù).這可以粗略地看到分塊對(duì)角遞減函數(shù)是相當(dāng)大的類(lèi).

4 總結(jié)與未來(lái)工作

本文中研究了對(duì)角遞減函數(shù)的基本性質(zhì)，計(jì)算出了非負(fù)三元二次型中對(duì)角遞減函數(shù)所占的比例.由此分析了對(duì)角遞減函數(shù)的不足.進(jìn)一步引入了分塊對(duì)角遞減函數(shù)的新概念，并證明了齊次多項(xiàng)式如果是嚴(yán)格正的，則它一定是分塊對(duì)角遞減的.也就是分塊對(duì)角遞減函數(shù)是一個(gè)大類(lèi)在非負(fù)齊次多項(xiàng)式集合當(dāng)中.

作為本文的結(jié)束，給出兩個(gè)自然的猜測(cè).我們將在未來(lái)繼續(xù)研究.

猜想1：所有的在Δn上非負(fù)的二次型[11]都是分塊對(duì)角遞減函數(shù).

猜想2：所有的在Δn上嚴(yán)格正的齊次可微函數(shù)也都是分塊對(duì)角遞減函數(shù).

定理3是猜想2的特殊情況(齊次多項(xiàng)式).與對(duì)角遞減性相關(guān)的研究與應(yīng)用還可參考文獻(xiàn)[12-15].