pith. sign in

arxiv: 2605.19372 · v1 · pith:ZCHYC6RWnew · submitted 2026-05-19 · 🧮 math.CA

Some new estimates for generalized fractional integrals associated with operators on Morrey spaces

Hua Wang This is my paper

Pith reviewed 2026-05-20 02:45 UTC · model grok-4.3

classification 🧮 math.CA
keywords Morrey spacesgeneralized fractional integralsBMO_LVMO_Lanalytic semigroupsGaussian upper boundsholomorphic functional calculus
0
0 comments X

The pith

The generalized fractional integral L^{-α/2} is bounded from critical Morrey spaces to BMO_L and from vanishing Morrey to VMO_L.

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

This paper proves that for operators L generating analytic semigroups with Gaussian bounds and holomorphic functional calculus, the associated fractional integral operator maps Morrey spaces in the limiting Sobolev case into the adapted BMO spaces. The boundedness holds when the Morrey exponent λ is set to n minus alpha times p, for p in the range 1 to less than n over alpha. The same mapping is shown for the vanishing versions of the spaces. This matters for extending classical results in harmonic analysis to settings with general operators L, which appear in the study of PDEs. The proofs use detailed pointwise estimates on the integral kernels of the fractional operator and its variants.

Core claim

In the limiting Sobolev case λ = n - αp and 1 ≤ p < n/α, with 0 < α < n, the operator L^{-α/2} defined via the gamma function integral against the semigroup e^{-tL} is bounded from M^{p,λ}(R^n) into BMO_L(R^n) and from VM^{p,λ}(R^n) into VMO_L(R^n). This is established using pointwise kernel estimates for L^{-α/2} and (I - e^{-tL})L^{-α/2}. A direct consequence is the boundedness from the weak space L^{p,∞}(R^n) into BMO_L(R^n) at the critical index p = n/α.

What carries the argument

Pointwise kernel estimates for the generalized fractional integral L^{-α/2} and the modified operator (I - e^{-t L}) L^{-α/2} that control the mean oscillations defining the BMO_L norm.

Load-bearing premise

The assumption that the operator L generates an analytic semigroup with Gaussian upper bounds and admits a bounded holomorphic functional calculus on L squared is required to obtain the necessary kernel estimates for the fractional integral.

What would settle it

A concrete falsifier would be an explicit function f belonging to M^{p, n-αp}(R^n) for which the L-mean oscillation of L^{-α/2}f is infinite, violating the BMO_L membership.

read the original abstract

Let $\mathcal{L}$ be the infinitesimal generator of an analytic semigroup $\big\{e^{-t\mathcal L}:t>0\big\}$ on $L^2(\mathbb R^n)$ with Gaussian upper bounds, and suppose that $\mathcal{L}$ has a bounded holomorphic functional calculus on $L^2(\mathbb R^n)$. For given $0<\alpha<n$, let $\mathcal L^{-\alpha/2}$ be the generalized fractional integral associated with $\mathcal{L}$, which is given by \begin{equation*} \mathcal L^{-\alpha/2}(f)(x):=\frac{1}{\Gamma(\alpha/2)}\int_0^{+\infty}e^{-t\mathcal L}(f)(x)t^{\alpha/2-1}dt, \end{equation*} where $\Gamma(\cdot)$ is the usual gamma function. In the limiting Sobolev case $\lambda=n-\alpha p$ and $1\leq p<n/{\alpha}$, the author proves that the operator $\mathcal{L}^{-\alpha/2}$ is bounded from the Morrey space $M^{p,\lambda}(\mathbb R^n)$ into $\mathrm{BMO}_{\mathcal{L}}(\mathbb R^n)$, and is bounded from the vanishing Morrey space $VM^{p,\lambda}(\mathbb R^n)$ into $\mathrm{VMO}_{\mathcal{L}}(\mathbb R^n)$, where $\mathrm{BMO}_{\mathcal{L}}(\mathbb R^n)$ and $\mathrm{VMO}_{\mathcal{L}}(\mathbb R^n)$ are the spaces of bounded mean oscillation and vanishing mean oscillation associated with the operator $\mathcal{L}$, respectively. As a consequence, the author obtains that the operator $\mathcal{L}^{-\alpha/2}$ is bounded from $L^{p,\infty}(\mathbb R^n)$ into $\mathrm{BMO}_{\mathcal{L}}(\mathbb R^n)$ when $p=n/{\alpha}$ and $0<\alpha<n$. The proofs are based on pointwise kernel estimates of the operators $\mathcal L^{-\alpha/2}$ and $(I-e^{-t\mathcal L})\mathcal{L}^{-\alpha/2}$ for $0<\alpha<n$.

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 / 4 minor

Summary. The paper establishes boundedness of the generalized fractional integral operator L^{-α/2}, defined via the integral representation involving the semigroup e^{-tL}, from the Morrey space M^{p,λ}(R^n) to BMO_L(R^n) in the critical case λ = n - αp with 1 ≤ p < n/α, and from the vanishing Morrey space VM^{p,λ}(R^n) to VMO_L(R^n). It also derives the endpoint boundedness from L^{p,∞}(R^n) to BMO_L(R^n) when p = n/α. The proofs rely on pointwise kernel estimates for L^{-α/2} and (I - e^{-tL})L^{-α/2} obtained from the Gaussian upper bounds and bounded holomorphic functional calculus assumptions on L.

Significance. If the results hold, they extend classical fractional integral and Sobolev embedding theorems to the setting of operators generating analytic semigroups with Gaussian bounds, providing new mapping properties on Morrey-type spaces into operator-adapted BMO and VMO spaces. This contributes to the literature on generalized function spaces and harmonic analysis for Schrödinger-type operators or other differential operators, with potential applications to PDEs.

minor comments (4)
  1. §2, Definition 2.3: the space BMO_L is introduced via the supremum over balls of the L^1 oscillation controlled by the semigroup, but the precise constant in the definition should be stated explicitly to match the kernel estimates used later.
  2. §4, proof of Theorem 1.1: the splitting of the integral representation at t ≈ |x-y|^2 is standard, but the transition from the size estimate to the mean oscillation in the Morrey norm could include a brief remark on the dependence of constants on α and p.
  3. The abstract and introduction both state the main result; consider moving the precise statement of the assumptions on L (analytic semigroup with Gaussian bounds and bounded holomorphic calculus) to a dedicated preliminary section for clarity.
  4. Minor typographical issue: in the displayed equation for L^{-α/2}, the variable of integration is t but the semigroup is written as e^{-tL}(f)(x); ensure consistent notation throughout the kernel estimates in §3.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and for recommending minor revision. The referee's summary correctly captures the main results concerning the boundedness of the generalized fractional integral operator L^{-α/2} from Morrey spaces M^{p,λ} to BMO_L (and the vanishing versions) in the critical case λ = n - αp, as well as the endpoint case from L^{p,∞} to BMO_L. We are pleased that the contribution to extending classical fractional integral theorems to operators with Gaussian bounds and holomorphic functional calculus is recognized.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper begins with external hypotheses on the operator L (analytic semigroup with Gaussian upper bounds plus bounded holomorphic functional calculus on L^2), defines the generalized fractional integral L^{-α/2} via the standard integral representation involving the semigroup, derives pointwise kernel estimates for L^{-α/2} and (I - e^{-tL})L^{-α/2} directly from those hypotheses by splitting integrals at the natural scale, and then uses the resulting size and smoothness conditions to control the Morrey-to-BMO_L oscillation in the critical case λ = n - αp. No quantity is defined in terms of itself, no fitted parameter is relabeled as a prediction, and the central boundedness statements follow from the kernel decay without reduction to self-citation chains or imported uniqueness theorems.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The results depend on the stated properties of the operator L as the generator of an analytic semigroup with Gaussian bounds and holomorphic functional calculus; these are domain assumptions from semigroup theory rather than new postulates.

axioms (2)
  • domain assumption L generates an analytic semigroup on L^2(R^n) possessing Gaussian upper bounds
    Explicitly stated as the initial setup for defining the generalized fractional integral via the semigroup integral formula.
  • domain assumption L admits a bounded holomorphic functional calculus on L^2(R^n)
    Required to ensure the fractional powers and associated operators are well-defined and to support the kernel estimates.

pith-pipeline@v0.9.0 · 5913 in / 1535 out tokens · 52381 ms · 2026-05-20T02:45:03.564719+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

34 extracted references · 34 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]

    Akbulut, R

    A. Akbulut, R. V. Guliyev, S. Celik and M. N. Omarova,Fractional integral associated with Schr¨ odinger operator on vanishing generalized Morrey spaces, J. Math. Inequal.,12(2018), 789–805

    work page 2018

  4. [4]

    Auscher,On necessary and sufficient conditions forL p-estimates of Riesz transforms associated to elliptic operators onR n and related estimates, Mem

    P. Auscher,On necessary and sufficient conditions forL p-estimates of Riesz transforms associated to elliptic operators onR n and related estimates, Mem. Amer. Math. Soc,186(2007), 75 pp

    work page 2007

  5. [5]

    Auscher and J

    P. Auscher and J. M. Martell,Weighted norm inequalities for fractional operators, Indiana Univ. Math. J, 57(2008), 1845–1870

    work page 2008

  6. [6]

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

    work page 2014

  7. [7]

    Butaev and G

    A. Butaev and G. Dafni,Approximation and extension of functions of vanishing mean oscillation, J. Geom. Anal,31(2021), 6892–6921

    work page 2021

  8. [8]

    Burchard, G

    A. Burchard, G. Dafni and R. Gibara,Vanishing mean oscillation and continuity of rearrangements, Adv. Math,437(2024), Paper No. 109379, 25 pp

    work page 2024

  9. [9]

    Y. P. Chen and Y. Ding,Commutators of the fractional integrals for second-order elliptic operators on Morrey spaces, Forum Math.,30(2018), 617–629

    work page 2018

  10. [10]

    D. G. Deng, X. T. Duong and L. X. Yan,A characterization of the Morrey–Campanato spaces, Math. Z., 250(2005), 641–655

    work page 2005

  11. [11]

    D. G. Deng, X. T. Duong, A. Sikora and L. X. Yan,Comparison of the classical BMO with the BMO spaces associated with operators and applications, Rev. Mat. Iberoamericana,24(2008), 267–296

    work page 2008

  12. [12]

    D. G. Deng, X. T. Duong, L. Song, C. Q. Tan and L. X. Yan,Functions of vanishing mean oscillation associated with operators and applications, Michigan Math. J,56(2008), 529–550

    work page 2008

  13. [13]

    X. T. Duong and L. X. Yan,On commutators of fractional integrals, Proc. Amer. Math. Soc,132(2004), 3549–3557

    work page 2004

  14. [14]

    X. T. Duong and L. X. Yan,New function spaces of BMO type, the John–Nirenberg inequality, interpolation and applications, Comm. Pure Appl. Math,58(2005), 1375–1420

    work page 2005

  15. [15]

    X. T. Duong and L. X. Yan,Duality of Hardy and BMO spaces associated with operators with heat kernel bounds, J. Amer. Math. Soc,18(2005), 943–973

    work page 2005

  16. [16]

    Grafakos,Modern Fourier Analysis, Third Edition, Springer-Verlag, 2014

    L. Grafakos,Modern Fourier Analysis, Third Edition, Springer-Verlag, 2014

    work page 2014

  17. [17]

    John and L

    F. John and L. Nirenberg,On functions of bounded mean oscillation, Comm. Pure Appl. Math,14(1961), 415–426

    work page 1961

  18. [18]

    J. M. Martell,Sharp maximal functions associated with approximations of the identity in spaces of homo- geneous type and applications, Studia Math,161(2004), 113–145

    work page 2004

  19. [19]

    H. X. Mo and S. Z. Lu,Boundedness of multilinear commutators of generalized fractional integrals, Math. Nachr,281(2008), 1328–1340. GENERALIZED FRACTIONAL INTEGRALS ON MORREY SPACES 19

    work page 2008

  20. [20]

    Muscalu and W

    C. Muscalu and W. Schlag,Classical and Multilinear Harmonic Analysis. Vol. I., Cambridge University Press, Cambridge, 2013

    work page 2013

  21. [21]

    Rafeiro and S

    H. Rafeiro and S. Samko,BMO-VMO results for fractional integrals in variable exponent Morrey spaces, Nonlinear Anal,184(2019), 35–43

    work page 2019

  22. [22]

    M. A. Ragusa,Commutators of fractional integral operators on vanishing-Morrey spaces, J. Global Optim, 40(2008), 361–368

    work page 2008

  23. [23]

    Sawano, G

    Y. Sawano, G. Di Fazio and D. I. Hakim,Morrey spaces-introduction and applications to integral operators and PDE’s. Vol. I, Monogr. Res. Notes Math., CRC Press, Boca Raton, FL, 2020

    work page 2020

  24. [24]

    Sawano, G

    Y. Sawano, G. Di Fazio and D. I. Hakim,Morrey spaces-introduction and applications to integral operators and PDE’s. Vol. II, Monogr. Res. Notes Math., CRC Press, Boca Raton, FL, 2020

    work page 2020

  25. [25]

    Samko,Maximal, potential and singular operators in vanishing generalized Morrey spaces, J

    N. Samko,Maximal, potential and singular operators in vanishing generalized Morrey spaces, J. Global Optim,57(2013), 1385–1399

    work page 2013

  26. [26]

    Sarason,Functions of vanishing mean oscillation, Trans

    D. Sarason,Functions of vanishing mean oscillation, Trans. Amer. Math. Soc,207(1975), 391–405

    work page 1975

  27. [27]

    E. M. Stein,Singular Integrals and Differentiability Properties of Functions, Princeton Univ. Press, Prince- ton, New Jersey, 1970

    work page 1970

  28. [28]

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

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

    work page 2015

  29. [29]

    C. Vitanza,Functions with vanishing Morrey norm and elliptic partial differential equations, In: Proceed- ings of methods of real analysis and partial differential equations, Capri, pp. 147–150, Springer, 1990

    work page 1990

  30. [30]

    Wang,Weighted Morrey spaces related to Schr¨ odinger operators with nonnegative potentials and frac- tional integrals, J

    H. Wang,Weighted Morrey spaces related to Schr¨ odinger operators with nonnegative potentials and frac- tional integrals, J. Funct. Spaces, 2020, Art. ID 6907170, 17 pp

    work page 2020

  31. [31]

    K. K. Yang and H. Wang,Homogeneous fractional integral operators on Lebesgue and Morrey spaces, Hardy–Littlewood–Sobolev and Olsen-type inequalities, Proceedings-Mathematical Sciences, 2026, In press

    work page 2026

  32. [32]

    C. Chen, K. K. Yang and H. Wang,Multilinear fractional maximal and integral operators with homogeneous kernels, Hardy–Littlewood–Sobolev and Olsen-type inequalities, Czechoslovak Math. J.,75(2025), 1133– 1176

    work page 2025

  33. [33]

    Xiao,A sharp Sobolev trace inequality for the fractional-order derivatives, Bull

    J. Xiao,A sharp Sobolev trace inequality for the fractional-order derivatives, Bull. Sci. Math.,130(2006), 87–96

    work page 2006

  34. [34]

    Xiao,Q α analysis on Euclidean Spaces, De Gruyter, Berlin, 2019

    J. Xiao,Q α analysis on Euclidean Spaces, De Gruyter, Berlin, 2019. School of Mathematics and Information Science, Xiangnan University, Chenzhou 423000, P. R. China Email address:wanghua@pku.edu.cn

    work page 2019