Section 14.9 The Definition of Curl
Consider a small rectangular loop in the \(yz\)-plane, with sides parallel to the coordinate axes, as shown Figure 14.9.1. What is the circulation of \(\AA\) around this loop?
Consider first the horizontal edges, on each of which \(d\rr=dy\,\yhat\text{.}\) However, when computing the circulation of \(\AA\) around this loop, we traverse these two edges in opposite directions. In particular, when traversing the loop in the counterclockwise direction, \(dy\lt 0\) on top and \(dy>0\) on the bottom. We would like to compare these two edges, but we have
so we conventionally set \(dy=dy_{\textrm{bot}}\text{,}\) leading to \(dy_{\textrm{top}}=-dy\text{.}\) 1 Thus,
where we have multiplied and divided by \(dz\) to obtain the surface element \(dA=dy\,dz\) in the third step, and used the definition of the derivative in the final step.
Just as with the divergence, in making this argument we are assuming that \(\AA\) doesn't change much in the \(x\) and \(y\) directions, while nonetheless caring about the change in the \(z\) direction. We are again subtracting the values at two points separated in the \(z\) direction, so we are canceling the zeroth order term in \(z\text{,}\) and therefore need the next order term. This can be made precise using a multivariable Taylor series expansion.
Repeating this argument for the remaining two sides leads to
where care must be taken with the signs, which are different from those in (14.9.2). Adding up both expressions, we obtain
Since this expression is proportional to the area of the loop, it approaches zero as the loop shrinks down to a point. The interesting quantity is therefore the ratio of the circulation to area. This ratio is almost the curl, but not quite.
We could have oriented our loop any way we liked. We have a circulation for each orientation, which we can associate with the normal vector to the loop; curl is a vector quantity. Our loop has counterclockwise orientation of the loop as seen from the positive \(x\)-axis; we are computing the \(\xhat\)-component of the curl.
Putting this all together, we define the \(\xhat\)-component of the curl of a vector field \(\AA\) to be
The rectangular expression for the full curl now follows by cyclic symmetry, yielding
which is more easily remembered in the form
An analogous construction can be used in curvilinear coordinates; the results for spherical and cylindrical coordinates can be found in Appendix A.1, as well as on the inside front of Griffiths' textbook, Introduction to Electrodynamics.