Abstract
In this work, inspired by the definition of the photon surface given by Claudel, Virbhadra, and Ellis, we give an alternative quasi-local definition to study the circular orbits of single-pole particles. This definition does not only apply to photons but also to massive point particles. For the case of photons in spherically symmetric spacetime, it will give a photon surface equivalent to the result of Claudel, Virbhadra, and Ellis. Meanwhile, in general static and stationary spacetime, this definition can be regarded as a quasi-local form of the effective potential method. However, unlike the effective potential method which can not define the effective potential in dynamical spacetime, this definition can be applied to dynamical spacetime. Further, we generalize this definition directly to the case of pole–dipole particles. In static spherical symmetry spacetime, we verify the correctness of this generalization by comparing the results obtained by the effective potential method.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Black hole is one of most important prediction of general relativity. To confirm its existence, scientists have made a lot of efforts. In 2019, the Event Horizon Telescope (EHT) Collaborations published the first images of a supermassive black hole at the center of the M87 galaxy [1]. Later, in 2021, the EHT Collaborations released the polarized images of the black hole [2, 3]. Very recently, the EHT announced the image of the Galactic Center Supermassive Black Hole [4].
To analysis these images, it is important to study the geodesic circular orbits of the astrophysical black holes [5, 6]. On the one hand, to study the black hole shadow, we first need to study the circular orbits of photons. In static spherically symmetric spacetime, the photon sphere, where the location of the circular photon orbits, describes the boundary of the black hole shadow which corresponding to the shaded part of the image [7, 8]. On the other hand, in black hole accretion disk theory, the circular geodesic motion in the equatorial plane is of fundamental importance, the detail one can see [9]. The luminous part of the image corresponds to the accretion disk which is located at the stable circular orbit of the black hole [9, 10].
In static spacetime and stationary spacetime, one can solve the geodesic equations and define the effective potential of the system to get the circular orbits of a timelike or null geodesic. However, astrophysical black holes in reality involve evolution, and one can not use this method to get the circular orbits because the effective potential of a dynamical system can not be defined. So, in recent years, the quasi-local studies of photon sphere, photon surface and their generalization definitions have attracted some attention. The first quasi-local definition of the photon surface is given by Claudel, Virbhadra, and Ellis which based on the umbilical hypersurface [11]. Based on this definition, they studied the photon surfaces in general spherically symmetric spacetimes. However, there are some problems in this definition [12]: (i). The definition allows that spacetime, which in the absence of gravity, exists a photon surface. (ii). From their definition, one can not to get the boundary condition when solving the equation of the photon surface. (iii). The umbilical condition, i.e., the shear tensor of a hypersurface is vanishing, is too restrictive and makes their definition does not work in an axisymmetric stationary spacetime. (iv). Their definition is for photon, so, it can not deal with the case of massive point particle. The problem (i) and (ii) has been solved by [12] in general spherically symmetric spacetimes which based on the codimension-2 surface of the spacetime. For the problem (iii), there are many generalized studies. Such as Yoshino et al. generalize the photon surface to be a loosely trapped surface [13] and (dynamically) transversely trapping surface [14,15,16]; Kobialko et al. generalize the photon surface to be a fundamental photon hypersurfaces and fundamental photon regions [17, 19]. The problem (iv) has been solved by [20] which generalize the photon surface to massive particle surface and [18] which generalize the photon surface to (partial) particle surface.
In this paper, we ask and discuss some questions about the quasi-local study of circular orbits. Firstly, in static and stationary spacetimes, one always uses the effective potential method to obtain the circular orbits of the spacetime. However, the method given by Claudel, Virbhadra, and Ellis for quasi-local study of circular orbits seems to have no connection with the effective potential method. So, is there any relationship between them? Secondly, previous work all consider the point particles, but in reality, particles may have intrinsic properties, such as spin. The circular orbits of a spinning test particle in different spacetimes have been studied [21,22,23]. But, how to study the circular orbit of spinning test particles quasi-locally is still a question worth studying. Here, we only focus on spinning extended test bodies up to pole–dipole order. Unlike the point particle or the single-pole particle, it does not satisfy the geodesic equation but the Mathisson–Papapetrous–Dixon (MPD) equation [24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39]. A direct generalization of the quasi-local definition given by [11, 18] is hard to check its correctness, and we will discuss this point in Appendix A. In this paper, we give an alternative definition to study the circular orbit of a single-pole particle which is equivalent to the definition given by [11, 18]. This definition can be regarded as a quasi-local form of the effective potential method in general static and stationary spacetime, and can be easily generalized to the case of pole–dipole particles.
This paper is organized as follows: In Sect. 2, we will give the quasi-local definition of a single-pole particle surface and study its circular orbits in static spherical symmetric spacetime by using the effective method and the quasi-local definition. Further, as an example in dynamical spacetime, we will study the photon surface in vaidya spacetime by using this definition. In Sect. 3, at first, we will give a brief review of the equations of motion of spinning extended test bodies, i.e., MPD equations. Then, we will generalize the quasi-local definition of the single-pole particle surface to pole–dipole particle surface. At last, we will demonstrate the equivalence of the quasi-local definition and the effective potential method in static spherical symmetic spacetime. Section 4 is devoted to the conclusion and discussion. In Appendix A, we will give a disussion about the definition of the pole–dipole particle surface based on the definition given by [11, 18].
Convention of this paper: We choose the system of geometrized unit, i.e., set \(G=c=1\). 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\).
2 Single-pole particles
2.1 Quasi-local definition
Inspired by the definition given by [11, 18], we give the following quasi-local definition of the single-pole particle surface:
Definition 1
Let \(({\mathcal {S}},D_a,h_{ab})\) be a timelike hypersurface (or a subset of a timelike hypersurface) of \(({\mathcal {M}},\nabla _a,g_{ab})\). Let \(v^a\) be a unit normal vector to \({\mathcal {S}}\), i.e., it satisfies \(v^av_a=1\). The metric \(g_{ab}\) can be decomposed as
Let \(\gamma \) be the geodesic of a single-pole particle that intersects \({\mathcal {S}}\) at point p. At point p, the tangent vector \(K^a\) of the geodesic can be decomposed as
where \(k^a\equiv K_{\parallel }^a=h^a{}_bK^b\) is parallel to \({\mathcal {S}}\) and \(K^a_{\perp }=v^av_bK^b\) is normalized to \({\mathcal {S}}\). If for \(\forall p\in S\), there exists at least one \(\gamma \in S\) passing through p and satisfies
and
Then \({\mathcal {S}}\) is called a (partial) single-pole particle surface.
Definition 2
A (partial) single-pole particle surface is called stable if it satisfies \(v^c\nabla _c[K^b\nabla _b (k^ak_{a})]|_p\ge 0\), and unstabe if it satisfies \(v^c\nabla _c[K^b \nabla _b(k^ak_a)]\).
Below, we give some remarks:
-
(i).
Here, 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.
-
(ii).
From the geodesic equation \(K^a\nabla _aK^b=0\), one can always have \(K^b\nabla _b(K^aK_a)=0\). But, \(K^b\nabla _b(k^a k_{a})\) is not vanished in general, and condition (2.4) will give a non-trivial condition.
-
(iii).
This definition is equivalent to the definition of the particle surface given by [18]. The condition of particle surface in [18] is \(k^ak^bK_{ab}=0\),Footnote 1 where \(K_{ab}=h_a{}^ch_b{}^d\nabla _cv_d\) is the second fundamental form of \({\mathcal {S}}\). Then, for \(\forall p\in {\mathcal {S}}\), we have
$$\begin{aligned} k^ak^bK_{ab}&=k^ak^b\nabla _av_b\nonumber \\&=(K^a-v^av_cK^c)(K^b-v^bv_dK^d)\nabla _av_b\nonumber \\&=K^aK^b\nabla _av_b=K^a\nabla _a(v_bK^b)\nonumber \\&=K^c\nabla _c(\sqrt{K^aK_a-k_ak^a})\nonumber \\&=\frac{1}{2\sqrt{K^aK_a-k_ak^a}}K^c\nabla _c(K^aK_a-k_ak^a)\nonumber \\&=-\frac{1}{2v^aK_a}K^b\nabla _b(k^ak_a)\;, \end{aligned}$$(2.5)where we have used Eqs. (2.2), (2.3) and the geodesic equation \(K^a\nabla _aK^b=0\). So, when \(k^ak^bK_{ab}=0\), we have \(K^b\nabla _b(k^ak_a)=0\).
-
(iv).
In static and stationary spacetime, this definition will be equivalent to effective potential method, and we will illustrate the equivalence in static spherical symmetric spacetime in the next subsection. For the case of stationary spacetime, a similar argument follows.
-
(v).
Definition 2 is a direct modification of the stability condition given by [18]. From the condition \(v^c\nabla _c[K^b\nabla _b (k^ak_{a})]=0\), one can get the innermost stable circular orbits.
-
(vi).
The above definitions may have a widely application and they can be easily generalized to other situations. In next section, we will generalize this definition to the case of pole–dipole particles, and study the circular orbits of a pole–dipole particle in static spherical symmetric spacetime.
2.2 The circular orbits of single-pole particle in static spherical symmetric spacetime
The metric of the general static spherical symmetric spacetimes in the \(\{t,r,\theta ,\phi \}\) coordinates can be written as
where F and H are functions of radial coordinate r. Considering the untraped region, we have \(F(r)>0\) and \(H(r)>0\). Due to the spherical symmetry of the metric (2.6), we can focus our analysis on the equatorial plane, i.e., \(\theta =\pi /2\). A single-pole particle that behaves like a point particle follows a geodesic trajectory in spacetime. The four-velocity of the geodesic can be expressed as
where \(\lambda \) is the parameter of the geodesic. The normalized condition of the four-velocity is
where \(\delta =0\) for a photon and \(\delta =-1\) for a massive point particle. Then, we have
Along the geodesic, there are two conserved quatities, i.e.,
where e is the conserved orbital energy and l is the conserved orbital angular momentum of the geodesic.
2.2.1 Effective potential method
Considering Eqs. (2.10) and (2.11), Eq. (2.9) can be reformulated as
Then, the effictive potential can be defined as [10]
The particle moves along a circular orbit when two conditions are satisfied simultaneously which has been pointed out in [21, 23]:
-
(1).
The particle has zero radial velocity, i.e.
$$\begin{aligned} \frac{dr}{d\lambda }=0. \end{aligned}$$(2.14) -
(2)
The particle has zero radial acceleration, i.e.
$$\begin{aligned} \frac{d^2r}{d\lambda ^2}=0,\quad \Longrightarrow \frac{dV_{\textrm{eff}}}{dr}=0. \end{aligned}$$(2.15)
It should be noted that condition (2.14) and (2.15) only need to hold at one point. As long as the particle has zero radial velocity and radial acceleration at one point, its trajectory will be a circular orbit.
The stability condition of a circular orbit is
When \(d^2V_{\textrm{eff}}/dr^2=0\), the circular orbits correspond to the innermost stable circular orbit (ISCO).
From Eq. (2.14), we can get
And frome Eq. (2.15), we have
Combining Eqs. (2.17) and (2.18), we can get the equation of the circular orbits in the general static spherical symmetric spacetimes as follows
where a prime denotes a derivative with respect to areal radius r. The stability condition becomes
For a photon, the circular orbits can not be directly derived from the above equations,Footnote 2 it should be derived by solving Eqs. (2.17) and (2.18) which have been set \(\delta =0\). Then, one can get the circular orbit of a photon satisfies
And the stability condition of a photon circular orbits can be reduced to
For a massive point particle, the circular orbits satisfies
And the stability condition in this case can be reduced to
2.2.2 Quasi-local method
In static spherical symmetric spacetime, there exists a family of circular orbits with specific parameters located at a hypersurface which has \(r=\textrm{constant}\). The normal vector \(v^a\) of this hypersurface can be written as
Consider a timelike or null geodesic intersects the hypersurface at point p and its tangent vector \(K^a\) in equatorial plane can be written as
where we have used Eqs. (2.10) and (2.11). From the condition (2.3), at point p, we have
Then we get the equation \(k^r=dr/d\lambda =0\) which corresponding to the the first condition (2.14) of the circular orbits. The vector \(k^a\) can be written as
And from the condition (2.4), at point p, we have
where we have used the Eqs. (2.13) and (2.24). Thus, we get
which corresponds to the second condition (2.15) of the circular orbits. Further, from definition 2, one can easily get the stability condition of the circular orbits which is the same as (2.16).
2.3 Dynamic spacetime
As an example in dynamical spacetime, we study the evolution of the null circular orbits in Vaidya spacetime. For the case of a timelike geodesic, the calculation can be performed similarly.
In the in-going null coordinate \(\{v,r,\theta ,\phi \}\), the metric of the 4-dimensional Vaidya spacetime can be written as [40]
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 [11, 18]
where “\( \cdot \)” stands for the derivative with respect to the coordinate time “v” . Due of the spherical symmetry of the system, we can also focus the analysis on the equatorial plane, i.e., \(\theta =\pi /2\). The component of the tangent vector of a geodesic can be supposed as \(K^a=\{k^t,k^r,0,k^\phi \}\), where \(k^t,k^r,k^\phi \;\) can be considered as functions of v. Along the geodesic, the orbital angular momentum l is conserved, so, we have
From Eq. (2.3), we have
At point p, from the normalized condition of \(K^a\), we have
and the geodesic equation \(K^a\nabla _aK^b=0\) will give
The vector \(k^a\) can be expressed as \(\{k^t,{\dot{r}}k^t,0,l/r^2\}\). Combining Eqs. (2.31), (2.32), (2.33) and (2.34), we get
From Eq. (2.4), we have
Putting Eqs. (2.35), (2.36) and (2.37) into Eq. (2.38), we finally get
Which is exactly equation of the photon surface in [11, 18].
3 Pole–dipole particle
3.1 Review the Mathisson–Papapetrous–Dixon (MPD) equations
In this section, we will give a brief review of the Mathisson–Papapetrous–Dixon (MPD) equations. For more details, one can find in the Refs. [24, 25, 28, 29, 31,32,33,34,35].
The equations of motion of spinning extended test bodies up to the pole–dipole order are given by the MPD equations which read
where \(u^a=dx^a/ds\) is the 4-velocity of the body along its world line, and the dot denotes the covariant derivative with respect to the proper time “s”, i.e., “\(\cdot \)” \(=D/ds=u^a\nabla _{a}\). The antisymmetric tensor \(S^{ab}\) is the spin tensor and \(P^a\) is 4-momentum of the test body.
In order to close the system of Eqs. (3.1) and (3.2), a supplementary condition has to be imposed. In this work, to restrict the spin tensor to generate rotations only, we focus on the Tulczyjew spin-supplementary condition [26], i.e.,
From Eq. (3.3), it turns out that the canonical momentum and the spin of the body provide two independent conserved quantities given by the relations [37, 38]
where M is the ‘dynamical’, ‘total’ or ‘effective’ rest mass of the body and S is the spin length of the body. The spin four-vector can be defined as
where \(\epsilon ^{ba}{}_{cd}\) is the Levi-Civita tensor. It is easy to find out \(S^a\) is orthogonal to \(P^a\), i.e., \(S^aP_a=0\). In addition to the conserved quantities resulting from the Tulczyjew condition, there exist also the conserved quantities associated to the spacetime symmetries given by the Killing vectors \(\xi ^\mu \), which can be expressed as
3.2 Quasi-local definition
In this section, we will generalize the quasi-local definition of the single-pole particle surface to pole–dipole particle surface. The surface where the circular orbits of a pole–dipole particle located can be defined as:
Definition 3
Let \(({\mathcal {S}},D_a,h_{ab})\) be a timelike hypersurface (or a subset of a timelike hypersurface) of \(({\mathcal {M}},\nabla _a,g_{ab})\). Let \(v^a\) be a unit normal vector to \({\mathcal {S}}\). The metric \(g_{ab}\) can be decomposed as
Let \(x^a(s)\) is the world line of a pole–dipole particle that intersects \({\mathcal {S}}\) at point p. Let \(P^a\) be the 4-momentum of the pole–dipole particle and can be decomposed as
where \(p^a\equiv P_{\parallel }^a=h^a{}_bP^b\) is parallel to \({\mathcal {S}}\) and \(P^a_{\perp }=v^av_bP^b\) is normalized to \({\mathcal {S}}\). If for \(\forall p\in S\), there exists at least one \(x^a(s)\) passing through p and satisfies
and
Then \({\mathcal {S}}\) is called a pole–dipoe particle surface.
Definition 4
A pole–dipoe particle surface is called stable if it satisfies \(v^c\nabla _c[P^b\nabla _b (p^ap_{a})]|_p\ge 0\), and unstabe if it satisfies \(v^c\nabla _c[P^b\nabla _b (p^ap_{a})]|_p<0\).
Below, we give some remarks:
-
(i).
This definition is a direct generalization of the definition of single-pole particle surface. In this work, for simplicity, we only focus on the static spherical symmetric spacetime.
-
(ii).
Definition 3 is based on the Tulczyjew spin-supplementary condition. In static spherical symmetric spacetime, spin can be chosen to be orthogonal to the equatorial plane, i.e., the spin four-vector \(S^a\) perpendicular to equatorial plane [41, 42]. This make sure that the motion of the pole–dipole particle is planar [43].
3.3 The equivalence between the effective potential method and the quasi-local definition
In this section, we will illustrate the equivalence between the effective potential method and the quasi-local definition to study the circular orbits of a pole–dipole particle in the general static spherical symmetric spacetimes.
Because of the spherical symmetry of the line element (2.6), we can choose the equatorial plane, i.e., \(\theta =\pi /2\). And we can suppose 4-momentum of the pole–dipole particle to be \(P^a=\{p^t,p^r,0,p^\phi \}\), where \(p^t,p^r,p^\phi \;\) can be considered as functions of r. Along the world line, there are two conserved quantities for the pole–dipole particle, i.e., the energy E and the angular momentum L. From Eq. (3.7), the conserved quantities can be expressed as
where a prime denotes the derivative with respect to radial coordinate r. From the Tulczyjew spin supplementary condition (3.3), we have
From Eq. (3.4), we can get
Combining Eqs. (3.14), (3.15) and (3.16), from the spin conservation Eq. (3.5), we have
where \(s=S/{\mathcal {M}}\) is specific spin parameter. It should be noted that s can have both negative and positive values depending on the direction of spin with respect to direction of \(p_\phi \). From the conservation of energy (3.12) and angular momentum (3.13), we have
3.3.1 Effective potential method
In this subsection, we will review the effective potential method to get the circular orbits of the pole–dipole particles [23].
Putting Eqs. (3.18) and (3.19) into Eq. (3.16), we get the result that
where
and
which is consistent with the result in [23]. According to Eq. (3.20), the energy of the particle must satisfy the conditions
in order to have \((p^r)^2\ge 0\). Below, we focus on the case of the pole–dipole particle with positive energy which coincides with the effective potential to be \(V_{\textrm{eff}}=V_+\). Combining Eqs. (2.14) and (2.15), one can get the circular orbits of a pole–dipole particle on the equatorial plane in static spherical symmetric spacetime.
3.3.2 Quasi-local study of the circular orbits
In this subsection, we will use the definition 3 to study the circular orbits of a pole–dipole particle in static spherical symmetric spacetime.
In static spherical symmetric spacetime, the circular orbits of the pole–dipole particles are not evolved, and they satisfy the condition that \(r_o=\textrm{constant}\), where \(r_o\) is the location of the circular orbit. Then, the normal vector \(v^a\) of the particle surface can be written as
From condition (3.10), we have
Then we get \(p^r=0\). From Eq. (3.4) and considering (3.25), we have the following result
Organizing the above result, we get
where \(V_{\pm }\) have been given by Eq. (3.22), and
And \(p^a=\{p^t,0,0,p^\phi \}\). From Eq. (3.11), we have
Considering the result in Eqs. (3.26) and (3.27), we can get
Then, we have
Here, we make a summary of this section: In this section, we give definition 3, which is a direct generalization of definition 1, to study the circular orbits of a pole–dipole particle, and illustrated its equivalence with the effective potential method in the general static spherical symmetric spacetimes.
-
(1).
The condition \(dr/dt=0\) is equivalent to
$$\begin{aligned} p^av_a=0. \end{aligned}$$(3.32) -
(2).
The condition \(dV_{\textrm{eff}}/dr=0\) is equivalent to
$$\begin{aligned} P^b\nabla _b(p_ap^a)=0. \end{aligned}$$(3.33)Further, it is not hard to find that the stability condition, i.e., \(v^c\nabla _c[P^b\nabla _b(p_ap^a)]\ge 0\), is equivalent to the following condition
$$\begin{aligned} \frac{\partial ^2 V_+}{\partial r^2}=\frac{\partial ^2 V_{\textrm{eff}}}{\partial r^2}\ge 0. \end{aligned}$$(3.34)Using the condition that \(v^c\nabla _c[P^b\nabla _b(p_ap^a)]=0\), one can get the ISCO of the pole–dipole particle in static spherical symmetric spacetime.
4 Discussion and conclusion
In the Appendix A, we give a possible definition of the pole–dipole particle surface based on the definition given by [11, 18]. If this generalized definition is right, it can be applied to quite general spacetimes. But by this definition, because of the complicated calculation of the result, it is hard to check its correctness even in Schwarzschild spacetime. So, we need to find an another quasi-local definition of the pole–dipole particle surface.
In this paper, by deforming the condition of the particle surface in [11, 18], we obtained an alternative form of the quasi-local definition. Definition 1 can be regarded as a quasi-local form of the effective potential method in static and stationary spacetime. In dynamical spacetime, we verified its correctness by taking the example of Vaidya spacetime. Further, we generalized definition 1 into the case of pole–dipole particles and illustrated its equivalence to the effective potential method in static spherical symmetric spacetime.
At present, the study of the circular orbits of a spinning test particle is focus on static and stationary spacetime. Although the calculation may be very complicated, our definitions provide a method for solving the evolution of the circular orbit of a spinning particle in a dynamical spacetime and lay the foundation for studying the evolution of the accretion disk of an astrophysical black hole.
When solving the equation of the particle surface, there will be little difference between definition 1 and the definition in [11, 18]. If one use definition 1 to get the evolution equations of the circular orbits in a dynamical spacetime, one need to consider the geodesic equation. This will make the solving process a little more difficult. In this work, we only considered some special cases, but for the more general situation, it can be solved similarly.
Data Availability Statement
The manuscript has associated data in a data repository. [Authors’ comment: The present work is a theoretical one, and no data have been generated.].
Notes
In the definition given by [18], \(k^a\) or \(K^a\) does not matter, because the projection operator \(h^a{}_b\) is implied in \(K_{ab}\). But, in our definition, one must distiguish between \(K^a\) and \(k^a\).
For the case of null geodesic, the Eq. (2.19) and the stability condition will become the form of 0/0. Here, we just write it in a uniform form so that we can compare it with the subsequent results easily.
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. 910(1), L12 (2021). https://doi.org/10.3847/2041-8213/abe71d. arXiv:2105.01169 [astro-ph.HE]
K. Akiyama et al. [Event Horizon Telescope], Astrophys. J. Lett. 910(1), L13 (2021). https://doi.org/10.3847/2041-8213/abe4de. arXiv:2105.01173 [astro-ph.HE]
K. Akiyama et al. [Event Horizon Telescope], Astrophys. J. Lett. 930(2), L12 (2022). https://doi.org/10.3847/2041-8213/ac6674
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. 930(2), L17 (2022). https://doi.org/10.3847/2041-8213/ac6756
J.L. Synge, Mon. Not. Roy. 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
M.A. Abramowicz, P.C. Fragile, Living Rev. Relat. 16, 1 (2013). https://doi.org/10.12942/lrr-2013-1. arXiv:1104.5499 [astro-ph.HE]
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]
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
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]
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]
Y. Song, C. Zhang, Eur. Phys. J. C 83(1), 50 (2023). https://doi.org/10.1140/epjc/s10052-022-11143-w. arXiv:2208.03661 [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]
K. Kobialko, I. Bogush, D. Gal’tsov, Phys. Rev. D 106(8), 084032 (2022). https://doi.org/10.1103/PhysRevD.106.084032. arXiv:2208.02690 [gr-qc]
P.I. Jefremov, O.Y. Tsupko, G.S. Bisnovatyi-Kogan, Phys. Rev. D 91(12), 124030 (2015). https://doi.org/10.1103/PhysRevD.91.124030. arXiv:1503.07060 [gr-qc]
B. Toshmatov, D. Malafarina, Phys. Rev. D 100(10), 104052 (2019). https://doi.org/10.1103/PhysRevD.100.104052. arXiv:1910.11565 [gr-qc]
B. Toshmatov, O. Rahimov, B. Ahmedov, D. Malafarina, Eur. Phys. J. C 80(7), 675 (2020). https://doi.org/10.1140/epjc/s10052-020-8254-6. arXiv:2003.09227 [gr-qc]
M. Mathisson, Acta Phys. Polon. 6, 163–2900 (1937)
A. Papapetrou, Proc. Roy. Soc. Lond. A 209, 248–258 (1951). https://doi.org/10.1098/rspa.1951.0200
W. Tulczyjew, Acta Phys. Pol. 18, 393 (1959)
A.H. Taub, J. Math. Phys. (NY) 5, 112 (1964)
W.G. Dixon, Nuovo Cimento 34, 317 (1964)
W.G. Dixon, PhD. thesis, University of Cambridge (1965)
J. Madore, Ann. Inst. Henri Poincaré A11, 221 (1969)
W.G. Dixon, Proc. R. Soc. A 314, 499 (1970)
W.G. Dixon, Proc. Roy. Soc. A 319, 509 (1970)
W.G. Dixon, Gen. Relat. Gravit. 4, 199 (1973)
W.G. Dixon, Philos. Trans. Roy. Soc. Lond. A 277, 59 (1974)
W.G. Dixon, Isolated gravitating systems in General Relativity. in Proceedings of the International School of Physics “Enrico Fermi,” Course LXVII, edited by J. Ehlers (North Holland, Amsterdam, 1979), p. 156
Y.N. Obukhov, D. Puetzfeld, Fund. Theor. Phys. 179, 67–119 (2015). https://doi.org/10.1007/978-3-319-18335-0_2. arXiv:1505.01680 [gr-qc]
O. Semerak, Mon. Not. Roy. Astron. Soc. 308, 863–875 (1999). https://doi.org/10.1046/j.1365-8711.1999.02754.x
E. Hackmann, C. Lämmerzahl, Y.N. Obukhov, D. Puetzfeld, I. Schaffer, Phys. Rev. D 90(6), 064035 (2014). https://doi.org/10.1103/PhysRevD.90.064035. arXiv:1408.1773 [gr-qc]
J. Steinhoff, D. Puetzfeld, Phys. Rev. D 81, 044019 (2010). https://doi.org/10.1103/PhysRevD.81.044019. arXiv:0909.3756 [gr-qc]
P.C. Vaidya, Phys. Rev. 83, 10–17 (1951). https://doi.org/10.1103/PhysRev.83.10
M. Mohseni, Gen. Relat. Gravit. 42, 2477–2490 (2010). https://doi.org/10.1007/s10714-010-0995-3. arXiv:1005.3110 [gr-qc]
S.A. Hojman, F.A. Asenjo, Eur. Phys. J. C 78(10), 843 (2018). https://doi.org/10.1140/epjc/s10052-018-6341-8. arXiv:1803.03873 [gr-qc]
R.H. Rietdijk, J.W. van Holten, Class. Quantum Gravity 10, 575–594 (1993). https://doi.org/10.1088/0264-9381/10/3/017
Y.N. Obukhov, D. Puetzfeld, Phys. Rev. D 83, 044024 (2011). https://doi.org/10.1103/PhysRevD.83.044024. arXiv:1010.1451 [gr-qc]
Acknowledgements
This project is supported by the Open Research Fund of Computational Physics Key Laboratory of Sichuan Province, Yibin University (Grant no. YBXYJSWL-ZD-2020-005). This work is also supported by the Student’s Platform for Innovation and Entrepreneurship Training Program (No. S202110616084).
Author information
Authors and Affiliations
Corresponding author
Appendix A: Quasi-local definition of the pole–diople particle surface based on the concept of the photon surface
Appendix A: Quasi-local definition of the pole–diople particle surface based on the concept of the photon surface
Based on the quasi-local definition of the photon surface given by [11], one may give the following possible definition for a pole–dipole particle surface:
Definition 5
Let \({\mathcal {S}}\) be a timelike hypersurface of \(({\mathcal {M}},\nabla _a, \)\( g_{ab})\). Let \(x^a(s)\) is the world line of a pole–dipole particle on \({\mathcal {S}}\) and \(u^a=dx^a/ds\) is the 4-velocity of the body along its world line. Let \(v^a\) be a unit normal vector to \({\mathcal {S}}\) and \(p^a\) be the 4-momentum of the pole–dipole particle. If for \(\forall p\in S\), there exists at least one \(x^a(s)\in S\) passing through p and satisfies
where \(S^{ab}\) is the spin tensor, then \({\mathcal {S}}\) called is a pole–dipoe particle surface.
Below, we give some discussion about this definition:
-
(i).
The condition (A1) can be obtained by the following consideration: The condition of the photon surface in [11] can be expressed as
$$\begin{aligned} K_{ab}k^ak^b=0, \end{aligned}$$(A2)where \(K_{ab}\) is the second fundamental form of the photon surface and \(k^a\) is the tangent vector of a null geodesic. Consider the normal vector of the particle surface is \(v^a\), Eq. (A2) can be obtained by
$$\begin{aligned} k^a\nabla _a(k^bv_b)=0\Rightarrow K_{ab}k^ak^b=0, \end{aligned}$$(A3)where we have used the geodesic equation of \(k^a\). Then, for a pole–dipole particle, following a similar consideration, one may get the following condition for the pole–dipole particle surface,
$$\begin{aligned} u^b\nabla _b(p^av_a)= & {} 0 \Rightarrow -\frac{1}{2}R^a{}_{bcd}u^b S^{cd}v_a\nonumber \\{} & {} +p^au^b\nabla _b v_a=0, \end{aligned}$$(A4)where we have used the MPD equations. Further, Combining the relation [37, 44]
$$\begin{aligned} u^a=\frac{m}{M^2}\bigg (p^a+\frac{2S_{ab}R_{bcde}p^cS^{de}}{4M^2+R_{abcd}S^{ab}S^{cd}}\bigg ), \end{aligned}$$(A5)where \(m:=-p^au_a\) is a scalar parameter (the ‘kinematical’ or ‘monopole’ rest mass of a particle), one can get the equation of the pole–dipole particle surface.
-
(ii).
This definition is a natural generalization of the condition of a photon surface. If this definition is correct, it holds not only for static spherically symmetric spacetimes, but also for arbitrary spacetimes. However, one can check that, although it can be utilized to obtain the closed equation of the pole–dipole particle surface, it is difficult to check whether the result is right or not even in Schwarzschild spacetime. So, in this paper, we used a different approach to study the pole–dipole particle surface.
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., Cen, Y., Tang, L. et al. The particle surface of spinning test particles. Eur. Phys. J. C 83, 833 (2023). https://doi.org/10.1140/epjc/s10052-023-11970-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-023-11970-5