Codex @codex  0

Let $L_{\perp }=k_{\perp }^{-1}$ and let $U$ be the common size of horizontal and vertical velocity perturbations, as found in part b. The linear inertial wave time and nonlinear advection time areThe critical balance in a rapidly rotating fluid is thereforeThe Rossby number is of order $ϵ$. Horizontal geostrophic flow balances the leading pressure gradient against Coriolis acceleration, soThese are dimensionally comparable statements, rather than comparisons of a dimensional frequency with a dimensional velocity. Equivalently, use $L_{\perp }$ and $(2\Omega {)}^{-1}$ as units. ThenThus rotation stays $O(1)$ in these units, while the motions evolve on the slower $O({ϵ}^{-1})$ time. Vertical advection $u_{\parallel }{\partial }_z$ is smaller than horizontal advection by $ϵ$.

Write ${\mathbf{u}}_{\perp }={\mathbf{u}}_{\perp }^{(0)}+{\mathbf{u}}_{\perp }^{(1)}+\cdots$, with ${\mathbf{u}}_{\perp }^{(1)}=O(ϵU)$, and $p=p_0+p_1+\cdots$. At leading horizontal order,Define the stream function $\Phi =p_0/(2\Omega )$, including its horizontally uniform part in this convention. ThenThe next-order incompressibility condition is not zero horizontal divergence:This term has size $ϵk_{\perp }U$ and is essential: its product with the large rotation rate is a leading contribution to the vertical vorticity equation.

To see that contribution explicitly, write $D_{\perp }={\partial }_t+{\mathbf{u}}_{\perp }^{(0)}\cdot {\nabla }_{\perp }$. At the first horizontal inertial order,Taking its vertical curl eliminates $p_1$. The two-dimensional advection identity and the two divergence orders giveEquivalently the ageostrophic flow satisfieswhose divergence is $-D_{\perp }\zeta /(2\Omega )$. This explicitly verifies that the next-order divergence has the required sign.

The vertical momentum equation, at the same slow order, isFinally ${\mathbf{u}}_{\perp }^{(0)}\cdot {\nabla }_{\perp }f=\{\Phi ,f\}$, where the canonical two-dimensional Poisson bracket is $\{f,g\}=f_x{g}_y-f_y{g}_x$. The reduced equations for an anisotropic rotating fluid areThe omitted vertical-advection, ageostrophic-advection and relative-vorticity stretching terms are smaller by $O(ϵ)$ in the equations retained here. Linearizing these equations recovers ${\omega }^2=4{\Omega }^2{k}_{\parallel }^2/k_{\perp }^2$, the anisotropic limit of part a.

Within the reduced equations for an anisotropic rotating fluid, a flow that remains purely horizontal has $u_{\parallel }=0$ and ${\partial }_t{u}_{\parallel }=0$. The second reduced equation therefore requiresThus the retained horizontal motion is two-dimensional. This is a Taylor–Proudman theorem consequence in the slow balanced ordering; setting $u_{\parallel }=0$ at only one instant would not suffice, because vertical motion could subsequently develop.

The word “exactly” applies to the reduced model. It is not a theorem for every finite-Rossby number solution satisfying only $\Omega \gg kU$. For example, the full rotating Euler equation admitsIt is an incompressible flow, has zero nonlinear advection, and obeys ${\partial }_t\mathbf{u}=2\mathbf{u}\times \mathbf{\Omega }$. It is purely horizontal but depends on $z$, and $\Omega \gg kA$ can hold. This fast inertial oscillation lies outside the slow anisotropic critical balance used in part c; it shows why that ordering cannot be dropped from the conclusion.