arxiv: v2 [gr-qc] 10 Mar PDF Free Download

Killing Tensors and Symmetries David Garfinkle Physics Department, Oakland University, Rochester, MI E.N. Glass Physics Department, University of Michigan, Ann Arbor, MI arxiv:1003.0019v2 [gr-qc] 10 Mar 2010 (Dated: March 11, 2010) A new method is presented for finding Killing tensors in spacetimes with symmetries. The method is used to find all the Killing tensors of Melvin s magnetic universe and the Schwarzschild vacuum. We show that they are all trivial. The method requires less computation than solving the full Killing tensor equations directly, and it can be used even when the spacetime is not algebraically special PACS numbers: 04.20.Cv, 04.20.Jb I. INTRODUCTION Killing tensors are useful because, like Killing vectors, they provide conserved quantities for geodesic motion, most famously in the Kerr metric where the Killing tensor gives rise to the Carter constant [1]. However, it is much more difficult to find Killing tensors than Killing vectors. In 4 spacetime dimensions, the equation for a Killing tensor becomes 20 partial differential equations for 10 functions of 4 variables. Most of the known results on Killing tensors come from the fact that the Killing tensor equation simplifies in certain classes of algebraically special spacetimes [2, 3]. However, equations in general relativity also often simplify in the presence of symmetry [4]. We will show that the Killing tensor equation simplifies when a spacetime possesses a hypersurface orthogonal Killing vector, and that this simplification provides an effective method for finding Killing tensors. We will apply this method to Melvin s magnetic universe [5] and the Schwarzschild vacuum solution. It is shown that all of their Killing tensors are trivial in the sense that they are either the metric or the symmetrized product of Killing vectors. The method is presented in section 2. It is applied to Melvin s magnetic universe in section 3 and the Schwarzschild vacuum in section 4. Conclusions are given in section 5.

2 Notation: Lower case Latin indices, B a, range over n-dimensions. Greek indices, B µ, range over n 1 dimensions. ForKilling vector ξ a an overdot will denote a Lie derivative, A := L ξ A. II. THE KILLING TENSOR METHOD A Killing tensor (of order 2) is a symmetric tensor X ab that satisfies (a X bc) = 0 (1) Now suppose that the spacetime has a hypersurface orthogonal Killing vector ξ a. Define V such that ξ a ξ a = ǫv 2 (2) where ǫ = ±1. Then the metric in directions orthogonal to ξ a is given by h ab = g ab ǫv 2 ξ a ξ b (3) One can use h a b as a projection operator to project any tensor in directions orthogonal to ξ a. In particular, the Killing tensor can be decomposed as X ab = Aξ a ξ b +2B (a ξ b) +C ab (4) where B a and C ab are orthogonal to ξ a. The Killing tensor equation for this decomposition is (a Aξ b ξ c) +2 (a B b ξ c) + (a C bc) = 0. (5) Projecting the Killing tensor equation using all combinations of h a b and ξ a yields the following D (a C bc) = 0, (6) L ξ A = 2V 1 B a D a V, (7) L ξ B a = V 1 C ab D b V 1 2 ǫv 2 D a A, (8) L ξ C ab = 2ǫV 2 D (a B b). (9) Here D a is the derivative operator associated with the metric h ab and L ξ denotes the Lie derivative with respect to Killing vector ξ a. Solving Eq.(8) for D a A yields D a A = (2/ǫ) [ V 2 L ξ B a +V 3 C ab D b V ] (10)

3 The left hand side of Eq.(10) is curl-free andthus the curl of the right hand side must vanish. Hence D [a (V 2 L ξ B b] )+D [a (V 3 C b]c D c V) = 0 (11) Furthermore, since L ξ commutes with D a it follows that L ξ of the right hand side of Eq.(10) equals D a of the right hand side of Eq.(7), and therefore L ξ L ξ B a +V 1 (D b V)L ξ C ab ǫv 2 D a (V 1 B b D b V) = 0. (12) Equations (11) and (12) provide the integrability conditions for equations (7) and (10). These equations are most easily implemented in a coordinate system adapted to the Killing vector. Choose a coordinate system (y,x µ ) such that x µ are coordinates on the surface orthogonal to the Killing vector and L ξ is simply a partial derivative with respect to y. Use µ or a comma to denote a derivative with respect to the x µ coordinates. The Latin indices in this section are n-dimensional, and the method below projects objects and equations down to n-1 dimensions with Greek indices. Equation (9) becomes Ċ µν = ǫv 2 (B α α h µν +h αν µ B α +h µα ν B α ) (13) while integrability conditions (11) and (12) become [µ (V 2 Ḃ ν] )+ [µ (V 3 C ν]α α V) = 0 (14) B µ +V 1 Ċ µν ν V ǫv 2 µ (V 1 B ν ν V) = 0. (15) Equations (7) and (10) for A are written as A = 2V 1 B µ µ V (16) µ A = (2/ǫ)(V 2 Ḃ µ +V 3 C µν ν V) (17) Note that equations (13-17) can be evaluated without ever having to calculate a Christoffel symbol. The complete set of Killing tensors can be found as follows: first solve Eq.(6) for the most general C µν. Notethat thisgeneral solutionwill containarbitrary constants thatarereally functions of the Killing coordinate. Now using the general C µν, find the most general B µ satisfying Eq.(13). Then restrict this general solution by demanding that equations (14) and (15) also be satisfied. Finally, solve equations (16) and (17) for A.

4 III. KILLING TENSORS OF THE MELVIN METRIC Melvin s magnetic universe is a static, cylindrically symmetric, Petrov type D solution of the Einstein-Maxwell equations. Its metric is usually written as d s 2 Mel = a 2 ( d t 2 +dρ 2 +d z 2 )+(ρ 2 /a 2 )d φ 2 (18) where the function a is a = 1+ 1 4 B2 0 ρ2. (19) The constant B 0 is the value of the magnetic field on the ρ = 0 axis. Define coordinates t = (B 0 /2) t, r = (B 0 /2)ρ, z = (B 0 /2) z, φ = φ. In terms of these coordinates we have while the metric becomes d s 2 Mel = (4/B2 0)ds 2 Mel with a = 1+r 2 (20) ds 2 Mel = a 2 ( dt 2 +dr 2 +dz 2 )+(r 2 /a 2 )dφ 2. (21) Since d s 2 Mel and ds 2 Mel differ only by an overall constant scale, they have the same Killing vectors and Killing tensors. For simplicity, we will work with metric ds 2 Mel. Since the metric components are independent of t, φ, and z, it follows that there are Killing vectors for each of these coordinate directions. They are denoted by (t,φ,z) (τ µ,η µ,λ µ ) respectively. Each of these Killing vectors is hypersurface orthogonal. In addition, the metric has boost symmetry in the tz plane, with corresponding Killing field tλ a +zτ a. We will use the method of the previous section to work out the Killing tensors of Melvin s magnetic universe. First we will find the Killing tensors of the 2-dimensional rz surface, then use these to find the Killing tensors of the 3-dimensional rzφ surface, and finally find the Killing tensors of the 4-dimensional Melvin metric. We will use c 1, c 2 etc. to denote constants, and k 1, k 2 etc. to denote quantities that depend only on the coordinate associated with the Killing vector. A. An rz surface The rz 2-surface has a metric of form g ab dx a dx b = a 2 (dr 2 +dz 2 ). (22)

5 We have a z coordinate Killing vector λ µ for which V = a and ǫ = 1, and a 1-dimensional metric h µν = a 2 r, µ r, ν orthogonal to the Killing vector. Since the r-direction is a 1- dimensional line, it follows that the Killing tensor must take the form C µν = Fh µν for some scalar F. It then follows from Eq.(6) that F is independent of r. We therefore have C µν = k 1 h µν = k 1 a 2 r, µ r, ν (23) for some k 1 (z). Equation (13) then becomes, with B µ B r only Ċ rr = k 1 a 2 = a 2 ( da2 dr Br +2a 2 r B r ) (24) or The general solution for B r is k 1 = 2a 2 ( db r B r = a 1 ( dr + 1 a ) da dr Br k 2 k 1 2 arctan r ) (25) (26) Equation (14) is automatically satisfied, while Eq.(15) becomes 0 = ( 1... k1 2 k 1 )a 2 arctanr +3 k 1 aarctanr +( k 2 +4k 2 )a 2 +3 k 1 r 6k 2 a (27) 2 Here we have grouped terms so that each term is a coefficient independent of r multiplied by a function of r and the functions of r are linearly independent. Thus each coefficient must vanish, which yields k 2 = 0 and k 1 = 0, from which it follows that k 1 = c 1 and B r = 0. It then follows from Eq.(7) that A is independent of z. From Eq.(17) it follows that A(r) = c 2 +c 1 a 2 (28) Using Eq.(4) we find that the general Killing tensor of the rz surface is X ab = c 1 g ab +c 2 λ a λ b. (29) B. An rzφ surface We now consider an rzφ surface with metric g ab dx a dx b = a 2 (dr 2 +dz 2 )+(r 2 /a 2 )dφ 2. (30)

6 TheKillingfieldisη a, withǫ = 1andV = r/a. Hereh µν istheg ab oftheprevioussubsection, while C µν is the X ab of the previous subsection. We have h µν = a 2 (r, µ r, ν +z, µ z, ν ) (31) C µν = k 1 h µν +k 2 λ µ λ ν. (32) With B µ (B r,b z ), the rr, zz, and rz components of Eq.(13) are then, respectively ( k 1 a 2 = 2 r2 a da ) a 2 dr Br +a 2 r B r ( k 1 a 2 + k 2 a 4 = 2 r2 a da ) a 2 dr Br +a 2 z B z From Eq.(33) we find that B r must take the form [ B r = 1 a (33) (34) 0 = r B z + z B r (35) F(z,φ) k 1 2 ( 1r ) ] +3r +r3 + r5 (36) 5 for some function F(z,φ). Then using Eq.(36) and integrating Eq.(35) we find B z = G(z,φ) ( F )arctan r (37) z for some function G(z, φ). Finally, substituting the expressions in equations (36) and (37) into Eq.(34) we find 1 2r 2( k 1 a 2 + k 2 a 4 ) = G F z ( 2 z )arctan r+2f( r k 1 2 a 2) a 2 ) ( 1+3r 2 +r 4 + r6 5 The only odd functions of r in this equation are arctan r and r/a 2 and these functions are linearly independent, so the coefficient of each must vanish. This implies that F = 0. Furthermore, in order that the left hand side not diverge as r 0 we must have k 2 = k 1. Equation (38) then becomes G z = k 1 [ a 2 (1+a) 2 + 1 ( )] 1+3r 2 +r 4 + r6 a 2 5 It then follows that both k 1 and G/ z must vanish. Thus, we have found that C µν and B µ take the form (38) (39) C µν = c 1 h µν +c 2 λ µ λ ν (40) B µ = k 4 (φ)λ µ (41)

7 for some function k 4 (φ). We now impose the integrability condition Eq.(14) which forces k 4 to vanish. This implies k 4 = c 4 and thus B µ = c 4 λ µ. It then follows from Eq.(16) that A is independent of φ. Equation (17) then becomes µ A = c 1 µ (r/a) 2 (42) for which the solution is a 2 A(r) = c 3 +c 1 (43) r 2 Thus the general Killing tensor of the rzφ surface is X ab = c 1 g ab +c 2 λ a λ b +c 3 η a η b +2c 4 λ (a η b). (44) C. The Melvin metric We are now ready to treat the full Melvin metric by adding the τ a Killing field to the metric of the previous subsection. We have h µν = a 2 (r, µ r, ν +z, µ z, ν )+(r 2 /a 2 )φ, µ φ, ν (45) C µν = k 1 h µν +k 2 λ µ λ ν +k 3 η µ η ν +2k 4 λ (µ η ν) (46) The τ a Killing vector has ǫ = 1 and V = a. Equation (13) for Ċµν becomes the following: Solving Eq.(47) we find k 1 = 2a 2 r B r +2a da dr Br (47) k 1 + k 2 a 2 = 2a da dr Br +2a 2 z B z (48) a 2 k1 + r2 a 4 k 3 = 2 φ B φ +2 ( 1 r 1 a da dr ) B r (49) 0 = r B z + z B r (50) 0 = a 2 φ B r + r2 a 2 rb φ (51) k 4 = a4 r 2 φb z + z B φ (52) B r = 1 [ k 1 arctan r +F(z,φ,t)] (53) a 2 for some function F(z,φ,t). Now, using this result in Eq.(50) we find B z = F arctan r +G(z,φ,t) (54) z

8 for some function G(z,φ,t). Using equations (53) and (54) in Eq.(48), we obtain ( 0 = k 1 + 2 G ) z k 2 a 2 +4Fr +2 k 1 rarctan r 2( 2 F z 2 )a2 arctan r (55) Here we have grouped terms so that each term consists of a function of r multiplied by a coefficient that is independent of r. Since the functions of r are linearly independent, it follows that each coefficient vanishes. We then find that F = 0, and that k 1 = c 1, and that G = k 2 z/2+h(φ,t) for some function h(φ,t). That is, B r vanishes, and B z takes the form Equations (49,51,52) then become B z = 1 2 k 2 z +h(φ,t) (56) ( r2 a 4) k 3 = 2 φ B φ (57) 0 = r B φ (58) k 4 = ( a4 r 2) h φ + zb φ (59) Differentiating equations (57) and (59) with respect to r, and using Eq.(58), it follows that k 3 = 0 and h/ φ = 0. Thus we have k 3 = c 3 for constant c 3, and h = k 5 for some function k 5 (t), and B φ = k 4 z +k 6 for function k 6 (t). B µ takes the form ( ) 1 ) B µ = 2 z +k 5 λ 2 k µ + ( k4 z +k 6 η µ (60) We therefore have a 2 Ḃ µ = ( 1 2 z + 2 k k 5 ) µ z + r2 ( k4 z + a k ) 4 6 µ φ (61) Using the expression in Eq.(61), we find that Eq.(14) becomes 0 = k 4 z + k 6 (62) From Eq.(62) we find that k 6 = c 6 and k 4 = c 4 t+c 7 for constants c 4, c 6, and c 7. Using the expression for B µ of Eq.(60) in Eq.(15), we find ( ) 1... 0 = a 2 k2z + k 5 µ z +a 1 ( da 2 dr ) k 1 µ r (63) fromwhichitfollowsthat k 1 and k 5 and... k 2 allvanish. Thuswehavek 1 = c 1 andk 5 = c 5 t+c 8 and k 2 = c 2 t 2 +c 9 t+c 10 for constants c 1, c 2, c 5, c 8, c 9, and c 10.

9 To summarize, we have found that the general solution for C µν and B µ takes the form C µν = c 1 h µν +(c 2 t 2 +c 9 t+c 10 )λ µ λ ν +c 3 η µ η ν +(c 4 t+c 7 )2λ (µ η ν) (64) [( B µ = c 2 t+ 1 ) ] 2 c 9 z +(c 5 t+c 8 ) λ µ +(c 4 z +c 6 )η µ (65) It remains to find A. Since B r = 0, it follows from Eq.(16) that Ȧ = 0. Using the expressions of equations (64) and (65) in Eq.(17) for grad A, we find µ A = 2(c 2 z +c 5 ) µ z c 1 µ (a 2 ). (66) The general solution of Eq.(66) is A = c 2 z 2 +2c 5 z c 1 a 2 +c 11 (67) Finally, using the expressions of equations (64-67) in Eq.(4) we find that the most general Killing tensor of Melvin s magnetic universe takes the 4-dimensional form X ab = c 1 g ab +c 2 [z 2 τ a τ b +ztλ (a τ b) +t 2 λ a λ b ]+c 3 η a η b +c 4 [2zη (a τ b) +2tη (a λ b) ]+c 5 [2zτ a τ b +2tλ (a τ b) ]+c 6 2η (a τ b) +c 7 2λ (a η b) +c 8 2λ (a τ b) +c 9 [zλ (a τ b) +tλ a λ b ]+c 10 λ a λ b +c 11 τ a τ b (68) This expression can be simplified by noting that the Melvin boost Killing vector is given by ψ a : = tλ a +zτ a. The Killing tensor is then X ab = c 1 g ab +c 2 ψ a ψ b +c 3 η a η b +2c 4 η (a ψ b) +2c 5 ψ (a τ b) +2c 6 η (a τ b) +2c 7 λ (a η b) +2c 8 λ (a τ b) +c 9 ψ (a λ b) +c 10 λ a λ b +c 11 τ a τ b (69) Now each term in the sum is either the metric or the symmetrized product of two Killing vectors. Thus all the Killing tensors of Melvin s magnetic universe are trivial. IV. KILLING TENSORS OF THE SCHWARZSCHILD METRIC The Schwarzschild vacuum solution is given by ds 2 Sch = Fdt 2 +F 1 dr 2 +r 2 (dϑ 2 +sin 2 ϑdϕ 2 ). (70)

10 where the function F is F = 1 (2m/r). The metric admits four Killing vectors (τ a,α a,β a,γ a ); a timelike Killing vector τ a a = t, and three spacelike vectors which comprise the SO 3 rotations α a a = sinϕ ϑ +cotϑcosϕ ϕ β a a = cosϕ ϑ +cotϑsinϕ ϕ γ a a = ϕ 2r 2 = α a α a +β a β a +γ a γ a. Each of the four Killing vectors is hypersurface orthogonal. First we will find the Killing tensors of the 2-dimensional rϑ surface. As before, we will use c 1, c 2 etc. to denote constants, and k 1, k 2 etc. to denote quantities that depend only on the coordinate associated with the Killing vector. A. An rϑ surface The rϑ 2-surface has metric g ab dx a dx b = F 1 dr 2 +r 2 dϑ 2 (71) WehavetheϑcoordinateKillingvector ϑ = ϑ a a forwhichǫ = 1andV = r (notethat ϑ a is a symmetry of the 2-surface but not of the spacetime). The metric on the space orthogonal to the Killing vector is h µν = F 1 r, µ r, ν. Since the r-direction is a 1-dimensional line, it follows as before that the Killing tensor on that 1-dimensional space takes the form C µν = k 1 h µν = k 1 F 1 r, µ r, ν (72) for some k 1 (ϑ). Equation (13) then becomes, with B µ B r only [ Ċ rr = k 1 F 1 = r 2 ( 2m ] r 2 )F 2 B r +2F 1dBr dr (73) or The general solution for B r is k 1 = 2mF 1 B r 2r 2dBr dr (74) B r = ( k 1 2m )F +k 2F 1/2 (75)

11 Equation (14) is automatically satisfied, while Eq.(15) becomes ( k 2 + 1 )... ) ( k1 2 k 2 F 1/2 + m k 1 + 1 2m 2 k 2F 1/2 2m k 3 1 F (76) Here we have grouped terms so that each term is a coefficient independent of r multiplied by a function of r, and the functions of r are linearly independent. Thus each coefficient must vanish, which yields k 2 = 0 and k 1 = 0, from which it follows that k 1 = c 1 and B r = 0. It then follows from Eq.(7) that A is independent of ϑ. From Eq.(17) integration provides A(r) = c 1 r 2 +c 2. (77) Using Eq.(4) we find that the general Killing tensor of the rϑ surface is X ab = c 1 g ab +c 2 ϑ a ϑ b. (78) B. A trϑ surface We now consider a trϑ surface with metric g ab dx a dx b = Fdt 2 +F 1 dr 2 +r 2 dϑ 2. (79) The Killing field is τ a a = t, with ǫ = 1 and V = F 1/2. Here h µν is the g ab of the previous subsection, while C µν is the X ab of the previous subsection. We have h µν = F 1 r, µ r, ν +r 2 ϑ, µ ϑ, ν (80) C µν = k 1 h µν +k 2 ϑ µ ϑ ν. (81) With B µ (B r,b ϑ ), the rr,ϑϑ, and rϑ components of Eq.(13) are then, respectively k 1 F 1 = 2 r B r 2m r 2 F 1 B r (82) k 1 r 2 + k 2 r 4 = 2r 2 F ϑ B ϑ +2rFB r (83) 0 = r 2 r B ϑ +F 1 ϑ B r (84) From Eq.(82) we find that B r must take the form B r = F 1/2 H(t,ϑ)+ 1 r ]} 1 {[r 6m]+3mF ln[ 2 k 1/2 m (1+F1/2 ) 1 (85)

12 for some function H(t,ϑ). Using the expression of Eq.(85) in Eq.(84) we find Upon integration, it follows that B ϑ is r B ϑ = r 2 F 1/2 ϑ H. (86) B ϑ = Q(t,ϑ) 1 m F1/2 ϑ H (87) for integration function Q(t,ϑ). Substituting the expressions for B r and B ϑ from equations (85) and (87) into Eq.(83) provides k 1 + k 2 r 2 = 2F [F 1/2 H(t,ϑ)+ 12 k { r ]} 1 [r 6m]+3mF ln[ ] 1/2 r m (1+F1/2 ) 1 [ +2F ϑ Q 1 ] H m F1/2 2. (88) ϑ 2 Note that each term in Eq.(88) is a function of r multiplied by a coefficient that is independent of r. Since the function of r that has the logarithmic term in Eq.(88) is linearly independent of the other functions of r, its coefficient must vanish. This implies that k 1 = 0 and that k 1 = c 1 for some constant c 1. Equation (88) then simplifies to 0 = 1 2 ( 2 k r2 )+H(F1/2 F r )+ ϑq 1 2 H m ϑ 2 (F1/2 ). (89) Here terms are grouped so that each term is a coefficient independent of r multiplied by a function of r, and so that the functions of r are linearly independent. It therefore follows that each of the coefficients vanishes. We have k 2 = 0, H = 0, and ϑ Q = 0. Therefore k 2 = c 2 for some constant c 2, and the components of vector field B µ are for some function k 3 (t). Equivalently B r = 0, B ϑ = k 3 (t) (90) B µ = k 3 r 2 µ ϑ. (91) Since k 1 = c 1 and k 2 = c 2, it follows from Eq.(81) that tensor C µν takes the form Upon using equations (91) and (92) in Eq.(14) we find that C µν = c 1 h µν +c 2 r 4 ϑ,µ ϑ,ν (92) [µ (F 1 r 2 k3 ν] ϑ) = 0 (93)

13 from which it follows that k 3 = 0 and therefore that k 3 = c 3 for some constant c 3. Thus, from Eq.(91) we have B µ = c 3 r 2 µ ϑ. (94) Equation (15) is identically satisfied by equations (92) and (94). Since B r = 0 it follows from Eq.(16) that Ȧ = 0. Using equations (92) and (94) in Eq.(17) we obtain µ A = c 1 µ (F 1 ). (95) It then follows that A = c 4 c 1 F 1 (96) for some constant c 4. Finally, using the results of equations (92), (94) and (96) in Eq.(4), we find that the general Killing tensor of a trθ surface is X ab = c 1 g ab +c 2 ϑ a ϑ b +2c 3 ϑ (a τ b) +c 4 τ a τ b (97) C. The Schwarzschild metric We are now ready to treat the full Schwarzschild metric by adding the axial γ a Killing vector to the metric of the previous subsection. We have h µν = Ft,µ t,ν +F 1 r,µ r,ν +r 2 ϑ,µ ϑ,ν (98) C µν = k 1 h µν +k 2 ϑ µ ϑ ν +2k 3 ϑ (µ τ ν) +k 4 τ µ τ ν (99) The γ a Killing vector has ǫ = 1 and V = rsinϑ. Equation (13) for Ċµν then becomes k 1 F + k 4 F 2 = r 2 sin 2 ϑ(b r r F +2F t B t ) (100) k 1 F 1 = r 2 sin 2 ϑ(f 2 B r r F 2F 1 r B r ) (101) k 1 r 2 + k 2 r 4 = 2r 3 sin 2 ϑ(b r +r ϑ B ϑ ) (102) 0 = F 1 t B r F r B t (103) k 3 r 2 F = r 2 sin 2 ϑ(f ϑ B t r 2 t B ϑ ) (104) 0 = r 2 r B ϑ +F 1 ϑ B r (105) Equation (101) can be rewritten as k r (F 1/2 B r 1 ) = 2F 1/2 r 2 sin 2 ϑ (106)

14 with integral k B r = G(t,ϑ,ϕ)F 1/2 1 2msin 2 ϑ F (107) for integration function G(t, ϑ, ϕ). Using the result of Eq.(107) in Eq.(105), we find Integration provides r B ϑ = ϑg r 2 F 1/2 k 1 cosϑ mr 2 sin 3 ϑ. (108) B ϑ = H(t,ϑ,ϕ) ( ϑ G) 1 m F1/2 + k 1 cosϑ mrsin 3 ϑ (109) with integration function H(t, ϑ, ϕ). Now using equations (107) and (109) in Eq.(102) we obtain 0 = 3 k 1 ( k 2 + ϑ H2sin 2 ϑ)r 2 + k 1 m ( 6 sin 2 ϑ 3)r 2sin2 ϑg(rf 1/2 )+ 2 m sin2 ϑ( 2 G ϑ 2 )r2 F 1/2 (110) Here we have grouped terms so that each term is a coefficient independent of r multiplied by a function of r, and so that the functions of r are linearly independent. It therefore follows that each coefficient vanishes. Thus G = k 1 = 0 and ϑ H = k 2 2sin 2 ϑ. (111) From the vanishing of G and k 1 it follows that B r vanishes, and that k 1 = c 1 for some constant c 1 and that B ϑ = H. From Eq.(111) it follows that B ϑ takes the form B ϑ = I(t,ϕ)+ k 2 2 cotϑ (112) for some function I(t,ϕ). Using Eq.(112), along with B r = 0 and k 1 = 0, reduces equations (100-105) to the following: t B t = k 4 F 2r 2 sin 2 ϑ (113) r B t = 0 (114) ϑ B t = r 2 F 1 t I k 3 sin 2 ϑ (115) Applying r to Eq.(113) and using Eq.(114) yields k 4 = 0. Therefore B t is independent of t and k 4 = c 2 for some constant c 2. Now applying r to Eq.(115) and using Eq.(114) it follows that t I = 0 and I = k 5 for some function k 5 (ϕ). Thus B ϑ becomes B ϑ = k 5 + k 2 2 cotϑ. (116)

15 Integrating Eq.(115) yields B t = k 6 + k 3 cotϑ (117) for some function k 6 (ϕ). In summary, we have found that B µ and C µν take the form B µ = (k 6 + k 3 cotϑ)τ µ +(k 5 + k 2 2 cotϑ)ϑ µ (118) C µν = c 1 h µν +k 2 ϑ µ ϑ ν +2k 3 ϑ (µ τ ν) +c 2 τ µ τ ν (119) We now impose the integrability conditions of equations (14) and (15) on the expressions above for B µ and C µν. From equations (118) and (119), with ǫ = 1 and V = rsinϑ, we find V 2 Ḃ µ +V 3 C µν ν V = c 1 V 3 µ V F [ k6 r 2 sin 2 +( k 3 +k 3 )cotϑ] µ t [ ϑ ] + 1 2 k sin 2 5 +( k ϑ 2 +k 2)cotϑ µ ϑ (120) The integrability condition given in Eq.(14) is the statement that the right hand side of Eq.(120) is curl-free. From this it follows that, for the term in Eq.(120) multiplying µ t, the quantity in square brackets vanishes. That is, we have k 6 = 0 and k 3 +k 3 = 0. Thus for constants c 3, c 4, and c 5. k 6 = c 3 (121) k 3 = c 4 cosϕ+c 5 sinϕ (122) From equations (118), (120), (121), and (122) it follows that [... ] B µ +V 1 Ċ µν ν V ǫv 2 µ (V 1 B ν k 2 ν V) = k 5 +k 5 +( 2 +2 k 2 )cotϑ r 2 µ ϑ (123) The integrability condition of Eq.(15) states that the right hand side of Eq.(123) vanishes. Therefore k 5 +k 5 = 0 and... k 2 +4 k 2 = 0, and thus k 5 = c 6 cosϕ+c 7 sinϕ (124) k 2 = c 8 cos2ϕ+c 9 sin2ϕ+c 10 (125) for constants c 6, c 7, c 8, c 9, and c 10. We find that the general solution for B µ and C µν is B µ = [c 3 +( c 4 sinϕ+c 5 cosϕ)cotϑ]τ µ +[c 6 cosϕ+c 7 sinϕ+( c 8 sin2ϕ+c 9 cos2ϕ)cotϑ]ϑ µ (126) C µν = c 1 h µν +(c 8 cos2ϕ+c 9 sin2ϕ+c 10 )ϑ µ ϑ ν +2(c 4 cosϕ+c 5 sinϕ)ϑ (µ τ ν) +c 2 τ µ τ ν (127)

16 It remains to find A. Using equations (126) and (127) in Eq.(17) we obtain µ A = 2c 1 V 3 µ V (128) with general solution 2 sin 2 ϑ [ c 6sinϕ+c 7 cosϕ+( c 8 cos2ϕ c 9 sin2ϕ+c 10 )cotϑ] µ ϑ, A = c 1 V 2 +2( c 6 sinϕ+c 7 cosϕ)cotϑ+( c 8 cos2ϕ c 9 sin2ϕ+c 10 )cot 2 ϑ+k 7 (129) for some function k 7 (ϕ). Imposing Eq.(16) on Eq.(129) we find that k 7 = 0 and therefore that k 7 = c 11 for some constant c 11. The solution for A becomes A = c 1 V 2 +2( c 6 sinϕ+c 7 cosϕ)cotϑ+( c 8 cos2ϕ c 9 sin2ϕ+c 10 )cot 2 ϑ+c 11 (130) Using equations (126), (127), and (130) in Eq.(4), and grouping terms according to their constant coefficient, we find that the general Schwarzschild Killing tensor is X ab = c 1 (h ab +V 2 γ a γ b )+c 2 τ a τ b +c 3 2τ (a γ b) +c 4 [2cosϕϑ (a τ b) 2sinϕcotϑγ (a τ b) ] +c 5 [2sinϕϑ (a τ b) +2cosϕcotϑγ (a τ b) ]+c 6 [2cosϕϑ (a γ b) 2sinϕcotϑγ a γ b ] +c 7 [2sinϕϑ (a γ b) +2cosϕcotϑγ a γ b ] +c 8 [cos2ϕϑ a ϑ b 2sin2ϕcotϑϑ (a γ b) cos2ϕcot 2 ϑγ a γ b ] +c 9 [sin2ϕϑ a ϑ b +2cos2ϕcotϑϑ (a γ b) sin2ϕcot 2 ϑγ a γ b ] +c 10 [ϑ a ϑ b +cot 2 ϑγ a γ b ]+c 11 γ a γ b (131) We now rewrite this expression for the Killing tensor in terms of Killing vectors and the metric. We have g ab = h ab +V 2 γ a γ b, (132) α a = sinϕϑ a +(cotϑcosϕ)γ a, (133) β a = cosϕϑ a +(cotϑsinϕ)γ a, (134) which yields α a α b +β a β b = ϑ a ϑ b +cot 2 ϑγ a γ b (135) α a α b β a β b = cos2ϕ( ϑ a ϑ b +cot 2 ϑγ a γ b )+2cotϑsin2ϕϑ (a γ b) (136) 2α (a β b) = sin2ϕ( ϑ a ϑ b +cot 2 ϑγ a γ b ) 2cotϑcos2ϕϑ (a γ b) (137)

17 Using the three equations above, we can rewrite X ab as X ab = c 1 g ab +c 2 τ a τ b +c 3 2τ (a γ b) 2c 4 β (a τ b) +2c 5 α (a τ b) 2c 6 β (a γ b) +2c 7 α (a γ b) c 8 (α a α b β a β b ) 2c 9 α (a β b) +c 10 (α a α b +β a β b )+c 11 γ a γ b. (138) Finally, regrouping terms we have X ab = c 1 g ab +c 2 τ a τ b +c 3 2τ (a γ b) 2c 4 β (a τ b) +2c 5 α (a τ b) 2c 6 β (a γ b) +2c 7 α (a γ b) +(c 10 c 8 )α a α b +(c 10 +c 8 )β a β b 2c 9 α (a β b) +c 11 γ a γ b. (139) Thus, we have written the general Schwarzschild Killing tensor as a sum of terms where each term is either the metric or a product of Killing vectors. Therefore all Killing tensors of the Schwarzschild spacetime are trivial. V. CONCLUSIONS The method used above consists of applying equations (13-17) to find the Killing tensor in n-dimensions, using the equations in n-1 dimensions. For the Melvin metric and the Schwarzschild metric this is done three times, going from a 1-dimensional space to the 4- dimensional spacetime. The method developed here for finding Killing tensors could be used on a wide variety of spacetimes where there are symmetries. It requires less computation than an attack on the full Killing tensor equations, and it can be used even when the spacetime is not algebraically special. The method could also be generalized in various ways. The equations for a Killing-Yano tensor [6] could be treated in an analogous way and should result in a method simpler than a straightforward attempt to solve the Killing-Yano equations. Finally the method might have a useful generalization to the case where the Killing vector is not hypersurface orthogonal. In that case one would expect to get more complicated equations that involve not only the norm of the Killing field but also the twist. However, it is in just such spacetimes (i.e. Kerr) that known examples of nontrivial Killing tensors exist. So an investigation along those lines might be useful. [1] B. Carter, Hamilton-Jacobi and Schrődinger separable solutions of Einstein s equations, Commun. Math. Phys. 10, 280 (1968).

18 [2] P. Sommers, On Killing tensors and constants of motion, J. Math. Phys. 14, 787 (1973). [3] Exact Solutions of Einstein s Field Equations, Eds. D. Kramer, H. Stephani, E. Herlt, M. MacCallum and E. Schmutzer, 2nd Ed. (Cambridge University Press, Cambridge, U.K. 2003). [4] R. Geroch, J. Math. Phys. A Method for Generating New Solutions of Einstein s Equation. II, 13, 394 (1972). [5] M.A. Melvin, Pure Magnetic and Electric Geons, Phys. Lett. 8, 65 (1964). [6] C.D. Collinson, On the Relationship between Killing Tensors and Killing-Yano Tensors, Int. Jour. Theor. Phys. 15, 311 (1976).

arxiv: v2 [gr-qc] 10 Mar 2010