Pith. sign in

REVIEW 4 minor 18 references

Sharp and Endpoint Two-Weight Fractional Integral Estimates for Schr"odinger Operators with Inverse-Square Potentials

T0 review · 0 major / 4 minor · reviewed 2026-07-13 · grok-4.5

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

Pith's one-line read The paper gives the exact range of exponents for which two power-weighted fractional integrals of the inverse-square Schrödinger operator are bounded, and shows what replaces the bound at the origin-critical endpoints.

desk verdict Clean, elementary sharp-range note for a known inverse-square kernel; solid and citeable within the subfield, nothing more. read the letter →

arxiv 2607.09585 v1 pith:WQNTYZ6X submitted 2026-07-10 math.CA math-phmath.APmath.MP

Haochen Liu , Qinghao Yu , Hongyan Zhou This is my paper · ORCID
classification math.CAmath-phmath.APmath.MP MSC 35J1042B3535P0546E30
keywords inverse-squareSchrödingeroperatorfractionalintegralHardy–Littlewood–SobolevinequalityStein–WeisspowerweightsLorentzspacestwo-weightestimates
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 classifies when the fractional integral of the inverse-square Schrödinger operator maps one power-weighted Lebesgue space into another. Starting from a known two-sided pointwise formula for the integral kernel, it proves that the strong estimate holds for 1 < p, q < ∞ if and only if four conditions are satisfied: the output integrability cannot be better than the input, the usual scaling relation that balances the order of the integral against the weight exponents, a non-negative sum of the two weight exponents, and two strict origin conditions that keep the weights from being too singular at zero. At either origin-critical equality the strong bound and the ordinary weak-type bound both fail, but a Lorentz-space replacement still holds. The same range is transferred from a model kernel to the actual spectral operator, and weighted Sobolev inequalities are recorded as immediate consequences. The result is of interest because the inverse-square potential is scale-invariant and already produces singular factors at the origin, so the classical Stein–Weiss theory must be adjusted by three separate pieces of the kernel.

What carries the argument

The model kernel Ks,σ, which is the right-hand side of the known two-sided comparison for the integral kernel of Ha−s/2. It is split into three disjoint geometric regions (near-diagonal, output-origin, input-origin); each piece is then controlled by a classical Stein–Weiss inequality, and the same tests that prove necessity for the model transfer to the spectral operator by the lower comparison.

What would settle it

Construct a test function that saturates one of the four necessary conditions (for example a truncated power near the origin that forces α + σ = d/p′) and check whether the weighted Lq norm of the fractional integral stays bounded by a constant multiple of the weighted Lp norm; any counter-example that remains bounded would refute the claimed necessity.

Watch

Extended reading notes

Core claim

For the Friedrichs operator Ha = −∆ + a|x|−2 in the attractive Hardy range, the two-weight estimate || |x|−β Ha−s/2 f ||_Lq ≲ || |x|α f ||_Lp holds for 1 < p, q < ∞ precisely when p ≤ q, 1/q = 1/p + (α + β − s)/d, α + β ≥ 0, α + σ < d/p′ and β + σ < d/q. At either origin-critical boundary the strong and weighted weak-type estimates fail while the Lorentz estimate L^{p,1} → L^{q,∞} remains true.

Load-bearing premise

The entire range for the spectral operator is transferred from a model kernel by a known two-sided pointwise kernel comparison; if that comparison fails for some admissible a or s, the operator statement collapses while the model-kernel statement remains.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 4 minor

Summary. The paper determines the complete strong two-power-weight mapping range of the fractional integral operator associated with the Friedrichs extension Ha = −Δ + a|x|−2 in the attractive Hardy range. Starting from the known two-sided pointwise kernel comparison of Killip–Miao–Visan–Zhang–Zheng, it proves that || |x|−β Ha−s/2 f ||_Lq ≲ || |x|α f ||_Lp holds for 1 < p, q < ∞ if and only if p ≤ q, the scaling relation 1/q = 1/p + (α + β − s)/d, the sum condition α + β ≥ 0, and the strict origin conditions α + σ < d/p′, β + σ < d/q (Theorems 2.1–2.2). At either origin-critical equality the strong and weighted weak-type estimates fail, while the Lorentz replacement L^{p,1} o L^{q,∞} holds (Theorem 2.3). Weighted Sobolev consequences and the Hardy-critical Friedrichs case are recorded separately.

Significance. The result supplies an explicit, sharp five-condition characterization for a scale-invariant operator whose kernel carries simultaneous near-diagonal and origin singularities. Necessity is obtained from four concrete test-function constructions plus a multi-block argument for p ≤ q; sufficiency reduces the model kernel to three classical Stein–Weiss pieces via a transparent three-region decomposition. The Lorentz endpoint analysis and the distinction between the full-space sum condition and the weaker radial sum condition of Nowak–Stempak are clean and useful. The paper makes no exaggerated claims about heat kernels or spectral multipliers and correctly isolates the transfer from the model kernel to the spectral operator as the sole external black box. Within the literature on inverse-square Schrödinger operators this is a solid, self-contained contribution of permanent reference value.

minor comments (4)
  1. [Abstract / title] In the abstract and title the operator is written with a straight double quote (Schr"odinger); replace by the proper umlaut or LaTeX \"o throughout for consistency with the body text.
  2. [Section 5.1] Section 5.1, display (5.4): the identification |x|−β−σ ∫ |y|^{s+σ−d} |f(y)| dy = |x|−d/q ∫ |y|−d/p′ g(y) dy relies on the scaling relation (5.3); a one-line reminder that α = s + σ − d/p would make the equality immediate for the reader.
  3. [Appendix A] Appendix A, after (A.7): the phrase “Because rj = c Rj, the expression … is bounded below by a positive constant independent of j” is correct, but inserting the explicit factor c^{s−d/p+d/q} would make the independence of j completely transparent.
  4. [References] References [9] (Sun–Wang) is listed as appearing in 2026; if the paper is still only on arXiv, a note “arXiv preprint” would avoid a future citation mismatch.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: range derived from known kernel via standard tests and Stein–Weiss decomposition

full rationale

The paper takes as black-box input the two-sided pointwise kernel comparison of Killip–Miao–Visan–Zhang–Zheng (independent published result) and then derives the sharp two-weight range for the model kernel by elementary real-analysis arguments: scaling, origin-concentration tests, far-field translation, multi-block ordering (necessity), and a three-region decomposition into classical Stein–Weiss pieces (sufficiency). Transfer to the spectral operator uses only the same comparison plus uniqueness of the weighted extension on a spectral core—standard and explicitly stated. No parameters are fitted, no self-citations appear among the authors, no uniqueness theorem is imported from prior work by the same group, and no known result is merely renamed. The derivation is therefore self-contained against its external benchmark; circularity burden is zero.

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

The paper is pure analysis. It imports one external analytic fact (the two-sided kernel comparison) and standard tools (Stein–Weiss, Lorentz pairings, Hardy inequality range). No free parameters are fitted, and no new physical or mathematical entities are postulated. The only domain assumptions are the definition of the Friedrichs extension and the range of a and s already fixed by the cited kernel result.

assumptions (4)
  • domain assumption Two-sided pointwise comparison H_a^{-s/2}(x,y) ≃ |x-y|^{s-d} (|x|/|x-y| ∧ |y|/|x-y| ∧ 1)^{-σ} for 0<s<d-2σ (Killip et al. [4, Lemma 2.2])
    Invoked throughout; transfers all model-kernel statements to the spectral operator (proof of Theorems 2.2 and 2.3).
  • standard math Classical Stein–Weiss theorem for the Riesz potential I_λ under the five power-weight conditions (4.8)–(4.9)
    Used as a black-box operator inequality in the sufficiency proof (Section 4).
  • standard math Lorentz-space rearrangement inequality and the fact that |x|^{-d/r} belongs to L^{r,∞}\L^r
    Lemma 5.1; used for the critical Lorentz endpoints.
  • domain assumption Friedrichs extension of −Δ + a|x|^{-2} is well-defined and positive for a in the attractive Hardy range
    Background spectral theory assumed from the outset (equation (1.1)).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Sharp and Endpoint Two-Weight Fractional Integral Estimates for Schr"odinger Operators with Inverse-Square Potentials." pith.science (2026). https://pith.science/paper/WQNTYZ6X

@misc{pith2026260709585,
  author       = {Pith},
  title        = {Pith review of: Sharp and Endpoint Two-Weight Fractional Integral Estimates for Schr"odinger Operators with Inverse-Square Potentials},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WQNTYZ6X}},
  note         = {Machine review of arXiv:2607.09585}
}
abstract

Let $H_a=-\Delta+a|x|^{-2}$ be the Friedrichs extension on $L^2(\mathbb{R}^d)$, where $d\ge 3$ and $-(d-2)^2/4\le a<0$ lies in the attractive Hardy range. Starting from the known positive two-sided comparison for the kernel of $H_a^{-s/2}$, we determine the complete strong non-endpoint mapping range for two power weights. If $\sigma=(d-2-\sqrt{(d-2)^2+4a})/2$ and $0<s<d-2\sigma$, then [ ||x|^{-\beta}H_a^{-s/2}f|{L^q} \lesssim ||x|^\alpha f|{L^p} ] holds for $1<p,q<\infty$ precisely under the exponent ordering, scaling, sum, and origin conditions stated in the main theorem. At either origin-critical boundary, the strong estimate and the corresponding weighted $L^p\to L^{q,\infty}$ estimate fail, whereas the Lorentz replacement $L^{p,1}\to L^{q,\infty}$ holds. We also derive weighted Sobolev consequences and treat the Hardy-critical Friedrichs case separately. No new heat-kernel, spectral multiplier, Bernstein, or Littlewood--Paley theorem is claimed.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

18 extracted references

  1. [1]

    Journal of Differential Equations , volume =

    Bui, The Anh and D'Ancona, Piero and Duong, Xuan Thinh and Li, Ji and Ly, Fu Ken , title =. Journal of Differential Equations , volume =. 2017 , doi =

    2017

  2. [2]

    Compositio Mathematica , volume =

    Caffarelli, Luis and Kohn, Robert and Nirenberg, Louis , title =. Compositio Mathematica , volume =

  3. [3]

    Publicacions Matem\`atiques , volume =

    Kairema, Anna , title =. Publicacions Matem\`atiques , volume =. 2013 , doi =

    2013

  4. [4]

    Mathematische Zeitschrift , volume =

    Killip, Rowan and Miao, Changxing and Visan, Monica and Zhang, Jiqiang and Zheng, Jialing , title =. Mathematische Zeitschrift , volume =. 2018 , doi =

    2018

  5. [5]

    Journal d'Analyse Math\'ematique , volume =

    Nowak, Adam and Stempak, Krzysztof , title =. Journal d'Analyse Math\'ematique , volume =. 2017 , doi =

    2017

  6. [6]

    Duke Mathematical Journal , volume =

    O'Neil, Richard , title =. Duke Mathematical Journal , volume =. 1963 , doi =

    1963

  7. [7]

    , title =

    Sawyer, Eric T. , title =. Transactions of the American Mathematical Society , volume =. 1988 , doi =

    1988

  8. [8]

    and Weiss, Guido , title =

    Stein, Elias M. and Weiss, Guido , title =. Journal of Mathematics and Mechanics , volume =. 1958 , doi =

    1958

Show all 18 references
  1. [9]

    The Journal of Geometric Analysis , volume =

    Sun, Chuhan and Wang, Zipeng , title =. The Journal of Geometric Analysis , volume =. 2026 , doi =

    2026

  2. [10]

    3, 2771--2807

    The Anh Bui, Piero D'Ancona, Xuan Thinh Duong, Ji Li, and Fu Ken Ly, Weighted estimates for powers and smoothing estimates of Schr\"odinger operators with inverse-square potentials , Journal of Differential Equations 262 (2017), no. 3, 2771--2807

    2017

  3. [11]

    3, 259--275

    Luis Caffarelli, Robert Kohn, and Louis Nirenberg, First order interpolation inequalities with weights, Compositio Mathematica 53 (1984), no. 3, 259--275

    1984

  4. [12]

    1, 3--56

    Anna Kairema, Two-weight norm inequalities for potential type and maximal operators in a metric space, Publicacions Matem\`atiques 57 (2013), no. 1, 3--56

    2013

  5. [13]

    3--4, 1273--1298

    Rowan Killip, Changxing Miao, Monica Visan, Jiqiang Zhang, and Jialing Zheng, Sobolev spaces adapted to the Schr\"odinger operator with inverse-square potential , Mathematische Zeitschrift 288 (2018), no. 3--4, 1273--1298

    2018

  6. [14]

    1, 277--321

    Adam Nowak and Krzysztof Stempak, Potential operators associated with Hankel and Hankel--Dunkl transforms , Journal d'Analyse Math\'ematique 131 (2017), no. 1, 277--321

    2017

  7. [15]

    1, 129--142

    Richard O'Neil, Convolution operators and L(p,q) spaces , Duke Mathematical Journal 30 (1963), no. 1, 129--142

    1963

  8. [16]

    Sawyer, A characterization of two weight norm inequalities for fractional and Poisson integrals , Transactions of the American Mathematical Society 308 (1988), no

    Eric T. Sawyer, A characterization of two weight norm inequalities for fractional and Poisson integrals , Transactions of the American Mathematical Society 308 (1988), no. 2, 533--545

    1988

  9. [17]

    Stein and Guido Weiss, Fractional Integrals on n -Dimensional Euclidean Space , Journal of Mathematics and Mechanics 7 (1958), no

    Elias M. Stein and Guido Weiss, Fractional Integrals on n -Dimensional Euclidean Space , Journal of Mathematics and Mechanics 7 (1958), no. 4, 503--514

    1958

  10. [18]

    Chuhan Sun and Zipeng Wang, On the End-Point of Stein--Weiss Inequality , The Journal of Geometric Analysis 36 (2026), no. 3, 100

    2026

Pith tools

Reviewed July 13, 2026 · model on record in the stance chip above.