pith. sign in

arxiv: 1907.07028 · v2 · pith:52COSYNBnew · submitted 2019-07-16 · 🧮 math.AP · math.DS· physics.ao-ph· physics.flu-dyn

Shallow water equations on a fast rotating surface

Bin Cheng , Steve Schochet This is my paper

Pith reviewed 2026-05-24 20:45 UTC · model grok-4.3

classification 🧮 math.AP math.DSphysics.ao-phphysics.flu-dyn
keywords shallow water equationsrotating flowsRossby numberFroude numberCoriolis parameterzonal flowssurface of revolutionuniform estimates
0
0 comments X

The pith

Classical solutions of rotating shallow water equations on a surface of revolution satisfy uniform estimates independent of the small Rossby and Froude numbers.

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

The paper establishes that classical solutions to the rotating shallow water equations remain controlled uniformly as the Rossby and Froude numbers approach zero. This holds on a fixed time interval for flows on a surface of revolution with variable Coriolis parameter. If true, it allows passing to the limit and identifying the asymptotic behavior of the solutions without the estimates blowing up due to fast rotation. A sympathetic reader would care because it justifies reduced models for large-scale geophysical flows where rotation dominates.

Core claim

For the rotating shallow water equations on a surface of revolution with variable Coriolis parameter, as the Rossby and Froude numbers vanish, the classical solution satisfies uniform estimates on a fixed time interval independent of these small parameters. After transformation by the solution operator of the large operator, the solution converges strongly to a limit satisfying a governing equation. The kernel of the large operator is characterized, a projection onto it is defined, and time-averages of the solution approach longitude-independent zonal flows and height field.

What carries the argument

The solution operator associated with the large operator, used to transform the solution and obtain convergence, together with the projection onto the kernel of that operator.

If this is right

  • Uniform bounds allow strong convergence to a limit equation after the transformation.
  • Time averages of the solution are close to zonal flows independent of longitude.
  • The projection onto the kernel captures the limiting dynamics.
  • These estimates hold without dependence on the small parameters for classical solutions.

Where Pith is reading between the lines

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

  • Such uniform estimates could enable rigorous derivation of balanced models like the quasi-geostrophic approximation in this setting.
  • If extended to global existence, it might inform long-term behavior of rotating fluids on planets.
  • The characterization of the kernel likely corresponds to geostrophic balance or similar physical states.

Load-bearing premise

The existence of classical solutions on the fixed time interval is assumed so that the estimates can be derived for them.

What would settle it

A specific classical solution on a surface of revolution where the norms grow without bound as the Rossby number approaches zero within the fixed time interval would disprove the uniform estimates.

read the original abstract

We prove that for rotating shallow water equations on a surface of revolution with variable Coriolis parameter and vanishing Rossby and Froude numbers, the classical solution satisfies uniform estimates on a fixed time interval with no dependence on the small parameters. Upon a transformation using the solution operator associated with the large operator, the solution converges strongly to a limit for which the governing equation is given. We also characterize the kernel of the large operator and define a projection onto that kernel. With these tools, we are able to show that the time-averages of the solution are close to longitude-independent zonal flows and height field.

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 / 1 minor

Summary. The manuscript proves that classical solutions of the rotating shallow water equations on a surface of revolution with variable Coriolis parameter satisfy uniform a priori estimates independent of the vanishing Rossby and Froude numbers on a fixed time interval. After transformation by the solution operator of the dominant linear term, the solutions converge strongly to a limit system; the kernel of the large operator is characterized, a projection onto the kernel is defined, and time averages of the solutions are shown to approach longitude-independent zonal flows and height fields.

Significance. If the estimates hold, the work supplies rigorous control on the fast-rotation singular limit for shallow-water models on surfaces of revolution, a setting relevant to geophysical fluid dynamics. The transformation via the linear solution operator and the kernel projection are potentially reusable tools for other averaging problems. The result remains conditional on the existence of classical solutions whose lifespan is independent of the small parameters.

major comments (2)
  1. [Abstract] Abstract: the statement that 'the classical solution satisfies uniform estimates on a fixed time interval with no dependence on the small parameters' presupposes the existence of classical solutions on an interval [0,T] whose length T does not shrink with the Rossby and Froude numbers. No existence result or reference establishing such parameter-independent existence is supplied, rendering the uniform estimates inapplicable if the actual existence time depends on the parameters.
  2. [Abstract] Abstract: the convergence claim after transformation by the solution operator of the large linear term, the characterization of its kernel, and the projection onto that kernel are asserted without any indication of the estimates, the explicit form of the operator, or the kernel arguments used; these steps are load-bearing for the strong-convergence and averaging conclusions.
minor comments (1)
  1. [Abstract] The abstract would be clearer if it stated the explicit form of the limit equation satisfied by the transformed solution.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting points that improve the clarity of the presentation. We address each major comment below.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the statement that 'the classical solution satisfies uniform estimates on a fixed time interval with no dependence on the small parameters' presupposes the existence of classical solutions on an interval [0,T] whose length T does not shrink with the Rossby and Froude numbers. No existence result or reference establishing such parameter-independent existence is supplied, rendering the uniform estimates inapplicable if the actual existence time depends on the parameters.

    Authors: We agree. The uniform a priori estimates derived in the paper are conditional on the existence of classical solutions whose lifespan is independent of the small parameters; no existence theorem is claimed or proved. We will revise the abstract to state this assumption explicitly. revision: yes

  2. Referee: [Abstract] Abstract: the convergence claim after transformation by the solution operator of the large linear term, the characterization of its kernel, and the projection onto that kernel are asserted without any indication of the estimates, the explicit form of the operator, or the kernel arguments used; these steps are load-bearing for the strong-convergence and averaging conclusions.

    Authors: The abstract is intentionally concise. The full manuscript supplies the required details: the transformation is constructed in Section 3 using the explicit solution operator of the dominant linear term, the kernel is characterized in Section 4 (longitude-independent zonal flows and height fields), the projection is defined and shown to be bounded, and the strong convergence together with the averaging result are proved in Theorem 5.1 with the accompanying estimates. No change to the abstract is needed. revision: no

Circularity Check

0 steps flagged

No circularity; direct a priori estimates on presupposed classical solutions

full rationale

The paper states it proves uniform estimates and strong convergence for classical solutions of the rotating shallow water equations (with vanishing Rossby/Froude numbers) on a fixed time interval, after a transformation by the large linear operator's solution operator. It also characterizes the kernel and defines a projection. No steps match the enumerated circularity patterns: there are no self-definitional reductions, no fitted parameters renamed as predictions, no load-bearing self-citations, no uniqueness theorems imported from the authors' prior work, and no ansatz smuggled via citation or renaming of known results. The derivation consists of direct PDE estimates and averaging arguments. The presupposition of classical solution existence on a parameter-independent interval is a standard scope limitation for a priori estimates and does not reduce the claimed result to its inputs by construction. The chain is self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard existence theory for the shallow-water system and the geometric assumption of a surface of revolution; no free parameters or invented entities are introduced.

axioms (1)
  • domain assumption Existence of classical solutions on the fixed time interval
    The uniform estimates and convergence statements are stated for classical solutions whose existence is presupposed.

pith-pipeline@v0.9.0 · 5626 in / 1096 out tokens · 21498 ms · 2026-05-24T20:45:12.612834+00:00 · methodology

discussion (0)

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

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.

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages

  1. [1]

    Besicovitoh, A. S. Almost periodic functions . Cambridge (1932)

    work page 1932

  2. [2]

    N., and Yu Mitropolsky

    Bogoliubov, N. N., and Yu Mitropolsky. Asymptotic methods in nonlinear mechanics . Gordon Breach, New York (1961)

    work page 1961

  3. [3]

    on Mathematical Analysis, 44 (2012), 1050–1076

    Bin Cheng, Singular limits and convergence rates of compressible Eule r and rotating shallow water equations , SIAM J. on Mathematical Analysis, 44 (2012), 1050–1076

    work page 2012

  4. [4]

    Bin Cheng and Alex Mahalov, Euler equations on a fast rotating sphere–time-averages an d zonal flows , European J. Mech. - B/Fluids, 37 (2013), 48–58

    work page 2013

  5. [5]

    and Mahalov, A., Time-averages of fast oscillatory systems

    Cheng, B. and Mahalov, A., Time-averages of fast oscillatory systems . Discrete Contin. Dyn. Syst. Ser. S, (2013), 1151-1162

    work page 2013

  6. [6]

    Cheng and A

    B. Cheng and A. Mahalov. General Results on Zonation in Ro tating Systems with a β-Effect and the Elec- tromagnetic Force. In Zonal Jets: Phenomenology, Genesis, Physics. Boris Galperin and Peter L. Read eds. Cambridge University Press, 2019

    work page 2019

  7. [7]

    The dynamics of equatorial long w aves: a singular limit with fast variable coefficients

    Dutrifoy, A.; Majda, A. The dynamics of equatorial long w aves: a singular limit with fast variable coefficients. Commun. Math. Sci. (2006)

    work page 2006

  8. [8]

    Fast wave averaging for the equat orial shallow water equations

    Dutrifoy, A.; Majda, A. Fast wave averaging for the equat orial shallow water equations. Comm. Partial Differ- ential Equations (2007)

    work page 2007

  9. [9]

    and Majda, A.J., 2009

    Dutrifoy, A., Schochet, S. and Majda, A.J., 2009. A simpl e justification of the singular limit for equatorial shallow-water dynamics. Communications on Pure and Applie d Mathematics

    work page 2009

  10. [10]

    and Saint-Raymond, L., 2006

    Gallagher, I. and Saint-Raymond, L., 2006. Mathematic al study of the betaplane model: equatorial waves and convergence results. Soci´ et´ e math´ ematique de France

    work page 2006

  11. [11]

    Galperin, H

    B. Galperin, H. Nakano, H. Huang and S. Sukoriansky, The ubiquitous zonal jets in the atmospheres of giant planets and Earth oceans , Geophys. Res. Lett., 31 (2004), L13303

    work page 2004

  12. [12]

    Garc´ ya-Melendo and A

    E. Garc´ ya-Melendo and A. S´ anchez-Lavega,A study of the stability of Jovian zonal winds from HST images : 1995–2000, Icarus, 152 (2001), 316–330

    work page 1995

  13. [13]

    Pure Appl

    Sergiu Klainerman and Andrew Majda, Singular limits of quasilinear hyperbolic systems with lar ge parameters and the incompressible limit of compressible fluids , Comm. Pure Appl. Math., 34 (1981), 481–524

    work page 1981

  14. [14]

    N. A. Maximenko, B. Bang and H. Sasaki, Observational evidence of alternating jets in the world oce an, Geophys. Res. Lett., 32 (2005), L12607

    work page 2005

  15. [15]

    Nozawa and S

    T. Nozawa and S. Yoden, Formation of zonal band structure in forced two-dimensiona l turbulence on a rotating sphere, Phys. Fluids, 9 (1997), 2081–2093

    work page 1997

  16. [16]

    Fast singular limits of hyperbolic PDEs

    Schochet, S. Fast singular limits of hyperbolic PDEs . Journal of differential equations (1994), 476-512

    work page 1994

  17. [17]

    Partial differential equations I: Basic theory

    Taylor, Michael E. Partial differential equations I: Basic theory. Applied Mathematical Sciences, 115. Springer- Verlag, New York, 1996

    work page 1996

  18. [18]

    Partial differential equations II: Qualitative studies of li near equations

    Taylor, Michael. Partial differential equations II: Qualitative studies of li near equations. Applied Mathematical Sciences, 115. Springer Science & Business Media, 2013

    work page 2013

  19. [19]

    Vallis and M

    G. Vallis and M. Maltrud, Generation of mean flows and jets on a beta plane and over topog raphy, J. Phys. Oceanogr., 23 (1993), 1346–1362

    work page 1993

  20. [20]

    A., Hoskins, B

    White, A. A., Hoskins, B. J., Roulstone, I., Staniforth , A. . Consistent approximate models of the global at- mosphere: shallow, deep, hydrostatic, quasi?hydrostatic and non?hydrostatic . Quarterly Journal of the Royal Meteorological Society: A journal of the atmospheric scien ces, applied meteorology and physical oceanography (2005), 2081-2107

    work page 2005

  21. [21]

    Williamson, J.B

    D.L. Williamson, J.B. Drake, J.J. Hack, R. Jakob, P.N. S warztrauber, A standard test set for numerical approx- imations to the shallow water equations on the sphere. J. Comput. Phys. (1992) 221–224. 17 Department of Mathematics, University of Surrey, Guildfor d, GU2 7XH, United Kingdom E-mail address : b.cheng@surrey.ac.uk School of Mathematical Sciences...

    work page 1992