NEW EXAMPLES OF SANDWICH GRAVITATIONAL WAVES AND THEIR IMPULSIVE LIMIT 8 J. Podolsky´, K. Vesely´ 9 9 1 Department of Theoretical Physics, Faculty of Mathematics and Physics, n Charles University, V Holeˇsoviˇck´ach 2, 180 00 Prague 8, Czech Republic a J 5 Electronic address: [email protected]ff.cuni.cz 1 1 v 4 5 Abstract 0 1 Non-standardsandwichgravitationalwavesareconstructedfromthehomogeneousppvacuum 0 8 solution and the motions of free test particles in the space-times are calculated explicitly. They 9 demonstrate the caustic property of sandwich waves. By performing limits to impulsive gravita- / c tional wave it is demonstrated that the resulting particle motions are identical regardless of the q - “initial” sandwich. r g : PACS number(s): 04.30.-w,04.20.Jb, 98.80.Hw v i X r a 1 Introduction Plane-fronted gravitational waves with parallel rays (pp waves) are characterized by the ex- istence of a quadruple Debever-Penrose null vector field which is covariantly constant. In suitable coordinates (cf. [1]) the metric of vacuum pp waves can be written as 2 ¯ ¯ 2 ds = 2dζdζ 2dudv (f +f)du , (1) − − where f(u,ζ) is an arbitrary function of u, analytic in ζ. The only non-trivial components of the curvature tensor are proportional to f so that (1) represents flat Minkowski space-time ,ζζ when f is linear in ζ. The simplest case for which the metric describe gravitational waves arise when f is of the form 2 f(u,ζ) = d(u)ζ , (2) 1 where d(u) is an arbitrary function of u; such solutions are called homogeneous pp waves (or “plane” gravitational waves). Performing the transformation (cf. [2]) 1 ζ = (Px+iQy) , √2 1 2 2 v = (t+z +PP x +QQy ) , (3) ′ ′ 2 u = t z , − where real functions P(u) P(t z), Q(u) Q(t z) are solutions of differential equations ≡ − ≡ − P +d(u)P = 0 , Q d(u)Q = 0 , (4) ′′ ′′ − (here prime denotes the derivation with respect to u) the metric can simply be written as 2 2 2 2 2 2 2 ds = dt +P dx +Q dy +dz . (5) − Thisformofthehomogeneousppwaves issuitableforphysical interpretation. Considering two free test particles standing at fixed x, y and z, their relative motion in the x-direction is given by the function P(u) while it is given by Q(u) in the y-direction. The motions are unaffected in the z-direction which demonstrate transversality of gravitational waves. The coordinate u = t z can now be understood as a “retarded time” and the function d(u) as a “profile” − of the wave. Note also that functions P,Q may have a higher degree of smoothness than the function d so that relative motions of particles are continuous even in the case of a shock wave (with a step-function profile, d(u) Θ(u)), or an impulsive wave (with a distributional ∼ profile, d(u) δ(u)). ∼ 2 Standard sandwich wave A sandwich gravitational wave [3, 4] is constructed from the homogeneous pp solution (1), (2) if the function d(u) is non-vanishing only on some finite interval of u, say u [u ,u ]. In 1 2 ∈ such a case the space-time splits into three regions: a flat region u < u (“Beforezone”), a 1 curved region u < u < u (“Wavezone”), and another flat region u < u (“Afterzone”). In 1 2 2 the region u < u where d(u) = 0 it is natural to choose solutions of Eqs. (4) such that P = 1 1 and Q = 1 so that the metric (5) is explicitly written in Minkowski form. The form of the metric (5) for u > u is then given by solutions of Eqs. (4) where the function P,Q are chosen 1 to be continuous up to the first derivatives at u and u . 1 2 2 A standard example of a sandwich wave can be found in textbooks (cf. [5]). The “square” profile function d(u) is given simply by 0, u < 0  d(u) =  a−2, 0 u a2 (6) ≤ ≤ 0, a2 < u  where a is a constant. It is easy to show that the corresponding functions P,Q are given by 1, u 0  ≤ P(u) =  cos(u/a), 0 u a2 (7) ≤ ≤ usina/a+cosa+asina, a2 u  − ≤ 1, u 0  ≤ Q(u) =  cosh(u/a), 0 u a2 (8) ≤ ≤ usinha/a+cosha asinha, a2 u  − ≤ Therefore, particles which were in rest initially accelerate within the wave in such a way that they approach in x-direction and move apart in y-direction. Behind the wave they move uniformly (see Fig. 1a). 3 Non-standard sandwich waves Now we construct some other (non-trivial) sandwich waves. Our work is motivated primarily by the possibility of obtaining impulsive gravitational waves by performing appropriate limits starting from different sandwich waves (see next Section). This also enables us to study particle motions in such radiative space-times. Moreover, the standard sandwich wave given by (6) is very special and “peculiar” since it represents a radiative space-time containing stationary regions. Indeed, for d(u) being a positive constant, the Killing vector ∂ is timelike u where Reζ > Imζ . This “strange” property remained unnoticed in literature so far. It | | | | may be useful to introduce more general sandwich waves which are not stationary. a) Sandwich wave with “ ” profile V Let us consider a solution (1), (2) for which the function d(u) takes the form 0, u a  ≤ − d(u) =  b(a+u)/a, −a ≤ u ≤ 0 (9) b(a u)/a, 0 u a − ≤ ≤  0, a ≤ u 3 where a,b are arbitrary real (positive) constants. The wave has a “wedge” profile illustrated in Fig. 1b. Straightforward but somewhat lengthy calculations give the following form of the functions P(u),Q(u)(continuous up to the second derivatives everywhere including the points u = a, u = 0 and u = a): − 1, u a  ≤ − P(u) =  √Cc√uu2u+1hAJD−J,1313((3223uu3132//22)), +BJ−31(23u32/2)i, −a0a≤≤≤uuu≤≤a0 (10) 1, u a  ≤ − Q(u) =  cG√√uuu2+1hIEH−31I,(1323(u32u31/322/)2,)+F I−31(23u32/2)i, −0aa≤≤≤uuu≤≤a0 (11) wherec = 3 1/3Γ(2)(Γbeingthegammafunction),J istheBesselfunction,I isthemodified − 3 n n Bessel function (cf. [6]), u = 3 b/a(a+u) , u = 3 b/a(a u) , (12) 1 q 2 q − and A,B,C,D,E,F,G,H are real constants given by the relations A = 2cZβδ , B = cZ(βγ +αδ) , − C = A 3 9b/a/Γ(1/3) , D = B/c Ca , (13) q − − E = 2cZνσ , F = cZ(νρ+µσ) , − G = E 3 9b/a/Γ(1/3) , H = F/c Ga , q − − with Z = 2π (a√b)1/3, 3√3 α = J1(κ) , β = J 1(κ) , 3 −3 γ = (a√b)2/3J 2(κ) , δ = (a√b)2/3J2(κ) , (14) −3 − 3 µ = I1(κ) , ν = I 1(κ) , 3 −3 ρ = (a√b)2/3I 2(κ) , σ = (a√b)2/3I2(κ) , −3 3 κ = 2a√b (note that βγ αδ = 1/Z = νρ µσ). Typical behaviour of the particles in the 3 − − above sandwich space-time is shown in Fig. 1b. 4 b) Sandwich wave with “/” profile | Another sandwich wave can be obtained using the function d(u) such that 0, u a  ≤ − d(u) =  b(a+u)/a, a u < 0 (15) − ≤ 0, 0 < u  where a,b are again constants. In fact, it has a “saw” profile (see Fig. 1c) which is one “half” of the sandwich discussed above. It is non-symmetric and contains two discontinuities of different types. The functions d(u) defined by Eq. (9) and (15) coincides for u 0 so that ≤ the functions P,Q are identical in both cases. It is only necessary to join the solution at u = 0 differently: 1, u a  ≤ − P(u) =  c√u1J−13(32u31/2), −a ≤ u ≤ 0 (16) Ku+L, 0 u  ≤ 1, u a  ≤ − Q(u) =  c√u1I−13(23u31/2), −a ≤ u ≤ 0 (17) M u+N, 0 u  ≤ where K = cδ 3 b/a , L = cβ√6 a2b , M = cσ 3 b/a , N = cν √6 a2b . (18) q q Relative motions of test particles are illustrated in Fig. 1c. Qualitatively, they resemble motionsinbothpreviouscases(cf. Fig. 1aandFig. 1b),onlytherelativevelocitiesofparticles in the region behind the wave (given in x-direction by sina/a, C, and K , respectively; in − y-direction by sinha/a, G, and M) depend differently on particular choice of the parameters a and b. c) Asymptotic sandwich wave Let us also consider the function d(u) of the form n d(u) = exp( n u ) , (19) 2 − | | (shown in Fig. 1d) where n is an arbitrary real positive constant . Now there are no flat regions in front of the wave and behind it. The space-time is curved everywhere (it is of 5 Petrov type N and therefore radiative), it becomes flat only asymptotically as u . For → ±∞ this reason we choose the functions P,Q such that P(u ) 1, P (u ) 0 and ′ → −∞ → → −∞ → similarly Q(u ) 1, Q(u ) 0. Then it can be shown that the functions are ′ → −∞ → → −∞ → given by J 2 exp(nu) , u 0 P(u) =  0(cid:16)qn 2 (cid:17) ≤ (20)  A J 2 exp( nu) +A Y 2 exp( nu) , 0 u 1 0(cid:16)qn −2 (cid:17) 2 0(cid:16)qn −2 (cid:17) ≤  I 2 exp(nu) , u 0 Q(u) =  0(cid:16)qn 2 (cid:17) ≤ (21)  B I 2 exp( nu) +B K 2 exp( nu) , 0 u 1 0(cid:16)qn −2 (cid:17) 2 0(cid:16)qn −2 (cid:17) ≤  where π ˜ ˜ A = λ(α˜δ +βγ˜) , A = πλα˜γ˜ , (22) 1 2 −2 B = λ(µ˜σ˜ +ν˜ρ˜) , B = 2λµ˜ρ˜ , 1 2 with ˜ ˜ α˜ = J (λ) , β = Y (λ) , γ˜ = J (λ) , δ = Y (λ) , (23) 0 0 1 1 µ˜ = I (λ) , ν˜ = K (λ) , ρ˜= I (λ) , σ˜ = K (λ) , 0 0 1 1 − λ = 2/n (note also that α˜δ˜ β˜γ˜ = 2 and µ˜σ˜ ν˜ρ˜ = 1). Typical behaviour of the q − −πλ − −λ functions P,Q is shown in Fig. 1d. It can be observed that in both asymptotic regions u the particles move uniformly. → ±∞ 4 Impulsive limit Now we can use the above results to construct impulsive gravitational waves. For standard sandwich wave (6)-(8) it is easy to perform the limit a 0. Then the profile function d(u) → approaches the δ function distribution and, using sina/a 1, sinha/a 1 we get → → P(u) = 1 uΘ(u) , − Q(u) = 1+uΘ(u) , (24) where Θ is the Heaviside step function (Θ = 0 for u < 0, Θ = 1 for u > 0). For non-standard sandwiches introduced in previous section one has to perform similar limitsmorecarefully. Itiswellknownthatthesequence of“ ”functionsgivenby(9)approach ∧ the δ function (in a distributional sense) as a 0 if the second parameter is b = 1/a (so that → 6 + the normalization condition d(u)du = 1 holds for arbitrary a). Considering this limit, ∞ R −∞ κ = 2√a, the parameters (14) are α µ a1/63 1/3/Γ(4/3), β ν a 1/631/3/Γ(2/3), 3 ∼ ∼ − ∼ ∼ − γ ρ 32/3/Γ(1/3), δ σ a2/331/3/(2Γ(2/3)), and (13) gives ∼ ∼ ∼ − ∼ − C 1 , D 1 , G 1 , H 1 . (25) → − → → → Therefore, the functions P,Q describing relative motions of test particles in the corresponding impulsive wave are again given by (24). Analogously, the limit a 0 of “/” sandwiches given by (15) with b = 2/a gives β ν → | ∼ ∼ (2a) 1/631/3/Γ(2/3), δ σ (2a)2/331/3/(2Γ(2/3)), so that the parameters (18) are − ∼ − ∼ − K 1 , L 1 , M 1 , N 1 . (26) → − → → → Again, the resulting functions P,Q can be written in the form (24). Finally, we can perform a limit n of “asymptotic sandwich waves” given by profile → ∞ functions (19). For u 0 it follows immediately from (20), (21) that P 1 and Q 1. ≤ → → For u 0 calculations are more complicated: for n we get α˜ µ˜ 1, β˜ 1 lnn, ≥ → ∞ ∼ ∼ ∼ −π γ˜ ρ˜ (2n) 1/2, δ˜ 1[(2n) 1/2lnn+√2n], ν˜ 1 lnn, σ˜ 1[√2n (2n) 1/2lnn], so ∼ ∼ − ∼ −π − ∼ −2 ∼ 2 − − that A B 1, A π/n and B 2/n. Since J I 1, Y 1[nu + lnn] and 1 1 2 2 0 0 0 ∼ ∼ ∼ ∼ ∼ ∼ ∼ −π K 1[nu+lnn] as n , in the limit we obtain 0 ∼ 2 → ∞ P 1 u , Q 1+u , (27) ∼ − ∼ i.e. the relations (24) are revealed once more. Note finally that using the transformation (3) with the functions P and Q given by (24) the metric of the impulsive homogeneous pp wave 2 2 2 2 2 2 2 ds = dt +(1 uΘ(u)) dx +(1+uΘ(u)) dy +dz , (28) − − goes over to 2 ¯ 2 ¯2 2 ds = 2dζdζ 2dudv δ(u)(ζ +ζ )du , (29) − − i.e. the metric (1) with f(u,ζ) = δ(u)ζ2. Although this form of the impulsive wave is illustrative with the pulse evidently localized along the hyperplane u = 0, the metric (28) is more convenient in the sense that the metric system is continuous, δ function appearing only in the components of the curvature tensor. The transformation (3) with (24) also relates to the “scissors-and-paste” approach to the construction of impulsive solutions [2] which recently enabled new impulsive gravitational waves of somewhat different type [7, 8] to be found. 7 5 Concluding remarks We constructed three new types of non-standard sandwich pp waves with “wedge” (9), “saw” (15) and “asymptotic” (19) profiles. Contrary to the standard sandwich wave (6) they do not contain stationary regions. Particle motions were calculated explicitly and the corresponding limits to impulsive gravitational wave were performed. It was shown that all these limits give the same result (24). Moreover, for sandwich waves presented above there exist critical values of u for which the function P(u) vanishes so that all the particles initially at rest on the x-axis collide. This demonstrates the caustic property of (plane) sandwich waves [4]. Acknowledgments We acknowledge the support of grants No. GACR-202/96/0206 and No. GAUK-230/1996 from the Czech Republic and Charles University. References [1] Kramer D., Stephani H., MacCallum M.A.H., and Herlt H.: Exact Solutions of the Einstein’s Field Equations, Cambridge University Press, Cambridge, 1980. [2] Penrose R.: inGeneralRelativity (Ed. L.O’Raifeartaigh), Clarendon Press, Oxford, 1972. [3] Bondi H., Pirani F.A.E., and Robinson I.: Proc. Roy. Soc A 251 (1959) 519. [4] Bondi H. and Pirani F.A.E.: Proc. Roy. Soc A 421, (1989) 395. [5] Rindler W.: Essential Relativity, Springer, New York, 1977. [6] Abramowitz M. and Stegun I.A.: Handbook of Mathematical Functions, Dover Publica- tions, New York, 1964. [7] Nutku Y.: Phys. Rev. D 44 (1991) 3164. [8] Hogan P.A.: Phys. Lett. A 171 (1992) 21; Phys. Rev. Lett. 70 (1993) 117. 8 Figure Captions Fig. 1. Typical exact behaviour of functions P(u) and Q(u) determining relative motions of free test particles (initially at rest) in x and y-directions, respectively, caused by sand- wich gravitational waves of various profiles: a) standard “square”, b) “wedge”, c) “saw”, d) “asymptotic” sandwich wave. In the last case also the limiting procedure n leading to → ∞ an impulsive wave is indicated by corresponding dashed lines. 9 This figure "Sandwich.gif" is available in "gif"(cid:10) format from: http://arXiv.org/ps/gr-qc/9801054v1