A Short Introduction to Tensor Analysis 2

Transcript

1 A Short Introduction to Tensor Analysis 2 Kostas Kokkotas November 12, This chapter based strongly on Lectures of General Relativity by A. Papapetrou, D. Reidel publishing company, (1974) Kostas Kokkotas A Short Introduction to Tensor Analysis 3

2 Scalars and Vectors A n-dim manifold is a space M on every point of which we can assign n numbers (x 1,x 2,...,x n ) - the coordinates - in such a way that there will be an one to one correspondence between the points and the n numbers. Every point of the manifold has its own neighborhood which can be mapped to a n-dim Euclidean space. The manifold cannot be always covered by a single system of coordinates and there is not a preferable one either. The coordinates ( of the point P are connected by relations of the form: x µ = x µ x 1, x 2,..., x n) for µ = 1,..., n and their inverse x µ = x µ (x 1, x 2,..., x n ) for µ = 1,..., n. If there exist A µ ν = then the manifold is called differential. µ x x ν and A ν µ = x ν det A µ ν (1) x µ Kostas Kokkotas A Short Introduction to Tensor Analysis 4

3 Any physical quantity, e.g. the velocity of a particle, is determined by a set of numerical values - its components - which depend on the coordinate system. Tensors Studying the way in which these values change with the coordinate system leads to the concept of tensor. With the help of this concept we can express the physical laws by tensor equations, which have the same form in every coordinate system. Scalar field : is any physical quantity determined by a single numerical value i.e. just one component which is independent of the coordinate system (mass, charge,...) Vector field (contravariant): an example is the infinitesimal displacement vector, leading from a point A with coordinates x µ to a neighbouring point A with coordinates x µ + dx µ. The components of such a vector are the differentials dx µ. Kostas Kokkotas A Short Introduction to Tensor Analysis 5

4 Any physical quantity, e.g. the velocity of a particle, is determined by a set of numerical values - its components - which depend on the coordinate system. Tensors Studying the way in which these values change with the coordinate system leads to the concept of tensor. With the help of this concept we can express the physical laws by tensor equations, which have the same form in every coordinate system. Scalar field : is any physical quantity determined by a single numerical value i.e. just one component which is independent of the coordinate system (mass, charge,...) Vector field (contravariant): an example is the infinitesimal displacement vector, leading from a point A with coordinates x µ to a neighbouring point A with coordinates x µ + dx µ. The components of such a vector are the differentials dx µ. 5 This chapter based strongly on Lectures of General Relativity by A. Papapetrou, D. Reidel publishing company, (1974) Kostas Kokkotas A Short Introduction to Tensor Analysis 6

5 Vector Transformations From the infinitesimal vector AA with components dx µ we can construct a finite vector v µ defined at A. This will be the tangent vector to the curve x µ = f µ (λ) where the points A and A correspond to the values λ and λ + dλ of the parameter. Then v µ = dx µ dλ. (2) Any transformation from x µ to x µ (x µ x µ ) will be determined by n equations of the form: x µ = f µ (x ν ) where µ, ν = 1, 2,..., n. This means that : d x µ = ν x µ x ν dx ν = ν f µ x ν dx ν for ν = 1,..., n (3) and ṽ µ = d x µ dλ = ν x µ dx ν x ν dλ = ν x µ x ν v ν (4) Kostas Kokkotas A Short Introduction to Tensor Analysis 7

6 Contravariant and Covariant Vectors Contravariant Vector: is a quantity with n components depending on the coordinate system in such a way that the components a µ in the coordinate system x µ are related to the components ã µ in x µ by a relation of the form ã µ = x µ x ν aν (5) ν Covariant Vector: eg. b µ, is an object with n components which depend on the coordinate system on such a way that if a µ is any contravariant vector, the following sums are scalars b µ a µ = b µ ã µ = φ for any x µ x µ [ Scalar Product] µ µ The covariant vector will transform as (why?): (6) b µ = ν x ν x µ b ν or b µ = ν x ν x µ b ν (7) What is Einstein s summation convention? Kostas Kokkotas A Short Introduction to Tensor Analysis 8

7 Tensors: at last A contravariant tensor of order 2 is a quantity having n 2 components T µν which transforms (x µ x µ ) in such a way that, if a µ and b µ are arbitrary covariant vectors the following sums are scalars: T λµ a µ b λ = T λµ ã λ bµ φ for any x µ x µ (8) Then the transformation formulae for the components of the tensors of order 2 are (why?): T αβ = x α x µ x β x ν T µν, T α β The Kronecker symbol δ λ µ = = x α x µ x ν x β T µ ν & T αβ = x µ x α x ν { 0 if λ µ, 1 if λ = µ. x β T µν is a mixed tensor having frame independent values for its components. Tensors of higher order: T αβγ... µνλ... Kostas Kokkotas A Short Introduction to Tensor Analysis 9

8 Tensor algebra Tensor addition : Tensors of the same order (p, q) can be added, their sum being again a tensor of the same order. For example: ã ν + b ν = x ν x µ (aµ + b µ ) (9) Tensor multiplication : The product of two vectors is a tensor of order 2, because ã α bβ = x α x β x µ x ν aµ b ν (10) in general: T µν = A µ B ν or T µ ν = A µ B ν or T µν = A µ B ν (11) Kostas Kokkotas A Short Introduction to Tensor Analysis 10

9 Tensor algebra Contraction: for any mixed tensor of order (p, q) leads to a tensor of order (p 1, q 1) (prove it!) T λµν λα = T µν α (12) Trace: of the mixed tensor T α β is called the scalar T = T α α. Symmetric Tensor : T λµ = T µλ ort (λµ), T νλµ = T νµλ or T ν(λµ) Antisymmetric : T λµ = T µλ or T [λµ], T νλµ = T νµλ or T ν[λµ] Number of independent components : Symmetric : n(n + 1)/2, Antisymmetric : n(n 1)/2 Kostas Kokkotas A Short Introduction to Tensor Analysis 11

10 Tensors: Differentiation We consider a region V of the space in which some tensor, e.g. a covariant vector a λ, is given at each point P(x α ) i.e. a λ = a λ (x α ) We say then that we are given a tensor field in V. The simplest tensor field is a scalar field φ = φ(x α ) and its derivatives are the components of a covariant tensor! φ x λ = x α φ x λ x α we will use: φ x α = φ,α α φ (13) i.e. φ,α is the gradient of the scalar field φ. The derivative of a contravariant vector field A µ is : A µ,α Aµ x α = ( ) x µ x α x ν Ãν = x ρ ( x µ x α x ρ = x ν Ãν 2 x µ x ρ x ν x ρ x α Ãν + x µ x ρ Ãν x ν x α x ρ (14) Without the first term in the right hand side this equation would be the transformation formula for a mixed tensor of order 2. Kostas Kokkotas A Short Introduction to Tensor Analysis 12 )

11 Tensors: Connections The transformation (x µ x µ ) of the derivative of a vector is: A µ,α = x µ x ρ x ν x α [Ãν,ρ + 2 x κ x ν } x σ x {{ ρ x κ Ã σ ] (15) } Γ ν σρ in another coordinate (x µ x µ ) we get again: A µ,α = x µ x ν x ρ x α [A ν,ρ + Γ ν σρa σ ]. (16) Suggesting that the transformation ( x µ x µ ) will be: Ã µ,α + Γ µ αλãλ = x µ x ρ x ν x α (A ν,ρ + Γ ν σρa σ ) (17) The necessary and sufficient condition for A µ,α to be a tensor is: Γ λ ρν = 2 x µ x ν x ρ x λ x µ + x κ x ρ x σ x ν x λ x µ Γµ κσ. (18) Γ λ ρν is the called the connection of the space and it is not tensor. Kostas Kokkotas A Short Introduction to Tensor Analysis 13

12 Covariant Derivative According to the previous assumptions, the following quantity transforms as a tensor of order 2 A µ ;α = A µ,α + Γ µ αλa λ or α A µ = α A µ + Γ µ αλa λ (19) and is called covariant derivative of the contravariant vector A µ. In similar way we get (how?) : φ ;λ = φ,λ (20) A λ;µ = A λ,µ Γ ρ µλ A ρ (21) T λµ ;ν = T λµ,ν + Γ λ ανt αµ + Γ µ ανt λα (22) T λ µ;ν = T λ µ,ν + Γ λ ανt α µ Γ α µνt λ α (23) T λµ;ν = T λµ,ν Γ α λνt µα Γ α µνt λα (24) T λµ νρ ;σ = T λµ νρ,σ + Γ λ ασt αµ νρ + Γ µ ασt λα νρ + Γ α νσt λµ αρ Γ α ρσt λµ να (25) Kostas Kokkotas A Short Introduction to Tensor Analysis 14

13 Parallel Transport of a vector The connection Γ λ µν helps is determining a vector A µ = a µ + δa µ, at a point P, which can be considered as equivalent to the vector a µ given at P. a µ = a µ (P ) a µ (P) = a µ (P) + a µ,ν (P)dx ν a µ (P) = a µ,ν dx ν a µ (P ) A µ (P ) = a µ + a µ }{{}}{{} vector at point P (a µ + δa µ ) }{{} at point P = a µ,ν dx ν δa µ = ( a µ,ν C λ ) }{{} µνa λ dx ν vector i.e. = a µ δa µ }{{} vector δa µ = C λ µνa λ dx ν Kostas Kokkotas A Short Introduction to Tensor Analysis 15

14 δa µ = Γ λ µνa λ dx ν for covariant vectors (26) δa µ = Γ µ λνa λ dx ν for contravariant vectors (27) Parallel Transport The connection Γ λ µν allows to define the transport of a vector a λ from a point P to a neighbouring point P (Parallel Transport). The parallel transport of a scalar field is zero! δφ = 0 (why?) Kostas Kokkotas A Short Introduction to Tensor Analysis 16

15 Review of the 1st Lecture Tensor Transformations b µ = ν x ν x µ b ν and ã µ = ν x µ x ν aν (28) T αβ = x α x β x µ x ν T µν, T β α Covariant Derivative = x α x µ x ν x β T µ ν & T αβ = x µ x α x ν x β T µν φ ;λ = φ,λ (29) A λ;µ = A λ,µ Γ ρ µλ A ρ (30) T λµ ;ν = T λµ,ν + Γ λ ανt αµ + Γ µ ανt λα (31) Parallel Transport δa µ = Γ λ µνa λ dx ν for covariant vectors (32) δa µ = Γ µ λνa λ dx ν for contravariant vectors (33) Kostas Kokkotas A Short Introduction to Tensor Analysis 17

16 Curvature Tensor The trip of a parallel transported vector along a closed path The parallel transport of the vector a λ from the point P to A leads to a change of the vector by a quantity Γ λ µν(p)a µ dx ν and the new vector is: a λ (A) = a λ (P) Γ λ µν(p)a µ dx ν (34) A further parallel transport to the point B will lead the vector a λ (B) = a λ (A) Γ λ ρσ(a)a ρ (A)δx σ = a λ (P) Γ λ µν(p)a µ dx ν Γ λ ρσ(a) [ a ρ (P) Γ ρ βν(p)a β dx ν] δx σ Kostas Kokkotas A Short Introduction to Tensor Analysis 18

17 Since both dx ν and δx ν assumed to be small we can use the following expression Γ λ ρσ(a) Γ λ ρσ(p) + Γ λ ρσ,µ(p)dx µ. (35) Thus we have estimated the total change of the vector a λ from the point P to B via A (all terms are defined at the point P). a λ (B) = a λ Γ λ µνa µ dx ν Γ λ ρσa ρ δx σ + Γ λ ρσγ ρ βν aβ dx ν δx β + Γ λ ρσ,τ a ρ dx τ δx σ Γ λ ρσ,τ Γ ρ βνa β dx τ dx ν δx σ If we follow the path P C B we get: a λ (B) = a λ Γ λ µνa µ δx ν Γ λ ρσa ρ dx σ +Γ λ ρσγ ρ βνa β δx ν dx β +Γ λ ρσ,τ a ρ δx τ dx σ and the effect on the vector will be δa λ a λ (B) a λ (B) = a β (dx ν δx σ dx σ δx ν ) ( ) Γ λ ρσγ ρ βν + Γλ βσ,ν (36) Kostas Kokkotas A Short Introduction to Tensor Analysis 19

18 By exchanging the indices ν σ and σ ν we construct a similar relation δa λ = a β (dx σ δx ν dx ν δx σ ) ( Γ λ ρνγ ρ βσ + Γ λ ) βν,σ (37) and the total change will be given by the following relation: δa λ = 1 2 aβ R λ βνσ (dx σ δx ν dx ν δx σ ) (38) where R λ βνσ = Γ λ βν,σ + Γ λ βσ,ν Γ µ βνγ λ µσ + Γ µ βσγ λ µν (39) is the curvature tensor. Kostas Kokkotas A Short Introduction to Tensor Analysis 20

19 Geodesics For a vector u λ at point P we apply the parallel transport along a curve on an n-dimensional space which will be given by n equations of the form: x µ = f µ (λ); µ = 1, 2,..., n If u µ = dx µ dλ is the tangent vector at P the parallel transport of this vector will determine at another point of the curve a vector which will not be in general tangent to the curve. If the transported vector is tangent to any point of the curve then this curve is a geodesic curve of this space and is given by the equation : du ρ dλ + Γρ µνu µ u ν = 0. (40) Geodesic curves are the shortest curves connecting two points on a curved space. Kostas Kokkotas A Short Introduction to Tensor Analysis 21

20 Metric Tensor A space is called a metric space if a prescription is given attributing a scalar distance to each pair of neighbouring points The distance ds of two points P(x µ ) and P (x µ + dx µ ) is given by ds 2 = ( dx 1) 2 + ( dx 2 ) 2 + ( dx 3 ) 2 In another coordinate system, x µ, we will get which leads to: (41) dx ν = x ν x α d x α (42) ds 2 = g µν d x µ d x ν = g αβ dx α dx β. (43) This gives the following transformation relation (why?): g µν = x α x µ x β x ν g αβ (44) suggesting that the quantity g µν is a symmetric tensor, the so called metric tensor. The relation (43) characterises a Riemannian space: This is a metric space in which the distance between neighbouring points is given by (43). Kostas Kokkotas A Short Introduction to Tensor Analysis 22

21 If at some point P there are given 2 infinitesimal displacements d (1) x α and d (2) x α, the metric tensor allows to construct the scalar g αβ d (1) x α d (2) x β which shall call scalar product of the two vectors. Properties: g µν A µ = A ν, g µν T µα = T α ν, g µν T µ α = T αν, g µν g ασ T µα = T νσ Metric element for Minkowski spacetime ds 2 = dt 2 + dx 2 + dy 2 + dz 2 (45) ds 2 = dt 2 + dr 2 + r 2 dθ 2 + r 2 sin 2 θdφ 2 (46) For a sphere with radius R : ds 2 = R 2 ( dθ 2 + sin 2 θdφ 2) (47) The metric element of a torus with radii a and b ds 2 = a 2 dφ 2 + (b + a sin φ) 2 dθ 2 (48) Kostas Kokkotas A Short Introduction to Tensor Analysis 23

22 The contravariant form of the metric tensor: g µα g αβ = δ β µ where g αβ = 1 det g µν G αβ With g µν we can now raise lower indices of tensors minor determinant (49) A µ = g µν A ν, T µν = g µρ T ν ρ = g µρ g νσ T ρσ (50) The angle, ψ, between two infinitesimal vectors d (1) x α and d (2) x α is: g αβ d (1) x α d (2) x β cos(ψ) = gρσ d (1) x ρ d (1) x σ g µν d (2) x µ d (2) x. (51) ν Kostas Kokkotas A Short Introduction to Tensor Analysis 24

23 The Determinant of g µν The quantity g det g µν is the determinant of the metric tensor. The determinant transforms as : x g = det g µν = det (g α x β ) ( ) ( ) x α x β αβ x µ x ν = det g αβ det x µ det x ν = (det x α ) 2 x µ g = J 2 g (52) where J is the Jacobian of the transformation. This relation can be written also as: g = J g (53) i.e. the quantity g is a scalar density of weight 1. The quantity g δv g dx 1 dx 2... dx n (54) is the invariant volume element of the Riemannian space. If the determinant vanishes at a point P the invariant volume is zero and this point will be called a singular point. Kostas Kokkotas A Short Introduction to Tensor Analysis 25

24 Christoffel Symbols In Riemannian space there is a special connection derived directly from the metric tensor. This is based on a suggestion originating from Euclidean geometry that is : If a vector a λ is given at some point P, its length must remain unchanged under parallel transport to neighboring points P. a 2 P = a 2 P or g µν(p)a µ (P)a ν (P) = g µν (P )a µ (P )a ν (P ) (55) Since the distance between P and P is dx ρ we can get g µν (P ) g µν (P) + g µν,ρ (P)dx ρ (56) a µ (P ) a µ (P) Γ µ σρ(p)a σ (P)dx ρ (57) Kostas Kokkotas A Short Introduction to Tensor Analysis 26

25 By substituting these two relation into equation (55) we get (how?) (g µν,ρ g µσ Γ σ νρ g σν Γ σ µρ) a µ a ν dx ρ = 0 (58) This relations must by valid for any vector a ν and any displacement dx ν which leads to the conclusion the the relation in the parenthesis is zero. Closer observation shows that this is the covariant derivative of the metric tensor! g µν;ρ = g µν,ρ g µσ Γ σ νρ g σν Γ σ µρ = 0. (59) i.e. g µν is covariantly constant. This leads to a unique determination of the connections of the space (Riemannian space) which will have the form (why?) Γ α µρ = 1 2 g αν (g µν,ρ + g νρ,µ g ρµ,ν ) (60) and will be called Christoffel Symbols. It is obvious that Γ α µρ = Γ α ρµ. Kostas Kokkotas A Short Introduction to Tensor Analysis 27

26 Geodesics in a Riemann Space The geodesics of a Riemannian space have the following important property. If a geodesic is connecting two points A and B is distinguished from the neighboring lines connecting these points as the line of minimum or maximum length. The length of a curve, x µ (s), connecting A and B is: S = B A ds = B A [g µν (x α ) dx µ ds dx ν ] 1/2 ds ds A neighboring curve x µ (s) connecting the same points will be described by the equation: x µ (s) = x µ (s) + ɛ ξ µ (s) (61) where ξ µ (A) = ξ µ (B) = 0. The length of the new curve will be: B S = [g µν ( x α ) d x µ d x ν ] 1/2 ds (62) ds ds A Kostas Kokkotas A Short Introduction to Tensor Analysis 28

27 For simplicity we set: f (x α, u α ) = [g µν (x α )u µ u ν ] 1/2 and f ( x α, ũ α ) = [g µν ( x α )ũ µ ũ ν ] 1/2 u µ = ẋ µ = dx µ /ds and u µ = x µ = d x µ /ds = ẋ + ɛ ξ µ (63) Then we can create the difference δs = S S 29 δs = = ɛ B A B A δf ds = B A [ f x α d ds ( f f ) ds ( )] f B u α ξ α ds + ɛ A ( ) d f ds u α ξα ds The last term does not contribute and the condition for the length of S to be an extremum will be expressed by the relation: 29 We make use of the following relations: ( f ( x α, ũ α ) = f (x α + ɛξ α, u α + ɛ ξ α ) = f (x α, u α ) + ɛ ξ α f x α + ξ α f ) u α + O(ɛ 2 ) d ds ( ) f u α ξα = f ξ α u α + d ( ) f ds u α ξ α Kostas Kokkotas A Short Introduction to Tensor Analysis 30

28 B [ f δs = ɛ A x α d ( )] f ds u α ξ α ds = 0 (64) Since ξ α is arbitrary, we must have for each point of S: ( ) d f ds u µ f x µ = 0 (65) Notice that the Langrangian of a freely moving particle with mass m = 2, is: L = g µν u µ u ν f 2 this leads to the following relations f u α = 1 L 2 u α L 1/2 and and by substitution in (65) we come to the condition f x α = 1 L 2 x α L 1/2 (66) ( ) d L ds u µ L x µ = 0. (67) Kostas Kokkotas A Short Introduction to Tensor Analysis 31

29 Since L = g µν u µ u ν we get: thus µ L u u α = g µν u α uν + g µν u µ u ν u α = gµν δµ α uν + g µν u µ δ ν α = 2gµαuµ (68) L x α = g µν,αu µ u ν (69) d ds (2g µαu µ ) = 2 dg µα du µ ds uµ + 2g µα = 2g µα,ν u ν u µ du µ + 2g µα ds ds = g µα,ν u ν u µ + g να,µ u µ u ν du µ + 2g µα (70) ds and by substitution in (67) we get g µα du µ ds [g µα,ν + g αµ,ν g µν,α ] u µ u ν = 0 if we multiply with g ρα the geodesic equations because du ρ /ds = u ρ,µu µ. du ρ ds + Γρ µνu µ u ν = 0, or u ρ ;νu ν = 0 (71) Kostas Kokkotas A Short Introduction to Tensor Analysis 32

30 Euler-Lagrange Eqns vs Geodesic Eqns The Lagrangian for a freely moving particle is: L = g µν u µ u ν and the Euler-Lagrange equations: ( ) d L ds u µ L x µ = 0 are equivalent to the geodesic equation du ρ ds + Γρ µνu µ u ν d 2 x ρ = 0 or ds 2 + dx µ dx ν Γρ µν = 0 ds ds Notice that if the metric tensor does not depend from a specific coordinate e.g. x κ then ( ) d L ds ẋ κ = 0 which means that the quantity L/ ẋ κ is constant along the geodesic. Then eq (68) implies that L ẋ = g κ µκ u µ that is the κ component of the generalized momentum p κ = g µκ u µ remains constant along the geodesic. Kostas Kokkotas A Short Introduction to Tensor Analysis 33

31 Tensors : Geodesics If we know the tangent vector u ρ at a given point of a known space we can determine the geodesic curve. Which will be characterized as: timelike if u 2 > 0 null if u 2 = 0 spacelike if u 2 < 0 where u 2 = g µν u µ u ν If g µν η µν then the light cone is affected by the curvature of the spacetime. For example, in a space with metric ds 2 = f (t, x)dt 2 + g(t, x)dx 2 the light cone will be drawn from the relation dt/dx = ± g/f which leads to STR results for f, g 1. Kostas Kokkotas A Short Introduction to Tensor Analysis 34

32 Null Geodesics For null geodesics ds = 0 and the proper length s cannot be used to parametrize the geodesic curves. Instead we will use another parameter λ and the equations will be written as: and obiously: d 2 x κ dλ 2 + dx µ dx ν Γκ µν dλ dλ = 0 (72) dx µ dx ν g µν dλ dλ = 0. (73) Kostas Kokkotas A Short Introduction to Tensor Analysis 35

33 Geodesic Eqns & Affine Parameter In deriving the geodesic equations we have chosen to parametrize the curve via the proper length s. This choice simplifies the form of the equation but it is not a unique choice. If we chose a new parameter, σ then the geodesic equations will be written: d 2 x µ dσ 2 + dx α dx β Γµ αβ dσ dσ = d 2 σ/ds 2 dx µ (dσ/ds) 2 dσ (74) where we have used dx µ ds = dx µ dσ dσ ds and d 2 x µ ds 2 = d 2 x µ dσ 2 ( ) 2 dσ + dx µ d 2 σ ds dσ ds 2 (75) The new geodesic equation (74), reduces to the original equation(72) when the right hand side is zero. This is possible if d 2 σ ds 2 = 0 (76) which leads to a linear relation between s and σ i.e. σ = αs + β where α and β are arbitrary constants. σ is called affine parameter. Kostas Kokkotas A Short Introduction to Tensor Analysis 36

34 Riemann Tensor When in a space we define a metric then is called metric space or Riemann space. For such a space the curvature tensor R λ βνµ = Γ λ βν,µ + Γ λ βµ,ν Γ σ βνγ λ σµ + Γ σ βµγ λ σν (77) is called Riemann Tensor and can be also written as: R κβνµ = g κλ R λ βνµ = 1 2 (g κµ,βν + g βν,κµ g κν,βµ g βµ,κν ) ) + g αρ (Γ α κµγ ρ βν Γα κνγ ρ βµ Properties of the Riemann Tensor: R κβνµ = R κβµν, R κβνµ = R βκνµ, R κβνµ = R νµκβ, R κ[βµν] = 0 Thus in an n-dim space the number of independent components is (how?): n 2 (n 2 1)/12 (78) For a 4-dimensional space only 20 independent components Kostas Kokkotas A Short Introduction to Tensor Analysis 37

35 The Ricci and Einstein Tensors The contraction of the Riemann tensor leads to Ricci Tensor R αβ = R λ αλβ = g λµ R λαµβ = Γ µ αβ,µ Γµ αµ,β + Γµ αβ Γν νµ Γ µ ανγ ν βµ (79) which is symmetric R αβ = R βα. Further contraction leads to the Ricci or Curvature Scalar R = R α α = g αβ R αβ = g αβ g µν R µανβ. (80) The following combination of Riemann and Ricci tensors is called Einstein Tensor G µν = R µν 1 2 g µνr (81) with the very important property: ( G µ ν;µ = R µ ν 1 ) 2 δµ νr This results from the Bianchi Identity (how?) ;µ = 0. (82) R λ µ[νρ;σ] = 0 (83) Kostas Kokkotas A Short Introduction to Tensor Analysis 38

36 Flat & Empty Spacetimes When R αβµν = 0 the spacetime is flat When R µν = 0 the spacetime is empty Prove that : a λ ;µ;ν a λ ;ν;µ = R λ κµνa κ Kostas Kokkotas A Short Introduction to Tensor Analysis 39

37 Weyl Tensor Important relations can be obtained when we try to express the Riemann or Ricci tensor in terms of trace-free quantities. S µν = R µν 1 4 g µνr S = S µ µ = g µν S µν = 0. (84) or the Weyl tensor C λµνρ : R λµνρ = C λµνρ (g λρs µν + g µν S λρ g λν S µρ g µρ S λν ) R (g λρg µν g λν g µρ ) (85) C λµνρ = R λµνρ 1 2 (g λρr µν + g µν R λρ g λν R µρ g µρ R λν ) and we can prove (how?) that : R (g λρg µν g λν g µρ ). (86) g λρ C λµνρ = 0 (87) Kostas Kokkotas A Short Introduction to Tensor Analysis 40

38 The Weyl tensor is called also conformal curvature tensor because it has the following property : Consider besides the Riemannian space M with metric g µν a second Riemannian space M with metric g µν = e 2A g µν where A is a function of the coordinates. The space M is said to be conformal to M. One can prove that R α βγδ R α βγδ while C α βγδ = C α βγδ (88) i.e. a conformal transformation does not change the Weyl tensor. It can be verified at once from equation (86) that the Weyl tensor has the same symmetries as the Riemann tensor. Thus it should have 20 independent components, but because it is traceless [condition (87)] there are 10 more conditions for the components therefore the Weyl tensor has 10 independent components. If the Weyl tensor vanishes then the metric is locally conformally flat, i.e. there exists a local coordinate system in which the metric tensor is proportional to a constant tensor. On the symmetries of the Weyl tensor is based the Petrov classification of the space times Kostas Kokkotas A Short Introduction to Tensor Analysis 41

39 Tensors : An example for parallel transport A vector A = A θ e θ + A φ e φ is parallel transported along a closed line on the surface of a sphere with metric ds 2 = dθ 2 + sin 2 θdφ 2 and Christoffel symbols Γ 1 22 = Γθ φφ = sin θ cos θ and Γ2 12 = Γφ θφ = cot θ. The eqns δa α = Γ α µνa µ dx ν for parallel transport will be written as: A 1 x 2 = Γ 1 22A 2 Aθ = sin θ cos θaφ φ A 2 x 2 = Γ 2 12A 1 Aφ = cot θaθ φ Kostas Kokkotas A Short Introduction to Tensor Analysis 42

40 The solutions will be: 2 A θ φ 2 = cos2 θa θ A θ = α cos(φ cos θ) + β sin(φ cos θ) A φ = [α sin(φ cos θ) β cos(φ cos θ)] sin 1 θ and for an initial unit vector (A θ, A φ ) = (1, 0) at (θ, φ) = (θ 0, 0) the integration constants will be α = 1 and β = 0. The solution is: A = A θ e θ + A φ e φ = cos(2π cos θ) e θ sin(2π cos θ) e φ sin θ i.e. different components but the measure is still the same A 2 = g µν A µ A ν = ( A θ) 2 + sin 2 θ ( A φ) 2 = cos 2 (2π cos θ) + sin 2 θ sin2 (2π cos θ) sin 2 θ = 1 Question : What is the condition for the path followed by the vector to be a geodesic? Kostas Kokkotas A Short Introduction to Tensor Analysis 43