Abstract
We consider stability of rotating gaseous stars modeled by the Euler–Poisson system with general equation of states. When the angular velocity of the star is Rayleigh stable, we proved a sharp stability criterion for axi-symmetric perturbations. We also obtained estimates for the number of unstable modes and exponential trichotomy for the linearized Euler–Poisson system. By using this stability criterion, we proved that for a family of slowly rotating stars parameterized by the center density with fixed angular velocity, the turning point principle is not true. That is, unlike the case of non-rotating stars, the change of stability of the rotating stars does not occur at extrema points of the total mass. By contrast, we proved that the turning point principle is true for the family of slowly rotating stars with fixed angular momentum distribution. When the angular velocity is Rayleigh unstable, we proved linear instability of rotating stars. Moreover, we gave a complete description of the spectra and sharp growth estimates for the linearized Euler–Poisson system.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Consider a self-gravitating gaseous star modeled by the Euler–Poisson system of compressible fluids
where \(x\in \mathbb {R}^{3},\ t>0,\ \rho \left( x,t\right) \ge 0\) is the density, \(v\left( x,t\right) \in \mathbb {R}^{3}\) is the velocity, \(p=P(\rho )\) is the pressure and V is the self-consistent gravitational potential. Assume \(P(\rho )\) satisfies:
and there exists \(\gamma _{0}\in (\frac{6}{5},2)\) such that
The assumption (1.3) implies that the pressure \(P(\rho )\approx K\rho ^{\gamma _{0}}\) for \(\rho \) near 0. For physical equations of states of Newtonian stars such as white dwarf stars and in the limiting case of extreme nonrelativistic, \(\gamma _{0}=\frac{5}{3}\) (see [6, 37]).
The Euler–Poisson system (1.1) has many steady solutions. The simplest one is the spherically symmetric non-rotating star with \(\left( \rho _{0},v_{0}\right) =\left( \rho _{0}\left( \left| x\right| \right) ,0\right) \). We refer to [29] and references therein for the existence and stability of non-rotating stars. A turning point principle (TPP) was shown in [29] that the stability of the non-rotating stars is entirely determined by the mass-radius curve parameterized by the center density. In particular, the stability of a non-rotating star can only change at extrema (i.e. local maximum or minimum points) of the total mass.
We consider axi-symmetric rotating stars of the form
where \(\left( r,\theta ,z\right) \) are the cylindrical coordinates, \(\omega _{0}\left( r\right) \) is the angular velocity and \(\left( \textbf{e}_{r},\textbf{e}_{\theta },\textbf{e}_{z}\right) \) denote unit vectors along \(r,\theta ,z\) directions. We note that for barotropic equation of states \(P=P\left( \rho \right) \), it was known as Poincaré-Wavre theorem [45, Section 4.3] that the angular velocity must be independent of z. The existence and stability of rotating stars is a classical problem in astrophysics. For homogeneous (i.e. constant density) rotating stars, it had been extensively investigated since the work of Maclaurin in 1740s, by many people including Dirichlet, Jacobi, Riemann, Poincaré and Chandrasekhar etc. We refer to the books [7, 20] for history and results on this topic. The compressible rotating stars are much less understood. From 1920s, Lichtenstein initiated a mathematical study of compressible rotating stars, which was summarized in his monograph [26]. In particular, he showed the existence of slowly rotating stars near non-rotating stars by implicit function theorem. See also [14, 17, 18, 41] for related results. The existence of rotating stars can also be established by variational methods ( [2, 5, 9,10,11, 25, 30, 32]), or global bifurcation theory [1, 42, 43]. Compared with the existence theory, there has been relatively few rigorous works on the stability of rotating stars. In this paper, we consider the stability of rotating stars under axi-symmetric perturbations. There are two natural questions to address: 1) Does TPP still hold for a family of rotating stars? 2) How does the rotation affect the stability (instability) of rotating stars?
The answers to these two questions have been disputed in astrophysical literature. Bisnovaty-Kogan and Blinnikov [4] suggested that for a family of rotating stars with fixed angular momentum distribution per unit mass and parameterized by the center density \(\mu \), TPP is true (i.e. stability changes at the extrema of the total mass). They used heuristic arguments (so called static method) as in the non-rotating case. Such arguments suppose that at the transition point of stability, there must exist a zero frequency mode which can only be obtained by infinitesimally transforming equilibrium configurations near the given one, without changing the total mass \(M\left( \mu \right) \). Hence, the transition point is a critical point of the total mass (i.e. \(M^{\prime }\left( \mu \right) =0\)). It is reasonable to study the family of rotating stars with fixed angular momentum distribution, which is invariant under the Euler–Poisson dynamics. In [4], they also considered a family of rigidly rotating stars (i.e. \(\omega _{0}\) is constant) for a special equation of state similar to white dwarf stars. By embedding each rigidly rotating star into a family with the same angular momentum distribution and with some numerical help, it was found that the transition of stability is not at the extrema of mass. In [40], for a family of rotating stars with fixed rotational parameter (i.e. the ratio of rotational energy to gravitational energy), similar arguments as in [4] were used to indicate that TPP is true for this family and their numerical results suggested that instability occurs beyond the first mass extrema. However, up to date there is no rigorous proof or disproof of TPP for different families of rotating stars.
The issue that whether rotation can have a stabilizing effect on rotating stars has long been in debate. For a long time, it was believed that rotation is stabilizing for any angular velocity profile. This conviction was based on conclusions drawn from perturbation analysis near neutral modes of non-rotating stars, which was done by Ledoux [24] for rigidly rotating stars and by Lebovitz [23] for general angular velocities. However, the later works of Sidorov [38, 39] and Kähler [21] showed that rotation could be destabilizing. Hazlehurst [13] argued that the advocates of destabilization of rotation had used an argument that is open to criticism and disagreed that rotation could be destabilizing.
In this paper, we answer the above two questions in a rigorous way. To state our results more precisely, we introduce some notations. Let \((\rho _{0}\left( r,z\right) ,{\overrightarrow{v_{0}}}=r\omega _{0}\left( r\right) {\textbf {e}}_{\theta })\) be an axi-symmetric rotating star solution of (1.1). The support of \(\rho _{0}\) is denoted by \(\Omega \), which is an axi-symmetric bounded domain. The rotating star solutions satisfy
equivalently,
where \(c_{0}>0\) is a constant and the enthalpy \(\Phi (\rho )>0\) is defined by
Let \(R_{0}\) be the maximum of r such that \((r,z)\in \Omega \). We assume \(\omega _{0}\in C^{1}[0,R_{0}]\), \(\partial \Omega \) is \(C^{2}\ \)with positive curvature near \(\left( R_{0},0\right) \), and for any (r, z) near \(\partial \Omega \)
which are satisfied for slowly rotating stars near non-rotating stars as constructed in [14, 17, 18, 41]. Let \(X=L_{\Phi ^{\prime \prime }(\rho _{0})}^{2}\times L_{\rho _{0}}^{2}\) and \(Y=\left( L_{\rho _{0}}^{2}\right) ^{2}\), where \(L_{\Phi ^{\prime \prime }(\rho _{0})}^{2}\) and \(L_{\rho _{0}}^{2}\) are axi-symmetric weighted \(L^2\) spaces in \(\Omega \) with weights \(\Phi ^{\prime \prime }(\rho _{0})\) and \(\rho _{0}\). Denote \(\textbf{X}:=X\times Y\). Define the Rayleigh discriminant \(\Upsilon (r)=\frac{\partial _{r}(\omega _{0}^{2}r^{4})}{r^{3}}\).
For Rayleigh stable angular velocity \(\omega _{0}\) satisfying \(\Upsilon (r)>0\) for \(r\in [0,R_{0}]\), the linearization of the axi-symmetric Euler–Poisson system at \((\rho _{0},{v_{0}})\) can be written in a Hamiltonian form
where \(u_{1}=(\rho ,v_{\theta })\) and \(u_{2}=(v_{r},v_{z})\), and \(\rho ,\left( v_{r},v_{\theta },v_{z}\right) \ \)are perturbations of density and \(\left( r,\theta ,z\right) \)-components of velocity respectively. In the linearized Euler–Poisson system, the steady density \(\rho _0\) and the perturbations \(\delta \rho \) have the same support. This is reasonable because of the underlying Lagrangian formulation of the problem (see the Appendix in [29] for the derivation of the linearized Euler–Poisson system for non-rotating stars). The operators
are off-diagonal anti-self-dual and diagonal self-dual operators respectively, where
with
\(A=\rho _{0}\), and \(A_{1}=\frac{4\omega _{0}^{2}r^{3}\rho _{0}}{\partial _{r}(\omega _{0}^{2}r^{4})}=\frac{4\omega _{0}^{2}\rho _{0}}{\Upsilon (r)}\). More precise definition and properties of these operators can be found in Sect. 2.2.
Our main result for the Rayleigh stable case is the following.
Theorem 1.1
Assume \(\omega _{0}\in C^{1}[0,R_{0}]\), \(\Upsilon (r)>0\), (1.7), \(\partial \Omega \) is \(C^{2}\) and has positive curvature near \((R_{0},0)\). Then the operator \(\textbf{JL}\) defined by (1.9) generates a \(C^{0}\) group \(e^{t\textbf{JL}}\) of bounded linear operators on \(\textbf{X}=X\times Y\) and there exists a decomposition
of closed subspaces \(E^{u,s,c}\) satisfying the following properties:
i) \(E^{c},E^{u},E^{s}\) are invariant under \(e^{t\textbf{JL}}\).
ii) \(E^{u}\left( E^{s}\right) \) only consists of eigenvectors corresponding to positive (negative) eigenvalues of \(\textbf{JL}\) and
where \(\langle \mathcal {K}\cdot ,\cdot \rangle \) is a bounded bilinear quadratic form on \(L_{\Phi ^{\prime \prime }(\rho _{0})}^{2}\ \)defined by
for any \(\delta \rho \in L_{\Phi ^{\prime \prime }(\rho _{0})}^{2}\) and \(n^{-}\left( \mathcal {K}|_{R\left( B_{1}\right) }\right) \) denotes the number of negative modes of \(\left\langle \mathcal {K}\cdot ,\cdot \right\rangle \) restricted to the subspace
iii) The exponential trichotomy is true in the space \(\textbf{X}\) in the sense of (2.2) and (2.3).
Remark 1.1
The perturbations \(\delta \rho (r,z)\in L^2_{\Phi ^{''}(\rho _0)}\) and \(\delta v_\theta (r,z)\in L^2_{\rho _0}\) imply that \(\text {supp}(\delta \rho ,\delta v_\theta )\subset \overline{\Omega }\). But for convenience of notations, we use \(\int _{-\infty }^{+\infty }\bullet dz\) for \(\int _{-Z(r)}^{+Z(r)}\bullet dz\) where \((r,\pm Z(r))\in \partial \Omega \), “\(\bullet \)” represents an integrand supported in \(\Omega \). Here, it should be understood that the integrand function is extended by 0 outside the support \(\Omega \).
Corollary 1.1
Under the assumptions of Theorem 1.1, the rotating star solution \((\rho _{0},{v}_{0})\) is spectrally stable to axi-symmetric perturbations if and only if
for all \(\delta \rho \in L_{\Phi ^{\prime \prime }(\rho _{0})}^{2}\) with \(\int _{\Omega }\delta \rho dx=0\).
Theorem 1.1 gives not only a sharp stability criteria for rotating stars with Rayleigh stable angular velocity, but also more detailed information on the spectra of the linearized Euler–Poisson operator and exponential trichotomy estimates for the linearized Euler–Poisson system. These will be useful for the future study of nonlinear dynamics near unstable rotating stars, particularly, the construction of invariant (stable, unstable and center) manifolds for the nonlinear Euler–Poisson system.
The sharp stability criterion in Corollary 1.1 is used to study the stability of two families of slowly rotating stars. For the first family of slowly rotating stars with fixed Rayleigh stable angular velocity and parameterized by the center density, we show that TPP is not true and the transition of stability does not occur at the first mass extrema. More precisely, for fixed \(\omega _{0}\left( r\right) \in C^{1,\beta }\) (\(\beta \in (0,1)\)), satisfying \(\Upsilon (r)>0\) and \(\kappa \) small enough, by implicit function theorem as in [14, 18, 41], there exists a family of slowly rotating stars \(\left( \rho _{\mu ,\kappa },\kappa r\omega _{0}\left( r\right) \textbf{e}_{\theta }\right) \) parameterized by the center density \(\mu \). We show that the transition of stability for this family is not at the first extrema of the total mass \(M_{\mu ,\kappa }\). In particular, when \(\gamma _{0}>\frac{4}{3}\), the slowly rotating stars are stable for small center density and remain stable slightly beyond the first mass maximum. This is consistent with the numerical evidence in [4] (Figure 10, p. 400) for the example of rigidly rotating stars and an equation of state with \(\gamma _{0}=\frac{5}{3}\). It shows that Rayleigh stable rotation is indeed stabilizing for rotating stars. By contrast, for the second family of slowly rotating stars with fixed monotone increasing angular momentum distribution (equivalently Rayleigh stable angular velocity), we show that TPP is indeed true. More precisely, for fixed \(j\left( p,q\right) \in C^{1,\beta }\left( \mathbb {R}^{+}\times \mathbb {R}^{+}\right) \) satisfying \(\partial _{p} (j^{2}\left( p,q\right) )>0\), \(j(0,q)=\partial _{p}j(0,q)=0\) and \(\varepsilon \) sufficiently small, there exists a family of slowly rotating stars \(\left( \rho _{\mu ,\varepsilon },\frac{\varepsilon }{r}j\left( m_{\rho _{\mu ,\varepsilon }},M_{\mu ,\varepsilon }\right) \textbf{e}_{\theta }\right) \) parameterized by the center density \(\mu \), where
is the mass distribution in the cylinder and \(M_{\mu ,\varepsilon }\) is the total mass. We show that the transition of stability for this family of rotating stars exactly occurs at the first extrema of the total mass \(M_{\mu ,\varepsilon }\). This not only confirms the claim in [4] based on heuristic arguments when \(j\left( m,M\right) =\frac{1}{M}j(\frac{m}{M})\), but also can apply to other examples studied in the literature, including\(\ j\left( m,M\right) =j\left( m\right) \) (see [2, 18, 30, 31]) and \(j\left( m,M\right) =j(\frac{m}{M})\) (see [34]).
The issue of TPP is also not so clear for relativistic rotating stars. For relativistic stars, TPP was shown for the secular stability (with dissipation) of a family of rigidly rotating stars ( [12]), while numerical results in [44] indicated that the transition of dynamic instability (without dissipation) does not occur at the mass maximum (i.e. TPP is not true) for such a family. Our approach for the Newtonian case might be useful for studying the relativistic case.
For the Rayleigh stable case, the stability of rotating stars is studied by using the separable Hamiltonian framework as in the non-rotating stars [29]. However, there are fundamental differences between these two cases. For the non-rotating stars, the stability condition is reduced to find \(n^{-}\left( L|_{R\left( B_{1}\right) }\right) \), that is, the number of negative modes of \(\left\langle L\cdot ,\cdot \right\rangle \) restricted to \(R\left( B_{1}\right) \), where L and \(R\left( B_{1}\right) \) are defined in (1.11) and (1.14) respectively. We note that the dynamically accessible space \(R\left( B_{1}\right) \) (for density perturbation) is one co-dimensional with only the mass constraint. For the rotating stars, by using the separable Hamiltonian formulation (1.8), the stability is reduced to find \(n^{-}\left( \mathbb {L}|_{\overline{R\left( B\right) }}\right) \), where \(\mathbb {L},B\) are defined in (1.10) and (1.12) respectively. Here, the dynamically accessible space \(\overline{R\left( B\right) }\) (for density and \(\theta \)-component of velocity) is infinite co-dimensional, which corresponds to perturbations preserving infinitely many generalized total angular momentum (2.11) in the first order. It is hard to compute the negative modes of \(\left\langle \mathbb {L\cdot },\mathbb {\cdot }\right\rangle \) with such infinitely many constraints. A key point in our proof is to find a reduced functional \(\mathcal {K}\) defined in (1.13) for density perturbation such that \(n^{-}\left( \mathbb {L}|_{\overline{R\left( B\right) }}\right) =n^{-}\left( \mathcal {K}|_{R\left( B_{1}\right) }\right) \), where \(R\left( B_{1}\right) \) denotes the density perturbations preserving the mass as in the non-rotating case. Therefore, the study of negative modes of \(\mathbb {L}|_{\overline{R\left( B\right) }}\) with infinitely many constraints is reduced to study \(\mathcal {K}|_{R\left( B_{1}\right) }\) with only one mass constraint. This reduced stability criterion in terms of \(\mathcal {K}|_{R\left( B_{1}\right) }\) is crucial to prove or disprove TPP for different families of rotating stars.
Next we consider rotating stars with Rayleigh unstable angular velocity \(\omega _{0}\left( r\right) \). That is, there exists a point \(r_{0} \in (0,R_{0})\) such that \(\Upsilon (r_{0})=\frac{\partial _{r}(\omega _{0} ^{2}r^{4})}{r^{3}}\big |_{r=r_{0}}<0\). In this case, we cannot write the linearized Euler–Poisson system as a separable linear Hamiltonian PDEs since \(A_{1}=\frac{4\omega _{0}^{2}r^{3}\rho _{0}}{\partial _{r}(\omega _{0}^{2}r^{4})}\) is not defined at \(r_{0}\). Instead, we use the following second order system for \(u_{2}=(v_{r},v_{z})\)
where \(\mathbb {\tilde{L}=L}_{1}+\mathbb {L}_{2},\)
are self-adjoint operators on Y. The following properties of the spectra of \(\mathbb {\tilde{L}}\) are obtained in Proposition 4.1: i) \(\sigma _{ess}(\tilde{\mathbb {L}})=range(\Upsilon (r))=[-a,b],\ \)where \(a>0,b\ge 0\); ii) There are finitely many negative eigenvalues and infinitely many positive eigenvalues outside the interval \([-a,b]\). In particular, the infimum of \(\sigma (\tilde{\mathbb {L}})\) is negative, which might correspond to either discrete or continuous spectrum.
Define the space
with the norm
Theorem 1.2
Assume \(\omega _{0}\in C^{1}[0,R_{0}]\), (1.7) and \(\inf \limits _{r\in [0,R_{0}]}\Upsilon (r)<0\). Let \(\eta _{0}\le -a\) be the minimum of \(\lambda \in \sigma (\tilde{\mathbb {L}})\). Then we have:
i) Equation (1.15) defines a \(C^{0}\) group T(t), \(t\in \mathbb {R}\), on \(Z\times Y\). There exists \(C>0\) such that for any \(\left( u_{2}\left( 0\right) ,u_{2t}\left( 0\right) \right) \in Z\times Y\),
The flow T(t) conserves the total energy
ii) For any \(\varepsilon \in (0,-\eta _0)\), there exists initial data \(u_{2}^{\varepsilon }\left( 0\right) \in Z,u_{2t}^{\varepsilon }\left( 0\right) =0\) such that
The above theorem shows that rotating stars with Rayleigh unstable angular velocity are always linearly unstable. The maximal growth rate is obtained either by a discrete eigenvalue beyond the range of \(\Upsilon (r)\) or by unstable continuous spectrum due to Rayleigh instability (i.e. negative \(\Upsilon (r)\)). In [23], it was shown that for slowly rotating stars with any angular velocity profile, discrete unstable modes cannot be perturbed from neutral modes of non-rotating stars. However, the unstable continuous spectrum was not considered there.
We briefly mention some recent mathematical works on the stability of rotating gaseous stars. The conditional Lyapunov stability of some rotating star constructed by variational methods had been obtained by Luo and Smoller [30,31,32,33] under Rayleigh stability assumption, also called Sölberg stability criterion in their works.
The paper is organized as follows. In Sect. 2, we study rotating stars with Rayleigh stable angular velocity and prove the sharp stability criterion. In Sect. 3, we use the stability criterion to prove/disprove TPP for two families of slowly rotating stars. In Sect. 4, we prove linear instability of rotating stars with Rayleigh unstable angular velocity.
Throughout this paper, for \(a,b>0\ \)we use \(a\lesssim b\) to denote the estimate \(a\le Cb\) for some constant C independent of a, b, \(a\approx b\) to denote the estimate \(C_{1}a\le b\le C_{2}b\) for some constants \(C_{1},C_{2}>0\) and \(a\sim b\) to denote \(|a-b|<\epsilon \) for some \(\epsilon >0\) small enough.
2 Stability Criterion for Rayleigh Stable Case
In this section, we consider rotating stars with Rayleigh stable angular velocity profiles. The linearized Euler–Poisson system is studied by using a framework of separable Hamiltonian systems in [29]. First, we give a summary of the abstract theory in [29].
2.1 Separable linear Hamiltonian PDEs
Consider a linear Hamiltonian PDEs of the separable form
where \(u\in X,\ v\in Y\) and X, Y are real Hilbert spaces. We briefly describe the results in [29] about general separable Hamiltonian PDEs (2.1). The triple \(\left( L,A,B\right) \) is assumed to satisfy assumptions:
- (G1):
-
The operator \(B:Y^{*}\supset D(B)\rightarrow X\) and its dual operator \(B^{\prime }:X^{*}\supset D(B^{\prime })\rightarrow Y\ \)are densely defined and closed (and thus \(B^{\prime \prime }=B\)).
- (G2):
-
The operator \(A:Y\rightarrow Y^{*}\) is bounded and self-dual (i.e. \(A^{\prime }=A\) and thus \(\left\langle Au,v\right\rangle \) is a bounded symmetric bilinear form on Y). Moreover, there exist \(\delta >0\) such that
$$\begin{aligned} \langle Au,u\rangle \ge \delta \left\| u\right\| _{Y}^{2},\;\forall u\in Y. \end{aligned}$$ - (G3):
-
The operator \(L:X\rightarrow X^{*}\) is bounded and self-dual (i.e. \(L^{\prime }=L\) etc.) and there exists a decomposition of X into the direct sum of three closed subspaces
$$\begin{aligned} X=X_{-}\oplus \ker L\oplus X_{+},\ \dim \ker L<\infty ,\ \ n^{-}(L)\triangleq \dim X_{-}<\infty , \end{aligned}$$satisfying
- (G3.a):
-
\(\left\langle Lu,u\right\rangle <0\) for all \(u\in X_{-}\backslash \{0\}\);
- (G3.b):
-
there exists \(\delta >0\) such that
$$\begin{aligned} \left\langle Lu,u\right\rangle \ge \delta \left\| u\right\| ^{2},\text { for any }u\in X_{+}. \end{aligned}$$
We note that the assumptions \(\dim \ker L<\infty \) and \(A>0\ \)can be relaxed (see [29]). But these simplified assumptions are enough for the applications to the Euler–Poisson system studied in this section under the Rayleigh stability assumption (i.e. \(\Upsilon (r)>0\) for all \(r\in [0,R_{0}]\)).
Theorem 2.1
[29] Assume (G1–3) for (2.1). The operator \(\textbf{JL}\) generates a \(C^{0}\) group \(e^{t\textbf{JL}}\) of bounded linear operators on \(\textbf{X}=X\times Y\) and there exists a decomposition
of closed subspaces \(E^{u,s,c}\) with the following properties:
i) \(E^{c},E^{u},E^{s}\) are invariant under \(e^{t\textbf{JL}}\).
ii) \(E^{u}\left( E^{s}\right) \) only consists of eigenvectors corresponding to positive(negative) eigenvalues of \(\textbf{JL}\) and
where \(n^{-}\left( L|_{\overline{R\left( B\right) }}\right) \) denotes the number of negative modes of \(\left\langle L\cdot ,\cdot \right\rangle |_{\overline{R\left( B\right) }}\). If \(n^{-}\left( L|_{\overline{R\left( B\right) }}\right) >0\), then there exists \(M>0\) such that
where \(\lambda _{u}=\min \{\lambda \mid \lambda \in \sigma (\textbf{JL}|_{E^{u} })\}>0\).
iii) The quadratic form \(\left\langle \textbf{L}\cdot ,\cdot \right\rangle \) vanishes on \(E^{u,s}\), i.e. \(\langle \textbf{L}\textbf{u},\textbf{u} \rangle =0\) for all \(\textbf{u}\in E^{u,s}\), but is non-degenerate on \(E^{u}\oplus E^{s}\), and
There exists \(M>0\) such that
iv) Suppose \(\left\langle L\cdot ,\cdot \right\rangle \) is non-degenerate on \(\overline{R\left( B\right) }\), then \(|e^{t\textbf{JL}}|_{E^{c}}|\le M\) for some \(M>0\). Namely, there is Lyapunov stability on the center space \(E^{c}\).
Remark 2.1
Above theorem shows that the solutions of (2.9) are spectrally stable if and only if \(L|_{\overline{R\left( B\right) }}\ge 0\). Moreover, \(n^{-}\left( L|_{\overline{R\left( B\right) }}\right) \) equals to the number of unstable modes. The exponential trichotomy estimates (2.2)–(2.3) are important in the study of nonlinear dynamics near an unstable steady state, such as the proof of nonlinear instability or the construction of invariant (stable, unstable and center) manifolds. The exponential trichotomy can be lifted to more regular spaces if the spaces \(E^{u,s}\) have higher regularity. We refer to Theorem 2.2 in [28] for more precise statements.
2.2 Hamiltonian formulation of linearized EP system
Consider an axi-symmetric rotating star solution \((\rho _{0}\left( r,z\right) ,\overrightarrow{{v_{0}}}=v_{0}{} {\textbf {e}}_{\theta }=r\omega _{0}\left( r\right) {\textbf {e}}_{\theta })\). The support of density \(\rho _{0}\) is denoted by \(\Omega \), which is an axi-symmetric simply connected bounded domain. Let \(R_{0}\) be support radius in r, that is, the maximum of r such that \((r,z)\in \Omega \). We choose the coordinate system such that \((R_{0},0)\in \partial \Omega \). We make the following assumptions: i) \(\omega _{0}\in C^{1}[0,R_{0}]\) satisfies the Rayleigh stability condition (i.e. \(\Upsilon (r)>0\) for \(r\in [0,R_{0}]\));ii) \(\partial \Omega \) is \(C^{2}\) near \((R_{0},0)\ \)and has positive curvature (equivalently \(\Omega \) is locally convex) at \((R_{0},0)\);iii) \(\rho _{0}\) satisfies (1.7). The following lemma will be used later.
Lemma 2.1
Under Assumptions ii) and iii) above, for \(\varepsilon >0\) small enough we have
for any \(\lambda >0\) and \(r\in \left( R_{0}-\varepsilon ,R_{0}\right) \).
Proof
By (1.7), we have
First, we consider the case when \(\Omega \) is the ball \(\left\{ r^{2} +z^{2}<R_{0}^{2}\right\} \). Then for r close to \(R_{0}\)
For general \(\Omega \), let \(\frac{1}{r_{0}}>0\) be the curvature of \(\partial \Omega \) at \(\left( R_{0},0\right) \) and
be the osculating circle at \(\left( R_{0},0\right) \). Then near \(\left( R_{0},0\right) \), \(\partial \Omega \ \)is approximated by \(\Gamma \) to the 2nd order. For any \(r\in \left( R_{0}-\varepsilon ,R_{0}\right) \), let \(\left( r,-z_{1}\left( r\right) \right) ,\ \left( r,z_{2}\left( r\right) \right) \ \)be the intersection of \(\partial \Omega \) with the vertical line \(r^{\prime }=r\), where \(z_{1}\left( r\right) ,z_{2}\left( r\right) >0\). Then for \(\varepsilon \) small enough, we have
For \(\left( r,z\right) \in \Omega \) with \(r\in \left( R_{0}-\varepsilon ,R_{0}\right) \),
Then similar to (2.4), we have
\(\square \)
Let \(X_{1}:=L_{\Phi ^{\prime \prime }(\rho _{0})}^{2}\), \(X_{2}:=L_{\rho _{0}}^{2}\), \(X:=X_{1}\times X_{2}\), \(Y:=\left( L_{\rho _{0}}^{2}\right) ^{2}\) and \(\textbf{X}:=X\times Y\).
The linearized Euler–Poisson system for axi-symmetric perturbations around the rotating star solution \((\rho _{0}\left( r,z\right) ,\omega _{0}\left( r\right) r\textbf{e}_{\theta })\) is
with \(\Delta V=4\pi \rho \). Here, \((\rho ,\overrightarrow{{v}}=(v_{r},v_{\theta },v_{z} ))\in {\textbf {X}}\) are perturbations of density and velocity.
Define the operators
and
where
and
Then the linearized Euler–Poisson system (2.5) can be written in a separable Hamiltonian form
where \(u_{1}=(\rho ,v_{\theta })\) and \(u_{2}=(v_{r},v_{z})\). The operators
are off-diagonal anti-self-dual and diagonal self-dual respectively, where
First, we check that \(\left( \mathbb {L},A,B\right) \) in (2.9) satisfy the assumptions (G1)–(G3) for the abstract theory in Sect. 2.1. The assumptions (G1) and (G2) can be shown by the same arguments as in the proof of Lemma 3.5 in [29] and the fact that \(B_{2}\) is bounded. The Rayleigh stability condition \(\Upsilon (r)>0\ \)implies that the operator \(A_{1}\) is bounded, positive and self-dual. By the same proof of Lemma 3.6 in [29], we have the following lemma.
Lemma 2.2
There exists a direct sum decomposition \(X_1=X_{-}\oplus \ker L\oplus X_{+}\) and \(\delta _{0}>0\ \)such that:
-
i)
\(\dim \left( X_{-}\right) ,\dim \ker L<\infty ;\ \)
-
ii)
\(L|_{X_{-}}<0,\ L|_{X_{+}}\ge \delta _{0}\) and \(X_{-}\perp X_{+}\) in the inner product of \(X_1\).
The assumption (G3) readily follows from above lemma. Therefore, we can apply Theorem 2.1 to the linearized Euler–Poisson system (2.9). This proves the conclusions in Theorem 1.1 except for the formula \(n^{-}\left( \mathbb {L}|_{\overline{R\left( B\right) }}\right) =n^{-}\left( \mathcal {K}|_{R\left( B_{1}\right) }\right) \), which will be shown later. Here, \(\overline{R\left( B\right) }\) is the closure of R(B) in X, and the operators \(B,B_{1}\) are defined in (2.6)–(2.8).
Remark 2.2
In some literature [30,31,32,33], the Rayleigh stability condition is \(\Upsilon (r)\ge 0\) for all \(r\in [0,R_{0}]\). Here, we used the stability condition \(\Upsilon (r)>0\) for all \(r\in [0,R_{0}]\) as in the astrophysical literature such as [4, 46]. If \(\Upsilon (r)\ge 0\) for all \(r\in [0,R_{0}]\) and \(\Upsilon (r)=0\) only at some isolated points, let \(\Lambda \left( r,z\right) =\frac{4\omega _{0} ^{2}\rho _{0}}{\Upsilon (r)}\) and the operator \(A_{1}:L_{\Lambda }^{2} \rightarrow (L_{\Lambda }^{2})^{*}\) is bounded and positive. The linearized Euler–Poisson system can still be studied in the framework of separable Hamiltonian systems and similar results as in Theorem 1.1 can be obtained.
2.3 Dynamically accessible perturbations
By Theorem 1.1, the solutions of (2.9) are spectrally stable (i.e. nonexistence of exponentially growing solution) if and only if \(\mathbb {L}|_{\overline{R(B)}}\ge 0\). More precisely, we have
Corollary 2.1
Assume \(\omega _{0}\in C^{1}[0,R_{0}]\), (1.7), and \(\inf \limits _{r\in [0,R_{0}]}\Upsilon (r)>0\). The rotating star solution \(\left( \rho _{0}\left( r,z\right) ,{\overrightarrow{v_{0}}}=r\omega _{0}\left( r\right) {\textbf {e}}_{\theta }\right) \ \)of Euler–Poisson system is spectrally stable if and only if
In this section, we discuss the physical meaning of above stability criterion by using the variational structure of the rotating stars.
For any solution \((\rho ,v)\) of the axi-symmetric Euler–Poisson system (1.1), define the angular momentum \(j=v_{\theta }r\ \)and the generalized total angular momentum
for any function \(g\in C^{1}\left( \mathbb {R}\right) \).
Lemma 2.3
For any \(g\in C^{1}(\mathbb {R})\), the functional \(A_{g}(\rho ,v_{\theta })\) is conserved for the Euler–Poisson system (1.1).
Proof
First, we note that the angular momentum j is an invariant of the particle trajectory under the axi-symmetric force field \(-\nabla V-\nabla \Phi ^{\prime }(\rho )\). Let \(\varphi \left( x,t\right) \) be the flow map of the velocity field v with initial position x, and \(J\left( x,t\right) \) be the Jacobian of \(\varphi \). Then \(\rho \left( \varphi \left( x,t\right) ,t\right) J\left( x,t\right) =\rho \left( x,0\right) \) and
\(\square \)
The steady state \((\rho _{0},\omega _{0}r\textbf{e}_{\theta })\) has the following variational structure. By the steady state equation (1.6), we have
where \(c_{0}>0\) is the constant in (1.6) and \(g_{0}\in C^{1}\left( \mathbb {R}\right) \) satisfies the equation
The existence of \(g_{0}\) satisfying (2.13) is ensured by the Rayleigh stability condition \(\Upsilon (r)>0\) which implies that \(\omega _{0}\left( r\right) r^{2}\) is monotone to r. The equations (1.6) and (2.12) are equivalent since
due to (2.13) and integration by parts. Denote the the total energy by
which is conserved for the Euler–Poisson system (1.1). Define the energy-Casimir functional
where \(c_{0}\ \)and \(g_{0}\) are as in (2.12). Then \((\rho _{0},\omega _{0}r\textbf{e}_{\theta })\) is a critical point of \(H_{c} (\rho ,v)\), since
by equations (2.12) and (2.13). By direct computations,
where we used the identity
The functional (2.14) is a conserved quantity of the linearized Euler–Poisson system due to the Hamiltonian structure (2.9). We note that the number of negative directions of (2.14) is given by \(n^{-}\left( \mathbb {L}\right) \).
Lemma 2.4
It holds that
Proof
Since \(\ker B_{1}^{\prime }=\ker \nabla \) is spanned by constant functions, we have
It remains to show \(R\left( B_{1}\right) =\overline{R\left( B_{1}\right) }\) which is equivalent to show \(R\left( B_{1}A\right) =\overline{R\left( B_{1}A\right) }\). By Lemma 3.15 in [29], we have the orthogonal decomposition
where \(W=\left\{ w=\nabla p\in L_{\rho _{0}}^{2}\right\} \). For any \(\delta \rho \in R\left( B_{1}A\right) \), by the proof of Lemma 3.15 in [29], there exists a unique gradient field \(\nabla p\in L_{\rho _{0} }^{2}\) such that
By Proposition 12 in [19], we have
For any \(u\in D\left( B_{1}A\right) \), let \(v\in W\) be the projection of u to W. Then above estimate (2.15) implies that
By Theorem 5.2 in [22, P. 231], this implies that \(R\left( B_{1}\right) =\overline{R\left( B_{1}\right) }.\) \(\square \)
Definition 2.1
The perturbation \(\left( \delta \rho ,\delta v_{\theta }\right) \in X\) is called dynamically accessible if \(\left( \delta \rho ,\delta v_{\theta }\right) \in \overline{R(B)}\).
In the next lemma, we give two equivalent characterizations of the dynamically accessible perturbations.
Lemma 2.5
For \(\left( \delta \rho ,\delta v_{\theta }\right) \in X\), the following statements are equivalent.
(i) \(\left( \delta \rho ,\delta v_{\theta }\right) \in \overline{R(B)};\)
(ii)
(iii) \(\int _{\Omega }\delta \rho \ dx=0\) and for any \(r\in [0,R_0]\),
Proof
First, we show (i) and (ii) are equivalent. We have \(\overline{R(B)}=\left( \ker B^{\prime }\right) ^{\perp }\), where the dual operator \(B^{\prime }:\) \(X^{*}\rightarrow Y\ \)is defined in (2.7)–(2.8). Let \(\left( \rho ,v_{\theta }\right) \) be a \(C^{1}\) function in \(\ker B^{\prime }\), then
Since \(\partial _{z}\rho =0\) and \(\omega _{0}r^{2}\) is monotone to r by the Rayleigh stability condition, we can write \(\rho =g\left( \omega _{0} r^{2}\right) \) for some function \(g\in C^{1}\). Then \(\partial _{r}\rho -\frac{\partial _{r}(\omega _{0}r^{2})}{r\rho _{0}}v_{\theta }=0\) implies that \(v_{\theta }=\rho _{0}rg^{\prime }(\omega _{0}r^{2})\). Thus \(\ker B^{\prime }\) is the closure of the set
in \(X^{*}\). Therefore, \(\left( \delta \rho ,\delta v_{\theta }\right) \in \overline{R(B)}=\left( \ker B^{\prime }\right) ^{\perp }\) if and only if (2.16) is satisfied.
Next, we show (ii) and (iii) are equivalent. If (ii) is satisfied, by choosing \(g=1\) we get \(\int \delta \rho \ dx=0\). Then by (2.16) and integration by parts, we have
which implies (2.17) since \(g\in C^{1}\left( \mathbb {R}\right) \) is arbitrary. On the other hand, by reversing the above computation, (ii) follows from (iii). \(\square \)
The statement (ii) above implies that for any \(\left( \delta \rho ,\delta v_{\theta }\right) \in \overline{R(B)}\), we have
where the generalized angular momentum \(A_{g}\) is defined in (2.11). That is, a dynamically accessible perturbation \((\delta \rho ,\delta v_{\theta })\) must lie on the tangent space of the hypersurface \(A_{g}(\rho ,v_\theta )=A_{g}(\rho _0,\omega _0(r)r\textbf{e})\). Since g is arbitrary, this implies infinite many constraints for dynamically accessible perturbations. The stability criterion (2.10) implies that rotating stars are stable if and only if they are local minimizers of energy functional \(H(\rho ,v)\) under the constraints of fixed generalized angular momentum \(A_{g}\) for all g. This contrasts significantly with the case of non-rotating stars. It was shown in [29] that non-rotating stars are stable if and only if they are local minimizers of the energy functional under the only constraint of fixed total mass. The stability criterion (2.10) for rotating stars involves infinitely many constraints and is much more difficult to check. In the next section, we give an equivalent stability criterion in terms of a reduced functional (1.13) under only the mass constraint.
Remark 2.3
For non-rotating stars, the dynamically accessible perturbations are given by \(R\left( B_{1}\right) =\overline{R\left( B_{1}\right) }\) which consists of the perturbations preserving the mass (see Lemma 2.4). For rotating stars, the dynamically accessible space \(\overline{R(B)}\) is different from \(R\left( B\right) \).
2.4 Reduced functional and the equivalent stability criterion
In this section, we prove the formula \(n^{-}\left( \mathbb {L}|_{\overline{R\left( B\right) }}\right) =n^{-}\left( \mathcal {K}|_{R\left( B_{1}\right) }\right) \) and complete the proof of Theorem 1.1.
Lemma 2.6
For any \(\delta \rho \in R\left( B_{1}\right) \), define
Then \(\left( \delta \rho ,u_{\theta }^{\delta \rho }\right) \in \overline{R\left( B\right) }\) and \(\left\| u_{\theta }^{\delta \rho }\right\| _{L_{\rho _{0} }^{2}}\ \lesssim \left\| \delta \rho \right\| _{L_{\Phi ^{\prime \prime } (\rho _{0})}^{2}}.\)
Proof
We have
where \(\varepsilon >0\) is chosen such that Lemma 2.1 holds. Since the function \(h_{1}\left( r\right) =\int _{-\infty }^{+\infty }{\rho _{0} }(r,z)dz\) has a positive lower bound in \(\left[ 0,R_{0}-\varepsilon \right] \) and \(h_{2}\left( r\right) =\int _{-\infty }^{+\infty }\frac{1}{\Phi ^{\prime \prime }(\rho _{0}(r,z))}dz\) is bounded, by Hardy’s inequality (see Lemma 3.21 in [29] or [3]) we have
By Hardy’s inequality and Lemma 2.1, we have
where we used the estimate
since \(\Phi ^{\prime \prime }\left( s\right) \approx s^{\mathbb {\gamma }_{0}-2}\) for s small. This proves \(\Vert u_{\theta }^{\delta \rho }\Vert _{L_{\rho _{0}}^{2}}\ \lesssim \left\| \delta \rho \right\| _{L_{\Phi ^{\prime \prime }(\rho _{0})}^{2}}\).
The statement \(\left( \delta \rho ,u_{\theta }^{\delta \rho }\right) \in \overline{R\left( B\right) }\) follows from Lemma 2.5 since \(\int _{\Omega }\delta \rho \ dx=0\) for \(\delta \rho \in R\left( B_{1}\right) \) and \(u_{\theta }^{\delta \rho }\) obviously satisfies (2.17). \(\square \)
With the help of Lemma 2.6, we can finish the proof of Theorem 1.1.
Proof of Theorem 1.1
We only need to show \(n^{-}\left( \mathbb {L}|_{\overline{R\left( B\right) }}\right) =n^{-}\left( \mathcal {K}|_{R\left( B_{1}\right) }\right) \). First, we have
since
In the above, we used the observation that
since
due to (2.17) and (2.18). Since \(\delta \rho \in R\left( B_{1}\right) \), it follows from (2.19 ) that \(n^{-}\left( \mathcal {K}|_{R\left( B_{1}\right) }\right) \ge n^{-}\left( \mathbb {L}|_{\overline{R\left( B\right) }}\right) \). On the other hand, we also have \(n^{-}\left( \mathcal {K}|_{R\left( B_{1}\right) }\right) \le n^{-}\left( \mathbb {L}|_{\overline{R\left( B\right) } }\right) ,\) since
Thus \(n^{-}\left( \mathcal {K}|_{R\left( B_{1}\right) }\right) =n^{-}\left( \mathbb {L}|_{\overline{R\left( B\right) }}\right) \). This finishes the proof of Theorem 1.1. \(\square \)
3 TPP for Slowly Rotating Stars
In this section, we use the stability criterion in Theorem 1.1 to study two families of slowly rotating stars parameterized by the center density.
3.1 The case of fixed angular velocity
In this subsection, we consider a family of slowly rotating stars with fixed angular velocity.
Under the assumptions (1.2)–(1.3), for some \(\mu _{\max }>0\), there exists a family of nonrotating stars with radially symmetric density \(\rho _{\mu }(|x|)\) parametrized by the center density \(\mu \in (0,\mu _{\max })\). We refer to [29] and references therein for such results. Let\(\ R_{\mu }\) be the support radius of \(\rho _{\mu }\) and \(B_{\mu }=B(0,R_{\mu })\) be the support of \(\rho _{\mu }\). The radial density \(\rho _{\mu }\) satisfies
with \(\rho _{\mu }(0)=\mu \). For the general equations of state satisfying (1.2)–(1.3) with \(\gamma _{0}\ge 4/3\), it was shown in [15] that \(\mu _{\max }=+\infty \).
Let \(\omega (r)\in C^{1,\beta }[0,\infty )\) be fixed for some \(\beta \in (0,1)\). We consider a family of rotating stars for the Euler–Poisson system with the following form
where the dilating function is
and \(\zeta _{\mu ,\kappa }(x):B_{\mu }\rightarrow \mathbb {R}\) is axi-symmetric and even in z.
The governing equation of rotating stars \(\left( \rho _{\mu ,\kappa },\kappa r\omega \left( r\right) \textbf{e}_{\theta }\right) \ \)turns out to be:
where \(c_{\mu ,\kappa }\) is a constant and \(\Omega _{\mu ,\kappa }=g_{\zeta _{\mu ,\kappa }}(B_{\mu })\) is the support of the density \(\rho _{\mu ,\kappa }\ \)of the rotating star solution.
Remark 3.1
We consider rotating stars near a family of non-rotating stars parameterized by center density. In the literature, the constructions are mostly near a non-rotating star with a fixed center density [14, 18] or a fixed total mass [41].
By similar arguments as in [14, 18, 41], we can get the following existence theorem.
Theorem 3.1
Let \(\mu \in [\mu _{0},\mu _{1}]\subset (0,\mu _{\max })\), \(P(\rho )\) satisfy (1.2)–(1.3), and \(\omega (r)\in C^{1,\beta }[0,\infty )\). Then there exist \(\tilde{\kappa }>0\) and solutions \(\rho _{\mu ,\kappa }\) of (3.1) for all \(|\kappa |<\tilde{\kappa }\), satisfying the following properties:
-
1)
\(\rho _{\mu ,\kappa }\in C_{c}^{1,\alpha }(\mathbb {R}^{3})\), where \(\alpha =\min (\frac{2-\mathbb {\gamma }_{0} }{\mathbb {\gamma }_{0}-1},1)\).
-
2)
\(\rho _{\mu ,\kappa }\) is axi-symmetric and even in z.
-
3)
\(\rho _{\mu ,\kappa }(0)=\mu \).
-
4)
\(\rho _{\mu ,\kappa }\ge 0\) has compact support \(g_{\zeta _{\mu ,\kappa }}(B_{\mu })\).
-
5)
For all \(\mu \in [\mu _{0},\mu _{1}]\), the mapping \(\kappa \rightarrow \rho _{\mu ,\kappa }\) is continuous from \((-\tilde{\kappa },\tilde{\kappa })\) into \(C_{c}^{1}(\mathbb {R}^{3})\).
When \(\kappa =0\), \(\rho _{\mu ,0}=\) \(\rho _{\mu }(|x|)\) is the nonrotating star solution with \(\rho _{\mu }(0)=\mu \).
Now we use Theorem 1.1 to study the stability of above rotating star solutions \((\rho _{\mu ,\kappa },\kappa \omega (r)r\textbf{e} _{\theta })\), for \(\mu \in [\mu _{0},\mu _{1}]\), \(\kappa \) small enough, and \(\omega \in C^{1,\beta }[0,\infty )\) satisfying the Rayleigh condition \(\Upsilon (r):=\frac{\partial _{r}(\omega ^{2}r^{4})}{r^{3}}>0\). First, we check the assumptions in Theorem 1.1. Let \(R_{\mu ,\kappa }\) be the support radius in r for \(\Omega _{\mu ,\kappa }=g_{\zeta _{\mu ,\kappa } }(B_{\mu })\). Since \(g_{\zeta _{\mu ,\kappa }}\in C^{2}(B_{\mu })\) dependents continuously on \(\kappa \), it is easy to check the assumptions on \(\Omega _{\mu ,\kappa }\) for \(\kappa \) small enough. That is, \(\partial \Omega _{\mu ,\kappa }\) is \(C^{2}\) and has positive curvature near \((R_{\mu ,\kappa },0)\). Next, we check the assumption (1.7). For nonrotating stars, it is known ( [6, 16, 27, 29]) that
For \(\kappa \) small enough, by the definition of the dilating function \(g_{\zeta _{\mu ,\kappa }}\), we have
for \(\left( r,z\right) \) near \((R_{\mu ,\kappa },0)=g_{\zeta _{\mu ,\kappa } }(R_{\mu },0)\).
Below, for rotating stars \(\left( \rho _{\mu ,\kappa },\kappa r\omega \left( r\right) \textbf{e}_{\theta }\right) \) we use \(X_{\mu ,\kappa }\), \(X_{1} ^{\mu ,\kappa }\), \(Y_{\mu ,\kappa }\), \(L_{\mu ,\kappa }\), \(A_{1}^{\mu ,\kappa }\), \(B_{1}^{\mu ,\kappa }\), \(B_{2}^{\mu ,\kappa }\), \(K_{\mu ,\kappa }\), etc., to denote the corresponding spaces X, \(X_{1}\), Y, and operators L, \(A_{1}\), \(B_{1}\), \(B_{2}\), \(\mathcal {K}\) etc. defined in Sect. 2.
By Theorem 1.1, the rotating star \((\rho _{\mu ,\kappa },\kappa \omega (r)r\textbf{e}_{\theta })\) is spectrally stable if and only if
for all
Moreover, the number of unstable modes equals \(n^{-}\left( K_{\mu ,\kappa }|_{R(B_{1}^{\mu ,\kappa })}\right) \). From the stability criterion, we can obtain the following instability result.
Theorem 3.2
(Sufficient condition for instability) Let \(I\subset [\mu _{0},\mu _{1}]\) be an interval such that the non-rotating star \((\rho _{\mu },0)\) is unstable for any \(\mu \in I\). Then for any \(\omega \in C^{1,\beta }[0,\infty )\) satisfies \(\Upsilon (r)>0\), there exists \(\kappa _{0}>0\) such that the rotating star \((\rho _{\mu ,\kappa },\kappa \omega (r)r\textbf{e} _{\theta })\) is unstable for any \(0<\kappa <\kappa _{0}\) and \(\mu \in I\).
Proof
The instability of \((\rho _{\mu },0)\) implies that \(n^{-}(L_{\mu ,0} |_{R(B_{1}^{\mu ,0})})>0\) for \(\mu \in I\). Thus there exists some \(\epsilon >0\) (independent of \(\mu \)) and \(\delta \rho _{\mu ,0}=\delta \rho _{\mu ,0}(|x|)\in R(B_{1}^{\mu ,0})\ \)such that \(\langle L_{\mu ,0}\delta \rho _{\mu ,0},\delta \rho _{\mu ,0}\rangle =-2\epsilon <0\) for \(\mu \in I\). Let
then \(\delta \rho _{\mu ,\kappa }(r,z)\in R(B_{1}^{\mu ,\kappa })\). Noticing that
we have
Thus, there exists \(\kappa _{0}>0\) such that when \(0<\kappa <\kappa _{0}\)
The linear instability of \((\rho _{\mu ,\kappa },\kappa \omega (r)r\textbf{e} _{\theta })\) follows. \(\square \)
Let \(\tilde{\mu }\) be the first critical point of the mass-radius ratio \(\frac{M_{\mu }}{R_{\mu }}\) for the nonrotating stars and set \(\tilde{\mu }=+\infty \) if \(\frac{M_{\mu }}{R_{\mu }}\) has no critical point. Consider the rotating stars \((\rho _{\mu ,\kappa },\kappa \omega (r)r\textbf{e}_{\theta })\) for \(\mu \in \) \([\mu _{0},\mu _{1}]\subset \left( 0,\tilde{\mu }\right) \) and \(\kappa \) small. We have the following sufficient condition for stability.
Theorem 3.3
(Sufficient condition for stability) Suppose \(P(\rho )\) satisfies (1.2)–(1.3), and \(\omega \in C^{1,\beta }[0,\infty )\) satisfies \(\Upsilon (r)>0\). For any \(\mu \in [\mu _{0},\mu _{1}]\subset \left( 0,\tilde{\mu }\right) \) and \(\kappa \) small enough, if \(\frac{dM_{\mu ,\kappa }}{d\mu }\ge 0,\) then the rotating star \((\rho _{\mu ,\kappa },\kappa \omega r\textbf{e}_{\theta })\) is spectrally stable.
For the proof of above Theorem, first we compute \(n^{-}\left( L_{\mu ,\kappa }|_{X_{\mu ,\kappa }}\right) \). Let \(\dot{H}_{ax}^{1}\) and \(\dot{H}_{ax}^{-1}\) be the axi-symmetric subspaces of \(\dot{H}^{1}(\mathbb {R}^{3})\) and \(\dot{H}^{-1}(\mathbb {R}^{3})\) respectively. Define the reduced operator \(D_{\mu ,\kappa }:\dot{H}_{ax}^{1}\rightarrow \dot{H}_{ax}^{-1}\) by
Then
defines a bounded bilinear symmetric form on \(\dot{H}_{ax}^{1}\). By the same proof of Lemma 3.7 in [29], we have
Lemma 3.1
It holds that \(n^{-}\left( L_{\mu ,\kappa }|_{X_{1}^{\mu ,\kappa }}\right) =n^{-}\left( D_{\mu ,\kappa }\right) \) and \(\dim \ker L_{\mu ,\kappa }=\dim \ker D_{\mu ,\kappa }\).
Since the rotating star solution \((\rho _{\mu ,\kappa },\kappa \omega (r)r\textbf{e}_{\theta })\) is even in z, we can compute \(n^{-}\left( L_{\mu ,\kappa }|_{X_{1}^{\mu ,\kappa }}\right) \) and \(n^{-}\left( D_{\mu ,\kappa }\right) \) on the even and odd (in z) subspaces respectively. Define
Lemma 3.2
Assume \(P(\rho )\) satisfies (1.2)–(1.3), \(\omega \in C^{1,\beta }[0,\infty )\) satisfies \(\Upsilon (r)>0\). Then for any \(\mu \in [\mu _{0},\mu _{1}]\subset \left( 0,\tilde{\mu }\right) \) and \(\kappa \) small enough, we have \(n^{-}(L_{\mu ,\kappa })=n^{-}(L_{\mu ,0})=1\) and \(\ker L_{\mu ,\kappa }=span\{\partial _{z}\rho _{\mu ,\kappa }\}\). Moreover, we have the following direct sum decompositions for \(X_{ev}^{\mu ,\kappa }\) and \(X_{od}^{\mu ,\kappa }:\)
and
satisfying: i) \(L_{\mu ,\kappa }|_{X_{-,ev}^{\mu ,\kappa }}<0;\)
ii) there exists \(\delta >0\) such that
where \(\delta \) is independent of \(\mu \) and \(\kappa \).
The same decompositions are also true for \(K_{\mu ,\kappa }\ \)on \(X_{ev} ^{\mu ,\kappa }\) and \(X_{od}^{\mu ,\kappa }\). In addition, for any \(\mu \in [\mu _{0},\mu _{1}]\), it holds that \(\frac{dV_{\mu ,\kappa }(0,Z_{\mu ,\kappa })}{d\mu }<0\) for \(\kappa \) small enough.
Proof
It was showed in [29] that: for any \(\mu \in \left( 0,\tilde{\mu }\right) \), we have \(n^{-}(D_{\mu ,0})=1\) and \(\ker D_{\mu ,0}=\text {span}\{\partial _{z}V_{\mu }\}\ \)in the axi-symmetric function space. Here, \(V_{\mu }=\) \(-|x|^{-1}*\rho _{\mu }\ \)is the gravitational potential of the non-rotating star. Since \(\partial _{z}V_{\mu }\) is odd in z, it follows that for any \(\mu \in \left( 0,\tilde{\mu }\right) \): i) on \(H^{ev}\), \(n^{-}(D_{\mu ,0} )=1\), \(\ker D_{\mu ,0}=\{0\}\); ii) on \(H^{od}\), \(\ker D_{\mu ,0}=\text {span}\{\partial _{z}V_{\mu }\}\) and \(n^{-}(D_{\mu ,0})=0\). Moreover, for \(\mu \in [\mu _{0},\mu _{1}]\subset \left( 0,\tilde{\mu }\right) \), there exists \(\delta _{0}>0\) (independent of \(\mu \)) and decompositions \(H^{ev}=H_{-}^{ev}\oplus H_{+}^{ev}\) and \(H^{od}=\text {span}\{\partial _{z}V_{\mu }\}\oplus H_{+}^{od}\) satisfying that: i) \(\dim H_{-}^{ev}=1,\ D_{\mu ,0}|_{H_{-}^{ev} }<-\delta _{0}\); ii) \(D_{\mu ,0}|_{H_{+}^{ev}\oplus H_{+}^{od}} \ge \delta _{0}\). Since \(\partial _{z}V_{\mu ,\kappa }\in H^{od}\cap \ker D_{\mu ,\kappa }\) and
by the perturbation arguments (e.g. Corollary 2.19 in [29]) it follows that for \(\mu \in [\mu _{0},\mu _{1}]\) and \(\kappa \) sufficiently small, the decompositions \(H^{ev}=H_{-}^{ev}\oplus H_{+}^{ev}\) and \(H^{od}=\text {span}\{\partial _{z}V_{\mu ,\kappa }\}\oplus H_{+}^{ev}\) satisfy: i) \(\dim H_{-}^{ev}=1,\ D_{\mu ,\kappa }|_{H_{-}^{ev}}<-\frac{1}{2} \delta _{0}\); ii) \(D_{\mu ,\kappa }|_{H_{+}^{ev}\oplus H_{+}^{od}} \ge \frac{1}{2}\delta _{0}\).
By the proof of Lemma 3.4 in [29], for any \(\rho \in X_{1}^{\mu ,\kappa }\ \)we have
where \(\psi =\frac{1}{4\pi }\Delta ^{-1}\rho \). We note that \(\partial _{z} \rho _{\mu ,\kappa }\in \ker L_{\mu ,\kappa }\cap X_{od}^{\mu ,\kappa }\) and \(\partial _{z}V_{\mu ,\kappa }=\frac{1}{4\pi }\Delta ^{-1}\rho _{\mu ,\kappa }\). The existence of decompositions for \(X_{ev}^{\mu ,\kappa }\) and \(X_{od}^{\mu ,\kappa }\) as stated in the lemma follows readily from (3.4) and above decompositions for \(H^{od}\) and \(H^{ev}\).
Since
and \(\partial _{z}\rho _{\mu ,\kappa }\in \ker K_{\mu ,\kappa }\cap X_{od} ^{\mu ,\kappa }\), we have the same decompositions for \(K_{\mu ,\kappa }\) on \(X_{ev}^{\mu ,\kappa }\) and \(X_{od}^{\mu ,\kappa }\).
Since \(\gamma _{0}\in (6/5,2)\), it is known that (see [29])
for \(\mu \) small. Recall that \(\tilde{\mu }\) is the first critical point of \(\frac{M_{\mu }}{R_{\mu }}\). Therefore, when \(\mu \in [\mu _{0},\mu _{1}]\subset \left( 0,\tilde{\mu }\right) \), we have \(\frac{dV_{\mu }(0,R_{\mu })}{d\mu }<-\epsilon _{0}\) for some constant \(\epsilon _{0}>0\) independent of \(\mu \). Since \(\left| \frac{dV_{\mu ,\kappa }(0,Z_{\mu ,\kappa })}{d\mu } -\frac{dV_{\mu }(0,R_{\mu })}{d\mu }\right| =O(\kappa )\), we have \(\frac{dV_{\mu ,\kappa }(0,Z_{\mu ,\kappa })}{d\mu }<0\) for any \(\mu \in [\mu _{0},\mu _{1}]\) and \(\kappa \) small enough. This finishes the proof of the lemma. \(\square \)
Proof of Theorem 3.3
The spectral stability of \((\rho _{\mu ,\kappa },\kappa \omega r\textbf{e}_{\theta })\) is equivalent to show \(n^{-}\left( K_{\mu ,\kappa }|_{R(B_{1}^{\mu ,\kappa })}\right) =0\). By Lemma 3.2 and the fact that \(K_{\mu ,\kappa }=L_{\mu ,\kappa }\ \)on \(X_{od}^{\mu ,\kappa }\), we have
Since \(K_{\mu ,\kappa }\ge L_{\mu ,\kappa }\) on \(X_{ev}^{\mu ,\kappa }\ \)due to \(\Upsilon (r)>0\), for spectral stability it suffices to show \(n^{-}\left( L_{\mu ,\kappa }|_{X_{ev}^{\mu ,\kappa }\cap R(B_{1}^{\mu ,\kappa })}\right) =0\).
Applying \(\frac{d}{d\mu }\) to (3.1), we obtain that
From (3.1) we know that \(c_{\mu ,\kappa }=-V_{\mu ,\kappa }(R_{\mu ,\kappa },0)\). By Lemma 3.2, \(\frac{dc_{\mu ,\kappa }}{d\mu }>0\) for \(\mu \in [\mu _{0},\mu _{1}]\) and \(\kappa \) small enough. Therefore,
i.e. \(\delta \rho \) is orthogonal to \(\frac{d\rho _{\mu ,\kappa }}{d\mu }\ \)in \(\left\langle L_{\mu ,\kappa }\cdot ,\cdot \right\rangle \).
When \(\frac{dM_{\mu ,\kappa }}{d\mu }>0\), we have
Combining above with Lemma 3.2, we get \(n^{-}(L_{\mu ,\kappa }|_{X_{ev}^{\mu ,\kappa }\cap R(B_{1}^{\mu ,\kappa })})=0\). Hence we get the spectrally stability.
When \(\frac{dM_{\mu ,\kappa }}{d\mu }=0\), since
we have \(\frac{d\rho _{\mu ,\kappa }}{d\mu }\in X_{ev}^{\mu ,\kappa }\cap R(B_{1}^{\mu ,\kappa })\). Meanwhile, since \(\ker L_{\mu ,\kappa }=\{0\}\) on \(X_{ev}^{\mu ,\kappa }\), by the same argument as in the proof of Theorem 1.1 in [29], we have \(n^{-}(L_{\mu ,\kappa }|_{X_{ev}^{\mu ,\kappa }\cap R(B_{1}^{\mu ,\kappa })})=0\). The spectral stability is again true. \(\square \)
It is natural to ask if extrema points of the total mass \(M_{\mu ,\kappa }\ \)of the rotating stars \((\rho _{\mu ,\kappa },\kappa \omega r\textbf{e}_{\theta } )\ \)are the transition points for stability as in the case of nonrotating stars. Below, we show that this is not true.
First, we give conditions to ensure that the first extrema point of total mass \(M_{\mu ,\kappa }\) is obtained at a center density \(\mu _{*}^{\kappa }\) before \(\tilde{\mu }\) (the first critical point of \(M_{\mu }/R_{\mu }\)). Assume \(P(\rho )\ \)satisfies the following asymptotically polytropic conditions:
H1)
for some \(\gamma _{0}\in (\frac{4}{3},2)\) and \(c_{-},\ a_{0}>0\);
H2)
for some \(\gamma _{\infty }\in (1,6/5)\cup (6/5,4/3)\) and \(c_{+},\ a_{\infty }>0\).
Under assumptions H1)-H2), it was shown in [15] that the total mass \(M_{\mu }\) of the non-rotating stars \(\rho _\mu :=\rho _{\mu ,0}\) has extrema points. Moreover, the first extrema point of \(M_{\mu }\), which is a maximum point denoted by \(\mu _{*}\), must be less than \(\tilde{\mu }\) (see Lemma 3.14 in [29]). For any \(\mu _{0}<\mu _{*}<\mu _{1}<\) \(\tilde{\mu }\), we have \(M_{\mu ,\kappa }\rightarrow M_{\mu }\) in \(C^{1}\left[ \mu _{0},\mu _{1}\right] \) when \(\kappa \rightarrow 0\). Thus when \(\kappa \) is small enough, the function \(M_{\mu ,\kappa }\) has the first maximum \(\mu _{*}^{\kappa }\in \left( \mu _{0},\mu _{1}\right) \) and \(\lim \limits _{\kappa \rightarrow 0}\mu _{*}^{\kappa } =\mu _{*}\). By Theorem 3.3, the rotating stars \((\rho _{\mu ,\kappa },\kappa \omega (r)r\textbf{e}_{\theta })\ \)are stable for \(\mu \in \left[ \mu _{0},\mu _{*}^{\kappa }\right] \). It is shown below that the transition of stability occurs beyond \(\mu _{*}^{\kappa }\).
Theorem 3.4
Suppose \(P(\rho )\) satisfies (3.5)–(3.6), \(\omega \in C^{1,\beta }[0,\infty )\) satisfies \(\Upsilon (r)>0\). Fixed \(\kappa \) small, let \(\hat{\mu }_{\kappa }\ \)be the first transition point of stability of the rotating stars \((\rho _{\mu ,\kappa },\kappa \omega (r)r\textbf{e}_{\theta })\). Then for any \(\kappa \ne 0\) small enough, we have \(\hat{\mu }_{\kappa }>\mu _{*}^{\kappa }.\)
Proof
As in the proof of Theorem 3.3, the spectral stability is equivalent to show \(K_{\mu ,\kappa }\ge 0\) on \(X_{ev}^{\mu ,\kappa }\cap R(B_{1}^{\mu ,\kappa })\). Suppose the maxima point \(\mu _{*}^{\kappa }\) of \(M_{\mu ,\kappa }\) is the first transition point for stability, then we have
By Lemma 3.2, when \(\kappa \) is small enough, we have the decomposition
satisfying: i) \(K_{\mu _{*}^{\kappa },\kappa }|_{X_{-,ev}^{\mu _{*}^{\kappa },\kappa }}<0;\ \)ii) there exists \(\delta >0\) such that
By using above decomposition, it is easy to show that the infimum in (3.7) is obtained by some \(\rho ^{*}\in X_{ev}^{\mu _{*}^{\kappa },\kappa }\cap R(B_{1}^{\mu _{*}^{\kappa },\kappa })\). Then
On the other hand, we have
and
This implies that \(\rho ^{*}=c\frac{d\rho _{\mu ,\kappa }}{d\mu }|_{\mu =\mu _{*}^{\kappa }}\) for some constant \(c\ne 0\). Since otherwise,
which is in contradiction to \(n^{\le 0}(L_{\mu _{*}^{\kappa },\kappa }|_{X_{ev}^{\mu _{*}^{\kappa },\kappa }})=1\). Thus, we have
and consequently
Nevertheless, it is not true as shown below.
For non-rotating stars \((\rho _{\mu }(\textbf{r}),0)\), we have
where \(\textbf{r}=\sqrt{r^{2}+z^{2}}\) and \(V_{\mu }(\textbf{r})\) is the gravitational potential. Applying \(\frac{d}{d\mu }\) to above equation, one has
When \(\textbf{r}\ge R_{\mu }\), since \(\frac{d\rho _{\mu }}{d\mu }\left( \textbf{r}\right) =0\) we have
and consequently
Since \(\lim \limits _{\kappa \rightarrow 0}\mu _{*}^{\kappa }=\mu _{*}\), we have \(\lim \limits _{\kappa \rightarrow 0}\frac{dM_{\mu }}{d\mu }\left( \mu _{*}^{\kappa }\right) =\frac{dM_{\mu }}{d\mu }\left( \mu _{*}\right) =0\). Thus
Define \(y_{\mu }(\textbf{r})=V_{\mu }(R_{\mu })-V_{\mu }(\textbf{r})=\Phi ^{\prime }(\rho _{\mu })\). Then by Lemma 3.13 in [29], we have
Thus by (3.9), we obtain
for \(\textbf{r}\sim R_{\mu }\) and \(\mu =\mu _{*}^{\kappa }\). By (3.36) and (4.78) in [41], we know
for some constant C independent of \(\mu \) and \(\kappa \). Therefore,
for \(g_{\zeta _{\mu ,\kappa }}^{-1}(r,z)\sim R_{\mu }\) and \(\mu =\mu _{*} ^{\kappa }\). By Lemma 2.1, we have
for \(r\sim R_{\mu _{*}^{\kappa },\kappa }\). This is in contradiction to (3.8) and finishes the proof of the theorem. \(\square \)
3.2 The case of fixed angular momentum distribution
Let \(j(p,q):\mathbb {R}^{2}\mapsto \mathbb {R}\) be a given function satisfying
Define \(J(p,q)=j^{2}(p,q)\). We consider a family of rotating stars of the following form
where
and \(\zeta _{\mu ,\varepsilon }(x):B_{\mu }\rightarrow \mathbb {R}\) is axi-symmetric and even in z. The Euler–Poisson system satisfied by \(\left( \rho _{\mu ,\varepsilon },{v} _{\mu ,\varepsilon }\right) \ \)is reduced to the following equations:
where \(\Omega _{\mu ,\varepsilon }=g_{\zeta _{\mu ,\varepsilon }}(B_{\mu })\) and \(c_{\mu ,\varepsilon }\) is a constant.
Although (3.11) is a little different from the steady state equations in [14], the key linearized operator at the point \(\varepsilon =0\) is the same as [14]. By similar arguments as [14, 41], we can get the following existence theorem.
Theorem 3.5
Let \(\mu \in [\mu _{0},\mu _{1}]\subset (0,\mu _{\max })\), \(P(\rho )\) satisfy (1.2)–(1.3) and j(p, q) satisfy (3.10). Then there exists \(\tilde{\varepsilon }>0\) and solutions \(\rho _{\mu ,\varepsilon }\) of (3.11) for all \(|\varepsilon |<\tilde{\varepsilon }\), with the following properties:
-
1)
\(\rho _{\mu ,\varepsilon }\in C_{c}^{1,\alpha }(\mathbb {R}^{3})\), where \(\alpha =\min (\frac{2-\mathbb {\gamma }_{0}}{\mathbb {\gamma }_{0}-1},1)\).
-
2)
\(\rho _{\mu ,\varepsilon }\) is axi-symmetric and even in z.
-
3)
\(\rho _{\mu ,\varepsilon }(0)=\mu \).
-
4)
\(\rho _{\mu ,\varepsilon }\ge 0\) has compact support \(g_{\zeta _{\mu ,\varepsilon }}(B_{\mu })\).
-
5)
For all \(\mu \in [\mu _{0},\mu _{1}]\), the mapping \(\varepsilon \rightarrow \rho _{\mu ,\varepsilon }\) is continuous from \((-\tilde{\varepsilon },\tilde{\varepsilon })\) into \(C_{c}^{1}(\mathbb {R}^{3}).\)
When \(\varepsilon =0\), \(\rho _{\mu ,0}(x)=\rho _{\mu }(|x|)\) is the nonrotating star solution with \(\rho _{\mu }(0)=\mu \).
Now we use Theorem 1.1 to study the stability of rotating star solutions \((\rho _{\mu ,\varepsilon },\varepsilon j(m_{\rho _{\mu ,\varepsilon }}(r),M_{\mu ,\varepsilon })/r\textbf{e}_{\theta })\), where \(\varepsilon \) is small enough, j(p, q) satisfies (3.10) and the Rayleigh stability condition \(\partial _{p}J\left( p,q\right) >0~\)(i.e. \(j\partial _{p}j>0\)). As in Sect. 3.1, the assumptions in Theorem 1.1 can be verified. That is, \(\partial \Omega _{\mu ,\varepsilon }\) is \(C^{2}\) and has positive curvature near \((R_{\mu ,\varepsilon },0)\) and (1.7) holds for any \(\mu \in [\mu _{0},\mu _{1}]\) and \(\varepsilon \) small enough.
Below, for rotating stars \((\rho _{\mu ,\varepsilon },\varepsilon j(m_{\rho _{\mu ,\varepsilon }}(r),M_{\mu ,\varepsilon })/r\textbf{e}_{\theta })\) we use \(X_{\mu ,\varepsilon }\), \(X_{1}^{\mu ,\varepsilon }\), \(Y_{\mu ,\varepsilon }\), \(L_{\mu ,\varepsilon }\), \(A_{1}^{\mu ,\varepsilon }\), \(B_{1}^{\mu ,\varepsilon }\), \(B_{2}^{\mu ,\varepsilon }\), \(K_{\mu ,\varepsilon }\), etc., to denote the corresponding spaces X, \(X_{1}\), Y, and operators L, \(A_{1}\), \(B_{1}\), \(B_{2}\), \(\mathcal {K}\) etc. defined in Sect. 2. Again, we denote \(\tilde{\mu }\) to be the first critical point of \(M_{\mu }/R_{\mu }\) for non-rotating stars. Define the spaces \(X_{ev}^{\mu ,\varepsilon }\) and \(X_{ev}^{\mu ,\varepsilon }\) as in (3.3). By the same proof of Lemma 3.2, we have the following.
Lemma 3.3
Assume \(P(\rho )\) satisfies (3.5)–(3.5) and j(p, q) satisfies (3.10) and \(\partial _{p}(j^{2}\left( p,q\right) )>0\). Then for any \(\mu \in [\mu _{0},\mu _{1}]\subset (0,\tilde{\mu })\) and \(\varepsilon \) small enough, we have \(n^{-}(K_{\mu ,\varepsilon })=1\) and \(\ker K_{\mu ,\varepsilon }=\text {span}\{\partial _{z}\rho _{\mu ,\varepsilon }\}\). Moreover, we have the following direct sum decompositions for \(X_{ev}^{\mu ,\varepsilon }\) and \(X_{ev}^{\mu ,\varepsilon }:\)
and
satisfying: i) \(K_{\mu ,\varepsilon }|_{X_{-,ev}^{\mu ,\varepsilon }}<0;\)
ii) there exists \(\delta >0\) such that
where \(\delta \) is independent of \(\mu \) and \(\varepsilon \).
In addition, for any \(\mu \in [\mu _{0},\mu _{1}]\), it holds that \(\frac{dV_{\mu ,\varepsilon }(R_{\mu ,\varepsilon },0)}{d\mu }<0\) for \(\varepsilon \) small.
By Theorem 1.1, we get the following necessary and sufficient condition for the stability of rotating stars \((\rho _{\mu ,\varepsilon },\varepsilon j(m_{\rho _{\mu ,\varepsilon }}(r),M_{\mu ,\varepsilon })/r\textbf{e}_{\theta }):\)
for all \(\delta \rho \in R(B_{1}^{\mu ,\varepsilon })=\left\{ \delta \rho \in X_{1}^{\mu ,\varepsilon }|\int _{\Omega _{\mu ,\varepsilon }}\delta \rho dx=0\right\} \).
The following Theorem shows that the stability of this family of rotating stars can only change at the mass extrema.
Theorem 3.6
Assume \(P(\rho )\) satisfies (3.5)–(3.6), and j(p, q) satisfy (3.10) and \(\partial _{p}(j^{2}\left( p,q\right) )>0\). Let \(n^{u}(\mu )\) be the number of unstable modes, namely the total algebraic multiplicities of unstable eigenvalues of the linearized Euler–Poisson system at \((\rho _{\mu ,\varepsilon },\varepsilon j(m_{\rho _{\mu ,\varepsilon }}(r),M_{\mu ,\varepsilon })/r\textbf{e}_{\theta })\). Then for any \(\mu \in [\mu _{0},\mu _{1}]\subset (0,\tilde{\mu })\) and \(\varepsilon \) small enough, we have
Proof
By the same arguments in the proof of Theorem 3.3, we have
Thus it is reduced to find the number of negative modes of the quadratic form \(\left\langle K_{\mu ,\varepsilon }\cdot ,\cdot \right\rangle \) restricted to the even subspace of \(R(B_{1}^{\mu ,\varepsilon })\).
Applying \(\frac{d}{d\mu }\) to (3.11), we obtain that
where
By integration by parts and (3.13), we obtain that
Here, in the above we used
and \(g_{\mu ,\varepsilon }=K_{\mu ,\varepsilon }^{-1}h_{\mu ,\varepsilon }\). The inverse operator
exists and is bounded by Lemma 3.3. Since \(\frac{1}{\Phi ^{\prime \prime }(\rho _{\mu ,\varepsilon })}\) has compact support and \(\Phi ^{\prime \prime }\left( s\right) \approx s^{\gamma _{0}-2}\ \)for \(s\sim 0^{+}\), we have
Therefore, we have
for any \(\varphi \in X_{ev}^{\mu ,\varepsilon }\).
By (3.14) and the fact that \(\frac{dV_{\mu ,\varepsilon }(R_{\mu ,\varepsilon },0)}{d\mu }+O(\varepsilon ^{2})<0\) when \(\mu \in [\mu _{0},\mu _{1}]\) and \(\varepsilon \) is small, we have
On the other hand, we have
By Lemma 3.3, \(n^{-}(K_{\mu ,\varepsilon }|_{X_{ev} ^{\mu ,\varepsilon }})=1\ \)and \(\ker \) \(K_{\mu ,\varepsilon }|_{X_{ev} ^{\mu ,\varepsilon }}=\left\{ 0\right\} \). We consider two cases:
1) \(\frac{dM_{\mu ,\varepsilon }}{d\mu }\ne 0\). A combination of above properties immediately yields
2) When \(\frac{dM_{\mu ,\varepsilon }}{d\mu }=0\), as in the proof of Theorem 3.3, we have
This finishes the proof of the theorem. \(\square \)
Remark 3.2
The above theorem implies that for a family of rotating stars with fixed angular momentum distribution j(m, M), the transition of stability occurs at the first extrema of the total mass. That is, the turning point principle (TPP) is true for this family of rotating stars. This contrasts greatly to rotating stars of fixed angular velocity, for which case TPP is shown to be not true (see Theorem 3.4).
In the literature, there are three common choices of j(m, M) in the study of rotating stars.
-
i)
(Fixed angular momentum distribution) The most common one is \(j(m,M)=j(m)\). See for example [2, 18, 30,31,32,33];
-
ii)
(Fixed angular momentum distribution per unit mass) \(j(m,M)=j(m/M)\). See for example [34];
-
iii)
(Fixed angular momentum distribution with given total angular momentum) \(j(m,M)=\frac{1}{M}j(m/M)\). See for example [4]. We note that for this case, the total angular momentum given by
$$\begin{aligned} \int \frac{1}{M}j\left( \frac{m}{M}\right) dm=\int _{0}^{1}j\left( m^{\prime }\right) dm^{\prime }\ \ \left( m^{\prime }=\frac{m}{M}\right) , \end{aligned}$$is a constant depending only on j.
In the rest of this subsection, we use Theorem 3.6 to study two examples of rotating stars with mass extrema points.
Example 1
Asymptotically polytropic rotating stars
Assume \(P(\rho )\) satisfies assumptions (3.5)–(3.6). By the same arguments as in the case of fixed angular velocity, when \(\varepsilon \) is small enough and \(\mu \in [\mu _{0},\mu _{1}]\subset (0,\tilde{\mu })\), the mass \(M_{\mu ,\varepsilon }\) of the rotating stars \((\rho _{\mu ,\varepsilon },\varepsilon j(m_{\rho _{\mu ,\varepsilon }} (r),M_{\mu ,\varepsilon })/r\textbf{e}_{\theta })\) has the the first maximum \(\mu _{*}^{\varepsilon }\in \left( \mu _{0},\mu _{1}\right) \). Then by Theorem 3.6, the rotating stars are stable when \(\mu \in [\mu _{0},\mu _{*}^{\varepsilon }]\) and unstable when \(\mu \) goes between \(\mu _{*}^{\varepsilon }\) and the next extrema point of \(M_{\mu ,\varepsilon }\) in \(\left( \mu _{*}^{\varepsilon },\mu _{1}\right) \).
Example 2
Polytropic rotating stars
Consider the polytropic equation of state \(P(\rho )=\rho ^{\gamma }~\left( \gamma \in \left( \frac{6}{5},2\right) \right) \). The non-rotating stars (i.e. Lane-Emden stars) with any center density \(\mu \) are stable when \(\gamma \in (4/3,2)\) and are unstable when \(\gamma \in (6/5,4/3)\). In particular, \(M_{\mu }=C_{\gamma }\mu ^{\frac{1}{2}\left( 3\gamma -4\right) }\) is a monotone function when \(\gamma \ne \frac{4}{3}\ \)and there is no transition point of stability.
However, polytropic rotating stars with fixed angular momentum distribution \(j\left( m,M\right) \ \)can have mass extrema points, which are also the transition points of stability. One such example was given in [4] for \(\gamma =\frac{4.03}{3.03}<\frac{4}{3}\) and \(j(m,M)=\frac{1}{M} [1-(1-\frac{m}{M})^{2/3}]\). With numerical help, it was found (see Figure 1 below taken from [4]) that there is a mass minimum point \(\mu ^{*}\ \)for the total mass \(M\left( \mu \right) \). This is the first transition point of stability. In particular, rotating stars with center density \(\mu \) beyond \(\mu ^{*}\) become stable (Fig. 1).
Remark 3.3
It can also be seen from above Example 2 that the critical index \(\gamma ^{*}\) for the onset of instability of rotating polytropic stars is not \(\frac{4}{3}\). Ledoux [24], Chandrasekhar and Lebovitz [8] indicated that the critical index \(\gamma ^{*}\) is reduced from \(\frac{4}{3}\) to \(\gamma ^{*}=\frac{4}{3}-\frac{2\omega ^{2} I}{9|W|}\) for small uniform rotating stars, where \(I>0\) is the moment of inertia about the center of mass and W is the gravitational potential energy. For more discussion about the critical index \(\gamma ^{*}\) of rotating stars, see [13, 21, 38, 39].
4 Instability for Rayleigh Unstable Case
Consider an axi-symmetric rotating star \((\rho _{0},\overrightarrow{{v}_{0}})=\left( \rho _{0}\left( r,z\right) ,\omega _{0}(r)r{\textbf {e}}_{\theta }\right) \), where the angular velocity \(\omega _{0}(r)\) satisfies the Rayleigh instability condition [35, 45, 46]. That is, there exists a point \(r_{0}\in (0,R_{0})\) such that
For incompressible Euler equation, it is a classical result by Rayleigh in 1880 [36] that condition (4.1) implies linear instability of the rotating flow \(\overrightarrow{{v}_{0}}=\omega _{0}(r)r{\textbf {e}} _{\theta }\) under axi-symmetric perturbations. In this section, we will show the axi-symmetric instability of rotating stars with Rayleigh unstable angular velocity.
From the linearized Euler–Poisson system (2.5), we get the following second order equation for \(u_{2}= \begin{pmatrix} v_{r}\\ v_{z} \end{pmatrix} \),
where \(\mathbb {L}_{1},\ \mathbb {L}_{2}\,\ \)are operators on \(Y=\left( L_{\rho _{0}}^{2}\right) ^{2}\) defined by
and
Lemma 4.1
\(\mathbb {\tilde{L}}\) is a self-adjoint operator on \((Y,[\cdot ,\cdot ])\) with the equivalent inner product \([\cdot ,\cdot ]=\langle A\cdot ,\cdot \rangle \).
Proof
By Lemma 2.9 in [29], \(\mathbb {L}_{1}\) is self-adjoint on \((Y,[\cdot ,\cdot ])\) with the equivalent inner product \([\cdot ,\cdot ]:=\langle A\cdot ,\cdot \rangle \). Since \(\mathbb {L}_{2}\) is a symmetric bounded operator on \((Y,[\cdot ,\cdot ]),\) \(\mathbb {\tilde{L}}=\mathbb {L}_{1}+\mathbb {L}_{2}\) is self-adjoint by Kato-Rellich Theorem. \(\square \)
The next lemma on the quadratic form of \(\mathbb {\tilde{L}\ }\)will be used later.
Lemma 4.2
There exists constants \(m>0\) such that for any \(u_{2}\in Y\), we have
Proof
Since
and obviously \(\left| \left[ \mathbb {L}_{2}u_{2},u_{2}\right] \right| \lesssim \left\| u_{2}\right\| _{L_{\rho _{0}}^{2}}^{2}\), it suffices to estimate
where \(-\Delta V=\nabla \cdot (\rho _{0}u_{2})\). By integration by parts,
which implies that \(\int _{\mathbb {R}^{3}}\left| \nabla V\right| ^{2}dx\lesssim \left\| u_{2}\right\| _{Y}^{2}\). This finishes the proof of the lemma. \(\square \)
The study of equation (4.2) is reduced to understand the spectra of the self-adjoint operator \(\mathbb {\tilde{L}}\). First, we give a Helmholtz type decomposition of vector fields in Y.
Lemma 4.3
There is a direct sum decomposition \(Y=Y_{1}\oplus Y_{2}\), where \(Y_{1}\) is the closure of
in Y and \(Y_{2}\) is the closure of
in Y.
The proof of above lemma is similar to that of Lemma 3.15 in [29] and we skip. Denote \(\mathbb {P}_{1}:Y\mapsto Y_{1}\) and \(\mathbb {P}_{2}:Y\mapsto Y_{2}\) to be the projection operators. Then \(\left\| \mathbb {P} _{1}\right\| ,\left\| \mathbb {P}_{2}\right\| \le 1\).
For any \(u_{2}\in Y\), let \(u_{2}=v_{1}+v_{2}\) where \(v_{1}=\mathbb {P}_{1} u_{2}\in Y_{1}\) and \(v_{2}=\mathbb {P}_{2}u_{2}\in Y_{2}\). Since
the operator \(\mathbb {\tilde{L}}:Y\rightarrow Y\) is equivalent to the following matrix operator on \(Y_{1}\times Y_{2}\)
where
and
Lemma 4.4
The operator \(\mathbb {A}\) is T-compact.
Proof
For any \(v=\left( v_{1},v_{2}\right) \in D\left( T\right) \), the graph norm \(\left\| v\right\| _{T}\ \)is defined by
It is obvious that \(D(\mathbb {A})\supset D(T)\). To prove \(\mathbb {A}\) is T-compact, we need to prove \(\mathbb {A}:(D(\mathbb {A}),\left\| \cdot \right\| _{T})\mapsto (Y,\Vert \cdot \Vert _{Y})\) is compact. By the definition of \(\mathbb {A}\), we notice that \(\mathbb {A}v=(0,\mathbb {P} _{2}\mathbb {L}_{2}v_{1}):Y_{1}\times Y_{2}\mapsto \left\{ 0\right\} \times Y_{2}\). For \(v_{1}=\nabla \xi \in Y_{1}\),
as defined in (1.16). By the proof of Lemma 4.2, we have
Thus \(\left\| v_{1}\right\| _{Z}\lesssim \left\| v\right\| _{T}\). Since the embedding \((Y_{1},\left\| \cdot \right\| _{Z})\hookrightarrow (Y_{1},\Vert \cdot \Vert _{Y})\) is compact by Proposition 12 in [19] and \(\mathbb {P}_{2},\ \mathbb {L}_{2}\) are bounded operators, it follows that \(\mathbb {A}:(D(\mathbb {A}),\left\| \cdot \right\| _{T})\mapsto (Y,\Vert \cdot \Vert _{Y})\) is compact. \(\square \)
The above lemma implies that the essential spectra of \(\mathbb {\tilde{L}}\) is the same as \(\tilde{\mathbb {L}}_{2}\).
Lemma 4.5
\(\sigma _{ess}(\mathbb {\tilde{L}})=\sigma _{ess}(\tilde{\mathbb {L}}_{2})\).
Proof
We have \(\sigma _{ess}(\mathbb {\tilde{L}})=\sigma _{ess}(T+\mathbb {A})\) by the definition of the operator \(T+\mathbb {A}\). By Lemma 4.4 and Weyl’s Theorem, we have \(\sigma _{ess}(T+\mathbb {A})=\sigma _{ess}(T).\) By Theorem 2.3 v) in [29] and the compact embedding of \((Y_{1},\left\| \cdot \right\| _{Z})\hookrightarrow (Y_{1},\Vert \cdot \Vert _{Y})\), the spectra of \(\mathbb {L}_{1}\) on \(Y_{1}\) are purely discrete and \(\sigma _{ess}\left( \mathbb {L}_{1}\right) = \varnothing \). By the same arguments as in the proof of Lemma 4.4, \(\tilde{\mathbb {L}}_{1}\) is relative compact to \(\mathbb {L}_{1}\) and as a result \(\sigma _{ess}\left( \tilde{\mathbb {L}}_{1}\right) =\sigma _{ess}\left( \mathbb {L}_{1}\right) = \varnothing .\) Since the matrix operator T is upper triangular, it follows that
\(\square \)
We study the essential spectra of \(\tilde{\mathbb {L}}_{2}\) in the next two lemmas. By the Rayleigh instability condition (4.1) and the fact that \(\Upsilon (0)=4\omega _{0}(0)^{2}\ge 0\), we know that \(\text {range}\left( \Upsilon (r)\right) =[-a,b]\) for some \(a>0\), \(b\ge 0\).
Lemma 4.6
\(\sigma _{ess}(\tilde{\mathbb {L}}_{2})\supset \text {range}(\Upsilon (r))=[-a,b]\).
Proof
For any \(\lambda \in \left( -a,b\right) \), let \(r_{0}\in (0,R_{0})\) be such that \(\lambda =\Upsilon (r_{0})\). Choose \((r_{0},z_{0})\in \Omega \) and \(\varepsilon _{0}\) small enough, such that \(\left( r,z\right) \in \Omega \) when \(\left| r-r_{0}\right| \le \varepsilon _{0}\) and \(\left| z-z_{0}\right| \le \varepsilon _{0}^{2}\). Choose a sequence \(\left\{ \varepsilon _{n}\right\} _{n=1}^{\infty }\subset \left( 0,\varepsilon _{0}\right) \) with \(\lim \limits _{n\rightarrow \infty }\varepsilon _{n}=0\). Let \(\varphi (r)\), \(\psi (z)\in C_{0}^{\infty }(-1,1)\) be two smooth cutoff functions such that \(\varphi (0)=\psi (0)=1\). Define \(\delta v^{\varepsilon _{n}}=(\delta v_{r}^{\varepsilon _{n}},\delta v_{z}^{\varepsilon _{n}})\) with
and
where
Then \(\Vert \delta v^{\varepsilon _{n}}\Vert _{Y}=1\) and \(\delta v^{\varepsilon _{n}}\in Y_{2}\) owing to
We will show that \(\left\{ \delta v^{\varepsilon _{n}}\right\} \) is a Weyl’s sequence for the operator \(\tilde{\mathbb {L}}_{2}\ \)and therefore \(\lambda \in \sigma _{ess}(\tilde{\mathbb {L}}_{2})\).
First, we check that \(\delta v^{\varepsilon _{n}}\) converge to 0 weakly in \(Y_{2}\). For any \(\xi \in Y_{2}\), since \(\delta v^{\varepsilon _{n}}\) is supported in \(\Omega _{\varepsilon _{n}}=\left\{ \left| r-r_{0}\right| \le \varepsilon _{n},\left| z-z_{0}\right| \le \varepsilon _{n} ^{2}\right\} \), we have
when \(\varepsilon _{n}\rightarrow 0\).
Next, we prove that \((\tilde{\mathbb {L}}_{2}-\lambda )\delta v^{\varepsilon _{n}}\) converge to 0 strongly in \(Y_{2}\). We write
Noticing that \(\left\| \mathbb {P}_{2}\right\| \le 1\) and
then we have
as \(\varepsilon _{n}\rightarrow 0\). This shows that \(\delta v^{\varepsilon _{n}}\) is a Weyl’s sequence for \(\tilde{\mathbb {L}}_{2}\) and \(\lambda \in \sigma _{ess}(\tilde{\mathbb {L}}_{2})\). Thus \(\left( -a,b\right) \subset \sigma _{ess}(\tilde{\mathbb {L}}_{2})\) which implies \(\left[ -a,b\right] \subset \sigma _{ess}(\tilde{\mathbb {L}}_{2})\) since \(\sigma _{ess}(\tilde{\mathbb {L}}_{2})\) is closed.
\(\square \)
Lemma 4.7
\(\sigma (\tilde{\mathbb {L}}_{2})=\sigma _{ess} (\tilde{\mathbb {L}}_{2})=\text {range}\left( \Upsilon (r)\right) =\left[ -a,b\right] \).
Proof
Fix \(\lambda \notin \left[ -a,b\right] \). For any \(u=\left( u_{r},u_{z}\right) \in Y_{2}\), we have
Since \(a>0,b\ge 0\), we have
where \(c_{1}=\min \left\{ \left| \lambda -b\right| ,|a+\lambda |\right\} >0\). Thus \(\Vert ( \tilde{\mathbb {L}}_{2}-\lambda ) u\Vert \ge c_{1}\left\| u\right\| _{Y}\), which implies that \((\tilde{\mathbb {L}}_{2}-\lambda )^{-1}\) is bounded and \(\lambda \in \rho (\tilde{\mathbb {L}}_{2})\). Therefore, \(\sigma (\tilde{\mathbb {L}} _{2})\subset \left[ -a,b\right] \). This prove the lemma by combining with Lemma 4.6. \(\square \)
The following proposition gives a complete characterization of the spectra of \(\tilde{\mathbb {L}}\).
Proposition 4.1
Under the Rayleigh instability condition (4.1), it holds:i) \(\sigma _{ess}(\tilde{\mathbb {L}})=\text {range}(\Upsilon (r))=\left[ -a,b \right] \).ii) \(\sigma (\tilde{\mathbb {L}})\cap (-\infty ,-a)\) consists of at most finitely many negative eigenvalues of finite multiplicity.iii) \(\sigma (\tilde{\mathbb {L}})\cap (b,+\infty )\) consists of a sequence of positive eigenvalues tending to infinity.
Proof
The conclusion in i) follows from Lemmas 4.5 and 4.7. This implies that any \(\lambda \in \sigma (\tilde{\mathbb {L}})\) in \((-\infty ,-a)\) or \((b,+\infty )\) must be a discrete eigenvalue of finite multiplicity.
Proof of ii): Suppose otherwise. Then there exists an infinite dimensional eigenspace for negative eigenvalues in \((-\infty ,-a)\). We notice that
since \(\mathbb {L}_{2}+aI\) is nonnegative. It follows that \(n^{-}\left( \mathbb {L}_{1}\right) =\infty \) since \(n^{-}\left( \tilde{\mathbb {L} }+aI\right) =\infty \). This is in contradiction to that \(n^{-}\left( \mathbb {L}_{1}\right) \le n^{-}\left( L\right) <\infty \).
Proof of iii): Suppose otherwise. Then there exists an upper bound of \(\sigma (\tilde{\mathbb {L}})\), denoted by \(\lambda _{max}\ge b\). Thus \(\tilde{\mathbb {L}}\le \lambda _{max}I\) which implies that
Consequently the eigenvalues of \(\mathbb {L}_{1}\) cannot exceed \(a+\lambda _{max}\). This is in contradiction to the fact that \(\mathbb {L}_{1}\) has a sequence of positive eigenvalues tending to infinity. \(\square \)
Now we can prove Theorem 1.2.
Proof of Theorem 1.2
Denote \(\mathbb {\pi }_{\lambda }\) \(\in L\left( X\right) \ \left( \lambda \in \textbf{R}\right) \) to be the spectral family of the self-adjoint operator \(\tilde{\mathbb {L}}\). Let \(\left\{ \mu _{i}\right\} _{i=1}^{\infty }\) be the eigenvalues of \(\tilde{\mathbb {L}}\mathbb {\ }\)in \(\left( b,\infty \right) \). If \(\sigma (\tilde{\mathbb {L}})\cap (-\infty ,-a)\ne \varnothing \), we denote the eigenvalues in \(\left( -\infty ,-a\right) \) by \(\nu _{1}<\cdots <\nu _{K}\) where \(K=\dim \left( R\left( \pi _{-a}\right) \right) \). For \(1\le i<\infty ,\ 1\le j\le K\), let \(P_{i}^{+}\) \(=\mathbb {\pi }_{\mu _{i}+}-\mathbb {\pi } _{\mu _{i}-}\ \)and \(P_{j}^{-}\) \(=\mathbb {\pi }_{\nu _{j}+}-\mathbb {\pi }_{\nu _{j}-}\ \)be the projections to \(\ker \left( \tilde{\mathbb {L}}-\mu _{i}I\right) \) and \(\ker \left( \tilde{\mathbb {L}}-\nu _{j}I\right) \ \ \)respectively, and \(P_{0}=\mathbb {\pi }_{0+}-\mathbb {\pi }_{0-}\) be the projection to \(\ker \tilde{\mathbb {L}}\). By Proposition 4.1, we have
For any initial data \(\left( u_{2}\left( 0\right) ,u_{2t}\left( 0\right) \right) \in Z\times Y\), the solution to the second order equation (4.2) can be written as
If \(\sigma (\tilde{\mathbb {L}})\cap (-\infty ,-a)=\varnothing \), the solution \(u_{2}\left( t\right) \) is obtained by removing the second term above.
Denote the minimum of \(\lambda \in \sigma (\tilde{\mathbb {L}})\) by \(\eta _{0}\), that is,
By the formula (4.3), it is easy to see that \(\Vert u_{2}(t)\Vert _{Y}\lesssim e^{\sqrt{-\eta _{0}}t}\) for \(t>0\). To estimate \(\Vert u_{2}(t)\Vert _{Z}\), we note that by Lemma 4.2
By using (4.3), we have
This implies
by using (4.4) and the estimate for \(\Vert u_{2} (t)\Vert _{Y}\). Since
by similar estimates as above for \(\Vert u_{2}\left( t\right) \Vert _{Z},\ \)we obtain
This finishes the proof of the upper bound estimate (1.17). It is straightforward to show that the energy \(E(u_{2},u_{2t})\) defined in (1.18) is conserved for solutions of (4.2).
Next, we prove the lower bound estimate (1.19) in two cases.
Case 1: \(\sigma (\tilde{\mathbb {L}})\cap (-\infty ,-a)\ne \varnothing \). We choose \(u_{2}(0)=\psi _{1}\) and \(u_{2t}(0)=\sqrt{-\nu _{1}}\psi _{1}\) where \(\psi _{1}\in Z\) is the eigenfunction of \(\tilde{\mathbb {L}}\) corresponding to the smallest eigenvalue \(\nu _{1}\) in \((-\infty ,-a)\). Then
which clearly implies \(\left\| u_{2}(t)\right\| _{Y}\gtrsim e^{\sqrt{-\eta _{0}}t}\left\| u_{2}\left( 0\right) \right\| _{Z}\).
Case 2: \(\sigma (\tilde{\mathbb {L}})\cap (-\infty ,-a)=\varnothing \). Since \(\sigma _{ess}(\tilde{\mathbb {L}})=[-a,b]\), for any \(\varepsilon >0\) small there exists a nonzero function \(\phi \in R(\pi _{-a+\varepsilon }-\pi _{-a})\subset Z\). Choose the initial data \(u_{2}(0)=\phi \) and \(u_{2t}(0)=0\). Then the solution \(u_{2}\left( t\right) \) for the equation (4.2) is given by
Thus
This finishes the proof of the theorem. \(\square \)
Remark 4.1
By Theorem 1.2, the maximal growth rate of unstable rotating stars can be due to either discrete or continuous spectrum. Consider a family of slowly rotating stars \(\left( \rho _{\varepsilon },{v_{\varepsilon }}=\varepsilon r\omega _{0}\left( r\right) \textbf{e}_{\theta }\right) \ \)near a non-rotating star \(\left( \rho _{0}\left( \left| x\right| \right) ,{v_{0}}={0}\right) \) with \(\omega _{0}\left( r\right) \) satisfying the Rayleigh instability condition (4.1). If the non-rotating star is linearly stable, then for sufficiently small \(\varepsilon \), the linear instability of \(\left( \rho _{\varepsilon },{v_{\varepsilon }}\right) \) is due to the continuous spectrum. On the other hand, if the the non-rotating star is linearly unstable, then for sufficiently small \(\varepsilon \), \(\left( \rho _{\varepsilon },{v_{\varepsilon }}\right) \) remains unstable and the maximal growth rate is due to the discrete eigenvalue perturbed from the unstable eigenvalue of the non-rotating star.
Remark 4.2
In [23], Lebovitz indicated that for slowly rotating stars with any angular velocity profile \(\omega _{0}(r)\), discrete unstable modes cannot be perturbed from neutral modes of non-rotating stars. More precisely, Lebovitz showed the stabilizing influence of rotation on the fundamental mode (corresponding to the first eigenvalue of the operator \(\mathbb {\tilde{L}}\) in (4.2)) even when \(\omega _{0}(r)\) does not satisfy the Rayleigh stability condition. However, this does not imply the stability of the rotating stars since the unstable continuous spectrum was not considered in [23].
Data Availability
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
References
Auchmuty, G.: The global branching of rotating stars. Arch. Ration. Mech. Anal. 114(2), 179–193 (1991)
Auchmuty, G., Beals, R.: Variational solutions of some nonlinear free boundary problems. Arch. Ration. Mech. Anal. 43, 255–271 (1971)
Balinsky, A., Evans, W., Lewis, R.: The Analysis and Geometry of Hardy’s Inequality. Universitext. Springer, Berlin (2015)
Bisnovaty-Kogan, S.I., Blinnikov, G.S.: Static criteria for stability of arbitrarily rotating stars. Astron. Astrophys. 31(4), 391–404 (1974)
Caffarelli, L., Friedman, A.: The shape of axi-symmetric rotating fluid. J. Funct. Anal. 694(35), 109–142 (1980)
Chandrasekhar, S.: Introduction to the Stellar Structure. University of Chicago Press, Chicago (1939)
Chandrasekhar, S.: Ellipsoidal Figures of Equilibrium. Yale University Press, Yale (1969)
Chandrasekhar, S., Lebovitz, N.R.: The pulsations and the dynamical stability of gaseous masses in uniform rotation. Astrophys. J. 152(1), 267–291 (1968)
Chanillo, S., Li, Y.: On diameters of uniformly rotating stars. Commun. Math. Phys. 166(2), 417–430 (1994)
Friedman, A., Turkington, B.: Asymptotic estimates for an axisymmetric rotating fluid. J. Funct. Anal. 37(2), 136–163 (1980)
Friedman, A., Turkington, B.: Existence and dimensions of a rotating white dwarf. J. Differ. Equ. 42(3), 414–437 (1981)
Friedman, J., Ipser, J., Sorkin, R.: Turning-point method for axisymmetric stability of rotating relativistic stars. Astrophys. J. 325, 722–724 (1988)
Hazelhurst, J.: The stabilizing effect of rotation. Astron. Astrophys. 219, 181–184 (1994)
Heilig, U.: On Lichtenstein’s analysis of rotating Newtonian stars. In Annales de l’IHP Physique théorique 60, 457–487 (1994)
Heinzle, J.M., Uggla, C.: Newtonian stellar models. Ann. Phys. 308, 18–61 (2003)
Jang, J.: Nonlinear instability theory of Lane–Emden stars. Commun. Pure Appl. Math. 67, 1418–1465 (2014)
Jang, J., Makino, T.: On slowly rotating axisymmetric solutions of the Euler–Poisson equations. Arch. Ration. Mech. Anal. 225, 873–900 (2017)
Jang, J., Makino, T.: On rotating axisymmetric solutions of the Euler–Poisson equations. J. Differ. Equ. 266(7), 3942–3972 (2019)
Jang, J., Makino, T.: Linearized analysis of barotropic perturbations around spherically symmetric gaseous stars governed by the Euler–Poisson equations. J. Math. Phys. 61(5), 051508 (2020)
Jardetzky, W.S.: Theories of Figures of Celestial Bodies. Interscience Publishers, Geneva (1958)
Kähler, H.: Rotational effects on stellar structure and stability. Astron. Astrophys. 288, 191–203 (1994)
Kato, T.: Perturbation Theory for Linear Operators. Reprint of the 1980 Edition. Springer, Berlin (1995)
Lebovitz, N.R.: The effect of an arbitrary law of slow rotation on the oscillations and the stability of gaseous masses. Astrophys. J. 160, 701 (1970)
Ledoux, P.: On the radial pulsation of gaseous stars. Astrophys. J. 102(2), 143 (1945)
Li, Y.: On uniformly rotating stars. Arch. Ration. Mech. Anal. 115, 367–393 (1991)
Lichtenstein, L.: Untersuchungen über die Gleichgewichtsfiguren rotierender Flüssigkeiten, deren Teilchen einander nach dem Newtonschen Gesetze anziehen. Math. Z. 36, 481–562 (1933)
Lin, S.S.: Stability of gaseous stars in spherically symmetric motions. SIAM J. Math. Anal. 28(3), 539–569 (1997)
Lin, Z., Zeng, C.: Instability, index theorem, and exponential trichotomy for linear Hamiltonian PDEs. Mem. Am. Math. Soc. 275(1347), 136 (2022)
Lin, Z., Zeng, C.: Separable Hamiltonian PDEs and turning point principle for stability of gaseous stars. Commun. Pure. Appl. Math. 75(11), 2511–2572 (2022)
Luo, T., Smoller, J.: Rotating fluids with self-gravitation in bounded domains. Arch. Ration. Mech. Anal. 173(3), 345–377 (2004)
Luo, T., Smoller, J.: Nonlinear dynamical stability of Newtonian rotating and non-rotating white dwarfs and rotating supermassive stars. Commun. Math. Phys. 284(2), 425–457 (2008)
Luo, T., Smoller, J.: Existence and non-linear stability of rotating star solutions of the compressible Euler–Poisson equations. Arch. Ration. Mech. Anal. 191(3), 447–496 (2009)
Luo, T., Smoller, J.: On the Euler–Poisson equations of self-gravitating compressible fluids. In: Nonlinear Conservation Laws and Applications, vol. 153. Springer, New York (2011)
Ostriker, J.P., Mark, W.K.: Rapidly rotating stars. I. The self-consistent-field method. Astrophys. J. 151, 1075–1088 (1968)
Pringle, J.E., King, A.R.: Astrophysical Flows. Cambridge University Press, Cambridge (2003)
Rayleigh, L.: On the stability, or instability, of certain fluid motions. Proc. Lond. Math. Soc. 11, 57–70 (1880)
Shapiro, S.L., Teukolsky, S.A.: Black Holes, White Dwarfs, and Neutron Stars. Willey, New York (1983)
Sidorov, K.A.: Influence of rotation and a binary companion on the frequency of the radial pulsations of a homogeneous star. Astrophysics 18(1), 90–96 (1982)
Sidorov, K.A.: Structure and oscillations of rotating polytropes. Astrophysics 17(4), 427–436 (1982)
Stahler, S.W.: The equilibria of rotating isothermal clouds—part two—structure and dynamical stability. Astrophys. J. 268, 165–184 (1983)
Strauss, W.A., Wu, Y.: Steady states of rotating stars and galaxies. SIAM J. Math. Anal. 49(6), 4865–4914 (2017)
Strauss, W.A., Wu, Y.: Rapidly rotating stars. Commun. Math. Phys. 368(2), 701–721 (2019)
Strauss, W.A., Wu, Y.: Rapidly rotating white dwarfs. Nonlinearity 33(9), 4783–4798 (2020)
Takami, K., Rezzolla, L., Yoshida, S.: A quasi-radial stability criterion for rotating relativistic stars. Mon. Not. R. Astron. Soc. 416(1), L1–L5 (2011)
Tassoul, J.L.: Theory of Rotating Stars. Princeton University Press, Princeton, NJ (1978)
Tassoul, J.L.: Stellar Rotation. Cambridge University Press, Cambridge (2000)
Acknowledgements
This work is supported partly by the NSF Grants DMS-1715201 and DMS-2007457 (Lin) and the China Scholarship Council No. 201806310066 (Wang).
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by A. Ionescu.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Lin, Z., Wang, Y. Stability of Rotating Gaseous Stars. Commun. Math. Phys. 402, 1725–1763 (2023). https://doi.org/10.1007/s00220-023-04763-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-023-04763-0