1. 引言
研究以下具有变号势的Schrödinger-Maxwell方程无穷多高能解的存在性。
(1)
这样的方程又被称为Schrödinger-Maxwell方程。对于系统(1),国内外的许多学者已经进行了广泛的研究并且得到了许多很好的结果。比如文献 [1] 讨论了
的情形,利用Pohozaev和Lagrange数乘法得到解的存在性、不存在性和多重。
文献 [2] 讨论了
的情形运用了喷泉定理和对偶的喷泉定理得到了类似于系统(1)的正解和负解的存在性。在文献 [3] 的工作中,运用对称的山路定理证明了当
满足某些增长条件时,系统(1)的径向对称解的存在性。文献 [4] 中作者运用喷泉定理和Pohozaev恒等式证明了当
是次线性增长和超线性增长时解的多重性的存在性。文献 [5] 考虑了当
为一个正常数时,系统(1)的多个正解的存在性问题。受文献 [2] 和 [5] 的启发,本文通过弱化了位势函数
的条件,不再要求
满足取值恒为正的情况,考虑系统(1),利用变分法和喷泉定理,得到了系统(1)无穷多高能解得存在性。
G(1)
,
,对
,
,其中这里的测度空间
空间里的Lebesgue测度。
G(2)
,存在常数
,
,使得
。
G(3)对任意的
,有
。
G(4)
,
,存在
,使得:
对
几乎处处成立。
G(5) 存在常数
和
,当
时,有:
且当
时,有
。
G(6) 对
,有
。
对于系统(1),主要的结果如下:
定理1.1 若G(1)~G(6)条件成立,则系统(1)存在无穷多个高能解。
2. 预备工作及相关引理
记
,其相应的内积和范数分别为
和
定义
相应的范数为
定义
则E是一个Hilbert空间,定义相应的内积和范数分别为
和
记
为
的范数,
,再记
显然地,嵌入
是连续的。
在定理1.1的假设条件下,我们有
。由G(4)可得:
(2)
故存在常数
,使得:
(3)
其中
,
。更准确地说,对所有的
当
时,由式(2),G(5)可得:
令
,则式(3)式成立。
在本文中,我们将用下列假设条件代替G(1):
G(1')
,
,这里的常数
与式(3)中的
相同,且对每一个
,
。
由文献 [6] 知,当G(1')条件满足时,嵌入
是紧的。
根据Euler-Lagrange方程,系统(1)对应的泛函
定义如下:
其中
,
。
根据Lax-Milgram定理(详见文献 [7] ),
,存在唯一的
,使得
易知,
是
的一个弱解。特别地,
的积分形式如下
易知,
,故泛函
是定义良好的,且
,其导数如下:
引理2.1 [8] 由条件G(2),对任给的
,存在唯一的
,使得
并且有:
(i)
。
(ii)
。
(iii)
。
(iv)
。
其中
仅与
有关。
(v) 如果v是径向的,则
也是径向的。
根据引理2.1,容易得到
是系统(1)的弱解,仅当
是泛函
的临界点,其中
定理2.2 [9] 设
为Hilbert空间,
为其一组标准正交基。令
,
,
。设泛函
满足
,
。如果存在
,使得对每一个
,存在
满足:
(Φ1)
;
(Φ2)
;
(Φ3)对任意的
,
满足
条件。
引理2.3 [10] 对任意的
,我们有:
引理2.4 [1] 设X是一个Banach空间,
满足
条件,如果任一
,
则
有一收敛子列。
引理2.5 [11] 在定理2.2的假设下,若
满足
条件,则c是
的一个临界值。
3. 定理1.1的证明
我们先证明
在E中满足
条件,再证明
满足喷泉定理其他条件,最后运用定理2.2即可。在通篇文章中,常数c和
代表不同的常数,其中
为正整数。
引理3.1 若G(1'),G(2)~G(6)条件成立,则
满足
条件。
证明:设任一序列
,满足:
当n充分大时,由G(3),G(5)得:
故
在E中有界。因为
有界,不妨假定在E中
弱收敛于u,则在
中,我们有
,且:
显然:
。又因为
因此
,
。
引理3.2 若G(1'),G(2)~G(6)条件成立,则:
证明:由G(4)可知,存在
,当
时,我们有:
(4)
故存在
,满足
(5)
因此,当
时,由式(4)和式(5)得:
利用等式
,我们有:
(6)
令
,则由G(5),式(6)得:
所以有:
因为在有限维空间中所有范数等价,
,所以对于
,
足够大时,有:
引理3.3 若G(1'),G(2)~G(6)条件成立,则:
证明:由G(4)可知,对任意的
,
足够小时,有:
由引理2.3可知
,
。
选定
,则:
由
,
,
,有:
,
,故
由G(1)可得,存在一个常数
,使得
,这里的
与式(5)中的
相同。令
,则容易验证下列引理成立。
引理3.4 问题(1)与下列问题等价。
(7)
定理1.1的证明 由引理3.1、引理3.2和引理3.3可知,式(7)的泛函满足定理2.2的所有条件。再由引理3.4可知,系统(1)有无穷多个高能解,故定理1.1成立,证毕。
基金项目
本论文得到了2022年广西区教育厅高校中青年科研基础能力提升项目(2022KY1623);桂林信息科技学院2020年科研启动基金项目(XJ202080)资助。