Ground state solutions to Born-Infeld-Choquard problem
Pith reviewed 2026-07-01 07:51 UTC · model grok-4.3
The pith
Ground state solutions exist for the Born-Infeld-Choquard equation with relativistic gradient constraint by applying non-smooth critical point theory on a Pohožaev-type manifold.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove the existence of ground state solutions to the Born-Infeld-Choquard problem by employing a non-smooth critical point theory on an appropriate Pohožaev-type manifold. The energy functional lacks C¹ regularity due to the constraint |∇u| ≤ 1, but the method still applies. The solutions are radially symmetric and monotonically decay to zero at infinity. The abstract theorem can also be used for strongly indefinite problems.
What carries the argument
Non-smooth critical point theory applied to a Pohožaev-type manifold, which serves as a constraint set to recover mountain-pass geometry despite the energy functional lacking C¹ regularity from the relativistic gradient bound |∇u| ≤ 1.
Load-bearing premise
The abstract non-smooth critical point theorem applies directly to the energy functional on the Pohožaev manifold even though the functional is not C¹ due to the gradient constraint.
What would settle it
A concrete function that minimizes the energy on the Pohožaev manifold yet fails to satisfy the original PDE, or an explicit parameter choice in the given range where no ground state exists.
read the original abstract
In this paper, we investigate the existence and qualitative properties of ground state solutions for the nonlocal Born-Infeld-Choquard problem \begin{equation*} \begin{cases} -{\rm div}\left(\frac{\nabla u}{\sqrt{1-|\nabla u|^2}}\right)+ \omega u=\big(I_\alpha\ast |u|^{p}\big)|u|^{p-2}u, & \hbox{in }\mathbb{R}^N,\; N\geq 3, \\[5mm] u(x)\to 0, &\hbox{as }|x|\to +\infty. \end{cases} \end{equation*} where $p>\frac{N+\alpha}{N}$, $\omega=0,1$ and $0<\alpha<N$. The equation is driven by the mean curvature operator in Lorentz-Minkowski space, motivated by the Born-Infeld nonlinear electromagnetic theory, and is coupled with a Choquard-type nonlocal nonlinearity. Due to the inherent relativistic gradient constraint $|\nabla u| \le 1$, the associated energy functional lacks standard $\mathcal{C}^1$ regularity, preventing the direct use of classical variational techniques. We employ a non-smooth critical point theory on appropriate Poho\v{z}aev-type manifold to establish the existence of ground state solutions. Such non-smooth critical point theorem is abstract and we further show that it can be employed for strongly indefinite problem as well. We also demonstrate that these solutions are radially symmetric, and monotonously decay to zero at infinity.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves existence of ground state solutions to the Born-Infeld-Choquard problem driven by the mean curvature operator in Lorentz-Minkowski space coupled with a Choquard nonlocal term, subject to the relativistic constraint |∇u| ≤ 1. The proof adapts an abstract non-smooth critical point theorem to a Pohožaev-type manifold; the solutions are shown to be radially symmetric and monotonically decaying. The paper also presents a general version of the non-smooth theorem applicable to strongly indefinite problems.
Significance. If the verification that the specific energy functional satisfies the hypotheses of the abstract theorem is complete, the result is of interest for extending variational methods to non-C¹ functionals arising from relativistic constraints and nonlocal nonlinearities. The provision of an abstract non-smooth critical point theorem shown to handle strongly indefinite problems is a concrete strength that may be reusable in other settings.
major comments (1)
- [the section applying the abstract non-smooth critical point theorem] The section applying the abstract non-smooth critical point theorem: the manuscript must contain an explicit, item-by-item verification that the energy functional satisfies every hypothesis of the abstract theorem (including the required geometry on the Pohožaev manifold and any compactness or Palais-Smale condition), given that the functional is not C¹ because of the constraint |∇u| ≤ 1. Without this verification the central existence claim cannot be confirmed.
Simulated Author's Rebuttal
We thank the referee for the careful reading and the constructive major comment. We agree that an explicit item-by-item verification of the hypotheses is essential for confirming the application of the abstract non-smooth critical point theorem to our non-C¹ functional. We will revise the manuscript to include this verification.
read point-by-point responses
-
Referee: The section applying the abstract non-smooth critical point theorem: the manuscript must contain an explicit, item-by-item verification that the energy functional satisfies every hypothesis of the abstract theorem (including the required geometry on the Pohožaev manifold and any compactness or Palais-Smale condition), given that the functional is not C¹ because of the constraint |∇u| ≤ 1. Without this verification the central existence claim cannot be confirmed.
Authors: We agree with the referee that the current presentation would benefit from a more explicit, item-by-item check. In the revised manuscript we will insert a new subsection (immediately after the statement of the abstract theorem) that verifies each hypothesis in turn: (i) the geometry of the Pohožaev manifold (including the mountain-pass geometry and the fact that the manifold is a C¹ manifold of codimension one), (ii) the Palais-Smale condition at the mountain-pass level (using the relativistic constraint |∇u|≤1 and the nonlocal term), and (iii) the remaining technical assumptions of the abstract theorem. This verification will be carried out directly on the energy functional restricted to the Pohožaev manifold, taking into account its lack of C¹ regularity. We believe this addition will make the existence proof fully transparent. revision: yes
Circularity Check
No significant circularity detected
full rationale
The paper is an existence proof that applies an abstract non-smooth critical point theorem to a Pohožaev-type manifold for a functional that lacks C¹ regularity due to the relativistic constraint |∇u| ≤ 1. The central claim does not reduce to any self-definitional step, fitted input renamed as prediction, or load-bearing self-citation chain; the theorem is invoked as an external abstract tool whose applicability is verified directly on the given functional and manifold geometry. No equations or derivations in the provided text equate the result to its own inputs by construction.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The energy functional satisfies the geometric conditions required by the non-smooth critical point theorem on the Pohožaev manifold.
- domain assumption The relativistic constraint |∇u| ≤ 1 is compatible with the Choquard nonlinearity for the given parameter ranges.
Reference graph
Works this paper leans on
-
[1]
Azzollini,Ground state solution for a problem with mean curvature operator in Minkowski space, J
A. Azzollini,Ground state solution for a problem with mean curvature operator in Minkowski space, J. Funct. Anal., 266(2014), 2086–2095. 2
2014
-
[2]
A Azzollini,On a prescribed mean curvature equation in Lorentz-Minkowski space, Journal de Math´ ematiques Pures et Appliqu´ ees,106(2016), 1122–1140. 2
2016
-
[3]
Baldelli, J
L. Baldelli, J. Mederski, A. Pomponio,Normalized solutions to Born-Infeld and quasilinear problems, Journal of Differential Equations444(2025) 113595 . 2
2025
-
[4]
Bartnik, L
R. Bartnik, L. Simon,Spacelike hypersurfaces with prescribed boundary values and mean curvature,Comm. Math. Phys.87(1982), 131–152. 1
1982
-
[5]
Bartsch, J
T. Bartsch, J. Mederski,Nonlinear time-harmonic Maxwell equations in an anisotropic bounded medium, J. Funct. Anal.272(2017), no. 10, 4304-4333. 26, 27
2017
-
[6]
Bartolo, E
R. Bartolo, E. Caponio, A. Pomponio,Spacelike graphs with prescribed mean curvature on exterior domains in the Minkowski spacetime, Proc. Amer. Math. Soc.149, (2021), 5139–5151. 2
2021
-
[7]
B. Bieganowski, N. Ikoma, J. MederskiGround state solutions to the nonlinear Born-Infeld problem, arXiv:2512.19566 [math.AP]. 2, 3, 4, 5, 17
-
[8]
Bonheure, F
D. Bonheure, F. Colasuonno, J. F¨ oldes,On the Born-Infeld equation for electrostatic fields with a superposition of point charges, Ann. Mat. Pura Appl.198(2019), 749–772. 1
2019
-
[9]
Bonheure, A
D. Bonheure, A. Derlet, C. De Coster,Infinitely many radial solutions of a mean curvature equation in Lorentz– Minkowski space, Rend. Istit. Mat. Univ. Trieste,44, (2012), 259–284. 2, 4
2012
-
[10]
Bonheure, P
D. Bonheure, P. d’Avenia, A. Pomponio,On the electrostatic Born-Infeld equation with extended charges, Comm. Math. Phys.,346, (2016), 877–906. 1
2016
-
[11]
Bonheure, P
D. Bonheure, P. d’Avenia, A. Pomponio, W. Reichel,Equilibrium measures and equilibrium potentials in the Born- Infeld model, J. Math. Pures Appl.139(2020), 35–62. 1
2020
-
[12]
Bonheure, A
D. Bonheure, A. Iacopetti,On the regularity of the minimizer of the electrostatic Born-Infeld energy, Arch. Ration. Mech. Anal.232(2019), 697–725. 1
2019
-
[13]
Bonheure, A
D. Bonheure, A. Iacopetti,A sharp gradient estimate andW 2,q regularity for the prescribed mean curvature equation in the Lorentz-Minkowski space, Arch. Ration. Mech. Anal.247(5) (2023) 87. 1
2023
-
[14]
Born,Modified field equations with a finite radius of the electron,Nature132(1933), 282
M. Born,Modified field equations with a finite radius of the electron,Nature132(1933), 282. 1
1933
-
[15]
Born,On the quantum theory of the electromagnetic field,Proc
M. Born,On the quantum theory of the electromagnetic field,Proc. Roy. Soc. London Ser. A143(1934), 410–437. 1
1934
-
[16]
M. Born, L. Infeld,Foundations of the new field theory,Nature132(1933), 1004. 1
1933
-
[17]
M. Born, L. Infeld,Foundations of the new field theory,Proc. Roy. Soc. London Ser. A144(1934), 425–451. 1
1934
-
[18]
Br´ ezis, E
H. Br´ ezis, E. Lieb, A relation between pointwise convergence of functions and convergence of functionals, Proc. Amer. Math. Soc. 88 (3) (1983) 486–490. 9
1983
-
[19]
Byeon, N
J. Byeon, N. Ikoma, A. Malchiodi, L. Mari,Existence and regularity for prescribed Lorentzian mean curvature hypersurfaces, and the Born–Infeld model,Ann. PDE10, 4 (2024) 2
2024
-
[20]
Byeon, N
J. Byeon, N. Ikoma, A. Malchiodi, L. Mari,Compactness via monotonicity in nonsmooth critical point theory, with application to Born-Infeld type equations.J. Funct. Anal290(11) (2026), 111438. 2, 3, 5, 7, 8, 17, 18
2026
-
[21]
Cheng, S.-T
S.-Y. Cheng, S.-T. Yau,Maximal space-like hypersurfaces in the Lorentz-Minkowski spaces, Ann. of Math.104 (1976), 407–419. 1
1976
-
[22]
P. d’Avenia, J. Mederski,Between Maxwell and Born-Infeld: the presence of the magnetic field, Trans. Amer. Math. Soc. (2026) in press, doi.org/10.1090/tran/9748 1
-
[23]
du Plessis,Some theorems about the Riesz fractional integral.Trans
N. du Plessis,Some theorems about the Riesz fractional integral.Trans. Amer. Math. Soc.80(1955), 124–134. 5, 17
1955
-
[24]
A. Haarala,The electrostatic Born-Infeld equations with integrable charge densities, preprint, arXiv:2006.08208 [math.AP]. 1
-
[25]
Kiessling,On the quasi-linear elliptic PDE−∇ ·(∇u/ p 1− |∇u| 2) = 4πP k akδsk in physics and geometry, Comm
M.K.-H. Kiessling,On the quasi-linear elliptic PDE−∇ ·(∇u/ p 1− |∇u| 2) = 4πP k akδsk in physics and geometry, Comm. Math. Phys.314(2012), 509–523. 1
2012
-
[26]
Kiessling,Correction to: On the quasi-linear elliptic PDE−∇ ·(∇u/ p 1− |∇u| 2) = 4πP k akδsk in physics and geometry,Comm
M.K.-H. Kiessling,Correction to: On the quasi-linear elliptic PDE−∇ ·(∇u/ p 1− |∇u| 2) = 4πP k akδsk in physics and geometry,Comm. Math. Phys.364(2018), 825–833. 1
2018
-
[27]
Lieb,Existence and uniqueness of the minimizing solution of Choquard’s nonlinear equation, Stud
E.H. Lieb,Existence and uniqueness of the minimizing solution of Choquard’s nonlinear equation, Stud. Appl. Math. 57(1977), 93–105. 2
1977
-
[28]
E. H. Lieb and M. Loss,Analysis, 2nd ed., Graduate Studies in Mathematics, vol. 14, American Mathematical Society, Providence, RI, 2001. 5 GROUND STATE SOLUTIONS TO BORN-INFELD-CHOQUARD PROBLEM 31
2001
-
[29]
Lions,The Choquard equation and related questions, Nonlinear Anal.4(1980), 1063–1072
P.-L. Lions,The Choquard equation and related questions, Nonlinear Anal.4(1980), 1063–1072. 2
1980
-
[30]
Mederski, A
J. Mederski, A. Pomponio:Born-Infeld problem with general nonlinearity, J. Differential Equations 370 (2023), 470–497. 2
2023
-
[31]
Moroz, J
V. Moroz, J. Van Schaftingen,Groundstates of nonlinear Choquard equations: existence, qualitative properties and decay asymptotics, J. Funct. Anal.265(2013), 153–184. 2, 7, 18
2013
-
[32]
Moroz, J
V. Moroz, J. Van Schaftingen,Existence of groundstates for a class of nonlinear Choquard equations,Trans. Amer. Math. Soc.367(2015), 6557–6579. 2
2015
-
[33]
Moroz, J
V. Moroz, J. Van Schaftingen,A guide to the Choquard equation,J. Fixed Point Theory Appl.19(2017), 773–813. 2
2017
-
[34]
Pekar,Untersuchung ¨ uber die Elektronentheorie der Kristalle, Akademie Verlag, Berlin, 1954
S. Pekar,Untersuchung ¨ uber die Elektronentheorie der Kristalle, Akademie Verlag, Berlin, 1954. 2
1954
-
[35]
Pomponio,Oscillating solutions for prescribed mean curvature equations: Euclidean and Lorentz-Minkowski cases, Discrete Contin
A. Pomponio,Oscillating solutions for prescribed mean curvature equations: Euclidean and Lorentz-Minkowski cases, Discrete Contin. Dyn. Syst.38, (2018), 3899–3911. 2
2018
-
[36]
Pankov,Periodic nonlinear Schr¨ odinger equation with application to photonic crystals, Milan J
A. Pankov,Periodic nonlinear Schr¨ odinger equation with application to photonic crystals, Milan J. Math.73(2005), 259–287. 25, 26
2005
-
[37]
Szulkin,Minimax principles for lower semicontinuous functions and applications to nonlinear boundary value problems.Ann
A. Szulkin,Minimax principles for lower semicontinuous functions and applications to nonlinear boundary value problems.Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire.no. 2,(1986), 77–109. 2, 3
1986
-
[38]
Szulkin, T
A. Szulkin, T. Weth,Ground state solutions for some indefinite variational problems, J. Funct. Anal.257(2009), 3802–3822. 5, 25, 26, 28, 29
2009
-
[39]
Van Schaftingen, M
J. Van Schaftingen, M. Willem,Set transformations, symmetrizations and isoperimetric inequalities, in: Nonlinear Analysis and Applications to Physical Sciences, Springer Italia, Milan (2004), pp. 135–152. 19
2004
-
[40]
Weth,Symmetry of solutions to variational problems for nonlinear elliptic equations via reflection methods
T. Weth,Symmetry of solutions to variational problems for nonlinear elliptic equations via reflection methods. Jahresber. Dtsch. Math.-Ver. 112 (2010), no. 3, 119–158. 18
2010
-
[41]
Willem,Minimax Theorems, Birkh¨ auser Verlag 1996
M. Willem,Minimax Theorems, Birkh¨ auser Verlag 1996. 9, 10, 12 J. Mederski Institute of Mathematics, Polish Academy of Sciences ul. ´Sniadeckich 8, 00-656 Warsaw, Poland and Faculty of Mathematics and Computer Science, Nicolas Copernicus University, ul. Chopina 12/18, 87-100 Toru ´n, Poland Email address:jmederski@impan.pl X. Zeng Institute of Mathematic...
1996
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.