pith. sign in

arxiv: 2402.12992 · v2 · submitted 2024-02-20 · 🧮 math.AP · math-ph· math.MP· math.SP· physics.geo-ph

On gravito-inertial surface waves

Yves Colin de Verdi\`ere , J\'er\'emie Vidal This is my paper

Pith reviewed 2026-05-24 03:33 UTC · model grok-4.3

classification 🧮 math.AP math-phmath.MPmath.SPphysics.geo-ph
keywords gravito-inertial wavessurface wavesPoincaré equationDirichlet-to-Neumann operatorKelvin equationwave attractorsstratified rotating fluids
0
0 comments X

The pith

Gravito-inertial surface waves concentrate their energy on the boundary for large covectors.

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

The paper develops a geometrical description of low-frequency gravito-inertial surface waves in an incompressible fluid inside a smooth compact three-dimensional domain under constant rotation and constant Brunt-Väisälä frequency. The spectral problem is posed in terms of pressure satisfying the Poincaré equation inside the domain and the Kelvin equation on the boundary; for sufficiently small frequencies the interior equation is elliptic, so the Dirichlet-to-Neumann operator reduces the boundary condition to a pseudo-differential equation on the surface. This framework shows that wave energy concentrates on the boundary at large covectors and that surface wave attractors can form in generic domains, while in an ellipsoid the modes remain square-integrable and restrict to spherical harmonics on the boundary. A reader cares because the reduction isolates the surface dynamics that dominate the low-frequency spectrum in bounded rotating stratified fluids.

Core claim

The spectral problem for gravito-inertial surface waves reduces via the Dirichlet-to-Neumann operator to a pseudo-differential equation on the boundary, where the wave energy concentrates for large covectors, surface wave attractors appear in generic domains, and the solutions are square-integrable and reduce to spherical harmonics on the boundary when the domain is an ellipsoid.

What carries the argument

The Dirichlet-to-Neumann operator applied to the elliptic Poincaré equation that converts the Kelvin boundary condition into a pseudo-differential equation on the surface.

If this is right

  • Wave energy localizes to the boundary at high covectors.
  • Surface wave attractors form for generic domain shapes.
  • In ellipsoids the surface modes are square-integrable and coincide with spherical harmonics.
  • The boundary reduction applies whenever the interior Poincaré operator is elliptic.

Where Pith is reading between the lines

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

  • The boundary pseudo-differential equation may allow direct numerical treatment of the surface spectrum without resolving the full volume.
  • Attractors could control how energy cascades or dissipates near the boundary in more realistic geophysical models.
  • The same reduction technique could extend to other elliptic interior operators coupled to boundary conditions in rotating or stratified fluids.

Load-bearing premise

The fluid is incompressible, the domain is smooth and compact, and both the rotation vector and the Brunt-Väisälä frequency are constant, so that the Poincaré equation is elliptic at low frequencies.

What would settle it

A numerical computation of eigenmodes for large covectors in a generic smooth domain in which the L2 energy of the pressure or velocity does not concentrate near the boundary.

Figures

Figures reproduced from arXiv: 2402.12992 by J\'er\'emie Vidal, Yves Colin de Verdi\`ere.

Figure 1
Figure 1. Figure 1: Non-ellipticity of the Kelvin equation for different cases. Left: Aligned case with −→Ω ∝ −→g . The Kelvin equation is non-elliptic near the equator when cos ϕ ≤ ω/N (see §5.1). Right: The Kelvin equation is elliptic when the tangent plane (gray) is parallel to gravity (see §5.2), whereas it is non-elliptic when the tangent plane is orthogonal to gravity (see §5.3). This confirms that −→N is gω-orthogonal … view at source ↗
Figure 2
Figure 2. Figure 2: Number of eigenvalues in the interval 0 < |ω| < ω− for polynomial eigenvectors of degree less than n. Aligned rotation and gravity (as considered in §5.1) when ∂D is a sphere. For every degree n, the number of eigenvalues is bounded by the number 2n+3 of spherical harmonics of degree n+1. Numerical calculations following the method presented in [VCdV24]. where −→G is the projection of the geodesic field fo… view at source ↗
Figure 3
Figure 3. Figure 3: Discrete and essential spectra defined in Theorem C.1. Proof. This two-dimensional Weyl formula could be proved using Bohr - Som￾merfeld rules (following [CdV80]). □ Another interesting extension would be to consider an unstable stratification (i.e. when N2 < 0). In this case, the Poincar´e operator is no longer self-adjoint. Then, it would be worth describing the essential spectrum (i.e. to determine the … view at source ↗
read the original abstract

In geophysical environments, wave motions that are shaped by the action of gravity and global rotation bear the name of gravito-inertial waves. We present a geometrical description of gravito-inertial surface waves, which are low-frequency waves existing in the presence of a solid boundary. We consider an idealized fluid model for an incompressible fluid enclosed in a smooth compact three-dimensional domain, subject to a constant rotation vector. The fluid is also stratified in density under a constant Brunt-V\"ais\"al\"a frequency. The spectral problem is formulated in terms of the pressure, which satisfies a Poincar\'e equation within the domain, and a Kelvin equation on the boundary. The Poincar\'e equation is elliptic when the wave frequency is small enough, such that we can use the Dirichlet-to-Neumann operator to reduce the Kelvin equation to a pseudo-differential equation on the boundary. We find that the wave energy is concentrated on the boundary for large covectors, and can exhibit surface wave attractors for generic domains. In an ellipsoid, we show that these waves are square-integrable and reduce to spherical harmonics on the boundary.

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.

Referee Report

2 major / 3 minor

Summary. The manuscript develops a geometrical approach to gravito-inertial surface waves in a stratified incompressible fluid contained in a smooth compact three-dimensional domain, with constant rotation vector and Brunt-Väisälä frequency. The spectral problem is posed for the pressure field satisfying the Poincaré equation in the interior and the Kelvin equation on the boundary. For sufficiently small wave frequencies, the interior equation is elliptic, allowing reduction via the Dirichlet-to-Neumann operator to a pseudo-differential equation on the boundary. The authors establish that wave energy concentrates on the boundary for large covectors, identify surface wave attractors in generic domains, and demonstrate that in ellipsoidal domains the solutions are square-integrable and correspond to spherical harmonics on the boundary.

Significance. If the central derivations hold, the work supplies a clean reduction of the interior-boundary spectral problem to a boundary pseudo-differential operator using standard elliptic theory, together with an explicit ellipsoid case that recovers spherical harmonics. These features are useful for the analysis of low-frequency geophysical waves and provide concrete, verifiable examples of boundary concentration and attractors.

major comments (2)
  1. [Section 2 (formulation) and the paragraph following Eq. (2.3)] The reduction via the Dirichlet-to-Neumann operator is invoked to obtain the boundary equation, but the manuscript should state explicitly the precise frequency threshold (in terms of the constant Brunt-Väisälä frequency and rotation rate) that guarantees ellipticity of the Poincaré operator and invertibility of the interior problem; without this, the domain of applicability of the boundary spectral problem remains imprecise.
  2. [Section 5 (ellipsoid reduction)] In the ellipsoid case the claim that the solutions are square-integrable in the volume and reduce to spherical harmonics on the boundary is central; the argument should include a short verification that the interior extension operator preserves the L² norm when the boundary data are spherical harmonics, or at least an a-priori estimate showing the volume integral remains finite uniformly in the frequency parameter.
minor comments (3)
  1. [Introduction] The abstract states the main conclusions but the introduction would benefit from a short roadmap indicating where the ellipticity condition, the DtN reduction, and the ellipsoid calculation are proved.
  2. [Throughout] Notation for the rotation vector and the Brunt-Väisälä frequency should be introduced once and used consistently; occasional redefinition of symbols interrupts readability.
  3. [Figure captions] The figures illustrating surface-wave attractors would be clearer if the color scale or contour levels were labeled and if the domain boundary were drawn with a thicker line.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and will incorporate the suggested clarifications in a revised version.

read point-by-point responses

  1. Referee: [Section 2 (formulation) and the paragraph following Eq. (2.3)] The reduction via the Dirichlet-to-Neumann operator is invoked to obtain the boundary equation, but the manuscript should state explicitly the precise frequency threshold (in terms of the constant Brunt-Väisälä frequency and rotation rate) that guarantees ellipticity of the Poincaré operator and invertibility of the interior problem; without this, the domain of applicability of the boundary spectral problem remains imprecise.

    Authors: We agree that an explicit statement of the threshold is needed for precision. The interior Poincaré operator is elliptic (and the Dirichlet problem invertible) when the wave frequency satisfies |ω| < N, where N is the constant Brunt-Väisälä frequency; the constant rotation rate enters the boundary Kelvin condition but does not modify this interior ellipticity threshold in the constant-coefficient setting. We will insert this precise condition in Section 2 and immediately after Eq. (2.3). revision: yes

  2. Referee: [Section 5 (ellipsoid reduction)] In the ellipsoid case the claim that the solutions are square-integrable in the volume and reduce to spherical harmonics on the boundary is central; the argument should include a short verification that the interior extension operator preserves the L² norm when the boundary data are spherical harmonics, or at least an a-priori estimate showing the volume integral remains finite uniformly in the frequency parameter.

    Authors: We thank the referee for this suggestion. In the revised manuscript we will add a short paragraph in Section 5 providing the requested verification. Because the interior problem remains elliptic at the frequencies under consideration and the boundary data are smooth spherical harmonics, standard elliptic estimates give ||p||_{L²(Ω)} ≤ C ||boundary data||_{H^{1/2}(∂Ω)} with C independent of frequency; this confirms that the volume integral remains finite. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained via standard elliptic reduction

full rationale

The paper sets up the gravito-inertial wave problem via the incompressible stratified fluid model with constant rotation and Brunt-Väisälä frequency, yielding an elliptic Poincaré equation inside the domain for small frequencies. It then invokes the Dirichlet-to-Neumann operator (a standard tool from elliptic boundary-value theory) to reduce the boundary Kelvin condition to a pseudo-differential spectral problem on the boundary. Energy concentration for large covectors and the ellipsoid reduction to spherical harmonics follow directly from analysis of this boundary operator. No step equates a claimed result to a fitted parameter, renames an input, or relies on a load-bearing self-citation whose content is itself unverified; the derivation remains independent of the target claims.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 0 invented entities

The central claims rest on the idealized fluid model with constant coefficients and on standard elliptic and pseudo-differential operator theory; no new entities are introduced and no parameters are fitted to data.

axioms (4)
  • domain assumption The fluid is incompressible
    Allows formulation of the spectral problem in terms of pressure only.
  • domain assumption Rotation vector is constant
    Simplifies the Coriolis term to a constant-coefficient operator.
  • domain assumption Brunt-Vaisala frequency is constant
    Makes the stratification term constant, enabling ellipticity analysis for low frequencies.
  • domain assumption Domain is smooth and compact
    Guarantees well-posedness of the Dirichlet-to-Neumann operator and boundary traces.

pith-pipeline@v0.9.0 · 5734 in / 1356 out tokens · 59408 ms · 2026-05-24T03:33:22.119638+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages

  1. [1]

    Boundary problems for pseudo-differential operators

    Louis Boutet de Monvel. Boundary problems for pseudo-differential operators. Acta Math. , 126:11--51, 1971

    work page 1971

  2. [2]

    Sur les petites oscillations d'une masse fluide

    \'E lie Cartan. Sur les petites oscillations d'une masse fluide. Bull. Sci. Math. , 46:317--369, 1922

    work page 1922

  3. [3]

    Spectre conjoint d'op \'e rateurs pseudo-diff \'e rentiels qui commutent

    Yves Colin de Verdi \`e re. Spectre conjoint d'op \'e rateurs pseudo-diff \'e rentiels qui commutent. II . Le cas int \'e grable. Math. Z. , 171:51--73, 1980

    work page 1980

  4. [4]

    Spectral theory of pseudodifferential operators of degree 0 and an application to forced linear waves

    Yves Colin de Verdi \`e re. Spectral theory of pseudodifferential operators of degree 0 and an application to forced linear waves. Anal. PDE , 13(5):1521--1537, 2020

    work page 2020

  5. [5]

    Attractors for two-dimensional waves with homogeneous Hamiltonians of degree 0

    Yves Colin de Verdi\`ere and Laure Saint-Raymond. Attractors for two-dimensional waves with homogeneous Hamiltonians of degree 0. Commun. Pure Appl. Math. , 73(2):421--462, 2020

    work page 2020

  6. [6]

    The spectrum of the poincar \'e operator in an ellipsoid

    Yves Colin de Verdi \`e re and J\'er\'emie Vidal. The spectrum of the poincar \'e operator in an ellipsoid. arxiv:2305.01369, 2023

    work page arXiv 2023

  7. [7]

    Siegmann

    Susan Friedlander and William L. Siegmann. Internal waves in a contained rotating stratified fluid. J. Fluid Mech. , 114:123--156, 1982

    work page 1982

  8. [8]

    Siegmann

    Susan Friedlander and William L. Siegmann. Internal waves in a rotating stratified fluid in an arbitrary gravitational field. Geophys. Astrophys. Fluid Dyn. , 19(3-4):267--291, 1982

    work page 1982

  9. [9]

    The Dirichlet -to- Neumann map, the boundary Laplacian , and H \"o rmander 's rediscovered manuscript

    Alexandre Girouard, Mikhail Karpukhin, Michael Levitin, and Iosif Polterovich. The Dirichlet -to- Neumann map, the boundary Laplacian , and H \"o rmander 's rediscovered manuscript. J. Spectr. Theory , 12(1):195--225, 2022

    work page 2022

  10. [10]

    Distributions and operators

    Gerd Grubb. Distributions and operators . Graduate Texts in Mathematics. Springer, 2008

    work page 2008

  11. [11]

    The Analysis of Linear Partial Differential Operators III : Pseudo -differential operators

    Lars Hörmander. The Analysis of Linear Partial Differential Operators III : Pseudo -differential operators . Springer-Verlag, 1985

    work page 1985

  12. [12]

    On gravitational oscillations of rotating water

    Lord Kelvin. On gravitational oscillations of rotating water. Proc. R. Soc. Edinburgh , 10:92--100, 1880

    work page

  13. [13]

    Sur l' \'e quilibre d'une masse fluide anim \'e e d'un mouvement de rotation

    Henri Poincar \'e . Sur l' \'e quilibre d'une masse fluide anim \'e e d'un mouvement de rotation. Acta Math. , 7:259--380, 1885

    work page

  14. [14]

    Partial differential equations II : Qualitative studies of linear equations

    Michael Taylor. Partial differential equations II : Qualitative studies of linear equations . Springer, 2013

    work page 2013

  15. [15]

    Inertia-gravity waves in geophysical vortices

    J\'er\'emie Vidal and Yves Colin de Verdi \`e re. Inertia-gravity waves in geophysical vortices. P. R. Soc. A , In press, 2024. https://doi.org/10.48550/arXiv.2402.10749

    work page doi:10.48550/arxiv.2402.10749 2024