中圖分類號:0176.3 文獻標識碼:A 文章編號:1674-0033(2025)04-0019-08
Abstract:A class of Schrodinger-Poisson systems with concave-convex nonlinear terms is studied,in which the potential function v(x)∈C(R3,R) doesnot have to satisfy the mandatory condition.Under more general concave convex nonlinear conditions,by introducing the variational framework and combining the detailedestimationofnon-local terms,the fountain theoreminthecritical point theory isutilized to prove that forany μ∈R system,there exist infinitely many high Π-Π energy solutions.This breaks through the mandatory restrictions on the potential function in traditional studies and establishes the existence theory of multiple property solutions applicable to a wider range of concave-convex nonlinear conditions. It further expands the understanding of the solutions of such complex systems.
Keywords:Schrodinger-Poisson system; Fountain Theorem; high energy solution
薛定諤-泊松系統(tǒng)由薛定諤方程和泊松方程耦合而成,用于描述量子力學中粒子在勢場中的復(fù)雜行為。其中,Schrodinger方程作為非相對論性量子力學中描述單個粒子量子態(tài)的核心方程,是一個線性偏微分方程,其數(shù)學形式為:
其中, ψ 是波函數(shù), V 是電勢, m 是粒子的質(zhì)量, ? 是約化普朗克常數(shù)。而Poisson方程則是一個二階偏微分方程,主要闡述了電勢 V 和電荷密度 ρ
之間的內(nèi)在聯(lián)系,其數(shù)學式為:
其中, 是真空的電容率。薛定諤-泊松方程組通過波函數(shù)的模平方(即電荷密度)相互耦合,形成了一個復(fù)雜的非線性系統(tǒng)。這種耦合不僅引入了非線性效應(yīng),還涉及多尺度物理過程,極大地增加了問題分析與求解的難度。在半導(dǎo)體物理領(lǐng)域,該方程組對于理解電子在晶體中的輸運性質(zhì)、設(shè)計新型半導(dǎo)體器件(如量子點、量子線和量子阱)至關(guān)重要。在量子化學中,它有助于揭示分子內(nèi)部電子結(jié)構(gòu)的細節(jié),以及化學反應(yīng)的動力學過程。在量子信息科學中,薛定諤-泊松系統(tǒng)為量子比特的操控和量子糾纏的生成提供了理論基礎(chǔ),是實現(xiàn)量子計算和量子通信技術(shù)的關(guān)鍵工具。
本文研究 Schrodinger-Poisson系統(tǒng):
其中, v(x)∈C(R3,R) 為勢函數(shù) I∈C(R3×R,R) 且 g∈ C(R3×R,R) ,該系統(tǒng)也稱為Schrodinger-Maxwell系統(tǒng),已被研究者們廣泛研究-8。在眾多研究方向中,有關(guān)系統(tǒng)的正解[8-10],非平凡解[7.I1-14,無窮多個高能量解[15-1,無窮多個負能量解,徑向解及一般解[18-2的存在性均已得到探討。然而,在這些研究中,眾多非線性項常被假定為超線性或次線性,對具有凹項和凸項組合的問題研究相對較少。凹凸非線性項的組合效應(yīng)最初由Ambrosetti等4在有界域的橢圓方程中研究,他們運用變分法證明了此類方程存在無窮多個負能量解。近年來,Liu等[2在Schrodinger型方程中引入了凹項和凸項非線性組合,成功得到無窮多個節(jié)點解。劉林祥等在一定條件下,借助臨界點理論中的Ekeland變分原理和山路定理,證明了Schrodinger-Poisson系統(tǒng)存在兩個正解。尤其,Shao等利用噴泉定理證明了凹凸非線性Schrodinger-Poisson系統(tǒng)無窮多個高能量解的存在性。Chen[22在文獻[16]的基礎(chǔ)上減弱了位勢函數(shù) σv 和非線性項 f 的約束條件,利用 Z2- 山路定理獲得了式(1)的無窮多高能量解的存在性,推廣了文獻[16的結(jié)論。具體而言,文獻[22]給出的假設(shè):
η(v1) v(x)∈C(R3,R) 滿足 infx∈R3v(x)gt;0 并且存在 常數(shù)滿足: lyl-→∞ ?Mgt;0,r0gt;0 。
)存在常數(shù) 112lt;2 和函數(shù)
(i=1,2)滿足:
(204號g
(20(f
并且存在常數(shù) 2?=6 c0gt;0 ,滿足:
(204號
對 x∈R3 一致成立,這里
,并且
(204號(f3′) 存在常數(shù) L0gt;0,θ?4 和 c1?0 滿足:
(24號(f4) f(x,-z)=-f(x,z),?(x,z)∈R3×R° 注1條件 η(v1) 由Bartsch等[23給出,用于保證工作空間的緊性嵌入;由條件 (g2) 和條件(f4)可知 φ 是偶函數(shù)。
定理 1[22] 假設(shè)條件 、(f2′),(f3′) 和(f4)成立,則存在
使得當 |μ|?μ0 時式(1)有無窮多個高能量解。
鑒于此,本文考慮在文獻[22]的基礎(chǔ)上相應(yīng)減弱位勢函數(shù) V 及非線性項 f 和 g 的約束條件,綜合使用噴泉定理、Fatou引理、Holder不等式和反證法,克服工作空間嵌入失緊的困難,探討Schrodinger-Poisson系統(tǒng)式(1)在任意的參數(shù) 的條件下解的存在性和多重性,豐富和推廣文獻[16]和文獻[22]的結(jié)論。
1預(yù)備知識
1.1符號說明與重要引理
記號: 是通常的Sobolev空間,其上的范數(shù)為:
Ls(R3) (1?slt;+∞ 表示通常的Lebesgue空間,其上的范數(shù)為:
ci(i∈N) 表示不同的正常數(shù)。
假設(shè)條件 、 (f2) 人 (f3) 和 (f5)~(f7) 成立:
存在常數(shù) 112lt;2 和函數(shù)
(204號其中,
使得
(20(f2) (20
Fxz)=+∞關(guān)于x∈R2一致成立。(f3) )存在常數(shù) L0gt;0 和 c1?0 使得
(f5)存在常數(shù) θgt;4,c1'gt;0 ,使得
(f6) 存在常數(shù) θgt;4,L'gt;0 ,使得
(f7) 對 ?s∈[0,1] , ?θ?1 ,使得
(204號其中, F(x,z)=zf(x,z)-4F(x,z), 。
注2條件 和條件 (g2) 限制了凹項 g 的性質(zhì),條件 (f1)~(f7) 限制了凸項 f 的性質(zhì)。其中條件
控制凹項 g 的增長速度,使 Πg 滿足變分框架下的有界性或緊性條件,結(jié)合條件
和條件 (f1) 確保非線性項在Sobolev空間中可積。
注3條件 (f1) 和條件 (f2) 保證了在合適的空間中, φ 是 C1 泛函,進而可以使用噴泉定理來尋找方程的解;條件 (f3) 中的不等式關(guān)系有助于構(gòu)造泛函 φ 的幾何結(jié)構(gòu),使得在應(yīng)用噴泉定理時,能夠證明 φ 存在多個臨界點,這些臨界點分別對應(yīng)式(1)的多個解。條件 (f5)~(f7) 中對非線性項 f 與相應(yīng)的原函數(shù) F 之間的關(guān)系作出規(guī)定,這不僅保證了解具有高能量,還可用于調(diào)控解的能量增長速度,從而在證明解的存在性和多重性過程中提供重要的能量估計。
定義:
則 E 是一個Hilbert空間,其上的內(nèi)積為:
范數(shù)為:llu=
顯然,在條件 η(v1) 下,空間嵌入 E?Ls(R3) (2?s?6) 是連續(xù)的,從而對任意 s∈[2,6] ,存在常數(shù) τsgt;0 ,使得
us?τsuE,?u∈E°
引理 1[23] 在假設(shè)條件 Π(υ1) 下,對任意 s∈[2,6) ,空間嵌入 E?Ls(R3) 是緊的。
用符號 D1,2(R3) 表示函數(shù)空間 C0∞(R3,R) 在范數(shù) |?|D1,2=|??|2 下的完備化空間,很清楚,空間D1,2(R3) 是能夠連續(xù)嵌入到空間 L6(R3) 。
引理 2[24] 對每一個 u∈H1(R3) ,存在唯一的?u∈D1,2(R3) ,其是式(1)第二個方程的解并且滿足(20號 ?u≥0 此外, 且
其中 c1gt;0 不依賴于 u (204號
引理 3[25] (Fatou引理)若 {fn} 是 Ω 上的非負可測函數(shù)列,則
引理 4[25] (Holder不等式)當 p?1,q?+∞ ,1+1=1。如果u∈(Ω),∈L(Ω),那么
定義泛函 φ:E?R ,
φ(u)=
其中, 。根據(jù)引理 2,φ 是明確定義的。此外, φ 是 C1 泛函,并且對任意 u,v∈E ,有
?φ'(u),v?=
眾所周知 (u,?u)∈E×D1,2(R3) 是式(1)的解當且僅當u∈E 為 φ 的臨界點。
定義 1[26] 設(shè) X 是Banach 空間,且 φ∈C1(X,R) 如果對任意 {un}?X 滿足 φ(un) 有界,并且 S'(un)?0 可推得 {un} 存在一個收斂子列,則稱 φ 滿足Palais-Smale(PS)條件。
1.2Palais-Smale條件的證明
引理5假設(shè)條件 (v1)、(g1)、(f1)、(f2) 和(f3) 成立,則泛函 φ 滿足(PS)條件。
證明:設(shè)序列 {un} 是泛函 φ 的一個Palais-Smale序列,即對某個 c∈R,φ(un)?c 并且 φ'(un)?0 (n?∞) 。斷言 有界,否則,則存在一子序列(仍記為 (un)) 滿足: |un|E?∞(n∈∞) 。
設(shè) ,則 |wn|E=1 存在一子序列滿足:
情形1 。設(shè)
則meas(Ω)gt;0
由條件 (f2) 得:存在 r1gt;0 使得
∣wnw 在 E 中弱收斂
在 Ls(R3) ( 2?slt;6 強收斂, F(x,z)≥0
(204號 ?x∈R3 |z|?r1
∣wn(x)?w(x)a.e.x∈R3
由條件 (f1) 可得
其中, c2=c0(1+r1-2) ,對所有的 x∈R3,z?r1 成立。結(jié)合式(5)和式(6)可推出:
令 ,有
若 w(x)≠0 ,則當 時,有
。因此對充分大的 n,Ω?Ωn(r1,+∞) ,由條件 (f2) 和Fatou引理可推出:
由引理2和式(2),可得
另外,結(jié)合條件 、Holder不等式和式(2),可得
注意到 112lt;2
從而
因此,結(jié)合式(3)、式(7)\~式(9)和式(11)可得
矛盾。
情形2 w=0 。由條件 ?f1? 和 pgt;2 ,可得
從而
因此
這里 c5=3c0(1+L0p-2)
結(jié)合條件 (f3) 可得
此外,由條件 、Holder不等式和式(2)可推出:
其中,
注意到 q1,q2∈(1,2) ,有
因此,由式(3)式(4)、式(12)和式(13)可知,
1+o(1)-(c1+c5)|wn|22,
這意味著 0?1 ,矛盾。故 {un} 在 E 中有界,則通過取子列,不妨設(shè)
∣un(x)?u(x)a.e.x∈R3°
由式(4)可得
φ′(un)-φ′(u),un-u=
由于 在 E 中弱收斂,有
?φ′(un)-φ′(u),un-u??0
從式(2)和引理2可得
并且由 {un}?E 的有界性可得 {?un} 在 D 中是有界的。因此,從Holder不等式,嵌入 D(R3)?L6(R3) 由式(2)和 un?u 在 Ls(R3)(2?slt;6) 中成立,可得當n?∞ 時有
|?un-?u|6|un-u|3|un|2?0
和
因此,當 n?∞ 時有
由條件 不等式和 supn|un|Elt;+∞ ,可知當 n∞ 時有
同理可得,
當 時也有
因此,當 n∞ 時有
由條件 (f1) 和Holder不等式可知當 n∞ 時有
同理可得,
因此,當 時有
結(jié)合式(14)\~式(18)可得當 時有
|un-u|E?0:
故 un?u 在 E 中強收斂。
設(shè) E 為可分的Banach空間,則存在 {xn}n=1∞(E) {fn}n=1∞?E*, 使得:
(i) ?fn,xm?=δnm ,其中,當 |n=m 時, δnn=1 當 時, δnm=0 。
(ii) (iii)
(204號
今:
則有引理6和引理7。
引理 6[24] 假設(shè)條件 η(v1) 成立,則對任意2?s?2* ,有
引理 7[27] (噴泉定理)設(shè) E 為Banach空間,Yk,Zk 按式(19)定義, φ∈C1(E,R) 且 φ(-u)=φ(u) ?u∈E 若對任意的 k∈N, 存在常數(shù) ρkgt;rkgt;0 ,使得:
(i)
(iii)φ 滿足(PS)條件。 則泛函 φ 有一列趨于 +∞ 的臨界值。
2基于噴泉定理的無窮多高能量解存在性的證明
定理2假設(shè)條件 (v1)?(g1)~(g2) 及 (f1) \~(f4)成立,則對 ?μ∈R ,式(1)有一列解 {un} 滿足:
φ(un)?∞(n?∞)
證明:顯然,由條件 (g2) 和條件 (f4) 可知 φ 是偶函數(shù),并且 φ(0)=0 0
先證明對任意的 k∈N ,存在常數(shù) ρkgt;0 ,使得
取 V0=infx∈R3V(x) ,由條件 η(v1) 知 V0gt;0 ,并且
由于有限維空間 Yk 上各種范數(shù)等價,則存在ckgt;0 ,使得
由條件 (f2) 知, ?Rkgt;0 ,使得當 |z|?Rk 時,
F(x,z)?ck|z|4°
由條件 (f1) 有
F(x,z)?ck|z|4-Mk|z|2,?(x,z)∈R3×R
結(jié)合引理2和式(10)、式20)\~式(22),對u∈Yk,有
注意到 q1,q2∈(1,2) ,因此,對充分大的 ρkgt;0 ,有
再證明對任意的 k∈N ,存在常數(shù) ,使得
由引理 4,βk2?0(k?∞) ,則 ?k0gt;0 ,使得當kgt;k0 時,
則結(jié)合式(10)、式(23)和條件 (f1) ,對 u∈Zk ∥u∥?1,q12 有
從而對 u∈Zk,|u|E=rk ,有(204號
(24注意到 βkp?0(k?∞) ,有 rk?∞ 則由式(24)可得(204號
根據(jù)噴泉定理, φ 有一列臨界點 {un}n=1∞ 使得φ(u)?+∞(n?∞)
注4事實上,條件 是確保工作空間緊性嵌入的一個經(jīng)典強制條件,很容易知道條件(f2)比條件 (f2′) 弱得多;條件 (g1) 和條件 (f3) 改進了條件
和條件 (f3′) 。在研究薛定諤-泊松系統(tǒng)的無窮多高能量解時,凹項通常被視為攝動項,具體而言,當參數(shù) μ 很小時,定理1的結(jié)果依然成立。這意味著即使引入凹項作為攝動,系統(tǒng)的高能量解的存在性仍然可以得到保證。此外,尋找無窮多個高能量解時,凸項 f 在0處未作出任何特定假設(shè)。
另外,容易驗證結(jié)合(f2)和(f5)可推出(f3),結(jié)合 (f2) 和 (f6) 可推出 (f3) , (f7) 可推出 (f3) 。因此,有以下推論。
推論1若將定理1中的(f3)替換為(f5),則定理1的結(jié)論仍然成立。
推論2若將定理1中的(f3)替換為(f6),則定理1的結(jié)論仍然成立。
推論3若將定理1中的(f3)替換為 (f7) ,則定理1的結(jié)論仍然成立。
3結(jié)語
本文在更具一般性的假設(shè)條件下,針對位勢函數(shù) V 及非線性項 f 和 g 展開研究,借助噴泉定理,證明了Schrodinger-Possion系統(tǒng)式(1)存在無窮多高能量解。在研究過程中,將泛函限定于工作空間 E ,運用反證法,結(jié)合空間緊嵌入性質(zhì)與Fatou引理,克服了因空間無界性導(dǎo)致的嵌入緊性缺失及方程非局部項帶來的(PS)序列有界性驗證難題,論證了能量泛函滿足噴泉定理所需條件。本研究成果不僅豐富和拓展了文獻[22]的相關(guān)結(jié)論,更為后續(xù)探索此類復(fù)雜系統(tǒng)奠定了基礎(chǔ)。然而,Schrodinger-Possion系統(tǒng)的研究領(lǐng)域廣袤無垠,本文的探索僅是開端。后續(xù)可嘗試運用本研究方法,深入探究R上帶有凹凸非線性項的四階Kirchhoff-Schrodinger-Possion方程無窮多解的存在性;也可借助對偶噴泉定理,挖掘Schrodinger-Possion系統(tǒng)無窮多負能量解的存在規(guī)律,為該領(lǐng)域研究開辟新方向。
參考文獻:
[1]劉林祥,曾晶.一類 Schrodinger-Maxwell系統(tǒng)的多解[J]. Advancesin Applied Mathematics,2022,11:4188.
[2]LIU Z,WANG ZQ.Schrodinger equationswith concave and convex nonlinearities[J].Zeitschriftfuir Angewandte Mathematik und Physik ZAMP,2005,56(4): 609-629.
[3]LI M M, TANG CL. Multiple positive solutions for Schrodinger-Poisson system in R3 involving concaveconvexnonlinearitieswithcriticalexponent[J]. Communications on Pure Applied Analysis,2017,16(5): 1587-1602.
[4]AMBROSETTI A,BREZIS H, CERAMI G. Combined effects of concave and convex nonlinearities in some ellipticproblems[J].Journalof Functional Analysis, 1994,122(2):519-543.
[5]楊國翠,周見文,段勝忠.一類Schrodinger-Maxwell系 統(tǒng)解的存在性[J].云南大學學報(自然科學版),2021,43 (3):437-443.
[6]CUI L,MAO A. Existence and asymptotic behavior of positive solutions to some logarithmic SchrodingerPoissonsystem[J].Zeitschrift fuir angewandteMathematik und Physik,2024,75(1):30.
[7]SHAO M Q, MAO A M. Schrodinger-Poisson system with concave-convexnonlinearities[J].Journal of Mathematical Physics,2019,60(6):061504.
[8]SUN J,WU T F.On Schrodinger-Poisson systems involving concave-convex nonlinearities via a novel constraint approach[J].Communications in Contemporary Mathematics,2021,23(6):2050048.
[9]LEI CY,SUO HM.Positive solutions fora SchrodingerPoisson system involving concave-convex nonlinearities[J]. Computersamp;Mathematicswith Applications,2017,74(6): 1516-1524.
[10] SUNJT,WUTF, FENG Z S. Multiplicity of positive solutions for a nonlinear Schrodinger-Poisson system[J]. Journal of Differential Equations,2016,260(1):586-627.
[11] SUNJT,WUTF,WUYZ.Existence ofnontrivial solutionforSchrodinger-Poisson systemswith indefinitesteeppotentialwell[J].Zeitschrift fuir AngewandteMathematikundPhysik,2O17,68:73.
[12] CHEN H Y,LIU S B. Standing waves with large frequencyfor4-superlinear Schrodinger-Poisson systems[J].Annali di Matematica Pura ed Applicata (1923-), 2015,194(1):43-53.
[13]LIU S B,WU Y.Standing waves for 4-superlinear Schrodinger-Poisson systems with indefinitepotentials [J].Bulletin oftheLondon Mathematical Society, 2017,49(2):226-234.
[14] LIU S B,MOSCONI S.On the Schrodinger-Poisson systemwithindefinitepotentialand 3-sublinear nonlinearity[J].JournalofDifferentialEquations, 2020,269(1):689-712.
[15]YANG M H, HAN Z Q. Existence and multiplicity results for the nonlinear Schrodinger-Poisson systems[J]. Nonlinear Analysis:Real World Applications,2012,13 (3):1093-1101.
[16] SHAO M,MAO A.Multiplicity of solutionsto Schrodinger-Poisson systemwithconcave-convex nonlinearities[J].Applied Mathematics Letters,2018,83: 212-218.
[17] ZHANGQ Z,LIF Y,LIANG Z P. Existence of multiplepositivesolutionsto nonhomogeneous Schrodinger-Poisson system[J].Applied Mathematics and Computation,2015,259:353-363.
[18]WANGLX,MASW,WANGXM.Onthe existence of solutions for nonhomogeneous Schrodinger-Poisson system[J].Boundary Value Problems,2016,2016:1-11.
[19] SUN JT.Infinitely many solutions for a class of sublinear Schrodinger-Maxwell equations[J].Journal of Mathematical Analysis and Applications,2012,390(2): 514-522.
[20] SUN M Z, SU JB, ZHAO L G. Infinitely many solutions fora Schrodinger-Poisson system withconcave and convex nonlinearities[J].Discrete and Continuous Dynamical Systems,2014,35(1):427-440.
[21] SUN M Z, SUJB, ZHAO L Solutions of a SchrodingerPoisson system with combined nonlinearities[J].Journal of Mathematical Analysis and Applications,2016,442 (2):385-403.
[22] CHEN SJ,LIL. Infinitelymany large energy solutions for the Schrodinger-Poisson system with concave and convex nonlinearities[J].Applied Mathematics Letters, 2021,112:106789.
[23]BARTSCHT,WANGZQ,WILLEMM.TheDirichlet problem for superlinear elliptic equations [J].Stationary Partial Differential Equations,2Oo5,2:1-55.
[24] CHEN SJ, TANGCL.High energy solutions for the superlinearSchrodinger-Maxwell equations[J].Nonlinear Analysis: Theory,Methodsamp;Applications,2009,71(10): 4927-4934.
[25] 趙福.一類非局部問題非平凡解的存在性和多解性[D]. 長春:長春師范大學,2022:10-30.
[26]BADIALE M, SERRA E. Semilinear elliptic equations for beginners[M].Springer,London,2011:1-199.
[27]WILLEM M. Minmax Theroems [M].Birkh?user,Boston, 1996:1-162. (責任編輯:李堆淑)