Variable order nonlocal Choquard problem with variable exponents
Pith reviewed 2026-05-25 02:11 UTC · model grok-4.3
The pith
Existence and multiplicity hold for the variable-order nonlocal Choquard problem once an adapted Hardy-Sobolev-Littlewood inequality is proved for variable exponents.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Under suitable assumptions on the continuous functions s, p, μ, α and on the Carathéodory function f, the variable-order nonlocal Choquard problem admits solutions whose existence and multiplicity follow from variational methods after the authors prove the corresponding Hardy-Sobolev-Littlewood inequality for variable exponents in the fractional Sobolev space with variable order and variable exponents.
What carries the argument
The adapted Hardy-Sobolev-Littlewood inequality in the variable-order, variable-exponent fractional Sobolev space, which bounds the nonlocal Choquard term and permits the energy functional to satisfy the Palais-Smale condition.
If this is right
- At least one nontrivial weak solution exists for sufficiently small values of the parameter λ.
- Under additional growth conditions on f, at least two distinct weak solutions exist.
- The zero exterior condition on the complement of the bounded domain is preserved by the obtained solutions.
- The same variational framework yields solutions when the right-hand side includes both the local power term and the nonlocal Choquard term.
Where Pith is reading between the lines
- The inequality could be tested on unbounded domains or on equations with more general nonlocal kernels that are not exactly of the form 1/|x-y|^μ(x,y).
- Numerical experiments with rapidly oscillating p and s would check whether multiplicity survives when the variable coefficients vary on a fine scale.
Load-bearing premise
The variable functions p, s, μ and α must be continuous and satisfy the structural conditions that guarantee the fractional Sobolev space is well-defined and the Hardy-Sobolev-Littlewood inequality holds in that space.
What would settle it
A concrete counter-example showing that the Hardy-Sobolev-Littlewood inequality fails for some choice of continuous but non-constant p and s would remove the foundation for the existence and multiplicity claims.
read the original abstract
In this article, we study the existence/multiplicity results for the following variable order nonlocal Choquard problem with variable exponents (-\Delta)_{p(\cdot)}^{s(\cdot)}u(x)&=\lambda|u(x)|^{\alpha(x)-2}u(x)+ \left(\DD\int_\Omega\frac{F(y,u(y))}{|x-y|^{\mu(x,y)}}dy\right)f(x,u(x)), x\in \Omega, u(x)&=0, x\in \mathbb R^N\setminus\Omega, where $\Omega\subset\mathbb R^N$ is a smooth and bounded domain, $N\geq 2$, $p,s,\mu$ and $\alpha$ are continuous functions on $\mathbb R^N\times\mathbb R^N$ and $f(x,t)$ is Carath\'edory function. Under suitable assumption on $s,p,\mu,\alpha$ and $f(x,t)$, first we study the analogous Hardy-Sobolev-Littlewood-type result for variable exponents suitable for the fractional Sobolev space with variable order and variable exponents. Then we give the existence/multiplicity results for the above equation.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to first establish an analogous Hardy-Sobolev-Littlewood inequality adapted to the variable-order, variable-exponent fractional Sobolev space W^{s(·),p(·)}, under the assumption that the continuous functions p, s, μ, α satisfy suitable structural conditions, and then applies this inequality to obtain existence and multiplicity results for the variable-order nonlocal Choquard equation via variational methods on a bounded domain Ω.
Significance. If the adapted inequality holds under the paper's hypotheses, the work would extend classical nonlocal Choquard problems to settings with variable order and variable exponents, which is of interest for modeling inhomogeneous media in nonlocal PDE theory. The significance is limited by the lack of explicit verification that the key inequality is valid without additional regularity on the exponents.
major comments (2)
- [Section proving the Hardy-Sobolev-Littlewood inequality] Section proving the Hardy-Sobolev-Littlewood inequality (abstract, paragraph 2, and the dedicated preliminary section): The manuscript assumes only that p, s, μ, α are continuous and satisfy 'suitable assumptions,' but provides no derivation details or error estimates confirming that the inequality holds. Standard results in variable-exponent Sobolev spaces require log-Hölder continuity of the exponents to ensure the modular function yields uniform convexity and valid embeddings; continuity alone is insufficient in general, so the inequality may fail and the subsequent existence argument collapses.
- [Main results section] Application to existence/multiplicity (the main results section): The variational arguments for existence and multiplicity rest directly on the validity of the preceding inequality; if the inequality requires unstated log-Hölder conditions, the mountain-pass or genus arguments cannot be carried through under the hypotheses as written.
minor comments (2)
- [Abstract] Abstract: The displayed equation contains LaTeX artifacts (e.g., & =, DD∫) that impair readability and should be corrected in the final version.
- [Abstract and introduction] Notation: The dependence of μ on (x,y) is introduced without an explicit statement of its symmetry or range, which should be clarified for the integral term to be well-defined.
Simulated Author's Rebuttal
We thank the referee for the detailed report and for highlighting the need for greater rigor in the treatment of the adapted Hardy-Sobolev-Littlewood inequality. We address each major comment below and will revise the manuscript to strengthen the hypotheses and proofs.
read point-by-point responses
-
Referee: [Section proving the Hardy-Sobolev-Littlewood inequality] Section proving the Hardy-Sobolev-Littlewood inequality (abstract, paragraph 2, and the dedicated preliminary section): The manuscript assumes only that p, s, μ, α are continuous and satisfy 'suitable assumptions,' but provides no derivation details or error estimates confirming that the inequality holds. Standard results in variable-exponent Sobolev spaces require log-Hölder continuity of the exponents to ensure the modular function yields uniform convexity and valid embeddings; continuity alone is insufficient in general, so the inequality may fail and the subsequent existence argument collapses.
Authors: We agree that continuity of the exponents alone is generally insufficient and that log-Hölder continuity is required for the modular convexity and embedding properties used in the proof. Our manuscript stated only 'suitable structural conditions' without explicitly listing log-Hölder continuity or supplying the full derivation and error estimates. We will revise the preliminary section to impose the log-Hölder condition on p(·), s(·), μ(·,·) and α(·) and to include a complete, self-contained proof of the variable-order, variable-exponent Hardy-Sobolev-Littlewood inequality together with the necessary estimates. revision: yes
-
Referee: [Main results section] Application to existence/multiplicity (the main results section): The variational arguments for existence and multiplicity rest directly on the validity of the preceding inequality; if the inequality requires unstated log-Hölder conditions, the mountain-pass or genus arguments cannot be carried through under the hypotheses as written.
Authors: We concur that the existence and multiplicity theorems rely on the validity of the inequality. Once the preliminary section is revised to include the log-Hölder assumption and the detailed proof, the mountain-pass and genus arguments in the main results section will be justified under the updated hypotheses. We will add an explicit statement of the strengthened assumptions at the beginning of the main theorems and update the references to the inequality accordingly. revision: yes
Circularity Check
No circularity; inequality proved independently before application to existence
full rationale
The paper first establishes a Hardy-Sobolev-Littlewood inequality adapted to the variable-order, variable-exponent fractional Sobolev space under stated continuity and structural assumptions on p, s, μ, α, then applies that inequality to obtain existence and multiplicity for the Choquard equation. No equation, parameter, or central claim reduces by construction to a fit, self-definition, or self-citation chain; the derivation chain consists of independent analytic steps whose validity rests on the proof of the inequality rather than on renaming or tautological reuse of inputs.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The functions p, s, μ, α are continuous and satisfy the conditions that make the variable-order fractional Sobolev space well-defined and reflexive.
- domain assumption f is a Carathéodory function satisfying growth conditions compatible with the variable exponents.
Reference graph
Works this paper leans on
-
[1]
A. Ambrosetti, H. Brézis and G. Cerami, Combined effects of concave and convex nonlinearities in some elliptic problems , J. Funct. Anal. 122 (1994), 519–543
work page 1994
-
[2]
C. O. Alves, V. D. Rădulescu and L. S. Tavares, Generalized Choquard Equations Driven by Nonhomogeneous Operators , Mediterr. J. Math. 16(1) (2019), 20
work page 2019
-
[3]
C. O. Alves and L. S. Tavares, A Hardy–Littlewood–Sobolev-Type Inequality for Vari- able Exponents and Applications to Quasilinear Choquard Eq uations Involving Variable Exponent, Mediterr. J. Math. 16(2) (2019), 55
work page 2019
-
[4]
Bahrouni, Comparison and sub-super solution principles for the fract ional p(x)- Laplacian, J
A. Bahrouni, Comparison and sub-super solution principles for the fract ional p(x)- Laplacian, J. of Math. Anal. Appl. 458 (2018), 1363–1372
work page 2018
-
[5]
A. Bahrouni and V. D. Rˇ adulescu, On a new fractional Sobolev space and applications to nonlocal variational problems with variable exponent , Discrete Contin. Dyn. Syst. Ser. S. 11 (2018), 379–389
work page 2018
-
[6]
B. Barrios, E. Colorado, R. Servadei and F. Soria, A critical fractional equation concave- convex power nonlinearities , Ann. Inst. H. Poincaré Anal. Non Linéaire. 31 (2015), 875–900
work page 2015
- [7]
-
[8]
L. Brasco and E. Parini, The second eigenvalue of the fractional p− Laplacian, Adv. Calc. Var. 9(4) (2015), 323–355. 19
work page 2015
-
[9]
M. Clapp and D. Salazar, Positive and sign changing solutions to a nonlinear Choquar d equation, J. Math. Anal. Appl. 407 (2013), 1–15
work page 2013
-
[10]
P. D’A venia, G. Siciliano and M. Squassina, On fractional Choquard Equations , Math. Models Methods Appl. Sci. 25(8) (2015), 1447–1476
work page 2015
-
[11]
L. Diening, P. Harjulehto, P. Hästö and M. Ružicka, Lebesgue and Sobolev spaces with variable exponents , Lecture Notes in Math. vol. 2017, Springer–Verlag, Heidel berg, 2011
work page 2017
-
[12]
E. Di Nezza, G. Palatucci and E. Valdinoci, Hitchhiker’s guide to the fractional Sobolev spaces, Bull. Sci. Math. 136 (2012), 521–573
work page 2012
-
[13]
X. L. Fan and D. Zhao, On the spaces Lp(x)(Ω) and W m,p (x)(Ω), J. Math. Anal. Appl. 263 (2001), 424–446
work page 2001
-
[14]
G. Franzina and G. Palatucci, Fractional p-eigenvalues, Riv. Math. Univ. Parma (N.S.). 5 (2014) , 373–386
work page 2014
- [15]
- [16]
-
[17]
J. Giacomoni, S. Tiwari and G. Warnault, Quasilinear parabolic problem with p(x)- Laplacian: existence, uniqueness of weak solutions and sta bilization, NoDEA Nonlinear Differential Equations Appl. 23 (2016), Art. 24
work page 2016
- [18]
-
[19]
U. Kaufmann, J. D. Rossi and R. Vidal, Fractional Sobolev spaces with variable expo- nents and fractional p(x)-Laplacians, Electron. J. Qual. Theory Differ. Equ. 76 (2017), 1–10
work page 2017
-
[20]
E. Lieb, Existence and uniqueness of the minimizing solution of Choq uard’s nonlinear equation, Studies in Appl. Math. 57 (1976), 93–105
work page 1976
-
[21]
E. Lieb and M. Loss, Analysis, Graduate Studies in Mathematics , vol. 14, Amer. Math. Soc., Providence, Rhode Island, 2001
work page 2001
-
[22]
G. Molica Bisci and V. D. Rădulescu, Multiplicity results for elliptic fractional equations with subcritical term , NoDEA Nonlinear Differential Equations Appl. 22 (2015), 721– 739
work page 2015
-
[23]
G. Molica Bisci, V. D. Rˇ adulescu and R. Servadei, Variational methods for nonlocal fractional problems. Encyclopedia of Mathematics and its A pplications, vol. 162, Cam- bridge University Press, Cambridge, 2016
work page 2016
-
[24]
V. Moroz and J. Van Schaftingen, Existence of groundstates for a class of nonlinear Choquard equations, Trans. Amer. Math. Soc. 367(9) (2015), 6557–6579
work page 2015
-
[25]
V. Moroz and J. Van Schaftingen, Ground states of nonlinear Choquard equations: Hardy-Littlewood-Sobolev critical exponent, Commun. Contemp. Math. 17 (2015), 12. 20
work page 2015
-
[26]
V. Moroz and J. Van Schaftingen, A guide to the Choquard equation , J. Fixed Point Theory Appl. 19(1) (2017), 773–813
work page 2017
-
[27]
I. M. Moroz, R. Penrose and P. Tod, Spherically-symmetric solutions of the Schrödinger- Newton equations Class. Quantum Gravity. 15 (1998), 2733-2742
work page 1998
-
[28]
Mosconi and S.Squassina, Nonlocal problems at nearly critical growth , Nonlinear Anal
S. Mosconi and S.Squassina, Nonlocal problems at nearly critical growth , Nonlinear Anal. 136 (2016), 84–101
work page 2016
-
[29]
S. Mosconi and M. Squassina, Recent progresses in the theory of nonlinear nonlocal problems, Bruno Pini Math. Anal. Semin. 7 (2017), 147–164
work page 2017
-
[30]
T. Mukherjee and K. Sreenadh, Positive solutions for nonlinear Choquard equation with singular nonlinearity , Complex Var. Elliptic Equ. 62 (2017), 1044–1071
work page 2017
-
[31]
T. Mukherjee and K. Sreenadh, Fractional Choquard equa tion with critical nonlinear- ities, NoDEA Nonlinear Differential Equations Appl. 24 (2017), Art. 63
work page 2017
-
[32]
Pekar, Untersuchung über die Elektronentheorie der Kristalle, Akademie, Berlin, 1954
S. Pekar, Untersuchung über die Elektronentheorie der Kristalle, Akademie, Berlin, 1954
work page 1954
-
[33]
R. Servadei and E. Valdinoci, Variational methods for nonlocal operators of elliptic type, Discrete Contin. Dyn. Syst. 33 (2013), 2105–2137
work page 2013
-
[34]
J. Simon, Régularité de la solution d’une équation non-linéaire dans Rn, Lectures notes in Mathematics, Journée d’Analyse Non Linéaire, Bénilan P, P roc. Conf., Besanob, 1977
work page 1977
-
[35]
T. Wang, Existence and nonexistence of nontrivial solutions for cho quard type equa- tions, Electron J of Differ Equ. 3 (2016), 1–17
work page 2016
-
[36]
Wang, Existence of positive ground-state solution for Choquard- type equations , Mediterr
T. Wang, Existence of positive ground-state solution for Choquard- type equations , Mediterr. J. Math. 14(1) (2017), 15. 21
work page 2017
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.