🔢 mathematics

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

This paper establishes sharp and endpoint two-weight fractional integral estimates for Schrödinger operators with inverse-square potentials, demonstrating that while strong and weighted $L^p \to L^{q,\infty}$ estimates fail at origin-critical boundaries, the Lorentz space estimate $L^{p,1} \to L^{q,\infty}$ remains valid, alongside derived weighted Sobolev consequences for the Hardy-critical Friedrichs case.

Original authors: Haochen Liu, Qinghao Yu, Hongyan Zhou

Published 2026-07-13

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Haochen Liu, Qinghao Yu, Hongyan Zhou

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine the universe as a giant, invisible trampoline. Usually, if you drop a pebble on it, the ripples spread out smoothly, like a perfect Gaussian bell curve. But what if there's a tiny, invisible black hole right in the center of the trampoline? In the world of math, this is called an inverse-square potential. It's a force that gets incredibly strong the closer you get to the center, pulling everything in with a "Hardy" grip.

The paper you're reading is like a master cartographer trying to draw a map of how ripples (mathematical functions) travel across this trampoline when it's weighed down by that central black hole. The authors, Haochen Liu, Qinghao Yu, and Hongyan Zhou, aren't inventing new physics or discovering new waves; they are taking a map of these ripples that was already drawn by other scientists (Killip, Miao, Visan, Zhang, and Zheng) and asking a very specific question: "Exactly how heavy can the weights be on the edges of our map before the ripples break the rules?"

The Three Rules of the Ripple Game

The authors discovered that for the ripples to stay under control (mathematically speaking, to be "bounded"), three strict conditions must be met. Think of these as the traffic laws of this mathematical universe:

The Size Rule (Ordering): The output ripple cannot be "smaller" in terms of integrability than the input ripple. If you start with a wave of a certain size ( $p$ ), the resulting wave ( $q$ ) must be at least that big or larger. The paper proves that the output size ( $q$ ) must always be greater than or equal to the input size ( $p$ ), meaning $p \le q$ .
The Balance Rule (Sum): The weights you put on the input and the output must balance out. If you weigh down the input too much, you can't weigh down the output too much, or the whole system tips over. The sum of your weights ( $\alpha + \beta$ ) must be zero or positive.
The Safety Zone Rule (Origin Limits): This is the most critical part. Because of that black hole in the center, you have to stay a safe distance away from the edge. The paper proves that if your weights get too heavy near the center (specifically if $\alpha + \sigma$ hits a certain limit or $\beta + \sigma$ hits another), the ripples explode.

The "Sharp" Discovery

The authors found the exact limits. They didn't just guess; they proved that if you cross these lines, the math breaks.

The "Strong" Zone: As long as you stay strictly inside these limits, the ripples behave perfectly. The math holds up, and you can predict the output with confidence.
The "Edge" Zone: What happens if you stand exactly on the line? The paper says: The strong math fails. If you try to use the standard rules right at the boundary, the ripples become too wild to control.
The "Lorentz" Rescue: But wait! The authors found a special safety net. If you are standing right on the edge, you can't use the standard rules, but you can use a slightly different, more flexible set of rules called Lorentz spaces. Think of this as switching from a rigid steel bridge to a flexible suspension bridge. It's not as strong as the steel one, but it holds together just enough to get you across. The paper proves that this flexible bridge works perfectly at the critical boundaries where the steel one collapses.

What They Explicitly Ruled Out

It's important to know what this paper doesn't say, because the authors are very careful about that:

No New Physics: They are not claiming to have discovered a new heat-kernel, a new spectral multiplier, or a new Littlewood–Paley theorem. They are just using the existing tools to solve a specific weight problem.
No Radial Shortcuts: They looked at a previous study by Nowak and Stempak that worked for "radial" (perfectly round) situations. The authors proved that while the round rules look similar, they are actually too weak for the full universe. If you only look at round ripples, you miss the danger of ripples that are shifted to the side. The full-space rules are stricter and necessary.
No "Maybe" at the Edge: At the critical boundaries, the paper is 100% sure that the standard strong estimate fails. It's not "maybe it works"; it is proven to be false.

The "Hardy-Critical" Special Case

There is one special scenario where the black hole is at its absolute maximum strength (called the "Hardy-critical" case). Even here, the authors' map holds true, but with a catch. If you try to use the standard "energy" rules (like the famous Caffarelli–Kohn–Nirenberg inequalities) in this specific spot, you might land exactly on the forbidden line where the math breaks. The paper warns that in this extreme case, the usual "strong" estimates don't work, and you must rely on the flexible "Lorentz" safety net.

The Bottom Line

This paper is a precise, mathematical "fence" built around a known phenomenon. It tells us exactly where the fence is, proves that stepping over it causes a collapse, and shows us the one special gate (the Lorentz space) that allows us to cross safely at the very edge. It doesn't invent new territory; it just draws the boundary lines with absolute certainty, ensuring that anyone trying to navigate this inverse-square world knows exactly where the ground is solid and where it turns to quicksand.

Technical Summary: Sharp and Endpoint Two-Weight Fractional Integral Estimates for Schrödinger Operators with Inverse-Square Potentials

Problem Statement
The paper addresses the mapping properties of the fractional integral operator $H_a^{-s/2}$ associated with the Schrödinger operator $H_a = -\Delta + a|x|^{-2}$ on $L^2(\mathbb{R}^d)$ , where $d \ge 3$ and the potential parameter $a$ lies in the attractive Hardy range $-(d-2)^2/4 \le a < 0$ . Specifically, the authors seek to determine the complete, sharp range of exponents for which the two-weight inequality
$\||x|^{-\beta} H_a^{-s/2} f\|_{L^q} \lesssim \||x|^{\alpha} f\|_{L^p}$
holds for $1 < p, q < \infty$ . The operator involves a kernel with singularities at the origin and a non-Gaussian decay structure due to the inverse-square potential, distinguishing it from the classical Riesz potential.

Methodology
The analysis relies on a known positive two-sided comparison for the kernel of $H_a^{-s/2}$ established by Killip et al., which relates the operator to a model kernel $K_{s,\sigma}$ involving three distinct mechanisms: a near-diagonal Riesz singularity, an output-origin singularity, and an input-origin singularity. The parameter $\sigma$ is defined as $\sigma = d - 2 - \frac{\sqrt{(d-2)^2 + 4a}}{2}$ .

To establish the sharp mapping range, the authors employ the following techniques:

Kernel Decomposition: The model kernel is decomposed into three disjoint regions ( $\Omega_0, \Omega_x, \Omega_y$ ) based on the relative distances of $x$ and $y$ from the origin and each other. This allows the operator to be bounded by a sum of three classical Stein–Weiss type operators.
Necessity Testing: Necessary conditions are derived through specific test functions:
- Scaling: Homogeneity arguments.
- Origin Concentration: Testing with functions concentrated near the origin to derive strict upper bounds on the weights $\alpha$ and $\beta$ .
- Translation: Using translated test functions (moving balls to infinity) to derive the sum condition $\alpha + \beta \ge 0$ , a condition invisible in radial-only analyses.
- Exponent Ordering: A multi-block construction to prove $p \le q$ .
Sufficiency: The sufficiency proof reduces the problem to applying the classical Stein–Weiss theorem to the three decomposed pieces of the kernel, verifying that the derived conditions satisfy the requirements for each piece.
Endpoint Analysis: At the critical boundaries where the strong $L^p \to L^q$ estimate fails, the authors utilize Lorentz space techniques (specifically $L^{p,1} \to L^{q,\infty}$ ) and pairing arguments to establish the correct weak-type estimates.

Key Contributions and Results
The paper establishes the following precise conditions for the strong estimate $\||x|^{-\beta} H_a^{-s/2} f\|_{L^q} \lesssim \||x|^{\alpha} f\|_{L^p}$ to hold for $1 < p, q < \infty$ :

Ordering: $p \le q$ .
Scaling: $\frac{1}{q} = \frac{1}{p} + \frac{\alpha + \beta - s}{d}$ .
Sum Condition: $\alpha + \beta \ge 0$ .
Origin Conditions (Strict): $\alpha + \sigma < \frac{d}{p'}$ and $\beta + \sigma < \frac{d}{q}$ .

The authors prove that if either of the strict origin conditions becomes an equality, the strong estimate fails. However, at these boundaries, the estimate holds in the Lorentz space setting:
$\||x|^{-\beta} H_a^{-s/2} f\|_{L^{q,\infty}} \lesssim \||x|^{\alpha} f\|_{L^{p,1}}.$
Conversely, the estimate fails if the input space is restricted to $L^p$ (instead of $L^{p,1}$ ) or the output is restricted to $L^q$ (instead of $L^{q,\infty}$ ).

The paper also derives weighted Sobolev consequences, including a two-weight Sobolev estimate and a same-exponent weighted Hardy–Sobolev family. A separate analysis is provided for the Hardy-critical case ( $a = -(d-2)^2/4$ ), noting that while the kernel comparison remains valid, standard unweighted energy embeddings may fall exactly on the excluded boundary.

Significance and Claims
The authors position this work as a "note" that provides an explicit, complete classification of the power-weight mapping range for a kernel already known in the literature.

Comparison with Radial Results: The work improves upon the sharp radial results of Nowak and Stempak for Hankel potentials. While the individual origin conditions match, the full-space analysis reveals a stronger sum condition ( $\alpha + \beta \ge 0$ ) necessitated by non-radial, translated test functions.
Comparison with General Theory: Unlike abstract two-weight testing theorems (e.g., Sawyer, Kairema), this paper provides explicit, closed-form conditions for the specific inverse-square operator.
Modesty of Claims: The authors explicitly state they do not claim new results regarding heat kernels, spectral multipliers, Bernstein inequalities, or Littlewood–Paley theory. They do not address $p=1$ , $q=\infty$ , best constants, extremizers, or other self-adjoint extensions. The primary contribution is the resolution of the specific two-weight problem for the inverse-square potential using the known kernel structure.