# Taylor–Proudman theorem

In fluid mechanics, the Taylor–Proudman theorem[1] (after G. I. Taylor[2] and Joseph Proudman[3]) states that when a solid body is moved slowly within a fluid that is steadily rotated with a high angular velocity $\Omega$, the fluid velocity will be uniform along any line parallel to the axis of rotation. $\Omega$ must be large compared to the movement of the solid body in order to make the coriolis force large compared to the acceleration terms.

That this is so may be seen by considering the Navier–Stokes equations for steady flow, with zero viscosity and a body force corresponding to the Coriolis force, which are:

$\rho({\mathbf u}\cdot\nabla){\mathbf u}={\mathbf F}-\nabla p,$

where ${\mathbf u}$ is the fluid velocity, $\rho$ is the fluid density, and $p$ the pressure. If we now make the assumption that $F=\nabla\Phi$ is scalar potential and the advective term may be neglected (reasonable if the Rossby number is much less than unity) and that the flow is incompressible (density is constant) then the equations become:

$2\rho\mathbf\Omega\times{\mathbf u}=\nabla \Phi -\nabla p,$

where $\Omega$ is the angular velocity vector. If the curl of this equation is taken, the result is the Taylor–Proudman theorem:

$({\mathbf\Omega}\cdot\nabla){\mathbf u}={\mathbf 0}.$

To derive this, one needs the vector identities

$\nabla\times(A\times B)=A(\nabla\cdot B)-(A\cdot\nabla)B+(B\cdot\nabla)A-B(\nabla\cdot A)$

and

$\nabla\times(\nabla p)=0\$

and

$\nabla\times(\nabla \Phi)=0\$

(because the curl of the gradient is always equal to zero). Note that $\nabla\cdot{\mathbf\Omega}=0$ is also needed (angular velocity is divergence-free).

The vector form of the Taylor–Proudman theorem is perhaps better understood by expanding the dot product:

$\Omega_x\frac{\partial {\mathbf u}}{\partial x} + \Omega_y\frac{\partial {\mathbf u}}{\partial y} + \Omega_z\frac{\partial {\mathbf u}}{\partial z}=0.$

Now choose coordinates in which $\Omega_x=\Omega_y=0$ and then the equations reduce to

$\frac{\partial{\mathbf u}}{\partial z}=0,$

if $\Omega_z\neq 0$. Note that the implication is that all three components of the velocity vector are uniform along any line parallel to the z-axis.

## Taylor Column

The Taylor column is an imaginary cylinder projected above and below a real cylinder that has been placed parallel to the rotation axis (anywhere in the flow, not necessarily in the center). The flow will curve around the imaginary cylinders just like the real due to the Taylor–Proudman theorem, which states that the flow in a rotating, homogeneous, inviscid fluid are 2-dimensional in the plane orthogonal to the rotation axis and thus there is no variation in the flow along the $\vec{\Omega}$axis, often taken to be the $\hat{z}$ axis.

The Taylor column is a simplified, experimentally observed effect of what transpires in the Earth's atmospheres and oceans.

## References

1. ^ The Taylor-Proudman theorem was first derived by Sydney Samuel Hough (1870-1923), a mathematician at Cambridge University. See: Hough, S.S. (January 1, 1897). "On the application of harmonic analysis to the dynamical theory of the tides. Part I. On Laplace’s "oscillations of the first species," and on the dynamics of ocean currents". Phil. Trans. R. Soc. Lond. A 189: 201–257. Bibcode:1897RSPTA.189..201H. doi:10.1098/rsta.1897.0009.
2. ^ Taylor, G.I. (March 1, 1917). "Motion of solids in fluids when the flow is not irrotational". Proc. R. Soc. Lond. A 93: 92–113. Bibcode:1917RSPSA..93...99T. doi:10.1098/rspa.1917.0007.
3. ^ Proudman, J. (July 1, 1916). "On the motion of solids in a liquid possessing vorticity". Proc. R. Soc. Lond. A 92: 408–424. Bibcode:1916RSPSA..92..408P. doi:10.1098/rspa.1916.0026.