Curl (source code)

= Curl
{title2=$\nabla\times$}
{wiki}

The curl of $F$ has components
$$
(\nabla\times F)_i=\epsilon_{ijk}\partial_jF_k.
$$

For a continuously differentiable <vector field> in three-dimensional <Euclidean space>, the component of its curl along a <unit normal vector> is the limiting circulation per unit area around a small loop in the perpendicular plane. The loop direction and the normal obey the <right-hand rule>. <Stokes theorem> gives the corresponding relation for a finite surface.

For the rigidly rotating <velocity field> $G=(-\Omega y,\Omega x,0)$, direct differentiation gives $\nabla\times G=(0,0,2\Omega)$. A circle of radius $R$ has tangential speed $\Omega R$ and circumference $2\pi R$, so its circulation is $2\pi\Omega R^2$, twice the <angular velocity> times the enclosed area. The factor of two distinguishes <vorticity> from rigid-body angular velocity.

Curved <integral curves> alone do not demonstrate nonzero curl. The field $H=(x,-y,0)$ has zero curl, yet its trajectories satisfy $x=x_0e^t$, $y=y_0e^{-t}$ and hence $xy=x_0y_0$: away from the axes they are <hyperbolas>. The curl measures local circulation of the field, not the curvature of an individual trajectory.