🔢 mathematics

Maximal velocity estimates for Hardy operators

This paper establishes maximal velocity estimates for the fractional Laplacian with subcritical Hardy and external potentials, which are then applied to provide an alternative proof of the nonexistence of wave operators intertwining Hardy operators with and without long-range Coulomb perturbations.

Original authors: Atsuhide Ishida, Konstantin Merz

Published 2026-10-22

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Atsuhide Ishida, Konstantin Merz

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

In the vast landscape of quantum physics, scientists often study how particles move and scatter when they encounter forces. Imagine a particle traveling through space; if it meets a smooth, gentle hill, it might slow down and then speed up again, continuing on its path. But if it encounters a sharp, deep pit that gets infinitely deep at a single point, the rules of its motion change drastically. This extreme scenario is modeled by what physicists call a "Hardy potential," a mathematical description of a force that becomes infinitely strong as a particle gets closer to a specific center, much like the intense gravity near a black hole or the powerful pull of an atomic nucleus on an electron. Understanding how particles behave in such extreme environments is crucial for describing everything from the structure of heavy atoms to the collapse of stars. A key question in this field is whether we can predict the future path of a particle that started far away and is now interacting with these intense forces. In mathematical terms, this involves asking if a "wave operator" exists—a tool that connects the simple, free motion of a particle in empty space to its complex, disturbed motion when it is near a powerful force.

A team of researchers has recently tackled this problem for a specific class of these extreme forces, combined with other long-range disturbances that decay slowly over distance, similar to how the electric pull of a charged particle fades away. Their work focuses on a mathematical object known as the "Hardy operator," which describes a particle moving under the influence of both this sharp central force and a softer, lingering pull. The researchers were particularly interested in whether the standard tools used to predict particle behavior could still work when these two types of forces were present together. They set out to prove a new rule about the maximum speed at which these particles can travel away from the center of the force. By establishing this limit, they were able to demonstrate a surprising and definitive result: the standard mathematical tool for predicting the future path of these particles simply does not exist in this specific scenario.

To reach this conclusion, the authors developed a new method to track the "velocity" of the particles over time. They imagined a series of expanding shells moving outward from the center of the force. Their goal was to prove that the probability of finding a particle moving faster than a certain speed within these shells drops off rapidly as time goes on. This is known as a "maximal velocity estimate." It is a way of saying that no matter how the particle starts, it cannot escape the central region faster than a specific limit allows. The researchers proved that for a wide range of conditions, including when the central force is strong but not quite strong enough to trap the particle forever, the particle's speed is indeed bounded. They showed that if you wait long enough, the chance of finding the particle moving faster than a certain threshold becomes vanishingly small. This proof was not easy; it required handling the fact that the forces involved are "non-local," meaning the particle's behavior at one point is influenced by conditions far away, a feature that makes standard mathematical tricks fail.

The power of this new speed limit rule became clear when the researchers applied it to the question of wave operators. They considered a scenario where a particle moves under the influence of the sharp central force plus a long-range pull that fades away slowly, like the electric field of a charged object. They asked if it was possible to mathematically link the particle's initial free motion to its final state after interacting with these forces. Using their newly proven speed limit, they showed that such a link is impossible. The presence of the long-range pull, combined with the sharp central force, creates a situation where the particle's history cannot be cleanly separated from its future. The mathematical machinery that usually allows physicists to say "this particle started here and ended up there" breaks down completely. The researchers proved that the wave operator, which is supposed to perform this linking, does not exist. This means that for these specific systems, the standard way of describing how particles scatter and settle into their final states is fundamentally flawed.

The findings are significant because they clarify the limits of our current mathematical models for quantum systems with singular forces. The researchers did not just suggest that the wave operator might be missing; they provided a rigorous proof that it cannot exist under these conditions. Their work also highlights the delicate balance between the strength of the central force and the nature of the long-range pull. If the long-range pull decays too slowly, it disrupts the connection between the past and future of the particle's motion in a way that cannot be fixed. This result applies to a broad class of dimensions and force strengths, provided the central force is not so strong that it traps the particle completely. By proving that the wave operator does not exist, the authors have closed a door on a particular way of thinking about these systems, forcing physicists to look for new ways to describe how particles behave in the presence of such extreme and lingering forces. The study confirms that in the quantum world, some interactions are so complex that the simple story of "before" and "after" cannot be told with the usual mathematical tools.

Technical Summary of "Maximal Velocity Estimates for Hardy Operators"

Problem Statement
The paper addresses the scattering theory of the fractional Laplacian $|D|^\alpha$ perturbed by a subcritical Hardy potential $\kappa|x|^{-\alpha}$ and external potentials. Specifically, the authors investigate the time-dependent wave operators $W_\pm(H, H_0)$ intertwining the "free" Hardy operator $L_\kappa = |D|^\alpha - \kappa|x|^{-\alpha}$ with a perturbed Hamiltonian $H_\kappa = L_\kappa - V$ . A central difficulty in this setting is the non-local nature of the fractional Laplacian for $\alpha < 2$ , which complicates standard propagation estimates used in local Schrödinger theory. The authors focus on establishing maximal velocity estimates—bounds on the probability of a particle escaping to infinity faster than a certain velocity—and applying these to prove the non-existence of wave operators when the perturbation $V$ decays like the Coulomb potential ( $|x|^{-1}$ ).

Methodology
The core of the methodology relies on the analysis of the time evolution of a "switch function" (a propagation observable) designed to detect particles with velocity $|x|/t$ exceeding a threshold $\Theta$ .

Propagation Observable: The authors define an observable $\Phi_n(t) = F X_n(B_t) F$ , where $F$ is a spectral localization function, $B_t = |x|^2/t^2$ , and $X_n$ is a smooth switch function that turns on when $|x|/t$ is large.
Heisenberg Derivative: The time evolution is controlled by computing the Heisenberg derivative $D_{H_\kappa}\Phi_n(t) = \partial_t \Phi_n(t) + i[H_\kappa, \Phi_n(t)]$ .
Handling Non-locality: A primary technical challenge is the commutator $[|D|^\alpha, X_n(B_t)]$ . Unlike the local case ( $\alpha=2$ ), this commutator is non-local. The authors employ the Helffer–Sjörstrand formula to express functions of the operator in terms of resolvents, reducing the problem to estimating commutators of $H_\kappa$ with resolvents of $B_t$ .
Commutator Expansion and Hardy Inequalities: The expansion of the commutator generates lower-order terms involving velocity operators of the form $|D|^{\alpha-2}D$ $∣ D ∣^{α - 2} D$ .
- For $\alpha \ge 1$ , the symbol of these operators is bounded at low frequencies.
- To control second-order commutators producing terms like $\partial_{\xi_j}\partial_{\xi_k}|\xi|^\alpha \langle x \rangle^{\alpha-2}$ , the authors utilize Hardy's inequality in Fourier space. This requires the condition $\alpha > 2 - d/2$ .
- For the specific case $\alpha = 1$ , the analysis requires $\alpha > 3 - d/2$ (implying $d \ge 5$ ) to control terms of the form $|D|^{\alpha-3}\langle x \rangle^{\alpha-3}$ arising from more efficient energy localization.
Dyadic Decomposition: To handle the lack of an upper cutoff in the velocity region, the authors decompose the outgoing region into dyadic shells and sum the estimates, leveraging the decay in time ( $t^{-\alpha}$ or better) to ensure integrability.

Key Results

Maximal Velocity Estimates (Theorem 1.1):
The authors prove that for $d \in \mathbb{N}$ , $\alpha \in [1, 2] \cap (2-d/2, d)$ , and $\kappa < \kappa_c$ (the sharp Hardy constant), the time-integrated probability of finding the particle with velocity $|x|/t \ge \Theta$ decays sufficiently fast. Specifically, for initial states $\phi$ with logarithmic moments $\|( \log(2+\langle x \rangle))^\gamma \phi\| < \infty$ ( $\gamma > 1/2$ ):
$\int_1^\infty \left\| \mathbb{1}_{\{|x|/t \ge \Theta\}} f(H_\kappa) e^{-itH_\kappa} \phi \right\|^2 \frac{dt}{t} \lesssim \|\phi\|_{\log}^2$
Furthermore, the pointwise limit $\lim_{t\to\infty} \| \mathbb{1}_{\{|x|/t \ge \Theta\}} f(H_\kappa) e^{-itH_\kappa} \phi \| = 0$ holds.
- Constraints: For $\alpha=1$ , the result requires $d \ge 5$ . The authors note that the exponent $\gamma > 1/2$ is likely not optimal but sufficient for their application.
Non-existence of Wave Operators (Theorem 1.2):
Applying the maximal velocity estimate, the authors prove that if the external potential $V_L$ decays like the Coulomb potential (specifically $K_1\langle x \rangle^{-1} \le |V_L(x)| \le K_2\langle x \rangle^{-1}$ with appropriate smoothness), the wave operator $W(L_\kappa - V_L, L_\kappa)$ does not exist.
- Mechanism: The proof proceeds by contradiction. Assuming the wave operator exists, the authors construct a test function and use the intertwining property to derive a lower bound on a specific integral involving the potential that grows logarithmically in time. Simultaneously, the maximal velocity estimate and minimal velocity estimates (from prior work) provide an upper bound that grows only linearly or remains bounded, leading to a contradiction.

Significance and Claims
The paper claims to provide a rigorous proof of maximal velocity estimates for the fractional Laplacian with a Hardy potential, a result that was previously stated but not proven in the authors' earlier work [IM26]. The significance lies in:

Handling Non-locality: Successfully adapting propagation estimates to the non-local fractional Laplacian ( $\alpha < 2$ ) in the presence of singular Hardy potentials.
Scattering Theory Application: Providing a direct proof of the non-existence of wave operators for Coulomb-type perturbations in the context of Hardy operators, complementing stronger results obtained via different propagation estimates in [IM26].
Foundational Utility: The authors suggest these estimates may be useful for scattering theory involving three or more particles, drawing parallels to foundational works in the local non-relativistic case ( $\alpha=2$ ).

The authors remain modest regarding the optimality of the logarithmic moment condition ( $\gamma > 1/2$ ) and the dimensional constraints for $\alpha=1$ , noting that the case $\alpha < 1$ requires separate low-frequency analysis which is not attempted here. The results are strictly theoretical, relying on functional analysis and spectral theory without experimental proposals.

More like this