APP下载

一类带凹凸项的椭圆型偏微分方程解的存在性

2023-09-25郑文静陈尚杰

关键词:椭圆型凹凸有界

郑文静,陈尚杰,李 麟

(重庆工商大学 a.数学与统计学院,b.经济社会应用统计重庆市重点实验室,重庆 400067)

考虑如下发展方程

(1)

当方程(1)寻找自相似解w(t,x)∶=t-1/(p-2)u(t-1/2x)时,方程(1)等价于一类带权重K(x)的热方程

(2)

具体见文献[1]。热方程作为抛物型偏微分方程,不仅可以用来描述热传导过程,也可以用来描述多种反应的扩散过程,诸如液体流动、传染病扩散、生物种群的迁移、生物分子的运动以及飞行器的冷却与保护等。

在最近的文献[2]中,Li和Tang研究了在非线性项f(x,u)分别满足超线性和渐近线性的情况下方程(2)基态解的存在性。除此之外,更多的学者研究了方程(2)中非线性项f(x,u)=a(x)|x|β|u|q-2u+b(x)u2*-2u的情况,即如下方程:

(3)

值得一提的是,文献[8]研究了如下带有凹凸项的椭圆型偏微分方程

其中1

与上述方程略有不同,在文献[11]中,Qian和Chao考虑了如下带非局部项的椭圆型偏微分方程

(4)

非平凡解的存在性问题,其中a,b,λ>0,β=(α-2)(6-q)/4,K(x)=exp{|x|2/4},α≥2。在对参数λ作不同的假设条件下,作者利用山路定理和Nehari流形的方法分别证明了方程(4)非平凡解和基态解的存在性。同样方法应用到其他方程的研究可见文献[12]。

受文献[8-11]启发,本文将研究如下一类带有一般凹凸非线性项的椭圆型方程

(5)

(f3):存在L0>0,θ>4和C1>0,使得

在上述条件下,本文得到以下结果。

定理1假设(g1)(g2)和(f1)—(f4)成立,则存在μ0>0当|μ|≤μ0时,问题有无穷多个解。

注记1受权重的影响,本文得到的解呈指数衰减,证明可参见文献[3],且关于方程,目前还未有类似结论。

1 预备知识

对每一个q∈[2,6],定义空间

(6)

显然,I(u)是连续可导泛函,且其导数形式为

(7)

如果u∈X,∀v∈X满足〈I′(u),v〉=0,则称u∈X是问题的弱解。

1)对每一个有限维子空间V⊂X,存在R=R(V)使得当‖u‖≥R时有I(u)≤0;

2) 存在常数ρ,α>0,使得I(u)|{u∈Z:‖u‖=ρ}≥α;

3)泛函I满足(PS)c条件,

则泛函I有一列无界的临界值序列{un}。

2 主要结果证明

本文主要是运用变分法[14]求解的方法,通过山路定理得到方程无穷多解的存在性,故在证明定理1之前,本文需要引入一些预备结论。

证明类似于文献[15]。

引理2 假设条件(f2)和(g1)成立,则对X的每一个有限维子空间V,存在R=R(V)使得当‖u‖≥R时有I(u)≤0。

证明利用反证法,设对于任意的n∈,存在序列{un}⊂V使得‖un‖→∞时,有I(un)>0。首先取vn=,显然‖vn‖=1,即序列{vn}在X中是有界的,又因为V是有限维的,所以存在v∈V和序列{vn}的一个子列(仍记为{vn})使得vn→v,‖v‖=1,且对于任意x∈3有vn(x)几乎处处收敛于v(x)。定义一个集合B={x∈3:v(x)≠0},显然meas(B)>0,并且对于a.e.x∈B,n→∞时,有|un(x)|→+∞成立。则由条件(f2)和Fatou引理可得

(8)

根据(g1)、定理2和Hölder不等式得

又因为1

(9)

结合(8)(9)和I(un)>0可得

显然不等式两边矛盾,I(un)>0的假设不成立,故存在R=R(V)使得当‖u‖≥R时,I(u)≤0。证明结束。

引理3假设(g1)和(f1)成立,存在常数ρ,α>0,对任意|μ|≤|μ0|,使得I(u)|{u∈Z:‖u‖=ρ}≥α。

证明由条件(f1)可得

结合(6)(9)和引理1—2,对任何u∈Z满足‖u‖≤1有

引理4假设(g1)(f1)(f2)和(f3)成立,则泛函I满足(PS)c条件。

证明设{un}是泛函I的一个(PS)c序列,即

I(un)→c,I′(un)→0。

(10)

定义集合B={x∈R3:v(x)≠0},则meas(B)≥0。接下来分别考虑如下两种情况:

情形(1):meas(B)>0。这种情况的证明与引理2类似,故可由(8)(9)得

显然不等式两边矛盾,所以在meas(B)>0时,序列{un}在空间X中是有界的。

|f(x,t)t|≤c0(|t|2+|t|p)≤2c0|t|2。

(11)

|f(x,t)t|≤c0(|t|2+|t|p)≤M≤M|t|2。

(12)

|f(x,t)t|≤(2c0+M)|t|2,

从而存在常数C2>0,有

结合(f3)得

由(g1)和Hölder不等式及定理2可得

因为1

从而有

现需再证序列{un}在X中有一个子列强收敛于u,即在空间X中有‖un-u‖→0。因为序列{un}是有界的,所以存在一个子列{un}(仍记为{un})和u∈X使得

注意到

〈I′(un)-I′(u),un-u〉=a(un,un-u)+b‖un‖2(un,un-u)-a(u,un-u)-b‖u‖2(u,un-u)+

=a‖un-u‖2+b‖un‖2‖un-u‖2+b(‖un‖2-‖u‖2)(u,un-u)+

整理得

因此要证‖un-u‖→0,只需证明下列式子成立

(13)

(14)

b(‖u‖2-‖un‖2)(u,un-u)→0。

(15)

〈I′(un)-I′(u),un-u〉→0。

(16)

由(f1)和Hölder不等式有

由(g1)和Hölder不等式有

定理1的证明根据条件(g2)和(f4)知,函数F和G是偶函数,则泛函I是偶的,由引理2和引理3知,泛函I满足定理3的条件1)和条件2),又从引理4中知,泛函I满足(PS)c条件,从而满足定理3,因此可由定理3直接得到方程(5)有无穷多个解。证毕。

猜你喜欢

椭圆型凹凸有界
复Banach空间的单位球上Bloch-型空间之间的有界的加权复合算子
三个与凹凸性相关的不等式及其应用
含有陡峭势阱和凹凸非线性项的Kirchhoff型问题的多重正解
一类带临界指数增长的椭圆型方程组两个正解的存在性
一类具低阶项和退化强制的椭圆方程的有界弱解
最易写错笔顺的字
一类拟线性椭圆型方程的正解
浅谈正项有界周期数列的一些性质
消除凹凸纹理有妙招!
一类完全非线性椭圆型方程组解的对称性