IL NUOVO CIMENTOVOL. 112 B, N. 12 Dicembre 1997

Stability of black holes in two-dimensional (*)

M. A. AHMED Physics Department, Kuwait University - Kuwait

(ricevuto il 14 Aprile 1997; approvato il 3 Giugno 1997)

Summary. — We discuss the stability of black-hole solutions in a model of two-dimensional dilaton gravity. We show that the is stable under small nonstatic perturbations. PACS 04.70.Dy – Quantum aspects of black holes, evaporation, thermodynamics. PACS 04.60.Kz – Lower dimensional models; minisuperspace models.

1. – Introduction

In recent years there has been a lot of interest in the string-inspired gravity theories in two space-time dimensions [1, 2]. In particular, in ref. [3] Callan et al. (CGHS) included matter fields and discussed the phenomenon of . A solution in closed form for the quantum corrected CGHS equations had not been found. This led Russo et al. [4] (RST) to present a modification of the CGHS model by adding a term of the form fR to the action, with f being the dilaton field and R the scalar curvature. This form appears in the RST model with a coefficient equal to N/12, where N is the number of matter fields. By performing certain field redefinitions, RST were able to solve the field equations following from the model exactly. In ref. [5] we considered a generalization of the dilaton gravity model by allowing the fR term to enter with an arbitrary coefficient and we were able to solve the resulting field equations exactly. Once one has an exact solution, to investigate its stability becomes an interesting issue. For the model of ref. [1] and [2] this was considered by a number of authors [6-9]. In general to determine whether a black-hole solution is stable or not, a small linear perturbation of the classical equations of motion in the black-hole background is considered [10]. If the perturbation, which is regular everywhere in space to start with, grows with time, then the solution is declared unstable. In ref. [7] it was claimed that a mode growing with time exists in the gravity sector. Later it was conjectured that the mode growing with time should be a gauge artifact [8]. The analysis of ref. [7] was carried out in the Schwarzschild-like gauge [1]. Subsequently, Kim et al. [9], working in the conformal gauge, showed that the mode growing with time can be eliminated by variation of the black-hole position.

(*) The author of this paper has agreed to not receive the proofs for correction.

G Società Italiana di Fisica 1675 1676 M. A. AHMED

In this note we investigate the question of stability for the exact solution of the generalized model considered previously [5]. Working in the Schwarzschild-like gauge we are able to solve the differential equation for the perturbation exactly instead of relying upon asymptotic analysis. In this way we are able to show that perturbations that grow with time are not physically acceptable. In sect. 2 we present a brief review of the dilaton gravity model. Section 3 is devoted to demonstrating the stability of the solution.

2. – The dilaton gravity model

The classical action for our two-dimensional dilaton gravity model is

1 k (1) S4 d2 x k2g e 22f [R14(˜f)2 1c]2 fR , 2p m 2 n where f is the dilaton field. The constant k that appears before the Jackiw-Teitelboim term [11] is taken to be arbitrary. From eq. (1) there follow the dilaton equation of motion:

k (2) 11 e 2f R24(˜f)2 14˜2 f1c40, g 4 h and the metric equations of motion

k k 22f 1 1 2 2 4 (3) e (Rmn 2˜m ˜n f) gmn ˜ f 0. g 4 h 2 The exact solution of the model in the gauge in which the dilaton field is proportional to one of the co-ordinates [1]

1 (4) f4 Qx 2 was found to be [5]

4 2 21 (5) gmn diag [ g(x), g (x) ] , with

ae Qx (6) g412 , 11 (kO4) eQx where a is a constant. This solution describes a black hole with an event horizon at

42 1 2 k (7) x0 ln a . Q g 4 h Moreover, for kE0 the solution has a curvature singularity at

84 1 4 (8) x0 ln . Q NkN STABILITY OF BLACK HOLES IN TWO-DIMENSIONAL DILATON GRAVITY 1677

The mass of the black hole is

Q k (9) M42 a2 . 2 g 4 h Requiring M to be positive we see that a2kO4 must be positive for QE0 and vice versa. 4 O Using the fact that Rab (1 2) gab R identically in two dimensions in eq. (3), taking the trace of the resulting equation and substituting for R from eq. (2) we obtain an equation involving the dilaton field only: k (10) 4(˜f)2 22 11 e 2f ˜2 f2c40. g 4 h 2 D E D Taking, for definiteness, a k/4 0 and Q 0 we obtain for x x0 the Kruskal coordinates: Q(a2kO4)(t2x) 1O2 . – k 2a u42 12 a2 eQx e , ` k g 4 h l (11) Q(a2kO4)(t1x) / 1O2 2 – k 2a ` v4 12 a2 eQx e . ´ k g 4 h l The metric in terms of these coordinates reads Q(a2kO4) x a 2a 2 e – – (12) ds 2 42 du dv , yQ(a2kO4) z 11(kO4) eQx 4 in which the coordinate does not appear singularly at x x0 any longer. Further analysis of the model described by eq. (1) can be found in ref. [5].

3. – Stability of the black hole

In order to discuss the stability of the black-hole solution one introduces small nonstatic perturbations hmn (x, t) and df(x, t) about the background solutions gmn and f of eqs. (4)-(6): 4 – 1 (13) gmn gmn hmn , – (14) f4f1df . We substitute eqs. (13) and (14) in eqs. (3) and (10) retaining only terms of first order in perturbations. For this purpose we need the following relations: 1 – – – – – – 42 –ar 1 2 –1 (15) d(˜m ˜n f) g (˜n hrm ˜m hrn ˜r hmn ) ˜a f ˜m ˜n df , 2

– 1 – – – – – 2 42–ma –nb –2 –mn –ab 1 2 –1 2 (16) d(˜ f) g g hab ˜m ˜n f g g (˜n hrm ˜m hrn ˜r hmn ) ˜a f ˜ df , 2

1 – – – – – – – – 42 –lr 2 2 1 (17) dRmn g (˜n ˜m hlr ˜l ˜n hrm ˜l ˜m hrn ˜l ˜r hmn ). 2 1678 M. A. AHMED – – In eqs. (15)-(17) ˜m denotes the covariant derivative with respect to the metric g. The linearized field equations for the perturbations that follow, respectively, from eqs. (3) and (10) are

– – 1 – k – – – – – – – – 2 22f 2 22f 1 –lr 2 2 1 2 (18) 2df e Rmn e g (˜n ˜m hlr ˜l ˜n hrm ˜l ˜m hrn ˜l ˜r hmn ) 2 g 4 h

– – – – k – – – – 2 22f –2 22f 1 –ar 1 2 –1 4dfe ˜m ˜n f e g (˜n hrm ˜m hrn ˜r hmn )˜a f g 4 h

– k – – k – k – – 1 22f 1 2 2 –1 – –la –tb –2 2 e ˜m ˜n df hmn ˜ f gmn g g hab ˜l ˜t f g 4 h 2 2

k – k – – – – 2 – 2 1 – –lt –ar 1 2 –4 gmn ˜ df gmn g g (˜t hrl ˜l hrt ˜r htl ) ˜a f 0, 2 4

– – – – – – k – 2 –am –bn – –1 –ab –2 2f 2 –2 1 2f (19) 4g g hmn ˜a f˜b f 8g ˜a df˜b f kdfe ˜ f 2 1 e Q g 4 h

– – 1 – – – – – 2–ma –nb –2 –mn –ar 1 2 –1 2 4 Q g g hab ˜m ˜n f g g (˜n hrm ˜m hrn ˜r hmn ) ˜a f ˜ df 0. k 2 l

In the following analysis we shall take QE0, aD0 and a2kO4 D0 [5]. Moreover we also take [6, 7]

4 – (20) hmn h(x, t) gmn .

Using eq. (20) in eq. (18) we obtain, from the sum of the xx and tt components of the resulting equation, the following equation:

k 1 Qx 2 2 2 1 2 1 2 2 1 2 2 1 2 4 (21) e [ Qg ¯x h 2(¯t g ¯x ) df] g Q¯x h 2¯x df 0, 4 g 2 h while the xt component of the equation yields

Q 2 1 2 21 8 4 (22) ¯t h (2¯x g g ) ¯t h 0. 2

In eqs. (21) and (22) we dropped the bar over g for ease of writing, with g of course being given by eq. (6), and the prime denotes differentiation with respect to x. On the other hand eq. (19) gives rise to the following equation:

k kQ 2 2 1 8 1 Qx 2 Qx 8 1 2 (23) Q gh Qg 1 e h e g df 4Qg¯x df g 4 h 2

k 2 1 Qx 2 2 21 2 1 8 4 2 1 e (g¯x df g d t df g ¯x df) 0. g 4 h STABILITY OF BLACK HOLES IN TWO-DIMENSIONAL DILATON GRAVITY 1679

Integrating eq. (22) we obtain

Q 2 1 2 21 8 4 (24) h (2¯x g g ) df F(x), 2 where F(x) is an arbitrary function of x only. Below we shall at first set F(x) 40 and return to the more general case of F(x) c0 later on. Then using eq. (24) to eliminate h from eq. (23) we obtain an equation involving df only:

Q((kO4) eQx 21) 2 2 2 8 2 2 1 82 1 8 4 (25) g ¯x df gg ¯x df ¯t df g gg df 0. y 11 (kO4) eQx z

The solution of eq. (25) is best discussed in terms of the variables (x *, t), where x * is defined by

a k (26) x *4x2 ln 12 a2 e Qx , Q(a2kO4) k g 4 h l D KQ KQ for x x0 . Then x corresponds to x * and the event horizon x0 is located at x *42Q. Equation (25) then becomes

2 2 8 2 2 1 4 (27) (¯x * 2g ¯x * ¯t V) df 0, where V is given by

Q((kO4) eQx 21) (28) V4g 82 1 gg 8 . 11 (kO4) eQx

We seek solutions of eq. (27) in the form

(29) df4e 2ikt n , and obtain

d2 d (30) 22g 8 1k 2 1V n40. g dx *2 dx * h

We can transform eq. (30) to a form in which the first derivative no longer appears. Let us define (31) b(x *)f22g8(x(x*)) , i.e. b(x *) is the function obtained from the coefficient of the first-derivative term in eq. (30) by expressing x in terms of x*. We then consider the transformation

2 O  (32) n4ve 1 2 b(x *) dx* , and deduce the following equation for the function v:

d2 v (33) 1k 2 v40. dx *2 1680 M. A. AHMED

Note that we have from eqs. (31) and (32) that (34) n4gv , up to an arbitrary multiplicative constant. For real frequencies the solutions of eq. (33) are

6ikx * (35) v4A6 e .

These solutions correspond to outgoing and incoming waves. Next we consider solutions with purely imaginary k, which can give rise to unstable perturbations, i.e. perturbations that grow exponentially with time. We set k4ia, where a is real and positive. Then the time dependence of the perturbation df becomes exp [at], and the solutions of eq. (33) are

Zax * (36) v4A6 e .

We require that the perturbation falls off to zero for large values of x and this leads us to select the solution

2ax * (37) v4A1 e .

Correspondingly, we have

2a(x *2t) (38) df4A1 ge .

Consequently, from eq. (24) we obtain

2A1 (39) h42 (2a1g8) e2a(x*2t) . Q

Expressed in terms of the regular Kruskal coordinates this reads

2A1 – O 2 O (40) h42 (2a1g8)(2u)2aa Q(a k 4) . Q

In deciding the stability of a black hole, one starts with a perturbation that is regular everywhere in space at t40 and then finds out whether it grows with time. It is clear that at t40, by choosing u small, h can be made arbitrarily large, i.e. the perturbation diverges as uK0, whereas the background metric remains finite. This contradicts the assumption that the perturbation is small in comparison with the background. Hence perturbations with k4ia, that grow exponentially with time, are physically unacceptable and thus ruled out. We now go back and analyse the case in which F(x) c0 in eq. (24). Equation (27) is then replaced by

Qg 2 2 8 2 1 4 (41) (¯x * 2g ¯x * ¯t 2 V) df F(x). 11 (kO4) eQx

We next carry out the analogue to the transformation of eq. (32) by writing

2 O  (42) df(x *, t)4v(x*, t) e 1 2 b(x*) dx*4gv(x *, t), STABILITY OF BLACK HOLES IN TWO-DIMENSIONAL DILATON GRAVITY 1681 and eq. (41) simplifies to

2 2 2 4 (43) (¯x * ¯t ) v U , where U stands for the r.h.s. of eq. (41). Next we substitute for h from eq. (24) into eq. (21) and employ eq. (41) in the resulting equation, thereby arriving at

k k Qg Qx 2 8 1 2 2 1 Qx 8 1 4 (44) e ( g ¯x * V) df g 1 e F (x) F(x) 0. 8 g 8 h 11 (kO4) eQx

For bounded df at spatial infinity one can use this equation to compute the asymptotic behaviour of F. We find for large x that

k 2((a2kO4)O(a2kO8)) k 2kO(8a2k) (45) FAe Qx 12 a2 e Qx 11 eQx . k g 4 h h k 8 l

We now solve eq. (43) using Laplace transform methods. We write

Q – 2 (46) v(x *, s)4e st v(x *, t)dt, 0 where we assume that the integral exists for some large enough s. We then find that

1 2 – 2 2 – 4 2 2 (47) ¯x * v(x *, s) s v(x*, s) U ¯t v(x*, 0) sv(x *, 0). s – A particular solution vp of eq. (47) can be obtained using the method of variation of parameters. We find that

x * x * e 2sj e sj – 4 sx *  2 2sx *  (48) vp (x *, s) e r(j, s)dj e r(j, s)dj, 2s 2s where

4 1 2 2 (49) r U ¯t v(j, 0) sv(j, 0) . s

The function vp (x *, t) can be obtained by computing the inverse Laplace transform and we readily derive that

x * 4  2 (50) vp (x * j) U dj .

Note that the r.h.s. of eq. (50) does not involve the values of the functions v and ¯t v at 4 t 0. Given the asymptotic behaviour of F we observe that vp satisfies our requirement of vanishing as xKQ. In any case the solution in eq. (50) is time-independent and thus does not play a role in deciding the issue of stability. Stability is then completely decided by the solution of the homogeneous equation, eq. (27), which corresponds to the case F40. It is thus settled in the manner we described before. 1682 M. A. AHMED

R E F E R E N C E S

[1] MANDAL G., SENGUPTA A. M. and WADIA S. R., Mod. Phys. Lett. A, 6 (1991) 1685. [2] WITTEN E., Phys. Rev. D, 44 (1991) 314. [3] CALLAN C. G., GIDDINGS S. B., HARVEY J. A. and STROMINGER A., Phys. Rev. D, 45 (1992) R1005. [4] RUSSO J. G., SUSSKIND L. and THORLACIUS L., Phys. Rev. D, 46 (1992) 3444; 47 (1993) 533. [5] AHMED M. A., Phys. Rev. D, 53 (1996) 4403. [6] AHN C. J., KWON O. J., PARK Y. J., KIM K. Y. and KIM Y. D., Phys. Rev. D, 47 (1993) 1699. [7] KIM J. Y., LEE H. W. and MYUNG Y. S., Phys. Lett. B, 328 (1994) 291. [8] MYUNG Y. S., Phys. Lett. B, 334 (1994) 29. [9] KIM W. T., LEE J. and PARK Y. J., Phys. Lett. B, 347 (1995) 217. [10] REGGE T. and WHEELER J. A., Phys. Rev., 108 (1957) 1403; VISHVESHWARA C. V., Phys. Rev. D, 1 (1970) 2870; ZERILLI F. J., Phys. Rev. Lett., 24 (1970) 737. [11] JACKIW R., in Quantum Theory of Gravity, edited by S. CHRISTENSEN (Adam Hilger, Bristol) 1984, p. 403; TEITELBOIM C., ibidem, p. 327.