---
title: Nonlinear Fractional Choquard Equations
url: https://www.emergentmind.com/topics/nonlinear-fractional-choquard-equation
type: topic
---

# Nonlinear Fractional Choquard Equations

Nonlinear fractional Choquard equations form a class of nonlocal equations in which a fractional operator is coupled to a Hartree–Choquard convolution term. A representative model is
$$
(-\Delta)^s u + u = (|x|^{-\mu} * F(u))\,f(u)\quad \text{in }\mathbb{R}^N,
$$
while power-type forms include
$$
(-\Delta)^s u + w\,u = (K_\alpha * |u|^p)\,|u|^{p-2}u,
$$
with $K_\alpha(x)=|x|^{\alpha-N}$ or $I_\alpha(x)=c_{N,\alpha}|x|^{-(N-\alpha)}$ [1412.3184][1406.7517]. In contemporary work, the class includes fractional $p$-Laplacian and $p$-Kirchhoff operators, singular weights, critical Sobolev and Hardy terms, critical exponential nonlinearities, normalized constraints, magnetic perturbations, and analogues on hyperbolic space, groups of polynomial growth, and lattice graphs [2410.05185][2506.00412][2409.10236][2208.00236][2507.22552].

## 1. Canonical models and parameter regimes

The Euclidean whole-space formulation is usually built from a fractional diffusion term and a Riesz-type interaction. In the autonomous setting treated by Shen, Gao, and Yang, the equation is
$$
(-\Delta)^s u + u = (|x|^{-\mu} * F(u))\,f(u)\quad \text{in }\mathbb{R}^N,
$$
with $N\ge 3$, $s\in(0,1)$, and $\mu\in(0,N)$ [1412.3184]. In the power case studied by D’Avenia, Siciliano, and Squassina, the stationary equation takes the form
$$
(-\Delta)^s u + w\,u = (K_\alpha * |u|^p)\,|u|^{p-2}u \quad \text{in }\mathbb{R}^N,
$$
and the natural admissible range is
$$
1+\frac{\alpha}{N}<p<\frac{N+\alpha}{N-2s}.
$$
This interval is dictated by the interaction between Hardy–Littlewood–Sobolev estimates and the fractional Sobolev embedding [1406.7517].

A lower HLS-critical threshold occurs at
$$
p_c=1+\frac{\alpha}{N},
$$
which is the scale-invariant exponent for the nonlocal energy under the $L^2$-preserving dilation. At this exponent, loss of compactness may occur, and the associated minimization problem requires concentration–compactness and nonlocal Brezis–Lieb splitting [1403.7414]. At the upper end, the Sobolev critical exponent changes with the order of the diffusion; in the fractional framework it is tied to $2_s^*=2N/(N-2s)$ or to its weighted or quasilinear analogues [1605.06805][1406.7517].

Weighted and quasilinear formulations introduce further critical exponents. In the weighted fractional $p$-Kirchhoff setting, the local critical term is governed by
$$
p_s^*(\beta,\theta)=\frac{p(N-\beta)}{N-sp-\theta},
$$
and the Choquard part is controlled by the lower and upper HLS exponents
$$
p_s^{\flat}(\delta,\mu)=\frac{(N-\delta-\mu/2)p}{N},\qquad
p_s^{\sharp}(\delta,\theta,\mu)=\frac{(N-\delta-\mu/2)p}{N-sp-\theta}.
$$
The nonlinearity is assumed to grow between these two thresholds [2410.05185].

## 2. Operators, kernels, and functional settings

The class is unified by the coexistence of two nonlocal mechanisms: the diffusion operator and the Choquard interaction. The diffusion may be the linear fractional Laplacian, the fractional $p$-Laplacian,
$$
(-\Delta)_p^s u(x)=\mathrm{P.V.}\int_{\mathbb{R}^N}
\frac{|u(x)-u(y)|^{p-2}(u(x)-u(y))}{|x-y|^{N+sp}}\,dy,
$$
or a weighted variant
$$
(-\Delta)_{p,\theta}^{s}u(x)
=\mathrm{p.v.}\int_{\mathbb{R}^{N}}
\frac{|u(x)-u(y)|^{p-2}(u(x)-u(y))}
{|x|^{\theta_{1}}|x-y|^{N+sp}|y|^{\theta_{2}}}\,dy,
$$
with $\theta=\theta_1+\theta_2\ge0$ [2410.05185][2305.00897].

The Choquard interaction is typically generated by a Riesz potential,
$$
I_\mu(x)=|x|^{-\mu},\qquad 0<\mu<N,
$$
and enters through terms such as
$$
\big(I_\mu*F(u)\big)f(u),\qquad
\big(I_\mu*|u|^q\big)|u|^{q-2}u,
$$
or weighted variants involving $|x|^{-\delta}$ [2410.05185][1412.3184]. In non-Euclidean settings, the same role is played by a Green kernel. On hyperbolic space, the convolution uses the kernel $k_{\alpha,N}(\rho)$ of $(-\Delta_{\mathbb{B}^N})^{-\alpha/2}$ [2409.10236]. On groups of polynomial growth and on lattice graphs, the kernel is the Green’s function $R_\alpha$ of a discrete fractional Laplacian, with asymptotics comparable to a Riesz potential [2208.00236][2507.22552].

The natural function spaces reflect the operator. Whole-space linear problems use $H^s(\mathbb{R}^N)$ [1412.3184][1406.7517], quasilinear weighted problems use
$$
W^{s,p}_{V,\theta}(\mathbb{R}^N)
=\Big\{u:\ [u]_{s,p,\theta}^{p}+\int_{\mathbb{R}^N}\frac{V(x)|u|^p}{|x|^\alpha}\,dx<\infty\Big\},
$$
with
$$
[u]_{s,p,\theta}^{p}
=\iint_{\mathbb{R}^{2N}}
\frac{|u(x)-u(y)|^{p}}
{|x|^{\theta_1}|x-y|^{N+sp}|y|^{\theta_2}}\,dx\,dy
$$
[2410.05185]. Hyperbolic problems are set in $H_\lambda(\mathbb{B}^N)$ with norm
$$
\|u\|_\lambda^2=\int_{\mathbb{B}^N}\big(|\nabla_{\mathbb{B}^N}u|^2-\lambda|u|^2\big)\,dV_{\mathbb{B}^N},
$$
while lattice and graph problems use discrete analogues of fractional Sobolev or energy spaces adapted to the counting measure and graph kernels [2409.10236][2208.00236][2507.22552].

A further layer is added by Kirchhoff dependence. In that case the diffusion is multiplied by a norm-dependent coefficient $m(\|u\|^p)$ or $M([u]_{s,p}^p)$, so the equation becomes nonlocal both through the operator and through the coefficient itself [2410.05185][1808.07996].

## 3. Criticality, singularity, and nonlinear structures

The subject is organized by several distinct notions of criticality. One is HLS criticality for the convolution. In the bounded-domain Brezis–Nirenberg-type problem, the critical Choquard exponent is
$$
2_{\mu,s}^*=\frac{2n-\mu}{n-2s},
$$
and the equation
$$
(-\Delta)^s u
=
\left(\int_{\Omega}\frac{|u(y)|^{2_{\mu,s}^*}}{|x-y|^{\mu}}\,dy\right)|u|^{2_{\mu,s}^*-2}u
+\lambda u
$$
exhibits the same compactness breakdown as local critical problems, but now in a doubly nonlocal form [1605.06805].

A second notion is combined local and nonlocal criticality. Sakuma studies a $p$-fractional Choquard-type equation with a critical local term and “doubly critical” nonlocality, where
$$
F(u)=\frac{1}{p_t}|u|^{p_t}+\frac{1}{p_+}|u|^{p_+},
$$
with
$$
p_t=\frac{p(N+\alpha)}{2N},\qquad
p_+=\frac{p_s^*(N+\alpha)}{2N}
=\frac{p(N+\alpha)}{2(N-ps)}.
$$
Here the nonlocal term simultaneously touches the lower and upper HLS critical powers, while the local term may also be critical through $p_g=p_s^*$ [2305.00897].

A third regime replaces power criticality by exponential criticality. In the fractional $(p,q)$-Choquard equation with $p=N/s$, the nonlinearity is governed by a fractional Moser–Trudinger inequality,
$$
\sup_{\|v\|_{W^{s,p}}\le 1}\int_{\mathbb{R}^N}
\mathcal{H}_{N,s}\!\left(\alpha |v|^{\frac{N}{N-s}}\right)\,dx<\infty
\quad \text{for }0<\alpha<\alpha_*(s,N),
$$
and the Choquard term is coupled to exponential growth rather than polynomial growth [2506.00412]. In one dimension, a logarithmic kernel produces the equation
$$
(-\Delta)^{1/2}u+au+\lambda(\ln|\cdot|*|u|^2)u=f(u),
$$
with critical exponential growth in $H^{1/2}(\mathbb{R})$ and a weighted space
$$
X=\Big\{u\in H^{1/2}(\mathbb{R}):\int_{\mathbb{R}}\ln(1+|x|)\,u(x)^2\,dx<\infty\Big\}
$$
to control the logarithmic convolution [2011.12806].

Singular structures form another branch of the theory. The weighted fractional $p$-Kirchhoff equation in $\mathbb{R}^N$ couples a local Hardy-type term, a local critical Sobolev term, and a generalized nonlocal Choquard term, all with singular weights [2410.05185]. On bounded domains, singular data may include a Hardy potential, a negative-power term $u^{-\gamma}$, and a Radon measure together with a critical Choquard contribution,
$$
(-\Delta)^s u-a|x|^{-2s}u
=
\lambda u+u^{-\gamma}
+\beta(I_b*|u|^{2_*})|u|^{2_*-2}u+\mu,
$$
where
$$
2_*=\frac{2N-b}{N-2s}.
$$
The solution concept there is a positive SOLA, that is, a solution obtained as limit of approximations [2006.03482].

## 4. Variational formulation and compactness mechanisms

Most existence theories are variational. In the whole-space Berestycki–Lions framework, the functional is
$$
J(u)=\frac12\int_{\mathbb{R}^N}\Big(|(-\Delta)^{s/2}u|^2+|u|^2\Big)\,dx
-\frac12\iint_{\mathbb{R}^N\times\mathbb{R}^N}
\frac{F(u(x))F(u(y))}{|x-y|^\mu}\,dx\,dy,
$$
and critical points are weak solutions of the fractional Choquard equation [1412.3184]. In the weighted fractional $p$-Kirchhoff problem, the corresponding energy is
$$
\mathcal{J}(u)=\frac{1}{p}M(\|u\|_W^p)
-\frac{1}{p_s^*(\beta,\theta)}
\int_{\mathbb{R}^N}\frac{|u|^{p_s^*(\beta,\theta)}}{|x|^\beta}\,dx
-\frac{\lambda}{2}
\iint_{\mathbb{R}^{2N}}
\frac{F_{\delta,\theta,\mu}(u(x))F_{\delta,\theta,\mu}(u(y))}
{|x|^\delta|x-y|^\mu|y|^\delta}\,dx\,dy,
$$
again with Euler–Lagrange identity equivalent to the weak formulation [2410.05185].

Two compactness obstructions recur. The first is critical growth, either Sobolev, HLS, or Moser–Trudinger. The second is lack of compactness in $\mathbb{R}^N$ because of translation invariance or concentration. Standard responses include concentration–compactness, nonlocal Brezis–Lieb splitting, and sub-threshold energy estimates [1605.06805][1403.7414][1605.06896]. In the non-autonomous fractional Choquard equation
$$
(-\Delta)^s u+u=(1+a(x))(I_\alpha*|u|^p)|u|^{p-2}u,
$$
the asymptotic autonomous level $m_\infty$ acts as a compactness threshold, and strict inequality $m<m_\infty$ rules out bubbling at infinity [1505.03749].

The choice of compactness condition depends on the nonlinear structure. For fractional $p$-Kirchhoff–Choquard equations without Ambrosetti–Rabinowitz, Cerami sequences are used instead of Palais–Smale sequences [1808.07996]. The weighted singular Kirchhoff problem also replaces Palais–Smale by the Cerami condition and proves boundedness and strong convergence of Cerami sequences through uniform control of the convolution term and Simon-type inequalities [2410.05185]. By contrast, the critical exponential double-phase problem uses a penalized functional, a homeomorphism from an incomplete sphere to a nonsmooth Nehari-type set, and Ljusternik–Schnirelmann category theory [2506.00412].

Several specialized devices recur in concrete models. The doubly weighted Stein–Weiss inequality controls singular Choquard integrals [2410.05185]. Penalization outside a potential well prevents mass leakage in semiclassical or concentration problems [2506.00412][1807.07442]. Pohozaev identities serve both as compactness tools and as nonexistence criteria in critical settings [1605.06805][1403.7414]. For normalized problems on the $L^2$-sphere, constrained minimization and strict subhomogeneity of the energy level exclude dichotomy [2507.23363][1605.06896].

## 5. Existence, multiplicity, concentration, and normalization

Across the literature, the basic conclusions range from nontrivial weak solutions to positive ground states, multiplicity, concentration, normalized states, and convergence to limiting problems.

| Setting | Representative conclusion | Paper |
|---|---|---|
| Weighted fractional $p$-Kirchhoff equation in $\mathbb{R}^N$ with Hardy, critical Sobolev, and weighted Choquard terms | existence of a nontrivial weak solution for any $\lambda>0$ | [2410.05185] |
| Fractional $(p,q)$-Choquard equation with exponential growth | at least $\mathrm{cat}_{\mathscr{M}_\delta}(\mathscr{M})$ positive weak solutions for $\varepsilon$ small, concentrating near minima of $Z$ | [2506.00412] |
| Non-autonomous fractional Choquard equation with $a(x)\to0$ | existence of a positive ground state solution | [1505.03749] |
| Hyperbolic-space Choquard equation with $1<p<2_\alpha^*$ | existence of a positive ground state | [2409.10236] |
| Normalized fractional Choquard equation with two Hartree powers and potentials | at least a pair of weak normalized solutions under small $\|V\|_\infty$, with an $L^2$-critical mass threshold in the critical case | [2507.23363] |
| Fractional magnetic Choquard equation | a nontrivial weak solution for $\varepsilon$ small, with concentration near $\{V=V_0\}$ | [1807.07442] |

Other settings extend the same pattern. On bounded domains at the HLS critical exponent, existence holds for all $\lambda>0$ when $n>4s$, while for $2s<n<4s$ the existence theory requires $\lambda$ sufficiently large and not an eigenvalue; multiplicity is obtained through genus and pseudo-index methods [1605.06805]. On groups of polynomial growth, the discrete Choquard equation
$$
\Delta^2u-\Delta u+(1+\lambda a(x))u=(R_\alpha*|u|^p)|u|^{p-2}u
$$
has a ground state for all sufficiently large $\lambda$, and the ground states converge, as $\lambda\to\infty$, to a ground state of a limiting Dirichlet problem on the potential well [2208.00236]. On lattice graphs, a fractional $p$-Laplacian Choquard equation admits a strictly positive mountain-pass solution under growth assumptions, and a positive ground state under an additional monotonicity condition [2507.22552].

Normalized and dynamical perspectives produce further conclusions. For the fractional Schrödinger–Choquard equation,
$$
i\partial_t\Psi+(-\Delta)^\alpha\Psi
=
a|\Psi|^{s-2}\Psi+\lambda(I_\beta*|\Psi|^p)|\Psi|^{p-2}\Psi,
$$
ground states arise by constrained minimization at fixed mass, every minimizing sequence is relatively compact up to translation, and the set of minimizers is orbitally stable under the flow, assuming well-posedness and conservation of mass and energy [1605.06896].

## 6. Qualitative properties, nonexistence, and broader geometry

Once existence is established, qualitative analysis depends strongly on the setting. In the Euclidean autonomous power case, ground states are positive, radially symmetric, and radially decreasing; they satisfy $u\in L^1(\mathbb{R}^N)$, Hölder or $C^{1,\gamma}$ regularity according to $s$, and, when $p\ge2$, the asymptotic law
$$
u(x)=\frac{C}{|x|^{N+2s}}+o\big(|x|^{-(N+2s)}\big)
\quad \text{as }|x|\to\infty.
$$
The same work proves nonexistence for the zero-potential problem unless $p=(N+\alpha)/(N-2s)$, and classifies fixed-sign solutions in the special case $p=2$ and $\alpha=N-4s$ by the bubble profile
$$
u(x)=C\Big(\frac{t}{t^2+|x-x_0|^2}\Big)^{\frac{N-2s}{2}}.
$$
It also derives infinitely many radial solutions and, in certain dimensions, infinitely many nonradial solutions [1406.7517].

For general nonlinearities, positivity and symmetry can still be recovered under sign assumptions. If $f$ is odd and nonnegative on $(0,\infty)$, then any ground state of
$$
(-\Delta)^s u+u=(|x|^{-\mu}*F(u))f(u)
$$
is strictly positive, radially symmetric with respect to some point, and radially nonincreasing [1412.3184]. On hyperbolic space, positive ground states are radially symmetric and radially nonincreasing with respect to the hyperbolic distance from some center, and regularity theory yields $L^q$ bootstrapping and, under additional assumptions, $L^\infty$ regularity [2409.10236].

Nonexistence results are usually tied to Pohozaev identities or virial conditions. For the bounded-domain HLS-critical fractional Choquard problem, a Pohozaev identity implies that if $\lambda<0$ and the domain is strictly star-shaped, then there is no nontrivial nonnegative solution [1605.06805]. At the HLS lower critical exponent for the local Choquard equation with variable potential,
$$
-\Delta u+Vu=(I_\alpha*|u|^{\frac{\alpha}{N}+1})|u|^{\frac{\alpha}{N}-1}u,
$$
necessary conditions involve the behavior of $V$ at infinity and the virial quantity $\nabla V(x)\cdot x$; a sufficient existence condition is
$$
\liminf_{|x|\to\infty}(1-V(x))|x|^2>\frac{N^2(N-2)}{4(N+1)},
$$
while Hardy-based bounds yield nonexistence under opposite assumptions [1403.7414].

The broader geometry of the subject includes low-regularity and non-Euclidean models. The singular critical Choquard problem with Hardy potential and Radon measure admits a positive SOLA in $W^{\sigma,m}(\Omega)$ for every $\sigma\in(0,s)$ and $m<N/(N-\sigma)$ under small $\beta$ and coercivity conditions [2006.03482]. The logarithmic one-dimensional equation admits a mountain pass solution, a ground state, and, in the subcritical exponential case, infinitely many solutions via genus theory [2011.12806]. Recent semiclassical and double-phase works identify open directions that include sign-changing solutions, improvements of convergence rates, other ranges of $\mu$, different potential landscapes, bounded domains, and relaxation of small-parameter assumptions [2506.00412].

In aggregate, the nonlinear fractional Choquard equation is not a single model but a family of doubly nonlocal problems whose analytic structure is determined by the interaction of fractional diffusion, convolution criticality, and the ambient geometry. The existing literature shows that the decisive ingredients are the precise exponent regime, the compactness mechanism available in the underlying space, and the way additional structures—Kirchhoff coefficients, weights, magnetic phases, normalized constraints, or curvature—alter the variational balance [2410.05185][1808.07996][2409.10236].

Source: https://www.emergentmind.com/topics/nonlinear-fractional-choquard-equation