韓 斌,陶祥興

(1.寧波大學 理學院,浙江 寧波315211;2.浙江科技學院 理學院,杭州310023)

1 引 言

一般地,常常假設A(x)=(aij(x))是實的對稱矩陣,滿足一致橢圓條件:

其中常數λ＞1,并且對任意的 x,y∈Ω,存在正常數l,使得

在本文,主要考慮薛定諤方程的Dirichlet問題

其中γ是在Ω邊界上的跡算子。筆者將在文中的定理給出:若對n/(n+1)＜p≤1,f是Hapt(Ω)上的一個分布,則在W10,2(Ω)中Dirichlet問題(1)存在唯一的弱解,而且解的二階導數2u∈ Lp(Ω)。

國內外的科學家們在過去的幾十年對這類問題作了一系列的討論。1964年,Kadlec在文獻[1]中指出,如果 Ω是有界凸區(qū)域且 f∈L2(Ω),則Possion方程-Δu=f的Dirichlet問題解u的二階導數2u∈L2(Ω)。后來在1993年,Adolfsson[2]把Kadlec的結論推廣到對任意的 f∈Lp(Ω),2u ∈ Lp(Ω),其中1＜p≤2。在本文中,筆者不僅要把這些結論應用到所討論的更為一般的薛定諤方程,還要考慮當0＜p≤1,f在Hardy空間 Hpat(Ω)時解的可積性。在區(qū)域 Ω上 Hardy空間,Hp(Ω)定義如下:

其中S(Ω)是區(qū)域Ω上的許瓦茲函數類,所定義的Hardy空間是在全空間上的,那么對于區(qū)域上的Hardy空間怎么定義呢?這里將要用到原子分解技術。

定義1.1[3]假設0＜p≤1,a(x)是一個有界可測函數。如果下列的條件一和條件二成立,稱a(x)是p-原子;如果條件一和條件三成立,稱a(x)是局部p-原子;如果條件一和條件四成立,稱a(x)是(p,Ω)-原子。

條件三:方體Q的邊長,l(Q)≥1,或當l(Q)＜1時條件二成立;條件四:Q ?Ω且diam(Q)≤dist(Q,?Ω)≤4diam(Q)。

具體到本文中,只考慮Hp(Ω)=(Ω)的情形,因為對任意的f∈(Ω),文獻[3]的作者證明了如果Ω是有界連通的Lipschitz區(qū)域或是Lipschitz上方圖,f存在如下的原子分解:

其中{ak(x)}是一列p-原子,它們的支集Qk包含在Ω中,可以注意到這里定義的(Ω)就是文獻[3]中所定義的(Ω)。因為對任意的C2區(qū)域是Lipschitz區(qū)域,文獻[3]中的結論在本文中也成立。

應用Lax-Milgram定理,對任意f∈L2(Ω),Dirichlet問題(1)有唯一的可解性(見第二部分定理2.5),因此對任意的原子a(x),Dirichlet問題(1)唯一可解。由于涉及方程的弱解,有必要定義(Ω)對偶空間,它就是以α(p)=n(1-p)/p為指標的H?lder連續(xù)函數空間Cα(p)(Ω),其中n/n+1＜p ＜1?，F(xiàn)在能下定義了,對任意的試驗函數 ψ(x)∈ Cα(p)(Ω)∩(Ω),如果 u ∈ W1,20(Ω)∩ W1,p(Ω)滿足

就說在Hp意義下u是Dirichlet問題(1)的解。

本文的主要結論是:

定理1.2 Rn中的開區(qū)域Ω是C2區(qū)域,位勢V(x)∈Bn。若 f∈Hpat(Ω)且對任意的n/(n+1)＜p＜1,m(V,x)f∈(Ω),m(V,x)將在第二部分定義。則Dirichlet問題(1)存在唯一解u∈(Ω)∩W1,p(Ω)。而且估計式

其中常數C不依賴f。

筆者將在第二部分給出算子L的Green函數的一些性質,第三部分證明Dirichlet問題(1)的L2估計,并且給出主要結論的證明。在沒有特別聲明的情況下,常數C并不是固定的,它只是表示非無窮大的數,其所依賴的主要是n,l及B n條件下的常數Cn。

2 重要的引理和Green函數的估計

在此,筆者將會指出當f∈L2(Ω)時,帶奇異位勢的薛定諤方程Lu=f在C2區(qū)域上存在解屬于(Ω),然后給出對于薛定諤算子的Green函數的估計。為此,需要利用關于位勢V輔助函數的一些性質。對q ≥n/2,假設V ∈ Bq,用

來定義輔助函數m(V,x)。顯而易見,0＜m(V,x)＜∞。例如,假設V(x)=|P(x)|且P(x)是個k次多項式 ,則

注2.6 回顧以上的討論,可以注意到如果f 1=0,則定理2.5的結論對任意的無界區(qū)域Ω仍然成立。

對于Dirichlet問題,由雙層位勢理論[9]可知,薛定諤方程Lu=0存在G(x,y)。因為 V ≥0,所以

其中常數C＞0及x,y∈Ω。而且利用文獻[6]中的引理2.7或文獻[8]中的引理1.21,能夠得到下面關于Green函數的估計,這里略去了證明。

引理2.7 假設k是非負的整數,則對任意的x,y∈Ω有

其中Ck＞0。

推論2.8 假設k是非負的整數,則對任意的x,y∈Ω有

其中Ck＞0。

證明 利用引理2.7的估計,類似于文獻[10]中定理3.2和定理3.3的方法直接推出推論中的估計。

為了得到Green函數G(x,y)一階導數的估計,需要如下的引理:

其中最后一個不等式中利用了引理2.1。至此就完成了引理的證明。

推論2.11 k為非負的整數。對任意x,y∈ Ω,則

其中Ck＞0。

3 解的二階導數的估計

在此,主要致力于在C2區(qū)域Ω上討論薛定諤方程的可解性,即定理1.2的證明。在偏微分方程中,解弱的或經典的可微性常常可通過差分算子來導出。

定義3.1 假設u(x)是區(qū)域Ω上的可測函數記

現(xiàn)在,這部分剩下的就是關于u(x)的一階導數的估計。對任意的C2區(qū)域,通過適當的坐標變換和旋轉,不失一般性,假設 Ω是局部的C2上方圖,即

其中 φ是一個瓗n-1上的C2函數,滿足 φ(0)=0。令 Φ:Ω→Ω-是邊界?Ω上的關于xn軸的反射,定義為:Φ(x′,xn)=(x′,2φ(x′)-xn)。定義A(x)=aij(x)是一n維的實值對稱矩陣函數,當 x∈ Ω時,A(x)=Aij(x);當 x ∈ Ω-時 ,A(x)=B(x),其中 B(x)=(Φ′(x))TA(x)(Φ′(x))。至于在 Ω上的函數u,當 x∈ Ω-,定義u-(x)=(u? Φ-1)(x),并且對任意的x∈ Ω,u=u(x);對任意的x∈ Ω-u=-u-(x)。記算子L=-div(B(x)?)+V(x),其中V(x)和下面要用到的f(x)的定義同u的定義類似。由文獻[12]不難看到,L仍然是具有有界可測系數的散度型自伴一致橢圓算子。而且對x∈瓗n,L u(x)=f(x)。則利用第二部分的結論可知

[1] KADLEC J.On the regularity of the solution of the Poisson problem on a domain with boundary locally similar to the boundary of a convex open set[J].Czechoslovak J Math,1964,14(89):386-393.

[2] ADOLFSSON V.LpIntegrability of the second order derivatives of green potentials in convex domains[J].Pacific J Math,1993,159(2):201-225.

[3] TAO X.The atomic decompostion for Hardy space on domain and their dual spaces[J].Journal of Mathematical Study,1996,29(3):6-11.

[4] SHEN Z.Lpestimates for Schr?dinger operators with certain potentials[J].Ann Inst Fourier(Grenoble),1995,45(2):513-546.

[5] SHEN Z.On the Neumann problem for the Schr?dinger operators in Lipschitz domains[J].Indiana University Mathematics Journal,1994,43(1):143-176.

[6] TAO X,WANG H.On the Neumann problem for the Schr?dinger equations with singular potentials in Lipschitz domains[J].Canad JMath,2004,56(3):655-672.

[7] KURATA K,SUGANO S.A remark on estimates for uniformly Elliptic operators on weighted Lpspace and Moreey spaces[J].Math Nachr,2000,209(1):137-150.

[8] SHEN Z.On fundamental solutions of generalized Schr?dinger operators[J].Journal of Functional Analysis,1999,167(2):521-564.

[9] VERCHOTA G.Layer potentials and regularity for the Dirichlet problem for Laplace's equation in Lipschitz domain[J].Journal of Functional Analysis,1984,59(3):572-611.

[10] GRUTERA M,WIDM AN K O.The green function for uniformly elliptic equations[J].Manuscr Math,1982,37(3):303-342.

[11] GILBARG D,TRUDINGER N S.Elliptic partial differential equations of second order[M].Berlin/New York:Springer-Verlag,1983.

[12] ADOLFSSON V.L2Integrability of second-order derivatives for Poisson's equations in non-smooth domains[J].Math Scand,1992,70(3):146-160.