it is by now well - known that quantum field theory permits violations of all of the local energy conditions used in classical general relativity .
these conditions are employed in a variety of ways , such as in the proofs of theorems on the occurrence of singularities in gravitational collapse and cosmology , or of cosmic censorship .
two of the weakest such local conditions are the `` weak energy condition '' and the `` null energy condition '' which state that : @xmath0 for all timelike vectors @xmath1 , and @xmath2 for all null vectors @xmath3 , respectively @xcite .
note that the null energy condition follows by continuity if the weak energy condition holds .
these two local conditions are satisfied by known forms of classical matter , but there are a variety of states of quantum fields which violate them @xcite , the most well - known of which is arguably the casimir vacuum @xcite
.    the extent to which quantum field theory allows violations of the local energy conditions is not yet completely clear , although progress has been made in recent years to answer this question .
two principal approaches for determining the degree of violation have been `` averaged energy conditions '' and `` quantum inequalities . ''
the first , originally due to tipler @xcite , involves a suitable averaging of the local conditions over timelike or null geodesics .
it can be shown that many of the standard results of classical general relativity obtained via global techniques can be proved using only the averaged , rather than the local , energy conditions @xcite-@xcite . here
we take the `` averaged weak energy condition '' ( awec ) to be @xmath4 where the integral is taken over a timelike geodesic with tangent vector @xmath1 and parameterized by the proper time @xmath5 .
similarly , we take the `` averaged null energy condition '' ( anec ) to be @xmath6 where the integral is taken over an affinely parameterized null geodesic with tangent vector @xmath3 and affine parameter @xmath7 @xcite
. there has been a great deal of effort in the last several years to determine whether quantum field theory enforces averaged energy conditions .
most of this activity has been concentrated primarily on anec @xcite-@xcite .
this is in part due to the discovery that violations of anec are required to maintain traversable wormholes @xcite .
it appears that although anec holds for a wide class of quantum states in a variety of spacetimes , it does not hold in an arbitrary four - dimensional curved spacetime ( see refs .
@xcite , @xcite , and @xcite for more detailed discussions ) . however , it is quite plausible that a suitable generalization of anec may hold in more general spacetimes @xcite .
the second approach involves uncertainty principle - type inequalities , derived from quantum field theory , which restrict the magnitude and duration of negative energy fluxes or densities @xcite .
for example , one such `` quantum inequality '' ( qi ) for negative energy fluxes seen by inertial observers in two - dimensional flat spacetime has the form : @xmath8 where @xmath9 is the magnitude of the negative energy flux and @xmath10 is its duration .
this inequality implies that @xmath11 , the amount of negative energy transmitted in time @xmath10 , is limited by @xmath12 therefore , @xmath11 is less than the quantum uncertainty in the energy , @xmath13 , on the timescale @xmath10 .
recently , more precise versions of these inequalities have been derived @xcite .
these involve an integral of the energy flux multiplied by a `` sampling function '' , i.e. , a peaked function of time with a time integral of unity and characteristic width @xmath14 .
a convenient choice @xcite of such a function is @xmath15 $ ] . if the integrated flux , @xmath16 , is defined by @xmath17 then these inequalities may be written as @xmath18 and @xmath19 for all @xmath14 , in two- and four - dimensions , respectively .
these inequalities have the form required to prevent macroscopic violations of the second law of thermodynamics @xcite .
it was also discovered that similar inequalities hold for a quantized massless , minimally - coupled scalar field propagating on two- and four - dimensional extreme reissner - nordstrm black hole backgrounds .
these inequalities were shown to foil attempts to produce an unambiguous violation of cosmic censorship by injecting a negative energy flux into an extreme charged black hole @xcite .
the latter results provide perhaps one of the strongest reasons for the belief that the production of large - scale effects via manipulation of negative energy may be forbidden by quantum field theory .
classically , _ any _ amount of negative energy , no matter how small , injected into an extreme black hole is enough to produce a naked singularity .
therefore , if one had any chance of producing gross effects with negative energy , the scenario discussed above would seem to have offered the best possibility of success .
it should also be emphasized that the energy - time uncertainty principle was _ not _ used as input in the derivation of any of the qi restrictions .
they arise directly from quantum field theory .    in a recent paper
, we have shown that there exist deep connections between averaged energy conditions and quantum inequalities , at least in flat spacetime @xcite . for a quantized massless , minimally - coupled scalar field in two- and four - dimensional minkowski spacetime , we have derived analogous qi s to eqs .
( [ eq : fqi/2d ] ) and  ( [ eq : fqi/4d ] ) for energy density . in particular , for timelike geodesics in two - dimensional flat spacetime , @xmath20 for all @xmath14 .
here @xmath21 is the renormalized expectation value taken in an arbitrary quantum state @xmath22 . in the limit as @xmath23 , we `` sample '' the entire geodesic , and our inequality eq .
( [ eq : tlqi2duncp ] ) reduces to awec . note that it is possible that the integral in eq .
( [ eq : tlqi2duncp ] ) converges , even though the associated awec integral in eq .
( [ eq : awec ] ) diverges .
analogous results hold in this case for null geodesics .    for a quantized massless scalar field in a two - dimensional minkowski spacetime with compactified spatial dimension
, it was also discovered that the _ difference _ between the expectation values of @xmath24 , or @xmath25 , in an arbitrary quantum state and in the casimir vacuum state obey awec and anec - type inequalities @xcite .
this is surprising since it is known @xcite that awec and anec are violated for @xmath26 and @xmath27 , respectively , in the ( renormalized ) casimir vacuum state by itself .
such `` difference inequalities '' might provide new measures of the degree of energy condition violation in cases where the usual averaged energy conditions fail .
this approach has recently been generalized to arbitrary two - dimensional curved spacetimes by yurtsever @xcite .    for a quantized massless , minimally - coupled scalar field in four - dimensional minkowski spacetime
, we also derived the following inequality for timelike geodesics @xmath28 for all @xmath14 . from this inequality
, it was shown that one can derive awec and anec @xcite .
( the application of qi bounds to constrain the dimensions of traversable wormholes is discussed in a separate manuscript@xcite . )    in almost all studies of anec for quantum fields , the bounds on the anec integral have been taken from @xmath29 to @xmath30 @xcite . however , a question of some interest is whether anec is satisfied in the spacetime of an object collapsing to form a black hole .
the answer to this question might determine , for example , whether penrose s singularity theorem @xcite will still hold in the presence of local violations of the energy conditions , such as the hawking evaporation process @xcite .
in this case , one is usually concerned with the focusing of null geodesics which generate the boundary of the future of a trapped surface . to prove penrose s theorem , one would want anec to hold over these half - complete geodesics @xcite .
this is a stronger condition to impose than to demand that anec hold over full ( i.e. , past and future - complete ) geodesics .
however , even if this version of anec fails in some regions of a given spacetime , it may hold in enough other regions so that the conclusions of penrose s theorem will still be valid .
in addition , it should be noted that anec is a sufficient condition to insure continued focusing of null geodesics .
one can also guarantee focusing with other conditions , for example by allowing the right - hand - side of the anec integral to be only periodically non - negative @xcite , or even negative but bounded ( see lemma 3 of ref .
@xcite , eq .
( 5 ) of ref .
@xcite , and ref .
@xcite ) .    in the current paper , we examine quantized massless scalar , and electromagnetic fields in the unruh vacuum state in two- and four - dimensional schwarzschild black hole backgrounds .
we evaluate awec and anec integrals along half - complete timelike and null geodesics , respectively .
our goal is to determine the regions of these spacetimes in which the averaged energy conditions fail , and whether there exist any bounds on the extent of the violation .
the paper is organized as follows .
the analysis of 2d evaporating black holes is presented in sec .
( [ sec:2devap ] ) ; the results for 4d black holes are given in sec .
( [ sec:4dbh ] ) .
the latter section also includes a discussion of anec along orbiting null geodesics .
concluding remarks are given in sec .
( [ sec : conc ] ) .
our units are taken to be : @xmath31 .
in this section , we study awec and anec for a quantized , massless scalar field in the unruh and boulware vacuum states , along geodesic segments in a 2d schwarzschild spacetime .
the discussion here is a natural extension of the analysis in ref .
@xcite .
let @xmath32 be the two - velocity of an inertial observer .
the energy density in this observer s frame is given by @xmath33 in the following discussion , we understand @xmath34 to denote a quantum expectation value in a specified vacuum state .
the metric is @xmath35 where @xmath36 .
an outgoing geodesic observer s two - velocity is @xmath37 the constant @xmath38 is the energy per unit rest mass . in our two - dimensional discussion , we will consider observers moving in both the unruh and boulware vacua .
the stress tensor components in the unruh vacuum are @xcite : @xmath39 @xmath40 and @xmath41 the corresponding components in the boulware vacuum are given by : @xmath42 @xmath43 and @xmath44    for an outgoing timelike observer in the unruh vacuum , @xmath45\ , + \,{{cm^2 } \over { r^4 } } \,- \ , { c\over { 32 m^2}}\ , - \ , { { k \sqrt{k^2-c } } \over { 16 m^2 } } \biggr\}.                   \label{eq : etl / out}\ ] ] let us consider , for simplicity , the case of an observer who starts out initially very close to the horizon and is shot outward at large velocity , i.e. , we are interested in the limits @xmath46 where @xmath47 is the observer s initial position . in this limit @xmath48 , so from the geodesic equation , eq .
( [ eq : umu ] ) , we have that @xmath49 we now wish to multiply @xmath50 by a sampling function , i.e. , a peaked function of time whose time integral is unity . in refs . @xcite and @xcite
, this function was chosen to be @xmath51 where the integral was taken over complete geodesics . however , unlike in ref .
@xcite , here we are integrating over half - infinite geodesics . since the function given by eq .
( [ eq : origsamp ] ) is symmetric about @xmath52 , in our case we may choose @xmath53 where the proper time @xmath5 is initialized when the observer starts at @xmath54 .
we multiply @xmath50 by this sampling function , use eq .
( [ eq : tauexp ] ) , and expand the numerator in inverse powers of @xmath38 . the integral
is performed using macsyma and the result is expanded in powers of @xmath55 , yielding @xmath56              \nonumber \\ & + & \frac{m}{3 \pi^2 \,{\tau_0}^3 \,k } \ , \ln \biggl ( \frac{k \tau_0}{2 m } \biggr ) \ , + o(k^{-1 } ) \ , .
\label{eq : intit}\end{aligned}\ ] ] therefore , to leading order in @xmath38 and @xmath55 , we have @xmath57 where @xmath58 note that in these limits @xmath59 and @xmath60 @xcite .    what is the physical significance of @xmath61
? the negative energy density drops off very rapidly with increasing @xmath62 . in the limit @xmath63 and @xmath64 ,
if we consider the proper time spent by the observer in the region of appreciable negative energy to be @xmath65 then typically @xmath66 , so @xmath67 to see this a little more explicitly , note that near the horizon , eq .  ( [ eq : etl / out ] ) becomes @xmath68 if the observer starts at @xmath69 , then at @xmath70 , @xmath71 so the energy density drops off to @xmath72 of its initial value in a distance @xmath73 , corresponding to a proper time @xmath74 .
therefore , we should consider the time interval @xmath61 not to be the entire proper time over which the energy density is negative , but rather a time scale which characterizes a change in the energy density .
for an outgoing timelike observer in the boulware vacuum : @xmath75\ , + \,{{cm^2 } \over { r^4 } } \biggr\}.                   \label{eq : betl / out}\ ] ] note that this quantity is negative everywhere for @xmath76 .
if we perform the same set of operations as discussed above , we find that eq .
( [ eq : intt ] ) holds for the boulware vacuum as well . in the @xmath77 limit of eq .
( [ eq : intt ] ) , we `` sample '' the entire ( i.e. , half - infinite ) geodesic and find @xmath78 and hence @xmath79 the dominant contribution to the integral in eq .
( [ eq : bawec/2d ] ) is from the lower limit , since @xmath50 in the boulware vacuum state also has the form given in eq .
( [ eq : tasyp ] ) near the horizon , but drops off rapidly with increasing @xmath62 .
by contrast , the @xmath77 limit of eq .
( [ eq : intt ] ) for the unruh vacuum state results in an integral which diverges positively at large @xmath62 .
this is due to the fact that in 2d the hawking radiation does not drop off with distance , but remains constant at large @xmath62 .
therefore , awec is satisfied in the unruh vacuum state in 2d .
however , as discussed in sec .
( [ sec:4dbh ] ) , the situation is different in 4d .
we could perform the integral on the left - hand - side of eq .
( [ eq : bawec/2d ] ) for the unruh vacuum state , but instead truncate the integration at some finite value of @xmath80 , with @xmath81 . for fixed @xmath82 , by making @xmath55 small enough we can always arrange it so that the negative energy contribution from the lower limit , given by eq .
( [ eq : tasyp ] ) , dominates the integral . in that case , using eq .
( [ eq : tasyp ] ) , we have that @xmath83    the inequalities , eqs .
( [ eq : awec / qi ] ) and  ( [ eq : uawec / qi ] ) , represent bounds on the degree of awec violation seen by timelike geodesic observers who start out very close to the horizon and are shot outward at high speed . in this limit , the longer the ( proper ) timescale over which the observer sees a significant change in the energy density , the smaller is the magnitude of the integrated negative energy density seen by that observer .
since the negative energy density drops off rapidly with increasing @xmath62 , to remain in the negative energy density the observer must stay close to the horizon .
the closer the observer is to the horizon , the larger is the magnitude of the negative energy density .
however , in order to remain close to the horizon for a long time as seen by a distant observer , the observer s trajectory must be nearly lightlike .
therefore , although the observer spends a long time in the negative energy region as seen by the distant observer , the _ proper _ time spent in the region of appreciable negative energy ( as measured by @xmath61 ) decreases with the observer s proximity to the horizon .
these inequalities are similar in form to eq .
( [ eq : eti/2d ] ) .
we now wish to examine anec for null geodesics in 2d schwarzschild spacetime . from eq .
( [ eq:2dmetric ] ) , and from the equation for null geodesics , we have @xmath84 where @xmath85 is an arbitrary positive constant , whose value fixes the scale of the affine parameter , @xmath7 .
we want to examine anec along both ingoing and outgoing future - directed ( i.e. , @xmath86 ) null geodesics , inside and outside the horizon . there are four cases ( see fig
. 1 ) : @xmath87 note that @xmath88 changes sign inside the horizon , while @xmath89 remains positive for future - directed null rays .    if we use eqs .
( [ eq : out / rg2 m ] ) -  ( [ eq : in / rl2 m ] ) , and eqs .
( [ eq : uttt ] ) - ( [ eq : utrr ] ) , we obtain for the unruh vacuum state @xmath90 \ , { \rm ( outgoing)}\ , ,   \label{eq : enull / o}\ ] ] and @xmath91 { \rm ( ingoing ) } \ , .
\label{eq : enull / i}\ ] ] to obtain eq .
( [ eq : enull / i ] ) , we have used the fact that the sign of @xmath92 changes inside the horizon , as can be seen from eq .
( [ eq : uttr ] ) , together with eqs .
( [ eq : in / rg2 m ] ) and  ( [ eq : in / rl2 m ] ) .
note that for eq .
( [ eq : enull / i ] ) , the term in square brackets vanishes as @xmath93 .
a taylor expansion shows that , to leading order , it vanishes as @xmath94 , so it will cancel the @xmath94 divergence in the denominator .
therefore eq .
( [ eq : enull / i ] ) is finite on the horizon , as it should be .
however , there appears to be a discontinuity in eq .
( [ eq : enull / o ] ) for an outgoing null ray on the horizon , @xmath95 .
the situation for null rays on the horizon is sufficiently subtle as to warrant a separate discussion .
this is provided in the next subsection .    from eq .
( [ eq : enull / o ] ) , @xmath96 is negative for outgoing null geodesics when@xmath97 .
therefore the local null energy condition , eq .
( [ eq : nec ] ) is violated along outgoing null vectors slightly inside the horizon , as well as along all outgoing rays outside ( and on ) the horizon . for @xmath76 , consider an outgoing null geodesic starting at @xmath54 , with @xmath64 .
examine anec along this ray to obtain @xmath98\,dr\ , ,                                         \label{eq : anec/2d out / rg2m}\ ] ] where we have used eq .
( [ eq : out / rg2 m ] ) . here
@xmath99 is the value of the affine parameter at @xmath54 .
equations  ( [ eq : enull / o ] ) and  ( [ eq : anec/2d out / rg2 m ] ) apply for the boulware vacuum as well as for the unruh vacuum .
this is due to the fact that in the latter case , the outgoing null geodesics are parallel to the hawking radiation .
hence the terms which would cause the integral in eq .
( [ eq : uawec / qi ] ) to diverge as @xmath100 are absent in the null geodesic case .    for @xmath101 , along an outgoing null geodesic starting just inside the horizon at @xmath102 : @xmath103\,dr\ , ,                                             \label{eq : anec/2d out / rl2m}\ ] ] where we have used eq .
( [ eq : out / rl2 m ] ) , and @xmath104 is the value of the affine parameter at @xmath105 , the minimum value of @xmath62 attained by the null geodesics .
notice that the integrand in eq .
( [ eq : anec/2d out / rl2 m ] ) will be dominated by the positive @xmath106 term which diverges for small @xmath62 . from eq .
( [ eq : enull / i ] ) , we see that @xmath96 is positive everywhere for ingoing null geodesics .
thus we immediately see that anec is satisfied for these two sets of null geodesics .    in eq .
( [ eq : anec/2d out / rg2 m ] ) we perform the integration and then expand the result in the limit of small @xmath55 to find @xmath107 note that @xmath108 is the characteristic affine parameter distance over which the negative energy is decreasing along the outgoing geodesic
. we can rewrite eq .
( [ eq : lim out / rg2 m ] ) as @xmath109 this is the null version of eq .
( [ eq : uawec / qi ] ) .
note that it is invariant under rescaling of the affine parameter .
similarly , for eq .
( [ eq : anec/2d out / rl2 m ] ) , we may perform the integration and expand the result in the small @xmath110 limit . for fixed @xmath55 ,
the result is @xmath111 however , for fixed @xmath110 and @xmath112 , @xmath113 has the same behavior as @xmath114 : @xmath115    thus we see that anec is violated for outgoing null rays just outside the horizon , but it is satisfied for outgoing null rays inside the horizon in the limit @xmath116 .
( the divergence in eq .
( [ eq : lim out / rg2 m ] ) as @xmath112 may be circumvented by an appropriate choice of scaling of the affine parameter , i.e. , by an appropriate choice of @xmath85 .
this and related issues will be discussed in the next sub - section . )
outgoing rays which originate in the region @xmath117 initially encounter negative energy , and later encounter positive energy near the singularity , @xmath118 .
this is analogous to the case of outgoing timelike geodesics in the unruh vacuum , which encounter negative energy near the horizon and positive energy at large distances due to the hawking radiation .
we also see that anec holds for ingoing null geodesics , whether they originate outside or inside the horizon .
one might at first sight conclude that the reasoning here is a bit circular .
it could be argued that it is no surprise that evaluation of the anec integral for null geodesics inside the horizon yields a divergent positive result .
after all , we placed our quantized field on a background which already had a singularity in it .
thus one could argue that divergent values of our anec integrals for these geodesics are not unexpected , because the behavior of the fields inside the horizon is dominated by the singularity .
however , it is not obvious , a priori , what the _ sign _ of these integrals should be . since these are test fields on a given background , as opposed to fields which generate the background spacetime ( which we can not have in any case in 2d ) , it is possible that the integrals might have turned out to diverge with either sign .
similar anec integrals for quantized massless fermion fields in 2d have the same signs as for the massless scalar field .
this follows from the fact that the renormalized fermion stress tensor is identical to that in the scalar case @xcite , even though the formally divergent tensors have opposite signs in the two cases .
recall that our results for outgoing null geodesics outside the horizon are formulated in terms of the null tangent vector @xmath119 where the components are given in terms of schwarzschild @xmath120 coordinates .
since these coordinates are badly - behaved on the horizon , let us switch to kruskal null coordinates , given by @xmath121 where @xmath122 , @xmath123 , with @xmath124 the usual tortoise coordinate and @xmath125 . in these coordinates ,
our null vector has the form @xmath126 if @xmath85 has the same value for all outgoing null geodesics , then @xmath127 would not be defined in the limit where the geodesics approach the horizon , since @xmath128 .
however , @xmath85 need only be constant along each null geodesic , but not the same constant for different null geodesics .
consider a sequence of outgoing null geodesics which start at different values of @xmath62 , e.g. , the histories of a sequence of photons emitted by an infalling observer .
let @xmath129 be the value of @xmath62 at which the null geodesic begins ( which will be different for each null geodesic ) .
we might choose the various values of @xmath85 for different null geodesics by the following prescription .
let the observer emit photons of fixed frequency @xmath130 in his rest frame .
the time - component of the observer s two - velocity ( in schwarzschild coordinates ) is @xmath131 where @xmath132 is the observer s energy per unit rest mass , measured at infinity .
this is just the rate of a clock at infinity as compared to the rate of the clock carried by the infalling observer .
the frequency of a photon at infinity is @xmath133 , which is related to @xmath130 by @xmath134 note that the expression on the right - hand - side includes both the doppler effect and the gravitational redshift .
the factor of @xmath135 reflects the fact that the faster the observer is shot toward the black hole ( i.e. , the larger @xmath132 is ) , the greater will be the doppler shift . if we choose a scaling for the affine parameter such that @xmath136 , for fixed @xmath130 , then @xmath137 now @xmath138 is finite in the limit @xmath139 , so that the components of @xmath3 are finite on the horizon , in either schwarzschild or kruskal coordinates .
however , @xmath127 is still not the same as @xmath140 , the _
affinely _ parameterized null tangent vector on the horizon . in kruskal
null coordinates the vector @xmath140 has components @xmath141 ( see the discussion on p. 331 of ref .
@xcite . ) on the horizon , @xmath142 so these vectors still differ by a factor of @xmath143 .
thus , a null vector such as @xmath3 , which is an affinely parameterized null tangent vector off the horizon , does not necessarily remain affinely parameterized _ on _ the horizon .    with these lessons in hand , let us now consider the integral @xmath144 along a portion of the future event horizon . here @xmath145 is the vacuum expectation value of the stress - tensor in the unruh vacuum state expressed in kruskal null coordinates , and @xmath140 is an affinely parameterized null tangent vector on the horizon .
the kruskal advanced time coordinate @xmath146 , is an affine parameter on the horizon ( see for example , p. 331 of ref .
@xcite or p. 122 of ref .
@xcite ) . from eq .  ( [ eq : def - k ] ) , and a straightforward coordinate transformation of eqs .
( [ eq : uttt])-  ( [ eq : utrr ] ) , we obtain @xmath147 this integral is taken over a portion of the future horizon ; @xmath148 is the value of the @xmath149 line which intersects the future horizon at the ( arbitrary ) event where we start our null geodesic .    the right - hand - side of eq .
( [ eq : kint ] ) goes to @xmath29 as @xmath150 .
however , this would correspond to integrating along the full future horizon of an eternal black hole spacetime .
the unruh vacuum state is singular on the past horizon ( i.e. , @xmath151 ) of such a spacetime , so it is not surprising that we get a divergence in this case .
physically , this would correspond to a black hole that hawking - radiates for an infinite time . for the unruh vacuum state to be realizable
, we must consider only physically realistic collapse spacetimes in which the black hole forms at a finite time in the past .
therefore , the smallest allowed value of @xmath152 , which is the value of the @xmath149 line at which the the worldline of the surface of the collapsing star intersects the future event horizon , as shown in fig .
( 2 ) . for such spacetimes ,
the anec integral along a portion of the future horizon is negative but finite .
this result seems to be in agreement with the results of wald and yurtsever @xcite .
they find that anec is satisfied along the complete null geodesic comprised of the future horizon plus the null line which would have been the past horizon in an eternal black hole spacetime . in a collapse spacetime
, this complete null geodesic originates at past null infinity , propagates through the collapsing star , `` reflects off '' @xmath118 , and then emerges into the vacuum outside the star at @xmath152 ( see fig . ( 2 ) ) .
evidently there is a positive contribution to the anec integral from the part of the geodesic prior to its exit from the collapsing star @xcite .
this contribution must be greater than or equal to @xmath153 .
( note that the source of the positive contribution we refer to here is the quantized field , not the classical collapsing matter .
the latter would presumably make the anec integral even more positive . )
the dimensions of @xmath140 are @xmath154 , whereas @xmath145 , @xmath146 , and @xmath148 are dimensionless .
let us now rescale the coordinates to get a more familiar choice of dimensions .
let @xmath155 , i.e. , @xmath156 , so @xmath157 .
then @xmath158 , and @xmath159 .
if we rewrite eq .
( [ eq : kint ] ) in terms of the rescaled coordinates , we obtain @xmath160    compare this result with our result for null rays outside the horizon , i.e. , eq .
( [ eq : anec / nint ] ) , in which @xmath161 is interpreted as the characteristic affine parameter distance along the null geodesic over which the negative energy density falls off .
let us now show that a similar interpretation holds _ on _ the horizon .
the integrand of eq .
( [ eq : kinthat ] ) is equal to @xmath162 , so @xmath163 note that @xmath164 can be interpreted as the characteristic affine parameter distance over which the integrand falls off , i.e. , as @xmath165 increases from @xmath166 to @xmath167 , @xmath168 falls off to @xmath72 of its initial value .
thus the interpretation of the qi for null geodesics on the horizon is the same as that for eq .
( [ eq : anec / nint ] ) .
in this section , we examine awec and anec in four - dimensional evaporating black hole spacetimes . in these spacetimes , the components of the renormalized expectation value of the stress - energy tensor are only known numerically .
accordingly , we make use of the numerical data of elster @xcite for the conformally - coupled massless scalar field and that of jensen , mclaughlin , and ottewill @xcite for the electromagnetic field , evaluated in the unruh vacuum state . we examine the cases of outgoing radial timelike observers , outgoing radial null geodesics , and orbiting null geodesics . only geodesics outside the horizon are considered , as no numerical data are available for @xmath169 .
we find that although awec and anec are violated in all three cases , there appear to be qi - type bounds in each case which constrain the degree of the violations , as in two - dimensional spacetime .
these results might at first sight seem to be in disagreement with recent results of visser @xcite .
he found that for the renormalized vacuum expectation value of the stress - energy tensor of a conformally - coupled massless scalar field in schwarzschild spacetime , anec is satisfied for all null geodesics that reach spatial infinity , and for orbiting geodesics at @xmath170 .
however , his results are applicable for the hartle - hawking vacuum state , which represents a black hole in thermal equilibrium with a surrounding external thermal bath of radiation .
it is therefore not too surprising to find that anec holds in that case .
by contrast , our analysis is performed in the unruh vacuum state , which corresponds to the situation of a black hole evaporating into empty space .
the four - velocity of an outgoing radial timelike observer in 4d schwarzschild spacetime is given by @xmath171 where again @xmath88 .
let us adopt the notation of elster @xcite so that : @xmath172 , where the components of the stress - tensor here represent renormalized expectation values in the unruh vacuum state . therefore , we may write @xmath173 if a qi - type bound of the kind found in 2d , i.e. , eq .
( [ eq : awec / qi ] ) , also holds in 4d , then we might expect it @xcite to have the form @xmath174 where again @xmath61 is the characteristic proper time which the observer spends in the negative energy .
( note that since the fields we will be considering are massless , the mass @xmath175 of the black hole is only natural length scale which appears in the problem . )
we want to numerically compare the left and right - hand - sides of eq .
( [ eq : awec / qi-4d ] ) , in order to see if the inequality is satisfied .    the integrand in eq .
( [ eq : awec / qi-4d ] ) drops off rapidly with increasing @xmath62 near the horizon ( unlike in the 2d case ) , hence the dominant contribution to the awec integral comes from the initial part of the trajectory .
we will therefore approximate the awec integral as @xmath176 where @xmath177 is understood to be evaluated at the starting point @xmath129 ( minimum @xmath62 ) of the trajectory .
since the magnitude of @xmath178 rapidly decreases near the horizon , our estimate of using @xmath179 gives a result which is somewhat more negative than the true result .
therefore , correction of this estimate only goes in the direction of strengthening the inequality .
our results for the electromagnetic field are displayed in table 1 .
the values of @xmath180 and @xmath181 for the electromagnetic field are from the numerical data given in ref .
@xcite , and the value of @xmath182 used in this case is the photon luminosity given by page @xcite . in the fourth column of table 1 , @xmath183 is chosen such that the magnitude of @xmath184 decreases by at least a factor of two from @xmath129 to @xmath185 .
the characteristic proper time , @xmath61 , is computed from @xmath186 the next to last column in the table is our approximation of the awec integral given in eq .
( [ eq:4dawec / prox ] ) , while the last column represents the right - hand - side of our qi given by eq .
( [ eq : awec / qi-4d ] ) . by examining the last two columns of table 1 , we see that the qi , eq .  ( [ eq : awec / qi-4d ] ) , is easily satisfied .
a similar analysis for the conformally - coupled massless scalar field shows that the qi is easily satisfied in that case as well .
numerical values of @xmath187 , and @xmath188 for the scalar field were obtained from the numerical data given in ref .
@xcite .    .outgoing timelike geodesics moving through the quantized electromagnetic field .
[ cols=">,>,>,>,>,>,>,>,>",options="header " , ]     in our calculations , we have ignored the backreaction of the hawking radiation on the background spacetime .
it might be better to repeat our calculations on an evolving background , such as a vaidya spacetime .
however , we can estimate the effects of backreaction on an outgoing null ray just outside the horizon in the following way . our approximation should hold as long as the time of escape of a null ray from near the horizon is small compared to the evaporation time of the black hole . here these times are measured by an observer at infinity .
for such a null ray we have @xmath189 solving for @xmath190 yields @xmath191 where @xmath190 is the time for the ray to go from @xmath54 to @xmath192 . for @xmath193 and finite , in the limit of small @xmath55 : @xmath194 by contrast , the evaporation time of the hole is @xmath195 , where @xmath196 , and @xmath197 is the number of species of particles , each of which is assumed to contribute approximately @xmath198 to the black hole s luminosity .
our approximation should break down only when @xmath199 $ ] .
we now examine orbiting null geodesics in schwarzschild spacetime .
the line element is @xmath200 where again @xmath88 . for an orbiting null ray in schwarzschild with @xmath201 , @xmath202 here
we choose @xmath203 , for our future - directed ray . from the geodesic equations
, we have @xmath204 where @xmath85 and @xmath205 are constants .
it follows that @xmath206 at @xmath170 , we have @xmath207 from the numerical values in figs . ( 1 ) and ( 3 ) of ref .
@xcite for the quantized electromagnetic field , and eq .  ( [ eq : bo / def ] ) , we find that @xmath208 \left|_{r=3 m } \right .     \nonumber \\ & \approx &   -3.1 \times 10^{-4 } \,{e^2 \over m^4 } \
, , \label{eq : t3m}\end{aligned}\ ] ] where @xmath209 is the tangent to the null geodesic . for one orbit , @xmath210 ,
so @xmath211 we may therefore rewrite eq .
( [ eq : t3 m ] ) as @xmath212 integration of @xmath213 over one orbit gives @xmath214 thus we see that for orbiting null geodesics @xmath215    the expressions given by eqs .
( [ eq : anec-1norbit ] ) and  ( [ eq : anecinq-1norbit ] ) are of the same form as those for radial null geodesics discussed earlier .
the difference here is that we integrate only over one orbit , i.e. , we do not consider multiple traversals through the same negative energy region .
the inclusion of the contributions of an arbitrary number of orbits would violate the inequality given in eq .
( [ eq : anecinq-1norbit ] ) .
( since the @xmath170 orbit is unstable , realistically we would expect the null ray to at best only make a few orbits . )
however , it is of interest to note that if we consider the null geodesics which generate the boundary of the future of an event @xmath216 with @xmath170 , then the orbiting null geodesics leave this boundary after half an orbit .
this is due to the fact that orbiting null geodesics originating at @xmath216 , which initially set off in opposite spatial directions , encounter a conjugate point ( i.e. , the geodesics cross ) on the far side of the black hole after half an orbit @xcite , @xcite .
at this point , the geodesics leave the boundary of the future of @xmath216 ( i.e. , an event @xmath217 which lies beyond the conjugate point along either null geodesic can be connected to @xmath216 by a timelike curve ) , and therefore are not achronal
.    this observation may be relevant in the context of proving singularity theorems in the presence of negative energy .
for example , in the proof of a singularity theorem such as the penrose theorem , one uses either the local or the averaged null energy condition to insure the focusing of the null geodesics which generate the boundary of the future of a closed trapped surface .
geodesics of the orbiting variety considered here would not relevant , at least in the spherically symmetric case , since they leave the boundary of the future of a point in any case , irrespective of energy condition - focusing arguments .
we also note in passing that , at least in this simple case , while these null geodesics are in the boundary they obey the inequality , eq .
( [ eq : anecinq-1norbit ] ) .
let us compare the previous results with the following situation . consider a 4d minkowski spacetime with one spatial dimension compactified , and a quantized , minimally - coupled , massless scalar field in the casimir vacuum state on this background .
let @xmath218 be the tangent to a null geodesic in the @xmath219-direction .
the vacuum expectation value of the stress - tensor in this state is @xmath220 where we have taken @xmath219 as the compactified dimension with circumference @xmath205 .
it follows that @xmath221 the affine parameter lapse for one orbit is @xmath222 .
if we integrate over one orbit , we find that @xmath223 we see that this result has the same form as eq .
( [ eq : anec-1norbit ] ) for the black hole case .
both of these expressions are invariant under rescaling of the affine parameter ( as is eq .
( [ eq:4danec / qi ] ) for radial null geodesics ) . here , as in the black hole case
, we have ignored the possibility of multiple orbits , which would violate the inequality .
however , it is possible that in the 4d compactified case , as was found previously in 2d @xcite , an anec - type bound might hold on the _ difference _ between the expectation values of @xmath96 in an arbitrary quantum state and in the casimir vacuum state .
in this paper , we have examined awec and anec in both two and four- dimensional evaporating schwarzschild black hole spacetimes , for quantized massless scalar and electromagnetic fields .
our 2d results are the following : it was discovered that awec is satisfied for outgoing radial timelike geodesics which start just outside the horizon and reach infinity , for the unruh vacuum state .
this is due to the positive contribution to the awec integral of the hawking radiation at large distances , which outweighs the contribution of the negative energy near the horizon .
by contrast , awec is violated for such geodesics in the boulware vacuum state .
similarly , anec is violated for half - complete outgoing radial null geodesics , which start just outside the horizon , in both the unruh and boulware vacuum states .
this is also true on the horizon in the unruh vacuum state .
however , anec is satisfied along ingoing null geodesics and along outgoing null geodesics inside the horizon in the unruh vacuum state , due to a large positive contribution to the integral near the singularity .    in 4d , we examined awec and anec in the unruh vacuum state , using previously calculated numerical values of the stress - tensor components .
there it was found that awec is violated for outgoing timelike geodesics which start just outside the horizon and reach infinity .
( note that in 4d , the hawking radiation decays like @xmath224 , so the large positive contribution to the awec integral found in 2d does not arise here . )
similarly , we found that anec is violated for analogous outgoing null geodesics .
this condition is violated for orbiting null geodesics as well .
however , in all cases where the conditions are violated , there appear to be qi - type bounds which limit the degree of the violations .
let @xmath61 be the characteristic proper time for timelike geodesics , and @xmath225 be the affine parameter length for null geodesics , over which the negative energy density changes significantly . in 2d
the qi bounds have the form that the integrated negative energy density along the timelike or null geodesic ( i.e. , the awec or anec integral ) is greater than or equal to minus the inverse of @xmath61 or @xmath225 , respectively . in 4d ,
the corresponding inequalities have additional factors of @xmath226 on the right - hand - sides .
can the semi - classical effects of negative energy , in processes such as black hole evaporation , invalidate the singularity theorems before quantum gravity effects become significant ?
although we do not have a definite proof in the general case , our results suggest that the answer may be no .
it remains possible that even though anec ( or even a weaker energy condition @xcite ) might fail in some regions of a given spacetime , it may hold in enough other regions for the conclusions of the singularity theorems to be maintained .
our ( admittedly ) 2d results for anec would seem to support this view . in ref .
@xcite , it was shown that if anec is satisfied along the null geodesics which generate the boundary of the future of a trapped surface , then penrose s singularity theorem will still hold . there
the local null energy condition was replaced by anec along half - complete null geodesics .
however , two points should be emphasized about that result .
first , it is not necessary to assume that the anec integral is non - negative to prove the result @xcite .
in fact , from lemma 3 of ref .
@xcite or eq .
( 5 ) of ref . @xcite and the einstein equations , it is sufficient to have @xmath227 where @xmath228 is the initial expansion of the null geodesic congruence at the trapped surface .
the anec integral may be negative as long as it is not more negative than @xmath229 .
physically this implies that a singularity will still form provided that the defocusing effects due to the presence of any negative energy are more than compensated for by the initial convergence of the null geodesics produced by the trapped surface .
second , the existence of only _
one _ such trapped surface whose orthogonal null geodesics obey either anec or the weaker inequality , eq .
( [ eq : w - anec ] ) , is required to prove the occurrence of a singularity .
there may exist other trapped surfaces in the spacetime whose orthogonal null geodesics do not obey either of the inequalities .
however , as long as there exists _ at least one _ trapped surface with the desired properties , a singularity is inevitable .
consider an evaporating black hole spacetime , with backreaction included .
the penrose diagram for the standard scenario is shown in fig .
let us assume that this standard picture is correct .
the line @xmath230 is the event horizon , the dashed curve @xmath231 is the apparent horizon , and the lines @xmath232 , @xmath233 , and @xmath234 are outgoing null geodesics orthogonal to the trapped surfaces labelled @xmath235 , @xmath236 , and @xmath237 , respectively .
the outgoing null rays from @xmath235 do not focus but instead reach future null infinity , so one expects that _ any _ averaged energy condition which would insure focusing , such as anec or eq .
( [ eq : w - anec ] ) , would fail along them .
the closest analogs to these rays in our analysis are the outgoing null rays just outside the horizon shown in fig .
it was found that in both two and four - dimensional schwarzschild spacetime , anec was violated along these rays , although in each case a qi limits the degree of the violation .
one would expect that if an analogous qi holds in more general cases , such as fig .
( 3 ) , it will not be strong enough to guarantee focusing of null rays in the region between @xmath230 and @xmath231 in fig .
we could not examine the weaker inequality eq .
( [ eq : w - anec ] ) , since in a static evaporating black hole background there are no trapped surfaces outside the horizon . for the outgoing null rays from @xmath236 in fig .
( 3 ) ( a trapped surface inside the collapsing matter ) , one would suspect that anec probably holds . in this case
, the focusing effects of the matter of the star most likely overwhelm any defocusing by negative energy .
for the outgoing null rays from @xmath237 ( a trapped surface `` behind '' the event horizon , in the vacuum outside the collapsing matter ) , one might expect either anec or a similar but weaker inequality such as eq .
( [ eq : w - anec ] ) to hold , since the null rays eventually do run into a singularity .
this is assuming , of course , that the `` standard '' scenario depicted in fig .
( 3 ) is in fact the correct one - a view which could well be wrong . in our 2d analysis
, we found that anec was satisfied along these rays , and also along ingoing null rays .
we showed that our approximation of neglecting backreaction should fail only when the time of escape of a null ray from near the horizon is comparable to the evaporation time of the black hole .
this implied that such a ray would have to start out extremely close to the horizon .
nevertheless , it would be useful to attempt a similar analysis to ours for evaporating black hole spacetimes with backreaction taken into account .
the situation is complicated by our ignorance of the detailed form of the stress - tensor components in such cases .
recent work of kuo and ford @xcite has shown that negative energy densities in flat spacetime are subject to large fluctuations . in these circumstances
, one does not expect the semi - classical einstein equations to be a good approximation . if the same is true of negative energy densities in curved spacetime , and we see no reason to believe otherwise , then the question arises as to whether such fluctuations could cause a gross failure of the semi - classical approximation at scales well above the planck scale
. large stress - tensor fluctuations would presumably produce large fluctuations in spacetime geometry .
therefore , it is very important to determine whether such fluctuations might render suspect the semi - classical picture of the hawking process , or the conclusions of the singularity theorems in the presence of negative energy . on the other hand it could turn out , for example in the hawking process ,
that if the timescale of the stress - tensor fluctuations is very short compared to other relevant time scales , such as the evaporation time of the hole , then the standard analysis may still be valid . in the proofs of the singularity theorems
, one assumes a fixed classical spacetime background which determines the causal structure .
if the background geometry fluctuates , it is not clear that the usual global techniques employed in classical general relativity will still be useful @xcite .
these questions are currently under active investigation .    0.2 in    * acknowledgements
*    the authors would like to thank arvind borde , eanna flanagan , matt visser , bob wald , and ulvi yurtsever for helpful discussions .
tar would like to thank the members of the tufts institute of cosmology for their kind hospitality and encouragement while this work was being done .
this research was supported in part by nsf grant no .
phy-9208805 ( tufts ) , by the u.s .
department of energy ( d.o.e . ) under cooperative agreement # df - fc02 - 94er40818 ( mit ) , and by a ccsu / aaup faculty research grant .
s.w . hawking and g.f.r .
ellis , _ the large scale structure of spacetime _ ( cambridge university press , london , 1973 ) , pp .
88 - 96 .
h. epstein , v. glaser , and a. jaffe , nuovo cim . * 36 * , 1016 ( 1965 ) .
casimir , proc .
akad . wet . *
b51 * , 793 ( 1948 ) .
tipler , phys .
d * 17 * , 2521 ( 1978 ) .
c. chicone and p. ehrlich , manuscr .
math . * 31 * , 297 ( 1980 ) .
galloway , manuscripta math .
* 35 * , 209 ( 1981 ) .
a. borde , class .
quantum grav .
* 4 * , 343 ( 1987 ) .
roman , phys .
d * 33 * , 3526 ( 1986 ) .
roman , phys .
d * 37 * , 546 ( 1988 ) .
j. friedman , k. schleich , and d. witt , phys .
lett . * 71 * , 1486 ( 1993 ) .    note that in a general spacetime , unlike the relation between the local null and weak energy conditions , anec does not simply follow by continuity from awec .
an example of this is illustrated in sec .
( [ sec:2devap ] ) for the unruh vacuum state .
g. klinkhammer , phys .
d * 43 * , 2542 ( 1991 ) .
a. folacci , phys .
d * 46 * , 2726 ( 1992 ) .
r. wald and u. yurtsever , phys .
rev d * 44 * , 403 ( 1991 ) .
m. visser , phys .
b349 * , 443 ( 1995 ) .
u. yurtsever , phys .
d * 51 * , 5797 ( 1995 ) .
u. yurtsever , phys .
d * 52 * , r564 ( 1995 ) .
m. morris and k. thorne , am .
* 56 * , 395 ( 1988 ) .
m. morris , k. thorne , and u. yurtsever , phys .
lett . * 61 * , 1446 ( 1988 ) .
l. ford and t. roman , phys .
d , * 51 * , 4277 ( 1995 ) .
ford , proc .
a * 364 * , 227 ( 1978 ) .
ford , phys .
d * 43 * , 3972 ( 1991 ) .
this particular choice was initially made in ref .
@xcite purely for mathematical convenience . presumably , one could prove analogous inequalities with other choices of sampling functions .
ford and t.a .
roman , phys .
d * 41 * , 3662 ( 1990 ) .
ford and t.a .
roman , phys .
d * 46 * , 1328 ( 1992 ) .
ford and t.a .
roman , _ quantum field theory constrains traversable wormhole geometries _ , manuscript in preparation .
u. yurtsever , class .
quantum grav . * 7 * , l251 ( 1990 ) .
r. penrose , phys .
* 14 * , 57 ( 1965 ) .
s. w. hawking , commun .
phys . * 43 * , 199 ( 1975 ) .
a. borde ,  topology change in classical general relativity " , tufts institute of cosmology preprint tutp 94 - 13 , gr - qc 9406053 .
ford and t.a .
roman , phys .
d * 48 * , 776 ( 1993 ) .
unruh , phys .
d * 15 * , 365 ( 1977 ) .
note that this expression differs somewhat in form from eq .
( [ eq : tlqi2duncp ] ) .
however , the latter is an inequality valid for all quantum states in 2d minkowski spacetime , whereas the integral in eq .
( [ eq : intt ] ) is evaluated for a restricted class of geodesics in a specific quantum state in schwarzschild spacetime .
note also that the right - hand - side of eq .
( [ eq : intt ] ) is more negative than the right - hand - side of eq .
( [ eq : tlqi2duncp ] ) .
this is presumably due to the integration over a half - complete geodesic in eq .
( [ eq : intt ] ) ; even in minkowski spacetime , there exist states for which eq .
( [ eq : tlqi2duncp ] ) would not be true if the integration were taken only over a half - geodesic .
davies and w.g .
unruh , proc .
a * 356 * , 259 ( 1977 ) .
r. m. wald , _ general relativity _
( univ . of chicago press , chicago , 1984 ) .
r. m. wald , _ quantum field theory in curved spacetime and black hole thermodynamics _
( univ . of chicago press , chicago , 1994 )
.    u. yurtsever , private communication .
t. elster , phys .
94a * , 205 ( 1983 ) .
jensen , j.g .
mclaughlin , and a.c .
ottewill , phys .
d * 43 * , 4142 ( 1991 ) .
m. visser , _ lorentzian wormholes - from einstein to hawking _
( american institute of physics press , new york , 1995 ) , sec .
12.3.6 , pp .
128 - 9 .
the form of eq .
( [ eq : awec / qi-4d ] ) is motivated by the following considerations : if we imagine a sequence of observers shot outward with increasing values of @xmath38 , then @xmath238 and @xmath239 , so @xmath240 . the factor of @xmath226 is required in order for the dimensions to be correct . this form is also suggested by the form of the inequality found for orbiting null geodesics , eq .
( [ eq : anecinq-1norbit ] ) .
d. n. page , phys .
* d13 * , 198 ( 1976 ) .
a. borde , private communication .
, footnote 2 of r. penrose , _ techniques of differential topology in relativity _
( society for industrial and applied mathematics , philadelphia , 1972 ) , for an interesting example with timelike geodesics .
c .- i kuo and l.h .
ford , phys .
d * 47 * , 4510 ( 1993 ) .
c .- i kuo , _ quantum fluctuations and semiclassical gravity theory _
thesis , tufts university ( 1994 ) , unpublished .
the authors are grateful to a. borde for this remark .
* [ 1 ] radial null geodesics in the spacetime of a black hole formed by gravitational collapse : an ingoing geodesic ( a ) , an outgoing geodesic inside the horizon ( b ) , and an outgoing geodesic outside of the horizon ( c ) . * [ 2 ] the spacetime of a black hole formed by gravitational collapse .
the null ray which lies in the future horizon enters the collapsing body ( shaded region ) , and then re - emerges into the vacuum spacetime at @xmath241 . *
[ 3 ] the spacetime of an evaporating black hole , including the effects of backreaction .