Time-Dependent Scalar Fields in Modified Gravities in a Stationary Spacetime

Most no-hair theorems involve the assumption that the scalar field is independent of time. Recently in [Phys. Rev. D90 (2014) 041501(R)] the existence of time-dependent scalar hair outside a stationary black hole in general relativity was ruled out. We generalize this work to modified gravities and non-minimally coupled scalar field with an additional assumption that the spacetime is axisymmetric. It is shown that in higher-order gravity such as metric $f(R)$ gravity the time-dependent scalar hair doesn't exist. While in Palatini $f(R)$ gravity and non-minimally coupled case the time-dependent scalar hair may exist.


I. INTRODUCTION
It is well known that black holes have no hair except the parameters of mass, electric charge, and angular momentum. More precisely, the no-hair theorem claims that all black hole solutions of the Einstein-Maxwell equations of gravitation and electromagnetism in general relativity can be completely characterized by only the three parameters. Since the long-range field in the standard model of particle physics is electromagnetism, the matter field considered in the original no-hair theorem is electromagnetic field only. Nevertheless, it is still worth thinking about what the result is if we take other matter fields like non-Ablelian gauge fields and scalar fields into account.
The issue of the scalar-vacuum was first considered in 1970 in Ref. [1]. The canonical scalar hair was ruled out for scalar fields with various kinds of potential [2][3][4]. Recently, this proof was extended to non-canonical scalar fields [5] and Galileons [6]. Besides, black holes in Brans-Dicke and scalar-tensor theories of gravity were studied in Refs. [7,8], which showed that the isolated stationary black holes in scalar-tensor theories of gravity are no different than in general relativity. In another word, non-minimally coupled scalar hair is also ruled out for stationary and conformally flat black holes. However, there is still the case that scalar hair does exists. Coexistence of black holes and a long-range scalar field in cosmology was presented in Ref. [9]. Other scalar hair cases can be found in Refs. [12][13][14][15][16]. These results are based on a same assumption: the scalar field is timeindependent. In Ref. [17], the authors considered Einstein gravity minimally coupled to a dilaton scalar field and obtained an exact time-dependent spherically symmetric solution, which describes gravitational collapse to a static scalar-hairy black hole. In Ref. [18] it was shown that the stationary spacetime does not ensure that the scalar field is time-independent and time-dependent real non-canonical scalar hair was ruled out in Einstein grav-ity. While for the complex scalar field these arguments do not apply. Indeed Kerr black holes were found to be having time-dependent massive complex scalar hair [10,11].
In this paper, we would like to generalize the work of Ref.
[18] to some modified gravities. Since the proof only needs a small subset of the Einstein equations [18], this generalization is turned out to be possible for some cases. Among numerous modified gravities, f (R) gravity, which is motivated by high-energy physics, cosmology and astrophysics, has received increased attention. It is interesting to consider the generalization of Ref.
[18] to f (R) gravity. For metric f (R) gravity the scalar curvature R in the action is constructed from the metric only. And for Palatini f (R) gravity the scalar curvature R = g µν R µν where the Ricci curvature R µν is constructed from the independent connection. Besides, since the time-independent non-minimally coupled scalar hair is ruled out [7,8], we also investigate the case that the scalar field is time-dependent and we will find nontrivial results.
This paper is organized as follows. In Sec. II we first investigate the time-dependent scalar field in metric f (R) gravity, then generalized it to other higher-order gravity and Eddington Inspired Born-Infeld (EiBI) gravity [19]. In Sec. III time-dependent scalar field in Palatini f (R) gravity is investigated. In Sec. IV we investigate the time-independent non-minimally coupled scalar. Finally the conclusion is given in Sec. V.
The action of f (R) gravity is where ϕ denotes the matter field. The variation of the action (1) with respect to the metric g µν leads to the equation of motion (EoM) in f (R) gravity: where f R ≡ ∂f (R) ∂R , = ∇ µ ∇ µ , and the energymomentum tensor T µν is given by In general relativity, if the null energy condition holds, the rigidity theorem ensures that stationary spacetime must be axisymmetric [20,21]. In f (R) gravity, the null energy condition does not lead to R µν l µ l ν ≥ 0 for all timelike vector l µ . Therefore, the null energy condition of the matter fields does not lead to the conclusion that stationary spacetime must be axisymmetric. We have to assume that the spacetime is axisymmetric and we choose coordinates (t, r, θ, φ) so that the metric takes the form [22] One can easily verify that the following components of the Ricci tensor and Christoffel symbol vanish, The action of the K-essence is [23][24][25][26] where the kinetic term is X = − 1 2 ∇ µ ϕ∇ µ ϕ. When P = X − V (ϕ), Eq. (7) reduces to the action of a canonical scalar field. Varying the action (7) with respect to the scalar field ϕ we obtain the EoM of the non-canonical scalar field, The energy-momentum of the scalar field can be obtained by varying the action (7) with respect to the metric: the tr and tθ components of Eq.
(2) imply that Note that P X = 0, as otherwise the action (7) would depend on ϕ only and the EoM of the scalar field would be an algebraic equation. Moreover, the scalar field is time-dependent, i.e. ∂ t ϕ = 0. Thus, Eqs. (10) and (11) yield or, equivalently, On the other hand, considering the rr component of Eq.
(2) and noting that the metric is independent of time, we have Thus Similarly one can deduce that ∂ φ (∂ φ ϕ∂ φ ϕ) = 0. So it is now clear that the scalar field ϕ depends at most linearly upon t and φ. Moreover, since ϕ should depend periodically upon φ, it is incompatible if ϕ depends linearly upon φ. Hence, we finally deduce that the only possible configuration of the scalar field is where a and b are constants. So far we have proved that in f (R) gravity, the time-dependent non-canonical scalar field in a stationary spacetime is only a linear function of t. This conclusion is the same as that of Ref.
[18]. Following the procedure of Ref.
[18], for asymptotically flat and (anti-)de Sitter stationary black holes, there is no time-dependent scalar hair. Here we give a brief demonstration.

A. Boundary conditions
Let's first consider the asymptotic flat condition, i.e. g µν → η µν as the radial coordinate r → ∞, for which X → a 2 /2, and the tt and rr components of the energymomentum tensor tend to The EoMs demand T tt = 0 and T rr = 0, thus a = 0, which leads to a constant scalar field. For the case of an asymptotically anti-de Sitter spacetime, g tt → 0 as r → ∞. In the static spherically symmetric coordinates, the anti-de Sitter metric reads The tt and rr components of the energy-momentum tensor at infinity tend to T rr → 0.
It is clear that T tt = 0 and T rr = 0 yield P (0) = 0 and a = 0. So there is no time-dependent scalar hair. For the case of an asymptotically de Sitter spacetime, in the static coordinates the metric is the same as Eq. (19). As Λ > 0, there is an event horizon at r = 3/Λ. Thus, g rr (r → 3/Λ) → ∞ leads to T rr (r → 3/Λ) → ∞, which is incompatible with the geometry. Hence there is no time-dependent scalar hair.
The derivation of the time-dependent scalar field in f (R) gravity can be generalized to a large class of alternative theories of gravity under the metric form (4). As an example, consider a higher-order gravity with the action The field equations read Since the metric is stationary and axisymmetric, the tr and tθ components of Eq. (24) vanish and we still have Eqs. (10) and (11). The rest derivation is the same as that in f (R) gravity. It is obvious that these arguments can apply to other alternative gravities like EiBI gravity theory.

B. Double scalar fields
We consider the case that the matter fields are consisted of two coupled non-canonical scalar fields ϕ 1 and ϕ 2 , of which the most generalized action is This action contains the case of a complex scalar field as a special case. The energy-momentum tensor is Therefore T 0i = 0 does not necessarily lead to ∂ 0 ϕ 1 ∂ i ϕ 1 = 0 or ∂ 0 ϕ 2 ∂ i ϕ 2 = 0, and the argument given above does not work for the double scalar field case any more.

III. TIME-DEPENDENT SCALAR FIELD IN PALATINI f (R) GRAVITY
Now we turn to the time-dependent scalar field in Palatini f (R) gravity. The action of Palatini f (R) gravity is [27][28][29] where the Ricci tensor R µν is constructed with the independent connection Γ λ µν and the corresponding Ricci scalar is R = g µν R µν . Here we still assume that the spacetime is stationary and axisymmetric. Then the metric has the same form of (4) and R is independent on t and φ.
Varying the action (27) independently with respect to the metric and connection, one can obtain the EoMs of Palatini f (R) gravity, where ∇ λ is defined with the independent connection Γ λ µν . Let us define a conformal metric q µν , Then, Eq. (29) implies that the independent connection Γ λ µν is the Levi-Civita connection of the conformal metric q µν . Under conformal transformations, the Ricci tensor R µν transforms as where R µν is the Ricci tensor constructed by the spacetime metric g µν . Contraction with g µν yields With Eqs. (31) and (32), Eq. (28) is reduced to from which we can see that we still have Eqs. (10)- (11) and Eqs. (14)- (15) for Palatini f (R) gravity. Thus, the only possible configuration of the scalar field is (16). Now we consider whether the configuration of the scalar field can be compatible to the boundary conditions. First we consider the asymptotic flat boundary condition. Note that the asymptotic flat boundary condition implies that the metric g µν approaches the Minkowski metric η µν , while q µν can be conformally flat. Thus Eqs. (17) and (18) no longer hold. On the other hand, ∂ t P = 0 and ∂ t ϕ = 0 yield ∂ ϕ P = 0, and P X = P X (a 2 /2) is a constant. Thus ∇ µ P X = 0. It is easy to verify ϕ = 0. Therefore, the configuration of the scalar field of Eq. (16) is compatible with Eq. (8), the EoM of the scalar field. The asymptotic flat boundary condition no longer yields a = 0. Similar argument can be made in the asymptotic AdS/dS cases. Hence for all the three kinds of boundary conditions the timedependent scalar hair may exist in Palatini f (R) gravity.
We can also investigate the time-dependent scalar field ϕ in scalar-tensor gravity with the action where the action of the scalar field ϕ is still given by Eq. (7). Here we also assume that g µν is in the form of Eq. (4) and ψ = ψ(r, θ). This action is equivalent to the action (1) of metric f (R) gravity if U (ψ) = ψ and h(ψ) = 0 [28][29][30][31], and equivalent to the action (27) of Palatini f (R) gravity if U (ψ) = ψ and h(ψ) = − 3 2ψ [28,29,31,32]. This case will be the same with that of time-dependent scalar field in Palatini f (R) gravity: we can educe the conclusion that the scalar field ϕ only depend linearly on t, but the boundary conditions do not exclude the scalar hair, thus the scalar hair may exist.

IV. NON-MINIMALLY COUPLED SCALAR FIELD
We now give the argument for a time-dependent nonminimally coupled scalar field in a stationary spacetime. It should be note that this is different from the case of the time-dependent scalar field in scalar-tensor. The action for the non-minimally coupled scalar field is By varying with respect to g µν and ϕ, one obtains the field equations Here we still assume that the spacetime is stationary and axisymmetric. Thus we have the metric (4) and Eqs. (5)- (6). The tr and tθ components of Eq. (2) imply that Now it is clear that ∂ t ϕ = 0 no longer educes ∂ r ϕ = 0 or ∂ θ ϕ = 0, thus the arguments in Sec. II no longer apply and the time-dependent non-minimally coupled scalar hair may exist.

V. CONCLUSION
In this paper, we investigated the non-canonical timedependent scalar field in a stationary and axisymmetric spacetime in modified gravities. For a single real scalar field in metric f (R) gravity, we proved that the timedependent scalar hair does not exist for the three kinds of boundary conditions ( asymptotically flat, anti-de Sitter, and de Sitter). It was shown that the demonstration can be generalized to a large class of alternative theories of gravity like the higher-order gravity described by the action (23) and EiBI gravity. While for two coupled scalar fields, these arguments do not apply. These conclusions are the same as the time-dependent scalar field in general relativity in Ref. [18].
Though the demonstrations for a single scalar hair in general relativity and metric f (R) only use a small subset of the field equations [18], the generalization to other alternative gravities may not be correct. For Palatini f (R) gravity coupled with a scalar field, as the boundary conditions no longer ruled out the non-trivial configuration of the scalar field, the time-dependent scalar hair may exist outside a stationary and axisymmetric black hole. Since Palatini f (R) gravity is equivalent to scalar-tensor gravity, similar argument can be applied to time-dependent scalar field in scalar-tensor gravity. For the time-independent non-minimally coupled scalar field, since the effective energy-momentum of the scalar field contains the second derivative of the scalar field, the derivations of Sec. II do not apply any more and non-minimally coupled scalar hair may exist outside a stationary and axisymmetric black hole.