arxiv:gr-qc/ v1 30 May 2002

Transcription

1 Themodynamical Popeties of Hoizons Jamo Mäkelä and Ai Peltola Depatment of Physics, Univesity of Jyväskylä, PB 35 (YFL, FIN Jyväskylä, Finland (Dated: May 30, 2002 We show, by using Regge calculus, that the entopy of any finite pat of a Rindle hoizon is, in the semi-classical limit, one quate of the aea of that pat. We ague that this esult implies that the entopy associated with any hoizon of spacetime is, in the semi-classical limit, one quate of its aea. As an example, we deive the Bekenstein-Hawking entopy law fo the Schwazschild black hole. PACS numbes: Dy, Gw axiv:g-qc/ v1 30 May 2002 A emakable discovey was made by Bekenstein and Hawking almost 30 yeas ago when they found that black hole has a cetain entopy which is one quate of its hoizon aea1, 2]. As a consequence, black holes emit themal adiation with a spectum which is essentially that of a black body. Afte Bekenstein and Hawking it was soon discoveed by Unuh3, 4, 5] that not only black holes but also the so-called Rindle hoizon of an acceleated obseve emits themal adiation. So it appeaed that the black hole is not necessay fo the ceation fom the point of view of a cetain obseve of themal adiation out of the vacuum. Rathe, what is essential fo the ceation of themal adiation, is the existence of a hoizon. In shot, it appeas that all hoizons of spacetime, no matte whethe they ae black hole, Rindle, de Sitte, o cosmological hoizons, have cetain themodynamical popeties in common. Fo instance, all hoizons of spacetime emit themal adiation. In paticula, it appeas and this is one of the main theses of this pape that if we conside any pat of any spacetime hoizon, then one can associate with that pat an entopy which is one quate of the aea of the pat. In this pape we give suppot to this thesis by means of a detailed analysis of the themodynamical popeties of Rindle hoizons. A novel featue in ou analysis is the use of the Regge calculus6, 7, 8] appoach to Einstein s geneal elativity. In shot, Regge calculus is an appoach to geneal elativity, whee spacetime is modelled by a piecewise flat, o simplicial, manifold and the geometial popeties of that manifold ae coded into its edge lengths. Using Regge calculus we show that in the semi-classical limit each pat of the Rindle hoizon of spacetime possesses an entopy which is one quate of its aea. Finally, at the end of this pape, we shall show how the analysis used in the study of Rindle hoizons may also be used fo the deivation of the Bekenstein-Hawking law fo the black hole entopy. Rindle hoizons ae such hoizons of spacetime which appea in the est fame of an acceleated obseve. In geneal, the wold line of a unifomly acceleated obseve in flat two-dimensional Minkowski spacetime has the equation (unless othewise stated we shall always have c = G = h = k B = 14] X 2 T 2 = 1 a2, (1 whee a is the pope acceleation of the obseve, and X and T, espectively, ae the minkowskian space and time coodinates. The wold line of the obseve may be witten in the paametized fom T(t = 1 sinh(at, (2 a X(t = 1 cosh(at. (3 a In this expession, t is the pope time of the obseve. The wold lines of the two obseves, being unifomly acceleated in opposite diections, have been dawn in Fig. 1. In that figue we may also see the Rindle hoizon (which, in the obseve s est fame is, in ou two-dimensional figue, epesented by a point of the acceleated obseves. Conside now two oppositely acceleated obseves. The spacelike hypesufaces whee the pope times t of the obseves ae t 1 and t 2 (t 1 < t 2 ae othogonal to the wold lines of the acceleated obseves. So fa we have just Electonic addess: jamo.makela@phys.jyu.fi Electonic addess: ai.peltola@phys.jyu.fi

2 2 T Rindle hoizons Rindle hoizon at time T = t = X 1/a 1/a 01 wold lines of obseves 01 t = t 2 t = t 1 t = t 2 t = t 1 FIG. 1: Rindle spacetime. The hypesufaces whee t = constant ae othogonal to the wold lines of the acceleated obseves. The cuvatue of these hypesufaces is concentated at the Rindle hoizon at time T = 0. ecalled the standad popeties of acceleated obseves in flat spacetime. At this point we tun to quantization. We evaluate the popagato K ( q ab (t 2,t 2 ;q ab (t 1,t 1. This popagato gives the popability amplitude that the metic tenso on the hypesuface t = t 2 is q ab (t 2 povided that the metic tenso on the hypesuface t = t 1 was q ab (t 1. Fomally, the popagato may be witten as a path integal: K ( q ab (t 2,t 2 ;q ab (t 1,t 1 = Dg µν ]exp ( is G g µν ], (4 whee the integation has been pefomed ove the fou-metics g µν between the hypesufaces t = t 1 and t = t 2 (shaded egion in Fig. 2. S G g µν ], in tun, is the classical gavitational action: S G g µν ] = 1 R gd 4 x +S M, (5 16π M whee R is the Riemannian scala and g is the deteminant of the fou-metic g µν. In the fist tem on the ight hand side of Eq. (5 the integation is pefomed ove the spacetime egion between the sufaces t = t 1 and t = t 2, wheeas the second tem is the bounday tem to the gavitational action. AtthepesentstateofeseachitisnotknownhowtoevaluateexplicitlytheighthandsideofEq. (4. Howeve,itis possible to appoximate the popagato by means of the so-called semi-classical appoximation. In this appoximation we may wite the popagato as K ( q ab (t 2,t 2 ;q ab (t 1,t 1 N qab (t 1,q ab (t 2 ] exp ( i S G g µν ], (6 whee N q ab (t 1,q ab (t 2 ] is some slowly-vaying functional of q ab (t 1 and q ab (t 2, and S G is the gavitational action when Einstein s field equations ae satisfied. Fo flat spacetime R = 0, and theefoe we ae left with the bounday

3 3 T t = t 2 t = t X t = t 1 t = t 1 FIG. 2: The hypesufaces t = t 1 and t = t 2 bound a cetain egion of Rindle spacetime (shaded egion in this figue. When calculating the popagato we integate ove all fou-metics g µν in this egion. tems only. It is possible to choose the bounday tem at asymptotic infinity such that it vanishes in flat spacetime, and theefoe all contibution to the bounday tems comes fom the hypesufaces t = t 1 and t = t 2. It is at this point whee Regge calculus entes the stage. In Regge calculus the gavitational action is witten as S G = 1 8π ( A j ǫ j + j k A k φ k. (7 In this expession, A j s ae the aeas of those two-simplices, o tiangles j, which do not lie on the bounday of spacetime, and ǫ j s ae the coesponding deficit angles. A k s, in tun, ae the aeas of those tiangles k which lie on the bounday of spacetime, φ k s being the coesponding deficit angles. If the tiangles k lie on a spacelike hypesuface of spacetime, then φ k may be undestood as the boost angle between the timelike nomals of the two tetaheda having the tiangle k in common. If spacetime is flat, we have fo evey j, and the gavitational action educes to S G = 1 8π ǫ j = 0 (8 A k φ k. (9 In othe wods, if we have a spacelike hypesuface embedded in flat spacetime such that its cuvatue is concentated along cetain flat two-spaces, we get the action up to the tem (8π 1 by just multiplying the aeas by the coesponding boost angles, and summing the poducts. This esult is paticulaly useful in ou pesent study of Rindle hoizons: Rindle hoizons ae flat two-spaces, and theefoe they may be constucted fom flat tiangles. Moeve, as one can see fom Fig. 1, the cuvatue on the hypesufaces t = constant is concentated along the Rindle hoizon, being zeo elsewhee. Even moe inteesting is the fact that the boost angles ae the same fo all tiangles on the Rindle hoizon. Theefoe the classical action S G takes, when spacetime is flat, the fom k S G = 1 8π A(φ 2 φ 1, (10

4 whee A is the total aea of the consideed pat of the Rindle hoizon, wheeas φ 1 and φ 2, espectively, ae the boost angles between the futue pointing tangent vectos of the wold lines of the oppositely acceleated obseves at times t 1 and t 2. Theefoe we may appoximate the popagato as K ( i ] q ab (t 2,t 2 ;q ab (t 1,t 1 Nqab (t 1,q ab (t 2 ]exp 8π A(φ 2 φ 1. (11 We ae now pepaed to ente the themodynamics of Rindle hoizons. As it is well known, themodynamics is just quantum mechanics in euclidean spacetime9]. Moe pecisely, if a system is peiodic in euclidean spacetime with peiod β such that afte the elapsed euclidean time β it etuns to the oiginal point x in configuation space, then the patition function of the system is Z(β = dxk(x, iβ;x,0. (12 In othe wods, we have eplaced the loentzian time t in the popagato by the tem iβ, whee β is the euclidean time. Themodynamically, the quantity β may be intepeted as the invese tempeatue of the system. We shall use this idea when we calculate the patition function, and theeby the entopy, of the Rindle hoizon. To begin with, conside an acceleated obseve in euclidean spacetime. We just eplace in Eqs. (2 and (3 T by it and t by iτ, whee T and τ ae euclidean time coodinates. We get: T = 1 sin(aτ, (13 a 4 X = 1 cos(aτ. (14 a In othe wods, the wold line of an acceleated obseve in loentzian spacetime is, in euclidean spacetime, a cicle. In Fig. 3 we have dawn the wold lines of two acceleated obseves in euclidean spacetime. The hypesufaces t = constant ae eplaced by the hypesufaces whee τ = constant. It is emakable that spacetime geomety is now peiodic with espect to the euclidean time τ: An obseve etuns to the same point in euclidean spacetime afte the elapsed euclidean time β = 2π a, (15 and theefoe the tempeatue expeienced by the acceleated obseve is exactly the Unuh tempeatue of the Rindle hoizon3]: T U = 1 β = a 2π. (16 In contast to spacetime with loentzian signatue, the hypesufaces τ = constant sweep ove the whole spacetime. Howeve, duing just one peiod they sweep the spacetime two times. Because of that we must divide the action by two when we calculate the patition function of the Rindle hoizon fom the point of view of a single obseve. We now poceed to calculate the patition function. To begin with, we conside the action in euclidean spacetime. In euclidean spacetime we must eplace the boost angles φ 1 and φ 2, espectively, by the quantities iθ 1 and iθ 2, whee θ 1 and θ 2 ae just the odinay euclidean angles between the nomals of the tetaheda meeting at thei common two-simplex on the Rindle hoizon. Hence, the euclidean popagato takes, in the semi-classical limit, the fom: ( K E qab (τ 2,τ 2 ;q ab (τ 1,τ 1 Nqab (τ 1,q ab (τ 2 ]exp 1 ] 8π A(θ 1 θ 2. (17 Duing one peiod the angle between the nomals of the tetaheda meeting at this common two-simplex deceases by 4π, and theefoe, taking into account that the action must be divided by two fo the easons explained befoe, the patition function is, in the semi-classical limit, Z ( 2π ] ( 2π ] D q ab N q ab,q ab (0 exp ( 1 a a 4 A. (18

5 5 T τ = τ 2 τ = τ X τ = τ 1 τ = τ 1 FIG. 3: In euclidean spacetime the wold line of a unifomly acceleated obseve is a cicle. The hypesufaces whee the euclidean pope time τ of the obseve is constant sweep ove the whole spacetime. ( Since q ab (0 = q 2π ( ab a, we integate ove a single vaiable 2π qab a, and when this vaiable is integated out, we get Z N exp ( 1 4 A, (19 whee N is a constant. In othe wods, we have obtained an exciting esult that, at least in this semi-classical limit, the patition function of the consideed pat of the Rindle hoizon has the negative of one quate of the aea of that pat in the exponential. To calculate the entopy of the Rindle hoizon we must be able to expess the patition function in tems of the euclidean peiod β. To this end, conside what an acceleated obseve actually obseves about the popeties of his Rindle hoizon. Such an obseve sees that, in his fame of efeence, all bodies tend to fall, with a unifom acceleation a, towads the Rindle hoizon. Accoding to the Pinciple of Equivalence the obseve has no means to decide whethe he is in a unifomly acceleating motion, o in a unifom gavitational field caused by a mass distibuted unifomly along a plane. Accoding to Gauss law fo gavitational fields the mass enclosed by the closed two-suface σ is given by a suface integal M = 1 g ds, 4π (20 σ whee g is the gavitational field. If the obseve is acceleated along the x-axis, he may conclude that he is in the gavitational field g = aî, (21 and theefoe, because the Rindle hoizon lies in the yz-plane, the mass contained by the pat of aeaa of the Rindle hoizon, is M = a A, (22 4π

6 which follows fom a consideation simila to the one pefomed in the standad textbooks of electomagnetism, when the chage density of a plane is calculated by means of Gauss law fo electic fields. In othe wods, the aea of the consideed pat of the hoizon may be witten in tems of its obseved mass M and invese tempeatue β: A = 2βM, (23 and theefoe the patition function Z may be witten, in the semi-classical limit, in tems of the aveage value M of the mass: Z = N exp ( 1 2 β M. (24 Howeve, the aveage value of M may calculated fom the patition function: This gives us a diffeential equation fo M : which, in tun, has the geneal solution M = lnz. (25 β β M β whee C is a constant. Hence, the patition function takes, in tems of β, the fom = M, (26 M = Cβ, (27 ( Z(β = N exp 1 2 Cβ2. (28 We now poceed to calculate the entopy of the Rindle hoizon. In geneal, the entopy of any system may be calculated fom the patition function: This gives us (we take N = 1: and it follows fom Eqs. (23 and (27 that ( S = β β lnz +lnz. (29 S = 1 2 Cβ2, (30 S = 1 A. (31 4 In othe wods, we have obtained a esult which states that, fom the point of view of an acceleated obseve, the entopy of any finite pat of the Rindle hoizon is one quate of the aea of that pat. As such ou esult is simila to the Bekenstein-Hawking law fo black hole entopy the only diffeence is that the aea of the event hoizon of the black hole has been eplaced by the aea of the consideed pat of the Rindle hoizon. Actually, ou esult may be used to show that any hoizon of spacetime has an entopy which is one quate of its aea. That is because, locally, any small enough pat of any hoizon may be consideed, in an appopiate coodinate system, as a pat of a Rindle hoizon. The entopy of the hoizon as a whole, in tun, is the sum of the entopies of its pats, and since the hoizon may be constucted fom tiny Rindle hoizons, each having an entopy equal to one quate of its aea, the entopy of the whole hoizon is one quate of its total aea. To see what all this means conside, as an example, the Schwazschild hoizon. The Schwazschild metic in Schwazschild coodinates t and is ( ds 2 = 1 2M dt 2 + d2 1 2M + 2 (dθ 2 +sin 2 θdφ 2, (32 6

7 whee M is the mass of the Schwazschild black hole. An obseve at est with espect to the coodinates, θ and φ obseves that the hole adiates themal adiation with a chaacteistic tempeatue2] 7 1 T H =: 8πM 1 2M, (33 whee we have taken into account the ed shift of the tempeatue. In othe wods, an obseve at est vey close to the hoizon = 2M may measue an infinite tempeatue fo the black hole adiation. Conside now the adiation pocess fom the point of view of an obseve in fee fall, vey close to the hoizon. Appopiate coodinates fo the study of the popeties of feely falling obseves ae the so-called Novikov coodinates7] (fo a detailed suvey of the Novikov coodinates, see Appendix. In tems of the Novikov coodinates (τ,r the Schwazschild line element takes the fom ds 2 = dτ 2 + R 2 +1 R 2 ( R 2dR (dθ 2 +sin 2 θdφ 2. (34 Fo an obseve in adial fee fall such that d dt = 0 when t = 0, R is constant and τ is the pope time of such an obseve. At the bifucation point in the Kuskal diagam of Kuskal spacetime R = τ = 0, and fo an obseve in adial fee fall though the bifucation two-suface R = 0. Close to the bifucation two-suface we may wite R as a Taylo expansion (see Appendix: R = 4MR +3MR M R τ , (35 and theefoe the spacetime metic becomes, at the bifucation two-suface, ds = dτ 2 +(4M 2 dr 2 +(2M 2 dω 2 (36 whee dω 2 is the line element on a unit two-sphee. If we escale the Novikov coodinate R such that we define a new coodinate we get R := 4MR, (37 ds 2 = dτ 2 +d R 2 +(2M 2 dω 2. (38 In othe wods, the Novikov coodinate system povides, at the bifucation point, a coodinate system which is locally flat, o locally inetial. It is instuctive to compae the expession (38 to the metic given by the Kuskal coodinates u and v. In geneal, the Schwazschild line element takes, in Kuskal coodinates, the fom and at the bifucation two-suface we have ( 32M ds 2 3 = e /2M ( dv 2 +du dω 2, (39 ds 2 = 16M2 ( dv 2 +du 2 +(2M 2 dω 2. (40 e Hence we obseve that vey close to the bifucation two-suface between the Kuskal coodinates (v,u and the coodinates (τ, R thee is the elationship τ = 4M e v, (41 R = 4M e u. (42 In othe wods, close to the bifucation two-suface the coodinates τ and R ae, up to the escaling facto 4M/ e, identical to the Kuskal coodinates v and u.

8 We ae now coming to the similaities between the Rindle and Schwazschild hoizons. As it is well known, the elationship between the Schwazschild and Kuskal coodinates is, when > 2M7]: ( 1/2 ( t v = 2M 1 e /4M sinh, (43 4M ( 1/2 ( t u = 2M 1 e /4M cosh. (44 4M To conside this tansfomation vey close to the bifucation two-suface, we define δ := 1 2M, (45 and the tansfomations of Eqs. (43 and (44 become, fo small δ ( θ τ = 4Mδsinh, (46 4Mδ whee we have defined a new time coodinate ( θ R = 4Mδcosh, (47 4Mδ θ := tδ, (48 which actually is the pope time of an obseve at est with espect to the Schwazschild coodinates. Compaing Eqs. (2 and (3 to Eqs. (46 and (47 we notice that obseves at est with espect to the Schwazschild coodinates ae, quite simply, obseves which ae acceleated with espect to the obseves in fee fall with a pope acceleation a = 1 4Mδ = 1 4M 1 2M. (49 In othe wods, the appeaance of the Schwazschild hoizon fom the point of view of an obseve at est with espect to the hole is simply due to the fact that such an obseve is acceleated with espect to a locally inetial obseve. In this sense thee is no diffeence between a Rindle hoizon and any sufficiently small pat of a Schwazschild hoizon. Both appea simply because the est fame of the obseve is non-inetial. Fom the point of view of an inetial obseve vey close to the hoizon, no hoizon, no any of its effects, such as Hawking adiation, do appea. Fom this point on, the themodynamical popeties of the Schwazschild hoizon may be obtained in exactly the same way as we obtained the themodynamical popeties of the Rindle hoizon. Fo instance, the tempeatue of the hoizon is T H = a 2π = 1, (50 8πM 1 2M which is Eq. (33. Moeove, any sufficiently small pat of the hoizon has an entopy which is one quate of its aea, and theefoe, a fotiioi, the entopy of the hole is one quate of its hoizon aea. A simila chain of easoning may be applied to any hoizon of spacetime. In this pape we have consideed the themodynamical popeties of spacetime hoizons in geneal. Ou consideations wee based on detailed investigations of Rindle hoizons. We agued, by using Regge calculus that, in the semi-classical limit, one may associate with any finite pat of a Rindle hoizon an entopy which is one quate of the aea of that pat. This is the entopy obseved by an acceleated obseve. Moeove, we showed that the esults oiginally obtained fo Rindle hoizons may be applied fo the deivation of the themodynamical popeties of the Schwazschild hoizon as well. This conclusion was based on the obsevation that an obseve at est with espect to the hoizon is acceleated with espect to an obseve in fee fall though the hoizon. In othe wods, any sufficiently small pat of a Schwazschild hoizon may be consideed as a pat of a Rindle hoizon. Since the entopy of the Rindle hoizon is one quate of its aea, so is the entopy of the Schwazschild hoizon as well. A simila chain of easoning may be applied to any hoizon, and theefoe it appeas that one may ague, in the semi-classical limit, that the entopy of any spacetime hoizon is, fom the point of view of an obseve at est with espect to that hoizon, one quate of its aea. Note: Duing the pepaation of this pape we became awae of an inteesting ecent pape witten by Padmanabhan10]. He also showed that the entopy of any hoizon is one quate of its aea. His methods, howeve, ae completely diffeent fom ous. 8

9 9 Acknowledgments We ae gateful to Makku Lehto and Joma Louko fo thei constuctive citicism duing the pepaation of this pape. * APPENDIX A: NOVIKOV COORDINATES CLOSE TO THE BIFURCATION POINT 1. Novikov Coodinates When one is consideing obseves in fee fall towads the Schwazschild black hole, it is often useful to apply Novikov coodinates. In this coodinate system a feely-falling obseve at est with espect to the Schwazschild coodinates, fo the Schwazschild time t = 0, emains at est duing his whole jouney. At the time t = 0 the obseve is eleased in adial fee fall and the Schwazschild adial coodinate of the obseve can be witten at the time t = 0 as7] = max = 2M(1+R 2, whee R is the adial coodinate in Novikov coodinates. The time coodinate in Novikov coodinates is the pope time τ of this feely-falling obseve. Thus, in the Novikov coodinate system spacetime points ae identified by means of the adial coodinate R and the pope time coodinate τ. The equation of motion fo an obseve in fee fall in Schwazschild spacetime is 1 = C2 1 2M ṙ 2 1 2M whee C is a constant and the dot stands fo the pope time deivative. Hence we get 2M ṙ = ± 1+C 2. (A1, (A2 It is easy to see that the obseve is at est with espect to the Schwazschild coodinate when = max = 2M C 2 1. Fom equations (A1 and (A3 we may solve ṙ in tems of R and : ] 1/2 2M 1 ṙ = ± R 2. (A5 +1 Futhemoe, we can expess the pope time τ as an integal ] 1/2 2M 1 τ = ± R 2 d, (A6 +1 2M(R 2 +1 which gives the elationship between the Schwazschild coodinate and the Novikov coodinates R and τ: ] 1/2 ± τ 2M = (1+R 2 2M 2 (R 2 +1 ( 1/2 ] +(R /2 accos 2M(R 2. (A7 +1 The Schwazschild line element can also be witten in tems of the Novikov coodinates R and τ, and it takes the fom ( 2 ds 2 = dτ 2 + R 2 +1 R 2 R dr (dθ 2 +sin 2 θdφ 2. (A8 (A3 (A4

10 Hee should be thought as a function (τ,r given implicitly by Eq. (A7. The point τ = R = 0 is the bifucation point u = v = 0 of Kuskal spacetime. At this point = 2M. It is possible to obtain the Taylo expansion fo ( R and theeby wite the line element (A8 close to the bifucation point in tems of R and τ. 10 Let us wite Eq. (A7 in the fom 2. Taylo Expansion fo R ± τ 2M = f( R,(R,τ, whee f ( R,(R,τ is the function at the ight hand side of Eq. (A7. When one diffeentiates both sides of Eq. (A9 with espect to R, one gets the esult It is easy to show that f R = 2R 2M 2 0 = d dr f( R,(R,τ = f R + f R. ] 1/2 + R 2M (R 2 +1 R 2 + (R M 2 (R 2 +1 ( +3R (R /2 accos 2M(R M 2 (R 2 +1 ] 1/2 1/2 ] ] 1/2 (A9 (A10 (A11 and f = R M 2 (R 2 +1 R M ] 1/2 ] 1/2 2M 2 (R 2. (A12 +1 Thus, accoding to Eq. (A10, we get R = f/ R f/ = 6MR R R 2 +1 ] 1/2 1/2 ] +12M 2 R (R 2 +1 accos( 1 2M 2M(R 2. (A13 +1 Instead of obtaining the Taylo expansion diectly fom Eq. (A13, one may define w := R 2, (A14 g ( w,(w,τ := 1 R R and ty to calculate the Taylo expansion g(w, = g + g w + g τ g w=0 w τ 2! w 2 w 2 w=0 w=0 w=0 + 2 g wτ g τ w 2! τ 2 τ w=0 w=0 (A15 (A16

11 with simple expessions. If one needs at most thid-ode tems of the Taylo expansion fo R, one has to calculate only the thee fist tems and the last tem in Eq. (A16. Putting w = 0 and = 2M one finds that g = 4M. (A17 w=0 When obtaining the next tem fo Eq. (A16 one has to use the chain ule: g(w,τ w = g(w, w + g(w, It should be noted that on the left hand side of Eq. (A18 g is consideed as a function of w and τ, wheeas on the ight hand side g is consideed as a function of w and. It is staightfowad to show that g(w, w = (w M w+1 ( + 3M w+1 2M 1 w. 1/2 accos( 1/2 ] 2M(w+1 11 (A18 (A19 and g(w, = 1 w+1 3M 3M(w+1 2 ( w +1 2M 1 1/2 accos( 1/2 ] 2M(w+1. (A20 When solving w one has to use a simila method that was used in solving R. Let us wite Eq. (A7 in the fom ± τ 2M = h( w,(w,τ. (A21 When one diffeentiates both sides of this equation with espect to w, one gets It can be showed that h w = 2M 2 (w M 2 (w (w+11/2 accos 0 = h w + h w. ] 1/2 + 4M 2M 2 2M 2 ] 1/2 (w +1 ( 1/2 ] 2M(w+1 (w+1 ] 1/2 (A22, (A23 and f = w+1 2 2M 2 (w +1 w+1 4M ] 1/2 ] 1/2 2M 2, (A24 (w+1 which, togethe with Eq. (A22, lead to w = h/ w h/ = 3M +6M 2 ( w+1 2M 1 2(w+1 1/2 accos( 2M(w+1 1/2 ]. (A25

12 Now, accoding to equations (A18, (A19, (A20 and (A25 we get g(w,τ w Again, putting w = 0 and = 2M one finds that 3 = 2(w M 2(w+1 9M2 ( 1/2 ] 18M3 (w +1 2 accos 2 2M(w+1 ( 1/2 1/2 ] 6M2 w+1 accos( w+1 2M 1 2M(w+1 ( 1/2 1/2 ] 36M3 w+1 accos( 2M 1. (A26 2M(w+1 g = 3M. w w=0 To detemine the next tem in Eq. (A16 we must solve g τ. The chain ule, togethe with equations (A5 and (A20, gives ( 1/2 g(w,τ = g(w, τ τ = g 2M 1 w+1 ]( 1/2 2M = (w M 2 w+1 3/2 (w +1 1/2 2M 1 ( 6M2 (w +1 1/2 2 accos 2M(w+1 1/2 ]. (A28 Thus, we get g = 0. τ w=0 12 (A27 (A29 Let us now define g 1 := g(w,τ τ. Again, using the chain ule and Eq. (A5 we get ( 1/2 2 g(w,τ τ 2 = g 1 τ = g 1 τ = g 1 2M 1. (A30 w+1 One can show that g 1 which, togethe with Eq. (A30, leads to = 2 g(w,τ τ 2 = ]( 1/2 1 3M(w+11/2 w (w +1 1/2 3 2M 1 ( 1/2 6M 2 w (w+1 1/2 2M M2 (w+1 1/2 3 M 2 (w+1 + 6M M3 2 (w M3 3 ( 1/2 ] accos, (A31 2M(w+1 ( w+1 2M 1 ( w+1 2M 1 1/2 accos( 2M(w+1 1/2 ]. (A32

13 13 Putting again w = 0 and = 2M gives 2 g τ 2 = 1 M. w=0 (A33 Finally, using equations (A17, (A27, (A29 and (A33 we may wite down the Taylo expansion fo g w. Futhemoe, by using definitions (A14 and (A15 we may obtain the Taylo expansion fo R. We get: which is Eq. (35. R = 4MR +3MR M R τ , (A34 1] J. D. Bekenstein, Phys. Rev. D7, 2333 (1973 2] S. W. Hawking, Commun. Math. Phys. 43, 199 (1975 3] W. G. Unuh, Phys. Rev. D14, 870 (1976 4] N. D. Biell and P. C. W. Davies: Quantum Fields in Cuved Space (Cambidge, ] R. M. Wald: Quantum Field Theoy in Cuved Spacetime and Black Hole Themodynamics (Chicago Univesity Pess, Chicago, ] T. Regge, Nuovo Cimento 19, 558 (1961 7] C. W. Misne, K. Thone and J. A. Wheele: Gavitation (Feeman, San Fancisco, ] T. Regge and R. M. Williams, J. Math. Phys. 41, 3964 (2000 9] Ou deivation of the expession fo the entopy of the Rindle hoizon beas same esemblance with Hawking s deivation of the entopy law fo the Schwazschild black hole in Geneal Relativity An Einstein Centenay Suvey, edited by S. W. Hawking and W. Isael (Cambidge Univesity Pess, New Yok, ] T. Padmanabhan, g-qc/