**Required math: vectors, calculus**

**Required physics: electrostatics**

Reference: Griffiths, David J. (2007) Introduction to Electrodynamics, 3rd Edition; Prentice Hall – Sec. 1.3.5

One of the main vector derivatives is known as the *curl*. To see the motivation for it, we will consider a vector field which, to make things concrete, can represent the flow of a fluid. We can imagine putting a little paddle wheel into the fluid at various points to measure the circulation of the fluid. If there is a vortex in the fluid, if we put a paddle wheel centred around the vortex, the wheel will turn. In general, any difference in tangential speed of the fluid from one side of the wheel to the other would cause the wheel to turn. For example, in a river, frequently the water flows more rapidly in the middle of the stream than it does at the banks, so if we put a paddle wheel (with a vertical axis, not a horizontal axis such as would be found in a water mill) anywhere in the river between the middle and the bank, the difference in speeds of the water across the wheel would cause it to turn.

As always, in calculus, we’re interested in how these ideas work on an infinitesimal scale. To keep things simple, we’ll consider only one component of the circulation: that in the plane. Suppose we have a small rectangle in this plane with one corner at location and the diagonally opposite corner at . To calculate the circulation around this rectangle, we would need to integrate the component of that is parallel to each edge, with the integral extending around all four sides of the rectangle. That is, we would need to integrate around the rectangle, where is the incremental length vector that points along an edge. The direction in which we go around the rectangle will affect the sign of the answer, and by convention the integral is taken counterclockwise. That is, along the bottom edge and along the top edge, , and along the left edge , and right edge .

Taking the dot product of with selects out the component of along the horizontal paths, and the component of along the vertical paths. Since the components of are functions of and , we can use a first order expansion to get their values on all four sides of the rectangle.

At location , we have , while at we get to first order. So to first order, the contribution to the circulation integral from the top and bottom edges is

By a similar argument we can work out the contributions from the left and right edges and get

Combining the two, the total circulation is

Dividing out we get the circulation per unit area as

We can do a similar analysis in the other two coordinate planes, and we find that the three terms are the components of the *curl* of which is defined as

That is, the curl is defined analogously to a vector cross product, except the first ‘vector’ is the differential operator .

Stokes’s theorem can now be derived by considering some surface that is bounded by a closed path. Note that the surface itself is not closed (that is, it is not a surface like a sphere that has no edges), but apart from that, the exact form of the surface doesn’t matter. All that matters is the boundary curve.

We can divide the surface up into a number of little patches and perform the analysis above on each patch, then add up the contribution of each patch to the circulaton to get the total circulation around the bounding edge. The key point is that each edge of one patch that is shared with a neighbouring patch will be traversed in opposite directions as we do the integrals over the two patches, so the contributions of all these internal edges cancel out, leaving only the unmatched edges along the boundary. The net result is that the integral of the curl of the vector field over the surface is equal to the line integral of the vector field around the boundary. That is

where it is important to note that the integral on the left is taken over the surface, while that on the right is taken over the bounding curve. This is Stokes’s theorem.

There are several theorems involving the curl, but probably the most important one is that the curl of a gradient of a scalar field is always zero. That is

This can be seen most easily by substituting the gradient into the definition of the curl above:

Since the order in which partial derivatives are calculated doesn’t matter (for any function of interest to physicists, anyway), this determinant is always zero.

A direct consequence of this in electrostatics is that, since the electric field can be expressed as the gradient of a potential function

the curl of the electric field (in electrostatics) is always zero:

## Trackbacks

[...] important consequence of the curl of the electric field being zero comes from Stokes’s theorem, which for the electric field [...]

[...] about the component of that is parallel to the surface? From Stokes’s theorem, since in electrostatics, we know that the line integral of is always [...]

[...] to point (similarly for ). Clearly if the path is closed, then and the integral is zero, so by Stokes’s theorem, , which is the same result as in normal electrostatics. Also, the integral above must be path [...]

[...] the divergence and the curl of a vector field to specify it uniquely, and although the curl of is always zero in electrostatic problems, there is no corresponding condition on . In the problem above, we have [...]

[...] is not normal to the boundary, within the dielectric, so the line integral won’t be zero. By Stokes’s theorem, the curl isn’t zero [...]

[...] doesn’t pose any problems mathematically, since the identity is still true. However, the curl-free field equation was derived from Coulomb’s law, which in turn gave rise to the fact that in electrostatics, [...]

[...] we can derive a similar result to the divergence one above using Stokes’s theorem. Again using a vector field we [...]

[…] they must since the integral for all closed loops in an electrostatic system (a consequence of Stokes’s law and the fact that in […]

[…] Stokes’s theorem, we […]

[…] We can write these in integral form using the divergence theorem and Stokes’s theorem: […]