🔢 mathematics

$L^p$ boundedness of wave operators for higher order schrödinger operators with threshold eigenvalues

This paper establishes the $L^p$ boundedness of wave operators for higher-order Schrödinger operators with threshold eigenvalues in dimensions $n > 2m$ , extending previous results to lower dimensions and providing new $L^\infty$ bounds for the classical case when $n > 3$ .

Original authors: M. Burak Erdogan, William R. Green, Kevin LaMaster

Published 2026-07-17

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: M. Burak Erdogan, William R. Green, Kevin LaMaster

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 ocean where tiny particles like electrons are surfing on waves. In physics, we use a special set of rules called the Schrödinger equation to predict how these waves move and change. Usually, we think of these waves as smooth and predictable, but sometimes, the "ocean" has hidden reefs or strange currents—represented by a "potential" (a force field)—that can trap the waves or make them behave wildly. Scientists want to know if they can translate the behavior of these waves from a calm, empty ocean to one with these tricky reefs without the math breaking down. This is the heart of a field called mathematical physics, where researchers try to prove that the tools we use to describe nature (called "wave operators") remain reliable even when things get messy. Specifically, they are interested in what happens when a wave gets stuck at the very bottom of a energy valley, a situation known as a "threshold eigenvalue." If the math breaks here, our predictions for how particles scatter or move could be wrong, which is a big deal for understanding everything from atoms to stars.

This paper is a deep dive into a specific, tricky version of this problem involving "higher-order" waves. While the classic version of the Schrödinger equation describes waves that ripple like ripples in a pond (second-order), this study looks at waves that behave more like complex, multi-layered vibrations (higher-order, denoted by $m$ ). The authors, M. Burak Erdoğan, William R. Green, and Kevin LaMaster, tackle a scenario where these higher-order waves encounter a potential that traps them at zero energy, but doesn't create any other chaotic "resonances" (like a bell ringing forever). Their main goal is to prove that the mathematical tools used to track these waves, called wave operators, stay "bounded" (meaning they don't blow up to infinity) within a specific range of conditions.

The authors prove that when these waves are trapped at zero energy, the tools work perfectly fine for a wide range of scenarios, but the "safe zone" depends heavily on whether the space they are moving through has an odd or even number of dimensions. If the space has an odd number of dimensions (like 3D space), the tools work for a certain range of values up to a limit involving the number $2n$ and $n-1$ . If the space has an even number of dimensions, the limit shifts slightly to involve $n-2$ . They also discovered that if the trapped wave has a special kind of symmetry—specifically, if it is "orthogonal" (a fancy way of saying it's perfectly balanced or cancelled out) against certain shapes of the force field—the safe zone gets much bigger. In fact, if the wave is orthogonal enough, the tools work for all possible values, even the extreme ones where they previously thought they might fail. This is a significant finding because it shows that even in these complex, high-energy scenarios, the math holds together, provided the wave has the right kind of balance.

To understand this, think of the wave operator as a translator trying to convert a message from a calm language (the free wave) to a noisy language (the wave hitting the potential). Usually, this translator works great. But when the wave gets stuck at a "threshold" (zero energy), it's like the translator is trying to speak a word that has no sound; the message could get garbled or lost. The authors show that as long as the "noise" (the potential) isn't too wild and the trapped wave has enough symmetry (orthogonality), the translator can still do its job without going crazy. They prove that for odd-dimensional spaces, the translator works up to a certain point, and for even-dimensional spaces, the limit is slightly different. But here's the kicker: if the wave is "orthogonal" enough—meaning it cancels out the noise in a very specific way—the translator can handle any amount of noise, even the loudest, most chaotic scenarios.

The paper doesn't just guess this; they provide a rigorous mathematical proof. They break down the problem into two parts: the "high energy" part (where the waves are moving fast) and the "low energy" part (where the waves are slow and stuck near the zero-energy trap). They already knew the high-energy part was safe. The real challenge was the low-energy part, where the math gets singular (like dividing by zero). They developed a new way to handle these singularities by expanding the math into a series of terms, separating the "bad" parts (the singularities) from the "good" parts (the smooth, bounded parts). They showed that the "bad" parts are actually finite and manageable, and that the "good" parts can be controlled using specific conditions on the potential and the wave's symmetry.

One of the most exciting things they found is that their results apply even to the classic case where $m=1$ (the standard Schrödinger equation), but they streamline the arguments and prove something new: that the tools work even at the very edge of the range ( $L^\infty$ ) in dimensions higher than 3. Before this, it was only known to work in dimension 3. This means that for the first time, we have a complete picture of how these translators work in higher dimensions, even when the waves are stuck at zero energy. The authors also note that their method is flexible enough to handle even more complex situations, like when there are resonances, though they leave that for future work.

In short, this paper is a victory for mathematical stability. It shows that even when waves get stuck in the deepest, quietest part of the energy landscape, our mathematical tools don't have to break. As long as the waves have the right kind of symmetry and the environment isn't too chaotic, we can still predict their behavior with confidence. It's like finding out that even if a surfer gets stuck in a whirlpool, as long as they know how to balance their board just right, they can still ride the wave out without crashing. This gives physicists and mathematicians a stronger foundation to build upon when studying complex quantum systems.

Technical Summary: $L^p$ Boundedness of Wave Operators for Higher Order Schrödinger Operators with Threshold Eigenvalues

Problem Statement
This paper investigates the $L^p(\mathbb{R}^n)$ boundedness of wave operators, $W_{\pm} = s\text{-}\lim_{t\to\pm\infty} e^{itH}e^{-itH_0}$ , associated with higher-order Schrödinger operators $H = (-\Delta)^m + V(x)$ in $n$ dimensions, where $m \in \mathbb{N}$ and $n > 2m$ . The study focuses specifically on the "threshold obstruction" case where the operator $H$ possesses a zero-energy eigenvalue but no zero-energy resonances or positive eigenvalues. While the boundedness of wave operators for the classical case ( $m=1$ ) and for higher-order operators in high dimensions ( $n > 4m$ ) has been established, the behavior in lower dimensions ( $2m < n \leq 4m$ ) with threshold eigenvalues presents significant technical challenges. In these regimes, the presence of an eigenvalue typically restricts the range of $p$ for which the wave operators are bounded, and the analysis becomes complicated by the non-square-integrability of free resolvents and the specific structure of the eigenspace.

Methodology
The authors employ a stationary representation of the wave operators, decomposing the problem into high-energy and low-energy components. The high-energy part and the Born series terms were previously shown to be bounded on $L^p$ for all $1 \leq p \leq \infty$ under standard decay assumptions on the potential $V$ . The core technical contribution of this work lies in controlling the low-energy portion, denoted $W_{low, \kappa}$ , which contains the singularities arising from the zero-energy eigenvalue.

The methodology proceeds through the following steps:

Resolvent Expansion: The authors utilize the symmetric resolvent identity to express the perturbed resolvent in terms of the free resolvent and an operator $M(\lambda) = U + vR_0(\lambda^{2m})v$ . They perform a detailed asymptotic expansion of $M(\lambda)^{-1}$ near $\lambda = 0$ for dimensions $2m < n \leq 4m$ . This expansion accounts for the specific behavior of the free resolvent kernel in even and odd dimensions, including logarithmic terms that appear in even dimensions.
Orthogonality and Cancellation: A central technique involves exploiting the orthogonality of the zero-energy eigenfunctions to specific moments of the potential, specifically $\{x^\alpha V(x) : |\alpha| \leq k_0 - 1\}$ . The authors define subspaces $S_{i+1}L^2$ related to the kernel of the operator $T_0 = M(0)$ . By assuming the eigenspace is orthogonal to these moments, they demonstrate that certain singular terms in the resolvent expansion vanish or are of lower order.
Decomposition of Singularities: The operator $\Gamma_\kappa(\lambda)$ , which encapsulates the singular behavior, is decomposed into a singular part $\Gamma_s(\lambda)$ (a finite rank operator with specific scaling $\lambda^{-2m}$ ) and a regular error term $\Gamma_e(\lambda)$ . The error term is shown to satisfy sufficient smoothness and decay conditions to be bounded on all $L^p$ spaces.
Kernel Estimates: The boundedness of the singular part is reduced to estimating integral kernels involving the free resolvent difference $[R_0^+ - R_0^-]$ and the eigenfunctions. The authors utilize Taylor expansions of the resolvent kernels and integration by parts to derive precise decay estimates for these kernels, leveraging the orthogonality conditions to gain additional powers of decay in the spatial variables.

Key Contributions and Results
The paper establishes the following main results regarding the range of $p$ for which the wave operators are bounded:

General Threshold Eigenvalue Case: For dimensions $2m < n \leq 4m$ with a zero-energy eigenvalue and no resonances, the wave operators are bounded on $L^p(\mathbb{R}^n)$ for:
- $1 \leq p < \frac{2n}{n-1}$ when $n$ is odd.
- $1 \leq p < \frac{2n}{n-2}$ when $n$ is even.
  This result improves upon previous assumptions regarding the decay rate of the potential $V$ .
Extended Range via Orthogonality: If the zero-energy eigenfunctions satisfy additional orthogonality conditions such that they are orthogonal to $x^\alpha V(x)$ for all $|\alpha| < k_0$ , the range of boundedness extends. Specifically, for $k_0 < 2m$ , the operators are bounded for $1 \leq p < \frac{n}{2m - k_0}$ .
- If $k_0 = 2m$ , the range extends to $1 \leq p < \infty$ .
- If $k_0 > 2m$ , the operators are bounded on $L^\infty(\mathbb{R}^n)$ as well, yielding boundedness for all $1 \leq p \leq \infty$ .
Classical Case ( $m=1$ ): The results apply to the classical Schrödinger operator ( $m=1$ ). Notably, the paper establishes $L^\infty$ boundedness for the classical case in dimensions $n > 3$ under specific orthogonality conditions, a result the authors note is new outside of the $n=3$ case previously treated by Yajima.

Significance
The authors claim that their work streamlines existing arguments for the eigenvalue-only case, particularly by unifying the treatment of even and odd dimensions and avoiding lengthy operator-valued expansions of the perturbed resolvent. The analysis provides a unified framework for higher-order operators ( $m > 1$ ) that mirrors and extends known results for the classical case.

A primary significance of the paper is the rigorous handling of the low-energy singularity in dimensions where resonances cannot exist but eigenvalues can ( $2m < n \leq 4m$ ). By explicitly characterizing the impact of orthogonality conditions on the $L^p$ range, the paper clarifies the precise relationship between the structure of the zero-energy eigenspace and the dispersive properties of the wave operators. The results also complement existing high-energy bounds to provide a complete picture of $L^p$ boundedness for these operators, which is essential for deriving dispersive estimates for the time-evolution operator $e^{-itH}P_{ac}(H)$ via the intertwining identity.

More like this