Upper bounds on the compactness at the innermost light ring of anisotropic horizonless spheres

In the background of isotropic horizonless spheres, Hod recently provided an analytical proof of a bound on the compactness at the innermost light ring with the dominant energy and non-negative trace conditions. In this work, we extend the discussion of isotropic spheres to anisotropic spheres. With the same dominant energy and non-negative trace conditions, we prove that Hod's bound also holds in the case of anisotropic horizonless spheres.


I. INTRODUCTION
According to general relativity, highly curved spacetimes may possess closed light rings (null circular geodesics), on which massless particles can orbit in a circle [1,2]. It is well known that closed light rings are usually related to black hole spacetimes. In fact, closed light rings may also exist in the horizonless ultracompact spacetime. From theoretical and astrophysical aspects, the light rings have been extensively studied in various gravity backgrounds [3][4][5][6][7][8][9][10][11][12][13].
The closed light ring plays an important role in understanding properties of curved spacetimes. For example, the interesting phenomenon of strong gravitational lensing in highly curved spacetimes is closely related to the existence of light rings [14]. In addition, the light ring can be used to describe the distribution of exterior matter fields outside black holes [15][16][17][18][19][20]. And it was also proved that the innermost light ring provides the fastest way to circle a central black hole as measured by observers at the infinity [21][22][23]. Moreover, the existence of stable light rings suggests that the central compact stars may suffer from nonlinear instabilities [24][25][26][27][28][29][30]. And unstable light rings can be used to determine the characteristic resonances of black holes [31][32][33][34][35][36][37][38].
Recently, the compactness at the innermost closed light ring was investigated. The compactness can be described by the parameter m(r) r , where m(r) is the gravitational mass within the radius r. In the case of black holes, the compactness parameter at the innermost light ring is characterized by the lower bound with r in γ as the innermost light ring radius. However, very differently in the horizonless case, numerical data in [39] suggests that the compactness parameter may satisfy an upper bound m(r in γ ) r in γ ) 1 3 for spherically symmetric ultra-compact isotropic spheres. Hod has provided compact analytical proofs of the characteristic intriguing bound 3 for the spherically symmetric spatially regular spheres with isotropic tensor (p = p τ ), where p and p τ are interpreted as the radial pressure and the tangential pressure respectively [40].
In the present paper, we study the compactness at the innermost light ring of horizonless spheres. We shall prove the bound 3 in the case of anisotropic sphere with p = p τ . We point out that this bound in the isotropic case of p = p τ has been proved in [40]. Our main results are included in the last section.
We denote the components of the energy-momentum tensor as where ρ, p and p τ are respectively the energy density, the radial pressure and the tangential pressure of the horizonless configurations [17,43]. For the case of isotropic energy-momentum tensor, there is the relation p = p τ [40]. In this work, our discussion also covers the case of p = p τ . The unknown metric functions are determined by the Einstein equations G µ ν = 8πT µ ν . With the energy density and pressures (4), one can express the Einstein field equations in the form Using the Einstein field equations (5) and (6), it has been explicitly proved that the closed light rings are characterized by the relation [41] R(r) = 3µ(r) − 1 − 8πr 2 p(r) = 0 f or r = r γ , where r γ is the radius of the closed light ring.
From equation (2) and the regular condition p(0) < ∞, the function R(r) is characterized by asymptotical behaviors We label r in γ as the radius of the innermost closed light ring, which corresponds to the smallest positive root of R(r) = 0. In the range [0, r in γ ], the function R(r) satisfies the relation In particular, at the innermost closed light ring, there is the relation Substituting equations (5) and (6) into the conservation equation T µ r;µ = 0, one obtains a relation where P (r) = r 4 p(r), R = 3µ − 1 − 8πr 2 p and T = −ρ + p + 2p τ .
In proving the following bound (22), Hod has imposed the conditions of the dominant energy and the nonnegative trace of the energy-momentum tensor [40]. In this work, we also impose the same energy condition.
In fact, for a polytropic pressure density equation of the form p = p τ = k p ρ, Hod has obtained a bound m(r in γ ) r in γ ) kp+2 6(kp+1) , where ρ, p and p τ are interpreted as the energy density, the radial pressure and the tangential pressure respectively [40]. In the case of k p 1 3 or a non-negative trace T = −ρ + p + 2p τ = −ρ + 3p 0, , which is the same as (22). So Hod proved the bound (22) in the case of p = p τ .
In the present work, we generalize the discussion to cover the case of p = p τ .
Relations (9)(10)(11)(12)(13) yield that the function P (r) satisfies the inequality Near the origin, the pressure function P (r) has the asymptotical behavior With relations (14) and (15), one obtains The relation (16) and P (r) = r 4 p(r) yield that p(r) 0 f or r ∈ [0, r in γ ]. (17) In particular, at the innermost light ring, there is the relation According to (10) and (18), one finds that The relation (19) yields that The inequality (20) can be expressed as Then we obtain an upper bound on the compactness at the innermost light ring m(r in γ ) r in γ 1 3 .

III. CONCLUSIONS
We studied the compactness at the innermost light ring of anisotropic horizonless spheres. We assumed the dominant energy and non-negative trace conditions. At the innermost light ring, we obtained an upper bound on the compactness expressed as m(r in γ ) r in γ 1 3 , where r in γ is the innermost light ring and m(r in γ ) is the gravitational mass within the sphere of radius r in γ . In fact, Hod firstly proved this bound in the spacetime of horizonless spheres with isotropic tensor p = p τ [40]. In the present work, we proved the same bound in the background of horizonless spheres with generalized anisotropic tensor covering the case of p = p τ .