设为首页
加入收藏
期刊导航
网站地图
首页
期刊
数学与物理
地球与环境
信息通讯
经济与管理
生命科学
工程技术
医药卫生
人文社科
化学与材料
会议
合作
新闻
我们
招聘
千人智库
我要投稿
办刊
期刊菜单
●领域
●编委
●投稿须知
●最新文章
●检索
●投稿
文章导航
●Abstract
●Full-Text PDF
●Full-Text HTML
●Full-Text ePUB
●Linked References
●How to Cite this Article
OperationsResearchandFuzziology
运
筹
与
模
糊
学
,2022,12(2),429-443
PublishedOnlineMay2022inHans.http://www.hanspub.org/journal/orf
https://doi.org/10.12677/orf.2022.122045
一
类
𝐾𝑖𝑟𝑐ℎℎ𝑜𝑓𝑓
−
𝐶ℎ𝑜𝑞𝑢𝑎𝑟𝑑
方
程
基
态
解
的
存
在
性
张张张
凯凯凯
月月月
,,,
罗罗罗
贤贤贤
兵兵兵
贵
州
大
学
,
数
学
与
统
计
学
院
,
贵
州
贵
阳
收
稿
日
期
:
2022
年
4
月
20
日
;
录
用
日
期
:
2022
年
5
月
18
日
;
发
布
日
期
:
2022
年
5
月
26
日
摘
要
本
文
研
究
一
类
带
有
势
函
数
对
数
非
线
性
项
的
𝐾𝑖𝑟𝑐ℎℎ𝑜𝑓𝑓
−
𝐶ℎ𝑜𝑞𝑢𝑎𝑟𝑑
方
程
基
态
解
的
存
在
性
,
通
过
𝐸𝑘𝑒𝑙𝑎𝑛𝑑
变
分方法
,
对
数
𝑆𝑜𝑏𝑜𝑙𝑒𝑣
不
等
式
,
𝐻𝑎𝑟𝑑𝑦
−
𝐿𝑖𝑡𝑡𝑙𝑒𝑤𝑜𝑜𝑑
−
𝑆𝑜𝑏𝑜𝑙𝑒𝑣
不
等
式
以
及
对对
数
非
线项
的
技
巧
性
处
理
,
得到
𝛼
∈
(0
,
3)
,
𝛼
= 0
以
及
带
有
非
线
性
扰
动
项
等
三
种
情
况
下
𝐾𝑖𝑟𝑐ℎℎ𝑜𝑓𝑓
−
𝐶ℎ𝑜𝑞𝑢𝑎𝑟𝑑
方
程
存
在
基
态
解
的
结
论
。
关
键
词
𝐾𝑖𝑟𝑐ℎℎ𝑜𝑓𝑓
−
𝐶ℎ𝑜𝑞𝑢𝑎𝑟𝑑
方
程
,
𝐸𝑘𝑒𝑙𝑎𝑛𝑑
变
分方法
,
对
数
𝑆𝑜𝑏𝑜𝑙𝑒𝑣
不
等
式
,
𝐻𝑎𝑟𝑑𝑦
−
𝐿𝑖𝑡𝑡𝑙𝑒𝑤𝑜𝑜𝑑
−
𝑆𝑜𝑏𝑜𝑙𝑒𝑣
不
等
式
,
基
态
解
ExistenceofGroundstatesfora
ClassofKirchhoff-Choquard
Equations
KaiyueZhang,XianbingLuo
SchoolofMathematicsandStatistics,GuizhouUniversity,GuiyangGuizhou
Received:Apr.20
𝑡ℎ
,2022;accepted:May18
𝑡ℎ
,2022;published:May26
𝑡ℎ
,2022
文
章
引
用
:
张
凯
月
,
罗
贤
兵
.
一
类
𝐾𝑖𝑟 𝑐ℎℎ𝑜𝑓𝑓
−
𝐶ℎ𝑜𝑞𝑢𝑎𝑟𝑑
方
程
基
态
解
的
存
在
性
[J].
运
筹
与
模
糊
学
,2022,12(2):
429-443.DOI:10.12677/orf.2022.122045
张
凯
月
,
罗
贤
兵
Abstract
Inthispaper,weconsidertheexistenceofgroundstatesolutionsforaclassof
Kirchhoff-Choquard equations with logarithmic nonlinearterms of potential functions
byEkelandvariational methodlogarithmicSobolevinequality andHardy-Littlewood-
Sobolevinequality.ItisconcludedthattheKirchhoff-Choquardequationhasground
statesolutionsin
𝛼
∈
(0
,
3)
,
𝛼
= 0
andwithnonlinearperturbationterm.
Keywords
Kirchhoff-ChoquardEquation,EkelandVariationalMethod,LogarithmicSobolev
Inequality,Hardy-Littlewood-SobolevInequality,GroundStateSolution
Copyright
c
○
2022byauthor(s)andHansPublishersInc.
This work is licensed undertheCreative Commons Attribution International License (CCBY4.0).
http://creativecommons.org/licenses/by/4.0/
1.
引
言
本
文
主
要
研
究
下
列
Kirchhoff-Choquard
方
程
基
态
解
的
存
在
性
问
题
(1):
⎧
⎨
⎩
−
(
𝑎
+
𝑏
Ω
|▽
𝑢
|
2
)∆
𝑢
+
𝑉
(
𝑥
)
𝑢
= (
𝐼
𝛼
*|
𝑢
|
𝑝
)
|
𝑢
|
𝑝
−
2
𝑢
+
𝐻
(
𝑥
)
𝑢
log
|
𝑢
|
,𝑥
∈
Ω
,
𝑢
= 0
,𝑥
∈
𝜕
Ω
,
(1)
其
中
Ω
⊂
R
3
是
有
界
光
滑
区
域
,
𝑝
∈
(2
,
3+
𝛼
)
,𝛼
∈
(0
,
3)
,𝑎,𝑏>
0,
𝑉,𝐻
是势
函
数
.
作
为
偏
微
分方
程
中
的
一
类
经
典的
方
程
,
𝐾𝑖𝑟𝑐ℎℎ𝑜𝑓𝑓
型
方
程
有
着
深
厚
的
物
理
背
景
,
如
弹
性
力
学
,
人
口
动
力
学
等
方
面
.
近
些
年
,
关
于
𝐾𝑖𝑟𝑐ℎℎ𝑜𝑓𝑓
型
方
程
已
取
得
丰
富
的
成
果
.
可
参
看
文
献
[1–5].
在
方
程
中
,
当
𝑏
=0
且
无
对
数
非
线
性
项
时
,
上
述
方
程
简
化
为
𝐶ℎ𝑜𝑞𝑢𝑎𝑟𝑑
−
𝑃𝑒𝑘𝑎𝑟
方
程
,
用于
描
述
极
化
子
的
一
种
量
子
理
论
模
型
.
自
提
出
以
后
,
越
来
越
多的
学
者
对
𝐶ℎ𝑜𝑞𝑢𝑎𝑟𝑑
方
程
感
兴
趣
并
且
在
数
学
方
面
已
取
得
丰
富
的
成
果
.
在
文
献
[6]
中
,
作
者
研
究
了
一
类
带
有
𝐻𝑎𝑟𝑡𝑟𝑒𝑒
型
非
线
性
的
𝐾𝑖𝑟𝑐ℎℎ𝑜𝑓𝑓
型
系
统
非
平
凡
非
负
基
态
解
的
存
在
性
和
集
中
性
.
文
献
[7]
考
虑了
带
有
不
定
势
和
临
界
指
数
增
长
的
𝐶ℎ𝑜𝑞𝑢𝑎𝑟𝑑
方
程
.
关
于
更
多
𝐶ℎ𝑜𝑞𝑢𝑎𝑟𝑑
解
的
性
质
,
可
参
看
文
献
[8–15].
DOI:10.12677/orf.2022.122045430
运
筹
与
模
糊
学
张
凯
月
,
罗
贤
兵
基
于
以
上
文
献
,
我
们
研
究
了
一
类
带
变
号
势
和
势
函
数
对
数
非
线
性
项
𝐾𝑖𝑟𝑐ℎℎ𝑜𝑓𝑓
−
𝐶ℎ𝑜𝑞𝑢𝑎𝑟𝑑
方
程
基
态
解
的
存
在
性
,
也
就
是
问
题
(1)
基
态
解
的
存
在
性
.
假
设
问
题
(1)
中
势
函
数
𝑉
,
𝐻
满
足
:
(
𝑉
):
𝑉
∈
𝐿
3
/
2
(Ω)
和
|
𝑉
−
|
3
/
2
<𝑆
,
其
中
𝑉
+
= max
{
𝑉,
0
}
,𝑉
−
= min
{
𝑉,
0
}
和
𝑆
= inf
𝑢
∈
𝐻
1
0
(Ω)
∖{
0
}
‖
𝑢
‖
2
𝐻
1
0
/
|
𝑢
|
2
6
;
(
𝐻
):
𝐻
∈
𝐶
(Ω)
,𝜇
:= inf
Ω
𝐻>
0
,𝑀
:= max
Ω
𝐻
,
满
足
𝑀
6
2
𝜋
(1
−
𝑆
−
1
|
𝑉
−
|
3
/
2
)
/𝑒
−
8
|
Ω
|
1
/
2
+2
.
我
们
有
以
下
结
论
.
定
理
1
假
设
条
件
(
𝑉
)
,
(
𝐻
)
成
立
,
则
问
题
(1)
存
在
基
态
解
.
当
𝛼
= 0
时
,
则
问
题
(1)
转
化
为
下
列
的
方
程
:
问
题
(2):
⎧
⎪
⎪
⎨
⎪
⎪
⎩
−
(
𝑎
+
𝑏
Ω
|▽
𝑢
|
2
)∆
𝑢
+
𝑉
(
𝑥
)
𝑢
=
|
𝑢
|
2
𝑝
−
2
𝑢
+
𝐻
(
𝑥
)
𝑢
log
|
𝑢
|
,𝑥
∈
Ω
,
𝑢
= 0
,𝑥
∈
𝜕
Ω
.
(2)
定
理
2
在
定
理
1
的
条
件
下
,
问
题
(2)
存
在
基
态
解
.
基
于
定
理
1,
定
理
2,
考
虑
下
列
带
有
𝐻𝑎𝑡𝑟𝑒𝑒
多
项
式
和
对
数
非
线
性
项
的
问
题
.
问
题
(3):
⎧
⎪
⎪
⎪
⎪
⎪
⎪
⎪
⎨
⎪
⎪
⎪
⎪
⎪
⎪
⎪
⎩
−
(
𝑎
+
𝑏
Ω
|▽
𝑢
|
2
)∆
𝑢
+
𝑉
(
𝑥
)
𝑢
=
𝜑
(
𝑥
)
𝑢
+
𝐻
(
𝑥
)
𝑢
log
|
𝑢
|
+
𝑓
(
𝑥,𝑢
)
,𝑥
∈
Ω
,
−△
𝜑
=
𝑢
2
,𝑥
∈
Ω
,
𝑢
=
𝜑
= 0
,𝑥
∈
𝜕
Ω
,
(3)
其
中
非
线
性
项
𝑓
满
足
如
下
条
件
𝐻
(
𝑓
):
(
𝑓
1
)
𝑓
∈
𝐶
(
¯
Ω
×
R
)
且
存
在
𝐶>
0
,𝑞
∈
(2
,
2
*
),2
*
=
2
𝑁
𝑁
−
2
指
的
是
𝑆𝑜𝑏𝑜𝑙𝑒𝑣
临
界
指
数
,
使
得
|
𝑓
(
𝑥,𝑡
)
|≤
𝐶
(1+
|
𝑡
|
𝑞
−
1
)
,
(
𝑥,𝑡
)
∈
¯
Ω
×
R
;
(
𝑓
2
)
𝑙𝑖𝑚𝑠𝑢𝑝
𝑡
→
0
𝑓
(
𝑥,𝑡
)
/𝑡
=
𝑓
0
对
𝑥
∈
Ω
一
致
成
立
;
(
𝑓
3
)
存
在
𝛽>
4
,𝑅>
0,
使
得
0
<𝛽𝐹
(
𝑥,𝑡
)
≤
𝑡𝑓
(
𝑥,𝑡
)
,𝑥
∈
¯
Ω
,
|
𝑡
|≥
𝑅,
其
中
𝐹
(
𝑥,𝑡
) =
𝑡
0
𝑓
(
𝑥,𝑠
)
𝑑𝑠,
(
𝑥,𝑡
)
∈
¯
Ω
×
R
.
DOI:10.12677/orf.2022.122045431
运
筹
与
模
糊
学
张
凯
月
,
罗
贤
兵
针
对
问
题
(3)
有
以
下
结
论
.
定
理
3
假
设
条
件
(
𝑉
)
,
(
𝐻
)
,𝐻
(
𝑓
)
成
立
,
则
问
题
(3)
存
在
基
态
解
.
接
下
来
,
我
们
简
要
的
介
绍
本
文
的
创
新
:
1)
据
我
们
所
知
带
有
变
号
势
函
数
和
对
数
非
线
性
项
的
𝐾𝑖𝑟𝑐ℎ𝑜𝑓𝑓
−
𝐶ℎ𝑜𝑞𝑢𝑎𝑟𝑑
方
程
基
态
解
的
存
在
性
目
前
没
有
研
究
过
.
2)
对
数
非
线
性
项
不
同
于
一
般
的多
项
式
.
由于
对
数
非
线
性
项
不
满
足
单
调
性
条
件
和
𝐴𝑅
条
件
,
导
致
对
数
非
线
性
项
比
一
般
的多
项
式
更
加
复
杂
.
3)
由于
势
函
数
𝑉
是
变
号
的
,
我
们
需
要
技
巧
性
的
处
理
𝐻𝑎𝑡𝑟𝑒𝑒
非
线
性
项
和
对
数
非
线
性
项
.
4)
本
文
通
过
渐
近
行
为
考
虑了
带
有
多
项
式
和
对
数
非
线
性
的
𝐾𝑖𝑟𝑐ℎℎ𝑜𝑓𝑓
方
程
解
的
存
在
性
.
值
得
注
意
的
是
:
我
们
采
用
问
题
(1)
的
证
明
方法
去
证
明
问
题
(2)
的
基
态
解
的
存
在
性
.
5)
基
于
𝐻𝑎𝑡𝑟𝑒𝑒
非
线
性
项
,
我
们
研
究
了
𝑝
=2
的
情
形
也
就
是
𝑃𝑜𝑠𝑠𝑖𝑜𝑛
项
,
由于
能
量
泛
函
的
最
高
次
数
是
4,
导
致
不
满
足
山
路
结
构
.
为
了
克
服
困
难
,
我
们
需
要
加
扰
动
项
𝑓
.
接
下
来
,
我
们
简
单
的
介
绍
一
下
本
文
的
结
构
.
第
二
部
分
,
给
出
本
文
所
需
的
一
些
定
义
和
命
题
.
第
三
部
分
,
主
要
证
明
定
理
1
通
过
扰
动的
方法
和
满
足
山
路
结
构和
(
𝑃𝑆
)
条
件
.
第
四
部
分
,
讨
论了
带
有
多
项
式
对
数
非
线
性
项
基
态
解
的
存
在
性
.
最
后
一
部
分
主
要
证
明
定
理
带
有
扰
动
非
线
性
𝑓
的
𝐾𝑖𝑟𝑐ℎℎ𝑜𝑓𝑓
−
𝑃𝑜𝑠𝑠𝑖𝑜𝑛
方
程
基
态
解
的
存
在
性
.
2.
准
备
工
作
设
𝐻
1
0
(Ω)
是
通
常
的
𝑆𝑜𝑏𝑜𝑙𝑒𝑣
空
间
,
其
范
数是
||
𝑢
||
𝐻
1
0
=
Ω
|∇
𝑢
|
2
+
𝑢
2
1
/
2
,𝑢
∈
𝐻
1
0
(Ω)
.
根
据
𝑉
的
条
件
,
定
义
范
数
:
||
𝑢
||
=
Ω
(
|∇
𝑢
|
2
+
𝑉𝑢
2
)
1
/
2
,𝑢
∈
𝐻
1
0
(Ω)
.
则
||·||
与
||·||
𝐻
1
0
是
等
价
的
.
对
任
意
的
𝑝
∈
[1
,
+
∞
),
𝐿
𝑝
(Ω)
是
通
常
的
𝐿𝑒𝑏𝑒𝑠𝑔𝑢𝑒
空
间
,
其
标
准
范
数
为
|
𝑢
|
𝑝
=
Ω
|
𝑢
|
𝑝
1
/𝑝
,𝑢
∈
𝐿
𝑝
(Ω)
.
用
|·|
表
示
𝐿𝑒𝑏𝑒𝑠𝑔𝑢𝑒
测
度
,
𝑜
𝑛
(1)
表
示
无
穷
小
量
.
根
据
文
献
[16–19],
我
们
有
下
面
的对
数
𝑆𝑜𝑏𝑜𝑙𝑒𝑣
不
等
式
.
命
题
1
(
对
数
𝑆𝑜𝑏𝑜𝑙𝑒𝑣
不
等
式
)
设
𝛼>
0,
则
对
于
所
有
的
𝑢
∈
𝐻
1
(
R
3
)
∖{
0
}
,
有
2
R
3
𝑢
2
log
|
𝑢
|
|
𝑢
|
2
+3(1+log
𝑎
)
|
𝑢
|
2
2
≤
𝑎
2
𝜋
R
3
|∇
𝑢
|
2
.
DOI:10.12677/orf.2022.122045432
运
筹
与
模
糊
学
张
凯
月
,
罗
贤
兵
对
于
所
有
的
𝑢
∈
𝐻
1
0
(Ω)
∖{
0
}
,
当
𝑥
∈
R
3
∖
Ω
时
,
定
义
𝑢
(
𝑥
) = 0,
根
据
命
题
1,
有
Ω
|
𝑢
2
|
log
|
𝑢
|
|
𝑢
|
2
≤
𝑎
2
2
𝜋
Ω
|∇
𝑢
|
2
−
3
2
(1+log
𝑎
)
|
𝑢
|
2
2
.
命
题
2
(
𝐻𝑎𝑟𝑑𝑦
−
𝐿𝑖𝑡𝑡𝑙𝑒𝑤𝑜𝑜𝑑
−
𝑆𝑜𝑏𝑜𝑙𝑒𝑣
不
等
式
)
设
𝑠,𝑡>
1
,𝛼
∈
(0
,
3)
且
1
/𝑠
+1
/𝑟
=1+
𝛼/
3
.
存
在
常
数
𝐶
(
𝛼,𝑠,𝑟
)
>
0
使
得对
任
意
𝑔
∈
𝐿
𝑠
(Ω)
和
ℎ
∈
𝐿
𝑟
(Ω),
有
Ω
Ω
𝑔
(
𝑥
)
ℎ
(
𝑦
)
|
𝑥
−
𝑦
|
3
−
𝛼
d
𝑥
d
𝑦
6
𝐶
(
𝛼,𝑠,𝑟
)
|
𝑔
|
𝑠
|
ℎ
|
𝑟
.
根
据
𝐻𝑎𝑟𝑑𝑦
−
𝐿𝑖𝑡𝑡𝑙𝑒𝑤𝑜𝑜𝑑
−
𝑆𝑜𝑏𝑜𝑙𝑒𝑣
不
等
式
,
有
Ω
(
𝐼
𝛼
*|
𝑢
|
𝑝
)
|
𝑢
|
𝑝
d
𝑥
6
𝐶
1
|
𝑢
|
2
𝑝
𝑝𝑟
,
其
中
𝑟
= 6
/
(3+
𝛼
).
关
于
更
多
𝐻𝑎𝑟𝑑𝑦
−
𝐿𝑖𝑡𝑡𝑙𝑒𝑤𝑜𝑜𝑑
−
𝑆𝑜𝑏𝑜𝑙𝑒𝑣
不
等
式
,
可
参
看
文
献
[11–14].
为
了
完
成
定
理
1
的
证
明
,
我
们
需
要
给
出
下
列
重
要
的
命
题
.
命
题
3
定
义
下
列
的
能
量
泛
函
族
{
𝐽
𝜆
}
𝜆
∈
Λ
⊂
𝐶
1
(
𝐻
1
0
(Ω)
,
R
),
𝐽
𝜆
(
𝑢
) =
𝐴
(
𝑢
)
−
𝜆𝐵
(
𝑢
)
,𝑢
∈
𝐻
1
0
(Ω)
,𝜆
∈
Λ
,
其
中
𝐵
(
𝑢
)
≥
0
,𝑢
∈
𝐻
1
0
(Ω)
和
𝜆
∈
[
𝛿,
1]
,𝛿
∈
(0
,
1),
而
且
lim
‖
𝑢
‖→∞
𝐴
(
𝑢
) =
∞
,
或
者
lim
‖
𝑢
‖→∞
𝐵
(
𝑢
) =
∞
.
对
所
有
的
𝜆
∈
Λ,
令
Γ
𝜆
=
{
𝛾
∈
𝐶
([0
,
1]
,𝐻
1
0
(Ω)) :
𝛾
(0) = 0
,𝐽
𝜆
(
𝛾
(1))
<
0
}
.
(4)
如
果
对
每
一
个
𝜆
∈
Λ, Γ
𝜆
非
空
,
并
且
都
有
𝑐
𝜆
=inf
𝛾
∈
Γ
𝜆
max
𝑡
∈
[0
,
1]
𝐽
𝜆
(
𝛾
(
𝑡
))
>
0
,
那
么
,
对
几
乎
处处
的
每
一
个
𝜆
∈
[
𝛿,
1],
存
在
序
列
{
𝑢
𝑛
}⊂
𝐻
1
0
(Ω),
使
得
(i)
{
𝑢
𝑛
}
在
𝐻
1
0
(Ω)
中
是
有
界
的
;
(ii)
𝐽
𝜆
(
𝑢
𝑛
)
→
𝑐
𝜆
;
(iii)
在
𝐻
1
0
(Ω)
中
,
𝐽
′
𝜆
(
𝑢
𝑛
)
→
0.
DOI:10.12677/orf.2022.122045433
运
筹
与
模
糊
学
张
凯
月
,
罗
贤
兵
3.
主
要
结
果
的
证
明
根
据
命
题
3,
定
义
下
面
的
能
量
泛
函
族
:
𝐴
(
𝑢
) =
1
2
Ω
(
𝑎
|∇
𝑢
|
2
+
𝑉𝑢
2
)+
𝑏
4
||
𝑢
||
4
−
1
2
Ω
𝐻𝑢
2
log
|
𝑢
|
+
1
4
Ω
𝐻𝑢
2
,
显
然
,lim
‖
𝑢
‖→∞
𝐴
(
𝑢
) =
∞
和
𝐵
(
𝑢
) =
1
2
𝑝
Ω
(
𝐼
𝛼
*|
𝑢
|
𝑝
)
|
𝑢
|
𝑝
d
𝑥,𝐵
(
𝑢
)
>
0
.
有
𝐽
𝜆
(
𝑢
)=
1
2
Ω
(
𝑎
|∇
𝑢
|
2
+
𝑉𝑢
2
)+
𝑏
4
||
𝑢
||
4
−
1
2
Ω
𝐻𝑢
2
𝑙𝑛
|
𝑢
|
+
1
4
Ω
𝐻𝑢
2
−
𝜆
1
2
𝑝
Ω
(
𝐼
𝛼
*|
𝑢
|
𝑝
)
|
𝑢
|
𝑝
d
𝑥, 𝑢
∈
𝐻
1
0
(Ω)
.
则
𝐽
𝜆
∈
𝐶
1
(
𝐻
1
0
(Ω)
,
R
)
且
⟨
𝐽
′
𝜆
(
𝑢
)
,𝑣
⟩
=
Ω
(
𝑎
∇
𝑢
·∇
𝑣
+
𝑉𝑢𝑣
)+
𝑏
||
𝑢
||
2
Ω
(
𝑢,𝑣
)
−
Ω
𝐻𝑢𝑣
log
|
𝑢
|
−
𝜆
Ω
(
𝐼
𝛼
*|
𝑢
|
𝑝
)
|
𝑢
|
𝑝
−
2
𝑢𝑣
d
𝑥, 𝑢,𝑣
∈
𝐻
1
0
(Ω)
.
接
下
来
,
我
们
给
出
四
个
重
要
的
引
理
.
引
理
1
对
于
所
有
的
𝜆
∈
[
𝛿,
1], Γ
𝜆
̸
=
∅
.
证
明
取
𝑢
∈
𝐻
1
0
(Ω)
∖{
0
}
,
则
对
于
所
有
的
𝜆
∈
[
𝛿,
1],
有
𝐽
𝜆
(
𝑡𝑢
)=
𝑡
2
2
||
𝑢
||
2
+
𝑡
2
2
Ω
𝑉𝑢
2
+
𝑏𝑡
4
4
||
𝑢
||
4
−
𝑡
2
2
Ω
𝐻𝑢
2
log
|
𝑡𝑢
|
+
𝑡
2
4
Ω
𝐻𝑢
2
−
𝜆𝑡
2
𝑝
2
𝑝
Ω
(
𝐼
𝛼
*|
𝑢
|
𝑝
)
|
𝑢
|
𝑝
d
𝑥
≤
𝑡
2
2
||
𝑢
||
2
+
𝑡
2
2
Ω
𝑉𝑢
2
+
𝑏𝑡
4
4
||
𝑢
||
4
−
𝑡
2
log
𝑡
2
Ω
𝐻
|
𝑢
|
2
2
−
𝑡
2
2
Ω
𝐻𝑢
2
log
|
𝑢
|
+
𝑡
2
4
Ω
𝐻𝑢
2
−
𝜆𝑡
2
𝑝
2
𝑝
Ω
(
𝐼
𝛼
*|
𝑢
|
𝑝
)
|
𝑢
|
𝑝
d
𝑥,𝑡>
0
.
注
意
到
𝑝
∈
(2
,
3+
𝛼
),
𝛼
∈
(0
,
3).
因
此
,
当
𝑡
→∞
时
,
有
𝐽
𝜆
(
𝑡𝑢
)
→−∞
.
不
难
发
现
,
存
在
足
够
大
的
𝑡
0
,
对
于
𝑢
∈
𝐻
1
0
(Ω)
∖{
0
}
,
使
得
𝐽
𝜆
(
𝑡
0
𝑢
)
<
0.
接
下
来
,
给
出
带
有
势
函
数
𝐻
对
数
非
线
性
项
的
一
个
重
要
不
等
式
.
设
Ω
1
=
{
𝑥
∈
Ω :
|
𝑢
(
𝑥
)
|
/
|
𝑢
|
2
<
1
}
,
DOI:10.12677/orf.2022.122045434
运
筹
与
模
糊
学
张
凯
月
,
罗
贤
兵
对
于
所
有
的
𝑢
∈
𝐻
1
0
(Ω)
∖{
0
}
,
根
据
H¨older
不
等
式
和
命
题
1,
我
们
有
Ω
𝐻𝑢
2
log
|
𝑢
|
|
𝑢
|
2
=
Ω
1
𝐻𝑢
2
log
|
𝑢
|
|
𝑢
|
2
+
Ω
∖
Ω
1
𝐻𝑢
2
log
|
𝑢
|
|
𝑢
|
2
6
𝑀
Ω
1
𝑢
2
log
|
𝑢
|
|
𝑢
|
2
+
𝑀
Ω
𝑢
2
log
|
𝑢
|
|
𝑢
|
2
−
Ω
1
𝑢
2
log
|
𝑢
|
|
𝑢
|
2
6
𝑀
|
Ω
|
1
/
2
|
𝑢
|
2
2
+
𝑀
𝑎
2
2
𝜋
Ω
|∇
𝑢
|
2
−
3(1+log
𝑎
)
2
|
𝑢
|
2
2
+
|
Ω
|
1
/
2
|
𝑢
|
2
2
6
𝑀
𝑎
2
2
𝜋
Ω
|∇
𝑢
|
2
−
3(1+log
𝑎
)
2
|
𝑢
|
2
2
+2
|
Ω
|
1
/
2
|
𝑢
|
2
2
.
对
于
所
有
的
𝑢
∈
𝐻
1
0
(Ω)
∖{
0
}
,
有
𝐽
(
𝑢
)
>
1
2
Ω
𝜇
|∇
𝑢
|
2
+
𝑏
4
‖
𝑢
‖
4
−
1
2
Ω
𝐻𝑢
2
log
|
𝑢
|
|
𝑢
|
2
−
1
2
Ω
𝐻𝑢
2
log
|
𝑢
|
2
−
𝐶
1
𝑘
|
𝑢
|
2
𝑝
𝑝𝑟
>
1
4
2
𝜇
−
𝑀𝑎
2
𝜋
Ω
|∇
𝑢
|
2
+
𝑏
4
‖
𝑢
‖
4
+
𝑀
4
(3+3log
𝑎
−
4
|
Ω
|
1
/
2
−
2log
|
𝑢
|
2
)
|
𝑢
|
2
2
−
𝐶
2
𝑘
‖
𝑢
‖
2
𝑝
.
其
中
𝜇
= 1
−
𝑆
−
1
|
𝑉
−
|
3
/
2
.
当
|
𝑢
|
2
<𝑎
3
2
𝑒
3
−
4
|
Ω
|
1
/
2
2
,
有
3+3log
𝑎
−
4
|
Ω
|
1
/
2
−
2log
|
𝑢
|
2
>
0
.
另
一
方
面
,
根
据
𝑎
的
任
意
性
,
存
在
𝑎>
0
使
得
2
𝜇
−
𝑀𝑎
2
𝜋
>
0
.
取
‖
𝑢
‖
=
𝜌>
0
足
够
小
,
存
在
𝑐>
0,
使
得对
所
有
的
𝜆
∈
[
𝛿,
1],
有
𝐽
𝜆
(
𝑢
)
≥
𝑐
.
因
此
,Γ
𝜆
̸
=
∅
,
所
以
存
在
𝛾
∈
Γ
𝜆
.
于
是
,
固
定
𝜆
∈
Λ,
根
据
Γ
𝜆
的定
义
,
我
们
就
可
得到
||
𝛾
(1)
||
𝐻
1
0
(Ω)
>𝑟
.
利
用
连
续
函
数
介
值
性
定
理
,
那
么
就
存
在
𝑡
0
∈
(0
,
1),
使
得
||
𝛾
(
𝑡
0
)
||
𝐻
1
0
(Ω)
=
𝑟
.
因
此
,
有
𝑐
𝜆
≥
inf
𝛾
∈
Γ
𝜆
𝐽
𝜆
(
𝛾
(
𝑡
0
))
≥
𝑐>
0
.
引
理
2
对
于
所
有
的
𝜆
∈
[
𝛿,
1]
,𝐽
𝜆
的
每
一
个
有
界
𝑃𝑆
序
列
都
有
收
敛
子
列
.
证
明
设
{
𝑢
𝑛
}⊂
𝐻
1
0
(Ω)
是
𝐽
𝜆
的
一
个
有
界
𝑃𝑆
序
列
,
则
存
在
𝐶>
0,
使
得对
所
有
的
𝑛
,
|
𝐽
𝜆
(
𝑢
𝑛
)
|≤
𝐶
;
DOI:10.12677/orf.2022.122045435
运
筹
与
模
糊
学
张
凯
月
,
罗
贤
兵
当
𝑛
→∞
时
,
𝐽
′
𝜆
(
𝑢
𝑛
)
→
0.
因
为
{
𝑢
𝑛
}
在
𝐻
1
0
(Ω)
中
有
界
,
则
存
在
弱
收
敛
的
子
序
列
{
𝑢
𝑛
}
,
在
𝐻
1
0
(Ω)
中
有
𝑢
𝑛
⇀𝑢
.
𝑜
𝑛
(1)=
⟨
𝐽
′
𝜆
(
𝑢
𝑛
)
−
𝐽
′
𝜆
(
𝑢
)
,𝑢
𝑛
−
𝑢
⟩
=
||
𝑢
𝑛
−
𝑢
||
2
+
Ω
𝑉
(
𝑢
𝑛
−
𝑢
)
2
+
𝑏
[
||
𝑢
𝑛
||
4
−||
𝑢
𝑛
||
2
Ω
(
𝑢
𝑛
,𝑢
)
−||
𝑢
||
2
Ω
(
𝑢
𝑛
,𝑢
)+
||
𝑢
||
4
]
−
Ω
(
𝐻𝑢
𝑛
log
|
𝑢
𝑛
|−
𝐻𝑢
log
|
𝑢
|
)(
𝑢
𝑛
−
𝑢
)
−
Ω
[(
𝐼
𝛼
*|
𝑢
𝑛
|
𝑝
)
|
𝑢
𝑛
|
𝑝
−
2
𝑢
𝑛
−
(
𝐼
𝛼
*|
𝑢
|
𝑝
)
|
𝑢
|
𝑝
−
2
𝑢
](
𝑢
𝑛
−
𝑢
)d
𝑥.
根
据
𝑆𝑜𝑏𝑜𝑙𝑒𝑣
嵌
入
定
理
和
𝐻𝑎𝑟𝑑𝑦
−
𝐿𝑖𝑡𝑡𝑙𝑒𝑤𝑜𝑜𝑑
−
𝑆𝑜𝑏𝑜𝑙𝑒𝑣
不
等
式
,
有
⃒
⃒
⃒
⃒
Ω
(
𝐻𝑢
𝑛
log
|
𝑢
𝑛
|−
𝐻𝑢
log
|
𝑢
|
)(
𝑢
𝑛
−
𝑢
)d
𝑥
⃒
⃒
⃒
⃒
→
0
.
和
⃒
⃒
⃒
⃒
Ω
[(
𝐼
𝛼
*|
𝑢
𝑛
|
𝑝
)
|
𝑢
𝑛
|
𝑝
−
2
𝑢
𝑛
−
(
𝐼
𝛼
*|
𝑢
|
𝑝
)
|
𝑢
|
𝑝
−
2
𝑢
](
𝑢
𝑛
−
𝑢
)d
𝑥
⃒
⃒
⃒
⃒
→
0
.
此
外
,
因
为
𝑉
∈
𝐿
3
/
2
,
则
有
Ω
𝑉
(
𝑢
𝑛
−
𝑢
)
2
d
𝑥
→
0
.
𝑜
𝑛
(1) =
||
𝑢
𝑛
−
𝑢
||
2
+
𝑏
[
||
𝑢
𝑛
||
4
−||
𝑢
𝑛
||
2
Ω
(
𝑢
𝑛
,𝑢
)
−||
𝑢
||
2
Ω
(
𝑢
𝑛
,𝑢
)+
||
𝑢
||
4
]
,
注
意
到
||
𝑢
𝑛
||
4
−||
𝑢
𝑛
||
2
Ω
(
𝑢
𝑛
,𝑢
)
−||
𝑢
||
2
Ω
(
𝑢
𝑛
,𝑢
)+
||
𝑢
||
4
≥||
𝑢
𝑛
||
4
−||
𝑢
𝑛
||
3
||
𝑢
||−||
𝑢
||
3
||
𝑢
𝑛
||
+
||
𝑢
||
4
= (
||
𝑢
𝑛
||
3
−||
𝑢
||
3
)(
||
𝑢
𝑛
||−||
𝑢
||
)
≥
0
.
因
此
,
有
||
𝑢
𝑛
−
𝑢
||
𝐻
1
0
(Ω)
→
0.
引
理
3
对
几
乎
处处
的
每
一
个
𝜆
∈
𝐻
1
0
(Ω),
存
在
𝑢
𝜆
∈
𝐻
1
0
(Ω)
∖{
0
}
,
使
得
𝐽
𝜆
(
𝑢
𝜆
) =
𝑐
𝜆
且
𝐽
′
𝜆
(
𝑢
𝜆
) = 0
成
立
.
证
明
根
据
引
理
2
和
𝜆
𝑛
∈
𝐶
1
(
𝐻
1
0
,
R
),
我
们
容
易
得
出
引
理
3
的
结
论
.
引
理
4
设
{
𝑢
𝑛
}
是
𝐽
𝜆
𝑛
在
水
平
𝑐
𝜆
𝑛
的
临
界
点
序
列
,
则
对
于
所
有
的
𝑛
∈
N
,
序
列
{
𝑢
𝑛
}
是
有
界
的
.
证
明
因
为
{
𝑢
𝑛
}
是
𝐽
𝜆
𝑛
在
水
平
𝑐
𝜆
𝑛
的
临
界
点
序
列
,
则
存
在
𝐶>
0,
有
|
𝐽
𝜆
𝑛
(
𝑢
𝑛
)
|≤
𝐶
且
𝐽
′
𝜆
𝑛
(
𝑢
𝑛
) = 0.
DOI:10.12677/orf.2022.122045436
运
筹
与
模
糊
学
张
凯
月
,
罗
贤
兵
则
𝐶
≥
𝐽
𝜆
𝑛
(
𝑢
𝑛
)
−
1
2
𝑝
⟨
𝐽
′
𝜆
𝑛
(
𝑢
𝑛
)
,𝑢
𝑛
⟩
=
1
2
−
1
2
𝑝
||
𝑢
𝑛
||
2
+
1
2
−
1
2
𝑝
Ω
𝑉𝑢
2
𝑛
+
1
4
−
1
2
𝑝
‖
𝑢
𝑛
‖
4
+
1
2
−
1
2
𝑝
Ω
𝐻𝑢
2
−
1
2
−
1
2
𝑝
Ω
𝐻𝑢
2
log
|
𝑢
|
2
≥
1
2
−
1
2
𝑝
(
𝜇
−
𝑀
𝑎
2
2
𝜋
)
||
𝑢
𝑛
||
2
+
1
2
−
1
2
𝑝
𝑀
3(1+log
𝑎
)
2
|
𝑢
𝑛
|
2
2
−
2
|
Ω
|
1
/
2
|
𝑢
𝑛
|
2
2
−
1
2
−
1
2
𝑝
(
𝑀
+1)log
|
𝑢
|
2
|
𝑢
|
2
2
+
1
4
−
1
2
𝑝
‖
𝑢
𝑛
‖
4
.
根
据
对
数
𝑆𝑜𝑏𝑜𝑙𝑒𝑣
不
等
式
,
存
在
𝑎>
0,
使
得
3(1+log
𝑎
)
2
−
2
|
Ω
|
1
/
2
>
0
和
𝜇
−
𝑀
𝑎
2
2
𝜋
>
0,
从
而
有
1
2
−
1
2
𝑝
(
𝜇
−
𝑀
𝑎
2
2
𝜋
)
||
𝑢
𝑛
||
2
+
1
4
−
1
2
𝑝
‖
𝑢
𝑛
‖
4
+
1
2
−
1
2
𝑝
(
𝑀
+1)
‖
𝑢
𝑛
‖
3
<𝐶.
则
{
𝑢
𝑛
}
在
𝐻
1
0
(Ω)
中
有
界
.
定
理
1
的
证
明
因
为
𝜆
𝑛
→
1
−
,
所
以
我
们
易
知
{
𝑢
𝑛
}
是
𝐽
的
一
个
𝑃𝑆
序
列
.
事实
上
,
序
列
{
𝑢
𝑛
}
的
有
界
性
暗
示
了
{
𝐽
(
𝑢
𝑛
)
}
的
有
界
性
.
另
外
,
因
为
⟨
𝐽
′
(
𝑢
𝑛
)
,𝑣
⟩
=
⟨
𝐽
′
𝜆
𝑛
(
𝑢
𝑛
)
,𝑣
⟩
+(
𝜆
𝑛
−
1)
Ω
(
𝐼
𝛼
*|
𝑢
𝑛
|
𝑝
)
|
𝑢
𝑛
|
𝑝
−
2
𝑢
𝑛
𝑣
d
𝑥𝑣
∈
𝐻
1
0
(Ω)
,
所
以
𝐽
′
𝜆
𝑛
→
0,
这
就
说
明
{
𝑢
𝑛
}
是
𝐽
的
一
个
有
界
𝑃𝑆
序
列
.
于
是
,
根
据
引
理
2,
则
{
𝑢
𝑛
}
有
一
个
收
敛
子
列
.
不
妨
我
们
仍
记
为
{
𝑢
𝑛
}
,
则
有
𝑢
𝑛
→
𝑢
,
进
而
𝐽
′
(
𝑢
) = 0.
再
根
据
引
理
3,
有
𝐽
(
𝑢
) =lim
𝑛
→∞
𝐽
(
𝑢
𝑛
) =lim
𝑛
→∞
𝐽
𝜆
𝑛
(
𝑢
𝑛
)
≥
𝑐>
0
.
因
此
,
问
题
(1)
有
一
个
非
平
凡
解
.
设
𝐾
=
{
𝑢
∈
𝐻
1
0
(Ω)
∖{
0
}
:
𝐽
′
(
𝑢
) = 0
}
.
显
然
,
𝐾
是
非
空
的
.
于
是
我
们
断
言
,
存
在
𝜌>
0,
使
得对
所
有
的
𝑢
∈
𝐾
,
都
有
||
𝑢
||
𝐻
1
0
(Ω)
≥
𝜌
成
立
.
对
所
有
的
𝑢
∈
𝐾
,
有
0 =
⟨
𝐽
′
(
𝑢
)
,𝑢
⟩
=
||
𝑢
||
2
+
Ω
𝑉𝑢
2
+
𝑏
||
𝑢
||
4
−
Ω
𝐻𝑢
2
log
|
𝑢
|−
Ω
(
𝐼
𝛼
*|
𝑢
|
𝑝
)
|
𝑢
|
𝑝
d
𝑥.
根
据
对
数
不
等
式
和
𝐻𝑎𝑟𝑑𝑦
−
𝐿𝑖𝑡𝑡𝑙𝑒𝑤𝑜𝑜𝑑
−
𝑆𝑜𝑏𝑜𝑙𝑒𝑣
不
等
式
,
存
在
𝐶
2
,
𝐶
4
>
0
使
得
‖
𝑢
𝑛
‖
2
+
‖
𝑢
𝑛
‖
4
=
𝑘
Ω
(
𝐼
𝛼
*|
𝑢
𝑛
|
𝑝
)
|
𝑢
𝑛
|
𝑝
d
𝑥
+
Ω
𝐻𝑢
2
𝑛
log
|
𝑢
𝑛
|
6
𝐶
2
‖
𝑢
𝑛
‖
2
𝑝
+
𝐶
4
‖
𝑢
𝑛
‖
4
.
DOI:10.12677/orf.2022.122045437
运
筹
与
模
糊
学
张
凯
月
,
罗
贤
兵
则
‖
𝑢
‖
2
6
𝐶
2
‖
𝑢
‖
2
𝑝
+
𝐶
4
‖
𝑢
‖
4
.
进
一
步
,
我
们
推
断
出
存
在
𝑐>
0,
使
得
‖
𝑢
‖
>𝑐.
对
所
有
的
𝑢
∈
𝐾
,
有
𝐽
(
𝑢
)
−
1
2
𝑝
⟨
𝐽
′
(
𝑢
)
,𝑢
⟩
=
1
2
−
1
2
𝑝
||
𝑢
||
2
+
1
2
−
1
2
𝑝
Ω
𝑉𝑢
2
𝑛
+
1
4
−
1
2
𝑝
‖
𝑢
‖
4
+
1
2
−
1
2
𝑝
Ω
𝐻𝑢
2
−
1
2
−
1
2
𝑝
Ω
𝐻𝑢
2
log
|
𝑢
|
2
≥
1
2
−
1
2
𝑝
(
𝜇
−
𝑀
𝑎
2
2
𝜋
)
||
𝑢
||
2
+
1
2
−
1
2
𝑝
𝑀
3(1+log
𝑎
)
2
|
𝑢
|
2
2
−
2
|
Ω
|
1
/
2
|
𝑢
|
2
2
−
1
2
−
1
2
𝑝
(
𝑀
+1)log
|
𝑢
|
2
|
𝑢
|
2
2
+
1
4
−
1
2
𝑝
‖
𝑢
‖
4
≥
1
2
−
1
2
𝑝
(
𝜇
−
𝑀
𝑎
2
2
𝜋
)
||
𝑢
||
2
+
1
2
−
1
2
𝑝
𝑀
3(1+log
𝑎
)
2
|
𝑢
|
2
2
−
2
|
Ω
|
1
/
2
|
𝑢
|
2
2
−
1
2
−
1
2
𝑝
(
𝑀
+1)
|
𝑢
|
3
2
+
1
4
−
1
2
𝑝
‖
𝑢
‖
4
.
则
𝐽
在
𝐾
上
是
强
制
的
,
进
而
𝐽
在
𝐾
上
有
下
界
.
因
此
,
我
们
可
以
定
义
𝑐
0
:= inf
𝐾
𝐽.
最
后
,
设
{
𝑢
𝑛
}⊂
𝐾
是
𝐽
的
一
个
极
小
化
序
列
,
即
𝐽
(
𝑢
𝑛
)
→
𝑐
0
,𝐽
′
(
𝑢
𝑛
) = 0
.
类
似
于
引
理
2
和
引
理
3
的
证
明
,
可
知
序
列
{
𝑢
𝑛
}
在
𝐻
1
0
(Ω)
中
是
有
界
,
进
而
存
在
𝑢
∈
𝐻
1
0
(Ω),
使
得
𝑢
𝑛
→
𝑢
,
𝑛
→∞
,
所
以
𝐽
(
𝑢
)=
𝑐
0
且
𝐽
′
(
𝑢
𝑛
) = 0.
又有
𝑢
̸
= 0,
因
此
,
𝑢
∈
𝐻
1
0
(Ω)
是
问
题
(1)
的
一
个
基
态
解
.
定
理
2
的
证
明
在
𝐻
1
0
(Ω)
上
,
定
义
关
于
问
题
(2)
的
能
量
泛
函
𝐽
1
𝐽
1
(
𝑢
) =
1
2
Ω
(
|∇
𝑢
|
2
+
𝑉𝑢
2
)+
𝑏
4
||
𝑢
||
4
−
1
2
𝑝
Ω
|
𝑢
|
2
𝑝
−
1
2
Ω
𝐻𝑢
2
log
|
𝑢
|
+
1
4
Ω
𝐻𝑢
2
,
对
于
所
有
的
𝑢
∈
𝐻
1
0
(Ω)
.
通
过
计
算
,
有
𝐽
1
∈
𝐶
1
(
𝐻
1
0
(Ω)
,
R
).
此
外
,
⟨
𝐽
′
1
(
𝑢
)
,𝑣
⟩
=
Ω
(
∇
𝑢
·∇
𝑣
+
𝑉𝑢𝑣
)+
𝑏
||
𝑢
||
2
(
𝑢,𝑣
)
−
Ω
|
𝑢
|
𝑝
−
2
𝑢𝑣
−
Ω
𝐻𝑢𝑣
log
|
𝑢
|
,
对
于
所
有
的
𝑣
∈
𝐻
1
0
(Ω).
DOI:10.12677/orf.2022.122045438
运
筹
与
模
糊
学
张
凯
月
,
罗
贤
兵
类
似
于
问
题
(1)
的
证
明
方法
,
易
证
,
问
题
(2)
存
在
非
平
凡
解
.
这
里
我
们
忽
略
这
部
分
的
证
明
.
接
下
来
,
我
们
证
明
问
题
(2)
存
在
基
态
解
.
设
𝐾
1
=
{
𝑢
∈
𝐻
1
0
(Ω)
∖{
0
}
:
𝐽
′
(
𝑢
) = 0
}
.
显
然
,
𝐾
1
是
非
空
的
.
于
是
,
我
们
断
言
,
存
在
𝜌>
0,
使
得对
所
有
的
𝑢
∈
𝐾
1
,
都
有
||
𝑢
||
𝐻
1
0
(Ω)
≥
𝜌
成
立
且
0 =
⟨
𝐽
′
(
𝑢
)
,𝑢
⟩
=
||
𝑢
||
2
+
Ω
𝑉𝑢
2
+
𝑏
||
𝑢
||
4
−
Ω
𝐻𝑢
2
log
|
𝑢
|−
Ω
(
𝐼
𝛼
*|
𝑢
|
𝑝
)
|
𝑢
|
𝑝
𝑑𝑥.
根
据
对
数
不
等
式
和
𝐻𝑎𝑟𝑑𝑦
−
𝐿𝑖𝑡𝑡𝑙𝑒𝑤𝑜𝑜𝑑
−
𝑆𝑜𝑏𝑜𝑙𝑒𝑣
不
等
式
,
有
‖
𝑢
𝑛
‖
2
+
‖
𝑢
𝑛
‖
4
6
𝐶
2
‖
𝑢
𝑛
‖
2
𝑝
+
𝐶
4
‖
𝑢
𝑛
‖
4
.
则
‖
𝑢
‖
2
6
𝐶
2
‖
𝑢
‖
2
𝑝
+
𝐶
4
‖
𝑢
‖
4
.
进
一
步
,
我
们
推
断
出
存
在
𝑐>
0,
使
得
‖
𝑢
‖
>𝑐.
对
所
有
的
𝑢
∈
𝐾
1
,
有
𝐽
(
𝑢
)
−
1
2
𝑝
⟨
𝐽
′
(
𝑢
)
,𝑢
⟩
=
1
2
−
1
2
𝑝
||
𝑢
||
2
+
1
2
−
1
2
𝑝
Ω
𝑉𝑢
2
𝑛
+
1
2
−
1
2
𝑝
Ω
𝐻𝑢
2
−
1
2
−
1
2
𝑝
Ω
𝐻𝑢
2
log
|
𝑢
|
2
≥
1
2
−
1
2
𝑝
(
𝜇
−
𝑀
𝑎
2
2
𝜋
)
||
𝑢
||
2
+
1
2
−
1
2
𝑝
𝑀
3(1+log
𝑎
)
2
|
𝑢
|
2
2
−
2
|
Ω
|
1
/
2
|
𝑢
|
2
2
−
1
2
−
1
2
𝑝
(
𝑀
+1)log
|
𝑢
|
2
|
𝑢
|
2
2
+
1
4
−
1
2
𝑝
‖
𝑢
‖
4
≥
1
2
−
1
2
𝑝
(
𝜇
−
𝑀
𝑎
2
2
𝜋
)
||
𝑢
||
2
+
1
2
−
1
2
𝑝
𝑀
3(1+log
𝑎
)
2
|
𝑢
|
2
2
−
2
|
Ω
|
1
/
2
|
𝑢
|
2
2
−
1
2
−
1
2
𝑝
(
𝑀
+1)
|
𝑢
|
3
2
+
1
4
−
1
2
𝑝
‖
𝑢
‖
4
.
则
𝐽
在
𝐾
上
强
制
,
进
而
𝐽
在
𝐾
上
是
有
下
界
.
因
此
,
我
们
可
以
定
义
𝑐
1
:= inf
𝐾
𝐽.
DOI:10.12677/orf.2022.122045439
运
筹
与
模
糊
学
张
凯
月
,
罗
贤
兵
最
后
,
设
{
𝑢
𝑛
}⊂
𝐾
是
𝐽
的
一
个
极
小
化
序
列
,
即
𝐽
(
𝑢
𝑛
)
→
𝑐
1
,𝐽
′
(
𝑢
𝑛
) = 0
.
类
似
于
引
理
2
和
引
理
3
的
证
明
,
序
列
{
𝑢
𝑛
}
在
𝐻
1
0
(Ω)
中
有
界
,
进
而
存
在
𝑢
∈
𝐻
1
0
(Ω)
,
使
得
𝑢
𝑛
→
𝑢
,
𝑛
→∞
,
所
以
𝐽
(
𝑢
)=
𝑐
1
且
𝐽
′
(
𝑢
𝑛
) = 0.
又有
𝑢
̸
= 0,
因
此
,
𝑢
∈
𝐻
1
0
(Ω)
是
问
题
(2)
的
一
个
基
态
解
.
定
理
3
的
证
明
首
先
,
定
义
问
题
(3)
的
能
量
泛
函
族
:
𝐽
2
𝜆
(
𝑢
)=
1
2
Ω
(
𝑎
|∇
𝑢
|
2
+
𝑉𝑢
2
)+
𝑏
4
||
𝑢
||
4
−
1
2
Ω
𝐻𝑢
2
𝑙𝑛
|
𝑢
|
+
1
4
Ω
𝐻𝑢
2
−
1
4
Ω
𝜑
𝑢
𝑢
2
−
𝜆
Ω
𝐹
(
𝑥,𝑢
)
,𝑢
∈
𝐻
1
0
(Ω)
.
则
𝐽
2
𝜆
∈
𝐶
1
(
𝐻
1
0
(Ω)
,
R
)
且
⟨
𝐽
′
2
𝜆
(
𝑢
)
,𝑣
⟩
=
Ω
(
𝑎
∇
𝑢
·∇
𝑣
+
𝑉𝑢𝑣
)+
𝑏
||
𝑢
||
2
(
𝑢,𝑣
)
−
Ω
𝐻𝑢𝑣
log
|
𝑢
|
−
1
4
Ω
𝜑
𝑢
𝑢𝑣
−
𝜆
Ω
𝑓
(
𝑥,𝑢
)
𝑣,𝑢,𝑣
∈
𝐻
1
0
(Ω)
.
类
似
于
定
理
1
的
证
明
,
根
据
𝐻𝑎𝑡𝑟𝑒𝑒
非
线
性
项
的
性
质
和
命
题
,
我
们
可
知
问
题
(3)
存
在
非
平
凡
解
.
由于
大
部
分
证
明
类
似
,
我
们
在这
里
忽
略
,
值
得
注
意
的
是
我
们
取
𝐵
(
𝑢
) =
𝜆
Ω
𝐹
(
𝑥,𝑢
).
设
𝐾
2
=
{
𝑢
∈
𝐻
1
0
(Ω)
/
{
0
}
:
𝐽
′
2
(
𝑢
) = 0
,𝜆
= 1
}
.
显
然
,
𝐾
2
是
非
空
的
.
于
是
,
我
们
断
言
存
在
𝜌>
0,
使
得对
所
有
的
𝑢
∈
𝐾
2
,
都
有
||
𝑢
||
𝐻
1
0
(Ω)
≥
𝜌
成
立
.
则
对
所
有
的
𝑢
∈
𝐾
2
,
有
0 =
⟨
𝐽
′
(
𝑢
)
,𝑢
⟩
=
||
𝑢
||
2
+
Ω
𝑉𝑢
2
+
𝑏
||
𝑢
||
4
−
Ω
𝐻𝑢
2
log
|
𝑢
|−
1
4
Ω
𝜑
𝑢
𝑢
2
−
Ω
𝑓
(
𝑥,𝑢
)
𝑢.
根
据
文
献
[20–22],
我
们
推
出
𝑅
𝜑𝑢
2
≤
4
||
𝑢
||
4
.
根
据
条
件
𝐻
(
𝑓
),
有
‖
𝑢
‖
2
+
‖
𝑢
‖
4
+
𝑀
4
(3+3log
𝑎
−
4
|
Ω
|
1
/
2
−
2log
|
𝑢
|
2
)
|
𝑢
|
2
2
=
Ω
𝐻𝑢
2
log
|
𝑢
|
+
1
4
Ω
𝜑
𝑢
𝑢
2
+
Ω
𝑓
(
𝑥,𝑢
)
𝑢
6
𝐶
2
‖
𝑢
‖
2
𝑝
+
𝐶
4
‖
𝑢
‖
4
+
𝑓
0
+1
2
|
𝑢
|
2
2
+
𝐶
‖
𝑢
‖
𝑞
.
根
据
对
数
𝑆𝑜𝑏𝑜𝑙𝑒𝑣
不
等
式
,
有
‖
𝑢
‖
2
6
𝐶
4
‖
𝑢
‖
4
+
𝐶
‖
𝑢
‖
𝑞
.
DOI:10.12677/orf.2022.122045440
运
筹
与
模
糊
学
张
凯
月
,
罗
贤
兵
进
一
步
,
我
们
推
断
出
存
在
𝑐>
0,
使
得
‖
𝑢
‖
>𝑐.
对
所
有
的
𝑢
∈
𝐾
2
,
有
𝐽
2
(
𝑢
)
−
1
4
⟨
𝐽
′
2
(
𝑢
)
,𝑢
⟩
=
1
2
−
1
4
||
𝑢
||
2
+
1
2
−
1
4
Ω
𝑉𝑢
2
𝑛
+
1
4
−
1
4
‖
𝑢
‖
4
+
Ω
(
1
4
𝑓
(
𝑥,𝑢
)
𝑢
−
𝐹
(
𝑥,𝑢
))
+
1
2
−
1
4
Ω
𝐻𝑢
2
−
1
2
−
1
4
Ω
𝐻𝑢
2
log
|
𝑢
|
2
+(
1
4
−
1
4
)
Ω
𝜑
𝑢
𝑢
2
≥
1
2
−
1
2
𝑝
(
𝜇
−
𝑀
𝑎
2
2
𝜋
)
||
𝑢
||
2
+
1
2
−
1
2
𝑝
𝑀
3(1+log
𝑎
)
2
|
𝑢
|
2
2
−
2
|
Ω
|
1
/
2
|
𝑢
|
2
2
−
1
2
−
1
2
𝑝
(
𝑀
+1)log
|
𝑢
|
2
|
𝑢
|
2
2
+
1
4
−
1
2
𝑝
‖
𝑢
‖
4
≥
1
2
−
1
2
𝑝
(
𝜇
−
𝑀
𝑎
2
2
𝜋
)
||
𝑢
||
2
+
1
2
−
1
2
𝑝
𝑀
3(1+log
𝑎
)
2
|
𝑢
|
2
2
−
2
|
Ω
|
1
/
2
|
𝑢
|
2
2
−
1
2
−
1
2
𝑝
(
𝑀
+1)
|
𝑢
|
3
2
+
1
4
−
1
2
𝑝
‖
𝑢
‖
4
.
则
𝐽
在
𝐾
上
强
制
,
进
而
𝐽
在
𝐾
上
是
有
下
界
.
因
此
,
我
们
可
以
定
义
𝑐
2
:= inf
𝐾
𝐽.
最
后
,
设
{
𝑢
𝑛
}⊂
𝐾
是
𝐽
的
一
个
极
小
化
序
列
,
即
𝐽
(
𝑢
𝑛
)
→
𝑐
2
,𝐽
′
(
𝑢
𝑛
) = 0
.
类
似
于
引
理
2
和
引
理
3
的
证
明
,
序
列
{
𝑢
𝑛
}
在
𝐻
1
0
(Ω)
中
是
有
界
的
,
进
而
存
在
𝑢
∈
𝐻
1
0
(Ω),
使
得
𝑢
𝑛
→
𝑢
,
𝑛
→∞
,
所
以
𝐽
(
𝑢
) =
𝑐
2
且
𝐽
′
(
𝑢
𝑛
) = 0.
又有
𝑢
̸
= 0,
因
此
,
𝑢
∈
𝐻
1
0
(Ω)
是
问
题
(3)
的
一
个
基
态
解
.
4.
总
结
本
文
利
用
单
调
性
技
巧
,
对
数
𝑆𝑜𝑏𝑜𝑙𝑒𝑣
不
等
式
和
𝐻𝑎𝑟𝑑𝑦
−
𝐿𝑖𝑡𝑡𝑙𝑒𝑤𝑜𝑜𝑑
−
𝑆𝑜𝑏𝑜𝑙𝑒𝑣
不
等
式
研
究
一
类
带
有
对
数
非
线
性
项
和
𝐻𝑎𝑡𝑟𝑒𝑒
非
线
性
项
𝐾𝑖𝑟𝑐ℎℎ𝑜𝑓𝑓
方
程
基
态
解
的
存
在
性
.
值
得
注
意
的
是势
函
数
𝑉
是
变
号
的
,
对
数
非
线
性
项
含
有
势
函
数
.
另
外
,
为
研
究
𝐻𝑎𝑡𝑟𝑒𝑒
非
线
性
项
参
数
趋
于
𝑁
和
0
打
下
一
定的
基
础
,
我
们
猜
测
带
有
对
数
非
线
性
项
和
𝐻𝑎𝑡𝑟𝑒𝑒
非
线
性
项
的
𝐾𝑖𝑟𝑐ℎℎ𝑜𝑓𝑓
方
程
的
基
态
解
趋
于
带
有
对
数
非
线
性
项
和
多
项
式
的
𝐾𝑖𝑟𝑐ℎℎ𝑜𝑓𝑓
方
程
的
基
态
解
.
基
金
项
目
项
目
名
称
:
随
机
最
优
控
制
问
题
的
高
效
MonteCarlo
有
限
元
法
合
同
编
号
:
国
家
自
然
科
学
基
金
项
目
(11961008)
。
DOI:10.12677/orf.2022.122045441
运
筹
与
模
糊
学
张
凯
月
,
罗
贤
兵
参
考
文
献
[1]Zhou,J.andWu,Y.S.(2021)ExistenceofSolutionsforaClassofKirchhoff-TypeEquations
withIndefinitePotential.
BoundaryValueProblems
,
12
,ArticleNo.74.
https://doi.org/10.1186/s13661-021-01550-5
[2]Zhou, F.andYang, M.B.(2021)SolutionsforaKirchhoffTypeProblemwithCriticalExponent
in
R
𝑁
.
JournalofMathematicalAnalysisandApplications
,
494
,ArticleID:124638.
[3]Vicente,A.(2022)Well-PosednessandStabilityforKirchhoffEquationwithNon-PorousA-
cousticBoundaryConditions.
JournalofDifferentialEquations
,
313
,25-38.
https://doi.org/10.1016/j.jde.2022.01.002
[4]Zhou,L.andZhu,C.X.(2022)GroundStateSolutionforaClassofKirchhoff-TypeEquation
withGeneralConvolutionNonlinearity.
Zeitschriftf¨urangewandteMathematikundPhysik
,
73
,ArticleNo.75.https://doi.org/10.1007/s00033-022-01712-0
[5]Gu, G.Z.andYang, Z.P. (2022)OntheSingularlyPerturbationFractionalKirchhoffEquations:
CriticalCase.
AdvancesinNonlinearAnalysis
,
11
,1097-1116.
https://doi.org/10.1515/anona-2022-0234
[6]Li,G.andTang,C.(2018)Existence ofaGroundStateSolutionforChoquardEquation with
theUpperCriticalExponent.
ComputersandMathematicswithApplications
,
76
,2635-2647.
https://doi.org/10.1016/j.camwa.2018.08.052
[7]Li,F.,Gao,C.andLiang,Z.(2018)ExistenceandConcentrationofNontrivialNonnegative
GroundStateSolutions toKirchhoff-TypeSystemwith Hartree-TypeNonlinearity.
Zeitschrift
f¨urangewandteMathematikundPhysik
,
69
,ArticleNo.148.
https://doi.org/10.1007/s00033-018-1043-5
[8]Li,G.,Li,Y.,Tang,C.andYin,L.(2019)ExistenceandConcentrateBehaviorofGround
StateSolutionsforCriticalChoquardEquations.
AppliedMathematicsLetters
,
96
,101-107.
https://doi.org/10.1016/j.aml.2019.04.020
[9]Gao,F.S.andYang,M.B.(2017)OnNonlocalChoquardEquationswithHardy-Littlewood-
SobolevCriticalExponents.
JournalofMathematicalAnalysisandApplications
,
448
,1006-
1041.https://doi.org/10.1016/j.jmaa.2016.11.015
[10]Li,F.Y.,Gao,C.J.andZhu,X.L.(2017)ExistenceandConcentrationofSign-Changing
SolutionstoKirchhoff-TypeSystemwithHartree-TypeNonlinearity.
JournalofMathematical
AnalysisandApplications
,
448
,60-80.https://doi.org/10.1016/j.jmaa.2016.10.069
[11]Liu,H.,Liu,Z.andXiao,Q.(2017)GroundStateSolutionforaFourth-OrderNonlinear
EllipticProblemwithLogarithmicNonlinearity.
AppliedMathematicsLetters
,
79
,176-181.
https://doi.org/10.1016/j.aml.2017.12.015
DOI:10.12677/orf.2022.122045442
运
筹
与
模
糊
学
张
凯
月
,
罗
贤
兵
[12]Schaftingen,J.V.andXia,J.(2018)GroundstatesforaLocalNonlinearPerturbationofthe
ChoquardEquationswithLowerCriticalExponent.
JournalofMathematicalAnalysisand
Applications
,
464
,1184-1202.https://doi.org/10.1016/j.jmaa.2018.04.047
[13]Tian, S.(2017)MultipleSolutionsfortheSemilinearEllipticEquationswiththeSign-Changing
LogarithmicNonlinearity.
JournalofMathematicalAnalysisandApplications
,
454
,816-828.
https://doi.org/10.1016/j.jmaa.2017.05.015
[14]Squassina, M. andSzulkin, A. (2015)Multiple Solutionsto LogarithmicSchr¨odinger Equations
with Periodic Potential.
CalculusofVariationsandPartialDifferentialEquations
,
54
, 585-597.
https://doi.org/10.1007/s00526-014-0796-8
[15]Gao,F.andYang,M.(2018)OntheBrezis-NirenbergTypeCriticalProblemforNonlinear
ChoquardEquation.
ScienceChinaMathematics
,
61
,1219-1242.
https://doi.org/10.1007/s11425-016-9067-5
[16]Le,X.T.(2019)TheNehariManifoldforFractionalp-LaplacianEquationwithLogarithmic
NonlinearityonWholeSpace.
ComputersandMathematicswithApplications
,
78
,3931-3940.
https://doi.org/10.1016/j.camwa.2019.06.024
[17]Alves,C.O.anddeMoraisFilho, D.C.(2018)ExistenceandConcentrationofPositiveSolutions
foraSchr¨odingerLogarithmicEquation.
Zeitschriftf¨urangewandteMathematikundPhysik
,
69
,ArticleNo.144.https://doi.org/10.1007/s00033-018-1038-2
[18]Chen, H. andTian, S. (2015)Initial BoundaryValue Problemfor aClass ofSemilinear Pseudo-
ParabolicEquationswithLogarithmicNonlinearity.
JournalofDifferentialEquations
,
258
,
4424-4442.https://doi.org/10.1016/j.jde.2015.01.038
[19]Ji, C.and Szulkin,A.(2016) ALogarithmic Schr¨odingerEquation withAsymptoticConditions
onthePotential.
JournalofMathematicalAnalysisandApplications
,
437
,241-254.
https://doi.org/10.1016/j.jmaa.2015.11.071
[20]Wang,J.,Tian,L.X.,Xu,J.X.,
etal.
(2013)Erratumto:ExistenceandConcentrationof
PositiveSolutionsforSemilinearSchr¨odinger-PoissonSystemsin
𝑅
3
.
CalculusofVariations
andPartialDifferentialEquations
,
48
,275-276.https://doi.org/10.1007/s00526-012-0573-5
[21]Li,Y.H.,Li,F.Y.andShi,J.P.(2017)ExistenceandMultiplicityofPositiveSolutionsto
Schr¨odinger-PoissonTypeSystemswithCriticalNonlocalTerm.
CalculusofVariationsand
PartialDifferentialEquations
,
56
, ArticleNo. 134.https://doi.org/10.1007/s00526-017-1229-2
[22]Wang, Z.P. andZhou, H.-S. (2015)Sign-Changing Solutions forNonlinear Schr¨odinger-Poisson
Systemin
𝑅
3
.
CalculusofVariationsandPartialDifferentialEquations
,
52
,927-943.
https://doi.org/10.1007/s00526-014-0738-5
DOI:10.12677/orf.2022.122045443
运
筹
与
模
糊
学