狄華斐,周道軍,鄭治波
(1.云南民族大學(xué)數(shù)學(xué)與計算機科學(xué)學(xué)院,云南 昆明 650500;2.云南師范大學(xué)數(shù)學(xué)學(xué)院,云南 昆明 650092)
現(xiàn)代橢圓型方程問題的可解性的研究總是在合適的泛函空間中考慮其弱解的性質(zhì),所以sobolev空間的引進為這一研究提供了有效途徑[1-2].通過 sobolev 空間,我們可以在更廣泛的函數(shù)類中尋求問題的解,這樣可解性的問題變得就容易多了.這種解往往就稱為“弱解”或“廣義解”.
本文討論橢圓型方程:
在一定的條件假設(shè)下弱解的正則性問題.近年來,這類橢圓型方程很多學(xué)者已經(jīng)對它進行了廣泛的研究[2-4].這些文獻假設(shè)算子 L的系數(shù) aij,bi,c是光滑的.在本文中,我們對L的系數(shù)的范圍進一步放寬,在這里只要求aij∈Cm+1(U),bi,c∈Wm,∞(U),則得到與文獻[2]同樣的結(jié)論.
我們假設(shè)U?Rn是一個有界開集.u∈H10(U)是橢圓型方程Lu=f in U的一個弱解,在這里L擁有散度形式:
并且偏微分算子L是一致橢圓型算子,即存在常數(shù)θ>0,使得:
其中ζ∈Rn,并且對方程中的系數(shù)aij,bi,c進一步做出額外的假設(shè).雙線性泛函B[,]是通過橢圓型算子L定義的,即:
本文的主要結(jié)論:
定理1 設(shè)m是一個非負整數(shù),并且L的系數(shù)滿足:
且
進一步假設(shè)u∈H1(U)是橢圓型方程Lu=f in U的一個弱解,則:
對于任意的V??U(即V是U的緊子集),有:
這里,常數(shù)C依賴于U,V及算子L的系數(shù).
注意:在這里(,)代表的是 L2(U)上的內(nèi)積.
定理2 設(shè)m是一個非負整數(shù),并且L的系數(shù)滿足 aij,bi,c∈Cm+1(U),f∈Hm(U),如果 u∈H1(U)是橢圓型方程Lu=f in U的一個弱解,則u∈(U)且對于任意的V??U(即V是U的緊子集)有:
這里常數(shù)C依賴于U,V及L的系數(shù).
注意:定理 2中要求 L的系數(shù):aij,bi,c∈Cm+1(U)(證明的過程參考文獻[2]).在定理1中,我們對L的系數(shù)的范圍進一步放寬,只要求aij∈ Cm+1(U),bi,c∈ Wm,∞(U),則可得到同樣的結(jié)論.
1)(7)、(8)結(jié)論的證明,我們采用歸納法.首先討論m=0的情況,即L的系數(shù)滿足aij∈C1(U),bi,c∈ L∞(U),f∈ L2(U). 如果 u ∈H1(U)是橢圓型方程Lu=f in U的一個弱解,則,且對于任意的V??U(即V是U的緊子集),有
常數(shù)C依賴U,V及L的系數(shù).
2)固定任意一個開集 V?? U,使得dist(?V,?U)= δ> 0(其中δ是一個常數(shù)),選擇一個開集W,使得V??W??U,接著選擇一個光滑函數(shù)ζ(x)滿足:
在這里,ζ(x)為一個截斷函數(shù)(ζ(x)的取法見文獻[6]).
3)因為u是橢圓型方程Lu=f in U的一個弱解,?v∈(U),B[u,v] =(f,v).因此:
我們將表達式寫成:
5)對A進行估計
在這里用到的公式有:
返回到(16),我們發(fā)現(xiàn):
這里要求aij∈C1(U).
應(yīng)用柯西不等式,整理得:
上式用到了(9)式中ζ(x)的定義.
(見參考文獻[2]§5.8.2 中的定理3)
因此,可得不等式:
6)對B 的估計,綜合(11)、(12)、(15)得到:
又因為:
所以由ε的柯西不等式和(24)式得:
綜合(13)、(23)、(25)得:
7)如果V??W??U,如同步驟2)~6)的方法可得:
常數(shù)C與V,W及算子L的系數(shù)有關(guān).
選取一個新的截斷函數(shù):
取v=ζ2u,則通過計算得:
所以有:
又綜合(27)式可得
8)假設(shè)m=k+1(為一個非負整數(shù))時結(jié)論成立.
9)那么當m=k+2時,即在aij∈Ck+2(U),bi,c∈ Wk+1,∞(U)的假設(shè)前提下,同時 u ∈H1(U)是橢圓型方程Lu=f in U的一個弱解.
接著通過整理(29)式有:
其中
由弱導(dǎo)數(shù)的定義[6],在中只要求:aij∈Ck+2(U),bi,c ∈ Wk+1,∞(U),就可得到 (L,)=).又結(jié)合步驟8)中的假設(shè),我們可得到∈L2(W)且
在這篇文章中,我們對橢圓型算子L的系數(shù)范圍進一步放寬,只要求 aij∈ Cm+1(U),bi,c∈Wm,∞(U),并且函數(shù)u在邊界?U上不做出任何假設(shè),然后通過一定的技巧和方法,討論了一類橢圓型方程弱解的內(nèi)部正則性,給出了定理1的結(jié)論.
[1]李開泰,馬逸塵,王立周.廣義函數(shù)和 Sobolev空間[M].西安:西安交通大學(xué)出版社,2008:67-83.
[2]Lawrence C Evans.Partial differential equations[M].Rhode Island,1988:308-317.
[3]陳亞浙,吳蘭成.二階橢圓型方程與橢圓型方程組[M].北京:科學(xué)出版社,1991:1-14.
[4]Zhang Yunzhang ,Yang Ganshan.Existence and regularity ofweak solutions for the biharmonic equation with complete second order derivative[J].Dynamics of Continuous,Discrete and Impulsive Systems Series A:Mathematical Analysis,2010(17):215 -232.
[5]Lawrence CEvans.A survey of entropy methods for partial differential equations[J].Bulletin AMS,2004,41(4):409-438.
[6]Walter rudin.Functional analysis:second edition[M].劉培德,譯.北京:機械工業(yè)出版社,2004:23-57.
[7]Lin FH.On the Dirichlet problem forminimal graphs in hyperbolic space[J].Inventiones Mathematica,1989,96(3):592-612.
[8]Daskalopoulos P,Hamilton R.Regularity of the free boundary for the 2 dimensional porousmedium equation[J].JAmer Math Soc,1998,11(4):899 -965.
[9]Daskalopoulos P,Hamilton R,Lee K.All time c∞r(nóng)egularity of the interface in degenerated diffusion:a geometric approach[J].Duke Math J,2001,108(2):295-327.