pith. sign in

arxiv: 1907.03573 · v1 · pith:6IAQT67Mnew · submitted 2019-07-04 · 🧮 math.CA

Morrey spaces for Schr\"odinger operators with nonnegative potentials, fractional integral operators and the Adams inequality on the Heisenberg groups

Hua Wang This is my paper

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

classification 🧮 math.CA
keywords Morrey spacesSchrödinger operatorsHeisenberg groupfractional integral operatorsAdams inequalityreverse Hölder classsub-Laplacian
0
0 comments X

The pith

The fractional integral operator I_α = L^{-α/2} is bounded on Morrey spaces adapted to Schrödinger operators with reverse Hölder potentials on the Heisenberg group.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper defines Morrey spaces L^{p,κ}_{ρ,∞} and weak Morrey spaces on the Heisenberg group using an auxiliary function ρ derived from the potential V in the Schrödinger operator L. It proves that the associated fractional integral operator maps these spaces to themselves or to weak versions under explicit relations between the exponents p, q, α, and κ. The work also derives the Adams inequality in this setting and introduces BMO and Hölder spaces to handle boundary cases of the parameters. Readers interested in harmonic analysis on Carnot groups would care because the results provide tools for studying integral operators and inequalities in the presence of potentials.

Core claim

The central discovery is that for V in RH_s with s ≥ Q/2, the operator I_α = L^{-α/2} satisfies the boundedness from L^{p,κ}_{ρ,∞}(H^n) to L^{q,κ}_{ρ,∞}(H^n) when 0<α<Q, 1<p<Q/α, 0<κ<1-(αp)/Q and 1/q =1/p - α/(Q(1-κ)), and the weak type from L^{1,κ} to WL^{q,κ} for appropriate ranges, obtained via relation to the maximal operator, along with the Adams inequality on these spaces.

What carries the argument

The auxiliary function ρ(·) related to the nonnegative potential V in the reverse Hölder class, which defines the adapted Morrey spaces L^{p,κ}_{ρ,∞}(H^n) and enables the boundedness proofs.

Load-bearing premise

The nonnegative potential V must belong to the reverse Hölder class RH_s with s at least Q/2 to define the auxiliary function ρ and obtain the boundedness results.

What would settle it

A counterexample with a potential V in RH_s and parameters p, α, κ satisfying the conditions where I_α fails to map L^{p,κ}_{ρ,∞} boundedly to L^{q,κ}_{ρ,∞} would falsify the claim.

read the original abstract

Let $\mathcal L=-\Delta_{\mathbb H^n}+V$ be a Schr\"odinger operator on the Heisenberg group $\mathbb H^n$, where $\Delta_{\mathbb H^n}$ is the sublaplacian on $\mathbb H^n$ and the nonnegative potential $V$ belongs to the reverse H\"older class $RH_s$ with $s\in[Q/2,\infty)$. Here $Q=2n+2$ is the homogeneous dimension of $\mathbb H^n$. For given $\alpha\in(0,Q)$, the fractional integral operator associated with the Schr\"odinger operator $\mathcal L$ is defined by $\mathcal I_{\alpha}={\mathcal L}^{-{\alpha}/2}$. In this article, the author introduces the Morrey space $L^{p,\kappa}_{\rho,\infty}(\mathbb H^n)$ and weak Morrey space $WL^{p,\kappa}_{\rho,\infty}(\mathbb H^n)$ associated with $\mathcal L$, where $(p,\kappa)\in[1,\infty)\times[0,1)$ and $\rho(\cdot)$ is an auxiliary function related to the nonnegative potential $V$. The relation between the fractional integral operator and the maximal operator on the Heisenberg group is established. From this, the author further obtains the Adams (Morrey-Sobolev) inequality on these new spaces. It is shown that the fractional integral operator $\mathcal I_{\alpha}={\mathcal L}^{-{\alpha}/2}$ is bounded from $L^{p,\kappa}_{\rho,\infty}(\mathbb H^n)$ to $L^{q,\kappa}_{\rho,\infty}(\mathbb H^n)$ with $0<\alpha<Q$, $1<p<Q/{\alpha}$, $0<\kappa<1-{(\alpha p)}/Q$ and $1/q=1/p-{\alpha}/{Q(1-\kappa)}$, and bounded from $L^{1,\kappa}_{\rho,\infty}(\mathbb H^n)$ to $WL^{q,\kappa}_{\rho,\infty}(\mathbb H^n)$ with $0<\alpha<Q$, $0<\kappa<1-\alpha/Q$ and $1/q=1-{\alpha}/{Q(1-\kappa)}$. Moreover, in order to deal with the extreme cases $\kappa\geq 1-{(\alpha p)}/Q$, the author also introduces the spaces $\mathrm{BMO}_{\rho,\infty}(\mathbb H^n)$ and $\mathcal{C}^{\beta}_{\rho,\infty}(\mathbb H^n)$, $\beta\in(0,1]$ associated with $\mathcal L$.

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

0 major / 2 minor

Summary. The paper defines Morrey spaces L^{p,κ}_{ρ,∞}(H^n) and weak Morrey spaces WL^{p,κ}_{ρ,∞}(H^n) adapted to the Schrödinger operator L = -Δ_{H^n} + V on the Heisenberg group H^n (with V in RH_s, s ≥ Q/2 and Q = 2n+2 the homogeneous dimension). It proves that the fractional integral I_α = L^{-α/2} is bounded from L^{p,κ}_{ρ,∞} to L^{q,κ}_{ρ,∞} for 0 < α < Q, 1 < p < Q/α, 0 < κ < 1 - (α p)/Q with 1/q = 1/p - α/(Q(1-κ)), and from L^{1,κ}_{ρ,∞} to WL^{q,κ}_{ρ,∞} for 0 < α < Q, 0 < κ < 1 - α/Q with 1/q = 1 - α/(Q(1-κ)). It also establishes the Adams inequality on these spaces and introduces associated BMO_{ρ,∞} and C^β_{ρ,∞} spaces for the endpoint cases κ ≥ 1 - (α p)/Q.

Significance. If the boundedness and inequality claims hold, the work extends classical Morrey-Sobolev and Adams results to operator-adapted spaces on the Heisenberg group, providing a framework for studying fractional integrals and embeddings under Schrödinger perturbations. The explicit parameter ranges and the use of the auxiliary function ρ derived from the reverse Hölder condition are standard but well-adapted here.

minor comments (2)
  1. The abstract states the main theorems but does not indicate where the relation between I_α and the maximal operator is established (mentioned in the abstract); adding a brief outline of this step in the introduction would improve readability.
  2. Notation for the spaces L^{p,κ}_{ρ,∞} and the auxiliary function ρ should be defined explicitly at first use rather than deferred, to avoid any ambiguity in the parameter ranges involving (1-κ).

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our manuscript and the recommendation of minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation introduces Morrey spaces L^{p,κ}_{ρ,∞} and weak variants via the auxiliary function ρ constructed from the external hypothesis that V ∈ RH_s (s ≥ Q/2), a standard condition yielding doubling and comparability properties on H^n. The operator I_α = L^{-α/2} is defined directly from the Schrödinger operator, and the boundedness claims (with the listed exponent relations) are stated as theorems obtained from the relation to maximal operators, followed by the Adams inequality. These steps rely on the given hypotheses and classical adaptations of Morrey-Sobolev exponents; they do not reduce by construction to fitted parameters, self-definitions, or load-bearing self-citations. The paper is self-contained against external benchmarks under the stated assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claims rest on the reverse Hölder condition for the potential and standard background results about the sublaplacian on Heisenberg groups. The new spaces are explicitly defined rather than postulated without definition.

axioms (2)
  • domain assumption V belongs to the reverse Hölder class RH_s with s∈[Q/2,∞)
    This condition is invoked to define the auxiliary function ρ and to establish the necessary estimates.
  • standard math The sublaplacian Δ_{H^n} satisfies its standard properties on the Heisenberg group H^n
    Used as the base operator for defining L and the fractional powers.
invented entities (1)
  • Morrey space L^{p,κ}_{ρ,∞}(H^n) and weak version WL^{p,κ}_{ρ,∞}(H^n) no independent evidence
    purpose: Framework for studying boundedness of the fractional integral operator I_α associated with L
    These spaces are newly defined in the paper using the auxiliary function ρ derived from V.

pith-pipeline@v0.9.0 · 6015 in / 1488 out tokens · 63648 ms · 2026-05-25T09:02:26.789808+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

32 extracted references · 32 canonical work pages

  1. [1]

    D. R. Adams, A note on Riesz potentials , Duke Math. J, 42(1975), 765–778

    work page 1975

  2. [2]

    D. R. Adams, Morrey Spaces, Lecture notes in applied and numerical harmonic analysis, Birkh¨ auser/Springer, Cham, 2015

    work page 2015

  3. [3]

    D. R. Adams and J. Xiao, Morrey spaces in harmonic analysis , Ark. Mat, 50(2012), 201–230

    work page 2012

  4. [4]

    D. R. Adams and J. Xiao, Nonlinear potential analysis on Morrey spaces and their capacities , Indiana Univ. Math. J., 53(2004), 1629–1663

    work page 2004

  5. [5]

    Bongioanni, E

    B. Bongioanni, E. Harboure, O. Salinas, Weighted inequalities for nega- tive powers of Schr¨ odinger operators, J. Math. Anal. Appl., 348 (2008), 12–27

    work page 2008

  6. [6]

    Bongioanni, E

    B. Bongioanni, E. Harboure, O. Salinas, Weighted inequalities for com- mutators of Schr¨ odinger-Riesz transforms, J. Math. Anal. Appl., 392 (2012), 6–22

    work page 2012

  7. [7]

    Bongioanni, E

    B. Bongioanni, E. Harboure, O. Salinas, Commutators of Riesz trans- forms related to Schr¨ odinger operators , J. Fourier Anal. Appl., 17 (2011), 115–134

    work page 2011

  8. [8]

    Bongioanni, A

    B. Bongioanni, A. Cabral and E. Harboure, Extrapolation for classes of weights related to a family of operators and applications , Potential Anal., 38 (2013), 1207–1232

    work page 2013

  9. [9]

    Bongioanni, A

    B. Bongioanni, A. Cabral and E. Harboure, Lerner’s inequality associ- ated to a critical radius function and applications , J. Math. Anal. Appl., 407 (2013), 35–55

    work page 2013

  10. [10]

    T. A. Bui, Weighted estimates for commutators of some singular in- tegrals related to Schr¨ odinger operators, Bull. Sci. Math., 138 (2014), 270–292

    work page 2014

  11. [11]

    Dziuba´ nski,G

    J. Dziuba´ nski,G. Garrig´ os, T. Mart ´ ınez, J. L. Torrea and J. Zienkiewicz, BM O spaces related to Schr¨ odinger operators with poten- tials satisfying a reverse H¨ older inequality, Math. Z., 249 (2005), 329– 356

    work page 2005

  12. [12]

    Di Fazio and M

    G. Di Fazio and M. A. Ragusa, Interior estimates in Morrey spaces for strong solutions to nondivergence form equations with d iscontinuous coefficients, J. Funct. Anal, 112(1993), 241–256. 28 H. W ANG

    work page 1993

  13. [13]

    Di Fazio, D

    G. Di Fazio, D. K. Palagachev and M. A. Ragusa, Global Morrey regu- larity of strong solutions to the Dirichlet problem for elli ptic equations with discontinuous coefficients , J. Funct. Anal, 166(1999), 179–196

    work page 1999

  14. [14]

    G. B. Folland, Harmonic Analysis in Phase Space , Annals of Mathe- matics Studies, Princeton Univ. Press, Princeton, New Jersey, 19 89

    work page

  15. [15]

    G. B. Folland and E. M. Stein, Hardy Spaces on Homogeneous Groups , Princeton Univ. Press, Princeton, New Jersey, 1982

    work page 1982

  16. [16]

    G. B. Folland and E. M. Stein, Estimates for the ¯∂b complex and anal- ysis on the Heisenberg group , Comm. Pure Appl. Math., 27 (1974), 429–522

    work page 1974

  17. [17]

    V. S. Guliyev, A. Eroglu and Y. Y. Mammadov, Riesz potential in generalized Morrey spaces on the Heisenberg group , J. Math. Sci. (N.Y.) 189 (2013), 365–382

    work page 2013

  18. [18]

    Jerison and A

    D. Jerison and A. Sanchez-Calle, Estimates for the heat kernel for a sum of squares of vector fields , Indiana Univ. Math. J., 35 (1986) 835– 854

    work page 1986

  19. [19]

    Y. S. Jiang, Some properties of the Riesz potential associated to the Schr¨ odinger operator on the Heisenberg groups , Acta Math. Sinica (Chin. Ser), 53 (2010), 785–794

    work page 2010

  20. [20]

    Y. S. Jiang, Endpoint estimates for fractional integral associated to Schr¨ odinger operators on the Heisenberg groups , Acta Math. Sci. Ser. B, 31 (2011), 993–1000

    work page 2011

  21. [21]

    S. G. Krantz, Analysis on the Heisenberg group and estimates for func- tions in Hardy classes of several complex variables , Math. Ann., 244 (1979), 243–262

    work page 1979

  22. [22]

    C. C. Lin and H. P. Liu, BM OL(Hn) spaces and Carleson measures for Schr¨ odinger operators, Adv. Math., 228 (2011), 1631–1688

    work page 2011

  23. [23]

    G. Z. Lu, A Fefferman-Phong type inequality for degenerate vector fiel ds and applications , Panamer. Math. J., 6 (1996), 37–57

    work page 1996

  24. [24]

    C. B. Morrey, On the solutions of quasi-linear elliptic partial different ial equations, Trans. Amer. Math. Soc, 43(1938), 126–166

    work page 1938

  25. [25]

    G. X. Pan and L. Tang, Boundedness for some Schr¨ odinger type opera- tors on weighted Morrey spaces , J. Funct. Spaces, 2014, Art. ID 878629, 10 pp

    work page 2014

  26. [26]

    Z. W. Shen, Lp estimates for Schr¨ odinger operators with certain poten- tials, Ann. Inst. Fourier (Grenoble), 45 (1995), 513–546

    work page 1995

  27. [27]

    E. M. Stein, Singular Integrals and Differentiability Properties of Fun c- tions, Princeton Univ. Press, Princeton, New Jersey, 1970. MORREY SPACES FOR SCHR ¨ODINGER OPERATORS WITH NONNEGATIVE POTENTIALS 29

    work page 1970

  28. [28]

    E. M. Stein, Harmonic Analysis: Real-Variable Methods, Orthogonal- ity, and Oscillatory Integrals , Princeton Univ. Press, Princeton, New Jersey, 1993

    work page 1993

  29. [29]

    Tang, Weighted norm inequalities for Schr¨ odinger type operator s, Forum Math., 27 (2015), 2491–2532

    L. Tang, Weighted norm inequalities for Schr¨ odinger type operator s, Forum Math., 27 (2015), 2491–2532

    work page 2015

  30. [30]

    M. E. Taylor, Analysis on Morrey spaces and applications to Navier- Stokes and other evolution equations , Comm. Partial Differential Equa- tions, 17 (1992), 1407–1456

    work page 1992

  31. [31]

    Thangavelu, Harmonic Analysis on the Heisenberg Group , Progress in Mathematics, Vol

    S. Thangavelu, Harmonic Analysis on the Heisenberg Group , Progress in Mathematics, Vol. 159, Birkh¨ auser, Boston/Basel/Berlin, 1998

    work page 1998

  32. [32]

    J. S. Xiao and J. X. He, Riesz potential on the Heisenberg group , J. Inequal. Appl., 2011, Art. ID 498638, 13 pp. School of Mathematics and Systems Science, Xinjiang Univer sity, Urumqi 830046, P. R. China, E-mail address : wanghua@pku.edu.cn

    work page 2011