?

一類Kirchhoff-Schr?dinger-Poisson方程的非平凡解

2024-01-05 02:06藍永藝
關鍵詞:定理證明條件

胡 仙,藍永藝

(集美大學理學院,福建 廈門 361021)

0 引言

近幾年來,Schr?dinger-Poisson系統

(1)

(2)

也開始引起了大家的關注。文獻[9]基于一些條件和對L(x)∈L2(R3)的假設條件,證明了其解的存在性與不存在性。當4

本文在文獻[11]研究基礎上,考慮Kirchhoff-Schr?dinger-Poisson方程

(3)

非平凡解的存在性,其中,a>0,λ>0,b≥0,4

定理1 設條件(A1)、(A2)成立且40,問題(3)至少有一個正解。

1 預備知識

(4)

將式(4)代入式(3)的第一個方程可得

(5)

2 定理的證明

分3步來證明定理1。

第一步,(PS)條件。先證任意的(PS)c序列在H1(R3)中都是有界的,再證I滿足(PS)c條件,即任意的(PS)c序列都有收斂子列。

設H1(R3)中序列{un}滿足:I(un)有界,且I′(un)收斂于0,即I(un)→c,I′(un)→0。從而對任意的ψ∈H1(R3),都有〈I′(un),ψ〉→0,n→∞。

下面證明{un}在H1(R3)中有界。反證法,假設當n→∞時,tn=‖un‖→∞。令vn=un/tn,那么vn∈H1(R3)且‖vn‖=1。從而存在v∈H1(R3),使得在任意有界區域Ω∈R3上,有

(6)

接下來證v(x)=0在R3。令un=tnvn,

(7)

接著證x包含在Ω+和Ω-中。假設條件(A1)和(A2),暗示Ω+≠?和Ω-≠?。首先考慮x∈Ω+的情況。因為a(x)∈C(R3),這里存在δ>0,有

a(y)>0,任意的y∈Bδ(x)。

(8)

(9)

(10)

令〈I′(un),ψ〉→0中ψ=vn,并對式(10)兩邊分別除以tn=vn,可得

(11)

現在證明{un}有收斂子列,依然記為{un}。假設存在u∈H1(R3),使得

(12)

首先令ψ=u,當n足夠大時,有

(13)

當n足夠大時,可得

(14)

(15)

(16)

接下來,不失一般性,假設a∞<-1。由條件(A1)可知,存在R0>0,使得a(x)<-1,|x|>R0。又因為a(x)∈C(R3)和4

(17)

因為I(u)=I(|u|)在H1(R3)中,所以可得u≥0在R3,它為問題(3)的解且滿足I(u)>0。由強極大值原理可得,u>0在R3中。

猜你喜歡
定理證明條件
J. Liouville定理
獲獎證明
排除多余的條件
判斷或證明等差數列、等比數列
選擇合適的條件
A Study on English listening status of students in vocational school
“三共定理”及其應用(上)
為什么夏天的雨最多
證明我們的存在
Individual Ergodic Theorems for Noncommutative Orlicz Space?
91香蕉高清国产线观看免费-97夜夜澡人人爽人人喊a-99久久久无码国产精品9-国产亚洲日韩欧美综合