Long-time stability of a stably stratified rest state in the inviscid 2D Boussinesq equation

Catalina Jurja; Klaus Widmayer

arxiv: 2408.15154 · v2 · submitted 2024-08-27 · 🧮 math.AP

Long-time stability of a stably stratified rest state in the inviscid 2D Boussinesq equation

Catalina Jurja , Klaus Widmayer This is my paper

Pith reviewed 2026-05-23 21:29 UTC · model grok-4.3

classification 🧮 math.AP

keywords inviscid Boussinesq equationnonlinear stabilitydispersive decayinternal gravity wavespartial symmetriesstratified fluidsSQG equation

0 comments

The pith

The inviscid 2D Boussinesq equation maintains nonlinear stability of a stratified rest state for times of order ε^{-2}.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that small Sobolev-regular and localized perturbations to a linearly stable stratified rest state in the inviscid 2D Boussinesq system on the whole plane remain bounded on a time scale O(ε^{-2}). The mechanism starts from linear dispersive decay at rate t^{-1/2} produced by anisotropic internal gravity waves and extends this control to the nonlinear problem by tracking interactions with the method of partial symmetries. The same long-time bound holds for the related dispersive surface quasi-geostrophic equation. This shows that the rest state can persist for long times in the absence of viscosity once the initial disturbance is sufficiently small and localized.

Core claim

We establish the nonlinear stability on a timescale O(ε^{-2}) of a linearly, stably stratified rest state in the inviscid Boussinesq system on R². Here ε>0 denotes the size of an initially sufficiently small, Sobolev regular and localized perturbation. A similar statement also holds for the related dispersive SQG equation. At the core of this result is a dispersive effect due to anisotropic internal gravity waves. At the linearized level, this gives rise to amplitude decay at a rate of t^{-1/2}. We establish a refined version of this, and propagate nonlinear control via a detailed analysis of nonlinear interactions using the method of partial symmetries.

What carries the argument

Dispersive decay from anisotropic internal gravity waves at linear rate t^{-1/2}, refined and extended to nonlinear terms by the method of partial symmetries.

If this is right

The rest state persists without any viscous dissipation up to the stated time scale.
Linear dispersive decay can be refined and then used to control quadratic and higher interactions.
The same long-time nonlinear stability transfers directly to the dispersive SQG equation.
Partial symmetries suffice to propagate control once the linear decay rate is available.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same technique may apply to other stratified or rotating fluid models that support anisotropic waves.
Relaxing spatial localization while keeping the Sobolev smallness might be possible if the decay can be localized in frequency.
The O(ε^{-2}) threshold is set by the current nonlinear estimates; sharper time scales would require stronger decay or additional cancellation.

Load-bearing premise

The initial perturbation is small enough in a Sobolev norm and spatially localized so that linear dispersive decay can close the nonlinear estimates.

What would settle it

A concrete small initial perturbation whose solution grows by a fixed factor before time ε^{-2} would falsify the claimed stability.

read the original abstract

We establish the nonlinear stability on a timescale $O(\varepsilon^{-2})$ of a linearly, stably stratified rest state in the inviscid Boussinesq system on $\mathbb{R}^2$. Here $\varepsilon>0$ denotes the size of an initially sufficiently small, Sobolev regular and localized perturbation. A similar statement also holds for the related dispersive SQG equation. At the core of this result is a dispersive effect due to anisotropic internal gravity waves. At the linearized level, this gives rise to amplitude decay at a rate of $t^{-1/2}$, as observed in [EW15]. We establish a refined version of this, and propagate nonlinear control via a detailed analysis of nonlinear interactions using the method of partial symmetries developed in [GPW23].

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gets nonlinear stability on the O(ε^{-2}) timescale for small localized perturbations of the stratified rest state in the 2D inviscid Boussinesq by refining the linear t^{-1/2} decay and feeding it through partial symmetries.

read the letter

The core result is a nonlinear stability statement on a timescale longer than what linear dispersion alone gives. They take the t^{-1/2} decay for internal gravity waves from the linear theory in [EW15], refine it, and then use the partial-symmetries approach from [GPW23] to keep the nonlinear terms under control up to O(ε^{-2}). A similar claim is made for the dispersive SQG equation. That extension to the nonlinear regime on this specific timescale is the actual new piece; the rest is careful application of existing tools to this system.

Referee Report

0 major / 3 minor

Summary. The manuscript proves nonlinear stability on the timescale O(ε^{-2}) for a linearly stably stratified rest state of the inviscid 2D Boussinesq system on R², for sufficiently small, Sobolev-regular, spatially localized initial perturbations of size ε. The argument proceeds by establishing a refined version of the t^{-1/2} dispersive decay for internal gravity waves (building on [EW15]) and controlling nonlinear interactions via the method of partial symmetries introduced in [GPW23]. An analogous result is stated for the dispersive SQG equation.

Significance. If the bootstrap closes rigorously, the result supplies a concrete long-time nonlinear stability theorem in a dissipation-free stratified fluid model where linear dispersive decay is the only source of decay. The work demonstrates that the partial-symmetries framework can be adapted to propagate anisotropic dispersive estimates through quadratic nonlinearities without derivative loss, which is a technically nontrivial extension of the cited linear and methodological tools.

minor comments (3)

The abstract and introduction should explicitly state the precise Sobolev index s and the localization weight (e.g., weighted L^2 or H^s with |x|^k decay) required for the initial data; these parameters appear only implicitly in the smallness assumption.
Notation for the stratification parameter and the frequency variables in the linear dispersive estimates should be unified between the Boussinesq and SQG sections to avoid reader confusion when comparing the two results.
Figure 1 (if present) or the schematic of the partial-symmetry vector fields would benefit from an explicit statement of the commutation relations used to close the estimates.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and recommendation of minor revision. We are pleased that the significance of the long-time nonlinear stability result, the refined dispersive decay, and the adaptation of the partial-symmetries framework is recognized.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation relies on linear decay rates from the external reference [EW15] and the partial symmetries method from the external reference [GPW23]. The new content consists of propagating these established linear estimates through nonlinear terms to obtain O(ε^{-2}) nonlinear stability for small localized perturbations, using smallness to close estimates. No step reduces by construction to an internal definition, fitted input, or self-citation chain; the central claim has independent content as an application of external tools.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on standard Sobolev-space theory, linear dispersive decay taken from prior work, and the applicability of the partial-symmetries method to the nonlinear system; no free parameters or new entities are introduced in the abstract.

axioms (2)

standard math Standard Sobolev embedding and local well-posedness results for the Boussinesq system
Invoked to make sense of the small Sobolev-regular perturbation.
domain assumption Linear dispersive decay rate t^{-1/2} from anisotropic internal gravity waves
Taken from the cited reference [EW15] and used as the starting point for nonlinear control.

pith-pipeline@v0.9.0 · 5663 in / 1454 out tokens · 40656 ms · 2026-05-23T21:29:45.445347+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking (D=3 forcing) unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

dispersive effect due to anisotropic internal gravity waves... amplitude decay at a rate of t^{-1/2}... method of partial symmetries... null structure... integration by parts along S... normal forms
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel (J uniqueness) unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

B-norm... X-norm... localization parameters p quantifying degeneracy of Λ... null structure encoded in multipliers m containing factor ζ2/|ζ|

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.