關(guān)于二元函數(shù)極值判別法的改進(jìn)

馮守平

(安徽財經(jīng)大學(xué)統(tǒng)計與應(yīng)用數(shù)學(xué)學(xué)院,安徽蚌埠233030)

關(guān)于二元函數(shù)極值判別法的改進(jìn)

馮守平

(安徽財經(jīng)大學(xué)統(tǒng)計與應(yīng)用數(shù)學(xué)學(xué)院,安徽蚌埠233030)

提出了將二元函數(shù)極值化為一元函數(shù)極值的一種新方法;給出了二元函數(shù)極值存在的充分必要條件,改進(jìn)了二元函數(shù)極值的判別法;并給出了判別式Δ=fxx(P0)fyy(P0)-fxx2(P0)的幾何意義.

數(shù)學(xué)分析;極值判別法;充分必要條件;判別式的幾何意義

設(shè)二元函數(shù)z=f(P)在區(qū)域D上連續(xù),P0(x0,y0)為D0的駐點(diǎn)或偏導(dǎo)數(shù)不存在點(diǎn).過點(diǎn)(x0,y0,0)作平行于z軸的平面簇:

此平面簇與二元函數(shù)z=f(P)所代表的空間曲面相交所得到的交線簇為:

在本文的討論中均假設(shè)涉及到的鄰域U(P0,δ)?D0.

定理1設(shè)P0為f(P)在的駐點(diǎn)D0或偏導(dǎo)數(shù)不存在點(diǎn),則:f(P0)是f(P)的極小(大)值??δ>0,?k∈R,當(dāng)P (x,y0+k(x-x0))∈U(P0,δ)時,恒有:

證"?"設(shè)f(P0)是f(P)的極小值,由定義,?δ>0,?P∈U(P0,δ),有f(P)≥f(P0).因此?δ>0,?k∈R,當(dāng)P (x,y0+k(x-x0))∈U(P0,δ)時,有f(P)≥f(P0).這說明在U(P0,δ)的每條直線y=y0+k(x-x0)(k∈R)上,一元函數(shù)f(x,y0+k (x-x0))恒取得極小值f(P0).

"?"設(shè)?δ>0,對?k∈R,當(dāng)P(x,y0+k(x-x0))∈U(P0,δ)時,恒有f(P)≥f(P0),即在U(P0,δ)內(nèi)的每條直線y=y0+k(x-x0)上,一元函數(shù)f(P)都取得極小值f(P0);按極小值定義,還需要證明在U(P0,δ)內(nèi)的直線x=x0上,當(dāng) (x0,y)∈U(P0,δ)時,有f(x0,y)≥f(P0).若在直線x=x0上?已知f(P)在D上連續(xù),,恒有f(P)=f(x,y0+k(x-y0))

由定理1的充分條件知:若在駐點(diǎn)P0的鄰域U(P0,δ)內(nèi)的所有直線y=y0+k(x-y0)上,一元函數(shù)z=f(x,y0+k (x-y0))恒在x0取得極小(大)值,則二元函數(shù)f(P)就在P0取得極小(大)值.在判別極值過程中并不需要再研究直線x=x0上情形,這簡化了判別過程.

在定理1的充分條件中要求存在點(diǎn)P0的某個鄰域U(P0,δ),這里要求針對?k∈R,存在統(tǒng)一的δ,這一要求是必不可少的,如例1.

例1討論f(x,y)=(y-x2)(y-2x2)在點(diǎn)(0,0)是否存在極值[1].

解易知點(diǎn)(0,0)是f(x,y)的駐點(diǎn),但(0,0)不是f(x,y)的極值點(diǎn).這里對一元函數(shù):來

說,?k∈R,均?δk>0.當(dāng)(x,0+k(x-0))=(x,kx)∈U((0,0),δk)?R2時,函數(shù):

即?k∈R,f(x,kx)均在x=0取得極小值0,但不存在定理1中統(tǒng)一的δ>0,因?yàn)閷?δ>0,當(dāng)(x,kx)∈U((0,0),δ)?R2時,可選擇適當(dāng)x,k使(2)式中的k-x與k-2x異號,從而f(x,kx)的值有正有負(fù),故f(0,0)=0不是極值.

注若對某個k,一元函數(shù)f(x,y0+k(x-x0))在x=x0無極值,則二元函數(shù)f(x,y)在(x0,y0)無極值;若對兩個不同的k,f(x,y0+k(x-x0))在x=x0雖有極值,但不同,則二元函數(shù)f(x,y)在(x0,y0)也無極值.

例2討論f(x,y)=exy2+x2y3+2在駐點(diǎn)(0,0)是否有極值[2].

解易驗(yàn)證判別式.在直線y=x上:

顯然x=0是f(x,y)的駐點(diǎn),而:

定理2設(shè)二元函數(shù)f(P)在區(qū)域D上連續(xù),P0為D0駐點(diǎn)或偏導(dǎo)數(shù)不存在點(diǎn).?k∈R,當(dāng)P=(x,y0+k(x-x0))∈D時,恒有:

則P0是f(P)在D上的最小(大)值點(diǎn).

定理2的證明與定理1的充分條件證明類似.

定理2說明:若對?k∈R,(x,y0+k(x-x0))∈D,f(x,y0+k(x-x0))恒在點(diǎn)x0取得最小(大)值,則二元函數(shù)f(P)就在駐點(diǎn)或偏導(dǎo)數(shù)不存在點(diǎn)P0取得最小(大)值.

定理3P0是f(P)在區(qū)域D0的駐點(diǎn)??k∈R,x=x0為一元函數(shù)f(x,y0+k(x-x0))的駐點(diǎn).

定理4設(shè)f(P)在駐點(diǎn)P0的某鄰域U(P0,δ)有連續(xù)二階偏導(dǎo)數(shù),且A2+B2+C2≠0,則?P∈U(P0,δ),△(P)≥0?P0是f(P)的極值點(diǎn).

當(dāng)P0是f(P)的極值點(diǎn)時,若A>0(<0)或C>0(C<0),則P0是f(P)的極小(大)值點(diǎn).

證"?"設(shè)?δ>0,?P∈U(P0,δ),△(P)≥0.當(dāng)△(P0)>0時,若A=fxx(P0)>0(<0),?P0的某鄰域,不妨設(shè)定理4中的鄰域U(P0,δ),在此鄰域中,fxx(P)>0(<0),△(P)≥0,則?k∈R,P=(x,y0+k(x-x0))∈U(P0,δ),有:

所以,?k∈R,駐點(diǎn)x=x0恒是一元函數(shù)f(x,y0+k(x-x0))的極小(大)值點(diǎn),由定理1知P0是f(P)的極小(大)值點(diǎn).

當(dāng)△(P0)=AC-B2=0,A>0(<0)時,?U(P0,δ),?P∈U(P0,δ),fxx(P)>0(<0),△(P)≥0,?k∈R;當(dāng)P=(x,y0+k(xx0))∈U(P0,δ)時,有:

所以,?k∈R,駐點(diǎn)x=x0恒是一元函數(shù)f(x,y0+k(x-x0))的極小(大)值點(diǎn),由定理1知P0是f(P)的極小(大)值點(diǎn).

當(dāng)A=0時,若C=0,則由△(P0)=AC-B2=0,知B=0,這與定理4中條件A2+B2+C2≠0矛盾,所以C2≠0.仿上文對A>0(<0)情形的討論可知,當(dāng)C>0(C<0)時,P0也是f(P)的極小(大)值點(diǎn).

"?"設(shè)P0是f(P)的極值點(diǎn).若?δ∈0,?P∈U(P0,δ),△(P)≤0(?0),當(dāng)C=fyy(P0)≠0時,不妨設(shè)C>0,于是?U(P0,δ),?P∈U(P0,δ),fyy(P0)>0,且△(P)≤0(?0).此時:

都與k有關(guān),都在閉圓Uˉ(P0,δ1)(?U(P0,δ))上連續(xù),設(shè)它們分別在Uˉ(P0, δ1)上的點(diǎn)(x1,y0+k1(x1-x0))與(x2,y0+k2(x2-x0)),(x3,y0+k3(x3-x0))與(x4,y0+k4(x4-x0))處取得最小值、最大值m-與M-,m+M+,即:

由于?δ>0,?P∈U(P0,δ1),Δ(P)?0,顯然,m-≤M-

而當(dāng)kM+時,由(4)式知:

由定理1知P0不是f(P)的極值點(diǎn),這與假設(shè)矛盾.

當(dāng)A=fxx(P0)≠0時,類似討論,并有同樣的結(jié)論.

若A=C=0由定理4條件A2+B2+C2≠0知B=fxy(P0)≠0.此時,二階導(dǎo)數(shù):

在點(diǎn)P0充分小鄰域內(nèi)的符號由2fxy(P)k中的k的符號來確定,由定理1知P0不是f(P)的極值點(diǎn),這與假設(shè)矛盾.

若?δ>0,?P>U(P0,δ),Δ(P)有正有負(fù),0<θ<1,由二元函數(shù)泰勒公式,得:

若A=fxx(P0)>0(<0),?U(P0,δ),?P∈U(P0,δ),fxx(P)>0(<0).設(shè)P1∈U(P0,δ),Δ(P1)<0,則?U(P1,δ1)?U(P0,δ1),?P∈U(P1,δ1),Δ(P)<0.此時?k1,k2,k10),從而有Δf(P)<0(>0).

設(shè)P2∈U(P0,δ),Δf(P2)>0,則?U(P2,δ2)?U(P0,δ),?P∈U(P2,δ2),Δ(P)>0.此時與上面情形類似,?k3,k4, k30(<0).從而有Δf(P)>0(<0).

根據(jù)上述討論,由定理1知P0不是f(P)的極值點(diǎn),這與假設(shè)矛盾.

若C=fyy(P0)>0(<0),類似討論,并有同樣的結(jié)論.

若A=C=0,由定理4條件A2+B2+C2≠0知B≠0,此時由(5)知:F(h,k)=fxx(x0+θh,y0+θkh)+2fxy(x0+θh,y0+θkh) k+fyy(x0+θh,y0+θkh)k2,在點(diǎn)P0充分小鄰域內(nèi)的符號由2fxy(x0+θh,y0+θkh)k中的的符號來定,此時,P0不是f(P)的極值點(diǎn),這與假設(shè)矛盾.

注1當(dāng)A=B=C=0時,若?δ>0,?P∈U(P0,δ),Δ(P)≥0,且fxx(P)≥0(≤0),則P0是f(P)的極小(大)值點(diǎn).由公式(3)易知結(jié)論成立.由此結(jié)合定理4可知:不論A,B,C取何值,只要條件"?δ>0.?P∈U(P0,δ),Δ(P)≥0"滿足,P0就是f(P)的值點(diǎn).

注2若?δ>0,?P∈U(P0,δ),Δ(P)≤0(?0),則P0是否為f(P)的極小(大)值點(diǎn),需另行判別.

如xy2,x2y2都屬于情形注2:對前者,?P∈U((0,0),Δ(P)=-4y2≤0),易知它在點(diǎn)(0,0)無極值;對后者,?P∈U((0,0),Δ(P)=-12x2y2≤0,易知它在點(diǎn)(0,0)有極小值.

注3公式(3)給出了判別式Δ(P0)=AC-B2的幾何意義:設(shè)f(P)在駐點(diǎn)P0某個鄰域內(nèi)有連續(xù)的二階偏導(dǎo)數(shù),若Δ(P0)>0,A>0(<0),則?δ>0,?P∈U(P0,δ)使空間中過點(diǎn)的曲線:在點(diǎn)(x0,y0,z0)附近是下(上)凸的.

例3求函數(shù)f(x,y)=x2+y4+3的極值[2].

解f的駐點(diǎn)為(0,0),易知它是極小值點(diǎn),用定理4判別.

fxx=2,fxy=0,fyy=12y2,Δ(0,0)=AC-B2=0,A2+B2+C2=4≠0.?(x,y)∈U(0,0),Δ(x,y)=2X12y2-0=24y2≥0,又A=2>0,由定理4知,f(0,0)是f的極小值.

例4(最小二乘法)證明:在最小二乘準(zhǔn)則

證易知有惟一的駐點(diǎn)(a0,b0),由定理3知,?k∈R,a=a0是f(a,b0+k(a-a0))的惟一駐點(diǎn).?k∈R,f(a,y0+k(a-x0))∈U(x0,y0),有所以,?k∈R,a=a0是一元函數(shù)f(a,b0+k(a-b0))的極小值點(diǎn),同時也是最小值點(diǎn),由定理2知(a0,b0)是f(a,b)在R2中的最小值點(diǎn).

由定理2及定理4得:

推論設(shè)f(P)在區(qū)域D上有連續(xù)二階偏導(dǎo)數(shù),在D0有惟一駐點(diǎn)P0,且?k∈R,一元函數(shù)f(x,y0+k(x-x0))僅有一個駐點(diǎn)x0,則當(dāng)Δ(P0)=AC-B2>0,A>0(<0)時,x0恒是f(x,y0+k(x-x0))的最小(大)值點(diǎn),從而P0是二元函數(shù)f(P)在D上的最小(大)值點(diǎn).

例5證明:若二元二次有理整式函數(shù)f(x,y)=ax2+bxy+cy2+dx+ey+g(a2+b2+c2≠0)有惟一的極值點(diǎn),則該點(diǎn)就是最值點(diǎn).

證令

當(dāng)(6)式的系數(shù)行列式4ac-b2≠0時,解(6)式可得f(x,y)在R2內(nèi)惟一駐點(diǎn)(x0,y0).又:

所以,?k∈R,x=x0是f(x,y0+k(x-x0))的惟一駐點(diǎn).若Δ(x0,y0)=AC-B2=4ac-b2>0,a>0(<0),則:

即?k∈R,f(x,y0+k(x-x0))在惟一駐點(diǎn)x=x0處取得極小值(極大值),它也是最小(大)值,由定理4的推論知,f (x0,y0)也是f(x,y)在R2內(nèi)的最小(大)值.

對二元函數(shù)f(x,y)來說,當(dāng)f(x,y)僅有一個駐點(diǎn)(x0,y0),該點(diǎn)又是極值點(diǎn),由文[3]和文[4]知該點(diǎn)未必就是最值點(diǎn),但對二元二次有理整式函數(shù)來說,若它有惟一極值點(diǎn),則該極值點(diǎn)就是最值點(diǎn).二元二次有理整式函數(shù)是空間解析幾何及經(jīng)濟(jì)數(shù)學(xué)的主要研究對象之一,在文獻(xiàn)[1]、[2]、[5]等中也是常見的.

以上是針對二元函數(shù)討論的,對一般的多元函數(shù),筆者認(rèn)為也應(yīng)有類似定理4的結(jié)論.

[1]華東師范大學(xué)數(shù)學(xué)系編.數(shù)學(xué)分析:下冊[M].3版.北京:高等教育出版社,2001:138-139.

[2]Raymond A,Barnett,M R,Ziegler K E,etal.Calculus[M].9版.高等教育出版社,2005:509-516.

[3]馮守平.求多元函數(shù)最值中值得注意的一個問題[J].高等數(shù)學(xué)研究,2007,10(2):23-24.

[4]菲赫金哥爾茨.微積分教程:第一卷:第二分冊[M].北京:人民教育出版社,1957:435.

[5]Finney W G.托馬斯微積分[M].葉齊孝,譯.北京:高等教育出版社,2003:964-970.

On the im provement of the discrim inantm ethod of binary function extreme value

FENG Shou-ping
(School of Statistics&Applied Mathematics,Anhui University of Finance and Economics, Bengbu 233030,Anhui,China)

The paper discusses a new method of transforming the binary function extreme value into the linear function extreme value by providing the sufficient and necessary conditions of the existence of the binary function extreme value,and hence improves the discriminantmethod.It also gives the geometric meaning of the discriminant function

mathematical analysis;discriminant method of extreme value;the sufficient and necessary conditions;the geometricmeaning

O172

:A

:1007-5348(2014)06-0011-05

(責(zé)任編輯:邵曉軍)

2014-02-18

國家自然科學(xué)基金青年項(xiàng)目(61305070).

馮守平(1954-),男,安徽淮南人,安徽財經(jīng)大學(xué)統(tǒng)計與應(yīng)用數(shù)學(xué)學(xué)院教授,主要從事函數(shù)論及數(shù)量經(jīng)濟(jì)數(shù)學(xué)方面的研究.