Curl (mathematics)

In vector calculus, the curl is a vector operator that describes the infinitesimal circulation of a vector field in three-dimensional Euclidean space. The curl at a point in the field is represented by a vector whose length and direction denote the magnitude and axis of the maximum circulation.[1] The curl of a field is formally defined as the circulation density at each point of the field.

Depiction of a two-dimensional vector field with a uniform curl.

A vector field whose curl is zero is called irrotational. The curl is a form of differentiation for vector fields. The corresponding form of the fundamental theorem of calculus is Stokes' theorem, which relates the surface integral of the curl of a vector field to the line integral of the vector field around the boundary curve.

$Curl F$ is a notation common today to the United States and Americas. In many European countries, particularly in classic scientific literature, the alternative notation $rot F$ is traditionally used, which is spelled as "rotor", and comes from the "rate of rotation", which it represents. For avoiding confusion modern authors tend to use the cross product notation with the del (nabla) operator $\nabla \times F$ ,[2] which also reveals the relation between curl(rotor), divergence, and gradient operators.

Unlike the gradient and divergence, curl as formulated in vector calculus does not generalize simply to other dimensions; some generalizations are possible, but only in three dimensions is the geometrically defined curl of a vector field again a vector field. This deficiency is a direct consequence of the limitations of vector calculus; on the other hand, when expressed as an antisymmetric tensor field via the wedge operator of geometric calculus, the curl generalizes to all dimensions. The unfortunate circumstance is similar to that attending the 3-dimensional cross product, and indeed the connection is reflected in the notation $\nabla\times$ for the curl.

The name "curl" was first suggested by James Clerk Maxwell in 1871[3] but the concept was apparently first used in the construction of an optical field theory by James MacCullagh in 1839.[4][5]

Definition

The components of

F

at position

r

, normal and tangent to a closed curve

C

in a plane, enclosing a planar vector area

\mathbf {A} =A\mathbf {\hat {n}}

.

Right-hand rule

Convention for vector orientation of the line integral

The thumb points in the direction of

\mathbf {\hat {n}}

and the fingers curl along the orientation of

C

The curl of a vector field $F$ , denoted by $curl F$ , or $\nabla \times F$ , or $rot F$ , is an operator that maps continuously differentiable functions $f : R 3 \to R 3$ to continuous functions $g : R 3 \to R 3$ , and in particular, it maps $C k$ functions in $R 3$ to $C k -1$ functions in $R 3$ . It can be defined in several ways, to be mentioned below:

One way to define the curl of a vector field at a point is implicitly through its projections onto various axes passing through the point: if $\mathbf {\hat {u}}$ is any unit vector, the projection of the curl of $F$ onto $\mathbf {\hat {u}}$ may be defined to be the limiting value of a closed line integral in a plane orthogonal to $\mathbf {\hat {u}}$ divided by the area enclosed, as the path of integration is contracted indefinitely around the point.

More specifically, the curl is defined at a point $p$ as[6][7]

(\nabla \times \mathbf {F} )(p)\cdot \mathbf {\hat {u}} \ {\overset {\underset {\mathrm {def} }{}}{{}={}}}\lim _{A\to 0}{\frac {1}{|A|}}\oint _{C}\mathbf {F} \cdot \mathrm {d} \mathbf {r}

where the line integral is calculated along the boundary $C$ of the area $A$ in question, $| A |$ being the magnitude of the area. This equation defines the projection of the curl of $F$ onto $\mathbf {\hat {u}}$ . The infinitesimal surfaces bounded by $C$ have $\mathbf {\hat {u}}$ as their normal. $C$ is oriented via the right-hand rule.

The above formula means that the projection of the curl of a vector field along a certain axis is the infinitesimal area density of the circulation of the field projected onto a plane perpendicular to that axis. This formula does not a priori define a legitimate vector field, for the individual circulation densities with respect to various axes a priori need not relate to each other in the same way as the components of a vector do; that they do indeed relate to each other in this precise manner must be proven separately.

To this definition fits naturally the Kelvin–Stokes theorem, as a global formula corresponding to the definition. It equates the surface integral of the curl of a vector field to the above line integral taken around the boundary of the surface.

Another way one can define the curl vector of a function $F$ at a point is explicitly as the limiting value of a vector-valued surface integral around a shell enclosing $p$ divided by the volume enclosed, as the shell is contracted indefinitely around $p$ .

More specifically, the curl may be defined by the vector formula

(\nabla \times \mathbf {F} )(p){\overset {\underset {\mathrm {def} }{}}{{}={}}}\lim _{V\to 0}{\frac {1}{|V|}}\oint _{S}\mathbf {\hat {n}} \times \mathbf {F} \ \mathrm {d} S

where the surface integral is calculated along the boundary $S$ of the volume $V$ , $| V |$ being the magnitude of the volume, and $\mathbf {\hat {n}}$ pointing outward from the surface $S$ perpendicularly at every point in $S$ .

In this formula, the cross product in the integrand measures the tangential component of $F$ at each point on the surface $S$ , together with the orientation of these tangential components with respect to the surface $S$ . Thus, the surface integral measures the overall extent to which $F$ circulates around $S$ , together with the net orientation of this circulation in space. The curl of a vector field at a point is then the infinitesimal volume density of the net vector circulation (i.e., both magnitude and spatial orientation) of the field around the point.

To this definition fits naturally another global formula (similar to the Kelvin-Stokes theorem) which equates the volume integral of the curl of a vector field to the above surface integral taken over the boundary of the volume.

Whereas the above two definitions of the curl are coordinate free, there is another "easy to memorize" definition of the curl in curvilinear orthogonal coordinates, e.g. in Cartesian coordinates, spherical, cylindrical, or even elliptical or parabolic coordinates:

{\begin{aligned}&(\operatorname {curl} \mathbf {F} )_{1}={\frac {1}{h_{2}h_{3}}}\left({\frac {\partial (h_{3}F_{3})}{\partial u_{2}}}-{\frac {\partial (h_{2}F_{2})}{\partial u_{3}}}\right),\\[5pt]&(\operatorname {curl} \mathbf {F} )_{2}={\frac {1}{h_{3}h_{1}}}\left({\frac {\partial (h_{1}F_{1})}{\partial u_{3}}}-{\frac {\partial (h_{3}F_{3})}{\partial u_{1}}}\right),\\[5pt]&(\operatorname {curl} \mathbf {F} )_{3}={\frac {1}{h_{1}h_{2}}}\left({\frac {\partial (h_{2}F_{2})}{\partial u_{1}}}-{\frac {\partial (h_{1}F_{1})}{\partial u_{2}}}\right).\end{aligned}}

The equation for each component $(curl F) k$ can be obtained by exchanging each occurrence of a subscript 1, 2, 3 in cyclic permutation: 1 → 2, 2 → 3, and 3 → 1 (where the subscripts represent the relevant indices).

If $(x 1, x 2, x 3)$ are the Cartesian coordinates and $(u 1, u 2, u 3)$ are the orthogonal coordinates, then

h_{i}={\sqrt {\left({\frac {\partial x_{1}}{\partial u_{i}}}\right)^{2}+\left({\frac {\partial x_{2}}{\partial u_{i}}}\right)^{2}+\left({\frac {\partial x_{3}}{\partial u_{i}}}\right)^{2}}}

is the length of the coordinate vector corresponding to $u i$ . The remaining two components of curl result from cyclic permutation of indices: 3,1,2 → 1,2,3 → 2,3,1.

Intuitive interpretation

Suppose the vector field describes the velocity field of a fluid flow (such as a large tank of liquid or gas) and a small ball is located within the fluid or gas (the centre of the ball being fixed at a certain point). If the ball has a rough surface, the fluid flowing past it will make it rotate. The rotation axis (oriented according to the right hand rule) points in the direction of the curl of the field at the centre of the ball, and the angular speed of the rotation is half the magnitude of the curl at this point.[8]

The curl of the vector at any point is given by the rotation of an infinitesimal area in the xy-plane (for z-axis component of the curl), zx-plane (for y-axis component of the curl) and yz-plane (for x-axis component of the curl vector). This can be clearly seen in the examples below.

Usage

In practice, the two coordinate-free definitions described above are rarely used because in virtually all cases, the curl operator can be applied using some set of curvilinear coordinates, for which simpler representations have been derived.

The notation $\nabla \times F$ has its origins in the similarities to the 3-dimensional cross product, and it is useful as a mnemonic in Cartesian coordinates if $\nabla$ is taken as a vector differential operator del. Such notation involving operators is common in physics and algebra.

Expanded in 3-dimensional Cartesian coordinates (see Del in cylindrical and spherical coordinates for spherical and cylindrical coordinate representations), $\nabla \times F$ is, for $F$ composed of $[F x, F y, F z]$ (where the subscripts indicate the components of the vector, not partial derivatives):

\nabla \times \mathbf {F} ={\begin{vmatrix}{\boldsymbol {\hat {\imath }}}&{\boldsymbol {\hat {\jmath }}}&{\boldsymbol {\hat {k}}}\\[5pt]{\dfrac {\partial }{\partial x}}&{\dfrac {\partial }{\partial y}}&{\dfrac {\partial }{\partial z}}\\[10pt]F_{x}&F_{y}&F_{z}\end{vmatrix}}

where $i$ , $j$ , and $k$ are the unit vectors for the $x$ -, $y$ -, and $z$ -axes, respectively. This expands as follows:[9]^: 43

\nabla \times \mathbf {F} =\left({\frac {\partial F_{z}}{\partial y}}-{\frac {\partial F_{y}}{\partial z}}\right){\boldsymbol {\hat {\imath }}}+\left({\frac {\partial F_{x}}{\partial z}}-{\frac {\partial F_{z}}{\partial x}}\right){\boldsymbol {\hat {\jmath }}}+\left({\frac {\partial F_{y}}{\partial x}}-{\frac {\partial F_{x}}{\partial y}}\right){\boldsymbol {\hat {k}}}={\begin{bmatrix}{\frac {\partial F_{z}}{\partial y}}-{\frac {\partial F_{y}}{\partial z}}\\{\frac {\partial F_{x}}{\partial z}}-{\frac {\partial F_{z}}{\partial x}}\\{\frac {\partial F_{y}}{\partial x}}-{\frac {\partial F_{x}}{\partial y}}\end{bmatrix}}

Although expressed in terms of coordinates, the result is invariant under proper rotations of the coordinate axes but the result inverts under reflection.

In a general coordinate system, the curl is given by[1]

(\nabla \times \mathbf {F} )^{k}={\frac {1}{\sqrt {g}}}\varepsilon ^{k\ell m}\nabla _{\ell }F_{m}

where $ε$ denotes the Levi-Civita tensor, $\nabla$ the covariant derivative, ${\sqrt {g}}$ is the Jacobian and the Einstein summation convention implies that repeated indices are summed over. Due to the symmetry of the Christoffel symbols participating in the covariant derivative, this expression reduces to the partial derivative:

(\nabla \times \mathbf {F} )={\frac {1}{\sqrt {g}}}\mathbf {R} _{k}\varepsilon ^{k\ell m}\partial _{\ell }F_{m}

where $R k$ are the local basis vectors. Equivalently, using the exterior derivative, the curl can be expressed as:

\nabla \times \mathbf {F} =\left(\star {\big (}{\mathrm {d} }\mathbf {F} ^{\flat }{\big )}\right)^{\sharp }

Here ♭ and ♯ are the musical isomorphisms, and $★$ is the Hodge star operator. This formula shows how to calculate the curl of $F$ in any coordinate system, and how to extend the curl to any oriented three-dimensional Riemannian manifold. Since this depends on a choice of orientation, curl is a chiral operation. In other words, if the orientation is reversed, then the direction of the curl is also reversed.

Examples

Vector field F(x,y)=[y,-x] (left) and its curl (right).

Example 1

The vector field

\mathbf {F} (x,y,z)=y{\boldsymbol {\hat {\imath }}}-x{\boldsymbol {\hat {\jmath }}}

can be decomposed as

F_{x}=y,F_{y}=-x,F_{z}=0.

Upon visual inspection, the field can be described as "rotating". If the vectors of the field were to represent a linear force acting on objects present at that point, and an object were to be placed inside the field, the object would start to rotate clockwise around itself. This is true regardless of where the object is placed.

Calculating the curl:

\nabla \times \mathbf {F} =0{\boldsymbol {\hat {\imath }}}+0{\boldsymbol {\hat {\jmath }}}+\left({\frac {\partial }{\partial x}}(-x)-{\frac {\partial }{\partial y}}y\right){\boldsymbol {\hat {k}}}=-2{\boldsymbol {\hat {k}}}

The resulting vector field describing the curl would at all points be pointing in the negative $z$ direction. The results of this equation align with what could have been predicted using the right-hand rule using a right-handed coordinate system. Being a uniform vector field, the object described before would have the same rotational intensity regardless of where it was placed.

Vector field F(x,y)=[0,−x²] (left) and its curl (right).

Example 2

For the vector field

\mathbf {F} (x,y,z)=-x^{2}{\boldsymbol {\hat {\jmath }}}

the curl is not as obvious from the graph. However, taking the object in the previous example, and placing it anywhere on the line $x = 3$ , the force exerted on the right side would be slightly greater than the force exerted on the left, causing it to rotate clockwise. Using the right-hand rule, it can be predicted that the resulting curl would be straight in the negative $z$ direction. Inversely, if placed on $x = -3$ , the object would rotate counterclockwise and the right-hand rule would result in a positive $z$ direction.

Calculating the curl:

{\nabla }\times \mathbf {F} =0{\boldsymbol {\hat {\imath }}}+0{\boldsymbol {\hat {\jmath }}}+{\frac {\partial }{\partial x}}\left(-x^{2}\right){\boldsymbol {\hat {k}}}=-2x{\boldsymbol {\hat {k}}}.

The curl points in the negative $z$ direction when $x$ is positive and vice versa. In this field, the intensity of rotation would be greater as the object moves away from the plane $x = 0$ .

Descriptive examples

In a vector field describing the linear velocities of each part of a rotating disk, the curl has the same value at all points, and this value turns out to be exactly two times the vectorial angular velocity of the disk (oriented as usual by the right-hand rule). More generally, for any flowing mass, the linear velocity vector field at each point of the mass flow has a curl (the vorticity of the flow at that point) equal to exactly two times the local vectorial angular velocity of the mass about the point.
For any solid object subject to an external physical force (such as gravity or the electromagnetic force), one may consider the vector field representing the infinitesimal force-per-unit-volume contributions acting at each of the points of the object. This force field may create a net torque on the object about its center of mass, and this torque turns out to be directly proportional and vectorially parallel to the (vector-valued) integral of the curl of the force field over the whole volume.
Of the four Maxwell's equations, two—Faraday's law and Ampère's law—can be compactly expressed using curl. Faraday's law states that the curl of an electric field is equal to the opposite of the time rate of change of the magnetic field, while Ampère's law relates the curl of the magnetic field to the current and the time rate of change of the electric field.

Identities

In general curvilinear coordinates (not only in Cartesian coordinates), the curl of a cross product of vector fields $v$ and $F$ can be shown to be

\nabla \times \left(\mathbf {v\times F} \right)={\Big (}\left(\mathbf {\nabla \cdot F} \right)+\mathbf {F\cdot \nabla } {\Big )}\mathbf {v} -{\Big (}\left(\mathbf {\nabla \cdot v} \right)+\mathbf {v\cdot \nabla } {\Big )}\mathbf {F} \ .

Interchanging the vector field $v$ and $\nabla$ operator, we arrive at the cross product of a vector field with curl of a vector field:

\mathbf {v\ \times } \left(\mathbf {\nabla \times F} \right)=\nabla _{\mathbf {F} }\left(\mathbf {v\cdot F} \right)-\left(\mathbf {v\cdot \nabla } \right)\mathbf {F} \ ,

where $\nabla F$ is the Feynman subscript notation, which considers only the variation due to the vector field $F$ (i.e., in this case, $v$ is treated as being constant in space).

Another example is the curl of a curl of a vector field. It can be shown that in general coordinates

\nabla \times \left(\mathbf {\nabla \times F} \right)=\mathbf {\nabla } (\mathbf {\nabla \cdot F} )-\nabla ^{2}\mathbf {F} \ ,

and this identity defines the vector Laplacian of $F$ , symbolized as $\nabla 2 F$ .

The curl of the gradient of any scalar field $φ$ is always the zero vector field

\nabla \times (\nabla \varphi )={\boldsymbol {0}}

which follows from the antisymmetry in the definition of the curl, and the symmetry of second derivatives.

If $φ$ is a scalar valued function and $F$ is a vector field, then

\nabla \times (\varphi \mathbf {F} )=\nabla \varphi \times \mathbf {F} +\varphi \nabla \times \mathbf {F}

Generalizations

The vector calculus operations of grad, curl, and div are most easily generalized in the context of differential forms, which involves a number of steps. In short, they correspond to the derivatives of 0-forms, 1-forms, and 2-forms, respectively. The geometric interpretation of curl as rotation corresponds to identifying bivectors (2-vectors) in 3 dimensions with the special orthogonal Lie algebra ${\mathfrak {so}}$ of infinitesimal rotations (in coordinates, skew-symmetric 3 × 3 matrices), while representing rotations by vectors corresponds to identifying 1-vectors (equivalently, 2-vectors) and ${\mathfrak {so}}$ , these all being 3-dimensional spaces.

Differential forms

In 3 dimensions, a differential 0-form is simply a function $f (x, y, z)$ ; a differential 1-form is the following expression, where the coefficients are functions:

a_{1}\,dx+a_{2}\,dy+a_{3}\,dz;

a differential 2-form is the formal sum, again with function coefficients:

a_{12}\,dx\wedge dy+a_{13}\,dx\wedge dz+a_{23}\,dy\wedge dz;

and a differential 3-form is defined by a single term with one function as coefficient:

a_{123}\,dx\wedge dy\wedge dz.

(Here the $a$ -coefficients are real functions of three variables; the "wedge products", e.g. $dx \land dy$ , can be interpreted as some kind of oriented area elements, $dx \land dy = - dy \land dx$ , etc.)

The exterior derivative of a $k$ -form in $R 3$ is defined as the $(k + 1)$ -form from above—and in $R n$ if, e.g.,

\omega ^{(k)}=\sum _{\scriptstyle {i_{1}<i_{2}<\cdots <i_{k}} \atop \forall \scriptstyle {i_{\nu }\in 1,\ldots ,n}}a_{i_{1},\ldots ,i_{k}}\,dx_{i_{1}}\wedge \cdots \wedge dx_{i_{k}},

then the exterior derivative $d$ leads to

d\omega ^{(k)}=\sum _{\scriptstyle {j=1} \atop \scriptstyle {i_{1}<\cdots <i_{k}}}^{n}{\frac {\partial a_{i_{1},\ldots ,i_{k}}}{\partial x_{j}}}\,dx_{j}\wedge dx_{i_{1}}\wedge \cdots \wedge dx_{i_{k}}.

The exterior derivative of a 1-form is therefore a 2-form, and that of a 2-form is a 3-form. On the other hand, because of the interchangeability of mixed derivatives, e.g. because of

{\frac {\partial ^{2}}{\partial x\,\partial y}}={\frac {\partial ^{2}}{\partial y\,\partial x}},

the twofold application of the exterior derivative leads to 0.

Thus, denoting the space of $k$ -forms by $Ω k (R 3)$ and the exterior derivative by $d$ one gets a sequence:

0\,{\overset {d}{\longrightarrow }}\;\Omega ^{0}\left(\mathbb {R} ^{3}\right)\,{\overset {d}{\longrightarrow }}\;\Omega ^{1}\left(\mathbb {R} ^{3}\right)\,{\overset {d}{\longrightarrow }}\;\Omega ^{2}\left(\mathbb {R} ^{3}\right)\,{\overset {d}{\longrightarrow }}\;\Omega ^{3}\left(\mathbb {R} ^{3}\right)\,{\overset {d}{\longrightarrow }}\,0.

Here $Ω k (R n)$ is the space of sections of the exterior algebra $Λ k (R n)$ vector bundle over Rⁿ, whose dimension is the binomial coefficient $(n k)$ ; note that $Ω k (R 3) = 0$ for $k > 3$ or $k < 0$ . Writing only dimensions, one obtains a row of Pascal's triangle:

0 → 1 → 3 → 3 → 1 → 0;

the 1-dimensional fibers correspond to scalar fields, and the 3-dimensional fibers to vector fields, as described below. Modulo suitable identifications, the three nontrivial occurrences of the exterior derivative correspond to grad, curl, and div.

Differential forms and the differential can be defined on any Euclidean space, or indeed any manifold, without any notion of a Riemannian metric. On a Riemannian manifold, or more generally pseudo-Riemannian manifold, $k$ -forms can be identified with $k$ -vector fields ( $k$ -forms are $k$ -covector fields, and a pseudo-Riemannian metric gives an isomorphism between vectors and covectors), and on an oriented vector space with a nondegenerate form (an isomorphism between vectors and covectors), there is an isomorphism between $k$ -vectors and $(n - k)$ -vectors; in particular on (the tangent space of) an oriented pseudo-Riemannian manifold. Thus on an oriented pseudo-Riemannian manifold, one can interchange $k$ -forms, $k$ -vector fields, $(n - k)$ -forms, and $(n - k)$ -vector fields; this is known as Hodge duality. Concretely, on $R 3$ this is given by:

1-forms and 1-vector fields: the 1-form $a x dx + a y dy + a z dz$ corresponds to the vector field $(a x, a y, a z)$ .
1-forms and 2-forms: one replaces $dx$ by the dual quantity $dy \land dz$ (i.e., omit $dx$ ), and likewise, taking care of orientation: $dy$ corresponds to $dz \land dx = - dx \land dz$ , and $dz$ corresponds to $dx \land dy$ . Thus the form $a x dx + a y dy + a z dz$ corresponds to the "dual form" $a z dx \land dy + a y dz \land dx + a x dy \land dz$ .

Thus, identifying 0-forms and 3-forms with scalar fields, and 1-forms and 2-forms with vector fields:

grad takes a scalar field (0-form) to a vector field (1-form);
curl takes a vector field (1-form) to a pseudovector field (2-form);
div takes a pseudovector field (2-form) to a pseudoscalar field (3-form)

On the other hand, the fact that $d 2 = 0$ corresponds to the identities

\nabla \times (\nabla f)=0

for any scalar field $f$ , and

\nabla \cdot (\nabla \times \mathbf {v} )=0

for any vector field $v$ .

Grad and div generalize to all oriented pseudo-Riemannian manifolds, with the same geometric interpretation, because the spaces of 0-forms and $n$ -forms at each point are always 1-dimensional and can be identified with scalar fields, while the spaces of 1-forms and $(n - 1)$ -forms are always fiberwise $n$ -dimensional and can be identified with vector fields.

Curl does not generalize in this way to 4 or more dimensions (or down to 2 or fewer dimensions); in 4 dimensions the dimensions are

0 → 1 → 4 → 6 → 4 → 1 → 0;

so the curl of a 1-vector field (fiberwise 4-dimensional) is a 2-vector field, which at each point belongs to 6-dimensional vector space, and so one has

\omega ^{(2)}=\sum _{i<k=1,2,3,4}a_{i,k}\,dx_{i}\wedge dx_{k},

which yields a sum of six independent terms, and cannot be identified with a 1-vector field. Nor can one meaningfully go from a 1-vector field to a 2-vector field to a 3-vector field (4 → 6 → 4), as taking the differential twice yields zero ( $d 2 = 0$ ). Thus there is no curl function from vector fields to vector fields in other dimensions arising in this way.

However, one can define a curl of a vector field as a 2-vector field in general, as described below.

Curl geometrically

2-vectors correspond to the exterior power $Λ 2 V$ ; in the presence of an inner product, in coordinates these are the skew-symmetric matrices, which are geometrically considered as the special orthogonal Lie algebra ${\mathfrak {so}}$ of infinitesimal rotations. This has $(n2) = .mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num,.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0 0.1em}.mw-parser-output .sfrac .den{border-top:1px solid}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}1/2n(n − 1)$ dimensions, and allows one to interpret the differential of a 1-vector field as its infinitesimal rotations. Only in 3 dimensions (or trivially in 0 dimensions) does $n = 1 / 2 n (n - 1)$ , which is the most elegant and common case. In 2 dimensions the curl of a vector field is not a vector field but a function, as 2-dimensional rotations are given by an angle (a scalar – an orientation is required to choose whether one counts clockwise or counterclockwise rotations as positive); this is not the div, but is rather perpendicular to it. In 3 dimensions the curl of a vector field is a vector field as is familiar (in 1 and 0 dimensions the curl of a vector field is 0, because there are no non-trivial 2-vectors), while in 4 dimensions the curl of a vector field is, geometrically, at each point an element of the 6-dimensional Lie algebra ${\mathfrak {so}}(4)$ .

The curl of a 3-dimensional vector field which only depends on 2 coordinates (say $x$ and $y$ ) is simply a vertical vector field (in the $z$ direction) whose magnitude is the curl of the 2-dimensional vector field, as in the examples on this page.

Considering curl as a 2-vector field (an antisymmetric 2-tensor) has been used to generalize vector calculus and associated physics to higher dimensions.[10]

Inverse

In the case where the divergence of a vector field $V$ is zero, a vector field $W$ exists such that $V = curl(W)$ . This is why the magnetic field, characterized by zero divergence, can be expressed as the curl of a magnetic vector potential.

If $W$ is a vector field with $curl(W) = V$ , then adding any gradient vector field $grad(f)$ to $W$ will result in another vector field $W + grad(f)$ such that $curl(W + grad(f)) = V$ as well. This can be summarized by saying that the inverse curl of a three-dimensional vector field can be obtained up to an unknown irrotational field with the Biot–Savart law.

References

Weisstein, Eric W. "Curl". MathWorld.
ISO/IEC 80000-2 standard Norm ISO/IEC 80000-2, item 2-17.16
Proceedings of the London Mathematical Society, March 9th, 1871
Collected works of James MacCullagh
Earliest Known Uses of Some of the Words of Mathematics tripod.com
Mathematical methods for physics and engineering, K.F. Riley, M.P. Hobson, S.J. Bence, Cambridge University Press, 2010, ISBN 978-0-521-86153-3
Vector Analysis (2nd Edition), M.R. Spiegel, S. Lipschutz, D. Spellman, Schaum's Outlines, McGraw Hill (USA), 2009, ISBN 978-0-07-161545-7
Gibbs, Josiah Willard; Wilson, Edwin Bidwell (1901), Vector analysis, Yale bicentennial publications, C. Scribner's Sons, hdl:2027/mdp.39015000962285
Arfken, George Brown (2005). Mathematical methods for physicists. Weber, Hans-Jurgen (6th ed.). Boston: Elsevier. ISBN 978-0-08-047069-6. OCLC 127114279.
McDavid, A. W.; McMullen, C. D. (2006-10-30). "Generalizing Cross Products and Maxwell's Equations to Universal Extra Dimensions". arXiv:hep-ph/0609260.

External links

"Curl", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
"Multivariable calculus". mathinsight.org. Retrieved February 12, 2022.
"Divergence and Curl: The Language of Maxwell's Equations, Fluid Flow, and More". June 21, 2018. Archived from the original on 2021-11-24 – via YouTube.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[Mathworld-1] Weisstein, Eric W. "Curl". MathWorld.

[2] ISO/IEC 80000-2 standard Norm ISO/IEC 80000-2, item 2-17.16

[3] Proceedings of the London Mathematical Society, March 9th, 1871

[4] Collected works of James MacCullagh

[5] Earliest Known Uses of Some of the Words of Mathematics tripod.com

[6] Mathematical methods for physics and engineering, K.F. Riley, M.P. Hobson, S.J. Bence, Cambridge University Press, 2010, ISBN 978-0-521-86153-3

[7] Vector Analysis (2nd Edition), M.R. Spiegel, S. Lipschutz, D. Spellman, Schaum's Outlines, McGraw Hill (USA), 2009, ISBN 978-0-07-161545-7

[8] Gibbs, Josiah Willard; Wilson, Edwin Bidwell (1901), Vector analysis, Yale bicentennial publications, C. Scribner's Sons, hdl:2027/mdp.39015000962285

[9] Arfken, George Brown (2005). Mathematical methods for physicists. Weber, Hans-Jurgen (6th ed.). Boston: Elsevier. ISBN 978-0-08-047069-6. OCLC 127114279.

[10] McDavid, A. W.; McMullen, C. D. (2006-10-30). "Generalizing Cross Products and Maxwell's Equations to Universal Extra Dimensions". arXiv:hep-ph/0609260.

Calculus
Precalculus	Binomial theorem Concave function Continuous function Factorial Finite difference Free variables and bound variables Graph of a function Linear function Radian Rolle's theorem Secant Slope Tangent
Limits	Indeterminate form Limit of a function One-sided limit Limit of a sequence Order of approximation (ε, δ)-definition of limit
Differential calculus	Derivative Second derivative Partial derivative Differential Differential operator Mean value theorem Notation Leibniz's notation Newton's notation Rules of differentiation linearity Power Sum Chain L'Hôpital's Product General Leibniz's rule Quotient Other techniques Implicit differentiation Inverse functions and differentiation Logarithmic derivative Related rates Stationary points First derivative test Second derivative test Extreme value theorem Maxima and minima Further applications Newton's method Taylor's theorem Differential equation Ordinary differential equation Partial differential equation Stochastic differential equation
Integral calculus	Antiderivative Arc length Riemann integral Basic properties Constant of integration Fundamental theorem of calculus Differentiating under the integral sign Integration by parts Integration by substitution trigonometric Euler Tangent half-angle substitution Partial fractions in integration Quadratic integral Trapezoidal rule Volumes Washer method Shell method Integral equation Integro-differential equation
Vector calculus	Derivatives Curl Directional derivative Divergence Gradient Laplacian Basic theorems Line integrals Green's Stokes' Gauss'
Multivariable calculus	Divergence theorem Geometric Hessian matrix Jacobian matrix and determinant Lagrange multiplier Line integral Matrix Multiple integral Partial derivative Surface integral Volume integral Advanced topics Differential forms Exterior derivative Generalized Stokes' theorem Tensor calculus
Sequences and series	Arithmetico-geometric sequence Types of series Alternating Binomial Fourier Geometric Harmonic Infinite Power Maclaurin Taylor Telescoping Tests of convergence Abel's Alternating series Cauchy condensation Direct comparison Dirichlet's Integral Limit comparison Ratio Root Term
Special functions and numbers	Bernoulli numbers e (mathematical constant) Exponential function Natural logarithm Stirling's approximation
History of calculus	Adequality Brook Taylor Colin Maclaurin Generality of algebra Gottfried Wilhelm Leibniz Infinitesimal Infinitesimal calculus Isaac Newton Fluxion Law of Continuity Leonhard Euler Method of Fluxions The Method of Mechanical Theorems
Lists	Differentiation rules List of integrals of exponential functions List of integrals of hyperbolic functions List of integrals of inverse hyperbolic functions List of integrals of inverse trigonometric functions List of integrals of irrational functions List of integrals of logarithmic functions List of integrals of rational functions List of integrals of trigonometric functions Secant Secant cubed List of limits Lists of integrals
Miscellaneous topics	Complex calculus Contour integral Differential geometry Manifold Curvature of curves of surfaces Tensor Euler–Maclaurin formula Gabriel's horn Integration Bee Proof that 22/7 exceeds π Regiomontanus' angle maximization problem Steinmetz solid