Professional Documents
Culture Documents
Relativistic Roche Problem For Stars in Precessing Orbits Around A Spinning Black Hole
Relativistic Roche Problem For Stars in Precessing Orbits Around A Spinning Black Hole
suggests the presence of a new instability before the tidal disruption limit is encountered in such
systems.
dui ∂P ∂ϕ
ρ =− −ρ + ρ(Ω2 xi − δi3 Ω2 x3 ) Then, Eq. (26) is written as
dτ ∂xi ∂xi
3 3 3
d
Jij = 2Tij + Πδij + Mij + Ω2 Iij − δi3 Ω2 I3j
X X X
+ 2ρ ϵil3 ul Ω + ρ ϵil3 xl Ω̇ − ρ C̃il xl , (23)
dτ
l=1 l=1 l=1 3 3 3
X X X
where xi and ui denote the coordinates and the velocity + 2Ω ϵil3 Jlj + ϵil3 Ω̇Ilj − C̃il Ilj . (32)
l=1 l=1 l=1
field of the star in the rotating frame, δij is the Kronecker
delta, ϵijk is the completely antisymmetric tensor in 3 From this, we can deduce the symmetrized version
dimension, and Ω̇ = dΩ/dτ .
We then assume that the pressure is given by 1 d2
Iij = 2Tij + Πδij + Mij
3
! 2 dτ 2
x2i
X
2 1
P = pc 1 − , (24) +Ω Iij − (δi3 I3j + δj3 I3i )
a2
i=1 i
2
3
X
where pc is the central pressure and ai (i = 1–3) denote +Ω (ϵil3 Jlj + ϵjl3 Jli )
the axial length of the star for the corresponding direc- l=1
tions. This setting enables us to assume that the velocity 3
1 X
depends linearly on the position as + Ω̇ (ϵil3 Ilj + ϵjl3 Ili )
2
l=1
3
X 3
ui = Qik xk , (25) 1 X
− (C̃il Ilj + C̃jl Ili ), (33)
k=1 2
l=1
where Qik is a matrix to be defined. and the antisymmetrized version of the tensor virial re-
We now follow the method developed by Chan- lation [16],
drasekhar to derive the second-rank tensor virial tensor
equations [2]. First, we multiply xj to Eq. (23) and in- d
tegrate over the volume V of the entire star. Then we (Jij − Jji ) = −Ω2 (δi3 I3j − δj3 I3i )
dτ
obtain X3
Z Z Z +2Ω (ϵil3 Jlj − ϵjl3 Jli )
dui 3 ∂P 3 ∂ϕ
ρ xj d x = − xj d x − ρ xj d3 x l=1
V dτ V ∂xi V ∂xi 3
Z X
+ ρ(Ω2 xi − δi3 Ω2 x3 )xj d3 x +Ω̇ (ϵil3 Ilj − ϵjl3 Ili )
V l=1
3
X Z 3
X Z 3
X
+ 2Ω ϵil3 ul xj d3 x + ϵil3 Ω̇ xl xj d3 x − (C̃il Ilj − C̃jl Ili ). (34)
l=1 V l=1 V l=1
3 Z
X
− ρC̃il xl xj d3 x. (26) Equation (34) is interpreted as the evolution equation of
l=1 V the angular momentum. Equation (32) will serve as our
basis for the exploration of the influence of the tidal force
To rewrite this equation, we introduce the following in- on stars orbiting a Kerr BH.
4
C. Equatorial plane case In this paper, we pay attention to the cases of f = 0 and
1. For f = 0, the fluid has no internal motion in the
When the star orbits a BH on its equatorial plane, the rotating frame. In the inertial frame, the fluid’s inter-
equations become analytically solvable. Although this nal motion comes only from the rotation. On the other
case was already studied in [8], we will here restate the hand, for f = 1, the fluid has a certain vorticity in the
main results, as they are the zeroth-order solutions for rotating frame, while in the inertial frame, the fluid does
the main problem in this paper. not have any circulation. We refer to this case as ir-
Assuming that the star is in equilibrium, Eq. (33) is rotational Roche-Riemann ellipsoid (IRRE) [2]. It has
written as been shown that this velocity configuration is typically
(approximately) satisfied for binary neutron stars and
1 BH-NS binaries in the late inspiraling stage [17, 18].
0 = 2Tij + Πδij + Mij + Ω2 Iij − (δi3 I3j + δj3 I3i )
2 In the case of the equatorial orbits, Eq. (35) becomes
3 3
X 1X
+Ω (ϵil3 Jlj + ϵjl3 Jli ) − (C̃ik Ikj + C̃jk Iki ), pc ∆0
2 0 = Λ̃2 − 2α2 Ω̃Λ̃ − 2A1 + 2 + 3Ω̃2 , (46)
l=1 k=1 πρ2 a21 P0
(35) pc
0 = α22 Λ̃2 − 2α2 Ω̃Λ̃ − 2α22 A2 + 2 2 2 , (47)
πρ a1
while Eq. (34) is trivially satisfied because Ω̇ = 0 and
off-diagonal components of C̃ij vanish: In this case, the pc ∆0
0 = −2α32 A3 + 2 2 2 − α32 Ω̃2 3 − 2 , (48)
non-zero components of the tidal tensor are πρ a1 P0
∆0 where we defined dimensionless quantities, α2 := a2 /a1 ,
C̃11 = Ω20 1 − 3 , (36)
P0 α3 := a3 /a1 , Ω̃ := Ω0 /(πρ)1/2 , and Λ̃ := Λ/(πρ)1/2 .
C̃22 = Ω20 , (37) After fixing f and eliminating pc /(πρ2 a21 ), we can de-
∆0 termine α2 and Ω̃ as functions of α3 . We plot the the
C̃33 = Ω20 − 2 + 3 , (38) relations between Ω̃ and α3 for f = 0 and 1 in Fig. 1,
P0
which agree with those in [8].
where Ω20 = m/r03 [6], ∆0 = r02 − 2mr0 + a2 , and P0 = One notices that Ω̃ reaches a maximum value Ω̃crit cor-
1/2
r02 − 3mr0 + 2am1/2 r0 . Like in the standard Roche responding to α3,crit . Above this value, there is no possi-
problem, we can assume that the principal axes of the ble equilibrium configuration of the star. This gives the
ellipsoid coincide with the axes of our frame. Thus, we relativistic Roche limit, already computed in [5, 8]. As
have [2] in [8], we find that at the innermost stable circular orbit
1 (ISCO) Ω̃2crit ≈ 0.06364 for f = 1, and Ω̃2crit ≈ 0.06640
Iij = M a2i δij , (39) for f = 0 [5]. As in the classical case, one can expect that
5
the star is unstable against mass shedding/tidal disrup-
Mij = −2πρAi Iij , (40)
Z ∞ tion for α3 < α3,crit and stable when α3 > α3,crit . Thus,
du for a given value of ρ, Ω has a maximum value, i.e., the
Aj = a1 a2 a3 , (41)
0 D(a2j + u) orbital separation r0 has a minimum value, and for the
smaller orbital separation, the star should start the tidal
where disruption process.
q
D= (a21 + u)(a22 + u)(a23 + u). (42)
As we assume that the internal motion is characterized III. STARS IN SLIGHTLY PRECESSING
by a vorticity around the 3-axis, we set ORBITS
a1 a−1
0 2 0 A. Method for the expansion
Q = Λ −a−11 a2 0 0 , (43)
0 0 0
We now explore the cases that the star does not lie
where Λ is the magnitude of the vorticity. The circulation on the equatorial plane. For this, we perform perturba-
of the star in the inertial frame is then written as tive calculations using ε = θ − π/2 as an infinitesimal
parameter. The zeroth-order solution is determined by
a2 + a22
CΓ = πa1 a2 2Ω0 − 1 Λ the equations for the equatorial orbits reviewed in the
a1 a2 previous section. We then need to consider a small per-
= 2πa1 a2 Ω0 (1 − f ), (44) turbation away from this configuration for 0 < ε ≪ 1.
To obtain the perturbed configuration, we assume that
where every fluid element is displaced as xi → xi + ξi where
a21 + a22 Λ ξi is an infinitesimal displacement. For this, we as-
f= . (45) sume the form of ξi =
P3
ξ x , which can satisfy
2a1 a2 Ω0 j=1 ij j
5
The resulting equations can be divided in two types as nation of the orbit.
shown in the following subsections. In the following, we
only consider equations which contain non-zero contribu-
tions of lower-order solutions of the fluid. This allows us B. First-order calculations
to focus only on the displacement induced by the incli-
To solve the first-order equations for the displacement,
we select only the contribution of order ε0 in the equa-
tion. If we start from Eq. (32), this gives us
3 3 3
d2 X dVi;k X X
2
Vi;j − 2 Qjk =− ((Q2 )jl Vi;l + (Q2 )il Vj;l ) − 2πρBij Vij + πρa2i δij Ail Vll
dτ dτ
k=1 l=1 l=1
3 3
! 3 3
X d X X (0)
X (1)
+ Ω20 Vij − δi3 Ω20 V3j + δij δΠ + 2 ϵil3 Ω0 Vl;j + (Qlk Vj;k − Qjk Vl;k ) − C̃ik Vkj − C̃ik Ikj . (64)
dτ
l=1 k=1 k=1 k=1
(1)
As before, we can write the corresponding symmetrized (−ωθ2 − Ω20 + C̃22 − C̃33 )V2;3
and antisymmetrized equations. We only need to con- + (ωθ2 − Ω20 + 2Ω0 Λα2−1 + C̃22 − C̃33 )V3;2
(1)
(72)
sider 4 of these equations at first order. Indeed only the
(1) (1)
equations for the indices (i, j) = (1, 3), (3, 1), (2, 3), (3, 2) − 2Ω0 ωθ V1;3 + 2Λωθ α2 V3;1 = 0.
contain the non-zero contribution from the inertia tensor.
Since the first-order perturbative quantities should These equations can be recasted as a matrix equation
vary periodically in time with the angular velocity ωθ , 3
(1) (1) (1)
X
we use the ansatz for the variables as Mik Vk = Ci , (73)
(1) k=1
V1;3 = V1;3 cos(ωθ τ ), (65)
(1)
where
V3;1 = V3;1 cos(ωθ τ ), (66) (1) (1) (1) (1) (1)
Vi = (V1;3 , V3;1 , V2;3 , V3;2 ), (74)
(1)
V2;3 = V2;3 sin(ωθ τ ), (67)
(1) (1)
V3;2 = V3;2 sin(ωθ τ ). (68) (1) M C̃13 2
Ci =− (a3 + a21 , a23 − a21 , 0, 0), (75)
5
Then the symmetrized equations become
(1) (1)
(−ωθ2 + 4πρB13 − Ω20 + C̃11 + C̃33 )V1;3 C̃13 = C̃13 cos(ωθ τ )
p
+ (−ωθ2 + 4πρB13 − Ω20 − 2Λ2 m r02 + K0 (r02 + 5K0 )
= 3aε0 cos(ωθ τ ) √ , (76)
(1) (69) K0 r 6
+ 2Ω0 Λα2 + C̃11 + C̃33 )V3;1
2 and
(1) (1) (1) a + a21
− 2Ω0 ωθ V2;3 − 2Λωθ α2−1 V3;2 = −M C̃13 3 , (1)
5 M11 = − ωθ2 + 4πρB13 − Ω20 + C̃11 + C̃33 ,
(1)
M12 = − ωθ2 + 4πρB13 − Ω20 − 2Λ2
(1)
(−ωθ2 + 4πρB23 − Ω20
+ C̃22 + C̃33 )V2;3 (77)
+ 2Ω0 Λα2 + C̃11 + C̃33 ,
+ (−ωθ2 + 4πρB23 − Ω20 − 2Λ2 (1)
(70) M13 = − 2Ω0 ωθ ,
(1)
+ 2Ω0 Λα2−1 + C̃22 + C̃33 )V3;2 (1)
M14 = − 2Λωθ α2−1 ,
(1) (1)
− 2Ω0 ωθ V1;3 − 2Λωθ α2 V3;1 = 0,
(1)
while the antisymmetrized equations are M21 = − 2Ω0 ωθ ,
(1)
(1) M22 = − 2Λωθ α2 ,
(−ωθ2 − Ω20 + C̃11 − C̃33 )V1;3
(1)
(1) M23 = − ωθ2 + 4πρB23 − Ω20 + C̃22 + C̃33 , (78)
+ (ωθ2 − Ω20 + 2Ω0 Λα2 + C̃11 − C̃33 )V3;1 (71) (1)
2 M24 = − ωθ2 + 4πρB23 − Ω20 − 2Λ2
(1) (1) (1) a − a21
− 2Ω0 ωθ V2;3 + 2Λωθ α2−1 V3;2 = −M C̃13 3 , + 2Ω0 Λα2−1 + C̃22 + C̃33 ,
5
7
(1) (−2πρ(B13 − B12 ) + 2Ω0 Λα2 )V1;1
M31 = − ωθ2 − Ω20 + C̃11 − C̃33 ,
(1)
d2
M32 =ωθ2 − Ω20 + 2Ω0 Λα2 + C̃11 − C̃33 , + + 2πρ(3B22 − B23 ) − 2Ω20 − 2Λ2 + 2Ω0 Λα2−1
(1)
(79) dτ 2
M33 = − 2Ω0 ωθ , d2
(1) + 2C̃22 V2;2 + − 2 − 2πρ(3B33 − B23 ) − 2C̃33 V3;3
M34 =2Λωθ α2−1 , dτ
d d
+ 2Ω0 V1;2 + 2Λα2 V2;1
dτ dτ
(2) (2)
= −C̃22 I22 + C̃33 I33 + C̃13 (V3;1 + V1;3 )
(1)
M41 = − 2Ω0 ωθ , + 4Ω(2) (Ω0 − Λα2−1 )I22 ,
(1)
M42 =2Λωθ α2 , (83)
(1)
(80)
M43 = − ωθ2 − Ω20 + C̃22 − C̃33 ,
(1)
M44 =ωθ2 − Ω20 + 2Ω0 Λα2−1 + C̃22 − C̃33 .
d d
(2Λα2 + 2Ω0 ) V1;1 − (2Ω0 + 2Λα2−1 ) V2;2
(1) (1) dτ dτ
Note that all the components of Mij and Ci are writ- d2
2 2
ten in the zeroth-order quantities, and hence, the solu- + 2
+ 4πρB12 − 2Ω0 − 2Λ + C̃11 + C̃22 V1;2
(1) dτ (84)
tion for Vk is obtained straightforwardly by inverting d2
the matrix equation (see Sec. IV). + + 4πρB12 − 2Ω20 − 2Λ2 + C̃11 + C̃22 V2;1
dτ 2
= −C̃13 (V3;2 + V2;3 ) + Ω̇(I22 − I11 ),
C. Second-order calculations
d d
(2Λα2 − 2Ω0 ) V1;1 − (2Ω0 − 2Λα2−1 ) V2;2
To find the second-order equations, we need to take dτ dτ
d2
into account second-order corrections to Ω and Ω̇ for the
+ + C̃11 − C̃ 22 V1;2
equations. We denote the former as Ω = Ω0 + Ω(2) + dτ 2 (85)
O(ε40 ). The second-order corrections to Ω and Ω̇ are given d2
in the appendix. + − 2 + C̃11 − C̃22 V2;1
dτ
For the second-order perturbation, we only need to = −C̃13 (V3;2 + V2;3 ) + Ω̇(I22 + I11 ),
consider the even terms on the component 3. We then
have 5 equations. By adding Eq. (49), we obtain 6 equa-
tions for 6 variables, V1;1 , V2;2 , V3;3 , V1;2 , V2;1 , and δΠ.
Eliminating δΠ from the equations, and using the re- 1 1
V1;1 + V2;2 + 2 V3;3 = 0. (86)
lations α22 α3
3 3
X X There is an additional subtlety in this second-order
− 2B11 V11 + a21 A1l Vll + 2B33 V33 − a23 A3l Vll equations since the right hand side of the equations has
l=1 l=1
two different time dependence because of ε2 (t) = ε20 [1 +
= −(3B11 −B13 )V11 +(B23 −B12 )V22 +(3B33 −B13 )V33 , cos(2ωθ τ )]/2. That is, there is a contribution from the
(81) constant terms and from the terms of angular velocity
2ωθ .
we obtain We must treat the different time dependence sepa-
rately. We thus separate the terms of different frequen-
d2 cies and make the ansatz
+ 2πρ(3B11 − B13 ) − 2Ω20 − 2Λ2 + 2Ω0 Λα2
dτ 2
(2,0) (2,2)
+ 2C̃11 V1;1 + (−2πρ(B23 − B12 ) + 2Ω0 Λα2−1 )V2;2 V1;1 = V1;1 + V1;1 cos(2ωθ τ ),
(2,0) (2,2)
d2 V2;2 = V2;2 + V2;2 cos(2ωθ τ ),
+ − 2 − 2πρ(3B33 − B13 ) − 2C̃33 V3;3 (2,0) (2,2)
dτ V3;3 = V3;3 + V3;3 cos(2ωθ τ ), (87)
d d
−2Λα2−1 V1;2 − 2Ω0 V2;1 V1;2 =
(2,0)
V1;2 +
(2,2)
V1;2 sin(2ωθ τ ),
dτ dτ
(2) (2) (2,0) (2,2)
= −C̃11 I11 + C̃33 I33 + 4Ω(2) (Ω0 − Λα2 )I11 , (82) V2;1 = V2;1 + V2;1 sin(2ωθ τ ).
8
(2,2)
We then separate the source terms in the same way: M41 =(−4Λα2 + 4Ω0 )ωθ ,
(2,2)
M42 =(−4Λα2−1 + 4Ω0 )ωθ ,
(2) (2,0) (2,2)
C̃11 = C̃11 + C̃11 cos(2ωθ τ ), (2,2)
M43 =0, (93)
(2) (2,0) (2,2)
C̃22 = C̃22 + C̃22 cos(2ωθ τ ), (2,2)
M44 = − 4ωθ2 + C̃11 − C̃22 ,
(2) (2,0) (2,2)
C̃33 = C̃33 + C̃33 cos(2ωθ τ ), (2,2)
M45 =4ωθ2 + C̃11 − C̃22 ,
(2) (2,0) (2,2)
Ω =Ω +Ω cos(2ωθ τ ),
(2)
Ω̇ = Ω̇ sin(2ωθ τ ), (2,2)
M51 =1,
(1) (1) (1)
C̃13 (V3;1 + V1;3 ) (2,2) 1
C̃13 (V3;1 + V1;3 ) = [1 + cos(2ωθ τ )], M52 = 2,
2 α2
(1) (1) (1)
C̃13 (V3;2 + V2;3 ) (2,2) 1 (94)
C̃13 (V3;2 + V2;3 ) = sin(2ωθ τ ). M53 = 2,
2 α3
(88) (2,2)
M54 =0,
(2,2)
For the complete expression of these terms, we refer the M55 =0.
leader to the appendix.
(2,2) (2,2) (2,2) (2,2) (2,2)
As before, we write the corresponding equations using V (2,2) = (V1;1 , V2;2 , V3;3 , V1;2 , V2;1 ), and
the matrix notation
(2,2) (2,2) (2,2)
C1 = − C̃11 I11 + C̃33 I33 + 4Ω(2,2) (Ω0 − Λα2 )I11 ,
3 (2,2) (2,2) (2,2) (1) (1) (1)
(2,2) (2,2) (2,2) C2 = − C̃22 I22 + C̃33 I33 + C̃13 (V3;1 + V1;3 )
X
Mik Vk = Ci (89)
k=1 + 4Ω(2,2) (Ω0 − Λα2−1 )I22 ,
(1) (1) (1)
where (2,2) C̃13 (V3;2 + V2;3 )
C3 =− + Ω̇(2) (I22 − I11 ),
2
(2,2)
M11 = − 4ωθ2 + 2πρ(3B11 − B13 ) (2,2)
(1) (1) (1)
C̃13 (V3;2 + V2;3 )
C4 =− + Ω̇(I22 + I11 ),
− 2Ω20 − 2Λ2 + 2Ω0 Λα2 + 2C̃11 , 2
(2,2)
M12
(2,2)
= − 2πρ(B23 − B12 ) + 2Ω0 Λα2−1 , C5 =0.
(2,2)
(90) (95)
M13 =4ωθ2 − 2πρ(3B33 − B13 ) − 2C̃33 ,
(2,2) The differential equations for the constant term must
M14 = − 4Λωθ α2−1 , be considered with more care. If we proceed as before, we
(2,2) 3
M15 = − 4Ω0 ωθ , X (2,0) (2,0) (2,0)
obtain again linear equations Mik Vk = Ci .
k=1
(2,0) (2,2)
(2,2)
The matrix of this equation Mik is the same as Mik
M21 = − 2πρ(B13 − B12 ) + 2Ω0 Λα2 , when we set ωθ = 0. However, this matrix is never in-
(2,2)
M22 = − 4ωθ2 + 2πρ(3B22 − B23 ) versible as its third and fourth line are colinear.
However, in this case the term in the right hand side,
− 2Ω20 − 2Λ2 + 2Ω0 Λα2−1 + 2C̃22 , (2,0)
Ci , is also simpler because C3
(2,0)
= C4
(2,0)
= 0 (see
(2,2)
(91)
M23 =4ωθ2 − 2πρ(3B33 − B23 ) − 2C̃33 , Eq. (88)). This would imply that we have 4 equations for
(2,2)
5 variables. We have thus a certain freedom for setting
M24 =4Ω0 ωθ , (2,0) (2,0)
V1;2 and V2;1 . We could set them both to 0.
(2,2) By exploring further, we also find that one can assume
M25 =4Λωθ α2 ,
(2,0) (2,0)
V1;2 = w1 τ , V2;1 = w2 τ . The differential equations
only impose w1 + w2 = 0. It thus seems that there is a
(2,2) certain freedom on the choice of the angular momentum
M31 =(−4Λα2 − 4Ω0 )ωθ , at this order. While we could fix all these variables to 0 as
(2,2)
M32 =(4Λα2−1 + 4Ω0 )ωθ , a simplifying assumption, we could also enforce the value
(2,2) f , as defined in Eq. (45), at this order by comparing the
M33 =0, corresponding vorticity of this second-order correction to
(2,2) the second-order correction of Ω. We may then set
M34 = − 4ωθ2 + 4πρB12 − 2Ω20 − 2Λ2 + C̃11 + C̃22 ,
(2,2)
M35 = − 4ωθ2 + 4πρB12 − 2Ω20 − 2Λ2 + C̃11 + C̃22 , 2a21 a22 Ω(2,0) f
w1 = . (96)
(92) a21 + a22
9
D. Higher orders
E. Elliptic orbits
of the θ-parameter of the orbit. It will then grow linearly stars orbiting a supermassive BH and BH-NS binaries in
and eventually, it will not be infinitesimal anymore. Fig- close orbits.
ures 3 and 4 show the displacement vectors associated One interpretation of our results is that as an orbiting
with the excited modes, assuming a/m = 0.8. Again the star approaches gradually a Kerr BH, e.g., by the radia-
spin parameter does not have an important impact on tion reaction of gravitational waves, it will approach one
the qualitative aspect of the resonant displacement. of these resonances before encountering the tidal disrup-
From Fig. 3, we can see that the resonance in the first- tion limit. The closer it gets to it, the more its displace-
order displacement will mostly imply a precession of the ment associated with it will grow. At some point before
3-axis. As such, this mode is quite reminiscent of the the resonance, the displacement will not be infinitesimal
transverse-shear mode of the MacLaurin spheroids dis- anymore. Our equations are then not valid.
cussed in [2]. By the non-linear amplification of this As the first-order resonance has only been found for
mode, matter may be ejected from the surface to the f = 0, it will probably not be relevant for BH-NS binaries
outside of the star, resulting possibly in the modification for which the NS is likely to be nearly irrotational [17, 18]
of the precessing orbit. in such systems. If we consider white dwarfs/ordinary
From the second-order displacement shown in Fig. 4, stars orbiting supermassive BH, we expect that the cor-
we observe that it will involve mostly a quadrupole dis- responding star may be corotational because the viscous
placement in the 1-2-plane. This mode reminds us of angular momentum redistribution can have a timescale
toroidal modes also discussed in [2]. shorter than the orbital evolution one. For these systems,
The resonance in the first- and second-order dis- the star may encounter the first-order resonance before
placements is always encountered slightly outside the tidal disruption. If the system has an elliptic orbit, we
Roche/Roche-Riemann limits. For BH-NS binaries in expect also resonances of frequency ωe . However, if the
precessing orbits, thus, the resonant deformation may be object stays on the equatorial plane, the modification
excited just prior to the tidal disruption and the tidal to the orbit will only give contributions to the diagonal
disruption may be assisted by the prior resonance if the components of the tidal tensor. As such, the resonances
relativistic effect on the self-gravity of the star, which we should correspond to the toroidal mode. If the orbit is
do not take into account in the present study, does not neither equatorial nor spherical, the overall picture gets
qualitatively change the property of the resonance. more complicated. According to our perturbation analy-
sis, it is likely that there are more possible resonances of
frequency ωθ +ωe and ωθ −ωe , and thus, these resonances
B. Analytical resolution of the first-order may be excited as well.
resonance To our knowledge, these results have never been re-
ported before. A major counterpoint to our analysis is its
The resonance in the first-order displacement with apparent reliance on some questionable assumptions, like
f = 0 can be determined analytically. If we introduce the incompressibility hypothesis. However, as the gen-
λ such that ωθ2 = (1 + λ)Ω20 where λ is a purely relativis- eral mechanism for the resonance holds true, we expect
tic correction (see Eq. (52)), we have C̃11 = (−2 − λ)Ω20 , resonances even with more realistic equations of state.
C̃22 = Ω20 , and C̃33 = (1 + λ)Ω20 . Then, Indeed, whatever the equation of state is, we have char-
acteristic modes for our star. We may then observe a res-
(1)
det(Mij ) = − 16πρB23 (1 + λ)Ω40 onance between these modes and the oscillation present
h i in the tidal tensor. Thus, while the equations can change,
× − 4πρB13 λ + (3 + λ)(1 + λ)Ω20 , the resulting phenomenon should not qualitatively. Of
(101) course, this explanation is just tentative and should be
confirmed by a more serious analysis of the question.
and thus, we find that the first-order resonance occurs It is possible that this resonance might provide an ex-
when planation as to why certain objects end up in a circular
4B13 λ equatorial orbit around a Kerr BH. To justify this, one
Ω̃2 = . (102) would have to inquire about the ultimate fate of the star.
(3 + λ)(1 + λ) As our equations are not valid near the resonance, one
We find that the relativistic correction is the key for this would have to change our method. One could use dif-
resonance. ferent analytical tools or hydrodynamics simulations to
investigate this issue. We leave this open to future work.
V. DISCUSSION
ACKNOWLEDGMENTS
The main result of this paper is the discovery of possi-
ble resonances of stars with precessing orbits around Kerr We thank the member of Computational Relativis-
BHs. In particular, we found that these resonances could tic Astrophysics group at the Max Planck Institute for
be relevant for systems such as white dwarfs/ordinary Gravitational Physics for discussion. This work was
12
in part supported by Grant-in-Aid for Scientific Re- compute the perturbed expressions for the energy E, an-
search (grant Nos. 20H00158 and 23H04900) of Japanese gular momentum around the z-axis L, and the Carter
MEXT/JSPS. constant K for the corresponding orbit.
To do this we will rely on the formula given in [14].
Assuming that C is a small quantity, we expand them as
√
a a − mr
E1 = √ , (A4)
2r02 P0
√ √ 5/2 1/2
a3 m + a mr02 + r0 (−3m + r0 ) + a2 r0 (−m + r0 )
L1 = √ , (A5)
2 mP0 r05
√ √
r0 (−a + mr0 )(a2 + a mr0 + (−3m + r0 ))
r
K1 = 1− . (A6)
m P0
Then, we have
√ √
(2) 2 2 m(r02 − 3mr0 + 2a mr0 )
Ω = a cos θ 7/2 √
r0 ( mr0 − a)2
√
K0 E1 (r02 + a2 ) − aL1 K1 (E0 (r02 + a2 ) − aL0 ) a(L1 − aE1 ) aK1 (L0 − aE0 ) (A7)
+ C 2K1 Ω0 + 2 − + −
r0 r02 + K0 (r02 + K0 )2 K0 K02
= a2 cos2 θΩa + CΩC .
Therefore (2) 6M 2
C22 = − a cos2 θ, (A12)
r05
a2 ε20
Ω(2,0) = Ωa + CΩC ,
2 (A8)
(2,2) a2 ε20
Ω = Ωa .
2
Likewise, we have
√ √
2 m(r02 − 3mr0 + 2a mr0 )
Ω̇ = −a θ̇ sin 2θ 7/2 √
+ O(C 2 ),
r0 ( mr0 − a)2
(A9)
and thus
√ √
m(r02 − 3mr0 + 2a mr0 )
Ω̇(2) = −a2 ε20 ωθ 7/2 √
. (A10)
r0 ( mr0 − a)2
Finally, the second-order contributions to the tidal ten-
sor are given as
15K02 + 14r02 K0 + r04 15K02 + 12r02 K0 + r04
(2) 3M K1 C (2) 3M K1 C
C11 = 3 − 2 + a2 cos2 θ , C33 = − a2
cos 2
θ .
r0 r0 r04 K0 r03 r02 r04 K0
(A11) (A13)
13
Thus
a2 ε20 15K02 + 14r02 K0 + r04
(2,0) 3M K1 C
C11 = − + ,
r03 r02 2 r04 K0
(2,2) 3M a2 ε20 15K02 + 14r02 K0 + r04
C11 = ,
2r03 r04 K0
(2,0) 3M a2 ε20
C22 =− ,
r05
(2,2) 3M a2 ε20
C22 =− ,
r5
0
a2 ε20 15K02 + 12r02 K0 + r04
(2,0) 3M K1 C
C33 = 3 − ,
r0 r02 2 r04 K0
(2,2) 3M a2 ε20 15K02 + 12r02 K0 + r04
C33 = .
2r03 r04 K0
(A14)
[1] M. L. Aizenman, The equilibrium and the stability of port in kerr geometry; tidal tensor, Proceedings of the
the roche-riemann ellipsoids, The Astrophysical Journal Royal Society of London. Series A, Mathematical and
153, 511 (1968). Physical Sciences 385, 431 (1983).
[2] S. Chandrasekhar, Ellipsoidal figures of equilibrium [11] B. Carter, Global structure of the Kerr family of gravi-
(1969). tational fields, Phys. Rev. 174, 1559 (1968).
[3] A. Nduka, The Roche Problem in an Eccentric Orbit, [12] J. M. Bardeen, W. H. Press, and S. A. Teukolsky, Ro-
Astrophys. J. 170, 131 (1971). tating black holes: Locally nonrotating frames, energy
[4] J. Vidal and D. Cébron, Inviscid instabilities in rotat- extraction, and scalar synchrotron radiation, Astrophys.
ing ellipsoids on eccentric kepler orbits, Journal of Fluid J. 178, 347 (1972).
Mechanics 833, 469–511 (2017). [13] D. C. Wilkins, Bound geodesics in the kerr metric, Phys-
[5] L. G. Fishbone, The Relativistic Roche Problem, Astro- ical Review D 5, 814 – 822 (1972).
phys. J. 175, L155 (1972). [14] E. Teo, Spherical orbits around a kerr black hole, Gen-
[6] L. G. Fishbone, The relativistic Roche problem. II. Sta- eral Relativity and Gravitation 53, 10.1007/s10714-020-
bility theory., Astrophys. J. 195, 499 (1975). 02782-z (2021).
[7] B. Mashhoon, On tidal phenomena in a strong gravita- [15] M. Ishii, M. Shibata, and Y. Mino, Black hole tidal prob-
tional field, The Astrophysical Journal 197, 705 (1975). lem in the Fermi normal coordinates, Phys. Rev. D 71,
[8] M. Shibata, Relativistic Roche-Riemann Problems 044017 (2005), arXiv:gr-qc/0501084.
around a Black Hole, Progress of Theoretical Physics [16] E. N. Parker, Tensor Virial Equations, Physical Review
96, 917 (1996), https://academic.oup.com/ptp/article- 96, 1686 (1954).
pdf/96/5/917/5226638/96-5-917.pdf. [17] C. S. Kochanek, Coalescing Binary Neutron Stars, As-
[9] P. Banerjee, S. Paul, R. Shaikh, and T. Sarkar, Tidal ef- trophys. J. 398, 234 (1992).
fects away from the equatorial plane in kerr backgrounds, [18] L. Bildsten and C. Cutler, Tidal interactions of inspi-
Physics Letters B 795, 29 (2019). raling compact binaries, Astrophysical Journal, Part 1
[10] J.-A. Marck, Solution to the equations of parallel trans- (ISSN 0004-637X), vol. 400, no. 1, p. 175-180. 400, 175
(1992).