Numerical simulations of the magnetorotational instability in protoneutron stars : I. Influence of buoyancy
Abstract
The magnetorotational instability (MRI) is considered to be a promising mechanism to amplify the magnetic field in fast rotating protoneutron stars. In contrast to accretion discs, radial buoyancy driven by entropy and lepton fraction gradients is expected to have a dynamical role as important as rotation and shear. We investigate the poorly known impact of buoyancy on the nonlinear phase of the MRI, by means of three dimensional numerical simulations of a local model in the equatorial plane of a protoneutron star. The use of the Boussinesq approximation allows us to utilise a shearing box model with clean shearing periodic boundary conditions, while taking into account the buoyancy driven by radial entropy and composition gradients. We find significantly stronger turbulence and magnetic fields in buoyantly unstable flows. On the other hand, buoyancy has only a limited impact on the strength of turbulence and magnetic field amplification for buoyantly stable flows in the presence of a realistic thermal diffusion. The properties of the turbulence are, however, significantly affected in the latter case. In particular, the toroidal components of the magnetic field and of the velocity become even more dominant with respect to the poloidal ones. Furthermore, we observed in the regime of stable buoyancy the formation of long lived coherent structures such as channel flows and zonal flows. Overall, our results support the ability of the MRI to amplify the magnetic field significantly even in stably stratified regions of protoneutron stars.
keywords:
stars: magnetars – stars: neutron – supernovae: general – MHD – instabilities – magnetic fields1 Introduction
The impact of rotation and magnetic field on the dynamics of core collapse supernovae is still uncertain and represents a promising avenue of research. In the case of fast rotating progenitors giving birth to a protoneutron star (PNS) rotating with a period of a few milliseconds, the rotational energy represents an important energy reservoir that can be efficiently tapped if strong magnetic fields are present. In these conditions, the magnetorotational instability (MRI) has been proposed as a mechanism to efficiently amplify the magnetic field (Akiyama et al., 2003). Its development could impact the explosion by converting shear energy into thermal energy (Thompson et al., 2005) or by generating a strong largescale magnetic field which can extract the rotational energy and launch a magnetorotational explosion (LeBlanc & Wilson, 1970; BisnovatyiKogan et al., 1976; Müller & Hillebrandt, 1979; Symbalisty, 1984; Moiseenko et al., 2006; Shibata et al., 2006; Burrows et al., 2007; Dessart et al., 2008; Takiwaki et al., 2009; Takiwaki & Kotake, 2011; Winteler et al., 2012; Mösta et al., 2014). The magnetic field amplification by the MRI to a strength of could furthermore be a scenario to explain the formation of the most strongly magnetized neutron stars known as magnetars (Woods & Thompson, 2006, and references therein). The birth of such magnetars with rotation periods in the millisecond range is a potential central engine for long gammaray bursts (e.g. Duncan & Thompson, 1992; Metzger et al., 2011) associated with supernovae that have extreme kinetic energies (also called ”hypernovae” or type Ic BL, e.g. Drout et al., 2011). The delayed energy injection due to the spin down of a fast rotating, highly magnetized neutron star has also been invoked as an explanation for some superluminous supernovae like SN 2008 bi (Kasen & Bildsten, 2010; Woosley, 2010; Dessart et al., 2012; Nicholl et al., 2013; Inserra et al., 2013).
Since the seminal work of Balbus & Hawley (1991), the MRI has been thoroughly investigated in the context of accretion discs. The physical conditions in the PNS differ from those prevailing in accretion discs in several aspects. The main support against gravity is provided by pressure rather than centrifugal forces, and as a consequence the rotation profile can be nonKeplerian. A strong differential rotation appropriate for MRI growth nonetheless results from the collapse of the progenitor core to a PNS (Akiyama et al., 2003; Ott et al., 2006). The dependence of MRI turbulence on the steepness of the rotation profile was studied by Masada et al. (2012). Another consequence of the high pressure is that radial buoyancy forces driven by entropy and lepton fraction gradients have an important dynamical role. This stands in contrast to the case of thin accretion discs where only vertical buoyancy is dynamically relevant. The impact of buoyancy on the linear growth of the MRI has been studied by Balbus & Hawley (1994); Menou et al. (2004); Masada et al. (2006, 2007). They showed that the diffusion of heat and leptons driven by neutrinos alleviates the otherwise stabilising effect of a stable stratification, such that the MRI can still grow sufficiently fast. Neutrino radiation also induces a high viscosity, which can limit the growth of the MRI if the initial magnetic field is too low (Guilet et al., 2015).
How the nonlinear phase of the MRI is affected by the radial buoyancy and neutrino radiation is much less known. The impact of buoyancy on the MRI has been studied in numerical simulations of ”semiglobal” models (Obergaulinger et al., 2009; Masada et al., 2015), but these simulations did not take into account the impact of neutrinos as a source of thermal diffusion and viscosity (although it has an important impact, see Guilet et al., 2015). The pioneering simulations of Obergaulinger et al. (2009) considered a small part of a PNS but were not purely local in that they included global gradients, in particular of entropy and density. They investigated the impact of buoyancy driven by a radial entropy gradient, but artefacts induced by the radial boundary conditions prevented an adequate study of the impact of buoyancy on the nonlinear phase of the MRI. Indeed, soon after the MRI reached nonlinear amplitudes they observed a flattening of the entropy gradient with a strong gradient only present in a thin layer near the radial boundaries. The radially global (but vertically local) model of Masada et al. (2015) may not suffer from such boundary artefacts (and could in principle describe meaningfully the evolution of the global radial profiles), but the radial and azimuthal resolution that they could afford was in our opinion much too coarse for an accurate study of the MRI.
In order to avoid these shortcomings and to reduce the computational cost (thus allowing an exploration of parameter space with 3D simulations), we used a more simplified setup. We performed shearing box simulations in the Boussinesq approximation. This approximation takes into account the buoyancy effects due to entropy/lepton fraction gradients, but neglects other compressibility effects. As will be argued a posteriori, this assumption is very well justified since magnetic and kinetic energies remain small compared to the thermal energy. Our approach retains the effects of global gradients of angular frequency, entropy and lepton fraction through shear and buoyancy, but is purely local in the sense that the volume averages of these quantities are kept fixed and that the density gradient is neglected. It therefore retains less global effects than the ”semiglobal” simulations by Obergaulinger et al. (2009). This seems necessary, however, to have clean shearperiodic boundary conditions which avoid numerical artefacts at the grid boundary. Choosing a box size smaller than the density scaleheight ensures that this local approach is approximately justified.
The paper is organized as follows. In Section 2, we describe the physical and numerical setup considered. The results are then presented in Section 3 for the linear exponential growth phase of the MRI, and in Section 4 for the saturated nonlinear phase that follows. Finally we discuss the validity of our assumptions in Section 5 and draw conclusions in Section 6. A linear analysis is also presented in Appendix A and B, the results of which have been used in Sections 3 and 4. Finally, a convergence test of the simulations is described in Appendix C.
2 Numerical setup
2.1 Governing equations
The simulations performed in this article are designed to represent a small part of a fast rotating PNS located in the equatorial plane at a radius of around . We describe the local dynamics in the framework of a Cartesian shearing box (e.g. Goldreich & LyndenBell, 1965). The coordinates , , and represent the radial, azimuthal and vertical direction, respectively, and the corresponding unit vectors are , , and . The angular frequency vector points in direction, i.e. , while gravity is in direction, i.e. . At the location of the box considered here, the neutrinos are in the diffusive regime (Guilet et al., 2015), and their effects on the dynamics can appropriately be described by a viscosity as well as thermal and lepton number diffusivities. For the sake of simplicity, we assume in this work that the thermal and lepton number diffusivities are equal and denoted by , which allows us to describe the buoyancy associated with both entropy and lepton number gradients with the use of a single buoyancy variable (see below). For the sake of conciseness, we refer to as the thermal diffusivity. We also considered the effects of a magnetic diffusivity in our study.
As discussed in the introduction, buoyancy is described in the framework of the Boussinesq approximation, i.e. the buoyancy force is the only compressibility effect taken into account. The Boussinesq approximation holds if both the flow and Alfvén velocity are much less than the sound speed (incompressible flow), and if the density perturbations associated with the buoyancy are small. The approximation further assumes a uniform background density , i.e. one neglects the radial density gradient. The validity of these assumptions will be assessed in Section 5.1.
In the shearing box approximation, the diffusive MHD Boussinesq equations read in a frame rotating with the centre of the box with an angular frequency
(2)  
(3)  
(4)  
(5) 
where and are the flow velocity and the magnetic field, respectively. The buoyancy variable
(6) 
describes the density perturbation due to the joint effect of entropy and lepton number perturbations, and has the dimension of a length. The gradient of the pressure perturbation is obtained from the constraint of a divergencefree flow field (equation 4). The quantity
(7) 
measures the local shear (we assume in all simulations). The square of the BruntVäisälä frequency is defined by
(8) 
where , , , and are the density, entropy, electron fraction, and pressure, respectively. A stationary solution of these equations is:
(9)  
(10)  
(11) 
We initialised the numerical simulations with this stationary solution, to which we imposed random velocity and magnetic field perturbations (as described in more detail in next subsection).
2.2 Physical parameters and dimensionless numbers
We chose the physical parameters of the simulations to represent the fast rotating PNS model studied by Guilet et al. (2015) at a radius of with a density , a viscosity , and a rotation angular frequency . The box size was set to . The radial width of the box is somewhat smaller than the density scale height , i.e. the neglect of the background density gradient is roughly justified (see Sections 5.1 and 5.3 for a discussion). The aspect ratio of the box, elongated in the horizontal directions compared to the vertical direction, was chosen to ensure that the box fits the most unstable parasitic modes growing on MRI channel modes (Goodman & Xu, 1994; Pessah & Goodman, 2009; Latter et al., 2009; Obergaulinger et al., 2009; Pessah, 2010).
Given these values for the box size and for the viscosity, the dimensionless Reynolds number (characterizing the importance of viscosity over the largest vertical scale in the box) is
(12) 
According to Masada et al. (2007), the thermal diffusivity is larger than the neutrino viscosity by a factor . To investigate its impact on the results we chose two different values for the thermal diffusivity, namely a ”high” one , and a ten times lower one referred to as ”low diffusion” in the following. These values of the thermal diffusivity correspond to a dimensionless Prandtl number (characterizing the relative importance of viscosity and thermal diffusion)
(13) 
respectively. Hence, the dimensionless Peclet number (characterizing the relative importance of advection and thermal diffusion) has a value of
(14) 
for the high and low diffusion case, respectively.
The resistivity is expected to be many orders of magnitude smaller than the viscosity , but numerical constraints do not allow one to perform numerical simulations for such values of the resistivity. In our study, we used a resistivity , which corresponds to a magnetic Prandtl number characterizing the relative importance of viscosity and resistivity of
(15) 
This much too small value is a compromise between the computing time constraints and the wish to simulate flows in the high magnetic Prandtl regime appropriate to a PNS ( ; Thompson & Duncan, 1993; Masada et al., 2007). Note that this regime is unusual since the magnetic Prandtl number is ordinarily very small for stars, most parts of accretion discs and liquid laboratory metals. The high value of the magnetic Prandtl number in a PNS is due to the neutrinos inducing a very large viscosity while the resistivity remains very small. The dependence of the results on the magnetic Prandtl number will be investigated in a forthcoming publication. The corresponding magnetic Reynolds number, which characterizes the relative importance of magnetic advection to magnetic diffusion (resistivity), is
(16) 
in our study.
We considered a single value of the magnetic field strength, whose value lies within the viscous regime described by Guilet et al. (2015) (see left panel of their Fig. 10). A dimensionless number characterizing the strength of the magnetic field is defined as
(17) 
where is the Alfvén speed associated with the background vertical magnetic field. The impact of viscosity on the linear growth of the MRI is determined by the viscous Elsasser number
(18) 
Since , our simulations belong to the viscous regime, where the growth rate of the MRI is significantly reduced by neutrino viscosity compared to ideal MRI (e.g. Guilet et al., 2015, and references therein). Similarly, the impact of resistivity on the linear growth of the MRI is quantified by the resistive Elsasser number
(19) 
Contrary to what would be expected under realistic conditions, the impact of resistivity on the linear MRI is therefore not negligible in our setup (since ). Finally, the impact of thermal diffusion on the linear growth of the MRI is quantified by the thermal Elsasser number
(20) 
for the high and low diffusion case, respectively. This shows that thermal diffusion is expected to play an important role in the MRI linear growth, as will be detailed in Section 3.
Furthermore, we varied the BruntVäisälä frequency (see equation 8), which characterizes the impact of buoyancy, performing a set of simulations with both for the low and high thermal diffusion case.
In order to trigger the growth of the MRI, we added velocity and magnetic field perturbations to the stationary state in the following way. We imposed Fourier modes with a random phase and an amplitude that follows a Kolmogorov spectrum. The spectrum is normalized such that the kinetic and magnetic energy of the perturbations amount to of the energy in the background magnetic field. The results in the nonlinear phase are not very sensitive to the initial conditions, which influence the duration of the initial exponential growth phase (higher amplitude perturbations lead to a shorter growth phase).
Note that the simulations presented in this paper, meant to describe the flow in a fast rotating neutron star at a radius of , can be rescaled to other physical situations sharing the same values of the dimensionless numbers. For example, the moderately rotating PNS model studied by Guilet et al. (2015) shares the same dimensionless numbers at a radius of with the following parameters: , , , , box size , Prandtl numbers , and magnetic Prandtl number . The BruntVäisälä frequencies considered then range from to in that situation.
2.3 Units
Throughout the paper, we normalise our results using the vertical size of the domain , the angular frequency , and the density . Time is therefore measured in units of , velocity in units of , the magnetic field in units of , the energy density in units of , the specific energy in units of , the energy injection rate density in units of , and the specific energy injection rate in units of .
2.4 Numerical methods
In order to solve the Boussinesq MHD equations (2.1)–(5), we used the pseudospectral code snoopy (Lesur & Longaretti, 2005, 2007). snoopy solves the 3D shearing box equations using a spectral Fourier method, where the shear is handled through the use of a shearing wave decomposition (with time varying radial wavevector) and a periodic remap procedure. Nonlinear terms are computed with a pseudospectral method using the 2/3 dealiasing rule. The time integration is performed using an implicit procedure for the diffusive terms, while other terms use an explicit 3rd order Runge Kutta scheme. snoopy is parallelized using both MPI and OpenMP techniques. snoopy has been used in the past to study the MRI (in the absence of buoyancy) by Lesur & Longaretti (2007), Longaretti & Lesur (2010), Rempel et al. (2010), and Lesur & Longaretti (2011). The Boussinesq implementation has been used to study vertical convection and the subcritical baroclinic instability in an accretion disc by Lesur & Papaloizou (2010) and Lesur & Ogilvie (2010).
Most simulations presented in this paper were performed using a standard grid resolution of zones. A convergence study, presented in Appendix C, shows that this resolution is sufficient to resolve the dissipative scales and that the results are consistent with those obtained at a twice higher resolution. All our simulations with were performed with the standard resolution. At more negative values of , however, we observed that the more vigorous turbulence led to smaller dissipative scales. Therefore, we increased the resolution to for (both for and ), and to for the simulation with and . We note that in all our simulations the resolution is twice lower in the azimuthal direction than in the radial or vertical direction. This is rather usual in numerical studies of the MRI, because the presence of shear makes structures more elongated in the azimuthal direction. We have checked that our results are not affected by the lower azimuthal resolution.
2.5 Turbulent energies and energy injection rates
We define the kinetic, magnetic, and thermal energy densities as
(21) 
(22) 
and
(23) 
respectively, where the velocity is defined with respect to the equilibrium shear profile according to . For brevity, we will refer to as the velocity, and to energy densities as energies.
We further denote the average of a quantity over the whole computational volume by . The sum of the volume averaged kinetic and magnetic energies obeys the following conservation equation
(24) 
where the Reynolds stress
(25) 
and the Maxwell stress
(26) 
are the angular momentum fluxes in the radial direction due to the flow and the magnetic field, respectively. The sum of and gives the energy density injection rate into turbulent flow extracted from the shear energy of the flow by Reynolds and Maxwell stresses.
(27) 
is the work done by the buoyancy force per unit of time and per volume, i.e. in equation 24 represents the energy exchange rate from thermal to kinetic energy through radial transport of entropy and lepton number caused by buoyancy. The remaining quantities in equation 24, and , are the energy dissipation rates due to the viscosity and the resistivity, respectively.
In a time average sense, the total energy injection rate into turbulence, , is equal to the sum of the viscous and resistive energy dissipation rates .
3 Linear growth phase
Let us start this section by discussing stability conditions in the
presence of buoyancy and differential rotation both in hydrodynamic
and MHD flows. We restrict this discussion to the special case considered in this paper: a local box in the equatorial plane of the PNS, where the angular frequency, entropy and composition depend only on radius. We further restrict the discussion to axisymmetric perturbations
(28) 
We first consider stability conditions in the absence of any diffusive process. If
(29) 
the flow is convectively unstable because the SolbergHøiland stability criteria is violated (red region in Fig. 1). In the presence of magnetic field the condition reads
(30) 
This criterion is less restrictive than the hydrodynamic one due to the appearance of the MRI for (dark blue region, and red and orange regions with blue stripes in the right panel of Fig. 1). The classical MRI (i.e. in the absence of buoyancy effect) is obtained for and .
When thermal diffusion is present (but no resistivity and viscosity), the instability region is more extended for two reasons. First, thermal diffusion alleviates the stabilising effect of buoyancy on the MRI (Acheson, 1978; Menou et al., 2004; Masada et al., 2007). As a consequence the MRI instability criterion becomes , i.e. the MRI unstable region now comprises a region that is stable according to equation (30) (turquoise region in the right panel of Fig. 1).
Another consequence of thermal diffusion is the appearance of a new hydrodynamic instability (Klahr & Hubbard, 2014; Lyra, 2014), which we refer to as oscillatory convection. It occurs for in a parameter regime that is stable according to equation (29) (orange region in Fig. 1). Oscillatory convection can be considered to be an analog of semiconvection (in which thermal diffusion causes the flow to be unstable in the presence of an otherwise stabilising composition gradient), rotation assuming the role of the stabilising composition gradient in the case of semiconvection.
The parameter regime explored with our simulations is shown with plus signs in Fig. 1. We varied the BruntVäisälä frequency in the range and fixed the epicyclic frequency to a value . Hence, we explored three regimes: nondiffusive MRI for , diffusive MRI (i.e. allowed by thermal diffusion) for , and a mixed regime where MRI and oscillatory convection can coexist for . Note that in none of our simulations the flow is unstable to axisymmetric classical (nonoscillatory) convection.
Figure 2 shows the time evolution of the Maxwell stress averaged over the computational box. After a linear phase of exponential growth, the Maxwell stress saturates in the nonlinear phase. In this section we analyse only the linear phase and postpone the analysis of the nonlinear phase to next section. All but two simulations show a nonoscillatory growth, which is due to the MRI modified by buoyancy. For low thermal diffusion (; right panel), the growth rate varies by orders of magnitudes and becomes extremely small for large positive values of , up to the point that no growth occurs at all for . By contrast, for high thermal diffusion (; left panel), the effect of buoyancy on the growth of the MRI is much less pronounced. The MRI can still grow in a short time even for large values of . A good agreement is obtained between the growth rates obtained from our numerical simulations and the predictions from the linear analysis presented in Appendix A (Fig. 3).
Our results are in qualitative agreement with those of Masada et al. (2007), who showed that the MRI can grow unimpeded by stable buoyancy if the thermal diffusivity is sufficiently large compared to the viscosity, i.e. if . This condition is indeed verified for high thermal diffusion ( and ), in which case the growth of the MRI is only mildly affected by buoyancy. By contrast, the growth of the MRI is drastically suppressed in the case of low thermal diffusion and large ( and ), i.e. if the above condition is not fulfilled. Note that, even for a high diffusivity, the MRI growth rates are significantly smaller than those of the ideal MRI (). This stands in contrast to the situation considered by Masada et al. (2007) and is due to the fact that we considered a magnetic field strength that lies in the viscous regime, where the MRI growth is significantly slowed down by neutrino viscosity (Guilet et al., 2015).
One of our simulations with unstable buoyancy and high thermal diffusion ( and ) showed an oscillatory exponential growth due to the oscillatory convection discussed above. The transition of the fastest growing mode from MRI to oscillatory convection is clearly seen in Fig. 3 for high thermal diffusion, where it happens at in agreement with the linear prediction. In the regime of oscillatory convection, the growth rate predicted by the hydrodynamic linear analysis presented in Appendix B matches that of the MHD linear analysis and the simulations, clearly demonstrating the hydrodynamic nature of the instability.
4 Nonlinear phase
When the exponentially growing axisymmetric (i.e. yindependent) MRI channel modes reach nonlinear amplitudes, nonaxisymmetric secondary (or ”parasitic”) instabilities start to grow upon the primary modes (Goodman & Xu, 1994; Pessah & Goodman, 2009; Latter et al., 2009; Obergaulinger et al., 2009; Pessah, 2010). This leads to the disruption of the channel modes, thereby ending the exponential growth phase. From that point on the dynamics consists, in most cases, of 3D statistically steady MHD turbulence. A somewhat different dynamics takes place, however, in the case of low thermal diffusion () and a sufficiently stabilising buoyancy . In that case, we observed the recurrent emergence of exponentially growing channel flows and their subsequent disruption by parasitic instabilities. The resulting dynamics is fundamentally nonsteady due to this quasiperiodic emergence of the large scale channel flows. For high thermal diffusion we did not observe recurrent channel flows, but nonetheless noticed the development of longlived coherent flow structures in the regime where the flow is stable against buoyancy. Therefore, we split the following discussion of the properties of the nonlinear phase into two subsections. The first one we devote to the coherent flows (either recurrent or statistically steady), while we discuss in the second subsection the time and volume averaged properties of the flow during the nonlinear phase.
4.1 Coherent flows
In the stable buoyancy regime (), we observe the appearance of either long lived (for ) or recurrent (for ) coherent structures in the nonlinear state of the MRI. Two different types of such coherent structures can be distinguished (Figure 4): channel flows with a vertically varying but horizontally uniform structure (i.e. flow quantities only depend on coordinate ), and zonal flows with a radially varying but azimuthally and vertically uniform structure (i.e. flow quantities only depend on coordinate ).
Channel flows are related to the most unstable linear modes of the MRI
in case of a vertical background magnetic field. These modes,
which have a purely vertical wavenumber, i.e. ,
are known to be nonlinear growing solutions of the MHD equations
(Goodman &
Xu, 1994). They are unstable to parasitic instabilities of
KelvinHelmholtz or resistive tearing mode type (Goodman &
Xu, 1994; Latter
et al., 2009; Pessah &
Goodman, 2009; Pessah, 2010; Obergaulinger et al., 2009), the development of
which can stop the growth of the channel mode and trigger
turbulence. The typical structure of MRI channel modes consists of a
sinusoidal profile that holds for the horizontal (i.e. x and y)
components of both velocity and magnetic field
Zonal flows have been observed in shearing box simulations of MRI turbulent stratified accretion discs (Johansen et al., 2009; Simon et al., 2012; Simon & Armitage, 2014). They mostly possess a radially varying azimuthal velocity, which is associated with a radial variation of the pressure. In the presence of a mean vertical magnetic field, a radial variation of the vertical magnetic field has been reported recently too (Bai, 2014; Bai & Stone, 2014).
Figure 5 illustrates the occurrence of the different types of coherent flows as a function of the BruntVäisälä frequency by showing the fractions of kinetic, magnetic, and thermal energy densities contained in axisymmetric structures, channel flows, and zonal flows, respectively. To obtain the energy densities contained in axisymmetric structures we first averaged the magnetic field, velocity, and buoyancy variable in azimuthal (y) direction. Then we used these averages to compute the respective energy densities averaging over the box and over time. Instead, we first averaged the flow variables horizontally (i.e. both in azimuthal (y) and radial (x) direction) to compute the energy densities contained in channel flows. Finally, for the zonal flows, we first averaged the flow variables in vertical (z) and azimuthal (y) direction.
Figure 5 demonstrates that the flow becomes more axisymmetric for increasing , i.e. for flows that are more stable to buoyancy. This holds for the magnetic, kinetic, and thermal energies at both low and high thermal diffusion but is more pronounced at low thermal diffusion, in qualitative agreement with the idea that high thermal diffusion somewhat alleviates the influence of a stabilising buoyancy. The prominence of channel flows also increases monotonically with for all three energies and at both thermal diffusivities. This behaviour is again more pronounced at low thermal diffusion, where the channel flows contain up to about of the energy. As already mentioned the channel flows have a different time behaviour at and . At high thermal diffusion they are approximately steady (see Section 4.1.1), while at low thermal diffusion they show recurrent phases of exponential growth and disruption (see Section 4.1.3).
Zonal flows stick out most clearly regarding the kinetic energy (remarkably, their fraction can reach up to ), while they amount to a lesser fraction of the thermal energy, and an almost negligible fraction of the magnetic energy. Their dependence on is more complex than that of the channel flows. While their importance first increases with (up to at , and at ), it starts to decrease at still higher . As for the channel flows, zonal flows have a different time behaviour at high and low diffusion. They are approximately steady and longlived at (Section 4.1.2), but recurrent at (Section 4.1.3).
Quasistationary channel flows
Figure 6 shows snapshots of the azimuthal magnetic field, the azimuthal velocity, and the buoyancy variable for two simulations at high thermal diffusion for a flow unstable (; left column) and stable (; right column) to buoyancy. In the latter case, the flow is much more axisymmetric, and we observe a channel flow structure superposed to a disordered flow.
The channel flow structure and timeevolution can be made more apparent by calculating horizontal averages of the flow variables. We show spacetime diagrams of these averages in Fig. 7 for the simulation with and . A first transient phase of strong channel flow occurs between and corresponding to the MRI channels of the exponential growth phase described in Section 3. After the disruption of these channels by parasitic instabilities and the onset of turbulence, one observes no clear channel flow until . At that moment, another channel flow appears whose amplitude and phase is remarkably steady until the end of the simulation, except for a phase shift that takes place around . To our knowledge, this is the first time that such a stationary channel flow has been seen to appear in MRI turbulence (only recurrent channel flows were sometimes observed as will be discussed in Section 4.1.3).
Let us now compare the structure of this stationary channel flow to
that of growing linear MRI modes. From the spacetime diagrams
(Fig. 7) it is already clear that
the wavelength of the stationary flow (one wavelength fits into the
box) is longer than that of the exponentially growing mode (a mixture
of modes with and wavelengths fit into the box), the
latter one corresponding to the linear prediction
In view of the qualitative similarity but quantitative difference between the stationary channel flow and the linear MRI modes, we interpret the stationary channel flow as an MRI channel mode significantly modified by the concurrent turbulence, which presumably brings it to marginal stability. Further studies of the physics of the stationary channel flow and its interaction with turbulence may shed light on the mechanism determining the level of MHD turbulence. Using enlarged diffusion coefficients to roughly describe the impact of turbulence on the channel flow may provide the basis for modelling MRI saturation and could allow for a deeper interpretation of the numerical simulations. One could, for example, speculate that the level of turbulence adjusts so as to bring the largest scale MRI mode to marginal stability (Ogilvie & Livio, 2001; Guilet & Ogilvie, 2012, 2013).
Quasistationary zonal flows
Zonal flows can conveniently be visualised with a spacetime diagram showing the radial profile of azimuthally and vertically averaged quantities. Fig. 8 shows such a diagram for a simulation with and , where a very stable quasistationary zonal flow is clearly visible. It shows that azimuthal velocity has by far the largest amplitude amounting to of the kinetic energy, but a modulation with a wavelength equal to the radial size of the box is also recognisable in the vertical magnetic field and the buoyancy variable. The modulation of the vertical magnetic field is shifted by a quarter of a wavelength with respect to that of azimuthal velocity (i.e. the maximum of the magnetic field corresponds to a zero of the velocity), in agreement with the results of Bai & Stone (2014). We note that the magnetic field zonal modulation represents a negligible fraction of the total magnetic energy (see Fig. 5), but it amounts to a significant fraction of the mean vertical magnetic field. Thus, it may play a significant role in the flow dynamics.
The zonal flow shown in Fig. 8 is representative of flows for BruntVäisälä frequencies . In this parameter regime, the zonal flow dominates the kinetic energy, and it is very stable and quasisteady. At lower and higher values of , zonal flows tend to be more noisy and less stable in that their phase changes somewhat chaotically with time on timescales of ten or a few tens of orbits.
Recurrent channel and zonal flows
At low thermal diffusion and in the stable buoyancy regime, channel and zonal flows are present too. However, contrary to the high diffusion case, they are not quasistationary. This is illustrated in Fig. 9 with spacetime diagrams of the azimuthal velocity for and . The vertical profile of the horizontally averaged azimuthal velocity, (top panel), shows recurrent phases of channel mode growth and sudden disruption. The radial profile of the vertically and azimuthally averaged azimuthal velocity, (middle panel) shows that the disruption of the channel flow is accompanied by the formation of a strong zonal flow. This zonal flow then decays and another phase of channel flow growth begins. These successive phases of channel flow growth, disruption, and zonal flow formation can also be seen in the left panel of Fig. 10, which demonstrates that the formation of the zonal flow exactly coincides with the disruption of the channel flow. The right panel shows that during the phase of exponential growth of the channel flow, the radial velocity (as well as the even higher azimuthal velocity (not shown)) is much larger than the vertical velocity, consistent with a channel mode dominating the flow. Furthermore, the flow is mostly axisymmetric, as can be deduced from the fact that the nonaxisymmetric part of the vertical velocity is significantly smaller than the total vertical velocity. The growth of nonaxisymmetric parasitic instabilities disrupting the channel mode is visible in the sudden rise of the vertical velocity, and in particular of its nonaxisymmetric part. The disruption of the channel flow is then followed by a phase of decaying nonaxisymmetric turbulence, during which the radial velocity, the vertical velocity and the nonaxisymmetric part of the vertical velocity have similar magnitudes.
Recurrent channel flow growth and disruption by parasitic instabilities has already been observed in numerical simulations of the MRI in the absence of buoyancy (e.g. Lesur & Longaretti, 2007). Lesur & Longaretti (2007) argued that this behaviour is characteristic of the MRI growing close to its threshold of marginal stability, be it because the magnetic field is very strong, or the resistivity and viscosity are very high. This interpretation is consistent with the results of our simulations, where the MRI is brought close to marginal stability by the effect of buoyancy.
Figure 11 illustrates the phases of channel flow (top panel), its disruption (middle panel), and the formation of a zonal flow (bottom panel). The upper panel shows an almost pure horizontally uniform channel flow, with only slight perturbations to the right hand side of the box. Two orbits later, these perturbations have grown due to parasitic instabilities, and the channel flow is being disrupted first on the right hand side of the box, and afterwards in the rest of the box, such that two orbits later the channel flow has completely disappeared and a zonal flow has formed. We attribute the formation of the zonal flow to the nonuniformity of the channel flow disruption over the radial extent of the box. Indeed, as the disruption of the channel flow happens first on the right hand side of the box (), the Maxwell and Reynolds stresses are first quenched in that part of the box, while they remain high in the rest of the box. Before the disruption extends to the rest of the box, the angular momentum flux is therefore nonuniform and the redistribution of angular momentum creates the zonal flow. To our knowledge, such episodic zonal flow formation due to the disruption of a channel flow has never been reported before. Since the mechanism we propose does not seem directly related to the impact of buoyancy (whose role is mostly to bring the MRI close to marginal stability), we suggest that it may also take place in the classical MRI without buoyancy.
The dynamics described in this section for is characteristic of simulations with . In this regime, as increases the typical timescale between phases of channel flow growth becomes longer. This can be interpreted by the smaller growth rate of the linear channel modes (see Fig. 3), which therefore take a longer time to grow again after their disruption. Note that for and , the zonal and channel flows are more similar to the case of high thermal diffusion: quasistationary, though somewhat more variable than those shown in Sections 4.1.1 and 4.1.2.
4.2 Timeaveraged properties
To characterize the properties of the nonlinear state and its dependence on , we performed time and box averages of the magnetic, kinetic and thermal energies, the energy injection rates, and the rms values of the three spatial components of velocity and magnetic field. For each simulation, we adapted the time at which the averaging is started to avoid the initial transient dynamics (the first exponential channel growth phase, sometimes followed by a transient zonal flow). Because of the slower growth in the stable buoyancy regime, some simulations had to be run for a longer time period in order to obtain a meaningful average over the nonlinear phase (see Table 1; note that correspond to one orbit).
interval [msec]  
100  [ 200, 628]  
6  [ 400, 1000]  
8  [ 1000, 2000]  
10  [ 400, 1000]  
1000  [ 200, 628]  
1  [ 300, 1600]  
2  [ 1000, 3000]  
3  [ 1000, 3000]  
4  [ 1000, 3000]  
6  [ 2000, 6000]  
8  [ 3000, 10000] 
Figure 12 illustrates how the magnetic, kinetic, and thermal energies, and the energy injection rates depend on the BruntVäisälä frequency. For high thermal diffusion, magnetic energy and Maxwell stress decrease monotonically with , as one may intuitively expect. Importantly, the dependence gets much weaker as increases, to the extent that the magnetic energy is practically independent of for , while the Maxwell stress very slowly declines in this regime. As a result, the magnetic energy is more affected by an unstable buoyancy, than by a stable one. It increases by a factor of between and , but it decreases only by a factor between and . In the stable buoyancy regime (), the thermal energy and the corresponding injection rate are almost independent of , and both are much smaller than the corresponding magnetic quantities. By contrast, in the unstable buoyancy regime, they increase rapidly in magnitude as , up to the point where the thermal energy and the corresponding injection rate are the dominant contributions at , suggesting that turbulence is driven then more by buoyancy than by the shear. Note that the increased turbulence strength in the unstable buoyancy regime is similar to that observed in the context of accretion discs by Hirose et al. (2014) and Hirose (2015). The geometry is nonetheless different: in accretion discs the buoyancy force is mostly vertical, while in our setup it is radial.
At low thermal diffusion, we found qualitatively similar trends for , but with a somewhat steeper dependence on , a result which agrees with the idea that a lower thermal diffusion allows buoyancy to act more effectively. The behaviour for is more surprising. All energies and energy injection rates increase in magnitude with , in spite of the fact that, as in the high diffusion case, buoyancy is actually removing energy from the flow (because the buoyancy injection rate is negative). This behaviour is found in the parameter regime showing strong recurrent channel flows, where the energy is predominantly contained in axisymmetric structures (see Section 4.1). The increase in energy and energy injection rate is due to the fact that, at higher , recurrent channel flows reach larger amplitudes before they are disrupted by parasitic instabilities. The cause of the increase of the channel flow amplitude at termination is unclear, but may be linked to the so far unknown impact of buoyancy on parasitic instabilities. In this respect it is interesting to note that, at high thermal diffusion, the amplitude at which the first phase of channel mode growth is terminated increases with (as can be seen in Fig. 2). This may be linked to the increasing energy observed in the nonlinear phase for low thermal diffusion. It also highlights the fact that the amplitude at which channel mode growth is terminated is not necessarily correlated with the strength of MRI turbulence (which decreases with for high thermal diffusion).
Figures 13 and 14 show the dependence of the ratio of different flow quantities on : Reynolds stress to Maxwell stress (top left), kinetic energy to magnetic energy (top right), radial to azimuthal velocity amplitudes (bottom left), and radial to azimuthal magnetic field amplitudes (bottom right). An advantage of studying such ratios is that they allow for a comparison of the flow properties of the nonlinear phase to that of linear channel flows (Pessah et al., 2006). Indeed, while the amplitude of a quantity (say the Reynolds stress) due to a channel mode is unknown if one does not know a priori the mode amplitude, the ratio of two quantities (e.g. Reynolds stress to Maxwell stress) is well defined for a channel mode independently of its amplitude (see Appendix A). Figure 13 shows that, at low thermal diffusion, all these ratios vary significantly with and are in general agreement with the prediction from the linear modes. This agreement is not surprising in the regime of stable buoyancy where channel modes contribute a significant fraction of the energy, but it is surprising in the regime of unstable buoyancy where the fraction of energy contained in channel modes is insignificant. The (at least qualitative) agreement in the latter regime therefore suggests that linear dynamics leaves an imprint on the properties of turbulence even when channel modes do not dominate the flow.
Interestingly, in the regime of unstable buoyancy ( and ) the Reynolds stress changes sign and becomes negative, while it is always positive (corresponding to an outward transport of angular momentum) for the MRI in the absence of buoyancy. At , this behaviour is reproduced amazingly well by the linear analysis. When the Reynolds stress becomes negative, the Coriolis force is not anymore a driver of the radial motion in the channel mode contrary to the classical MRI. Then the buoyancy force drives the radial motion instead. The magnetic field nevertheless still plays a crucial role in the instability mechanism by reducing the stabilising effect of the Coriolis force, because no nonoscillatory growth is possible in this regime in the absence of a magnetic field (see Section 3). Hence, we interpret the instability in the unstable buoyancy regime as a mixed magnetorotational buoyant instability, and the increasing ratio of kinetic to magnetic energy by the increasing role played by the buoyancy force compared to the magnetic one.
Another interesting trend visible in Fig. 13 concerns both the ratio of azimuthal to radial velocity and the ratio of azimuthal to radial magnetic field. These ratios increase tremendously with , reaching a value of for the former one. This may qualitatively be interpreted by the fact that for increasing , the buoyancy force prevents more and more efficiently radial motions. In the regime of stable buoyancy magnetic and kinetic energy are therefore dominated by the azimuthal component of the magnetic field and the velocity, respectively. The vertical components of both quantities (not shown) are of the same order of magnitude as their radial components.
We found qualitatively similar trends in the case of high thermal
diffusion
Finally, Fig. 14 provides interesting information on the coherent channel and zonal flows described in Section 4.1. Our simulations show that the ratios of azimuthal to radial velocity and of azimuthal to radial magnetic field of the quasistationary channel flow are quantitatively different from those of the most unstable linear mode (but with a similar qualitative trend). This confirms our conclusion from Section 4.1.1 that quasistationary channel flows, while related to MRI modes, have a different structure presumably because they are significantly modified by the concurrent turbulence. The simulations further show that the zonal flows described in Section 4.1.2 are responsible for the bump in kinetic energy observed in Figs. 12 and 14 for . Remarkably, at the peak of the zonal flow ( and 6) the kinetic energy is in equipartition with the magnetic energy. Whether this is a mere coincidence or a general property of zonal flows is unclear. Interestingly, if we subtract the contribution of the zonal flow, the remaining kinetic energy (blue circles in the top right panel of Fig. 14) has a smooth flat dependence on , with no visible impact of the zonal flow (like the total magnetic energy). This suggests that the zonal flow does not significantly impact the level of turbulence developing on top of the zonal flow.
5 Discussion
In this section, we discuss the appropriateness of some of the
simplifying assumptions made in our study: use of the Boussinesq
approximation (Section 5.1), the assumption
of a constant shear rate
5.1 Validity of the Boussinesq approximation
Because our simulations are the first attempt to apply the Boussinesq approximation to the problem of MRI growth in a PNS, it is important to assess to what extent this approximation provides an appropriate description of the flow dynamics. Several conditions should be satisfied for the approximation to be justified. Firstly, the flow velocity and the Alfvén velocity should be much smaller than the sound speed, so that the flow is approximately incompressible. In all our simulations, this requirement holds very well, because , the sound speed being estimated from the PNS model studied by Guilet et al. (2015). Secondly, the relative density perturbation associated with buoyancy, , should be small. Using the gravitational acceleration (again from the model of Guilet et al., 2015), we find that in all our simulations its rms value is , i.e. it is indeed quite small. Thirdly, the Boussinesq approximation neglects the influence of a background density gradient, an assumption that is no longer justified when the size of the box approaches the density scaleheight. For the box size used in our study, the density at the radial surfaces of the box should actually differ from the value at the centre of the box by about .
The neglect of the background density gradient is by far the main limitation of the Boussinesq approximation in our simulations. Note that this limitation is common to all local models, even those not employing the Boussinesq approximation (e.g. Masada et al., 2012). It can, in principle, be lifted only by using a global model, or a semiglobal model (Obergaulinger et al., 2009). So far, global models resolving the MRI have only been published for two dimensional flows (Sawai et al., 2013; Sawai & Yamada, 2014), which is problematic for a study of MHD turbulence. On the other hand, the inclusion of the density gradient in the semiglobal models of Obergaulinger et al. (2009) renders the use of periodic boundary conditions problematic, and causes important artefacts at the radial boundaries of the computational domain (e.g., a fast flattening of the rotation and entropy profiles, which prevents a meaningful study of the nonlinear phase of the MRI). The radially global (but vertically local) model of Masada et al. (2015) may not suffer from such boundary artefacts, but the horizontal resolution that they could afford is in our opinion much too coarse for an accurate study of the MRI. We conclude that so far no satisfying solution has been found to study the impact of the largescale density gradient on the MRI, and that presently the use of local simulations in the Boussinesq approximation is probably the best choice to study the impact of buoyancy on the MRI.
5.2 Energy dissipation rate and timescale of shear profile evolution
Another limitation of local simulations is that they cannot describe the evolution of the global rotation profile. In shearing box simulations with shearperiodic boundary conditions in the radial direction, the shear rate averaged over the box is kept constant. This is justified only as long as the rotation profile has not been significantly modified by the angular momentum transport driven by the MRI.
One can estimate the timescale over which the rotation profile is
significantly changed by the ratio of the total available shear energy
to the rate at which it is extracted by the combined effects of
Reynolds and Maxwell stresses. The available shear energy is estimated
in the fast rotating PNS model studied by Guilet
et al. (2015) by
comparing the rotational energy contained in the differentially
rotating PNS to that of a PNS in solid rotation with the same total
angular momentum. In this way, we estimate a shear energy of
. The specific rate at which energy
is extracted from the shear
5.3 Local approximation : dependence on box size
One problem greatly limiting the predictive power of local numerical simulations, is that the result is likely to depend on the size of the computational domain. For the MRI in the absence of buoyancy and in the presence of a vertical magnetic field, numerical simulations have indeed found that the level of turbulence as measured by the angular momentum flux is proportional to the vertical size of the box (Hawley et al., 1995). Since the relevant box size to be adopted is a priori unknown, this renders very uncertain the use of local models to predict magnetic field strength and angular momentum transport in PNS (and casts some doubts on the scaling formulae given by Masada et al. (2012), who did not discuss the dependence of their results on the box size). One may argue the density scale height to be a natural upper limit to the scales available to MRI driven turbulence, such that choosing a local box of a size comparable to the density scale height could be an appropriate choice. Whether this argument actually holds can be checked only with global numerical simulations covering at least several density scale heights if not the whole PNS. While 3D simulations of such global models seem out of reach presently, investigating the dependence of local models on the domain size would already shed more light on its potential impact on the results. The dependence on the box size of MRI simulations that include buoyancy is so far unknown, and should be explored in the future.
6 Conclusions
We have investigated the impact of buoyancy on the properties of the MRI in protoneutron stars. For this purpose, we performed numerical simulations of a local model of a PNS using for the first time the Boussinesq approximation. This approximation has proven very useful to take into account the impact of entropy and lepton number gradients while keeping the advantages of a local model, i.e. clean shearing periodic boundary conditions and low computational cost allowing for an exploration of parameter space. We compared the results of our simulations to those of a linear analysis presented in Appendix A. The main conclusions of our study can be summarized as follows :

The linear analysis results are confirmed by our numerical simulations: thermal and lepton number diffusion alleviates the stabilising effect of buoyancy, and allows MRI growth in regions of parameter space where the MRI would be stabilised in the absence of diffusion (Menou et al., 2004; Masada et al., 2006, 2007). The growth rate of the MRI is then largely controlled by the thermal and lepton number diffusion, faster diffusion leading to faster MRI growth.

In the nonlinear phase of the MRI, stable buoyancy (i.e. the square of the BruntVäisälä frequency ) favours the appearance of large scale coherent flows: vertically varying (but horizontally uniform) channel flows as well as radially varying (but azimuthally and vertically uniform) zonal flows. These coherent flows can amount to a significant fraction of the total flow energies. In the case of high thermal diffusion, they are quasistationary and very stable over time, while they show recurrent phases of formation and disruption in the case of low thermal diffusion.

The strength of MHD turbulence (characterized by the magnetic energy or the rate at which energy is injected into turbulence) increases significantly in the regime of unstable buoyancy (i.e. ), but it decreases only mildly if the flow is buoyantly stable. This general result is robust, i.e. it holds even when the thermal and lepton number diffusion is varied by a factor ten. The precise variation of turbulence strength with does, however, depend on the thermal diffusion. For high diffusion, the magnetic energy decreases monotonically when the flow becomes more and more stable against buoyancy (following the same qualitative trend as the growth rate). In the case of lower diffusion, however, the magnetic energy increases for flows that are very stable against buoyancy, an opposite trend to the growth rate which decreases dramatically. This surprising behaviour is observed in the regime where recurrent channel flows appear, and we speculate that it might be related to the effect of buoyancy on parasitic instabilities growing on MRI channel modes.

Importantly, we find that the amplitude at which the first exponential growth of the MRI is terminated is not necessarily correlated with the strength of the turbulent phase that follows. Indeed, in the realistic case of high thermal diffusion, the termination amplitude of the MRI increases with while the strength of turbulence decreases. This should be kept in mind when interpreting the results of simulations focusing on the MRI termination (Obergaulinger et al., 2009), and highlights the importance of studying the fully turbulent phase of the MRI.

Other properties of MRI turbulence are strongly influenced by buoyancy. In particular, the ratios of azimuthal to radial magnetic field and of azimuthal to radial velocity increase dramatically in the regime of buoyantly stable flows, where the azimuthal components of the magnetic field and of the velocity therefore dominate the magnetic and kinetic energy. In the regime of buoyantly unstable flows, the ratio of kinetic to magnetic energy increases while the Reynolds stress changes sign and becomes negative. All of these trends are at least qualitatively reproduced by the properties of linear unstable modes.
The magnetic field strength estimated from the volume and time averaged magnetic energy in the nonlinear phase of our simulations ranges from in the case of stable buoyancy with high thermal diffusion to in the unstable buoyancy regime. Such magnetic field strengths lie the range estimated for magnetars, and they are a few tens to almost a hundred times stronger than the initial magnetic field. This provides support to the ability of the MRI to amplify the initial magnetic field to magnetar strength. Furthermore, if the MRI is at the origin of a magnetar’s magnetic field, our results suggest that the azimuthal magnetic field would be significantly stronger than the poloidal one (in stably stratified regions of the PNS). This could have interesting consequences for magnetars. The observation of magnetar activity from neutron stars with low dipole magnetic field (Rea et al., 2012, 2013, 2014) indicates an internal magnetic field much stronger than its dipolar component. Furthermore, the recent detection of a phase modulation of the pulsed emission of two magnetars has been interpreted as free precession arising from a deformation of the magnetar due to a very strong internal toroidal field (Makishima et al., 2014; Makishima et al., 2015). The generation by the MRI of an azimuthal magnetic field much stronger than its poloidal component could be important to explain these observations.
It has been suggested that the development of the MRI could impact the dynamics of core collapse supernovae explosions (Akiyama et al., 2003) by converting shear energy into thermal energy (Thompson et al., 2005) or by generating large scale magnetic fields that could then drive powerful jetlike explosions (e.g. Moiseenko et al., 2006; Shibata et al., 2006; Burrows et al., 2007; Dessart et al., 2008; Takiwaki et al., 2009; Takiwaki & Kotake, 2011). In the former case, the effect of the MRI was parametrized by an effective turbulent viscosity estimated to reach values up to a few times (see Fig. 5 of Thompson et al., 2005). The effective turbulent viscosity can be estimated in our simulations from the angular momentum flux. We found values ranging from in the stable buoyancy regime with high thermal diffusion to in the unstable buoyancy regime. These values are two to three orders of magnitude smaller than those used by Thompson et al. (2005), and they would probably not provide enough viscous heating to affect the explosion dynamics. Concerning the second case, the generation of a large scale magnetic field by the MRI cannot be studied in a local model such as ours, and has so far never been demonstrated. Though we could not reach definitive conclusions on this matter, our simulations show that stable buoyancy favours the formation of coherent magnetic structures on the largest scales allowed in our local model. The magnetic field strength we obtained is of the same order of magnitude as that needed to launch jetdriven explosions (). In order to launch a jet, such a magnetic field strength is, however, needed near the surface of the PNS, while our simulation domain is located deep inside the PNS. Further numerical simulations describing the outer parts of the PNS will therefore be needed to address this question.
We stress that our quantitative conclusions (e.g. strength of the magnetic field, angular momentum flux) should not be considered as definitive answers due to several limitations of our study. Firstly, as discussed in Section 5.3, the results may depend on the size of the computational domain (a limitation shared by all local and semiglobal simulations). This size dependence in the presence of buoyancy is unknown so far and should definitely be investigated in future studies. Secondly, the magnetic Prandtl number assumed in our simulations due to numerical constraints () is much smaller than its realistic value (). In the absence of buoyancy, MRI turbulence is known to be very sensitive to the magnetic Prandtl number, the strength of turbulence strongly increasing with (Lesur & Longaretti, 2007; Fromang et al., 2007; Longaretti & Lesur, 2010). If this trend were to hold in the presence of buoyancy, our results should be considered as lower bounds on the magnetic field strength and the angular momentum flux.
Many questions remain open on the MRI in the presence of buoyancy. As already mentioned, it will be crucial to determine the dependence of our results on the box size and the magnetic Prandtl number. The role of the strength and geometry of the initial magnetic field (both of which are very uncertain) should also be explored. According to models of stellar evolution including magnetic effects approximately, the initial magnetic field might be dominated by its azimuthal component (Heger et al., 2005). Is an efficient amplification of the magnetic field possible, if the initial magnetic field is azimuthal rather than poloidal? How do the results depend on the strength of the initial magnetic field? Further numerical simulations in the framework laid out in this paper could answer such questions. Note also, that this study was restricted to the equatorial plane of the PNS, where the stratification is perpendicular to the rotation axis. It would be interesting to investigate the impact of buoyancy at other latitudes, thereby allowing for a range of angles between the radial stratification and the rotation axis.
Finally, this study was restricted to the inner region of the PNS where neutrinos are in the diffusive regime. Guilet et al. (2015) showed that in the outer parts of the PNS, but still below the neutrinosphere, neutrinos are in the nondiffusive regime on length scales at which the MRI grows. The influence of buoyancy on the MRI in this regime is unknown, and should be studied using both linear analysis and numerical simulations.
Acknowledgments
We thank Geoffroy Lesur for providing us with the snoopy code and for useful discussions. We thank Henrik Latter, Vincent Pratt, Yudai Suwa and Thomas Janka for useful discussions. JG acknowledges support from the MaxPlanckPrinceton Center for Plasma Physics.
Appendix A MHD linear analysis
In this appendix we give an analytical description of the MRI modes growing in the setup described in Section 2. The dispersion relation obtained in Section A.1 is equivalent to that obtained by Menou et al. (2004) and Masada et al. (2007), but restricted to the particular setup considered in this paper, i.e. for a purely vertical magnetic field, the description of buoyancy effects by a single buoyancy variable (relevant to the particular case where the thermal and lepton diffusivities are equal), and considering only the dynamics in the equatorial plane. We repeat the derivation of the respective dispersion relation below, because for our setup the derivation is easier to follow, and because intermediate results (relations between the different velocity and magnetic field components of the modes) are subsequently used in Sections A.2 and A.3.
a.1 dispersion relation
For simplicity, the analysis is restricted to MRI channel modes whose wave vectors are purely vertical (i.e. having only a component), because these are the fastest growing modes in the presence of a purely vertical background magnetic field. Perturbations from the stationary background flow are assumed to have a time and space dependence for , where , , and are the growth rate, the vertical wavevector, and the complex amplitude of the mode, respectively. For conciseness, we drop the symbol when referring to the complex amplitudes in the rest of this section. The equations governing the time evolution of such perturbations are obtained from Eqs. (2.1)–(5). They read
(31)  
(32)  
(33)  
(34)  
(35)  
(36)  
(37) 
where is the shear rate with given by equation (7). Note that these equations are valid for any amplitude of the perturbations, as no linearization had to be done to obtain them. The channel mode solutions that we obtain below are therefore nonlinear solutions, just like the classical MRI channel modes in the incompressible limit (Goodman & Xu, 1994). Next, we define
(38) 
(39) 
(40) 
and rewrite Eqs. (31), (32), (34), (35), and (37) as
(41)  
(42)  
(43)  
(44)  
(45) 
Using Eqs. (41) and (43)–(45), one can express all nonvanishing variables as a function of the radial velocity amplitude
(46) 
(47) 
(48) 
(49) 
Using equation (42), we then obtain the dispersion relation
(50) 
where is the epicyclic frequency defined in equation (28). The more general equation (31) of Masada et al. (2007) reduces to our dispersion relation in the case of a purely vertical magnetic field and wavevector, provided the thermal and lepton number diffusivities are equal (in which case our BruntVäisälä frequency should be identified with the sum of two frequencies of Masada et al. (2007) that are related to the entropy and lepton number gradient, respectively) or either the lepton number gradient or the entropy gradient vanishes. Equation (50) is also equivalent to equation (13) of Menou et al. (2004), when applied in the equatorial plane to a purely vertical magnetic field and wavevector.
The dispersion relation is a fifth order polynomial in , which can be written in the form
(51) 
with
(52)  
(53)  
(54)  
(55)  
(56)  
(57)  
In order to obtain the growth rates, this fifth order polynomial is solved numerically using a Laguerre method.
a.2 Reynolds and Maxwell stresses
The vertical average of the Maxwell and Reynolds stresses associated with a channel mode can be computed using the complex amplitudes of the velocity and magnetic field perturbations. The vertical average of the product of two quantities and is obtained from their complex amplitudes and through
(58) 
where is the complex conjugate of . Here, we have used the relation , for two complex numbers and , and the fact that the vertical average of vanishes (for non vanishing ).
Using equation (46), the vertical average of the Reynolds stress reads
(59) 
For an unstable mode () and , the Reynolds stress is always positive, which is usually the case for MRI channel modes and turbulence (e.g. Pessah et al., 2006). When on the other hand, the buoyancy can potentially make the Reynolds stress take negative values.
Using Eqs. (47) and (48), we obtain the vertical average of the Maxwell stress
(60)  
Using the dispersion relation, this expression can be rewritten as
(61) 
The same remarks as for the Reynolds stress apply for the Maxwell stress. However, note that the term proportional to makes it less likely for the Maxwell stress to become negative, because it would require more negative values of than for the Reynolds stress.
a.3 Kinetic and magnetic energies
In a similar way as for the Reynolds and Maxwell stresses, one can obtain the vertically averaged kinetic and magnetic energies
(62) 
(63)  
Appendix B Hydrodynamical linear analysis
The dispersion relation in a hydrodynamical flow can be obtained from the MHD dispersion relation by setting the Alfvén velocity to zero in equation (50)
(64) 
This third order polynomial in may be written also in the form
(65) 
with
(66)  
(67)  
(68)  
(69) 
In order to obtain the growth rates shown in Fig. 3, we solve numerically this third order polynomial using a Laguerre method.