No short hair behaviors of ultra-compact stars

In the black hole spacetime, a no short hair theorem was proved, which states that the effective radius of black hole hairs must extend beyond the null circular orbit. In the present paper, in the horizonless gravity, we find a similar no short hair behavior that the effective radius of matter fields must also extend beyond the null circular orbit of ultra-compact stars.


I. INTRODUCTION
One of the most interesting predictions of general relativity is the existence of null circular orbits outside compact astrophysical objects, such as black holes and horizonless ultra-compact stars [1,2]. These null circular geodesics provide the way that massless particles (photons, gravitons) can orbit a central compact objects, which gives important information about the highly curved spacetime. At present, the null circular orbits have been widely studied [3]- [22].
Recently, it was proved that the null circular orbit can be used to describe the distribution of exterior matter fields outside black holes. In spherically symmetric hairy black hole spacetimes, it was found that the effective radius of hairs must extend beyond the null circular orbit [23,24]. The authors in [23] have proposed a nice heuristic physical picture that the null circular orbit divides matter fields into two parts (fields below the orbit tending to be swallowed by black holes and fields above the orbit tending to be radiated away to infinity) and the self-interaction between these two parts bind together fields in different regions leading to the existence of black hole hairs. And it was further conjectured that the region above the null circular orbit contains at least half of the total hair mass [24][25][26][27].
The main goal of this paper is to study properties of horizonless ultra-compact spherical stars with null circular orbits. We shall analytically prove a no short hair theorem that the effective radius of matter fields must extend beyond the null circular orbit.

II. INVESTIGATIONS ON EFFECTIVE RADIUS OF MATTER FIELDS
We consider static horizonless stars with null circular orbits. In Schwarzschild coordinates, these ultracompact spherically symmetric objects take the following form [23,24] The metric functions χ(r) and g(r) only depend on the Schwarzschild radial coordinate r. Asymptotical flatness of the spacetime at the infinity requires that g(r → ∞) = 1 and χ(r → ∞) = 0. Near the origin, regularity conditions of the gravity are [28,29] g(r → 0) = 1 + O(r 2 ) and We take ρ = −T t t , p = T r r and p T = T θ θ = T φ φ , where ρ, p and p T are interpreted as the energy density, the radial pressure and the tangential pressure respectively [24]. Einstein differential equations G µ ν = 8πT µ ν yield the metric equations We label m(r) as the gravitational mass contained within a sphere of radial radius r. It can be expressed by the integral relation Considering relations (3) and (5), one can express the metric function g(r) in the form [29] g = 1 − 2m(r) r .
Following approaches in [24], we obtain equations of null circular orbits. As the metric (1) is independent of the time t and angular coordinates φ, the geodesic trajectories are characterized by conserved energy E and conserved angular momentum L. And the null circular orbits are determined by an effective potential with the characteristic relations Substituting Einstein equations (3) and (4) into (7) and (8), we deduce the null circular orbit equation [28] N (r γ ) = 3g(r γ ) − 1 − 8π(r γ ) 2 p(r γ ) = 0, where we have introduced a new function N (r) = 3g(r) − 1 − 8π(r) 2 p(r). The discrete roots of (9) correspond to the radii of the null circular orbit.
With the relation (2) and the regular condition p(0) < ∞, one obtains We label r in γ as the radius of the innermost null circular orbit. That is to say r in γ is the smallest positive root of N (r) = 0. Also considering relation (10), one deduces that The conservation equation T µ ν;µ = 0 has only one nontrivial component T µ r;µ = 0. (12) Substituting equations (3) and (4) into (12), one gets equation of the pressure with T = −ρ + p + 2p T standing for the trace of the energy momentum tensor.
With a new pressure function P (r) = r 4 p, the equation (13) can be expressed as where N = 3g − 1 − 8πr 2 p.
The energy condition usually plays a central role in determining the spacetime geometry. We assume the dominant energy condition which means that the energy density ρ is non-negative and bounds the pressures [23,24]. We also assume the non-negative trace of the energy momentum tensor expressed as In this work, we take the non-negative trace conditions [28][29][30][31]. A well known example for such horizonless configurations is the gravitating Einstein-Yang-Mills solitons, which are characterized by the identity T = 0 [32]. In contrast, the usual non-positive trace condition was imposed in the black hole spacetime [23,24].
From (11) and (14)(15)(16), one deduces that We impose the condition that ρ goes to zero faster than r −4 [23,24]. Also considering (15) and P (r) = r 4 p(r), there is the asymptotical behavior Near the origin, the pressure function P (r) has the asymptotical behavior Relations (18) and (19) imply that |P (r)| must have a local maximum value at some extremum point r 0 .
We can define r m = r 0 as the effective radii of matter fields [23,24]. According to (17), P (r) is an increasing function of r before it reaches the innermost null circular orbit. So the effective radii have a lower bound which is the same as the no short hair theorem of black holes [23,24].

III. CONCLUSIONS
We investigated distributions of matter fields in the background of horizonless ultra-compact spherically symmetric stars. We assumed the dominant energy condition and the non-negative trace condition. We defined an effective matter field radius at an extremum point where the pressure function |P (r)| possesses a local maximum value. Using analytical methods, we obtained a lower bound on the effective matter field radius expressed as r m r in γ with r m as the effective matter field radius and r in γ corresponding to the innermost null circular orbit radius. So we found a no short hair behavior that the effective matter field radius must extend beyond the innermost null circular orbit.