1 03 - tensor calculus 03 - tensor calculus - tensor analysis.
Riemann Tensor Cosacdmponents
Click here to load reader
-
Upload
azwar-sutiono -
Category
Documents
-
view
215 -
download
1
description
Transcript of Riemann Tensor Cosacdmponents
4/21/2015 Appendix: Mathematical Miscellany
http://www.mathpages.com/rr/appendix/appendix.htm 1/13
Appendix: Mathematical Miscellany 1. Vector Products The dot and cross products are often introduced via trigonometric functions and/or matrixoperations, but they also arise quite naturally from simple considerations of Pythagoras'theorem. Given two points a and b in the threedimensional vector space with Cartesiancoordinates (ax,ay,az) and (bx,by,bz) respectively, the squared distance between these twopoints is
If (and only if) these two vectors are perpendicular, the distance between them is thehypotenuse of a right triangle with edge lengths equal to the lengths of the two vectors, sowe have
if and only if a and b are perpendicular. Equating these two expressions and cancelingterms, we arrive at the necessary and sufficient condition for a and b to be perpendicular
This motivates the definition of the left hand quantity as the "dot product" (also called thescalar product) of the arbitrary vectors a = (ax,ay,az) and b = (bx,by,bz) as the scalarquantity
At the other extreme, suppose we seek an indicator of whether or not the vectors a and b areparallel. In any case we know the squared length of the vector sum of these two vectors is
We also know that S = |a| + |b| if and only if a and b are parallel, in which case we have
Equating these two expressions for S2, canceling terms, and squaring both sides gives thenecessary and sufficient condition for a and b to be parallel
4/21/2015 Appendix: Mathematical Miscellany
http://www.mathpages.com/rr/appendix/appendix.htm 2/13
Expanding these expressions and canceling terms, this becomes
Notice that we can gather terms and rewrite this equality as
Obviously a sum of squares can equal zero only if each term is individually zero, which ofcourse was to be expected, because two vectors are parallel if and only if their componentsare in the same proportions to each other, i.e.,
which represents the vanishing of the three terms in the previous expression. Thismotivates the definition of the cross product (also known as the vector product) of twovectors a = (ax,ay,az) and b = (bx,by,bz) as consisting of those three components, orderedsymmetrically, so that each component is defined in terms of the other two components ofthe arguments, as follows
By construction, this vector is null if and only if a and b are parallel. Furthermore, noticethat the dot products of this cross product and each of the vectors a and b are identicallyzero, i.e.,
As we saw previously, the dot product of two vectors is 0 if and only if the vectors areperpendicular, so this shows that a b is perpendicular to both a and b. There is, however,an arbitrary choice of sign, which is conventionally resolved by the "righthand rule". Itcan be shown that if is the angle between a and b, then ab is a vector with magnitude|a||b|sin() and direction perpendicular to both a and b, according to the righthand rule. Similarly the scalar ab equals |a||b|cos(). 2. Differentials In Chapter 5.2 we gave an intuitive description of differentials such as dx and dy asincremental quantities, but strictly speaking the actual values of differentials are arbitrary,
4/21/2015 Appendix: Mathematical Miscellany
http://www.mathpages.com/rr/appendix/appendix.htm 3/13
because only the ratios between them are significant. Differentials for functions of multiplevariables are just a generalization of the usual definitions for functions of a single variable. For example, if we have z = f(x) then the differentials dz and dx are defined as arbitraryquantities whose ratio equals the derivative of f(x) with respect to x. Consequently we havedz/dx = f '(x) where f '(x) signifies the partial derivative z/x, so we can express this in theform
In this case the partial derivative is identical to the total derivative, because this f isentirely a function of the single variable x. If, now, we consider a differentiable function z = f(x,y) with two independent variables, wecan expand this into a power series consisting of a sum of (perhaps infinitely many) termsof the form Axmyn. Since x and y are independent variables we can suppose they are eachfunctions of a parameter t, so we can differentiate the power series termbyterm, withrespect to t, and each term will contribute a quantity of the form
where, again, the differentials dx,dy,dz,dt are arbitrary variables whose ratios only areconstrained by this relation. The coefficient of dy/dt is the partial derivative of Axmyn, withrespect to y, and the coefficient of dx/dt is the partial with respect to x, and this will applyto every term of the series. So we can multiply through by dt to arrive at the result
The same approach can be applied to functions of arbitrarily many independent variables. 3. Differential Operators The standard differential operators are commonly expressed as formal "vector products"involving the ("del") symbol, which is defined as
where ux, uy, uz are again unit vectors in the x,y,z directions. The scalar product of withan arbitrary vector field V is called the divergence of V, and is written explicitly as
4/21/2015 Appendix: Mathematical Miscellany
http://www.mathpages.com/rr/appendix/appendix.htm 4/13
The vector product of with an arbitrary vector field V is called the curl, given explicitlyby
Note that the curl is applied to a vector field and returns a vector, whereas the divergence isapplied to a vector field but returns a scalar. For completeness, we note that a scalar fieldQ(x,y,z) can be simply multiplied by the operator to give a vector, called the gradient, asfollows
Another common expression is the sum of the second derivatives of a scalar field withrespect to the three directions, since this sum appears in the Laplace and Poisson equations. Using the "del" operator this can be expressed as the divergence of the gradient (or the "divgrad") of the scalar field, as shown below.
For convenience, this operation is often written as 2, and is called the Laplacian operator. All the above operators apply to 3vectors, but when dealing with 4vectors in Minkowskispacetime the analog of the Laplacian operator is the d'Alembertian operator
4. Differentiation of Vectors and Tensors The easiest way to understand the motivation for the definitions of absolute and covariantdifferentiation is to begin by considering the derivative of a vector field in threedimensional Euclidean space. Such a vector can be expressed in either contravariant orcovariant form as a linear combination of, respectively, the basis vectors u1, u2, u3 or thedual basis vectors u1, u2, u3, as follows
where Ai are the contravariant components and Ai are the covariant components of A, andthe two sets of basis vectors satisfy the relations
4/21/2015 Appendix: Mathematical Miscellany
http://www.mathpages.com/rr/appendix/appendix.htm 5/13
where gij and gij are the covariant and contravariant metric tensors. The differential of Acan be found by applying the chain rule to either of the two forms, as follows
If the basis vectors ui and ui have a constant direction relative to a fixed Cartesian frame,then dui = dui = 0, so the second term on the right vanishes, and we are left with thefamiliar differential of a vector as the differential of its components. However, if the basisvectors vary from place to place, the second term on the right is nonzero, so we must notneglect this term if we are to allow curvilinear coordinates. As we saw in Part 2 of this Appendix, for any quantity Q = f(x) and coordinate xi we have
so we can substitute for the three differentials in (1) and rearrange terms to write theresulting expressions as
Since these relations must hold for all possible combinations of dxi , the quantities insideparentheses must vanish, so we have the following relations between partial derivatives
If we now let Aij and Aij denote the projections of the ith components of (2a) and (2b)respectively onto the jth basis vector, we have
and it can be verified that these are the components of secondorder tensors of the typesindicated by their indices (superscripts being contravariant indices and subscripts beingcovariant indices). If we multiply through (using the dot product) each term of (2a) by ui,and each term of (2b) by ui, and recall that uiuj = ij, we have
4/21/2015 Appendix: Mathematical Miscellany
http://www.mathpages.com/rr/appendix/appendix.htm 6/13
For convenience we now define the threeindex symbol
which is called the Christoffel symbol of the second kind. Although the Christoffel symbolis not a tensor, it is very useful for expressing results on a metrical manifold with a givensystem of coordinates. We also note that since the components of uiuj are constants (either
0 or 1), it follows that (uiuj)/xk = 0, and expanding this partial derivative by the chainrule we find that
Therefore, equations (3) can be written in terms of the Christoffel symbol as
These are the covariant derivatives of, respectively, the contravariant and covariant forms ofthe vector A. Obviously if the basis vectors are constant (as in Cartesian or obliquecoordinate systems) the Christoffel symbols vanish, and we are left with just the first termson the right sides of these equations. The second terms are needed only to account for thechange in basis with position of general curvilinear coordinates. It might seem that these definitions of covariant differentiation depend on the fact that weworked in a fixed Euclidean space, which enabled us to assign absolute meaning to thecomponents of the basis vectors in terms of an underlying Cartesian coordinate system. However, it can be shown that the Christoffel symbols we've used here are the same as theones defined in Section 5.4 in the derivation of the extremal (geodesic) paths on a curvedmanifold, wholly in terms of the intrinsic metric coefficients gij and their partial derivativeswith respect to the general coordinates on the manifold. This should not be surprising,considering that the definition of the Christoffel symbols given above was in terms of thebasis vectors uj and their derivatives with respect to the general coordinates, and noting that
4/21/2015 Appendix: Mathematical Miscellany
http://www.mathpages.com/rr/appendix/appendix.htm 7/13
the metric tensor is just gij = uiuj . Thus, with a bit of algebra we can show that
in agreement with Section 5.4. We regard equations (4) as the appropriate generalization ofdifferentiation on an arbitrary Riemannian manifold essentially by formal analogy with theflat manifold case, by the fact that applying this operation to a tensor yields another tensor,and perhaps most importantly by the fact that in conjunction with the developments ofSection 5.4 we find that the extremal metrical path (i.e., the geodesic path) between twopoints is given by using this definition of "parallel transport" of a vector pointed in thedirection of the path, so the geodesic paths are locally "straight". Of course, when we allow curved manifolds, some new phenomena arise. On a flatmanifold the metric components may vary from place to place, but we can still determinethat the manifold is flat, by means of the Riemann curvature tensor described in Section5.7. One consequence of flatness, obvious from the above derivation, is that if a vector istransported parallel to itself around a closed path, it assumes its original orientation when itreturns to its original location. However, if the metric coefficients vary in such a way thatthe Riemann curvature tensor is nonzero, then in general a vector that has been transportedparallel to itself around a closed loop will undergo a change in orientation. Indeed, Gaussshowed that the amount of deflection experienced by a vector as a result of being paralleltransported around a closed loop in a 2dimensional manifold is exactly proportional to theintegral of the curvature over the enclosed region. The above definition of covariant differentiation immediately generalizes to tensors of anyorder. In general, the covariant derivative of a mixed tensor T consists of the ordinarypartial derivative of the tensor itself with respect to the coordinates xk, plus a terminvolving a Christoffel symbol for each contravariant index of T, minus a term involving aChristoffel symbol for each covariant index of T. For example, if r is a contravariant indexand s is a covariant index, we have
It's convenient to remember that each Christoffel symbol in this expression has the index ofxk in one of its lower positions, and also that the relevant index from T is carried by thecorresponding Christoffel symbol at the same level (upper or lower), and the remainingindex of the Christoffel symbol is a dummy that matches with the relevant index position inT. One very important result involving the covariant derivative is known as Ricci's Theorem. The covariant derivative of the metric tensor is gij is
4/21/2015 Appendix: Mathematical Miscellany
http://www.mathpages.com/rr/appendix/appendix.htm 8/13
If we substitute for the Christoffel symbols from equation (5), and recall that
we find that all the terms cancel out and we're left with gij,k = 0. Thus the covariantderivative of the metric tensor is identically zero, which is what prompted Einstein toidentify it with the gravitational potential, whose divergence vanishes, as discussed inSection 5.8. 5. Notes on Curvature Derivations Direct substitution of the principal q values into the curvature formula of Section 5.3 gives asomewhat complicated expression, and it may not be obvious that it reduces to theexpression given in the text. Even some symbolic processors seem to be unable toaccomplish the reduction. So, to verify the result, recall that we have
where m = (ca)/b. The roots of the quadratic in q are
and of course qq' = 1. From the 2nd equation we have q2 = 1 + 2mq, so we can substitutethis into the curvature equation to give
Adding and subtracting c in the numerator, this can be written as
Now, our assertion in the text is that this quantity equals (a+c) + b . If we subtract2c from both of these quantities and multuply through by 1 + mq, our assertion is
Since q = m + the right hand term in the square brackets can be written as bq bm, so we claim that
4/21/2015 Appendix: Mathematical Miscellany
http://www.mathpages.com/rr/appendix/appendix.htm 9/13
Expanding the right hand side and cancelling terms and dividing by m gives
Now we multiply by the conjugate quantity q' to give
The quantities bq' cancel, and we are left with m = (c a)/b, which is the definition of m. Of course the same derivation applies to the other principle curvature if we swap q and q'. Section 5.3 also states that the Gaussian curvature of the surface of a sphere of radius R is1/R2. To verify this, note that the surface of a sphere of radius R is described by x2 + y2 +z2 = R2, and we can consider a point at the South pole, tangent to a plane of constant z. Then we have
Taking the negative root (for the South Pole), factoring out R, and expanding the radicalinto a power series in the quantity (x2 + y2) / R2 gives
Without changing the shape of the surface, we can elevate the sphere so the South pole isjust tangent to the xy plane at the origin by adding R to all the z values. Omitting allpowers of x and y above the 2nd, this gives the quadratic equation of the surface at thispoint
Thus we have z = ax2 + bxy + cx2 where
from which we compute the curvature of the surface
4/21/2015 Appendix: Mathematical Miscellany
http://www.mathpages.com/rr/appendix/appendix.htm 10/13
as expected. 6. Odd Compositions It's interesting to review the purely formal constraints on a velocity composition law (suchas discussed in Section 1.8) to clarify what distinguishes the formulae that work from thosethat don't. Letting v12, v23, and v13 denote the pairwise velocities (in geometric units)between three colinear particles P1, P2, P3, a composition formula relating these speedscan generally be expressed in the form
where f is some function that transforms speeds into a domain where they are simplyadditive. It's clear that f must be an "odd" function, i.e., f(x) = f(x), to ensure that thesame composition formula works for both positive and negative speeds. This rules outtransforms such as f(x) = x2, f(x) = cos(x), and all other "even" functions. The general "odd" function expressed as a power series is a linear combination of oddpowers, i.e.,
so we can express any such function in terms of the coefficients [c1,c3,...]. For example, ifwe take the coefficients [1,0,0,...] we have the simple transform f(x) = x, which gives theGalilean composition formula v13 = v12 + v23. For another example, suppose we"weight" each term in inverse proportion to the exponent by using the coefficients [1, 1/3,1/5, 1/7,...]. This gives the transform
leading to Einstein's relativistic composition formula
From the identity atanh(x) = ln[(1+x)/(1x)]/2 we also have the equivalent multiplicativeform
which is arguably the most natural form of the relativistic speed composition law. Thevelocity parameter p = (1+v)/(1v) also gives very natural expressions for other observables
as well, including the relativistic Doppler shift, which equals , and the spacetimeinterval between two inertial particles each one unit of proper time past their point of
4/21/2015 Appendix: Mathematical Miscellany
http://www.mathpages.com/rr/appendix/appendix.htm 11/13
intersection, which equals p1/4 p1/4. Incidentally, to give an equilateral triangle inspacetime, this last equation shows that two particles must have a mutual speed of =0.745... 7. Relativistic Form of Kepler’s Third LawOne might wonder why, in the derivation of the equation for planetary orbits presented inSection 6.2, we apparently made use of only two of the three geodesic equations, excludingequation (8). Recall that we integrated equations (7) and (9), and then substituted the resultsinto the line element, which then gave the equation of motion represented by (10).However, given all but one of the geodesic equations along with the line element, theremaining geodesic equation is redundant. To see this, we can differentiate equation (10)with respect to and divide through by 2(dr/d) to give
We would arrive at this same equation if we inserted the squared derivatives of thecoordinates into equation (8), so we have consistency with all of the geodesic equations.Another point to be clarified is whether the analog of Kepler’s third law implicit in thisequation is consistent with the claim in Section 5.5 that Kepler’s third law is formally validin Schwarzschild spacetime. Letting = d/d denote the proper angular speed, we have h= r2, and the above equation can be written as
Obviously if = 0 this gives the "proper" analog of Newton's inversesquare law equatingradial gravitational acceleration to –m/r2. With nonzero value of the term 2rcorresponds to the Newtonian centripetal acceleration which, if we defined the tangentialvelocity v = r, would equal the classical v2/r. This term serves to offset the inward pull ofgravity, but in the relativistic version we find not 2r but 2r(13m/r). For a circular orbitwe would have d2r/dt2 = 0 and hence
This may seem inconsistent with the claim in Section 5.5 that the Keplerian relation m =2r3 is exactly valid for circular orbits in Schwarzschild spacetime. However, in thatsection we defined as the derivative of with respect to coordinate time, whereas here wehave taken to be the derivative of with respect to proper time. To see that this isconsistent, divide through the line element by (dt)2 and note that dr/d = 0 for a circularorbit, so we have
4/21/2015 Appendix: Mathematical Miscellany
http://www.mathpages.com/rr/appendix/appendix.htm 12/13
8. Independent Components of the Curvature Tensor As shown in Section 5.7, the fully covariant Riemann curvature tensor at the origin ofRiemann normal coordinates, or more generally in terms of any “tangent” coordinatesystem with respect to which the first derivatives of the metric coefficients are zero, has thesymmetries
These symmetries imply that although the curvature tensor in four dimensions has 256components, there are only 20 algebraic degrees of freedom. To prove this, we first notethat the antisymmetry in the first two indices and in the last two indices implies that all thecomponents of the form Raaaa, Raabb, Raabc, Rabcc, and all permutations of Raaab are zero,because they equal the negation of themselves when we transpose either the first two or thelast two indices. The only remaining components with fewer than three distinct indices areof the form Rabab and Rabba, but these are the negatives of each other by transposition ofthe last two incides, so we have only six independent components of this form (which is thenumber of ways of choosing two of four indices). The only nonzero components withexactly three distinct indices are of the forms Rabac = Rbaac = Rabca = Rbaca, so we havetwelve independent components of this form (because there are four choices for theexcluded index, and then three choices for the repeated index). The remaining componentshave four distinct indices, but each component with a given permutation of indices actuallydetermines the values of eight components because of the three symmetries and antisymmetries of order two. Thus, on the basis of these three symmetries there are only 24/8 =3 independent components of this form, which may be represented by the three componentsR1234, R1342, and R1432. However, the skew symmetry implies that these threecomponents sum to zero, so they represent only two degrees of freedom. Hence we canfully specify the Riemann curvature tensor (with respect to “tangent” coordinates) by givingthe values of the six components of the form Rabab, the twelve components of the formRabac, and the values of R1234 and R1342, which implies that the curvature tensor (withrespect to any coordinate sytem) has 6 + 12 + 2 = 20 algebraic degrees of freedom. The same reasoning can be applied in any number of dimensions. For a manifold of Ndimensions, the number of independent nonzero curvature components with just twodistinct indices is equal to the number of ways of choosing 2 out of N indices. Also, thenumber of independent nonzero curvature components with 3 distinct indices is equal tothe number of ways of choosing the N3 excluded indices out of N indices, multiplied by 3for the number of choices of the repeated index. This leaves the components with 4 distinctindices, of which there are 4! times the number of ways of choosing 4 of N indices, butagain each of these represents 8 components because of the symmetries and antisymmetries. Also, these components can be arranged in sets of three that satisfy the threeway skew symmetry, so the number of independent components of this form is reduced by afactor of 2/3. Therefore, the total number of algebraically independent components of the
4/21/2015 Appendix: Mathematical Miscellany
http://www.mathpages.com/rr/appendix/appendix.htm 13/13
curvature tensor in N dimensions is
Return to Table of Contents