arxiv:gr-qc/ v2 22 Aug 2005

Transcription

1 Energy Conitions an Junction Conitions Donal Marolf Physics Department, UCSB, Santa Barbara, CA 93106, USA an Perimeter Institute, 31 Caroline St. N, Waterloo, Ontario N2L 2Y5, Canaa arxiv:gr-qc/ v2 22 Aug 2005 Sho Yaia Mathematics Department, UCSB, Santa Barbara, CA 93106, USA (Date: August, 2005) We consier the familiar junction conitions escribe by Israel for thin timelike walls in Einstein- Hilbert gravity. One such conition requires the inuce metric to be continuous across the wall. Now, there are many spacetimes with sources confine to a thin wall for which this conition is violate an the Israel formalism oes not apply. However, we explore the conjecture that the inuce metric is in fact continuous for any thin wall which moels spacetimes containing only positive energy matter. Thus, the usual junction conitions woul hol for all positive energy spacetimes. This conjecture is proven in various special cases, incluing the case of static spacetimes with spherical or planar symmetry as well as settings without symmetry which may be sufficiently well approximate by smooth spacetimes with well-behave null geoesic congruences. I. INTRODUCTION The stuy of bounary layers (i.e., singular sheets of sources with zero thickness) is of longstaning interest in both electromagnetism an general relativity. In aition to approximating smooth solutions such as omain walls, the class of thin-wall solutions provies a useful laboratory in which to explore new phenomena. For example, thin-wall spacetimes have been of much use in investigating so-calle braneworl scenarios, first suggeste in the moern context in [1, 2, 3], in which the visible 3+1 universe is confine to a submanifol of some higher imensional spacetime. In particular, the phenomenon by which gravity can become localize along such a omain wall was iscovere by Ranall an Sunrum [4, 5] by consiering the limit of an infinitely thin wall. Thin-wall spacetimes are also historically of interest in exploring gravitational collapse (see e.g. [6]), typically in the context of spherical shells. Although the stress tensor must iverge at an infinitely thin wall, the associate singularities in Einstein-Hilbert gravity are often mil. For familiar cases, these singularities serve merely to simplify the equations of motion by turning the ifferential equations for the fiels into finite ifference equations, known as junction conitions, governing the iscontinuities of various fiels across the thin wall. The stanar formalism for treating thin walls with spacelike normals was evelope by Israel [7], builing on the work of others (e.g., [8, 9, 10, 11]). Briefly, the Israel formalism [7] consiers spacetimes with a istinguishe singular hypersurface Σ 0 of co-imension one. One imagines foliating the spacetime near Σ 0 in an arbitrary way such that Σ 0 is one of the hypersurfaces in the foliation. One then requires that both the inuce metric h an the extrinsic curvature K of hypersurfaces in this foliation have well-efine limits h ±, K ± as the singular hypersurface Σ 0 is approache from each sie. Furthermore, one requires that the inuce metric is continuous across Σ 0 : h + = h. In such a setting, Israel showe that the remaining junction conition for a wall with spacelike normal is ( [K] ij = 8πG N S ij h ) ij 2 hkl S kl. (1.1) Here [K] ij = K +ij K ij is the iscontinuity in the extrinsic curvature across the surface an S ij is the so-calle surface stress tensor, which is essentially the pull-back of the stress-energy tensor integrate over a small region aroun the hypersurface Σ 0. We work in spacetime imensions (so that the wall has ( 1) spacetime imensions) an G N is Newton s gravitational constant. In this formalism, components of the stress tensor not capture by S ij remain boune at the wall, so that the tensor S ij captures the elta-function part of the stress-energy tensor. Since conition (1.1) follows from the Einstein equation integrate over a small region, it is firmly groune in physics. Consier, however, the more funamental requirement of continuity of the inuce metric: h + = h. In textbooks, this requirement is often motivate by aesthetic concerns, such as the esire for Σ 0 to have a well-efine

2 inuce geometry, or the relate esire to have a simple escription of the ynamics of particles boun to Σ 0. Another motivation is that the ansatz h + = h oes in fact allow one to solve the Einstein equation (via (1.1)) whenever the singular part of the stress tensor is capture by S ij. What remains unclear, however, is whether this requirement is in fact satisfie by all cases of physical interest. Israel s own motivations [12] for imposing the continuity of h are somewhat more enlightening, an were base on an analogy with electromagnetism (in particular, with electrostatics). In the electrostatic context, one fins that a iscontinuity in the component E of the electric fiel orthogonal to the surface is associate with a surface charge ensity σ in irect corresponence with (1.1). In contrast, a iscontinuity in the parallel components E of the electric fiel is associate with a istribution of ipole sources on the surface. As one expects no gravitational point ipoles, one might also expect the gravitational fiel (an in particular the inuce metric) to be continuous across the surface. Of course, the reason that one expects no gravitational ipoles is that point ipoles require both positive an negative charges. Our purpose in the present work is to explore the conjecture (implicit in the above reasoning) that taking thinwall limits of spacetimes satisfying an appropriate positive energy conition will necessarily lea to continuity of the inuce metric h, an thus to the familiar conition (1.1). Such a conjecture is non-trivial ue to the intrinsic non-linearities of general relativity. Inee, since the curvature iverges at thin walls, one expects non-linearities to have significant effects. Let us take a few moments to make the notion of a thin-wall limit more precise. To o so, consier a oneparameter family of smooth Lorentz-signature metrics g λ on a fixe manifol M for λ (0, 1]. Thus, each (M, g λ ) is a spacetime. However, we think of each g λ as merely some tensor fiel on the manifol M, where in particular the ifferential structure of M is fixe an inepenent of λ. We require the spacetime imension of M to be 3 so that the Einstein equation contains non-trivial ynamics. In the limit λ 0, we wish to allow a thin wall to evelop on some hypersurface; that is, on a smooth embee submanifol of co-imension one, say Σ 0. Note that, while we require Σ 0 to be smooth with respect to the ifferentiable structure of M, we will not require the limit lim λ 0 g λ of the tensor fiels g λ to be smooth there. Thus, we allow a thin wall to form at Σ 0 as one ecreases the with of any thick wall which may be present for λ 0. However, we will require the limiting tensor fiel to be smooth away from Σ 0 so that we encounter only thin-wall singularities. In particular, we suppose that our family g λ satisfies the following conitions: i) The limit of g λ as λ 0 efines a smooth Lorentz-signature metric g 0 everywhere away from Σ 0. Similarly, we require that the first an secon erivatives of g λ (with respect to any fixe smooth coorinate) converge to the first an secon erivatives of g 0 everywhere on M away from Σ 0. For simplicity, we have in min taking the pointwise limit of the components of each tensor fiel g λ an of its erivatives. Thus, this assumption restricts not only the geometry associate with g λ, but also the inherent freeom to perform iffeomorphisms as a function of λ. Note that we o not require (M, g λ ) to be in any sense complete, so that M may in fact represent a small region of a larger manifol an other singularities coul arise elsewhere. ii) Each g λ with λ > 0 satisfies the null convergence conition: R ab k a k b 0 for all null k a. Here our conventions are those of [13]. Note that, without conition (ii), it is straightforwar to construct a family g λ satisfying (i) such that the inuce metric in the limit λ 0 is iscontinuous across the wall. For example, one may consier the following metrics on R : 2 2 s 2 λ := (g λ ) ab x a x b = f λ (z)t 2 + z 2 + (x i ) 2, (1.2) where f λ is some smooth (positive) function with f λ (z) = 1 for z λ an f λ (z) = 2 for z +λ. This one-parameter family of metrics satisfies the conition (i), but, as one may check, it violates the null convergence conition (ii). Our goal is to investigate what further technical assumptions must be ae to (i) an (ii) in orer to guarantee that g 0 efines an inuce metric on Σ 0 which is continuous across the wall. While a completely general theorem is beyon the scope of this work, we present some partial results below. In section II, we prove a number of results to the effect that, in the context of various ansätze for the metrics g λ, the conitions (i) an (ii) o inee imply that g 0 efines an inuce metric which is continuous across Σ 0. In particular, section II A consiers a case where one assumes translation invariance along the surface Σ 0 as well as rotation symmetry among the spatial irections of Σ 0. This case may also be viewe as the warpe prouct of a real line with another real line (the time irection) an with a Eucliean plane, where warping of the secon an thir factors is allowe only with respect to the first real line. This simple setting also serves to introuce a few technical tools (Lemmas) which will continue to be of use later in i=1

3 section II B, where we allow the plane in the above warpe prouct to be replace with an arbitrary geometry; i.e., we generalize to metrics of the form 3 2 s 2 = e 2α(z) t 2 + z 2 + e 2β(z) i,j=1 g ij (x)x i x j, (1.3) where x = (x 1,..., x 2 ) is an appropriate set of spatial coorinates on the hypersurfaces of the foliation. In particular, any given static, spherically symmetric metric may be written in the form (1.3). For this case, we also introuce a further assumption guaranteeing that the wall is in fact thin in a sense measure by certain null geoesics. A final static special case with more egrees of freeom (but of less physical interest) is stuie in section II C. In contrast, section III pursues a ifferent approach. There we prove a theorem which requires neither symmetry nor a particular ansatz for the metric. However, the price to be pai is the introuction of a number of etaile assumptions which relate the behavior of null geoesic congruences in the spacetime (M, g 0 ) to that of null geoesic congruences in (M, g λ ). We also assume that the inuce metric on each sie of the thin wall is well-efine, whereas we were able to erive this result within the context of section II. Finally, section III requires the inuce metric on each sie to be timelike. With these aitional assumptions, the Raychauhuri equation leas irectly to continuity of the inuce metric. Through its use of the Raychauhuri equation, this theorem gives some physical insight into how the null convergence conition helps to ensure this continuity. We then close with a brief iscussion in section IV. In particular, we emphasize that if one oes not impose a positive energy conition (e.g., as in the Ranall-Sunrum scenario [4, 5]), then there is in general no reason to expect the inuce metric to be continuous across the junction. II. PROOFS OF THE CONJECTURE IN SPECIAL CASES We now turn to proofs of the above conjecture in various special cases. We shall begin by consiering (section II A) a special case of the setting lai out in section I above which has a particularly high egree of symmetry. This will simplify the algebra involve an allow us to introuce two Lemmas in a context where their use is transparent. We then procee in section II B to a more general static case involving a warpe prouct, as woul be appropriate for spherical symmetry. In section II C, we briefly examine a further special case with more egrees of freeom, but which is of less physical interest as it requires a timelike Killing fiel of constant norm. A. Translation an Spatial rotation invariance: a simple first case We begin with the case where the metrics g λ are static an share a common set of Eucliean (i.e., rotational an translational) symmetries. We further assume that Gaussian normal coorinates in (M, g λ ) base on the hypersurface Σ 0 are inepenent of λ. Thus, our metrics take the form: 2 s 2 λ = e 2αλ(z) t 2 + z 2 + e 2β λ(z) (x i ) 2, (2.1) where x = (x 1,..., x 2 ) provies an appropriate coorinate system on the ( 2)-planes which form the orbits of the Eucliean symmetry. This case inclues, for example, the setting stuie by Ranall an Sunrum [4, 5]. For efiniteness, we take the range of z to inclue the λ-inepenent close interval [z, z + ] with z + > 0 > z, an we will always work on this close interval below. Here, conition (i) of section I merely imposes that α λ, β λ, an their first an secon erivatives converge for z 0 to some α 0, β 0 (an their erivatives) in the limit λ 0. On the other han, requirement (ii) imposes the null convergence conition for each λ. Consiering the null vectors one fins: i=1 k = e α λ t + z, k = e α λ t + e β λ x1, (2.2) 0 R ab k k a b = ( 2)[ β λ β λ2 + α λ β λ], an (2.3) 0 R ab k a kb = α λ + α 2 λ + ( 3)α λ β λ β λ ( 2)β λ2. (2.4)

4 We now wish to prove continuity of α 0, β 0 at z = 0. The essential strategy will be to use (2.3), (2.4) an the convergence of α λ, β λ to α 0, β 0 (for z 0) to show that the erivatives α λ, β λ at z = 0 satisfy a boun that is inepenent of λ for small λ. Thus, even the limiting functions α 0, β 0 must be continuous at z = 0. However, before commencing our main argument, we first note that conition (2.3) restricts the possible local extrema of β λ. Inee, since the first erivative vanishes at such an extremum, we fin β λ 0. If β λ is non-vanishing there, the extremum must be a local maximum. In fact, the following argument shows that there are no local minima even in the case where β λ vanishes at an extremum. Suppose β λ satisfies (2.3) an has a local minimum at z min. Then β λ is negative somewhere before z min, an we may in fact choose an open interval on which β λ is negative, but such that β λ approaches zero at the right en of this interval 1. On that open interval we may write (2.3) as 0 1 ( β λ )[ β λ (β λ) 2 + α λβ λ] = β λ β λ (α λ β λ) = z (log( β λ)) (α λ β λ). (2.5) But β λ vanishes at the enpoint, so log( β λ ) iverges towar negative infinity. On the other han, since α λ an β λ are smooth functions, the remaining term α λ β λ remains boune. Thus, we have reache a contraiction an β λ can have no local minima. A similar argument using equation (2.4) in the form 2 z 2 (β λ α λ ) + (β λ α λ )[ α λ ( 2)β λ ] 0 (2.6) shows that the function β λ α λ can have no local minima. Let us summarize these results an some of the implications in the following Lemma: Lemma 1: Suppose that, for some λ, equations (2.3) an (2.4) hol on an interval [z, z + ] an that α λ, β λ are smooth on this interval. Then we have the lower bouns β λ min{β λ (z ), β λ (z + )} an β λ α λ min{(β λ α λ )(z ), (β λ α λ )(z + )} everywhere on this interval. Now, as a result of the assumption that the β λ converge to β 0 for z 0, the values β λ (z ± ) are close to β 0 (z ± ) for small λ (an similarly for β λ α λ ). Thus we also have Corollary 1: The functions β λ an β λ α λ are boune below on the interval [z, z + ], uniformly in λ for small λ. As a irect consequence, for small λ the functions e β λ an e α λ β λ are boune (uniformly in λ) both above an below. To simplify the remaining analysis, it is useful to introuce the following two quantities: A λ := β λ eβ λ α λ, With these efinitions, (2.3) an (2.4) are equivalent to: B λ := [ z (eα λ β λ )]e ( 1)β λ. (2.7) 0 z [A λ] an 0 z [B λ], (2.8) so that both A λ an B λ are non-ecreasing. In particular, A λ (z ) A λ (z) A λ (z + ) for z [z, z + ], an similarly for B λ. Since, for small λ, A λ (z ± ) is close to A 0 (z ± ) an B λ (z ± ) is close to B 0 (z ± ), we arrive at the following Lemma: Lemma 2: The functions A λ an B λ are boune both above an below on the interval [z, z + ]. Furthermore, for sufficiently small λ, one may choose bouns that are inepenent of λ. The proof of the conjecture now follows by combining Corollary 1 an Lemma 2. We see that both β λ = A λe α λ β λ an z (eα λ β λ ) = B λ e ( 1)β λ are boune uniformly in λ for small λ, so that β 0, e α0 β0, an therefore e α0 must be continuous. Let us summarize the result in the following Theorem: T heorem 1: For a one-parameter family of smooth metrics escribe by the ansatz (2.1) an satisfying conitions (i) an (ii) from section I, the limiting metric g 0 efines continuous inuce metrics on the hypersurfaces Σ z. 4 Thus, we have proven our conjecture for the special case escribe by the ansatz (2.1). 1 This enpoint nee not be z min.

5 5 We now consier the more general ansatz: B. More general Warpe proucts s 2 λ = e2α λ(z) t 2 + z 2 + e 2β λ(z) 2 i,j=1 g ij (x)x i x j, (2.9) where g ij is inepenent of t an z, an where x = (x 1,..., x 2 ) is an appropriate collection of aitional coorinates. Again, we take the range of z to inclue some close interval [z, z + ], an we confine all iscussion to this interval below. This ansatz inclues static spherically symmetric families of metrics g λ when g ij is the metric on the roun unit sphere S 2. An interesting feature of such spacetimes is that geoesics which are initially tangent to a surface x i = constant in fact remain in this surface. One may show that affinely parameterize null geoesics of this sort are integral curves of the vector fiels e 2α λ t ± e α λ z. Thus each such null geoesic requires an affine parameter z+ z e α λ z (2.10) to traverse the region between z an z +. We see that if the two sies of the wall are to remain in causal contact (i.e., if information can flow across the wall in either irection) in the limit λ 0, the above quantity must be boune uniformly in λ for small λ. We therefore assume such a uniform boun in our treatment below. Let us now procee with the proof. First, we note that the consequences of conition (i) are ientical to those in section II A; namely, that away from z = 0 the functions α λ, β λ, an their first an secon erivatives converge to some α 0, β 0 (an their erivatives) in the limit λ 0. Let us consier the null convergence conition (requirement (ii)) for the null vectors with 2 i,j=1 g ijv i v j = 1 an v i (x) inepenent of t, z: k = e α λ t + z, an 2 = e α λ t + e β λ v i xi (2.11) k i=1 0 R ab k k a b = ( 2)e α λ β λ z [A λ], (2.12) 0 R ab k a kb = e α λ ( 2)β λ z [B λ] + e 2β λ R 0, (2.13) where A λ (z) an B λ (z) are again efine by (2.7) an R(x) = 2 i,j=1 R ij v i v j is efine in terms of the Ricci tensor R ij of the metric g ij. Since (2.12) is ientical to inequality (2.3) in section IIA, we see that, for sufficiently small λ, the functions e β λ an A λ are boune both above an below on the interval [z, z + ]. However, inequality (2.13) iffers from (2.4) by the aition of the final term. Recall that our argument in section II A consiere only the epenence on the coorinate z, effectively taking the x i to be fixe, an note that R is a function only of the x i. Below, we again take the x i to be fixe so that we may regar R as a constant. Furthermore, it is sufficient to consier the case R > 0 below, as for R 0 the constraint (2.13) immeiately reuces to (2.4) an the rest of the argument follows as in section II A. To show that e β λ(z) is (uniformly) boune uner our current hypotheses, recall that we have alreay establishe that there is some positive constant N such that A λ < N for sufficiently small λ. Thus, using the explicit expression for A λ, we have Integrating this equation yiels z [eβ λ ] < Ne α λ. (2.14) e β λ(z) < e β λ(z ) + N z z e α λ z, (2.15)

6 an since the right han sie is uniformly boune for sufficiently small λ, so is e β λ. Since β λ is boune below, there in fact exists some positive constants K ± such that e ±β λ < K ± for sufficiently small λ. Now, for each x = {x i }, consier z [ ǫ, ǫ] for any ǫ < z ±, where we will later take ǫ to be small. In orer to provie a substitute for Corollary 1, we wish to prove that e α λ β λ is boune on [ ǫ, ǫ] uniformly in λ (for small λ). Integrating (2.13) one fins z B λ (z) B λ ( ǫ) R e α λ+( 4)β λ z. (2.16) ǫ Since B λ ( ǫ) converges in the limit λ 0, for small λ we have B λ ( ǫ) b ǫ where b ǫ is some positive constant. Consiering the integral in (2.16), let us note that since e α λ β λ is smooth, it attains some maximal value M λ on the interval [ ǫ, ǫ]. Thus, the integran e ( 3)β λ e α λ β λ is boune (above) by K+ 3 M λ > 0. Multiplying the result by e ( 1)β λ < K 1 an using z < ǫ an the efinition of B λ thus yiels z (eα λ(z) β λ (z) ) K 1 b ǫ 2ǫ 1 RK K+ 3 M λ. (2.17) For the next step, it will be convenient to efine f λ = e α λ β λ, the function with which we are currently concerne. Furthermore, we take z 0 to be the point in [ ǫ, ǫ] where f λ (z 0 ) = M λ. If z 0 < ǫ, then by the mean value theorem the erivative z f λ attains the value f λ(ǫ) M λ ǫ z 0 somewhere between z 0 an ǫ, so that this value must also satisfy the boun (2.17). But, since z 0 > ǫ we have 6 f λ (ǫ) M λ 2ǫ f λ(ǫ) f λ (z 0 ) ǫ z 0 K 1 b ǫ 2ǫ 1 RK K 3 + M λ. (2.18) Choosing ǫ 2 < 1/4 RK 1 K 3 +, a bit of algebra yiels M λ f λ(ǫ) + 2ǫK 1 1 RK 1 K 3 + b ǫ 4ǫ2. (2.19) Note that (2.19) also hols for the remaining case where f λ attains the value M λ only at z = ǫ. Finally, since f λ (ǫ) converges as λ 0, the right han sie is boune uniformly in λ for small λ. We see that M λ an thus e α λ β λ (on [ ǫ, ǫ]) has a λ-inepenent upper boun for small λ. In summary, we have shown: Lemma 3: Given α λ, β λ satisfying (2.12), (2.13), an the state convergence properties with respect to λ, there is an ǫ > 0 such that, for sufficiently small λ, the functions e β λ an e α λ β λ are boune (uniformly in λ) on the interval [ ǫ, ǫ]. It is now straightforwar to prove continuity of the inuce metric. As above, we consier only the interval [ ǫ, ǫ] an the case R > 0. By Lemmas 2 an 3, for sufficiently small λ, the function β λ = A λe α λ β λ is boune uniformly in λ (for small λ) so that β 0 is continuous. In aition, we have for sufficiently small λ. Thus for z [ ǫ, ǫ] we have z [B λ] e α λ+( 4)β λ R e α λ β λ K 3 + R K 3 + RM λ. (2.20) B λ (ǫ) + 2ǫK 3 + RM λ B λ (z) B λ ( ǫ) 2ǫK 3 + RM λ. (2.21) The convergence of B λ (±ǫ) as λ 0 an Lemma 3 then guarantee that on [ ǫ, ǫ], the function B λ = e ( 1)β λ z (eα λ β λ ) satisfies a boun which is uniform in λ for small λ. Multiplying by e ( 1)β λ an using Lemma 3 once again, the same must be true of z (eα λ β λ ). Thus e α0 β0 is continuous. Since we have alreay establishe continuity of e β0, we in fact have: T heorem 2: Consier a one-parameter family of smooth metrics of the form (2.9) satisfying conitions (i) an (ii) from section I. If null geoesics along surfaces of constant x i in the limiting spacetime (M, g 0 ) reach (an cross) the wall in finite affine parameter, then the limiting metric g 0 efines continuous inuce metrics on the hypersurfaces of constant z.

7 7 C. More egrees of freeom Thus far, we have investigate only metric ansätze having two free functions. However, it is also straightforwar to consier metrics of the form: 2 s 2 λ = t2 + z 2 + e 2βi λ (z) (x i ) 2. (2.22) Note that we have require the existence of a timelike Killing vector fiel with constant norm. As usual, we take the range of z to inclue [z, z + ], an we take this coorinate to label the hypersurfaces Σ z. Since no reshift factor is allowe in (2.22), such metrics are perhaps of less physical interest than those consiere earlier. Nonetheless, we present a short proof for this case in the hopes that it will prove useful for future investigations. The techniques evelope in section II A apply in a straightforwar way. It is sufficient to consier the null vectors for which the null convergence conition implies i=1 k i = t + e βi λ xi, (2.23) 0 R ab ki a kb i = βi λ β i 2 λ ( βλ k ). (2.24) Repeating the arguments of section II A, one immeiately fins that βλ i has no local minima on [z, z + ] an thus is boune below uniformly in λ for sufficiently small λ. Furthermore, introucing Bλ i := βi 2 λ e k=1 βk λ, one fins that (2.24) simplifies to 0 z [Bi λ ]. Thus, repeating our stanar argument, Bλ i is boune uniformly in λ for small λ. Together, these facts imply a uniform boun on βλ i = B i λ e 2 k=1 βk λ for small λ, which in turn implies continuity of β i 0 in the limit. We thus verify our conjecture for the special case efine by the ansatz (2.22). k=1 III. A RESULT WITHOUT SYMMETRY In this section we erive a result which ensures continuity of the inuce metric across Σ 0 without specifying an ansatz for g λ an without imposing symmetry. However, to achieve this we introuce a number of assumptions concerning the behavior of null geoesics in the spacetime (M, g 0 ). Our result below (Theorem 3) states roughly that it is impossible for the inuce metric to be iscontinuous across a positive energy wall unless some other pathology also occurs. To this en, we begin with a efinition which introuces a notion of convergence for a family C λ of geoesic congruences associate with the spacetimes (M, g λ ). Definition 1: Consier a family of spacetimes (M, g λ ) satisfying conition (i) an let C λ be a geoesic congruence in (M, g λ ). We then say that C λ converges to a collection of curves C 0 when the following conitions hol. a) Note that each congruence C λ consists of a set of geoesics {γλ x } for x in some appropriate label space X. We require that there be a choice of affine parameter s along each curve γλ x such that, for each x in the label set X, the affine parameter ranges over the interval [0, 1] an the maps γλ x (s) : [0, 1] M converge pointwise in the limit λ 0 to some map γ0 x (s) : [0, 1] M. b) Away from the hypersurface Σ 0, we require that the first an secon erivatives of γλ x (s) with respect to both x an s must converge to the corresponing erivatives of γ0 x (s), which we also require to be well-efine. Thus, away from Σ 0, we see that γ0 x is also a geoesic of (M, g 0) an that s is again an affine parameter. We enote the collection of functions γ x 0 : [0, 1] M by C 0. As efine above, C 0 is merely a collection of curves an nee not form a congruence. For example, it is possible that all of the curves in C 0 might coincie. However, consier the case where the C λ are hypersurface orthogonal null

8 congruences (without caustics) an where the spacetimes (M, g λ ) satisfy the null convergence conition (ii). Then by the Raychauhuri equation, the expansion θ is non-increasing along each geoesic in the congruence (see e.g., [13]). But the expansion is etermine by mixe secon erivatives of the functions γλ x (s) with respect to x an s together with the metric g λ an its first erivative. As a result, whenever θ 0,x is well-efine the expansion must converge in the limit λ 0 to the associate expansion θ 0,x of γ0 x (s). Thus, in any interval where it is well-efine, the expansion of γ0 x (s) is again a non-increasing function of s. Furthermore, since the area elements carrie by the congruences C λ converge to the area element carrie by C 0, the expansion θ 0,x can cease to be well-efine only at Σ 0 or when θ 0,x at some affine parameter s 0. Suppose then that γ0 x is not in Σ 0 at s = 1 an that C 0 oes form a congruence near s = 1, so that the expansion θ 0,x is well-efine there. Then, since θ λ,x s=1 converges as λ 0 to θ 0,x s=1, for sufficiently small λ, the expansions θ λ,x s=1 are boune uniformly in λ. But since each θ λ,x (s) is a non-increasing function, this means that such θ λ,x (s) are boune below uniformly in both λ an s. As a result, the limiting expansion θ 0,x (s) associate with λ = 0 is also boune below an oes not iverge to. Similarly, if γ0 x s=0 is not in Σ 0 an if C 0 forms a congruence near s = 0, then θ 0,x (s) is boune above. If both of these conitions hol, then the expansion θ 0,x (s) is well-efine everywhere away from Σ 0 an is boune. It is useful to summarize this iscussion in the following Lemma: Lemma 4: Suppose that C λ are hypersurface-orthogonal null congruences in the spacetimes (M, g λ ) which converge to the set of curves C 0 in (M, g 0 ) in the sense of Definition 1. Suppose also that γ x 0 s=0, γ x 0 s=1 Σ 0 an that C 0 forms a congruence near s = 0 an near s = 1. If the spacetimes (M, g λ ) satisfy the null convergence conition (ii), then the expansion of C 0 is well-efine away from Σ 0 an is boune along each curve in C 0. Now, we wish to show that the inuce metric must be continuous across Σ 0 unless some aitional pathology arises in the spacetime. Stating this precisely will also require us to efine a notion of the inuce metric h on each sie of the hypersurface Σ 0 in the spacetime (M, g 0 ). We o so as follows: Definition 2: Consier a singular spacetime (M, g 0 ) efine as a limit of smooth spacetimes (M, g λ ) satisfying conition (i). Furthermore, consier any smooth foliation of the manifol M near the singular hypersurface Σ 0 which inclues Σ 0 as a leaf. Let us label the leaves by a parameter z taking z = 0 at Σ 0, an referring to the leaf at z as Σ z. Now, for each z > 0 there is some metric h z inuce by embeing Σ z in (M, g 0 ). Suppose that the limit h 0+ := lim z 0 h z (in which z approaches zero from the positive sie) exists as a tensor fiel on Σ 0. Then we say that h 0+ is an inuce metric on the z > 0 sie of Σ 0. We may similarly efine an inuce metric h 0 on the z < 0 sie of Σ 0. Note that, in general, h 0+ nee not agree with h 0 ; i.e., the inuce metric nee not be continuous across Σ 0. Also note that the efinition above allows h 0± to epen on the choice of foliation. We are now reay to state our theorem: Theorem 3: Consier any spacetime (M, g 0 ) satisfying (i) an (ii) from section I an a foliation {Σ z } of M near Σ 0 which inuces a well-efine, invertible, Lorentz signature metric h 0± on each sie of Σ 0. Suppose also that for each point p Σ 0 an each ω in some open set of rank ( 2) antisymmetric contravariant tensors associate with the tangent space to Σ 0 at p, there is a set of curves C 0 such that a) C 0 satisfies the conitions of Lemma 4. b) Some curve in C 0 passes through p. c) The tensor ω is the antisymmetric prouct of the set of eviation vectors associate with C 0 at p; i.e, if y a are coorinates on Σ 0, then ω a1,...,a 2 = ǫ i1,...,i 2 y a1,i 1...y a 2,i 2, (3.1) where the erivatives are taken with respect to coorinates x i on the label space X use to parameterize the curves in C 0. In particular, we require the right-han sie of (3.1) to be well-efine; i.e., the analogue of (3.1) for Σ z with z 0 is continuous in z. ) For each curve γ x 0 in C 0 the point γ x 0 (s) lies in Σ 0 for exactly one value of the parameter s. This feature provies a sense in which the wall may be consiere thin. Then the inuce metric is in fact continuous across Σ 0 ; i.e., h 0+ = h 0. 8

9 The proof is straightforwar. For any such C 0, consier the infinitesimal area element carrie by a curve γ x 0 lying in C 0 an running through p. This infinitesimal area element is the antisymmetric prouct of the eviations vectors analogous to (3.1), but with erivatives taken holing fixe the parameter s along the curves. However, since the curves in C 0 are null away from Σ 0, the area of this element at any point q Σ 0 may instea be evaluate using the eviation vectors along a surface of constant z. That is, one may use (3.1) on a surface Σ z containing q (an thus with z 0). In particular, we may evaluate the limits of the area as z 0 from either sie. The result is simply the area assigne to the corresponing rank ( 2) antisymmetric tensor ω at p by the limiting metric h 0+ or h 0. Now, by assumption, the metrics h 0± are non-egenerate. Thus, knowlege of such areas for an open set (i.e., a ( 1)-parameter family) of rank ( 2) contravariant tensors ω on Σ 0 in fact etermines the full inuce metric 2 on Σ 0. But these areas are continuous functions of the affine parameter by Lemma 4, an since we have impose that the wall is thin as measure by s, this affine parameter is a continuous function of z. Thus, the inuce metrics on the leaves Σ z must also be continuous in z. In particular, we must have h 0+ = h 0. 9 IV. DISCUSSION In the work above, we have explore the iea that the null convergence conition might imply continuity of the inuce metric across thin walls in general relativity an thus lea irectly to the Israel junction conitions [7]. A full proof of this conjecture woul soliify the physical basis behin Israel s formalism, whereas a counter-example woul lea to a new class of physically interesting thin-wall solutions. It is important to stress, however, that in cases where one oes not require the null convergence conition we see no general physical justification for requiring continuity of the inuce metric, or inee any other simple behavior at the thin-wall singularity. Thin-wall limits of general smooth negative energy spacetimes will thus be quite complicate to escribe. For example, the Riemann tensor will in general fail to be a well-efine istribution ue to the non-linearities in its efinition. Thus, it is not clear that the limiting thin-wall spacetime shoul itself satisfy any well-efine version of the Einstein equation; certainly, it nee not satisfy the Israel conitions [7]. As a result, there may well be a large new class of thin-wall spacetimes not satisfying the Israel conitions [7] but which are of physical relevance to the Ranall-Sunrum scenario [4, 5], as this scenario violates the null convergence conition. Returning now to the present work, we have proven that the null convergence conition leas to continuity of the inuce metric for various special cases. In section II, we consiere thin walls which can be approximate by certain families of smooth warpe prouct spacetimes; in particular, we consiere approximating metrics g λ of the form 2 s 2 = e 2α(z) t 2 + z 2 + e 2β(z) i,j=1 g ij (x)x i x j. (4.1) The physics of this ansatz can be ecompose into a number of inepenent assumptions. First, we have taken the approximating spacetimes to be inepenent of time. While this simplifies the calculations, one expects a similar proof to go through in the general time-epenent case. The point is that, in the limit of a smooth thin wall, it is natural to require erivatives along the wall (e.g., time erivatives) to remain small compare to erivatives across the wall (which necessarily become large). Thus, allowing non-zero tangential erivatives shoul be only a small correction to the equations of motion when viewe relative to the large transverse erivatives. However, other generalizations (such as allowing off-iagonal components of g λ ) may be more subtle, an seem unlikely to be tractable using only the rather elementary methos of section II. One might hope to gain more control by following Israel [7] an casting the problem in terms of the metric an intrinsic curvature of some foliation. However, our attempts to ate in this irection have not proven fruitful. We therefore leave a more complete analysis for further investigations. It is interesting to contrast the use of metric ansätze (Theorems 1 an 2 in section II) with the approach base on null congruences use to prove Theorem 3 in section III. On the one han, Theorem 3 is quite powerful as it requires neither symmetries nor any other particular ansatz form for the approximating spacetimes (M, g λ ). On the other han, the reaer will note that the complete list of assumptions require to prove Theorem 3 is rather long. In 2 This follows from the fact that the square of the area A associate with the antisymmetric contravariant tensor ω of rank ( 2) is A 2 (ω) = 1 ( 2)! ωa 1...a 2 ω b 1...b 2 h a1 b 1...h a 2 b 2. Thus, we have 1 2 ǫa 1...a 2 a ǫ b 1...b 2 b 2 A 2 ω a 1...a 2 ω b 1...b = (et 2 h)hab, since h ab is invertible.

10 particular, recall that Theorem 3 assumes not only that the inuce metric on each sie of the wall exists as a tensor fiel, but also that it is invertible an of Lorentz signature. This is in contrast to the results of section II which prove (within their own context) that the metric on each sie of the wall is well-efine. Furthermore, the settings in section II inclue cases in which the inuce metric on the thin wall is egenerate; i.e., where the wall becomes null in the limit λ 0. In section II we were able to show only that the function e α0 is continuous at Σ 0, allowing α 0 itself to iverge towar negative infinity as z 0, in which case the inuce metric at Σ 0 woul be egenerate. In contrast, we were able to show that the function β 0 is continuous at Σ 0, so that the corresponing metric component e β0 is both continuous an non-vanishing. Null walls are quite physical, an a particularly interesting example arises in thin-wall moels of flat funamental omain walls, whose stress tensor is Poincaré invariant along the wall. For example, we may note from solutions [14, 15, 16, 17] for spherical such omain walls that the walls ten to become null in the flat limit; i.e., as the raius of the sphere grows to infinite size. On the other han, the egenerate metrics associate with null walls cannot be reconstructe from their area elements as woul be require by a generalization of Theorem 3. Another assumption use in Theorem 3 was that one can ientify an open set (in particular, a ( 1)-parameter family) of null geoesic congruences in each (M, g λ ) such that, for each value of the ( 1) parameters, the associate congruences C λ converge to a sufficiently nice family of curves C 0 in (M, g 0 ). While this nee not be the case for the situations consiere in section II, we note that all cases stuie in section II o have at least one such family of congruences C λ originating on each sie of the wall; namely, the congruence of null geoesics with x i = constant. It woul be interesting to unerstan if this is relate to the ifficulty in generalizing the results of section II to cases with non-trivial reshift an more than two free functions. 10 Acknowlegments The authors thank Belkis Cabrera Palmer, Anrés Gomberoff, Eric Poisson, Ricaro Troncoso, Jorge Zanelli, an especially Werner Israel for useful iscussions. The original iea for this project arose in iscussions between one of the authors (DM) an Belkis Cabrera Palmer. This work was supporte in part by NSF grant PHY an by funs from the University of California an the Perimeter Institute for Theoretical Physics. Finally, one of the authors (SY) woul like to express his gratitue to the UCSB College of Creative Stuies for proviing a flexible eucational system, from which he benefite enormously. [1] N. Arkani-Hame, S. Dimopoulos an G. R. Dvali, The hierarchy problem an new imensions at a millimeter, Phys. Lett. B 429, 263 (1998) [arxiv:hep-ph/ ]. [2] N. Arkani-Hame, S. Dimopoulos an G. R. Dvali, Phenomenology, astrophysics an cosmology of theories with submillimeter imensions an TeV scale quantum gravity, Phys. Rev. D 59, (1999) [arxiv:hep-ph/ ]. [3] I. Antoniais, N. Arkani-Hame, S. Dimopoulos an G. R. Dvali, New imensions at a millimeter to a Fermi an superstrings at a TeV, Phys. Lett. B 436, 257 (1998) [arxiv:hep-ph/ ]. [4] L. Ranall an R. Sunrum, A large mass hierarchy from a small extra imension, Phys. Rev. Lett. 83, 3370 (1999) [arxiv:hep-ph/ ]. [5] L. Ranall an R. Sunrum, An alternative to compactification, Phys. Rev. Lett. 83, 4690 (1999) [arxiv:hep-th/ ]. [6] W. Israel, Gravitational collapse an causality, Phys. Rev. 153, 1388 (1967). [7] W. Israel, Singular Hypersurfaces an Thin Shells in General Relativity, Nuovo Cimento, 44 (1966) [8] C. Lanczos, Bemerkung zur e Sitterschen Welt, Phys. Zeits (1922). [9] C. Lanczos, Flächenhafte Verteilung er Materie in er Einsteinschen Gravitationsheorie, Ann er Phys. 74, 528 (1924). [10] G. Darmois, Les équations e la gravitation einsteinienne, in Mémorial es sciences mathematíques XXV(Gauthier- Villars, Paris, 1927). [11] C. W. Misner an D. H. Sharp, Relativistic equations for aiabatic spherically symmetric gravitational collapse, Phys. Rev. B136, 571 (1964). [12] W. Israel, private communication. [13] R. M. Wal, General Relativity (U. Chicago Press, Chicago, 1984). [14] A. Vilenkin, Gravitational Fiel Of Vacuum Domain Walls, Phys. Lett. B 133 (1983) 177. [15] J. Ipser an P. Sikivie, The Gravitationally Repulsive Domain Wall, Phys. Rev. D 30, 712 (1984). [16] J. R. Ipser, Repulsive An Attractive Planar Walls In General Relativity, Phys. Rev. D 30, 2452 (1984). [17] A. Vilenkin an E. P. S. Shellar, Cosmic Strings an other Topological Defects (Cambrige University Press, Cambrige: 1994).