We consider the following class of fractional p&q-Laplacian differential equation with Choquard term:
{(−Δ)spu+(−Δ)squ+V(x)(|u|p−2u+|u|q−2u)+∫RNg(x)|u|rdx=∫RN∫RNk(u(x))K(u(y))|x−y|αdxdy,x∈RN,u∈Ws,pV(RN)⋂Ws,qV(RN),x∈RN,
where s∈(0,1),2≤p≤r≤q<N/s,0<α<N, (−Δ)sm with m∈{p,q} is the fractional m-Laplacian operator, g(x):RN→R, by introducing a potential term function to restore compactness in the corresponding spaces. Using variational techniques and inequalities such as Hardy–Littlewood–Sobolev, we ensure the geometric conditions of the mountain pass theorem in order to show the existence of solutions.
Citation: Liyan Wang, Baocheng Zhang, Zhihui Lv, Kun Chi, Bin Ge. Existence of solutions for the fractional p&q-Laplacian equation with nonlocal Choquard reaction[J]. AIMS Mathematics, 2025, 10(4): 9042-9054. doi: 10.3934/math.2025416
[1] | Lulu Tao, Rui He, Sihua Liang, Rui Niu . Existence and multiplicity of solutions for critical Choquard-Kirchhoff type equations with variable growth. AIMS Mathematics, 2023, 8(2): 3026-3048. doi: 10.3934/math.2023156 |
[2] | Dengming Liu, Luo Yang . Extinction behavior for a parabolic p-Laplacian equation with gradient source and singular potential. AIMS Mathematics, 2022, 7(1): 915-924. doi: 10.3934/math.2022054 |
[3] | Hui Liang, Yueqiang Song, Baoling Yang . Some results for a supercritical Schrödinger-Poisson type system with (p,q)-Laplacian. AIMS Mathematics, 2024, 9(5): 13508-13521. doi: 10.3934/math.2024658 |
[4] | Yu-Cheng An, Bi-Jun An . Multiple solutions to a nonlocal sub-Laplacian system with critical growth and logarithmic perturbation. AIMS Mathematics, 2025, 10(5): 10605-10623. doi: 10.3934/math.2025482 |
[5] | Zhilin Li, Guoping Chen, Weiwei Long, Xinyuan Pan . Variational approach to p-Laplacian fractional differential equations with instantaneous and non-instantaneous impulses. AIMS Mathematics, 2022, 7(9): 16986-17000. doi: 10.3934/math.2022933 |
[6] | Xiuhong Long, Jixiu Wang . A fractional Laplacian problem with critical nonlinearity. AIMS Mathematics, 2021, 6(8): 8415-8425. doi: 10.3934/math.2021488 |
[7] | Xudong Shang . Existence and concentration of positive solutions for a p-fractional Choquard equation. AIMS Mathematics, 2021, 6(11): 12929-12951. doi: 10.3934/math.2021748 |
[8] | Lamya Almaghamsi, Aeshah Alghamdi, Abdeljabbar Ghanmi . Existence of solution for a Langevin equation involving the ψ-Hilfer fractional derivative: A variational approach. AIMS Mathematics, 2025, 10(1): 534-550. doi: 10.3934/math.2025024 |
[9] | Xiao Wang, D. D. Hai . On a class of one-dimensional superlinear semipositone (p,q) -Laplacian problem. AIMS Mathematics, 2023, 8(11): 25740-25753. doi: 10.3934/math.20231313 |
[10] | Zehra Yucedag . Variational approach for a Steklov problem involving nonstandard growth conditions. AIMS Mathematics, 2023, 8(3): 5352-5368. doi: 10.3934/math.2023269 |
We consider the following class of fractional p&q-Laplacian differential equation with Choquard term:
{(−Δ)spu+(−Δ)squ+V(x)(|u|p−2u+|u|q−2u)+∫RNg(x)|u|rdx=∫RN∫RNk(u(x))K(u(y))|x−y|αdxdy,x∈RN,u∈Ws,pV(RN)⋂Ws,qV(RN),x∈RN,
where s∈(0,1),2≤p≤r≤q<N/s,0<α<N, (−Δ)sm with m∈{p,q} is the fractional m-Laplacian operator, g(x):RN→R, by introducing a potential term function to restore compactness in the corresponding spaces. Using variational techniques and inequalities such as Hardy–Littlewood–Sobolev, we ensure the geometric conditions of the mountain pass theorem in order to show the existence of solutions.
The purpose of this paper is to investigate the existence of solutions to the following fractional p&q-Laplacian equation with Choquard term:
(−Δ)spu+(−Δ)squ+V(x)(|u|p−2u+|u|q−2u)+∫RNg(x)|u|rdx=∫RN∫RNk(u(x))K(u(y))|x−y|αdxdy | (1.1) |
where (−Δ)sp and (−Δ)sq are the fractional p&q-Laplacian operators, s∈(0,1),2≤p≤r≤q<N/s,0<α<N, g(x):RN→R+.
The nonlocal operator (−Δ)sm is the fractional m-Laplacian operator, defined as
(−Δ)smu(x)=2limϵ→0∫RN∖Bε(x)|u(x)−u(y)|m−2(u(x)−u(y))|x−y|N+smdy,x∈RN, |
where m∈(p,q), s∈(0,1), 2≤m<Ns.
The term on the right side of Eq (1.1) is referred to as the Choquard term, for the case s=1 and K(u)=|u|2, Eq (1.1) is called the Choquard–Pekar equation [1]. The nonlinear Choquard equation can be used to describe mathematical physical phenomena. The Choquard nonlinear term in it appears in many mathematical physical models, such as the mean field limit of weakly interacting molecules, the Pekar theory of polarons, and the Schrodinger–Newton system, etc [2,3,4,5,6].
Ambrosio [7] explored the issue of the lack of compactness associated with the critical Sobolev exponents. He addressed this issue by making an asymptotic estimation of the minimum values. Subsequently, he applied the mountain pass theorem. By virtue of this theorem, he proved the existence of weak solutions to Eq (1.2). These weak solutions are both non-negative and non-trivial.
(−Δ)s1pu+(−Δ)s2qu=μ|u|q−2u+λ|u|p−2u+|u|p∗s1−2u. | (1.2) |
In the local case p=q≠2, Eq (1.2) becomes a fractional p-Laplacian equation of the form:
(−Δ)spu+V(x)|u|p−2u=f(x,u),x∈RN. | (1.3) |
Cheng and Tang [8] discussed that both potential function and nonlinear term are allowed to change signs, and obtained the existence of solutions to the above problem. Torres [9] uses the mountain pass theorem with (C)c conditions and other theorems; problem (1.3) is presented as the existence of solutions and radial symmetric solutions when f satisfies the p-superlinearity condition. The idea to prove their result, consists in replacing the path in the mountain pass setting by its symmetrization. By applying the fixed-point method, Souza [10] considers the existence of solutions to the above problem with mixed nonlinearity term f(x,u), where the nonlinear f(x,u)=l(x,u)+λh(x).
In addition, under the continuity and boundedness of potential function V(x), Xu et al.[11] establish the existence of a solution via the Fountain theorem for the case f(x,u)=l(x,u)+λ|u|q−2u+h(x)|u|p−2u. Using variational methods, Xiang [12] prove the nonexistence and multiplicity of solutions to problem (1.3) depending on λ in the case f(x,u)=λa(x)|u|p−2u−h(x)|u|p−2u; their results extend the previous work of the fractional p-Laplacian setting. Furthermore, they weaken one of the conditions used in their paper. Hence the results of this paper are new even in the fractional Laplacian case.
(−Δ)su+V(εx)u+Cu=f(x,u),x∈RN. | (1.4) |
Very recently, numerous studies exist concerning the existence, multiplicity, and concentration behavior of solutions for equations of the form (1.4), particularly under varying Sobolev subcritical potential conditions; we also refer to [13,14,15,16] and references therein.
(−Δ)spu+(−Δ)squ+V(εx)(up−1+uq−1)=f(u)+uq∗s−1,x∈RN, | (1.5) |
where ε>0 is a small parameter, s∈(0,1),1<p<q<N/s,V:RN→R is a continuous function. Ambrosio [17] used the topological structure of the set of potential functions V that reach their minimum value, combined the truncation of independent variables with Morse-type iterations, the minimax theorem, and the Ljusternik–Schnirellmann category theory to obtain the multiplicity results of the solutions to Eq (1.5).
(−Δ)spu+(−Δ)squ+V(x)(|u|p−2u+|u|q−2u)+g(x)|u|r−2u=K(x)f(x,u)+h(u),x∈RN, | (1.6) |
where V:RN→R+ is a continuous function, and h:R→R is a perturbation term, Wang [18] studied two cases of Eq (1.6): If f(x,u) is sublinear, by means of Clark's theorem, which takes into account the symmetric condition of the functional, infinitely many solutions can be obtained; if f(x,u) is superlinear, by using the symmetric mountain pass theorem, infinitely many solutions can be derived.
εp(−Δ)pu+εq(−Δ)qu+V(x)(|u|p−2u+|u|q−2u)=W(x)f(u),x∈RN, | (1.7) |
where 1<p<q<N,Δsu=−div(|∇u|s−2∇u), s∈{p,q}, is the s-Laplacian operator, and ε is a small positive parameter. Zhang et al.[19] assumed that the potential energy V, W, and nonlinear term f satisfy certain conditions. Using topology and variational methods, they established the existence of positive solutions to Eq (1.7) when the function is sufficiently small, and also proved the nonexistence of ground state solutions.
(−Δ)spu+(−Δ)squ+V(εx)(|u|p−2u+|u|q−2u)=f(u), x∈RN, | (1.8) |
where ε>0 is a small parameter, s∈(0,1),1<p<q<N/s, the above equation has a continuous potential energy function and a nonlinear term with subcritical growth. Alves et al. [20] applied theoretical tools, such as the minimax theorem, to establish the existence and multiplicity of solutions to Eq (1.8), provided that the parameter ε is sufficiently small.
Motivated by the aforementioned papers, in this article, this paper investigates the fractional p&q-Laplacian problem with a Choquard term, characterized by the following features:
ⅰ) The problem involves the combined effects of fractional differential operators with unbalanced growth, where the associated energy corresponds to a fractional differential variational functional.
ⅱ) Due to the unbounded nature of the domain, the Palais–Smale sequence fails to exhibit compactness.
ⅲ) The Choquard reaction term on the right-hand side introduces a nonlocal characteristic.
Before presenting our main result, we first introduce the assumptions on the potential V(x) and the nonlinearity k(u).
(V1) V(x)∈C(RN,R+): there exists a constant V0>0, such that for all x∈RN, V(x)≥V0.
(V2) There exist constants d,b>0 and γ>N(m−1) such that
lim|y|→∞meas({x∈RN |V(x)|x|γ≤b }∩Bd(y))=0, |
where meas(⋅) is the Lebesgue measure in RN.
(k1) k(x)∈C(R,R), there exist p≤p1≤p2 and a positive constant C0 such that
|k(t)|≤C0(|t|p1−1+|t|p2−1),∀t∈R, |
where p2∈((2N−α)qN,(2N−α)q∗N), q∗=NqN−q.
(k2) There exists ς>q such that
0<ςK(t)≤2k(t)t,∀t∈R, |
where K(t)=∫t0k(x)dx.
Theorem 1.1. Assuming that conditions (V1), (V2), (k1), and (k2) are satisfied, problem (1.1) has at least one nontrivial solution in E.
This paper is organized as follows: In Section 2, we state the notations and main Lemma. Section 3 will be devoted to the proofs of the main results of the paper.
There may be multiple selection methods for some spaces, but they should be considered as suitable for discussion. In order to obtain a solution to the problem (1.1), the space should be smaller, which can make the direction of the discussion clearer and eliminate some uncertainty. As for its smoothness, it is also advisable to request a lower level as much as possible to avoid increasing the complexity of argumentation and calculation. Next we introduce some relevant space and variational setting.
The fractional Sobolev space Ws,m(RN) is defined by
Ws,m(RN)={u∈Lm(RN),[u]s,m<∞}, |
with the corresponding norm
‖u‖s,m=(‖u‖mm+[u]ms,m)1m, |
where [u]s,m denotes the Gagliardo seminorm and ‖u‖s is given by
[u]s,m=(∫R2N|u(x)−u(y)|m|x−y|N+smdxdy)1m,m∈{p,q},‖u‖s=(∫RN|u|sds)1s, |
for u,v∈Ws,m(RN), we have
⟨u,v⟩s,m=∫R2N|u(x)−u(y)|m−2(u(x)−u(y))(v(x)−v(y))|x−y|N+smdxdy, |
let us introduce the space
Ws,mV(RN)={u∈Ws,m(RN),∫RNV(x)|u|mdx<+∞}, |
and it is equipped with the norm
‖u‖Ws,mV=([u]ms,m+‖u‖mm,V)1m,‖u‖mm,V=∫RNV(x)|u|mdx, |
after consideration, we define the working space:
E=Ws,pV(RN)⋂Ws,qV(RN), |
which is a uniformly convex Banach space (similar to [7]), endowed with the norm
‖u‖E=∑m=p,q‖u‖Ws,mV=‖u‖Ws,pV+‖u‖Ws,qV. |
We define the energy functional associated with problem (1.1)
J(u)=1p(∫R2N|u(x)−u(y)|p|x−y|N+spdydx+∫RNV(x)|u|pdx)+1q(∫R2N|u(x)−u(y)|q|x−y|N+sqdydx+∫RNV(x)|u|qdx)+1r∫RNg(x)|u|rdx−12∫RN∫RNK(u(x))K(u(y))|x−y|αdydx, |
applying some standard arguments, we can see that J with the derivative given by
⟨J′(u),v⟩=∑m=p,q(∫R2N|u(x)−u(y)|m−2(u(x)−u(y))(v(x)−v(y))|x−y|N+smdxdy+∫RNV(x)|u|m−2uv(x)dx)+∫RNg(x)|u|r−2uv(x)dx−∫RN∫RNK(u(y))k(u(x))v(x)|x−y|αdydx. |
∙ "⇀" means weak convergence, "→" means strong convergence.
∙ "↪" means continuous embedding, "↪↪" means compact embedding.
Definition 2.1. [21] Let (E,‖⋅‖) be a real Banach space, φ∈C1(E,R). We say that φ∈C1(E,R) satisfies the (PS)c-condition if any sequence {un}⊂E such that
φ(un)→candφ′(un)→0, | (2.1) |
admits a strongly convergent subsequence. Such a sequence is called a (PS) sequence on level c, or a (PS)c-sequence for short.
Now, we present the following lemmas which will play a crucial role in the proof of the main theorems.
Lemma 2.1. (Hardy–Littlewood–Sobolev inequality [22]) Let 1<r,s<+∞ and 0<α<N such that 1r+1s+αN=2. If ϕ∈Lr(RN) and ψ∈Ls(RN), then there exists a sharp constant C(N,α,r,s)>0, independent of ϕ and ψ, such that
∫RN∫RNϕ(x)ψ(y)|x−y|αdydx≤C(N,α,r,s)|ϕ|r|ψ|s. |
Lemma 2.2.[18] Suppose that (V1) and (V2) are valid. If {uj} is a bounded sequence in E, then there exists u∈E∩Lϑ(RN) such that, up to a subsequence,
uj→ustronglyinLϑ(RN), |
as j→∞, for any ϑ∈[1,m∗s), m∗s=NmN−sm.
Lemma 2.3.[21] Let E be a real Banach space with its dual space E∗, φ∈C1(E,R), for some μ<η, ρ>0, and e∈E with ‖e‖>ρ, such that
max{φ(0),φ(e)}≤μ<η≤inf‖u‖=ρφ(u), |
under the above assumption, if the functional φ satisfies the (PS)c-condition, then we can see that c is a critical point of φ, where c is the mountain pass level of φ, defined as
c=infγ∈Γmaxt∈[0,1]φ(γ(t)), |
and Γ={γ∈C([0,1],E):γ(0)=0,γ(1)=e}, Γ is the set of continuous paths joining 0 and e.
Based on self-argumentation or utilizing existing abstract critical point theorems, provide reasonable and specific conditions for the studied problem to ensure the existence of differentiable functional critical points. Starting from the given specific conditions, verify the requirements of the Mountain Pass theorem, and obtain the existence of the solution to the problem.
To prove Theorem 1.1, we will apply a mountain pass-type argument to find critical the point of J. Firstly, we need to verify that the functional J satisfies the geometrical assumptions of the mountain pass theorem.
Lemma 3.1. Assume that (V1), (V2), (k1), and (k2) hold; then the functional J(u) satisfies the following conditions:
(a) There exist σ,ϱ>0, such that J(u)≥σ with ||u||=ϱ.
(b) There exist δ>0 and u0∈E such that ||u0||>δ⇒J(u0)<0.
Proof. (a) Using the Hardy–Littlewood–Sobolev inequality and (k1), we immediately obtain
∫RN∫RNK(u(x))K(u(y))|x−y|αdydx≤C1(‖u‖2p1rp1+‖u‖2p2rp2), |
where C1 is a constant, let u∈E; we can choose ||u||=ϱ∈(0,1), then we have ‖u‖qWs,qV≤‖u‖pWs,pV≤1.
Combining the above inequality, we can infer
J(u)=‖u‖pWs,pVp+‖u‖qWs,qVq+‖u‖rr,gr−12∫RN∫RNK(u(x))K(u(y))|x−y|αdydx≥‖u‖pWs,pVp+‖u‖qWs,qVq+‖u‖rr,gr−C1(‖u‖2p1rp1+‖u‖2p2rp2)≥‖u‖qWs,pVq+‖u‖qWs,qVq−C1(‖u‖2p1rp1+‖u‖2p2rp2)≥C2q(‖u‖Ws,pV+‖u‖Ws,qV)q−C1(‖u‖2p1E+‖u‖2p2E)=C2‖u‖qEq−C1(‖u‖2p1E+‖u‖2p2E), |
where C2 is a constant and
‖u‖r,g=(∫RNg(x)|u|rdx)1r. |
Since p2∈((2N−α)q/N,(2N−α)q∗/N), then 2p2>q; consequently, ϱ is sufficiently small and can find σ>0 such that J(u)≥σ.
(b) Fix u0∈W1,ξV(RN)∖{0}, with u0>0; let us define
h(τ)=∫RN∫RNK(τu0‖u0‖)K(τu0‖u0‖)|x−y|αdxdy, |
according to the (k2) condition, we immediately obtain
h′(τ)=∫RN∫RN2K(τu0‖u0‖)k(τu0‖u0‖)u0‖u0‖|x−y|αdxdy≥λτ∫RN∫RNK(τu0‖u0‖)K(τu0‖u0‖)|x−y|αdxdy≥λτh(τ), | (3.1) |
in terms of interval [1,τ‖u0‖], for τ>max{1/2,1/‖u0‖}, we deduce that
h(τ‖u0‖)≥h(1)(τ‖u0‖)λ, |
and therefore
∫RN∫RNK(τu0)K(τu0)|x−y|αdxdy≥∫RN∫RNK(u0‖u0‖)K(u0‖u0‖)|x−y|αdxdy(τ‖u0‖)λ.. |
Moreover, for τ>1/‖u0‖, it follows from the above conclusion that
J(τu0)=τpp(∫R2N|u0(x)−u0(y)|p|x−y|N+spdydx+∫RNV(x)|u0|pdx)+τqq(∫R2N|u0(x)−u0(y)|q|x−y|N+sqdydx+∫RNV(x)|u0|qdx)+τrr∫RNg(x)|u0|rdx−12∫RN∫RNK(τu0(x))K(τu0(y))|x−y|αdydx≤C3(τp+τq+τr)−C4τς, |
where C3 and C4 are constants. Taking e=τu0, for τ sufficiently large, we deduce that (b) holds since ς>q.
Proof of Theorem 1.1. First, under the assumptions in Theorem 1.1, we need to prove that any (PS)c sequence {un} is bounded in E. For every c∈R, let {un}⊂E be a (PS)c-sequence; that is, J(un)→c and J′(un)→0. Then we deduce that
c+‖un‖E≥J(un)−1ς⟨J′(un),un⟩=(1p−1ς)(∫R2N|un(x)−un(y)|p|x−y|N+spdydx+∫RNV(x)|un(x)|pdx)+(1q−1ς)(∫R2N|un(x)−un(y)|q|x−y|N+sqdydx+∫RNV(x)|un|qdx)+(1r−1ς)∫RNg(x)|un|rdx+∫RN∫RNK(un)|x−y|α[1ςk(un)un−12K(un)]dydx≥(1q−1ς)∑m=p,q[∫R2N|un(x)−un(y)|m|x−y|N+smdxdy+∫RNV(x)|un|m−2unv(x)dx]=(1q−1ς)(‖un‖pWs,pV+‖un‖qWs,qV). |
Arguing by contradiction, we assume that ||un||→∞, and then we have the following two cases:
(1) ‖un‖Ws,pV→∞.
(2) ‖un‖Ws,pV is bounded, ‖un‖Ws,qV→∞.
We divide into two cases to prove the conclusion.
Case 1. Since p<q, we can see that |un‖q−pWs,qV≥1, then ‖un‖qWs,qV≥‖un‖pWs,qV>1, for n large enough
c+‖un‖E≥(1q−1ς)(‖un‖pWs,pV+‖un‖qWs,qV)≥(1q−1ς)(‖un‖pWs,pV+‖un‖pWs,qV)≥C5(‖un‖Ws,pV+‖un‖Ws,qV)p=C5‖un‖pE, |
clearly, this is impossible since p>1, and we get a contradiction.
Case 2. In view of the above relation, we immediately obtain
c+‖un‖Ws,pV+‖un‖Ws,qV≥(1q−1ς)(‖un‖pWs,pV+‖un‖qWs,qV)≥(1q−1ς)‖un‖pWs,qV, |
moreover, we have
c‖un‖pWs,qV+‖un‖Ws,pV‖un‖pWs,qV+‖un‖Ws,qV‖un‖pWs,qV≥(1q−1ς), |
which is a contradiction.
Hence, the (PS)c sequence {un} of J is bounded in E. According to Lemma 2.2, we can extract a subsequence (still denoted {un}) and u∈E such that
{un⇀uinE,un→uinLϑ(RN),un→ua.e.inRN, |
where ϑ∈[m,m∗s), m∗s=NmN−sm.
Observe that, by a direct calculation, we have
⟨J′(un)−J′(u),un−u⟩=∑m=p,q∫R2N|un(x)−un(y)|m−2(un(x)−un(y))((un−u)(x)−(un−u)(y))|x−y|N+smdydx−∑m=p,q∫R2N|u(x)−u(y)|m−2(u(x)−u(y))((un−u)(x)−(un−u)(y))|x−y|N+smdydx+∑m=p,q∫RNV(x)(|un|m−2un−|u|m−2u)(un−u)dx+∫RNg(x)(|un|r−2un−|u|r−2u)(un−u)dx+∫RN∫RNK(un(y))k(un(x))(un(x)−u(x))|x−y|αdydx−∫RN∫RNK(u(y))k(u(x))(un(x)−u(x))|x−y|αdydx=on(1). | (3.2) |
Next, we estimate the above each term. Applying the Minkowski inequality and Holder inequality, we can conclude that
|∫RN∫RNK(un(y))k(un(x))(un(x)−u(x))|x−y|αdydx|≤[∫RN|K(un(y))|rdy]1r[∫RN|k(un(x))(un(x)−u(x))|rdx]1r≤C6[∫RN(|un|p1+|un|p2)rdy]1r[∫RN[(|un|p1−1+|un|p2−1)⋅|un(x)−u(x)|]rdx]1r≤C7[‖un‖p1rp1+‖un‖p2rp2)(‖un‖p1−1rp1‖un(x)−u(x)‖rp1+‖un‖p2−1rp2‖un(x)−u(x)‖rp2)≤C8[‖un(x)−u(x)‖rp1+‖un(x)−u(x)‖rp2]=on(1). | (3.3) |
Similarly, we can obtain
|∫RN∫RNK(u(y))k(u(x))(un(x)−u(x))|x−y|αdydx|≤C9[‖un(x)−u(x)‖βp1+‖un(x)−u(x)‖βp2] = on(1), | (3.4) |
where Ci(i=6,...9) is constant, β=2N2N−α. On the other hand, taking into account that m≥2, applying the following inequality
|d−b|m≤cm(|d|m−2d−|b|m−2b)(d−b),d,b∈RN. |
We infer that
[|un(x)−un(y)|m−2(un(x)−un(y))−|u(x)−u(y)|m−2(u(x)−u(y))]×(un(x)−u(x)−un(y)+u(y))|x−y|−(N+sm)dxdy≥cm∫R2N|un(x)−un(y)−u(x)+u(y)|m|x−y|N+smdydx≥0, | (3.5) |
and
∑m=p,q∫RNV(x)(|un|m−2un−|u|m−2u)(un−u)dx≥cm∑m=p,q∫RNV(x)|un−u|mdx=∑m=p,qcm‖un−u‖mm,V≥0. | (3.6) |
Similarly, we obtain
∫RNg(x)(|un|r−2un−|u|r−2u)(un−u)dx≥0. | (3.7) |
Therefore, it is easy to see that
[|un(x)−un(y)|m−2(un(x)−un(y))−|u(x)−u(y)|m−2(u(x)−u(y))]×(un(x)−u(x)−un(y)+u(y))|x−y|−(N+sm)dxdy=on(1), | (3.8) |
we also have
∑m=p,q∫RNV(x)(|un|m−2un−|u|m−2u)(un−u)dx=on(1), | (3.9) |
and
∫RNg(x)(|un|r−2un−|u|r−2u)(un−u)dx=on(1). | (3.10) |
Now, we obtain
∑m=p,q‖un−u‖mm,V=on(1), | (3.11) |
moreover, there holds
∑m=p,q∫R2N∫R2N|(un−u)(x)−(un−u)(y)|m|x−y|N+smdxdy=on(1). | (3.12) |
Putting together (3.11) and (3.12), we have
‖un−u‖E=∑m=p,q(∫R2N|(un−u)(x)−(un−u)(y)|m|x−y|N+smdxdy+∫RNV(x)|un−u|mdx)1m=on(1). |
We can see that the functional J(u) satisfies the (PS)c-condition. Thus, problem (1.1) possesses at least one solution. The proof is completed.
We point out that the main novelty of the paper is the combination of both double phase fractional differential operators and nonlocal Choquard reaction. Using employing variational techniques and inequalities such as Hardy-Littlewood-Sobolev, ensuring the geometric conditions of the Mountain Pass theorem for the energy functional. We demonstrate the existence of solution for the type of problem.
Every author made an equal contribution to this study. Conceptualization and formal analysis by Baocheng Zhang and Zhihui Lv; validation and visualization by Kun Chi and Bin Ge; and Writing–original draft, review and editing by Liyan Wang. All authors have read and approved the final version of the manuscript for publication.
The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.
This work was supported by the Guangdong Basic and Applied Basic Research Foundation (2022A1515110084), the Guangzhou Municipal Science and Technology Bureau (202201010246), and the Fundamental Research Foundation for Universities of Heilongjiang Province (2024-KYYWF-0921).
The authors declare there are no conflicts of interest.
[1] | S. I. Pekar, Untersuchung über die Elektronentheorie der Kristalle, Akademie Verlag: Berlin, Germany, 1954. https://dx.doi.org/10.1515/9783112649305 |
[2] |
E. H. Lieb, Existence and uniqueness of the minimizing solution of Choquard's nonlinear equation, Stud. Appl. Math., 57 (1977), 93–105. https://dx.doi.org/10.1002/sapm197757293 doi: 10.1002/sapm197757293
![]() |
[3] |
E. Lenzmann, Uniqueness of ground states for pseudorelativistic Hartree equations, Anal. PDE, 2 (2009), 1–27. https://dx.doi.org/10.2140/apde.2009.2.1 doi: 10.2140/apde.2009.2.1
![]() |
[4] |
V. Moroz, J. V. Schaftingen, Groundstates of nonlinear Choquard equations: existence, qualitative properties, and decay asymptotics, J. Funct. Anal., 265 (2013), 153–184. https://dx.doi.org/10.1016/j.jfa.2013.04.007 doi: 10.1016/j.jfa.2013.04.007
![]() |
[5] |
V. Moroz, J. Van Schaftingen, Semi-classical states for the Choquard equations, Calc. Var., 52 (2015), 199–235. https://dx.doi.org/10.1007/s00526-014-0709-x doi: 10.1007/s00526-014-0709-x
![]() |
[6] |
J. Frölich, B. L. G. Jonsson, E. Lenzmann, Boson stars as solitary waves, Commun. Math. Phys., 274 (2007), 1–30. https://dx.doi.org/10.1007/s00220-007-0272-9 doi: 10.1007/s00220-007-0272-9
![]() |
[7] |
V. Ambrosio, Fractional p&q Laplacian problems in RN with critical growth, Z. Anal. Anwend., 39 (2020), 289–314. http://dx.doi.org/10.4171/ZAA/1661 doi: 10.4171/ZAA/1661
![]() |
[8] |
B. T. Cheng, X. H. Tang, New existence of solutions for the fractional p-Laplacian equations with sign-changing potential and nonlinearity, Mediterr. J. Math., 13 (2016), 3373–3387. http://dx.doi.org/10.1007/s00009-016-0691-y doi: 10.1007/s00009-016-0691-y
![]() |
[9] |
C. E. Torres, Existence and symmetry result for fractional p-Laplacian in RN, Commun. Pure Appl. Anal., 16 (2017), 99–114. http://dx.doi.org/10.3934/cpaa.2017004 doi: 10.3934/cpaa.2017004
![]() |
[10] |
M. de Souza, On a class of nonhomogeneous fractional quasilinear equations in RN with exponential growth, Nonlinear Differ. Equ. Appl., 22 (2015), 499–511. http://dx.doi.org/10.1007/s00030-014-0293-y doi: 10.1007/s00030-014-0293-y
![]() |
[11] |
J. F. Xu, Z. L. We, W. Dong, Weak solutions for a fractional p-Laplacian equation with sign-changing potential, Complex Var. Elliptic Equ., 61 (2016), 284–296. http://dx.doi.org/10.1080/17476933.2015.1076808 doi: 10.1080/17476933.2015.1076808
![]() |
[12] |
M. Q. Xiang, B. L. Zhang, V. D. Radulescu, Existence of solutions for perturbed fractional p-Laplacian equations, J. Differ. Equations, 260 (2016), 1392–1413. http://dx.doi.org/10.1016/j.jde.2015.09.028 doi: 10.1016/j.jde.2015.09.028
![]() |
[13] |
N. S. Papageorgiou, V. D. Radulescu, W. Zhang, Global existence and multiplicity for nonlinear Robin eigenvalue problems, Results Math., 78 (2023), 133. https://dx.doi.org/10.1007/s00025-023-01912-8 doi: 10.1007/s00025-023-01912-8
![]() |
[14] |
N. S. Papageorgiou, V. D. Radulescu, W. Zhang, Multiple solutions with signinformation for double-phase problems with unbalanced growth, Bull. London Math. Soc., 57 (2025), 638–656. https://dx.doi.org/10.1112/blms.13218 doi: 10.1112/blms.13218
![]() |
[15] | N. S. Papageorgiou, J. Zhang, W. Zhang, Global existence and multiplicity of solutions for nonlinear singular eigenvalue problems, Discrete Cont. Dyn. Syst.-Ser. S, 18 (2025), 1440–1456. https://dx.doi.org/10.3934/dcdss.2024018 |
[16] |
J. Zhang, Y. Zhang, An infinite sequence of localized semiclassical states for nonlinear Maxwell-Dirac system, J. Geom. Anal., 34 (2024), 277. https://dx.doi.org/10.1007/s12220-024-01724-4 doi: 10.1007/s12220-024-01724-4
![]() |
[17] |
V. Ambrosio, Fractional (p,q)-Schrodinger equations with critical and supercritical growth, Appl. Math. Optim., 86 (2022), 31. http://dx.doi.org/10.1007/s00245-022-09893-w doi: 10.1007/s00245-022-09893-w
![]() |
[18] |
L. Y. Wang, K. Chi, J. H. Shen, B. Ge, Infinitely many solutions for the fractional p&q-Laplacian problems in RN, Symmetry, 14 (2022), 2486. https://dx.doi.org/10.3390/sym14122486 doi: 10.3390/sym14122486
![]() |
[19] |
J. Zhang, W Zhang, V. D. Radulescu, Double phase problems with competing potentials: concentration and multiplication of ground states, Math. Z., 301 (2022), 4037–4078. http://dx.doi.org/10.1007/s00209-022-03052-1 doi: 10.1007/s00209-022-03052-1
![]() |
[20] |
C. O. Alves, V. Ambrosio, T. Isernia, Existence, multiplicity and concentration for a class of fractional p&q Laplacian problems in RN, Commun. Pure Appl. Anal., 18 (2019), 2009–2045. http://dx.doi.org/10.3934/cpaa.2019091 doi: 10.3934/cpaa.2019091
![]() |
[21] | M. Willem, Minimax theorems, Basel: Birkhauser, 1996. https://dx.doi.org/10.1007/978-1-4612-4146-1 |
[22] | E. H. Lieb, M. P. Loss, Analysis, 2 Eds., Providence: American Mathematical Society, 2001. https://dx.doi.org/10.1090/gsm/014 |