一类包含P(x)-Laplace算子偏微分方程解存在性.pdf

第25卷第1O期 常熟理工学院学报 (自然科学) Vo1．25NO．10 2011年 10月 JournalofChangshuInstituteTechno1ogy(Natura1Sciences) 0ct．．2011 一 类包含P(x)一Laplace 算子的偏微分方程解的存在性 顾建军 ，王晓明 (1．常熟理工学院 数学与统计学院，江苏 常熟 215500； 2．无锡工艺职业技术学院 基础部，江苏 宜兴 214206) 摘 要：研究变指数Sobolev空间中一类包含P(x)一Laplace算子的非线性 问题 ．利用变指数Lebe— sgue和Sobolev空间理论框架，验证Palais—Smale紧性条件，并结合山路定理和变分法证明方程弱解 的存在性． 关键词：P(x)一Laplace算子；变指数空间；Palais-Smale紧性条件；山路定理 中图分类号 ：0175．2 文献标识码 ：A 文章编号 ：1008—2794(2010)10—0019—05 0 引言及预备知识 包含具变指数增长条件的算子的微分方程和变分问题在数学物理，特别是弹性力学、流体动力学中有 着重要的作用 ．变指数Lebesgue和Sobolev空间，即L州(Q)和w 卅(Q)空间理论的发展推动了对这些应 用的进一步研究．关于变指数空间理论可见文献 4【，51． 本文考虑以下问题： p．．-div((1I卜。+lr扛卜))： ()lf卜+6()l“f卜。)在Q内 。u【=0 在 上 其 中Q R ，(N≥3)为具光滑边界的有界区域，，10为实数．令m(x)=max{p1()，P。())．我们将证明 在广义Sobolev空间w 州驯(Q)中问题 (P)的非平凡弱解的存在性．在问题 (P)中当声(z)2时，算子退化 为△则 =div((IVul卜) )，该问题近十年来已被广泛地研究，并取得了一些好的结果 ． 下面给出一些记法及空间的定义及性质 ． 定义 ：=essinf户f()户(z) ：=esssupp，(z)。。，pi()，( 1，2)在 上Lipschitz连续．令 c+()={h； h∈C(Q)，h(x)l， ∈Q)，q，h∈C+(Q)，(z)，b(x)0． 以(z)∈L (Q)’6(z)∈L (Q)，其中 ()= ，y()= ，且当 ()N， (z)= 收稿 日期：2011一O5—20 基金项 目：常熟理工学院青年教师科研启动基金 (ky2009107)资助项 目． 作者简介：顾建军(1979一)，男，江苏扬州人，常熟理工学院数学与统计学院讲师 ，硕士，研究方向：偏微分方程控制论 20 常熟理工学院学报 (自然科学) 2011年 当m(x)N， ()=∞．本文中始终假设 以 卜条件成立： 1g一≤g 一 h h ． (1) 设 L )={p；pEL。。(Q)， p l}，定义变指数Lebes—gue空间如下 ： L删 (Q)：= (z) ， ID)=LI)rdxco，p6LT}．在该空间上，我们定义Luxemb。urg范数Ilu(x)ll、=inf l0酬() 1)1此刻 Lml(Q)是可分的和 自反的Banaeh空间 ， ． 定义变指数Sobolev空间W (Q)=(“∈ (Q)； l I∈L (Q))，其范数为IluII1_)=11“)+llv甜II)，此刻 Q()是可分的和自反Banach空间．在 llIlll加意义下，定义 (Q