Curl

The curl (also known as rotation) is a differential operator acting on a vector field. It is defined in the branch of mathematics known as vector analysis. Important applications of the curl are in the Maxwell equations for electromagnetic fields, in the Helmholtz decomposition of arbitrary vector fields, and in the equation of motion of fluids.

Three notations are in common use:
 * $$ \mathrm{curl}\; \mathbf{F} \equiv \mathrm{rot}\; \mathbf{F} \equiv\boldsymbol{\nabla}\times \mathbf{F}, $$

where F is a vector field.

Definition
Given a 3-dimensional vector field F(r), the curl (also known as rotation) of F(r) is the differential vector operator nabla (symbol &nabla;)  applied to F. The application of &nabla; is in the form of a cross product:
 * $$ \boldsymbol{\nabla}\times \mathbf{F}(\mathbf{r})\; \stackrel{\mathrm{def}}{=} \; \mathbf{e}_x \left(\frac{\partial F_y}{\partial z} - \frac{\partial F_z}{\partial y} \right) +\mathbf{e}_y \left(\frac{\partial F_z}{\partial x}  - \frac{\partial F_x}{\partial z}\right) +\mathbf{e}_z \left(\frac{\partial F_x}{\partial y}  - \frac{\partial F_y}{\partial x}\right),  $$

where ex, ey, and ez are unit vectors along the axes of a Cartesian coordinate system.

As any cross product the curl may be written in a few alternative ways.

As a determinant (evaluate along the first row):
 * $$ \boldsymbol{\nabla}\times \mathbf{F}(\mathbf{r}) = \begin{vmatrix} \mathbf{e}_x & \mathbf{e}_y & \mathbf{e}_z \\ \frac{\partial }{\partial x} & \frac{\partial }{\partial y}& \frac{\partial }{\partial z} \\ F_x & F_y & F_z \end{vmatrix} $$

As a vector-matrix-vector product:
 * $$ \boldsymbol{\nabla}\times \mathbf{F}(\mathbf{r}) = \left(\mathbf{e}_x, \; \mathbf{e}_y,\; \mathbf{e}_z\right)\; \begin{pmatrix} 0& \frac{\partial }{\partial z} & -\frac{\partial }{\partial y} \\ -\frac{\partial }{\partial z}& 0& \frac{\partial }{\partial x} \\ \frac{\partial }{\partial y}& -\frac{\partial }{\partial x} &0 \\ \end{pmatrix} \begin{pmatrix} F_x \\ F_y \\ F_z \end{pmatrix} $$

In terms of the antisymmetric Levi-Civita symbol &epsilon;&alpha;&beta;&gamma;:
 * $$ \Big(\boldsymbol{\nabla}\times \mathbf{F}(\mathbf{r}) \Big)_\alpha =\sum_{\beta,\gamma=x,y,z} \epsilon_{\alpha\beta\gamma} \frac{\partial F_\beta}{\partial \gamma}, \qquad\alpha=x,y,z, $$

(the component of the curl along the Cartesian &alpha;-axis).

Irrotational vector field
From the Helmholtz decomposition follows that any curl-free vector field (also known as irrotational field) F(r), i.e., a vector field for which
 * $$ \boldsymbol{\nabla}\times \mathbf{F}(\mathbf{r}) = \mathbf{0} $$

can be written as minus the gradient of a scalar potential &Phi;
 * $$ \mathbf{F}(\mathbf{r}) = - \boldsymbol{\nabla}\Phi(\mathbf{r}). $$

Curl in orthogonal curvilinear coordinates
In a general 3-dimensional orthogonal curvilinear coordinate system u1, u2, and u3, characterized by the scale factors h1, h2, and h3, (also known as Lamé factors, the square roots of the elements of the diagonal g-tensor) the curl takes the form of the following determinant (evaluate along the first row):
 * $$ \boldsymbol{\nabla}\times \mathbf{F}(\mathbf{r}) = \frac{1}{h_1h_2h_3} \begin{vmatrix} h_1\mathbf{e}_1 & h_2\mathbf{e}_2 & h_3\mathbf{e}_3 \\ \frac{\partial }{\partial u_1} & \frac{\partial }{\partial u_2}& \frac{\partial }{\partial u_3} \\ h_1F_1 & h_2F_2 & h_3F_3 \end{vmatrix} $$

For instance, in the case of spherical polar coordinates r, &theta;, and &phi;
 * $$ h_r = 1, \qquad h_\theta = r, \qquad h_\phi = r\sin\theta $$

the curl is
 * $$ \nabla \times \mathbf{F} = \frac{1}{r^2\sin\theta} \begin{vmatrix}  \mathbf{e}_r & r\mathbf{e}_\theta & r\sin\theta\mathbf{e}_\phi \\ \frac{\partial}{\partial r} & \frac{\partial}{\partial \theta} & \frac{\partial}{\partial \phi} \\ F_r &  r F_\theta & r\sin\theta F_\phi \\ \end{vmatrix}, $$

Definition through Stokes' theorem
Stokes' theorem is
 * $$ \iint_S \,(\boldsymbol{\nabla}\times \mathbf{F})\cdot d\mathbf{S} = \oint_C \mathbf{F}\cdot d\mathbf{s}, $$

where dS is a vector of length the infinitesimal surface dS and direction perpendicular to this surface. The integral is over a surface S encircled by a contour (closed non-intersecting path) C. The right-hand side is an integral along C. If we take S so small that the integrand of the integral on the left-hand side may be taken constant, the integral becomes
 * $$ (\boldsymbol{\nabla}\times \mathbf{F})\cdot\hat{\mathbf{n}}\; \Delta S $$

where $$\hat{\mathbf{n}} $$ is a unit vector perpendicular to &Delta;S. The right-hand side is an integral over a small contour, say a small circle, and in total the curl may be written as
 * $$ (\boldsymbol{\nabla}\times \mathbf{F})\cdot\hat{\mathbf{n}} = \lim_{\Delta S \rightarrow 0} \frac{1}{\Delta S}\; \oint_C \mathbf{F}\cdot d\mathbf{s}, $$

The line integral is the circulation of F with respect to C. The expression leads to the following interpretation of the curl: It is a vector with a component oriented perpendicular to the plane of circulation. The perpendicular component has length equal to the circulation per unit surface.

Properties

 * $$ \begin{align} \boldsymbol{\nabla}\times \boldsymbol{\nabla} \Phi &=0 \\ \boldsymbol{\nabla}\cdot(\boldsymbol{\nabla}\times \mathbf{F}) &= 0 \\ \boldsymbol{\nabla}\times(\boldsymbol{\nabla}\times \mathbf{F}) &= \boldsymbol{\nabla} (\boldsymbol{\nabla}\cdot\mathbf{F}) - (\boldsymbol{\nabla}\cdot\boldsymbol{\nabla}) \mathbf{F}\\ \end{align} $$

The operator
 * $$ \boldsymbol{\nabla}\cdot\boldsymbol{\nabla} \equiv \nabla^2 $$

is the Laplace operator. Further properties:
 * $$ \begin{align} \boldsymbol{\nabla}\times (\mathbf{A}\times\mathbf{B}) &=   (\mathbf{B}\cdot \boldsymbol{\nabla}) \mathbf{A}  -(\mathbf{A}\cdot \boldsymbol{\nabla}) \mathbf{B} + \mathbf{A}(\boldsymbol{\nabla}\cdot\mathbf{B})   - \mathbf{B}(\boldsymbol{\nabla}\cdot\mathbf{A})  \\  \mathbf{A}\times (\boldsymbol{\nabla}\times \mathbf{B})  &=  (\boldsymbol{\nabla}\otimes \mathbf{B}) \mathbf{A}-(\mathbf{A}\cdot\boldsymbol{\nabla}) \mathbf{B}, \end{align} $$

where the matrix has the following components:
 * $$ \big(\boldsymbol{\nabla}\otimes \mathbf{B}\big)_{\alpha\beta} \equiv \nabla_\alpha B_\beta \equiv \frac{\partial B_\beta}{\partial r_\alpha}, \quad\hbox{with} \quad \alpha,\beta=1,2,3 \leftrightarrow x,y,z,\quad\hbox{and}\quad  (r_1, \, r_2, \, r_3) \equiv (x,\, y, \,z) . $$

External link
MathWorld curl