Chapter 2 Coordinate Systems and...

35
Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry under some operation if the system after the operation is observationally indis- tinguishable from the system before the operation. Example: A perfectly uniform sphere has a symmetry under rotation about any axis be- cause after the rotation the sphere looks the same as before the rotation. 7

Transcript of Chapter 2 Coordinate Systems and...

Page 1: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

Chapter 2

Coordinate Systems andTransformations

A physical system has a symmetry under some operationif the system after the operation is observationally indis-tinguishable from the system before the operation.

Example: A perfectly uniform sphere has asymmetry under rotation about any axis be-cause after the rotation the sphere looks thesame as before the rotation.

7

Page 2: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

8 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

The theory of relativity may be viewed as a symmetry un-der coordinate transformations.

• Two observers, referencing their measurements ofthe same physical phenomena to two different co-ordinate systems should deduce thesame laws ofphysicsfrom their observations.

• In special relativity one requires a symmetry underonly a subset of possible coordinate transformations(those between systems that are not accelerated withrespect to each other).

• General relativity requires that the laws of physics beinvariant under the most general coordinate transfor-mations.

To understand general relativity we must be-gin by examining the transformations thatare possible between different coordinate sys-tems.

Page 3: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

2.1. COORDINATE SYSTEMS IN EUCLIDEAN SPACE 9

2.1 Coordinate Systems in Euclidean Space

Our goal is to describe transformations between coordi-nates in a general curved space having

• three space-like coordinates and

• one timelike coordinate.

However, to introduce these concepts we shall begin withthe simpler and more familiar case of vector fields definedin three-dimensional euclidean space.

• Assume a three-dimensional euclidean (flat) spacehaving a cartesian coordinate system(x,y,z), and anassociated set of mutually orthogonal unit vectors(iii, jjj,kkk) .

• Assume that there is an alternative coordinate system(u,v,w), not necessarily cartesian, with the(x,y,z)coordinates related to the(u,v,w) coordinates by

x = x(u,v,w) y = y(u,v,w) z= z(u,v,w),

• Assume that the transformation is invertible so thatwe can solve for(u,v,w) in terms of(x,y,z).

• A familiar example is to take the(u,v,w) system tobe the spherical coordinates(r,θ ,ϕ), in which casethe preceding equation takes the form

x = r sinθ cosϕ y = r sinθ sinϕ z= r cosθ .

Page 4: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

10 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

• The equations

x = x(u,v,w) y = y(u,v,w) z= z(u,v,w),

can be combined into a vector equation that gives aposition vectorrrr for a point in the space in terms ofthe(u,v,w) coordinates:

rrr = x(u,v,w) iii +y(u,v,w) jjj +z(u,v,w)kkk.

• For example, in terms of the spherical coordinates(r,θ ,ϕ),

rrr = (r sinθ cosϕ) iii +(r sinθ sinϕ) jjj +(r cosθ)))kkk.

• The second coordinate system in these examples gen-erally is not cartesian but the space is still assumed tobe euclidean.

• In transforming from the(x,y,z) coordinates to the(r,θ ,ϕ) coordinates, we are just using a differentscheme to label points in a flat space.

• This distinction is important because shortly weshall consider general coordinate transformations inspaces that may not obey euclidean geometry (curvedspaces).

Page 5: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

2.1. COORDINATE SYSTEMS IN EUCLIDEAN SPACE 11

2.1.1 Basis Vectors

At any point P(u0,v0,w0) defined for specified coordi-nates(u0,v0,w0), three surfaces pass. They are definedby u = u0, v = v0, andw = w0, respectively.

• Any two of these surfaces meet in curves.

• From

rrr = x(u,v,w) iii +y(u,v,w) jjj +z(u,v,w)kkk.

we may obtain general parametric equations for co-ordinate surfaces or curves by setting one or two ofthe variables(u,v,w) equal to constants.

• For example, if we setv and w to constant values,v = v0 andw = w0, we obtain a parametric equationfor a curve given by the intersection ofv = v0 andw = w0,

rrr(u) = x(u,v0,w0) iii +y(u,v0,w0) jjj +z(u,v0,w0)kkk,

• This is a parametric equation in whichu plays therole of a coordinate along the curve defined by theconstraintsv = v0 andw = w0.

Page 6: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

12 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

y

x

z

r = constant

surface

θ = constant ,

r = constant curveφ

θ

Figure 2.1:Surfaces and curves arising from constraints.

Figure 2.1 illustrates for the case of spherical polar coor-dinates(r,θ ,ϕ):

• The surface corresponding tor = constantis a sphereparameterized by the variablesθ andϕ.

• The constraintθ = constantcorresponds to a coneparameterized by the variablesr andϕ.

• Setting bothr andθ to constants defines a curve thatis the intersection of the sphere and the cone, whichis parameterized by the variableϕ.

Page 7: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

2.1. COORDINATE SYSTEMS IN EUCLIDEAN SPACE 13

• Partial differentiation of

rrr = x(u,v,w) iii +y(u,v,w) jjj +z(u,v,w)kkk,

with respect tou, v, andw, respectively, gives tangents to thecoordinate curves passing though the pointP.

• These may be used to define a set of basis vectorseeei through

eeeu ≡∂rrr∂u

eeev ≡∂rrr∂v

eeew ≡∂rrr∂w

,

with all partial derivatives evaluated at the pointP= (u0,v0,w0).

• This basis, generated by the tangents to the coordinate curves,is sometimes termed thenatural basis.The following exampleillustrates for a spherical coordinate system.

Page 8: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

14 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

Example 2.1

Consider the spherical coordinate system defined through

x = r sinθ cosϕ y = r sinθ sinϕ z= r cosθ .

The position vectorrrr is

rrr = (r sinθ cosϕ) iii +(r sinθ sinϕ) jjj +(r cosθ)))kkk,

and the natural basis is obtained from

eee1 ≡ eeer =∂rrr∂r

= (sinθ cosϕ) iii +(sinθ sinϕ) jjj +(cosθ)kkk

eee2 ≡ eeeθ =∂rrr∂θ

= (r cosθ cosϕ) iii +(r cosθ sinϕ) jjj − (r sinθ)kkk

eee3 ≡ eeeϕ =∂rrr∂ϕ

= −(r sinθ sinϕ) iii +(r sinθ cosϕ) jjj.

These basis vectors are mutually orthogonal because

eee1·eee2 = eee2·eee3 = eee3·eee1 = 0

For example,

eee1·eee2 = r sinθ cosθ cos2ϕ + r sinθ cosθ sin2ϕ − r cosθ sinθ

= r sinθ cosθ (cos2ϕ +sin2ϕ)︸ ︷︷ ︸

=1

−r cosθ sinθ = 0.

Page 9: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

2.1. COORDINATE SYSTEMS IN EUCLIDEAN SPACE 15

From the scalar products of the basis vectors with themselves, theirlengths are

|eee1| = 1 |eee2| = r |eee3| = r sinθ

and we can use these to define a normalized basis,

eee1 ≡eee1

|eee1|= (sinθ cosϕ) iii +(sinθ sinϕ) jjj +(cosθ)kkk

eee2 ≡eee2

|eee2|= (cosθ cosϕ) iii +(cosθ sinϕ) jjj − (sinθ)kkk

eee3 ≡eee3

|eee3|=−(sinϕ) iii +(cosϕ) jjj .

These basis vectors is now

• mutually orthogonal and

• of unit length.

They are illustrated in the following figure.

Page 10: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

16 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

φ = constant

half-plane

x

y

z

r = constant

surface

θ = constant ,

r = constant curve

φ

er

P

Figure 2.2:Basis vectors for the natural basis in spherical coordinates.

Figure 2.2 illustrates the geometry of the basis vectors de-rived in the preceding example.

Page 11: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

2.1. COORDINATE SYSTEMS IN EUCLIDEAN SPACE 17

• In many applications it is usual to assume that thecoordinate system is orthogonal so that the basis vec-tors

eeeu ≡∂rrr∂u

eeev ≡∂rrr∂v

eeew ≡∂rrr∂w

,

are mutually orthogonal, and to normalize these basisvectors to unit length.

• In the more general applications that will interest us,the natural basis defined by the partial derivativesin the preceding equation need not be orthogonal ornormalized to unit length

However, in the simple examples shown sofar the natural basis is in fact orthogonal.

Page 12: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

18 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

2.1.2 Dual Basis

It is also perfectly valid to construct a basis at the pointP by using thenormals rather than the tangents to the coordinate surfacesto definethe basis vectors.

• We assume that

x = x(u,v,w) y = y(u,v,w) z= z(u,v,w),

is invertible so we may solve for

u = u(x,y,z) v = v(x,y,z) w = w(x,y,z),

• The gradients

∇∇∇u=∂u∂x

iii +∂u∂y

jjj +∂u∂z

kkk

∇∇∇v=∂v∂x

iii +∂v∂y

jjj +∂v∂z

kkk

∇∇∇w=∂w∂x

iii +∂w∂y

jjj +∂w∂z

kkk

are normal to the three surfaces throughP defined byu = u0,v = v0, andw = w0, respectively.

• Therefore, we may choose as an alternative to the natural basis

eeeu ≡∂rrr∂u

eeev ≡∂rrr∂v

eeew ≡∂rrr∂w

,

the basiseeeu ≡ ∇∇∇u eeev ≡ ∇∇∇v eeew ≡ ∇∇∇w.

Page 13: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

2.1. COORDINATE SYSTEMS IN EUCLIDEAN SPACE 19

• This basis(eeeu,eeev,eeew), defined in terms of normals, is said to bethedualof the normal basis, defined in terms of tangents.

• Notice that we have chosen to distinguish the basis

eeeu ≡ ∇∇∇u eeev ≡ ∇∇∇v eeew ≡ ∇∇∇w.

from the basis

eeeu ≡∂rrr∂u

eeev ≡∂rrr∂v

eeew ≡∂rrr∂w

,

by usingsuperscript indicesandsubscript indices, respectively.

These two bases are equally valid.

• For orthogonal coordinate systems the set of normalsto the planes corresponds to the set of tangents tothe curves in orientation, differing possibly only inlength.

• If the basis vectors are normalized, the normal ba-sis and the dual basis for orthogonal coordinates areequivalent and our preceding distinction is not signif-icant.

• However, for non-orthogonal coordinate systems thetwo bases generally are not equivalent and the dis-tinction between upper and lower indices is relevant.

The following example illustrates.

Page 14: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

20 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

Example 2.2

Define a coordinate system(u,v,w) in terms of cartesian coordinates(x,y,z) through

x = u+v y= u−v z= 2uv+w.

The position vector for a pointrrr is then

rrr = x iii +y jjj +zkkk = (u+v) iii +(u−v) jjj +(2uv+w)kkk

The natural basis is

eee1 ≡ eeeu =∂rrr∂u

= iii + jjj +2vkkk

eee2 ≡ eeev =∂rrr∂v

= iii − jjj +2ukkk

eee3 ≡ eeew =∂rrr∂w

= kkk.

Solving the original equations for(u,v,w),

u = 12(x+y) v = 1

2(x−y) w = z− 12(x

2−y2),

and thus the dual basis is

eee1 ≡ eeeu =∂u∂x

iii +∂u∂y

jjj +∂u∂z

kkk = 12(iii + jjj)

eee2 ≡ eeev =∂v∂x

iii +∂v∂y

jjj +∂v∂z

kkk = 12(iii − jjj)

eee3 ≡ eeew =∂w∂x

iii +∂w∂y

jjj +∂w∂z

kkk = −(u+v) iii +(u−v) jjj +kkk.

Page 15: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

2.1. COORDINATE SYSTEMS IN EUCLIDEAN SPACE 21

• For the natural basis we find from the preceding expressions

eee1·eee2 = 4uv eee2·eee3 = 2u eee3·eee1 = 2v,

where the orthonormality of the basis(iii, jjj,kkk) has been used.Thus the normal basis is non-orthogonal.

• Taking the scalar products of the natural basis vectors with them-selves gives

eee1·eee1 = 2+4v2 eee2·eee2 = 2+4u2 eee3·eee3 = 1,

so the natural basis is also not normalized to unit length.

• It is also clear from the above expressions that generallyeeei isnot parallel toeeei, so in this non-orthogonal case we see that thenormal basis and the dual basis are distinct.

Page 16: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

22 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

The preceding example illustrates that for the general caseof coordinate systems that are not orthogonal,

eeeu ≡ ∇∇∇u eeev ≡ ∇∇∇v eeew ≡ ∇∇∇w (dual basis)

and

eeeu ≡∂rrr∂u

eeev ≡∂rrr∂v

eeew ≡∂rrr∂w

(natural basis)

definedifferent but equally valid bases, and the placementof indices in upper or lower positions is important.

Since in formulating general relativity weshall generally be dealing with curvilinearcoordinate systems that are not orthogonal,the reader henceforth should assume that theplacement of indices in equations (upper orlower positions) is significant.

Page 17: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

2.1. COORDINATE SYSTEMS IN EUCLIDEAN SPACE 23

2.1.3 Expansion of Vectors

An arbitrary vectorℓℓℓ may be expanded in terms of either the naturalor the dual basis:

ℓℓℓ = ℓ1eee1+ ℓ2eee2+ ℓ3eee3 =3

∑i=1

ℓieeei ≡ ℓieeei (natural basis)

ℓℓℓ = ℓ1eee1+ ℓ2eee2+ ℓ3eee3 =3

∑i=1

ℓieeei ≡ ℓieee

i (dual basis)

where we have introduced in the last step of each equation theEin-stein summation convention:

• An index appearing twice on one side of an equation, once as alower index and once as an upper index, implies asummation onthat index.

• The summation index is termed adummy index;notice that sum-mation on a dummy index on one side of an equation implies thatit does not appear on the other side of the equation.

• Generally also, if an index appears more than twice on the sameside of an equation, it is an indication of either a mistake orsloppy and confusing notation.

• Since the dummy (repeated) index is summed over, it should alsobe apparent that it does not matter what the repeated index is, aslong as it is not equivalent to another index in the equation.

From this point onward, we shall often assume the Einstein summa-tion convention because it generally leads to more compact equationsthat are easier to read.

Page 18: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

24 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

2.1.4 Scalar Product of Vectors and the Metric Tensor

• The upper-index coefficientsℓi of the basis vectorseeei are termedthecontravariant componentsof the vector,

• The lower-index coefficientsℓi of the basis vectorseeei are termedthecovariant componentsof the vector.

• The preceding discussion indicates that the covariant andcon-travariant components of a vector generally are distinct for non-orthogonal coordinate systems.

• From the definitions

eeei ≡∂rrr∂ui =

∂∂ui (x iii+y jjj +zkkk) eeei ≡∇∇∇ui =

∂ui

∂xiii+

∂ui

∂yjjj +

∂ui

∂zkkk

and thechain rulefor partial differentiation, we have

eeei ·eeej = ∇∇∇ui ·∂rrr∂u j

=∂ui

∂x∂x∂u j +

∂ui

∂y∂y∂u j +

∂ui

∂z∂z∂u j

=∂ui

∂u j = δ ij ,

where we have used that the unit vectorsiii, jjj , andkkk are orthogo-nal, and theKronecker deltais defined by

δ ij =

{

1 (i = j)

0 (i 6= j).

Page 19: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

2.1. COORDINATE SYSTEMS IN EUCLIDEAN SPACE 25

• Therefore, we may write that

ℓℓℓ·eeej = ℓieeei ·eeej = ℓiδ j

i = ℓ j ,

and similarly forℓℓℓ·eeej ,

• Thus the covariant and contravariant components of the vector ℓℓℓare given by the scalar products.

ℓi = ℓℓℓ·eeei ℓi = ℓℓℓ·eeei.

• Utilizing the preceding expression, we may write the scalar prod-uct of two vectorsaaa andbbb as

aaa·bbb = (aieeei)·(bjeeej) = eeei ·eeej a

ib j = gi j aib j ,

where themetric tensorgi j is defined by

gi j ≡ eeei ·eeej .

Page 20: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

26 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

• Equivalently, we can write

aaa·bbb = aieeei ·b jeee

j = gi j aib j ,

where the metric tensorgi j with two upper indices is defined by

gi j ≡ eeei ·eeej ,

• Also, we can write

aaa·bbb = aieeei ·b jeeej = gi

jaibj ,

where the metric tensorgij with mixed upper and lower indices

is defined bygi

j ≡ eeei ·eeej = δ ij ,

• From these considerations it follows that the scalar product oftwo vectors may be written in any of the following equivalentways,

aaa·bbb≡ aibi ≡ aibi = gi j a

ib j = gi j aib j = gijaib

j .

• Expressions of the formaibi ≡ ∑i aibi are termedcomplete con-tractions on the indexi, since the sum on the repeated indexremoves it from the expression (it does not appear on the leftside of the equation).

Page 21: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

2.1. COORDINATE SYSTEMS IN EUCLIDEAN SPACE 27

2.1.5 Properties of the Metric Tensor

• Because it may be defined through scalar products of basis vec-tors, the metric tensor must be symmetric in its indices:

gi j = g ji gi j = g ji .

• Since

gi j aib j = gi j b

jai = aibi gi j aib j = gi j b jai = aibi

are valid for arbitrary vector components, it follows that

gi j bj = bi gi j b j = bi.

That is,

Contraction with the metric tensor may be used to raise orlower an index on a vector.

• From the two expressions in the preceding equation

bi = gi j b j = gi j g jkbk,

and since this is valid for arbitrary componentsbi, it follows thatthe metric tensor obeys

gi j g jk = gk jgji = δ i

k

Page 22: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

28 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

• Viewing gi j as the elements of a matrixG andgi j as the elementsof a matrixG, the equations

gi j = g ji gi j = g ji .

are equivalent to the matrix equationsG= GT andG= GT, whereT denotes the transpose of the matrix. The Kronecker delta isjust the3×3 unit matrix I , implying that

gi j g jk = gk jgji = δ i

k

may be written as the matrix equations

GG= GG = I .

• Therefore,

The matrix corresponding to the covariant components ofthe metric tensor is the inverse of the matrix correspondingto the contravariant components of the metric tensor, andone may be obtained from the other by matrix inversion.

Page 23: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

2.1. COORDINATE SYSTEMS IN EUCLIDEAN SPACE 29

Box 2.1 The Metric Tensor

Definition: gi j ≡ eeei ·eeej gi j ≡ eeei ·eeej gij ≡ eeei ·eeej = δ i

j

Scalar Product: aaa·bbb = gi j aib j = gi j aib j = gijaib j = aibi = aibi

Symmetry: gi j = g ji gi j = g ji

Contractions: gi j b j = bi gi j b j = bi

Orthogonality: gi j g jk = gk jg ji = δ ik

Matrix Properties : GG= GG = I G ≡ [gi j ] G≡ [gi j ]

Some basic properties of the metric tensor are summarized inBox2.1.

Page 24: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

30 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

2.1.6 Line Elements and Distances

• Assume coordinatesu1(t), u2(t), andu3(t) parameterized byt.

• As the parametert varies, the points characterized by the specificvalues of the coordinates

u1 = u1(t) u2 = u2(t) u3 = u3(t)

will trace out a curve in the three-dimensional space.

• The position vector for these points as a function oft is

rrr(t) = x(u1(t),u2(t),u3(t)) iii +y(u1(t),u2(t),u3(t)) jjj

+z(u1(t),u2(t),u3(t))kkk,

• By the chain rule

drrrdt

=∂rrr∂u1

du1

dt+

∂rrr∂u2

du2

dt+

∂rrr∂u3

du3

dt

rrr = u1eee1+ u2eee2+ u3eee3,

where the definitions

rrr ≡drrrdt

eeei ≡∂rrr∂ui ui ≡

dui

dt

have been used.

• In summation convention this equation isrrr = uieeei, which maybe expressed in differential form asdrrr = duieeei. Thus the squaredinfinitesimal distance along the curve is

ds2 = drrr ·drrr = duieeei ·dujeeej

= eeei ·eeej duiduj

= gi j duiduj ,

wheregi j ≡ eeei ·eeej has been used.

Page 25: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

2.1. COORDINATE SYSTEMS IN EUCLIDEAN SPACE 31

• Notice that in expressing the line element we use the usual con-vention thatdα2 ≡ (dα)2; that is,dα2 means the square ofdα,not the differential ofα2.

• Thus ds2 = gi j duiduj is the infinitesimal line element for thespace described by the metricgi j .

• The lengthd of a finite segment between pointsa andb is ob-tained from the integral

d =∫ b

a

(

gi jdui

dtduj

dt

)1/2

dt,

wheret parameterizes the position along the segment.

Page 26: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

32 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

Example 2.3

For plane polar coordinates(r,ϕ) we have

x = r cosϕ y = r sinϕ,

so the position vector may be expressed as

rrr = (r cosϕ) iii +(r sinϕ) jjj .

Then the basis vectors in the natural basis are

eee1 =∂rrr∂r

= (cosϕ)iii +(sinϕ) jjj eee2 =∂rrr∂ϕ

= −r(sinϕ) iii + r(cosϕ) jjj.

The elements of the metric tensor then follow fromgi j ≡ eeei ·eeej :

g11 = cos2ϕ +sin2ϕ = 1 g22 = r2(cos2ϕ +sin2ϕ) = r2

andg12 = g21 = 0, or in matrix form

gi j =

(

1 0

0 r2

)

.

Then the line element is

ds2 = gi j dxiduj = g11(du1)2+g22(du2)2 = dr2+ r2dϕ2,

whereu1 = r andu2 = ϕ.

Page 27: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

2.1. COORDINATE SYSTEMS IN EUCLIDEAN SPACE 33

ds

rdφ

(r, φ)

(r + dr , φ + dφ)

dr

x

y

x

y

(b)

(x, y)

(x + dx , y + dy)

dsdy

dx

ds2 = dx2 + dy2 ds2 = dr 2 + r 2dφ2

(a)

Figure 2.3:Examples of measuring distance in cartesian and plane polarcoordi-nates in a euclidean space.

These line elements expressed in cartesian and polar coordinates areillustrated in Fig. 2.3.

• Figs. 2.3(a) and (b) correspond to thesame space,parameterizedin terms of different coordinates.

• The form of the line element is different in the two parameteri-zations, but for any two nearby points the distance between themis given byds, independent of the coordinate system.

• Thus, the line elementdsis invariant under coordinate transfor-mations.

• Since the distance between any two points that are not nearbycan be obtained by integratingds, we conclude that generallythedistance between any two points is invariant under coordinatetransformations for metric spaces.

Page 28: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

34 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

The line element, which is specified in terms of the metrictensor, characterizes the geometry of the space because

• integrals of the line element define distances and

• angles can be defined in terms of ratios of distances.

Indeed, we could verify all the axioms of euclidean ge-ometry starting from the line elements if we chose to doso.

Page 29: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

2.2. NON-EUCLIDEAN GEOMETRY 35

φ

θ

R

r

C = 2πr

S

x

z

y

Figure 2.4:Measuring the circumference of a circle in curved space.

2.2 Non-Euclidean Geometry

Let us now consider non-euclidean geometries. A simple example ofnon-euclidean geometry is afforded by a sphere.

• Imposing a standard polar coordinate system(θ ,ϕ) on the sur-face of the sphere, the line element for a sphere is given by (Ex-ercise)

ds2 = R2(dθ2 +sin2θdϕ2),

whereR is the radius of the sphere.

Page 30: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

36 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

φ

θ

R

r

C = 2πr

S

x

z

y

Let us calculate the ratio of the circumference of a circle toits radiusfor this non-euclidean space.

• We may define a circle in the two-dimensional space by markinga locus of points lying a constant distanceS from a referencepoint, which we choose to be the north pole in the above figure.

• The θ angle subtended byS is S/R and r = Rsin(S/R). Thenfrom the geometry in the above figure, the circumference of thecircle is

C = 2πr = 2πRsinSR

= 2πS

(

1−S2

6R2 + . . .

)

.

• Alternatively, we may obtain the same result by integrating theline elementds2 = R2(dθ2+sin2θdϕ2),

C =∮

ds=∫ 2π

0Rsin

SR

dϕ = 2πRsinSR

.

Page 31: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

2.2. NON-EUCLIDEAN GEOMETRY 37

φ

θ

R

r

C = 2πr

S

x

z

y

• If the radius of the circle is much less than the radius of thesphere, the higher-order terms in the expansion of the sine maybe ignored and we obtain the euclidean resultC≃ 2πS.

• But more generally the deviation of the circumference of smallcircles drawn on the sphere from2πS is a measure of how muchthe sphere deviates from euclidean geometry.

Later, we will see how to use such considerations to de-fine a quantitative measure of curvature for non-euclideansurfaces.

Page 32: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

38 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

2.3 Transformations

It often proves useful to express physical quantities inmore than one coordinate system. It therefore becomesnecessary to understand how to transform between coor-dinate systems. This issue becomes particularly importantin general relativity where it is essential to ensure that thelaws of physics are not altered by the most general trans-formation between coordinate systems.

Page 33: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

2.3. TRANSFORMATIONS 39

e1

e2

φ

x

x1

x2e1'

e2'

'x1x2'

Figure 2.5:Rotation of coordinate system for a vectorxxx.

2.3.1 Rotational Symmetries

Consider the familiar example of the description of a vectorunderrotation of a coordinate system about thez axis by an angleϕ, asillustrated in Fig. 2.5.

• In terms of the original basis vectors{eeei} the vectorxxx has thecomponentsx1 andx2.

• After rotation of the coordinate system by the angleϕ to givethe new basis vectors{eee′i}, the vectorxxx has the componentsx′1andx′2 in the new coordinate system.

• The vectorxxx can be expanded in terms of the components foreither of these bases:

xxx = xieeei = x′ieee′i,

Page 34: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

40 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

e1

e2

φ

x

x1

x2e1'

e2'

'x1x2'

• We may use the geometry of the above figure to find that thecomponents in the two bases are related by the transformation

x′1

x′2

x′3

=

cosϕ sinϕ 0

−sinϕ cosϕ 0

0 0 1

x1

x2

x3

,

which may also be expressed as

x′i = Rijx

j ,

where theRij are the elements of the matrix in the preceding

equation.

• This transformation law holds for any vector. (We may, in fact,definea vector in thex–y plane to be a quantity that obeys thistransformation law.)

Page 35: Chapter 2 Coordinate Systems and Transformationseagle.phys.utk.edu/guidry/astro490/lectures/lecture490...Chapter 2 Coordinate Systems and Transformations A physical system has a symmetry

2.3. TRANSFORMATIONS 41

2.3.2 Galilean Transformations

Another simple example of a transformation is that between inertialframes in classical mechanics.

• Transformations between inertial frames with the same orienta-tion are calledboosts.

• In Newtonian physics time is considered an absolute quantityand boosts take the Galilean form

xxx′ = xxx′(xxx,t) = xxx−vvvt t′ = t ′(xxx,t) = t.

• The Newtonian version of relativity asserts that the laws of physicsare invariant under such Galilean transformations.

• Although the laws of mechanics at low velocity are invariantunder Galilean transformations, the laws of electromagnetism(Maxwell’s equations) are not.

• Indeed, the failure of Galilean invariance for the Maxwellequa-tions was a large motivation in Einstein’s eventual demonstrationthat laws of mechanics are not covariant with respect to Galileantransformations at high velocity.

• As we shall discuss further later, in the absence of gravitythelaws of both mechanics and electromagnetism are generally onlyinvariant under Lorentz transformations.

• In the presence of a gravitational field, neither Galilean nor Lorentzinvariance holds and we will be forced to seek a more generalinvariance to describe systems that are subject to gravitationalforces.