劉廣剛, 韋玉程,2

(1. 吉林大學(xué) 數(shù)學(xué)學(xué)院, 長(zhǎng)春 130012; 2. 河池學(xué)院 數(shù)學(xué)系, 廣西 河池 546300)

0 引 言

考慮橢圓方程邊值問(wèn)題:

(1)

解的存在性, 其中Ω?RN(N≥3)是一個(gè)光滑有界區(qū)域. 由于右端項(xiàng)f含有梯度項(xiàng), 問(wèn)題(1)不具有變分結(jié)構(gòu), 因此不能直接用變分法研究其解的存在性. 這種情形下最常用的工具是拓?fù)涠壤碚? 為得到問(wèn)題上下解和解的先驗(yàn)估計(jì), 通常需要對(duì)非線性項(xiàng)做適當(dāng)假設(shè), 這方面的研究目前已有許多結(jié)果[1-6]. 文獻(xiàn)[7]通過(guò)先固定梯度項(xiàng)再利用山路引理和迭代技巧, 在f滿足超線性增長(zhǎng)條件時(shí)證明了問(wèn)題(1)正解和負(fù)解的存在性. 該方法在擬線性微分方程[8-9]、 Hamilton系統(tǒng)[10]和脈沖微分方程[11]中應(yīng)用廣泛. 文獻(xiàn)[7-11]均要求右端非線性項(xiàng)滿足超線性增長(zhǎng)條件. 本文考慮f滿足漸近線性增長(zhǎng)條件時(shí), 問(wèn)題(1)正解和負(fù)解的存在性.

設(shè)0<λ1<λ2≤λ3≤…≤λk≤…是-Δ對(duì)應(yīng)于Dirichlet條件的特征值列. 假設(shè):

(H4)f(x,t,ξ)關(guān)于t,ξ滿足全局Lipschitz條件, 即存在常數(shù)L>0, 使得

由條件(H1), 0是問(wèn)題(1)的一個(gè)解, 稱為平凡解. 本文考慮問(wèn)題(1)非平凡解的存在性, 主要結(jié)果如下:

1 引 理

(2)

(x),▽w(x))dx.

證明: 由文獻(xiàn)[12]中命題B35可知, 只需證明{un}有界即可.

記u+(x)=max{u(x),0}. 由條件(H2), 存在常數(shù)M1>0, 使得

(3)

-Δv=μv+.

(4)

由最大值原理知v>0或v=0. 如果v>0, 則v是-Δ的一個(gè)正的特征函數(shù), 因此μ=λ1, 這與條件(H2)矛盾. 故v=0, 但這又與‖v‖L2=1矛盾. 從而序列{un}有界. 證畢.

由條件(H1)知,λ<λ1, 故取充分小可使1-λ/λ1-/λ1>0. 又因?yàn)閜+1>2, 所以當(dāng)ρ充分小時(shí), (1-λ/λ1-/λ1)ρ2/2-Ckρp+1>0. 取這樣的ρ, 令β=(1-λ/λ1-/λ1)ρ2/2-Ckρp+1, 則有Iw+(v)>β, ?v∈?B(0,ρ). 證畢.

引理3假設(shè)(H0),(H1),(H2),(H3)成立, 則存在v0?B(0,ρ), 使得Iw+(v0)<0.

令φ1為-Δ的對(duì)應(yīng)于λ1的特征函數(shù), 則φ1(x)>0. 因此,

由(H2)知μ>λ1, 故可取充分小, 使得λ1-μ+<0. 由式(5)知, 存在T, 使得當(dāng)t≥T時(shí), 有Iw+(Tφ1)<0. 取v0(x)=Tφ1(x), 則由引理2知,v0(x)?B(0,ρ), 且Iw+(v0)<0. 證畢.

▽w)uw-dx=0.

因此,uw(x)≥0. 又由最大值原理知, ?x∈Ω,uw(x)>0, 且?x∈?Ω, ?uw/?ν<0, 其中ν是?Ω上的指向外側(cè)的單位法向量. 故uw也是Iw的臨界點(diǎn), 從而問(wèn)題(2)至少有一個(gè)非平凡的正解uw. 證畢.

引理5存在不依賴于w的常數(shù)c1>0, 使得問(wèn)題(2)的非平凡解uw都滿足‖uw‖≥c1.

證明: 由uw是問(wèn)題(2)的弱解得

(6)

特別地, 取φ(x)=uw(x)代入式(6)有

(x),▽w(x))uw(x)dx.

由條件(H1)和(H3), 任取>0, 存在常數(shù)k>0, 滿足g0(x,t,ξ)≤t+k. 則由Sobolev不等式, 有

從而由式(7)得

因?yàn)棣?λ1, 取>0充分小, 使得1-λ/λ1-/λ1>0, 并注意到p+1>2, 所以存在常數(shù)c1>0, 使得對(duì)任意的問(wèn)題(2)的非平凡解uw都有‖uw‖≥c1. 證畢.

2 定理1的證明

(8)

由Schauder正則性理論[13]可知, ?x∈Ω,un∈C2,α(Ω,R), 且un>0. 由于un+1和un滿足:

-Δun+1=f(x,un+1,▽un), -Δun=f(x,un,▽un-1),

因此

(9)

(10)

從而

衷心感謝吉林大學(xué)數(shù)學(xué)學(xué)院史少云教授的悉心指導(dǎo).

[1] Amann H, Crandall M G. On Some Existence Theorems for Semilinear Elliptic Equations [J]. Indiana Univ Math J, 1978, 27: 779-790.

[2] Pohozaev S. On Equations of the Type Δu=f(x,u,Du) [J]. Mat Sb, 1980, 113: 324-338.

[3] Xavier J B M. Some Existence Theorems for Equations of the Form -Δu=f(x,u,Du) [J]. Nonlinear Analysis TMA, 1990, 15(1): 59-67.

[4] WANG Xu-jia, DENG Yin-bing. Existence of Multiple Solutions to Nonlinear Elliptic Equations in Nondivergence Form [J]. J Math Anal and Appl, 1995, 189(3): 617-630.

[5] YAN Zi-qian. A Note on the Solvability inW2,p(Ω) for the Equation -Δu=f(x,u,Du) [J]. Nonlinear Analysis TMA, 1995, 24(9): 1413-1416.

[6] YAN Zi-qian. The Solvability of the Equation -Δu=f(x,u,Du) inW2,p(Ω) [J]. Acta Scientiarum Naturalium Universitatis Jilinensis, 1992(2): 30-32. (嚴(yán)子謙. 方程-Δu=f(x,u,Du)在W2,p(Ω)中的可解性 [J]. 吉林大學(xué)自然科學(xué)學(xué)報(bào), 1992(2): 30-32.)

[7] Figuereido D G, de, Girardi M, Matzeu M. Semilinear Ellptic Equations with Dependence on the Gradient via Mountain-Pass Techniques [J]. Differential and Integral Equations, 2004, 17: 119-126.

[8] Girardi M, Matzeu M. A Compactness Result for Quasilinear Elliptic Eqations by Mountain Pass Techniques [J]. Rend Math Appl, 2009, 29(1): 83-95.

[9] Servadei R. A Semilinear Elliptic PDE Not in Divergence Form via Variational Methods [J]. J Math Anal Appl, 2011, 383(1): 190-199.

[10] Girardi M, Matzeu M. Existence of Periodic Solutions for Some Second Order Quasilinear Hamiltonian Systems [J]. Rend Lincei Mat Appl, 2007, 18(1): 1-9.

[11] TENG Kai-min, ZHANG Chao. Existence of Solution to Boundary Value Problem for Impulsive Differential Equations [J]. Nonlinear Anal RWA, 2010, 11(5): 4431-4441.

[12] Rabinowitz P H. Minimax Methods in Critical Point Theory with Applications to Differential Equations [M]. Providence: Amer Math Soc, 1986.

[13] Gilbarg D, Trudinger N S. Elliptic Partial Differential Equations of Second Order [M]. 2nd ed. Berlin: Springer, 1983.