一類非合作橢圓方程組非平凡解的存在性

韋玉程,劉廣剛

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

0 引 言

許多實(shí)際問題中,偏微分方程(PDE)的解通常與其對應(yīng)的能量泛函臨界點(diǎn)緊密相關(guān),但在證明能量泛函臨界點(diǎn)的存在性時,需驗(yàn)證(PS)序列的有界性. 為克服這一困難,Struwe[1]引入了單調(diào)性技巧,證明了能量泛函在某種單調(diào)性下,可導(dǎo)出(PS)序列的有界性[2]. 之后,該方法被用于極小化問題[3]以及環(huán)繞問題[4]中. Jeanjean[5]將單調(diào)技巧推廣到更抽象的形式中,目前已被應(yīng)用于其他數(shù)學(xué)物理方程中[6-10]. 本文基于弱環(huán)繞定理[8-9],考慮一類非合作的耦合非線性橢圓方程組,使用單調(diào)性技巧證明了該方程組存在非平凡解.

考慮方程

(1)

其中:Ω?RN(N≥3)為光滑有界域;F(x,u,v)∈C1(Ω×R2,R). 為方便,記z=(u,v). 假設(shè)條件如下：

(H0) (關(guān)于x∈Ω一致成立;

(H2) |F(x,z)|=o(|z|),當(dāng)|z|→0時,關(guān)于x∈Ω一致成立;

本文的主要結(jié)果如下：

定理1假設(shè)條件(H0)～(H6)成立,則方程(1)有非平凡解.

例1設(shè)F(x,u,v)=(|u|+|v|)p,其中p>2. 顯然F(x,u,v)滿足假設(shè)條件(H0)～(H6).

例2設(shè)

其中:g(x)>0且為周期函數(shù);參數(shù)p滿足(H1)及0<ε

不難驗(yàn)證F(x,u,v)也滿足條件(H0)～(H6).

1 預(yù)備知識

用‖·‖Lq表示Lq(Ω,R)空間的范數(shù). 記

H={u:Ω→R|u絕對連續(xù),且u|?Ω=0,|u|∈L2(Ω,R)}.

?z∈E.

由文獻(xiàn)[11]中命題1.1知,存在常數(shù)a0>0,使得

?z∈E.

(2)

定義泛函

(3)

則由經(jīng)典結(jié)果知式(3)的臨界點(diǎn)即為方程(1)的弱解. 由假設(shè)條件知I∈C1(Ω×R2;R). 記Lz=(-Δu,Δv)T,則線性算子L具有如下特征值:

…≤-λm≤…≤-λ2≤-λ1<λ1≤λ2…≤λm…,

且λm→ ∞(m→ ∞). 記E0=KerL,E-與E+分別表示L的負(fù)特征子空間與正特征子空間， 則E=E0⊕E+⊕E-. 顯然0?σ(L). 對任意的z∈E,z=z++z-(z±∈E±)， 則有

(4)

設(shè)(E,‖·‖)是一個Hilbert空間,正交分解為E=N ⊕N⊥,其中N ?E為閉的可分子空間. 對于任意的n∈N,存在一個范數(shù)‖·‖ω,使得其誘導(dǎo)的拓?fù)渑cN上的弱拓?fù)湓谟薪缱蛹系葍r,且‖n‖ω≤‖n‖. 在E中引入范數(shù)‖z‖w=‖n‖ω+‖n⊥‖(z=n+n⊥).

對于E=E+⊕E-,z0∈E+且‖z0‖=1,取N =E-⊕Rz0,記

對于E上形如Iλ(z)=J(z)-λK (z)的泛函,可得如下弱環(huán)繞定理.

引理1(弱環(huán)繞定理) 若對任意的λ∈[1,2],Iλ∈C1,且滿足如下假設(shè)條件:

1) ?z∈E,K(z)≥0,I1=I;

2) 當(dāng)‖z‖→∞時,J(z) → ∞或K(z) → ∞;

則對幾乎所有的λ∈[1,2],存在E中的序列{zj},使得

(zj) → 0; Iλ(zj) →cλ,

證明參見文獻(xiàn)[8-9].

為了對方程(1)使用引理1,考慮將泛函(4)寫成如下形式:

(5)

引理2假設(shè)(H0)～(H6)成立,則:

1) 存在不依賴于λ的常數(shù)ρ>0,使得κ∶=inf Iλ(Dρ)>0,其中Dρ∶={z∈E+|‖z‖=ρ};

2) 取定z0∈E+,‖z0‖=1,對任意的λ∈[1,2],存在常數(shù)R>ρ>0,使得sup Iλ(?Q)≤0. 其中Q∶={z=v-+sz0|s≥0,v-∈E-,‖z‖

證明: 1) 由(H1)及(H2)知,?ε>0,?Cε使得

F(x,z)≤ε|z|+Cε,

(6)

再由(H4)得

(7)

任取z∈E+,有

‖z‖p.

(8)

注意到

這與式(8)矛盾.

引理3假設(shè)(H0)～(H6)成立,則對幾乎所有的λ∈[1,2],存在E上的序列{zj},使得

引理4假設(shè)(H0)～(H6)成立,則對幾乎所有的λ∈[1,2],存在zλ∈E,使得:

3) Iλ(w-zλ)≤Iλ(zλ),?w∈Σ∶={szλ+v-|s≥1,v-∈E-},w≠0.

(9)

從而

這與IΩ(zj)>κ矛盾,故式(9)成立.

由(H4)及Fatou引理,得

即1)和2)成立. 下證3).

(10)

重寫Iλ(z)為

(11)

由1)知

取w=szλ+v-∈Σ,運(yùn)用式(10)～(12),直接計算得

引理5假設(shè)(H0)～(H6)成立,則存在λj→1(j→∞)及序列{zj}?E,使得:

1) sup ‖zj‖<∞;

矛盾.

引理6引理5所得的序列{zλj}是泛函I的一個(PS)序列,且滿足:

證明: 對

用引理5可得結(jié)果.

2 定理1的證明

同理

于是

K∶={z∈E|I ′(z)=0};c∶=inf{I (z)|z∈K{0}}.

對任意的z∈K,z≠0,由(H4)知

從而c≥0. 設(shè)zj∈K{0},使得I (zj)→c. 由引理5知{zj}有界,又由上述斷言知(有必要可取子列),zj?z∈K{0};再由(H4)及Fatou引理得

即存在z∈K{0},I (z)=c>0.

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

[1] Struwe M. The Existence of Surfaces of Constant Mean Curvature with Free Boundaries [J]. Acta Math,1988,160(1): 19-64.

[2] Ambrosetti A,Struwe M. Existence of Steady Vortex Rings in an Ideal Fluid [J]. Arch Rat Mech Anal,1989,108(2): 97-109.

[3] Struwe M. Existence of Periodic Solutions of Hamiltonian Systems on Almost Every Energy Surface [J]. Boletim Soc Bras Mat,1990,20(2): 49-58.

[4] Struwe M. Une Estimation Asymptotique Pourle Modèle Ginzburg-Landau [J]. CR Acad Sci Paris: Ser Ⅰ Math,1993,317(7): 677-680.

[5] Jeanjean L. On the Existence of Bounded Palais-Smale Sequences and Application to a Landesman-Lazer Type Problem Set on RN[J]. Proc Roy Soc Edinburgh: Sect A Math,1999,129(4): 787-809.

[6] CHEN Guan-wei,MA Shi-wang. Periodic Solutions for Hamiltonian Systems without Ambrosetti-Rabinowitz Condition and Spectrum 0 [J]. J Math Anal Appl,2011,379(2): 842-851.

[7] CHEN Guan-wei,MA Shi-wang. Homoclinic Orbits of Superlinear Hamiltonian Systems [J]. Proc Amer Math Soc,2011,139(11): 3973-3983.

[8] Schechter M,ZOU Wen-ming. Weak Linking Theorems and Schr?dinger Equations with Critical Sobolev Exponent [J]. ESAIM: Control Optim Calc Var,2003,9: 601-619.

[9] Schechter M,ZOU Wen-ming. Weak Linking [J]. Nonlinear Analysis: Theory,Method and Applications,2003,55(6): 695-706.

[10] YANG Min-bo. Ground State Solutions for a Periodic Schr?dinger Equation with Superlinear Nonlinearities [J]. Nonlinear Analysis: Theory,Method and Applications,2010,72(5): 2620-2627.

[11] Mawhin J,Willem M. Critical Point Theory and Hamiltonian Systems [M]. New York: Springer-Verlag,1989.

[12] Willem M. Minimax Theorems [M]. Boston: Birkh?ser,1996.