Simulation of the loss-cone instability in spherical systems. II. Dominating Keplerian potential
Abstract
A new so-called ‘gravitational loss-cone instability’ in stellar systems has recently been investigated theoretically in the framework of linear perturbation theory and proved to be potentially important in understanding the physical processes in centres of galaxies, star clusters, and the Oort comet cloud. Using N-body simulations, we confirm previous findings and go beyond the linear theory. Unlike the well-known instabilities, the new one shows no notable change in spherical geometry of the cluster, but it significantly accelerates the speed of diffusion of particles in phase space leading to a repopulation of the loss cone and early instability saturation.
keywords:
Keywords: galaxies: elliptical and lenticular, cD, galaxies: kinematics and dynamics, galaxies: nuclei, Astrophysics - Astrophysics of Galaxies1 Introduction
In the pioneer paper, Polyachenko (1991) studied a simple analytical model of a low-mass stellar disc in a dominating point-mass potential. He argued that if the radial-orbit instability (for review, see Polyachenko & Shukhman, 2015) is suppressed, a distant relative of the loss-cone instability in plasma (Rosenbluth & Post, 1965) still may occur.
Tremaine (2005) examined spherical and disc systems and found that stability properties are determined by the dependence of the distribution function (DF) on angular momentum . In particular, flattened, nonrotating systems were found to be secularly stable if at constant energy, while for they are generally unstable. Based on the analysis of dipole and quadrupole distortions, the spherical systems in which at (an empty loss cone) were claimed to be stable for any sign of .
Using a newly elaborated matrix method for spherical systems analogous to the matrix method for discs (Polyachenko, 2005), Polyachenko et al. (2007) found that the instability in spherical systems considered by Tremaine is nevertheless possible, but for the higher-order distortions starting from octupole. In the subsequent paper (Polyachenko et al., 2008, hereafter Paper I), we refined our claim that it is only relevant to non-monotonic dependence of the DF on . In analogy with plasma, we called it gravitational loss-cone instability (gLCI).
These analytical studies assume that a cluster of mass is embedded in the dominating potential of a central point mass , so that is a small parameter. The gravitational potential
(1.1) |
consists of the dominant Keplerian part, and due to selfgravity of the cluster. If the latter is neglected, a particle travels along the fixed ellipses with semiaxes , and eccentricity , where , is the angular momentum of a particle with energy on a circular orbit. The radial and orbital frequencies are equal and independent of : .
Accounting for the selfgravity leads to slow orbit precession, which is always retrograde (Polyachenko et al., 2007). Generally, there are four characteristic timescales in such a system (Tremaine, 2005): dynamical time , precession time , resonant relaxation time (Rauch & Tremaine, 1996), where is the number of particles, and two-body relaxation time . For these timescales are well separated:
(1.2) |
If the system is dynamically stable, its evolution is driven by relaxation on timescales or . However, if there is an instability due to collective mechanism in the distribution of orbits, its timescale is expected to be close to the orbital movement time, i.e. . As found for several models in Paper I, the instability time is in fact only a few times larger than the precession time. Thus instability becomes the main change driving process overtaking both kinds of relaxation. However, the instability is slow in the dynamical timescale and requires by a factor of longer simulations than standard simulations of systems in which the dynamical time is largely determined by selfgravity.
This paper is aimed to simulate numerically one of the models studied earlier theoretically using linear perturbation theory (Paper I). It serves two purposes: to confirm our theoretical finding and to go beyond the linear approximation and study the consequences of the instability development. In a companion paper (Polyachenko et al., 2019), we simulated the instability in a dominating harmonic potential and showed that unlike, e.g., the well-known bar instability in discs, gLCI did not change the shape of the cluster, but led to the enhanced diffusion resulting in the repopulation of the loss cone and cease of the instability.
In addition to the peculiarities of the harmonic case, the dominating central point mass requires additional care for particles close to the centre. It is worthwhile to emphasize that popular N-body codes incorporating the black hole dynamics or the external central mass potential (e.g., Nbody6++, , Wang et al.2015) are proved to be effective in the opposite limit , but not in the case of interest here. Thus additional investigations were needed to improve the available numerical schemes for the current task.
The paper is organized as follows. The model and the set-up are described in Section 2, along with details of N-body simulations. Results containing a comparison of the instability growth rate with the linear perturbation theory, and analysis of peculiarities of the cluster evolution are given in Section 3. The final section 4 contains conclusions, final remarks, and describes future perspectives.
2 The model, N-body set-up and simulations
2.1 The model
For numerical simulations, we choose a cluster in which all particles have the same energy , i.e. the DF is , where is the Dirac delta-function, is a normalization constant. The stability properties are determined by the angular momentum dependence, which is assumed to be non-monotonic:
(2.1) |
Here and are (specific) energy and angular momentum of a particle; is the normalization constant to fulfil the condition . There are two model parameters and : the former controls the fraction of nearly radial orbits, while the second one controls the width of the loss cone. We define the potential to be equail to at the edge of the sphere, so .
For the modelling, we adopt units in which . The model parameters were fixed (, ), while the central mass and the number of particles varied. For , the cumulative mass and the velocity dispersion profiles and () are given in Fig. 1.
For the family of Eq. (2.1), linear perturbation theory predicts the absence of instability for dipole and quadrupole perturbations, and the complex frequency of the octupole perturbations shown in Fig. 2. Positive means exponential growth of the this harmonic in time. In particular, the values of and , adopted for the simulations, correspond to , .
2.2 Initial distribution
The initial self-consistent model was constructed iteratively using a relation between the density and the DF:
(2.2) |
where is determined from equation
(2.3) |
and is determined by the radius of the circular orbit ,
(2.4) | |||
(2.5) |
To avoid the singularity at , it is helpful to introduce a new variable by . Eq. (2.2) then reads:
(2.6) |
As zero-order approximation, was set to zero, and an approximation was obtained for . The normalization constant was recalculated after each iteration to provide the total mass for the cluster. The next approximation for the potential was obtained from a numerical solution of the Poisson equation
(2.7) |
After obtaining self-consistent profiles and , one can build a random realization of the DF. First, we find of the particle using the standard von Neumann rejection technique for Eq. (2.1). Energy and angular momentum determine the orbit. Second, we set the radius of the particle, which is uniformly distributed in the radial angle variable, . The dependence can be obtained directly by orbit integration, if the number of particles is not too large, or interpolating between reference orbits from a library. The radius immediately gives the square of radial velocity , and the absolute value of transversal velocity . The velocity components are uniformly distributed over a polar angle in the velocity polar coordinates . Finally, the spatial coordinates are obtained as a uniform distribution on a sphere.
For our default model with and the central point mass , this procedure gives a nearly spherically symmetric N-body realisation with center-of-mass offset . Due to numerical noise, the initial amplitudes of the spherical harmonics (see Eq. (A.10)) for are of the order of .
2.3 N-body simulations
The simulations presented in this work have been carried out using the specially adapted direct N-body code -GPU (, Berczik et al.2011, Berczik et al.2013). The basic concepts of the code are based on the publicly available -GRAPE (, Harfst et al.2007) code, an Aarseth N-body 1-like code including an efficient MPI parallelization and support for the special-purpose hardware GRAPE (, Fukushige et al.1991) (currently Graphic Processing Units - GPU). The current version of the -GPU code has been fully rewritten in the C++ programming language for the most effective use of GPUs.
The -GPU code is fully parallelized using the MPI library. The MPI parallelization was done in the same “j” particle parallelization scheme as in the earlier -GRAPE code. All particles are divided equally between the working nodes (using the MPI_Bcast() command) and in each node we calculate only the fractional forces for the particles in the current time step, i.e. the so-called “active” or “i” particles. We get the full forces from all particles acting on the active particles after the global MPI_Allreduce() communication routine is applied.
The code supports the use of individual timestep Hermite integration algorithms of 4th, 6th or 8th order. Furthermore, it includes a hierarchical block time-step scheme. Compared to the earlier -GRAPE (, Harfst et al.2007) implementation we obtain an additional speed-up by a factor of on the recent generation of NVIDIA GPUs (i.e., K20 and V100 cards), depending on the specific number of particles and computing nodes used.
Further details of this high-performance computing code is be described in (Berczik et al.2011, Berczik et al.2013). The present code is well tested and already used to obtain important results in our earlier large scale few million body simulations (, Li et al.2017, Li et al.2012, Wang et al.2014).
The -GPU code does not include the regularization (, Mikkola & Aarseth1998) of close encounters or binaries, so we use small softening to avoid the formation of tight binaries during our simulation. We use a typical Plummer-type softening between individual particles (). The gravitational softening for the interaction between particles and the central Keplerian potential was set exactly equal to zero in the current set of runs.
We choose the conservative standard 4th order Hermite integration parameter = 0.01. For the default run, the total energy is conserved to a relative error 0.6 % during the full integration time of 1000 time units. The average random velocity of the cluster center of mass (CoM) was .
3 Results
In order to compare results of our numerical simulations with theoretical predictions, we evaluate the spherical harmonics of the density distribution
(3.1) |
(3.2) |
where are fully normalised spherical functions, for each snapshot. The coefficients depend on radius and the orientation of the frame. In order to make a comparison simpler, we evaluate amplitudes
(3.3) |
invariant to the frame rotation (see Appendix A and Polyachenko et al., 2019).
From Sec. 1 and Sec. 2 we infer that the dynamical time scales with as . Therefore, the instability time scales as . Fig. 3 compares the amplitudes of the octupole perturbations () for two runs in the instability time scale. We see the exponential growth of the amplitudes with the predicted slope, however the amplitudes are modulated by oscillations. These oscillations are due to i) the oscillation character of the eigenfrequency , and ii) the existense of another eigenfrequency with the same growth rate. Indeed, the integral equation (2.18) of Paper I has the form where is the linear integral real operator. Hence, if is an eigen-value, then is also tan eigen-value of the problem. This means that if is a solution, then also is a solution. A general growing solution then reads
(3.4) |
and
(3.5) |
where is due to the difference of the complex phases of the amplitudes . These oscillations we see in Fig. 3.
We also observe early saturation of the instability so that amplitudes remain below a level of 0.03, similar to the gLCI in a dominating harmonic potential (Polyachenko et al., 2019). There, it was explained by rapid repopulation of the loss cone, i.e. the region of low angular momentum, due to diffusion enhanced by the instability.
For near-Keplerian models, we estimate the relaxation time using the standard formula for two-body relaxation
(3.6) |
so that in dimensionless form the two-body relaxation time in units of the slow time is
(3.7) |
where the value range covers the parameters shown Fig. 3.
For the resonant relaxation (Rauch & Tremaine, 1996; Tremaine, 2005)
(3.8) |
so that in dimensionless form the resonance relaxation time in units of slow time is
(3.9) |
One can conclude that these two mechanisms alone cannot be responsible for a particle repopulation during the time of simulations.
To quantify the speed of the diffusion in and , we evaluated the spread as the difference between the third and the first quartiles of the distribution of energy of individual particles . This method is more robust to outliers than the calculation of the standard deviation , while it gives for a normal distribution. Similarly, was obtained for the angular momentum shifts . In the diffusion driven by two-body relaxation, one would expect
(3.10) |
where , are constants of order unity, is some energy characteristic of the system, e.g. total kinetic energy, or virial of Clausius (e.g., Sellwood, 2015). If the resonant relaxation takes place for angular momentum, one would expect .
The character of the diffusion can be understood by analyzing the plots summarised in Fig. 4. The upper left panel shows the normalized energy diffusion coefficient
(3.11) |
By construction, it should give the constant value for two-body relaxation. In fact, we observe an almost constant value of order unity, which indicates that spreading in energy is due to two-body relaxation. In the upper right panel, we present the energy relaxation time calculated as
(3.12) |
for nine available runs in which the central mass varied from 3 to 100, and the number of particles varied from to . Dashed lines show fits
(3.13) |
for various , demonstrating that the scaling perfectly corresponds to the two-body relaxation time.
The profiles for angular momentum diffusion consist of two distinctive parts: nearly constant in the beginning and modulated exponential growth and fall later. Using the first constant part, we evaluated the angular momentum relaxation time
(3.14) |
which is presented in the lower right panel of Fig. 4. Color dashed lines show fits
(3.15) |
which is close to the predicted scailing of resonant relaxation (Rauch & Tremaine, 1996), shown by the black dashed line.
Using the dependence of Eq. (3.15), we construct the normalized angular momentum diffusion coefficient
(3.16) |
The profiles are shown in the lower left panel of Fig. 4. Due to normalization, the constant parts are close to unity. The growing parts are obviously due to instabilty, as follows from a comparison with the theoretical slope for the octupole harmonic given in Fig. 3.
4 Conclusions and final remarks
The gravitational loss-cone instability (gLCI) in a dominating Keplerian (near-K) potential predicted earlier theoretically (Polyachenko et al., 2007, 2008), is now revealed for the first time in numerical simulations. In the limit of slow precessing orbital motion, it proved possible to connect the sign of the orbital precession rate with the derivative of the DF with respect to the angular momentum. It was found that gLCI is possible if . For the dominating Keplerian potential, the precession is always retrograde (), i.e., independently of the cluster DF, so gLCI requires at small , or a deficit of particles at small (the loss cone) must be present. This instability has a well-known counterpart in plasma physics called loss-cone instability (Rosenbluth & Post, 1965).
Our N-body runs typically consist of particles evaluated during dynamical times. The main issue is the dominating central mass which requires special treatment of the orbital integration near the center. The simulations reproduce well the linear regime for which instability of the octupole harmonic was predicted. In particular, we obtained the growth rate of the harmonic amplitude and periodic modulations of the amplitudes due to the presence of the complementary unstable eigen-mode (i.e. the mode with the eigen-frequency ). However, the shape of the cluster does not change due to early instability saturation. The latter occurs due to diffusion enhanced by the instability.
A comparison to the near-harmonic (near-h) case (Polyachenko et al., 2019) shows the following distinctive features:
– energy diffusion is driven by two-body relaxation in the near-K case, while it is enhanced by instability in near-h case;
– in the near-K case, angular momentum diffusion is driven by resonant relaxation until the instability enhanced diffusion takes over;
– in the near-h case, angular momentum diffusion is enhanced by instability from the very beginning, but we found no signs of resonant relaxation.
In the future, we plan to explore a diversity of more realistic DFs to detect the gLCI. We also plan to modify the numerical code so that the stars diffused to the loss cone will be excluded from the simulations. This may help to sustain the instability.
Acknowledgments
This work was supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) – Project-ID 138713538 – SFB 881 (“The Milky Way System”, subproject A06), by the Volkswagen Foundation under the Trilateral Partnerships grants No. 90411, 97778, and the Basic Research program II.16 (Ilia Shukhman). Peter Berczik acknowledges support by the Chinese Academy of Sciences through the Silk Road Project at NAOC, through the “Qianren” special foreign experts program, and the President’s International Fellowship for Visiting Scientists program of CAS, the National Science Foundation of China under grant No. 11673032 and also the Strategic Priority Research Program (Pilot B) “Multi-wavelength gravitational wave universe” of the Chinese Academy of Sciences (No. XDB23040100). The special GPU accelerated supercomputer Laohu at NAOC has been used and we thank the Center of Information and Computing of NAOC for support. Peter Berczik also acknowledges the special support by the NASU under the Main Astronomical Observatory GRID/GPU computing cluster project. This work benefited from support by the International Space Science Institute, Bern, Switzerland, through its International Team program ref. no. 393 “The Evolution of Rich Stellar Populations & BH Binaries” (2017-18).
References
- Arfken (1985) Arfken G., 1985, The Addition Theorem for Spherical Harmonics, §12.8 in Mathematical Methods for Physicists, 3d ed. Orlando, FL: Academic Press, pp. 693-695
- (2) Berczik P., Nitadori K., Zhong S., Spurzem R., Hamada T., Wang X, Berentzen I., Veles A., Ge W., 2011, International conference on High Performance Computing, Kyiv, Ukraine, October 8-10, 2011., p. 8-18
- (3) Berczik P., Spurzem R., Wang L., Zhong S., Huang S., 2013, Third International Conference ”High Performance Computing”, HPC-UA 2013, p. 52-59
- Fridman & Polyachenko (1984) Fridman A. M., Polyachenko V. L., 1984, Physics of gravitating systems. I - Equilibrium and stability. Springer, New York
- (5) Fukushige T., Ito T., Makino J., Ebisuzaki T., Sugimoto D., Umemura M., 1991, PASJ, 43, 841
- (6) Harfst S., Gualandris A., Merritt D., Spurzem R., Portegies Zwart S., Berczik P., 2007, NewA, 12, 357
- (7) Li Shuo, Liu F. K., Berczik Peter, Chen Xian, Spurzem Rainer, 2012, ApJ, 748, 65
- (8) Li Shuo, Liu F. K., Berczik Peter, Spurzem Rainer, 2017, ApJ, 834, 195
- (9) Mikkola Seppo, Aarseth Sverre J., 1998, NewA, 3, 309
- Polyachenko (2005) Polyachenko E. V., 2005, MNRAS, 357, 559
- Polyachenko et al. (2019) Polyachenko E. V., Berczik P. P., Just A., Shukhman I. G., 2019, MNRAS, accepted
- Polyachenko et al. (2007) Polyachenko E. V., Polyachenko V. L., Shukhman I. G., 2007, MNRAS, 379, 573
- Polyachenko et al. (2008) Polyachenko E. V., Polyachenko V. L., Shukhman I. G., 2008, MNRAS, 386, 1966 (Paper I)
- Polyachenko & Shukhman (2015) Polyachenko E. V., Shukhman I. G., 2015, MNRAS, 451, 601
- Polyachenko (1991) Polyachenko V. L., 1991, Soviet Astronomy Letters, 17, 371
- Rauch & Tremaine (1996) Rauch K. P., Tremaine S., 1996, J. R. Astron. Soc. Canada, 1, 149
- Rosenbluth & Post (1965) Rosenbluth M. N., Post R. F., 1965, Physics of Fluids, 8, 547
- Sellwood (2015) Sellwood J. A., 2015, MNRAS, 453, 2919
- Tremaine (2005) Tremaine S., 2005, ApJ, 625, 143
- (20) Wang Long, Berczik Peter, Spurzem Rainer, Kouwenhoven M. B. N., 2014, ApJ, 780, 164
- (21) Wang Long, Spurzem Rainer, Aarseth Sverre, Nitadori Keigo, Berczik Peter, Kouwenhoven M. B. N., Naab Thorsten, 2015, MNRAS, 450, 4070
Appendix A Spherical harmonics in N-body simulations
We start with a smooth density distribution
(A.1) |
where
(A.2) |
and are fully normalised spherical harmonics:
(A.3) |
( denotes the complex conjugate). This orthogonality gives the coefficients of the expansion:
(A.4) |
In models of clusters with a DF depending on and only, the time dependence (i.e. eigenfrequencies of oscillations) is independent of (e.g., Fridman & Polyachenko, 1984).
Now we consider a particle distribution in N-body simulations
(A.5) |
(here is the total number of particles; , , and are mass and spherical coordinates of particle ) and introduce a global characteristic of each harmonic component as follows:
(A.6) |
The strength of the spherical harmonic can be described by coefficients , where:
(A.7) |
Using the addition theorem for spherical harmonics (e.g. Arfken, 1985):
(A.8) |
( are the Legendre polynomials, is an angle between directions and ), one can show the independence of (Eq. A.7) of the orientation of the coordinate frame:
(A.9) |
( denotes an angle between particle and ). The last expression is clearly independent of the orientation of the frame. If masses of the particles are equal, , then
(A.10) |
This expression is used to evaluate the strength of spherical harmonics in our N-body simulations.