带有非稳定位势的薛定谔泊松方程解的存在性

分类号: O175 密级: 无
学校代码: 10414 学号: 202040100032
硕士研究生学位论文
带有非稳定位势的薛定谔-泊松方程
解的存在性
Existence of Solution for Schrödinger-Possion

Equation with Nonstabilizing Potential
叶江华
院所：数学与统计学院导师姓名：龙薇李本鸟

学科专业：数学研究方向：偏微分方程
二〇二二年六月
万方数据
万方数据
独创性声明
本人声明所呈交的学位论文是本人在导师指导下进行的研究工
作及取得的研究成果。据我所知，除了文中特别加以标注和致谢的地
方外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含
为获得或其他教育机构的学位或证书而使用过的材料。与我一同工
作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并
表示谢意。
学位论文作者签名：签字日期：年月日
学位论文版权使用授权书
本学位论文作者完全了解江西师范大学研究生院有关保留、使
用学位论文的规定，有权保留并向国家有关部门或机构送交论文的
电子版和纸质版，允许论文被查阅和借阅。本人授权江西师范大学研
究生院可以将学位论文的全部或部分内容编入有关数据库进行检索，
可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。
（保密的学位论文在解密后适用本授权书）
学位论文作者签名：导师签名：
签字日期：年月日签字日期：年月日
万方数据
万方数据
摘要
本文主要运用变分法研究如下 Schrödinger-Possion 方程
(
−∆u + V (x)u + K(x)u = |u|p−2 u, x ∈ R3 ,
(1)
−∆K(x) = u2 , x ∈ R3 ,
非平凡弱解的存在性, 其中 4 < p < 6, 函数 V (x) 为非稳定函数. 全文分为四章.

在第一章中, 我们介绍了本文的研究背景、研究现状以及本文的主要结果.
在第二章中, 我们介绍了一些预备知识和主要引理, 包括方程 −∆K(x) = u2
的解的性质, 方程 (1) 所对应的能量泛函的性质和方程 (1) 与其极限方程的能量
之间的关系等.
在第三章中, 我们利用集中紧原理证明了方程 (1) 的一个极限方程有非平凡
弱解. 同时, 我们证明了本文的推论: 当 V (x) 为连续的周期函数时, 方程 (1) 有
非平凡弱解.
在第四章中, 我们证明了方程 (1) 对应的能量泛函的 (P S) 序列的全局紧引
理.
关键词: Schrödinger-Possion 方程; 非稳定位势; 变分法; 集中紧原理; 全局

紧引理.
万方数据
II
万方数据
Abstract
In this thesis, we mainly use variational methods to study the existence of

nontrivial weak solution for the following Schrödinger-Possion equation
(
−∆u + V (x)u + K(x)u = |u|p−2 u, x ∈ R3 ,
(2)
−∆K(x) = u2 , x ∈ R3 ,
where 4 < p < 6 and V (x) is a nonstabilizing function. This thesis is divided into
four chapters.
In chapter 1, we introduce the research background, research status and main
results of this thesis.
In chapter 2, we introduce some preliminaries and main lemmas, including
the properties of the solution for the equation −∆K(x) = u2 , the properties of
the energy functional of equation (2), the energy relationship between equation
(2) and its limit equation and so on.
In chapter 3, we prove that one of the limit equations of equation (2) exists
a nontrivial weak solution by using concentration-compactness principle. Mean-
while, we prove the corollary that if V (x) is a continuous periodic function, then
equation (2) exists a nontrivial weak solution.
In chapter 4, we prove the global compactness lemma of the (P S) sequence
of the energy functional related to equation (2).
Keywords: Schrödinger-Possion equation; Nonstabilizing potential; Varia-

tional methods; Concentration-compactness principle; Global compactness lemma.
III
万方数据
IV
万方数据
目录
中文摘要 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . I
英文摘要 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . III
第1章引言 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1 问题背景及国内外研究现状 . . . . . . . . . . . . . . . . . . . . . 1
1.2 主要结果 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
第 2 章预备知识和主要引理 . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.1 预备知识 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.2 主要引理 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
第 3 章解的存在性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
第 4 章全局紧引理 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
参考文献 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
致谢 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
在读期间公开发表论文 (著) 及科研情况 . . . . . . . . . . . . . . . . . . . 71
万方数据
VI
万方数据
第1章引言
在本文中, 我们主要研究带有非稳定位势的 Schrödinger-Possion 方程非平

凡弱解的存在性. 在本章中, 我们介绍本文研究问题的背景、国内外研究现状以
及本文的主要结果.
1.1 问题背景及国内外研究现状
偏微分方程作为一种数学模型的表示形式, 来源于现实中的物理现象. 微积
分产生以后, 人们就开始把力学中的一些问题, 归结为偏微分方程进行研究. 随
后, 人们又陆续用偏微分方程描述了流体的运动、弹性体的平衡和振动、热传导、
电磁相互作用、化学反应过程等自然现象, 并且求出了典型问题的解答.
变分法 (见文献 [8, 17, 27, 31, 33, 36, 39, 42]) 是探究偏微分方程边值问题的
重要方法, 其将探究偏微分方程弱解的存在性转化为探究相应能量泛函临界点的
存在性. 在探究泛函临界点的存在性时, 数学工作者们建立了许多重要工具, 如:
山路引理、环绕定理、鞍点定理、集中紧原理等.
本文主要运用变分法探究 Schrödinger-Possion 方程非平凡弱解的存在性.

Schrödinger-Possion 方程在文献 [4] 中首次被提出, 它来源于半导体理论、量子
电动力学等领域, 是描述粒子在空间和时间中运动规律的模型. 在物质运动中, 我
们一般用线性 Schrödinger 方程
∂Ψ h2
ih =− ∆Ψ + Q(x)Ψ, x ∈ R3 ,
∂t 2m
来描述单个粒子的运动规律, 其中 i 表示虚数单位, h 表示 Planck 常数, m > 0

表示粒子的质量, Q(x) : R3 → R 表示粒子在 x 处的扰动. 当研究多个粒子的融
合与相互作用的运动规律时, 我们需要引入一个非线性扰动项 f¯, 得到方程
∂Ψ h2
ih =− ∆Ψ + Q(x)Ψ − f¯(Ψ), x ∈ R3 .
∂t 2m
如果考虑粒子运动过程中有电场产生时, 我们需要引入一个扰动项 K̄, 其满足方

程
−∆K̄ = Ψ2 , x ∈ R3 ,
则上述 Schrödinger 方程变成 Schrödinger-Possion 方程

(
h2
ih ∂Ψ
∂t
= − 2m ∆Ψ + Q(x)Ψ + K̄Ψ − f¯(Ψ), x ∈ R3 ,
−∆K̄ = Ψ2 , x ∈ R3 .
我们去寻找该方程具有时空分离的驻波解, 即: Ψ(x, t) = u(x)e−

iEt
h , 将其代入上
万方数据
江西师范大学硕士学位论文
述方程, 可得稳态 Schrödinger-Possion 方程

( 2
− 2m
h
∆u + V (x)u + K(x)u = f (u), x ∈ R3 ,
−∆K(x) = u2 , x ∈ R3 ,
其中 V (x) = Q(x) − E, f¯(e− h u) = e−

iEt iEt
h f (u). 我们可以查阅文献 [4-6, 16, 41]
去了解更多关于此问题的物理背景.
在过去的几十年里, 许多数学工作者致力于探究 Schrödinger-Possion 方程
的位势函数对其解的存在性、非存在性以及多解性的影响, 研究成果十分丰富.
对于线性 Schrödinger-Possion 方程, 在文献 [12] 中, G.M.Coclite 和 V. Georg-
iev 运用变分法研究了位势函数 V (x) ≡ 0 的情况, 即:
(
− 12 ∆u − K(x)u = ωu, x ∈ R3 ,
(1.1)
∆K(x) = 4πu2 , x ∈ R3 ,
其中 ω ∈ R, 他们证明了: 若 (u, K, ω) 是方程 (1.1) 的解使得 u, K 是径向对称

函数, 则 u ≡ 0, K ≡ 0. 同时, 他们还探究了位势函数是径向对称函数 V (|x|) =
a
|x|
, a ≥ N 的情况, 即:
 1
 − 2 ∆u − |x| u − K(x)u = ωu, x ∈ R ,
 a 3
∆K(x) = 4πu2 , x ∈ R3 , (1.2)


 R
R3
u2 dx = N,
其中 a 表示原子核中的质子数, N 表示电子数. 他们证明了存在负实数列 {ωn }

使得 ωn → 0, 且对任意的 ωn , 方程 (1.2) 存在径向对称解 (un , Kn ). 在文献中
[11], G.M.Coclite 将文献 [12] 中的位势函数推广到更一般的情况, 研究了线性
Schrödinger-Possion 方程
(
− 12 ∆u − V (x)u − K(x)u = ωu, x ∈ R3 ,
(1.3)
∆K(x) = 4πu2 , x ∈ R3 ,
其中 ω ∈ R, V (x) 是正的径向对称函数, 且满足: V (x) 在 R3 \{0} 上连续; V (x) ∈

3
L 2 ({|x| ≤ 1}); lim V (x) = 0; lim x2 V (x) = +∞. 他运用变分法证明了: 对所
|x|→∞ |x|→∞
有 ω < 0, 方程 (1.3) 有无穷多解 {(un , Kn )}n∈N ⊂ H 1 (R3 ) × D1,2 (R3 ).
对于非线性 Schrödinger-Possion 方程, T.D’Aprile 和 D.Mugnai 在文献 [14]
中研究了位势函数为常数的情况, 即:
( 2
− 2m
h
∆u + ωu + eK(x)u = |u|p−2 u, x ∈ R3 ,
(1.4)
−∆K(x) = 4πeu2 , x ∈ R3 ,
其中 ω > 0, 4 ≤ p < 6. 他们在 Hr1 (R3 ) 中运用山路引理证明了方程 (1.4) 至
万方数据
带有非稳定位势的薛定谔-泊松方程解的存在性
少存在一个非平凡的径向对称解 (u, K) ⊂ H 1 (R3 ) × D1,2 (R3 ). 在文献 [13] 中,

T.D’Aprile 和 D.Mugnai 研究了方程 (1.4) 中 p ≤ 2 和 p ≥ 6 的情况, 他们运用
Pohozaev 恒等式证明了: 当 m, ω, e > 0, p ≤ 2 或 p ≥ 6 时, 方程 (1.4) 不存在非
平凡解. 在文献 [30] 中, D.Ruiz 扩大了文献 [14] 中的非线性项的范围, 研究了非
线性 Schrödinger-Possion 方程
(
−∆u + u + K(x)u = up−1 , x ∈ R3 ,
(1.5)
−∆K(x) = u2 , x ∈ R3 .
当 3 < p < 4 时, 方程 (1.5) 所对应的能量泛函是否满足 (PS) 条件尚不清

楚, D.Ruiz 运用 Nehari 流形和 Pohozaev 恒等式克服了这一困难, 他证明了: 当
3 < p < 6 时, 方程 (1.5) 存在一个非平凡的径向对称正解. 同时, 他对文献 [13]
中的结果进行了改进, 证明了: 当 p ≤ 3 时, 方程 (1.5) 不存在非平凡弱解.
将位势函数 V (x) 从常量函数推广到在无穷远处趋于某一常数的函数, 在文
献 [3] 中, A. Azzollini 和 A.Pomponio 研究了非线性 Schrödinger-Possion 方程
(
−∆u + V (x)u + K(x)u = |u|p−2 u, x ∈ R3 ,
(1.6)
−∆K(x) = u2 , x ∈ R3 ,
其中 V (x) : R3 → R 是可测函数, 且满足: V∞ ≜ lim V (y) ≥ V (x), a.e.R3 ,

|y|→∞
且在一个非零测集上有 V∞ > V (x); 存在 C > 0, 使得对任意 u ∈ H 1 (R3 ), 有
R
R3
[|∇u|2 + V (x)u2 ]dx ≥ Ckuk2 . 他运用 Nehari 流形证明了: 当 4 < p < 6 时, 方
程 (1.6) 存在一个基态解. 在文献 [37] 中, L.Zhao 和 F.Zhao 对文献 [3] 中的非线
性项的范围进行了推广, 研究了方程 (1.6) 中R 3 < p ≤ 4 的情况, 其中 V ∈ C(R3 )
2 +V (x)u2 ]dx
R3 [|∇u|
满足: V∞ ≜ lim inf V (y) ≥ V (x); inf3 R
2
3 u dx
> 0; V 的一阶弱导
|y|→∞ 1
u∈H (R )\{0} R
∞ 3
存在, 满足 (∇V (x), x) ∈ L (R ) ∪ L (R ), 且 2V (x) + (∇V (x), x) ≥ 0, a.e.R3 .
3 2
3
他们运用 (PS) 序列的全局紧引理证明了方程 (1.6) 存在一个基态解.

对于位势函数 V (x) 为周期函数的情况, 在文献 [37] 中, L.Zhao 和 F.Zhao
研究了方程 (
−∆u + V (x)u + K(x)u = f (x, u), x ∈ R3 ,
(1.7)
−∆K(x) = u2 , x ∈ R3 ,
其中 V (x) 关于每个变量都是以 1 为周期, V ∈ C(R3 ), 且 min3 V (x) > 0. 另外,
x∈R
f (x, u) 满足:
(f1 ) f (x, u) 关于每个 xi 都是以 1 为周期;
(f2 ) fu (x, u) 处处存在, fuu (x, u) 在 u 6= 0 处存在, fu 是 Caratheodory 函数
f (x, 0) = fu (x, 0) = 0, x ∈ R3 ;
(f3 ) 存在 C ≥ 0, 4 ≤ p1 ≤ p2 < 6, 使得当 u 6= 0, x ∈ R3 时, |fuu (x, u)| ≤
C(|u|p1 −3 + |u|p2 −3 );
(f4 ) 存在 ς ≥ 4 使得 0 < ςF (x, u) ≤ uf (x, u) 对所有 (x, u) ∈ (R3 , R) 都成
万方数据
Ru
立, 其中 F (x, u) = 0
f (x, t)dt;
(f5 ) 对 u 6= 0, x ∈ R3 , 有 fu (x, u)u2 > f (x, u)u.
他们运用非线性叠加原理 (见文献 [1]) 证明了方程 (1.7) 存在无穷多个几何上不
相同的解. 在文献 [34] 中, J.Sun 和 S.Ma 对文献 [37] 中 f 的条件减弱到不需要
是 C 1 的. 他们对 f 提出了如下假设:
(f6 ) f ∈ C(R3 × R, R), 且关于每个 xi 都是以 1 为周期;
(f7 ) 存在 C > 0 使得 |f (x, u)| ≤ C(1 + |u|p−1 ), 其中 p ∈ (4, 6);
(f8 ) lim f (x,u)
u
= 0 对于 x ∈ R3 一致地成立;
u→0
(f9 ) lim f (x,u)
4 = ∞ 对于 x ∈ R3 一致地成立;
|u|→+∞ u
(f10 ) 当 u 6= 0 时, f (x,u)
u3
> 0, 且 f (x,u)
u3
关于 u 在 (−∞, 0) 上严格递减, 在
(0, +∞) 上严格递增.
他们运用 Nehari 流形和 Ekeland 变分法证明了: 若函数 V 满足文献 [37] 中的条
件, 函数 f 满足 (f6 ) − (f10 ), 则方程 (1.7) 存在一个基态解. 另外, 若函数 f 还满
足关于 u 是奇的, 则方程 (1.7) 存在无穷多个几何上不相同的解.
将位势函数 V (x) 从周期函数推广到渐近周期函数, 在文献 [2] 中,C.Alves,
M.Souto 和 S.Soares 研究了 Schrödinger-Possion 方程
(
−∆u + V (x)u + K(x)u = f (u), x ∈ R3 ,
(1.8)
−∆K(x) = u2 , x ∈ R3 ,
其中 V : R3 → R 是有界的局部 Hölder 连续函数, 且满足:

(i) V (x) ≥ V0 > 0, x ∈ R3 ;
(ii) 存在关于每个 xi 都以 1 为周期的函数 Vp 使得 lim |V (x)−Vp (x)| = 0;
|x|→+∞
(iii) V (x) ≤ Vp (x), x ∈ R , 且存在非空开集 Ω0 ⊂ R 使得 V (x) < Vp (x), x ∈
3 3
Ω0 .
另外, 函数 f ∈ C(R+ , R) 满足:
(f11 ) f (s) = 0, s ≤ 0;
f (s)
(f12 ) lim+ s
= 0;
s→0
(f13 ) 存在 C > 0 和 p ∈ (4, 6) 使得
|f (s)| ≤ C(s + sp−1 ), s ∈ R+ ;
F (s) Rs
(f14 ) lim 4 = +∞, 其中 F (s) = f (t)dt;
s→+∞ s 0
(f15 ) 当 s > 0 时, Fs(s)

4 是递增的.
C.Alves, M.Souto 和 S.Soares 运用山路引理得到结论: 若函数 V 满足 (i)-(iii), 函
数 f 满足 (f11 ) − (f15 ), 则方程 (1.8) 存在一个正的基态解.
近年来, 许多研究者致力于用 Lyapunov-Schmidt 约化方法研究 Schrödinger-
万方数据
Possion 方程
(
−ε2 ∆u + V (x)u + K(x)u = f (x, u), x ∈ R3 ,
(1.9)
−∆K(x) = u2 , x ∈ R3 ,
解的存在性、多解性以及集中性, 我们可以查阅文献 [15, 18-19, 22-23, 28-29, 35,

37, 44] 去了解关于此问题的研究成果.
在已有对 Schrödinger-Possion 方程的研究中, 大多是位势函数为稳定函数
(常量函数、在无穷远处趋于常数的函数)、周期函数的情况, 对于位势函数为
一般的非稳定函数的情况研究甚少. 而对于 Schrödinger 方程, 在文献 [26] 中,
A.A.Pankov 研究了带有非稳定位势的半线性椭圆方程, 运用集中紧原理 (见文献
[20-21]) 得到了方程存在非平凡弱解的充分条件. 基于 A.A.Pankov 在文献 [26]
中的研究, 我们将探究带有非稳定位势的 Schrödinger-Possion 方程
(
−∆u + V (x)u + K(x)u = |u|p−2 u, x ∈ R3 ,
(1.10)
−∆K(x) = u2 , x ∈ R3 ,
其中 4 < p < 6, 函数 V (x) 满足下列条件:

(V 1) V ∈ C(R3 );
(V 2) 0 < V0 ≤ V (x) ≤ V1 , x ∈ R3 ;
(V 3) 对任意 {yn } ⊂ R3 , 存在其子列, 仍记为 {yn }, 存在 V h ∈ C(R3 ), 使得
lim sup V (x + yn ) − V h (x) = 0.

n→∞ x∈R3
我们把函数 V h 对应的指标 h 构成的集合记为 H, 即: H = {h}.

在探究方程 (1.10) 的非平凡弱解的存在性时, 如何处理卷积项与非稳定位势
所带来的困难, 是本文的一大难点.
下面, 我们介绍本文的主要结果.
1.2 主要结果
众所周知, 方程 (1.10) 可以简化为带有非局部项的 Schrödinger 方程 (见文

献 [32, 38]). 事实上, 由 Lax-Milgram 定理 (见文献 [43]), 对于给定的 u ∈ H 1 (R3 ),
方程 −∆K = u2 在 D1,2 (R3 ) 中存在唯一的解
Z
1 u2 (y)
Ku (x) = dy.
4π R3 |x − y|
将 Ku 代入方程 (1.10), 得到方程
− ∆u + V (x)u + Ku u = |u|p−2 u. (1.11)
万方数据
我们运用变分法探究方程 (1.11), 定义方程 (1.11) 所对应的能量泛函

Z
1 1 1 p
ξ(u) ≜ (|∇u| + V (x)u ) + Ku u − |u| dx, u ∈ H 1 (R3 ).
2 2 2
R3 2 4 p
易证 ξ ∈ C 1 (H 1 (R3 ), R), 且
Z
′

hξ (u), ϕi = ∇u∇ϕ + V (x)uϕ + Ku uϕ − |u|p−2 uϕ dx.
R3
因此, 如果 u ∈ H 1 (R3 ) 是泛函 ξ 的临界点, 则 (u, Ku ) 是方程 (1.10) 的解.

下面我们定义泛函 ξ 相应的 Nehari 流形
N ≜ {u ∈ H 1 (R3 )\{0}/J(u) = 0},
其中 Z
′

J(u) ≜ hξ (u), ui = |∇u|2 + V (x)u2 + Ku u2 − |u|p dx,
R3
N 包含了泛函 ξ 所有的非平凡临界点.
我们考虑 N 上的变分问题
I ≜ inf{ξ(u)/u ∈ N }.
我们在 2.2 节证明了: 若 I 极小可达, 则其极小达到函数是方程 (1.11) 的非平凡

弱解.
接下来我们介绍方程 (1.11) 的极限方程. 由函数 V (x) 的性质, 方程 (1.11)
的极限方程为
− ∆u + V h (x)u + Ku u = |u|p−2 u, (1.12)
其中 h ∈ H. 方程 (1.12) 所对应的能量泛函为
Z
1 1 1 p
ξ (u) ≜
h
(|∇u| + V (x)u ) + Ku u − |u| dx, u ∈ H 1 (R3 ),
2 h 2 2
R 2 4 p
Z
3

J h (u) ≜ hξ ′ (u), ui = |∇u|2 + V h (x)u2 + Ku u2 − |u|p dx,
R3
对应的 Nehari 流形为
N h ≜ {u ∈ H 1 (R3 )\{0}/J h (u) = 0},
对应的变分问题为
I h ≜ inf{ξ h (u)/u ∈ N h }.
由于 V (x) 是非稳定函数, 故方程 (1.11) 的极限方程不是一个方程, 而是一
万方数据
族方程. 因此, 如何刻画原方程与极限方程的能量之间的关系, 并且利用该关系

去判断方程非平凡弱解的存在性是我们需要解决的问题. 同时, 如何利用集中紧
原理, 结合对泛函能量的计算, 解决极小化列失紧的问题也是我们面临的一大困
难.
我们运用集中紧原理得到如下存在性结果:
定理 1.1 若函数 V (x) 满足 (V 1) − (V 3), 则存在 h ∈ H, 使得方程 (1.12)

有非平凡弱解.
特别地, 当 V (x) 是连续的周期函数时, 我们得到如下解的存在性结果:
推论 1.2 若 V (x) 是连续的周期函数, 则方程组 (1.10) 有非平凡弱解.
对于 V (x) 是连续的周期函数的情况, 不同于文献 [34, 37] 中的方法, 我们将

运用定理 1.1 证明推论 1.2.
接下来, 我们探究了泛函 ξ 的 (P S) 序列. 我们在 2.2 节证明了泛函 ξ 具有
山路引理结构, 再根据山路引理可得, 存在 c > 0 以及 {φn } ⊂ H 1 (R3 ), 使得
(
ξ(φn ) → c,
(1.13)
kξ ′ (φn )k(H 1 (R3 ))∗ → 0.
对任意 Ve ∈ A ≜ {Ve ∈ C(R3 )/V0 ≤ Ve (x) ≤ V1 , x ∈ R3 }, 定义泛函

Z
1 1 1 p
g(Ve , u) = 2 e
(|∇u| + V (x)u ) + Ku u − |u| dx, u ∈ H 1 (R3 ),
2 2
R3 2 4 p
注意到 g(V, u) = ξ(u).

我们运用集中紧原理得到泛函 ξ 的 (P S) 序列的全局紧引理:
定理 1.3 (全局紧引理) 设 {φn } ⊂ H 1 (R3 ) 是泛函 ξ 的水平值为 c 的 (P S)

序列, 则存在 φ0 ∈ H 1 (R3 ), 存在仅依赖于 c 的自然数 m, 存在 m 个函数 Vei ∈ A,
m 个函数 φ(i) ∈ H 1 (R3 )\{0}, 存在 {φn } 的子列, 仍记为 {φn }, 存在 m 个点列
(i)
{θn } ⊂ R3 , i = 1, 2, · · · , m, 使得
(i) |θn(i) | → +∞, |θn(i) − θn(j) | → +∞, i 6= j, n → +∞;

X
m
(ii) φn − φ0 − φ(i) (· − θn(i) ) → 0;
i=1 H 1 (R3 )
X
m
(iii) c = ξ(φ0 ) + g(Vei , φ(i) );
i=1
(iv) kξ ′ (φ0 )k(H 1 (R3 ))∗ = 0;

(v) kg ′ (Vei , φ(i) )k(H 1 (R3 ))∗ = 0, i = 1, 2, · · · , m.
万方数据
在第三章, 我们给出了定理 1.1 和推论 1.2 的证明. 在第四章, 我们给出了定

理 1.3 的证明.
万方数据
第2章预备知识和主要引理
在本章中, 我们给出本文所用到的预备知识和主要引理.
2.1 预备知识
R 1
首先, 我们介绍本文用到的符号. 在本文中, 我们用 kukLq (Ω) ≜ Ω |u(x)|q dx q
表示通常的 Lebesgue 空间 Lq (Ω)(1 ≤ q < +∞, Ω ⊆ R3 ) 的范数, 特别地,
R 1
kukLq (R3 ) 简记为 kukq . 我们用 kukH 1 (R3 ) ≜ R3 (|∇u|2 + u2 ) dx 2 表示通常的
Sobolev 空间 H 1 (R3 ) 的范数, 用 (H 1 (R3 ))∗ 表示 H 1 (R3 ) 的对偶空间. 我们用
R 1
kukD1,2 (R3 ) ≜ R3 |∇u|2 dx 2 表示空间 D1,2 (R3 ) 的范数, 用 (D1,2 (R3 ))∗ 表示
D1,2 (R3 ) 的对偶空间. 当函数 V (x) 满足 (V 1) 和 (V 2) 时, 空间 H 1 (R3 ) 的范数
R 1
有等价范数 kukV ≜ R3 (|∇u|2 + V (x)u2 ) dx 2 .
在本文中, 我们用 ” → ” 表示强收敛, 用 ” * ” 表示弱收敛, 用 ”Y ,→ Z” 表
示 Banach 空间 Y 连续嵌入到 Banach 空间 Z. 本文中 C, C1 , C2 表示正常数, 在
不同的地方可以取不同的值. 对任意 R > 0, x ∈ R3 , 我们用 BR (x) 表示 R3 中以
x 为球心, 以 R 为半径的球, 特别地, BR (0) 简记为 BR .
下面我们介绍本文所用到的定义和命题.
定义 2.1 定义 S 为 D1,2 (R3 ) ,→ L6 (R3 ) 的最佳嵌入常数, 即:

Z
S≜ inf |∇u|2 dx.
u∈D 1,2 (R3 ) R3
∥u∥6 =1
以下命题给出了算子 T : Lq (Ω) → Lr (Ω) : u 7→ f (x, u) 的连续性.
命题 2.2 (见文献 [36] 定理 A.2) 假设 Ω 是 RN 的开子集, |Ω| < ∞, 1 ≤

q, r < ∞, f ∈ C(Ω × R) 且
q
|f (x, u)| ≤ C(1 + |u| r ).
那么, 对任意 u ∈ Lq (Ω), 有 f (·, u) ∈ Lr (Ω) 且算子
T : Lq (Ω) → Lr (Ω) : u 7→ f (x, u)
是连续的.
下一个命题将上述命题的区域从 RN 的测度有限的开子集推广到 RN 的开
子集.
定义 2.3 (见文献 [36] 定义 A.3) 假设 Ω 是 RN 的开子集, 定义空间 Lt (Ω) ∩

Lq (Ω) 的范数
|u|t∧q ≜ kukLt (Ω) + kukLq (Ω) .
万方数据
定义空间 Lt (Ω) + Lq (Ω) 的范数
|u|t∧q ≜ inf{kvkLt (Ω) + kwkLq (Ω) : v ∈ Lt (Ω), w ∈ Lq (Ω), u = v + w}.
命题 2.4 (见文献 [36] 定理 A.4) 假设 Ω 是 RN 的开子集, 1 ≤ t, q, r, s <

∞, f ∈ C(Ω × R) 且
t q
|f (x, u)| ≤ C(|u| r + |u| s ).
那么, 对任意 u ∈ Lt (Ω) ∩ Lq (Ω), 有 f (·, u) ∈ Lr (Ω) + Ls (Ω) 且算子
T : Lt (Ω) ∩ Lq (Ω) → Lr (Ω) + Ls (Ω) : u 7→ f (x, u)
是连续的.
2.2 主要引理
在这一节, 我们给出本文的主要引理及部分引理的证明, 包括 Ku 的相关性

质、泛函 ξ 的连续性与可微性、Nehari 流形 N 的相关性质、方程 (1.11) 与其极
限方程的能量之间的关系等.
为了探究 Ku 的相关性质, 我们定义从 H 1 (R3 ) 到 D1,2 (R3 ) 的算子 Φ :
Φ(u) = Ku . 对于给定的 u ∈ H 1 (R3 ), 定义 D1,2 (R3 ) 上的线性泛函
Z
Lu (v) ≜ u2 vdx, v ∈ D1,2 (R3 ).
R3
以下几个引理给出了 Ku 的相关性质.
引理 2.5 (见文献 [9-10, 37]) 对于任意 u, w ∈ H 1 (R3 ), 我们有

(1) Ktu (x) = t2 Ku (x), t ∈ R,
(2) kKu kD1,2 (R3 ) = kLu k(D1,2 (R3 ))∗ ,
(3) kKu − Kw kD1,2 (R3 ) = kLu − Lw k(D1,2 (R3 ))∗ ,
(4) kLu − Lw k(D1,2 (R3 ))∗ ≤ 11 ku2 − w2 k 6 ,
S2 5
(5) 算子 Φ 是连续的,
(6) kKu kD1,2 (R3 ) ≤ 11 kuk212 ,
R S2 5
(7) 0 ≤ R3 Ku u2 dx ≤ S1 kuk412 .
5
引理 2.6 (见文献 [9]) 设 {un } ⊂ H 1 (R3 ) 有界, 且在 H 1 (R3 ) 中 un * u, 则

存在 {un } 的子列, 仍记为 {un }, 使得在 D1,2 (R3 ) 中 Kun * Ku .
引理 2.7 (见文献 [9]) 设 {un } ⊂ H 1 (R3 ) 有界, 且在 H 1 (R3 ) 中 un * u, 则

存在 {un } 的子列, 仍记为 {un }, 使得在 L6loc (R3 ) 中 Kun → Ku .
下一个引理给出了卷积项的一个性质, 该性质与著名的 Brézis-Lieb 引理 (见

文献 [7]) 很相似.
10
万方数据
引理 2.8 (见文献 [24-25, 37]) 设 {un } ⊂ H 1 (R3 ) 有界, 且在 H 1 (R3 ) 中

loc (R )(1 ≤ m < 6) 中 un → u, 则有
un * u, 在 Lm 3
Z
(Kun u2n − Kun −u (un − u)2 − Ku u2 )dx = on (1).
R3
下一个引理说明了泛函 ξ 的连续性与可微性.
引理 2.9 ξ ∈ C 1 (H 1 (R3 ), R), 且

Z
′
hξ (u), ϕi = (∇u∇ϕ + V (x)uϕ + Ku uϕ − |u|p−2 uϕ)dx.
R3
证明该定理由命题 2.4, 引理 2.5 和 Fubini 定理易证.
为了证明若 I = inf{ξ(u)/u ∈ N } 极小可达, 则其极小达到函数是方程

(1.11) 的非平凡弱解, 我们需要证明 I > −∞. 同时, 我们还需要了解 Nehari 流
形 N 的相关性质, 以下两个引理介绍了 Nehari 流形 N 的相关性质.
引理 2.10 0 是 {u ∈ H 1 (R3 )/J(u) = 0} 的孤立点.
证明由引理 2.5(7), Sobolev 不等式和 k · kV 是 H 1 (R3 ) 的等价范数, 有

Z Z
J(u) = [|∇u| + V (x)u + Ku u − |u| ]dx =
2 2 2 p
kuk2V + Ku u2 dx − kukpp
R3 R3
≥kuk2V − kukpp ≥ C1 kuk2H 1 (R3 ) − C2 kukpH 1 (R3 ) .
因为 p > 2, 所以存在 r > 0, 使得当 0 < kukH 1 (R3 ) < r 时, 有
J(u) ≥ C1 kuk2H 1 (R3 ) − C2 kukpH 1 (R3 ) > 0,
进而有
B(0, r) ∩ {u ∈ H 1 (R3 )\{0}/J(u) = 0} = ∅, (2.1)
其中 B(0, r) ≜ {u ∈ H 1 (R3 )/kukH 1 (R3 ) < r}. 因此, 0 是 {u ∈ H 1 (R3 )/J(u) = 0}

的孤立点.
引理 2.11 任意 u ∈ N , 有 hJ ′ (u), ui < 0.
证明由 p > 4 和
Z
0 = J(u) = kuk2V + [Ku u2 − |u|p ]dx, u ∈ N , (2.2)
R3
我们有
Z
′
hJ (u), ui = [2(|∇u|2 + V (x)u2 ) + 4Ku u2 − p|u|p ]dx
R3
11
万方数据
Z
=2kuk2V + [4Ku u2 − p|u|p ]dx
R
Z
3
≤2kuk2V + p [Ku u2 − |u|p ]dx

R3
=(2 − 2
p)kukV .
由 (2.1) 可知, 对任意 u ∈ N , 有 kukH 1 (R3 ) ≥ r, 所以 kukV ≥ CkukH 1 (R3 ) ≥ Cr ≜

c1 , 从而可得: 任意 u ∈ N , 有
hJ ′ (u), ui ≤ (2 − p)kuk2V ≤ (2 − p)c21 < 0.
引理 2.12 I = inf{ξ(u)/u ∈ N } > 0.
证明对任意 u ∈ N , 根据 (2.1) 和 (2.2), 我们有

Z Z
1 1 1
ξ(u) = kukV +
2
Ku u dx −
2
|u|p dx
2 4 R3 p R3
Z Z
1 1 1
= kukV +
2
Ku u dx −
2
kukV +2 2
Ku u dx
2 4 R3 p R3
Z
1 1 1 1
= − kukV +
2
− Ku u2 dx
2 p 4 p R 3

1 1
≥ − kuk2V ≥ Ckuk2H 1 (R3 ) ≥ Cr2 .
2 p
因此, I = inf{ξ(u)/u ∈ N } ≥ Cr2 > 0.
引理 2.13 若 I = inf{ξ(u)/u ∈ N } 极小可达, 设其极小达到函数为 u0 , 则

u0 是方程(1.11)的非平凡弱解.
证明我们运用隐函数定理对该引理进行证明. 任取 ϕ ∈ H 1 (R3 ), 假设 ψ ∈
H 1 (R3 ) 待定, 设 u0 是 I 的极小达到函数, H(t, s) ≜ J(u0 + tϕ + sψ), t, s ∈ R.
(i) 证明 H(t, s) ∈ C 1 (R2 ).
(1) 首先证明 H(t, s) 连续. 假设 tn → t, sn → s, 需证：H(tn , sn ) → H(t, s),
即需证：J(u0 + tn ϕ + sn ψ) → J(u0 + tϕ + sψ).
因为
k(u0 + tn ϕ + sn ψ) − (u0 + tϕ + sψ)kH 1 (R3 )

≤|tn − t|kϕkH 1 (R3 ) + |sn − s|kψkH 1 (R3 ) → 0,
所以在 H 1 (R3 ) 中 u0 + tn ϕ + sn ψ → u0 + tϕ + sψ. 再根据 J ∈ C 1 (H 1 (R3 ), R),

我们有
J(u0 + tn ϕ + sn ψ) → J(u0 + tϕ + sψ),
故 H(t, s) 连续.
12
万方数据
∂H
(2) 然后计算 ∂t
(t, s), ∂H
∂s
(t, s).
∂H 1
(t, s) = lim [H(t + ∆t, s) − H(t, s)]
∂t ∆t→0 ∆t
1
= lim [J(u0 + (t + ∆t) ϕ + sψ) − J(u0 + tϕ + sψ)]
∆t→0 ∆t
= hJ ′ (u0 + tϕ + sψ), ϕi ,
同理可得, ∂H
∂s
(t, s) = hJ ′ (u0 + tϕ + sψ), ψi .
(3) 最后证明 ∂H
∂t
(t, s), ∂H
∂s
(t, s) 连续. 假设 tn → t, sn → s, 需证：∂H∂t
(tn , sn ) →
∂H
∂t
(t, s), 即需证：hJ ′ (u0 + tn ϕ + sn ψ), ϕi → hJ ′ (u0 + tϕ + sψ), ϕi.
因为在 H 1 (R3 ) 中 u0 +tn ϕ+sn ψ → u0 +tϕ+sψ, 又因为 J ∈ C 1 (H 1 (R3 ), R),

所以有
hJ ′ (u0 + tn ϕ + sn ψ), ϕi → hJ ′ (u0 + tϕ + sψ), ϕi ,
∂H ∂H
故 ∂t
(t, s) 连续. 同理可得, ∂s
(t, s) 连续.
综上所述, H(t, s) ∈ C 1 (R2 ).
(ii) 记 W (t, s) ≜ ξ(u0 + tϕ + sψ), t, s ∈ R. 因为 ξ ∈ C 1 (H 1 (R3 ), R), 故与 (i)

同理可证
W (t, s) ∈ C 1 (R2 ),
∂W
(t, s) = hξ ′ (u0 + tϕ + sψ), ϕi ,
∂t
∂W
(t, s) = hξ ′ (u0 + tϕ + sψ), ψi .
∂s
(iii) 取 ψ = u0 . 因为 u0 ∈ N , 由引理 2.11, 有
∂H
(0, 0) = hJ ′ (u0 ), u0 i < 0.
∂s
再根据 H(t, s) ∈ C 1 (R2 ), H(0, 0) = J(u0 ) = 0, 由隐函数定理, 可确定定义在

(−τ, τ ) 上的函数 s = s(t), s(t) ∈ C 1 ((−τ, τ )), 使得
(
s(0) = 0,
H(t, s(t)) = 0, t ∈ (−τ, τ ),
并且有
∂H
(t, s)
s′ (t) = − ∂H
∂t
, t ∈ (−τ, τ ).
∂s
(t, s)
因此, 当 t ∈ (−τ, τ ) 时, J(u0 + tϕ + s(t)u0 ) = H(t, s(t)) = 0.
13
万方数据
(iv) 根据 u0 ∈ N = {u ∈ H 1 (R3 )\{0}/J(u) = 0} 和 (2.1), 我们有
dist(u0 , 0) ≥ r.
dist(u0 , u0 + tϕ + s(t)u0 ) = ktϕ + s(t)u0 kH 1 (R3 )

≤ |t|kϕkH 1 (R3 ) + |s(t)|ku0 kH 1 (R3 )
和 s(t) ∈ C 1 ((−τ, τ )), 可知存在 0 < γ ≤ τ , 使得当 t ∈ (−γ, γ) 时, 有
r
dist(u0 , u0 + tϕ + s(t)u0 ) < .
2
所以, 当 t ∈ (−γ, γ) 时, 有
r
dist(u0 + tϕ + s(t)u0 , 0) ≥ dist(u0 , 0) − dist(u0 , u0 + tϕ + s(t)u0 ) > .
2
因此, 当 t ∈ (−γ, γ) 时, u0 + tϕ + s(t)u0 6= 0 且 J(u0 + tϕ + s(t)u0 ) = 0, 即:
u0 + tϕ + s(t)u0 ∈ N , t ∈ (−γ, γ).
(v) 记 η(t) ≜ W (t, s(t)) = ξ(u0 + tϕ + s(t)u0 ), 则有
η(t) = ξ(u0 + tϕ + s(t)u0 ) ≥ ξ(u0 ) = inf{ξ(u)/u ∈ N } = η(0), t ∈ (−γ, γ),
故 0 是 η(t) 的极小值点. 因为 W (t, s) ∈ C 1 (R2 ), s(t) ∈ C 1 ((−τ, τ )), 所以
η(t) = W (t, s(t)) ∈ C 1 ((−τ, τ )).
再由 0 是 η(t) 的极小值点, 从而推得: 对任意 ϕ ∈ H 1 (R3 ), 有
∂W ∂W ∂W ∂W
0 =η ′ (0) = (0, s(0)) + (0, s(0))s′ (0) = (0, 0) + (0, 0)s′ (0)
∂t ∂s ∂t ∂s
= hξ ′ (u0 ), ϕi + hξ ′ (u0 ), u0 i s′ (0) = hξ ′ (u0 ), ϕi + J(u0 )s′ (0)
= hξ ′ (u0 ), ϕi .
因此, u0 是方程 (1.11) 的非平凡弱解.
为了建立方程 (1.11) 与其极限方程的能量之间的比较, 我们需要得到关于 I

的先验估计, 为此, 我们先介绍泛函 J 的一个性质.
引理 2.14 任意 u ∈ H 1 (R3 )\{0}, 存在 t(u) > 0, 使得 t(u)u ∈ N .
14
万方数据
证明任意 u ∈ H 1 (R3 )\{0}, 令 j1 (t) = J(tu), t ∈ [0, +∞). 因为 J ∈

C 1 (H 1 (R3 ), R), 所以 j1 ∈ C([0, +∞)). 由
Z
j1 (t) = J(tu) = t 2
kuk2V +t 4
Ku u2 dx − tp kukpp
R3
和 p > 4, 我们有
lim j1 (t) = −∞.
t→+∞
因此, 存在 l > 0, 当 t ∈ (l, +∞) 时, j1 (t) < 0. 由 Sobolev 不等式, 有

j1 (t) ≥ t2 kuk2V − tp kukpp ≥ t2 kuk2V − Ctp kukpV = t2 kuk2V 1 − Ctp−2 kukp−2
V ,
故存在 δ > 0, 当 t ∈ (0, δ) 时, j1 (t) > 0.

综上所述, 由介值性定理, 存在 t(u) ∈ (δ, l) ⊂ (0, +∞), 使得 J(t(u)u) =
j1 (t(u)) = 0. 再根据 t(u) ∈ (δ, l), u 6= 0, 我们有 t(u)u 6= 0, 进而有 t(u)u ∈ N .
与上述引理同理, 我们有:
引理 2.15 对任意 h ∈ H, 任意 u ∈ H 1 (R3 )\{0}, 存在 t(u, h) > 0, 使得

J h (t(u, h)u) = 0.
以下两个引理介绍了关于 I 的先验估计.
引理 2.16 任意 h ∈ H, 有 I ≤ I h .
证明 (i) 任意 h ∈ H, 存在 {zn } ⊂ R3 , 使得 sup |V (x + zn ) − V h (x)| →

x∈R3
0, n → ∞. 因为 I h = inf{ξ h (u)/u ∈ N h }, 由下确界的定义, 对任意 ε > 0, 存在
ν ∈ N h = {u ∈ H 1 (R3 )\{0}/J h (u) = 0}, 使得 I h + ε > ξ h (ν). 因此, 要证明该引
理, 只需证: ξ h (ν) ≥ I − ε. 记 νn (x) = ν(x − zn ).
下面证明: J(νn ) → J h (ν) = 0.
因为 Z Z
1 νn2 (z) 1 ν 2 (z − zn )
Kνn (x) = dz = dz,
4π R3 |x − z| 4π R3 |x − z|
所以
Z Z
1 ν 2 (z − zn ) 1 ν 2 (x)
Kνn (y + zn ) = dz = dx = Kν (y),
4π R3 |y + zn − z| 4π R3 |y − x|
从而有
J(νn )
Z
= [|∇νn |2 + V (x)νn2 + Kνn νn2 − |νn |p ]dx
R3
15
万方数据
Z
= [|∇ν(x − zn )|2 + V (x)ν 2 (x − zn ) + Kνn (x)ν 2 (x − zn ) − |ν(x − zn )|p ]dx
ZR
3
= [|∇ν(y)|2 + V (y + zn )ν 2 (y) + Kνn (y + zn )ν 2 (y) − |ν(y)|p ]dy

ZR
3
= [|∇ν(y)|2 + V (y + zn )ν 2 (y) + Kν (y)ν 2 (y) − |ν(y)|p ]dy

Z R3
= [|∇ν|2 + V (x + zn )ν 2 + Kν ν 2 − |ν|p ]dx. (2.3)

R3
再根据 Z
h
J (ν) = [|∇ν|2 + V h (x)ν 2 + Kν ν 2 − |ν|p ]dx = 0,
R3
我们有
Z Z
J(νn ) − J (ν) = h
[V (x + zn ) − V (x)]ν dx ≤ V (x + zn ) − V h (x) ν 2 dx
h 2
R3 R
Z
3
≤ sup V (x + zn ) − V h (x) ν 2 dx → 0,
x∈R3 R3
故 J(νn ) → J h (ν) = 0.
(ii) 因为 ν ∈ N h , 所以 ν 6= 0, 进而有 νn 6= 0, n = 1, 2, · · ·. 由引理 2.14, 存在
σn = t(νn ) > 0, 使得 σn νn ∈ N , 从而有 J(σn νn ) = 0.
下面证明: {σn } 有界.
我们用反证法来证明该命题. 若 {σn } 无界, 则存在其子列, 仍记为 {σn }, 使
得 σn → +∞. 我们有
Z
0 =J(σn νn ) = σn2 kνn k2V + σn4 Kνn νn2 dx − σnp kνn kpp
Z R3
=σn2 kνn k2V + σn4 Kν ν 2 dx − σnp kνkpp . (2.4)

R3
因为 kνn k2V ≤ Ckνn k2H 1 (R3 ) = Ckνk2H 1 (R3 ) ≤ C, p > 4, 所以, 对上式取极限, 有
Z
0 = lim σn2 kνn k2V + σn4 Kν ν dx −
2
σnp kνkpp = −∞,
n→∞ R3
矛盾, 故 {σn } 有界.

(iii) 因为 {σn } 有界, 设 A 为 {σn } 所有聚点构成的集合. 下面证明: 0 ∈
/ A.
我们用反证法来证明该命题. 假设 0 ∈ A, 则存在 {σn } 的一个子列, 仍记为
{σn }, 使得 σn → 0. 由 (2.4), 我们有
Z
kνn k2V = −σn2 Kν ν 2 dx + σnp−2 kνkpp → 0,
R3
这与 kνn k2V ≥ Ckνn k2H 1 (R3 ) = Ckνk2H 1 (R3 ) > 0 矛盾. 因此, 0 ∈
/ A, 从而可得: 任意
16
万方数据
a ∈ A, 有 a > 0.
(iv) 下面证明: 任意 a ∈ A, 有 J h (aν) = 0.
任意 a ∈ A, 存在 {σn } 的一个子列, 仍记为 {σn }, 使得 σn → a. 要证明

J (aν) = 0, 只需证: J(σn νn ) → J h (aν). 与 (2.3) 同理, 有
h
Z
0 =J(σn νn ) = [σn2 |∇νn |2 + σn2 V (x)νn2 + σn4 Kνn νn2 − σnp |νn |p ]dx
Z R 3
= [σn2 |∇ν|2 + σn2 V (x + zn )ν 2 + σn4 Kν ν 2 − σnp |ν|p ]dx,

R3
从而有
J h (aν) − J(σn νn )
Z
2
= a |∇ν|2 + a2 V h (x)ν 2 + a4 Kν ν 2 − ap |ν|p dx
R3
Z
2
− σn |∇ν|2 + σn2 V (x + zn )ν 2 + σn4 Kν ν 2 − σnp |ν|p dx
R3
Z Z
≤ a − σn
2 2
|∇ν| dx + a − σn
2 4 4
Kν ν 2 dx
R 3 R 3
Z Z

+ |ap − σnp | |ν|p dx + a2 V h (x)ν 2 − σn2 V (x + zn )ν 2 dx
Z R R3
3
Z
h
≤on (1) + a − σn V (x)ν dx +
2 2 2
V h (x) − V (x + zn ) σn2 ν 2 dx
R3 R3
Z Z
≤on (1) + a − σn
2 2
V (x)ν dx + σn sup V (x + zn ) − V (x)
h 2 2 h
ν 2 dx
R3 x∈R3 R3
=on (1). (2.5)
所以, J(σn νn ) → J h (aν), 进而有 J h (aν) = 0.
(v) 下面证明: A = {1}.
令 j2 (t) = J h (tν), t ∈ [0, +∞), 首先证明: j2 在 (0, +∞) 上只有一个零点. 我

们有
Z
h
j2 (t) =J (tν) = t 2
+t kνk2h Kν ν 2 dx − tp kνkpp
4
R

3
Z

=t kνkh + t
2 2 2
Kν ν dx − t kνkp ≜ t2 d1 + d2 t2 − d3 tp−2 ,
2 p−2 p
R3
R
其中 d1 ≜ kνk2h > 0, d2 ≜ R3
Kν ν 2 dx > 0, d3 ≜ kνkpp > 0.
令 j3 (t) ≜ d1 + d2 t2 − d3 tp−2 , t ∈ [0, +∞), 则有
j3′ (t) = 2d2 t − (p − 2)d3 tp−3 = t(2d2 − (p − 2)d3 tp−4 ).
17
万方数据
1 1
因此, 当 t ∈ (0, [ (p−2)d
2d2
3
] p−4 ) 时, j3′ (t) > 0, 从而 j3 在 (0, [ (p−2)d
2d2
3
] p−4 ) 上严格单调
1 1
递增; 当 t ∈ ([ (p−2)d
2d2
3
] p−4 , +∞) 时, j3′ (t) < 0, 从而 j3 在 ([ (p−2)d
2d2
3
] p−4 , +∞) 上严
格单调递减. 又因为 j3 (0) = d1 > 0, 所以 j3 在 (0, +∞) 上只有一个零点.
因此, j2 (t) = t2 j3 (t) 在 (0, +∞) 上只有一个零点. 再根据 j2 (1) = J h (ν) = 0
和任意 a ∈ A, 有 a > 0 且 j2 (a) = J h (aν) = 0, 可得 A = {1}.
(vi) 与 (2.5) 同理可证, ξ(σn νn ) → ξ h (ν). 因此, 对上述 ε > 0, 存在 M1 ∈ N+ ,
当 n > M1 时, |ξ(σn νn ) − ξ h (ν)| < ε, 从而有
ξ h (ν) > ξ(σn νn ) − ε.
又因为 {σn νn } ⊂ N , 所以当 n > M1 时, 有
I h + ε > ξ h (ν) > ξ(σn νn ) − ε ≥ I − ε.
由 ε 的任意性可得: 任意 h ∈ H, 有 I ≤ I h .
引理 2.17 当 α < 0 时, I < Iα ≜ inf{ξ(u) − 12 J(u)/u ∈ H 1 (R3 ), J(u) = α}.
证明 (i) 首先证明 Iα ≥ − 41 α > −∞.

任意 u ∈ H 1 (R3 ) 且满足 J(u) = α, 有
Z
[|u|p − Ku u2 ]dx = kuk2V − α. (2.6)
R3
再由 p > 4, 我们有
Z
1 1 11
ξ(u) − J(u) = −
|u| − Ku u dx
2 p
2 R3 2 p4
Z
1 p 1 1
> |u| − Ku u2 dx = kuk2V − α > − α.
4 R3 4 4
因此, Iα = inf{ξ(u) − 21 J(u)/u ∈ H 1 (R3 ), J(u) = α} ≥ − 14 α.

(ii) 下面我们对 Iα 进行改写. 定义 M ≜ {u ∈ H 1 (R3 )/J(u) = α, ξ(u) ≤ Iα },
则有
1
Iα = inf{ξ(u) − J(u)/u ∈ H 1 (R3 ), J(u) = α}
2
1
= inf{ξ(u) − α/u ∈ H 1 (R3 ), J(u) = α, ξ(u) ≤ Iα }
2
1
= inf{ξ(u) − J(u)/u ∈ M }.
2
(iii) 下面我们建立 M 与 N 的关系, 我们有: 任意 u ∈ M, 存在 t(u) ∈ (0, 1),

使得 t(u)u ∈ N .
18
万方数据
事实上, 任意 u ∈ M, 令 Gu (t) = J(tu), t ∈ R. 因为 J ∈ C 1 (H 1 (R3 ), R), 所

以 Gu ∈ C(R). 由于 p − 2 > 0, 故存在 c2 > 0, 使得当 0 < kυkH 1 (R3 ) < c2 时, 有
Z
J(υ) = [|∇υ|2 + V (x)υ 2 + Kυ υ 2 − |υ|p ]dx ≥ kυk2V − kυkpp
R3

≥C1 kυk2H 1 (R3 ) − C2 kυkpH 1 (R3 ) ≥ C1 kυk2H 1 (R3 ) 1 − Ckυkp−2
H 1 (R3 ) > 0.
因此, 当 0 < ktukH 1 (R3 ) < c2 时, 即 0 < t < ∥u∥ c21 3 时, 有 Gu (t) = J(tu) > 0.
H (R )
再根据 Gu (1) = J(u) = α < 0, Gu ∈ C(R), 由零点定理 (见文献 [40]), 存在
t(u) ∈ (0, 1), 使得 J(t(u)u) = Gu (t(u)) = 0, 进而有 t(u)u ∈ N .
(iv) 证明: 任意 u ∈ M, 有

1 1 1
ξ(u) − J(u) − ξ(t(u)u) − J(t(u)u) ≥ − α(1 − (t(u))p ).
2 2 4
任意 u ∈ M, 有 (2.6) 成立, 所以有

1 1
ξ(u) − J(u) − ξ(t(u)u) − J(t(u)u)
2 2
Z
1 1 1 1 1 1
= − |u| − Ku u −
p 2
− |t(u)u| − Kt(u)u (t(u)u)
p 2
dx
R3 2 p 4 2 p 4
Z
1 1 1
= − [1 − (t(u)) ]kukp − [1 − (t(u)) ]
p p 4
Ku u2 dx
2 p 4 R 3
Z
1
≥ (1 − (t(u)) )kukp − (1 − (t(u)) )
p p 4 2
Ku u dx
4 R3
Z
1
≥ [1 − (t(u)) ] kukp −
p p 2
Ku u dx
4 R3
1 1
= [1 − (t(u))p ](kuk2V − α) ≥ − α[1 − (t(u))p ].
4 4
(v) 证明: 存在 0 < s < 1, 使得对任意 u ∈ M, 有 t(u) ≤ s.

我们用反证法来证明该命题. 假设该命题不成立, 则对任意 0 < s′ < 1, 存
在 v ∈ M, 使得 t(v) > s′ . 因此, 对 sn = 1 − n+1 1
< 1, 存在 {vn } ∈ M, 使得
tn = t(vn ) > sn . 根据 sn < tn < 1, sn → 1, 可得 tn → 1. 因为 {tn vn } ∈ N , 所以
Z
J(tn vn ) = ktn vn k2V + [Ktn vn (tn vn )2 − |tn vn |p ]dx = 0,
R3
因此, Z Z
tp−2
n |vn | dx −
p
t2n Kvn vn2 dx = kvn k2V .
R3 R3
再由 Z
J(vn ) = kvn k2V + [Kvn vn2 − |vn |p ]dx = α,
R3
19
万方数据
我们有 Z
(tp−2
n − 1)kvn kpp + (1 − t2n ) Kvn vn2 dx = α. (2.7)
R3
下面证明: {vn } 在 H 1 (R3 ) 中有界.

因为 {vn } ⊂ M, 所以 J(vn ) = α, ξ(vn ) ≤ Iα . 假设 β1 > 0 待定, 则有
Iα − αβ1 ≥ξ(vn ) − β1 J(vn )

Z
1 1 1
= − β1 kvn kV +2
− β1 Kvn vn dx + β1 −
2
kvn kpp .
2 4 R3 p
取 β1 = 21 ( 14 + p1 ), 则有

1
Iα − αβ1 ≥ − β1 kvn k2V .
2
因此, {vn } 在 H 1 (R3 ) 中有界.

由 Sobolev 不等式和引理 2.5, 有
kvn kpp ≤ Ckvn kpH 1 (R3 ) ≤ C,

Z
1
Kvn vn2 dx ≤ kvn k412 ≤ Ckvn k4H 1 (R3 ) ≤ C.
R3 S 5
在 (2.7) 中取极限, 有
Z
α = lim (tp−2
n − 1)kvn kpp + (1 − t2n ) Kvn vn2 dx = 0,
n→∞ R3
矛盾. 因此, 存在 0 < s < 1, 使得对任意 u ∈ M, 有 t(u) ≤ s.

(vi) 综上所述, 任意 u ∈ M, 存在 t(u) ∈ (0, s), 使得 t(u)u ∈ N , 且
1 1 1
ξ(u) − J(u) − ξ(t(u)u) ≥ − α[1 − (t(u))p ] ≥ − α(1 − sp ).
2 4 4
所以, 任意 u ∈ M, 有
1 1
I = inf{ξ(u)/u ∈ N } ≤ ξ(t(u)u) ≤ ξ(u) − J(u) + α(1 − sp ).
2 4
由 u 的任意性, 有
1 1 1
I ≤ inf{ξ(u) − J(u)/u ∈ M} + α(1 − sp ) = Iα + α(1 − sp ) < Iα ,
2 4 4
故当 α < 0 时, I < Iα .
引理 2.18 假设 u ∈ L1 (R3 ), kuk1 > 0, 且 u(x) ≥ 0, x ∈ R3 , 则对任意 r > 0,
20
万方数据
存在 z̄ = z̄(r) ∈ R3 , 使得
Z Z
sup udx = udx.
y∈R3 Br (y) Br (z̄)
证明由上确界定义可知, 存在 {z̄n } = {z̄n (r)} ⊂ R3 , 使得

Z Z
udx → sup udx, n → +∞. (2.8)
Br (z̄n ) y∈R3 Br (y)
下面证明: {z̄n } 有界.

我们用反证法来证明该命题. 假设 {z̄n } 无界, 则存在其子列, 仍记为 {z̄n },
使得 |z̄n | → +∞. 因此, 存在 {z̄n } 的子列, 仍记为 {z̄n }, 使得
(
Br (z̄n ) ∩ Br (z̄m ) = ∅, n 6= m,
R
Br (z̄n )
udx ≥ C0 > 0, n = 1, 2, · · · ,
从而有 Z Z Z
|u|dx = udx ≥ udx ≥ +∞,
R3 R3 ∪∞
n=1 Br (z̄n )
这与 u ∈ L1 (R3 ) 矛盾. 因此, {z̄n } 有界.

因为 {z̄n } 有界, 所以存在其子列, 仍记为 {z̄n }, 存在 z̄ = z̄(r) ∈ R3 , 使得
z̄n → z̄, n → +∞. 由积分的绝对连续性, 有
Z Z
udx → udx, n → +∞.
Br (z̄n ) Br (z̄)
再根据 (2.8), 有 Z Z
sup udx = udx.
y∈R3 Br (y) Br (z̄)
为了得到泛函 ξ 的 (P S) 序列的全局紧引理, 我们需要先验证泛函 ξ 具有山

路引理结构.
引理 2.19 泛函 ξ 具有山路引理结构.
证明由 Sobolev 不等式和 k · kV 是 H 1 (R3 ) 的等价范数, 有

Z
1 1 1 p
ξ(u) = (|∇u| + V (x)u ) + Ku u − |u| dx
2 2 2
R3 2 4 p
Z
1 1 1
= kuk2V + Ku u2 dx − kukpp
2 4 R3 p
1 1
≥ kuk2V − kukpp ≥ C1 kuk2H 1 (R3 ) − C2 kukpH 1 (R3 ) .
2 p
21
万方数据
因为 p > 2, 所以存在 c3 > 0, 使得当 kukH 1 (R3 ) = c3 时, 有
ξ(u) ≥ C1 c23 − C2 cp3 > 0,
进而有
inf ξ(u) > 0 = ξ(0). (2.9)
∥u∥H 1 (R3 ) =c3
任取 v ∈ H 1 (R3 )\{0}, 对于 t > 0, 有

Z
1 2 1 4 1 p p
ξ(tv) = t (|∇v| + V (x)v ) + t Kv v − t |v| dx.
2 2 2
R3 2 4 p
因为 p > 4, 所以当 t 足够大时, 有

(
ktvkH 1 (R3 ) = tkvkH 1 (R3 ) > c3 ,
(2.10)
ξ(tv) < 0.
由引理 2.9 , 有 ξ ∈ C 1 (H 1 (R3 ), R), 再根据 (2.9) 和 (2.10) , 可知泛函 ξ 具有山路

引理结构.
下一个引理说明了泛函 ξ 的 (P S) 序列是有界的, 并且泛函 ξ 不存在水平值

为负数的 (P S) 序列.
引理 2.20 设 {un } ⊂ H 1 (R3 ) 满足 ξ(un ) → c′ , kξ ′ (un )k(H 1 (R3 ))∗ → 0, 则有

(1) {un } 在 H 1 (R3 ) 中有界,
(2) c′ ≥ 0.
证明 (1) 因为 ξ(un ) → c′ , kξ ′ (un )k(H 1 (R3 ))∗ → 0, 所以存在 M2 ∈ N+ , 当

n ≥ M2 时, 有 ξ(un ) ≤ c′ + 1, kξ ′ (un )k(H 1 (R3 ))∗ ≤ 1. 因此, 当 n ≥ M2 时, 有
− hξ ′ (un ), un i ≤| hξ ′ (un ), un i | ≤ kξ ′ (un )k(H 1 (R3 ))∗ kun kH 1 (R3 ) ≤ kun kH 1 (R3 )
≤Ckun kV .
假设 β2 > 0 待定, 则有
c′ + 1 + Ckun kV ≥ξ(un ) − β2 hξ ′ (un ), un i

Z
1 1 1
= − β2 kun kV + 2
− β2 Kun un dx + β2 −
2
kun kpp .
2 4 R3 p
取 β2 = 21 ( 14 + p1 ), 则有

′ 1
c + 1 + Ckun kV ≥ − β2 kun k2V ,
2
22
万方数据
故 {un } 在 H 1 (R3 ) 中有界.

(2) 因为 kξ ′ (un )k(H 1 (R3 ))∗ → 0, {un } 在 H 1 (R3 ) 中有界, 所以
Z
(|∇u|2 + V (x)u2 + Ku u2 − |u|p )dx = hξ ′ (un ), un i
R3
′
≤kξ (un )k(H 1 (R3 ))∗ kun kH 1 (R3 ) = on (1).
因此,
Z
1 1 1
ξ(un ) = (|∇un | + V (x)un ) + Kun un − |un | dx
2 2 2 p
R3 2 4 p
Z
1 1 1 1
= − (|∇un | + V (x)un ) +
2 2
− 2
Kun un dx + on (1)
R3 2 p 4 p
≥on (1).
由极限的保不等式性, 有 c′ ≥ 0.
下一个引理说明了泛函 ξ 及其 Gateaux 导数具有 Brézis-Lieb 型分离性质.
loc (R )(1 ≤
引理 2.21 设 {un } ⊂ H 1 (R3 ) 有界, 且在 H 1 (R3 ) 中 un * u, 在 Lm 3
m < 6) 中 un → u, 在 R3 中 un 几乎处处收敛到 u, 则有
(1) |ξ(un − u) − ξ(un ) + ξ(u)| = on (1),
(2) kξ ′ (un − u) − ξ ′ (un ) + ξ ′ (u)k(H 1 (R3 ))∗ = on (1).
证明 (1) 因为在 H 1 (R3 ) 中 un * u, 再根据引理 2.8 和 Brézis-Lieb 引理, 我

们有
|ξ(un − u) − ξ(un ) + ξ(u)|

Z
1 1 1
= (|∇(un − u)|2 + V (x)(un − u)2 ) + Kun −u (un − u)2 − |un − u|p dx
R3 2 4 p
Z
1 1 1
− (|∇un |2 + V (x)u2n ) + Kun u2n − |un |p dx
2 4 p
ZR
3
1 1 1
+ (|∇u|2 + V (x)u2 ) + Ku u2 − |u|p dx
2 4 p
ZR
3
1
≤ (|∇(un − u)|2 − |∇un |2 + |∇u|2 )dx
2 R3
Z Z
1 1
+ V (x) (un − u) − un + u dx +
2 2 2
(|un − u|p − |un |p + |u|p )dx
2 R3 p R3
Z
1
+ (Kun u2n − Kun −u (un − u)2 − Ku u2 )dx
4 R3
Z Z
= (|∇u| − ∇un ∇u)dx +
2
V (x)(u2 − un u)dx + on (1) = on (1).
R3 R3
23
万方数据
(2) 我们有
kξ ′ (un − u) − ξ ′ (un ) + ξ ′ (u)k(H 1 (R3 ))∗

= sup | hξ ′ (un − u) − ξ ′ (un ) + ξ ′ (u), ϕi |
∥φ∥H 1 (R3 ) =1
Z
= sup (∇(un − u)∇ϕ + V (x)(un − u)ϕ + Kun −u (un − u)ϕ
∥φ∥H 1 (R3 ) =1 R3
Z
− |un − u|
(un − u)ϕ)dx −
p−2
(∇un ∇ϕ + V (x)un ϕ + Kun un ϕ
Z R 3
− |un | un ϕ)dx +
p−2
(∇u∇ϕ + V (x)uϕ + Ku uϕ − |u|p−2 uϕ)dx
Z R 3
≤ sup (|un |p−2 un − |un − u|p−2 (un − u) − |u|p−2 u)ϕdx

∥φ∥H 1 (R3 ) =1 R3
Z
+ sup (Kun −u (un − u)ϕ − Kun un ϕ + Ku uϕ)dx . (2.11)
∥φ∥H 1 (R3 ) =1 R3
(i) 下面证明:
Z
sup (|un |p−2 un − |un − u|p−2 (un − u) − |u|p−2 u)ϕdx = on (1). (2.12)
∥φ∥H 1 (R3 ) =1 R3
因为 u ∈ Lp (R3 ), 所以对任意 ε > 0, 存在 r1 > 0, 使得 kukLp (R3 \Br1 ) < ε. 我

们有
Z
sup (|un |p−2 un − |un − u|p−2 (un − u) − |u|p−2 u)ϕdx
∥φ∥H 1 (R3 ) =1 R3
Z
≤ sup (|un |p−2 un − |un − u|p−2 (un − u) − |u|p−2 u)ϕdx
∥φ∥H 1 (R3 ) =1 Br1
Z
+ sup (|un |p−2 un − |un − u|p−2 (un − u) − |u|p−2 u)ϕdx .
∥φ∥H 1 (R3 ) =1 R3 \Br1
由 Hölder 不等式, Sobolev 不等式和范数的三角不等式, 我们有

Z
∥φ∥H 1 (R3 ) =1 Br1
≤ sup |un |p−2 un − |un − u|p−2 (un − u) − |u|p−2 u p kϕkLp (Br1 )

∥φ∥H 1 (R3 ) =1 L p−1 (Br1 )

≤C sup |un | p−2
un − |u| p−2
u p + kun − ukp−1
Lp (Br1 ) kϕkH 1 (R3 )
∥φ∥H 1 (R3 ) =1 L p−1 (B r1 )

≤C |un | p−2
un − |u| p−2
u p + kun − ukp−1
Lp (Br1 ) .
L p−1 (Br1 )
24
万方数据
因为在 Lm loc (R )(1 ≤ m < 6) 中 un → u, 所以在 L (Br1 ) 中 un → u. 再根据命题

3 p
p
2.2, 有: 在 L p−1 (Br1 ) 中 |un |p−2 un → |u|p−2 u. 所以, 对上述 ε > 0, 存在 M3 ∈ N+ ,
当 n ≥ M3 时, 有
|un |p−2 un − |u|p−2 u p + kun − ukLp−1

p (B ) < ε,
L p−1 (Br1 ) r 1
进而有
Z
sup (|un |p−2 un − |un − u|p−2 (un − u) − |u|p−2 u)ϕdx < Cε.
∥φ∥H 1 (R3 ) =1 Br1
由拉格朗日中值定理, 存在函数 θ̄(x) 满足 0 ≤ θ̄(x) ≤ 1, 且
|un (x)|p−2 un (x) − |un (x) − u(x)|p−2 (un (x) − u(x))

=(p − 1)|un (x) − θ̄(x)u(x)|p−2 u(x), x ∈ R3 .
再根据 Hölder 不等式, Sobolev 不等式和 {un } 在 H 1 (R3 ) 中有界, 我们有

Z
∥φ∥H 1 (R3 ) =1 R3 \B r1
Z
= sup ((p − 1)|un − θ̄(x)u|p−2 − |u|p−2 )uϕdx
∥φ∥H 1 (R3 ) =1 R3 \B r1
≤ sup k(p − 1)|un − θ̄u|p−2 − |u|p−2 k p kukLp (R3 \Br1 ) kϕkLp (R3 \Br1 )
∥φ∥H 1 (R3 ) =1 L p−2 (R3 \Br1 )

≤Cε sup (p − 1)kun − θ̄ukp−2
p + kukp−2
p kϕkH 1 (R3 )
∥φ∥H 1 (R3 ) =1

≤Cε kun − θ̄ukp−2
1 3
H (R ) + kuk p−2
1 3
H (R ) ≤ Cε ku n k p−2
1 3
H (R ) + kukH (R ) ≤ Cε.
p−2
1 3
综上所述, 对任意 ε > 0, 存在 M3 ∈ N+ , 当 n ≥ M3 时, 有

Z
sup (|un |p−2 un − |un − u|p−2 (un − u) − |u|p−2 u)ϕdx ≤ Cε,
∥φ∥H 1 (R3 ) =1 R3
故 (2.12) 成立.
(ii) 下面证明:
Z
sup (Kun −u (un − u)ϕ − Kun un ϕ + Ku uϕ)dx = on (1). (2.13)
∥φ∥H 1 (R3 ) =1 R3
我们有
Z
sup (Kun −u (un − u)ϕ − Kun un ϕ + Ku uϕ)dx
∥φ∥H 1 (R3 ) =1 R3
25
万方数据
Z Z
≤ sup (Kun −u − Kun )(un − u)ϕdx + sup (Kun − Ku )uϕdx .
∥φ∥H 1 (R3 ) =1 R3 ∥φ∥H 1 (R3 ) =1 R3
(2.14)
(a) 下面我们证明:
Z
sup (Kun − Ku )uϕdx = on (1). (2.15)
∥φ∥H 1 (R3 ) =1 R3
因为 u ∈ L3 (R3 ), 所以对任意 ε > 0, 存在 r2 > 0, 使得 kukL3 (R3 \Br2 ) < ε. 由

Hölder 不等式, Sobolev 不等式, 引理 2.5 和 {un } 在 H 1 (R3 ) 中有界, 我们有
Z
sup (Kun − Ku )uϕdx
∥φ∥H 1 (R3 ) =1 R3
Z Z
≤ sup (Kun − Ku )uϕdx + sup (Kun − Ku )uϕdx
∥φ∥H 1 (R3 ) =1 Br 2 ∥φ∥H 1 (R3 ) =1 R3 \Br2
≤ sup kKun − Ku kL6 (Br2 ) kukL3 (Br2 ) kϕkL2 (Br2 )

∥φ∥H 1 (R3 ) =1
+ sup kKun − Ku kL6 (R3 \Br2 ) kukL3 (R3 \Br2 ) kϕkL2 (R3 \Br2 )
∥φ∥H 1 (R3 ) =1
≤C1 sup kKun − Ku kL6 (Br2 ) kϕkH 1 (R3 )

∥φ∥H 1 (R3 ) =1
+ εC2 sup kKun − Ku kD1,2 (R3 ) kϕkH 1 (R3 )

∥φ∥H 1 (R3 ) =1
≤C1 kKun − Ku kL6 (Br2 ) + εC2 (kKun kD1,2 (R3 ) + kKu kD1,2 (R3 ) )
≤C1 kKun − Ku kL6 (Br2 ) + εC2 (kun k212 + kuk212 )
5 5
≤C1 kKun − Ku kL6 (Br2 ) + εC2 .
因为在 H 1 (R3 ) 中 un * u, 由引理 2.7, 在 L6 (Br2 ) 中 Kun → Ku . 因此, 对上述

ε > 0, 存在 M4 ∈ N+ , 当 n ≥ M4 时, 有 kKun − Ku kL6 (Br2 ) < ε.

Z
sup (Kun − Ku )uϕdx ≤ (C1 + C2 )ε,
∥φ∥H 1 (R3 ) =1 R3
故 (2.15) 成立.
(b) 下面我们证明:
Z
sup (Kun −u − Kun )(un − u)ϕdx = on (1). (2.16)
∥φ∥H 1 (R3 ) =1 R3
26
万方数据
由 Hölder 不等式, 我们有
|Kun −u (x) − Kun (x)|

Z Z
1 (un (y) − u(y))2 u2n (y)
= dy − dy
4π R3 |x − y| R3 |x − y|
Z
1 u(y)(u(y) − 2un (y))
= dy
4π R3 |x − y|
Z u2 (y) 21 Z (u(y) − 2u (y))2 12 1 1
n
≤ dy dy = (Ku (x)) 2 (Ku−2un (x)) 2 .
R3 |x − y| R3 |x − y|
因此,
Z
sup (Kun −u − Kun )(un − u)ϕdx
∥φ∥H 1 (R3 ) =1 R3
Z (2.17)
1 1
≤ sup (Ku ) (Ku−2un ) |(un − u)ϕ|dx.
2 2
∥φ∥H 1 (R3 ) =1 R3
根据 Ku ∈ D1,2 (R3 ) ⊂ L6 (R3 ) 有: 对任意 ε > 0, 存在 r3 > 0, 使 kKu kL6 (R3 \Br3 ) <
ε. 再根据 Hölder 不等式, Sobolev 不等式, 引理 2.5, (2.17) 和 {un } 在 H 1 (R3 ) 中
有界, 我们有
Z
sup (Kun −u − Kun )(un − u)ϕdx
∥φ∥H 1 (R3 ) =1 R3
Z
1 1
≤ sup (Ku ) 2 (Ku−2un ) 2 |(un − u)ϕ|dx
∥φ∥H 1 (R3 ) =1 Br 3
Z
1 1
+ sup (Ku ) 2 (Ku−2un ) 2 |(un − u)ϕ|dx
∥φ∥H 1 (R3 ) =1 R3 \Br3
1 1
≤ sup kKu kL2 6 (Br ) kKu−2un kL2 6 (Br ) kun − ukL3 (Br3 ) kϕkL2 (Br3 )
3 3
∥φ∥H 1 (R3 ) =1
1 1
+ sup kKu kL2 6 (R3 \Br ) kKu−2un kL2 6 (R3 \Br ) kun − ukL3 (R3 \Br3 ) kϕkL2 (R3 \Br3 )
3 3
∥φ∥H 1 (R3 ) =1
1
≤C1 sup kKu−2un k62 kun − ukL3 (Br3 ) kϕkH 1 (R3 )
∥φ∥H 1 (R3 ) =1
1 1
+ ε 2 C2 sup kKu−2un k62 kun − ukH 1 (R3 ) kϕkH 1 (R3 )
∥φ∥H 1 (R3 ) =1
1 1

≤CkKu−2un kD2 1,2 (R3 ) kun − ukL3 (Br3 ) + ε 2
1
1

≤Cku − 2un k 12 kun − ukL3 (Br3 ) + ε 2 ≤ C kun − ukL3 (Br3 ) + ε 2 .
5
因为在 Lm loc (R )(1 ≤ m < 6) 中 un → u, 所以在 L (Br3 ) 中 un → u. 因此, 对上

3 3
述 ε > 0, 存在 M5 ∈ N+ , 当 n ≥ M5 时, 有 kun − ukL3 (Br3 ) < ε.
27
万方数据

Z
1
sup (Kun −u − Kun )(un − u)ϕdx < C(ε + ε 2 ),
∥φ∥H 1 (R3 ) =1 R3
故 (2.16) 成立. 由 (2.14)-(2.16), 有 (2.13) 成立.

因此, 根据 (2.11)-(2.13), 我们有
kξ ′ (un − u) − ξ ′ (un ) + ξ ′ (u)k(H 1 (R3 ))∗ = on (1).
引理 2.22 设 {un } ⊂ H 1 (R3 ) 有界, {yn } ⊂ R3 , 函数 Ve ∈ C(R3 ) 满足

sup V (x + yn ) − Ve (x) → 0, 记 ūn (x) ≜ un (x + yn ), 则有
x∈R3
(1) ξ(un ) = g(Ve , ūn ) + on (1),
(2) kξ ′ (un )k(H 1 (R3 ))∗ = kg ′ (Ve , ūn )k(H 1 (R3 ))∗ + on (1).
证明 (1) 因为 {un } 在 H 1 (R3 ) 中有界, 所以 {ūn } 在 H 1 (R3 ) 中有界. 再根

据 sup V (x + yn ) − Ve (x) → 0, 有
x∈R3
Z Z
V (x + yn )ū2n dx − Ve (x)ū2n dx = on (1).
R3 R3
因此, 我们有
ξ(un )
Z
1 1 1
= |∇un (x)|2 + V (x)u2n (x) + Kun (x)u2n (x) − |un (x)|p dx
2 4 p
ZR
3
1 1 1
= |∇ūn (x)|2 + V (x + yn )ū2n (x) + Kun (x + yn )ū2n (x) − |ūn (x)|p dx
2 4 p
ZR
3
1 1 1
= |∇ūn (x)|2 + Ve (x)ū2n (x) + Kūn (x)ū2n (x) − |ūn (x)|p dx + on (1)
R3 2 4 p
=g(Ve , ūn ) + on (1).
(2) 我们有
kξ ′ (un )k(H 1 (R3 ))∗ = sup | hξ ′ (un ), ϕi |

∥φ∥H 1 (R3 ) =1
Z
= sup (∇un ∇ϕ + V (x)un ϕ + Kun un ϕ − |un |p−2 un ϕ)dx
∥φ∥H 1 (R3 ) =1 R3
Z
= sup (∇ūn ∇ϕ(x + yn ) + V (x + yn )ūn ϕ(x + yn ) + Kūn ūn ϕ(x + yn )
∥φ∥H 1 (R3 ) =1 R3
− |ūn |p−2 ūn ϕ(x + yn ))dx
28
万方数据
Z
= sup (∇ūn ∇ϕ(x + yn ) + Ve (x)ūn ϕ(x + yn ) + Kūn ūn ϕ(x + yn )
∥φ∥H 1 (R3 ) =1 R3
− |ūn |p−2 ūn ϕ(x + yn ))dx + on (1)

Z
= sup (∇ūn ∇ψ + Ve (x)ūn ψ + Kūn ūn ψ − |ūn |p−2 ūn ψ)dx + on (1)
∥ψ∥H 1 (R3 ) =1 R3
=kg ′ (Ve , ūn )k(H 1 (R3 ))∗ + on (1).
引理 2.23 对任意 Ve ∈ A = {Ve ∈ C(R3 )/V0 ≤ Ve (x) ≤ V1 , x ∈ R3 }, 定义

NVe ≜ {u ∈ H 1 (R3 )\{0}/g ′ (Ve , u) = 0}, 则有
(1) inf inf kukH 1 (R3 ) > 0,
Ve ∈A u∈NVe
(2) inf inf g(Ve , u) > 0.

Ve ∈A u∈NVe
证明由 Sobolev 不等式, 对任意 Ve ∈ A, 有

D E Z
′ e
g (V , u), u = (|∇u|2 + Ve (x)u2 + Ku u2 − |u|p )dx
R3
≥min{1, V0 }kuk2H 1 (R3 ) − kukpp

≥min{1, V0 }kuk2H 1 (R3 ) − CkukpH 1 (R3 ) .
D E
由 p > 2 可得, 存在 c4 > 0, 使得当 0 < kukH 1 (R3 ) e ′
< c4 时, 有 g (V , u), u > 0.
因此, 对任意 Ve ∈ A, 当 0 < kukH 1 (R3 ) < c4 时, 有
D E D E
g ′ (Ve , u), ϕ g ′ (Ve , u), u
kg ′ (Ve , u)k(H 1 (R3 ))∗ = sup ≥ > 0,
φ∈H 1 (R3 )\{0} kϕkH 1 (R3 ) kukH 1 (R3 )
从而有 u ∈
/ NVe . 因此,
inf inf kukH 1 (R3 ) ≥ c4 > 0.

Ve ∈A u∈NVe
(2) 对任意 Ve ∈ A, 对任意 u ∈ NVe , 有

D E Z
0 = g (Ve , u), u =
′
(|∇u|2 + Ve (x)u2 + Ku u2 − |u|p )dx,
R3
进而有
Z
1 1 1
g(Ve , u) = (|∇u| + Ve (x)u ) + Ku u − |u| dx
2 2 2 p
R3 2 4 p
Z
1 1 1 1
= − (|∇u| + Ve (x)u ) +
2 2
− 2
Ku u dx
R3 2 p 4 p
29
万方数据
Z
1 1 e 1 1
≥ − (|∇u| + V (x)u )dx ≥
2 2
− min{1, V0 }kuk2H 1 (R3 )
2 p 2 p
R
3

1 1
≥ − min{1, V0 }c24 > 0.
2 p
因此,
1 1
inf inf g(Ve , u) ≥ − min{1, V0 }c24 > 0.
Ve ∈A u∈NVe 2 p
30
万方数据
第3章解的存在性
在这一章, 我们给出定理 1.1 和推论 1.2 的证明.

由引理 2.13, 若 I = inf{ξ(u)/u ∈ N } 极小可达, 则其极小达到函数是方程
(1.11) 的非平凡弱解. 同理, 若 I h ≜ inf{ξ h (u)/u ∈ N h } 极小可达, 则其极小达到
函数是方程 (1.12) 的非平凡弱解. 我们运用集中紧原理证明变分问题极小可达,
在运用集中紧原理时, 通常是取极小化列 un 的平方作为试探函数, 而在本文中,
为了克服非稳定位势和卷积项所带来的困难, 我们选取了与之不同的试探函数.
定理 1.1 的证明设 {un } ⊂ N 是 I 的极小化列, 即: ξ(un ) → I.

下面我们证明: {un } 在 H 1 (R3 ) 中有界.
因为 ξ(un ) 是 R 上的柯西列, 从而有界, 因此, 存在常数 C > 0, 使得
Z
1 1 1
ξ(un ) = kun k2V + Ku u − |un | dx ≤ C.
2 p
2 R3 4 n n p
由 {un } ⊂ N , 我们有
Z

J(un ) = kun k2V + Kun u2n − |un |p dx = 0.
R3
假设 β3 > 0 待定, 则有
C ≥ξ(un )
=ξ(un ) − β3 J(un )
Z
1 1 1
= − β3 kun kV +2
− β3 Kun un dx + β3 −
2
kun kpp .
2 4 R 3 p
取 β3 = 12 ( 14 + p1 ), 则有 1
2
− β3 > 0, 14 − β3 > 0, β3 − p1 > 0. 再根据引理 2.5 (7), 我
们有
1
− β3 kun k2V ≤ C,
2
故 {un } 在 H 1 (R3 ) 中有界.
当 u ∈ N 时, 因为
Z
J(u) = [|∇u|2 + V (x)u2 + Ku u2 − |u|p ]dx = 0,
R3
所以我们有
Z
1 1 1 p
ξ(u) = (|∇u| + V (x)u ) + Ku u − |u| dx
2 2 2
R3 2 4 p
Z
1 1 1 1
= − 2 2
(|∇u| + V (x)u ) + − 2
Ku u dx.
R3 2 p 4 p
31
万方数据
定义 H 1 (R3 ) 上的泛函
Z
1 1 1 1
Ψ (u) ≜ − 2
(|∇u| + V (x)u ) + 2
− Ku u 2
dx.
R3 2 p 4 p
因为 {un } ⊂ N , 所以 Ψ (un ) = ξ(un ) → I.
定义

1 1 1 1
ρn (x) ≜ − (|∇un (x)| + V 2
(x)u2n (x)) + − Kun (x)u2n (x), x ∈ R3 ,
2 p 4 p
则有 Z
ρn (x)dx → I > 0.
R3
将集中紧原理应用于序列 {ρn }, 得到下列三种可能的情况:

消失: 对任意给定的 R > 0, 有
Z
lim sup ρn (x)dx = 0;
n→+∞ y∈R3 BR (y)
二分: 存在 µ ∈ (0, I), 使得

Z
lim lim sup ρn (x)dx = µ;
R→+∞ n→+∞ y∈R3 BR (y)
紧性: 存在 {yn } ⊂ R3 , 使得对任意 ε > 0, 存在 R > 0, 使得

Z
ρn (x)dx ≥ I − ε.
BR (yn )
第一步: 证明消失不会发生.
若不然, 对任意给定的 R > 0, 有

Z
1 1 1 1
lim sup − (|∇un | + V 2
(x)u2n ) + − Kun u2n dx = 0.
n→+∞ y∈R3 BR (y) 2 p 4 p
因为 0 ≤ ( 21 − p1 )V (x)u2n ≤ ( 12 − p1 )(|∇un |2 + V (x)u2n ) + ( 41 − p1 )Kun u2n , 所以

Z
1 1
lim sup − V (x)u2n dx = 0.
n→+∞ y∈R3 BR (y) 2 p
再根据 V (x) ≥ V0 > 0, 有

Z Z
0 ≤ V0 lim sup u2n dx ≤ lim sup V (x)u2n dx = 0,
n→+∞ y∈R3 BR (y) n→+∞ y∈R3 BR (y)
32
万方数据
从而有 Z
lim sup u2n dx = 0.
n→+∞ y∈R3 BR (y)
再由 {un } 在 H 1 (R3 ) 中有界和消失引理, 可知在 Lq (R3 )(2 < q < 6) 中 un → 0.

根据引理 2.5, 有 Z
1
0≤ Kun u2n dx ≤ kun k412 → 0,
R3 S 5
进而有 Z
kun k2V = kun kpp − Kun u2n dx → 0. (3.1)
R3
由 {un } ⊂ N 和 (2.1), 我们有
kun k2V ≥ Ckun kH 1 (R3 ) ≥ Cr2 > 0,
这与 (3.1) 矛盾. 因此, 消失不会发生.

第二步: 证明二分不会发生.
若不然, 存在 µ ∈ (0, I), 使得
Z
lim lim sup ρn (x)dx = µ.
R→+∞ n→+∞ y∈R3 BR (y)
1
(1) 由极限的定义, 对 εm = 2m
> 0, 存在 Rm > 2, 使得
Z
1
µ− ≤ lim sup ρn (x)dx ≤ µ, m = 1, 2, · · · ,
2m n→+∞ y∈R3 BRm (y)
Z
1
µ− ≤ lim sup ρn (x)dx ≤ µ, m = 1, 2, · · · .
2m n→+∞ y∈R3 B2Rm (y)
由引理 2.18, 存在 {xm

n } ⊂ R , 使得
3
Z Z
ρn (x)dx = sup ρn (x)dx, m = 1, 2, · · · ; n = 1, 2, · · · ,
BRm (xm
n ) y∈R3 BRm (y)
所以有
Z
1
µ− ≤ lim ρn (x)dx ≤ µ, m = 1, 2, · · · , (3.2)
2m n→+∞ BRm (xm
n )
Z Z
lim ρn (x)dx ≤ lim sup ρn (x)dx ≤ µ, m = 1, 2, · · · . (3.3)
n→+∞ B2Rm (xm n→+∞ y∈R3
n ) B2Rm (y)
当 m = 1 时, 由 (3.2), 有
Z
1
µ − ≤ lim ρn (x)dx ≤ µ.
2 n→+∞ BR1 (x1n )
33
万方数据
由极限的定义, 对 1
2
> 0, 存在 N1′ , 当 n ≥ N1′ 时, 有
Z
1
µ−1≤ ρn (x)dx ≤ µ + .
BR1 (x1n ) 2
由 (3.3), 有 Z
lim ρn (x)dx ≤ µ.
n→+∞ B2R1 (x1n )
2
> 0, 存在 N1′′ , 当 n ≥ N1′′ 时, 有
Z
1
ρn (x)dx ≤ µ + .
B2R1 (x1n ) 2
取 N1 = max{N1′ , N1′′ }, 当 n ≥ N1 时, 有
Z
1
µ−1≤ ρn (x)dx ≤ µ + , (3.4)
BR1 (x1n ) 2
Z
1
ρn (x)dx ≤ µ + . (3.5)
B2R1 (x1n ) 2
当 m = 2 时, 由 (3.2), 有
Z
1
µ − ≤ lim ρn (x)dx ≤ µ.
4 n→+∞ BR2 (x2n )
4
> 0, 存在 N2′ , 当 n ≥ N2′ 时, 有
Z
1 1
µ− ≤ ρn (x)dx ≤ µ + .
2 BR2 (x2n ) 4
由 (3.3), 有 Z
lim ρn (x)dx ≤ µ.
n→+∞ B2R2 (x2n )
4
> 0, 存在 N2′′ , 当 n ≥ N2′′ 时, 有
Z
1
ρn (x)dx ≤ µ + .
B2R2 (x2n ) 4
取 N2 = max{N2′ , N2′′ }, 当 n ≥ N2 时, 有
Z
1 1
µ− ≤ ρn (x)dx ≤ µ + , (3.6)
2 BR2 (x2n ) 4
Z
1
ρn (x)dx ≤ µ + . (3.7)
B2R2 (x2n ) 4
34
万方数据
同理, 当 m = 3 时, 存在 N3 > 0, 当 n ≥ N3 时, 有
Z
1 1
µ− ≤ ρn (x)dx ≤ µ + , (3.8)
3 BR3 (x3n ) 6
Z
1
ρn (x)dx ≤ µ + . (3.9)
B2R3 (x3n ) 6
重复该步骤. 当 m = k 时, 存在 Nk > 0, 当 n ≥ Nk 时, 有
Z
1 1
µ− ≤ ρn (x)dx ≤ µ + , (3.10)
k BRk (xkn ) 2k
Z
1
ρn (x)dx ≤ µ + . (3.11)
B2Rk (xkn ) 2k
不妨设 N1 < N2 < N3 < · · · , 取 {un } 的子列 {uNn }, 仍记为 {un }. 记

zn ≜ xnNn , n = 1, 2, · · · . 由 (3.4), (3.6), (3.8) 和 (3.10), 有
Z
1
µ−1≤ ρ1 (x)dx ≤ µ + ,
B (z1 ) 2
Z R1
1 1
µ− ≤ ρ2 (x)dx ≤ µ + ,
2 B (z2 ) 4
Z R2
1 1
µ− ≤ ρ3 (x)dx ≤ µ + ,
3 BR3 (z3 ) 6
···
Z
1 1
µ− ≤ ρk (x)dx ≤ µ + ,
k BRk (zk ) 2k
···
因此, Z
lim ρn (x)dx = µ. (3.12)
n→+∞ BRn (zn )
由 (3.5), (3.7), (3.9) 和 (3.11), 有

Z
1
ρ1 (x)dx ≤ µ + ,
B (z1 ) 2
Z 2R1
1
ρ2 (x)dx ≤ µ + ,
B (z2 ) 4
Z 2R2
1
ρ3 (x)dx ≤ µ + ,
B2R3 (z3 ) 6
···
Z
1
ρk (x)dx ≤ µ + ,
B2Rk (zk ) 2k
35
万方数据
···
因此, Z
lim ρn (x)dx ≤ µ. (3.13)
n→+∞ B2Rn (zn )
根据 Z Z
ρn (x)dx ≤ ρn (x)dx, n = 1, 2, · · · ,
BRn (zn ) B2Rn (zn )
我们有 Z Z
µ = lim ρn (x)dx ≤ lim ρn (x)dx ≤ µ,
n→+∞ BRn (zn ) n→+∞ B2Rn (zn )
故 Z
lim ρn (x)dx = µ. (3.14)
n→+∞ B2Rn (zn )
由 (3.12) 和 (3.14), 有
Z
lim ρn (x)dx = 0. (3.15)
n→+∞ B2Rn (zn )\BRn (zn )
R
根据 R3
ρn (x)dx → I 和 (3.14), 我们有
Z
lim ρn (x)dx = I − µ. (3.16)
n→+∞ R3 \B2Rn (zn )
(2) 我们对 {un } 作平移, 令 un (x) ≜ un (x + zn ). 因为 {un } 在 H 1 (R3 ) 中有

界, 所以 {un } 在 H 1 (R3 ) 中有界. 由函数 V (x) 的性质, 对 {zn } ⊂ R3 , 存在其子
列, 仍记为 {zn }, 存在 V h ∈ C(R3 ), 使得 sup V (x + zn ) − V h (x) → 0, 从而有
x∈R3
Z Z
V (x + zn )u2n dx − V h (x)u2n dx = on (1).
B Rn B Rn
于是,
Z
ρn (x)dx
BRn (zn )
Z
1 1 1 1
= − |∇un (x)| + V (x)un (x) +
2 2
− 2
Kun (x)un (x) dx
BRn (zn ) 2 p 4 p
Z
1 1
= − |∇un (x + zn )|2 + V (x + zn )u2n (x + zn )
B Rn 2 p

1 1
+ − 2
Kun (x + zn )un (x + zn ) dx
4 p
36
万方数据
Z
1 1 1 1
= |∇un (x)| + V (x +
− +2
− zn )u2n (x)
2
Kun (x)un (x) dx
B Rn 2 p 4 p
Z
1 1 1 1
= − |∇un | + V un +
2 h 2
− 2
Kun un dx + on (1). (3.17)
B Rn 2 p 4 p
由 (3.12) 和 (3.17), 我们有

Z
1 1 1 1
lim − |∇un | + V 2 h
(x)u2n + − Kun u2n dx = µ. (3.18)
n→+∞ B Rn 2 p 4 p
由 (3.15) 和 (3.16), 与 (3.18) 同理有

Z
1 1 1 1
lim − |∇un | + V 2 h
(x)u2n + − Kun u2n dx = I − µ,
n→+∞ R3 \B2Rn 2 p 4 p
(3.19)
Z
1 1 1 1
lim − |∇un |2 + V h (x)u2n + − Kun u2n dx = 0.
n→+∞ B2Rn \BRn 2 p 4 p
(3.20)
(3) 我们对 {un } 作拆分. 设 {χn } ⊂ C 1 (R3 ) 满足: 在 BRn 上, χn (x) ≡ 1; 在

R3 \B2Rn 上, χn (x) ≡ 0; 0 ≤ χn (x) ≤ 1 且 |∇χn (x)| ≤ R2n , n = 1, 2, · · · . 假设


 un (x), |x| ≤ Rn ,
ζn (x) ≜ χn (x)un (x) = χn (x)un (x), Rn < |x| ≤ 2Rn ,


0, |x| > 2Rn ,


 0, |x| ≤ Rn ,
wn (x) ≜ (1 − χn (x))un (x) = (1 − χn (x))un (x), Rn < |x| ≤ 2Rn ,


un (x), |x| > 2Rn .
记 Ωn ≜ B2Rn \BRn , 由 (3.20), 有

Z
lim (|∇un |2 + V h (x)u2n )dx = 0, (3.21)
n→+∞
Z Ωn
lim Kun u2n dx = 0. (3.22)

n→+∞ Ωn
因为 sup V (x + zn ) − V h (x) → 0, 0 < V0 ≤ V (x) ≤ V1 , 所以 0 < V0 ≤ V h (x) ≤

x∈R3
V1 , 从而有
Z Z
1
0≤ (|∇un | +
2
u2n )dx ≤ max 1, (|∇un |2 + V h (x)u2n )dx → 0,
Ωn V0 Ωn
37
万方数据
进而有 Z
lim (|∇un |2 + u2n )dx = 0. (3.23)
n→+∞ Ωn
我们有
Z
lim (|∇ζn |2 + V h (x)ζn2 )dx = 0, (3.24)
n→+∞
Z Ωn
lim (|∇wn |2 + V h (x)wn2 )dx = 0. (3.25)

n→+∞ Ωn
事实上, 因为 Rn ≥ 2, 所以
3
X 2 3
X 2
∂(χn un ) ∂χn ∂un
|∇ζn | =|∇(χn un )| =
2 2
= un + χn
i=1
∂xi i=1
∂xi ∂xi
! !
X
3
∂χn
2
∂un X3
∂χ n
2 2 X3
∂u n
2
≤2 un = 2 |un |2
+ χn + |χn |2
∂xi ∂xi ∂x i ∂xi
i=1
i=1
i=1
2
=2 |un |2 |∇χn |2 + |χn |2 |∇un |2 ≤ 2 |un |2 + |∇un |2
Rn

≤2 |un |2 + |∇un |2 . (3.26)
又由 (3.23), 有
Z Z

0≤ (|∇ζn | + V 2 h
(x)ζn2 )dx ≤ 2(|un |2 + |∇un |2 ) + V h (x)u2n dx
Ωn
Z
Ωn
≤C (|∇un |2 + u2n )dx → 0.

Ωn
因此, (3.24) 成立. 同理, (3.25) 成立.

我们有
Z
lim Kζn ζn2 dx = 0, (3.27)
n→+∞
Z Ωn
lim Kwn wn2 dx = 0. (3.28)

n→+∞ Ωn
事实上, 因为
Z Z Z
1 ζn2 (y) 1 χ2n (y)u2n (y) 1 u2n (y)
Kζn (x) = dy = dy ≤ dy = Kun (x),
4π R3 |x − y| 4π R3 |x − y| 4π R3 |x − y|
(3.29)
再根据 (3.22), 有
Z Z Z
0≤ Kζn ζn2 dx = Kζn χ2n u2n dx ≤ Kun u2n dx → 0.
Ωn Ωn Ωn
38
万方数据
因此, (3.27) 成立. 同理, (3.28) 成立.

(4) 定义 H 1 (R3 ) 上的泛函
Z
1 1 1 1
Ψ (u) ≜
h
− 2 h
(|∇u| + V (x)u ) + 2
− Ku u 2
dx.
R3 2 p 4 p
我们有
lim Ψ h (ζn ) ≤ µ, (3.30)

n→+∞
lim Ψ h (wn ) ≤ I − µ. (3.31)

n→+∞
事实上, 由 (3.18), (3.24), (3.27) 和 (3.29), 有

Z
1 1 1 1
h
Ψ (ζn ) = − (|∇ζn | + V (x)ζn ) +
2 h 2
− 2
Kζn ζn dx
R3 2 p 4 p
Z Z
1 1 1 1
= − (|∇ζn | + V (x)ζn )dx +
2 h 2
− Kζn ζn2 dx
B Rn 2 p BR 4 p
Z Z n
1 1 1 1
+ − (|∇ζn | + V (x)ζn )dx +
2 h 2
− Kζn ζn2 dx
2 p 4 p
Z
Ωn
Z n
Ω

1 1 1 1
= − (|∇ζn | + V (x)ζn )dx +
2 h 2
− Kζn ζn2 dx + on (1)
BR 2 p B 4 p
Z n Rn
1 1 1 1
= − (|∇un | + V (x)un ) +
2 h 2
− 2
Kun un dx
B Rn 2 p 4 p
Z
1 1
+ − (Kζn ζn2 − Kun u2n )dx + on (1)
4 p B Rn
≤µ + on (1),
故 (3.30) 成立. 同理, (3.31) 成立.

(5) 定义 H 1 (R3 ) 上的泛函
Z

J (u) ≜
h
|∇u|2 + V h (x)u2 + Ku u2 − |u|p dx.
R3
因为 0 < V0 ≤ V h (x) ≤ V1 , 所以我们可以定义空间 H 1 (R3 ) 的等价范数

Z 21
kukh ≜ 2 h
(|∇u| + V (x)u )dx 2
.
R3
下面我们分析 J h (ζn ), J h (wn ) 与 J h (un ) 之间的关系, 其中

Z

h
J (un ) = |∇un |2 + V h (x)u2n + Kun u2n − |un |p dx,
R3
39
万方数据
Z

h
J (ζn ) = |∇ζn |2 + V h (x)ζn2 + Kζn ζn2 − |ζn |p dx,
ZR
3

J h (wn ) = |∇wn |2 + V h (x)wn2 + Kwn wn2 − |wn |p dx.
R3
我们有
Z
(|∇un |2 + V h (x)u2n )dx
ZR Z
3
(3.32)
= (|∇ζn | + V2 h
(x)ζn2 )dx + (|∇wn |2 + V h (x)wn2 )dx + on (1).
R3 R3
事实上, 由 (3.21), (3.24) 和 (3.25), 有

Z Z Z
(|∇un | + V 2 h 2
un )dx − (|∇ζn | + V
(|∇wn |2 + V h wn2 )dx
2 h 2
ζn )dx −
Z R3 Z R3 Z R3
= (|∇un | + V un )dx +
2 h 2
(|∇un | + V un )dx +
2 h 2
(|∇un |2 + V h u2n )dx
B Rn Ωn R \B2Rn
3
Z Z
− (|∇ζn |2 + V h ζn2 )dx − (|∇ζn |2 + V h ζn2 )dx
B Ωn
Z Rn Z
− (|∇wn | + V wn )dx −
2 h 2
(|∇wn |2 + V h wn2 )dx
R \B2Rn
3 Ωn
Z Z Z
= (|∇un | + V un )dx −
2 h 2
(|∇ζn | + V ζn )dx −
2 h 2
(|∇wn |2 + V h wn2 )dx
Ωn Ωn Ωn
=on (1),
故 (3.32) 成立.
我们有
Z Z Z
Kun u2n dx ≥ Kζn ζn2 dx + Kwn wn2 dx + on (1). (3.33)
R3 R3 R3
事实上, 与 (3.29) 同理, 我们有
Kwn (x) ≤ Kun (x), x ∈ R3 . (3.34)
由 (3.22), (3.27)-(3.29) 和 (3.34), 我们有

Z
Kun u2n dx
Z R3 Z Z
= Kun u2n dx + Kun u2n dx + Kun u2n dx
B Rn Ωn R3 \B
Z Z Z 2Rn
≥ Kζn u2n dx + Kun u2n dx + Kwn u2n dx

B Rn Ωn R3 \B 2Rn
40
万方数据
Z Z
= Kζn ζn2 dx
+ Kwn wn2 dx + on (1)
B Rn R3 \B2Rn
Z Z Z Z
= Kζn ζn dx −
2 2
Kζn ζn dx + Kwn wn dx −
2
Kwn wn2 dx + on (1)
ZR R
3
Z Ωn
3 Ωn
= Kζn ζn2 dx + Kwn wn2 dx + on (1),

R3 R3
故 (3.33) 成立.
我们有
Z
|un |p dx → 0, (3.35)
Z Ωn
|ζn |p dx → 0, (3.36)
Z Ωn
|wn |p dx → 0. (3.37)
Ωn
事实上, 由 (3.23), 有 Z
u2n dx → 0. (3.38)
Ωn
根据 p ∈ (4, 6) ⊂ (2, 6), 可知存在 λ ∈ (0, 1), 使得 p = 2λ + 6(1 − λ). 因 {un } 在

H 1 (R3 ) 中有界, 由 Hölder 不等式, Sobolev 不等式和 (3.38), 我们有
Z Z Z λ Z 1−λ
|un | dx =
p
|un | 2λ+6(1−λ)
dx ≤ |un | dx2
|un | dx
6
Ωn Ωn Ωn Ωn
Z λ Z 1−λ Z λ
6(1−λ)
≤ |un | dx
2
|un | dx
6
≤C |un | dx
2
kun kH 1 (R3 )
Ωn R3 Ωn
Z λ Z λ
6(1−λ)
=C |un | dx
2
kun kH 1 (R3 ) ≤C |un | dx2
→ 0.
Ωn Ωn
故 (3.35) 成立. 由 |ζn (x)| ≤ |un (x)|, x ∈ R3 , 我们有

Z Z
0≤ |ζn | dx ≤
p
|un |p dx → 0.
Ωn Ωn
因此, (3.36) 成立. 同理, (3.37) 成立.
我们有 Z Z Z
|un | dx =
p
|ζn | dx +
p
|wn |p dx + on (1). (3.39)
R3 R3 R3
事实上, 由 (3.35)-(3.37), 我们有

Z Z Z Z
|un | dx =
p
|un | dx +
p
|un | dx +
p
|un |p dx
R3 B Rn Ωn R3 \B 2Rn
41
万方数据
Z Z
= |ζn | dx + p
|wn |p dx + on (1)
B Rn R3 \B2Rn
Z Z Z Z
= |ζn | dx −
p
|ζn | dx +
p
|wn | dx −
p
|wn |p dx + on (1)
ZR R
3
Z Ωn
3 Ωn
= |ζn |p dx + |wn |p dx + on (1),

R3 R3
故 (3.39) 成立.
由 (3.32), (3.33) 和 (3.39), 可得 J h (ζn ), J h (wn ) 与 J h (un ) 满足如下关系式:
Z

h
J (un ) = |∇un |2 + V h (x)u2n + Kun u2n − |un |p dx
ZR
3

≥ |∇ζn |2 + V h (x)ζn2 + Kζn ζn2 − |ζn |p dx
R3Z

+ |∇wn |2 + V h (x)wn2 + Kwn wn2 − |wn |p dx + on (1)
R3
=J h (ζn ) + J h (wn ) + on (1).
因为 {un } 在 H 1 (R3 ) 中有界, 所以我们有

Z Z Z
V (x + zn )u2n dx − V h
(x)u2n dx ≤ sup V (x + zn ) − V (x)
h
u2n dx
R3 R3 x∈R3 R3
≤C sup V (x + zn ) − V h (x) = on (1),

x∈R3
从而有
Z
0 =J(un ) = [|∇un |2 + V (x)u2n + Kun u2n − |un |p ]dx
Z R 3
= [|∇un (x + zn )|2 + V (x + zn )u2n (x + zn ) + Kun (x + zn )u2n (x + zn )

R3
− |un (x + zn )|p ]dx

Z
= [|∇un |2 + V (x + zn )u2n + Kun u2n − |un |p ]dx
ZR
3
= [|∇un |2 + V h (x)u2n + Kun u2n − |un |p ]dx + on (1)

R3
=J (un ) + on (1) ≥ J h (ζn ) + J h (wn ) + on (1),

h
即:
J h (ζn ) + J h (wn ) + on (1) ≤ 0. (3.40)
(6) 由 (3.40), 有下面三种可能的情况:

情况 1: 存在 {ζn } 的一个子列, 仍记为 {ζn }, 使得 J h (ζn ) ≤ 0.
情况 2: 存在 {wn } 的一个子列, 仍记为 {wn }, 使得 J h (wn ) ≤ 0.
42
万方数据
情况 3: 在取子列后, J h (ζn ) > 0, J h (wn ) > 0.
(I) 下面我们证明: 情况 1 不会发生.
由 (3.18), 存在 M6 ∈ N+ , 当 n > M6 时, 有
Z
1 1 1 1 µ
− (|∇un | + V 2 h
(x)u2n ) + − Kun u2n dx > .
B Rn 2 p 4 p 2
因此, 当 n > M6 时, 有 kun kH 1 (BRn ) 6= 0. 剔除 {un } 的前 M6 项, 仍记为

{un }, 则有 kun kH 1 (BRn ) 6= 0, n = 1, 2, · · · . 因为在 BRn 上, ζn (x) ≡ un (x), 所
以 kζn kH 1 (R3 ) 6= 0, n = 1, 2, · · · . 由引理 2.15, 存在 bn = t(ζn , h) > 0, 使得
J h (bn ζn ) = 0, (3.41)
即: Z Z
b2n kζn k2h + b4n Kζn ζn2 dx − bpn |ζn |p dx = 0.
R3 R3
再根据 Z Z
h
J (ζn ) = kζn k2h + Kζn ζn2 dx − |ζn |p dx ≤ 0,
R3 R3
我们有
Z Z
0 ≥bpn J h (ζn ) = bpn kζn k2h + bpn Kζn ζn2 dx − bpn |ζn |p dx
R3 R3
Z Z
=bpn kζn k2h + bpn Kζn ζn2 dx − b2n kζn k2h + b4n Kζn ζn2 dx
R3 R3
Z

= bpn − b2n kζn k2h + bpn − b4n Kζn ζn2 dx
Z R3

=b2n bp−2
n − 1 kζn k2h + b4n bn − 1
p−4
Kζn ζn2 dx,
R3
进而有 bn ≤ 1. 因为 ζn 6= 0, bn > 0, n = 1, 2, · · · , 所以 bn ζn 6= 0, n = 1, 2, · · · . 又
由 J h (bn ζn ) = 0, 可得
ξ h (bn ζn ) ≥ I h = inf{ξ h (u)/u ∈ H 1 (R3 )\{0}, J h (u) = 0}.
根据引理 2.16 和 bn ≤ 1, 有
I ≤I h ≤ ξ h (bn ζn ) = Ψ h (bn ζn )
Z
1 1 2 1 1 4
= − b (|∇ζn | + V (x)ζn ) +
2 h 2
− 2
b Kζ ζ dx
R3 2 p n 4 p n n n
Z
1 1 1 1
≤ − (|∇ζn | + V (x)ζn ) +
2 h 2
− Kζn ζn dx = Ψ h (ζn ).
2
R 3 2 p 4 p
43
万方数据
又由 (3.30), 有
I ≤ lim Ψ h (ζn ) ≤ µ < I,
n→+∞
矛盾. 因此, 情况 1 不会发生.

(II) 与情况 1 的分析同理可得, 情况 2 不会发生.
(III) 下面我们证明: 情况 3 不会发生.
由 J h (ζn ) > 0, J h (wn ) > 0 和 J h (ζn )+J h (wn )+on (1) ≤ 0, 我们可得 J h (ζn ) =
on (1), J h (wn ) = on (1). 与 (3.41) 同理, 存在 σ̄n = t(ζn , h) > 0, 使得 J h (σ̄n ζn ) = 0.
(i) 若 {σ̄n } 无界, 则存在其子列, 仍记为 {σ̄n }, 使得
(
σ̄n → +∞,
σ̄n > 1, n = 1, 2, · · · .
根据 Z Z
h
0 = J (σ̄n ζn ) = σ̄n2 kζn k2h + σ̄n4 Kζn ζn2 dx − σ̄np |ζn |p dx,
R3 R3
我们有 Z Z
1 1
|ζn | dx =
p
p−2 kζn kh
2
+ Kζn ζn2 dx,
R3 σ̄n σ̄np−4 R3
从而推得
Z Z
h
on (1) =J (ζn ) = + kζn k2h − |ζn |p dx
Kζn ζn2 dx
R3 R3
Z Z
1 1
=kζn kh +
2
Kζn ζn dx −
2
kζn kh + p−4
2 2
Kζn ζn dx
R3 σ̄np−2 σ̄n R3
Z
1 1
= 1 − p−2 kζn kh + 1 − p−4
2
Kζn ζn2 dx
σ̄n σ̄n R3

1
≥ 1 − p−2 kζn k2h ≥ 0.
σ̄n

因此, 1 − 1
p−2
σ̄n
kζn k2h = on (1), 再由 1 − 1
p−2
σ̄n
→ 1, 有 kζn k2h = on (1). 从而推
得
Z Z
0≤ (|∇un | + V 2 h
(x)u2n )dx = (|∇ζn |2 + V h (x)ζn2 )dx
B Rn B Rn
Z
≤ (|∇ζn |2 + V h (x)ζn2 )dx = kζn k2h = on (1),
R3
故有 Z
lim (|∇un |2 + V h (x)u2n )dx = 0. (3.42)
n→+∞ B Rn
因为 kζn k2h = on (1), 所以, 在 H 1 (R3 ) 中 ζn → 0. 再根据 H 1 (R3 ) ,→ Lq (R3 ), 2 ≤

q ≤ 6, 我们有: 在 Lq (R3 )(2 ≤ q ≤ 6) 中 ζn → 0. 根据 {un } 在 H 1 (R3 ) 中有界, 又
44
万方数据
由 Hölder 不等式, Sobolev 不等式和引理 2.5, 有
Z "Z # 16 "Z # 56
12
0≤ Kun u2n dx ≤ (Kun )6 dx |un | dx
5
B Rn B Rn B Rn
Z 16 "Z # 65 Z 65
12 12
≤ (Kun ) dx 6
|ζn | dx
5 ≤ CkKun kD1,2 (R3 ) |ζn | dx
5
R3 B Rn R3
≤Ckun k212 kζn k212 ≤ Ckun k2H 1 (R3 ) kζn k212

5 5 5
≤Ckζn k 12 = on (1).
2
5
因此, 我们有 Z
lim Kun u2n dx = 0. (3.43)
n→+∞ B Rn
而 (3.42),(3.43) 与 (3.18) 矛盾, 故 {σ̄n } 无界的情况不会发生.
(ii) 若 {σ̄n } 有界, 则存在其子列, 仍记为 {σ̄n }, 存在 σ̄0 ≥ 0, 使得
lim σ̄n = σ̄0 .

n→+∞
(a) 若 σ̄0 > 1, 则与 {σ̄n } 无界的情况同理可导出矛盾.
(b) 若 0 ≤ σ̄0 ≤ 1, 由 (3.26), 我们有

Z Z Z

|∇ζn | + 2
ζn2 dx ≤ 2(|un | + |∇un | ) +
2 2
u2n dx ≤ 3 |∇un |2 + u2n dx.
R3 R3 R3
再根据 {un } 在 H 1 (R3 ) 中有界, 所以 {ζn } 在 H 1 (R3 ) 中有界. 因此,

Z
(|∇ζn |2 + V h (x)ζn2 )dx ≤ C,
ZR
3
Kζn ζn2 dx ≤ Ckζn k412 ≤ Ckζn k4H 1 (R3 ) ≤ C.

5
R3
因为 0 ≤ σ̄0 ≤ 1, 所以,
I ≤I h = inf{ξ h (u)/u ∈ H 1 (R3 )\{0}, J h (u) = 0} ≤ ξ h (σ̄n ζn ) = Ψ h (σ̄n ζn )

Z Z
1 1 1 1
= − σ̄n2
(|∇ζn | + V (x)ζn )dx +
2 h 2
− σ̄n4 Kζn ζn2 dx
2 p 4 p
ZR ZR
3 3

1 1 1 1
= − σ̄02 (|∇ζn |2 + V h (x)ζn2 )dx + − σ̄04 Kζn ζn2 dx + on (1)
2 p 4 p
Z R R3
3
Z
1 1 1 1
≤ − (|∇ζn |2 + V h (x)ζn2 )dx + − Kζn ζn2 dx + on (1)
2 p R3 4 p R3
=Ψ h (ζn ) + on (1).
45
万方数据
又由 (3.30), 有
I ≤ lim Ψ h (ζn ) ≤ µ < I,
n→+∞
矛盾.
因此, 情况 3 不会发生.
综上所述, 二分不会发生.
第三步: 因为消失和二分不会发生, 所以存在 {yn } ⊂ R3 , 使得对任意 ε > 0,
存在 R > 0, 使得 Z
BR (yn )
(1) 下面我们讨论 {yn } 有界的情况.

因为 {un } 在 H 1 (R3 ) 中有界, 所以存在其子列, 仍记为 {un }, 存在 u0 ∈
loc (R )(1 ≤ m < 6) 中, un → u0 .
H 1 (R3 ) 使得: 在 H 1 (R3 ) 中, un * u0 ; 在 Lm 3
(i) 我们有: 在 Lq (R3 )(2 ≤ q < 6) 中, un → u0 .

事实上, 因为对任意 ε > 0, 存在 R > 0, 使得
Z
ρn (x)dx ≥ I − ε,
BR (yn )
取 R′ = R + sup |yn |, 则有
n∈N+
Z
BR ′
因为 ρn (x) 非负, 所以当 r ≥ R′ 时, 有

Z Z
ρn (x)dx ≥ ρn (x)dx ≥ I − ε.
Br BR ′
由于 u0 ∈ H 1 (R3 ), 故对上述 ε > 0, 存在 R′′ > 0, 使得当 r ≥ R′′ 时, 有

Z 12
(|∇u0 | + V2
(x)u20 )dx ≤ ε.
R3 \Br
取 R0 = max{R′ , R′′ }, 则有
Z
ρn (x)dx ≥ I − ε, (3.44)
B R0
"Z # 21
(|∇u0 |2 + V (x)u20 )dx ≤ ε. (3.45)
R3 \B R0
46
万方数据
由 Sobolev 不等式, 范数的三角不等式和 (3.45), 有
kun − u0 kq
≤kun − u0 kLq (BR0 ) + kun − u0 kLq (R3 \BR0 )
≤kun − u0 kLq (BR0 ) + Ckun − u0 kH 1 (R3 \BR0 )
≤kun − u0 kLq (BR0 ) + C(kun kH 1 (R3 \BR0 ) + ku0 kH 1 (R3 \BR0 ) )
 ! 21 
 Z 
≤kun − u0 kLq (BR0 ) + C (|∇un |2 + V (x)u2n )dx +ε . (3.46)
 R3 \BR 
0
根据在 Lm loc (R )(1 ≤ m < 6) 中, un → u0 , 可知在 L (BR0 ) 中, un → u0 . 因此, 对

3 q
上述 ε > 0, 存在 M7 ∈ N+ , 当 n > M7 时, 有
kun − u0 kLq (BR0 ) ≤ ε.

R
因为 R3
ρn (x)dx → I, 所以, 对上述 ε > 0, 存在 M8 ∈ N+ , 当 n > M8 时, 有
Z
ρn (x)dx < I + ε.
R3
又由 (3.44), 当 n > M8 时, 有
Z
1 1
− (|∇un |2 + V (x)u2n )dx
2 p R3 \BR0
Z
1 1 1 1
≤ − (|∇un | + V 2
(x)u2n ) + − Kun u2n dx
R3 \BR0 2 p 4 p
Z Z Z
= ρn (x)dx = ρn (x)dx − ρn (x)dx
R3 \BR0 R3 B R0
<I + ε − (I − ε) = 2ε.
因此, 当 n > M8 时, 有
Z ! 21 12
4pε
(|∇un | + V
2
(x)u2n )dx < .
R3 \BR0 p−2
综上所述, 对任意 ε > 0, 取 M9 = max{M7 , M8 }, 当 n > M9 时, 有

 ! 21 
Z
kun − u0 kq ≤kun − u0 kLq (BR0 ) + C  (|∇un |2 + V (x)u2n )dx + ε
R3 \BR0
12 !
4pε
<ε + C +ε ,
p−2
47
万方数据
故
lim kun − u0 kq = 0, 2 ≤ q < 6. (3.47)
n→+∞
(ii) 下面我们证明 u0 是方程 (1.11) 的非平凡弱解. 由引理 2.13, 我们需证: u0

是 I = inf{ξ(u)/u ∈ H 1 (R3 )\{0}, J(u) = 0} 的极小达到函数, 只需证: J(u0 ) = 0,
ku0 kH 1 (R3 ) > 0, ξ(u0 ) = I.
(a) 证明: J(u0 ) = 0.
我们首先证明:
J(u0 ) ≤ lim J(un ) = 0, (3.48)
n→+∞
即:
Z Z
ku0 k2V + [Ku0 u20 − |u0 | ]dx ≤ lim
p
kun k2V + (Kun u2n − |un | )dx = 0.
p
R3 n→+∞ R3
事实上, 因为在 H 1 (R3 ) 中, un * u0 , 由范数的弱下半连续性, 有
ku0 k2V ≤ lim kun k2V . (3.49)

n→+∞
因为 4 < p < 6, 由 (3.47), 在 Lp (R3 ) 中, un → u0 , 从而有

Z Z
lim |un | dx =
p
|u0 |p dx. (3.50)
n→+∞ R3 R3
由 (3.49) 和 (3.50) 可知, 要证明 (3.48), 只需证明:

Z Z
lim Kun u2n dx = Ku0 u20 dx. (3.51)
n→+∞ R3 R3
由三角不等式, 有
Z Z Z Z
Kun u2n dx − Ku0 u20 dx = Kun (u2n − u20 )dx + (Kun − Ku0 )u20 dx
R3 R3 R3
ZR
3
Z
≤ Kun (u2n − u20 ) dx + (Kun − Ku0 )u20 dx .
R3 R3
(3.52)
根据 {un } 在 H 1 (R3 ) 中有界, 又由 Hölder 不等式, Sobolev 不等式和引理 2.5, 有

Z
Kun (u2n − u20 ) dx ≤kKun k6 ku2n − u20 k 6 ≤ CkKun kD1,2 (R3 ) ku2n − u20 k 6
5 5
R3
≤Ckun k212 ku2n − u20 k 6 ≤ Ckun k2H 1 (R3 ) ku2n − u20 k 6

5 5 5
≤Cku2n − u20 k 6 .
5
48
万方数据
12 6
由 (3.47), 在 L 5 (R3 ) 中 un → u0 , 再根据命题 2.4, 在 L 5 (R3 ) 中 u2n → u20 , 从而
推得 Z
Kun (u2n − u20 ) dx → 0. (3.53)
R3
由在 H 1 (R3 ) 中, un * u0 , 和引理 2.6, 我们有在 D1,2 (R3 ) 中 Kun * Ku0 . 因

R
为 Lu (v) = R3 u2 vdx 是 D1,2 (R3 ) 上的有界线性泛函, 所以 Lu (Kun ) → Lu (Ku0 ).
因此, Z
(Kun − Ku0 )u20 dx = |Lu (Kun ) − Lu (Ku0 )| → 0. (3.54)
R3
由 (3.52)-(3.54) 可得, (3.51) 成立, 从而有 (3.48) 成立.

下面我们证明:
J(u0 ) = 0.
我们用反证法来证明该命题. 假设 J(u0 ) = α1 < 0, 则由 (3.50), (3.51) 和

J(un ) = 0, 有

1 1
I α1 = inf ξ(u) − J(u)/u ∈ H (R ), J(u) = α1 ≤ ξ(u0 ) − J(u0 )
1 3
2 2
Z
1 1 1
= − |u0 |p − Ku0 u20 dx
R3 2 p 4
Z
1 1 1
= lim − |un | − Kun un dx
p 2
n→+∞ R3 2 p 4
Z
1 1 1
= lim (|∇un | + V (x)un ) + Kun un − |un | dx = lim ξ(un ) = I,
2 2 2 p
n→+∞ R3 2 4 p n→+∞
这与引理 2.17 (当 α < 0 时, I < Iα ) 矛盾. 因此, J(u0 ) = 0.

(b) 证明: ku0 kH 1 (R3 ) > 0.
由 Z

0 = J(u0 ) = ku0 k2V + Ku0 u20 − |u0 |p dx,
R3
我们有 Z

ku0 k2V = |u0 |p − Ku0 u20 dx.
R3
因为 J(un ) = 0, 所以
Z

kun k2V = |un |p − Kun u2n dx.
R3
由 (3.50) 和 (3.51), 有 kun k2V → ku0 k2V . 又因为在 H 1 (R3 ) 中, un * u0 , 所以有
kun − u0 kH 1 (R3 ) → 0.
再根据 (2.1) 有 kun kH 1 (R3 ) ≥ r, 从而有 ku0 kH 1 (R3 ) ≥ r > 0.
49
万方数据
(c) 证明: ξ(u0 ) = I.

由引理 2.9, ξ ∈ C 1 (H 1 (R3 ), R), 又因为在 H 1 (R3 ) 中 un → u0 , ξ(un ) → I, 所
以 ξ(u0 ) = I.
综上所述, u0 是方程 (1.11) 的非平凡弱解. 因为方程 (1.11) 本身是其极限方
程之一, 所以方程 (1.11) 的一个极限方程存在非平凡弱解.
(2) 下面我们讨论 {yn } 无界的情况.
由函数 V (x) 的性质, 对 {yn } ⊂ R3 , 存在其子列, 仍记为 {yn }, 存在 V h1 ∈
C(R3 ), 使得
sup V (x + yn ) − V h1 (x) → 0, n → ∞.
x∈R3
我们对 {un } 作平移, 记 ũn (x) ≜ un (x + yn ). 因为 {un } 在 H 1 (R3 ) 中有界, 所以

{ũn } 在 H 1 (R3 ) 中有界, 从而存在 {ũn } 的子列, 仍记为 {ũn }, 存在 ũ ∈ H 1 (R3 ),
loc (R )(1 ≤ m < 6) 中, ũn → ũ.
使得: 在 H 1 (R3 ) 中, ũn * ũ; 在 Lm 3
(i) 设

1 1 1 1
ρ̃n (x) ≜ − |∇ũn (x)| + V
2 h1
(x)ũ2n (x) + − Kũn (x)ũ2n (x), x ∈ R3 ,
2 p 4 p
则有
Z
lim ρ̃n (x)dx = I, (3.55)
n→+∞ R
Z Z
3
ρ̃n (x)dx = ρn (x)dx + on (1). (3.56)

BR BR (yn )
事实上, 根据
Z
ρn (x)dx
R3
Z
1 1 1 1
= − 2 2
(|∇un (x)| + V (x)un (x)) + − 2
Kun (x)un (x) dx
R3 2 p 4 p
Z
1 1
= − (|∇un (x + yn )|2 + V (x + yn )u2n (x + yn ))
R3 2 p

1 1
+ − 2
Kun (x + yn )un (x + yn ) dx
4 p
Z
1 1 1 1
= − 2 2
(|∇ũn (x)| + V (x + yn )ũn (x)) + − 2
Kũn (x)ũn (x) dx
R3 2 p 4 p
Z
1 1 1 1
= − 2 h1 2
(|∇ũn (x)| + V (x)ũn (x)) + − 2
Kũn (x)ũn (x) dx + on (1)
R3 2 p 4 p
Z
= ρ̃n (x)dx + on (1)
R3
R
和 R3
ρn (x)dx → I, 我们有 (3.55) 成立.
50
万方数据
因为
Z
ρn (x)dx
BR (yn )
Z
1 1 1 1
= − 2 2
(|∇un (x)| + V (x)un (x)) + − 2
Kun (x)un (x) dx
BR (yn ) 2 p 4 p
Z
1 1
= − (|∇un (z + yn )|2 + V (z + yn )u2n (z + yn ))
2 p

BR

1 1
+ − 2
Kun (z + yn )un (z + yn ) dz
4 p
Z
1 1 1 1
= − 2 2
(|∇ũn (z)| + V (z + yn )ũn (z)) + − 2
Kũn (z)ũn (z) dz
2 p 4 p
Z
BR
1 1 1 1
= − 2 h1 2
(|∇ũn (z)| + V (z)ũn (z)) + − 2
Kũn (z)ũn (z) dz
2 p 4 p
Z BR
= ρ̃n (x)dx + on (1),

BR
所以 (3.56) 成立.
(ii) 我们有:
kũn → ũkq → 0, 2 ≤ q < 6. (3.57)
事实上, 因为对任意 ε > 0, 存在 R > 0, 使得

Z
ρn (x)dx ≥ I − ε,
BR (yn )
所以由 (3.56) 知, 对上述 ε > 0, 存在 M10 ∈ N+ , 当 n > M10 时, 有

Z
ρ̃n (x)dx ≥ I − 2ε.
BR
因为 ρ̃n (x) 非负, 所以当 r ≥ R, n > M10 时, 有

Z Z
ρ̃n (x)dx ≥ ρ̃n (x)dx ≥ I − 2ε.
Br BR
由于 ũ ∈ H 1 (R3 ), 故对上述 ε > 0, 存在 r4 > 0, 使得当 r ≥ r4 时, 有

Z 12
(|∇ũ|2 + V h1 (x)ũ2 )dx ≤ ε.
R3 \Br
取 r5 = max{R, r4 }, 则有
Z
ρ̃n (x)dx ≥ I − 2ε, n > M10 ,
Br 5
51
万方数据
"Z # 21
(|∇ũ|2 + V h1 (x)ũ2 )dx ≤ ε.
R3 \B r5
与 (3.47) 同理, 有 (3.57) 成立.
(iii) 下面我们证明 ũ 是方程
− ∆u + V h1 (x)u + Ku u = |u|p−2 u (3.58)
的非平凡弱解. 与引理 2.13 同理, I h1 = inf{ξ h1 (u)/u ∈ H 1 (R3 )\{0}, J h1 (u) = 0}

的极小达到函数是方程 (3.58) 的非平凡弱解. 因此, 我们需证: ũ 是 I h1 的极小达
到函数, 只需证: J h1 (ũ) = 0, kũkH 1 (R3 ) > 0, ξ h1 (ũ) = I h1 .
(a) 证明: J h1 (ũ) = 0.
我们首先证明: J h1 (ũ) ≤ 0.
事实上, 因为 Kun (x + yn ) = Kũn (x), 所以

Z

0 =J(un ) = |∇un (x)|2 + V (x)u2n (x) + Kun (x)u2n (x) − |un (x)|p dx
Z R3

= |∇un (x + yn )|2 + V (x + yn )u2n (x + yn ) + Kun (x + yn )u2n (x + yn )
R 3

− |un (x + yn )|p dx
Z

= |∇ũn (x)|2 + V (x + yn )ũ2n (x) + Kũn (x)ũ2n (x) − |ũn (x)|p dx.
R3
因此, 要证 J h1 (ũ) ≤ 0, 只需证:

Z
h1
J (ũ) = [|∇ũ|2 + V h1 (x)ũ2 + Kũ ũ2 − |ũ|p ]dx
R3
Z (3.59)
≤ lim [|∇ũn |2 + V (x + yn )ũ2n + Kũn ũ2n − |ũn |p ]dx = 0.
n→+∞ R3
根据在 H 1 (R3 ) 中, ũn * ũ, 由范数的弱下半连续性, 有
kũkH 1 (R3 ) ≤ lim kũn kH 1 (R3 ) ,

n→+∞
即: Z Z
[|∇ũ| + ũ ]dx ≤ lim
2 2
[|∇ũn |2 + ũ2n ]dx.
R3 n→+∞ R3
由 (3.57), 在 L2 (R3 ) 中, ũn → ũ, 所以

Z Z
lim ũ2n dx = ũ2 dx.
n→+∞ R3 R3
52
万方数据
于是, Z Z
|∇ũ| dx ≤ lim
2
|∇ũn |2 dx. (3.60)
R3 n→+∞ R3
与 (3.50), (3.51) 同理, 有

Z Z
lim Kũn ũ2n dx
= Kũ ũ2 dx, (3.61)
n→+∞
ZR Z R3
3
lim |ũn | dx =
p
|ũ|p dx. (3.62)
n→+∞ R3 R3
由 (3.60)-(3.62) 可知, 要证明 (3.59), 只需证明:

Z Z
lim V (x + yn )ũ2n dx = V h1 (x)ũ2 dx. (3.63)
n→+∞ R3 R3
因为 V h1 (x) 有界, {ũn } 在 H 1 (R3 ) 中有界, 所以有

Z Z
V (x + yn )ũ2n dx −
V h1 (x)ũ2 dx
ZR R3
Z
3
≤ [V (x + yn ) − V (x)]ũn dx +
h1 2
V h1 (x)(ũ2n − ũ2 ) dx
R3 RZ
3
≤ sup V (x + yn ) − V h1 (x) kũn k22 + C ũ2n − ũ2 dx

x∈R3 R3
≤ sup V (x + yn ) − V h1
(x) kũn k2H 1 (R3 ) + Ckũ2n − ũ2 k1
x∈R3
≤C sup V (x + yn ) − V h1 (x) + Ckũ2n − ũ2 k1 .

x∈R3
因为在 L2 (R3 ) 中, ũn → ũ, 所以由命题 2.4知, 在 L1 (R3 ) 中, ũ2n → ũ2 . 再根据
sup V (x + yn ) − V h1 (x) → 0, n → +∞,

x∈R3
我们有 Z Z
V (x + yn )ũ2n dx − V h1 (x)ũ2 dx → 0, n → +∞,
R3 R3
故 (3.63) 成立, 从而有 (3.59) 成立.

下面我们证明: J h1 (ũ) = 0.
定义

1 h1
Iαh1 ≜ inf ξ (u) − J (u)/u ∈ H (R ), J (u) = α .
h1 1 3 h1
2
与引理 2.17 同理有:

I h1 < Iαh1 , α < 0. (3.64)
53
万方数据
我们运用反证法进行证明. 假设 J h1 (ũ) = α2 < 0, 则由引理 2.16, (3.61), (3.62)

和 J(un ) = 0, 有

1 h1
Iαh21 = inf ξ (u) − J (u)/u ∈ H (R ), J (u) = α2
h1 1 3 h1
2
Z
1 h1 1 1 1
≤ξ (ũ) − J (ũ) =
h1
− |ũ| − Kũ ũ dx
p 2
2 R3 2 p 4
Z
1 1 1
= lim − |ũn |p − Kũn ũ2n dx
n→+∞ R3 2 p 4
Z
1 1 1
= lim − |un (x)| − Kun (x)un (x) dx
p 2
n→+∞ R3 2 p 4
Z
1 1 1
= lim (|∇un | + V (x)un ) + Kun un − |un | dx
2 2 2 p
n→+∞ R3 2 4 p
= lim ξ(un ) = I ≤ I h1 ,
n→+∞
这与 (3.64) 矛盾. 因此, J h1 (ũ) = 0.
(b) 证明: 在 H 1 (R3 ) 中 ũn → ũ, kũkH 1 (R3 ) > 0.
因为
Z
0 = J (ũ) = h1
kũk2h1 + [Kũ ũ2 − |ũ|p ]dx,
Z R3
J h1 (ũn ) = kũn k2h1 + [Kũn ũ2n − |ũn |p ]dx,

R3
再由 (3.61) 和 (3.62), 有
Z Z

kũn k2h1 − kũk2h1 h1
= J (ũn ) + |ũn | −
p
Kũn ũ2n dx + Kũ ũ2 − |ũ|p dx
R3 R3
Z Z
≤ J (ũn ) +
h1
(Kũn ũ2n − Kũ ũ )dx +
2
(|ũn |p − |ũ|p )dx
R3 R3
= J h1 (ũn ) + on (1). (3.65)
下面证明:
Z
h1
J (ũn ) = [|∇ũn |2 + V h1 (x)ũ2n + Kũn ũ2n − |ũn |p ]dx → 0. (3.66)
R3
根据 {ũn } 在 H 1 (R3 ) 中有界和

Z
0 = J(un ) = [|∇ũn |2 + V (x + yn )ũ2n + Kũn ũ2n − |ũn |p ]dx,
R3
54
万方数据
我们有
Z
J (ũn ) = J (ũn ) − J(un ) =
h1 h1
[V h1 (x) − V (x + yn )]ũ2n dx
R3
Z
≤ sup V (x + yn ) − V (x)
h1
ũ2n dx
x∈R3 R3
≤C sup V (x + yn ) − V h1
(x) → 0.
x∈R3
故 (3.66) 成立.
由 (3.65) 和 (3.66), 有 kũn k2h1 → kũk2h1 , 再根据在 H 1 (R3 ) 中 ũn * ũ, 从而推
得 H 1 (R3 ) 中 ũn → ũ. 因此, kũn kH 1 (R3 ) → kũkH 1 (R3 ) , 又由 (2.1), 有 kũn kH 1 (R3 ) =
kun kH 1 (R3 ) ≥ r, 所以 kũkH 1 (R3 ) ≥ r > 0.
(c) 证明: ξ h1 (ũ) = I h1 = I.
事实上, 与 J h1 (ũ) ≤ 0 的证明同理可证 ξ h1 (ũ) ≤ I. 因 J h1 (ũ) = 0, kũkH 1 (R3 ) >
0, 又由引理 2.16, 有
I h1 = inf{ξ h1 (u)/u ∈ H 1 (R3 )\{0}, J h1 (u) = 0} ≤ ξ h1 (ũ) ≤ I ≤ I h1 ,
进而有 ξ h1 (ũ) = I h1 = I. 因此, ũ 是 I h1 的极小达到函数, 从而 ũ 是方程 (3.58)

的非平凡弱解, 即: 方程 (1.11) 的一个极限方程存在非平凡弱解.
综上, 存在 h ∈ H, 使得方程 (1.12) 有非平凡弱解.
下面, 我们运用定理 1.1 证明推论 1.2.
推论 1.2 的证明设 V (x) 是连续的周期函数, 在 xi 方向以 Ti 为周期. 由定

理 1.1, 存在 {yn } ⊂ R3 , 使得对任意 ε > 0, 存在 R > 0, 使得
Z
BR (yn )
(i) 若 {yn } 有界, 则方程 (1.11) 有非平凡弱解.

(ii) 若 {yn } 无界, 由函数 V (x) 的性质, 存在 {yn } 的子列, 仍记为 {yn }，存
在 V h2 ∈ C(R3 ), 使得 sup |V (x + yn ) − V h2 (x)| → 0, n → ∞. 由定理 1.1, 方程
x∈R3
− ∆u + V h2 (x)u + Ku u = |u|p−2 u (3.67)
有非平凡弱解 u(1) .
对于 {yn } ⊂ R3 , 存在 {ȳn } ⊂ [0, T1 ] × [0, T2 ] × [0, T3 ], {ani } ⊂ R, 使得
yn = ȳn + (an1 T1 , an2 T2 , an3 T3 ) , n = 1, 2, · · · .
55
万方数据
因为 {ȳn } ⊂ [0, T1 ] × [0, T2 ] × [0, T3 ], 所以存在其子列, 仍记为 {ȳn }, 存在 ȳ0 ∈

[0, T1 ] × [0, T2 ] × [0, T3 ], 使得 ȳn → ȳ0 .
下面证明: V h2 (x) = V (x + ȳ0 ).
根据 V (x) 是周期函数, 我们有
sup |V (x + yn ) − V (x + ȳ0 )| = sup |V (x + ȳn ) − V (x + ȳ0 )|

x∈R3 x∈R3
= sup |V (x + ȳn ) − V (x + ȳ0 )|.

x∈[0,T1 ]×[0,T2 ]×[0,T3 ]
因为 V (x) 在 [0, 2T1 ] × [0, 2T2 ] × [0, 2T3 ] 上连续, 从而一致连续. 因此, 对任意
> 0, 存在 δ0 > 0, 当 x, y ∈ [0, 2T1 ] × [0, 2T2 ] × [0, 2T3 ] 且 |x − y| < δ0 时,
有 |V (x) − V (y)| < . 由 ȳn → ȳ0 , 可知: 对上述 δ0 > 0, 存在 M11 ∈ N+ , 当
n > M11 时, |ȳn − ȳ0 | < δ0 . 因此, 当 n > M11 , x ∈ [0, T1 ] × [0, T2 ] × [0, T3 ] 时, 有
(x + ȳn ), (x + ȳ0 ) ∈ [0, 2T1 ] × [0, 2T2 ] × [0, 2T3 ] 且 |(x + ȳn ) − (x + ȳ0 )| < δ0 , 所以
|V (x + ȳn ) − V (x + ȳ0 )| < .
综上所述, 对任意 > 0, 存在 M11 ∈ N+ , 当 n > M11 时, 有 sup |V (x +
x∈R3
yn ) − V (x + ȳ0 )| < , 即: sup |V (x + yn ) − V (x + ȳ0 )| → 0, n → +∞. 因此,
x∈R3
h2
V (x) = V (x + ȳ0 ).
记 u(2) (x) = u(1) (x − ȳ0 ), 下证: u(2) 是方程 (1.11) 的非平凡弱解. 由引理
2.13, 只需证: u(2) 是 I = inf{ξ(u)/u ∈ H 1 (R3 )\{0}, J(u) = 0} 的极小达到函数.
事实上, 因为 u(1) 是 I h2 = inf{ξ h2 (u)/u ∈ H 1 (R3 )\{0}, J h2 (u) = 0} 的极小
达到函数, 所以有 J h2 (u(1) ) = 0, ku(1) kH 1 (R3 ) > 0, ξ h2 (u(1) ) = I h2 = I. 因此,
Z
J(u(2) ) = [|∇u(2) |2 + V (x)u2(2) + Ku(2) u2(2) − |u(2) |p ]dx
ZR
3
= [|∇u(1) (x − ȳ0 )|2 + V (x)u2(1) (x − ȳ0 ) + Ku(1) (x − ȳ0 )u2(1) (x − ȳ0 )

R3
− |u(1) (x − ȳ0 )|p ]dx

Z
= [|∇u(1) |2 + V (y + ȳ0 )u2(1) + Ku(1) u2(1) − |u(1) |p ]dx = J h2 (u(1) ) = 0.
R3
与上式同理可得
ξ(u(2) ) = ξ h2 (u(1) ) = I h2 = I.
再根据 ku(1) kH 1 (R3 ) > 0, 有 ku(2) kH 1 (R3 ) > 0, 从而可得 u(2) 是 I 的极小达到
函数. 因此, u(2) 是方程 (1.11) 的非平凡弱解, 从而方程组 (1.10) 有非平凡弱解
(u(2) , Ku(2) ).
综上所述, 方程组 (1.10) 有非平凡弱解.
56
万方数据
第4章全局紧引理
在这一章, 我们运用集中紧原理证明泛函 ξ 的 (P S) 序列的全局紧引理.
定理 1.3 的证明 (1) 由 (1.13) 和引理 2.20, 可得 {φn } 在 H 1 (R3 ) 中有界,

进而存在 {φn } 的子列, 仍记为 {φn }, 存在 φ0 ∈ H 1 (R3 ), 使得: 在 H 1 (R3 ) 中
loc (R )(1 ≤ m < 6) 中 φn → φ0 .
φ n * φ 0 , 在 Lm 3
下面证明
kξ ′ (φ0 )k(H 1 (R3 ))∗ = 0. (4.1)
只需证明: 对任意 ϕ ∈ H 1 (R3 ), 有 hξ ′ (φ0 ), ϕi = 0. 由 (1.13), 有
| hξ ′ (φ0 ), ϕi | ≤| hξ ′ (φ0 ), ϕi − hξ ′ (φn ), ϕi | + | hξ ′ (φn ), ϕi |

(4.2)
=| hξ ′ (φ0 ), ϕi − hξ ′ (φn ), ϕi | + on (1).
因为在 H 1 (R3 ) 中 φn * φ0 , 所以
| hξ ′ (φ0 ), ϕi − hξ ′ (φn ), ϕi |
Z
= (∇φ0 ∇ϕ + V (x)φ0 ϕ + Kϕ0 φ0 ϕ − |φ0 |p−2 φ0 ϕ)dx
RZ 3
− (∇φn ∇ϕ + V (x)φn ϕ + Kϕn φn ϕ − |φn |p−2 φn ϕ)dx

Z R Z
3
≤ (∇(φ0 − φn )∇ϕ + V (x)(φ0 − φn )ϕ)dx + (Kϕn φn ϕ − Kϕ0 φ0 ϕ)dx

R3Z R3
+ (|φn |p−2 φn ϕ − |φ0 |p−2 φ0 ϕ)dx

Z R Z
3
= (Kϕn φn ϕ − Kϕ0 φ0 ϕ)dx + (|φn |p−2 φn ϕ − |φ0 |p−2 φ0 ϕ)dx + on (1).

R3 R3
(4.3)
因此, 要证明 (4.1), 只需证明:

Z
(Kϕn φn ϕ − Kϕ0 φ0 ϕ)dx = on (1), (4.4)
ZR
3
(|φn |p−2 φn ϕ − |φ0 |p−2 φ0 ϕ)dx = on (1). (4.5)

R3
下面证明 (4.4).
我们有
Z Z Z
(Kϕn φn ϕ − Kϕ0 φ0 ϕ)dx ≤ Kϕn (φn − φ0 )ϕdx + (Kϕn − Kϕ0 )φ0 ϕdx .
R3 R3 R3
(4.6)
根据在 H (R ) 中 φn * φ0 , 由引理 2.6, 存在 {φn } 的子列, 仍记为 {φn }, 使得在
1 3
R
D1,2 (R3 ) 中 Kϕn * Kϕ0 . 因为 L1 (v) ≜ R3 φ0 ϕvdx 是 D1,2 (R3 ) 上的有界线性泛
57
万方数据
函, 所以有
Z
(Kϕn − Kϕ0 )φ0 ϕdx = |L1 (Kϕn ) − L1 (Kϕ0 )| = on (1). (4.7)
R3
由 ϕ ∈ H 1 (R3 ) ⊂ L3 (R3 ) 可知, 对任意 ε > 0, 存在 r6 > 0, 使得 kϕkL3 (R3 \Br6 ) < ε.
因为 {φn } 在 H 1 (R3 ) 中有界, 再根据 Hölder 不等式, Sobolev 不等式和引理 2.5,
有
Z
Kϕn (φn − φ0 )ϕdx
ZR Z
3
≤ Kϕn (φn − φ0 )ϕdx + Kϕn (φn − φ0 )ϕdx

Br 6 R3 \Br6
≤kKϕn kL6 (Br6 ) kφn − φ0 kL2 (Br6 ) kϕkL3 (Br6 )

+ kKϕn kL6 (R3 \Br6 ) kφn − φ0 kL2 (R3 \Br6 ) kϕkL3 (R3 \Br6 )

≤kKϕn kL6 (R3 ) kφn − φ0 kL2 (Br6 ) kϕkL3 (R3 ) + εkφn − φ0 kL2 (R3 )

≤CkKϕn kD1,2 (R3 ) C1 kφn − φ0 kL2 (Br6 ) + εkφn − φ0 kH 1 (R3 )

≤Ckφn k212 C1 kφn − φ0 kL2 (Br6 ) + ε(kφn kH 1 (R3 ) + kφ0 kH 1 (R3 ) )

5
≤C kφn − φ0 kL2 (Br6 ) + ε .
由于在 Lmloc (R )(1 ≤ m < 6) 中 φn → φ0 , 我们有: 在 L (Br6 ) 中 φn → φ0 . 因此,

3 2
对上述 ε > 0, 存在 M12 ∈ N+ , 当 n ≥ M12 时, 有 kφn − φ0 kL2 (Br6 ) < ε.

Z
Kϕn (φn − φ0 )ϕdx < 2Cε,
R3
故 Z
Kϕn (φn − φ0 )ϕdx = on (1).
R3
再根据 (4.6) 和 (4.7), 有 (4.4) 成立.

下面证明 (4.5).
由 ϕ ∈ Lp (R3 ) 可知, 对任意 ε > 0, 存在 r7 > 0, 使得 kϕkLp (R3 \Br7 ) < ε. 因
为 {φn } 在 H 1 (R3 ) 中有界, 再根据 Hölder 不等式和 Sobolev 不等式, 有
Z
(|φn |p−2 φn ϕ − |φ0 |p−2 φ0 ϕ)dx
ZR Z
3
≤ (|φn | p−2
φn ϕ − |φ0 | p−2
φ0 ϕ)dx + (|φn |p−2 φn ϕ − |φ0 |p−2 φ0 ϕ)dx
R3 \B r7 Br 7
≤ |φn |p−2 φn − |φ0 |p−2 φ0 p kϕkLp (R3 \Br7 )

L p−1 (R3 \Br7 )
+ |φn |p−2 φn − |φ0 |p−2 φ0 p kϕkLp (Br7 )

L p−1 (Br7 )
58
万方数据
<ε |φn |p−2 φn − |φ0 |p−2 φ0 p + |φn |p−2 φn − |φ0 |p−2 φ0 p kϕkp
L p−1 (R3 ) L p−1 (Br7 )
≤ε(kφn kp−1
p + kφ0 kpp−1 ) + C1 |φn |p−2 φn − |φ0 |p−2 φ0 p
L p−1 (Br7 )

≤C ε + |φn |p−2 φn − |φ0 |p−2 φ0 p−1 p .
L (Br7 )
因为在 Lm loc (R )(1 ≤ m < 6) 中 φn → φ0 , 所以在 L (Br7 ) 中 φn → φ0 . 由命题

3 p
p
2.2, 在 L p−1 (Br7 ) 中 |φn |p−2 φn → |φ0 |p−2 φ0 . 因此, 对上述 ε > 0, 存在 M13 ∈ N+ ,
当 n ≥ M13 时, 有 |φn |p−2 φn − |φ0 |p−2 φ0 p−1 p < ε.
L (Br7 )
Z
(|φn |p−2 φn ϕ − |φ0 |p−2 φ0 ϕ)dx < 2Cε,
R3
故 (4.5) 成立.
综上, kξ ′ (φ0 )k(H 1 (R3 ))∗ = 0. 若 kφ0 kH 1 (R3 ) 6= 0, 则 φ0 是方程 (1.11) 的非平凡
弱解.
下面证明: φn − φ0 是泛函 ξ 的 (P S) 序列.
loc (R )(1 ≤ m < 6)
由于 {φn } ⊂ H 1 (R3 ) 有界, 在 H 1 (R3 ) 中 φn * φ0 , 在 Lm 3
中 φn → φ0 , 在 R3 中 φn 几乎处处收敛到 φ0 , 再根据引理 2.21, 有
|ξ(φn − φ0 ) − ξ(φn ) + ξ(φ0 )| = on (1),

kξ ′ (φn − φ0 ) − ξ ′ (φn ) + ξ ′ (φ0 )k(H 1 (R3 ))∗ = on (1).
又由 (1.13) 和 (4.1), 我们有
ξ(φn − φ0 ) = c − ξ(φ0 ) + on (1),

(4.8)
kξ ′ (φn − φ0 )k(H 1 (R3 ))∗ = on (1),
故 φn − φ0 是泛函 ξ 的 (P S) 序列.
R R
(2) 因为 R3 |φn −φ0 |2 dx ≤ C, 所以存在 φn 的子列, 仍记为 φn , 使得 R3 |φn −
φ0 |2 dx 收敛, 记 Z
δ1 ≜ lim |φn − φ0 |2 dx ≥ 0.
n→+∞ R3
(a) 若 δ1 = 0, 则在 L2 (R3 ) 中 φn − φ0 → 0. 因为 {φn − φ0 } 在 H 1 (R3 ) 中有

界, 所以在 Lq (R3 )(2 ≤ q < 6) 中 φn − φ0 → 0.
下面证明:
kφn − φ0 kH 1 (R3 ) → 0. (4.9)
因为 kξ ′ (φ0 )k(H 1 (R3 ))∗ = 0, 所以我们有

Z
′
0 = hξ (φ0 ), φ0 i = J(φ0 ) = kφ0 k2V + Kϕ0 φ20 dx − kφ0 kpp . (4.10)
R3
59
万方数据
根据 {φn } 在 H 1 (R3 ) 中有界, kξ ′ (φn )k(H 1 (R3 ))∗ → 0, 我们有
|J(φn )| = | hξ ′ (φn ), φn i | ≤ kξ ′ (φn )k(H 1 (R3 ))∗ kφn kH 1 (R3 ) = on (1),
进而有 Z
on (1) = J(φn ) = kφn k2V + Kϕn φ2n dx − kφn kpp . (4.11)
R3
12
因为 {φn } 在 H 1 (R3 ) 中有界, 在 L 5 (R3 ) 中 φn → φ0 , 在 H 1 (R3 ) 中 φn * φ0 , 与
(3.51) 同理可证 Z Z
2
lim Kϕn φn dx = Kϕ0 φ20 dx. (4.12)
n→+∞ R3 R3
因为在 Lp (R3 ) 中 φn → φ0 , 所以
kφn kpp → kφ0 kpp . (4.13)
由 (4.10)-(4.13), 有 kφn k2V → kφ0 k2V . 再根据在 H 1 (R3 ) 中 φn * φ0 , 推得在

H 1 (R3 ) 中 φn → φ0 .
因为 ξ ∈ C 1 (H 1 (R3 ), R), 在 H 1 (R3 ) 中 φn → φ0 , 所以有 ξ(φn ) → ξ(φ0 ). 再
根据 ξ(φn ) → c, 有 ξ(φ0 ) = c > 0, 所以 kφ0 kH 1 (R3 ) 6= 0. 因此, φ0 是方程 (1.11)
的非平凡弱解.
(b) 若 δ1 > 0, 将集中紧原理应用于序列 {|φn − φ0 |2 }, 得到下列两种可能的
情况:
Z
lim sup |φn − φ0 |2 dx = 0;
n→+∞ y∈R3 BR (y)
二分或紧性: 存在 R̄ > 0, 使得
Z
lim sup |φn − φ0 |2 dx > 0.
n→+∞ y∈R3 BR̄ (y)
若发生消失, 因为 {φn } 在 H 1 (R3 ) 中有界, 由消失引理, 在 Lq (R3 )(2 < q < 6)

中 φn − φ0 → 0. 与 δ1 = 0 的情况同理可证, φ0 是方程 (1.11) 的非平凡弱解.
(1)
若发生二分或紧性, 由引理 2.18, 存在点列 {θn } ⊂ R3 , 使得
Z Z
|φn − φ0 | dx = sup
2
|φn − φ0 |2 dx, n = 1, 2, · · · ,
(1)
BR̄ (θn ) y∈R3 BR̄ (y)
所以 Z
lim |φn − φ0 |2 dx > 0.
n→+∞ (1)
BR̄ (θn )
60
万方数据
(1)
下面证明: |θn | → +∞, n → +∞.
(1) (1)
若不然, |θn | 有界, 则存在 R(1) > 0, 使得 BR̄ (θn ) ⊂ BR(1) . 因此, 当 n 充分
大时, 有
Z Z Z
1
|φn − φ0 | dx ≥
2
|φn − φ0 | dx ≥ lim 2
|φn − φ0 |2 dx > 0,
BR (1)
(1)
BR̄ (θn ) 2 n→+∞ (1)
BR̄ (θn )
(1)
这与在 L2loc (R3 ) 中 φn → φ0 矛盾, 故 |θn | → +∞.
(1) (1) (1)
我们对 φn − φ0 进行平移, 记 φn (x) ≜ φn (x + θn ) − φ0 (x + θn ), 则有
Z
lim n | dx > 0.
|φ(1) 2
n→+∞ BR̄
(1) (1)
因为 {φn } 在 H 1 (R3 ) 中有界, 所以 {φn } 在 H 1 (R3 ) 中有界. 因此, 存在 {φn }
(1) (1)
的子列, 仍记为 {φn }, 存在 φ(1) ∈ H 1 (R3 ), 使得: 在 H 1 (R3 ) 中 φn * φ(1) , 在
(1)
loc (R )(1 ≤ m < 6) 中 φn → φ . 因此,
Lm 3 (1)
Z Z
|φ | dx = lim
(1) 2
|φ(1)
n | dx > 0,
2
BR̄ n→+∞ BR̄
从而推得 kφ(1) kH 1 (R3 ) > 0.
由函数 V (x) 的性质, 对 {θn } ⊂ R3 , 存在其子列, 仍记为 {θn }, 存在 Ve1 ∈

(1) (1)
A, 使得
lim sup V (x + θn(1) ) − Ve1 (x) = 0.
n→∞ x∈R3
由引理 2.22 和 (4.8), 我们有
g(Ve1 , φ(1)
n ) = ξ(φn − φ0 ) + on (1) = c − ξ(φ0 ) + on (1),
(4.14)
g ′ (Ve1 , φ(1)
n ) = kξ ′ (φn − φ0 )k(H 1 (R3 ))∗ + on (1) = on (1).
(H 1 (R3 ))∗
(1) (1)
再根据在 H 1 (R3 ) 中 φn * φ(1) , 在 Lm loc (R )(1 ≤ m < 6) 中 φn → φ , 与 (4.1)
3 (1)
同理可证
g ′ (Ve1 , φ(1) ) = 0. (4.15)
(H 1 (R3 ))∗
(1)
下面证明: φn − φ0 − φ(1) (· − θn ) 是泛函 ξ 的 (P S) 序列.
与引理 2.21 同理, 我们有
g(Ve1 , φ(1) e (1) e (1)

n − φ ) − g(V1 , φn ) + g(V1 , φ ) = on (1),
(1)
(4.16)
g ′ (Ve1 , φ(1) (1) ′ e (1) ′ e
n − φ ) − g (V1 , φ n ) + g (V1 , φ )
(1)
= on (1).
(H 1 (R3 ))∗
61
万方数据
由 (4.14)-(4.16), 我们有
g(Ve1 , φ(1) e (1)

n − φ ) = c − ξ(φ0 ) − g(V1 , φ ) + on (1),
(1)
g ′ (Ve1 , φ(1)
n −φ )
(1)
= on (1).
(H 1 (R3 ))∗
再根据引理 2.22, 我们有
ξ(φn − φ0 − φ(1) (x − θn(1) )) = c − ξ(φ0 ) − g(Ve1 , φ(1) ) + on (1),

ξ ′ (φn − φ0 − φ(1) (x − θn(1) )) (H 1 (R3 ))∗
= g ′ (Ve1 , φ(1)
n −φ )
(1)
= on (1),
(H 1 (R3 ))∗
(4.17)
(1)
故 φn − φ0 − φ(1) (· − θn ) 是泛函 ξ 的 (P S) 序列.
R (1) (1)
(3) 因为 R3 |φn −φ0 −φ(1) (x−θn )|2 dx ≤ C, 所以存在 φn −φ0 −φ(1) (x−θn )
R (1)
的子列, 仍记为它本身, 使得 R3 |φn − φ0 − φ(1) (x − θn )|2 dx 收敛, 记
Z
2
δ2 ≜ lim φn − φ0 − φ(1) (x − θn(1) ) dx ≥ 0.
n→+∞ R3
(1)
(a) 若 δ2 = 0, 则在 L2 (R3 ) 中 φn −φ0 −φ(1) (·−θn ) → 0. 因为 {φn −φ0 −φ(1) (·−
(1) (1)
θn )} 在 H 1 (R3 ) 中有界, 所以在 Lq (R3 )(2 ≤ q < 6) 中 φn −φ0 −φ(1) (·−θn ) → 0.
与 (4.9) 同理可证
kφn − φ0 − φ(1) (· − θn(1) )kH 1 (R3 ) → 0. (4.18)
再由 (4.17), 我们有
c = ξ(φ0 ) + g(Ve1 , φ(1) ). (4.19)
(1)
(b) 若 δ2 > 0, 将集中紧原理应用于序列 {|φn − φ0 − φ(1) (· − θn )|2 }, 得到下
列两种可能的情况:
Z
2
lim sup φn − φ0 − φ(1) (x − θn(1) ) dx = 0;
n→+∞ y∈R3 BR (y)
二分或紧性: 存在 R̃ > 0, 使得
Z
2
lim sup φn − φ0 − φ(1) (x − θn(1) ) dx > 0.
n→+∞ y∈R3 BR̃ (y)
(1)
若发生消失, 因为 {φn − φ0 − φ(1) (· − θn )} 在 H 1 (R3 ) 中有界, 由消失引理,
(1)
在 Lq (R3 )(2 < q < 6) 中 φn − φ0 − φ(1) (· − θn ) → 0. 与 δ2 = 0 的情况同理, 有
62
万方数据
(4.18) 和 (4.19) 成立.

(2)
若发生二分或紧性, 由引理 2.18, 存在点列 {θn } ⊂ R3 , 使得
Z
2
lim φn − φ0 − φ(1) (x − θn(1) ) dx
n→+∞ (2)
BR̃ (θn )
Z
2
= lim sup φn − φ0 − φ(1) (x − θn(1) ) dx > 0.
n→+∞ y∈R3 BR̃ (y)
(1) (2)
下面证明: |θn − θn | → +∞, n → +∞.
(1) (2) (1) (2)
若不然, |θn − θn | 有界, 则存在 R(2) > 0, 使得 BR̃ (θn − θn ) ⊂ BR(2) . 因
此, 当 n 充分大时, 有
Z
2
n −φ
φ(1) (1)
dx
BR(2)
Z
2
≥ n −φ
φ(1) (1)
dx
(2) (1)
BR̃ (θn −θn )
Z
2
= φn − φ0 − φ(1) (x − θn(1) ) dx
(2)
BR̃ (θn )
Z
1 2
≥ lim φn − φ0 − φ(1) (x − θn(1) ) dx > 0,
2 n→+∞ (2)
BR̃ (θn )
(1) (1) (2)

这与在 L2loc (R3 ) 中 φn → φ(1) 矛盾, 故 |θn − θn | → +∞.
(2)
下面证明: |θn | → +∞, n → +∞.
(2) (2)
若不然, |θn | 有界, 则存在 R(3) > 0, 使得 BR̃ (θn ) ⊂ BR(3) . 因为在 L2loc (R3 )
中 φn → φ0 , 所以
Z Z
2 2
φn − φ0 − φ (x − (1)
θn(1) ) dx ≤ φn − φ0 − φ(1) (x − θn(1) ) dx
(2)
BR̃ (θn ) BR(3)
Z Z
≤2 |φn − φ0 |2 dx + 2 |φ(1) (x − θn(1) )|2 dx
BR(3) BR(3)
Z
2
=2 φ(1) dx + on (1).
(1)
BR(3) (−θn )
(1)
根据 |θn | → +∞, 由极限的保不等式性, 有
Z
2
0 < lim φn − φ0 − φ(1) (x − θn(1) ) dx
n→+∞ (2)
BR̃ (θn )
Z
2
≤2 lim φ(1) dx = 0,
n→+∞ BR(3) (−θn )
(1)
(2)
矛盾, 故 |θn | → +∞.
63
万方数据
(2) (2) (2) (1) (2)

记 φn (x) ≜ φn (x + θn ) − φ0 (x + θn ) − φ(1) (x − θn + θn ), 则有
Z Z
2 2
lim φ(2)
n dx = lim φn − φ0 − φ(1) (x − θn(1) ) dx > 0.
n→+∞ BR̃ n→+∞ (2)
BR̃ (θn )
(2) (2) (2)

因为 {φn } 在 H 1 (R3 ) 中有界, 所以存在 {φn } 的子列, 仍记为 {φn }, 存在
(2)
φ(2) ∈ H 1 (R3 ), 使得: 在 H 1 (R3 ) 中 φn * φ(2) , 在 Lm loc (R )(1 ≤ m < 6) 中
3
(2)
φn → φ(2) , 进而有 kφ(2) kH 1 (R3 ) > 0.
由函数 V (x) 的性质, 对 {θn } ⊂ R3 , 存在其子列, 仍记为 {θn }, 存在 Ve2 ∈
(2) (2)
A, 使得
lim sup V (x + θn(2) ) − Ve2 (x) = 0.
n→∞ x∈R3
与 (4.14)-(4.17) 的分析同理, 我们有
g ′ (Ve2 , φ(2) ) = 0,
(H 1 (R3 ))∗
ξ(φn − φ0 − φ(1) (x − θn(1) ) − φ(2) (x − θn(2) ))

(4.20)
=c − ξ(φ0 ) − g(Ve1 , φ(1) ) − g(Ve2 , φ(2) ) + on (1),
ξ ′ (φn − φ0 − φ(1) (x − θn(1) ) − φ(2) (x − θn(2) )) (H 1 (R3 ))∗
= on (1).
(4) 由引理 2.23, c0 ≜ inf inf g(Ve , u) > 0, 上述迭代步骤至多进行 m0 ≜

Ve ∈A u∈NVe
[ c−ξ(ϕ
c0
0)
[·] 为取整符号) 次就能结束. 若不然, 假设迭代能进行 m0 + 1 次,
](其中
则存在 m0 + 1 个函数 Vei ∈ A, m0 + 1 个函数 φ(i) ∈ H 1 (R3 )\{0}, 存在 {φn } 的子
(i)
列, 仍记为 {φn }, 存在 m0 + 1 个点列 {θn } ⊂ R3 , 使得
g ′ (Vei , φ(i) ) = 0, i = 1, 2, · · · , m0 + 1,
(H 1 (R3 ))∗
!
X
m 0 +1 X
m 0 +1
ξ φn − φ0 − φ(i) (x − θn(i) ) = c − ξ(φ0 ) − g(Vei , φ(i) ) + on (1),

i=1 i=1
!
X
m 0 +1
ξ ′ φn − φ0 − φ(i) (x − θn(i) ) = on (1).

i=1 (H 1 (R3 ))∗
因为
X
m 0 +1
c − ξ(φ0 )
c − ξ(φ0 ) − g(Vei , φ(i) ) ≤ c − ξ(φ0 ) − + 1 c0 < 0,
i=1
c0
P 0 +1 (i) (i)
所以 φn − φ0 − mi=1 φ (x − θn ) 是泛函 ξ 的水平值为负数的 (P S) 序列, 这与
引理 2.20 (2) 矛盾. 因此, 上述迭代步骤至多进行 m0 次就能结束.
64
万方数据
参考文献
[1] Ackermann N. A nonlinear superposition principle and multibump solutions

of periodic Schrödinger equations[J]. Journal of Functional Analysis, 2006,
234(2): 277-320.
[2] Alves C O, Souto M, Soares S. Schrödinger-Poisson equations without Ambro-
setti-Rabinowitz condition[J]. Journal of Mathematical Analysis and Appli-
cations, 2011, 377(2): 584-592.
[3] Azzollini A, Pomponio A. Ground state solutions for the nonlinear Schrödinger-
Maxwell equations[J]. Journal of Mathematical Analysis and Applications,
2008, 345(1): 90-108.
[4] Benci V, Fortunato D. An eigenvalue problem for the Schrödinger-Maxwell
equations[J]. Topological methods in nonlinear analysis, 1998: 283-293.
[5] Benci V, Fortunato D. Solitary waves of the nonlinear Klein-Gordon equation
coupled with the Maxwell equations[J]. Reviews in Mathematical Physics,
2002, 14(4): 409-420.
[6] Benci V, Fortunato D. Existence of hylomorphic solitary waves in Klein-
Gordon and in Klein-Gordon-Maxwell equations[J]. Rendiconti Lincei-Matem-
atica e Applicazioni, 2009: 243-279.
[7] Brézis H, Lieb E. A relation between pointwise convergence of functions and
convergence of functionals[J]. Proceedings of the American Mathematical
Society, 1983, 88(3): 486-490.
[8] Cao D, Peng S, Yan S. Singularly perturbed methods for nonlinear elliptic
problems[M]. Cambridge: Cambridge University Press, 2021.
[9] Cerami G, Vaira G. Positive solutions for some non-autonomous Schrödinger-
Poisson systems[J]. Journal of Differential Equations, 2010, 248(3): 521-543.
[10] Chen H, Liu S. Standing waves with large frequency for 4-superlinear
Schrödinger–Poisson systems[J]. Annali di Matematica Pura ed Applicata,
2015, 194(1): 43-53.
[11] Coclite G M. A multiplicity result for the linear Schrödinger-Maxwell equa-
tions with negative potential[J]. Annales Polonici Mathematici, 2002, 79(1):
21-30.
[12] Coclite G M, Georgiev V. Solitary waves for Maxwell-Schrödinger equa-
tions[J]. Journal of Differential Equations, 2004: 1-31.
[13] D’Aprile T, Mugnai D. Non-existence results for the coupled Klein-Gordon-
Maxwell equations[J]. Advanced Nonlinear Studies, 2004, 4(3): 307-322.
65
万方数据
[14] D’Aprile T, Mugnai D. Solitary waves for nonlinear Klein-Gordon-Maxwell
and Schrödinger-Maxwell equations[J]. Proceedings of the Royal Society of
Edinburgh Section A: Mathematics, 2004, 134(5): 893-906.
[15] D’Aprile T, Wei J. On bound states concentrating on spheres for the
Maxwell-Schrödinger equation[J]. SIAM Journal on Mathematical Anal-
ysis, 2005: 321-342.
[16] D’Avenia P. Non-radially symmetric solutions of nonlinear Schrödinger
equation coupled with Maxwell equations[J]. Advanced Nonlinear Studies,
2002, 2(2): 177-192.
[17] Evans L C. Partial differential equations[M]. Rhode Island: American Math-
ematical Society, 1998.
[18] He X. Multiplicity and concentration of positive solutions for the Schrödinger-
Poisson equations[J]. Zeitschrift für Angewandte Mathematik und Physik,
2011, 62(5): 869-889.
[19] Ianni I, Vaira G. On concentration of positive bound states for the Schrödinger-
Poisson problem with potentials[J]. Advanced Nonlinear Studies, 2008, 8(3):
573-595.
[20] Lions P L. The concentration compactness principle in the calculus of vari-
ations. The locally compact case, Part 2[J]. Annales de l Institut Henri
Poincare Non Linear Analysis, 1984: 223-283.
[21] Lions P L. The concentration-compactness principle in the calculus of vari-
ations. The locally compact case, Part 1[J]. Annales de l Institut Henri
Poincare Non Linear Analysis, 1984: 109-145.
[22] Long W, Yang J, Yu W. Nodal solutions for fractional Schrödinger-Poisson
problems[J]. 中国科学：数学英文版, 2020, 63(11): 20.
[23] Long W, Xiong Z. Non-radial multipeak positive solutions for the Schrödinger-
Poisson problem[J]. Journal of Mathematical Analysis and Applications,
2017: 680-697.
[24] Moroz V, Schaftingen J V. Groundstates of nonlinear Choquard equations:
existence, qualitative properties and decay asymptotics[J]. Journal of Func-
tional Analysis, 2013, 265(2): 153-184.
[25] Nobrega A B, Alves C O, Yang M. Multi-bump solutions for Choquard
equation with deepening potential well[J]. Calculus of variations and partial
differential equations, 2016.
[26] Pankov A A. Semilinear elliptic equations in Rn with nonstabilizing coeﬀi-
cients[J]. Ukrainian Mathematical Journal, 1989, 41(9): 1075-1078.
66
万方数据
[27] Prenter P M. Splines and variational methods[M]. New Jersey: John Wiley
& Sons, 1989.
[28] Ruiz D, Vaira G. Cluster solutions for the Schrödinger-Poisson-Slater prob-
lem around a local minimum of the potential[J]. Revista Matematica Iberoamer-
icana, 2009, 27(1): 253-271.
[29] Ruiz D. Semiclassical states for coupled Schrödinger-Maxwell equations con-
centration around a sphere[J]. Mathematical Models & Methods in Applied
Sciences, 2005, 15(1): 141-164.
[30] Ruiz D. The Schrödinger-Poisson equation under the effect of a nonlinear
local term[J]. Journal of Functional Analysis, 2006, 237(2): 655-674.
[31] Shillor M, Sofonea M, Telega J J. Models and analysis of quasistatic contact:
variational methods[M]. Berlin: Springer-Verlag Berlin Heidelberg, 2004.
[32] Siciliano G. Multiple positive solutions for a Schrödinger-Poisson-Slater
system[J]. Journal of mathematical analysis and applications, 2010, 365(1):
288-299.
[33] Struwe M. Variational methods: applications to nonlinear partial differential
equations and hamiltonian systems[M]. second version. Berlin: Springer
Berlin Heidelberg, 2000.
[34] Sun J, Ma S. Ground state solutions for some Schrödinger-Poisson systems
with periodic potentials[J]. Journal of Differential Equations, 2016, 260(3):
2119-2149.
[35] Wang J, Tian L, Xu J, Zhang F. Existence and concentration of positive
solutions for semilinear Schrödinger-Poisson systems in R3 [J]. Calc. Var.
Partial Differential Equations, 2013: 243-273.
[36] Willem M. Minimax Theorems[M]. Boston: Birkhäuser Basel, 1996.
[37] Zhao L, Zhao F. On the existence of solutions for the Schrödinger-Poisson
equations[J]. Journal of Mathematical Analysis and Applications, 2008,
346(1): 155-169.
[38] Zhao L, Zhao F. Positive solutions for Schrödinger-Poisson equations with a
critical exponent[J]. Nonlinear Analysis: Theory, Methods & Applications,
2009: 2150-2164.
[39] 郭大钧. 非线性泛函分析[M]. 济南: 山东科学技术出版社, 2001.
[40] 华东师范大学数学系. 数学分析 (上册)[M]. 第 4 版. 北京: 高等教育出版
社, 2010.
67
万方数据
[41] 刘志苏. 薛定谔泊松方程与基尔霍夫方程解的存在性研究[D]. 博士学位论
文. 湖南: 湖南大学, 2015.
[42] 陆文端. 微分方程中的变分方法 (修订版)[M]. 北京: 科学出版社, 2000.
[43] 伍卓群, 尹景学, 王春朋. 椭圆与抛物型方程引论[M]. 北京: 科学出版社,
2003.
[44] 熊志伟. 薛定谔-泊松方程的非径向对称的多峰正解[D]. 硕士学位论文. 江
西: 江西师范大学, 2019.
68
万方数据
致谢
时光荏苒, 三年的硕士研究生学习生活即将结束. 值此毕业论文完成之际,

我要向在学习和生活上帮助过我的老师们、同学们、家人们表达感谢.
首先, 我要向我尊敬的导师龙薇教授表达衷心的感谢. 在这三年间, 龙老师
指导我学习相关课程, 教会我如何读书、读论文, 教会我如何发现问题. 在龙老
师的悉心指导下, 我完成了硕士学位论文. 本论文从确定选题、开题报告、论证
结果、修改完善到最后定稿, 龙老师都投入入了大量的时间和精力. 在讨论班上,
龙老师循循善诱, 教会我们在学习中既要算清楚每一个细节也要从宏观上看清思
路. 龙老师不仅传授给我们知识, 还传授给我们为人处事的道理. 龙老师严谨的
科研态度, 精益求精的工作作风, 一直感染并激励着我, 必将使我终身受益. 再次
感谢龙老师, 感谢您这些年的栽培和教导.
同时, 我也要感谢李本鸟老师. 在三年的研究生时光中, 李老师耐心地解答
我在学习中遇到的问题. 在论文修改过程中, 李老师提出了许多宝贵的意见, 让
我受益匪浅.
感谢江西师范大学数学与统计学院的各位领导与老师的关心与帮助, 特别是
感谢杨健夫老师、丁惠生老师、王泽佳老师、宋慧娟老师、陈琳老师, 感谢各位
老师在学习方面为我指点迷津.
感谢何宇珂学长, 不厌其烦地为我答疑解惑. 感谢陈叶君学长和邓金学姐在
学习上给予我帮助. 感谢我的学习伙伴们, 特别是钟兰同学、胡萌萌学妹、郑滨
红学姐、徐子怡同学、刘范琴同学, 和你们一起学习讨论, 一起进步, 过得十分充
实, 感谢你们一直以来对我的鼓励与帮助.
感谢我的室友们: 程预敏同学、石建军同学、程伟同学, 感谢你们在生活中
给予我帮助.
感谢我的家人们, 没有你们的辛苦付出, 我不会有如今的学习机会, 感谢你
们一直以来对我的关爱、鼓励与支持.
最后, 向在百忙之中抽出时间对本文进行评审并提出宝贵意见的各位专家表
示衷心的感谢!
叶江华
2022 年 6 月
69
万方数据
70
万方数据
在读期间公开发表论文 (著) 及科研情况
[1] Ding H, Li B, Ye J. Existence of multi-bump solutions for the Schrödinger-

Poisson system[J]. Journal of Mathematical Analysis and Applications, 2021:
125340.
71
万方数据

带有非稳定位势的薛定谔 泊松方程解的存在性

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

带有非稳定位势的薛定谔 泊松方程解的存在性

Uploaded by

Copyright:

Available Formats

分 类 号: O175 密 级: 无

学校代码: 10414 学 号: 202040100032

Existence of Solution for Schrödinger-Possion

院 所：数学与统计学院 导师姓名：龙薇 李本鸟

非平凡弱解的存在性, 其中 4 < p < 6, 函数 V (x) 为非稳定函数. 全文分为四章.

关键词: Schrödinger-Possion 方程; 非稳定位势; 变分法; 集中紧原理; 全局

In this thesis, we mainly use variational methods to study the existence of

Keywords: Schrödinger-Possion equation; Nonstabilizing potential; Varia-

在读期间公开发表论文 (著) 及科研情况 . . . . . . . . . . . . . . . . . . . 71

在本文中, 我们主要研究带有非稳定位势的 Schrödinger-Possion 方程非平

本文主要运用变分法探究 Schrödinger-Possion 方程非平凡弱解的存在性.

来描述单个粒子的运动规律, 其中 i 表示虚数单位, h 表示 Planck 常数, m > 0

如果考虑粒子运动过程中有电场产生时, 我们需要引入一个扰动项 K̄, 其满足方

则上述 Schrödinger 方程变成 Schrödinger-Possion 方程

我们去寻找该方程具有时空分离的驻波解, 即: Ψ(x, t) = u(x)e−

述方程, 可得稳态 Schrödinger-Possion 方程

其中 V (x) = Q(x) − E, f¯(e− h u) = e−

其中 ω ∈ R, 他们证明了: 若 (u, K, ω) 是方程 (1.1) 的解使得 u, K 是径向对称

∆K(x) = 4πu2 , x ∈ R3 , (1.2)

其中 a 表示原子核中的质子数, N 表示电子数. 他们证明了存在负实数列 {ωn }

其中 ω ∈ R, V (x) 是正的径向对称函数, 且满足: V (x) 在 R3 \{0} 上连续; V (x) ∈

其中 ω > 0, 4 ≤ p < 6. 他们在 Hr1 (R3 ) 中运用山路引理证明了方程 (1.4) 至

少存在一个非平凡的径向对称解 (u, K) ⊂ H 1 (R3 ) × D1,2 (R3 ). 在文献 [13] 中,

当 3 < p < 4 时, 方程 (1.5) 所对应的能量泛函是否满足 (PS) 条件尚不清

其中 V (x) : R3 → R 是可测函数, 且满足: V∞ ≜ lim V (y) ≥ V (x), a.e.R3 ,

他们运用 (PS) 序列的全局紧引理证明了方程 (1.6) 存在一个基态解.

其中 V : R3 → R 是有界的局部 Hölder 连续函数, 且满足:

|f (s)| ≤ C(s + sp−1 ), s ∈ R+ ;

(f15 ) 当 s > 0 时, Fs(s)

解的存在性、多解性以及集中性, 我们可以查阅文献 [15, 18-19, 22-23, 28-29, 35,

其中 4 < p < 6, 函数 V (x) 满足下列条件:

lim sup V (x + yn ) − V h (x) = 0.

我们把函数 V h 对应的指标 h 构成的集合记为 H, 即: H = {h}.

众所周知, 方程 (1.10) 可以简化为带有非局部项的 Schrödinger 方程 (见文

将 Ku 代入方程 (1.10), 得到方程

− ∆u + V (x)u + Ku u = |u|p−2 u. (1.11)

我们运用变分法探究方程 (1.11), 定义方程 (1.11) 所对应的能量泛函

因此, 如果 u ∈ H 1 (R3 ) 是泛函 ξ 的临界点, 则 (u, Ku ) 是方程 (1.10) 的解.

N ≜ {u ∈ H 1 (R3 )\{0}/J(u) = 0},

我们在 2.2 节证明了: 若 I 极小可达, 则其极小达到函数是方程 (1.11) 的非平凡

对应的 Nehari 流形为

N h ≜ {u ∈ H 1 (R3 )\{0}/J h (u) = 0},

由于 V (x) 是非稳定函数, 故方程 (1.11) 的极限方程不是一个方程, 而是一

族方程. 因此, 如何刻画原方程与极限方程的能量之间的关系, 并且利用该关系

定理 1.1 若函数 V (x) 满足 (V 1) − (V 3), 则存在 h ∈ H, 使得方程 (1.12)

特别地, 当 V (x) 是连续的周期函数时, 我们得到如下解的存在性结果:

推论 1.2 若 V (x) 是连续的周期函数, 则方程组 (1.10) 有非平凡弱解.

对于 V (x) 是连续的周期函数的情况, 不同于文献 [34, 37] 中的方法, 我们将

对任意 Ve ∈ A ≜ {Ve ∈ C(R3 )/V0 ≤ Ve (x) ≤ V1 , x ∈ R3 }, 定义泛函

注意到 g(V, u) = ξ(u).

定理 1.3 (全局紧引理) 设 {φn } ⊂ H 1 (R3 ) 是泛函 ξ 的水平值为 c 的 (P S)

(i) |θn(i) | → +∞, |θn(i) − θn(j) | → +∞, i 6= j, n → +∞;

(iv) kξ ′ (φ0 )k(H 1 (R3 ))∗ = 0;

在第三章, 我们给出了定理 1.1 和推论 1.2 的证明. 在第四章, 我们给出了定

定义 2.1 定义 S 为 D1,2 (R3 ) ,→ L6 (R3 ) 的最佳嵌入常数, 即:

以下命题给出了算子 T : Lq (Ω) → Lr (Ω) : u 7→ f (x, u) 的连续性.

命题 2.2 (见文献 [36] 定理 A.2) 假设 Ω 是 RN 的开子集, |Ω| < ∞, 1 ≤

那么, 对任意 u ∈ Lq (Ω), 有 f (·, u) ∈ Lr (Ω) 且算子

T : Lq (Ω) → Lr (Ω) : u 7→ f (x, u)

定义 2.3 (见文献 [36] 定义 A.3) 假设 Ω 是 RN 的开子集, 定义空间 Lt (Ω) ∩

定义空间 Lt (Ω) + Lq (Ω) 的范数

|u|t∧q ≜ inf{kvkLt (Ω) + kwkLq (Ω) : v ∈ Lt (Ω), w ∈ Lq (Ω), u = v + w}.

命题 2.4 (见文献 [36] 定理 A.4) 假设 Ω 是 RN 的开子集, 1 ≤ t, q, r, s <

带有非稳定位势的薛定谔泊松方程解的存在性

带有非稳定位势的薛定谔泊松方程解的存在性

分类号: O175 密级: 无

学校代码: 10414 学号: 202040100032

院所：数学与统计学院导师姓名：龙薇李本鸟

证明该定理由命题 2.4, 引理 2.5 和 Fubini 定理易证.

证明由引理 2.5(7), Sobolev 不等式和 k · kV 是 H 1 (R3 ) 的等价范数, 有

证明对任意 u ∈ N , 根据 (2.1) 和 (2.2), 我们有

证明任意 u ∈ H 1 (R3 )\{0}, 令 j1 (t) = J(tu), t ∈ [0, +∞). 因为 J ∈