The following are straight up summaries of important relations for the three most important coordinate systems: Cartesian, Spherical Polar, and Cylindrical. I don't derive the various expressions, but in a few cases I indicate how one could do so.
Some of the following you should work to just ``learn'', so you know it forever. Other parts you can probably look up when you need them. I've tried to concentrate on the former here, and will likely provide a formula sheet with the latter for use on exams. However, you still have to learn to work with stuff off the formula sheets, and that takes practice.
The key to understanding (and most simply deriving) differential
operators in all coordinate systems besides flat Euclidean Cartesian
coordinates is the definition of the directed length element
.
In the most general terms, for a coordinate frame with orthonormal
components of a point
,
at the point
is given
by:
where
,
, and
are functions of
evaluated at the
point
. A coordinate system is characterized by the three functions.
For example:
In order to do a gradient operator, we have to use the general
expression for a total derivative of a scalar function
:
where
, etc.
The gradient is then given generally by:
where we have placed the unit vectors to the left to make it very clear that the partials do not act on them.
We need the Divergence Theorem to hold for our definition of
divergence. To do the divergence of a vector valued function
expressed in curvilinear coordinates, we thus have
to start with a volume element for the space:
where we have to use the components of
because in general,
the curvilinear coordinates may well not have dimensions of length
(which is one of several things the functions
do for us in
). The boundary of this infinitesimal volume is a sort of
deformed rectangular solid. Its directed surfaces are things like (in
the
direction):
for the back or front surfaces respectively. If we examine the flux through such a surface:
where the function
must be evaluated at either
(for (-)) or
(for (+)) respectively! Note well that
these are both outward directed normal contributions! If we
subtract these two in the direction of
and take the usual limits:
or the total contribution to
in this direction is:
Summing over all six faces, we get for this infinitesimal curvilinear volume:
We thus arrive at the general (local) differential form for the divergence of a vector valued function:
This is, incidentally, a general derivation of the divergence theorem,
since it is easy to show that one can build integrals over a general
(non-local) volume with its bounding surface by summing over internal
curvilinear chunks with cancellation of flux contributions across all
infinitesimal surfaces inside the volume. For a finite volume
, then:
where the non-cancelling part of the surface integral is only over the
external surface
with an outward directed
normal.
To do the curl, one has to repeat this argument for the formula:
evaluated around an infinitesimal directed rectangular area
along
each of the
directions. The algebra is tedious (but is
reviewed in similar detail in Griffith's, Appendix A if ou want to see
it) and leads to:
which applies to a general infinitesimal surface as
.
As before, if we chop a finite surface
bounded by a closed
curve
up into many differential pieces, all of the internal loop
contributions between adjacent infinitesimal pieces cancal and one gets
Stoke's Theorem:
This outlines how to evaluate the gradient, divergence and curl for the three primary coordinate systems we will use in this course. Below we summarize the result