r
X
i
v
:
g
r

q
c
/
0
4
0
6
0
8
3
v
2
3
1
O
c
t
2
0
0
4
Fundamental limitations on warp drive spacetimes
Francisco S. N. Lobo
(x, y, z z
0
(t)) dt] [dx
(x, y, z z
0
(t)) dt] . (1)
In terms of the wellknown ADM formalism this corresponds to a spacetime wherein space is at, while the lapse
function is identically unity, and the only nontrivial structure lies in the shift vector (t, x). Thus warp drive
spacetimes can also be viewed as specic examples of shiftonly spacetimes. The Alcubierre warp drive corresponds
to taking the shift vector to always lie in the direction of motion
(x, y, z z
0
(t)) = v(t) z f(x, y, z z
0
(t)), (2)
in which v(t) = dz
0
(t)/dt is the velocity of the warp bubble, moving along the positive zaxis, whereas in the Nat ario
warp drive the shift vector is constrained by being divergencefree
(x, y, z) = 0. (3)
A. Alcubierre warp drive
In the Alcubierre warp drive the spacetime metric is
ds
2
= dt
2
+ dx
2
+ dy
2
+ [dz v(t) f(x, y, z z
0
(t)) dt]
2
. (4)
3
The form function f(x, y, z) possesses the general features of having the value f = 0 in the exterior and f = 1 in the
interior of the bubble. The general class of form functions, f(x, y, z), chosen by Alcubierre was spherically symmetric:
f(r) with r =
_
x
2
+ y
2
+ z
2
. Then
f(x, y, z z
0
(t)) = f(r(t)) with r(t) =
_
[(z z
0
(t)]
2
+ x
2
+ y
2
_
1/2
. (5)
Whenever a more specic example is required we adopt
f(r) =
tanh [(r + R)] tanh [(r R)]
2 tanh(R)
, (6)
in which R > 0 and > 0 are two arbitrary parameters. R is the radius of the warpbubble, and can be interpreted
as being inversely proportional to the bubble wall thickness. If is large, the form function rapidly approaches a top
hat function, i.e.,
lim
f(r) =
_
1, if r [0, R],
0, if r (R, ).
(7)
It can be shown that observers with the four velocity
U
= (1, 0, 0, vf) , U
= (1, 0, 0, 0) . (8)
move along geodesics, as their 4acceleration is zero, i.e., a
= U
;
= 0. These observers are called Eulerian
observers. Their fourvelocity is normal to the spatial hypersurface with t = const, and they are close analogues of
the usual Eulerian observers of uid mechanics, which move with the ow of the uid. The spaceship, which in the
original formulation is treated as a test particle which moves along the curve z = z
0
(t), can easily be seen to always
move along a timelike curve, regardless of the value of v(t). One can also verify that the proper time along this curve
equals the coordinate time, by simply substituting z = z
0
(t) in equation (4). This reduces to d = dt, taking into
account dx = dy = 0 and f(0) = 1.
If we attempt to treat the spaceship as more than a test particle, we must confront the fact that by construction
we have forced f = 0 outside the warp bubble. [Consider, for instance, the explicit form function of equation (6) in
the limit r .] This implies that the spacetime geometry is asymptotically Minkowski space, and in particular the
ADM mass (dened by taking the limit as one moves to spacelike innity i
0
) is zero. That is, the ADM mass of the
spaceship and the warp eld generators must be exactly compensated by the ADM mass due to the stressenergy of
the warpeld itself. Viewed in this light it is now patently obvious that there must be signicant violations of the
classical energy conditions (at least in the original version of the warpdrive spacetime), and the interesting question
becomes Where are these energy condition violations localized?.
One of our tasks in the current article will be to see if we can rst avoid this exact cancellation of the ADM
mass, and second, to see if we can make qualitative and quantitative statements concerning the localization and
total amount of energy condition violations. (A similar attempt at quantication of the total amount of energy
condition violation in traversable wormholes was recently presented in [31, 32].)
Consider a spaceship placed within the Alcubierre warp bubble. The expansion of the volume elements, = U
;
,
is given by = v (f/z). Taking into account equation (5), we have (for Alcubierres version of the warp bubble)
= v
z z
0
r
df(r)
dr
. (9)
The center of the perturbation corresponds to the spaceships position z
0
(t). The volume elements are expanding
behind the spaceship, and contracting in front of it. Appendix A contains a full calculation of all the orthonormal
components of the Einstein tensor for the Alcubierre warp bubble. By using the Einstein eld equation, G
= 8 T
,
we can make rather general statements regarding the nature of the stress energy required to support a warp bubble.
The WEC states T
V
V
0, in which V
is any timelike vector and T
0 where U
t
, in an orthonormal basis (details given in Appendix A), and taking
into account the Einstein eld equation, we verify that the energy density of the warp drive spacetime is given by
T
tt
= T
= T
t
= T
t
= T
U
U
, (12)
and so equals the energy density measured by the Eulerian observers, that is, equation (11). It is easy to verify that the
energy density is distributed in a toroidal region around the zaxis, in the direction of travel of the warp bubble [23].
It is perhaps instructive to point out that the energy density for this class of spacetimes is nowhere positive. That
the total ADM mass can nevertheless be zero is due to the intrinsic nonlinearity of the Einstein equations.
We can (in analogy with the denitions in [31, 32]) quantify the total amount of energy condition violating matter
in the warp bubble by dening
M
warp
=
_
warp
d
3
x =
_
T
d
3
x =
v
2
32
_
x
2
+ y
2
r
2
_
df
dr
_
2
r
2
dr d
2
=
v
2
12
_ _
df
dr
_
2
r
2
dr. (13)
This is emphatically not the total mass of the spacetime, but it characterizes how much (negative) energy one needs
to localize in the walls of the warp bubble. For the specic shape function (6) we can estimate
M
warp
v
2
R
2
. (14)
(The integral can be done exactly, but the exact result in terms of polylog functions is unhelpful.) Note that the
energy requirements for the warp bubble scale quadratically with bubble velocity, quadratically with bubble size, and
inversely as the thickness of the bubble wall.
The NEC states that T
0, where k
= 8 T
,
the NEC for a null vector oriented along the z directions takes the following form
T
=
v
2
8
_
_
f
x
_
2
+
_
f
y
_
2
_
v
8
_
2
f
x
2
+
2
f
y
2
_
. (15)
In particular if we average over the z directions we have
1
2
_
T
+ z
k
+ z
+ T
z
k
z
_
=
v
2
8
_
_
f
x
_
2
+
_
f
y
_
2
_
, (16)
which is manifestly negative, and so the NEC is violated for all v. Furthermore, note that even if we do not average,
the coecient of the term linear in v must be nonzero somewhere in the spacetime. Then at low velocities this term
will dominate and at low velocities the unaveraged NEC will be violated in either the + z or z directions.
To be a little more specic about how and where the NEC is violated consider the Alcubierre form function. We
have
T
z
k
z
=
1
8
v
2
(x
2
+ y
2
)
r
2
_
df
dr
_
2
v
8
_
x
2
+ y
2
+ 2(z z
0
(t))
2
r
3
df
dr
+
x
2
+ y
2
r
2
d
2
f
dr
2
_
. (17)
The rst term is manifestly negative everywhere throughout the space. As f decreases monotonically from the center
of the warp bubble, where it takes the value of f = 1, to the exterior of the bubble, with f 0, we verify that df/dr
is negative in this domain. The term d
2
f/dr
2
is also negative in this region, as f attains its maximum in the interior
of the bubble wall. Thus, the term in square brackets unavoidably assumes a negative value in this range, resulting
in the violation of the NEC.
For a null vector oriented perpendicular to the direction of motion (for deniteness take
k = x) the NEC takes
the following form
T
x
k
x
=
v
2
8
_
1
2
_
f
y
_
2
+
_
f
z
_
2
(1 f)
2
f
z
2
_
v
8
_
2
f
xz
_
. (18)
5
Again, note that the coecient of the term linear in v must be nonzero somewhere in the spacetime. Then at low
velocities this term will dominate, and at low velocities the NEC will be violated in one or other of the transverse
directions. Upon considering the specic form of the spherically symmetric Alcubierre form function, we have
T
x
k
x
=
v
2
8
_
y
2
+ 2(z z
0
(t))
2
2r
2
_
df
dr
_
2
(1 f)
_
x
2
+ y
2
r
3
df
dr
+
(z z
0
(t))
2
r
2
d
2
f
dr
2
_
_
v
8
x(z z
0
(t))
r
2
_
d
2
f
dr
2
1
r
df
dr
_
. (19)
Again, the message to take from this is that localized NEC violations are ubiquitous and persist to arbitrarily low
warp bubble velocities.
Using the volume integral quantier (as dened in [31, 32]), we may estimate the total amount of averaged
null energy condition violating matter in this spacetime, given by
_
T
z
k
z
d
3
x
_
T
x
k
x
d
3
x v
2
R
2
M
warp
. (20)
The key things to note here are that the net volume integral of the O(v) term is zero, and that the net volume average
of the NEC violations is approximately the same as the net volume average of the WEC violations, which are O(v
2
).
B. Natario warp drive
The alternative version of the warp bubble, due to Jose Nat ario demonstrates that the contraction/expansion
referred to above is not always a feature of the warp drive [2]. In his construction a compression in the radial
direction is exactly balanced by an expansion in the perpendicular direction, so that the shift vector is divergencefree
= 0. To verify this consider spherical coordinates (r, , ) in the Euclidean 3space (see [2] for details). The
diagonal components of the extrinsic curvature are given by
K
rr
= 2vf
cos and K
= K
= vf
cos , (21)
respectively, where the prime denotes a derivative with respect to r. Taking into account the denition of the expansion
of the volume element given by = K
i
i
, from equations (21), we simply have = K
rr
+ K
+ K
= 0. This
analysis provides a certain insight into the geometry of the spacetime. For instance, consider the front of the warp
bubble, with cos > 0, such that K
rr
< 0 (see [2] for details). This indicates a compression in the radial direction,
which is compensated by an expansion, K
+ K
= K
rr
, in the perpendicular direction. Thus, this warp drive
spacetime can be thought of as a warp bubble that pushes space aside and thereby slides through space.
We now dene in the interior of the warp bubble to be v, and assume the radius of the warp bubble to be R.
Furthermore we take to fall to zero over a distance of order 1/. Appendix B contains a full calculation of all the
orthonormal components of the Einstein tensor for the Nat ario warp bubble, useful for analysis of energy condition
violations in this class of spacetimes.
For the WEC we use the results of Appendix B to write
T
=
1
8
G
t
=
1
16
Tr(K
2
). (22)
This is manifestly negative and so the WEC is violated everywhere throughout the spacetime.
We can again quantify the total amount of energy condition violating matter in the warp bubble by dening
M
warp
=
_
warp
d
3
x =
_
T
d
3
x =
1
16
_
Tr(K
2
) d
3
x =
1
16
_
(i,j)
(i,j)
d
3
x. (23)
Now in the interior of the warp bubble is by denition v, while the size of the warp bubble is taken to be R.
Furthermore gradients of in the bubble walls are of order v, and the thickness of the bubble walls is of order 1/R.
So we can again estimate (as for the Alcubierre warp bubble)
M
warp
v
2
R
2
. (24)
With a bit more work we can verify that the NEC is violated throughout the spacetime. Consider a null vector
pointing in the direction n, so that k
= (1, n
i
). Then
T
=
1
8
_
G
t
+ 2 n
t
+ n
n
G
(25)
6
If the NEC is to hold, then this must be positive in both the n and n directions, so that we must have
1
2
_
T
+ n
k
+ n
+ T
n
k
n
_
=
1
8
_
G
t
+ n
i
n
j
G
0 (26)
But now averaging over the x, y, and z directions we see that the NEC requires
T
t
+
=
1
8
[G
t
+
] 0. (27)
But from Appendix B we have
G
t
+
= 2Tr(K
2
) (28)
which is manifestly negative, and so the NEC is violated everywhere. Note that K is O(v) and so we again see that
the NEC violations persist to arbitrarily low warp bubble velocity.
III. LINEARIZED GRAVITY APPLIED TO THE WARP DRIVE
Our goal now is to try to build a more realistic model of a warp drive spacetime where the warp bubble is
interacting with a nite mass spaceship. To do so we rst consider the linearized theory [33, 34, 35] applied to
warp drive spacetimes, for nonrelativistic velocities, v 1. A brief summary of linearized gravity is presented in
Appendix C. In linearized theory, the spacetime metric is given by ds
2
= (
+ h
) dx
dx
, with h
1 and
= diag(1, 1, 1, 1). Taking into account equation (4), it is an exact statement that h
) =
_
_
v
2
f
2
0 0 vf
0 0 0 0
0 0 0 0
vf 0 0 0
_
_ . (29)
Now the results deduced from applying linearized theory are only accurate to rst order in v. This is equivalent to
neglecting the h
00
= v
2
f
2
term in the matrix (h
) =
_
_
0 0 0 vf
0 0 0 0
0 0 0 0
vf 0 0 0
_
_ . (30)
The trace of h
= h
2
h
03
x
= v
2
f
x
. (31)
where we consider the bubble velocity parameter to be constant, v = constant. For simplicity we shall use the original
form function given by Alcubierre, equation (5), so that equation (31) takes the form
2
h
03
x
= v
_
r
x
r
x
d
2
f
dr
2
+
2
r
x
df
dr
_
. (32)
A. The weak energy condition (WEC)
The linearized theory applied to Alcubierres warp drive, for nonrelativistic velocities (v 1), is an immediate
application of the linearized Einstein tensor, equation (C7), and there is no need to impose the Lorenz gauge [36]. The
7
interest of this exercise lies in the application of the WEC. In linearized theory the 4velocity can be approximated
by U
= T
00
=
1
8
G
00
, (33)
and from equation (C7), we have
G
00
=
1
2
_
h
00,
h
,
2 h
0,0
_
. (34)
The respective terms are given by
h
00,
= 0 , (35)
h
,
= 2h
03,03
, (36)
h
0,0
= h
03,03
. (37)
In general, if second time derivatives appear, they can be neglected because /t is of the same order as v /z,
so that
=
2
+ O(v
2
2
)). In fact, it is possible to prove that the Einstein tensor components G
00
and G
0i
do not contain second time derivatives of any generic h
= T
00
= O(v
2
) , (39)
and the WEC is identically saturated. Although in this approximation the WEC is not violated, it is on the verge of
being so (to rst order in v). This is compatible with the exact nonperturbative calculation previously performed.
B. Negative energy density in boosted inertial frames
Despite the fact that the observers, with U
0
< 0. The
occurring here is completely independent of the shift vector
(x, y, zz
0
(t)), and is also completely independent of the warp bubble velocity v. Consider a Lorentz transformation,
x
=
, with
and
dened as
(
) =
_
_
0 0
0 1 0 0
0 0 1 0
0 0
_
_
, (40)
with = (1
2
)
1/2
. The energy density measured by these observers is given by T
0
=
0
T
. That is:
T
0
=
2
T
00
+ 2
2
T
03
+
2
2
T
33
(41)
=
2
_
2T
03
+
T
33
_
=
2
8
_
2G
03
+
G
33
_
. (42)
taking into account T
00
= 0, due to equation (39). The respective Einstein tensor components, G
03
and G
33
, are
given by
G
03
=
1
2
_
h
03,11
+ h
03,22
_
+ O(v
2
) , (43)
G
33
= O(v
2
) . (44)
8
Finally, substituting these into equation (42), to a rstorder approximation in terms of v, we have
T
0
=
8
_
h
03,11
+ h
03,22
_
+ O(v
2
) . (45)
Taking into account equation (31), we have
T
0
=
2
v
8
_
2
f
x
2
+
2
f
y
2
_
+ O(v
2
) . (46)
Applying equation (32), we have the following relations
h
03,11
= v
_
x
2
r
2
d
2
f
dr
2
+
_
1
r
x
2
r
3
_
df
dr
_
, (47)
h
03,22
= v
_
y
2
r
2
d
2
f
dr
2
+
_
1
r
y
2
r
3
_
df
dr
_
, (48)
and substituting in equation (45) we therefore have
T
0
=
2
v
8
__
x
2
+ y
2
r
2
_
d
2
f
dr
2
+
_
x
2
+ y
2
+ 2(z z
0
(t))
2
r
3
_
df
dr
_
+ O(v
2
) . (49)
A number of general features can be extracted from the terms in square brackets, without specifying an explicit form
of f. In particular, f decreases monotonically from its value at r = 0, f = 1, to f 0 at r R, so that df/dr is
negative in this domain. The form function attains its maximum in the interior of the bubble wall, so that d
2
f/dr
2
is also negative in this region. Therefore there is a range of r in the immediate interior neighbourhood of the bubble
wall that necessarily provides negative energy density, as seen by the observers considered above. Again we nd that
WEC violations persist to arbitrarily low warp bubble velocities.
C. The null energy condition (NEC)
The NEC states that T
0, where k
=
1
8
(G
00
2G
03
+ G
33
)
=
1
8
_
h
03,11
+ h
03,22
_
+ O(v
2
)
=
v
8
_
2
f
x
2
+
2
f
y
2
_
+ O(v
2
) . (50)
Whatever the value of the bracketed term, as long as it is nonzero the NEC will be violated (for small enough v) in
either the +z or z directions. This is compatible with the exact nonperturbative calculation previously performed.
Using the general form function dened by Alcubierre, equation (50) reduces to
T
=
v
8
__
x
2
+ y
2
r
2
_
d
2
f
dr
2
+
_
x
2
+ y
2
+ 2(z z
0
(t))
2
r
3
_
df
dr
_
+ O(v
2
) (51)
Equation (51) is proportional to the energy density, T
0
, of equation (49). We verify that the term in square brackets
has a region for which it is negative, thus also violating the NEC in the immediate interior vicinity of the bubble wall.
D. Linearized gravity applied to the spaceship
The weak gravitational eld of a static source, in particular of a spaceship, is given by the following metric
ds
2
= dt
2
+ dx
2
+ dy
2
+ dz
2
2(x, y, z)
_
dt
2
+ dx
2
+ dy
2
+ dz
2
_
. (52)
9
Applying the linearized theory with ds
2
= (
+h
) dx
dx
and h
are given by
(h
) =
_
_
2 0 0 0
0 2 0 0
0 0 2 0
0 0 0 2
_
_ . (53)
The trace is given by h = h
) =
_
_
4 0 0 0
0 0 0 0
0 0 0 0
0 0 0 0
_
_ . (54)
Applying the linearized Einstein tensor, equation (C7), to the component, G
00
, we have Poissons equation
2
= 4 , (55)
in which is the mass density of the spaceship. This case is comparable to the Newtonian limit, which is valid when
the gravitational elds are too weak to produce velocities near the speed of light, that is,  1 and v 1. For such
cases general relativity makes the same predictions as Newtonian gravity. For elds that change due to the movement
of the source, for instance along the zaxis with a velocity of v, we verify that /t is of the same order as v /z. It
is easy to verify that the energy uxes or the momentum densities, T
0i
are proportional to rst order in v, and the
stresses, T
ij
, to second order. Therefore the stressenergy tensor T
. (56)
If = 0, the metric (56) reduces to the warp drive spacetime of equation (4). If v = 0, we have the metric representing
the gravitational eld of a static source, equation (52).
Applying the transformation, z
v {f(x, y, z
) 1} dt]
2
2(x, y, z
)
_
dt
2
+ dx
2
+ dy
2
+ (dz
v {f(x, y, z
) 1} dt)
2
. (57)
Note that the metric now looks static. Considering an observer in the interior of the bubble, comoving with the
spaceship, the metric (57), with f = 1, reduces to
ds
2
dt
2
+ dx
2
+ dy
2
+ dz
2
2(x, y, z
)
_
dt
2
+ dx
2
+ dy
2
+ dz
2
, (58)
so that inside the bubble we simply have the weak gravitational eld of a static source, that of the spaceship.
Outside the warp bubble, where f = 0, the metric (57) reduces to
ds
2
dt
2
+ dx
2
+ dy
2
+ [dz
+ v dt]
2
2(x, y, z
)
_
dt
2
+ dx
2
+ dy
2
+ (dz
+ v dt)
2
. (59)
First order approximation
Applying the linearized theory, keeping terms linear in v and but neglecting all superior order terms so that
the approximation of equation (C4) is valid, the matrix elements, h
) =
_
_
2 0 0 vf
0 2 0 0
0 0 2 0
vf 0 0 2
_
_ . (60)
10
The trace of h
is given by, h = h
) =
_
_
4 0 0 vf
0 0 0 0
0 0 0 0
vf 0 0 0
_
_ . (61)
Therefore, from the WEC, T
= T
00
, the tracereversed elements that one needs to determine G
00
[see
equation (34)] are the following
h
00,
= h
00,00
+ h
00,11
+ h
00,22
+ h
00,33
, (62)
h
,
= h
00,00
2h
03,03
, (63)
h
0,0
= h
00,00
+ h
03,03
. (64)
Substituting equations (62)(64) into equation (34), we have
G
00
= 2
2
+ O(v
2
, v,
2
) . (65)
Thus, taking into account Poissons equation, we verify that the WEC is given by
T
= + O(v
2
, v,
2
) , (66)
where is now the ordinary energy density of the spaceship which is manifestly positive. In linearized theory, the
total ADM mass of the spacetime simply reduces to the mass of the spaceship, i.e.,
M
ADM
=
_
T
00
d
3
x =
_
d
3
x + O(v
2
, v,
2
) = M
ship
+ O(v
2
, v,
2
) . (67)
The good news for the warp drive acionados is that the dominant term is manifestly positive.
The NEC, with k
=
1
8
(G
00
2G
03
+ G
33
) . (68)
The Einstein tensor components, G
03
and G
33
, are given by
G
03
=
1
2
_
h
03,
h
0,3
h
3,0
_
, (69)
G
33
=
1
2
_
h
,
2h
3,3
_
, (70)
with the respective tracereversed terms
h
03,
= h
03,00
+ h
03,11
+ h
03,22
+ h
03,33
(71)
h
0,3
= h
00,30
+ h
03,33
(72)
h
3,0
= h
30,00
(73)
h
3,3
= h
30,30
(74)
and the term h
,
2
f
x
2
+
2
f
y
2
_
+ O(v
2
, v,
2
) , (75)
G
33
= O(v
2
, v,
2
) . (76)
to rst order in v and , and neglecting the crossed terms v .
The null energy condition is thus given by
T
=
v
8
_
2
f
x
2
+
2
f
y
2
_
+ O(v
2
, v,
2
) . (77)
11
From this, one can deduce the existence of localized NEC violations even in the presence of a nite mass spaceship,
and can also make deductions about the net volumeaveraged NEC violations. First, note that for reasons of structural
integrity one wants the spaceship itself to lie well inside the warp bubble, and not overlap with the walls of the warp
bubble. But this means that the region where = 0 does not overlap with the region where the O(v) contribution
due to the warp eld is nonzero. So regardless of how massive the spaceship itself is, there will be regions in the wall
of the warp bubble where localized violations of NEC certainly occur. If we now look at the volume integral of the
NEC, the O(v) contributions integrate to zero and we have
_
T
z
k
z
d
3
x =
_
d
3
x + O(v
2
, v,
2
) = M
ship
+ O(v
2
, v,
2
) . (78)
Consider a similar analysis for a null vector oriented perpendicular to the direction of motion, for instance, along
the xaxis, so that k
=
1
8
(G
00
2G
01
+ G
11
) . (79)
Taking into account equation (C7), the respective Einstein tensor components are given by
G
01
=
v
2
2
f
xz
+ O(v
2
, v,
2
) , (80)
G
11
= O(v
2
, v,
2
) , (81)
and G
00
is given by equation (65). Thus, equation (79) takes the following form
T
=
v
8
2
f
xz
+ O(v
2
, v,
2
) , (82)
and considering the Alcubierre form function, we have
T
=
v
8
x(z z
0
(t))
r
2
_
d
2
f
dr
2
1
r
df
dr
_
+ O(v
2
, v,
2
) . (83)
As for the situation when we considered null vectors aligned with the direction of motion, for these transverse null
vectors we nd localized NEC violations in the walls of the warp bubble. We also nd that the volume integral of the
O(v) term is zero and that
_
T
x
k
x
d
3
x =
_
d
3
x + O(v
2
, v,
2
) = M
ship
+ O(v
2
, v,
2
) . (84)
The net result of this O(v) calculation is that irrespective of the mass of the spaceship there will always be localized
NEC violations in the wall of the warp bubble, and these localized NEC violations persist to arbitrarily low warp
velocity. However at O(v) the volume integral of the NEC violations is zero, and so we must look at higher order in
v if we wish to deduce anything from the consideration of volume integrals to probe net violations of the NEC.
Second order approximation
Consider the approximation in which we keep the exact v dependence but linearize in the gravitational eld of the
spaceship . The components of the Einstein tensor, relevant to determining the WEC and the NEC are
G
t
=
v
2
4
_
_
f
x
_
2
+
_
f
y
_
2
_
+ 2
2
+ O(
2
) , (85)
G
z z
=
3
4
v
2
_
_
f
x
_
2
+
_
f
y
_
2
_
+ O(
2
) , (86)
G
t z
=
v
2
_
2
f
x
2
+
2
f
y
2
_
+ O(
2
) , (87)
G
t x
=
1
2
v
2
f
xz
+ O(
2
) , (88)
G
x x
= v
2
_
1
4
_
f
x
_
2
1
4
_
f
y
_
2
_
f
z
_
2
+ (1 f)
2
f
z
2
_
+ O(
2
) . (89)
12
The WEC is given by
T
U
U
=
v
2
32
_
_
f
x
_
2
+
_
f
y
_
2
_
+ O(
2
) , (90)
or by taking into account the Alcubierre form function, we have
T
=
1
32
v
2
(x
2
+ y
2
)
r
2
_
df
dr
_
2
+ O(
2
) . (91)
Once again, using the volume integral quantier, we nd the following estimate
_
T
U
U
d
3
x = M
ship
v
2
R
2
+
_
O(
2
) d
3
x, (92)
which we can recast as
M
total
= M
ship
+ M
warp
+
_
O(
2
) d
3
x, (93)
where M
total
is the net total integrated energy density, to the order of approximation considered, i.e., keeping the
exact v dependence and linearizing in the gravitational eld .
Now suppose we demand that the volume integral of the WEC at least be positive, then
v
2
R
2
<
M
ship
. (94)
This equation is eectively the quite reasonable condition that the net total energy stored in the warp eld be less than
the total massenergy of the spaceship itself, which places a powerful constraint on the velocity of the warp bubble.
Rewriting this in terms of the size of the spaceship R
ship
and the thickness of the warp bubble walls = 1/, we
have
v
2
<
M
ship
R
ship
R
ship
R
2
. (95)
For any reasonable spaceship this gives extremely low bounds on the warp bubble velocity.
In a similar manner, the NEC, with k
2
f
x
2
+
2
f
y
2
_
v
2
8
_
_
f
x
_
2
+
_
f
y
_
2
_
+ O(
2
) . (96)
Considering the volume integral quantier, we verify that, as before, the exact solution in terms of polylogarithmic
functions is unhelpful, although we may estimate that
_
T
k
k
d
3
x = M
ship
v
2
R
2
+
_
O(
2
) d
3
x, (97)
which is [to order O(
2
)] the same integral we encountered when dealing with the WEC. This volume integrated NEC
is now positive if
v
2
R
2
<
M
ship
. (98)
Finally, considering a null vector oriented perpendicularly to the direction of motion (for deniteness take
k = x),
the NEC takes the following form
T
k
k
=
v
2
8
_
1
2
_
f
y
_
2
+
_
f
z
_
2
(1 f)
2
f
z
2
_
v
8
_
2
f
xz
_
+ O(
2
) . (99)
Once again, evaluating the volume integral quantier, we have
_
T
k
k
d
3
x = M
ship
v
2
4
_ _
df
dr
_
2
r
2
dr +
v
2
6
_
(1 f)
_
2r
df
dr
+ r
2
d
2
f
dr
2
_
dr +
_
O(
2
)d
3
x, (100)
13
which, as before, may be estimated as
_
T
k
k
d
3
x M
ship
v
2
R
2
+
_
O(
2
) d
3
x. (101)
If we do not want the total NEC violations in the warp eld to exceed the mass of the spaceship itself we must again
demand
v
2
R
2
<
M
ship
, (102)
which places a strong constraint on the velocity of the warp bubble.
IV. SUMMARY AND DISCUSSION
In this article we have seen how the warp drive spacetimes (in particular, the Alcubierre and Nat ario warp drives) can
be used as gedankenexperiments to probe the foundations of general relativity. Though they are useful toy models for
theoretical investigations, as potential technology they are greatly lacking. We have veried that the nonperturbative
exact solutions of the warp drive spacetimes necessarily violate the classical energy conditions, and continue to do so
for arbitrarily low warp bubble velocity thus the energy condition violations in this class of spacetimes is generic
to the form of the geometry under consideration and is not simply a sideeect of the superluminal properties.
Furthermore, by taking into account the notion of the volume integral quantier, we have also veried that the
total amount of energy condition violating matter in the warp bubble is negative. Using linearized theory, we have
built a more realistic model of the warp drive spacetime where the warp bubble interacts with a nite mass spaceship.
We have tested and quantied the energy conditions to rst and second order of the warp bubble velocity. By doing
so we have been able to safely ignore the causality problems associated with superluminal motion, and so have
focussed attention on a previously unremarked feature of the warp drive spacetime. If it is possible to realise even
a weakeld warp drive in nature, such a spacetime appears to be an example of a reactionless drive. That is,
the warp bubble moves by interacting with the geometry of spacetime instead of expending reaction mass, and the
spaceship (which in linearized theory can be treated as a nite mass object placed within the warp bubble), is simply
carried along with it. We have veried that in this case, the total amount of energy condition violating matter
(the net negative energy of the warp eld) must be an appreciable fraction of the positive mass of the spaceship
carried along by the warp bubble. This places an extremely stringent condition on the warp drive spacetime, namely,
that for all conceivably interesting situations the bubble velocity should be absurdly low, and it therefore appears
unlikely that, by using this analysis, the warp drive will ever prove to be technologically useful. Finally, we point
out that any attempt at building up a strongeld warp drive starting from an approximately Minkowski spacetime
will inevitably have to pass through a weakeld regime. Since the weakeld warp drives are already so tightly
constrained, the analysis of this article implies additional diculties for developing a strong eld warp drive. In
particular we wish to sound a strong cautionary note against overenthusiastic misinterpretation of the technological
situation.
Acknowledgements
The research of Matt Visser was supported by the Marsden Fund administered by the Royal Society of New Zealand.
Francisco Lobo acknowledges some helpful discussions with Jose Nat ario.
APPENDIX A: THE EINSTEIN TENSOR FOR THE ALCUBIERRE WARP DRIVE
1. Generic form function
The Einstein tensor is given by G
= R
1
2
g
t
=
1
4
v
2
_
_
f
x
_
2
+
_
f
y
_
2
_
, (A1)
G
t x
=
1
2
v
2
f
xz
, (A2)
14
G
t y
=
1
2
v
2
f
yz
, (A3)
G
t z
=
1
2
v
_
2
f
x
2
+
2
f
y
2
_
, (A4)
G
x x
= v
2
_
1
4
_
f
x
_
2
1
4
_
f
y
_
2
_
f
z
_
2
+ (1 f)
2
f
z
2
_
, (A5)
G
x y
=
1
2
v
2
_
f
y
__
f
x
_
, (A6)
G
x z
= v
2
__
f
z
__
f
x
_
1
2
(1 f)
2
f
xz
_
, (A7)
G
y z
= v
2
__
f
z
__
f
y
_
1
2
(1 f)
2
f
yz
_
, (A8)
G
y y
= v
2
_
1
4
_
f
y
_
2
1
4
_
f
x
_
2
_
f
z
_
2
+ (1 f)
2
f
z
2
_
, (A9)
G
z z
=
3
4
v
2
_
_
f
x
_
2
+
_
f
y
_
2
_
. (A10)
2. Alcubierre form function
Taking into account Alcubierres choice of the form function, i.e., f(r) with r =
_
x
2
+ y
2
+ [z z
0
(t)]
2
, the
Einstein tensor components of the warp drive spacetime, in cartesian coordinates, in an orthonormal basis, G
, take
the following form
G
t
=
v
2
4
(x
2
+ y
2
)
r
2
_
df
dr
_
2
, (A11)
G
t x
=
v
2
x(z z
0
(t))
r
2
_
d
2
f
dr
2
1
r
df
dr
_
, (A12)
G
t y
=
v
2
y(z z
0
(t))
r
2
_
d
2
f
dr
2
1
r
df
dr
_
, (A13)
G
t z
=
v
2
_
x
2
+ y
2
r
2
d
2
f
dr
2
+
x
2
+ y
2
+ 2(z z
0
(t))
2
r
3
df
dr
_
, (A14)
G
x x
=
v
2
4
x
2
y
2
4(z z
0
(t))
2
r
2
_
df
dr
_
2
+ v
2
(1 f)
_
(z z
0
(t))
2
r
2
d
2
f
dr
2
+
x
2
+ y
2
r
3
df
dr
_
, (A15)
G
x y
=
v
2
2
xy
r
2
_
df
dr
_
2
, (A16)
G
x z
=
v
2
2
x(z z
0
(t))
r
2
_
2
_
df
dr
_
2
(1 f)
_
d
2
f
dr
2
1
r
df
dr
_
_
, (A17)
G
y z
=
v
2
2
y(z z
0
(t))
r
2
_
2
_
df
dr
_
2
(1 f)
_
d
2
f
dr
2
1
r
df
dr
_
_
, (A18)
G
y y
=
v
2
4
y
2
x
2
4(z z
0
(t))
2
r
2
_
df
dr
_
2
+ v
2
(1 f)
_
(z z
0
(t))
2
r
2
d
2
f
dr
2
+
x
2
+ y
2
r
3
df
dr
_
, (A19)
G
z z
=
3
4
v
2
(x
2
+ y
2
)
r
2
_
df
dr
_
2
. (A20)
15
3. Linearized Einstein tensor for the Alcubierre warp drive
Linearizing in the warp velocity is very easy. The only nonzero components are
G
t x
=
1
2
v
2
f
xz
, (A21)
G
t y
=
1
2
v
2
f
yz
, (A22)
G
t z
=
1
2
v
_
2
f
x
2
+
2
f
y
2
_
. (A23)
All other components are O(v
2
).
For the Alcubierre form function f(r) we nd that at linear order in warp bubble velocity
G
t x
=
v
2
x(z z
0
(t))
r
2
_
d
2
f
dr
2
1
r
df
dr
_
, (A24)
G
t y
=
v
2
y(z z
0
(t))
r
2
_
d
2
f
dr
2
1
r
df
dr
_
, (A25)
G
t z
=
v
2
_
x
2
+ y
2
r
2
d
2
f
dr
2
+
x
2
+ y
2
+ 2(z z
0
(t))
2
r
3
df
dr
_
. (A26)
All other components are O(v
2
).
APPENDIX B: THE EINSTEIN TENSOR FOR THE NAT
j
+
j
i
] (B1)
and the no expansion condition implies
K = Tr(K) = 0 (B2)
so the trace of extrinsic curvature is zero. The intrinsic curvature of the constantt time slices is by construction zero
(since they are at). It is useful to introduce a vorticity tensor
ij
=
[i,j]
=
1
2
[
i
i
] (B3)
and then a tedious but straightforward computation (which follows a variant of the GaussCodazzi decomposition)
yields
R
ijkl
= K
ik
K
jl
K
il
K
jk
, (B4)
R
tijk
=
i
jk
+
l
(K
kl
K
ij
K
jl
K
ik
) , (B5)
R
titj
=
t
K
ij
+ (K+K)
ij
_
K
2
_
ij
k
k,ij
+
k
l
(K
kl
K
ij
K
jk
K
il
) . (B6)
Here we have dened
(K+K)
ij
K
ik
kj
+
ik
K
kj
, (B7)
and similarly
_
K
2
_
ij
K
ik
K
kj
. (B8)
The computation reported here for the Nat ario warp drive is identical in spirit (and diers in only notation and
minor technical details) to the computation of the acoustic Riemann tensor for the acoustic geometry reported
16
in [37, 38]. Specically, when sound waves propagate in a constantdensity constant speedofsound background uid
ow the acoustic metric is identical in form to Nat arios metric.
The Einstein tensor is now (in an orthonormal basis)
G
t
=
1
2
Tr(K
2
) , (B9)
G
t
=
1
2
i
, (B10)
G
=
d
dt
K
ij
1
2
ij
Tr(K
2
) (K+K)
ij
, (B11)
where d/dt denotes the usual advective derivative
d
dt
=
t
+
i
x
i
(B12)
In view of the fact that for the Nat ario spacetime all the time dependence comes from motion of the warp bubble, so
that all elds have a spacetime dependence of the form (x, y, z z
0
(t)), we can deduce
d
dt
v(t)
z
+
i
x
i
=
_
v(t) z
_
(B13)
so that
G
_
v(t) z
_
K
ij
1
2
ij
Tr(K
2
) (K+K)
ij
. (B14)
If we now linearize, then the only surviving term in the Einstein tensor is G
t
=
1
2
i
as all other terms are O(v
2
).
A particularly simple special case of the Nat ario spacetime is obtained if the shift vector is taken to be irrotational
as well as being divergenceless [38] In this special case 0 and also
i
0, so that (in an orthonormal basis)
G
t
=
1
2
Tr(K
2
) , (B15)
G
t
= 0 , (B16)
G
=
_
v(t) z
_
K
ij
1
2
ij
Tr(K
2
) . (B17)
When linearizing this special case we nd that all components of the Einstein tensor are O(v
2
).
APPENDIX C: LINEARIZED GRAVITY
For a weak gravitational eld, linearized around at Minkowski spacetime, we can write the spacetime metric
as [33, 34, 35]
g
+ h
, (C1)
with h
and
and g
. We shall adopt this notational convention, keeping in mind that the tensor g
, since the
composition of g
and g
.
The linearized Einstein equation can be obtained in the straightforward manner as follows. Adopting the form
of equation (C1) for the metric components, the resulting connection coecients, when linearized in the metric
perturbation h
, yield
=
1
2
(h
,
+ h
,
h
,
) (C2)
=
1
2
(h
,
+ h
,
h
,
) .
A similar linearization of the Ricci tensor, R
= R
,
+
, (C3)
17
results in the following approximation
R
,
=
1
2
(h
,
+ h
,
h
,
) , (C4)
where h = h
is the trace of h
=
1
2
_
h
,
+ h
,
h
,
h
,
_
h
,
h
,
_
, (C5)
Equation (C5) can be simplied by dening the trace reverse of h
, given by
h
= h
1
2
h, (C6)
with h = h
= h. Therefore, in terms of h
=
1
2
_
h
,
h
,
h
,
h
,
+ O
_
h
2
__
, (C7)
and the linearized Einstein equation is found to be
h
,
h
,
+ h
,
+ h
,
= 16 T
. (C8)
Without loss of generality, one can impose the gauge condition, i.e.,
h
,
= 0 , (C9)
which is similar to the tensor analogue of the Lorenz gauge A
,
= 0 of electromagnetism [36]. The Einstein equation
then simplies to:
h
,
= 16 T
. (C10)
The gauge condition, equation (C9), the eld equation, equation (C10), and the denition of the metric
g
+ h
+ h
1
2
h (C11)
are the fundamental equations of the linearized theory of gravity written in the Lorenz gauge [36].
[1] M. Alcubierre, The warp drive: hyperfast travel within general relativity, Class. Quant. Grav. 11, L73L77 (1994)
[arXiv:grqc/0009013].
[2] J. Natario, Warp drive with zero expansion, Class. Quant. Grav. 19, 1157, (2002) [arXiv:grqc/0110086].
[3] M. Morris and K. S. Thorne, Wormholes in spacetime and their use for interstellar travel: A tool for teaching General
Relativity, Am. J. Phys. 56, 395412 (1988).
[4] M. Visser, Traversable Wormholes: Some Simple Examples, Phys. Rev. D 39 (1989) 3182.
[5] M. Visser, Traversable Wormholes From Surgically Modied Schwarzschild SpaceTimes, Nucl. Phys. B 328 (1989) 203.
[6] M. Visser, Lorentzian wormholes: From Einstein to Hawking (American Institute of Physics, New York, 1995).
[7] S. V. Krasnikov, Hyperfast Interstellar Travel in General Relativity, Phys. Rev. D 57, 4760 (1998) [arXiv:grqc/9511068].
[8] A. E. Everett and T. A. Roman, A Superluminal Subway: The Krasnikov Tube, Phys. Rev. D 56, 2100 (1997)
[arXiv:grqc/9702049].
[9] J. P. S. Lemos, F. S. N. Lobo and S. Q. de Oliveira, MorrisThorne wormholes with a cosmological constant, Phys. Rev.
D 68, 064004 (2003) [arXiv:grqc/0302049].
[10] J. P. S. Lemos and F. S. N. Lobo, Plane symmetric traversable wormholes in an antide Sitter background, Phys. Rev.
D 69 (2004) 104007 [arXiv:grqc/0402099].
[11] For a review article, see for example:
F. Lobo and P. Crawford, Weak energy condition violation and superluminal travel, Current Trends in Relativistic As
trophysics, Theoretical, Numerical, Observational, Lecture Notes in Physics 617, SpringerVerlag Publishers, L. Fernandez
et al. eds, pp. 277291 (2003) [arXiv:grqc/0204038].
18
[12] M. Visser, B. Bassett and S. Liberati, Perturbative superluminal censorship and the null energy condition, Pro
ceedings of the Eighth Canadian Conference on General Relativity and Relativistic Astrophysics (AIP Press) (1999)
[arXiv:grqc/9908023].
[13] M. Visser, B. Bassett and S. Liberati, Superluminal censorship, Nucl. Phys. Proc. Suppl. 88, 267270 (2000)
[arXiv:grqc/9810026].
[14] K. Olum, Superluminal travel requires negative energy density, Phys. Rev. Lett, 81, 35673570 (1998)
[arXiv:grqc/9805003].
[15] C. Barcelo and M. Visser, Twilight for the energy conditions?, Int. J. Mod. Phys. D 11, 1553 (2002)
[arXiv:grqc/0205066].
[16] C. Barcelo and M. Visser, Scalar elds, energy conditions, and traversable wormholes, Class. Quant. Grav. 17, 3843
(2000) [arXiv:grqc/0003025].
[17] C. Barcelo and M. Visser, Traversable wormholes from massless conformally coupled scalar elds, Phys. Lett. B 466
(1999) 127 [arXiv:grqc/9908029].
[18] A. G. Riess et al., Type Ia Supernova Discoveries at z > 1 From the Hubble Space Telescope: Evidence for Past
Deceleration and Constraints on Dark Energy Evolution, arXiv:astroph/0402512.
[19] M. Visser, Jerk, snap, and the cosmological equation of state, Class. Quant. Grav. 21 (2004) 2603 [arXiv:grqc/0309109].
[20] R. R. Caldwell, M. Kamionkowski and N. N. Weinberg, Phantom Energy and Cosmic Doomsday, Phys. Rev. Lett. 91
(2003) 071301 [arXiv:astroph/0302506].
[21] L. H. Ford and T. A. Roman, Averaged energy conditions and quantum inequalities, Phys. Rev. D 51, 4277 (1995)
[arXiv:grqc/9410043].
[22] L. H. Ford and T. A. Roman, Quantum eld theory constrains traversable wormhole geometries, Phys. Rev. D 53, 5496
(1996) [arXiv:grqc/9510071].
[23] M. J. Pfenning and L. H. Ford, The unphysical nature of warp drive, Class. Quant. Grav. 14, 1743, (1997)
[arXiv:grqc/9702026].
[24] C. van den Broeck, A warp drive with more reasonable total energy requirements, Class. Quant. Grav. 16, 3973, (1999)
[arXiv:grqc/9905084].
[25] P. Gravel and J. Plante, Simple and double walled Krasnikov tubes: I. Tubes with low masses, Class. Quant. Grav. 21,
L7, (2004).
[26] P. Gravel, Simple and double walled Krasnikov tubes: II. Primordial microtubes and homogenization, Class. Quant.
Grav. 21, 767, (2004).
[27] W. A. Hiscock, Quantum eects in the Alcubierre warp drive spacetime, Class. Quant. Grav. 14, L183 (1997)
[arXiv:grqc/9707024].
[28] C. Clark, W. A. Hiscock and S. L. Larson, Null geodesics in the Alcubierre warp drive spacetime: the view from the
bridge, Class. Quant. Grav. 16, 3965 (1999) [arXiv:grqc/9907019].
[29] P. F. GonzalezDaz, On the warp drive spacetime, Phys. Rev. D 62, 044005 (2000) [arXiv:grqc/9907026].
[30] A. E. Everett, Warp drive and causality, Phys. Rev. D 53 7365 (1996).
[31] M. Visser, S. Kar and N. Dadhich, Traversable wormholes with arbitrarily small energy condition violations, Phys. Rev.
Lett. 90 (2003) 201102 [arXiv:grqc/0301003].
[32] S. Kar, N. Dadhich and M. Visser, Quantifying energy condition violations in traversable wormholes, Pramana (in press)
[arXiv:grqc/0405103].
[33] B. F. S. Schutz, A rst course in general relativity (Cambridge University Press, 1990).
[34] C. W. Misner, K. S. Thorne and J. A. Wheeler, Gravitation (W.H. Freeman and Company, New York, 1973).
[35] R. M. Wald, General Relativity (University of Chicago Press, Chicago, 1984).
[36] The Lorenz gauge was apparently rst used by the Danish physicist Ludwig Lorenz (18291891), though it is commonly
misattributed to the Dutch physicist Hendrik Antoon Lorentz (18531928).
L. Lorenz, On the Identity of the Vibrations of Light with Electrical Currents, Philos. Mag. 34 (1867) 287301.
J. van Bladel, Lorenz or Lorentz?, IEEE Antennas Prop. Mag. 33 (1991) 69.
[37] U. R. Fischer and M. Visser, On the spacetime curvature experienced by quasiparticle excitations in the Painleve
Gullstrand eective geometry, Annals Phys. 304 (2003) 22 [arXiv:condmat/0205139].
[38] U. R. Fischer and M. Visser, Warped spacetime for phonons moving in a perfect nonrelativistic uid, Europhys. Lett.
62 (2003) 1 [arXiv:grqc/0211029].