**Required math: algebra, calculus**

**Required physics: none**

Reference: d’Inverno, Ray, *Introducing Einstein’s Relativity* (1992), Oxford Uni Press. – Section 5.4 and Problem 5.2.

Since one of the main aspects of the definition of a tensor is the way it transforms under a change in coordinate systems, it’s important to consider how such coordinate changes work.

We’ll consider two coordinate systems, one denoted by unprimed symbols and the other by primed symbols . In general, one system is a function of the other one, so we can write

where the index runs over the dimensions of the manifold (so we have a set of equations), and the symbol without an index means the set of all components of , so it’s equivalent to (but shorter than) writing

Now suppose we want to do an integral over a portion of the manifold that is bounded by some subsurface in the manifold. As we know from elementary calculus, the differential volume (or area) has a different form depending on which coordinate system we’re using. For example, in 3-d rectangular coordinates, the volume element is , while in spherical coordinates it is .

To see how this works we can start with one dimension. If we have an integral in rectangular coordinates such as

we can change coordinate systems if we define . Then we have . To transform the limits of the integral, we need to invert the definition to get . Then the integral becomes

Essentially, this redefines the line element into the coordinate system.

In two dimensions, we’d start off with (we’ll leave out the limits on the integrals since we’re really interested only in the area element):

Now if we want to switch to another coordinate system, we define

Consider now an elemental rectangle in the plane. The rectangle has its lower left corner at the point and has dimensions and , so that its area is .

We want to see how this rectangle transforms under the coordinate transformation above. The new elemental area will not necessarily be a rectangle, but we can transform it point by point to get the new shape. Starting with the lower left corner, this transforms to

We can write the general transformation as a vector:

Here, is the transformed location of the original point , written with respect to the rectangular basis vectors.

The idea now is to consider what happens as and tend to zero. In this case, the transformed version of tends to a parallelogram whose sides are parallel to the transformation of the two sides of *R* that touch at the point (the lower left corner of we mentioned above). Consider first the edge of *R* along the line (the bottom of the rectangle). We can think of this edge as a tangent to the rectangle at the point . How does this tangent transform?

Well, the lower edge of *R* transforms as

The tangent along this curve is then the derivative with respect to , so we get

Thus the tangent along the bottom edge of *R* at the transformed location of is

By the same argument, the tangent at along the left edge of *R* is found by setting and differentiating with respect to , and we get

By the definition of a derivative, we can write these tangents in the form

The vector connects the transformed lower left corner of *R* to the transformed lower right corner. Similarly connects the lower left corner to the upper left corner. Thus these two vectors define the sides of a parallelogram that, for very small and , is a good approximation to the transformed *R*. In this approximation, we can write

The area of a parallelogram is , where and are two adjacent sides and is the angle between them. If we have two vectors corresponding to the sides, the area is thus the magnitude of the cross product of the vectors. So we get

Using the equations above, we can work out this cross product. We’ll use the notation to save space. We get

The coefficient of is itself a determinant, and can be written as

This is called the *Jacobian* of the transformation. The area element is thus

Now this is all very well, but the differentials and are still in the original coordinate system. How can we use this result to transform the integral that we began with?

The trick is to assume that the transformation is invertible, that is, that we can also write

We can run through the same argument again to get

with

That is:

Note that we’ve taken the absolute value of *J* since we’re dealing with an area element, which must be positive.

It can also be shown that (the proof would make this post too long) the Jacobian satisfies a very convenient property:

That is, the Jacobian of an inverse transformation is the reciprocal of the Jacobian of the original transformation.

The Jacobian generalizes to any number of dimensions, so we get, reverting to our primed and unprimed coordinates:

For obvious reasons, this can be abbreviated to

As a simple example, consider the transformation from rectangular to polar coordinates in 2-d. From the above, the Jacobian we want is which requires expressing the old coordinates in terms of the new ones. The transformation is

So we have

Thus the transformation of the area element is

For the inverse transformation, we have

so

Thus as required.

In 3-d,

For the inverse:

Converting back to spherical coordinates proves a bit easier. Substituting the above transformation equations, along with

helps to simplify things.

The determinant now comes out to

Pingback: Contravariant tensors « Physics tutorials

Pingback: Covariant and mixed tensors « Physics tutorials

Pingback: Manifolds, the Jacobian matrix and coordinate transformations | Physics pages

Pingback: Metric tensor for a non-orthogonal coordinate system | Physics pages

Tue LeYou said that proving that the Jacobian determinant of an inverse transformation is the reciprocal of the Jacobian determinant of the original matrix would take too long. I think there might be an easier explanation. Since all we are doing is changing variables, the process must be reversible. Therefore, the Jacobian determinant must be non-zero. Since the determinant of the inverse of a matrix is equal to the reciprocal of the determinant of that matrix, the claim immediately follows.

Pingback: Noether’s theorem and conservation laws | Physics pages