Hawking [
3] showed that black holes could evaporate, thus their horizon area can decrease via Hawking radiation. One of the key assumptions he made is the validity of semiclassical Einstein’s field equation in the semiclassical regime given by
where
is the Einstein tensor and
is the expectation value of the energy-momentum tensor. We show how to recover this critical equation, thus establishing the validity of the semiclassical approximation under the assumption that the fluctuations in
are negligible. Jacobson [
4] derived Einstein’s Field Equation from the proportionality of entropy and horizon area together with the fundamental thermodynamic relation
. The strongest evidence of the equality between the horizon area and entropy comes from the black hole physics [
2,
3] and from the holographic principle [
25,
26] which states that the information about the volume of space is stored on its boundary. Now, consider the following substitution to get a semiclassical result
The argument for doing the above substitution is as follows: In the classical case, the entropy change is given by
where
is the area variation of a pencil of generators of the causal horizon
but semiclassically
can be negative, so we should use
which is always positive. The intuitive argument is that classically we demand
to impose a condition on spacetime curvature thereby leading to the classical equation of motion but semiclassically we should use the quantum focusing
to impose a condition on the spacetime curvature (since quantum fields violate classical focusing but even in this case quantum focusing holds) which should give the semiclassical equation of motion. In the semiclassical case, we work with the Quantum Expansion(
) which allows for the natural generalization of the classical focusing theorem to the semiclassical regime. Next, we precisely define our local causal horizon: the local neighborhood of any arbitrary spacetime point
p can be viewed as a flat spacetime using the Equivalence principle. Through
p we consider a spacelike 2-surface element
. The past horizon of
is called the local causal horizon which can be thought of as a local Rindler horizon passing through point
p. Considering a local Rindler horizon through
p, we can take a local (boost) killing vector
, generating the horizon. To the past of
the heat flux can be defined as the boost energy across the horizon as
where we need to consider the angle brackets of the energy-momentum tensor for the semiclassical case. Here
is a local boost Killing field generating the horizon
. The relation between affine parameter
and killing parameter
v is generally given as
. But as we show here, in the semiclassical case, we should use instead
so as to recover the semiclassical equation. This can be understood as the vanishing of quantum expansion
to zeroth order in
must occur at twice the rate to correctly impose the condition on spacetime curvature. Therefore, we get
and
takes the form
where
is the tangent vector to the horizon generator for an affine parameter
. We can also write
where
. Since in the semiclassical case, the surface (cross-section of the local causal horizon) is contracting (and also possibly shearing) at
p, we cannot apply the equilibrium thermodynamic relation
, instead, we use the Clausius definition of entropy in the non-equilibrium case as [
5,
7,
42]
where the rate of change of entropy is written as
is the rate of change of entropy exchange with the surroundings while
is the entropy developed internally in the system as a result of being out of equilibrium. It is important to note that
is a non-negative quantity in accordance with the second law.
is the uncompensated heat which shows the amount of entropy associated with the heat which is intrinsic to the system when it undergoes an irreversible process. Let us expand
around
pIn the semiclassical regime, we have [
27]
Therefore Eq.(
13) becomes
Since at zero order in
,
, we have
We therefore get
From this, we find
and
Thus, the internal entropy production rate
, in this case, is twice that of the classical one and has contributions from both scalar and tensorial degrees of freedom. To see why
and
take these expressions can be understood by expressing Eq.(
21) in terms of the Killing parameter
v as
as required by the second law (since the affine parameter
and Killing parameter
v on the horizon are related by
). Eq.(
22) then follows from Eq.(
18). Thus, given the entropy change
, where
, then Eq.(
22) and Eq.(
21) are unique choices for
and
respectively. Therefore, at first order in
, equating
we obtain
On the other hand, we have
as the internal entropy associated with some irreversible dissipation occurring at the Rindler wedge. Eq.(
24) implies
for some function
f. Local conservation implies
is divergenceless and we therefore recover semiclassical equation of motion
where
is a constant identified as the cosmological constant.