Pith. sign in

REVIEW 2 major objections 5 minor 1 cited by

Endpoint boundedness of singular integrals: CMO space associated to Schr\"odinger operators

T0 review · 2 major / 5 minor · reviewed 2026-08-16 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For Schrödinger operators with reverse-Hölder potentials, the paper establishes endpoint boundedness on the associated CMO space: the maximal operator is bounded, adjoint Riesz transforms send C0 into it, and semigroup approximations…

desk verdict Theorem 1.2 has a real, load-bearing gap in the tau-integral step; Theorems 1.1 and 1.3 look solid, and the paper deserves a serious referee. read the letter →

arxiv 2504.16827 v1 pith:MHDQHYPK submitted 2025-04-23 math.CA

Xueting Han , Ji Li , Liangchuan Wu This is my paper · ORCID
classification math.CA MSC 42B2042B2542B35
keywords maximaloperatorRiesztransformsCMOspaceSchrödingeroperatorsreverseHölderclassvanishingmeanoscillationBMO_Lsemigroupapproximation
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper aims to prove endpoint boundedness for the standard singular integral operators on CMO_L(R^n), the space of functions of vanishing mean oscillation associated to a Schrödinger operator L = -Δ + V with nonnegative potential V in a reverse Hölder class. It claims three results: the Hardy–Littlewood maximal operator preserves CMO_L; each adjoint Riesz transform (∂_j $L^{{-1/2}}$)^* is bounded from continuous functions vanishing at infinity into CMO_L; and the Poisson and heat semigroups $e^{{-t√L}}$ and $e^{{-tL}}$ converge to the identity on CMO_L in BMO_L norm as t→0. If true, these results give endpoint boundedness and an approximation identity for the nonclassical CMO_L space, and they recover the classical CMO analogues by taking V=0.

What carries the argument

The load-bearing object is the critical-radius function ρ(x) introduced in the paper's main reference [17]; the BMO_L norm averages over balls of radius r_B < ρ(x_B) with the mean subtracted and over balls of radius r_B ≥ ρ(x_B) without the mean. Around this, the arguments use three structural tools: the characterization of CMO_L by vanishing of the mean-oscillation functionals γ_1–γ_5 from [18], the tent-space characterization of CMO_L via the Poisson semigroup also from [18], and Shen's kernel estimates comparing the Riesz kernel of L with the classical Riesz kernel. For the Riesz adjoints, the proof writes the kernel through an integral in τ of ∇_yΓ(y,x,τ), where Γ is the fundamental solution of -Δ + (V + iτ), and uses Morrey-type Hölder estimates for ∇_yΓ. For the semigroup approximation, the key quantitative input is a Kato–Trotter comparison showing the heat kernel of L differs from that of -Δ by a factor (√t/(√t+ρ(x)))^δ with δ>0.

What would settle it

Keep the τ-dependent factor in the displayed inequality bounding |R_j(y,x_1) - R_j(y,x_0)|: direct application of the triangle inequality would require integrating |τ|^{-1/2}(1 + |τ|^{1/2}R_y)^m over τ ∈ R, which diverges for every m ≥ 0. A reader can settle the claim by finding a cancellation or decay estimate that makes this integral converge, or by exhibiting a potential V ∈ RH_q for which the corresponding kernel difference fails the stated bound.

Watch

Extended reading notes

Core claim

The central discovery is that endpoint singular-integral theory, classically formulated for the Laplacian, survives for Schrödinger operators once the critical-length function ρ(x) = sup{r>0 : $r^{{-(n-2)}}$ ∫_{B(x,r)} V ≤ 1} is used to split local and nonlocal estimates. With V ∈ RH_q for q ≥ n/2, the paper proves that M is bounded on BMO_L and maps CMO_L into itself, that each R_j^* maps C_0(R^n) into CMO_L, and that $e^{{-t√L}}$f and $e^{{-tL}}$f converge to f in BMO_L norm for every f ∈ CMO_L, with uniform convergence for compactly supported smooth f. As a consequence, the paper derives a Riesz-type representation for the dual of CMO_L: every continuous linear functional is integration against a finite Borel measure whose L-Riesz transforms are also finite Borel measures; specializing to V=0 recovers the classical duality (CMO)^* = $H^{1}$.

Load-bearing premise

The proof of the Riesz-transform continuity assumes that an integral over the auxiliary evolution parameter τ remains convergent after a τ-dependent factor is discarded; this interchange is not shown in the paper, and without it Theorem 1.2 is not established.

Editorial extensions

If this is right

  • The maximal operator becomes a usable tool on CMO_L: since M preserves the space, density and truncation arguments that require applying M to CMO functions are valid in the nonclassical setting.
  • The semigroup approximation theorem gives a canonical mollifier compatible with L: to prove a statement for all CMO_L functions it suffices to prove it for e^{-t√L}f or e^{-tL}f and then pass t→0, avoiding convolution kernels that generally leave CMO_L.
  • The duality representation upgrades the abstract predual information: every bounded linear functional on CMO_L is integration against a finite measure, and the L-Riesz transforms of that measure are finite measures; with V=0 this recovers the classical identification (CMO)^* = H^1.
  • For the classical CMO with V=0, Theorem 1.1 settles the boundedness of M on CMO(R^n) for the functions on which M f is finite, while the example f(x)=ln ln |x| shows the obstruction to finiteness is real.
  • The results complement the known L^p bounds for R_j^* with the endpoint p=∞ statement, giving a new route to boundary-value problems for harmonic functions of L with CMO data.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The representation lemma invites an L-analogue of the F. and M. Riesz theorem: show that the representing measure is absolutely continuous with density in H^1_L. The paper leaves this open; a natural test is whether the Poisson–Stieltjes integrals satisfy subharmonicity of |F_L|^p for p ≤ 1.
  • Theorem 1.1's mechanism suggests a transfer principle: any operator bounded on BMO_L whose estimates respect the ρ(x) splitting should preserve CMO_L once the three vanishing conditions γ_1, γ_3, γ_5 are checked; fractional maximal operators are a direct test case.
  • The strict inclusions CMO_L ⊊ CMO ⊊ VMO mean the endpoint results for L are genuinely sharper than the classical ones; comparing whether M maps CMO into VMO could identify which of the classical vanishing conditions is lost versus gained.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The paper studies endpoint boundedness for Schrödinger operators L = -Δ + V with nonnegative V in the reverse Hölder class RH_q, q ≥ n/2, acting on the space CMO_L(R^n), the closure of C∞_c in BMO_L. Theorem 1.1 states that the Hardy–Littlewood maximal operator is bounded on BMO_L and maps CMO_L into itself. Theorem 1.2 states that each adjoint Riesz transform (∂_j L^{-1/2})^* maps C_0(R^n) into CMO_L. Theorem 1.3 states that the Poisson and heat semigroups associated to L give an approximation to the identity in BMO_L norm for functions in CMO_L, with uniform convergence for smooth compactly supported functions. The paper also derives a Riesz-type representation for continuous linear functionals on CMO_L in terms of finite Borel measures whose Riesz transforms are again measures.

Significance. If the results are correct, they fill a natural gap in the endpoint theory for CMO_L: the maximal operator, Riesz transforms at the C_0-to-CMO endpoint, and semigroup approximation are all relevant to applications in harmonic analysis and PDE. The paper is clearly written and builds on established machinery from Shen [17] and Song–Wu [18]; the proof of Theorem 1.1 is a careful adaptation of classical arguments, and Theorem 1.3 is a plausible extension of known results. The main novel contribution, Theorem 1.2, is the most technically demanding but contains an unproved convergence step that is load-bearing. The Riesz representation lemma, which depends on Theorem 1.2, is also affected. The paper is honest about limitations and open questions, and the overall strategy is credible, but the proof of Theorem 1.2 is not complete as written.

major comments (2)
  1. [Section 4, Step III (display after 'Furthermore')] The proof of (4.6) writes the difference |R_j(y,x_1)-R_j(y,x_0)| as the absolute value of an integral over τ of (-iτ)^{-1/2} [∇_yΓ(y,x_1,τ)-∇_yΓ(y,x_0,τ)] dτ and then bounds this by the finite right-hand side. However, the preceding estimate for the gradient difference contains a factor (1+|τ|^{1/2} R_y)^m; substituting that estimate into the τ-integral would require bound on ∫_R |τ|^{-1/2} (1+|τ|^{1/2} R_y)^m dτ, which diverges at infinity for every m ≥ 0. No principal value, cancellation mechanism, or τ-decay estimate for the gradient difference is given. Since this step is exactly what proves the continuity of T_1(φ), Theorem 1.2, and hence Lemma 4.1, rest on an unproved technical point.
  2. [Section 4, Step III (identity for the Riesz kernel difference)] The identity expressing R_j(y,x_1)-R_j(y,x_0) as a τ-integral of (-iτ)^{-1/2}∇_yΓ is stated with the word 'Furthermore' but no proof or citation. This identity is the starting point of the estimate for T_1, so its validity and the precise sense in which the integral converges (in particular, whether it is an ordinary improper integral or a principal value) need to be established. If the identity is taken from Shen [17] or another reference, the source should be cited explicitly and the convergence condition checked.
minor comments (5)
  1. [Section 3, Step II] The text contains typos: 'there eixsts a cube Q whose sigdelength is 2 r_B' should read 'there exists a cube Q whose sidelength is 2 r_B'; and after (3.6c), 'cP dentoes' should be 'c_P denotes'.
  2. [Section 4, Step III] The definition of ΔE(x) is written incorrectly: the expression (E_x ∩ E_{x_0}) \ (E_x ∩ E_{x_0}) is always empty; the intended object is the symmetric difference E_x Δ E_{x_0}. This should be corrected to make the convergence argument for E(x_1) meaningful.
  3. [Section 5, Lemma 5.1 proof] In the verification of η_2(F_s), the text writes 'η_2(F_2)=0' where the index should be s; also in (5.2) the constant is written as 'CC' with a double C.
  4. [Remark 3.1] The notation 'R^*_j(C_0(R))' should be 'R^*_j(C_0(R^n))'; the current notation suggests a one-dimensional domain.
  5. [Section 4, Step I] The norm expression in the display after (4.2) is typeset awkwardly with nested norms of the maximal function; this should be clarified for readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the endpoint bounds are derived from independent prior characterizations and kernel estimates; the Step III tau-integral gap is a rigor issue, not a self-referential reduction.

full rationale

The paper does not exhibit any step in which a claimed prediction reduces by definition or by a fitted parameter to its own inputs. Theorem 1.1 uses the independent mean-oscillation characterization of CMO_L from [18] (Song-Wu) and the classical Bennett-DeVore-Sharpley bound for the Hardy-Littlewood maximal operator, then verifies the three vanishing gamma-functionals for Mf; this is a genuine derivation rather than an assumption of the conclusion. Theorem 1.3 uses the tent-space characterization from [18] only as an input, proves the semigroup invariance of BMO_L and CMO_L in Lemma 5.1, and then obtains the t->0 convergence by approximation from C_c^infinity. Theorem 1.2 uses Shen's kernel estimates, Cotlar's inequality, and the L^infinity-to-BMO_L bound from [21] (Wu-Yan); these are published, parameter-free inputs whose stated assumptions do not include the target boundedness, so they are independent support rather than circular self-citation. The self-citations [18] and [21] are load-bearing but not circular, since neither asserts R_j^*: C0 -> CMO_L or the maximal-operator endpoint bound. One genuine technical concern appears in Section 4, Step III, where the paper writes |R_j(y,x1)-R_j(y,x0)| = | -1/(2pi) int_R (-i tau)^(-1/2)[nabla_y Gamma(y,x1,tau)-nabla_y Gamma(y,x0,tau)] d tau | and immediately bounds the right-hand side after substituting estimates carrying a (1+|tau|^{1/2} R_y)^m factor; the manuscript does not justify the interchange of the absolute value with the tau-integral or the finiteness of the resulting integral. This is a missing technical justification for Theorem 1.2 as written, but it is not circularity: no definition, theorem, or fitted parameter is invoked that already contains the desired conclusion. Accordingly, no circularity step is identified and the score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper introduces no new free parameters and no new postulated entities. It relies on established results about reverse Hölder potentials, Shen's kernel estimates, and Song-Wu's characterization of CMO_L. The most novel technical input is the application of these tools to prove the three endpoint boundedness theorems.

assumptions (5)
  • domain assumption The potential V belongs to the reverse Hölder class RH_q for some q ≥ n/2, with self-improvement to RH_{q+ε} (Section 2).
    This is the standing assumption on the Schrödinger operator throughout the paper, inherited from Shen's theory.
  • domain assumption Shen's kernel estimates and L^p bounds for the Riesz transforms R_j and their adjoints (cited from [17], used in Section 4).
    Theorem 1.2 relies on these estimates for the difference R_j - R0_j and the kernel representation via fundamental solutions.
  • domain assumption The structural characterization of CMO_L via mean oscillation and the closure of C_0, from Song-Wu [18, Theorem 2.1 and Theorem C].
    Theorem 1.1 uses the γ~i characterization; Theorem 1.2 and Lemma 4.1 use the fact that CMO_L is the closure of C_0 in the BMO_L norm.
  • domain assumption The tent-space characterization of CMO_L from Song-Wu [18, Theorem B], used in Lemma 5.1.
    Lemma 5.1 establishes boundedness of e^{-s√L} on BMO_L and CMO_L through the T∞2,C condition, which is a published characterization.
  • domain assumption The Kato-Trotter heat kernel estimate (5.7) from Bui-Duong-Ly [4, Proposition 7.13].
    Theorem 1.3 uses this estimate to prove uniform convergence of e^{-t√L}f to f for f in C_c^∞.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Endpoint boundedness of singular integrals: CMO space associated to Schr\"odinger operators." pith.science (2026). https://pith.science/paper/MHDQHYPK

@misc{pith2026250416827,
  author       = {Pith},
  title        = {Pith review of: Endpoint boundedness of singular integrals: CMO space associated to Schr\"odinger operators},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/MHDQHYPK}},
  note         = {Machine review of arXiv:2504.16827}
}
abstract

Let $ \mathcal{L} = -\Delta + V $ be a Schr\"odinger operator acting on $ L^2(\mathbb{R}^n) $, where the nonnegative potential $ V $ belongs to the reverse H\"older class $ RH_q $ for some $ q \geq n/2 $. This article is primarily concerned with the study of endpoint boundedness for classical singular integral operators in the context of the space $ \mathrm{CMO}_{\mathcal{L}}(\mathbb{R}^n) $, consisting of functions of vanishing mean oscillation associated with $ \mathcal{L} $. We establish the following main results: (i) the standard Hardy--Littlewood maximal operator is bounded on $\mathrm{CMO}_{\mathcal{L}}(\mathbb{R}^n) $; (ii) for each $ j = 1, \ldots, n$, the adjoint of the Riesz transform $ \partial_j \mathcal{L}^{-1/2} $ is bounded from $ C_0(\mathbb{R}^n) $ into $ \mathrm{CMO}_{\mathcal{L}}(\mathbb{R}^n) $; and (iii) the approximation to the identity generated by the Poisson and heat semigroups associated with $ \mathcal{L} $ characterizes $ \mathrm{CMO}_{\mathcal{L}}(\mathbb{R}^n) $ appropriately. These results recover the classical analogues corresponding to the Laplacian as a special case. However, the presence of the potential $ V $ introduces substantial analytical challenges, necessitating tools beyond the scope of classical Calder\'on--Zygmund theory. Our approach leverages precise heat kernel estimates and the structural properties of $ \mathrm{CMO}_{\mathcal{L}}(\mathbb{R}^n) $ established by Song and the third author in [J. Geom. Anal. 32 (2022), no. 4, Paper No. 130, 37 pp].

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Uncentered Fractional Maximal functions and mean oscillation spaces associated with dyadic Hausdorff content

    math.FA 2025-06 conditional novelty 8.0 of 10

    Fractional maximal operators map BMO functions into Hausdorff-content BLO spaces, send BMO to VMO via uniform continuity, and preserve vanishing mean oscillation spaces adapted to dyadic Hausdorff content.

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages · cited by 1 Pith paper

  1. [17]

    Z.W . Shen. Lp estimates for Schr¨ odinger operators with certain potentials. Ann. Inst. F ourier (Grenoble)45 (1995), 513–546. 2, 4, 5, 12, 15, 16, 17, 18, 19

    work page 1995

  2. [18]

    Song and L.C

    L. Song and L.C. Wu. The CMO-Dirichlet boundary value pr oblem for the Schr¨ odinger equation in the upper half- space and characterizations of CMO. J. Geom. Anal. 32 (2022), no. 4, Paper No. 130, 37 pp. 1, 2, 3, 4, 5, 15, 21, 23

    work page 2022

  3. [1]

    Bennett, R.A

    C. Bennett, R.A. DeV ore and R. Sharpley. Weak-L∞ and BMO. Ann. of Math. (2) 113 (1981), no. 3, 601–611. 3, 6, 7

    work page 1981

  4. [2]

    Biroli and U

    M. Biroli and U. Mosco. A Saint-V enant type principle for Dirichlet forms on discontinuous media. Ann. Mat. Pura Appl. (4) 169 (1995), 125–181. 22

    work page 1995

  5. [3]

    Bui, X.T

    H.Q. Bui, X.T. Duong and L.X. Y an. Calder´ on reproducing formulas and new Besov spaces associated with oper- ators. Adv. Math. 229 (2012), no. 4, 2449–2502. 29

    work page 2012

  6. [4]

    Bui, X.T

    T.A. Bui, X.T. Duong and F.K. Ly. Maximal function charac terizations for new local Hardy-type spaces on spaces of homogeneous type. Trans. Amer . Math. Soc.370 (2018), no. 10, 7229–7292. 27

    work page 2018

  7. [5]

    The dual of Hardy spaces on a bounded doma in in Rn

    Der-Chen Chang. The dual of Hardy spaces on a bounded doma in in Rn. F orum Math.6 (1994), no. 1, 65–81. 21

    work page 1994

  8. [6]

    G. Dafni. Local VMO and weak convergence in h1. Canad. Math. Bull. 45 (2002), no. 1, 46–59. 4, 23

    work page 2002

Show all 21 references
  1. [7]

    Deng, X.T

    D.G. Deng, X.T. Duong, L. Song, C.Q. Tan and L.X. Y an. Func tions of vanishing mean oscillation associated with operators and applications. Michigan Math. J. 56 (2008), no. 3, 529–550. 2, 5

    2008

  2. [8]

    Duong, L.X

    X.T. Duong, L.X. Y an and C. Zhang. On characterization of Poisson integrals of Schr¨ odinger operators with BMO traces. J. Funct. Anal. 266 (2014), no. 4, 2053–2085. 22

    2014

  3. [9]

    Dziuba´ nski, G

    J. Dziuba´ nski, G. Garrig´ os, T. Mart´ ınez, J. L. Torrea and J. Zienkiewicz. BMO spaces related to Schr¨ odinger operators with potentials satisfying a reverse H¨ older inequality. Math. Z. 249 (2005), 329–356. 2, 6, 7, 27

    2005

  4. [10]

    Dziuba´ nski and J

    J. Dziuba´ nski and J. Zienkiewicz. Hardy space H 1 associated to Schr¨ odinger operator with potential satisf ying reverse H¨ older inequality, Rev. Mat. Iberoam. 15 (1999), no. 2, 279–296. 20

    1999

  5. [11]

    Gibara and J

    R. Gibara and J. Kline. Fractional maximal functions an d mean oscillation on bounded doubling metric measure spaces. J. Funct. Anal. 285 (2023), no. 10, Paper No. 110126, 31 pp. 3

    2023

  6. [12]

    Gilbarg and N.S

    D. Gilbarg and N.S. Trudinger. Elliptic partial di fferential equations of second order . Reprint of the 1998 edition. Classics in Mathematics. Springer-V erlag, Berlin, 2001. 22 30 XUETING HAN, JI LI, AND LIANGCHUAN WU

    1998

  7. [13]

    Jiang and B

    R.J. Jiang and B. Li. On the Dirichlet problem for the Sch r¨ odinger equation with boundary value in BMO space. Sci. China Math. 65 (2022), no. 7, 1431–1468. 17

    2022

  8. [14]

    L.D. Ky. On weak*-convergence in H1 L(Rd). Potential Anal. 39 (2013), no. 4, 355–368. 2, 5

    2013

  9. [15]

    W . Rudin. Real and Complex Analysis . Third edition. McGraw-Hill Book Co., New Y ork, 1987. 20

    1987

  10. [16]

    Shaabani

    S. Shaabani. Maximal operators on BMO and slices. Canad. Math. Bull. 67 (2024), no. 1, 94–107. 3, 7

    2024

  11. [19]

    Stein, Singular integrals and di fferentiability properties of functions

    E.M. Stein, Singular integrals and di fferentiability properties of functions . Princeton Univ. Press, Princeton N.J.,

  12. [20]

    Stein, Harmonic analysis: Real variable methods, orthogonality a nd oscillatory integrals

    E.M. Stein, Harmonic analysis: Real variable methods, orthogonality a nd oscillatory integrals . Princeton Univ. Press, Princeton, NJ, 1993. 21

    1993

  13. [21]

    Wu and L.X

    L.C. Wu and L.X. Y an. Heat kernels, upper bounds and Hard y spaces associated to the generalized Schr¨ odinger operators. J. Funct. Anal. 270 (2016), no. 10, 3709–3749. 3, 12 Xueting Han, School of Mathematics and Physics, University of Science and Technology Beijing, Beijing...

    2016

Pith tools

Reviewed August 16, 2026 · model on record in the stance chip above.