Abstract
In this paper, enlightened by the definition of the photon surface given by Claudel, Virbhadra and Ellis, we give a quasi-local definition of the particle surface. From this definition, one can study the evolution of the circular orbits in general spacetime. Especially, we pointed out that this definition can be used to get the spherical circular orbits in stationary spacetimes which cannot be got by the definition of Claudel, Virbhadra and Ellis. Further, we give a condition to exclude the particle surface in spacetime without gravity. Simultaneously, we give a quasi-local definition of the stability of the particle surface in general spacetime. From this definition, one can get the evolution equation of the innermost stable circular orbit (ISCO) in general spacetime. To verify the correctness of these definitions, we studied the circular orbits in some special cases and the results are all consistent with the previous results.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Black holes are an important prediction of general relativity. Confirming the existence of black holes can further verify the correctness of general relativity. In 2019, the Event Horizon Telescope (EHT) Collaborations published the first image of the black hole at the center of the M87 galaxy [1,2,3,4,5,6]. As shown in Fig. 1.
In this image, one can clearly see a shadowed region surrounded by a halo. This shadow region is called black hole shadow, and the halo corresponds to the black hole accretion disk. One can get a lot of information about the black hole by studying black hole shadow and accretion disk.
Up to date, there are many studies on the black hole shadow [7,8,9,10] and the accretion disk [11]. The circular orbits of the spacetime are important for black hole shadow and accretion disk. For example, in Schwarzschild spacetime, on the one hand, the photon sphere, which is the location of the circular photon orbits, is the boundary of the black hole shadow [12, 13]. On the other hand, the timelike stable circular orbits determine the position of the accretion disk and the ISCO is the boundary of the accretion disk [11]. Here, we focus on the study of the circular orbits in the spacetime. There are mainly two ways to study the circular orbits. In the first method, one can solve the geodesic equations to get the circular orbits. This method has a wide range of applications. Such as, for null geodesics, this method can be used to study the photon sphere in static spacetimes [14,15,16], the photon surface in dynamical spacetime [17, 18] and the photon region in stationary spacetimes [19,20,21,22,23]; for timelike geodesics, one can use this method to study the circular orbits in static spacetimes [24,25,26,27] and stationary spacetimes [28,29,30]. However, there are some practical problems in this traditional method which have been pointed out by [31]: (i) To grantee the separability of the geodesic equations, the systems which have been studied must have enough symmetries [7]. For real black holes, this condition is hard to satisfy. (ii) This method depends on the information at the infinity of the spacetime. This dependence means that we have to know the metric of the full spacetime, especially the future infinity of spacetime. This is impossible without additional assumptions. These problems inspire people to study the circular orbits in a different way. The second approach, which is called quasi-local study, has drawn some attention these years. For null geodesic, the first quasi-local definition of the photon surface is given by Claudel et al. [32]. They defined a photon surface in a general spacetime as an umbilical timelike hypersurface. Based on this definition, they studied the photon surfaces in general spherically symmetric spacetimes. However, there are some obvious problems with this definition: (i) This definition is based on the null geodesic, so, it can not deal with the situation of timelike geodesic. (ii) The umbilical condition can not be used to study the photon region of stationary axisymmetric spacetimes. Up to date, there are some generalization studies of photon surface in stationary axisymmetric spacetimes. Such as, Yoshino et al. generalized the photon surface to be a loosely trapped surface [33] and (dynamically) transversely trapping surface [34,35,36]; Kobialko et al. generalized the photon surface to be a fundamental photon hypersurfaces and fundamental photon regions [37, 38]. (iii) This definition can not exclude the photon surface in spacetime without gravity. For example, it allows the existence of the photon surface in Minkowski spacetime. This problem has been solved by [31] which based on the geometry of a codimension-2 surface.
In this work, we want to give a generalized definition to over come the above three problems in the definition of the photon surface. Enlightened by the quasi-local definition of the photon sphere and photon surface [31, 32], we generalized the photon surface to the particle surface. Unlike the work studied the stability of the photon surface [39, 40], we give a quasi-local definition of the stability of the particle surface in general spacetime. From this generalization, we studied the circular orbits in general spherical symmetric spacetimes and axisymmetric spacetimes. The results are all consistent with the previous results.
This paper is organized as follows: In Sect. 2, we will give the definitions of a particle surface and the stability of the particle surface. In Sect. 3, based on these definitions, we will study the circular orbits in general static spherical symmetric spacetimes. In Sect. 4, we will study the evolutions of the circular orbits in general spherical symmetric spacetimes. Especially, we will study the evolutions of the circular orbits in Vaidya spacetime. In Sect. 5, we will use the spherical orbits of Kerr spacetime and evolved spherical orbits of Kerr–Vaidya spacetime in the slow rotation limit as examples to show the validity of the Definition 1. Section 6 is devoted to the conclusion and discussion.
Convention of this paper: We choose the system of geometrized unit, i.e., set \(G=c=1\). Also, we set the mass of a massive point particle \(m=1\) and use M to denote the mass of a black hole. We use the symbol \(({\mathcal {M}},\nabla _a,g_{ab})\) to denote a manifold \({\mathcal {M}}\) with metric \(g_{ab}\) and covariant derivative operator \(\nabla _a\), and (\(g_{ab},\nabla _a\)) satisfies the compatibility condition, i.e., \(\nabla _a g_{bc}=0\). The abstract index formalism has been used to clarify some formulas or calculations. The curvature \(R_{abcd}\) of the spacetime is defined by \(R_{abcd}v^d=(\nabla _a\nabla _b-\nabla _b\nabla _a)v_c\,\) for an arbitrary tangent vector field \(v^a\) [41].
2 The definition of a particle surface and the stability of the particle surface
In this section, we will give the quasi-local definition of the particle surfaces and their stability in general spacetime. At first, let us give a brief review of the circular orbits in the Schwarzschild spacetime [41]. The metric of the Schwarzschild spacetime in \(\{t,r,\theta ,\phi \}\) coordinates can be expressed as
Due to the spherical symmetry of Schwarzschild spacetime, we can choose the equatorial plane, i.e., \(\theta =\pi /2\). The circular photon orbits, which is usually called photon sphere or photon surface, is located at
The null geodesics on the photon surface have the property that any null geodesic emitted in any tangent direction of the photon surface from any point on the photon surface will continue to propagate on the photon surface [32].
However, the case of timelike circular orbits is different. The locations of the timelike circular orbits are satisfies
where E is the conserved orbital energy and L is the conserved orbital angular momentum of the timelike geodesic. And the tangent vector of the timelike circular orbits in the equatorial plane can be written as
The timelike circular orbits are located at the hypersurface that \(r={\textrm{constant}}\), which will be called particle surface in this work. On each particle surface, the timelike geodesics with specified parameter have the property that it emitted in at least one tangent direction of the particle surface from any point on the particle surface will continue to propagate on the particle surface.
Enlightened by the above discussion and the quasi-local definition of the photon surface [31, 32], we give the following definitions:
Definition 1
Let \((S,D_a,h_{ab})\) be a timelike hypersurface (or a subset of a timelike hypersurface) of \(({\mathcal {M}},\nabla _a,g_{ab})\). Let \(k^a\) be the null or unit timelike tangent vector of \(\gamma \) which is an affine null or timelike geodesic in S, i.e., it satisfies
Let \(v^a\) be a unit normal vector to S and \(K_{ab}\) be the second fundamental form on S. If for \(\forall p\in S\), there exists at least one \(\gamma \in S\) passing through p and satisfies
where \(k^a\) can be timelike or null, and
where \(k^a\) is a null vector. Then, S is called a (partial) particle surface.
Definition 2
A (partial) particle surface is called stable if \(2v^c\nabla _c(K_{ab}k^ak^b)\ge 0\), and unstable if \(2v^c\nabla _c(K_{ab}k^ak^b)<0\).
In Definition 2, \(k^a\) can be a timelike or a null vector and we have assumed that \(v^a\) is out pointing. Roughly speaking, the out pointing requirement refers to a direction from the center of the system to infinity. The condition \(2v^c\nabla _c(K_{ab}k^ak^b)=0\) for a timelike geodesic will determine the position of the innermost stable circular orbit of the spacetime.
To get a better understand of these definitions, we give some remarks:
-
(i)
It should be noted that the spatial section of a particle surface may not be topologically closed, and it is called a partial particle surface in this work. For example, although the null particle surfaces exist in the Kerr spacetime at \(r={\textrm{constant}}\), the angular range is limited as \(-\theta _c\le \theta \le \theta _c\) from the work of Ref. [20].
-
(ii)
Although Definition 1 is quite general, it needs the spacetime have enough symmetries to solve Eq. (2.6). So, in this paper, we focus on the applications of the above definitions in spherical symmetric spacetimes and axisymmetric spacetimes. In spherical symmetric spacetimes and axisymmetric spacetimes, from the normalized condition
$$\begin{aligned} k^ak_a = \left\{ \begin{array}{ll} -1&{}\quad {\text {timelike}},\\ 0&{} \quad {\text {null}}, \end{array} \right. \end{aligned}$$and the orthogonal condition
$$\begin{aligned} k^av_a=0, \end{aligned}$$and the condition of the (partial) particle surface
$$\begin{aligned} K_{ab}k^ak^b=0, \end{aligned}$$one can get the tangent vector \(k^a\) and the equation of the (partial) particle surface. The detailed solution process will be developed in the following sections.
-
(iii)
Based on the proof given by [32], for any curve in S with timelike or null tangent vector \(k^a\), one has
$$\begin{aligned} k^aD_ak^c=k^a\nabla _ak^c+(K_{ab}k^ak^b)v^c, \end{aligned}$$(2.8)where \(D_a\) denotes covariant differentiation in S with respect to \(h_{ab}\). If the Eq. (2.6) in Definition 1 is satisfied, the second term on the right of Eq. (2.8) will be vanished, i.e., if \(k^a\) is tangent to an affine timelike or null geodesic of \((S,h_{ab})\) then the term on the left of Eq. (2.8) also vanishes and so \(k^a\) is tangent to an affine timelike or null geodesic of \((M,g_{ab})\).
-
(iv)
The tangent vector \(k^a\) satisfies the following condition:
$$\begin{aligned} k^ak_a = \left\{ \begin{array}{ll} -1&{}\quad {\text {timelike}},\\ 0&{}\quad {\text {null}}. \end{array} \right. \end{aligned}$$If \(k^ak_a=-1\), Eq. (2.6) can be used to get the stable or unstable circular orbits in general spacetime. If \(k^ak_a=0\), the Definition 1 degenerates to the photon sphere in static spherical symmetric spacetime and the photon surface in dynamical spherical symmetric spacetime. The photon region in stationary axisymmetric spacetime can be formed by a collection of (partial) photon surface.
-
(v)
In the general situation, from Eq. (2.6), one can not get the result that \(\sigma _{ab}=0\), where \(\sigma _{ab}\) is the trace-free part of \(K_{ab}\). The umbilical condition, i.e., \(\sigma _{ab}=0\), can be only used to get the photon surface in spherical symmetric spacetime [32].
-
(vi)
Equation (2.7) only need to be held for a null vector \(k^a\), i.e., \(k^ak_a=0\). As long as this condition is not satisfied, we will say that there is no particle surface in this spacetime. For a timelike geodesic, it can have continuous solutions of Eq. (2.6) and will have inhomogeneity along \(v^a\). So, Eq. (2.7) will not vanish in general, even in the spacetime which is the absence of gravity, such as the Minkowski spacetime in the next section.
-
(vii)
Equation (2.7) can be used to exclude the particle surface in the spacetime without gravity. It should be noted that our condition is based on a hypersurface, not a codimension-2 surface [31]. But it can not be used to exclude the asymptotically null photon surface in the spacetime with inhomogeneity of the gravitational field. Such as, the asymptotically null photon surface in Schwarzschild spacetime,
$$\begin{aligned} \Bigg (\frac{dr}{dt}\Bigg )^2=\Bigg (1-\frac{2M}{r}\Bigg )^2 \Bigg [1-\frac{b^2}{r^2}\Bigg (1-\frac{2M}{r}\Bigg )\Bigg ], \end{aligned}$$(2.9)where \(b=L/E\) is the impact parameter. The solutions of Eq. (2.9) also satisfy Eq. (2.6), and they can not be excluded by Eq. (2.7).
-
(viii)
The factor “2” in Eq. (2.7) or Definition 2 is not important. From the following section we will know that \(2v^c\nabla _{c}(K_{ab}k^ak^b)\) in Definition 2 is exactly the second derivative of the effective potential in static spherical symmetric spacetime, and the factor 2 is a proportionality coefficient. So, \(2v^c\nabla _{c}(K_{ab}k^ak^b)\) can be used to characterize the stability of the (partial) particle surface.
3 Static spherical symmetric spacetimes
In this section, we consider the circular orbits in general static spherical symmetric spacetimes. In the \(\{t,r,\theta ,\phi \}\) coordinates, the metric of the general static spherical symmetric spacetimes can be written as
where F and H are functions of r. Considering the untrapped region, we have \(F(r)>0\) and \(H(r)>0\). In static spacetime, the circular orbits is not evolved, and they satisfy the condition that \(r_o={\textrm{constant}}\), where \(r_o\) is the location of the circular orbit. Then, we can get the normal vector \(v^a\) as follows
Because the system has the spherical symmetry, we can choose the equatorial plane, i.e., \(\theta =\pi /2\). And we can suppose the component of the tangent vector of the circular orbit to be \(k^a=\{k^0,k^1,0,k^3\}\), where \(k^0,k^1,k^3\) are only functions of r. From the orthogonal condition that \(k^av_a=0\), we have
Then we have \(k^1=0\). So, we can choose \(k=\{k^0,0,0,k^3\}\). From Eq. (2.6), we get
where \(F'(r_o)=\partial F(r)/\partial r\mid _{r_o}\). To parameterize the circular orbit, we introduce the conserved orbital energy and the conserved orbital angular momentum which defined as
3.1 Timelike geodesic
For a timelike circular orbit, from the normalized condition of the timelike geodesic, i.e., \(k^ak_a=-1\), we have
Then, combining the Eqs. (3.4), (3.5), (3.6) and (3.7), we can get
which is consistent with the result in [16]. From Definition 2, we have
which is the second derivative of the effective potential of the timelike geodesic in [16].Footnote 1 It is well-known that ISCO satisfies that the second derivative of the effective potential is zero [42, 43]. So, at the location of ISCO, Eq. (2.7) can be zero.
3.2 Null geodesic
The circular orbit of a null geodesic in static spherical symmetric spacetime is usually called a photon sphere. So, we will substitute \(r_{ps}\) for \(r_o\) to represent the location of a null circular orbit. For a photon sphere, from the normalized condition of the null geodesic, i.e., \(k^ak_a=0\), we have
Then, combining Eqs. (3.4), (3.5), (3.6) and (3.10), we have
which is consistent with [16]. From Eq. (2.7), we have
which is the second derivative of the potential of the null geodesic in [16].
Example 1
Here, we will use Minkowski spacetime as an example to illustrate how Eq. (2.7) excludes the particle surface in the spacetime which is the absence of gravity. The metric of the Minkowski spacetime in \(\{t,r,\theta ,\phi \}\) coordinate can be written as
The unit normal vector \(v^a\) of the particle surface is
where a “\(\cdot \)” stands for the derivative with respect to coordinate time “t”. Considering the spherical symmetry of this spacetime, we study the circular orbits on the equatorial plane. Then, we suppose the component of the tangent vector of the circular orbit to be \(k^a=\{k^0,k^1,0,k^3\}\), where \(k^0,k^1,k^3\;\) are the functions of \(\{t,r\}\). From the orthogonal condition, i.e., \(k^av_a=0\), we have
where \(r_s\) represents \(r_s(t)\) and is the location of the particle surface. From Eq. (2.6), we have
3.3 Timelike geodesic
From the normalized condition of the timelike geodesic, i.e., \(k^ak_a=-1\), we have
The orbital angular momentum of the timelike geodesic can be defined as
So, combining Eqs. (3.15), (3.16), (3.17) and (3.18), we get
From Definition 2, we have
It should be pointed out that r is a function of “t” in Eq. (3.20). So, the second equal sign in Eq. (3.20) involves variational operation. Putting Eq. (3.19) into Eq. (3.20), we can easily get
So, Eq. (2.7) can be satisfied for timelike geodesic in Minkowski spacetime.
3.4 Null geodesic
From the normalized condition of the null geodesic, i.e., \(k^ak_a=0\), we have
Combining Eqs. (3.15), (3.16) and (3.22), we get
Then, we can get the solution of the above equation is
where B is an arbitrary constant factor. This is the timelike hyperboloid solution in [32]. From Eq. (2.7), we have
where we have used Eq. (3.23) or (3.24).
From this example, we can clearly see how Eq. (2.7) excludes the particle surface in the spacetime which is the absence of gravity.
Conclusion of this section: The Eq. (2.6) of Definition 1 can be used to get the circular orbits in static spherical spacetime. Definition 2 correspondings to the second derivative of the effective potential of the geodesic, so, it can be used to characterize the stability of the circular orbits in static spherical symmetric spacetimes. In more general situation, one may not define the effective potential of the system, but one can still use Eq. (2.7) to characterize the stability of the evolved circular orbits in general spacetimes.
4 General spherical symmetric spacetime
In this section, we will study the evolution of the circular orbits in general spherical symmetric spacetime. The metric of the general spherical symmetric spacetime in \(\{t,r,\theta ,\phi \}\) coordinate can be written as
where f and g are functions of \(\{t,r\}\). The unit normal vector \(v^a\) of the particle surface can be written as [32]
where f and g represent \(f(t,r_o(t))\) and \(g(t,r_o(t))\), \(r_o\) is a function of coordinate time “t” and “\(\cdot \)” stands for the derivative with respect to “t”. Considering the spherical symmetry of this spacetime, we study the circular orbits on the equatorial plane. Then, we suppose the component of the tangent vector of the circular orbit to be \(k^a=\{k^0,k^1,0,k^3\}\), where \(k^0,k^1,k^3\) are the functions of \(\{t,r\}\). From the orthogonal condition, i.e., \(k^av_a=0\), we have
4.1 Timelike geodesic
For an evolved timelike circular orbit,from the normalized condition of the timelike geodesic, i.e., \(k^ak_a=-1\), we have
To parametrize the timelike circular orbit of the general dynamical spherical symmetric spacetime, we introduce the conserved orbital angular momentum of the timelike circular orbit which defined as
From Eq. (2.6) and considering Eqs. (4.3), (4.4) and (4.5), we have
where \(\dot{f}\) represents \(\partial f(t,r)/\partial t\mid _{r_o(t),t}\) and \(f^\prime \) represents \(\partial f(t,r)/\partial r\mid _{r_o(t),t}\). Solving Eq. (4.6), we have
This is the evolution equation of the timelike circular orbits in general spherical symmetric spacetime and it is consistent with the result in [45].
4.2 Null geodesic
The evolved circular photon orbit in dynamical spherical symmetric spacetime is usually called a photon surface. So, we will substitute \(r_{ph}\) for \(r_o\) to represent the location of a null circular orbit. It should be noted that \(r_{ph}\) represents \(r_{ph}(t)\) and is a function of coordinate time “t”. For a photon surface, from the normalized condition of the null geodesic, i.e., \(k^ak_a=0\), we have
From Eq. (2.6) and combining Eqs. (4.3) and (4.8), we have
Solving Eq. (4.9), we get
This is the equation of the photon surface in general spherical symmetric spacetime.
Example 2
As an example, we study the evolution of the circular orbits in the in-going Vaidya spacetime. The metric of the 4-dimensional Vaidya spacetime in the in-going null coordinate \(\{v,r,\theta ,\phi \}\) can be written as [44]
where M(v) is a freely specifiable function of v. The unit normal vector \(v^a\) of the particle surface in Vaidya spacetime can be written as [32]
where “\(\cdot \)” stands for the derivative with respect to the coordinate time “v”. Because of the spherical symmetry of the system, we can study this question on the equatorial plane, i.e., \(\theta =\pi /2\). Similarly, we can suppose the component of the tangent vector of the circular orbit to be \(k^a=\{k^0,k^1,0,k^3\}\), where \(k^0,k^1,k^3\) are functions of \(\{v,r\}\). From the orthogonal condition that \(k^av_a=0\), we have
From Eq. (2.6), we have
\(\bullet \) Timelike geodesic:
For a timelike geodesic, from the normalized condition that \(k_ak^a=-1\), we have
To parametrize the timelike circular orbit of the Vaidya spacetime, we introduce the conserved orbital angular momentum of the timelike circular orbit which defined as
So, we have
Combining Eqs. (4.13), (4.15) and (4.17), we have
and
Here, we choose \(k^a\) to be a future-pointing vector. Putting Eqs. (4.17), (4.18) and (4.19) into Eq. (4.14), we have
which is consistent with the result in [45]. To get the evolution equation of the ISCO in Vaidya spacetime, one needs to require \(v^c\nabla _c(K_{ab}k^ak^b)=0\). Then, one can get
which is consistent with the result in [45]. For a more general situation, it is not hard to show Definition 2 will give the same result as [45].
-
Null geodesic:
For a photon surface in Vaidya spacetime, from the normalized condition of the null geodesic, i.e., \(k_ak^a=0\), we have
From Eqs. (4.13) and (4.22), we have
and
Combining Eqs. (4.23), (4.24) and (4.14), we have
This is the equation of the photon surface in Vaidya spacetime and it is consistent with the result in [32].
5 Kerr spacetime
In this section, we will study the spherical orbits in Kerr spacetime to illustrate the validity of the definition in general stationary axisymmetric spacetimes.
The metric of the 4-dimensional Kerr spacetime in Boyer–Lindquist coordinates takes the following form
where a is the angular momentum per unit mass of the black hole (\(0\le a\le M\)), and the functions \(\Delta ,\Sigma \) are defined as
The spherical orbits are not evolved in general stationary axisymmetric spacetimes and satisfy \(r={\textrm{constant}}\) [23]. So, the normal vector \(v^a\) of the particle surface in Kerr spacetime can be expressed as
The tangent vector of spherical orbits can be generally choosed as \(k^a=\{k^0,k^1,k^2,k^3\}\). From the orthogonal condition, i.e. \(k^av_a=0\), we have \(k^1=0\). So, \(k^a\) becomes \(\{k^0,0,k^2,k^3\}\).
To obtain an explicit parameterization of the class of spherical orbits in the Kerr spacetime, we introduce the conserved orbital energy and orbital angular momentum as follows
where \(\Sigma _o=r_o^2+a^2\cos ^2\theta \). Simultaneously, we introduce the Carter’s constant of the spherical orbit which can be defined as
and \(q_o\) is defined as
where
and
where \(\Delta _o=r_o^2-2Mr_o+a^2\). Then, we introduce the parameter
and
where \(\chi \equiv k^3/k^0\). Considering the Eq. (2.6), we have
5.1 Null geodesic
The spatial section of the photon surface in Kerr spacetime is not topologically closed, and the collection of the photon surface forms the photon region in Kerr spacetime [20]. For a spherical photon orbit, from the normalized condition of the null geodesic, i.e., \(k^ak_a=0\), we have
Combining the Eqs. (5.12), (5.13), (5.14) and (5.15), one can get
which are consistent with the results in [20].
5.2 Timelike geodesic
For a spherical timelike orbit, from the normalized condition of the timelike geodesic, i.e., \(k^ak_a=-1\), we have
Solving Eqs. (5.5) and (5.6), we get
From Eq. (5.7), we have
Putting Eqs. (5.19) and (5.20) into Eq. (5.21), we get
Combining Eqs. (5.14), (5.18), (5.19) and (5.20), we have
Combining Eqs. (5.22) and (5.23), after some calculations, one can get the same result as [30]
6 Kerr–Vaidya spacetime in the slow-rotation limit
In this section, we will study the evolution of the spherical orbits of the Kerr–Vaidya spacetime in the slow-rotation limit.
For simplicity, we focus on the equatorial plane of the 4-dimensional Kerr–Vaidya spacetime. In the slow rotation limit, the metric of the Kerr-Vaidya spacetime on the equatorial plane can be expressed as [17, 46]
For an evolved circular orbits, one can suppose the component of the tangent vector of the evolved spherical orbits to be \(k^a=\{k^0,k^1,k^2\}\), where \(k^0,k^1,k^2\) are the functions of \(\{v,r\}\). The unit normal vector \(v^a\) of the particle surface can be written as
where “\(\cdot \)” stands for the derivative with respect to the coordinate time “v”. From the orthogonal condition that \(k^av_a=0\), we have
where \(r_o\) and \(\phi _o\) represent \(r_o(v)\) and \(\phi _o(v,r_o(v))\) respectively. From the Eq. (2.6) of Definition 1, we have
6.1 Null geodesic
For an arbitrary null geodesic, we have \(ds^2=0\). Then, we can get the following result
Solving the above equation, we get
Here, we can only consider the lowest order of a. So, we have
From the normalizing condition of \(k^a\), i.e., \(k^ak_a=0\), we have
Combining Eqs. (6.3), (6.8), (6.4) and (6.7), we get
where “\(+\)” correspond to the orbital angular momentum associated with “direct” circular orbit and “−” corresponds to the “retrograde” circular orbit. This is the evolution equation of the circular photon orbits at the equatorial plane of the Kerr–Vaidya spacetime in the slow rotation limit, and it is consistent with the result in [17].
6.2 Timelike geodesic
For an arbitrary timelike geodesic, we have
where \(\tau \) is the affine parameter of the timelike geodesic, and the conserved orbital angular momentum can be defined as
Combining Eqs. (6.10) and (6.11), we get
Here, we only consider the lowest order of a. So, we have
Considering an evolved timelike circular orbits of Kerr–Vaidya spacetime in the slow rotation limit, from the normalizing condition of \(k^a\), i.e., \(k^ak_a=-1\), we have
and the corresponding angular momentum can be expressed as
Combining Eqs. (6.3), (6.4), (6.14), (6.13) and (6.15), we have
This is the evolution equation of the timelike circular orbits at the equatorial plane of the Kerr–Vaidya spacetime in the slow rotation limit, and it is consistent with the result in [45].
7 Discussion and conclusion
In this paper, based on the definition of the photon surface given by [31, 32], we give a quasi-local definition of the (partial) particle surface in general spacetime in Definition 1 and a simple classification in Definition 2. The new definition has three advantages over [32]. First, it can be used to get the timelike circular orbits in general spacetime. Second, it can be used to study the photon region of the Kerr-like spacetime. Third, it not allows for the existence of the particle surface in spacetime without gravity. The third point is a little bit different from [31] which is based on a codimension-2 surface, and our definition is based on a hypersurface.
In Definition 2, we give a quasi-local definition of the stability of the circular orbits. In the static spherical symmetric spacetime, this condition consistent with the second derivative of the effective potential of the system. In more general situation, one may not define the effective potential of the system. But, one can still use Definition 2 to classify the stability of the circular orbits. One can use the condition that \(v^c\nabla _c(K_{ab}k^ak^b)=0\) to get the evolution equation of the ISCO in general spacetime, and the result is consistent with [45].
Using Definition 1, we studied the (partial) particle surface in general spherical symmetric spacetime and axisymmetric spacetime. The results obtained by our definition are all consistent with the previous results. Although we only studied the situation in 4-dimensional spacetime, our definition actually can be used in higher spacetimes and it is easy to generalize the previous studies to higher spacetimes.
When solving the evolution equation of the (partial) particle surface, one need give appropriate boundary conditions. But from our definition, one can not get the boundary condition. The similar question in the study of photon surface has been solved by [31] which is based on a codimension-2 surface. One may solve the boundary question in our definition by using the method based on a codimension-2 surface.
Data Availability
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: The present work is a theoretical one, and no data have been generated.]
References
K. Akiyama et al. (Event Horizon Telescope), Astrophys. J. Lett. 875, L1 (2019). https://doi.org/10.3847/2041-8213/ab0ec7. arXiv:1906.11238 [astro-ph.GA]
K. Akiyama et al. (Event Horizon Telescope), Astrophys. J. Lett. 875(1), L6 (2019). https://doi.org/10.3847/2041-8213/ab1141. arXiv:1906.11243 [astro-ph.GA]
K. Akiyama et al. (Event Horizon Telescope), Astrophys. J. Lett. 875(1), L5 (2019). https://doi.org/10.3847/2041-8213/ab0f43. arXiv:1906.11242 [astro-ph.GA]
K. Akiyama et al. (Event Horizon Telescope), Astrophys. J. Lett. 875(1), L4 (2019). https://doi.org/10.3847/2041-8213/ab0e85. arXiv:1906.11241 [astro-ph.GA]
K. Akiyama et al. (Event Horizon Telescope), Astrophys. J. Lett. 875(1), L2 (2019). https://doi.org/10.3847/2041-8213/ab0c96. arXiv:1906.11239 [astro-ph.IM]
K. Akiyama et al. (Event Horizon Telescope), Astrophys. J. Lett. 875(1), L3 (2019). https://doi.org/10.3847/2041-8213/ab0c57. arXiv:1906.11240 [astro-ph.GA]
A. Grenzebach, The Shadow of Black Holes—An Analytic Description. SpringerBriefs in Physics (Springer, Heidelberg, 2016)
P.V.P. Cunha, C.A.R. Herdeiro, Gen. Relativ. Gravit. 50(4), 42 (2018). arXiv:1801.00860 [gr-qc]
K.S. Virbhadra, arXiv:2204.01792 [gr-qc]
K.S. Virbhadra, arXiv:2204.01879 [gr-qc]
M.A. Abramowicz, P.C. Fragile, Living Rev. Relativ. 16, 1 (2013). https://doi.org/10.12942/lrr-2013-1. arXiv:1104.5499 [astro-ph.HE]
J.L. Synge, Mon. Not. R. Astron. Soc. 131(3), 463–466 (1966). https://doi.org/10.1093/mnras/131.3.463
K.S. Virbhadra, G.F.R. Ellis, Phys. Rev. D 62, 084003 (2000). https://doi.org/10.1103/PhysRevD.62.084003. arXiv:astro-ph/9904193
W. Hasse, V. Perlick, Gen. Relativ. Gravit. 34, 415–433 (2002). https://doi.org/10.1023/A:1015384604371. arXiv:gr-qc/0108002
S. Chakraborty, S. Chakraborty, Can. J. Phys. 89, 689–695 (2011). https://doi.org/10.1139/p11-032. arXiv:1109.0676 [gr-qc]
V. Cardoso, A.S. Miranda, E. Berti, H. Witek, V.T. Zanchin, Phys. Rev. D 79(6), 064016 (2009). https://doi.org/10.1103/PhysRevD.79.064016. arXiv:0812.1806 [hep-th]
A.K. Mishra, S. Chakraborty, S. Sarkar, Phys. Rev. D 99(10), 104080 (2019). https://doi.org/10.1103/PhysRevD.99.104080. arXiv:1903.06376 [gr-qc]
Y. Koga, N. Asaka, M. Kimura and K. Okabayashi, Phys. Rev. D 105(10), 104040 (2022), https://doi.org/10.1103/PhysRevD.105.104040. arXiv:2202.00201 [gr-qc] .
J.M. Bardeen, W.H. Press, S.A. Teukolsky, Astrophys. J. 178, 347 (1972). https://doi.org/10.1086/151796
Edward Teo, Gen. Relativ. Gravit. 35, 1909–1926 (2003). https://doi.org/10.1023/A:1026286607562
T. Johannsen, Astrophys. J. 777, 170 (2013). https://doi.org/10.1088/0004-637X/777/2/170. arXiv:1501.02814 [astro-ph.HE]
T. Igata, H. Ishihara, Y. Yasunishi, Phys. Rev. D 100(4), 044058 (2019). https://doi.org/10.1103/PhysRevD.100.044058. arXiv:1904.00271 [gr-qc]
C. Cederbaum, S. Jahns, Gen. Relativ. Gravit. 51(6), 79 (2019). https://doi.org/10.1007/s10714-019-2561-y. arXiv:1904.00916 [math.DG]. [Erratum: Gen. Relativ. Gravit. 51(11), 154 (2019)]
N.J. Cornish, J.J. Levin, Class. Quantum Gravity 20, 1649–1660 (2003). https://doi.org/10.1088/0264-9381/20/9/304. arXiv:gr-qc/0304056
R.S.S. Vieira, J. Schee, W. Kluźniak, Z. Stuchlík, M. Abramowicz, Phys. Rev. D 90(2), 024035 (2014). https://doi.org/10.1103/PhysRevD.90.024035. arXiv:1311.5820 [gr-qc]
P. Boonserm, T. Ngampitipan, A. Simpson, M. Visser, Phys. Rev. D 101(2), 024050 (2020). https://doi.org/10.1103/PhysRevD.101.024050. arXiv:1909.06755 [gr-qc]
T. Berry, A. Simpson, M. Visser, Universe 7(1), 2 (2020). https://doi.org/10.3390/universe7010002. arXiv:2008.13308 [gr-qc]
P. Slaný, M. Pokorná, Z. Stuchlík, Gen. Relativ. Gravit. 45, 2611–2633 (2013). https://doi.org/10.1007/s10714-013-1606-x
Z. Stuchlik, P. Slany, Phys. Rev. D 69, 064001 (2004). https://doi.org/10.1103/PhysRevD.69.064001. arXiv:gr-qc/0307049
E. Teo, Gen. Relativ. Gravit. 53(1), 10 (2021). https://doi.org/10.1007/s10714-020-02782-z. arXiv:2007.04022 [gr-qc]
L.M. Cao, Y. Song, Eur. Phys. J. C 81(8), 714 (2021). https://doi.org/10.1140/epjc/s10052-021-09502-0. arXiv:1910.13758 [gr-qc]
C.M. Claudel, K.S. Virbhadra, G.F.R. Ellis, J. Math. Phys. 42, 818–838 (2001). https://doi.org/10.1063/1.1308507. arXiv:gr-qc/0005050
T. Shiromizu, Y. Tomikawa, K. Izumi, H. Yoshino, PTEP 2017(3), 033E01 (2017). https://doi.org/10.1093/ptep/ptx022. arXiv:1701.00564 [gr-qc]
H. Yoshino, K. Izumi, T. Shiromizu, Y. Tomikawa, PTEP 2017(6), 063E01 (2017). https://doi.org/10.1093/ptep/ptx072. arXiv:1704.04637 [gr-qc]
H. Yoshino, K. Izumi, T. Shiromizu, Y. Tomikawa, PTEP 2020(2), 023E02 (2020). https://doi.org/10.1093/ptep/ptz161. arXiv:1909.08420 [gr-qc]
D.V. Gal’tsov, K.V. Kobialko, Phys. Rev. D 99(8), 084043 (2019). https://doi.org/10.1103/PhysRevD.99.084043. arXiv:1901.02785 [gr-qc]
K.V. Kobialko, D.V. Gal’tsov, Eur. Phys. J. C 80(6), 527 (2020). https://doi.org/10.1140/epjc/s10052-020-8070-z. arXiv:2002.04280 [gr-qc]
K. Kobialko, I. Bogush, D. Gal’tsov, Phys. Rev. D 104(4), 044009 (2021). https://doi.org/10.1103/PhysRevD.104.044009. arXiv:2104.02167 [gr-qc]
Y. Koga, T. Harada, Phys. Rev. D 100(6), 064040 (2019). https://doi.org/10.1103/PhysRevD.100.064040. arXiv:1907.07336 [gr-qc]
Y. Koga, T. Igata, K. Nakashi, Phys. Rev. D 103(4), 044003 (2021). https://doi.org/10.1103/PhysRevD.103.044003. arXiv:2011.10234 [gr-qc]
R. M. Wald, Chicago Univ. Pr., (1984). https://doi.org/10.7208/chicago/9780226870373.001.0001
O.Y. Tsupko, G.S. Bisnovatyi-Kogan, P.I. Jefremov, Gravit. Cosmol. 22(2), 138–147 (2016). https://doi.org/10.1134/S0202289316020158. arXiv:1605.04189 [gr-qc]
D. Berenstein, Z. Li, J. Simon, Class. Quantum Gravity 38(4), 045009 (2021). https://doi.org/10.1088/1361-6382/abcaeb. arXiv:2009.04500 [hep-th]
P.C. Vaidya, Phys. Rev. 83, 10–17 (1951). https://doi.org/10.1103/PhysRev.83.10
Y. Song, Eur. Phys. J. C 81(10), 875 (2021). https://doi.org/10.1140/epjc/s10052-021-09623-6. arXiv:2108.00696 [gr-qc]
M. Murenbeeld, J.R. Trollope, Phys. Rev. D 1, 3220–3223 (1970). https://doi.org/10.1103/PhysRevD.1.3220
Acknowledgements
We would like to thank Li-Ming Cao for his useful discussions and kindly helps. This work is supported by the National Natural Science Foundation of China (Grant nos. 41930112, 91755215 and 11804238), and our research is also supported by Sichuan Science and Technology Program (Grant no. 2022YFG0317).
Author information
Authors and Affiliations
Corresponding author
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. SCOAP3 supports the goals of the International Year of Basic Sciences for Sustainable Development.
About this article
Cite this article
Song, Y., Zhang, C. Quasi-local studies of the particle surfaces and their stability in general spacetimes. Eur. Phys. J. C 83, 50 (2023). https://doi.org/10.1140/epjc/s10052-022-11143-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-022-11143-w