Pith. sign in

REVIEW 3 minor 2 cited by

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

T0 review · 0 major / 3 minor · reviewed 2026-05-23 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The inviscid 2D Boussinesq equation maintains nonlinear stability of a stratified rest state for times of order ε^{-2}.

desk verdict 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 →

arxiv 2408.15154 v2 submitted 2024-08-27 math.AP

Catalina Jurja , Klaus Widmayer This is my paper · ORCID
classification math.AP
keywords inviscidBoussinesqequationnonlinearstabilitydispersivedecayinternalgravitywavespartialsymmetriesstratifiedfluidsSQG
checked against alexander_duality_circle_linkingCost.FunctionalEquation
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

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.

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.

What would settle it

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

Watch

Extended reading notes

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.

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.

Editorial extensions

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.

Reading between the lines

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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

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)
  1. 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.
  2. 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.
  3. 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 · score 0.0 of 10

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.

Assumptions & free parameters 0 free parameters · 2 assumptions · 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.

assumptions (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.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Long-time stability of a stably stratified rest state in the inviscid 2D Boussinesq equation." pith.science (2026). https://pith.science/paper/2408.15154

@misc{pith2026240815154,
  author       = {Pith},
  title        = {Pith review of: Long-time stability of a stably stratified rest state in the inviscid 2D Boussinesq equation},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2408.15154}},
  note         = {Machine review of arXiv:2408.15154}
}
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].

Discussion (0). Continue with ORCID to comment.

Lean theorems connected to this paper

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

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.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Instabilities of internal gravity waves in the two-dimensional Boussinesq system

    math.AP 2025-07 conditional novelty 7.0 of 10

    Small-amplitude plane internal waves in the 2D inviscid Boussinesq system are proven to be spectrally unstable via a rigorous Floquet-Bloch analysis.

  2. Finite-time singularity via multi-layer degenerate pendula for the 2D Boussinesq equation with uniform $C^{1,\sqrt{\frac{4}{3}}-1-\epsilon}\cap L^2$ force

    math.AP 2025-05 conditional novelty 7.0 of 10

    There exist compactly supported, smooth-before-blow-up solutions of the forced 2D Boussinesq equation that blow up in finite time with a uniformly C^{1,alpha} cap L^2 force for every alpha < sqrt(4/3)-1.

Pith tools

Reviewed May 23, 2026 · model on record in the stance chip above.