Research
Open Access
The existence of stationary star solutions for compressible magnetohydrodynamic flows
- Huichao Wang1 and
- Ruikuan Liu1, 2Email author
Received: 27 July 2016
Accepted: 18 November 2016
Published: 5 December 2016
Abstract
In this paper, we are concerned with the compressible Euler-Poisson system coupled to a magnetic field in the three-dimensional space. Based on a variational method and the exact expression of the Green’s function for an elliptic equation in spherical coordinates, we prove the existence of stationary star solutions.
Keywords
Euler-Poisson system magnetic field variational method stationary star solutions1 Introduction
The Euler-Poisson system of compressible fluids coupled to a magnetic field is given by where ρ is the density, \(v=(v_{1},v_{2},v_{3})\) is the velocity field, \(H=(H_{1},H_{2},H_{3})\) is the magnetic field, p is the pressure function, Ψ is the Newtonian potential, G is the gravitational constant, and \(\mu_{0}\) is the permeability of vacuum. We consider the polytropic gases for which the equation of state is given by where \(\alpha>1\) is the adiabatic exponent. The gravitational potential Ψ is given by where ∗ denotes convolution.
$$\begin{aligned} \textstyle\begin{cases} \rho_{t}+\operatorname {div}(\rho v) = 0, \\ (\rho v)_{t}+\nabla\cdot(\rho v\otimes v)+\nabla p(\rho)=-\rho \nabla\Psi+\mu_{0}(\nabla\times H)\times H, \\ H_{t}=\nabla\times(v\times H), \\ \Delta\Psi=4 \pi G\rho, \\ \operatorname {div}H=0, \end{cases}\displaystyle \end{aligned}$$
(1.1)
$$ p=p(\rho)=\rho^{\alpha}, $$
(1.2)
$$ \Psi(x)= - \int_{\mathbb{R}^{3}}\frac{ \rho(y)}{\vert x-y\vert }\,dy =-\rho\ast \frac{1}{\vert x\vert }, $$
(1.3)
Extensive works have been done on the existence of stationary solutions for system (1.1) in [1–9] and references therein. Recently, some important progress has been made for system (1.1) without magnetic field. For the pressure α-law in (1.2) with the adiabatic exponent \(\alpha>\frac{3}{2}\), the global existence of weak solutions was obtained in [10] when the spatial dimension is three in the framework of Lions and Feireisl for the compressible Navier-Stokes equations [11, 12]. Furthermore, Cai and Tan [2] have proved the existence and uniqueness of stationary solutions of the three-dimensional compressible Navier-Stokes-Poisson equations basing on the weighted \(L^{2}\) method and the contraction mapping principle.
For a nonrotating gaseous star, it is important to investigate the spherically symmetric motion since the stable equilibrium configuration is spherically symmetric. Moreover, the spherically symmetric solution minimizes the energy among all possible configurations [7], which are called Lane-Emden solutions. More importantly, Luo, Xin, and Zeng [13] were concerned with three-dimensional spherically symmetric solutions of the compressible Navier-Stokes-Poisson equations with free boundary condition. They also proved the nonlinear asymptotic stability of the Lane-Emden solutions for spherically symmetric motions of viscous gaseous stars if the adiabatic constant α lies in the stability range \((\frac{4}{3}, 2)\).
For the rotating nonmagnetic stationary solutions, Auchmuty and Beals [1] gave a priori bound for the maximum of the density ρ. When the rotation is a fixed axis with constant angular velocity, Chanillo and Li [3] obtained a priori bound for the support of the relative equilibrium form of a homogeneous, gravitating, and compressible mass of fluid. Coupling to the magnetic field, Federbush, Luo, and Smoller [4] first proved the existence of axisymmetric stationary solutions of system (1.1). They utilized a variational method and proved the existence of a stationary solution expressed by density, which is a minimizer of the associated energy functional. To prove the main result, an elliptic equation is derived for the magnetic potential in cylindrical coordinates in \(\mathbb{R}^{3}\). Let \(x = (x_{1},x_{2},x_{3}) \in\mathbb{R}^{3}\), \(r=\sqrt{x^{2}_{1}+x^{2}_{2}}\), \(z=x_{3}\). They looked for solutions of the following form: where \(e_{r}=(\frac{x_{1}}{r},\frac{x_{2}}{r},0)^{T}\), \(e_{\theta}=(-\frac {x_{2}}{r},\frac{x_{1}}{r},0)^{T}\), \(e_{z}=(0,0,1)^{T}\).
$$\begin{aligned} \textstyle\begin{cases} \rho(x)=\rho(r,z),\quad\quad \Psi(x)= \Psi(r,z), \\ H(x)=H_{r}(r,z)e_{r}+H_{\theta}(r,z)e_{\theta}+H_{z}(r,z)e_{z}, \end{cases}\displaystyle \end{aligned}$$
(1.4)
It is well known that almost every Newtonian gaseous star has crystal body. Auchmuty and Beals [1] have obtained a nonrotating nonmagnetic spherically symmetric solution of some nonlinear integro-differential equations in \(\mathbb{R}^{3}\), which are of interest in astrophysics. Also, they formulated each problem as a variational problem and looked for a solution among an appropriate class of nonnegative functions ρ. In this paper, for the nonrotating magnetic case, we suppose that the stationary solutions should have the following form: Motivated by the paper [4], we show the existence of stationary star solutions (1.5) of system (1.1) in spherical coordinates by using the variational methods.
$$\begin{aligned} \textstyle\begin{cases} \rho(x)=\rho(r,\theta), \\ H(x)=H(r,\theta)= (H_{r}(r,\theta),H_{\theta}(r,\theta),0 ), \\ \Psi(x)=\Psi(r,\theta), \\ r^{2}=x_{1}^{2}+x_{2}^{2}+x_{3}^{2},\quad\quad \theta=\arccos\frac{x_{3}}{r}. \end{cases}\displaystyle \end{aligned}$$
(1.5)
The paper is organized as follows. In Section 2, we obtain an expression of stationary equations of system (1.1) in spherical coordinates by using the formula in [14]. Owing to the methods in [7, 8, 15], we see that the stationary solution can be expressed by the density that is a minimizer of the corresponding the energy functional. Thus, we only need to derive the minimizer of the corresponding energy functional in Section 3.
2 Euler-Poisson system coupling with a magnetic field
In this paper, we are interested in the stationary solutions of (1.1), which represent an important class of equilibrium configurations. The stationary solutions (\(v = 0\)) satisfy the following system: where ρ is the density, \(H=(H_{1},H_{2},H_{3})\) is the magnetic field, p is the pressure function, Ψ is the Newtonian potential, G is the gravitational constant, and \(\mu_{0}\) is the permeability of vacuum.
$$\begin{aligned} \textstyle\begin{cases} \nabla p(\rho)=-\rho\nabla\Psi+ \mu_{0}(\nabla\times H)\times H, \\ \Delta\Psi=4 \pi G\rho, \\ \operatorname {div}H=0, \end{cases}\displaystyle \end{aligned}$$
(2.1)
2.1 The expression of stationary equation in spherical coordinates
Now, we will give a new method to get a specific expression of (2.1) in spherical coordinates. Based on a recent paper [14], Wang and Wang gave the general definitions of curl and cross products on a 3-D Riemanion manifold \((M,g_{ij})\) with metric
$$ ds^{2}=g_{ij}\,dx^{i} \,dx^{j}\quad (i,j=1,2,3). $$
(2.2)
Let \(A=(A^{1},A^{2},A^{3})\) and \(B=(B^{1},B^{2},B^{3})\) be smooth vector fields. From [14] we immediately get the following formulae for \(\nabla \times A \) and \(A\times B\):
where \((A_{1},A_{2},A_{3})=(g_{11}A^{1},g_{22}A^{2},g_{33}A^{3})\).
$$\begin{aligned} &\nabla A= \biggl(g^{11}\frac{\partial A^{1}}{\partial x^{1}},g^{22} \frac{\partial A^{2}}{\partial x^{2}},g^{33}\frac{\partial A^{3}}{\partial x^{3}} \biggr), \end{aligned}$$
(2.3)
$$\begin{aligned} &\nabla\times A=\frac{1}{\sqrt{g}} \biggl(\frac{\partial A_{3}}{\partial x^{2}}- \frac{\partial A_{2}}{\partial x^{3}},\frac {\partial A_{1}}{\partial x^{3}}-\frac{\partial A_{3}}{\partial x^{1}},\frac{\partial A_{2}}{\partial x^{1}}- \frac{\partial A_{1}}{\partial x^{2}} \biggr), \end{aligned}$$
(2.4)
$$\begin{aligned} & \begin{aligned}[b] A\times B&= \biggl(\sqrt{\frac {g_{22}g_{33}}{g_{11}}} \bigl(A^{2}B^{3}-A^{3}B^{2} \bigr), \sqrt{ \frac{g_{11}g_{33}}{g_{22}}} \bigl(A^{3}B^{1}-A^{1}B^{3} \bigr), \\ &\quad{} \sqrt{\frac{g_{11}g_{22}}{g_{33}}} \bigl(A^{1}B^{2}-A^{2}B^{1} \bigr) \biggr), \end{aligned} \end{aligned}$$
(2.5)
Let \(x = (x_{1}, x_{2}, x_{3}) \in\mathbb{R}^{3}\), \(r^{2} = x^{2}_{1}+x^{2}_{2}+x^{2}_{3}\), and \(\theta=\arccos\frac{x_{3}}{r}\). In the spherical coordinates, the metric is Obviously, we have
$$ ds^{2}=dr^{2}+r^{2}\,d \theta^{2}+r^{2}\sin^{2}\theta \,d \varphi^{2}. $$
(2.6)
$$\begin{aligned} \textstyle\begin{cases} g_{11}=1,\quad\quad g_{22}=r^{2},\quad\quad g_{33}=r^{2} \sin^{2}\theta, \\ g_{ij}=0\quad (i\neq j), \quad\quad g^{kk}=\frac{1}{g_{kk}} \quad (k=1,2,3), \\ \sqrt{g}=r^{2}\sin\theta. \end{cases}\displaystyle \end{aligned}$$
(2.7)
Let \(H(x)=H(r,\theta,\varphi)= (H^{1}, H^{2},H^{3} )\). Hence, from (2.7) we have Using the definition of curl product (2.4), we get It follows from the definition of cross product (2.5) and (2.9) that Combining (2.3) and (2.7), it is easy to see that Hence, we have, by (2.1), (2.10), and (2.11), Let \(H_{r}=H^{1}\), \(H_{\theta}=\frac{H^{2}}{r}\), \(H_{\varphi}=\frac{H^{3}}{r\sin \theta}\). The spherical coordinate expressions of (2.12) can be rewritten as follows:
$$ H_{1}=g_{1j}H^{j}=H^{1},\quad\quad H_{2}=g_{2j}H^{j}=r^{2}H^{2},\quad\quad H_{3}=g_{3j}H^{j}=r^{2}\sin^{2} \theta H^{3}. $$
(2.8)
$$\begin{aligned} \nabla\times H&=\frac{1}{\sqrt{g}} \biggl(\frac{\partial H_{3}}{\partial\theta}- \frac{\partial H_{2}}{\partial\varphi},\frac {\partial H_{1}}{\partial\varphi}-\frac{\partial H_{3}}{\partial r},\frac{\partial H_{2}}{\partial r}- \frac{\partial H_{1}}{\partial\theta} \biggr) \\ &=\frac{1}{r^{2}\sin\theta} \biggl(2r^{2}\sin\theta\cos \theta H^{3}+ r^{2}\sin\theta\frac{\partial H^{3}}{\partial\theta}-r^{2} \frac {\partial H^{2}}{\partial\varphi}, \\ & \quad \frac{\partial H^{1}}{\partial\varphi} -2r\sin^{2}\theta H^{3}-r^{2} \sin^{2}\theta\frac{\partial H^{3}}{\partial r}, 2r\sin\theta H^{2}+r^{2} \frac{\partial H^{2}}{\partial r}- \frac{\partial H^{1}}{\partial\theta} \biggr). \end{aligned}$$
(2.9)
$$\begin{aligned} &(\nabla\times H)\times H \\ &\quad = \biggl(H^{2}\frac{\partial H^{1}}{\partial\theta }+H^{3} \frac{\partial H^{1}}{\partial\varphi}-2r \bigl(H^{2} \bigr)^{2}-2r\sin ^{2}\theta \bigl(H^{3} \bigr)^{2}-r^{2}H^{2} \frac{\partial H^{2}}{\partial r} -r^{2}\sin^{2}\theta H^{3} \frac{\partial H^{3}}{\partial r}, \\ & \quad\quad H^{1}\frac{\partial H^{2}}{\partial r}+H^{3} \frac{\partial H^{2}}{\partial \varphi}+\frac{2}{r}H^{1}H^{2}- \frac{1}{r^{2}}H^{1}\frac{\partial H^{1}}{\partial\theta} -2\sin\theta\cos\theta \bigl(H^{3} \bigr)^{2}- \sin^{2}\theta H^{3}\frac{\partial H^{3}}{\partial\theta}, \\ & \quad\quad H^{1} \frac{\partial H^{3}}{\partial r}+H^{2}\frac{\partial H^{3}}{\partial\theta}+\frac{2}{r}H^{1}H^{3} +\frac{2\cos\theta}{\sin\theta}H^{2}H^{3}- \frac{1}{r^{2}\sin^{2} \theta}H^{1}\frac{\partial H^{1}}{\partial\varphi} \\ &\quad\quad{} -\frac{1}{\sin ^{2}\theta}H^{2} \frac{\partial H^{2}}{\partial\varphi} \biggr). \end{aligned}$$
(2.10)
$$\begin{aligned} &\nabla P(\rho)+\rho\nabla\Psi \\ \quad &= \biggl(\frac{\partial p}{\partial r}+\rho\frac {\partial\Psi}{\partial r}, \frac{1}{r^{2}}\frac{\partial p}{\partial \theta}+\frac{\rho}{r^{2}}\frac{\partial\Psi}{\partial\theta }, \frac{1}{r^{2}\sin^{2}\theta}\frac{\partial p}{\partial\varphi }+\frac{\rho}{r^{2}\sin^{2}\theta}\frac{\partial\Psi}{\partial \varphi} \biggr). \end{aligned}$$
(2.11)
$$\begin{aligned} \textstyle\begin{cases} \frac{\partial p}{\partial r}+\rho \frac{\partial\Psi}{\partial r}=\mu_{0} (H^{2}\frac{\partial H^{1}}{\partial\theta}+H^{3} \frac {\partial H^{1}}{\partial\varphi}-2r (H^{2} )^{2}-2r \sin^{2}\theta (H^{3} )^{2} \\ \hphantom{\frac{\partial p}{\partial r}+\rho \frac{\partial\Psi}{\partial r}=}{} -r^{2}H^{2}\frac{\partial H^{2}}{\partial r}-r^{2} \sin^{2}\theta H^{3}\frac{\partial H^{3}}{\partial r} ), \\ \frac{1}{r^{2}}\frac{\partial p}{\partial\theta}+\frac{\rho }{r^{2}}\frac{\partial\Psi}{\partial\theta}= \mu_{0} (H^{1}\frac {\partial H^{2}}{\partial r}+H^{3} \frac{\partial H^{2}}{\partial\varphi }+\frac{2}{r}H^{1}H^{2}- \frac{1}{r^{2}}H^{1}\frac{\partial H^{1}}{\partial \theta} \\ \hphantom{\frac{1}{r^{2}}\frac{\partial p}{\partial\theta}+\frac{\rho }{r^{2}}\frac{\partial\Psi}{\partial\theta}=}{} -2\sin\theta\cos\theta (H^{3} )^{2}-\sin^{2}\theta H^{3}\frac{\partial H^{3}}{\partial\theta } ), \\ \frac{1}{r^{2}\sin^{2}\theta}\frac{\partial p}{\partial\varphi }+\frac{\rho}{r^{2}\sin^{2}\theta}\frac{\partial\Psi}{\partial \varphi}= \mu_{0} ( H^{1}\frac{\partial H^{3}}{\partial r}+H^{2} \frac{\partial H^{3}}{\partial \theta}+\frac{2}{r}H^{1}H^{3} \\ \hphantom{ \frac{1}{r^{2}\sin^{2}\theta}\frac{\partial p}{\partial\varphi }+\frac{\rho}{r^{2}\sin^{2}\theta}\frac{\partial\Psi}{\partial \varphi}=}{} +\frac{2\cos\theta}{\sin\theta}H^{2}H^{3}- \frac{1}{r^{2}\sin^{2} \theta}H^{1}\frac{\partial H^{1}}{\partial\varphi} -\frac{1}{\sin ^{2}\theta}H^{2} \frac{\partial H^{2}}{\partial\varphi} ). \end{cases}\displaystyle \end{aligned}$$
(2.12)
$$\begin{aligned} \textstyle\begin{cases} \frac{\partial p}{\partial r}+\rho \frac{\partial\Psi}{\partial r}=\mu_{0} (\frac{H_{\theta}}{r}\frac{\partial H_{r}}{\partial \theta}+ \frac{H_{\varphi}}{r\sin\theta}\frac{\partial H_{r}}{\partial\varphi}-\frac{H_{\theta}^{2}+H_{\varphi}^{2}}{r} \\ \hphantom{\frac{\partial p}{\partial r}+\rho \frac{\partial\Psi}{\partial r}=}{} -H_{\theta}\frac{\partial H_{\theta}}{\partial r}-H_{\varphi} \frac{\partial H_{\varphi }}{\partial r} ), \\ \frac{1}{r}\frac{\partial p}{\partial\theta}+\frac{\rho }{r}\frac{\partial\Psi}{\partial\theta}= \mu_{0} (H_{r}\frac {\partial H_{\theta}}{\partial r}+\frac{H_{\varphi}}{r\sin\theta } \frac{\partial H_{\theta}}{\partial\varphi}+\frac{H_{r}H_{\theta }}{r}-\frac{\cos\theta}{r\sin\theta} H_{\varphi}^{2} \\ \hphantom{\frac{1}{r}\frac{\partial p}{\partial\theta}+\frac{\rho }{r}\frac{\partial\Psi}{\partial\theta}=}{} -\frac{1}{r}H_{r}\frac {\partial H_{r}}{\partial\theta}- \frac{1}{r}H_{\varphi}\frac {\partial H_{\varphi}}{\partial\theta} ), \\ \frac{1}{r\sin\theta}\frac{\partial p}{\partial\varphi}+\frac {\rho}{r\sin\theta}\frac{\partial\Psi}{\partial\varphi}=\mu _{0} (H_{r}\frac{\partial H_{\varphi}}{\partial r}+\frac {H_{\theta}}{r} \frac{\partial H_{\varphi}}{\partial\theta}+\frac {H_{r}H_{\varphi}}{r} \\ \hphantom{ \frac{1}{r\sin\theta}\frac{\partial p}{\partial\varphi}+\frac {\rho}{r\sin\theta}\frac{\partial\Psi}{\partial\varphi}=}{}+\frac{\cos\theta}{r\sin \theta}H_{\theta}H_{\varphi} - \frac{1}{r\sin\theta}H_{r}\frac {\partial H_{r}}{\partial\varphi} -\frac{1}{r\sin\theta}H_{\theta } \frac{\partial H_{\theta}}{\partial\varphi} ). \end{cases}\displaystyle \end{aligned}$$
(2.13)
Remark 2.1
Let \(H=(H_{r},H_{\theta},H_{\varphi})\). Notice that (2.13) can be directly calculated by the definitions of gradient and of curl and cross products in spherical coordinates as follows:
However, we give a new method to get (2.13) by using the definitions of curl and cross products (2.4) and (2.5) on the 3-D Riemanion manifold M, which only need a simple transformation \((H_{r}, H_{\theta}, H_{\varphi})= (H^{1},\frac{H^{2}}{r},\frac {H^{3}}{r\sin\theta} )\).
$$\begin{aligned}& \nabla= \biggl(\frac{\partial}{\partial r}, \frac {1}{ r} \frac{\partial}{\partial\theta}, \frac{1}{r\sin\theta }\frac{\partial}{\partial\varphi} \biggr), \end{aligned}$$
(2.14)
$$\begin{aligned}& \nabla\cdot H=\frac{1}{r^{2}}\frac{\partial(r^{2} H_{r})}{\partial r} + \frac{1}{r\sin\theta}\frac{\partial(\sin\theta H_{\theta})}{\partial\theta} +\frac{1}{r\sin\theta}\frac{\partial H_{\varphi}}{\partial\varphi}, \end{aligned}$$
(2.15)
$$\begin{aligned}& \begin{aligned}[b] \nabla\times H&=\frac{1}{r^{2}\sin\theta} \biggl( r\cos \theta H_{\varphi}+ r\sin\theta\frac{\partial H_{\varphi}}{\partial\theta}-r\frac {\partial H_{\theta}}{\partial\varphi}, \\ &\quad r\frac{\partial H_{r}}{\partial\varphi}-r\sin\theta H_{\varphi}-r^{2}\sin \theta\frac{\partial H_{\varphi}}{\partial r}, \\ &\quad r\sin\theta H_{\theta}+r^{2}\sin\theta \frac {\partial H_{\theta}}{\partial r}- r\sin\theta\frac{\partial H_{r}}{\partial\theta} \biggr). \end{aligned} \end{aligned}$$
(2.16)
Noticing that the solutions we look for have the form (1.5) and omitting the terms \(\frac{\partial}{\partial\varphi}\), we can rewrite (2.13) as follows: Let \(H_{\varphi}=0\). Omitting the terms \(\frac{\partial}{\partial \varphi}\) in (2.15), it is easy to see that \(\nabla\cdot H=0\) implies that For simplicity, we denote Then (2.17) can be rewritten as
$$ \textstyle\begin{cases} \frac{\partial p}{\partial r}+\rho \frac{\partial\Psi}{\partial r}=\mu_{0} (\frac{H_{\theta}}{r}\frac{\partial H_{r}}{\partial \theta}- \frac{H_{\theta}^{2}}{r}-H_{\theta}\frac{\partial H_{\theta}}{\partial r} ), \\ \frac{1}{r}\frac{\partial p}{\partial\theta}+\frac{\rho }{r}\frac{\partial\Psi}{\partial\theta} = \mu_{0} (H_{r}\frac{\partial H_{\theta}}{\partial r}+\frac {H_{r}H_{\theta}}{r} -\frac{1}{r}H_{r}\frac{\partial H_{r}}{\partial\theta} ). \end{cases} $$
(2.17)
$$\begin{aligned} r^{2}\frac{\partial H_{r}}{\partial r}+2rH_{r}+r \frac {\partial H_{\theta}}{\partial\theta}+r\frac{\cos\theta}{\sin\theta }H_{\theta}=0. \end{aligned}$$
(2.18)
$$ m= \biggl(\frac{\partial H_{\theta}}{\partial r}+\frac{H_{\theta }}{r}-\frac{1}{r} \frac{\partial H_{r}}{\partial\theta} \biggr). $$
$$\begin{aligned} \textstyle\begin{cases} \frac{\partial p}{\partial r}+\rho \frac{\partial\Psi}{\partial r}=-\mu_{0}m H_{\theta}, \\ \frac{1}{r}\frac{\partial p}{\partial\theta}+\frac{\rho }{r}\frac{\partial\Psi}{\partial\theta} = \mu_{0}m H_{r}. \end{cases}\displaystyle \end{aligned}$$
(2.19)
2.2 The problem and formulation
Owing to (2.18), we get which enables us to introduce a magnetic potential \(\varphi _{0}(r,\theta)\) such that Let Then (2.19) and (2.21) imply Let In this paper, we only consider the case that W is a constant. Then it follows from (2.23) and (2.24) that Note that (2.25) implies that Therefore, where \(n(\rho)\) is given by (2.22), and Ψ is given by (1.3).
$$ \frac{\partial(r^{2}\sin\theta H_{r})}{\partial r}+\frac{\partial (r\sin\theta H_{\theta})}{\partial\theta}=0, $$
(2.20)
$$ \textstyle\begin{cases} \frac{\partial\varphi_{0}}{\partial r} = r\sin\theta H_{\theta}, \\ \frac{\partial\varphi_{0}}{\partial\theta} = -r^{2}\sin \theta H_{r}. \end{cases} $$
(2.21)
$$ n(\rho)= \int_{0}^{\rho}\frac{p'(s)}{s}\,ds. $$
(2.22)
$$ \textstyle\begin{cases} \rho\frac{\partial(n(\rho)+\Psi)}{\partial r} = - \mu_{0}m (\frac{1}{r\sin\theta}\frac{\partial}{\partial r} \varphi_{0} ), \\ \rho\frac{\partial(n(\rho)+\Psi)}{\partial\theta} = - \mu _{0}m (\frac{1}{r\sin\theta} \frac{\partial}{\partial\theta }\varphi_{0} ). \end{cases} $$
(2.23)
$$ \frac{\mu_{0}m}{\rho r\sin\theta}=W. $$
(2.24)
$$ \textstyle\begin{cases} \frac{\partial}{\partial r} (n(\rho)+\Psi ) = - W\frac{\partial }{\partial r}\varphi_{0}, \\ \frac{\partial}{\partial\theta} (n(\rho)+\Psi ) = - W\frac {\partial}{\partial\theta} \varphi_{0}. \end{cases} $$
(2.25)
$$ \nabla \bigl(n(\rho)+\Psi+W\varphi_{0} \bigr)=0\quad \text{whenever } \rho> 0. $$
(2.26)
$$ n(\rho)+\Psi+W\varphi_{0}=\mathrm{const.}:=\lambda, \quad\text{in the region } \rho> 0, $$
(2.27)
In the following, we only need to solve problem (2.27) with the total mass constraint
$$ \int_{\mathbb{R}^{3}}\rho(x) \,dx=M > 0 \quad \text{for some given } M. $$
(2.28)
3 Existence of star solution coupling to a magnetic field
3.1 The expression of magnetic potential
Combining (2.14) and \(\frac{\partial}{\partial\varphi}=0\), we have Using the divergence formula (2.15), from (2.21), (2.24), and (3.1) we can deduce that Let Then (3.2) is equivalent to where
$$\begin{aligned} \nabla\varphi_{0}= \biggl(\frac{\partial\varphi_{0}}{\partial r}, \frac{1}{r}\frac{\partial\varphi_{0}}{\partial\theta},\frac {1}{r\sin\theta}\frac{\partial\varphi_{0}}{\partial\varphi} \biggr) = \biggl(\frac{\partial\varphi_{0}}{\partial r}, \frac{1}{r}\frac {\partial\varphi_{0}}{\partial\theta},0 \biggr). \end{aligned}$$
(3.1)
$$ \operatorname {div}\biggl(\frac{1}{r^{2}\sin^{2}\theta}\nabla\varphi _{0} \biggr)=\frac{m}{r\sin\theta}=\frac{W}{\mu_{0}}\rho. $$
(3.2)
$$ \varphi_{0}(x_{1},x_{2},x_{3})= \varphi_{0}(r,\theta). $$
(3.3)
$$ \frac{1}{x_{1}^{2}+x_{2}^{2}} \biggl(\frac{\partial^{2} \varphi _{0}}{\partial x_{1}^{2}}+ \frac{\partial^{2} \varphi_{0}}{\partial x_{2}^{2}}+\frac{\partial^{2} \varphi_{0}}{\partial x_{3}^{2}}-\frac {2x_{1}}{x_{1}^{2}+x_{2}^{2}}\frac{\partial\varphi_{0}}{\partial x_{1}}- \frac{2x_{2}}{x_{1}^{2}+x_{2}^{2}}\frac{\partial\varphi _{0}}{\partial x_{2}} \biggr)=\frac{W}{\mu_{0}}\rho, $$
(3.4)
$$ \rho(x_{1},x_{2},x_{3})=\rho(r,\theta). $$
Define the operator \(\mathcal{L}\) as follows: It is easy to observe that \(\mathcal{L}\) is a symmetric operator. Hence, it has a Green’s function \(G(x,y)\) for \(x,y\in\mathbb{R}^{3}\). The following lemma gives an exact expression of \(G(x,y)\).
$$ \mathcal{L}=\frac{1}{x_{1}^{2}+x_{2}^{2}} \biggl(\frac{\partial ^{2}}{\partial x_{1}^{2}}+ \frac{\partial^{2}}{\partial x_{2}^{2}}+\frac{\partial^{2}}{\partial x_{3}^{2}}-\frac {2x_{1}}{x_{1}^{2}+x_{2}^{2}}\frac{\partial}{\partial x_{1}}- \frac {2x_{2}}{x_{1}^{2}+x_{2}^{2}}\frac{\partial}{\partial x_{2}} \biggr). $$
(3.5)
Lemma 3.1
The Green’s function
\(G(x,y)\)
for
\(\mathcal{L}\)
has the expression
where is a positive constant.
$$ G(x,y)=-\frac{\Lambda ((x_{1}-y_{1})^{2}+(x_{2}-y_{2})^{2} )}{ ((x_{1}-y_{1})^{2} +(x_{2}-y_{2})^{2}+(x_{3}-y_{3})^{2} )^{\frac{3}{2}}}, $$
(3.6)
Proof
We know that (3.2) is equivalent to (3.4). Let \(\varphi_{0}=r^{2}\overline{\varphi}\sin^{2}\theta\). Inserting this into (3.2), we get and it is not difficult to observe that the Green’s function of the operator is given by where Λ is a positive constant.
$$ \frac{\partial^{2}\overline{\varphi}}{\partial r^{2}}+\frac{4}{r}\frac {\partial\overline{\varphi}}{\partial r}+ \frac{3\cos\theta }{r^{2}\sin\theta}\frac{\partial\overline{\varphi}}{\partial\theta }+\frac{1}{r^{2}}\frac{\partial^{2}\overline{\varphi}}{\partial\theta ^{2}}= \frac{W\rho}{\mu_{0}}, $$
(3.7)
$$\frac{\partial^{2}}{\partial r^{2}}+\frac{4}{r}\frac{\partial }{\partial r}+\frac{3\cos\theta}{r^{2}\sin\theta} \frac{\partial }{\partial\theta}+\frac{1}{r^{2}}\frac{\partial^{2}}{\partial\theta^{2}} $$
$$ G(r,\theta)=-\frac{\Lambda}{r^{3}}, $$
(3.8)
Hence, the Green’s function \(G(x,y)\) of \(\mathcal{L}\) can be expressed as □
$$ G(x,y)=-\frac{\Lambda r^{2} \sin^{2}\theta}{r^{3}}=\frac{\Lambda ((x_{1}-y_{1})^{2}+(x_{2}-y_{2})^{2} )}{ ((x_{1}-y_{1})^{2} +(x_{2}-y_{2})^{2}+(x_{3}-y_{3})^{2} )^{\frac{3}{2}}}. $$
(3.9)
3.2 Variational formulation
In this paper, we assume that the pressure function \(p(\rho)\) satisfies the α-law (1.2) for some constant \(\alpha> 1\). Let Then Moreover, the Newtonian potential operator is given by (1.3), and we can denote Notice that the magnetic potential \(\varphi_{0}\) satisfies (3.2). By Lemma 3.1 we see that \(G(x,y)\) for \(x,y\in\mathbb{R}^{3}\) is the Green’s function for the operator \(\mathcal{L}\) defined in (3.5), that is, where \(\delta(x-y)\) is the Dirac measure giving the unit mass to the point x. Since \(\mathcal{L}\) is symmetric, we have where the inner product \(\langle\cdot, \cdot\rangle\) is taken in \(L^{2}\). Thus, we have the following integral representation for \(\varphi_{0}\): where the integral operator D is given by
$$ I(\rho)=\frac{\rho^{\alpha}}{\alpha-1}. $$
(3.10)
$$ n(\rho)=I'(\rho). $$
(3.11)
$$ \Psi(x)=- \int_{\mathbb{R}^{3}}\frac{\rho(y)}{\vert x-y\vert }\,dy:=-E(\rho). $$
(3.12)
$$ \mathcal{L}G=\delta(x-y), $$
(3.13)
$$ \langle\mathcal{L}\varphi_{0}, G \rangle=\langle \varphi_{0}, \mathcal {L}G \rangle= \bigl\langle \varphi_{0}, \delta(x-y) \bigr\rangle =\varphi_{0}(y), $$
(3.14)
$$ \varphi_{0}(x)=D(\rho), $$
(3.15)
$$ D(\rho)=\frac{W}{\mu_{0}} \int_{\mathbb{R}^{3}}G(x,y)\rho(y)\,dy. $$
(3.16)
By (3.11), (3.12), and (3.16) it is obvious that equation (2.27) can be written as According to (3.17), we define the energy functional F as follows: where \(I(\rho)\) is the function given in (3.10). The energy functional \(F(\rho)\) means that solving (3.17) with the total mass constraint (2.28) is equivalent to proving that (3.18) has a minimizer in some function space X.
$$ I'(\rho)+E(\rho)+WD(\rho)=\lambda\quad\text{for } \rho>0. $$
(3.17)
$$ F(\rho)= \int_{\mathbb{R}^{3}} \biggl[I(\rho) +\frac{1}{2}\rho E(\rho)+ \frac{1}{2}\rho WD(\rho) \biggr]\,dx, $$
(3.18)
Now, we review the results for stationary solution (1.5). For \(0< M<\infty\), we define \(X_{M}\) by For \(\rho\in X_{M}\), we define the energy function \(F_{1}\) for the nonrotating nonmagnetic by
$$\begin{aligned} \begin{aligned}[b] X_{M}&= \biggl\{ \rho: \mathbb{R}^{3}\rightarrow\mathbb{R}, \rho >0 \mbox{ a.e.}, \int_{\mathbb{R}^{3}}\rho \,dx=M, \mbox{and} \\ &\quad \int_{\mathbb{R}^{3}} \biggl[I(\rho)+\frac{1}{2}\rho E(\rho ) \biggr] \,dx< \infty \biggr\} . \end{aligned} \end{aligned}$$
(3.19)
$$ F_{1}(\rho)= \int_{\mathbb{R}^{3}} \biggl[I(\rho)+\frac{1}{2}\rho E(\rho) \biggr] \,dx. $$
(3.20)
Thanks to the Lemma 2 in [1], Federbush et al. [4] obtained the following useful lemma for the minimizer of the functional \(F_{1}\).
Lemma 3.2
Suppose that the pressure
\(p(\rho)=\rho^{\alpha}\) (\(\alpha>\frac {4}{3}\)). Let
\(\rho^{\ast}\)
be a minimizer of (3.20) in
\(X_{M}\), and let
Then there exists a constant
\(\lambda_{1}\)
such that
$$ \Gamma_{M}= \bigl\{ x\in\mathbb{R}^{3}: \rho^{\ast}>0 \bigr\} . $$
(3.21)
$$\begin{aligned} \textstyle\begin{cases} I(\rho)+ \frac{1}{2}\rho E(\rho)=\lambda_{1}, \quad x\in\Gamma_{M}, \\ E(\rho)\geq\lambda_{1}, \quad x\in\mathbb{R}- \Gamma_{M}. \end{cases}\displaystyle \end{aligned}$$
(3.22)
Remark 3.3
The variational problem is unusual, in that a solution turns out to have compact support. The reason is that the functional one seeks to minimize is not lower semicontinuous on the class of all admissible functions. Auchmuty and Richard [1] first restrict their considerations to functions with support in the ball of radius \(R_{M}\). Hence, we should find the radius \(R_{M}\). Note that, for \(\alpha>\frac{4}{3}\), Luo and Smoller [8] have proved that a local minimizer \(\rho^{\ast}\) of the function \(F_{1}\) in \(X_{M}\) exists. Also, they showed that the minimizer \(\rho^{\ast}\) is actually radial and unique and has compact support, that is, for given total mass M, there exists a unique constant \(R_{M}>0\) such that
$$\begin{aligned} \textstyle\begin{cases} \rho^{\ast}(x)>0 &\text{if } \vert x\vert < R_{M}, \\ \rho^{\ast}(x)=0&\text{if } \vert x\vert \geq R_{M}. \end{cases}\displaystyle \end{aligned}$$
(3.23)
Notice that \(\rho^{\ast}\) satisfying (3.22) in \(X_{M}\) is called a nonrotating nonmagnetic star solution, and \(R_{M}\) is called the radius of the nonrotating nonmagnetic star solution with total mass M.
Based on (3.23), we define the function spaces \(Y_{M}\) and \(Y_{\mathit {MR}_{0}}^{\alpha}\) as follows:
where \(r=\sqrt{x_{1}^{2}+x_{2}^{2}+x_{3}^{2}}\), \(\theta=\arccos\frac {x_{3}}{r}\), \(R_{0}\geq R_{M}\) is a constant, and \(R_{M}\) is the radius of the nonrotating nonmagnetic star solution with prescribed total mass M.
$$\begin{aligned}& \begin{aligned}[b] Y_{M}^{\alpha}&= \biggl\{ \rho:\mathbb{R}^{3} \rightarrow\mathbb{R}, \rho(x)=\rho(r,\theta), \rho\geq0, \mbox{a.e.}, \rho\in L^{1} \bigl(\mathbb{R}^{3} \bigr)\cap L^{\alpha} \bigl( \mathbb{R}^{3} \bigr), \\ &\quad \alpha>\frac{4}{3}, \int_{\mathbb{R}^{3}}\rho (x)\,dx=M \biggr\} , \end{aligned} \end{aligned}$$
(3.24)
$$\begin{aligned}& Y_{\mathit {MR}_{0}}^{\alpha}= \bigl\{ \rho\in Y_{M}^{\alpha}, \rho=0 \textrm{ for } r\geq R_{0} \bigr\} , \end{aligned}$$
(3.25)
We want to apply Theorem 3.2 in [4]. It is easy to see that a minimizer of the functional F as defined in(3.18) in \(Y_{\mathit {MR}_{0}}^{\alpha}\) solves equation (3.17).
Theorem 3.4
Let
\(\rho_{1}^{\ast}\)
be a minimizer of the energy functional
F
in
\(Y_{\mathit {MR}_{0}}^{\alpha}\), and
If
\(\alpha>\frac{6}{5}\), then
\(\rho_{1}^{\ast}\in C(\mathbb {R}^{3})\cap C^{1}(\Gamma_{M})\). Moreover, there exists a constant
\(\lambda_{M}^{\ast}\)
such that
$$ \Gamma_{M}= \bigl\{ x\in\mathbb{R}^{3}: \rho_{1}^{\ast}(x)>0 \bigr\} . $$
(3.26)
$$ I' \bigl(\rho_{1}^{\ast} \bigr)+E \bigl(\rho_{1}^{\ast} \bigr)+WD \bigl(\rho_{1}^{\ast } \bigr)=\lambda_{M}^{\ast}, \quad x\in\Gamma_{M}. $$
(3.27)
Proof
Let Then \(F(\rho)\) can be written in two parts: where \(F_{1}(\rho)\) is defined by (3.20).
$$ F_{2}(\rho)=\frac{1}{2}W \int_{\mathbb{R}^{3}}\rho D(\rho)\,dx. $$
(3.28)
$$ F(\rho)=F_{1}(\rho)+F_{2}(\rho), $$
(3.29)
Let \(\rho+t\sigma\in Y_{\mathit {MR}_{0}}^{\alpha}\) for any \(t\in\mathbb{\mathbb{R}}\) under the condition \(\int _{\mathbb{R}^{3}}\sigma \,dx=0\). Let us note carefully that if \(\rho\in Y_{\mathit {MR}_{0}}^{\alpha}\).
$$\begin{aligned} &\lim_{t\rightarrow0} \frac{F_{1}(\rho+t\sigma)-F_{1}(\rho)}{t} \\ &\quad = \lim_{t\rightarrow0}\frac{1}{t} \int_{\mathbb {R}^{3}} \biggl(I(\rho+t\sigma) +\frac{1}{2}(\rho+t \sigma)E(\rho+t\sigma) -I(\rho)-\frac{1}{2}\rho E(\rho) \biggr)\,dx \\ &\quad = \lim_{t\rightarrow0} \int_{\mathbb{R}^{3}}\frac {I(\rho+t\sigma)-I(\rho)}{t}\,dx+\lim_{t\rightarrow0} \int_{\mathbb {R}^{3}}\frac{\rho E(\rho+t\sigma)-\rho E(\rho)}{2t}\,dx \\ &\quad\quad{} + \int_{\mathbb{R}^{3}}\frac{1}{2}\sigma E(\rho)\,dx \\ &\quad = \int_{\mathbb{R}^{3}}I'(\rho)\sigma \,dx+\lim _{t\rightarrow0}\frac{1}{t} \int_{\mathbb{R}^{3}}\frac{\rho}{2} \biggl( \int_{\mathbb{R}^{3}}\frac{-\rho-t\sigma}{ \vert x-y\vert }\,dy+ \int _{\mathbb{R}^{3}} \frac{\rho}{ \vert x-y\vert }\,dy \biggr)\,dx \\ &\quad\quad{} + \int_{\mathbb{R}^{3}}\frac{1}{2}\sigma E(\rho)\,dx \\ &\quad = \int_{\mathbb{R}^{3}} \biggl(I'(\rho)\sigma+ \frac {1}{2}\sigma E(\rho) \biggr)\,dx + \int_{\mathbb{R}^{3}}\frac{\sigma(y)}{2} \biggl( \int_{\mathbb{R}^{3}}\frac{-\rho(x)}{\vert x-y\vert }\,dx \biggr)\,dy \\ &\quad = \int_{\mathbb{R}^{3}} \bigl(I'(\rho)+E(\rho) \bigr)\sigma \,dx \end{aligned}$$
(3.30)
For \(F_{2}(\rho)\), we get where \(G(x,y)\) is defined by (3.6).
$$\begin{aligned} &\lim_{t\rightarrow0} \frac{F_{1}(\rho+t\sigma)-F_{1}(\rho)}{t} \\ &\quad = \lim_{t\rightarrow0}\frac{1}{t} \int_{\mathbb {R}^{3}} \biggl(\frac{W}{2}(\rho+t\sigma)D(\rho+t \sigma) -\frac{W}{2}\rho D(\rho) \biggr)\,dx \\ &\quad =\lim_{t\rightarrow0}\frac{1}{t} \int_{\mathbb {R}^{3}}\frac{W\rho}{2} \bigl(D(\rho+t\sigma)-D(\rho) \bigr)\,dx+ \int _{\mathbb{R}^{3}} \frac{W\sigma}{2}D(\rho)\,dx \\ &\quad =\lim_{t\rightarrow0} \int_{\mathbb{R}^{3}}\frac {W\rho}{2t} \biggl( \int_{\mathbb{R}^{3}} \bigl(G(x,y) (\rho+t\sigma )-G(x,y)\rho \bigr)\,dy \biggr)\,dx + \int_{\mathbb{R}^{3}}\frac{W\sigma}{2}D(\rho)\,dx \\ &\quad = \int_{\mathbb{R}^{3}}\frac{W\rho}{2} \biggl( \int _{\mathbb{R}^{3}}G(x,y)\sigma \,dy \biggr)\,dx+ \int_{\mathbb{R}^{3}}\frac {W\sigma}{2}D(\rho)\,dx \\ &\quad = \int_{\mathbb{R}^{3}}\frac{W\sigma}{2} \biggl( \int _{\mathbb{R}^{3}}G(x,y) \rho(x) \,dx \biggr)\,dy+ \int_{\mathbb {R}^{3}}\frac{W\sigma}{2}D(\rho)\,dx \\ &\quad = \int_{\mathbb{R}^{3}}W\sigma D(\rho)\,dx, \end{aligned}$$
(3.31)
Hence, from (3.30) and (3.31) we have for all σ satisfying \(\int_{\mathbb{R}^{3}}\sigma \,dx=0\). Then we can prove the theorem using a similar argument as in [1]. □
$$\begin{aligned} \begin{aligned}[b] &\lim_{t\rightarrow0} \frac{F(\rho+t\sigma)-F(\rho)}{t} \\ &\quad = \int_{\mathbb{R}^{3}} \bigl[I'(\rho)+E(\rho)+D(\rho) \bigr] \sigma \,dx=0 \end{aligned} \end{aligned}$$
(3.32)
Now, we give the main theorem of this paper.
Theorem 3.5
Suppose that
\(\alpha>\frac{4}{3}\). Then the following statements hold:
- 1.
\(\inf_{Y_{\mathit {MR}_{0}}^{\alpha}}F(\rho)<0\),
- 2.
\(F(\rho)\geq C_{1}\int_{\mathbb{R}^{3}}\rho^{\alpha }\,dx-C_{2}\), \(\rho\in Y_{\mathit {MR}_{0}}^{\alpha}\), for some positive constants \(C_{1}\) and \(C_{2}\) independent of ρ,
- 3.
F has a minimizer \(\rho^{\ast}\) in \(Y_{\mathit {MR}_{0}}^{\alpha}\).
Remark 3.6
In comparison with Theorem 3.3 with adiabatic exponent \(\alpha>2\) in [4], we only need the adiabatic exponent \(\alpha>\frac{4}{3}\).
3.3 The proof of Theorem 3.5
Before giving the proof of Theorem 3.5, we introduce the following lemma, which ensures that the functional F is bounded on the set \(Y_{\mathit {MR}_{0}}^{\alpha}\) if \(\alpha>\frac{4}{3}\).
Let
$$ F_{M}=\inf_{\rho\in Y_{\mathit {MR}_{0}}^{\alpha}}F(\rho). $$
Lemma 3.7
Let
\(\alpha>\frac{4}{3}\). If
\(\rho\in Y_{\mathit {MR}_{0}}^{\alpha} \), then there exist two positive constants
\(C_{1}\)
and
\(C_{2}\)
depending only on
α
and
M
such that
$$ C_{1} \int_{\mathbb{R}^{3}}\rho^{\alpha}\,dx-C_{2}< F(\rho) \quad \textit{and}\quad F_{M}< 0. $$
Proof
Let \(F(\rho)\) be defined by (3.29). For \(F_{1}(\rho)\), Lemma 2.4 in [8] implies that \(C_{1}\int_{\mathbb{R}^{3}}\rho^{\alpha}\,dx-C_{2}< F_{1}(\rho)\) for two positive constants \(C_{1}\) and \(C_{2}\) depending only on α and M. Here, we only prove that \(C_{1}\int_{\mathbb{R}^{3}}\rho ^{\alpha}\,dx-C_{2}< F_{2}(\rho)\). By Hölder’s inequality we have Note that By the Riesz potential estimate [16], Lemma 7.12, p.159, we get for \(\mu=\frac{2}{3}\) and \(\delta=\frac{1}{p}-\frac{1-\varepsilon}{2-\varepsilon}\), where Ω is the compact support of ρ.
$$\begin{aligned} F_{2}(\rho)&=\frac{1}{2}W \int_{\mathbb{R}^{3}}\rho D(\rho)\,dx \\ &\leq C\Vert \rho \Vert _{2-\varepsilon} \bigl\Vert D(\rho) \bigr\Vert _{\frac{2-\varepsilon }{1-\varepsilon}}. \end{aligned}$$
$$ D(\rho)=-\frac{\Lambda W}{\mu_{0}} \int_{\mathbb{R}^{3}}\frac {(x_{1}-y_{1})^{2}+(x_{2}-y_{2})^{2}}{ ((x_{1}-y_{1})^{2}+(x_{2}-y_{2})^{2} +(x_{3}-y_{3})^{2} )^{\frac{3}{2}}}\rho(y)\,dy. $$
$$ \bigl\Vert D(\rho) \bigr\Vert _{\frac{2-\varepsilon}{1-\varepsilon}}\leq C\vert \Omega \vert ^{\mu-\delta} \Vert \rho \Vert _{p} \quad \text{if } p< \frac{3(2-\varepsilon )}{7-5\varepsilon} $$
(3.33)
By the interpolation inequality (Theorem 2.11 in [17]), if \(f\in L^{q}\cap L^{r}\) (\(1\leq q < p< r<\infty\)), then for \(a=\frac{p^{-1}-r^{-1}}{q^{-1}-r^{-1}}\).
$$ \Vert f\Vert _{p}\leq \Vert f\Vert _{q}^{a}\Vert f\Vert _{r}^{1-a} $$
(3.34)
Inserting \(q=1\), \(r=2-\varepsilon\), and \(a=\frac{(2-\varepsilon )/p-1}{1-\varepsilon}<1 \) into (3.34), we get that (3.33) implies By the interpolation inequality [16], (7.6), p.145, we obtain where \((\alpha>2-\varepsilon)\), and Ω is the compact support of ρ.
$$ \biggl\vert \frac{1}{2} \int_{\mathbb{R}^{3}}\rho D(\rho)\,dx \biggr\vert \leq C\Vert \rho \Vert _{2-\varepsilon}^{2-a}\Vert \rho \Vert _{1}^{a}. $$
(3.35)
$$ \int_{\mathbb{R}^{3}}\rho^{2-\varepsilon}\,dx\leq\omega \int _{\mathbb{R}^{3}}\rho^{\alpha}\,dx+\omega^{-\frac{2-\varepsilon }{\alpha-2+\varepsilon}} \vert \Omega \vert ^{\frac{\alpha-2+\varepsilon }{\alpha}} \leq\omega \int_{\mathbb{R}^{3}}\rho^{\alpha}\,dx+\omega ^{-\frac{2-\varepsilon}{\alpha-2+\varepsilon}} \vert \Omega \vert ^{\frac {\alpha-2+\varepsilon}{\alpha}}, $$
(3.36)
Together (3.35) with (3.36), we have where \(C(\lambda)=\lambda^{-\frac{2-\varepsilon}{\alpha -2+\varepsilon}} \vert \Omega \vert ^{\frac{\alpha-2+\varepsilon}{\alpha}}\).
$$ \biggl\vert \frac{1}{2} \int_{\mathbb{R}^{3}}\rho D(\rho)\,dx \biggr\vert \leq \Vert \rho \Vert _{1}^{a} \biggl( \int_{\mathbb{R}^{3}}\omega\rho^{\alpha }\,dx+C(\omega) \biggr)^{\frac{2-a}{2-\varepsilon}}, $$
Choosing \(a=\varepsilon\), it is obvious that which implies that \(7-5\varepsilon>3+3\varepsilon-3\varepsilon^{2}\), \(\varepsilon<\frac{2}{3}\).
$$ p=\frac{2-\varepsilon}{1+\varepsilon-\varepsilon^{2}}>\frac {3(2-\varepsilon)}{7-5\varepsilon}, $$
It follows from \(\alpha>2-\varepsilon\) that Hence, for \(\alpha>\frac{4}{3} \), we have Letting ω be sufficiently small, then we have □
$$ \alpha>\frac{4}{3}\quad \Longleftrightarrow\quad \varepsilon< \frac{2}{3}. $$
$$ \biggl\vert \frac{1}{2} \int_{\mathbb{R}^{3}}\rho D(\rho)\,dx \biggr\vert \leq \omega M^{a} \int_{\mathbb{R}^{3}}\rho^{\alpha}\,dx+C(\omega)M^{a}. $$
$$ F(\rho)>C \int_{\mathbb{R}^{3}}\rho^{\alpha}\,dx-C_{1}. $$
Proof of Theorem 3.5
Note that Lemma 3.7 proves conclusion (2) of Theorem 3.5. Conclusion (3) in Theorem 3.5 can be proved by using the same method as in [8].
Notice that Also, by the argument in [8] we get Hence, conclusion (1) of Theorem 3.5 is established. □
$$\begin{aligned} F_{2}(\rho)&=-\frac{1}{2}W \int_{\mathbb{R}^{3}}\rho D(\rho)\,dx \\ &=-\frac{\Lambda W^{2}}{\mu_{0}}\rho \int_{\mathbb{R}^{3}}\frac {(x_{1}-y_{1})^{2}+(x_{2}-y_{2})^{2}}{ ((x_{1}-y_{1})^{2}+(x_{2}-y_{2})^{2} +(x_{3}-y_{3})^{2} )^{\frac{3}{2}}}\rho(y)\,dy< 0. \end{aligned}$$
$$ F_{1}(\rho)= \int_{\mathbb{R}^{3}} \biggl[I(\rho)+\frac{1}{2}\rho E(\rho) \biggr] \,dx< 0. $$
Declarations
Acknowledgements
The authors are very appreciated to the reviewer for his/her valuable suggestions. Supported by NSFC (11401479).
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Authors’ Affiliations
(1)
Department of Mathematics, Sichuan University
(2)
Department of Mathematics, Northwest Normal University
References
- Auchmuty, G, Beals, R: Variational solutions of some nonlinear free boundary problems. Arch. Ration. Mech. Anal. 43, 255-271 (1971) MathSciNetView ArticleMATHGoogle Scholar
- Cai, H, Tan, Z: Existence and stability of stationary solutions to the compressible Navier-Stokes-Poisson equations. Nonlinear Anal., Real World Appl. 32, 260-293 (2016) MathSciNetView ArticleMATHGoogle Scholar
- Chanillo, S, Li, YY: On diameters of uniformly rotating stars. Commun. Math. Phys. 166(2), 417-430 (1994) MathSciNetView ArticleMATHGoogle Scholar
- Federbush, P, Luo, T, Smoller, J: Existence of magnetic compressible fluid stars. Arch. Ration. Mech. Anal. 215(2), 611-631 (2015) MathSciNetView ArticleMATHGoogle Scholar
- Guo, Y, Rein, G: Stable steady states in stellar dynamics. Arch. Ration. Mech. Anal. 147, 225-243 (1999) MathSciNetView ArticleMATHGoogle Scholar
- Jang, J: Nonlinear instability in gravitational Euler-Poisson systems for \(\gamma= \frac{6}{5}\). Arch. Ration. Mech. Anal. 188(2), 265-307 (2008) MathSciNetView ArticleMATHGoogle Scholar
- Lieb, EH, Yau, HT: The Chandrasekhar theory of stellar collapse as the limit of quantum mechanics. Commun. Math. Phys. 112(1), 147-174 (1987) MathSciNetView ArticleMATHGoogle Scholar
- 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) MathSciNetView ArticleMATHGoogle Scholar
- Rein, G: Non-linear stability of gaseous stars. Arch. Ration. Mech. Anal. 168(2), 115-130 (2003) MathSciNetView ArticleMATHGoogle Scholar
- Kobayashi, T, Suzuki, T: Weak solutions to the Navier-Stokes-Poisson equation. Adv. Math. Sci. Appl. 18, 141-168 (2008) MathSciNetMATHGoogle Scholar
- Feireisl, E, Novotný, A, Petleltová, H: On the existence of globally defined weak solutions to the Navier-Stokes equations of isentropic compressible fluids. J. Math. Fluid Mech. 3, 358-392 (2001) MathSciNetView ArticleGoogle Scholar
- Lions, PL: Mathematical Topics in Fluids Mechanics. Clarendon, New York (1998) Google Scholar
- Luo, T, Xin, ZP, Zeng, HH: On nonlinear asymptotic stability of the Lane-Emden solutions for the viscous gaseous star problem. Adv. Math. 291, 90-182 (2016) MathSciNetView ArticleMATHGoogle Scholar
- Wang, Q, Wang, HC: The dynamical mechanism of jets for AGN. Discrete Contin. Dyn. Syst. 21(3), 943-957 (2016) MathSciNetView ArticleMATHGoogle Scholar
- Lin, SS: Stability of gaseous stars in spherically symmetric motions. SIAM J. Math. Anal. 28(3), 539-569 (1997) MathSciNetView ArticleMATHGoogle Scholar
- Gilbarg, D, Trudinger, NS: Elliptic Partial Differential Equations of Second Order. Classics in Mathematics. Springer, Berlin (2001) Reprint of the 1998 edition MATHGoogle Scholar
- Adams, RA, Fournier, JJF: Sobolev Spaces, 2nd edn. Elsevier, Amsterdam (2003) MATHGoogle Scholar
Copyright
© The Author(s) 2016
