1. 引言
Schrödinger方程,又称为Schrödinger波动方程,是由奥地利物理学家Schrödinger在二十世纪初期根据Duc de Broglie的微观粒子具有波粒二象性的假设提出的量子力学中的一个基本方程,也是量子力学的一个基本假定。该方程在物理和应用数学中有较为广泛的应用,例如光纤孤立子通信问题,非线性光学问题,充满流体的弹性管道中的波动问题以及血管中血流非线性波问题等等。该方程通常用于表示微观粒子的运动规律,即用来描述粒子在三维空间和任意给定时间的运动规律。质量为
的粒子的运动一般用如下线性的Schrödinger方程来描述 [1]
其中i表示单位虚根,
是普朗克常数,
表示粒子的运动状态,
表示粒子在
处的与时间无关的势。若存在多个粒子的情况下,引入一个扰动项
来模拟相互作用的效果:
若考虑粒子在运动过程受自己引力场的影响,通常加入一个满足如下形式的扰动项
即满足泊松方程
。那么上式的Schrödinger方程就转化为如下Schrödinger-Maxwell系统(又称Schrödinger-Poisson系统)
(1)
通过驻波变换
其中
,则系统(1)转化成稳态的Schrödinger-Maxwell系统 [1]
其中
,
,
。
本文研究Schrödinger-Maxwell系统
(2)
其中
为势函数,
为非负密度电荷且
,
,
,
为扰动函数,且
,
。该系统出现在量子力学中,可以用来描述带电粒子和电磁场的相互作用。此外,Schrödinger-Maxwell系统也出现在Abel规范理论中,用来描述非线性Schrödinger场与电磁场相互作用的运动规律,同时在半导体理论、非线性光学和等离子体物理学中都有广泛应用 [2]。
近些年,系统(2)被广泛的研究,当
,
时,有以下结果:Sun-Ma [3] 不仅证得当
在无穷远处是超线性的且具有亚临界或临界增长时,得到了系统基态解的存在性,还证得当
时具有广泛超线性的基态解。Alves-Souto-Sérgio [4] 通过形变引理和Miranda定理得到该系统的最小能量解。当
,
为常数时,Azzollini-Pomponio [5] 证得当
时该系统基态解的存在性以及当
和
无界时基态解的存在与非存在性。当
满足Amborosetti-Rabinowitz条件且
既不是径向对称也不是周期函数时,Chen-Tang [6] 通过喷泉定理证得该系统的高能量解。文献 [7] 假设的条件与文献 [6] 类似,Li-Su-Wei则是利用变形的喷泉定理证得该系统无穷多解的存在性。
当
,
不为常数时,系统(2)也有一些研究结果。假设
,
,当
且
时,Zhang-Cai [8] 利用Nehari流形证得该系统基态解和束缚态解的存在性。
在相同假设下对更一般的
,Fang [9] 通过使用Szulkin和Weth所提出的广义Nehari流形的方法得到该系统的束缚态解。当
且
满足一定条件时,Yang-Zhao-Ding [10] 利用变分法证得该系统当
时的解的存在性。
而当
,
不为常数,且
时,Salvatore [11] 通过Benci和Fortunato在1992年提出的变分公式和纤维方法得到该系统无穷多个径向对称解。本文即研究当
,
不为常数的情况。
本文假设在系统(2)中,
为非径向对称的函数,并且满足以下条件:
(V)
(
为正常数),对任意的
,有
,其中
是
上的Lebesgue测度;
(f1) 存在常数
,
,使得
;
(f2) 存在
,使得
,其中
;
(f3)
,对任意的
一致成立;
(f4)
。
定理1.1. 若满足条件(V)、(f1)~(f4),则存在一个常数
,当
时,系统(2)至少有两个不同的解
。
定理1.2. 若满足条件(V)、(f1)~(f3),当
时,系统(2)的所有非平凡解都是正解。
注1.3. 1) 条件(V)是由Bartsch-Wang [12] 首次提出,用于克服方程紧性。
2) 不难找出符合条件(f1)~(f4)的函数
,例如
。
3) 在文献 [11] 的定理1.2中,
为径向对称的,并且得到了多个径向对称解,而本文中
和
都不是径向对称,故也可以得到系统(2)的多个解。
本文主要研究Schrödinger-Maxwell系统的多解,通过Ekeland变分原理和山路定理得到两个临界点,从而证明该系统至少存在两个解,并在一定条件下证得这两个解都是正解,其中一个解是正能量解,另一个解是负能量解。推广了文献 [6] 中当
时证得高能量解的存在性的结论。
本文的第一部分主要讨论Schrödinger-Maxwell系统的背景以及研究现状,第二部分主要介绍一些基本知识并给出一些引理的证明,第三部分证明定理1.1和定理1.2。
2. 预备知识
2.1. 一些符号说明
在空间
上定义范数
在空间
上定义范数
是一般的Lebesgue空间,对任意的
上定义范数
定义Hibert空间E为
其上的内积和范数分别为
其中
为系统(2)中的势函数。
定义系统(2)的泛函
为
本文中C在不同位置表示不同正常数。
2.2. 预备引理
引理2.1. [13] 若满足条件(V),则E嵌入到
是紧的。
引理2.2. [14] 若对任意的
,则存在唯一的
,使得
,其中
见系统(2),此外
的积分表达式为
(3)
由引理2.2可知,通过Sobolev不等式以及Hölder不等式可得到
(4)
即
(5)
由(4)和(5)可得
(6)
定义
(7)
对任意的
有
(8)
引理2.3. [15] 以下两个命题等价:
1)
是
的临界点。
2) u是
的临界点且
。
引理2.4. 若满足条件(V)、(f1)和(f3),则存在常数
,
,
,当
则有
。
证明 由(f3)可知,对任意的
,存在
,当
时,使得
(9)
又由(f1)可知,当
时有
(10)
由(9) (10)可知
(11)
故令
,则有
(12)
又因为
且对任意的
,E嵌入到
且是连续的,再利用Hölder不等式可得
其中
见条件(V)。上式中取
,
,再令
则存在一个常数
,使得
。取
则存在一个常数
,使得
。 £
引理2.5. 若满足条件(V)、(f2)和(f4),则存在
且
(
见引理2.4)使得
。
证明 对任意的
,令
其中
,则由(f2)可知
那么
,并且对任意的
,
有
通过(6) (7)和(f4)可得
(13)
当
,
,
时
。故存在
,
足够大且
使得
。 £
引理2.6. 设
是
的有界Palais-Smale序列,若满足条件(V)、(f1)~(f3),则
具有强收敛子列。
证明 设序列
满足
在序列
中选取一个子序列,仍记为
并且在E中有
,又由引理2.1可知,对任意的
,在
中
。由(8)可知,我们容易得到
易知,当
时有
又由(11)可知,存在一个常数
使得
利用Hölder不等式可得
因为对任意的
,在
中
,所以当
时有
再利用(5)、Hölder不等式和Sobolev不等式可得
同样因为任意的
,在
中
,则当
时
同理可得,当
时
显然当
时会有
那么当
时
。 £
3. 主要定理的证明
3.1. 定理1.1的证明
本节主要分两步证明定理1.1。
第一步:证明存在一个
使得
且
。
设
且
。
由(f2)可知
。
故当
时,
,则有
, (14)
其中
。
由(f3)可知,存在
,当
时会有
(15)
当
时,存在
使得
(16)
那么当
时,由(15) (16)可得
再利用等式
可得
(17)
令
由(14) (17)可知,对任意的
有
(18)
因为
,且
,取
使得
则由(7) (18)可知,对任意的
且足够小时有
因此设
,
见引理2.4,取
,则利用Ekeland变分原理可知,存在一个序列
有
和
其中
,且
。
令
,
,取
,
,则
(19)
令
可得
再用
代替l同理可得
,整理可得
(20)
由(19)和(20)可得
由l的任意性可知
。再由引理2.6可知,存在一个
使得
且
。
由引理2.3可知,
是
的临界点等价于
是J的临界点,故得到系统(2)的第一个解。
第二步:证明存在一个
使得
且
。
由(7)式,及引理2.4中的
和引理2.5中的v,我们定义
其中
。显然,
。
由引理2.4、引理2.5、引理2.6和山路定理可知,存在一个序列
使得
假设
,
显然矛盾,故
有界。即存在
,使得
且
。
由引理2.3可知,
是
的临界点等价于
是J的临界点,故得到系统(2)的第二个解。
3.2. 定理1.2的证明
设u为系统(2)的非平凡解,对任意的
有
选取
可得
易知等式左边大于等于零,等式右边小于等于零,由此可知
,因此
。根据强极值原理,得到
。 £
4. 结论
本文主要研究Schrödinger-Maxwell系统(2)多解的存在性,通过Ekeland变分原理和山路定理得到两个解,并且在一定条件下证明了这两个解都是正解,推广了文献 [6] 中的结论。本文采用临界点理论研究Schrödinger-Maxwell系统,是基于系统本身的性质,只需在一个合适的函数空间内定义内积,构造简约的能量泛函,再对泛函进行估计即可,处理起来简洁准确。此方法还可用于更一般的Schrödinger方程。本文中只考虑系统(2)解的个数和能量的正负,而解的集中性、衰减性等等,还需进一步研究。
基金项目
国家自然科学基金(11501110);福建省自然科学基金(2018J01656)。
NOTES
*通讯作者。