Physics on Curved Spaces 2

Similar documents
Physics on Curved Spaces 2

Physics on Curved Spaces 2

Overthrows a basic assumption of classical physics - that lengths and time intervals are absolute quantities, i.e., the same for all observes.

General Relativity (j µ and T µν for point particles) van Nieuwenhuizen, Spring 2018

Special Theory of Relativity

Lecture: General Theory of Relativity

Curved Spacetime III Einstein's field equations

Number-Flux Vector and Stress-Energy Tensor

Gravitation: Gravitation

Chapter 7 Curved Spacetime and General Covariance

Curved spacetime and general covariance

Review of General Relativity

Lecture VIII: Linearized gravity

Physics 411 Lecture 22. E&M and Sources. Lecture 22. Physics 411 Classical Mechanics II

A brief introduction to modified theories of gravity

Linearized Gravity Return to Linearized Field Equations

SPECIAL RELATIVITY AND ELECTROMAGNETISM

Continuity Equations and the Energy-Momentum Tensor

Problem Set #4: 4.1, 4.3, 4.5 (Due Monday Nov. 18th) f = m i a (4.1) f = m g Φ (4.2) a = Φ. (4.4)

Properties of Traversable Wormholes in Spacetime

Mechanics Physics 151

Einstein Toolkit Workshop. Joshua Faber Apr

Lecture: Lorentz Invariant Dynamics

Math. 460, Sec. 500 Fall, Special Relativity and Electromagnetism

GENERAL RELATIVITY: THE FIELD THEORY APPROACH

Chapter 12. Electrodynamics and Relativity. Does the principle of relativity apply to the laws of electrodynamics?

Scalar Fields and Gauge

Covariant Formulation of Electrodynamics

Construction of Field Theories

Gravitation: Special Relativity

CHAPTER 6 EINSTEIN EQUATIONS. 6.1 The energy-momentum tensor

Quantum Field Theory Notes. Ryan D. Reece

Einstein s Theory of Gravity. December 13, 2017

INTRODUCTION TO GENERAL RELATIVITY AND COSMOLOGY

Dynamics of Relativistic Particles and EM Fields

Gauge Theory of Gravitation: Electro-Gravity Mixing

We begin our discussion of special relativity with a power point presentation, available on the website.

Lecture 13 Notes, Electromagnetic Theory II Dr. Christopher S. Baird, faculty.uml.edu/cbaird University of Massachusetts Lowell

The principle of equivalence and its consequences.

matter The second term vanishes upon using the equations of motion of the matter field, then the remaining term can be rewritten

Lorentz Transformations and Special Relativity

Chapter 11. Special Relativity

Uniformity of the Universe

FYS 3120: Classical Mechanics and Electrodynamics

Lecture 16 March 29, 2010

Week 9: Einstein s field equations

Vectors in Special Relativity

Lecturer: Bengt E W Nilsson

Relativistic Mechanics

Introduction to tensor calculus

Scott Hughes 12 May Massachusetts Institute of Technology Department of Physics Spring 2005

Curved Spacetime I. Dr. Naylor

Variational Principle and Einstein s equations

Gravity and action at a distance

Curved Spacetime... A brief introduction

GRAVITATION F10. Lecture Maxwell s Equations in Curved Space-Time 1.1. Recall that Maxwell equations in Lorentz covariant form are.

Write your CANDIDATE NUMBER clearly on each of the THREE answer books provided. Hand in THREE answer books even if they have not all been used.

Gravitation: Tensor Calculus

Physics 209 Fall 2002 Notes 5 Thomas Precession

A Brief Introduction to Relativistic Quantum Mechanics

Notes on General Relativity Linearized Gravity and Gravitational waves

Rank Three Tensors in Unified Gravitation and Electrodynamics

Do You Need to Understand General Relativity to Understand Gravitation?

A873: Cosmology Course Notes. II. General Relativity

carroll/notes/ has a lot of good notes on GR and links to other pages. General Relativity Philosophy of general

g ab dx a dx b b 2 d τ 2, (1)

Classical Field Theory

We would like to give a Lagrangian formulation of electrodynamics.

u r u r +u t u t = 1 g rr (u r ) 2 +g tt u 2 t = 1 (u r ) 2 /(1 2M/r) 1/(1 2M/r) = 1 (u r ) 2 = 2M/r.

Non-gravitating waves

LOCALIZATION OF FIELDS ON A BRANE IN SIX DIMENSIONS.

THE MAXWELL LAGRANGIAN IN PURELY AFFINE GRAVITY

Title. Author(s)Greve, Ralf. Issue Date Doc URL. Type. Note. File Information. A material called spacetime

Chapter 1. Continuum mechanics review. 1.1 Definitions and nomenclature

has a lot of good notes on GR and links to other pages. General Relativity Philosophy of general relativity.

Black Hole Astrophysics Chapters ~9.2.1

Lecture IX: Field equations, cosmological constant, and tides

Special and General Relativity (PHZ 4601/5606) Fall 2018 Classwork and Homework. Every exercise counts 10 points unless stated differently.

General Relativity (225A) Fall 2013 Assignment 8 Solutions

Review of fluid dynamics

Covariant Formulation of Electrodynamics

Week 1. 1 The relativistic point particle. 1.1 Classical dynamics. Reading material from the books. Zwiebach, Chapter 5 and chapter 11

Übungen zu RT2 SS (4) Show that (any) contraction of a (p, q) - tensor results in a (p 1, q 1) - tensor.

We used this in Eq without explaining it. Where does it come from? We know that the derivative of a scalar is a covariant vector, df

Metric-affine theories of gravity

E & M Qualifier. January 11, To insure that the your work is graded correctly you MUST:

Chapter 5. The Differential Forms of the Fundamental Laws

16. Einstein and General Relativistic Spacetimes

Physics 4183 Electricity and Magnetism II. Covariant Formulation of Electrodynamics-1

Maxwell's Equations and Conservation Laws

Imperial College 4th Year Physics UG, General Relativity Revision lecture. Toby Wiseman; Huxley 507,

Covariant Electromagnetic Fields

Chapter 1. Maxwell s Equations

Vector Field Theory (E&M)

Summary of the Equations of Fluid Dynamics

General Relativity (225A) Fall 2013 Assignment 2 Solutions

General Relativity and Cosmology Mock exam

Symmetry Transformations, the Einstein-Hilbert Action, and Gauge Invariance

Exercises in field theory

Physics 506 Winter 2008 Homework Assignment #8 Solutions. Textbook problems: Ch. 11: 11.5, 11.13, 11.14, 11.18

Transcription:

Physics on Curved Spaces 2 May 11, 2017 2 Based on: General Relativity M.P.Hobson, G. Efstahiou and A.N. Lasenby, Cambridge 2006 (Chapter 6 ) Gravity E. Poisson, C.M. Will, Cambridge 2014 Physics on Curved Spaces 3

The electromagnetic (EM) force of a moving charge In an inertial frame S, the 3-force on a particle of charge q moving in an EM field is: ( ) f = q E + u B This equation suggests that the force is proportional to the velocity and this means that the extension of this equation in a 4-dim spacetime should be of the form: f = qf u f µ = qf µν u ν (1) where F (or F µν ) is the electromagnetic field tensor, the scalar q is some property of the particle that determines the strength of the EM force upon it (i.e. the charge). In order that the rest mass of a particle is not altered by the action of the EM force we require the latter to be a pure force or rest-mass preserving 4. This requires that u f = 0 or f µ u µ = qf µν u µ u ν = 0 This implies that EM field tensor must be antisymmetric (why?) F µν = F νµ 4 A force which does not change the rest mass of the object on which it acts is called a pure force Physics on Curved Spaces 5

The 4-current density In order to construct the field equations of the theory which will determine F(x) at any point in spacetime in terms of charges and currents we must find a covariant way of expressing the source term. Let us consider some general time-dependent charge distribution. At each event P of the spacetime we give the charge density ρ and 3-velocity u as measured in some inertial frame e.g. the frame in which u = 0 at P. In this frame the proper charge density is given by ρ 0 = qn 0, where q is the charge of each particle and n 0 is the number of particles in a unit volume. Physics on Curved Spaces 6

In some other frame S moving with speed v relative to S the volume will be Lorentz contracted along the direction of motion hence the number density of particles will be n = γ v n 0 and ρ = γ v ρ 0 i.e the charge density is not a scalar but transforms like the component of a vector. Thus the obvious choice of a source term for the EM field equations should be a 4-vector j = ρ 0 (x)u(x) and j j = ρ 2 0c 2 In an inertial frame S the components of the 4-current density j j µ = ρ 0 γ u (c, u) = (cρ, j) Thus we see that c 2 ρ 2 j 2 is a Lorentz invariant (j 2 = j j). Physics on Curved Spaces 7

The EM field equations The general form of the field equations will be F = k j. In Cartesian inertial coordinates x µ in some inertial frame S F µν, µ = k j ν. (2) This equation can be used to find a law for conservation of charges F µν, µν = k j ν, ν j ν, ν = 0 (why?) In a 3-vector notation we may write this in a well known form: ρ t + j = 0 which is similar to the non-relativistic equation of charge continuity, but we should use the relativistic expressions for ρ and j. - Do we have a viable theory? Physics on Curved Spaces 8

Do we have a viable theory? The field equations are given by eqn (2). But F µν has 6 independent components and from eqn (2) we get only 4 field equations. Our theory is underdetermined as it stands and this suggests that one can use a 4-vector potential A µ to construct F µν. In Cartesian coordinates we may write: F µν = A µ,ν A ν,µ (3) i.e. F µν is antisymmetric by construction and contains ONLY 4 independent fields A µ. Thus we can write the field equations (2) in terms of the 4-vector potential A µ η µσ (A λ,σµ A σ,λµ ) = k j λ (4) Physics on Curved Spaces 9

Alternatively, we can express electromagnetism entirely in terms of the EM field tensor and in this case, we require the 2 field equations: F µν,µ = k j µ (5) F [µν,σ] F µν,σ + F σµ,ν + F νσ,µ = 0 (6) The last equation can be easily derived from equation (3) (how?). Finally, the constant k can be found by demanding consistency with the standard Maxwell equations. In SI units we have k = µ 0, where ɛ 0 µ 0 = 1/c 2. Physics on Curved Spaces 10

Electromagnetism in the Lorenz gauge We can always add an arbitrary 4-vector Q µ to the 4-potential A µ. Thus in Cartesian inertial coordinates x µ we have A (new) µ = A µ + Q µ (7) This is not a coordinate transformation. The new EM field tensor will be: F µν (new) = A (new) ν,µ A (new) µ,ν = A ν,µ A µ,ν + Q ν,µ Q µ,ν (8) and the original EM field tensor will be recovered if Q ν,µ = Q µ,ν. This is possible if Q µ is the gradient of a scaler field i.e. Q µ = ψ,µ. This is called gauge freedom of the theory i.e. we are free to add the gradient of any scalar field ψ to the 4-vector potential A µ i.e. A (new) µ = A µ + ψ,µ (9) and still recover the same EM field tensor and the same EM field equations. This is an example of a gauge transformation, which is not a coordinate transformation. Physics on Curved Spaces 11

η νµ ψ,νµ ψ,µ,µ = 0. Physics on Curved Spaces 13 In the field equations η µσ (A λ,σµ A σ,λµ ) = µ 0 j λ (10) the 2nd term in the left hand side can be written as A µ,µλ thus this term can become zero by choosing a scalar field ψ such that A µ,µ = 0 (11) This condition is called Lorenz gauge 12 and simplifies the EM field equations η µσ A λ,σµ = A λ,µ,µ = η A λ = µ 0 j λ (12) The last 2 equations are the EM field equations in the Lorenz gauge. In the absence of charges and currents A µ admits wave solutions traveling with the speed of light. This is also true for the components of F µν since in this case we also have η F µν = 0. 12 Prove that this condition is preserved by any further gauge transformation Aµ A µ + ψ,µ if and only if

Electric and Magnetic Fields in inertial frames It is useful to define the components of F µν and A µ in terms of the familiar electric and magnetic 3-vector fields E and B in some inertial frame S. Thus the components of A µ can be written in terms of the electrostatic potential φ and the 3-dimesional vector potential A: ( A µ = φ/c, A ) (13) Then the Lorenz gauge condition becomes (why?): A + 1 c φ t = 0 and in this gauge, the field equations become 14 η A = µ0 j and η φ = ρ ɛ 0 (14) In terms of φ and A, the electric and magnetic fields in S are given by: B = A and E = φ A t (15) 14 ɛ0 : permittivity of free space, µ 0 magnetic permeability of free space, both are universal constants. SI UNITS: henries per meter, or newtons per ampere squared. Physics on Curved Spaces 15

These equations lead to Maxwell equations in the familiar form (prove it): E = ρ ɛ 0, E = B t B = 0, B = µ0 j + µ 0 ɛ 0 E t Finally, by using eqns (3) and (15) we can find (how?) that the covariant components of F µν in S are: 0 E 1 /c E 2 /c E 3 /c F µν = E 1 /c 0 B 3 B 2 E 2 /c B 3 0 B 1 E 3 /c B 2 B 1 0 (16) (17) The corresponding electric and magnetic fields E and B in some other Cartesian inertial frame S are most easily obtained by calculating the components of the EM field tensor F µν or the 4-potential A µ in this frame. Physics on Curved Spaces 16

Electromagnetism in arbitrary coordinates The EM field equations in Cartesian inertial coordinates are given by: F µν,µ = µ 0 j µ (18) F [µν,σ] F µν,σ + F σµ,ν + F νσ,µ = 0 (19) In such a coordinate system, the partial derivative is identical to the covariant derivative and we can rewrite the equations as: F µν ;µ = µ 0 j µ (20) F [µν;σ] F µν;σ + F σµ;ν + F νσ;µ = 0 (21) These new equations are fully covariant and if they are valid in one system of coordinates then they will be valid in all coordinate systems. In the same way we can write the EM field equations in terms of the 4-potential A µ η µσ (A λ,σµ A σ,λµ ) = k j λ g µσ (A λ;σµ A σ;λµ ) = µ 0 j λ (22) which is again a fully covariant equation. Physics on Curved Spaces 17

Gauge transformations are also permitted in arbitrary coordinates: A (new) µ = A µ + ψ,µ A µ + ψ ;µ (23) The Lorenz gauge condition in abritrary coordinates will be written as: A µ ;µ = 0 and in this case the EM field equations will be written as: g A µ = µ 0 j µ where the d Alembertian operator is: g = g µν µ ν = ν ν and in vacuuo we may again have: g A µ = 0 and g F µν = 0 (24) Finally, the charge conservation in arbitrary coordinates will be expressed as: j µ ;µ = 0. Obviously, the components of F µν and A µ in two different arbitrary coordinate systems x µ and x µ are related by: A µ = µ x x ν Aν and F µν µ x x µ = x σ x ρ F σρ (25) Physics on Curved Spaces 18

Equations of motion for charged particles The equation of motion of a charged particle in an EM field in a coordinate invariant form is: dp dτ = m du 0 dτ = q F u where m 0 is the rest mass of the particle, p is its 4-momentum, u is its 4-velocity and τ is the proper time measured along its worldline. In Cartesian inertial coordinates this will be written du µ m 0 dτ = q F µ ν u ν in an arbitrary coordinate system the derivative in left hand side must be replaced with the absolute (or intrinsic) derivative: Du µ ( ) du µ m 0 Dτ = m 0 dτ + Γµ νσu ν u σ = q F µ ν u ν where u µ = dx µ /dτ, since the 4-velocity is tangent to the particle s worldline x µ (τ). In arbitrary coordinates will be: d 2 x µ dτ 2 + dx ν dx σ Γµ νσ dτ dτ = q F µ dx ν ν m 0 dτ Physics on Curved Spaces 19 (26)

Conclusion The general procedure for converting an equation valid in Cartesian inertial coordinates into one that is valid in an arbitrary coordinate system is as follows: replace partial with covariant derivatives replace ordinary derivatives along curves with absolute (intrinsic) derivatives replace η µν with g µν. Physics on Curved Spaces 20

Energy-Momentum Tensor The energy momentum tensor T µν in Cartesian coortinates will be T µν = 1 (F µα F νβ η αβ 14 ) 4π ηµν F αβ F αβ The explicit form of the various components is: T 00 = 1 ( E 8π 2 + B 2) T 0i = 1 4π T ij = 1 8π (27) ( δ ij ε jkm E k B m) = 1 ( ) i E B 4π [( E 2 + B 2) δ ij 2 ( E i E j + B i B j)] (28) The component T 00 is the electromagnetic energy density The component T 0i = T i0 gives the momentum flux density of the EM field, referred as the Poynting vector. P = c ( ) E B 4π Physics on Curved Spaces 21

The spacelike diagonal component with i = j T ii = 1 [( E 8π 2 + B 2) 2 ( E i E i + B i B i)] gives the pressure normal to the face of a small cube of EM field The off-diagonal spacelike component with i j T ij = 1 ( E i E j + B i B j) 4π gives the shear stresses that act parallel to the faces of an infinitesimal region of the EM field EXAMPLE: The EM stress energy tensor for a constant electric field in the x direction will be (prove it): T 00 = E 2 8π, T xx = E 2 8π, T yy = T zz = E 2 8π what will be the components of this tensor in a frame S moving with a velocity v at the x-direction? Physics on Curved Spaces 22

Energy-Momentum Tensor To construct the gravitational field equations, we must find a covariant way of expressing the source term. We must find a tensor that describes the matter distribution at each event in spacetime. Let s start with dust, this is a time-dependent distribution of electrically neutral non-interacting particles, each of rest mass m 0. At each event P of the spacetime we can characterize the distribution completely by giving the matter density ρ and 3-velocity u as measured in some inertial frame. For example in an instantaneous rest frame S at a given point P, u = 0 while the proper density is given by ρ 0 = m 0 n 0, where m 0 is the rest mass of each particle and n 0 is the number of particles in the unit volume. Physics on Curved Spaces 23

In a moving frame S, the volume containing a fixed number of particles is Lorentz contracted along the direction of the motion thus n = γ u n and the mass of each particle in S is m = γ u m 0 thus the matter density in S is ρ = γ 2 uρ 0 This means that the matter density is not a scalar but does transform as the 00 component of rank-2 tensor. This suggests that the source term in the gravitational field equations should be a rank-2 tensor T µν = ρ 0 u µ u ν (29) In a local Cartesian coordinate frame the components of the 4-velocity for the fluid is u µ = γ u (c, u). In this frame the components of the enrgy-momentum tensor are: Energy - Momentum Tensor T 00 = ρu 0 u 0 = γ 2 uρc 2 energy density of the particles T 0k = ρu 0 u k = γ 2 uρcu k energy flux c 1 in the k-direction T k0 = ρu 0 u k = γ 2 uρcu k momentum density c in the k-direction T ij = ρu i u j = γ 2 uρu i u j the rate of flow of the i-component of momentum per unit area in the j-direction Physics on Curved Spaces 24

The Energy-Momentum tensor 25 25 wikipedia Physics on Curved Spaces 26

The Energy-Momentum tensor of a perfect fluid A perfect fluid is defined as one for which there are no forces between the particles and no heat conduction or viscosity. Thus in an inertial reference frame the components of T for a perfect fluid are given by: T µν = ρc 2 0 0 0 0 p 0 0 0 0 p 0 0 0 0 p while we can show that for inertial observers (or in STR) T µν = (ρ + p/c 2 )u µ u ν + η µν p (30) while in an arbitrary coordinate system it will be: T µν = (ρ + p/c 2 )u µ u ν + g µν p (31) Note : the T µν is symmetric and is made up from 2 scalar fields ρ and p and the vector field u that uniquely characterize the perfect fluid. Physics on Curved Spaces 27

The Energy-Momentum tensor of a real fluid For the general real fluid we have to take into account that: besides the bulk motion of the fluid, each particle has some random (thermal) velocity there may be various forces between the particles that contribute potential energies to the total. In this case the components of the energy momentum tensor will be: T 00 : is the total energy density, including any potential energy contributions from forces between the particles and kinetic energy from the random thermal motions. T 0i : although there is NO bulk motion, energy might transmitted by heat conduction i.e. it is a heat conduction term in the inertial frame of reference T i0 : if heat is being conducted then the energy will carry momentum T ij : the random thermal motions of the particles will give rise to momentum flow, so that T ii is the isotropic pressure in the i-direction and T ij (i j) are the viscous stresses in the fluid. Physics on Curved Spaces 28

Conservation of Energy & Momentum for a perfect fluid By analogy with equation j µ,µ = 0 for the conservation of charge, the conservation of energy and momentum is represented by T µν,ν = 0 (32) We will show that this relation leads to well known equations of motion and continuity for a fluid in the Newtonian limit. Substituting eqn (30) into equation (32) we get: ( ρ + p/c 2 ),ν uµ u ν + ( ρ + p/c 2) [(u µ,µ)u ν + u µ (u ν,µ)] η µν p,µ = 0 (33) from the normalization condition for the 4-velocity u ν u ν = c 2 by differentiation we get the relativistic equation of continuity for a perfect fluid in local inertial coordinates at a point P: (ρu µ ),µ + (p/c 2 )u µ,µ = 0 (34) and equation (33) becomes the relativistic equation of motion for a perfect fluid in local inertial coordinates at some point P: ( ρ + p/c 2 ) (u µ,µ)u ν = ( η µν u µ u ν /c 2) p,µ (35) Physics on Curved Spaces 29

A slowly moving fluid is the one for which we may neglect u/c and so take γ u 1 and u µ (c, u) and the proper density becomes the normal density. In this limit we get T 0ν,ν = 0 eqn (34) ρ t + (ρ u) = 0 (36) which is the classical equation of continuity for a fluid, and T jν,ν = 0 eqn (35) u ( t + u ) u = 1 p ρ (37) which Euler s equations of motion for a perfect fluid. We can easily obtain the condition for energy and momentum conservation in arbitrary coordinates by replacing the partial with the covariant derivative, and we get: T µν ;ν = 0 (38) This is a fundamental equation which imposes tight restrictions on the possible forms that the gravitational field equations may take. Physics on Curved Spaces 30

Linear Field Equations for Gravitation In the linear approximation for the gravitational field, we neglect the effects of the gravitational field on itself. 31 The approximation applies to all phenomena that lie in the region of overlap between Newton s and Einstein s theories. Although, it is true that the most spectacular results of gravitational theory depend in a crucial way on the nonlinearity of the field equations, almost all of the results that have been the subject of experimental investigation can be described by the linear approximation. The deflection of the light, the retardation of the light, the grav. time dilation and gravitational radiation emerge in the linear approximation. It will be instructive if we follow the same path as for constructing the Electromagnetic field equations which are linear. 31 From Gravitation & Spacetime H. Ohanian & R. Ruffini, W.W. Norton (1994) Physics on Curved Spaces 32

Linear Field Equations for Electromagnetism The most general form of the EM field equations will have the form: A ν,µ,µ + ba µ,ν,µ + aa ν = κj ν (39) where a, b and κ(= 4π) are constants. We can actually assume a = 0 since it leads to unphysical solutions. By taking the partial derivative on both sides we get and by rearranging the indices we get (A ν,µ,µ + ba µ,ν,µ),ν = 4πj ν,ν (40) (1 + b)a ν,µ,ν,µ = 4πj ν,ν (41) and because j ν,ν = 0 we get that b = 1 and the form of the field equations is A ν,µ,µ A µ,ν,µ = 4πj ν (42) or and obviously F µν,µ = 4πj ν for F µν = A µ,ν A ν,µ (43) F [µν,σ] F µν,σ + F σµ,ν + F νσ,µ = 0 (44) Physics on Curved Spaces 33

Linear Field Equations for Gravitation We will assume that our spacetime is the flat spacetime of STR and we look for a suitable field equation for the gravitational field. The first thing that we should decide is the source of the gravitation, and from Newtonian theory we know that the energy density is the best candidate. However, it is impossible to construct a Lorentz invariant theory of gravitation. As we have seen earlier, the energy density is just a component of the the energy density tensor T µν and if in one system of coordinates there exists only one component the T 00 this will not be true in any system. This means that the whole T µν will be the source of the gravitation field. 34 Since the source of gravitation is a 2nd-rank symmetric tensor the obvious choice is a 2nd rank symmetric field tensor lets say h µν. Then the most general field equation, linear in h µν is of 2nd differential order and contains the T µν as source term: ( ) h µν,λ,λ +αh,µν β h µλ,ν,λ + h νλ,µ,λ +γη µν h,λ,λ+δη µν h λσ,λσ = κt µν (45) where α, β, γ, δ and κ are arbitrary constants. 34 Can you find a good reason why the trace of T µν alone cannot be the source of the gravitational field? Physics on Curved Spaces 35

If we operate on both sides with / x µ the right hand side should vanish due to energy-momentum conservation (T µν,µ = 0). Then by rearranging the terms on the left hand side we get the following set of equations for the constants: β + δ = 0, 1 β = 0 and α + γ = 0. (How?) Thus β = δ = 1 & γ = α and the field equations will be written as ( ) h µν,λ,λ +αh,µν h µλ,ν,λ + h νλ,µ,λ αη µν h,λ,λ +η µν h λσ,λσ = κt µν (46) even α can be be eliminated if we introduce a new tensor of the form h µν = h µν Cη µν h by choosing C = (1 α)/(2 4α) (prove it?). Thus the relativistic field equation for gravitation in the linear approximation becomes: ( ) h µν,λ,λ + h,µν h µλ,ν,λ + h νλ,µ,λ η µν h,λ,λ + η µν h λσ,λσ = κt µν (47) while κ is the coupling constant of the theory and will be estimated from the Newtonian limit of the above equation. We will call h µν gravitational tensor potential in analogy to EM potential A µ. Physics on Curved Spaces 36

Besides the tensor field h µν one may consider extra scalar, vector or even tensor fields and to construct endlessly complicated theories. Jordan (1951) and Brans-Dicke (1961) suggested the least complicated scalar-tensor theory containing only an extra scalar field. This new scalar field has the effect of making the gravitational constant dependent on position. The experimental evidence (up to now) speaks against the scalar-tensor theory In EM we got a simplified field equation by taking advantage of the gauge invariance. The same can be done for gravitation and it can be shown that the field equations are invariant under the gauge transformation h µν (new) = hµν + Q µ,ν + Q ν,µ (48) where Q is an arbitrary vector field. In analogy to EM (Lorenz gauge) using the gauge condition known as Hilbert gauge 37 φ µν,µ = ( h µν 1 ) 2 ηµν h = 0 (49),µ 37 Show that if Q ν is solution of the differential equation Q ν,µ,µ = h µν,µ + 2 1 h,ν then h µν will satisfy (new) the Hilbert condition. Physics on Curved Spaces 38

Linear Field Equations for Gravitation If the Hilbert gauge condition holds; the field equations simplifies to: ( h µν 1 ),λ 2 ηµν h = κt µν (50),λ and by substituting φ µν = h µν 1 2 ηµν h (51) the field equation becomes φ µν µν,λ = φ,λ = κt µν (52) and the gauge condition φ µν,µ = 0 (53) Physics on Curved Spaces 39

Interaction of Gravitation and Matter In writing field eqn (52) we assumed that T µν was the energy - momentum tensor of matter. I.e in order to obtain the linear field equations we left out the effect of the gravitational field upon itself. Due to this our linear field equations have two drawbacks: According to eqn (52) matter acts on the gravitational fields and changes the fields, but there is no reciprocal action of the gravitational fields on matter, and the energy-momentum of matter is conserved T µν,ν = 0! This is an incosistency. Gravitational energy does not act as source of gravitation, in contradiction to the principle of equivalence. Thus eqn (52) is only an approximation for weak gravitational fields. The way to correct is to include the energy-momentum of the gravitational field in T µν i.e. T µν = T µν (m) + tµν (54) where T µν (m) and tµν are the energy momentum tensors of matter and gravitation. Physics on Curved Spaces 40

The field equations become: ( φ µν µν,λ = φ,λ = κ T µν (m) + t µν) (55) If we act on both side with / x ν we get (because of the Hilbert gauge) ( T µν (m) + t µν),ν = 0 (56) which expresses the conservation of the total energy-momentum, and raises the inconsistencies mentioned earlier. But, t µν is still unknown and we can find it only approximately. If we assume a solution of the above eqn free of sources i.e. φ µν,λ,λ = 0 from field theory we get a first order approximation to the energy-momentum tensor of the gravitational field t µν (1) = 1 [2φ αβ,µ φ,ν αβ φ,µ φ,ν η (φ µν αβ,σ φ αβ,σ 12 )] 4 φ,σφ,σ (57) Thus the new approximate form of the grav. field equations will be: ( φ µν µν,λ = φ,λ = κ T µν (m) + t µν) (1) (58) Physics on Curved Spaces 41

The corresponding equation for the conservation of the total energy-momentum is ( T(m) µν + t (1) µν ),ν 0 (59) this can be used to derive the equation of motion. Thus by expanding the above equation we get (how?): µν t (1) = 1 ( ) 2φ αβ,µ φ,ν αβ 4,ν,ν φ,µ φ,ν,ν κ ( 2φ αβ,µ T (m)αβ φ,µ ) T (m) +... 4 (60) we can obtain (how?): µν T (m) κ,ν 2 T (m)αβ (φ αβ,µ 12 ) ηαβ φ,µ = 0 (61) or ν T(m) µ,ν κ 2 h αβ,µt αβ (m) = 0 (62) This equation tells how much energy and momentum the gravitational field transfers to the matter on which it acts. In other words it determines the rate at which the momentum of a particle changes and therefore it determines the equation of motion of a particle acted upon a gravitational field. Physics on Curved Spaces 42

To derive this equation of motion we integrate equation (62) over the volume of the particle (a small system of finite size). The 1st term gives: d 0 T(m)µ dt d 3 x d dt P µ (63) For the 2nd term of (62) we should remember that: αβ T(m) = ρ 0 u α u β +... (64) then 43 κ 2 h αβ,µ αβ T(m) d 3 x κ 2 h αβ,µ 1 u2 mu α u β (65) Thus we finally get (how?) d dτ P µ = κ 2 mh αβ,µu α u β which has the right form for an equation of motion 43 Show that ρ 0u α u β d 3 x = mu α u β 1 u 2 Physics on Curved Spaces 44

If we assume that : L x µ = κ 2 mh αβ,µu α u β and L u µ = P µ (66) we get the Euler -Lagrange form of equations of motion. Actually, in the absence of forces the Lagrangian will have the form L 0 = 1 2 m η αβu α u β while in the presence of a field becomes: L = 1 2 m ( η αβ + κ h αβ ) u α u β notice that h αβ is a quantity related to the spacetime while h αβ is the tensor potential of our theory. But because of the Euler-Lagrange equations these two quantities are identical and this suggests that a relation between the geometrical quantity h αβ and the physical quantity h αβ! Physics on Curved Spaces 45

NOTE 1 : We have created a relation between physical and geometrical quantities Alternatively, if in the geodesic equations one assumes that g µν = η µν + κh µν then it comes to the equation d dτ (u µ + κh µα u α ) κ 2 h αβ,µu α u β = 0. (67) NOTE 2 : That the equation of motion of a particle in a gravitational field is independent of the mass of the particle, in agreement with Galileo principle. NOTE 3 : The equations of motion of a particle is no more than a statement about the exchange of momentum between particle and field. Hence the equations of motion cannot be independent of the conservation law for the energy-momentum tensor of the fields. Physics on Curved Spaces 46