Go to previous page Go up Go to next page

8.2 Backreaction on black holes under quasi-static conditions

As an illustration of the application of stochastic-gravity theory we outline the essential steps in a black-hole backreaction calculation, focusing on a more manageable quasi-static class. We adopt the Hartle–Hawking picture [151] where the black hole is bathed eternally – actually in quasi-thermal equilibrium – in the Hawking radiance it emits. It is described here by a massless scalar quantum field at the Hawking temperature. As is well known, this quasi-equilibrium condition is possible only if the black hole is enclosed in a box of size suitably larger than the event horizon. We can divide our consideration into the far-field case and the near-horizon case. Campos and Hu [69Jump To The Next Citation Point, 70Jump To The Next Citation Point] have treated a relativistic thermal plasma in a weak gravitational field. Since the far-field limit of a Schwarzschild metric is just the perturbed Minkowski spacetime, one can perform a perturbation expansion of hot flat space using the thermal Green’s functions [129]. Strictly speaking, the location of the box holding the black hole in equilibrium with its thermal radiation is as far as one can go, thus the metric may not reach the perturbed Minkowski form. But one can also put the black hole and its radiation in an anti-de Sitter space [163], which contains such a region. Hot flat space has been studied before for various purposes. See, e.g., [39Jump To The Next Citation Point, 89Jump To The Next Citation Point, 138Jump To The Next Citation Point, 311Jump To The Next Citation Point, 312Jump To The Next Citation Point]. Campos and Hu derived a stochastic CTP effective action and from it an equation of motion, the Einstein Langevin equation, for the dynamical effect of a scalar quantum field on a background spacetime. To perform calculations leading to the Einstein–Langevin equation one needs to begin with a self-consistent solution of the semiclassical Einstein equation for the thermal field and the perturbed background spacetime. For a black-hole background, a semiclassical gravity solution is provided by York [380Jump To The Next Citation Point, 381Jump To The Next Citation Point, 382Jump To The Next Citation Point]. For a Robertson–Walker background with thermal fields it is given by Hu [180].

We follow the strategy outlined by Sinha, Raval and Hu [332Jump To The Next Citation Point] for treating the near horizon case, following the same scheme of Campos and Hu. In both cases two new terms appear, which are absent in semiclassical gravity considerations: a nonlocal dissipation and a (generally colored) noise kernel. When one takes the noise average one recovers York’s [380Jump To The Next Citation Point, 381Jump To The Next Citation Point, 382Jump To The Next Citation Point] semiclassical equations for radially perturbed quasi-static black holes. For the near-horizon case one cannot obtain the full details yet, because the Green’s function for a scalar field in the Schwarzschild metric comes only in an approximate form, e.g., Page’s approximation [287Jump To The Next Citation Point], which, though reasonably accurate for the stress tensor, fails badly for the noise kernel [305Jump To The Next Citation Point]. In addition, a formula is derived in [332] expressing the CTP effective action in terms of the Bogoliubov coefficients. Since it measures not only the number of particles created, but also the difference of particle creation in alternative histories, this provides a useful avenue to explore the wider set of issues in black hole physics related to noise and fluctuations.

Since backreaction calculations in semiclassical gravity have been under study for a much longer time than in stochastic gravity we will concentrate on explaining how the new stochastic features arise from the framework of semiclassical gravity, i.e., noise and fluctuations and their consequences. Technically the goal is to obtain an influence action for this model of a black hole coupled to a scalar field and to derive an Einstein–Langevin equation from it. As a by-product, from the fluctuation-dissipation relation, one can derive the vacuum-susceptibility function and the isothermal-compressibility function for black holes, two quantities of fundamental interest in characterizing the nonequilibrium thermodynamic properties of black holes.

8.2.1 The model

In this model the black-hole spacetime is described by a spherically-symmetric static metric with line element of the following general form written in advanced-time Eddington-Finkelstein coordinates as

( ) ds2 = gμνdx μdxν = − e2ψ 1 − 2m-- dv2 + 2e2ψdv dr + r2d Ω2, (179 ) r
where ψ = ψ (r), m = m (r), v = t + r + 2 M ln (-r-− 1) 2M, and dΩ2 is the line element on the two-sphere. Hawking radiation is described by a massless, conformally-coupled quantum scalar field φ with the classical action
∫ 1- n √ --- μν 2 Sm [φ,gμν] = − 2 d x − g [g ∂μφ ∂νφ + ξ(n )R φ ], (180 )
where ξ(n) = (n−2)- 4(n−1) (n is the dimension of spacetime) and R is the curvature scalar of the spacetime it lives in.

Let us consider linear perturbations hμν of a background Schwarzschild metric (0) gμν,

gμν = g(μ0)ν + hμν, (181 )
with standard line element
( ) (ds2)0 = 1 − 2M-- dv2 + 2dv dr + r2dΩ2. (182 ) r
We look for this class of perturbed metrics in the form given by Equation (179View Equation) (thus restricting our consideration only to spherically symmetric perturbations),
eψ ≃ 1 + ερ(r), (183 )
and
m ≃ M [1 + εμ(r)], (184 )
where ε∕(λM 2) = 13aT 4H with a = π302 and λ = 90(84)π2, and where TH is the Hawking temperature. This particular parameterization of the perturbation is chosen following York’s notation [380Jump To The Next Citation Point, 381Jump To The Next Citation Point, 382Jump To The Next Citation Point]. Thus, the only non-zero components of h μν are
[( ) ] hvv = − 1 − 2-M- 2ερ (r) + 2-M-εμ-(r) , (185 ) r r
and
hvr = ερ(r). (186 )
So this represents a metric with small static and radial perturbations about a Schwarzschild black hole. The initial quantum state of the scalar field is taken to be the Hartle–Hawking vacuum, which is essentially a thermal state at the Hawking temperature, and it represents a black hole in (unstable) thermal equilibrium with its own Hawking radiation. In the far-field limit, the gravitational field is described by a linear perturbation of Minkowski spacetime. In equilibrium the thermal bath can be characterized by a relativistic fluid with a four-velocity (time-like normalized vector field) uμ and temperature in its own rest frame β −1.

To facilitate later comparisons with our program we briefly recall York’s work [380, 381Jump To The Next Citation Point, 382]. (See also the work by Hochberg and Kephart [166] for a massless vector field, by Hochberg, Kephart, and York [167] for a massless spinor field, and by Anderson, Hiscock, Whitesell, and York [9] for a quantized massless scalar field with arbitrary coupling to spacetime curvature.) York considered the semiclassical Einstein equation,

Gμν(gαβ) = κ⟨T μν⟩, (187 )
with G μν ≃ G (μ0)ν + δG μν, where G(μ0ν) is the Einstein tensor for the background spacetime. The zeroth-order solution gives a background metric in empty space, i.e, the Schwarzschild metric. δGμν is the linear correction to the Einstein tensor in the perturbed metric. The semiclassical Einstein equation in this approximation therefore reduces to
δG μν(g(0),h) = κ⟨T μν⟩. (188 )
York solved this equation to first order by using the expectation value of the energy-momentum tensor for a conformally-coupled scalar field in the Hartle–Hawking vacuum in the unperturbed (Schwarzschild) spacetime on the right-hand side and using Equations (185View Equation) and (186View Equation) to calculate δG μν on the left-hand side. Unfortunately, no exact analytical expression is available for the ⟨Tμν⟩ in a Schwarzschild metric with the quantum field in the Hartle–Hawking vacuum that goes on the right-hand side. York, therefore, used the approximate expression given by Page [287Jump To The Next Citation Point], which is known to give excellent agreement with numerical results. Page’s approximate expression for ⟨T ⟩ μν was constructed using a thermal Feynman Green’s function obtained by a conformal transformation of a WKB-approximated Green’s function for an optical Schwarzschild metric. York then solves the semiclassical Einstein equation (188View Equation) self-consistently to obtain the corrections to the background metric induced by the backreaction encoded in the functions μ(r) and ρ (r). There was no mention of fluctuations or its effects. As we shall see, in the language of Section 4, the semiclassical gravity procedure, which York followed, working at the equation of motion level, is equivalent to looking at the noise-averaged backreaction effects.

8.2.2 CTP effective action for the black hole

We first derive the CTP effective action for the model described in the previous section. Using the metric (182View Equation) (and neglecting the surface terms that appear in an integration by parts) we have the action for the scalar field written perturbatively as

∫ ∘ ------ S [φ, h ] = 1- dnx − g(0)φ[□ (0) + V (1) + V (2) + ...]φ, (189 ) m μν 2
where the first and second order perturbative operators (1) V and (2) V are given by
(1) ---1----{ (∘ ---(0)¯μν) ¯μν (1)} V ≡ − ∘ ---(0)- ∂μ − g h ∂ν + h ∂μ∂ν + ξ(n)R , − g { ( ------ ) ( ) } (190 ) V (2) ≡ − ∘--1---- ∂ ∘ − g(0)ˆhμν ∂ + ˆhμν∂ ∂ − ξ(n ) R (2) + 1-hR (1) . − g(0) μ ν μ ν 2
In the above expressions, R (k) is the k-order term in the perturbation hμν(x ) of the scalar curvature R and ¯h μν and ˆhμν denote a linear and a quadratic combination of the perturbation, respectively:
¯hμν ≡ hμν − 1hg (μ0)ν, 2 (191 ) α 1 1 2 (0) 1 αβ (0) ˆhμν ≡ hμ h αν − -hh μν + -h gμν − --hαβh gμν. 2 8 4
From quantum field theory in curved spacetime considerations discussed above, we take the following action for the gravitational field:
1 ∫ ∘ ------ α ¯μn−4 ∫ ∘ ------ Sg[gμν] = -------n−2- dnx − g(x )R (x) +--------- dnx − g(x) (16πG ){ 2 [ 4(n − 4) ] } ( )2 × 3R μναβ(x)R μναβ (x ) − 1 − 360 ξ(n) − 1- R2(x ) . (192 ) 6
The first term is the classical Einstein–Hilbert action; the second term is the counterterm in four dimensions used to renormalize the divergent effective action. In this action ℓ2 = 16 πG P N, α = (2880π2 )−1 and ¯μ is an arbitrary mass scale.

We are interested in computing the CTP effective action (189View Equation) for the matter action and when the field φ is initially in the Hartle–Hawking vacuum. This is equivalent to saying that the initial state of the field is described by a thermal density matrix at a finite temperature T = TH. The CTP effective action at finite temperature T ≡ 1 ∕β for this model is given by (for details see [69Jump To The Next Citation Point, 70Jump To The Next Citation Point])

{ [ ]} S β [h ± ] = Sg[h+ ] − Sg[h− ] − itr ln ¯G β h± , (193 ) eff μν μν μν 2 ab μν
where ± denote the forward and backward time path of the CTP formalism, and ¯Gβ [h±μν] ab is the complete 2 × 2 matrix propagator (a and b take ± values: G ++, G +−, and G − − correspond to the Feynman, Wightman, and Schwinger Green’s functions respectively) with thermal boundary conditions for the differential operator ∘ -----( ) − g(0) □ + V(1) + V (2) + .... The actual form of ¯Gβab cannot be explicitly given. However, it is easy to obtain a perturbative expansion in terms of V (k) ab, the k-order matrix version of the complete differential operator defined by (k) (k) V±± ≡ ±V ± and (k) V±∓ ≡ 0, and β G ab, the thermal matrix propagator for a massless scalar field in Schwarzschild spacetime. To second order G¯βab reads
¯β β β (1) β β (2) β β (1) β (1) β Gab = G ab − G acVcd G db − GacV cd Gdb + G ac Vcd G deVef G fb + ... (194 )
Expanding the logarithm and dropping one term independent of the perturbation h± (x) μν, the CTP effective action may be perturbatively written as
β [ ± ] [ + ] [ − ] S eff hμν = Sg hμν − Sg h μν i [ (1) β (1) β (2) β (2) β ] + -tr V+ G ++ − V− G− − + V+ G ++ − V− G− − 2 [ ] − itr V(+1)G β++ V+(1)G β++ + V (−1)Gβ− − V (−1)G β−− − 2V+(1)G β+− V−(1)G β− + . (195 ) 4
In computing the traces, some terms containing divergences are canceled using counterterms introduced in the classical gravitational action after dimensional regularization.

8.2.3 Near flat case

At this point we divide our considerations into two cases. In the far field limit hμν represent perturbations about flat space, i.e., g (0)= η μν μν. The exact “unperturbed” thermal propagators for scalar fields are known, i.e., the Euclidean propagator with periodicity β. Using the Fourier-transformed form (those quantities are denoted with a tilde) of the thermal propagators β &tidle;Gab(k), the trace terms of the form tr[V(a1)GβmnV (1)G βrs] b can be written as [69Jump To The Next Citation Point, 70Jump To The Next Citation Point]

[ (1) β (1) β ] tr V a Gmn V b Grs = ∫ ∫ dnk dnq ′ dnx dnx ′haμν(x)hbαβ(x ′) ------------eik(x−x ) &tidle;G βmn(k + q)G&tidle;βrs(q)T μν,αβ(q,k), (196 ) (2π )n(2π )n
where the tensor T μν,αβ(q,k ) is defined in [69Jump To The Next Citation Point, 70Jump To The Next Citation Point] after an expansion in terms of a basis of 14 tensors [311Jump To The Next Citation Point, 312Jump To The Next Citation Point]. In particular, the last trace of Equation (195View Equation) may be split into two different kernels N μν,αβ(x − x′) and D μν,αβ(x − x′),
[ ] ∫ [ ] itr V+(1)G β+− V−(1)G β−+ = − d4xd4x ′h+ (x)h− (x ′) D μν,αβ(x − x′) + iN μν,αβ(x − x ′) . (197 ) 2 μν α β
One can express the Fourier transforms of these kernels as
∫ 4 &tidle; μν,αβ 2 -d-q-- o o o o o o o o o N (k) = π (2π)4 { θ(k + q ) θ(− q ) + θ(− k − q )θ(q ) + n β(|q |) + nβ(|k + q |) o o o 2 [ 2] μν,αβ ∫ +2 nβ(|q|)n β(|k + q |)} δ(q ) δ (k + q) T (q,k ), (198 ) μν,αβ 2 d4q o o o o o o o o o &tidle;D (k) = − iπ (2π-)4-{θ(k + q )θ(− q ) − θ(− k − q )θ (q ) + sig (k + q )nβ(|q |) [ ] − sig(qo)n β(|ko + qo|)}δ(q2)δ (k + q)2 Tμν,αβ(q,k ), (199 )
respectively.

Using the property μν,αβ μν,αβ T (q,k) = T (− q, − k ), it is easy to see that the kernel μν,αβ ′ N (x − x ) is symmetric and D μν,αβ(x − x ′) is antisymmetric in its arguments; that is, Nμν,αβ(x) = N μν,αβ(− x) and D μν,αβ(x) = − D μν,αβ(− x).

The physical meanings of these kernels can be extracted if we write the renormalized CTP effective action at finite temperature (195View Equation) in an influence-functional form [45Jump To The Next Citation Point, 133Jump To The Next Citation Point, 196Jump To The Next Citation Point, 197Jump To The Next Citation Point]. N, the imaginary part of the CTP effective action, can be identified with the noise kernel and D, the antisymmetric piece of the real part, with the dissipation kernel. Campos and Hu [69Jump To The Next Citation Point, 70Jump To The Next Citation Point] have shown that these kernels identified as such indeed satisfy a thermal fluctuation-dissipation relation.

If we denote the difference and the sum of the perturbations h ± μν, defined along each branch C ± of the complex time path of integration C, by [h ] ≡ h+ − h− μν μν μν and {h } ≡ h+ + h− μν μν μν, respectively, the influence-functional form of the thermal CTP effective action may be written to second order in h μν as

∫ β [ ± ] ----1----- 4 4 ′ μν,αβ ′ ′ Seff hμν ≃ 2(16πGN ) d x d x [h μν](x) L(o) (x − x ){hα β}(x) ∫ + 1- d4x [hμν](x )Tμν 2 ∫ (β) 1- 4 4 ′ μν,αβ ′ ′ + 2 d x d x [hμν](x)H (x − x ){hαβ}(x ) ∫ − 1- d4x d4x′[hμν](x)D μν,αβ(x − x′){hαβ}(x ′) 2 i ∫ 4 4 ′ μν,αβ ′ ′ + -- d x d x [hμν](x)N (x − x )[h αβ](x ). (200 ) 2
The first line is the Einstein–Hilbert action to second order in the perturbation h ±μν(x ). L μ(oν,)αβ(x) is a symmetric kernel, i.e., μν,αβ L(o) (x) = μν,αβ L(o) (− x). In the near flat case, its Fourier transform is given by
[ ] &tidle;L μν,αβ(k) = 1- − k2T μν,αβ(q,k) + 2k2T μν,αβ(q,k) + Tμν,αβ(q,k) − 2Tμν,αβ(q,k) . (201 ) (o) 4 1 4 8 13
The 14 elements of the tensor basis T μν,αβ(q,k) i, i = 1,...,14, are defined in [311Jump To The Next Citation Point, 312Jump To The Next Citation Point]. The second is a local term, linear in ± h μν(x ). Only far away from the black hole it takes the form of the stress tensor of massless scalar particles at temperature β−1, which has the form of a perfect fluid stress-energy tensor,
[ ] μν π2 μ ν 1 μν μ ν T(β) = ----4 u u + --(η + u u ) , (202 ) 30 β 3
where uμ is the four-velocity of the plasma and the factor π302β4- is the familiar thermal energy density for massless scalar particles at temperature β−1. In the far field limit, taking into account the four-velocity μ u of the fluid, a manifestly Lorentz-covariant approach to thermal field theory may be used [371]. However, in order to simplify the involved tensorial structure, we work in the co-moving coordinate system of the fluid, where uμ = (1,0,0,0). In the third line, the Fourier transform of the symmetric kernel Hμν,αβ(x) can be expressed as
αk4 { 1 |k2| 1 } H&tidle;μν,αβ(k) = − ---- --2 ln-2-Q μν,αβ(k) + --¯Qμν,αβ(k) 4 r μ 3 --π2-- { μν,αβ μν,αβ μν,αβ μν,αβ } + 180 β4 − T1 (u,k) − 2T 2 (u,k) + T 4 (u,k) + 2T 5 (u,k) { } + --ξ-- k2T μν,αβ(u,k) − 2k2T μν,αβ(u,k ) − T μν,αβ(u,k ) + 2T μν,αβ(u, k) 96β2 1 4 8 13 ∫ d4q { [ 1 ] [ 1 ]} + π ----4- δ(q2)nβ(|qo|)𝒫 ------2 + δ[(k+q )2]n β(|ko + qo|)𝒫 -2 T μν,αβ(q,k), (2 π) (k +q ) q (203 )
where μ is a simple redefinition of the renormalization parameter ¯μ given by
23 1 1 μ ≡ ¯μ exp (---+ --ln4 π − -γ ), (204 ) 15 2 2
and the tensors Q μν,αβ(k) and Q¯μν,αβ (k ) are defined by
{ } μν,αβ 3 μν,αβ 1 μν,αβ 2 μν,αβ Q (k) = 2- T 1 (q,k ) − k2T 8 (q,k) + k4T 12 (q,k) [ ( ) ]{ } 1 2 μν,αβ 1 μν,αβ 1 μν,αβ − 1 − 360 ξ − -- T 4 (q,k) + -4-T12 (q,k ) − -2T 13 (q,k) , (205 ) [ 6 k ] k ( 1)2 1 ¯Q μν,αβ(k) = 1 + 576 ξ − -- − 60 (ξ − -)(1 − 36ξ′) 6 6 { } × Tμ4ν,αβ(q,k) + 1-T μ1ν,2αβ(q,k) − -1-Tμ1ν3,αβ(q,k ) , (206 ) k4 k2
respectively.

In the above and subsequent equations, we denote the coupling parameter in four dimensions ξ(4) by ξ, and consequently ξ′ means dξ(n )∕dn evaluated at n = 4. &tidle;H μν,αβ(k) is the complete contribution of a free massless quantum scalar field to the thermal graviton polarization tensor [39Jump To The Next Citation Point, 89Jump To The Next Citation Point, 311Jump To The Next Citation Point, 312Jump To The Next Citation Point], and it is responsible for the instabilities found in flat spacetime at finite temperature [39Jump To The Next Citation Point, 89Jump To The Next Citation Point, 138, 311Jump To The Next Citation Point, 312Jump To The Next Citation Point]. Note that the addition of the contribution of other kinds of matter fields to the effective action, even graviton contributions, does not change the tensor structure of these kernels, and only the overall factors are different to leading order [311Jump To The Next Citation Point, 312Jump To The Next Citation Point]. Equation (203View Equation) reflects the fact that the kernel H&tidle;μν,αβ (k ) has thermal, as well as non-thermal, contributions. Note that it reduces to the first term in the zero temperature limit (β → ∞),

αk4 { 1 |k2| 1 } &tidle;H μν,αβ(k) ≃ − ---- --ln --2 Q μν,αβ(k) +--¯Qμν,αβ(k) , (207 ) 4 2 μ 3
and at high temperatures the leading term (β−4) may be written as
π2 ∑14 H&tidle;μν,αβ(k ) ≃ ----- Hi (r)Tμiν,α β(u, K ), (208 ) 30β4 i=1
where we have introduced the dimensionless external momentum μ μ ⃗ ˆ K ≡ k ∕|k| ≡ (r,k ). The Hi(r) coefficients were first given in [311, 312] and generalized to the next-to-leading order β− 2 in [39, 89]. (They are given with the MTW sign convention in [69Jump To The Next Citation Point, 70Jump To The Next Citation Point].)

Finally, as defined above, N μν,αβ(x) is the noise kernel representing random fluctuations of thermal radiance and μν,αβ D (x ) is the dissipation kernel, describing the dissipation of energy of the gravitational field.

8.2.4 Near-horizon case

In this case, since the perturbation is taken around the Schwarzschild spacetime, exact expressions for the corresponding unperturbed propagators β ± G ab[hμν] are not known. Therefore, apart from the approximation of computing the CTP effective action to certain order in perturbation theory, an appropriate approximation scheme for the unperturbed Green’s functions is also required. This feature manifested itself in York’s calculation of backreaction as well, where, in writing ⟨Tμν⟩ on the right-hand side of the semiclassical Einstein equation in the unperturbed Schwarzschild metric, he had to use an approximate expression for ⟨T μν⟩ in the Schwarzschild metric, given by Page [287Jump To The Next Citation Point]. The additional complication here is that, while to obtain ⟨T μν⟩ as in York’s calculation, the knowledge of only the thermal Feynman Green’s function is required, to calculate the CTP effective action one needs the knowledge of the full matrix propagator, which involves the Feynman, Schwinger and Wightman functions.

It is indeed possible to construct the full thermal matrix propagator G β [h ±] ab μν based on Page’s approximate Feynman Green’s function by using identities relating the Feynman Green’s function with the other Green’s functions with different boundary conditions. One can then proceed to explicitly compute a CTP effective action and hence the influence functional based on this approximation. However, we desist from delving into such a calculation for the following reason. Our main interest in performing such a calculation is to identify and analyze the noise term, which is the new ingredient in the backreaction. We have mentioned that the noise term gives a stochastic contribution μν ξ to the Einstein–Langevin equation (15View Equation). We had also stated that this term is related to the variance of fluctuations in Tμν, i.e, schematically, to ⟨T2μν⟩. However, a calculation of ⟨T 2⟩ μν in the Hartle–Hawking state in a Schwarzschild background using the Page approximation was performed by Phillips and Hu [304, 305Jump To The Next Citation Point] and it was shown that, though the approximation is excellent as far as ⟨Tμν⟩ is concerned, it gives unacceptably large errors for ⟨Tμ2ν⟩ at the horizon. In fact, similar errors will be propagated in the non-local dissipation term as well, because both terms originate from the same source, that is, they come from the last trace term in (195View Equation), which contains terms quadratic in the Green’s function. However, the influence functional or CTP formalism itself does not depend on the nature of the approximation, so we will attempt to exhibit the general structure of the calculation without resorting to a specific form for the Green’s function and conjecture on what is to be expected. A more accurate computation can be performed using this formal structure once a better approximation becomes available.

The general structure of the CTP effective action arising from the calculation of the traces in Equation (195View Equation) remains the same. But to write down explicit expressions for the non-local kernels, one requires the input of the explicit form of G β [h ±μν] ab in the Schwarzschild metric, which is not available in closed form. We can make some general observations about the terms in there. The first line containing L does not have an explicit Fourier representation as given in the far-field case; neither will μν T(β) in the second line representing the zeroth-order contribution to ⟨Tμν⟩ have a perfect fluid form. The third and fourth terms containing the remaining quadratic component of the real part of the effective action will not have any simple or even complicated analytic form. The symmetry properties of the kernels H μν,αβ(x,x′) and μν,αβ ′ D (x,x ) remain intact, i.e., they are respectively even and odd in ′ x,x. The last term in the CTP effective action gives the imaginary part of the effective action and the kernel ′ N (x,x ) is symmetric.

Continuing our general observations from this CTP effective action, using the connection between this thermal CTP effective action to the influence functional [58, 343] via an equation in the schematic form (24View Equation), we see that the nonlocal imaginary term containing the kernel N μν,αβ(x,x′) is responsible for the generation of the stochastic noise term in the Einstein–Langevin equation and the real non-local term containing kernel D μν,αβ(x,x′) is responsible for the non-local dissipation term. To derive the Einstein–Langevin equation we first construct the stochastic effective action (34View Equation). We then derive the equation of motion, as shown earlier in (36View Equation), by taking its functional derivative with respect to [h ] μν and equating it to zero. With the identification of noise and dissipation kernels, one can write down a linear, non-local relation of the form

∫ ′ ′ ′ ′ ′ N (t − t) = d(s − s )K (t − t ,s − s)γ (s − s ), (209 )
where ′ ′ D (t,t ) = − ∂t′γ(t,t). This is the general functional form of a fluctuation-dissipation relation and K (t,s) is called the fluctuation-dissipation kernel [45Jump To The Next Citation Point, 133Jump To The Next Citation Point, 196Jump To The Next Citation Point, 197Jump To The Next Citation Point]. In the present context this relation depicts the backreaction of thermal Hawking radiance for a black hole in quasi-equilibrium.

8.2.5 Einstein–Langevin equation

In this section we show how a semiclassical Einstein–Langevin equation can be derived from the previous thermal CTP effective action. This equation depicts the stochastic evolution of the perturbations of the black hole under the influence of the fluctuations of the thermal scalar field.

The influence functional ℱIF ≡ exp(iSIF) previously introduced in Equation (23View Equation) can be written in terms of the the CTP effective action β Seff[h ±μν] derived in Equation (200View Equation) using Equation (24View Equation). The Einstein–Langevin equation follows from taking the functional derivative of the stochastic effective action (34View Equation) with respect to [h ](x) μν and imposing [h ](x ) = 0 μν. This leads to

∫ ---1--- 4 ′ μν,αβ ′ ′ 1- μν 16πG d x L (o) (x − x )hαβ(x ) + 2T (β) ∫ N ( ) + d4x′ H μν,αβ(x − x ′) − Dμν,αβ(x − x′) hαβ(x′) + ξμν(x ) = 0, (210 )
where
⟨ ⟩ ξμν(x )ξαβ(x′)j = N μν,αβ(x − x ′). (211 )
In the far-field limit this equation should reduce to that obtained by Campos and Hu [69Jump To The Next Citation Point, 70Jump To The Next Citation Point]; for gravitational perturbations h μν defined in Equation (191View Equation) under the harmonic gauge ¯hμν,ν = 0, their Einstein–Langevin equation is given by
1 { μν ∫ ( ) } □ ¯hμν(x ) +------2 T(β) + 2P ρσ,αβ d4x′ H μν,αβ(x− x ′) − Dμν,αβ(x− x′) ¯hρσ(x′) + 2ξμν(x) = 0, 16 πG N (212 )
where the tensor P ρσ,αβ is given by
1 Pρσ,αβ = -(ηρα ησβ + ηρβ ησα − ηρσ ηαβ ). (213 ) 2
The expression for Pρσ,αβ in the near-horizon limit, of course, cannot be expressed in such a simple form. Note that this differential stochastic equation includes a non-local term responsible for the dissipation of the gravitational field and a noise-source term, which accounts for the fluctuations of the quantum field. Note also that this equation, in combination with the correlation for the stochastic variable (211View Equation) determines, the two-point correlation for the stochastic metric fluctuations ¯ ¯ ′ ⟨h μν(x )hαβ(x )⟩ξ self-consistently.

As we have seen before and here, the Einstein–Langevin equation is a dynamical equation governing the dissipative evolution of the gravitational field under the influence of the fluctuations of the quantum field, which, in the case of black holes, takes the form of thermal radiance. From its form we can see that, even for the quasi-static case under study, the backreaction of Hawking radiation on the black-hole spacetime has an innate dynamical nature.

For the far-field case, making use of the explicit forms available for the noise and dissipation kernels, Campos and Hu [69Jump To The Next Citation Point, 70Jump To The Next Citation Point] formally prove the existence of a fluctuation-dissipation relation at all temperatures between the quantum fluctuations of the thermal radiance and the dissipation of the gravitational field. They also show the formal equivalence of this method with linear-response theory for lowest order perturbations of a near-equilibrium system and how the response functions, such as the contribution of the quantum scalar field to the thermal graviton polarization tensor, can be derived. An important quantity not usually obtained in linear-response theory, but of equal importance, manifest in the CTP stochastic approach is the noise term arising from the quantum and statistical fluctuations in the thermal field. The example given in this section shows that the backreaction is intrinsically a dynamic process described (at this level of sophistication) by the Einstein–Langevin equation. By comparison, traditional linear response theory calculations cannot capture the dynamics as fully and thus cannot provide a complete description of the backreaction problem.

8.2.6 Comments

As remarked earlier, except for the near-flat case, an analytic form of the Green’s function is not available. Even the Page approximation [287Jump To The Next Citation Point], which gives unexpectedly good results for the stress-energy tensor, has been shown to fail in the fluctuations of the energy density [305Jump To The Next Citation Point]. Thus, using such an approximation for the noise kernel will give unreliable results for the Einstein–Langevin equation. If we confine ourselves to Page’s approximation and derive the equation of motion without the stochastic term, we expect to recover York’s semiclassical Einstein’s equation, if one retains only the zeroth-order contribution, i.e, the first two terms in the expression for the CTP effective action in Equation (200View Equation). Thus, this offers a new route to arrive at York’s semiclassical Einstein’s equations. (Not only is it a derivation of York’s result from a different point of view, but it also shows how his result arises as an appropriate limit of a more complete framework, i.e, it arises when one averages over the noise.) Another point worth noting is that a non-local dissipation term arises from the fourth term in Equation (200View Equation) in the CTP effective action, which is absent in York’s treatment. This difference exists primarily due to the difference in the way backreaction is treated, at the level of iterative approximations on the equation of motion as in York, versus the treatment at the effective-action level, as in the influence-functional approach. In York’s treatment, the Einstein tensor is computed to first order in perturbation theory, while ⟨Tμν⟩ on the right-hand side of the semiclassical Einstein equation is replaced by the zeroth-order term. In the influence-functional treatment the full effective action is computed to second order in perturbation and hence includes the higher-order non-local terms.

The other important conceptual point that comes to light from this new approach is that related to the fluctuation-dissipation relation. In the quantum Brownian motion analog (e.g., [45Jump To The Next Citation Point, 133Jump To The Next Citation Point, 196Jump To The Next Citation Point, 197Jump To The Next Citation Point] and references therein), the dissipation of the energy of the Brownian particle as it approaches equilibrium and the fluctuations at equilibrium are connected by the Fluctuation-Dissipation relation. Here the backreaction of quantum fields on black holes also consists of two forms – dissipation and fluctuation or noise – corresponding to the real and imaginary parts of the influence functional as embodied in the dissipation and noise kernels. A fluctuation-dissipation relation has been shown to exist for the near-flat case by Campos and Hu [69Jump To The Next Citation Point, 70Jump To The Next Citation Point] and is expected to exist between the noise and dissipation kernels for the general case, as it is a categorical relation [45, 133, 183, 196, 197]. Martin and Verdaguer have also proved the existence of a fluctuation-dissipation relation when the semiclassical background is a stationary spacetime and the quantum field is in thermal equilibrium. Their result was then extended to a conformal field in a conformally-stationary background [257]. As discussed earlier, the existence of a fluctuation-dissipation relation for the black-hole case has previously been suggested by some authors previously [76, 268, 324, 325]. This relation and the relevant physical quantities contained therein, such as the black-hole susceptibility function, which characterizes the statistical mechanical and dynamical responses of a black hole interacting with its quantum field environment, will allow us to study the nonequilibrium thermodynamic properties of the black hole and through it, perhaps, the microscopic structure of spacetime.

There are limitations of a technical nature in the quasi-static case studied, as mentioned above, i.e., there is no reliable approximation to the Schwarzschild thermal Green’s function to explicitly compute the noise and dissipation kernels. Another technical limitation of this example is the following: although we have allowed for backreaction effects to modify the initial state in the sense that the temperature of the Hartle–Hawking state gets affected by the backreaction, our analysis is essentially confined to a Hartle–Hawking thermal state of the field. It does not directly extend to a more general class of states, for example to the case in which the initial state of the field is in the Unruh vacuum. To study the dynamics of a radiating black hole under the influence of a quantum field and its fluctuations a different model and approach are needed, which we now discuss.


  Go to previous page Go up Go to next page