Abstract
For static black holes in Einstein gravity, if matter fields satisfy a few general conditions, we conjecture that three characteristic parameters about the spatial size of black holes, namely the outermost photon sphere area \(A_{\mathrm {ph,out}}\), the corresponding shadow area \(A_{\mathrm {sh,out}}\) and the horizon area \(A_{{\mathcal {H}}}\) satisfy a series of universal inequalities \(9A_{{\mathcal {H}}}/4\le A_{\mathrm {ph,out}}\le A_{\mathrm {sh,out}}/3\le 36\pi M^2\), where M is the ADM mass. We present a complete proof in the spherically symmetric case and some pieces of evidence to support it in general static cases. We also discuss the properties of the photon spheres in general static spacetimes and show that, similar to horizon, photon spheres are also conformal invariant structures of the spacetimes.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Black holes are fundamental objects in Einstein’s general relativity. The spatial size of a black hole is usually characterized by its horizon; however, the horizon cannot be directly observed in classical theories either locally or from asymptotic infinity. A few of recent arguments (e.g. see Refs. [1, 2]) suggest that quantum effects may render the horizon locally observable, but this topic remains controversial. There is another special surface named “photon sphere” where gravity is also so strong that photons are forced to travel in orbits [3,4,5]. Differing from the horizon, some photons can escape from the photon sphere, making it observable. The photon sphere plays a key role for gravitational lensing [6, 7] or ringdown of waves around a black hole [8]. It is also related to the characteristic (quasinormal) resonances of black-hole spacetimes [5, 9,10,11]. For a Schwarzschild black hole of mass M, the radius of photon sphere is 3M. The outmost photon sphere is unstable and can cast a “shadow” for an observer at the asymptotic infinity. Recently, the first picture of a black hole shadow was taken [12], which gave us a direct impression of the appearance of the black hole size and shape.
Owing to the significance in astrophysical observations, it is important to study the photon spheres and their shadows. Although the classical properties of the horizon have been well studied, the photon spheres and shadows are still lack of extensive investigations. In a spherically symmetric black hole of mass M, Hod proved that for Einstein gravity coupled to matter satisfying the weak energy condition and negative trace energy condition, the innermost photon sphere radius \(r_{\mathrm {ph,in}}\) and total mass M satisfy [13]
By using the same energy condition, Ref. [14] proved an relationship between innermost photon sphere and its shadow radius: \(r_{\mathrm {sh,in}}\ge \sqrt{3}r_{\mathrm {ph,in}}\). A lower bound \(r_{\mathrm {ph,in}}\ge 2M\) was conjectured also by Hod [15] but counterexample was found by Ref. [14].
For the observational purpose, it is more relevant to consider the outermost photon sphere. The proof of Hod’s does not apply to the outermost one when there are multiple photon spheres, which do exist in black holes satisfying the dominant energy condition [16]. Recently, a series of universal inequalities about outermost photon sphere was proposed [17, 18]
Here \(r_+\) is the radius of the horizon. Refs. [17, 18] verify it in many different black holes. Its generalization to higher dimensions were discussed in [19].
In this paper, we will first prove the inequalities (1.2) for spherically symmetric and static black holes in Einstein gravity, for matter fields satisfying a few simple requirements. We then consider more general static configurations and define the corresponding “photon sphere” and “outermost” photon sphere. We conjecture that the area of outermost photon sphere \(A_{\mathrm {ph,out}}\), the corresponding shadow area \(A_{\mathrm {sh,out}}\) and horizon area \(A_{{\mathcal {H}}}\) (if exists), also satisfy a series of universal inequalities, sandwiched within the Penrose inequality:
Although we do not have the full proof of Eq. (1.3) yet, we will give some pieces of evidence to support it. We will also show that, similar to the horizon, photon spheres in static spacetimes are also conformal invariant structures.
2 Spherically symmetric case
We first present the full proof of (1.2) for spherically symmetric metrics in \((3+1)\) dimensions, which read
Here \(f(r_+)=0\), f(r) is positive when \(r>r_+\). Einstein’s equation reduces to the following three equations,
where \({\mathcal {N}}:=3f-1-8\pi r^2p_r\), and \(p_r\), \(\rho \), T are radial pressure, energy density and the trace of stress tensor respectively. We require \(r^3p_r(r)\rightarrow 0\) and \(r^3\rho (r)\rightarrow 0\) when \(r\rightarrow \infty \). Photon spheres are determined by \(U'=0\), where
It is clear that U must have an extremum. Multiple and odd numbers of extrema can also arise and the radii of photon spheres satisfy \({\mathcal {N}}=0\) [13]. Furthermore, we must have \({\mathcal {N}}>0\) and \(U'<0\) if \(r>r_{\mathrm {ph,out}}\).
2.1 Proof of upper bounds
Here we show that if both the weak and strong energy conditions are satisfied for \(r\ge r_{\mathrm {ph,out}}\), we have
The radius of shadow \(r_{\mathrm {sh,out}}\) is related to the outermost photon sphere by \(r_{\mathrm {sh,out}}=1/\sqrt{U(r_{\mathrm {ph,out}})}\) [14].
We introduce an auxiliary function \({\mathcal {W}}(r):=e^{-\chi (r)}[1+8\pi r^2p_r(r)]\), which has following relations
The key is to show that \({\mathcal {W}}(r)\le 1\) when \(r\ge r_{\mathrm {ph,out}}\). The Einstein’s equation and null energy condition imply \(\chi \ge 0\). The weak energy condition tells us \(\rho \ge 0\). Using Eq. (2.2), we see \(\max f=1-8\pi r^2 \rho |_{f'=0}\le 1\). We now split the interval \([r_{\mathrm {ph,out}},\infty )\) into two groups: \(\{I_1^+, I_2^+,\ldots \}\) where \(p_r\ge 0\) and \(\{I_1^-,I_2^-,\ldots \}\) where \(p_r\le 0\). If \(r\in I_n^-\) (here \(n=1,2,\ldots \)), we see \({\mathcal {W}}(r)\le 1\). If \(r\in I_n^+\), i.e., \(p_r\ge 0\), we find that the derivative of \({\mathcal {W}}(r)\) is
Here \(p_T:={T^{\theta }}_{\theta }={T^{\phi }}_{\phi }\) is the transverse pressure. As \(p_r\ge 0\) and \(f\le 1\), we see that \({\mathcal {W}}'\ge 4\pi r e^{-\chi }[(\rho +p_r)(1+f)/f+4p_T]\ge 8\pi r e^{-\chi }(\rho +p_r+2p_T)\). Thus the strong energy condition ensures that \({\mathcal {W}}(r)\) is non-decreasing in the interval \(I_n^+\). The maximal value of \({\mathcal {W}}(r)\) at every interval \(I_n^+\) is theqrefore at the endpoint, where \(p_r=0\). Thus, we also have \({\mathcal {W}}(r)\le 1\) at the interval \(I_n^+\). We can now immediately see \(r_{\mathrm {sh,out}}\ge \sqrt{3}r_{\mathrm {ph,out}}\).
To prove the shadow upper bound, we introduce \(\widetilde{U}=(1-2M/r)/r^2\) for the Schwarzschild black hole of the same mass. It is clear that \((r^3\widetilde{{U}})'=1\ge {\mathcal {W}}= (r^3{U})'\). At \(r\rightarrow \infty \), the asymptotical flatness requires matter fields to decay at least in following ways
Then we find
which implies
Then we have \([r^3\widetilde{{U}}(r)-r^3{U}(r)]|_{r\rightarrow \infty }=0\). Thus, we have \(\widetilde{{U}}(r)\le {U}(r)\) when \(r\ge r_{\mathrm {ph,out}}\). As the maximum of \({\widetilde{U}}\) in the interval \([r_{\mathrm {ph,out}},\infty )\) is \(1/(27M^2)\), we see the upper bound
In addition, we have the rigidity: for all spherically symmetric static spacetimes of mass M, \(r_{\mathrm {ph,out}}=3M\) or \(r_{\mathrm {sh,out}}=3\sqrt{3}M\) arises if and only if the exterior of photon sphere is the Schwarzschild.
If we only focus on the photon sphere, the requirement can be much relaxed and we only need the null energy condition outside the outermost photon sphere. Our main tool is a new mass function
Here \({\mathfrak {m}}(r,\rho )\) is the Hawking–Geroch mass [20, 21], given by
Applying Eqs. (2.2) and (2.3) we find an identity
For \(r\ge r_{\mathrm {ph,out}}\), \({\mathcal {N}}\ge 0\), the null energy condition ensures \(M'\ge 0\). This shows \(M(r_{\mathrm {ph,out}})\le M(\infty )=M\). At the photon sphere \({\mathcal {N}}=0\), we have \(M(r_{\mathrm {ph,out}})=r_{\mathrm {ph,out}}/3\). Thus, we obtain \(r_{\mathrm {ph,out}}\le 3M\). Compared to Hod’s proof (1.1), our condition is much weaker but the conclusion is stronger (as \(r_{\mathrm {ph,out}}\ge r_{\mathrm {ph,in}}\)). This result also implies a new positive mass theorem and entropy bound for static spherically symmetric black holes: if the null energy condition outside the black hole is satisfied, the mass M must be positive and the horizon radius must be smaller than 3M (cannot saturate this bound). In fact, the condition can be even weaker: There exists a photon sphere outside which the null energy condition is satisfied. This is remarkable since even in the spherical case, the previous proofs often require the weak energy condition.
Stronger inequalities may be obtained for some particular matters. For example, if the matters contain the standard Maxwell field with charge Q and all the other matters satisfy null energy condition, then Eq. (2.13) implies \(M'\ge 2Q^2/(3r^2)\) and so \(M(r_{\mathrm {ph,out}})\le M-2Q^2/(3r_{\mathrm {ph,out}})\), which leads to a tighter bound in the charged case \(r_{\mathrm {ph,out}}\le \frac{3M}{2}(1+\sqrt{1-8Q^2/(9M^2)})\). Thus, in all spherically symmetric black holes of same mass and charge, Reissner-Norström (RN) black hole has largest photon sphere.
2.2 Proof of lower bound
It follows from Eq. (2.12) that \({\mathfrak {m}}(r,\rho )\ge r_+/2\) when \(\rho \ge 0\), then we see from Eq. (2.11) that the lower bound \(3r_+/2\le r_{\mathrm {ph,out}}\) holds if weak energy condition holds and \(p_r\ge 0\) at \(r=r_{\mathrm {ph}}\). This is generally satisfied by astronomical black holes.
In theory, many important solutions such as the RN black holes have negative \(p_{r}\). In these cases, the weak energy condition alone is not enough to ensure \(3r_+/2\le r_{\mathrm {ph,out}}\). As an example, we consider \(\chi =0\) and
for which \(\rho (r)=-p_r(r)=\frac{\rho _0}{8\pi rr_+}e^{-r/(2r_+)}\) with \(\rho _0>0\), satisfying the weak energy condition. After specifying \(\rho _0=1\), we find \(r_{\mathrm {ph,out}}/r_+\approx 1.417<3/2\). However, we find that the lower bound holds if \(p_r\) and \(\rho \) satisfy an additional condition: there is a function \(\Xi (r)\) such that,
This requirement is weak in the sense that we only need the existence of such function \(\Xi (r)\). This condition admits the negative pressure. For example, in Einstein–Maxwell theory, \(\rho (r)=-p(r)\propto Q^2/r^4\) and one we can take \(\Xi (r)=p(r)\). The proof is as follows.
\(r^2\Xi (r)\) is a non-decreasing function outside the horizon and the null energy condition implies \(\rho \ge -\Xi \) and \(p_r\ge \Xi \) and so \(M(r)\ge {\mathfrak {m}}(r,-\Xi )+\frac{4\pi r^3}{3}\Xi \). On the other hand, we find
which gives us
Substituting \(r=r_{\mathrm {ph,out}}\) and \(M(r_{\mathrm {ph,out}})=r_{\mathrm {ph,out}}/3\) into the above, we obtain
As \(r_+\) is the outermost horizon, we have \(f'(r_+)\ge 0\). Eq. (2.2) implies \(1-8\pi r^2_+\rho (r_+)\ge 0\) and theqrefore
if \(r>r_+\). We thus prove the lower bound. This proof also applies to the stronger statement \(r_{\mathrm {ph,in}}\ge 3r_+/2\).
3 General static cases
3.1 Generalization of photon spheres
In this part we consider the general static spacetimes, where it is more instructive to study the “photon sphere” in the spacetime rather than only to focus on its spatial projection. In static spacetime, there is a timelike Killing vector \(\xi ^\mu =(\partial /\partial t)^\mu \) outside the horizon and t is the time coordinate. The metric of spacetime has following 3+1 decomposition,
Here \(h_{ab}\) is the metric of equal-t slice \(\Sigma _t\) and \(\phi ^2=\xi ^\mu \xi _\mu \). Motivated by Ref. [22], we call a connected timelike co-dimensional 1 surface \(\Gamma =\{t\}\times {\mathcal {S}}\) to be marginal transversely-trapping surface (MTTS), if \({\mathcal {S}}\) is topological 2-sphere and any null geodesic that starts tangentially on \(\Gamma \) will keep laying on \(\Gamma \). Let \(n^\mu \) be its outward unit normal covector, \(T^\mu \) be the tangent vector of a null geodesic. We see \(T^\mu n_\mu |_\Gamma =0\) and so \(T^\mu \nabla _\mu (n_\nu T^\nu )=0\). We thus have the condition for an MTTS [23]:
Here \(K_{\mu \nu }\) is extrinsic curvature of the MTTS. Then an equal-t cross-section \({\mathcal {S}}\) is a photon sphere.
We can give a more explicit expression to find a photon sphere in the static spacetime. Assume that \({\mathfrak {R}}\) is the scalar curvature of \({\mathcal {S}}\), \(\Sigma _t\) is an equal-t slice and R is its scalar curvature, \(k_{\mu \nu }\) is the extrinsic curvature of \({\mathcal {S}}\) embedded in \(\Sigma _t\) and its trace is k, \(l^\mu \) is the unit normal vector of \(\Sigma _t\) and \((\partial /\partial t)^\mu =\phi l^\mu \), \({\hat{r}}^\mu \) is the outward unit normal vector of \({\mathcal {S}}\) embedded in \(\Sigma _t\). \((\gamma _{\mu \nu }, {\mathcal {D}}_\mu ) \) and \((h_{\mu \nu }, D_\mu )\) are the induced metrics and covariant derivatives of the photon sphere \({\mathcal {S}}\) and static slice \(\Sigma _t\), respectively. See Fig. 1 for schematic explanations on these notations.
In static cases, one can find that \(n^\mu |_{{\mathcal {S}}}={\hat{r}}^\mu |_{{\mathcal {S}}}\) and so we have the decomposition \(K_{\mu \nu }=-l_{\mu }l_{\nu }\phi ^{-1}{\hat{r}}^\tau D_\tau \phi +k_{\mu \nu }\). Assuming that \(s^\mu \) is an arbitrary unit tangent vector field of \({\mathcal {S}}\), then \(T^\mu =l^{\mu }+s^\mu \) is a null vector tangent to MTTS. The requirement (3.2) implies \(\phi ^{-1}{\hat{r}}^\mu D_\mu \phi -k_{\mu \nu }s^\mu s^\nu =0\). As the result we find
Using the decomposition of the Einstein’s tensor
where \(p_r:=T_{\mu \nu }{\hat{r}}^\mu {\hat{r}}^\nu \) is the pressure on \({\mathcal {S}}\), we can obtain
It reduces to \({\mathcal {N}}=0\) in the spherical case.
Similar to the horizon, the photon sphere is also a conformal invariant structure. This can be understood by the fact that the null geodesics are conformal invariant, or that Eq. (3.3) is invariant under the conformal transformation \(\{h_{\mu \nu }\rightarrow {\tilde{h}}_{\mu \nu }=\Omega ^2 h_{\mu \nu }, ~\phi \rightarrow {\tilde{\phi }}=\Omega \phi \}\). Particularly, if we choose \(\Omega =\phi ^{-1}\), then \({\tilde{h}}_{\mu \nu }\) is just the “optical metric” [14] and the trace of extrinsic curvature is \({\tilde{k}}|_{{\mathcal {S}}}=0\). Thus, photon sphere \({\mathcal {S}}\) is a minimal surface in the “optical metric”. For a surface S, assume that \(\text {d}S\) is the surface element induced by original metric \(h_{\mu \nu }\). Then the surface element under the optical metric reads \(\phi ^{-2}\text {d}S\). Thus, photon sphere is a critical surface which locally minimizes following functional
It should be pointed out that we generalized the photon sphere concept directly from the well-defined spherical case. However, whether such thin-shell photon sphere exists in general remains to be further investigated. It may be necessary for us to introduce some “weak photon spheres” by relaxing requirement (3.2) while keeping most of the essential properties. See e.g. Ref. [24] for an example. Nevertheless, we shall proceed with the assumption.
3.2 Outermost photon sphere and conjectures about its size
For general static spacetimes, the photon spheres may intersect with each others and have many inequivalent homology classes. See the left panel of Fig. 2 for example. The meaning of the “outermost” photon sphere needs to be clarified. We propose a proper definition about the “outermost” should satisfy the following four requirements: (1) it satisfies Eq. (3.3) piecewise and no tangentially null geodesic can escape outside; (2) it is closed; (3) no any part of photon spheres is outside it; and (4) \(\forall \) topological 2-sphere X outside the “outermost” photon sphere, we have
where \(k, {\mathcal {D}}^2\) and \({\mathfrak {R}}\) are the trace of extrinsic curvature, Laplace operator and scalar curvature of X respectively, and \(p_r\) is the pressure normal to X. In the spherical case, Eq. (3.7) recovers the condition \({\mathcal {N}}>0\). Based on these considerations, we define the outermost photon sphere \({\mathcal {S}}_{\mathrm {out}}\) as the enveloping surface of outermost segments of all photon spheres, illustrated in the middle panel of Fig. 2.
The \({\mathcal {S}}_{\mathrm {out}}\) may be disconnected and contain many connected branches \({\mathcal {S}}_{\mathrm {out}}^{(i)}\), i.e., \({\mathcal {S}}_{\mathrm {out}}=\bigcup _{i}{\mathcal {S}}_{\mathrm {out}}^{(i)}\). See the right panel of Fig. 2 for example.
We denote the area of \({\mathcal {S}}_{\mathrm {out}}^{(i)}\) to be \(A_{\mathrm {ph,out},i}\), i.e.
The \({\mathcal {S}}_{\mathrm {out}}^{(i)}\) will cast a shadow at the observer’s sky. In the spherical case, the shadow is a disk, of which the radius is independent of the angle of view. In general cases, the shadow may have complicated shapes and depend on the angle of view. It is more convenient to study the apparent area of photon sphere measured at infinity, which is given by following integration,
Here \(\text {d}S\) is the surface element induced by original metric \(h_{\mu \nu }\). We can use \(A_{\mathrm {sh,out},i}\) to characterize the size of shadow. In the spherically symmetric case \(r_{\mathrm {sh,out}}=\sqrt{A_{\mathrm {sh,out},i}/(4\pi )}\). Assume \(A_{H,i}\) to be the area of horizon inside \({\mathcal {S}}_{\mathrm {out}}^{(i)}\). The inequalities in (2.5) have a naturally generalization:
We also conjecture a global version which involves the union of all the connected branches:
Here \(A_{{\mathcal {H}}}=\sum _i A_{H,i}\) and the same for others.
Although we do not have a complete proof beyond the spherical case, we can already prove some parts now in special situations. For example, \(9A_{{\mathcal {H}}}/4\le 36\pi M^2\) is simply the Penrose inequality and has been proven by several different methods [25]. In following we will offer the proofs on \(9A_{{\mathcal {H}}}/4\le A_{\mathrm {sh,out}}/3\) and \(A_{\mathrm {ph,out}}\le A_{\mathrm {sh,out}}/3\le 36\pi M^2\) in the special case without the spherical symmetry.
4 Proofs without spherically symmetry
As the first step to consider the general case, we assume that the outmost horizon is connected, and always assume the weak and strong energy conditions. We also assume that outmost photon sphere is smooth at beginning. Finally, we will give argument to show that the smoothness of outmost photon sphere can be relaxed into piecewise smoothness. We will convert the inequalities into the problems of finding maximum/minimum, which can be solved by variational method. In general, to check if the variational problem will give us minimum or maximum, we may need to compute the second order variation. This in general will be complicated. However, if the on-shell value of variational problem has explicit expression, we have simpler way.
Assume a functional is \({\mathcal {F}}:{\mathcal {X}}\mapsto {\mathbb {R}}\), where \({\mathcal {X}}\) is the space spanned by all arguments of \({\mathcal {F}}\). Mathematically, if \({\mathcal {F}}\) satisfies a few of very general restrictionsFootnote 1 and bounded from above/below, then \({\mathcal {F}}\) must has maximum/minimum [32] and the maximum/minimum of \({\mathcal {F}}\) must be given by the maximal/minimal on-shell value of corresponding variational problem. Thus, to find the maximum/minium of \({\mathcal {F}}\), we only need to find all on-shell values and pick out the maximal/minimal one. In the case that the on-shell value of variational problem has explicit expression, this is easy to perform.
4.1 Bondi–Scahs formalism
We will use Bondi–Scahs formalism [26, 27] in this section, which offers us simple way to study behaviors of metric in non-spherical case. Bondi–Scahs formalism foliates the spacetime by a series of null surfaces which are labeled by \(u=\)constant and the general metric has following form
As the spacetime is asymptotically flat, we then fix the boundary conditions as follows
where \(\text {d}\Omega ^2\) is the metric of unit sphere. The photon spheres are geometrical structures of a static black hole, so they are independent of the choices of coordinates. To give readers clear visible pictures, we used static 3+1 decomposition. To study the inequalities proposed in this paper, the Bondi–Scahs coordinates gauge is more convenient.
In Bondi–Scahs gauge, we have three gauge freedoms. Firstly, we have freedom to choose where the null hypersurface \(u=0\) locates. One convenient choice is that we use outgoing light rays of a photon sphere \({\mathcal {S}}\) to define the null hypersurface \(u=0\). See Fig. 3.
The photon sphere \({\mathcal {S}}\) then locates at equal-t surface as well as locates at \(u=0\) null sheet. Thus, \({\mathcal {S}}\) is also defined by \(u=0\) and \(r=r_{\mathcal {S}}(x^A)\). After we obtain the first null sheet \(u=0\), all the other null sheets can be obtained by using the translation generated by static Killing vector \(\xi ^\mu \). Every null sheet is labeled by a constant u. In fact, besides photon sphere, for any closed surface S in the equal-t submanifold and outside horizon, we can always the immerse one closed surface S into its outgoing light rays. Using this initial null sheet and the translation generated by \(\xi ^\mu \), we can always obtain a local null foliation and S lays on one null sheet.
Secondly, we have freedom to choose u-coordinates. The tangent vector of u-coordinate is \((\partial /\partial u)^\mu \). In Bondi–Scahs gauge, the normal covector of null sheets \(\propto (\text {d}u)^\mu \) but normal vector is not proportional to \((\partial /\partial u)^\mu \). In fact, the normal vector of equal-u surface satisfies
which lays on the equal-u null sheets. This defines the coordinate r and we find
which matches with the metric (4.1). The u-coordinate is arbitrary timelike curve and passes through those null sheets, e.g. see Fig. 3. We can choose \((\partial /\partial u)^\mu =\xi ^\mu \), i.e. the static Killing vector field. Then we have
Here \(\phi \) is same as (3.1).
The third gauge freedom comes from the fact that the relationship (4.3) does not fix the choice of coordinate r uniquely. We can choose \({\tilde{r}}\) to replace r, where \({\tilde{r}}\) satisfies \((\partial /\partial r)^\mu =\psi (\partial /\partial r)^\mu \) with arbitrary nonzero scalar field \(\psi \). To eliminate this freedom, we can impose gauge condition \(\partial _rh=0\). By this gauge choice, we see
and \(\text {d}\Omega \) is a surface element of unite sphere. The differential gauge \(\partial _rh=0\) leaves a freedom in choosing the initial condition of r. To fix this freedom, we can set the horizon radius \(r_h\) to be constant, which leads to a simple formula for the area of horizon
Alternatively, we can choose a photon sphere \({\mathcal {S}}\) to be constant \(r=r_{\mathrm {ph}}\), then the area of \({\mathcal {S}}_{\mathrm {ph}}\) has simple expression,
In general, we cannot require that both horizon and photon sphere have constant r.
The coordinates \(\{x^A\}\) lay on the null sheets. We consider the static case, so we can choose the transverse direction \(x^A\) to be orthogonal to \(\xi ^\mu \), which means \(U^A=0\). Then metric becomes
In Appendix A we offer more detailed argument on Eq. (4.8). Strictly speaking, in some spacetimes such coordinates may only cover a finite neighborhood. Here we assume that it can cover the whole region outside horizon \({\mathcal {H}}\).
In above coordinates gauge, the Einstein’s equation shows [27]
and
Here \({^{(2)}R}\) and \({\mathfrak {D}}_A\) are the scalar curvature and covariant derivative operator of \(h_{AB}\). \(T_{rr}:=T_{\mu \nu }(\partial /\partial r)^\mu (\partial /\partial r)^\nu \) is the null-null component of energy momentum tensor \(T_{\mu \nu }\), \(\rho :=T_{\mu \nu }\xi ^\mu \xi ^\nu /(\xi ^\mu \xi _\mu )\). The weak energy condition then insures
Then Eq. (4.9) implies
In following we will define some target functionals on some surfaces S, which will depend on the spacetime geometry and choices of S. We always assume the Einstein’s equation, so the spacetime geometry is determined by distribution of matters. As the result, the functionals will depend on distribution of matters and choices of S. It is necessary to know how many degrees of freedoms the target functionals have. The energy momentum tensor has 10 components, 4 of which are constrained by Bianch identity (or the conserved law \(\nabla ^\mu T_{\mu \nu }=0\)). The requirement \(U^A=0\) also supplies 2 constraints according to Einstein’s equation. Thus, we have 4 bulk degrees of freedoms. Ten components of energy momentum tensor combining with the choice of surface S offers us 11 degrees of freedoms at the surface S. \(U^A|_S=0\) and \(h|_S=h|_{r\rightarrow \infty }\) offer us 3 constraints on the surface S. Thus, we we have 8 degrees of freedoms at a surface S. Theqrefor, we can choose at most 4 bulk variables and at most 8 surface variables as the independent variables when we use variational method. It will simplify the variational problem if we choose the independent variables suitably.
4.2 Proof of \(9A_{{\mathcal {H}}}/4\le A_{\mathrm {sh,out}}/3\)
In this subsection, we will use variational method to prove: in all black holes of which outmost horizon areas are \(A_{{\mathcal {H}}}\), if photon sphere exists, then the minimum value of \(A_{\mathrm {sh,out}}\) is \(27A_{{\mathcal {H}}}/4\). To do that, we introduce an auxiliary functional
Here S is arbitrary surface which encloses outmost horizon \({\mathcal {H}}\) and lays on the equal-t surface, \(A_{S}\) is the area of S. The Cauchy–Schwartz inequality shows that
and so
Then for outmost photon sphere \({\mathcal {S}}_{\mathrm {sh,out}}\), we have
In Appendix B we show that, if we fix the horizon area and strong energy condition is satisfied, then \({\mathcal {B}}\) is bounded from above. Thus, functional \({\mathcal {B}}\) has maximum. To find the this maximum, we need to find all extreme values and pick up the maximal one. For every surface S lay on the equal-t submanifold, we can immerse it into the null sheet \(u=0\) and parameterize it by \(\{u=0,r=r_S(x^A)\}\) in the Bondi–Scahs coordinates gauge. In the Appendix C, we have shown that: if a surface S makes \({\mathcal {B}}\) extreme among all surfaces which lay on equal-t surface, it will also makes \({\mathcal {B}}\) extreme among all surfaces which lay on \(u=0\) null sheet. Then we have following relationship
Assume that \({\mathcal {B}}_{m}\) is the the maximal critical value of \({\mathcal {B}}\) on the null sheet \(u=0\),Footnote 2 then we see that max\(~{\mathcal {B}}\) in Eq. (4.15) satisfies \(\max {\mathcal {B}}\le {\mathcal {B}}_{m}\). In the null sheet \(u=0\), if we can show \({\mathcal {B}}_{m}=4/(27A_{{\mathcal {H}}})\), then \(A_{\mathrm {sh,out}}\ge 27A_{{\mathcal {H}}}/4\) is a corollary. This is what we will do in this subsection.
In the null sheet \(=0\), the value of \( {\mathcal {B}}\) depends on the function \(r_S(x^A)\) as well as the metric and matter distributions. In following we will use variational method to find the maximum of \( {\mathcal {B}}\) on the null sheet \(u=0\). As we have analyzed at the end of Sec. 4.1, we can choose at most 4 bulk variables and at most 8 surface variables as the independent variables when we use variational method. We will first do not specify what are independent variables but only use Einstein’s equation to rewrite \( {\mathcal {B}}\) into a different form (see Eq. (4.26)) and then specify what are independent variables, by which we can easy to perform variation and find the on-shell values.
In Appendix D we use a concrete function as an example to explain the main idea of following steps. Though what we will do in following is more complicated than the example of Appendix D, the mathematical essence has no difference. Referring to the metric (4.8), our target functional reads
We take the gauge that the horizon has constant radius \(r=r_h\). Then we find
In general \(Ve^{2\beta }\) will depend on \(r_0\) and \(x^A\) both. The induced metric on S reads \(\text {d}s_S^2=r_S^2h_{AB}\text {d}x^A\text {d}x^B\), so we find \(\text {d}S=r_S^2\text {d}\Omega \). Eqs. (4.18) and Eq. (4.17) then show
and area of S is
We define,
and
which take the constraints \(\beta \le 0, \rho \ge 0\) and \(V\ge 0\) into account. Then we find
It needs to note that \(r_S(x^A)\) in general may not be constant. To relax the dependence of upper limit \(r_S\) in the second integration of Eq. (4.23), we can introduce step-function \(\Theta (x)\) so that
As \(h_{AB}\) is metric of 2-dimensional space, we can always find a coordinate transformation \(x^A\rightarrow y^A\) such that
where \(\gamma _{AB}\) is the standard metric of unit sphere. By using this conformal metric, we find that \({\mathcal {B}}\) becomes
Here \({\hat{\mathfrak {D}}}_A\) is the covariant derivative operator corresponding to \(\gamma _{AB}\).
From Eqs. (4.13) to (4.26), we just made identical deformations according to Einstein’s equation. In Eq. (4.26), we find that \(\{\beta ,r_S,\Phi _S,N_1, {N_2}, \Psi \}\) has 4 independent bulk variables and only 2 independent surface variables, so we can treat all them as independent variables. These are independent arguments of functional \({\mathcal {B}}\).
We solve the variational problem by following steps. The variation with respective to \(\Psi \) is easy computed from Eq. (4.23) and we obtain
Using Eq. (4.18) and definitions of \(N_1\) and \({N_2}\), we find that Eq. (4.27) reduces
This equation shows that \(\Phi _S=0\). The variations with respective to \({N_2}\) and \(N_1\) read
and so \({N_2}=N_1=0\) when \(r_h<r<r_S\). Then by using Eq. (4.26), we find that variation with respective to \(\Psi \) gives us
This equation shows that \(\Theta (r_S-r)r_S\) must be independent of \(y^A\). This is because
Then we see \({\hat{\mathfrak {D}}}^2[\Theta (r_S-r)r_S]=0\Rightarrow \partial _A[\Theta (r_S-r)r_S]=0\). Thus Eq. (4.30) shows \(r_S\) to be constant. Then the variation with respective to \(\beta \) shows
which shows that \(\beta =\beta (r)\). Thus, the variation with respective to \(r_S\) shows
where
Equation (4.33) shows \(r_S=3r_h/2\). Finally, the on-shell value of \({\mathcal {B}}\) on the null sheet \(u=0\)
The value of \(\Psi \) cannot be determined by variational method, so the solutions of variational problem are not unique. However, the on-shell values of all solutions are same. As Eq. (4.35) is the only on-shell value of the variational problem, we can conclude that \(4/(27A_{{\mathcal {H}}})\) is the maximal extreme value of \({\mathcal {B}}\) on the null sheet \(u=0\). This proves \(9A_{{\mathcal {H}}}/4\le A_{\mathrm {sh,out}}/3\).
4.3 Proof of \(A_{\mathrm {ph,out}}\le A_{\mathrm {sh,out}}/3\)
In this subsection, we do not fix the horizon area but fix the functional \({\mathcal {B}}|_{S={\mathcal {S}}_{\mathrm {ph,out}}}={\mathcal {B}}_0\). In Appendix B, we have shown \(A_S<1/{\mathcal {B}}\) for any surface outside horizon and laying on equal-t submanifold. If we fix \({\mathcal {B}}|_{S={\mathcal {S}}_{\mathrm {ph,out}}}={\mathcal {B}}_0\), the areas of photon spheres are bounded from above, so we can use variational method to find the maximum of \(A_{\mathrm {ph,out}}\). We will prove
If this is true, we then have
To prove Eq. (4.36), our tool is variational method combining with Lagrangian multipliers. The target functional now is
According to the conclusion in Appendix C, this can be converted into the task of finding critical surface among the surfaces laying on null sheet \(u=0\). Similar to (4.16), we have following relationship
As we want to find the upper bound of \(A_S\) when S is a photon sphere, there are a few of restrictions on surface S.
Firstly, in the equal-t surface, we have know that a photon sphere is a critical surface which makes the integration \(\int \phi ^{-2}\text {d}S\) to be extremal. In the null sheet \(u=0\), Appendix C shows that a photon sphere should also be a critical surface which makes the integration \(\int \phi ^{-2}\text {d}S\) to be extremal on the null sheet \(u=0\). On the null sheet \(u=0\), we have \(\int \phi ^{-2}\text {d}S=\int r_S^3e^{-4\beta }/(Ve^{-2\beta })\text {d}\Omega \). The extreme condition means that S on the null sheet \(u=0\) should satisfy following equation
As we now fix the value of functional \({\mathcal {B}}={\mathcal {B}}_0\), we have following constraint
which shows
Thus, we construct following target functional on the null sheet \(u=0\) with two Lagrangian multipliers
Here \(\{\lambda _1(x^A)\) \(\lambda _2\}\) are two Lagrangian multipliers and \(\lambda _2\) is constant. The critical values of \(A_{\mathrm {ph,out}}\) in equal-t surface are given by the critical values of F in the null sheet \(u=0\).
To solve the variational problem, we separate functional F into two parts
where
and
The \(\partial _r(Ve^{-2\beta })\) and \(\partial _r\beta \) in \(F_{\mathrm {bd}}\) are given by Eq. (4.9). The \(Ve^{-2\beta }\) in \(F_{\mathrm {nd}}\) is given by Eq. (4.18). Using Eqs. (4.9), (4.10) and (4.18) we find
and
Here \(\beta _S=\beta |_S\), \(N_{1S}^2\) and \(N_{2S}^2\) are defined by Eq. (4.22) but restricted on surface S. We use the lower index “S” to explicitly show that they are surface quantities. Then using the conformal transformation (4.25), we have
and Eq. (4.18) shows
Functional \(F_{\mathrm {bd}}\) only involves quantities at the surface S, but functional \(F_{\mathrm {bulk}}\) involves quantities at surface S as well as in bulk region between S and \({\mathcal {H}}\). The functional F now depends on 6 surface variables \(\{N_{1S},N_{2S},\beta _S, \Psi _S, W_S, r_S\}\) and 4 bulk variables \(\{N_1, N_2, \beta , \Psi \}\). We can treat all these variables as independent variables.
The \(\Psi _S, W_S\), \(N_{1S}\) and \(N_{2S}\) appear only in boundary part \(F_{\mathrm {bd}}\). Using Eq. (4.46), we find that the variations with respective to \(W_S, N_{1S}\) and \(N_{2S}\) show
Then variation of \(\Psi _S\) reads
This shows that \(\lambda _1(y^A)\) is a constant. The variation with respective to \(\beta _S\) involves both \(F_{\mathrm {bulk}}\) and \(F_{\mathrm {bd}}\). The result reads,
As \(\lambda _1\) is constant, we integrate Eq. (4.49) on S and find
As \(V>0\), we find \(\lambda _2=0\), which implies \({\hat{\mathfrak {D}}}^2\beta _S=0\)Footnote 3 and so \(\beta _S\) is constant.
The variables \(\{N_1,N_2\}\) appear only in bulk part \(F_{\mathrm {bulk}}\). The variation with respective to \(N_1\) and \(N_2\) shows \(N_1=N_2=0\). Now we have
Then we variation with respective to \(\Psi \) shows \({\hat{\mathfrak {D}}}^2[\Theta (r_S-r)r_S^{-1}]=0\) and so \(r_S\) is constant. The variation of \(\beta \) shows \({\hat{\mathfrak {D}}}^2\beta =0\) and so \(\beta =\beta (r)\) when \(r<r_h<r_S\). Thus, we have following results at the surface S
Note that \(\Psi _S=0\Rightarrow {^{(2)}R}|_S=2\). Take these into Eqs. (4.38) and (4.40) we have
Thus, we find that \(F|_{\mathrm {on-shell}}=e^{4\beta _S}/(3{\mathcal {B}}_0)\). The on-shell values of target functional are not unique. We then have
This proves Eq. (4.36) and so we obtain \(A_{\mathrm {ph,out}}\le A_{\mathrm {sh,out}}/3\). It needs to note that above proof is still true for every connected photon spheres, i.e. \(A_{\mathrm {ph,out},i}\le A_{\mathrm {sh,out},i}/3\). Thus, we prove one part of our stronger conjecture (3.11).
4.4 Proof of \(A_{\mathrm {sh,out}}/3\le 36\pi M^2\)
The solution of Eq. (4.10) can be written as
This shows
In the gauge that horizon has constant \(r=r_h\), we find
This shows the Penrose inequality \(9A_{{\mathcal {H}}}/4\le 36\pi M^2\).
To show \(A_{\mathrm {sh,out}}/3\le 36\pi M^2\), we immerse the photon sphere into the null sheet \(u=0\) and take the gauge that the radius of outmost photon sphere \(r_{{\mathcal {S}}}\) is constant. The size of shadow reads
In general, the horizon radius \(r_h\) is no longer constant. Eq. (4.56) becomes
In following we will use variational method to show that, in all black holes of which the size of shadow is \(A_{\mathrm {sh,out}}=12\pi a_0^2\), the minimal value of mass is \(a_0/3\). The main idea is as follow.
We treat M as a functional, the positive mass theorem shows \(M\ge 0\). Thus, the functional M is bounded from below. Then the minimum value can be found according to variational problem. As \({\mathcal {S}}_{\mathrm {out}}\) is a photon sphere, so constraint (4.38) should also satisfied. We construct the target functional
Here \(\lambda _1(x^A)\) and \(\lambda _2\) are two Lagrangian multipliers and \(\lambda _2\) is constant. The \(\lambda _2\) insures that the size of shadow is fixed to be \(12\pi a_0^2\) and the \(\lambda _1\) insures that condition (4.38) is satisfied.
We use the variable transformations (4.22) and find
The functional \({\mathcal {M}}\) contains the boundary part and bulk part. In principle, we can follow the similar step of Sect. 4.3 to solve the variational problem. However, in this case, we have simpler method.
We first choose \(\beta , N_1, N_2\) and \(K:=\sqrt{Ve^{-2\beta }}\) as four independent bulk variables. The bulk variations with respective to \(\beta , N_1\) and \(N_2\) only involves the third line of Eq. (4.604.61). The result shows
Thus we see \(h_{AB}=h_{AB}|_{r=\infty }\). This shows \({^{(2)}R}={^{(2)}R}|_{r\rightarrow \infty }=2\). Then we find
Thus, the on-shell geometry outside photon sphere \({\mathcal {S}}_{\mathrm {out}}\) becomes spherically symmetric. We then find that
In spherically symmetric case, we have shown that \(\min M=\sqrt{A_{\mathrm {ph,out}}/(108\pi )}=a_0/3\). Thus Eq. (4.62) shows \(\min M=a_0/3\). Then we finish the proof of \(A_{\mathrm {sh,out}}/3\le 36\pi M^2\) in the case without spherical symmetry. Note that above proof also implies that \(A_{\mathrm {sh,out}}/3=36\pi M^2\) is true only if the geometry outside \({\mathcal {S}}_{\mathrm {out}}\) is Schwarzschild.
Now we make a short summary on this section. We use variational method to prove \(9A_{{\mathcal {H}}}/4\le A_{\mathrm {sh,out}}/3\) and \(A_{\mathrm {ph,out}}\le A_{\mathrm {sh,out}}/3\le 36\pi M^2\) under two assumptions: (1) weak and strong energy condition are satisfied, and (2) outmost horizon and outmost photon sphere are connected and smooth. Our proof also implies a rigidity theorem: \(A_{\mathrm {ph,out}}=36\pi M^2\) only if the geometry outside outmost photon sphere is Schwarzschild. Our proof on \(A_{\mathrm {ph,out}}\le A_{\mathrm {sh,out}}/3\) is also true when outmost photon sphere is not connected. As the result, we obtain \(A_{\mathrm {ph,out},i}\le A_{\mathrm {sh,out},i}/3\) for every connected branch and so prove a part of our stronger conjecture (3.11). The lower bound \(9A_{{\mathcal {H}}}/4\le A_{\mathrm {ph,out}}\) in spherically symmetric case involves some non-typical energy condition (2.15). It is not clear how to generalize it into the case without spherical symmetry. We leave the study of this inequality for the future.
Comment on smoothness: In above proofs, we assumed that the outmost photon sphere \({\mathcal {S}}_{\mathrm {out}}\) is smooth. This requirement can be be replaced by piecewise smoothness. The reason is that, in variational method, the target functionals and constraints are defined in integrations. For a outmost photon sphere \({\mathcal {S}}_{\mathrm {ph,out}}^{(i)}\), we can always find a smooth surface \({\mathcal {S}}_{\mathrm {out},\varepsilon }^{(i)}\) which satisfies: (1) \(\forall \varepsilon >0\), the maximal volume enclosed by \({\mathcal {S}}_{\mathrm {out}}^{(i)}\) and \({\mathcal {S}}_{\mathrm {out},\varepsilon }^{(i)}\) is smaller than \(\varepsilon M^3\), i.e.
where V is arbitrary spacelike 3-dimensional surface and satisfies \(\partial V={\mathcal {S}}_{\mathrm {out}}^{(i)}\cup {\mathcal {S}}_{\mathrm {out},\varepsilon }^{(i)}\), and (2) \(A_{\mathrm {ph,out},i}\) and \(A_{\mathrm {sh,out},i}\) are approximated in arbitrary accuracy
and (3) the constraint (4.38) is broken arbitrarily small
We can use the smooth surface \({\mathcal {S}}_{\mathrm {out},\varepsilon }^{(i)}\) to replace \({\mathcal {S}}_{\mathrm {out}}^{(i)}\) and obtain the same conclusion. Because of this reason, the conclusions in our above proofs are still valid if assume the outmost photon sphere is piecewise smooth.
5 Conclusion
In this paper, we conjectured a series of universal inequalities about the size of a static black hole in Einstein gravity. We gave a complete proof in the spherically symmetric case. We studied the properties of the photon spheres in general static spacetimes and proved that photon spheres are conformal invariant structures of the spacetime. Our results strongly suggest that black holes photon spheres may have rich physical contents and mathematical structures.
Our conjecture gives us a simple way to estimate the size of the horizon and black hole mass. For the spherically symmetric case, though we assume the spacetime is static outside the horizon (if exists), we in fact only need it being static outside the photon sphere due to Birkhoff theorem. It needs to emphasize that the upper bound in (1.2) do not require the existence of a black hole. This has significance in astronomy. Birkhoff theorem implies the interior of photon sphere may not contain a black hole. For example, a neutron star can also form a photon sphere and the corresponding shadow. However, our inequality (1.2) implies if the radius of photon sphere is larger than \(2.25M_{\odot }\) or the radius of shadow is larger than \(3.89M_{\odot }\), then the interior of the photon sphere cannot be a neutron star. If we find a larger size photon sphere or shadow, the interior must be a black hole or it is to form a black hole. In astrophysical observations, to verify whether or not a gravitational system has photon sphere can give us useful information about the gravitational system. For example, if the spacetime contains a naked singularity rather than a black hole, we can classify naked singularities into two kinds based on whether or not a naked singularity is covered within a photon sphere [28]. For the case which contains a photon sphere, the gravitational lensing effects of naked singularity is very similar to Schwarzschild black hole; however, for the case without photon sphere, gravitational lensing effects is qualitatively different from the case of a Schwarzschild black hole. The combinational observations between the shadow and other gravitational lensing effects in principle can gives us some physical information of gravitational source such as the charge/mass ration, distance to the gravitational source and so on [29,30,31]. Thus, we can study how to read these useful physical information from the observations on shadows of black holes in the future.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This is a purely theoretical study, and all the necessary results and analyses are included in the manuscript.]
Notes
In mathematical jargon, the necessary conditions are (1) functional \({\mathcal {F}}\) is weak coercivity in \({\mathcal {X}}\) and (2) \({\mathcal {F}}\) is weak upper/lower semicontinuity, e.g. see Ref. [32]. We always assume that those requirements on target functional are satisfied in physics.
It does not mean that \({\mathcal {B}}_m\) is the maximal value of \({\mathcal {B}}\) on the null sheet \(u=0\). Though \({\mathcal {B}}\) on the equal-t hypersurface is shown to be bounded from above, it may have no upper bound on the null sheet \(u=0\).
The other solution is \(\lambda _1=0\), which should be abandoned as it leads to the variation with respective to \(r_S\) has no solution.
In general, the vectors \((\partial /\partial r)^\mu \) and \((\partial /\partial x^A)^\mu \) in odd coordinates will be different from the vectors \((\partial /\partial r)^\mu \) and \((\partial /\partial x^A)^\mu \) in new coordinates.
This is nontrivial because the critical point of a function(or functional) may be no longer a critical point if we change definition domain of arguments. For example, consider a function \(f(x,y,z)=y^2x^2+z\). the point \(p_0=\{x=0,y=0,z=0\}\) is a critical point if we restrict us in the \(z=0\) plane. However, if we consider an other plane, saying the plane \(z=x\), the point \(p_0\) is no longer a critical point.
References
A. Almheiri, D. Marolf, J. Polchinski, J. Sully, Black holes: complementarity or firewalls? JHEP 02, 062 (2013). https://doi.org/10.1007/JHEP02(2013)062. arXiv:1207.3123
S.G. Avery, B.D. Chowdhury, A. Puhm, Unitarity and fuzzball complementarity: ‘Alice fuzzes but may not even know it!’. JHEP 09, 012 (2013). https://doi.org/10.1007/JHEP09(2013)012. arXiv:1210.6996
J.M. Bardeen, W.H. Press, S.A. Teukolsky, Rotating black holes: locally nonrotating frames, energy extraction, and scalar synchrotron radiation. Astrophys. J. 178, 347 (1972). https://doi.org/10.1086/151796
S. Hod, Spherical null geodesics of rotating Kerr black holes. Phys. Lett. B 718(4–5), 1552–1556 (2013). https://doi.org/10.1016/j.physletb.2012.12.047
V. Cardoso, A.S. Miranda, E. Berti, H. Witek, V.T. Zanchin, Geodesic stability, lyapunov exponents, and quasinormal modes. Phys. Rev. D 79(6), 1 (2020). https://doi.org/10.1103/physrevd.79.064016
K.S. Virbhadra, G.F.R. Ellis, Schwarzschild black hole lensing. Phys. Rev. D 62, 084003 (2000). https://doi.org/10.1103/PhysRevD.62.084003. arXiv:astro-ph/9904193
I.Z. Stefanov, S.S. Yazadjiev, G.G. Gyulchev, Connection between Black-Hole quasinormal modes and lensing in the strong deflection limit. Phys. Rev. Lett. 104, 251103 (2010). https://doi.org/10.1103/PhysRevLett.104.251103. arXiv:1003.1609
V. Cardoso, E. Franzin, P. Pani, Is the gravitational-wave ringdown a probe of the event horizon? Phys. Rev. Lett. 116(17), 171101 (2016). [Erratum: Phys. Rev. Lett. 117(8), 089902 (2016)]. arXiv:1602.07309. https://doi.org/10.1103/PhysRevLett.117.089902. https://doi.org/10.1103/PhysRevLett.116.171101
S. Hod, Black-hole quasinormal resonances: wave analysis versus a geometric-optics approximation. Phys. Rev. D 80, 064004 (2009). https://doi.org/10.1103/PhysRevD.80.064004. arXiv:0909.0314
H. Yang, D.A. Nichols, F. Zhang, A. Zimmerman, Z. Zhang, Y. Chen, Quasinormal-mode spectrum of Kerr black holes and its geometric interpretation. Phys. Rev. D 86(10), 1 (2012). https://doi.org/10.1103/physrevd.86.104006
S. Hod, Resonance spectrum of near-extremal Kerr black holes in the eikonal limit. Phys. Lett. B 715, 348–351 (2012). https://doi.org/10.1016/j.physletb.2012.08.001. arXiv:1207.5282
K. Akiyama et al., First M87 event horizon telescope results. I. The shadow of the supermassive Black Hole. Astrophys. J. 875(1), L1 (2019). https://doi.org/10.3847/2041-8213/ab0ec7. arXiv:1906.11238
S. Hod, Upper bound on the radii of black-hole photonspheres. Phys. Lett. B 727, 345–348 (2013). https://doi.org/10.1016/j.physletb.2013.10.047. arXiv:1701.06587
M. Cvetič, G.W. Gibbons, C.N. Pope, Photon spheres and sonic horizons in Black Holes from supergravity and other theories. Phys. Rev. D 94(10), 106005 (2016). https://doi.org/10.1103/PhysRevD.94.106005. arXiv:1608.02202
S. Hod, The fastest way to circle a black hole. Phys. Rev. D 84, 104024 (2011). https://doi.org/10.1103/PhysRevD.84.104024. arXiv:1201.0068
H.-S. Liu, Z.-F. Mai, Y.-Z. Li, H. Lü, Quasi-topological electromagnetism: Dark energy, dyonic black holes, stable photon spheres and hidden electromagnetic duality (2019). arXiv:1907.10876
H. Lü, H.-D. Lyu, On the size of a black hole: The Schwarzschild is the biggest. arXiv:1911.02019
X.-H. Feng, H. Lü, On the size of rotating black holes. arXiv:1911.12368
L. Ma, H. Lü, Bounds on photon spheres and shadows of charged black holes in einstein-gauss-bonnet-maxwell gravity (2019). arXiv:1912.05569
S.W. Hawking, Gravitational radiation in an expanding universe. J. Math. Phys. 9(4), 598–604 (1968). https://doi.org/10.1063/1.1664615
R. Geroch, Energy extraction. Ann. N. Y. Acad. Sci. 1, 108–117 (1973). https://doi.org/10.1111/j.1749-6632.1973.tb41445.x
H. Yoshino, K. Izumi, T. Shiromizu, Y. Tomikawa, Extension of photon surfaces and their area: Static and stationary spacetimes. Prog. Theor. Exp. Phys. 1, 6 (2017). https://doi.org/10.1093/ptep/ptx072
C.-M. Claudel, K.S. Virbhadra, G.F.R. Ellis, The geometry of photon surfaces. J. Math. Phys. 42(2), 818 (2001). https://doi.org/10.1063/1.1308507
L.-M. Cao, Y. Song, Quasi-local photon surfaces in general spherically symmetric spacetimes (2019). arXiv:1910.13758
M. Mars, Present status of the Penrose inequality. Class. Quant. Grav. 26, 193001 (2009). https://doi.org/10.1088/0264-9381/26/19/193001. arXiv:0906.5566
R.K. Sachs, Gravitational waves in general relativity VIII. Waves in asymptotically flat space-time, Proceedings of the Royal Society of London. Series A. Math. Phys. Sci. 270, 103–126 (1962). https://doi.org/10.1098/rspa.1962.0206
T. Mädler, J. Winicour, Bondi–Sachs formalism. Scholarpedia 11, 33528 (2016). https://doi.org/10.4249/scholarpedia.33528. arXiv:1609.01731 [gr-qc]
K.S. Virbhadra, G.F.R. Ellis, Gravitational lensing by naked singularities. Phys. Rev. D 65, 103004 (2002). https://doi.org/10.1103/PhysRevD.65.103004
K.S. Virbhadra, Relativistic images of Schwarzschild black hole lensing. Phys. Rev. D 79, 083004 (2009). https://doi.org/10.1103/PhysRevD.79.083004. arXiv:0810.2109 [gr-qc]
K.S. Virbhadra, C.R. Keeton, Time delay and magnification centroid due to gravitational lensing by black holes and naked singularities. Phys. Rev. D 77, 124014 (2008). https://doi.org/10.1103/PhysRevD.77.124014. arXiv:0710.2333 [gr-qc]
K.S. Virbhadra, D. Narasimha, S.M. Chitre, Role of the scalar field in gravitational lensing. Astron. Astrophys. 337, 1–8 (1998). arXiv:astro-ph/9801174 [astro-ph]
B. Dacorogna, Introduction to the Calculus of Variations, pp. 87–123, 2nd Edition. Imperial College Press, London. (2008). https://doi.org/10.1142/p616
Acknowledgements
We are grateful to Zhong-Ying Fan and Jun-Bao Wu for useful discussions. This work is supported in part by NSFC (National Natural Science Foundation of China) Grant No. 11875200 and No. 11935009.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Static gauge in Bondi–Scahs formalism
Consider the metric in Bondi–Scahs formalism
where \((\partial /\partial u)^\mu =\xi ^\mu \) is the static Killing vector and \(|U|:=r^2h_{AB}U^AU^B\). For the same static spacetime, we can also choose the infalling null time v, which satisfies \((\partial /\partial v)^\mu =\xi ^\mu \) and keeps \(\{r, x^A\}\) coordinates unchanged. As the result, the metric becomes
Here all components are independent of v and \(|{\tilde{U}}|:=r^2{\tilde{h}}_{AB}{\tilde{U}}^A{\tilde{U}}^B\). As vectors \((\text {d}x^A)_\mu \) and \((\text {d}r)_\nu \) are unchanged in two different coordinates, we haveFootnote 4
and
Define \({\tilde{v}}=-v\) and we obtain
This metric and metric (A.1) describe same geometry at every point only if \({\tilde{U}}^A=U^A\) and \(\beta ={\tilde{\beta }}\). Combine it with Eq. (A.3) and we find \(U^A=0\).
Appendix B: Boundedness of functional \({\mathcal {B}}\)
There is a simple way to prove that \({\mathcal {B}}\) is bounded from above. Firstly, the area of any closed surface outside horizon is given by
If we can prove \(0<\phi <1\), we can find \({\mathcal {B}}<A_S^{-2}\int _S \text {d}S=A_S^{-1}\le A_{{\mathcal {H}}}^{-1}\). Thus, in all black holes of fixed horizon area, the functional \({\mathcal {B}}\) is bounded from above.
In order to prove \(0<\phi <1\), we take a 3+1 decomposition
Here \(h_{ab}\) is the metric of equal-t slice \(\Sigma _t\). We write down the decomposition of static Einstein’s equation in the coordinates gauge (B.2). The Hamiltonian constraint reads
The momentum constraint and evolutional equation of induced metric are trivial due to extrinsic curvature of \(\Sigma _t\) is identical zero. The evolutional equation of extrinsic curvature then shows
There \(R_{ab}\) and \(D_a\) are the Ricci tensor and covariant derivative operator of \(h_{ab}\), \({\mathcal {T}}_{ab}\) is the projection of stress tensor at time slice \(\Sigma _t\) and \({\mathcal {T}}\) is the trace of \({\mathcal {T}}_{ab}\). Eqs. (B.4) and (B.3) give us the complete description on static spacetime in Einstein gravity. The Combination of Eqs. (B.4) and (B.3) shows
The strong energy condition implies \(\rho +{\mathcal {T}}\ge 0\). Thus, outside horizon \({\mathcal {H}}\) we have
Then the maximum principle shows that the maximum of \(\phi \) must be at the boundaries, i.e. the spital infinity or outmost horizon \({\mathcal {H}}\). This show \(\phi <1\).
Appendix C: Critical surfaces on equal-t submanifold and \(u=0\) null sheet
In this appendix, we will explain why the task of finding critical surface of a target functional on equal-t plane can be converted into the task of finding critical surface of the same target functional on the null sheet \(u=0\).
We first consider a concrete example. Assume that \(\Sigma _t\) is equal-t submanifold and define a target functional
Assume that \(S_0\) is a critical surface (i.e. the surface makes P extreme) among all surfaces laying on \(\Sigma _t\). In following, we will show that, for arbitrary 3-dimensional manifold \(\Gamma \), if \(S_0\subset \Gamma \), then \(S_0\) also makes integration \(\int _{S}\phi ^{-2}\text {d}S\) to be extreme among all surfaces laying on \(\Gamma \).Footnote 5
The proof is as follow. Outside horizon, we can take the orbit of static Killing vector as the time and so metric has a form \(\text {d}s^2=-\phi ^2\text {d}t^2+\text {d}s_{\Sigma _t}^2\). We can take a special gauge for the induced metric in \(\Sigma _t\) such that \(\text {d}s_{\Sigma _t}^2=\text {d}r^2+q_{AB}\text {d}x^A\text {d}x^B\). This can be achieved locally for arbitrary static black hole. Then the spacetime metric has following 3+1 decomposition form
A general 3-dimensional submanifold \(\Gamma \) is locally parameterized by \(t=t_{\Gamma }(r,x^A)\). A surface \(S\subset \Gamma \) then is parameterized by \(r=r_S(x^A)\) on \(\Gamma \). As the result, S is determined by following two functions:
and the induced metric of S reads
Here \({\tilde{q}}_{AB}:=q_{AB}+\partial _Ar_S\partial _Br_S\), which is independent of \(t_S\). It needs to note that \(t_S\) depends on the function \(r_S(x^A)\) and so
Then the target function (C.1) becomes
\({\tilde{q}}^{AB}\) and \({\tilde{q}}\) are the inverse and determinate of \({\tilde{q}}_{AB}\), respectively. If S is the critical surface on \(\Gamma \), then we have following equation
Direct computation shows that
and so we find Eq. (C.4) reduces
For a surface S laying on \(\Sigma _t\), its induced metric reads \(\text {d}s^2={\tilde{q}}_{AB}\text {d}x^A\text {d}x^B\) and so
The surface \(S_0\),which is parameterized by \(t_S=\) constant and \(r_S=r_0(x^A)\), is critical surface among surfaces laying on \(\Sigma _t\), so it satisfies extreme equation
This shows that \(S_0\) is also one solution of Eq. (C.5). Thus, \(S_0\) also makes integration \(\int _{S}\phi ^{-2}\text {d}S\) to be extreme among all surfaces laying on \(\Gamma \) if \(S_0\) also lays on \(\Gamma \).
In our above discussion, the 3-dimensional submanifold \(\Gamma \) can be spacelike, timelike or null. Assume that the null sheet \(u=0\) is formed by the outgoing light rays of surface \(S_0\). Above conclusion shows that the task of finding critical surface on equal-t surface can be converted into the task of finding critical surface on the null sheet \(u=0\).
Above result can be generalized. Consider a general diffeomorphically invariant functional \({\mathcal {F}}[S,\phi _i]\) in static spacetime, which is defined on a 2-dimensional surface S and depends on some static fields \(\phi _i\) (i.e. \({\mathcal {L}}_{\xi }\phi _i=0\) and \(\phi _i\) is invariant under the time reversal transformation). Assume that \(\Gamma \) is arbitrary 3-dimensional hypersurface and surface \(S_0\subset \Gamma \cap \Sigma _t\). Using the similar step, we can prove following conclusion: if \(S_0\) is a critical surface of \({\mathcal {F}}[S,\phi _i]\) among the surfaces laying on \(\Sigma _t\), it is also a critical surface of \({\mathcal {F}}[S,\phi _i]\) among the surfaces laying on \(\Gamma \).
Appendix D: An intuition about finding upper bound
To explain our logics clearly when we use variational method to prove the inequalities of photon spheres, we will use a concrete function as an example. This example, though is much simpler than the cases in the main content, can exhibit all the necessary ideas.
We consider following 4-variables function
This is the analogy of functional \({\mathcal {B}}\). The four variables of f are not independent. They satisfy following constraint
This plays the role of Einstein’s equation. It is clear that f has no upper bound if 4 variables are all free. However, only 3 of them are independent due to constraint (D.2). This is the analogy of the analysis at the end of Sec. 4.1, where we argued that target functionals involves 10 bulk variables and 11 surface variables but only 4 of bulk variables and 8 of surface variables are independent. In following we will prove that \(f\le 2\).
Firstly, by using constraint (D.2), we can prove \(f=(1+\cos ^3z+\sin ^2z)/(w^2+1)<3\). Thus, we find that f is bounded from above. This step is the analogy of Appendix B, where we use Einstein’s equation to prove that \({\mathcal {B}}\) is bounded from above.
Secondly, we use constraint (D.2) to rewrite f into a form
and treat w, z as the independent variables. This is the analogy of the steps between Eqs. (4.17) and (4.26), where we used Einstein’s equation to rewrite the formula of target functional and chose the independent variables suitably.
Thirdly, we make the variation with respective to w and z, and find all critical values (including when \(w=\infty \) and \(z=\infty \)). The variation with respective to w shows that
When \(w=\infty \), we find that on-shell value of f is 0. When \(w=0\), the variation with respective to z shows that
which shows
Thus, we find that
so we prove \(f\le 2\). This is the analogy of steps between Eqs. (4.27) and (4.35).
To conclude, our basic ideas are as follows. By using constrained equations (in our main text, they are Einstein’s equation and requirements of photon sphere), we (1) analyze how many independent variables the target function/functional has, (2) prove target function/functional is bounded from above/blow, (3) rewrite the mathematical expression of target function/functional into a suitable form and choose independent variables suitably, and (4) compute all critical values and find the maximal/minimal one.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Yang, RQ., Lü, H. Universal bounds on the size of a black hole. Eur. Phys. J. C 80, 949 (2020). https://doi.org/10.1140/epjc/s10052-020-08521-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-020-08521-7