高娟娟,賈小堯,馬繼佳
(河南科技大學(xué)數(shù)學(xué)與統(tǒng)計(jì)學(xué)院,河南洛陽471023)
近年來,具有變指數(shù)增長條件的偏微分方程理論在彈性力學(xué)、電子流變流體學(xué)以及圖像處理等方面變得越來越重要。變指數(shù)空間問題最早由波蘭數(shù)學(xué)家W.Orlicz提出,而后由捷克數(shù)學(xué)家O.Kovácˇik和J.Rákosn′ik系統(tǒng)地建立[1]。從此以后,變指數(shù)空間的基本理論研究[2-4]以及具有變指數(shù)增長條件的偏微分方程的研究[5-13]吸引了國內(nèi)外廣大學(xué)者的關(guān)注,其中,文獻(xiàn)[5-9]研究了具有Dirichlet邊界條件的變指數(shù)問題,文獻(xiàn)[10-13]討論了具有Neumann邊界條件的變指數(shù)問題。但是,這些文獻(xiàn)都是關(guān)于次臨界或者臨界情形的研究,對于具有超臨界增長指數(shù)的變指數(shù)問題的研究則較少[14-15]。本文討論一類具p(x)-Lap lacian算子且?guī)в谐R界非線性項(xiàng)的Dirichlet問題:
其中,Ω?RN是一個(gè)具有柱對稱性的有界正則區(qū)域;p(x)∈C(),1<p(x)<N,?x∈,且λ>0。本文利用一個(gè)新的緊嵌入定理以及經(jīng)典的變分方法得到了問題(P)弱解的存在性。
本節(jié)將介紹有關(guān)變指數(shù)空間Lp(x)(Ω)和W1,p(x)(Ω)的相關(guān)結(jié)論,詳細(xì)內(nèi)容見文獻(xiàn)[1-4]。
令Ω=Ω1×Ω2?RN,其中Ω1?Rm(m≥1)是有界正則區(qū)域,Ω2?Rk(k≥2)是中心在原點(diǎn)半徑為R的球。定義:
假設(shè)h(x)滿足以下條件:(h1):h(x)是上的非負(fù)H?lder連續(xù)函數(shù),關(guān)于x2∈Ω2徑向?qū)ΨQ且滿足h(x1,0)=0;(h2):lh>0,lh=sup{λ>0:<∞,x∈Ω}。
定義:
命題3 假設(shè)h(x)滿足條件(h1),(h2),且p(x),q(x)∈C+()∩S(Ω),p(x)<N,則存在一個(gè)常數(shù)τ>0,使得當(dāng)p(x)<q(x)<p*(x)+τ時(shí)(p*(x)=為臨界指數(shù)),嵌入W(Ω)→(Ω)是緊的。
且有以下結(jié)論:
(1)L是連續(xù)有界且嚴(yán)格單調(diào)的算子;
(2)L是(S+)型映射,即若在W1,p(x)(Ω)中有unu,且p(L(un)-L(u),un-u)≤0,則un→u。
命題5 記Φ=∫ΩλF(x,u)d x,則若unu就有Φ(un)→Φ(u)和Φ′(un)→Φ′(u)。
下面,給出f(x,t)的假設(shè)條件:
(f1) f:Ω×R→R滿足Caratheodory條件,且存在兩個(gè)常數(shù)C1,C2>0使得≤C1+C2q(x)-1,?(x,t)∈Ω×R,其中,q(x)∈C+(Ω),q(x)<p*(x)+τ(τ>0是命題3中得到的常數(shù))。
(f2) ?M>0,θ>p+,使得0<θF(x,t)<f(x,t)t對于≥M,?x∈Ω成立,其中F(x,t)=(x,s)d s。
(f3) f(x,t)=o(p+-1),t→0對于x∈Ω是一致的。
定理1 若f(x,t)滿足條件(f1)且q+<p-,則問題(P)有一個(gè)弱解。
證明 根據(jù)條件f1有≤C(1+q(x)),?(x,t)∈Ω×R。令>1,可得:
因?yàn)閝+<p-,所以當(dāng)→∞時(shí)有I(u)→∞,即I是強(qiáng)制的。由命題3可知,I是弱下半連續(xù)泛函。從而,I在W(Ω)中有一個(gè)極小值點(diǎn)u,即為問題(P)的一個(gè)弱解。
定義2 ((PS)條件)稱一個(gè)C1的泛函Φ:Χ→R滿足(PS)條件,如果任意一個(gè)在X中使得有界且Φ′(vk)→0的序列{vk}(稱為(PS)序列)都有收斂子列。
定理2 假設(shè)f(x,t)滿足條件(f1)、(f2),并且條件(h1)、(h2)成立,則I滿足(PS)條件。
證明 設(shè){un}?W(Ω)是(PS)序列,即{I(un)}有界且當(dāng)n→∞時(shí)有→0。接下來需要證明{un}有收斂子列。
由θ>p+可知{un}是有界的。因?yàn)閃(Ω)是自反的Banach空間,所以可以找到一個(gè)弱收斂子列{uni}?W(Ω)。由于uniu且I′(uni)→0,應(yīng)用命題4和命題5可知uni→u。選擇{unj}?{uni}使unj∈S(Ω),因此{unj}?W(Ω)且仍有unj→u。從而,I滿足(PS)條件。
定理3 若f(x,t)滿足條件(f1)~(f3),h(x)滿足條件(h1)和(h2),且q->p+,則問題(P)有一個(gè)非平凡的弱解。
證明 下面利用山路引理證明。由定理2可知I滿足(PS)條件。因?yàn)閜+<q-≤q(x)<p*(x)+τ,?x∈Ω,有以下緊嵌入結(jié)果:
從而,存在常數(shù)C0,C1,
根據(jù)條件(f1)和(f3)可知,存在任意常數(shù)0<ε<1和常數(shù)C(ε)>0,使得
令ε>0足夠小,使得0<λεC0<,從而有
因?yàn)閝->p+,所以必存在r>0和δ>0,使對每個(gè)u∈W(Ω)且=r都有I(u)≥δ>0成立。
于是,當(dāng)t→+∞時(shí),有I(tv)→-∞。又因I(0)=0,從而I滿足了山路引理的條件。因此泛函I至少有一個(gè)非平凡的臨界點(diǎn)。
[1] Kovácˇik O,Rákosn′ik J.On Spaces Lp(x)(Ω)and Wk,p(x)(Ω)[J].Czechoslovak Math J,1991,41(116):592-618.
[2] Fan X L,Zhao D.On the Spaces Lp(x)(Ω)and Wm,p(x)(Ω)[J].JMath Anal Appl,2001,263:424-446.
[3] Fan X L,Shen JS,Zhao D.Sobolev Embedding Theorems for Spaces Wk,p(x)(Ω)[J].JMath Anal Appl,2001,262:749-760.
[4] Gao J J,Zhao P H,Zhang Y.Compact Sobolev Embedding Theorems Involving Symmetry and Its Application[J].Nonlinear Differ Equ Appl,2010,17:161-180.
[5] Chabrowski J,F(xiàn)u Y Q.Existence of Solutions for p(x)-Lap lacian Problems on a Bounded Domain[J].JMath Anal Appl,2005,306:604-618.
[6] Fan X L.On the Sub-supsolution Method for p(x)-Laplacian Equations[J].JMath Anal App l,2007,330:665-682.
[7] Mayte P L A,Julio D R.The Limit as p(x)→∞of Solutions to the Inhomogen-eous Dirichlet Problem of the p(x)-Laplacian[J].Nonlinear Anal,2010,73:2027-2035.
[8] Zhang Q H.Existence of Positive Solutions to a Class of p(x)-Laplacian Equations with Singular Nonlinearities[J].Applied Mathematics Letters,2012,25:2381-2384.
[9] Ghaemia M B,Afrouzi B G A,Rasouli C S H,et al.On the Existence of Positive Solutions for a Class of(p(x),q(x))-Laplacian System[J].Applied Mathematics Letters,2013,26:367-372.
[10] M ihaˇilescu M.Existence and Multiplicity of Solutions for a Neumann Problem Involving the p(x)-Lap lace Operator[J].Nonlinear Anal,2007,67:1419-1425.
[11] Fan X L,Ji C.Existence of Infinitely Many Solutions for a Neumann Problem Involving the p(x)-Lap lacian[J].JMath Anal Appl,2007,334:248-260.
[12] Deng S G,Wang Q.Nonexistence,Existence and Multiplicity of Positive Solutions to the p(x)-Laplacian Nonlinear Neumann Boundary Value Problem[J].Nonlinear Anal,2010,73:2170-2183.
[13] Cammaroto F,Vilasi L.On a Perturbed p(x)-Laplacian Problem in Bounded and Unbounded Comains[J].JMath Anal Appl,2013,402:71-83.
[14] Yao JH,Wang X Y.On an Open Problem Involving the p(x)-Laplacian-A Further Study on the Multiplicity of Weak Solutions to p(x)-Laplacian Equations[J].Non Anal,2008,69:1445-1453.
[15] Dimitrios A K,Nikolaos S.Elliptic Problems Involving the p(x)-Laplacian with Competing Nonlinearities[J].JMath Anal Appl,2011,379:378-387.