pith. sign in

arxiv: 1907.02837 · v1 · pith:NOOENY74new · submitted 2019-07-05 · 🧮 math.AP

Variable order nonlocal Choquard problem with variable exponents

Pith reviewed 2026-05-25 02:11 UTC · model grok-4.3

classification 🧮 math.AP
keywords Choquard problemvariable exponentsvariable ordernonlocal problemsHardy-Sobolev-Littlewood inequalityexistence resultsmultiplicity results
0
0 comments X

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.

The paper first establishes a Hardy-Sobolev-Littlewood-type inequality that controls the nonlocal integral term inside variable-order, variable-exponent fractional Sobolev spaces. It then applies this inequality inside the mountain-pass and concentration-compactness arguments to obtain existence of solutions and, under further assumptions on the nonlinearity, multiplicity of solutions for the given Choquard equation. A sympathetic reader cares because the setting allows the order of nonlocality and the growth rate to change with position, which matches models of heterogeneous media.

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

These are editorial extensions of the paper, not claims the author makes directly.

  • 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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

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)
  1. [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.
  2. [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)
  1. [Abstract] Abstract: The displayed equation contains LaTeX artifacts (e.g., & =, DD∫) that impair readability and should be corrected in the final version.
  2. [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

2 responses · 0 unresolved

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
  1. 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

  2. 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

0 steps flagged

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

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on continuity and structural hypotheses on the variable functions together with standard properties of variable-exponent Sobolev spaces; no free parameters or invented entities are introduced in the abstract.

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.
    Invoked in the second sentence of the abstract as prerequisite for the Hardy-Sobolev-Littlewood inequality.
  • domain assumption f is a Carathéodory function satisfying growth conditions compatible with the variable exponents.
    Stated in the abstract as part of the 'suitable assumptions' needed for the variational argument.

pith-pipeline@v0.9.0 · 5720 in / 1338 out tokens · 17388 ms · 2026-05-25T02:11:26.654655+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

36 extracted references · 36 canonical work pages

  1. [1]

    Ambrosetti, H

    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

  2. [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

  3. [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

  4. [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

  5. [5]

    Bahrouni and V

    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

  6. [6]

    Barrios, E

    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

  7. [7]

    Brasco, E

    L. Brasco, E. Lindgren and E. Parini, The fractional Cheeger problem , Interfaces and Free Bound. 16(3) (2014), 419–458

  8. [8]

    Brasco and E

    L. Brasco and E. Parini, The second eigenvalue of the fractional p− Laplacian, Adv. Calc. Var. 9(4) (2015), 323–355. 19

  9. [9]

    Clapp and D

    M. Clapp and D. Salazar, Positive and sign changing solutions to a nonlinear Choquar d equation, J. Math. Anal. Appl. 407 (2013), 1–15

  10. [10]

    D’A venia, G

    P. D’A venia, G. Siciliano and M. Squassina, On fractional Choquard Equations , Math. Models Methods Appl. Sci. 25(8) (2015), 1447–1476

  11. [11]

    Diening, P

    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

  12. [12]

    Di Nezza, G

    E. Di Nezza, G. Palatucci and E. Valdinoci, Hitchhiker’s guide to the fractional Sobolev spaces, Bull. Sci. Math. 136 (2012), 521–573

  13. [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

  14. [14]

    Franzina and G

    G. Franzina and G. Palatucci, Fractional p-eigenvalues, Riv. Math. Univ. Parma (N.S.). 5 (2014) , 373–386

  15. [15]

    Gao and M

    F. Gao and M. Yang, On the Brezis-Nirenberg type critical problem for nonlinea r Choquard equation, Sci. China Math. 61 (2018), 1219–1242

  16. [16]

    Gao and M

    F. Gao and M. Yang, On nonlocal Choquard equations with Hardy–Littlewood–Sob olev critical exponents, J. of Math. Anal. Appl. 448 (2017), 1006-1041

  17. [17]

    Giacomoni, S

    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

  18. [18]

    Ho and Y

    K. Ho and Y. Kim, A-priori bounds and multiplicity of solutions for nonlinea r elliptic problems involving the fractional p(·)− Laplacian, Nonlinear Analysis. 188 (2019), 179– 201

  19. [19]

    Kaufmann, J

    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

  20. [20]

    Lieb, Existence and uniqueness of the minimizing solution of Choq uard’s nonlinear equation, Studies in Appl

    E. Lieb, Existence and uniqueness of the minimizing solution of Choq uard’s nonlinear equation, Studies in Appl. Math. 57 (1976), 93–105

  21. [21]

    Lieb and M

    E. Lieb and M. Loss, Analysis, Graduate Studies in Mathematics , vol. 14, Amer. Math. Soc., Providence, Rhode Island, 2001

  22. [22]

    Molica Bisci and V

    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

  23. [23]

    Molica Bisci, V

    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

  24. [24]

    Moroz and J

    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

  25. [25]

    Moroz and J

    V. Moroz and J. Van Schaftingen, Ground states of nonlinear Choquard equations: Hardy-Littlewood-Sobolev critical exponent, Commun. Contemp. Math. 17 (2015), 12. 20

  26. [26]

    Moroz and J

    V. Moroz and J. Van Schaftingen, A guide to the Choquard equation , J. Fixed Point Theory Appl. 19(1) (2017), 773–813

  27. [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

  28. [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

  29. [29]

    Mosconi and M

    S. Mosconi and M. Squassina, Recent progresses in the theory of nonlinear nonlocal problems, Bruno Pini Math. Anal. Semin. 7 (2017), 147–164

  30. [30]

    Mukherjee and K

    T. Mukherjee and K. Sreenadh, Positive solutions for nonlinear Choquard equation with singular nonlinearity , Complex Var. Elliptic Equ. 62 (2017), 1044–1071

  31. [31]

    Mukherjee and K

    T. Mukherjee and K. Sreenadh, Fractional Choquard equa tion with critical nonlinear- ities, NoDEA Nonlinear Differential Equations Appl. 24 (2017), Art. 63

  32. [32]

    Pekar, Untersuchung über die Elektronentheorie der Kristalle, Akademie, Berlin, 1954

    S. Pekar, Untersuchung über die Elektronentheorie der Kristalle, Akademie, Berlin, 1954

  33. [33]

    Servadei and E

    R. Servadei and E. Valdinoci, Variational methods for nonlocal operators of elliptic type, Discrete Contin. Dyn. Syst. 33 (2013), 2105–2137

  34. [34]

    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

    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

  35. [35]

    Wang, Existence and nonexistence of nontrivial solutions for cho quard type equa- tions, Electron J of Differ Equ

    T. Wang, Existence and nonexistence of nontrivial solutions for cho quard type equa- tions, Electron J of Differ Equ. 3 (2016), 1–17

  36. [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