張立卓

(對(duì)外經(jīng)濟(jì)貿(mào)易大學(xué)統(tǒng)計(jì)學(xué)院，北京100029)

第五屆(2013年)全國(guó)大學(xué)生數(shù)學(xué)競(jìng)賽預(yù)賽題：設(shè)Σ是一個(gè)光滑封閉曲面，方向朝外，給定第二型曲面積分

試確定曲面Σ，使積分I的值最小，并求該最小值.

解記Σ圍成的立體為V，由高斯公式，

設(shè)橢球體V0:x2+2y2+3z2≤1，為使I的值最小，需討論V與V0的位置關(guān)系：

(i) 若V在V0外，則在積分域V上，被積函數(shù)f(x,y,z)=3(x2+2y2+3z2-1)≥0.又f(x，y，z)不恒為0，

(ii) 若V=V1+V2，其中V1在V0外，

V2在V0內(nèi)，在積分域V2上，被積函數(shù)f(x,y,z)=3(x2+2y2+3z2-1)≤0.又f(x,y,z)不恒為0，

(iii) 若V在V0內(nèi)，

(iv) 若V=V0，

據(jù)三重積分性質(zhì)，I4≤I3

作變換

積分域V0→V′0:μ2+υ2+ω2≤1，則依三重積分變換法及在球坐標(biāo)系下三重積分的計(jì)算方法[1]，有

下面考慮一般情形.設(shè)Σ是一個(gè)光滑封閉曲面，取外側(cè)，給定第二型曲面積分

其中F(x,y,z),G(x,y,z),H(x,y,z)為3元3次實(shí)系數(shù)多項(xiàng)式，依高斯公式，

其中λ1,λ2,λ3為A的3個(gè)特征值.作正交變換

積分域Ω→Ω1.令正交矩陣P=(α1α2α3)，其中α1,α2,α3為P的列向量，則

令β=(bcd)，則

(1)

1.若A可逆，即A的3個(gè)特征值均不為零.不失一般性，設(shè)(1)式可化為

作變換

積分域Ω1→Ω2.

(i) 當(dāng)λ1>0,λ2>0,λ3>0,δ<0時(shí)，I有最小值.

但I(xiàn)沒(méi)有最大值.這是因?yàn)?/p>

(ii) 當(dāng)λ1>0,λ2>0,λ3>0,δ>0時(shí)，I沒(méi)有最大(或最小)值.這是因?yàn)椋?/p>

又令λ=max{λ1,λ2,λ3,δ}，則λ>0，于是

取球體Ω′4:τ2+s2+t2≤ε2，

但I(xiàn)≠0，所以I沒(méi)有最小值.

(iii) 當(dāng)λ1<0,λ2<0,λ3<0,δ>0時(shí)，I有最大值，但I(xiàn)沒(méi)有最小值.

(iv) 當(dāng)λ1<0,λ2<0,λ3<0,δ<0時(shí)，I沒(méi)有最小(或最大)值.證明方法同(ii).

(v) 當(dāng)λ1,λ2,λ3三者異號(hào)時(shí)，I沒(méi)有最大(或最小)值.不妨設(shè)λ1>0,λ2>0,λ3<0，令橢圓柱體Ω6:λ1τ2+λ2s2≤1，t∈[t1,t2]，則

(2)

對(duì)任意給定的正數(shù)M2，在(2)式中，固定t2，令t1充分大，注意λ3<0，則存在t′1，使

所以I沒(méi)有最大值.又固定t1，令t2充分大，則存在t′2，使

所以I沒(méi)有最小值.

2.若A不可逆，即A有零特征值.I沒(méi)有最大(或最小)值.不妨設(shè)λ1>0,λ2>0,λ3=0，不失一般性，設(shè)(1)式可化為

作變換

積分域Ω1→Ω7，則積分

令橢圓柱體Ω8:λ1τ2+λ2s2≤1，t∈[t1,t2]，則

與上述(v)同法可證，I沒(méi)有最大(或最小)值.

[參 考 文 獻(xiàn)]

[1] 同濟(jì)大學(xué)數(shù)學(xué)系. 高等數(shù)學(xué)下冊(cè)[M]. 6版. 北京：高等教育出版社，2007:229-232.