Abstract

If sufficiently irradiated by its central star, a protoplanetary disc falls into an equilibrium state exhibiting vertical shear. This state may be subject to a hydrodynamical instability, the ‘vertical shear instability’ (VSI), whose breakdown into turbulence transports a moderate amount of angular momentum while also facilitating planet formation, possibly via the production of small-scale vortices. In this paper, we show that VSI modes (a) exhibit arbitrary spatial profiles and (b) remain non-linear solutions to the incompressible local equations, no matter their amplitude. The modes are themselves subject to parasitic Kelvin–Helmholtz instability, though the disc rotation significantly impedes the parasites and permits the VSI to attain large amplitudes (fluid velocities ≲ 10 per cent the sound speed). This ‘delay’ in saturation probably explains the prominence of the VSI linear modes in global simulations. More generally, the parasites may set the amplitude of VSI turbulence in strongly irradiated discs. They are also important in breaking the axisymmetry of the flow, via the unavoidable formation of vortices. The vortices, however, are not aligned with the orbital plane and thus express a pronounced z-dependence. We also briefly demonstrate that the vertical shear has little effect on the magnetorotational instability, whereas magnetic fields easily quench the VSI, a potential issue in the ionized surface regions of the disc and also at larger radii.

1 INTRODUCTION

Large swathes of protoplanetary (PP) discs are too poorly ionized for the magnetorotational instability (MRI) to be active, at least as classically understood (Turner et al. 2014). In particular, their cold dense interior regions (between roughly 1 and 10 au) could be entirely laminar, though non-ideal MHD may produce large-scale fields and winds (Bai 2014; Lesur, Kunz & Fromang 2014; Simon et al. 2015). In the last 10–15 years this state of affairs has renewed interest in hydrodynamical routes to turbulence in these ‘dead zones’, and various weak instabilities have been uncovered (or rediscovered) that might operate there (Fromang and Lesur 2017). It is unlikely that any of these instabilities is particular widespread, nor the solution to the question of angular momentum transport, but under certain circumstances they could be important, especially for solid dynamics and planet formation.

We focus on the vertical shear instability (VSI), a process that, as it names suggests, exploits any vertical shear supported by the disc. Indeed, irradiated PP discs generally manifest baroclinic equilibria that exhibit gentle vertical variation in the rotation rate (Nelson, Gressel & Umurhan 2013; Barker and Latter 2015). The VSI is a close cousin of the Goldreich–Schubert–Fricke instability (GSFI; Goldreich and Schubert 1967; Fricke 1968), and is similarly centrifugal in nature. When stable stratification is included it is also double-diffusive, with instability restricted to lengthscales upon which thermal diffusion is strong (negating the stable entropy gradient) but viscosity is weak (thus unable to obstruct the unstable angular momentum gradient).

While the GSFI probably saturates at too low a level to be important in stars (James and Kahn 19701971; see also Caleo, Balbus & Tognelli 2016), the VSI may have greater traction in astrophysical discs, even if the intensity of its saturated state remains uncertain, and no doubt depends on how forcibly the vertical shear is maintained. Unlike the GSFI, the VSI's non-linear evolution has been pursued almost solely in global simulations (Nelson, Gressel & Umurhan 2013; Stoll and Kley 2014; Richard, Nelson & Umurhan 2016; Stoll, Kley & Picogna 2017). These show the flow degenerating into small-scale turbulence near or upon the disc's surfaces, followed by the emergence of large-scale inertial waves with little vertical structure. While the former activity is probably the work of the local modes described by Boussinesq analyses (Urpin and Brandenburg 1998; Urpin 2003), the latter waves are global modes that are best captured in vertically stratified models (Nelson, Gressel & Umurhan 2013; Barker and Latter 2015; Lin and Youdin 2015; McNally and Pessah 2015). Interesting features that arise in some simulations are vortices, whose aspect ratios and lifetimes depend on the background gradients (Richard, Nelson & Umurhan 2016). Because of their potential impact on solid dynamics, it is important to understand the nature of vortex formation and its connection to general VSI saturation. This is the main topic of this paper.

We work within the convenient framework of Boussinesq hydrodynamics because it is especially responsive to analytical techniques. We first reveal important properties of the small-scale VSI modes, such as (a) they are non-linear solutions to the governing equations (and hence can achieve large amplitudes naturally), and (b) they can manifest arbitrary spatial profiles. This gives us confidence that our Boussinesq analysis adequately approximates some of the non-linear waves and other features appearing in global simulations. We also apply the linear theory to simple low-mass PP disc models, finding in particular that the VSI grows at near its maximum rate even at 1 au on scales of order 10−2H or less (where H is the disc scale height). Larger scale body modes may be subdominant here, but small-scale VSI turbulence is still viable.

Because the non-linear VSI modes exhibit significant shear and vorticity extrema, they are subject to Kelvin–Helmholtz parasitic instability. As a consequence, small-scale vortices are a robust and unavoidable outcome of the VSI's evolution. The advent of both axisymmetric and non-axisymmetric parasites is delayed until the VSI achieves a relatively large amplitude, characterized by a Rossby number greater than 1 (velocities between 1 and 10  per cent the sound speed). Up to that point the axisymmetric parasites are stabilized by the disc's radial angular momentum gradient, while the non-axisymmetric parasites are sheared out before they get large. These two effects explain why the linear VSI modes feature so prominently in global simulations, at least initially.

More generally, the parasites may set the level of VSI turbulence, but only if the vertical shear is vigorously enforced by the stellar radiation field. If the VSI is especially efficient vis-a-vis the stellar driving, the saturated state will be low amplitude and controlled by the competition between the VSI and the driving, not the parasites. One could also imagine intermediate scenarios when all the physical processes are important.

We finally include a short section exploring the influence of MHD. Because of the vertical shear, magnetic equilibria have to be constructed carefully in order to satisfy Ferraro's law. We find that sufficiently strong magnetic fields stabilize the VSI: when ideal MHD holds and the average vertical plasma beta (β) is less than roughly (R/H)2 ∼ 400 then no VSI modes of any length can grow. But the critical β is far higher for short-scale modes, and this poses a problem for the VSI in the relatively well ionized upper layers of PP discs – locations in which it is thought to be most prevalent. It may also be an issue at larger radii throughout the vertical column. In contrast, vertical shear has no impact on the fastest growing magnetorotational modes.

The paper plan is as follows. In Section 2 we revisit the VSI analysis in a Boussinesq local model, showing that the linear modes are also non-linear solutions and calculating both axisymmetric and non-axisymmetric examples, growth rates, and stability criteria. A short subsection applies these results to simple low-mass disc models and makes some comparison with previous work. Section 3 analyses the parasitic instabilities that may attack the non-linear VSI modes, examining axisymmetric and non-axisymmetric parasites separately and for different limiting amplitudes of the underlying VSI. Section 4 presents a relatively brief generalization to MHD, in which the MRI makes an appearance. We draw our conclusions in Section 5.

2 THE VERTICAL SHEAR INSTABILITY

2.1 Equations of incompressible hydrodynamics

In this section we describe the VSI in the framework of incompressible hydrodynamics, a model that successfully represents flows that are subsonic and which support only small thermodynamic variations (as is the case for shear/centrifugal instabilities like the VSI). Consequently, lengthscales are assumed to be much less than the disc scale height, and global disc features are not described properly. However, the disc's large-scale vertical shear can be incorporated into this model in a straightforward and consistent way as shown by Latter and Papaloizou (2017). At this stage vertical stratification (i.e. buoyancy), radiative cooling, and viscous diffusion are neglected. This need not be a problem for the VSI, however, as there is often a range of lengthscales between the vast gulf separating the viscous scales (∼10 km) and the stratification scale (∼H), within which thermal diffusion (or cooling) dominates and ‘cancels out’ the latter stabilizing effect. The system on these scales neither feels viscosity, stratification, nor thermal diffusion itself. In Appendix A we reproduce an analysis with the omitted physics to show that our main results are unaltered.

In addition, we adopt the shearing sheet formalism, whereupon a small patch of the PP disc centred at R = R0 and Z = Z0 ≠ 0, and orbiting with frequency Ω0 = Ω(R0,  Z0) is described using a corotating Cartesian reference frame. In it x, y, and z represent the local radial, azimuthal, and vertical directions, with their origin the centre of the box.

The equation of motion in our incompressible, vertically shearing, local model is
(1)
where |$\boldsymbol {u}$| is fluid velocity, ρ is the constant density, P is the pressure, and
evaluated at the point R = R0, Z = Z0 (see Latter and Papaloizou 2017). Finally, the fluid velocity satisfies the incompressibility requirement:
(2)
The parameter q quantifies the degree of vertical shear at the shearing sheet location, and is generally small; from the thermal wind equation comes the estimate q ∼ (H/R) (Barker and Latter 2015). Note that as Z0 increases, so usually will q. The angular momentum gradient ∇(R2Ω) in the shearing sheet is the vector
(3)
which points predominantly in the radial direction.

One of the attractions of these equations is that they are controlled by a single parameter q, and have no natural lengthscale: the outer scale is taken to infinity, while the viscous scale is taken to zero. This, of course, makes them difficult to directly apply to real systems – but makes analytical progress much easier.

2.2 General non-linear perturbations

The set (1) and (2) admits the steady equilibrium state of linear radial and vertical shear:
(4)
where P0 is a constant. This equilibrium is then perturbed by disturbances |$\boldsymbol {u}_1$| and P1, which must obey
(5)
and |$\nabla \cdot \boldsymbol {u}_1=0$|⁠.
We next introduce the wavevector |$\boldsymbol {k}(t)$|⁠, which is potentially a function of time, and construct the independent variable |$\xi = \boldsymbol {k}\cdot \boldsymbol {x}$|⁠. We also assume that our perturbations depend on ξ and t in the following way:
(6)
where |$\bar{\boldsymbol {u}}$| and |$\bar{P}$| are functions to be determined, while f is an arbitrary differentiable function.
Using suffix notation, it is straightforward to show that the incompressibility condition becomes
(7)
and thus the fluid is constrained to move perpendicularly to the vector |$\boldsymbol {k}$| (oscillations are transverse). But then
and the non-linear terms in the equation of motion vanish, a significant simplification. It also means that our perturbations are concurrently linear and non-linear solutions.
Turning next to the equation of motion, the pressure gradient term simplifies in the following way:
and the remaining terms in the advective derivative become
Up to now the form of |$\boldsymbol {k}$| has been left free. We next select a form so that the square bracketed expression above is zero. This yields ODEs for the components of |$\boldsymbol {k}$|⁠:
Immediately we see that ky is a constant, while kx and kz increase linearly with time:
(8)
(9)
where |$k_x^0$| and |$k_z^0$| are constants. Thus non-axisymmetric disturbances possess wavevectors that are sheared out by the differential rotation in r and z. Ultimately |$\boldsymbol {k}$| is perpendicular to surfaces of constant Ω; i.e. kx/kz → 3/(2q) as t → ∞ (Balbus et al. 2009; Balbus and Schaan 2012). Our solutions may then be understood as (doubly) shearing waves but with arbitrary spatial profiles: they need not take the form of sinusoids familiar from previous work (cf. Johnson and Gammie 2005; Hawley and Balbus 2006; Balbus and Schaan 2012; Caleo and Balbus 2016; Caleo, Balbus & Tognelli 2016), and yet they still remain non-linear solutions to the governing equations. This property has nothing to do with the vertical shear, of course, but issues directly from the incompressible shearing box approximation.
Now every term in equation (5) is proportional to f. The spatial variable hence can be eliminated, leaving a vector ODE in terms of time:
(10)
By taking the scalar product of (10) with |${\boldsymbol k}$| and making use of the time derivative of the incompressibility condition we obtain an expression for P/ρ in the form
with |$k^2= k_x^2+k_y^2+k_z^2.$| Equation (10) can be reduced to a single scalar ODE of third order. In the special case of q = 0 this reduces to second order and can be solved in terms of special functions (see for example, Johnson and Gammie 2005).
In order to obtain complete solutions in the non-axisymmetric case the system must be solved numerically. However, we can obtain the perturbations’ asymptotic behaviour as t → ∞ analytically which is sufficient to assess their ultimate stability. We find that for large t ≳ 1/(q2Ω0), |$\bar{\boldsymbol {u}} \sim t^\alpha {\rm exp}\left(\frac{4}{3}{\rm i}q\Omega _0 t\right)$|⁠, where
Thus all non-axisymmetric modes decay algebraically, while oscillating on an intermediate time-scale ∼1/(qΩ0). Details of this calculation are provided in Appendix B.

2.3 The axisymmetric VSI

The above scaling fails when the disturbances are axisymmetric, ky = 0. In this case |$\boldsymbol {k}$| is a constant and |$\bar{\boldsymbol {u}}$| and |$\bar{P}$| can be decomposed into temporal Fourier modes, greatly easing the analysis. We set them proportional to exp(st), where s is a growth rate, and the perturbation equations become algebraic:
(11)
(12)
Eliminating the dependent variables obtains the dispersion relation
(13)
where |$(\nabla \ell )^\perp = 2q\boldsymbol {e}_{x}+\boldsymbol {e}_{z}$|⁠, and is thus a vector perpendicular to the angular momentum gradient [cf. equation (3)]. This relation reproduces equation (31) in Urpin and Brandenburg (1998) and equation (36) in Nelson, Gressel & Umurhan (2013). Instability is assured whenever q ≠ 0 for perturbations with suitably oriented wavevectors:
(14)
Marginal stability, s = 0, occurs when |$\boldsymbol {k}\rightarrow \boldsymbol {e}_{x}$| or when |$\boldsymbol {k}$| is parallel to the angular momentum gradient ∇ℓ (Knobloch and Spruit 1982), with growth limited to wavevector orientations lying between |$\boldsymbol {e}_{x}$| and ∇ℓ. Because ∇ℓ is almost radial, the VSI is thus restricted to a narrow arc of wavevector orientations, spanning an angle of only ≈2q above the radial axis.

There is no characteristic lengthscale in the governing equations, and so the growth rate can only depend on wavevector orientation. Viscosity or vertical structure will introduce a lengthscale dependence. See Appendix A and Section 2.4 for more details. Because non-axisymmetric disturbances always tend to orient themselves along the gradient of Ω, i.e. kx/kz = 2/(3q), they becomes stable after some point in their evolution, and hence ultimately decay, as shown explicitly at the end of the last subsection.

The peak growth rate can be obtained by maximizing s over kx/kz. The critical kx/kz may be obtained from the quadratic
In the natural limit of small q, asymptotic solutions are kx/kz = q,  −1/q. Only the latter yields a positive growth rate, and this corresponds to
(15)
in agreement with previous analyses (Urpin and Brandenburg 1998; Urpin 2003). Because q ≪ 1 the growth rate is considerably less than the orbital frequency, and fastest growth occurs when kx/kz ≈ −1/q, corresponding to disturbances that are radially narrow and vertically elongated (as seen in numerical simulations).

2.4 Stratification, cooling, and viscosity

We now briefly summarize the full problem in which buoyancy, viscous diffusion, and cooling is included. In PP discs, the photon mean free path varies substantially: from a tiny fraction of H at 1 au, to greater than H at 100 au (e.g. Lin and Youdin 2015; Lesur and Latter 2016). As a consequence, radiative cooling takes different forms, depending on the age/mass of the disc, radial, and vertical location, and on the lengthscale of the perturbations. We mainly adopt the diffusion approximation, but are aware this is invalid for sufficiently short-scale perturbations at radii less than about 10 au, and for almost all perturbations at larger radii. The viscosity we employ is treated as molecular, though might also represent diffusion by weak pre-existing small-scale turbulence. It could also be a model for unavoidable grid diffusion in numerical simulations.

Two new parameters now appear, (a) the Richardson number n2 = N22, where N is the vertical buoyancy frequency, and (b) the Prandtl number Pr = κ/ν where κ is thermal diffusivity and ν viscosity.

2.4.1 Main results

In Appendix A we derive a number of results and summarize them here. First we find that the analysis of Section 2.1–2.3 holds on a broad range of radial lengthscales λ
(16)
Perturbations within this range are sufficiently long so that viscosity is weak, but sufficiently short so that the stabilizing buoyancy force can be negated by thermal diffusion. Note that the vertical lengthscale of the modes will be 1/q ∼ R0/H longer than λ. The existence of this range is assured if
(17)
Equation (13) provides a good estimate of the growth rate on this range. An important thing to note is that, within the confines of the Boussinesq model, the VSI lengthscales are set by the diffusivities. This has to be, because the instability is double diffusive in nature.

On shorter scales the diffusion approximation breaks down and we may replace it with Newtonian cooling. Typically, the transition between these two cooling regimes occurs within the plateau of maximum growth, described above. The wavenumber of the transition can be estimated from either k ∼ 1/lph, where lph denotes the photon mean fee path, or simply |$k \sim 1/\sqrt{\tau \kappa }$|⁠, where τ is the Newtonian cooling time-scale. At the transition point the cooling rate, which had been increasing with k2, hits the constant Newtonian ceiling. See Lin and Youdin (2015) for a detailed treatment of this transition.

As shown in Appendix A, maximum growth can be maintained in this regime when the cooling is sufficiently fast
(18)
A similar expression is obtained by Lin and Youdin (2015). Even if the cooling is slow, growth can be sustained but at a lower rate, with instability quenched only for exceedingly long cooling times
(19)
where Re = H2Ω/ν is the Reynolds number.

2.4.2 Application to a low-mass disc

We now see how these estimates fare when applied to models of PP disc structure. Consider the less massive nebula used in Lesur and Latter (2016), in which the disc's surface density is |$\propto 140 R_{\rm {au}}^{-1}$| g cm−2 and the temperature is equal to 280|$R_{\rm {au}}^{-1/2}$| K. Here Rau is disc radius in au. PP discs are moderately stratified, with n ≲ 1, and we set q ∼ H/R ∼ 0.05. Lesur and Latter (2016) also estimate the photon mean free path, which rises from a little over 10−4H at 1 au, to ∼10−2H at 10 au, before exceeding H at 100 au. Fluctuations with lengthscales below this cool at the Newtonian rate: less than 10−3 Ω−1 for radii between 1 and 10 au, but rising to 5 × 10−2 Ω−1 at 100 au. Table 1 summarizes some of this information.

Table 1.

Properties of a low-mass PP disc at three different radii. Here Σ is surface density, lph is photon mean path, and τ is the cooling rate for lengthscales less than lph. Here |$\lambda ^{\rm plat}_{\rm VSI}$| denotes the lengthscale below which the VSI achieves its maximum value (in the diffusion approximation). On lengthscales less than lph, however, the VSI can grow at its maximum level if τΩ ≪ 5 × 10−2.

Radius1 au10 au100 au
Σ/(gcm−2)140141.4
lph/H10−410−2>1
τΩ10−4≲ 10−310−2
|$\lambda ^{\rm plat}_{\rm VSI} / H$|3 × 10−2≲ 1∼1
Radius1 au10 au100 au
Σ/(gcm−2)140141.4
lph/H10−410−2>1
τΩ10−4≲ 10−310−2
|$\lambda ^{\rm plat}_{\rm VSI} / H$|3 × 10−2≲ 1∼1
Table 1.

Properties of a low-mass PP disc at three different radii. Here Σ is surface density, lph is photon mean path, and τ is the cooling rate for lengthscales less than lph. Here |$\lambda ^{\rm plat}_{\rm VSI}$| denotes the lengthscale below which the VSI achieves its maximum value (in the diffusion approximation). On lengthscales less than lph, however, the VSI can grow at its maximum level if τΩ ≪ 5 × 10−2.

Radius1 au10 au100 au
Σ/(gcm−2)140141.4
lph/H10−410−2>1
τΩ10−4≲ 10−310−2
|$\lambda ^{\rm plat}_{\rm VSI} / H$|3 × 10−2≲ 1∼1
Radius1 au10 au100 au
Σ/(gcm−2)140141.4
lph/H10−410−2>1
τΩ10−4≲ 10−310−2
|$\lambda ^{\rm plat}_{\rm VSI} / H$|3 × 10−2≲ 1∼1

The plateau of maximum growth occurs for wavelengths roughly less than q1/2n−1Pe−1/2H, where Pe = H2Ω/κ is the Peclet number. At 1 au we find that the plateau begins at a wavelength less than 3 × 10−2H, and thus the fastest growing modes are shortscale and well described by our Boussinesq model. The photon mean free path, on the other hand, is lph ∼ 10−4H and so the diffusion approximation holds for at least two decades in wavenumber upon which maximum growth is achieved. Below lph, however, the VSI will remain growing at the same maximum value until the viscous cut-off, this is because the Newtonian cooling rate τ easily satisfies (18).

At 10 au, we find that the plateau begins at a longer lengthscale ≲H, and thus the local model is a poor approximation on the long end of the range of maximum growth. At this location lph ∼ 10−2 and the diffusion approximation still holds on this upper range, while the Newtonian cooling rate still satisfies (18).

At 100 au, lph > H and the diffusion approximation must be discarded entirely in favour of a Newtonian cooling prescription (Lin and Youdin 2015). Moreover, maximum growth is no longer possible because Ωτ ∼ 10−2 ∼ q2/N2), and (18) no longer satisfied. At these radii the VSI begins to suffer, growing at a lower rate, in rough agreement with analogous calculations (Lin and Youdin 2015; Malygin et al. 2017).

To inspect how the VSI fares in more massive disc models the reader is directed to Lin and Youdin (2015) and Malygin et al. (2017). Due to the longer cooling times of these objects, the VSI is less prevalent. However, we do point out that short-scale VSI modes should not be neglected in these analyses. Though they may be inefficient at transporting angular momentum, or erasing the vertical shear, they are still perfectly good at generating vortices. And vortices need not be large-scale to do interesting things with solid particles.

2.5 Example solutions

In this subsection we present some numerical solutions describing the VSI's evolution. To get a better idea of how the unstratified axisymmetric mode depends on the orientation of its wavevector, we plot in Fig. 1 the growth rate s versus tan−1(kz/kx), the angle the wavevector makes with respect to the x-axis. Quite clear is the extremely narrow range of angles available to the VSI, some 6° above the disc plane. Maximum growth, as shown earlier, occurs when kx/kz ≈ −1/q.

Growth rate of the axisymmetric VSI, as determined by equation (13) as a function of wavenumber orientation angle tan −1(kz/kx) as measured from the x-axis. The angle is given in degrees. Here q = −0.05 and we see that instability takes its maximum value ∼|q|Ω, while being restricted to a narrow arc of wavevector angles spanning only some 6°.
Figure 1.

Growth rate of the axisymmetric VSI, as determined by equation (13) as a function of wavenumber orientation angle tan −1(kz/kx) as measured from the x-axis. The angle is given in degrees. Here q = −0.05 and we see that instability takes its maximum value ∼|q|Ω, while being restricted to a narrow arc of wavevector angles spanning only some 6°.

In Fig. 2 we plot the evolution of |$\bar{u}_x(t)$| for a non-axisymmetric VSI disturbance in time. The system of equations (10) was solved with a Runge–Kutta algorithm, for fiducial initial conditions corresponding to a leading wave at t = 0. Substantial growth occurs near Ωt ≈ 42.5, as the wave vector passes through the arc of axisymmetric growth (around kx/kz ≈ −1/q). Once the wavevector enters stable orientations, at later times, the disturbance decays as predicted, oscillating with a frequency ∼qΩ with an envelope going as t−1/2.

Numerical solution to equation (10) for a non-axisymmetric disturbance with kx0/ky = −100, kz0/ky = 1, and initial condition $\bar{u}=(0.01,{\, }-0.01,{\, }0.01)$. Finally, q = −0.1.
Figure 2.

Numerical solution to equation (10) for a non-axisymmetric disturbance with kx0/ky = −100, kz0/ky = 1, and initial condition |$\bar{u}=(0.01,{\, }-0.01,{\, }0.01)$|⁠. Finally, q = −0.1.

Finally, in Fig. 3 we plot a representative dispersion relation for the axisymmetric VSI with stratification, viscosity, and thermal diffusion. Note the conspicuous plateau extending from roughly the thermal diffusion scale |$\sqrt{\kappa /\Omega }$| to the viscous cut-off some two orders of magnitude smaller. Upon the plateau, s takes almost the same value as in the inviscid unstratified situation, equation (13).

Growth rate of the axisymmetric VSI when stratification, viscosity, and thermal diffusion are included. Parameters are q = −0.1, Pr = 10−6, n2 = 0.1, and kx/kz = 10. Here the viscous scale corresponds to kν ∼ 103, in units of $\sqrt{\Omega /\kappa }$, while the thermal diffusion scale is ∼1. The fastest growth occurs on a range of lengths between these limits, and here s is approximately the same as if there were no stratification, nor viscous and thermal diffusion.
Figure 3.

Growth rate of the axisymmetric VSI when stratification, viscosity, and thermal diffusion are included. Parameters are q = −0.1, Pr = 10−6, n2 = 0.1, and kx/kz = 10. Here the viscous scale corresponds to kν ∼ 103, in units of |$\sqrt{\Omega /\kappa }$|⁠, while the thermal diffusion scale is ∼1. The fastest growth occurs on a range of lengths between these limits, and here s is approximately the same as if there were no stratification, nor viscous and thermal diffusion.

3 KELVIN–HELMHOLTZ PARASITES

Because the VSI modes are non-linear solutions they can grow to arbitrarily large amplitudes, at least in principle. Before they grow too large, however, they will be attacked by secondary parasitic instability, especially if the spatial profile of the modes f(ξ) exhibits sufficient shear. As in similar problems (e.g. the MRI), the primary parasitic instability will be of Kelvin–Helmholtz type (Goodman and Xu 1994; Latter, Lesaffre & Balbus 2009; Pessah and Goodman 2009), which in the hydrodynamic context may lead to vortex formation. (In MHD, magnetic tension prevents the rolling up of vortex sheets.) In this section of the paper we explore how effective parasitic modes are and how associated vortices may arise.

We take the state of homogeneous vertical and radial shear, |$\boldsymbol {u}_0$| and P0, given by equation (4) and then add to it an axisymmetric VSI mode, |$\boldsymbol {u}_1$| and P1, given by equation (6). The VSI velocity field may be written as
(20)
where |$\bar{\boldsymbol {u}}$| is a constant eigenvector determined from equations (11) and (12), non-dimensionalized and normalized so that |$|\bar{\boldsymbol {u}}|=1$|⁠, and s is the growth rate, given by (13). Taking f(ξ) to be dimensionless and with a maximum value of order unity, the parameter V is then the characteristic velocity amplitude of the VSI mode at t = 0. It possesses units of speed. Because the solution is axisymmetric, the wavevector |$\boldsymbol {k}$| is a constant, which introduces the only lengthscale in the problem.

The key parameter in what follows is the amplitude of the VSI mode, V, which can only be expressed in terms of Ω/k. We regard the VSI mode to be of small amplitude if V ≪ Ω/k, of moderate amplitude if V ∼ Ω/k, and of large amplitude if V ≫ Ω/k. This motivates the introduction of the VSI's Rossby number Ro =kV/Ω, a proxy for the VSI amplitude.

The sum of the two fields, |$\boldsymbol {u}_0$| and |$\boldsymbol {u}_1$|⁠, we take to be our background, time varying, state. We next perturb this state with small disturbances, denoted by |$\boldsymbol {u}_2$| and P2. The linearized equations for the disturbances are
(21)
and
(22)
These differ from the usual linearized equations for a homogeneous background of uniform shear because of the additional terms involving |$\boldsymbol {u}_1$|⁠. The equation of motion (21) depends explicitly on time (through |$\boldsymbol {u}_1$|⁠) and x and z, thus we cannot Fourier decompose the perturbation |$\boldsymbol {u}_2$| in any of these independent variables. As such equation (21) presents a considerable challenge to solve: it is a PDE in three variables. In the next two subsections we look at various limits in which the problem reduces to something more manageable. Subsequently, we collate these results and construct a theory for the destruction of VSI modes and the emergence of vortices from their breakdown.

3.1 Axisymmetric parasites

The first simplifying case we investigate assumes that the parasite is axisymmetric, so that |$\mathrm{\partial} _y\boldsymbol {u}_2=\mathrm{\partial} _yP_2=0$|⁠. This is not especially restrictive: for modest amplitudes of the background VSI (and parasitic growth rates of order Ω or less), axisymmetric parasites should be the most effective in overcoming their hosts. This is because non-axisymmetric disturbances are sheared out on their instability time-scale and only grow transiently: in their short window of growth they may fail to achieve sufficient amplitudes (Appendix B of Latter et al. 2010, and also Rembiasz et al. 2016).

When the parasites are axisymmetric, the spatial variables in (6) appear only via f’s dependence on |$\xi =\boldsymbol {k}\cdot \boldsymbol {x}=k_x x + k_z z.$| To exploit this fact, we introduce the coordinate transformation (x, z) → (ζ,  η), where the ζ coordinate axis points in the direction of |$\boldsymbol {k}$| and the η coordinate direction is perpendicular to |$\boldsymbol {k}$|⁠. The transformation corresponds to a rotation of the (x,  z) axis by an angle tan −1(kz/kx). Thus
(23)
Note that the earlier (dimensionless) variable ξ is related to ζ by the rescaling ξ = kζ. Thus f(ξ) is a straightforward function of ζ alone.
On account of the coordinate change, the governing equations lose their explicit η dependence and we may express the perturbations as
where Kη is a real wavenumber and for now the amplitudes |$\boldsymbol {u}_2,{\, }P_2$| depend on ζ and time, t. In components the evolution equations for the parasite are
(24)
(25)
(26)
(27)
where h2 = P20, and the operator
Using simple trigonometry, the x and z components of |$\boldsymbol {u}_2$| can be rewritten as
The equations (24)–(27) depend explicitly on ζ and t, the latter through |${\boldsymbol u}_1$|’s proportionality to exp (st). Its solutions, as a consequence, are not separable. However, in the special case of the VSI's marginal stability s = 0 (corresponding to kz = −2qkx), the system's time-dependence drops out and we may let the parasitic perturbations be ∝ exp (iσt), where σ is a possibly complex frequency. Consequently,
(28)
and equation (25) transforms into the simpler
(29)

Strictly speaking, we are permitted to make the above assumptions and manipulations only when s = 0. But if q is assumed to be small, s ∼ |q|, and we are concerned with a time interval much less than the VSI's e-folding time, then we may neglect variations in the quantity exp (st), in exactly the same way as if the VSI was marginal. Then (28) and (29) hold more generally, and terms of order q and higher may then be neglected in (24)–(27).

Via these manipulations and approximations we finally obtain a second-order eigenvalue problem in a single variable, ζ, with eigenvalue σ. The input parameters are q (from which we obtain the ratio of the components of |$\boldsymbol {u}_1$|⁠), V, and the wavenumber of the parasite Kη. In addition, the spatial structure of the host VSI mode, f(ξ), must also be supplied.

By employing (25) to eliminate u2y, (27) to eliminate u and then (26) to eliminate h2, the set (24)–(27) reduces to a single ODE, for u, which can be written in the form
(30)
Equation (30) governs the stability of the VSI mode under a range of values for its amplitude V. It thus also must incorporate the growth of the linear VSI itself. We now examine the various limits that correspond to different background VSI amplitudes. These limits should be understood to proceed chronologically as the VSI mode grows. In almost all of what follows we assume that q is small.

3.1.1 The small VSI-amplitude limit

In this limit we set V = 0 and expect to recover the instability afflicting the homogeneous background (the VSI itself), as discussed in Section 2.3. If V = 0, equation (30) becomes
(31)
Because the background VSI has s ∝ |q|, we must retain q and the limiting case corresponding to the marginally stable VSI mode, which has kz = −2qkz. We then look for solutions of (31) with constant coefficients such that
This procedure leads to the dispersion relation
(32)
Noting that for kz = −2qkx, the Cartesian components of the wavenumber are related to Kη and Kζ through
then equation (32) can be written in the form
(33)
which is the same as (13). Thus the VSI re-emerges as expected. In this limit the parasites are absent.

3.1.2 Moderate VSI amplitudes

The characteristic time-scale associated with the VSI's shear is ∼(kV)−1 and the characteristic growth rate expected for a parasitic shear instability is thus |σ| ∼ kV, where the scale associated with the mode is assumed to be |${\sim } k^{-1}\sim K^{-1}_\eta$|⁠. In order for this time-scale to dominate that of the background VSI, we require |kV| ≫ s ∼ |q|Ω. When q is small, as anticipated in real discs, this leaves a significant range of amplitudes V for which this regime applies (V ≫ |q|Ω/k). Setting q → 0 in (30) yields the governing equation
(34)
We remark that in this limit
is the vertical component of the vorticity of the background in the shearing sheet. The associated term introduces a second-order singularity in equation (34) that is stabilizing due to the severe wave absorption that occurs at locations where |$\overline{\sigma }=0$|⁠. The physics is analogous to critical layer formation in the atmosphere and trapped inertial waves in diskoseismology (Booker and Bretherton 1967; Li et al. 2003).
When the VSI mode is localized in ζ (for instance if it were an isolated ‘wave packet’), it is natural to look for unstable modes that are also localized in ζ. In order to proceed further we define |$Z= u_{2\zeta }/{\overline{\sigma }}^{1/2}.$| This variable satisfies the equation
(35)
where
We can find a condition that must be satisfied for a localized unstable mode to exist by multiplying (35) by Z* and integrating over the ζ domain, Dζ, and then taking the imaginary part. The assumption of localization enables boundary terms to be neglected. This is also the case for periodic boundary conditions, though care must be taken when implementing them.
If the parasite is to grow, then σ must have a non-zero imaginary part. This is the case when
(36)
A necessary condition for a localized unstable mode to exist is that somewhere in the domain the integrand changes sign. As the first two terms are positive definite, this means |$\mathcal {B}<0$| somewhere, or rather
(37)
It is apparent that rotation, represented by the first term, acts as a stabilizing mechanism. In order to drive instability, the second two terms must overwhelm the first which happens when kV ≳ Ω, i.e. the characteristic time-scale of the VSI's fluid motions (not its growth rate) must be at least comparable to the rotation frequency. This can be made somewhat more precise. Noting that the fastest growing VSI mode possesses |$\bar{u}_\eta =2\bar{u}_y\approx 2/\sqrt{5}$|⁠, and finding a ζ for which df/dξ = −1 (as is possible for a sinusoid), Equation (37) can be expressed as the necessary (though insufficient) instability criterion
(38)
Put another way, a necessary condition for instability is that the Rossby number associated with the VSI, Ro = Vk/Ω must be larger than some order-one critical value. This condition is directly analogous to shear instability in a stratified medium (the ‘Richardson criterion’), with Ro functioning like the inverse Richardson number, and rotation playing the role of buoyancy. In fact, this wave-damping effect can prohibit the existence of discrete normal modes altogether (see Latter and Balbus 2009).

In summary, we expect the advent of parasitic instability to be delayed until the VSI amplitude (V) is rather large. In contrast to the MRI, in which parasites can always grow but not always sufficiently fast, the VSI parasites cannot grow at all until stabilizing rotation is overwhelmed. In the next subsection we investigate the case of large VSI amplitude, when this is assured.

3.1.3 The large VSI amplitude limit

We assume that |kV|/Ω ≫ 1 such that rotation is negligible. In this regime we may neglect the third term in (34) to obtain
(39)
This equation is identical to the Rayleigh equation governing a plane incompressible shear flow with velocity profile given by |$v_{\zeta } = V \bar{u}_{\eta }f(\xi ).$| This is familiar in studies of the Kelvin–Helmholtz instability and its properties are well known (see e.g. Drazin & Reid 1981), with localized velocity bumps of the type we consider being generically unstable. Key results due to Rayleigh and Howard follow on directly. A necessary condition for instability is that the VSI modes possess an inflexion point in their spatial structure, i.e. for instability to occur, we must have f″(ξ) = 0 somewhere in the flow. In addition, an upper bound on the growth is roughly |kV|, and so we obtain confirmation that parasitic growth does scale with V, as assumed earlier.

3.1.4 Numerical calculations

To illustrate the behaviour of the axisymmetric parasites for different V, we numerically calculate the parasitic growth rates for a fiducial VSI mode: f(ξ) = sin ξ, q = −0.01, kx/kz = 1/q. Equations (24)–(27) are solved in the limit of small q, so that we may calculate explicit growth rates |σ|. The resulting Floquet eigenvalue problem is solved with a pseudo-spectral method (Boyd 2001).

We examine only modes with zero Floquet exponents, as they are the fastest growing. For each V we maximize the growth rate over the wavenumber Kη and plot our results in Fig. 4. For large Rossby numbers, kV/Ω, we see clearly that |σ| ∝ kV/Ω, as expected for a shear instability, and that the growth rate exceeds the rotation rate: the modes are very fast growing. The η-wavenumber of maximum growth is ≈0.6k generally. As the Rossby number approaches 1, the growth rate drops, and at the critical value kVcrit/Ω ≈ 1.38 the Kelvin–Helmholtz parasites die off, stabilized by rotation (consistent with equation (38)). At this point the algorithm picks up the growth of the VSI itself, with the low rate ∼|q|Ω. Of course, during the VSI evolution this procedure occurs in reverse: initially V is small and then slowly grows to moderate and then to large amplitude.

Parasitic growth rates maximized over Kη for different VSI amplitudes (i.e. Rossby numbers) kV/Ω. Here q = −0.01 and the underlying VSI mode possesses sinusoidal structure, f(ξ) = sin ξ. Because V increases with time (at the slow rate |q|Ω) the x-axis may be thought of as a proxy for time.
Figure 4.

Parasitic growth rates maximized over Kη for different VSI amplitudes (i.e. Rossby numbers) kV/Ω. Here q = −0.01 and the underlying VSI mode possesses sinusoidal structure, f(ξ) = sin ξ. Because V increases with time (at the slow rate |q|Ω) the x-axis may be thought of as a proxy for time.

3.2 Non-axisymmetric instability

We next consider non-axisymmetric parasitic instabilities. Because of their transient growth, such parasites may only be important when the VSI achieves large amplitudes, but when in this regime they should dominate because they can more effectively extract shear energy than their axisymmetric counterparts. They are also of interest because they are clearly the means by which axisymmetry breaks down in the VSI dynamics. The vortices they produce will be better aligned with the disc plane, unlike those that originate from the axisymmetric parasites discussed in the previous subsection.

After writing down the linearized equations, we adopt the same approximation schemes as in Sections 3.1.2 and 3.1.3 with the aim of deriving equations analogous to (34) and (39). Assuming the y dependence of modes is such that
where Ky is the azimuthal wavenumber, we obtain the perturbation equations
(40)
(41)
(42)
(43)
where h2 = P20, as before, and
with |$\boldsymbol {K}= K_y\boldsymbol {e}_{y}- {\rm i} \boldsymbol{e}_{\eta} \partial_{\eta} $|⁠. We remark that in the new coordinates
On account of its explicit dependence on ζ, η, and t, the above system is not strictly separable. But if we employ the small |q| limit as in Section 3.1.2, some separability may be restored. The fastest growing VSI modes possess kz = O(qkx), and so
Thus in the limit |q| → 0, the system becomes separable in η and t as well as y so that we may assume that
Then
(44)
and |$\boldsymbol {K} \rightarrow K_y\boldsymbol {e}_{y}+ K_\eta \boldsymbol {e}_\eta .$| A second-order ODE may now be derived which we consider in two limits.

3.2.1 Tight-winding limit

The first limit we treat is the tight-winding approximation for which the Keplerian shear may be neglected. From (44) this requires |$K_y\Omega /k \ll |{\boldsymbol K} V|.$| Assuming, as above, that |$|{\boldsymbol K}|/k\sim 1,$| this corresponds to |$K_y/K_\eta \ll |{\boldsymbol K}V |/\Omega .$| Thus in the limit of sufficiently small Ky/Kη, the Keplerian shear may be neglected. In this limit the set of equations (40)–(43) becomes equivalent to the set (24)–(27) that governs the axisymmetric problem. Accordingly, equation (34) is recovered in the small q, small Ky/Kη limit.

3.2.2 The large VSI-amplitude limit

In this limit one assumes, in addition to small |q|, that |kV|/Ω ≫ 1, but there is no requirement that Ky be small. In this case all the terms explicitly proportional to Ω in equations (40)–(43) can be dropped. The system reduces to a single second-order ODE
(45)
This is again a form of Rayleigh's equation and the discussion in Section 3.1.3 regarding (39) applies here also. Note that the non-axisymmetric growth rates will be larger than the corresponding axisymmetric growth rates in this limit by a factor |$K/(K_\eta \overline{u}_\eta ) \approx 2$|⁠. This is because the non-axisymmetric wavevector is free to be parallel to the direction of the shear flow.

3.3 Discussion

Putting together these theoretical details, we can construct a relatively straightforward account of a VSI mode's growth and evolution.

First, the VSI will grow relatively unhindered up to ‘moderate’ amplitudes, 0 < V < Ω/k. It is a non-linear solution, so there are no non-linear effects to intervene. During this time, non-axisymmetric parasitic modes will fail to get any traction because they only grow transiently over a shear time 1/Ω: if their growth rates during this time are (at most) proportional to kV then they will only amplify by a factor exp[(Vk/Ω)(e − 1)] ≲ 5.575, most likely insufficient to overtake their host. Axisymmetric parasites are untroubled by the shear; however, they are strongly stabilized by the disc's rotation when at these low Rossby numbers (as explained in Section 3.1.2 and illustrated in Fig. 4). Only when the VSI amplitude is above a critical value V > Vcrit ≳ Ω/k will axisymmetric parasites grow exponentially and ultimately disturb the underlying mode. Near the same point non-axisymmetric parasites may also achieve greater amplitudes during their windows of growth. This will all occur at some second critical value V = Vmax. It is unclear whether the axisymmetric or non-axisymmetric parasites will launch the first successful attack. It is possible that they may emerge concurrently.

3.3.1 Maximum VSI amplitudes

The precise value of Vcrit is determined by the details of the flow, in particular by the form of f(ξ). The value of the maximum VSI amplitude Vmax is the amplitude at which the VSI mode is significantly disrupted. It is necessarily larger than Vcrit, and may be estimated using arguments presented in Latter (2016).

Suppose the VSI grows according to the equation V(t) = Vcrit exp(|qt), so that at t = 0 the VSI has hit the first critical amplitude. Suppose from that point the parasite amplitude p grows according to dp/dt = kV(t)p(t), with p = p0 at t = 0. The latter ODE can be solved and the time at which the parasite amplitude equals its host (p = V) calculated, an event that occurs when the VSI attains the amplitude:
(46)
(47)
where W−1 is the second branch of Lambert's function, and the final estimate comes from its asymptotic expansion in small argument and by setting Vcrit ≳ Ω/k (see Corless et al. 1996; Latter 2016). The second term in the square brackets depends on the relative sizes of |q| and the noise from which the parasite grows. Even if this ratio is large, it will be the moderated by the log and the q pre-factor, so for simplicity we set VmaxVcrit ≳ Ω/k. In summary, we do not expect these three velocity scales to differ by very much.
In order to develop the theory further and make concrete estimates, we need to know what value k takes, i.e. the characteristic wavenumber of the fastest growing VSI mode, which means invoking physics so far neglected. Consider a disc region in which the diffusion approximation holds (at 1 au, say, in the low-mass disc model of Lesur and Latter 2016). From Section 2.4 and Fig. 3, we observe that the fastest growing VSI modes possess |$k>\sqrt{\Omega /\kappa }$|⁠. An upper bound on Vmax is hence
where cs is the sound speed and Pe is the Peclet number, as earlier. At 1 au in our model Pe ∼ 103, and so the characteristic VSI amplitudes are a few per cent of the disc sound speed. More massive disc models may give a similar estimate out to radii as far as 10 au. In our low-mass model, however, larger radii are only marginally within the compass of the local approximation, or are outside the diffusion approximation. Nonetheless, the estimated velocity amplitudes might increase to some 10 per cent of the local sound speed, and hence should be significant.

An alternative, and more general, upper limit on V can be obtained by noting that k ∼ kx ∼ |1/q|kz ≳ |1/qH|, where H is the disc scale height. VSI modes with kz ∼ 1/H might correspond to the ‘body modes’ witnessed in global simulations and vertically stratified boxes (Nelson, Gressel & Umurhan 2013; Barker and Latter 2015). This then implies that Vmax ≲ |q|cs ∼ (H/R)cs. Once again, we find that the maximum turbulent speeds should be a few per cent to 10 per cent the local sound speed.

3.3.2 Saturation and comparison with simulations

These maximum amplitudes we expect to be attained at the beginning of the VSI evolution. But what happens next, after the system breaks down into a turbulent state and saturates? What velocity amplitudes might we expect in this state? The answers to these questions lie in the radiative driving of the vertical shear and its relative strength in comparison with the VSI. One can envisage two limits.

First, suppose that the vertical shear is strictly enforced by the star's radiation field, and so the VSI is relatively ineffective in smoothing it out. This is certainly the scenario in our shearing box model, in which the vertical shear is ‘hard-wired’ into the box. It is also the case for isothermal global simulations or ideal gas simulations with short relaxation times (Nelson, Gressel & Umurhan 2013). The VSI will churn away upon the vertical shear, but be unable to erase it. One might then be tempted to ascribe the general VSI saturation to the parasitic modes, rather than a weakening of the underlying unstable state. The parasites limit VSI growth via a transfer of energy to smaller scales and ultimately the viscous length, and will set their characteristic amplitude. This turbulent amplitude would then be ≲ Vmax, a few per cent or more of the sound speed, and indeed this is in rough agreement with global simulations (Nelson, Gressel & Umurhan 2013; Stoll and Kley 2014). In fact, the relatively large amplitudes produced by these simulations, and the fact that the saturated state is characterized by non-linear structures similar in form to linear modes, provides strong evidence in favour of this interpretation. Large amplitudes come about because (a) the linear modes are non-linear solutions and (b) parasitic modes that might limit them are hampered by the stabilizing effect of rotation.

Parasitic modes in this context may not only limit the amplitudes of the VSI but also direct energy from them into the formation of non-axisymmetric structures, such as vortices. Being essentially Kelvin–Helmholtz in nature, the ‘wrapping up’ of the VSI vortex layers is a natural outcome of their evolution. As shown in Richard, Nelson & Umurhan (2016), vortex formation is key to the breakdown of axisymmetry in the VSI saturation, and hence to the possibility of any accretion. We observe that the vortices formed in our local model are not oriented flush with the orbital plane, but are aligned with the VSI flow |$\bar{\boldsymbol {u}}$|⁠. Consequently, they are tilted upward or downward relative to the orbital plane by an angle ≈60°, and will not appear columnar as in the subcritical baroclinic instability or ‘Rossby wave’ instability (Lovelace et al. 1999; Lesur and Papaloizou 2010). Indeed, Richard, Nelson & Umurhan (2016) find that the vortex structures possess both radial and vertical variations, on some length of order 0.1H. According to our analysis this wavelength should correspond to that of the fastest growing parasites, which in turn will approximate the radial wavelength of the underlying VSI modes. This is also in keeping with the global simulations.

The second limit corresponds to a scenario in which the baroclinic driving is very weak and the VSI overpowers the vertical shear, effectively smoothing it out. Initially the VSI might achieve large amplitudes but, as the destabilizing gradient (the vertical shear) is destroyed, it will settle down into a low-amplitude sluggish state near marginal stability (as in certain simulations in Stoll and Kley 2014). In this case the saturated amplitude will be ≪Vmax. Any vortices, or other non-axisymmetric structure, created in the initial burst will ultimately die and axisymmetry will be restored. Consequently, no accretion is to be expected.

In reality, most discs at a given time will lie somewhere in between these two extremes. Detailed modelling of the baroclinic driving and a sequence of careful and detailed global simulations are needed to determine the expected range of states the VSI occupies. It should be stressed that in order to sustain vortex production (and accretion) the VSI must be permitted to achieve large amplitudes. If it is too efficient, then it will settle down into a less interesting low state.

4 VERTICAL SHEAR AND MAGNETIC FIELDS

In certain regions of a PP disc magnetic fields may have some influence, even in dead zones where the MRI is suppressed. Certainly in their upper layers, which are subject to significant photoionization, the gas may couple effectively to a mean magnetic field, which in turn may be too strong to permit the MRI but rather a magnetocentrifugal wind (Bai and Stone 2013; Bai 2014; Lesur, Kunz & Fromang 2014). We may then ask what effect does magnetism have on the onset of the VSI? Conversely, MRI-active regions may exhibit vertical shear: how would that impact on the MRI?

In this section we make a start on these questions by determining the linear response of ionized fluid pierced by a mean magnetic field. Non-ideal effects are only dealt with in passing, and could form the basis of future work.

4.1 Governing equations and magnetic equilibria

The equations governing our ionized local slab of disc are now
(48)
(49)
alongside |$\nabla \cdot \boldsymbol {u}=\nabla \cdot \boldsymbol {B}=0$|⁠, where |$\boldsymbol {B}$| is the magnetic field, and Ptot denotes the sum of gas and magnetic pressures.
This system admits the following equilibrium, similar to before
where P0 is a constant scalar and |$\boldsymbol {B}_0$| is a constant vector. We are completely free to specify the y component of |$\boldsymbol {B}_0$| but the radial and vertical components are constrained by Ferraro's law, i.e. the y component of the induction equation |$\boldsymbol {B}_0\cdot \nabla \boldsymbol {u}_0=0$|⁠. This states that in order to have a steady equilibrium we must have
(50)
In other words, the By generated by the radial shear (working on Bx) must be exactly balanced by the By created by the vertical shear (working on Bz). This is a key issue in constructing magnetic equilibria in the presence of vertical shear: both vertical and radial magnetic fields must be present in the correct amounts. (This issue was overlooked in Urpin and Brandenburg 1998.) Global examples of such fields have been computed by Ogilvie (1997), and vertically stratified examples by Riols et al. (2016) (see also Papaloizou & Szuszkiewicz 1992). Typically the poloidal field varies with space but in our simple local incompressible model the magnetic field is conveniently constant. Finally, for simplicity, we set the y component of |$\boldsymbol {B}$| to zero.

4.2 Perturbations and the dispersion relation

To understand the two instabilities in question we perturb the equilibrium described above by disturbances |$\boldsymbol {u}^{\prime }$|⁠, |$P_{\rm tot}^{\prime },$| and |$\boldsymbol {B}^{\prime }$|⁠. Assuming that they are ∝ exp(ikxx + ikzz + st), the linearized equations governing their evolution may be written as
(51)
(52)
(53)
(54)
(55)
(56)
(57)
where |$h^{\prime }= P_{\rm tot}^{\prime }/\rho$| with the perturbed and background Alfvén velocities |$\boldsymbol {b}^{\prime }=\boldsymbol {B}^{\prime }/\sqrt{4\pi \rho }$| and |$\boldsymbol {v}_{\rm A}=\boldsymbol {B}_0/\sqrt{4\pi \rho }$|⁠, respectively, and |$\boldsymbol {k}=\boldsymbol {e}_{x}k_x+ \boldsymbol {e}_{z}k_z$|⁠. On account of the incompressibility condition the solution automatically satisfies |$\nabla \cdot \boldsymbol {B}^{\prime }=0.$| This means that it satisfies the non-linear equations as well as the linear ones. But note that when kx = 0, incompressibility enforces |$u_z^{\prime }=0$| and consequently |$b^{\prime }_z=h^{\prime }=0$|⁠. In that case terms involving q disappear, and the resulting MRI ‘channel flows’ do not feel the vertical shear whatsoever.
After some algebra these equations can be reduced to a biquadratic dispersion relation for the growth rate s:
(58)
in which we have introduced the additional notation
as in Latter, Fromang & Faure (2015).
We can obtain stability criteria by first noting that the two roots for s2 obtained from (58) are always real. Instability occurs when one of these is positive, which happens when either (a) the coefficient of s2 is negative or (b) when this coefficient is positive but the last term in the dispersion relation is negative. When there is no background magnetic field (⁠|$\boldsymbol {v}_{\rm A}=\mathbf {0}$|⁠), the condition (a) reduces to the hydrodynamical VSI instability criterion, equation (14), which states that q(kx/kz) < −1/2. The presence of a non-zero magnetic field (⁠|$\boldsymbol {v}_{\rm A}\ne \mathbf {0}$|⁠), no matter how small, changes the picture abruptly. Then the condition (b) is the easiest of the two to satisfy, yielding
(59)
that is, when the Alfvèn frequency is less than the characteristic frequency defined by the right-hand side. This criterion captures both the MRI and the VSI.

4.3 The MRI and vertical shear

We first examine how the MRI is altered by vertical shear. When q = 0, we reproduce the well-known results for the purely vertical field MRI, |$\boldsymbol {B}_0\propto \boldsymbol {e}_{z}$|⁠. The fastest growing modes are channel modes, while ‘radial modes’, with kx ≠ 0, grow a factor ε slower. As explained in Latter, Fromang & Faure (2015), radial modes exhibit vertical circulation that impedes the MRI instability mechanism. An alternative way to think about this is in terms of the competition between the effects of rotation and magnetism: when kx = 0 the characteristic rate of destabilization, on account of the rotation profile, is ∝ Ω, but when kx ≠ 0 it is ∝ εΩ < Ω. The stabilizing influence of magnetic tension is accordingly more effective for a given Alfvèn frequency |$(\boldsymbol {v}_{\rm A}\cdot \boldsymbol {k})$|⁠. As a consequence of this, we expect the MRI branch of modes to be most important (and the most characteristic) for wavenumbers oriented nearly vertically, i.e. when kxkz, which is in convenient contrast to the VSI, for which the opposite limit pertains.

We find the expression for the squared growth rate, solving equation (58) under the assumption that criterion (b) applies, equation (59). We next consider it as a function of |$(\boldsymbol {v}_{\rm A}\cdot \boldsymbol {k})^2$|⁠, and find its maximum value. This occurs when
(60)
the first term on the right should be familiar from previous studies of the MRI, while the second comes from the vertical shear. Substituting this expression into the growth rate obtained from (58), we obtain a remarkably simple expression for the maximum rate:
(61)
It corresponds to the classical expression for maximum growth rate for the MRI (e.g. Latter, Fromang & Faure 2015) with a ‘correction’ proportional to q that comes from the vertical shear. The bracketed expression in equation (61) is, in fact, proportional to |$(\boldsymbol {k}\times (\nabla \Omega ))\cdot \boldsymbol {e}_y$|⁠, and so complete stabilization occurs for modes with |$\boldsymbol {k}$| parallel to the angular velocity gradient. The components of the wavenumber then satisfy kx/kz = 2/(3q).

Furthermore, we may maximize (61) with respect to kx/kz, and find that |$s_{\rm max}= (3/4)\Omega + (5/81)q^2\Omega +\mathcal {O}(q^4)$|⁠, assuming small q, and this occurs when kx/kz ≈ −(1/9)q. Essentially this is a channel mode, but the slightly elevated growth rate indicates that the MRI can draw some energy from the background vertical shear in addition to the radial shear, thus acting partly like the VSI. Overall, however, the fastest growing and most important MRI modes, for which kz > kx, are not especially impacted by the vertical shear, if indeed we expect q ≪ 1.

4.4 The VSI and magnetic fields

The VSI lies on the same branch of the dispersion relation as the MRI, and so it is not easy to distinguish the two: as kx/kz goes from very small to very large values the MRI smoothly morphs into the VSI. To illustrate this point we plot in Fig. 5 growth rate contours in the |$[(\boldsymbol {v}_{\rm A}\cdot \boldsymbol {k})/\Omega _0,{\, } k_x/k_z]$| plane for q = 0 and q = −0.3. In the latter case we observe low growth for large kx/kz and small |$(\boldsymbol {v}_{\rm A}\cdot \boldsymbol {k})/\Omega _0$|⁠, which we associate with the VSI, and large growth for small kx/kz and |$(\boldsymbol {v}_{\rm A}\cdot \boldsymbol {k})/\Omega _0\sim 1$|⁠, which we associate with the MRI.

Top panel: coloured contours of the MRI growth rate when q = 0 in the $[(\boldsymbol {v}_{\rm A}\cdot \boldsymbol {k})/\Omega _0,{\, } k_x/k_z]$ plane. Note the symmetry about the horizontal axis. Bottom panel: contours of the MRI and VSI growth rates when q = −0.3. Observe the marked asymmetry about the horizontal axis, and the extension of growth to large kx/kz.
Figure 5.

Top panel: coloured contours of the MRI growth rate when q = 0 in the |$[(\boldsymbol {v}_{\rm A}\cdot \boldsymbol {k})/\Omega _0,{\, } k_x/k_z]$| plane. Note the symmetry about the horizontal axis. Bottom panel: contours of the MRI and VSI growth rates when q = −0.3. Observe the marked asymmetry about the horizontal axis, and the extension of growth to large kx/kz.

To disentangle the VSI algebraically, we let kx/kz = −1/q, the wavevector orientation that yields maximum VSI growth in the absence of a magnetic field. Both expressions (60) and (61) should hold for such a mode. Plugging in our value for kx/kz we find that maximum growth occurs at very small values of |$(\boldsymbol {v}_{\rm A}\cdot \boldsymbol {k})^2\sim q^2$|⁠, but with maximum growth smax = (5/4)qΩ, slightly larger than in the hydrodynamical case. This indicates that for exceedingly light magnetic tension, the VSI is slightly amplified.

Overall, however, the impact of magnetic tension is stabilizing, with stability occurring when (59) is violated. For VSI wavevector orientations kx/kz ∼ −1/q, the criterion can be reframed in terms of the vertical component of the magnetic tension. Unless vAzkz is very small, the mode is suppressed:
(62)
Put another way, for a given vAz, the critical vertical wavelength for instability is long, so as to best escape the stabilizing magnetic tension.
But in order for the VSI modes to even fit into the disc these lengthscales must be less than H. This furnishes us with an instability criterion. We find that the VSI can only occur in magnetized discs if
(63)
where β is the average plasma beta within |Z| < H (the MRI only requires that β ≳ 1). Using the estimate q ∼ H/R ∼ 0.05 the criterion becomes β ≳ 400. Note that the critical β may be significantly larger for smaller scale VSI modes, such as those that typically appear in the surface layers of the disc, and furthermore the local β in these layers may be low indeed.

4.5 Ohmic diffusion

In the dead zones of PP discs, magnetic diffusion will alter the results of the previous sections. In particular, it will weaken magnetic tension and the VSI will find it easier to grow. We now estimate how much diffusion is needed to ‘rescue’ the VSI.

By comparing frequencies, magnetic diffusion dominates tension when ηk2vAk, where η is Ohmic resistivity. For fixed vA, this means that on scales kkDvA/η magnetic tension may be overcome and hence neglected. On the other hand, the VSI is suppressed when its growth rate ∼qΩ is equal or less the Alfvén frequency vAk. This occurs on wavenumbers kkSqΩ/vA. Putting these two estimates together, we recognize that the VSI is impeded when kSkkD, and unimpeded for other wavenumbers. In fact, magnetic tension is completely subdued by diffusion for all modes when kDkS which gives the condition
(64)
where the Ohmic Elsasser number is defined to be |$E_\eta = v_{\rm A}^2/(\Omega \eta )$|⁠. Note that violation of equation (64) does not mean the VSI fails to appear: unstable VSI modes will still operate on sufficiently short (and possibly sufficiently long) scales.

To estimate Eη requires knowledge of the strength of the background vertical field. For a mid-plane β = 105, Lesur, Kunz & Fromang (2014), using the minimum-mass solar nebula, estimate that Eη < 10−4 when |z| < H at R = 1 au, and Eη = 0.1 − 1 when R = 10 au. Given that q ∼ H/R ∼ 0.05, we recognize that at 1 au the VSI is free of magnetic tension; but further out in the disc it may be worth considering the role of magnetic fields a little more closely, especially when those fields are strong.

5 CONCLUSION

In this paper we have established a number of theoretical results pertaining to the onset and saturation of the VSI in PP discs. Using the Boussinesq approximation, we show that the linear VSI modes are non-linear solutions whose spatial structure need not be limited to sinusoids. Being double-diffusive, the instability grows at its maximum rate ∼(H/R)Ω on a range of wavelengths bracketed from below by (H/R)−1/2Re−1/2H and above by (H/R)1/2Pe−1/2H, where Re and Pe are the Reynolds and Peclet numbers. On sufficiently short scales and in certain disc regions the diffusive approximation breaks down and these estimates require moderate revision. In this case, maximum growth is assured if the gas's cooling rate is much greater than (R/H)Ω (in agreement with Lin and Youdin 2015). We apply these estimates to a low-mass disc and demonstrate that the VSI is prevalent from 1 au outward, moving from shorter to longer scales with disc radius.

The VSI modes cannot grow indefinitely, as they are subject to parasitic instabilities of Kelvin–Helmholtz type. The onset of the parasites, however, is significantly delayed: axisymmetric instability is impeded by the gas's stabilizing radial angular momentum gradient, whereas non-axisymmetric instability is foiled by the disc's shear. As a consequence, the VSI achieves relatively large amplitudes before breaking down, these characterized by Rossby numbers greater than 1 and fluid velocities a few per cent or more of the sound speed. This makes a striking contrast to the convective overstability, whose amplitudes are kept generally low by parasites (Latter 2016). The delay in VSI disruption might explain some features witnessed in global simulations, such as the dominance of large amplitude linear waves, at least initially (Nelson, Gressel & Umurhan 2013). We note that our analysis strictly holds only for non-linear modes that remain shortscale, and that the body modes are not represented in a Boussinesq model. Nonetheless, the physical effects outlined above will also work on larger scales and should get in the way of their disruption as well.

The parasites may play an influential part in the VSI's subsequent saturation. If the background vertical shear is forcibly maintained by stellar irradiation, the parasites may set the amplitude of the resulting quasi-steady turbulent state. If, however, the VSI is efficient in erasing the vertical shear, they may be less important. Significantly, parasitic instabilities are the route by which the VSI's axisymmetry is broken; the subsequent turbulence may then transport angular momentum. In so doing they create vortices, not perfectly aligned with the disc plane. Vortex production is a robust process, and VSI modes on all scales can generate them. As discussed at length elsewhere, vortices can accumulate solid particles, though in this context it may be complicated by their non-trivial vertical structure. Their geometry and limited lifetime are other variables deserving of further study (Richard, Nelson & Umurhan 2016).

Finally we include magnetic fields in the analysis. Because of the vertical shear it is important to be careful to set up a meaningful time-independent magnetic equilibrium. We find that the MRI is not impacted greatly by the vertical shear, and the fastest growing modes (channel modes) are not affected at all. In contrast, the VSI is completely suppressed by magnetic tension, for (average) plasma betas below ≳ q−2 ∼ (R/H)2. Ohmic diffusion can rescue the VSI, however, if the local Elsasser number is less than q ∼ H/R.

Acknowledgements

The authors would like to thank Andrew Youdin, Adrian Barker, and the anonymous referee for useful comments that helped improve the manuscript. We also thank Tobias Heinemann for a close reading of an earlier draft. This work is partially funded through STFC grant ST/L000636/1.

REFERENCES

Bai
X.-N.
,
2014
,
ApJ
,
791
,
137

Balbus
S. A.
,
Hawley
J. F.
,
2006
,
ApJ
,
652
,
1020

Balbus
S. A.
,
Schaan
E.
,
2012
,
MNRAS
,
426
,
1546

Balbus
S. A.
,
Bonart
J.
,
Latter
H. N.
,
Weiss
N. O.
,
2009
,
MNRAS
,
400
,
176

Barker
A. J.
,
Latter
H. N.
,
2015
,
MNRAS
,
450
,
21

Booker
J. P.
,
Bretherton
F. P.
,
1967
,
JFM
,
27
,
513

Boyd
J. P.
,
2001
,
Chebyshev and Fourier Spectral Methods
, 2nd edn.
Dover Press
,
New York

Caleo
A.
,
Balbus
S. A.
,
2016
,
MNRAS
,
457
,
1711

Caleo
A.
,
Balbus
S. A.
,
Tognelli
E.
,
2016
,
MNRAS
,
460
,
338

Corless
R. M.
,
Gonnet
G. H.
,
Hare
D. E. G.
,
Jeffrey
D. J.
,
Knuth
D. E.
,
1996
Adv. Comp. Math.
,
5
,
329

Drazin
P. G.
,
Reid
W. H.
,
1981
,
Hydrodynamic Stability
.
Cambridge Univ. Press
,
Cambridge

Fricke
K.
,
1968
,
Z. Astrophys.
,
68
,
317

Fromang
S.
,
Lesur
G.
,
2017
,
preprint (arXiv:1705.03319)

Goldreich
P.
,
Schubert
G.
,
1967
,
ApJ
,
150
,
571

Goodman
J.
,
Xu
G.
,
1994
,
ApJ
,
432
,
213

James
H. A.
,
Kahn
F. D.
,
1970
,
A&A
,
5
,
232

James
H. A.
,
Kahn
F. D.
,
1971
,
A&A
,
12
,
332

Johnson
B. M.
,
Gammie
C. F.
,
2005
,
ApJ
,
626
,
978

Knobloch
E.
,
Spruit
H. C.
,
1982
,
A&A
,
113
,
261

Latter
H. N.
,
2016
,
MNRAS
,
455
,
2608

Latter
H. N.
,
Balbus
S. A.
,
2009
,
MNRAS
,
399
,
1048

Latter
H. N.
,
Papaloizou
J. C. B.
,
2017
,
MNRAS
,
472
,
1432

Latter
H. N.
,
Lesaffre
P.
,
Balbus
S. A.
,
2009
,
MNRAS
,
394
,
715

Latter
H. N.
,
Fromang
S.
,
Faure
J.
,
2015
,
MNRAS
,
453
,
3257

Lesur
G.
,
Latter
H. N.
,
2016
,
MNRAS
,
462
,
4549

Lesur
G.
,
Papaloizou
J. C. B.
,
2010
,
A&A
,
513
,
60

Lesur
G.
,
Kunz
M. W.
,
Fromang
S.
,
2014
,
A&A
,
566
,
A56

Li
L.-X.
,
Goodman
J.
,
Narayan
R.
,
2003
,
ApJ
,
593
,
980

Lin
M.-K.
,
Youdin
A. N.
,
2015
,
ApJ
,
811
,
17

Lovelace
R. V. E.
,
Li
H.
,
Colgate
S. A.
,
Nelson
A. F.
,
1999
,
ApJ
,
513
,
805

Malygin
M. G.
,
Klahr
H.
,
Semenov
D
,
Henning
T.
,
Dullemond
C. P.
,
2017
,
A&A
,
605
,
A30

McNally
C. P.
,
Pessah
M. E.
,
2015
,
ApJ
,
811
,
121

Nelson
R. P.
,
Gressel
O.
,
Umurhan
O. M.
,
2013
,
MNRAS
,
435
,
2610

Ogilvie
G. I.
,
1997
,
MNRAS
,
288
,
63

Papaloizou
J.
,
Szuszkiewicz
E.
,
1992
,
Geophys. Astrophys. Fluid Dyn.
,
66
,
223

Pessah
M. E.
,
Goodman
J.
,
2009
,
ApJ
,
698
,
72

Richard
S.
,
Nelson
R. P.
,
Umurhan
O. M.
,
2016
,
MNRAS
,
456
,
3571

Riols
A.
,
Ogilvie
G. I.
,
Latter
H. N.
,
Ross
J. P.
,
2016
,
MNRAS
,
463
,
3096

Simon
J. B.
,
Lesur
G.
,
Kunz
M. W.
,
Armitage
P. J.
,
2015
,
MNRAS
,
454
,
1117

Stoll
M. H. R.
,
Kley
W.
,
2014
,
A&A
,
572
,
A77

Stoll
M. H. R.
,
Kley
W.
,
Picogna
G.
,
2017
,
A&A
,
599
,
6

Turner
N. J.
,
Fromang
S.
,
Gammie
C.
,
Klahr
H.
,
Lesur
G.
,
Wardle
M.
,
Bai
X.-N.
,
2014
, in
Beuther
H.
,
Klessen
R. S.
,
Dullemond
C. P.
,
Henning
T.
, eds,
Protostars and Planets VI
.
Univ. Arizona Press
,
Tucson
, p.
411

Urpin
V.
,
2003
,
A&A
,
404
,
397

Urpin
V.
,
Brandenburg
A.
,
1998
,
MNRAS
,
294
,
399

APPENDIX A: THE VSI WITH STRATIFICATION, COOLING, AND VISCOSITY

In this appendix we tackle the complete problem, with viscosity, vertical buoyancy, and radiative cooling in the framework of the Boussinesq approximation. Similar analyses have appeared in Urpin and Brandenburg (1998) and Urpin (2003), though the key results deserve further clarification.

The governing equations are now
(A1)
(A2)
with |$\nabla \cdot \boldsymbol {u}=0$|⁠, where θ is the buoyancy variable, N2 is the squared buoyancy frequency, ν is the kinematic viscosity, and κ is the thermal diffusivity, not to be confused with the epicyclic frequency.

These equations admit the same steady state as appearing in Section 2.2 if θ = 0. We perturb this equilibrium with perturbations as earlier, with the perturbed buoyancy |$\theta ^{\prime }= \bar{\theta }(t)f(\xi )$|⁠, and we find that such disturbances remain non-linear solutions. However, the form of f is constrained by the Laplacians, so that f ∝ d2f/dξ2, and so only sinusoidally varying shearing waves are supported.

We consider only axisymmetric disturbances and assume that they are the real parts ∝ exp(st + ikxx + ikzz). We then have the equations
(A3)
(A4)
(A5)
(A6)
with |$k_x\bar{u}_x + k_z \bar{u}_z=0$|⁠, |$k^2=k_x^2+k_z^2$|⁠, and where we have defined |$\bar{h}= \bar{P}/\rho$|⁠. Solvability of this set gives us the dispersion relation
(A7)
in which sVSI is the VSI growth rate in the absence of viscosity, buoyancy, and thermal diffusion:
and sν = s + νk2 and sκ = s + κk2. If we had used Newtonian cooling the dispersion relation would only altered by a redefinition of sκ which would become sκ = s + 1/τ, where τ is the cooling time.
We now analyse equation (A7) paying attention to different scales. Suppose first that we are interested in wavelengths much longer than the viscous length, so that
(A8)
This means straightaway that sνs for the fastest growing VSI mode. We then examine on what scales the last term in (A7) is negligible compared to the first term. We obtain
For the fastest growing mode sqΩ and kx/kz ∼ 1/q, and this condition reduces to
For there to exist k that both satisfy this constraint in addition to equation (A8), we must have
(A9)
which is not a very onerous restriction at all, certainly not in PP discs.
In summary, on sufficiently long lengthscales viscosity is negligible, and on sufficiently short lengthscales buoyancy is negligible. Thus the VSI exhibits classical double diffusive behaviour on the range
and the VSI growth rate is almost exactly the same as if there were no viscosity, no buoyancy, nor thermal diffusion. Note in the above that |$k_{\rm th}= \sqrt{\Omega /\kappa }$| and equals the (long) thermal diffusion length and |$k_{\rm visc}=\sqrt{\Omega /\nu }$| and equals the (very short) viscous diffusion length.
In the Newtonian cooling case, we may ask the question for what cooling rates yield VSI growth comparable to the unstratified case? Following a similar procedure to earlier, we find that the second term in (A7) is negligible if
(A10)
(To reach this conclusion we must initially assume the weaker condition Ωτ ≪ 1/q.) Growth occurs at the same rate until the viscous cut-off, which can be computed by setting s = 0 and solving for k. A bi-quadratic ensues and the critical k is
(A11)
to leading order in small q. (In deriving the above, we have assumed that kx/kz = −1/q.) This wavenumber is generally quite large, unless the cooling time is long, in which case we have the approximation
(A12)
which may yield small values. Instability is fully quenched when this wavenumber equals 1/H, furnishing us with an equation for τ. The critical cooling time above which the VSI dies is (q2/n2)Re. Note that in the inviscid limit (Re → ∞) instability is always present no matter what the value of τ. However, for long cooling times the growth rates are too small to be interesting.

APPENDIX B: ASYMPTOTIC LONG-TIME EVOLUTION OF NON-AXISYMMETRIC VSI MODES

It is convenient to employ units for which Ω0 = 1 and ky = 1, and to introduce new dependent variables: |$u=\bar{u}_x+2q\bar{u}_z$|⁠, |$v=\bar{u}_y$|⁠, |$w=\bar{u}_x-2q\bar{u}_z$|⁠. We examine the three components of (10) in the limit of q ≪ 1 and for long times: t ≫ 1/q. To ease the asymptotic ordering we set |$t=\mathcal {O}(1/q^2)$| for the moment. Recognizing that u ∼ w, equation (10) becomes
(B1)
(B2)
(B3)
to leading order, where |$c_1=(8/9)k_z^0 - (16/27)q k_x^0$| and |$c_2=-(40/9)k_z^0 + (80/27)q k_x^0$| are constants depending on the initial wavevector. These equations may be reduced to a single ODE for v, which to leading order is
(B4)
The problem exhibits three time-scales, the fast orbital time ∼1, a moderately slow time associated with the transient growth of the non-axisymmetric VSI ∼1/q, and a very slow time, associated with its decay ∼1/q2. As a mode can exhibit behaviour on these differing time-scales we adopt a formal multiscale approach. We are mainly interested in the longest times, as this will establish stability or not, and thus define the very slow time variable T = q2t, where T is order 1. There exists also a separate intermediate time variable τ ∼ qt. Next the solution is expanded in small q so that v = v0(τ,  T) + qv1(τ,  T) + …. Time derivatives of this solution may be re-expressed as d/dt = q∂/∂τ + q2∂/∂T.
Putting these assumptions and definitions into (B4), then collecting the various orders in q gives
(B5)
at |$\mathcal {O}(q^3)$|⁠. We may then write down v0 as a linear combination of |$\mathcal {D}$|’s eigenfunctions:
(B6)
Here A, B, and C are amplitude functions, to be determined.
At the next order ∼q4 we get
Solvability of this equation requires that the right-hand side is orthogonal to the eigenfunctions of |$\mathcal {D}$|⁠. This simply means that the expressions in square brackets must be zero, yielding two first-order ODEs for A and B, solvable in terms of power laws ∝ Tα. It is easy to show that α = −(1/2) ± (3c2/16)i. Meanwhile CT−2 and may be neglected as it decays at a faster rate than A or B. Thus on the long time-scale, v always decays algebraically. One can then go on to prove that the other velocity components u and w decay no slower than v.