How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Geophysical approximation branches
Adopted idealized local Cartesian models for rotating geophysical continuum flows: a linear, constant-stratification Boussinesq branch about a hydrostatically balanced resting background and a separate one-layer shallow-water branch. Their approximation regimes and omitted effects are explicit; no universal empirical validity or approximation-error estimate is asserted.
Postulate
Use the nonrelativistic Newtonian spacetime , where is a nonempty open interval with absolute time in seconds and is a three-dimensional oriented Euclidean affine space with no distinguished origin. Choose a Cartesian inertial chart with an orientation-preserving affine isometry , in metres, and the absolute-time coordinate. Its coordinate origin is a fixed inertial point; no relativistic causal structure is assumed. Fix and a constant in s, set , and define
The map is the adapted rotating Cartesian chart, a rigid observer change in the stated frame convention. Its orthonormal basis vectors have inertial components , where are the standard coordinate unit vectors and points vertically upward; the basis is associated with the chart, rather than itself being called a frame. For a worldline with inertial-coordinate velocity , its rotating-coordinate velocity is
Thus below denotes velocity relative to the rotating chart, not merely rotated components of ; the shallow-water denotes the first two components of this relative velocity in its separate depth-independent reduced model. The rotation is right-handed about , with angular-velocity vector and Coriolis parameter . In this convention the modeled Coriolis acceleration is on the force side, hence on the left of the momentum equation. Constant rotation has no angular-acceleration term. Let be an open local region in rotating spatial coordinates, and let be a scalar gravitational potential per unit mass, continuous in time and twice continuously differentiable in space, with SI units ; by convention its gravitational acceleration is , where is the standard Cartesian spatial gradient. Define by
The model replaces the effective acceleration locally by the constant downward vector , where has units . Let be the constant reference mass density in , let be the prescribed time-independent pressure of the zero-velocity reference state in Pa, and let be the pressure field, continuously differentiable in space and measured in Pa. The perturbation pressure per reference density is , in . The resting background pressure is constrained by hydrostatic balance as specified for the Boussinesq branch below; this constraint is an adopted model assumption, not a consequence of the perturbation equations. These are adopted local approximations and linearization choices, not an exact Newtonian coordinate-transformation derivation of the displayed reduced systems. Periodicity below is imposed on the perturbation fields in rotating coordinates; it does not require that map a fixed periodic lattice to itself or that the background potential or pressure be periodic.
The constant- choice is a local -plane idealization; no latitude variation, planetary curvature, or -plane term is included. The constant reference mass density has units kg m; and have units s; has units m s; velocities have units m s; and normalized pressure and potential variables have units m s.
Adopt the following two distinct approximation branches; they are physical-model assumptions and not conclusions derived from mathematics.
- Linear, constant-stratification Boussinesq branch. Let be a nonempty open time interval, use the flat periodic mathematical domain with fundamental cell , and represent fields by -periodic lifts with the regularity specified next. Let be velocity, a buoyancy-acceleration perturbation in m s, and pressure per reference density in m s; have continuous first time and spatial derivatives and continuous second spatial derivatives, and has continuous first spatial derivatives. The positive constant reference density is used in inertia and the incompressibility constraint, while density-anomaly effects are retained only through buoyancy. The buoyancy equation of state is not specified here. The Boussinesq approximation assumes fractional density anomalies small enough to neglect their effect on inertia while retaining their gravitational buoyancy effect. In addition, this branch adopts a linearization about a resting, uniformly stratified state. Write for upward height and prescribe by , where is a constant buoyancy acceleration in and is the constant buoyancy-frequency parameter in . The modeled total buoyancy anomaly relative to the constant-density gravitational reference is , in ; is its perturbation. Require the resting pressure to satisfy on . This is hydrostatic balance of the full stratified reference state: , so substituting leaves exactly in perturbation momentum. The full resting includes both the constant-density hydrostatic pressure, with gradient , and the stratification pressure, with gradient . These background profiles are used on the local region ; no globally small density anomaly at all real heights or periodic background is asserted. The identity specifies uniform stratification, and advection of the perturbations is omitted. For prescribed constants and in m s, the model equations are
Here , , , and , with acting componentwise on . The periodic domain is a mathematical boundary idealization. Neither this linear equation family nor the Boussinesq approximation includes a derived error estimate or asserts that a particular measured fluid satisfies the assumptions.
- One-layer shallow-water branch. On the separate flat periodic domain , let be total layer depth in metres and be horizontal velocity in m s, with continuous first time and spatial derivatives and continuous second spatial derivatives. Use constant in m s and constant in s, and define . Adopt a single layer with constant reference density, a flat bottom at vertical coordinate , no bottom stress, no wetting or drying, and no interlayer coupling. Let be height positive upward in metres, pressure in Pa, and representative vertical and horizontal length scales in metres. Assume the shallow-layer regime ; neglect vertical acceleration so pressure is hydrostatic, , with negligible pressure above the free surface , and take horizontal velocity independent of depth in the reduced model. The adopted hydrostatic profile is for . The resulting one-layer equations are
Here , for , and tensor divergence is rowwise: for .
The two-dimensional torus is again a mathematical boundary idealization, not a claim that a geophysical fluid occupies a torus. No reduction theorem or error estimate from the three-dimensional Boussinesq branch to this shallow-water branch is adopted. The branch assumptions specify when these equations are used as a model; they do not establish their empirical adequacy.
Postulate references
Classical frames, primitive quantities and SI units: Newtonian spacetime, Cartesian frames, field types, and SI units.
Rotating stratified and shallow-water equation families: the pointwise linear stratified Boussinesq and one-layer shallow-water equation families and their mathematical conventions.