🔢 mathematics

Critical lengths for the linear Kadomtsev-Petviashvili II equation

This paper establishes the existence of critical lengths for the linear Kadomtsev-Petviashvili II equation by deriving observability inequalities via the Paley-Wiener theorem, which in turn guarantees exact boundary controllability and exponential stabilization for spatial domains that avoid these specific values.

Original authors: Roberto de A. Capistrano-Filho, Fernando Gallego, Ricardo Muñoz

Published 2026-01-26

📖 5 min read🧠 Deep dive

CC0 1.0

Original authors: Roberto de A. Capistrano-Filho, Fernando Gallego, Ricardo Muñoz

Original paper dedicated to the public domain under CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.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 you are trying to control the waves in a long, rectangular swimming pool. You want to be able to stop the water from moving in a specific pattern or make it settle down completely just by pushing or pulling on the water at the very edge of the pool.

This paper is about a specific type of wave equation (the Kadomtsev-Petviashvili II, or KP-II equation) that describes how water waves behave when they move in two directions (length and width) rather than just one. The authors are asking two main questions:

Can we steer the waves? (Controllability): If we start with a messy wave pattern, can we apply a force at the edge to make the water settle into a perfectly calm state (or a specific new pattern) at a specific time?
Can we stop the waves from moving forever? (Stabilization): If we apply a "braking" force at the edge, will the waves eventually die out completely?

Here is the breakdown of their findings using simple analogies:

The "Magic Length" Problem

The most surprising discovery in this paper is that the answer to these questions depends entirely on the length of the pool.

Think of the pool's length like the size of a guitar string. If you pluck a string of a certain length, it vibrates at a specific note. If you change the length slightly, the note changes. However, there are certain "magic lengths" where the physics of the system gets stuck.

The Good News: If the pool is not one of these specific "magic lengths," the authors prove that you can control the waves and can make them stop. You can push the edge just right to guide the water exactly where you want, or apply a brake that guarantees the water will eventually become still.
The Bad News: If the pool happens to be exactly one of these "magic lengths," the system becomes "uncontrollable." It's like trying to push a swing at the exact wrong moment; no matter how hard you push at the edge, the waves will keep moving in a stubborn pattern that you cannot change or stop.

How They Found the "Magic Lengths"

The authors didn't just guess these lengths; they did the mathematical equivalent of listening to the pool to hear its "natural notes."

They used a powerful mathematical tool (the Paley-Wiener theorem) to analyze the "spectrum" of the equation. They found that the "magic lengths" (which they call the set R) are not random numbers. They are specific formulas involving integers (whole numbers).

Analogy: Imagine the pool is a room with a specific echo. If you clap your hands, the echo returns at a specific time. The authors found that if the room is a specific size (the "critical length"), the echo creates a standing wave that cancels out your ability to control the sound. They wrote down a complex recipe (involving numbers like $m_1, m_2, m_3$ ) to calculate exactly which room sizes cause this problem.

The "Drift" and the "Brake"

The equation they studied has a term called "drift" (represented by $u_x$ ).

The Drift: Imagine the water in the pool is slowly flowing in one direction even when it's calm. This flow messes up the usual rules of wave behavior. In a one-dimensional pool (a straight canal), mathematicians already knew about the "magic lengths." This paper is the first to figure out how this drift affects a two-dimensional pool (a rectangle).
The Brake: To stop the waves, the authors proposed a "feedback" mechanism. Imagine a sensor at the edge of the pool that measures how fast the water is moving and automatically pushes back against it. They proved that if the pool isn't a "magic length," this automatic brake will work perfectly, and the energy of the waves will drop exponentially (very quickly) until the water is still.

What They Did Not Do

It is important to note what this paper does not claim:

No Nonlinear Waves: The paper only looks at "linear" waves (small ripples where waves don't crash into each other). They explicitly state that they cannot yet solve the problem for "nonlinear" waves (big, crashing waves) because the math gets too messy for their current tools.
No Real-World Experiments: This is a theoretical math paper. They did not build a physical pool or run a computer simulation with real water; they proved these results using pure mathematics and logic.
No Medical or Industrial Applications: The paper does not mention using this for tsunamis, oil pipelines, or medical imaging. It is strictly about the mathematical properties of this specific wave equation on a rectangle.

Summary

In short, this paper is a map for a mathematical ocean. The authors discovered that for a 2D wave system, there is a hidden list of "forbidden lengths" where control is impossible. As long as you avoid these specific lengths, you can mathematically guarantee that you can steer the waves to a stop or guide them to a new state. They provided the exact formula to calculate these forbidden lengths, filling a gap in our understanding of how 2D waves behave compared to 1D waves.

Technical Summary: Critical Lengths for the Linear Kadomtsev-Petviashvili II Equation

Problem Statement
This work investigates the boundary controllability and exponential stabilization of the linear Kadomtsev-Petviashvili II (KP-II) equation posed on a rectangular domain $\Omega = (0, L) \times (0, L)$ . The KP-II equation serves as a two-dimensional generalization of the Korteweg-de Vries (KdV) equation, modeling wave propagation with weak transverse effects in a defocusing regime. The specific system under study is:
$u_t + u_x + u_{xxx} + \partial_x^{-1}(u_{yy}) = 0$
subject to homogeneous Dirichlet boundary conditions on the top, bottom, and left boundaries, and a control input (or feedback) on the right boundary ( $x=L$ ) or left boundary ( $x=0$ ).

A central challenge addressed is the "critical length" phenomenon. In one-dimensional dispersive systems like the KdV equation, it is well-established that exact boundary controllability and stabilization fail if the domain length $L$ belongs to a specific set of critical values. While this property is known for 1D systems, its existence and characterization in higher dimensions (specifically 2D) were previously unknown. This paper aims to identify whether such critical lengths exist for the KP-II equation and, if so, to characterize them explicitly.

Methodology
The authors employ a functional analytic approach grounded in the Hilbert Uniqueness Method (H.U.M.) developed by J.-L. Lions. The core strategy involves the following steps:

Well-posedness: The authors first establish the well-posedness of the linear system and its adjoint in appropriate Sobolev spaces ( $X^k(\Omega)$ and $H^k_x(\Omega)$ ), utilizing semigroup theory to prove the existence of unique mild solutions.
Observability Inequalities: To prove exact controllability and stabilization, the authors derive observability inequalities for the adjoint system. This reduces the control problem to proving a unique continuation property: showing that if the observation of the solution vanishes on the boundary, the solution must be identically zero.
Spectral Analysis and Contradiction: The proof of the unique continuation property relies on a contradiction argument. The authors assume the observability inequality fails, which implies the existence of a non-trivial solution to a specific spectral problem (an eigenvalue problem for the adjoint operator) with vanishing boundary traces.
Paley-Wiener Theorem: By separating variables and analyzing the resulting ordinary differential equations in the $x$ -direction, the authors utilize the Paley-Wiener theorem to characterize the Fourier transform of potential eigenfunctions. They demonstrate that non-trivial solutions to the spectral problem exist if and only if the domain length $L$ satisfies a specific algebraic condition derived from the roots of a characteristic polynomial.
Stabilization: For the stabilization problem, the authors utilize a feedback law $h(y,t) = -\alpha u_x(0,y,t)$ and employ both compactness-uniqueness arguments and Lyapunov functional methods to establish exponential decay rates.

Key Contributions and Results

Identification of Critical Lengths: The primary contribution is the explicit characterization of the set of critical lengths $\mathcal{R}$ for the linear KP-II equation. The set $\mathcal{R}$ is defined as:
$\mathcal{R} := \left\{ \frac{\pi}{4n} \sqrt{(3m_1 + 2m_2 + m_3)(m_1 - 2m_2 - m_3)(m_1 + 2m_2 - m_3)(m_1 + 2m_2 + 3m_3)} \right\}$
where $n, m_1, m_2, m_3 \in \mathbb{N}$ and $|m_1 - m_3| > 2m_2 > 0$ .
The paper proves that if $L \notin \mathcal{R}$ , the system is exactly controllable and exponentially stabilizable. If $L \in \mathcal{R}$ , the system loses these properties due to the existence of uncontrollable eigenmodes.
Exact Boundary Controllability (Theorem 1.3): For any $L \in (0, +\infty) \setminus \mathcal{R}$ and time $T > 0$ , the system is exactly controllable in time $T$ . This means that for any initial state $u_0$ and target state $u_T$ in $L^2(\Omega)$ , there exists a boundary control $h(y,t)$ steering the system from $u_0$ to $u_T$ .
Uniform Exponential Stabilization (Theorem 1.4): Under the same condition ( $L \notin \mathcal{R}$ ), the system with a linear feedback damping mechanism at the boundary is uniformly exponentially stable. The energy of the system decays exponentially to zero.
Explicit Decay Rate (Theorem 1.5): Using a Lyapunov approach, the authors derive an explicit decay rate for the energy under specific constraints on $L$ (specifically $0 < L < \sqrt{3}$ ). This result provides a quantitative estimate of the stabilization speed, independent of the spectral characterization of critical lengths used in the H.U.M. approach.
Handling the Drift Term: The paper addresses the technical difficulty posed by the drift term $u_x$ in the KP-II equation. Unlike the standard KdV equation, the presence of this term in a bounded domain affects the spectral properties, necessitating the specific construction of the critical length set $\mathcal{R}$ . The authors note that if the drift term were removed, no critical lengths would exist (i.e., controllability would hold for all $L > 0$ ).

Significance and Claims
The authors state that this work introduces new results by identifying a set of critical lengths for a two-dimensional dispersive system. To the best of their knowledge, this is the first study to provide an explicit characterization of critical lengths for the KP-II equation on a bounded rectangular domain.

The paper highlights that while the KdV equation's critical lengths were characterized in [33], extending this to 2D dispersive systems is non-trivial due to the lack of Sobolev embeddings ( $H^1(\Omega) \not\hookrightarrow L^\infty(\Omega)$ ) which prevents the direct application of fixed-point arguments for the nonlinear case. Consequently, the authors restrict their analysis to the linear system.

The significance of the work lies in bridging the gap between 1D and 2D control theory for dispersive waves. The authors note that few works have successfully presented a complete picture of critical length sets for dispersive-type systems in higher dimensions. They explicitly acknowledge that the focusing case (KP-I) does not allow the use of the same tools due to different mathematical properties, and the nonlinear version of the KP-II equation remains an open problem regarding well-posedness and controllability on critical lengths.

Limitations and Future Directions
The paper explicitly notes that the results are limited to the linear KP-II equation. The nonlinear problem is left open due to regularity issues preventing the use of standard fixed-point arguments in the required function spaces. The authors suggest that future research should investigate whether the nonlinear term might restore controllability on critical lengths (as observed in some 1D KdV studies) and address the well-posedness of the nonlinear system in the class $C([0, T]; L^2(\Omega)) \cap L^2(0, T; H^1_{x0}(\Omega))$ .