Asymptotic behavior of solutions for the nonlinear Hartree equation involving the fractional Laplacian
Pith reviewed 2026-06-30 15:31 UTC · model grok-4.3
The pith
Solutions of the fractional Hartree equation blow up at a single interior point as a parameter vanishes.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For the problem A_s u = (|x|^{-(n-2s)} * u^{2_s^sharp -1 -epsilon}) u^{2_s^sharp -2 -epsilon} in a smooth bounded domain Omega, with u>0 in Omega and u=0 on partial Omega, the positive solutions blow up at exactly one point x0 in Omega as epsilon approaches zero; the location of x0 is characterized, and the blow-up profile together with the exact rates are determined. The same statements hold for the fractional Brezis-Nirenberg problem with critical Hartree nonlinearity.
What carries the argument
Uniform L1 bound away from the boundary and L^infty bound near the boundary obtained via the moving planes method and convolution integral estimates, which enable the subsequent single-point blow-up analysis as epsilon -> 0.
If this is right
- All positive solutions concentrate at precisely one interior point.
- The blow-up point is identified by a condition involving the domain and the limiting equation.
- Explicit blow-up rates and the limiting profile are obtained.
- Analogous single-point concentration holds for the fractional Brezis-Nirenberg problem.
Where Pith is reading between the lines
- The same concentration mechanism may apply to other nonlocal equations whose nonlinearity involves a convolution with a Riesz potential.
- Numerical approximation of the equation for small epsilon could test whether the predicted single blow-up point and rates appear in computed solutions.
Load-bearing premise
The moving planes method together with integral estimates on the convolution term produce uniform bounds that remain valid for general or convex domains and permit passage to the limit as epsilon approaches zero.
What would settle it
A sequence of solutions that either blows up at two or more distinct points inside Omega or whose single blow-up point fails to satisfy the location characterization derived from the limiting problem.
read the original abstract
In this paper, we investigate the nonlocal problem \begin{equation*}\left\lbrace \begin{aligned} &A_{s} u=(|x|^{-(n-2s)}\ast u^{2_{s}^{\sharp}-1-\epsilon})u^{2_{s}^{\sharp}-2-\epsilon} \quad\quad\hspace{3.5mm} \mbox{in}\hspace{2mm}\Omega,\\ &u>0\quad\quad \quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\hspace{2mm}\mbox{in}\hspace{2mm}\Omega,\\ &u=0\quad \quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\hspace{2mm}\mbox{on}\hspace{2mm}\partial\Omega,\end{aligned} \right.\end{equation*} where $\Omega$ is a smooth bounded domain in $\mathbb{R}^n$, $0<s<1$, $n\in(2s,\min\{6s,n+2s\})$, $\epsilon>0$ small, $2_{s}^{\sharp}-1=(n+2s)/(n-2s)$ and $A_{s}$ stands for the spectral fractional Laplacian. For a general domain $\Omega$ or domains with convexity, we first prove a uniform $L^1$ bound away from the boundary and a uniform $L^{\infty}$ bound near the boundary for positive solutions to the general fractional Hartree-type PDEs by applying the moving planes method and integral estimates for the convolution term.Among these results, we study the asymptotic behavior of solutions as $\epsilon\rightarrow0$.These solutions are shown to blow-up at exactly one point $x_0$ and location of this point is characterized. In addition, the shape and exact rates for blowing-up are studied.Finally,we also establish the corresponding main results for solutions of the fractional Brezis-Nirenberg problem involving critical Hartree-type nonlinearity.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies positive solutions to the fractional Hartree equation A_s u = (|x|^{-(n-2s)} * u^{2_s^♯-1-ε}) u^{2_s^♯-2-ε} in a smooth bounded domain Ω ⊂ R^n (with 0<s<1, n in (2s, min{6s,n+2s})), subject to Dirichlet boundary conditions. It claims that, for general Ω or convex domains, moving planes plus convolution estimates yield uniform L^1 bounds away from ∂Ω and L^∞ bounds near ∂Ω; these are then used to prove that, as ε→0, solutions blow up at exactly one point x_0 whose location is characterized, together with the precise blow-up shape and rates. Analogous results are stated for the fractional Brezis-Nirenberg problem with critical Hartree nonlinearity.
Significance. If the L^1/L^∞ estimates are valid, the single-point blow-up analysis with explicit rates would extend known results on concentration phenomena for nonlocal problems with Hartree-type nonlinearities. The work would be of interest to researchers in nonlocal elliptic PDEs.
major comments (1)
- [Abstract] Abstract: the statement that uniform L^1 bounds away from ∂Ω and L^∞ bounds near ∂Ω hold “for a general domain Ω or domains with convexity” via the moving planes method is not justified by standard arguments. For the spectral fractional Laplacian, moving planes in a cap near the boundary requires that the reflected cap lies inside Ω; this is automatic only under convexity (or star-shapedness). The manuscript must either restrict the geometric assumption to convex domains or supply a separate argument that works for arbitrary smooth domains.
minor comments (1)
- [Abstract] The notation 2_s^♯ is introduced without an explicit definition in the displayed equation; it should be recalled that 2_s^♯ = 2n/(n-2s).
Simulated Author's Rebuttal
We thank the referee for the careful reading and the constructive comment on the geometric assumptions. We address the single major comment point by point below.
read point-by-point responses
-
Referee: [Abstract] Abstract: the statement that uniform L^1 bounds away from ∂Ω and L^∞ bounds near ∂Ω hold “for a general domain Ω or domains with convexity” via the moving planes method is not justified by standard arguments. For the spectral fractional Laplacian, moving planes in a cap near the boundary requires that the reflected cap lies inside Ω; this is automatic only under convexity (or star-shapedness). The manuscript must either restrict the geometric assumption to convex domains or supply a separate argument that works for arbitrary smooth domains.
Authors: We agree with the referee that the standard moving-planes argument for the spectral fractional Laplacian requires the reflected cap to lie inside Ω, which holds automatically only when Ω is convex (or star-shaped). The manuscript does not supply an independent argument that removes this restriction for arbitrary smooth domains. Accordingly, we will revise the abstract, the introduction, and all statements of the L¹/L^∞ estimates to restrict the geometric hypothesis to convex domains. The single-point blow-up analysis and the results for the fractional Brezis-Nirenberg problem will be stated under the same convexity assumption. revision: yes
Circularity Check
No circularity: standard moving-planes + convolution estimates applied to stated PDE
full rationale
The derivation begins from the given nonlocal PDE, invokes the moving-planes method (a classical technique) together with integral convolution estimates to obtain the uniform L1/L∞ bounds on a general or convex domain, then performs the ε→0 asymptotic analysis. None of the load-bearing steps reduces by definition, by fitted-parameter renaming, or by a self-citation chain to the target blow-up location or rates; the central claims remain independent of the inputs they are derived from.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
Applebaum,L´ evy processes-from probability to finance and quantum groups, Notices Amer
D. Applebaum,L´ evy processes-from probability to finance and quantum groups, Notices Amer. Math. Soc.,51(2004), 1336–1347. 2
2004
-
[2]
Atkinson and L
F. Atkinson and L. Peletier,Emder-Fowler equations involving critical exponents, Nonlinear Anal. TMA.,10(1986), 755–776. 2
1986
-
[3]
Bahri, Y
A. Bahri, Y. Y. Li, and O. Rey,On a variational problem with lack of compactness: the topological effect of the critical points at infinity, Calc. Var. Partial Differ. Equ.,3(1995), 67–93. 2
1995
-
[4]
Br¨ andle, E
C. Br¨ andle, E. Colorado, A. de Pablo, and U. S´ anchez,A concave-convex elliptic problem involving the fractional Laplacian, Proc. Roy. Soc. Edinburgh Sect. A,143(2013), no. 1, 39–71. 3, 5
2013
-
[5]
Brezis and L
H. Brezis and L. A. Peletier,Asymptotics for elliptic equation involving critical growth, in: Partial Differential Equations and the Calculus of Variations, vol. I, Birkh¨ auser, Boston, MA, 1989, PP. 149–192. 2
1989
-
[6]
Cabr´ e, Y
X. Cabr´ e, Y. Sire,Nonlinear equations for fractional Laplacians, I: regularity, maximum principles, and Hamiltonian estimates, Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire,31(2014) 23–53. 3, 5, 14
2014
-
[7]
Cabr´ e, Y
X. Cabr´ e, Y. Sire,Nonlinear equations for fractional Laplacians II: Existence, uniqueness, and qualitative properties of solutions, Trans. Amer. Math. Soc.,367(2015), no. 2, 911–941. 3
2015
-
[8]
Cabr´ e, and J
X. Cabr´ e, and J. Tan,Positive solutions of nonlinear problems involving the square root of the Laplacian, Adv. Math.224 (2010) 2052–2093. 3, 5
2010
-
[9]
Caffarelli and L
L. Caffarelli and L. Silvestre,An extension problem related to the fractional Laplacian, Comm. Partial Differential Equations, 32(2007), 1245–1260. 3, 5
2007
-
[10]
A. Cannone, S. Cingolani, M. Yang and S. Zhao, Qualitative properties of single blow-up solutions for nonlinear Hartree equation with slightly subcritical exponent, to appear in Calc. Var. Partial Differential Equations, arXiv:2512.14401[math. AP]. 6
-
[11]
Capella, J
A. Capella, J. D´ avila, L. Dupaigne, and Y. Sire,Regularity of radial extremal solutions for some non-local semilinear equations, Comm. Partial Differential Equations,36(2011) 1353–1384. 5, 33
2011
-
[12]
W. Chen, C. Li, and B. Ou,Classification of solutions for an integral equation, Commun. Pure Appl. Math.,59(2006), 330-343. 3
2006
-
[13]
Chen and Z
W. Chen and Z. Wang,Blowing-up solutions for a slightly subcritical Choquard equationCalc. Var. Partial Differential Equations, (2024) 63: 235. 6
2024
-
[14]
Chen and Z
W. Chen and Z. Wang,Multiple blowing-up solutions for the Choquard type Brezis-Nirenberg problem in dimension three, Calc. Var. Partial Differential Equations, (2026) 65:71. 6
2026
-
[15]
Woocheol Choi, On strongly indefinite systems involving the fractional Laplacian, Nonlinear Analysis,120(2015) 127–153. 14
2015
-
[16]
W. Choi, S. Kim, and K.-A. Lee,Asymptotic behavior of solutions for nonlinear elliptic problems with the fractional Laplacian, J. Funct. Anal.,266, 6531–6598 (2014). 2, 17, 22, 24, 29, 30
2014
-
[17]
Choi and S
W. Choi and S. Kim,Asymptotic behavior of least energy solutions to the Lane-Emden system near the critical hyperbola, J. Math. Pures Appl.,132(2019), 398–456. 2
2019
-
[18]
Choi and S
W. Choi and S. Kim,Minimal energy solutions to the fractional Lane-Emden system: existence and singularity formation, Rev. Mat. Iberoam,35(2019), no. 3, 731–766. 2
2019
-
[19]
Cingolani, M
S. Cingolani, M. Gallo, and K, Tanaka,Infinitely many free or prescribed mass solutions for fractional Hartree equations and Pohozaev identities, Adv. Nonlinear Stud.24(2024), no. 2, 303–334. 6
2024
-
[20]
S. Cingolani, M. Yang, and S. Zhao, Asymptotic behavior of least energy solutions to the nonlinear Hartree equation near critical exponent, to appear in Ann. Sc. Norm. Super. Pisa Cl. Sci.DOI:10.2422/2036-2145.202506_001. 6, 20, 22
-
[21]
W. Dai, J. Huang, Y. Qin, B. Wang, and Y. Fang,Regularity and classification of solutions to static Hartree equations involving fractional Laplacians, Discrete Contin. Dyn. Syst.,39(2019), 1389-1403. 27
2019
-
[22]
W. Dai, Z. Liu, and G. Qin,Classification of nonnegative solutions to static Schrodinger-Hartree-Maxwell type equations, SIAM J. Math. Anal.,53(2021), no. 2, 1379–1410. 3
2021
-
[23]
d’Avenia, G
P. d’Avenia, G. Siciliano and M. Squassina,On fractional Choquard equations, Math. Models Methods Appl. Sci. 25, 1447–1476 (2015). 6
2015
-
[24]
D´ avila, L
J. D´ avila, L. L´ opez R´ ıos, and Y. Sire,Bubbling solutions for nonlocal elliptic problems, Rev. Mat. Iberoam.33(2017), no. 2, 509–546. 3
2017
-
[25]
Deng and W
S. Deng and W. Luo,Concentrated solutions for a fractional Choquard-type Brezis-Nirenberg problem, Bulletin of Mathematical Sciences, (2025) 2550030. 6, 7
2025
-
[26]
Deng and W
S. Deng and W. Luo,Existence of solutions for a slightly subcritical fractional Choquard problem, Nonlinear Differ. Equ. Appl. (2025) 32:111. 5
2025
-
[27]
Du and M
L. Du and M. Yang, Uniqueness and nondegeneracy of solutions for a critical nonlocal equation, Discrete Contin. Dyn. Syst. A.,39(2019), 5847–5866. 3
2019
-
[28]
Fabes, C.E
E.B. Fabes, C.E. Kenig, and R.P. Serapioni,The local regularity of solutions of degenerate elliptic equations, Comm. Partial Differential Equations,7(1982) 77–116. 28 NONLINEAR ELLIPTIC PROBLEMS WITH THE FRACTIONAL LAPLACIAN 37
1982
-
[29]
Gao and M
F. Gao and M. Yang,The Brezis-Nirenberg type critical problem for nonlinear Choquard equation, Sci. China Math.,61, 1219–1242, 2018. 7
2018
-
[30]
Ghimenti, X, Huang, and A, Pistoia,Bubble solution for the critical Hartree equation in a pierced domain, Discrete Contin
M. Ghimenti, X, Huang, and A, Pistoia,Bubble solution for the critical Hartree equation in a pierced domain, Discrete Contin. Dyn. Syst.,45(2025), 2180–2214. 6, 7
2025
-
[31]
Ghimenti, M
M. Ghimenti, M. Liu and Z. Tang,Multiple solutions for a fractional Choquard problem with slightly subcritical exponents on bounded domains, NoDEA Nonlinear Differential Equations Appl.,30, 27 (2023). 6
2023
-
[32]
Ghimenti and D, Pagliardini,Multiple positive solutions for a slightly subcritical Choquard problem on bounded domains, Calc
M. Ghimenti and D, Pagliardini,Multiple positive solutions for a slightly subcritical Choquard problem on bounded domains, Calc. Var. Partial Differential Equations,58(2019), no. 5, Paper No. 167, 21 pp. 6, 7
2019
-
[33]
Gidas and J
B. Gidas and J. Spruck,A priori bounds for positive solutions of nonlinear elliptic equations, Comm. Partial Differential Equations6(1981) 883–901. 3
1981
-
[34]
I. A. Guerra,Solutions of an elliptic system with a nearly critical exponent, Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire25 (2008), no. 1, 181–200. 2
2008
-
[35]
L. Guo, T. Hu, S. Peng and W, Shuai,Existence and uniqueness of solutions for Choquard equation involving Hardy- Littlewood-Sobolev critical exponent, Calc. Var. Partial Differential Equations,58(4), Paper No. 128, 34 pp, 2019. 3
2019
-
[36]
Hardy and J
G. Hardy and J. Littlewood,Some properties of fractional integral. I, Math. Z.,27(1928), 565-606. 2
1928
-
[37]
Han,Asymptotic approach to singular solutions for nonlinear elliptic equations involving critical Sobolev exponent, Ann
Z. Han,Asymptotic approach to singular solutions for nonlinear elliptic equations involving critical Sobolev exponent, Ann. Inst. Henri Poincar´ e, Anal. Non Lin´ eaire8(1991), 159–174. 2, 7, 17
1991
-
[38]
H. Li, J. Wei, and W. Zou,Uniqueness, multiplicity and nondegeneracy of positive solutions to the Lane-Emden problem, J. Math. Pures Appl.179(2023) 1–67. 2, 22
2023
-
[39]
Le,Symmetry and classification of solutions to an integral equation of the Choquard type, C
P. Le,Symmetry and classification of solutions to an integral equation of the Choquard type, C. R. Math. Acad. Sci. Paris, 357(2019), 878-888. 3, 16, 17
2019
-
[40]
E. H. Lieb,Sharp constants in the Hardy-Littlewood-Sobolev and related inequalities, Ann. of Math.,118(1983), 349–374. 3
1983
-
[41]
Moroz and J
V. Moroz and J. Van Schaftingen,Ground states of nonlinear Choquard equations: Existence, qualitative properties and decay asymptotics, J. Funct Anal., 2013, 265: 153-–184. 6
2013
-
[42]
Mukherjee and K
T. Mukherjee and K. Sreenadh,Fractional Choquard equation with critical nonlinearities, NoDEA Nonlinear Differential Equations Appl., (2017) 24:63. 6, 7, 16, 17
2017
-
[43]
Musso and A
M. Musso and A. Pistoia,Multispike solutions for a nonlinear elliptic problem involving the critical Sobolev exponent, Indiana Univ. Math. J.,51(2002), 541–579. 2
2002
-
[44]
Quittner, P
P. Quittner, P. Souplet,Superlinear Parabolic Problems. Blow-up, Global Existence and Steady States, in: Birkh¨ auser Advanced Texts: Basler Lehrb¨ ucher, Birkh¨ auser Verlag, Basel, 2007. 14
2007
-
[45]
Rey,Proof of two conjectures of H
O. Rey,Proof of two conjectures of H. Brezis and L. A. Peletier, Manus. Math.,65(1989), 19–37. 2, 7
1989
-
[46]
Rey,The role of the Green’s function in a nonlinear elliptic equation involving the critical Sobolevexponent, J
O. Rey,The role of the Green’s function in a nonlinear elliptic equation involving the critical Sobolevexponent, J. Funct. Anal.,89(1990),1–52. 2, 7
1990
-
[47]
Rey,The topological impact of critical points at infinity in a variational problem with lack of compactness: the dimension 3, Adv
O. Rey,The topological impact of critical points at infinity in a variational problem with lack of compactness: the dimension 3, Adv. Differential Equations,4(1999) 581–616. 2
1999
-
[48]
Ros-Oton and J
X. Ros-Oton and J. Serra,The Dirichlet problem for the fractional Laplacian: Regularity up to the boundary, J. Math. Pures Appl. 101 (2014) 275–302. 3, 22
2014
-
[49]
Ros-Oton and J
X. Ros-Oton and J. Serra,The extremal solution for the fractional Laplacian, Calc. Var. Partial Differential Equations, (2014) 50:723–750. 3
2014
-
[50]
E. M. Stein and G. Weiss,Fractional integrals on n-dimensional Euclidean space, J. Math. Mech.,7(1958), 503–514. 13
1958
-
[51]
Sobolev,On a theorem of functional analysis, Translated by J
S. Sobolev,On a theorem of functional analysis, Translated by J. R. Brown. Trans. Amer. Math. Soc.,34(1963), 39-68. 2
1963
-
[52]
Sugitani,On nonexistence of global solutions for some nonlinear integral equations, Osaka J
S. Sugitani,On nonexistence of global solutions for some nonlinear integral equations, Osaka J. Math.,12(1975), 45–51. 3
1975
-
[53]
Talenti,Best constants in Sobolev inequality, Ann
G. Talenti,Best constants in Sobolev inequality, Ann. Mat. Pura Appl.,110(1976), 353–372. 17
1976
-
[54]
Tan,Positive solutions for non local elliptic problems, Discrete Contin
J. Tan,Positive solutions for non local elliptic problems, Discrete Contin. Dyn. Syst.,33(2013) 837–859. 3
2013
-
[55]
Tan,The Brezis-Nirenberg type problem involving the square root of the Laplacian, Calc
J. Tan,The Brezis-Nirenberg type problem involving the square root of the Laplacian, Calc. Var. Partial Differential Equations 42(2011), no. 1-2, 21–41. 3
2011
-
[56]
Wang,On location of blow-up of ground states of semilinear elliptic equations in Rn involving critical sobolev exponent, J
X. Wang,On location of blow-up of ground states of semilinear elliptic equations in Rn involving critical sobolev exponent, J. Differential Equations,127, 148–173 (1996). 2
1996
-
[57]
J, Wei,Asymptotic behavior of least energy solutions to a semilinear Dirichlet problem near the critical exponent, J. Math. Soc. Japan, Vol. 50, No. 1, 1998. 2
1998
-
[58]
M. Yang, W. Ye, and S. Zhao,Existence of concentrating solutions of the Hartree type Brezis-Nirenberg problem, J. Differential Equations,344, 260–324 (2023). 6
2023
-
[59]
Yang and S
M. Yang and S. Zhao,Blow-up behavior of solutions to critical Hartree equations on bounded domain, J. Geom. Anal.,33, 191 (2023). 6 38 N. BORGIA, S. CINGOLANI, M. YANG, AND S. ZHAO Natalino Borgia Dipartimento di Matematica, Universit`a degli Studi di Bari Aldo Moro, Via Orabona 4, 70125 Bari, Italy. Email address:natalino.borgia@uniba.it Silvia Cingolani...
2023
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.