🔢 mathematics

On wave operators for Hardy operators with and without perturbations

This paper establishes the asymptotic completeness of wave operators intertwining ordinary or fractional Laplacians with Hardy operators under short-range perturbations, while demonstrating their nonexistence for long-range potentials, utilizing three distinct analytical approaches including abstract semigroup frameworks, Kato smoothness theory, and novel propagation estimates.

Original authors: Atsuhide Ishida, Konstantin Merz

Published 2026-10-07

📖 4 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 theoretical physics, scientists often study how particles move and interact when they are far apart from one another. This field, known as scattering theory, is essentially the mathematics of how things scatter. Imagine a beam of light passing through a mist; the light waves might bounce off the water droplets, changing direction and speed, but eventually, they continue on their way. Physicists want to know if they can predict exactly what the light looks like after it has passed through the mist, based on what it looked like before. To do this, they use mathematical models called operators, which act like rules for how energy and motion behave. One particularly tricky rule involves a force that gets stronger as a particle gets closer to a center point, but weakens in a very specific, sharp way as it moves away. This is called a Hardy potential. It is a fundamental concept that appears in descriptions of everything from electrons in heavy atoms to the behavior of stars. The challenge has always been that when this force is combined with other disturbances, the mathematics becomes incredibly difficult, and for a long time, it was unclear whether the standard tools for predicting particle behavior would even work.

A team of researchers has now mapped out exactly when these tools work and when they fail for a specific class of these difficult forces. They focused on a mathematical object called the Hardy operator, which describes a particle moving under the influence of this specific, sharp force. Their goal was to determine if the "wave operators"—the mathematical machines that translate the past state of a particle into its future state—actually exist and function correctly. The team proved that if the force is short-range, meaning it fades away quickly enough as the particle moves away, then the wave operators do exist and are complete. This means that for these specific conditions, scientists can confidently predict the long-term behavior of the system. They showed that even when the force is at its most critical, strongest possible limit, the prediction still holds true, provided the additional disturbances are not too strong or too long-lasting.

However, the researchers also drew a sharp line in the sand, proving that these predictions break down completely under different conditions. They demonstrated that if the force is long-range, meaning it lingers and fades very slowly, or if the strength of the force is too high relative to the particle's motion, the wave operators simply do not exist. In these scenarios, the standard method of predicting the future state of the particle fails because the particle never truly escapes the influence of the force in the way the theory requires. The team did not just guess this; they used three distinct and rigorous mathematical approaches to prove their points. One method involved analyzing how heat spreads through the system over time, another used a theory about the smoothness of the mathematical functions involved, and the third developed new ways to track how fast particles escape from the center of the force.

The findings are significant because they clarify the boundaries of our understanding. For a long time, it was known that these tools worked for some types of forces, but the exact point where they stopped working, especially for the more complex, non-local versions of these forces, was a mystery. The researchers showed that the transition from "predictable" to "unpredictable" depends heavily on how quickly the force fades away and the specific mathematical properties of the particle's motion. They found that for certain types of motion, the wave operators work even when the force is at its absolute maximum strength, a result that previous methods could not achieve. Conversely, they proved that if the force decays too slowly, no amount of mathematical adjustment can save the prediction; the system behaves in a way that defies the standard scattering framework.

This work also extends beyond the specific equations they solved. The new tools they developed to track the movement of particles, particularly how they escape from the center of a force field, are likely to be useful for studying more complex systems, such as groups of particles interacting with each other. By establishing these rules for a single particle under a Hardy potential, the researchers have laid the groundwork for understanding the chaotic dance of many particles in gravitational or atomic systems. They have provided a clear map of where the mathematics of scattering is solid and where it crumbles, ensuring that future theories built on these foundations are constructed on firm ground. The results are not merely theoretical curiosities; they define the limits of what can be known about the long-term fate of particles in these extreme environments.

Technical Summary: Wave Operators for Hardy Operators with and without Perturbations

Problem Statement
The paper investigates the time-dependent scattering theory for the Hardy operator $L_\kappa = (-\Delta)^{\alpha/2} - \kappa|x|^{-\alpha}$ acting on $L^2(\mathbb{R}^d)$ , where $\alpha \in (0, 2] \cap (0, d)$ and $\kappa \le \kappa_c$ . Here, $\kappa_c$ is the sharp constant in the Hardy inequality. The primary objective is to establish the asymptotic completeness of the wave operators $W(H, H_0)$ , which intertwine the free dynamics (fractional Laplacian $L_0$ or general Fourier multipliers $C_0$ ) with the perturbed dynamics (Hardy operator $L_\kappa$ and its further perturbations by short-range $V^S$ or long-range $V^L$ potentials).

A central challenge addressed is the behavior of these operators in the presence of the scaling-critical Hardy potential $|x|^{-\alpha}$ , particularly at the critical coupling constant $\kappa = \kappa_c$ and for the non-local regime $\alpha < 2$ . The paper also seeks to determine the sharp thresholds for the existence and non-existence of these wave operators when long-range perturbations are present.

Methodology
The authors employ three distinct frameworks to prove asymptotic completeness and non-existence results, adapting tools to the specific parameter regimes of $\alpha$ and the nature of the potentials:

Abstract Semigroup Framework (for $\alpha > 1$ ):
For $\alpha > 1$ , the authors utilize a semigroup approach established in prior works (e.g., [DS99a], [DGS01], [Gie04]). This method relies on verifying that the difference of the heat kernels $e^{-tH} - e^{-tH_0}$ is compact and satisfies specific weighted bounds. A key technical achievement is the use of sharp heat kernel bounds for $L_\kappa$ (from [BGJP19], [JW20], [CKSV20]) which factorize into the free heat kernel and the ground state $|x|^{-\sigma}$ . This factorization allows the treatment of the critical coupling $\kappa = \kappa_c$ , a regime where standard perturbative Mourre theory often fails due to zero-energy resonances.
Kato Smoothness Theory (for $\alpha \le 1$ ):
For the non-local case $\alpha \le 1$ , the authors apply Kato's smooth method, extending results from [MY21]. This involves proving that the short-range potential is smooth with respect to the Hamiltonian. A significant technical hurdle is the singularity of the group velocity $\alpha|D|^{\alpha-1}$ at low momenta. To overcome this, the authors replace powers of the free operator $L_0$ with powers of the Hardy operator $L_\kappa$ , leveraging the equivalence of homogeneous Sobolev norms generated by these operators (Proposition 4.2). This approach requires the coupling to be subcritical ( $\kappa < \kappa_c$ ) to utilize positive commutator estimates effectively.
Propagation Estimates and Cook–Kuroda Method:
The paper develops new propagation estimates for Hardy operators, which are crucial for both proving asymptotic completeness (via the Cook–Kuroda method) and establishing non-existence results.
- Minimal Escape Velocity: Estimates showing that states with low "escape velocity" (measured by the dilation generator $A$ ) decay rapidly.
- Outgoing Phase Space Propagation: Estimates demonstrating that the overlap between the state and the potential decays rapidly in the outgoing phase space region.
- Weighted Propagation: Bounds on the growth of spatial moments, showing they do not exceed the ballistic scale.
  These estimates rely on commutator expansions, Helffer–Sj"ostrand calculus for non-decaying functions, and the generator of dilations $A$ .

Key Contributions and Results

Asymptotic Completeness for $\alpha > 1$ :
The paper proves that the wave operators $W(L_\kappa, L_0)$ , $W(L_\kappa - V^S, L_0)$ , and $W(L_\kappa - V^S, L_\kappa)$ are asymptotically complete for all $\kappa \le \kappa_c$ , including the critical case. This extends previous results which were limited to $\kappa < \kappa_c$ or required perturbative assumptions. The results hold for general Fourier multipliers $C_0$ with similar large-momentum behavior (Corollary 1.7).
Asymptotic Completeness for $\alpha \le 1$ :
Under specific conditions on the decay rate $\rho_S$ of the short-range potential and the coupling $\kappa$ (specifically $\kappa < \kappa_c$ ), the wave operator $W(L_\kappa - V^S, L_\kappa)$ is shown to be asymptotically complete. The results cover the range $1/2 < \alpha \le 1$ (and extend to $\alpha = 1/2$ for $d \ge 2$ ) provided the potential satisfies smoothness and decay assumptions compatible with Kato smoothness theory.
Non-Existence of Wave Operators:
The paper establishes sharp non-existence results for long-range perturbations:
- If $\alpha \le 1$ and $\kappa \neq 0$ , the wave operator $W(L_\kappa, L_0)$ does not exist.
- If the perturbation $V^L$ is long-range (decaying as $|x|^{-\rho_L}$ with $0 < \rho_L \le 1$ ), the wave operators intertwining the perturbed and unperturbed systems generally do not exist.
- Specifically, $W(L_\kappa - V^L, L_\kappa)$ does not exist for $0 < \rho_L \le \alpha \le 1$ (and $\alpha = 1/2$ for $d \ge 2$ ).
  These results are derived using abstract non-existence criteria inspired by [IW20] and direct estimates involving the minimal escape velocity and weighted propagation bounds.
Generalization to Other Operators:
The results are extended to a class of Fourier multipliers $C_0 \in \mathcal{K}_\alpha$ (including pseudo-relativistic kinetic energies like $(1-\Delta)^{\alpha/2}-1$ ), provided they satisfy certain spectral conditions regarding their critical points.

Significance and Claims
The authors claim that their work advances the scattering theory of fractional Schrödinger operators with scaling-critical potentials. The primary significance lies in:

Handling the Critical Coupling: Successfully treating the case $\kappa = \kappa_c$ for $\alpha > 1$ without relying on commutator estimates that break down at zero energy, instead utilizing the structure of the heat kernel.
New Propagation Estimates: Developing propagation estimates for Hardy operators that incorporate scaling-critical potentials, which were previously not incorporated in the literature for fractional operators. These estimates are presented as tools of independent interest, potentially applicable to $N$ -particle scattering problems.
Sharp Thresholds: Providing a comprehensive picture of the existence and non-existence of wave operators, clarifying the role of the decay rate of perturbations relative to the homogeneity of the Hardy potential.

The paper explicitly notes that the technical restrictions found in the $\alpha \le 1$ regime (such as $\alpha > 1/2$ or specific bounds on $\sigma$ ) are likely artifacts of the current proof techniques (specifically the comparison of Sobolev norms and the use of Kato smoothness) rather than fundamental physical obstructions. The authors express optimism that these thresholds can be lowered in future work.

Technical Summary: Wave Operators for Hardy Operators with and without Perturbations

More like this