1. 引言与主要结果
在本文中,我们研究如下非线性薛定谔泊松方程:
(1-1)
在指定的
范数下规范解的存在性,其中
,
,
,
。
非线性薛定谔泊松方程是一个带有牛顿引力势和非线性位势的薛定谔方程,其中引力势是作为质量密度函数而不是波函数。根据经典模型,带电粒子和电磁场的相互作用可以通过耦合非线性薛定谔方程和泊松方程来描述。因此研究非线性薛定谔泊松方程的解的存在性具有重要的物理意义。对于下列非线性薛定谔泊松方程:
(1-2)
近几十年来被许多学者广泛研究,其中
且
,
,
,
。
为了找到方程(1-2)的解,自然通过考察
的极小化子,其中
和
的情况已经被广泛研究。当
时对于
以及当
时均证得
。在文 [1] 中得到当
时且对于一个充分小的
,
的极小化子存在;当
时,在文 [2] 中作者也得到了同样的结果。在文 [3] 和文 [4] 中作者研究了
的情况。在文 [4] 中作者证明了当
或
时对于
,
的极小化子不存在。当
时容易得到
。然而在文 [5] 中作者证明了当
时对于一个充分小的
,F限制在
在正水平有一个临界点。Jeanjean和Thanh Trung在文 [6] 中分别详细讨论了
和
、
和
以及
和
三种情况,在
和
的情况下,当
时且
方程(1-2)存在基态解和山路解;在
和
的情况下,当
时方程(1-2)不存在正解;在
和
的情况下,当
时且对于
,
是可达的。
为了得到(1-1)的解,我们将寻找下列泛函:
在集合
上的极小化子,其中
首先分析Pohozaev流形的结构和泛函纤维映射的几何性质,然后通过构造辅助泛函证明了能量泛函在Pohozaev流形附近存在一个有界的(PS)序列,最后应用集中紧性原理证明方程规范解的存在性。
定理1.1.若
,
,假设有
(1-3)
成立,则存在
满足
以及存在
满足
,其中
和
是正径向函数。此外,存在
和
使得
和
是(1-1)的解。
注文 [7] 中作者研究了
,本文可能有
的情况出现,因此,本文补充和完善了文 [7] 的研究成果。此外,本文引入参数q,从而推广和完善了文 [6] 中的部分结果。
2. 预备知识
为了简便,整篇文章引入下列记号:
· 在通常的Sobolev空间
中,其上内积和范数分别为:
·
表示Lebesgue空间,其上范数为
,其中
。
· 记
。
·
在u处的切空间定义为:
·
,
,
。
· 对于
,定义
,其中
。
对于
,定义纤维映射
因此,我们有
此外,
与一个Pohozaev恒等式相对应,并且集合
作为一个自然限制而出现,其中
事实上,如果对于
,则
是
的一个临界点当且仅当
。特别地,
当且仅当1是
的一个临界点。
我们将
分解成三个互不相交集合的并即
,其中
引理2.1. [8] (Hardy-Littlewood-Sobolev不等式)设
,
,
,
,则存在
,使得对一切
,
,有
成立。
引理2.2. (见文 [6] 引理2.1)取
,则
1) 存在一个常数
使得
。
2) 存在一个常数
使得
。
引理2.3. 当
且
时,如果
是
(2-1)
的一个弱解,则
。此外,如果
,则有
。
证明由于
是弱解,则下列Pohozaev恒等式成立,
(2-2)
其中
。用(2-5)乘以u并积分,可以得到第二个恒等式
(2-3)
结合(2-2)和(2-3),可得
这意味着
。再次应用(2-2)和(2-3),我们得到
(2-4)
其中
因此,
。
引理2.4当
且
时,如果
是
(2-5)
的一个弱解,则
。此外,如果
且u不恒为0,则
。
证明应用文 [9] 中定理2.1.,我们得到对于
有
,因此
。记
,
,其中
,
。由卷积的Young不等式可知
且
,因此
有界且连续。此外,从文 [10] 中命题B.1可以推断出
。若
且u不恒为0,应用强极大值原理,可得
。
是
上的一个
类泛函,且对于
和
,我们有
我们用
表示在余切空间
中的范数,即
(2-6)
引理2.5. (见 [11] 引理3.6)对于
和
映射
是一个线性同构映射且逆映射
引理2.6. [12] 取
且满足
在
,则
。
3. 有界(PS)序列的结构
引理3.1. F限制在
上在
中是强制的。特别地,F限制在
上是下方有界的。
证明取
,由
可得
应用引理2.2.(1),可以得到
(3-1)
其中
,结论得证。
对于
,回顾
其中
。
引理3.2. 若(1-3)成立,则
。此外,
在
上有且仅有两个零点,且它们都是非退化的。
证明由
即
可知其只有唯一一个正解即
且
是
的最大值点,其中当
时
。此外,当
时
且当
时
,从中我们可知
只有两个零点为
和
,且
。由
可知,
且
当且仅当
,因此
和
也正好是
的两个临界点。此外,由
,
及
知
,
。
引理3.3. 若(1-3)成立,则
。
证明假设存在
,则
且
。由
可知,
且
,但由引理3.2.知
,矛盾。
引理3.4. 若(1-3)成立,则对于
,存在
1)
是唯一的且使得
是
唯一的局部极小值点,
。
2)
是唯一的且使得
是
唯一的局部极大值点,
。
3)
是
连续的。
证明当
时
,当
时
,由引理3.2.可知
只有两个解即
和
,且
。此外,当
时
且当
时
,因此
是
唯一的局部极小值点且
。类似地,可以得到
是
唯一的局部极大值点且
。
仿照 [7] 中定理5.3的论证,由引理3.3.及隐函数定理容易得到
是
连续的。
引理3.5. 若(1-3)成立,则
1) 对于
,
。
2) 对于
,存在
使得
。
证明取
,则有
因此,可得
因为
,所以
。
取
,由
可得,
应用引理2.2.,则有
因此对于
,
。
我们定义:
引理3.6. 若(1-3)成立,则
且如果
是可达的,则可达元是一个非负径向函数。
证明因为
,则
(3-2)
因此,只需证明
(3-3)
我们观察到
(3-4)
取
和
,其中v是
的Schwarz径向重排,则
,
,且由Riesz’s重排不等式(见文 [8] 中3.7节)可得
,因此对于所有
,我们有
(3-5)
对于
,
由于
,因此
,且对于
有
。由引理3.4.可知,
正好有两个临界点且
,这意味着
,因此可以推断出
由(3-4)可知不等式(3-3)成立,如果存在
使得
,则
,其中v是
的Schwarz径向重排。事实上,如果
或者
,则
。因此,
根据以上论点可以得出矛盾,即
因此
,
且
,从中可以推断出
且
。此外,对于存在
使得
这种情况的证明是类似的。
引理3.7. 若(1-3)成立,则对于
在水平
上存在一个有界(PS)序列
。
为了证明引理3.7.,我们定义函数
注意到由引理3.4.和隐函数定理可知
是
连续的,所以
是
连续的。
引理3.8. 若(1-3)成立,则对于
,
,我们有
(3-6)
证明首先我们给出
的证明。取
,则
,其中
是一个
类曲线且
,我们观察到
其中
,因此
。回顾引理3.4.中
是
的一个严格局部极小值且
是连续的,则
其中
。类似地,
其中
。从中可以推断出,对于
,
,
的证明是类似的。
设
是属于
的所有单元素集合,在 [13] 定义3.1的意义下,它显然是
紧子集具有闭边界(实际上是空的)的同伦稳定族。由引理3.6.可得
引理3.9. 若(1-3)成立,则对于
在水平
上存在一个有界(PS)序列
。
证明首先处理
情况。取
满足
考虑同伦
根据
的定义,我们有
引理3.4.意味着对于
,
。取
,即存在
使得
,则
。
因此,可得
则
是
的另一个极小化序列。对于特殊情况即边界
,应用 [13] 中定理3.2,在水平
上
在
上存在一个(PS)序列
并满足
(3-7)
记
,取
,我们断言对于
充分大,存在一个常数
使得
(3-8)
事实上,观察到
由于
,从(3-1)中可以推断出存在
且满足
(3-9)
另一方面,因为
是
的一个极小化序列,且F限制在
在
中是强制的,可以得到
在
中是一致有界的,因此(3-7)意味着
。此外,因为对于
,
是紧的,则存在
使得当
时
。应用引理3.1.,存在一个
使得
这意味着(3-8)成立。根据(2-6)、引理2.2.和引理3.8.,我们有
这意味着
是
在水平
上的一个(PS)序列,因为
是
在水平
上的一个(PS)序列且根据(3-8)可知
。对于
这种情况证明是相同的,除了应用引理3.5.(2)以及(3-1)得出存在一个
,当用
代替
时(3-9)式成立。
引理3.7.的证明应用引理3.9.,我们推断对于
在水平
上存在一个(PS)序列
,且对于
在水平
上存在一个(PS)序列
。由引理3.1.可知,在这两种情况下的序列都是有界的。
4. (PS)序列的紧性
引理4.1. 若(1-3)成立,且
是
的一个极小化序列,则
收敛到一个非平凡极限。
证明因为F限制在
在
中是强制的,
是有界的,因此
在
。运用反证法假设
,这意味着
具有消失性。由 [14] 中引理I.1可知,有
因此
因为
,则
,所以
(4-1)
若
,则由引理3.5.可知存在
使得
与(4-1)矛盾。若
,则
此外,由
得出矛盾。
引理4.2 假设
上的一个有界(PS)序列
弱收敛到一个非零函数
,则
在
中。特别地,
是(1-2)对于某个
的径向基态解。
证明因为
是紧嵌入,其中
,因此存在
使得
因为
是有界的,则
因此,对于
,有
(4-2)
其中当
时
,且由于
,我们有
因为
,则
且由引理2.5知
,因此可以得到
从(4-2)中我们可以得到
(4-3)
这意味着
满足
由假设
及引理2.3.知,
且
。在(4-2)中取
以及在(4-3)中取
,可得
根据
,
以及
,我们可以推断出
因为
,所以可以推断出
在
。
定理1.1.的证明我们给出
这种情况的证明,对于
这种情况的证明是一样的。由引理3.7.可知,
在水平
上存在一个有界(PS)序列
。根据引理4.1.和引理4.2.,我们推断
在
中且存在
使得
是(1-1)的一个解。因为
,我们推断
。由引理3.6.知
是一个非负Schwarz径向函数,此外,从引理2.4.中可以推断出
是一个
有界且处处取正值的连续函数。
5. 结论
本文研究了一类带有参数的非线性薛定谔泊松方程规范解的存在性,通过构造辅助泛函证明了能量泛函在Pohozaev流形附近存在一个有界的(PS)序列,最后应用集中紧性原理证明了方程正径向基态解和山路解的存在性。这些结论推广和完善了文 [6] 和文 [7] 中的研究成果。
基金项目
国家自然科学青年基金(11601363)和山西省自然科学青年基金(201601D021011)。
NOTES
*通讯作者。