Alphabeta Math
PostulateStatement: Literature-sourcedProof: Not applicablePipeline-generatedprecheck pending‡ sources checked 2026-10-23
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

Physical scope

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 I×E, where I⊆R is a nonempty open interval with absolute time t in seconds and E is a three-dimensional oriented Euclidean affine space with no distinguished origin. Choose a Cartesian inertial chart with an orientation-preserving affine isometry X:E→R3, in metres, and the absolute-time coordinate. Its coordinate origin is a fixed inertial point; no relativistic causal structure is assumed. Fix tr∈I and a constant Ω∈R in s−1, set θ(t)=Ω(t−tr), and define

R(t)=(cos⁡θ(t)−sin⁡θ(t)0sin⁡θ(t)cos⁡θ(t)0001),x(t,q)=R(t)TX(q)(q∈E).

The map (t,q)↦(t,x(t,q)) is the adapted rotating Cartesian chart, a rigid observer change in the stated frame convention. Its orthonormal basis vectors have inertial components R(t)ei, where ei are the standard coordinate unit vectors and e3 points vertically upward; the basis is associated with the chart, rather than itself being called a frame. For a C2 worldline q(t) with inertial-coordinate velocity V(t)=dX(q(t))/dt, its rotating-coordinate velocity is

dxdt=R(t)TV(t)−Ωe3×x(t,q(t)),e3=(0,0,1).

Thus u below denotes velocity relative to the rotating chart, not merely rotated components of V; the shallow-water v denotes the first two components of this relative velocity in its separate depth-independent reduced model. The rotation is right-handed about e3, with angular-velocity vector Ω=Ωe3 and Coriolis parameter f=2Ω. In this convention the modeled Coriolis acceleration is −2Ω×u on the force side, hence +fe3×u on the left of the momentum equation. Constant rotation has no angular-acceleration term. Let Ubg⊆R3 be an open local region in rotating spatial coordinates, and let Φ:I×Ubg→R be a scalar gravitational potential per unit mass, continuous in time and twice continuously differentiable in space, with SI units m2 s−2; by convention its gravitational acceleration is −∇xΦ, where ∇x is the standard Cartesian spatial gradient. Define Φeff:I×Ubg→R by

Φeff(t,x)=Φ(t,x)−12∣Ω×x∣2.

The model replaces the effective acceleration −∇xΦeff locally by the constant downward vector −ge3, where g>0 has units m s−2. Let ρ0>0 be the constant reference mass density in kg m−3, let p0∈C1(Ubg,R) be the prescribed time-independent pressure of the zero-velocity reference state in Pa, and let p:I×Ubg→R be the pressure field, continuously differentiable in space and measured in Pa. The perturbation pressure per reference density is π(t,x)=(p(t,x)−p0(x))/ρ0, in m2 s−2. 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 R(t) map a fixed periodic lattice to itself or that the background potential or pressure be periodic.

The constant-f choice is a local f-plane idealization; no latitude variation, planetary curvature, or β-plane term is included. The constant reference mass density ρ0>0 has units kg m−3; f and N have units s−1; g has units m s−2; velocities have units m s−1; and normalized pressure and potential variables have units m2 s−2.

Adopt the following two distinct approximation branches; they are physical-model assumptions and not conclusions derived from mathematics.

  1. Linear, constant-stratification Boussinesq branch. Let I⊆R be a nonempty open time interval, use the flat periodic mathematical domain T3=R3/(2πZ)3 with fundamental cell Q3=[0,2π]3, and represent fields by 2π-periodic lifts with the regularity specified next. Let u:I×T3→R3 be velocity, b:I×T3→R a buoyancy-acceleration perturbation in m s−2, and π:I×T3→R pressure per reference density in m2 s−2; u,b have continuous first time and spatial derivatives and continuous second spatial derivatives, and π has continuous first spatial derivatives. The positive constant reference density ρ0 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 z=x3 for upward height and prescribe B0:R→R by B0(z)=B∗+N2z, where B∗ is a constant buoyancy acceleration in m s−2 and N>0 is the constant buoyancy-frequency parameter in s−1. The modeled total buoyancy anomaly relative to the constant-density gravitational reference is B0(z)+b(t,x), in m s−2; b is its perturbation. Require the resting pressure to satisfy ρ0−1∇xp0(x)=(B0(x3)−g)e3 on Ubg. This is hydrostatic balance of the full stratified reference state: −ρ0−1∇xp0−ge3+B0e3=0, so substituting p=p0+ρ0π leaves exactly −∇π+be3 in perturbation momentum. The full resting p0 includes both the constant-density hydrostatic pressure, with gradient −ρ0ge3, and the stratification pressure, with gradient ρ0B0e3. These background profiles are used on the local region Ubg; no globally small density anomaly at all real heights or periodic background is asserted. The identity B0′=N2 specifies uniform stratification, and advection of the perturbations is omitted. For prescribed constants f∈R and ν,κ≥0 in m2 s−1, the model equations are

ut+fe3×u+∇π=be3+νΔu,∇⋅u=0,bt+N2u3=κΔb.

Here e3×u=(−u2,u1,0), ∇q=(∂x1q,∂x2q,∂x3q), ∇⋅w=∑j=13∂xjwj, and Δq=∑j=13∂xj2q, with Δ acting componentwise on u. 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.

  1. One-layer shallow-water branch. On the separate flat periodic domain T2=R2/(2πZ)2, let h:I×T2→(0,∞) be total layer depth in metres and v:I×T2→R2 be horizontal velocity in m s−1, with continuous first time and spatial derivatives and continuous second spatial derivatives. Use constant g>0 in m s−2 and constant f∈R in s−1, and define J(v1,v2)=(−v2,v1). Adopt a single layer with constant reference density, a flat bottom at vertical coordinate z=0, no bottom stress, no wetting or drying, and no interlayer coupling. Let z be height positive upward in metres, p(t,x1,x2,z) pressure in Pa, and H,L>0 representative vertical and horizontal length scales in metres. Assume the shallow-layer regime H/L≪1; neglect vertical acceleration so pressure is hydrostatic, ∂zp=−ρ0g, with negligible pressure above the free surface z=h(t,x1,x2), and take horizontal velocity independent of depth in the reduced model. The adopted hydrostatic profile is p(t,x1,x2,z)=ρ0g(h(t,x1,x2)−z) for 0≤z≤h(t,x1,x2). The resulting one-layer equations are

ht+∇⋅(hv)=0,(hv)t+∇⋅(hv⊗v)+∇ ⁣(gh22)+fhJv=0.

Here ∇q=(∂x1q,∂x2q), ∇⋅w=∂x1w1+∂x2w2 for w=(w1,w2), and tensor divergence is rowwise: [∇⋅(hv⊗v)]i=∑j=12∂xj(hvivj) for i=1,2.

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.

Depends on

Dependency tree · 2 levels

Sources