Curl (mathematics)
Part of a series of articles about |
Calculus |
---|
In
The curl of a field is formally defined as the circulation density at each point of the field.A vector field whose curl is zero is called
The notation curl F is more common in North America. In the rest of the world, particularly in 20th century scientific literature, the alternative notation rot F is traditionally used, which comes from the "rate of rotation" that it represents. To avoid confusion, modern authors tend to use the
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 circumstance is similar to that attending the 3-dimensional cross product, and indeed the connection is reflected in the notation 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 curl of a vector field F, denoted by curl F, or , or rot F, is an operator that maps
One way to define the curl of a vector field at a point is implicitly through its components along various axes passing through the point: if is any unit vector, the component of the curl of F along the direction may be defined to be the limiting value of a closed line integral in a plane perpendicular to 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]
The above formula means that the component of the curl of a vector field along a certain axis is the infinitesimal area density of the circulation of the field in 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
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
In this formula, the cross product in the integrand measures the tangential component of F at each point on the surface S, and points along the surface at right angles to the tangential projection of F. Integrating this cross product over the whole surface results in a vector whose magnitude measures the overall circulation of F around S, and whose direction is at right angles to this circulation. The above formula says that the curl of a vector field at a point is the infinitesimal volume density of this "circulation vector" 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
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 (x1, x2, x3) are the Cartesian coordinates and (u1, u2, u3) are the orthogonal coordinates, then
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 ∇ × F has its origins in the similarities to the 3-dimensional cross product, and it is useful as a mnemonic in Cartesian coordinates if ∇ 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),∇ × F is, for F composed of [Fx, Fy, Fz] (where the subscripts indicate the components of the vector, not partial derivatives):
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]
Here ♭ and ♯ are the
Examples
Example 1
Suppose the vector field describes the
Example 2
The vector field
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:
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.
Example 3
For the vector field
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:
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.
Further examples
- In a vector field describing the linear velocities of each part of a rotating disk in uniform circular motion, 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 vorticityof 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
Interchanging the vector field v and ∇ operator, we arrive at the cross product of a vector field with curl of a vector field:
Another example is the curl of a curl of a vector field. It can be shown that in general coordinates
The curl of the
The divergence of the curl of any vector field is equal to zero:
If φ is a scalar valued function and F is a vector field, then
Generalizations
The vector calculus operations of
Differential forms
In 3 dimensions, a differential 0-form is a real-valued function f(x, y, z); a differential 1-form is the following expression, where the coefficients are functions:
The exterior derivative of a k-form in R3 is defined as the (k + 1)-form from above—and in Rn if, e.g.,
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,
the twofold application of the exterior derivative yields (the zero -form).
Thus, denoting the space of k-forms by Ωk(R3) and the exterior derivative by d one gets a sequence:
Here Ωk(Rn) is the space of sections of the exterior algebra Λk(Rn) vector bundle over Rn, whose dimension is the binomial coefficient (n
k); note that Ωk(R3) = 0 for k > 3 or k < 0. Writing only dimensions, one obtains a row of Pascal's triangle:
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
- 1-forms and 1-vector fields: the 1-form ax dx + ay dy + az dz corresponds to the vector field (ax, ay, az).
- 1-forms and 2-forms: one replaces dx by the dual quantity dy ∧ dz (i.e., omit dx), and likewise, taking care of orientation: dy corresponds to dz ∧ dx = −dx ∧ dz, and dz corresponds to dx ∧ dy. Thus the form ax dx + ay dy + az dz corresponds to the "dual form" az dx ∧ dy + ay dz ∧ dx + ax dy ∧ 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 d2 = 0 corresponds to the identities
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
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
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 Λ2V; in the presence of an inner product, in coordinates these are the skew-symmetric matrices, which are geometrically considered as the
2) = 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) we have n = 1/2n(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 .
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).[citation needed] 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
See also
References
- ^ a b 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. Dublin: Hodges. 1880.
- tripod.com
- ISBN 978-0-521-86153-3
- ISBN 978-0-07-161545-7
- OCLC 127114279.
- arXiv:hep-ph/0609260.
Further reading
- Korn, Granino Arthur and ISBN 0-486-41147-8.
- Schey, H. M. (1997). Div, Grad, Curl, and All That: An Informal Text on Vector Calculus. New York: Norton. ISBN 0-393-96997-5.
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.