Fossil field decay due to nonlinear tides in massive binaries

TL;DR

This paper investigates how nonlinear tidal effects in massive binary stars can lead to magnetic field decay, combining theoretical analysis, numerical simulations, and observational comparisons to explain the lower magnetic incidence in close binaries.

Contribution

It develops a comprehensive theory of tidal instability in stratified, magnetized fluids and links it to magnetic field dissipation in massive binaries, a novel approach.

Findings

Tidal instability can be triggered by nonlinear couplings of waves in massive binaries.

Turbulent magnetic diffusion can dissipate fossil magnetic fields within a few million years.

Theoretical predictions align with numerical simulations and observational data.

Abstract

Surface magnetic fields have been detected in 5 to 10% of isolated massive stars, hosting outer radiative envelopes. They are often thought to have a fossil origin, resulting from the stellar formation phase. Yet, magnetic massive stars are scarcer in (close) short-period binaries, as reported by the BinaMIcS (Binarity and Magnetic Interaction in various classes of Stars) collaboration. Different physical conditions in the molecular clouds giving birth to isolated stars and binaries are commonly invoked. In addition, we propose that the observed lower magnetic incidence in close binaries may be due to nonlinear tides. Indeed, close binaries are probably prone to tidal instability, a fluid instability growing upon the equilibrium tidal flow via nonlinear effects. Yet, stratified effects have hitherto been largely overlooked. We theoretically and numerically investigate tidal instability in rapidly rotating, stably stratified fluids permeated by magnetic fields. We use the short-wavelength stability method to propose a comprehensive (local) theory of tidal instability at the linear onset, discussing damping effects. Then, we propose a mixing-length theory for the mixing generated by tidal instability in the nonlinear regime. We successfully assess our theoretical predictions against proof-of-concept, direct numerical simulations. Finally, we compare our predictions with the observations of short-period, double-lined spectroscopic binary systems. Using new analytical results, cross-validated by a direct integration of the stability equations, we show that tidal instability can be generated by nonlinear couplings of inertia-gravity waves with the equilibrium tidal flow in short-period massive binaries, even against the Joule diffusion. In the nonlinear regime, a fossil magnetic field can be dissipated by the turbulent magnetic diffusion induced by the saturated tidal flows. We predict that the turbulent Joule diffusion of fossil fields would occur in a few million years for several short-period massive binaries. Therefore, turbulent tidal flows could explain the observed dearth of some short-period magnetic binaries.

Tables

Table 1. Table 1: Typical values of dimensionless numbers for stellar interiors. CZ: stellar convective zones, e.g. in the Sun (Charbonneau, 2014 ) . RZ: (rapidly) rotating radiative zones (e.g. Rieutord, 2006 ) .

Number	Symbol	CZ	RZ
Ekman	$Ek$	${10}^{-16}$	${10}^{-18}$
Prandtl	$Pr$	${10}^{-6}$	${10}^{-6}$
Magnetic Prandtl	$Pm$	${10}^{-6}$	${10}^{-6}$
Magnetic Ekman	$Em$	${10}^{-10}$	${10}^{-12}$
Brunt-Väisälä	$N_0/{\Omega }_{\text{s}}$	0	$0-100$
Lehnert	$Le$	${10}^{-5}$	$\le {10}^{-4}$

Table 2. Table 2: Physical and orbital characteristics of non-synchronised and non-magnetic binary systems, surveyed by the BinaMIcS collaboration (Alecian et al., in prep.).

System		$M_1$	$M_2$	$R$ ($M_1$)	$R$ ($M_2$)	$D$	$T_{\text{s}}$ ($M_1$)	$T_{\text{s}}$ ($M_2$)	$T_{\text{orb}}$	$e$	${\beta }_0$
		($M_{\odot }$)	($M_{\odot }$)	($R_{\odot }$)	($R_{\odot }$)	($R_{\odot }$)	(days)	(days)	(days)		Body 1	Body 2
$\circ$	HD 23642	$2.22$	$1.57$	$1.84$	$1.57$	$11.96$	$2.49$	$2.45$	$2.46$	$0.00$	$3.9\times {10}^{-3}$	$4.8\times {10}^{-3}$
$▽$	HD 24133	$1.39$	$1.31$	$1.78$	$1.49$	$5.042$	$0.827$	$0.783$	$0.80$	$0.00$	$6.2\times {10}^{-2}$	$4.1\times {10}^{-2}$
$△$	HD 24909	$3.53$	$1.72$	$2.47$	$1.53$	$10.59$	$1.8$	$1.8$	$1.74$	$0.07$	$9.3\times {10}^{-3}$	$9.3\times {10}^{-3}$
$◁$	HD 25638	$14.3$	$10.7$	$8.91$	$6.70$	$23.97$	$3.01$	$2.76$	$2.70$	$0.00$	$5.8\times {10}^{-2}$	$4.4\times {10}^{-2}$
$▷$	HD 25833	$5.36$	$4.90$	$2.99$	$2.60$	$14.67$	$2.0$	$1.7$	$2.03$	$0.07$	$1.2\times {10}^{-2}$	$9.1\times {10}^{-3}$
$\mathrm{\backslash octagon}$	HD 32964	$2.63$	$2.57$	$1.95$	$1.92$	$22.90$	$5.57$	$5.55$	$5.52$	$0.08$	$9.0\times {10}^{-4}$	$9.0\times {10}^{-4}$
$\square$	HD 34364	$2.48$	$2.29$	$1.78$	$1.82$	$18.24$	$3.90$	$4.01$	$4.13$	$0.00$	$1.3\times {10}^{-3}$	$1.6\times {10}^{-3}$
$⬠$	HD 36486	$24.0$	$8.40$	$16.5$	$6.50$	$43.00$	$6.24$	$2.13$	$5.73$	$0.11$	$3.0\times {10}^{-2}$	$1.5\times {10}^{-3}$
$⎔$	HD 150136	$62.6$	$39.5$	$13.1$	$9.54$	$38.00$	$2.9$	$2.7$	$2.67$	$0.00$	$3.9\times {10}^{-2}$	$3.8\times {10}^{-2}$

Table 3. Table 3: Predictions of tidal scenario for (non-magnetic) close binaries described in Table 3 .

System	${\sigma }^{\ast }$ (1/year)		${\tau }_{\text{t}}$ (years)		${\tau }_{\text{t}}/{\tau }_{\Omega }$		${\tau }_{\text{t}}/{\tau }_{\text{MC}}$
	Body 1	Body 2	Body 1	Body 2	Body 1	Body 2	Body 1	Body 2
HD 23642	$1.03\times {10}^{-2}$	$5.07\times {10}^{-3}$	$1.58\times {10}^7$	$6.88\times {10}^7$	$1.46\times {10}^{-2}$	$6.44\times {10}^{-2}$	$1.5\times {10}^{+0}$	$6.4\times {10}^{+0}$
HD 24133	$1.46\times {10}^{+0}$	$6.11\times {10}^{-1}$	$2.26\times {10}^3$	$1.53\times {10}^4$	$6.26\times {10}^{-6}$	$4.48\times {10}^{-5}$	$6.3\times {10}^{-4}$	$4.5\times {10}^{-3}$
HD 24909	$9.25\times {10}^{-2}$	$9.26\times {10}^{-2}$	$2.61\times {10}^5$	$2.61\times {10}^5$	$3.33\times {10}^{-4}$	$3.32\times {10}^{-4}$	$3.3\times {10}^{-2}$	$3.3\times {10}^{-2}$
HD 25638	$1.12\times {10}^{+0}$	$2.03\times {10}^{-1}$	$8.91\times {10}^2$	$3.60\times {10}^4$	$6.79\times {10}^{-7}$	$2.99\times {10}^{-5}$	$6.8\times {10}^{-5}$	$3.0\times {10}^{-3}$
HD 25833	$4.78\times {10}^{-2}$	$5.83\times {10}^{-1}$	$9.68\times {10}^5$	$1.02\times {10}^4$	$1.11\times {10}^{-3}$	$1.37\times {10}^{-5}$	$1.1\times {10}^{-1}$	$1.4\times {10}^{-3}$
HD 32964	$7.89\times {10}^{-4}$	$4.61\times {10}^{-4}$	$1.22\times {10}^9$	$3.61\times {10}^9$	$5.01\times {10}^{-1}$	$1.49\times {10}^{+0}$	$5.0\times {10}^{+1}$	$1.5\times {10}^{+2}$
HD 34364	$1.14\times {10}^{-2}$	$7.12\times {10}^{-3}$	$9.53\times {10}^6$	$2.25\times {10}^7$	$5.60\times {10}^{-3}$	$1.28\times {10}^{-2}$	$5.6\times {10}^{-1}$	$1.3\times {10}^{+0}$
HD 36486	$2.20\times {10}^{-1}$	$4.32\times {10}^{+0}$	$1.18\times {10}^4$	$3.22\times {10}^2$	$4.35\times {10}^{-6}$	$3.47\times {10}^{-7}$	$4.3\times {10}^{-4}$	$3.5\times {10}^{-5}$
HD 150136	$5.98\times {10}^{-1}$	$7.53\times {10}^{-2}$	$3.49\times {10}^3$	$7.37\times {10}^2$	$2.76\times {10}^{-6}$	$6.26\times {10}^{-7}$	$2.8\times {10}^{-4}$	$6.3\times {10}^{-5}$

Table 4. Table 4: Physical and orbital characteristics of magnetic binary systems surveyed by the BinaMIcS collaboration (Folsom et al., 2013 ; Shultz et al., 2015 , 2017 , 2018 ) .

System	$M_1$	$M_2$	$R$ ($M_1$)	$R$ ($M_2$)	$D$	$T_{\text{s}}$ ($M_1$)	$T_{\text{s}}$ ($M_2$)	$T_{\text{orb}}$	Eccentricity	$B_0^{\ast }$ ($M_1$)	$B_0^{\ast }$ ($M_2$)
	($M_{\odot }$)	($M_{\odot }$)	($R_{\odot }$)	($R_{\odot }$)	($R_{\odot }$)	(days)	(days)	(days)	$e$	(kG)	(kG)
HD 156324	$8.5$	$4.1$	$3.8$	$2.3$	$13.2$	$1.58$	$1.58$	$1.58$	$0.0$	$14$
HD 98088	$2.19$	$1.67$	$2.76$	$1.77$	$21.7$	$5.905$	$5.905$	$5.905$	$0.18$	$3.9$
$ϵ$ Lupi (corot)	$8.7$	$7.3$	$4.7$	$3.8$	$29.2$	$2.30$	$2.5$	$4.56$	$0.277$	$0.9$	$0.6$
$ϵ$ Lupi (slow)	$8.7$	$7.3$	$4.7$	$3.8$	$29.2$	$6.4$	$7.1$	$4.56$	$0.277$	$0.9$	$0.6$
$ϵ$ Lupi (fast)	$8.7$	$7.3$	$4.7$	$3.8$	$29.2$	$0.40$	$0.32$	$4.56$	$0.277$	$0.9$	$0.6$

Equations

$${\left(\frac{x}{a}\right)}^2+{\left(\frac{y}{b}\right)}^2+{\left(\frac{z}{c}\right)}^2=1,$$

$$\frac{\partial \mathbf{v}}{\partial t}$$

$$-T\mathbf{g}+(\mathbf{B}\cdot \nabla )\mathbf{B},$$

$$\frac{\partial T}{\partial t}$$

$$\frac{\partial \mathbf{B}}{\partial t}$$

$$\nabla \cdot \mathbf{v}$$

$$\frac{\mathrm{d}\mathbf{u}}{\mathrm{d}t}$$

$$+Ek{\nabla }^2\mathbf{u}-\Theta \mathbf{g}+(\mathbf{B}\cdot \nabla )\mathbf{B},$$

$$\frac{\mathrm{d}\Theta }{\mathrm{d}t}$$

$$\frac{\partial \mathbf{B}}{\partial t}$$

$$\nabla \cdot \mathbf{u}$$

$$N^2=-{\alpha }_T{\mathbf{g}}^{\ast }\cdot \nabla T_0^{\ast }.$$

$${\Phi }_0={\left(\frac{x}{a}\right)}^2+{\left(\frac{y}{b}\right)}^2+{\left(\frac{z}{c}\right)}^2.$$

$$Le=\frac{B_0^{\ast }}{{\Omega }_{\text{s}}R\sqrt{{\rho }_M{\mu }_0}},$$

$${\mathbf{U}}_0(\mathbf{r})=(1-{\Omega }_0)\left[-(1+{\beta }_0)y{1}_x+(1-{\beta }_0)x{1}_y\right].$$

$$[\mathbf{u},\Theta ](\mathbf{r},t)=[\hat{\mathbf{u}},\hat{\Theta }](\mathbf{r},t)\exp (\mathrm{i}\mathbf{k}(t)\cdot \mathbf{r}),|\mathbf{k}(t)|=|{\mathbf{k}}_0|,$$

$$\frac{\mathrm{D}\mathbf{X}}{\mathrm{D}t}$$

$$\frac{\mathrm{D}\mathbf{k}}{\mathrm{D}t}$$

$$\frac{\mathrm{D}\hat{\mathbf{u}}}{\mathrm{D}t}$$

$$-\hat{\Theta }\left(\mathbf{I}-\frac{\mathbf{k}{\mathbf{k}}^T}{|\mathbf{k}{|}^2}\right)\mathbf{g},$$

$$\frac{\mathrm{D}\hat{\Theta }}{\mathrm{D}t}$$

$${\mathbf{k}}_0=\sin ({\theta }_0)\cos ({\varphi }_0)1_x+\sin ({\theta }_0)\sin ({\varphi }_0)1_y+\cos ({\theta }_0)1_z,$$

$$\underset{t\to \infty }{\lim }\left(|\hat{\mathbf{u}}(t,{\mathbf{X}}_0,{\mathbf{k}}_0)|+|\hat{\Theta }(t,{\mathbf{X}}_0,{\mathbf{k}}_0)|\right)=\infty .$$

$$|{\omega }_i-{\omega }_j+\delta |=2|1-{\Omega }_0|,$$

$$|{\omega }_i|=|1-{\Omega }_0|,$$

$$z^2+s^2{\omega }_i^2/({\omega }_i^2-4)={\omega }_i^2/(N_0/{\Omega }_{\text{s}}{)}^2,$$

$${\mathcal{H}}_1:$$

$${\mathcal{H}}_2:$$

$${\mathcal{E}}_1:$$

$${\mathcal{E}}_2:$$

$$\begin{gathered} {\cos }^2({\theta }_0)=\frac{\tilde{\omega }+{\tilde{N}}_0^2{r}_0^2[({\tilde{N}}_0^2{r}_0^2-\tilde{\omega }){\cos }^2{\alpha }_0-\cos (2{\alpha }_0)]}{{\tilde{\omega }}^2+{\tilde{N}}_0^2{r}_0^2[{\tilde{N}}_0^2{r}_0^2-2\tilde{\omega }\cos (2{\alpha }_0)]} \\ +\frac{2\sqrt{{\omega }_1[\tilde{\omega }(1-{\tilde{N}}_0^2{z}_0^2)+{\tilde{N}}_0^2{r}_0^2-1]}}{{\tilde{\omega }}^2+{\tilde{N}}_0^2{r}_0^2[{\tilde{N}}_0^2{r}_0^2-2\tilde{\omega }\cos (2{\alpha }_0)]}, \end{gathered}$$

$$2\cos ({\theta }_0)=\frac{1}{1+{\tilde{\Omega }}_0}=1-{\Omega }_0.$$

$$|z_c|\ge \frac{|1-{\Omega }_0|}{N_0/{\Omega }_{\text{s}}}.$$

$$x_c=\frac{\sqrt{|1-{\Omega }_0{|}^2-4}}{N_0/{\Omega }_{\text{s}}}.$$

$$\sqrt{\tilde{\omega }+{\tilde{N}}_0^2{x}_0^2}\cos ({\theta }_0)=\pm 1$$

$$\frac{\sigma }{|1-{\Omega }_0|}=\sqrt{-{\tilde{N}}_0^2{x}_0^2-\tilde{\omega }}.$$

$$\frac{\sigma }{|1-{\Omega }_0|}=\frac{(2{\tilde{\Omega }}_0+3{)}^2}{16(1+{\tilde{\Omega }}_0{)}^2+4{\tilde{N}}_0^2{x}_0^2}{\beta }_0.$$

Full text

*Aims. *Different physical conditions in the molecular clouds giving birth to isolated stars and binaries are commonly invoked. In addition, we propose that the observed lower magnetic incidence in close binaries may be due to nonlinear tides. Indeed, close binaries are probably prone to tidal instability, a fluid instability growing upon the equilibrium tidal flow via nonlinear effects. Yet, stratified effects have hitherto been largely overlooked.

*Methods. *We theoretically and numerically investigate tidal instability in rapidly rotating, stably stratified fluids permeated by magnetic fields. We use the short-wavelength stability method to propose a comprehensive (local) theory of tidal instability at the linear onset, discussing damping effects. Then, we propose a mixing-length theory for the mixing generated by tidal instability in the nonlinear regime. We successfully assess our theoretical predictions against proof-of-concept, direct numerical simulations. Finally, we compare our predictions with the observations of short-period, double-lined spectroscopic binary systems.

*Results. *Using new analytical results, cross-validated by a direct integration of the stability equations, we show that tidal instability can be generated by nonlinear couplings of inertia-gravity waves with the equilibrium tidal flow in short-period massive binaries, even against the Joule diffusion. In the nonlinear regime, a fossil magnetic field can be dissipated by the turbulent magnetic diffusion induced by the saturated tidal flows.

*Conclusions. *We predict that the turbulent Joule diffusion of fossil fields would occur in a few million years for several short-period massive binaries. Therefore, turbulent tidal flows could explain the observed dearth of some short-period magnetic binaries.

1 Introduction

The magnetism of massive stars has sparked the interest of astronomers for a long time (Babcock, 1958). More recently, large spectropolarimetric surveys of these stars have been undertaken (Hubrig et al., 2014; Wade et al., 2015; Grunhut et al., 2016). They have detected surface magnetic fields in 5 to 10% of pre-main sequence and main-sequence massive stars (e.g. Alecian et al., 2019; Mathys, 2017). In addition, a magnetic dichotomy has been evidenced between the strong magnetism of chemically peculiar A/B stars (e.g. Auriere et al., 2007; Sikora et al., 2018) and the ultra-weak magnetism of Vega-like stars (Lignieres et al., 2009; Petit et al., 2010, 2011; Blazère et al., 2016). The origin of these fields is unclear. According to stellar evolution theory, massive stars host thick outer radiative envelopes, which are stably stratified in density. These envelopes are often assumed to be motionless in standard stellar models (e.g. Kippenhahn et al., 1990). This severely challenges the classical dynamo mechanism (Parker, 1979), which requires internal turbulent motions (for instance that is convection in low-mass stars). Some dynamo mechanisms have been proposed, such as relying on the convection of the innermost convective core (Brun et al., 2005; Featherstone et al., 2009) generating magnetic flux tubes rising buoyantly towards the surface (MacGregor & Cassinelli, 2003; MacDonald & Mullan, 2004), on differentially rotating flows (Spruit, 1999, 2002; Braithwaite, 2006; Jouve et al., 2015) or on baroclinic flows (Simitev & Busse, 2017). However, the relevance of these mechanisms remains elusive and debated.

The most accepted assumption is that magnetic fields in massive stars have a fossil origin (Borra et al., 1982; Moss, 2001), because they appear relatively stable over the observational period. The fields would be shaped in the stellar formation phase and survive into later stages of stellar evolution. The fossil theory is now well supported by the existence of magnetic configurations stable enough to survive over a stellar lifetime (Braithwaite & Spruit, 2004; Braithwaite & Nordlund, 2006; Reisenegger, 2009; Duez & Mathis, 2010; Duez et al., 2010; Akgün et al., 2013). Hence, the fossil theory may provide a unifying explanation for the magnetism of intermediate-mass stars (Braithwaite & Spruit, 2017). However, the fossil hypothesis still suffers from several weaknesses. In particular, we may naively expect all massive stars to exhibit surface magnetic fields. This is not consistent with the observations (e.g. Alecian et al., 2019; Mathys, 2017). Moreover, the theory does not convincingly explain the observed magnetic bi-modality (e.g. Auriere et al., 2007). To solve these issues, different physical conditions in the star-forming regions are usually invoked (e.g. Commerçon et al., 2010, 2011).

An efficient way to assess this hypothesis is to survey close binaries. Although the formation of binaries is not well understood, we can reasonably assume that the two binary components were formed together, under similar physical conditions. Then, observing magnetic fields in the two components of a (short-period) binary system would provide constraints to disentangle initial condition effects from other possible physical effects. The BinaMIcS (Binarity and Magnetic Interaction in various classes of Stars) collaboration (Alecian et al., 2014b, 2019) surveyed short-period massive binaries, aiming at providing new constraints on the magnetic properties of massive stars. About 170 short-period, double-lined spectroscopic binary binary systems on the main-sequence have been analysed by the BinaMIcS collaboration (Alecian et al., in prep). They have typical orbital periods of $T_{\text{orb}}\leq 20$ days and a separation distance between the two components of $D\leq 1$ au.

A magnetic incidence of about 1.5 % has been measured in the BinaMIcS sample. This is much lower than what is typically found in isolated hot stars (see above). Therefore, radiative stars in short-period binary systems are apparently much less frequently magnetic than in isolated systems. This confirms the general trend observed in other studies, dedicated to intermediate-mass A-type stars (e.g. Carrier et al., 2002; Mathys, 2017). It also extends it to hotter and more massive stars. Note that magnetic fields have been mostly observed only in one of the two components of the close binaries (Alecian et al., 2019), with a notable exception in the $*ϵ*$ Lupi system (Shultz et al., 2015). If initial conditions were solely responsible for the presence of a fossil field, then we would naively expect fossil fields in the two components of a magnetic binary. This is clearly not a general trend. Thus, these puzzling observations defy the theories that are commonly invoked. They lead to scientific questions such as the following: is it due to formation processes (Commerçon et al., 2011; Schneider et al., 2016), that exclude more magnetic fields in binaries than in single stars? Or is there any other mechanism in close binaries, responsible for relatively quick dissipation of magnetic fields?

An alternative scenario is to invoke mixing in radiative envelopes, that may dynamically dissipate the pervading fossil fields. Identifying mixing sources in radiative stars is a long standing issue (see the review in Zahn, 2008), because mixing also affects the transports of chemical elements and of angular momentum. Shear-driven turbulence, induced by the (expected) differential rotation of radiative envelopes (e.g. Goldreich & Schubert, 1967; Rieutord, 2006), has been largely investigated (e.g. Zahn, 1974; Mathis et al., 2004, 2018).

A more efficient mixing in short-period stellar binaries may be provided by tides. Indeed, short-periods binaries are strongly deformed (e.g. Chandrasekhar, 1969; Lai et al., 1993). Tides proceed in two steps. Firstly, they generate a quasi-hydrostatic tidal bulge, known as the equilibrium tidal velocity field (Zahn, 1966; Remus et al., 2012). This leads to angular momentum exchange between the orbital and spinning motions. Secondly, they induce dynamical tides (e.g. Zahn, 1975; Rieutord & Valdettaro, 2010), that is waves propagating here within the radiative regions. Radiative envelopes support the propagation of many waves that are continuously emitted by various mechanisms (e.g. Gastine & Dintrans, 2008a, b; Mathis et al., 2014; Edelmann et al., 2019). Among them, internal gravity waves (Dintrans et al., 1999; Mirouh et al., 2016) do induce mixing processes in radiative regions (Schatzman, 1993; Rogers & McElwaine, 2017).

However, the aforementioned tidal effects are only linear processes. They are certainly relevant for the weak tides observed in the solar system and in extra-solar planets (Ogilvie, 2009). Yet, they may be inefficient to modify fossil fields on their own. Moreover, nonlinear effects can significantly modify the outcome of the tidal response, and thereby the influence of tides on fossil fields. Indeed, the equilibrium tidal flow can be unstable against tidal instability in stars (e.g. Rieutord, 2004; Le Bars et al., 2010; Barker & Lithwick, 2013a, b; Clausen & Tilgner, 2014; Barker et al., 2016; Barker, 2016; Vidal & Cébron, 2017; Vidal et al., 2018). This fluid instability is the astrophysical version of the generic elliptical instability, which affects all rotating fluids with elliptically deformed streamlines (Bayly, 1986; Pierrehumbert, 1986; Waleffe, 1990; Gledzer & Ponomarev, 1992; Le Dizès, 2000). The underlying physical mechanism is nonlinear triadic resonances between two waves and the background elliptical velocity (Kerswell, 2002). Hence, in stellar interiors, the origin of tidal instability is a resonance between rotational waves and the underlying strain field responsible for the elliptic deformation, that is the equilibrium tidal flow. The nonlinear saturation of tidal instability can exhibit a wide variety of nonlinear states in homogeneous fluids, such as space-filling small-scale turbulence (Le Reun et al., 2017, 2019) or even global mixing (Grannan et al., 2016; Vidal et al., 2018). Interestingly, Clausen & Tilgner (2014) investigated the influence of compressibility on the stability limits of tidal instability in stars or planets. They showed that fluid compressibility has almost no effect on the onset of tidal instability.

Yet, the fate of tidal instability in stratified fluid interiors is poorly known. On the one hand, theoretical studies have shown that an axial density stratification, aligned with the spin angular velocity, has stabilising effects (Miyazaki & Fukumoto, 1991, 1992). Moreover, in the equatorial region, radial stratification can either increase or decrease the growth rate of the instability (Kerswell, 1993a; Le Bars & Le Dizès, 2006; Cébron et al., 2013). On the other hand, three-dimensional numerical simulations suggest that tidal instability is largely unaffected in stratified interiors, for a wide range of stratification (Cébron et al., 2010; Vidal et al., 2018). Therefore, a consistent global picture of tidal instability in stably stratified interiors is highly desirable. Indeed, this is a prerequisite to assess the astrophysical relevance of tidal instability for the stellar mixing in close massive binaries.

The present study has a twofold purpose. Firstly, we aim to propose a predictive global theory of tidal instability in idealised stratified interiors. Such a theory should accurately predict the onset of instability, reconciling within a single framework previous theoretical analyses (Miyazaki & Fukumoto, 1992; Miyazaki, 1993; Kerswell, 1993a; Le Bars & Le Dizès, 2006) and numerical studies (Cébron et al., 2010; Le Reun et al., 2018; Vidal et al., 2018). Then, asymptotic predictions for the (nonlinear) tidal mixing, as found numerically in Vidal et al. (2018), must be obtained to carry out the astrophysical extrapolation. Secondly, we aim to propose a new physical scenario of turbulent Joule diffusion of fossil fields, compatible with the observed lower magnetic incidence in short-period massive binaries as analysed by the BinaMIcS collaboration (Alecian et al., in prep.). The paper is organised as follows. In Sect. 2, we present the idealised model. In Sect. 3, we investigate the linear regime of tidal instability in stratified interiors. In Sect. 4, we develop a mixing-length theory of the (turbulent) tidal mixing, which is compared with proof-of-concept simulations. Then, we attempt to propose a novel scenario for close binaries in Sect. 5, which is applied to short-period binary systems analysed by the BinaMIcS collaboration. Finally, we end the paper with a conclusion in Sect. 6 and outline some perspectives.

2 Formulation of the problem

2.1 Assumptions

The full astrophysical problem is rather complex. Hence, we consider an idealised model, for which numerical simulations can be conducted and compared with theory. We describe here the main assumptions, as they will be used throughout the paper. Our model retains the essential features to study tidal instability: rotation, stratification, magnetic fields and a tidally deformed geometry.

We consider a primary self-gravitating body of mass $M_{1}$ and volume $\mathcal{V}$, filled with an electrically conducting and rotating fluid. Radiative fluid envelopes are expected to undergo differential rotation (Goldreich & Schubert, 1967), for instance provided by the contraction occurring during the pre-main-sequence phase or baroclinic torques (Busse, 1981, 1982; Rieutord, 2006). However, differential rotation tends to be smoothed out by hydromagnetic effects (e.g. Moss, 1992). In particular, differential rotation may sustain magneto-rotational instability, ultimately leading a state of solid-body rotation (Arlt et al., 2003; Rüdiger et al., 2013, 2015) on a few Alfvén timescales (Jouve et al., 2015). Consequently, we assume that the radiative envelope is uniformly rotating.

Then, the primary is orbited by a companion star of mass $M_{2}$. We investigate here only short-period, non-coalescing binaries. Due to the interplay between rotation and gravitational effects, the shape of each binary component departs from the spherical geometry. We do not seek here the mutual tidal interactions between the primary and the secondary. Indeed, at the leading order, the primary (or the secondary) is a triaxial ellipsoid in solid-body rotation (e.g. Chandrasekhar, 1969; Lai et al., 1993), as obtained by modelling the other component by a point-mass companion. Therefore, for the sake of simplicity, we treat the secondary as a point mass for the orbital dynamics (e.g. Hut, 1981, 1982).

The secondary rises an equilibrium tide (Zahn, 1966; Remus et al., 2012) on the fluid primary, with a typical equatorial amplitude denoted $\beta_{0}$. An initially eccentric binary system, with non-synchronised rotating components, evolves towards an orbital configuration characterised by a circular orbit and, ultimately, the system will be synchronised (Hut, 1981, 1982). For weakly elliptic orbits, Nduka (1971) showed that the ellipsoidal distortion $\beta_{0}$ points toward the tidal companion at the leading order. Vidal & Cébron (2017) also showed that weak orbital eccentricities have little effects on the internal fluid dynamics of the primary (at the leading order in the eccentricity). Thus, we assume that the binary system is circularised (or weakly eccentric), with an equatorial bulge aligned with the orbital companion.

Then, we consider only the leading-order component of the tidal potential, associated with the asynchronous tides (Ogilvie, 2014). The fluid spin and orbital angular velocities are coplanar and aligned in the inertial frame. Note that this is the expected equilibrium state of the system (e.g. Chandrasekhar, 1969). The other tidal components, for instance obliquity tides, are mainly responsible for additional fluid instabilities that are superimposed on tidal instability (e.g. Kerswell, 1993b). They can be neglected in a first attempt.

Within the fluid primary, diffusive effects appear at the second order for tidal instability, in the absence of significant surface diffusive effects at a free boundary (Rieutord, 1992; Rieutord & Zahn, 1997). Hence, we assume that the fluid has a uniform kinematic viscosity $\nu$, a radiative (thermal) diffusivity $\kappa_{T}$ (Kippenhahn et al., 1990) and a magnetic diffusivity $\eta=1/(\mu_{0}\sigma)$, where $\sigma$ is the electrical conductivity and $\mu_{0}$ the magnetic permeability of free space. Finally, Clausen & Tilgner (2014) showed that compressibility has almost no effect on tidal instability. Therefore, we model density variations departing from the isentropic profile within the Boussinesq approximation (Spiegel & Veronis, 1960).

2.2 Governing equations

The radiative star is modelled as a tidally deformed, uniformly rotating and stably stratified fluid domain in the Boussinesq approximation. The fluid domain, of typical density $\rho_{M}=M_{1}/\mathcal{V}$, is rotating at the angular velocity $\Omega_{\text{s}}$ in the inertial frame. The orbital configuration is illustrated in Fig. 1. The orbital angular velocity in the inertial frame is denoted $\Omega_{\text{orb}}\,\boldsymbol{1}_{z}$, with $\Omega_{\text{orb}}\neq\Omega_{\text{s}}$ for a non-synchronised orbit. In the central frame, in which the boundary shape is stationary, the outer boundary $\partial\mathcal{V}$ of the fluid domain describes an ellipsoid (e.g. Chandrasekhar, 1969; Lai et al., 1993). Its mathematical expression in Cartesian coordinates $(x,y,z)$ is

[TABLE]

where $(a,b,c)$ are the semi-axes. The equatorial ellipticity is defined by $\beta_{0}=|{a}^{2}-{b}^{2}|/({a}^{2}+{b}^{2})$.

In the following, we work in dimensionless variables. To do so, we choose a typical radius $R$ of the fluid domain as unit of length, $\Omega_{\text{s}}^{-1}$ as a unit of time, $\Omega_{\text{s}}^{2}R/(\alpha_{T}g_{0})$ as unit of the temperature with $g_{0}$ a typical value of the gravity field at the outer boundary and $\alpha_{T}$ the thermal expansion coefficient (at constant pressure). For the magnetic field, we choose $\Omega_{\text{s}}R\sqrt{\rho_{M}\mu_{0}}$ as typical unit. We also introduce the dimensionless orbital frequency $\Omega_{0}=\Omega_{\text{orb}}/\Omega_{\text{s}}$. The dimensionless variables are the velocity field $\boldsymbol{v}$, the temperature field $T$, the magnetic field $\boldsymbol{B}$ and the gravity field $\boldsymbol{g}$. They are written without ∗, to distinguish them from their dimensional counterparts $[\boldsymbol{v}^{*},T^{*},\boldsymbol{B}^{*},\boldsymbol{g}^{*}]$. The field variables, at the position $\boldsymbol{r}$ and time $t$, are governed in the rotating central frame by momentum, energy and induction equations. They read

[TABLE]

with $P$ the hydrostatic pressure (including centrifugal effects), $P_{m}=|\boldsymbol{B}|^{2}/2$ the magnetic pressure, $\mathcal{Q}$ a heat source term and $\boldsymbol{g}=-\nabla\Phi_{0}$ the (imposed) gravity field in the Boussinesq approximation. In governing equations (2), we have introduced as dimensionless numbers the Ekman number $Ek=\nu/(\Omega_{\text{s}}R^{2})$, the Prandtl number $Pr=\nu/\kappa_{T}$, the magnetic Prandtl number $Pm=\nu/\eta$ and the magnetic Ekman number $Em=Ek/Pm$. Typical values are given in Table 1 for stellar interiors. The latter are characterised by weakly diffusive conditions (that is $Ek,Ek/Pr,Ek/Pm\ll 1$). This regime will greatly simplify the analysis of tidal instability.

We do not directly solve full equations (2). Indeed, a reference ellipsoidal state is always first established, on which tidal instability grows upon and nonlinearly saturates. We expand the field variables as perturbations (not necessarily small) around a steady reference ellipsoidal basic state $[\boldsymbol{U}_{0},T_{0}](\boldsymbol{r})$ (detailed in Section 2.3). Thus, the dimensionless nonlinear governing equations for the perturbations $[\boldsymbol{u},\Theta](\boldsymbol{r},t)$ and the magnetic field $\boldsymbol{B}(\boldsymbol{r},t)$ are

[TABLE]

with ${\mathrm{d}}/{\mathrm{d}t}=\partial/\partial t+(\boldsymbol{U}_{0}\boldsymbol{\cdot}\nabla)$ the material derivative along the basic flow $\boldsymbol{U}_{0}$, $p$ the hydrodynamic pressure and $\boldsymbol{B}_{0}(\boldsymbol{r})$ the (initial) fossil field. For the proof-of-concept simulations introduced in Sect. 4, the equations will be supplemented by appropriate boundary conditions.

2.3 Reference ellipsoidal configuration

We consider a steady reference equilibrium state, for which isopycnals coincide with isopotentials of the gravitational potential $\Phi_{0}$ (including centrifugal force, self-gravity and tides). This assumption is consistent with compressible models (Lai et al., 1993). Hence, we assume that the background temperature profile $T_{0}(\boldsymbol{r})$ and the gravity field $\boldsymbol{g}$, solutions of equations (2a)-(2b), are in barotropic equilibrium (for a well-chosen $\mathcal{Q}$) such that $\boldsymbol{g}\times(\nabla T_{0})=\boldsymbol{0}$. We do not consider the baroclinic part, which is known to increase the growth rate of tidal instability in the equatorial plane (Kerswell, 1993a; Le Bars & Le Dizès, 2006). In the nonlinear regime, a baroclinic state would certainly sustain tidal turbulence in stellar interiors. However, we focus here on the less favourable configuration for the growth of tidal instability (that is barotropic stratification). This choice is also consistent with the assumed uniform rotation of the fluid. Indeed, baroclinic torques are known to sustain differential rotation (e.g. Busse, 1981, 1982; Rieutord, 2006). Moreover, considering barotropic stratification is a relevant assumption when the isopycnals move sufficiently fast to keep track of the rotating tidal potential (Le Reun et al., 2018). This situation is expected when stratification is large enough in amplitude compared with the differential rotation $\Omega_{\text{s}}-\Omega_{\text{orb}}$ between the spin and the orbit.

To characterise the strength of stratification, we introduce the dimensional (local) Brunt-Väisälä frequency $N$ in the reference state. In dimensional variables, the latter is defined by

[TABLE]

The fluid ellipsoid is assumed to be entirely stably stratified in density ($N^{2}>0$). The exact profiles in stellar interiors depend on the stellar internal processes. However, we want to compare analytical and numerical computations, which cannot be done for arbitrary profiles. Thus, we assume that the dimensionless total gravitational potential is quadratic, such that

[TABLE]

Then, we consider the (dimensionless) reference temperature in barotropic equilibrium $T_{0}=(N^{2}_{0}/\Omega^{2}_{\text{s}})\,\Phi_{0}$, with $N_{0}$ a typical value of the Brunt-Väisälä frequency at the outer boundary. For intermediate-mass stars with $M_{1}=3M_{\odot}$ (where $M_{\odot}$ is the solar mass), a typical value is $N_{0}\sim 10^{-3}\,\text{s}^{-1}$ (e.g. Rieutord, 2006), and typical values of $\Omega_{\text{s}}^{-1}$ range between 1 and 100 days (Mathys, 2017). This give the estimate $0\leq N_{0}/\Omega_{\text{s}}\leq 100$ in radiative stars. Hence, a barotropic reference configuration is a reasonable starting assumption.

The ellipsoid is initially permeated by an fossil magnetic field $\boldsymbol{B}_{0}(\boldsymbol{r})$ (in dimensionless form). To measure its relative strength (with respect to rotation), we introduce the (dimensionless) Lehnert number (Lehnert, 1954)

[TABLE]

where $B_{0}^{*}$ is the typical (dimensional) strength of the fossil field. The Lehnert number is the ratio of the Alfvén and rotational velocities. When $Le\ll 1$, the Coriolis force dominates the Lorentz force in momentum equation (2a). The regime $Le\ll 1$ is encountered in many magnetic stars (Table 1). In the Sun, a typical value is $Le\sim 10^{-5}$ (Charbonneau, 2014). For the scarce magnetic binaries which have been observed, the median field strength is $B_{0}^{*}\sim 1$ kG (see also values in Table 4). This gives the typical values $Le\leq 10^{-5}-10^{-4}$. Hence, we focus on the regime $Le\ll 1$ in the following.

Finally, the orbital configuration drives the equilibrium tidal flow (e.g. Remus et al., 2012). For non-synchronised orbits ($\Omega_{0}\neq 1$), its leading-order flow components in the central frame are (e.g. Cébron et al., 2012b; Vidal & Cébron, 2017)

[TABLE]

with $[\boldsymbol{1}_{x},\boldsymbol{1}_{y},\boldsymbol{1}_{z}]$ the unit Cartesian vectors. This is an exact incompressible solution of hydrodynamic momentum equation (2a) without diffusion. Moreover, it satisfies the non-penetration condition $\boldsymbol{U}_{0}\boldsymbol{\cdot}\boldsymbol{1}_{n}=0$ at the boundary $\partial\mathcal{V}$, with $\boldsymbol{1}_{n}$ the unit outward normal vector. Note that basic flow (7) is not rigorously a solution in the presence of an arbitrary magnetic field. Yet, the large-scale poloidal and toroidal components of $\boldsymbol{B}_{0}(\boldsymbol{r})$ are unlikely to modify the equilibrium tidal flow in the weak field regime $Le\ll 1$ as often assumed (e.g. Kerswell, 1993a, 1994; Mizerski & Bajer, 2011).

3 Onset of tidal instability

We present the stability analysis of tidal instability at the linear onset. Firstly, we outline the general stability method in Sect. 3.1. In Sect. 3.2, we carry out an asymptotic analysis to get physical insight of the instability mechanism. The latter mechanism is compared and validated with the (numerical) solutions of the full stability equations in Sect. 3.3, without making any prior assumption. Finally, we discuss the (laminar) magnetic diffusive effects in Sect. 3.4.

3.1 Short-wavelength perturbations

In the absence of any driving mechanism, a fossil field $\boldsymbol{B}_{0}$ slowly decays on the Ohmic diffusive timescale $(\Omega_{\text{s}}\,Ek/Pm)^{-1}$. This time is larger than the typical lifetime of the least massive stars on the main-sequence (e.g. Braithwaite & Spruit, 2017). However, equations (3) support the propagation of several waves in rotating radiative interiors, characterised by $Le\ll 1$ and $N_{0}/\Omega_{\text{s}}\gg 1$ (see Table 1). They can strongly modify the dynamic evolution of radiative envelopes. These waves are continuously emitted and, in the presence of tides, they can be nonlinearly coupled with the equilibrium tidal velocity field $\boldsymbol{U}_{0}$ to sustain tidal instability. Tidal instability is intrinsically a local (small scale) instability (Kerswell, 2002; Cébron et al., 2012b; Barker & Lithwick, 2013a, b), but it also exists in global models (e.g. Kerswell, 1993a; Grannan et al., 2016; Vidal et al., 2018). The global stability analysis is beyond the scope of the present study. However, in the diffusionless regime, three-dimensional global perturbations of small enough length scales are excited (e.g. Vidal & Cébron, 2017), such that they are not affected by the boundary. Hence, we can advantageously investigate the growth of tidal instability in stellar interiors by performing a local stability analysis. In Appendix A, we have extended the general local stability theory to account for combined magnetic and buoyancy effects within the Boussinesq approximation.

We focus on the subsonic wave spectrum (low Mach number), made of MAC (Magneto-Archimedean-Coriolis) waves. Indeed, high-frequency sonic waves are not involved in tidal (elliptical) instability (Le Duc, 2001), though they may be coupled with tides (e.g. in coalescing binary neutron stars, see Weinberg, 2016). The properties of MAC waves have already been outlined elsewhere (e.g. Gubbins & Roberts, 1987; Mathis & de Brye, 2011; Sreenivasan & Narasimhan, 2017). Note that they have global bounded counterparts, known as Magneto-Archimedean-Coriolis (MAC) modes. The global modes are briefly discussed in Appendix B. The wave spectrum is bounded from below by slow Magneto-Coriolis (MC) waves, sustained by the Lorentz and Coriolis forces with an angular frequency $\omega_{i}$ scaling as $|\omega_{i}|\propto Le^{2}$ (e.g. Malkus, 1967; Labbé et al., 2015). The spectrum is bounded from above by internal gravity waves (modified by rotation), with an angular frequency $|\omega_{i}|\leq N_{0}/\Omega_{\text{s}}$ for strong stratification (Friedlander & Siegmann, 1982a). In-between, the spectrum exhibits Coriolis waves (Greenspan, 1968; Backus & Rieutord, 2017) and inertial-gravity (or gravito-inertial) waves (e.g. Dintrans et al., 1999; Mirouh et al., 2016).

In the weak field limit $Le\ll 1$, magnetic effects are negligible (at the leading order) on inertial waves (Schmitt, 2010; Labbé et al., 2015) and gravito-inertial ones, as outlined in Appendix B. Moreover, only nonlinear couplings of inertial and gravito-inertial waves can trigger tidal instability with significant growth rates to overcome the leading-order diffusive effects (Kerswell, 1993a, 1994), as we confirm in Appendix C. This behaviour is also supported by local simulations (Barker & Lithwick, 2013a) and global dynamo numerical simulations in homogeneous (Cébron & Hollerbach, 2014; Reddy et al., 2018) and stratified fluids (Vidal et al., 2018). They showed that even a dynamo magnetic field only barely modifies the hydrodynamic tidal flows. Therefore, we can consider only the hydrodynamic Boussinesq stability equations in relevant the weak field regime $Le\ll 1$. The leading-order magnetic effect is the Joule diffusion. From the values given in Table 1, diffusive effects can be a priori neglected at the first order of the stability theory. We will confirm that this assumption is relevant by reintroducing them in Sect. 3.4.

We seek three-dimensional local perturbations, solution of linearised hydrodynamic equations (3). To do so, we consider short-wavelength (WKB) perturbations (Lifschitz & Hameiri, 1991; Friedlander & Vishik, 1991). They are local (plane-wave) perturbations, barely sensitive to the ellipsoidal boundary $\partial\mathcal{V}$, advected along the fluid trajectories $\boldsymbol{X}(t)$ of $\boldsymbol{U}_{0}(\boldsymbol{r})$. Given basic tidal flow (7), the Eulerian three-dimensional perturbations are expressed as

[TABLE]

where $\boldsymbol{k}(t)$ is the local wave vector with the initial value $\boldsymbol{k}_{0}$. The local stability equations are solved in Lagrangian formulation, yielding the following ordinary differential equations (in dimensionless form)

[TABLE]

with ${\mathrm{D}}/{\mathrm{D}t}$ the Lagrangian time derivative. The solenoidal condition $\widehat{\boldsymbol{u}}\cdot\boldsymbol{k}=0$ is satisfied as long as it holds at the initial time, that is $\widehat{\boldsymbol{u}}(0)\cdot\boldsymbol{k}_{0}=0$ in the Lagrangian description. Equations (9) do depend on the fluid trajectories $\boldsymbol{X}(t)$, because the gravity field $\boldsymbol{g}$ is spatially varying.

Equations (9) are ordinary differential equations along the Lagrangian trajectories $\boldsymbol{X}(t)$. They are also independent of the magnitude of $\boldsymbol{k}_{0}$ in the diffusionless limit. We follow Le Dizès (2000), by restricting the initial wave vector to the unit spherical surface

[TABLE]

where $\phi_{0}\in[0,2\pi]$ is the longitude and $\theta_{0}\in[0,\pi]$ is the colatitude between the spin axis $\boldsymbol{1}_{z}$ and the wave vector $\boldsymbol{k}_{0}$. In practice, equations (9) are integrated from a range of wave vectors $\boldsymbol{k}_{0}$ and initial positions $\boldsymbol{X}_{0}$ within the reference ellipsoidal domain. The basic state is unstable against short-wavelength perturbations if

[TABLE]

Then, we determine the maximum (diffusionless) growth rate $\sigma$ as the fastest growing solution for all initial conditions, that is the largest Lyapunov exponent. This gives a sufficient condition for instability.

3.2 Asymptotic analysis

Equilibrium tidal flow (7) admits analytical periodic fluid trajectories $\boldsymbol{X}(t)$ and wave vectors $\boldsymbol{k}(t)$, solution of equations (9a)-(9b). To get physical insight of the instability mechanism, we carry out an asymptotic analysis in the limit $\beta_{0}\leq 1$. We expand all quantities ($\boldsymbol{X},\boldsymbol{k},\widehat{\boldsymbol{u}},\widehat{\Theta}$) in successive powers of $\beta_{0}$ (see technical details in Le Dizès, 2000).

3.2.1 Triadic (nonlinear) couplings

It has been recognised for a long time that tidal instability is a parametric instability in homogeneous (e.g. Bayly, 1986; Waleffe, 1990) and stratified fluids (e.g. Miyazaki & Fukumoto, 1992; Miyazaki, 1993). The instability is due to triadic interactions between pairs of waves that are coupled with the underlying tidal flow (7). At the leading asymptotic order ($\beta_{0}=0$), a necessary condition for a parametric tidal instability in rotating fluids is given by the resonance condition in the central frame (Kerswell, 2002; Vidal & Cébron, 2017)

[TABLE]

where $[\omega_{i},\omega_{j}]$ are the angular frequencies of two free waves and $\delta$ a small detuning parameter, allowing for imperfect resonances (Kerswell, 1993a; Le Dizès, 2000; Lacaze et al., 2004; Vidal & Cébron, 2017). The latter are due to either diffusive or topographic effects ($\delta\to 0$ for diffusionless fluids and weakly deformed spheres $\beta_{0}\ll 1$). Detuning effects are negligible in the astrophysical regime (almost diffusionless and with $\beta_{0}\ll 1$). Note that the case of synchronised orbits, characterised by $\Omega_{0}=1$ (in average), is forbidden by condition (12). Synchronised orbits must be treated separately (see Appendix D).

Among the aforementioned resonances, sub-harmonic resonances are characterised by $\omega_{i}=-\omega_{j}$. Then, resonance condition (12) reduces (in the diffusionless regime) to

[TABLE]

which is a necessary condition for sub-harmonic tidal instability. Sub-harmonic resonances have been found to be the most unstable in homogeneous fluids (Kerswell, 1993a, 1994; Le Dizès, 2000; Vidal & Cébron, 2017), that is generating the largest growth rates.

We are now in a position to survey the possible nonlinear couplings of the different types of waves that can trigger tidal instability. The waves can be combined in several ways to satisfy the resonance condition in non-synchronised systems. For instance, from condition (13), tidal instability traditionally exists in the orbital range $-1\leq\Omega_{0}\leq 3$ when it involves Coriolis waves (e.g. Craik, 1989; Le Dizès, 2000; Vidal & Cébron, 2017). We investigate in depth the coupling of hydrodynamic waves, postponing the discussion of hydromagnetic waves (unimportant for the present problem) to Appendix C.

3.2.2 Hydrodynamic waves at the parametric resonance

The behaviour of tidal instability is intrinsically associated with the properties of the waves involved in the triadic resonances. The wave-like equation, introduced in Appendix B, is a mixed hyperbolic-elliptic partial differential equation. In the general case, a wave-like hyperbolic domain coexists with an elliptic domain, in which the waves are evanescent. At the leading asymptotic order $\beta_{0}=0$, the characteristic curve delimiting the two domains is (Friedlander & Siegmann, 1982b)

[TABLE]

with $s$ the cylindrical radius. The hydrodynamic wave spectrum is divided in two main regimes. On the one hand, we have inertial waves modified by gravity, called inertial-gravity waves and denoted $\mathcal{H}$. They have hyperbolic turning surfaces given by equation (14). They are sub-divided in two families given by

[TABLE]

On the other hand, we have gravity waves modified by rotation, called gravito-inertial waves and denoted $\mathcal{E}$. They have ellipsoidal turning surfaces given by equation (14). They are also divided in two families, characterised by

[TABLE]

These properties are quite general, because equation (14) depends solely on the reference state. Therefore, both global modes (e.g. Dintrans et al., 1999) and local waves propagating upon this reference configuration exhibit this distinction.

The different families of waves satisfying sub-harmonic resonance condition (13) are illustrated in Fig. 2. This is the main result of the linear theory, as this provides a necessary (and sufficient, see below) condition for the existence of tidal instability (in both global and local models). Two kinds of tidal instability can be obtained, depending on the value of key parameter $\Omega_{0}$. At the leading asymptotic order, we have obtained a general expression for sub-harmonic resonance condition (13) in the local theory, which can be written as

[TABLE]

with the background rotation $\widetilde{\Omega}_{0}=\Omega_{0}/(1-\Omega_{0})$, $\widetilde{N}_{0}=(N_{0}/\Omega_{\text{s}})/|1-\Omega_{0}|$, $\widetilde{\omega}=4(1+\widetilde{\Omega}_{0})^{2}$, the initial position $\boldsymbol{X}_{0}=(x_{0},z_{0})^{\top}=r_{0}\,(\sin\alpha_{0},\cos\alpha_{0})^{\top}$ where $r_{0}$ is the initial radius and $\omega_{1}=\widetilde{N}_{0}^{4}r_{0}^{4}\cos^{2}\alpha_{0}\sin^{2}\alpha_{0}$. The associated wave-like domains and colatitude angles $\theta_{0}$ are shown in Figures 3 and 4.

The classical allowable range of the instability in homogeneous fluids is $-1\leq\Omega_{0}\leq 3$ (Craik, 1989; Le Dizès, 2000). Within this range, the sub-harmonic condition involves only $\mathcal{H}$ waves, as shown in Fig. 2. For neutral stratification ($N_{0}=0$), they are inertial waves $\mathcal{H}_{1}$, propagating in the whole fluid cavity (Friedlander & Siegmann, 1982b). They have the colatitude angle at the sub-harmonic resonance (Le Dizès, 2000)

[TABLE]

This remains valid in weakly stratified fluids (that is $N_{0}/\Omega_{s}\ll 1$). Indeed, $\mathcal{H}_{1}$ waves are only slightly modified by buoyancy. They still propagate in the whole fluid domain, as shown in Fig. 3 (left panel). In addition, their colatitude angle $\theta_{0}$ is slightly larger than the value predicted by formula (18) on the polar axis.

When $N_{0}/\Omega_{\text{s}}\geq 1$, $\mathcal{H}_{1}$ waves morph into $\mathcal{H}_{2}$ waves made of inertia-gravity waves. These waves are strongly modified by buoyancy. Their wave-like domain is confined between hyperboloids, as shown in Fig. 3 (right panel). Outside the hyperboloid volume, these waves at the sub-harmonic resonance are evanescent (in global models). The characteristic curve delimiting the wave-like and evanescent domains, given by equation (14), is hyperbolic. Along the rotation axis, local waves at the sub-harmonic resonance do not propagate in the evanescent regions for vertical positions $z_{c}$ satisfying

[TABLE]

This shows that axial stratification has a stabilising effect.

This behaviour is responsible for an equatorial trapping of the waves in the other directions at the sub-harmonic resonance. Indeed, the hyperbolic wave-like domain, bounded by (14), converges towards the conical volume delimited by the asymptotic limit $\cos(\theta_{c})=|1-\Omega_{0}|/2$ (Friedlander & Siegmann, 1982b), where $\theta_{c}$ is the critical colatitude. This is exactly formula (18). Therefore, expression (18) also defines the position of the critical latitudes at which the waves at the sub-harmonic resonance have a group velocity orthogonal to the gravity field (here the radial direction at the leading order in $\beta_{0}$), that is a wave vector $\boldsymbol{k}\propto\boldsymbol{g}$. Hence, these specific waves are insensitive to stratification. We emphasise that the presence of stratification does not alter the position of the critical latitudes (Friedlander & Siegmann, 1982b, a). When $|1-\Omega_{0}|\to 0$, the waves at the sub-harmonic resonance are equatorially trapped according to formula (18).

The orbital range $\Omega_{0}\leq-1$ and $\Omega_{0}\geq 3$ is known as the forbidden zone. In this range, tidal instability must involve gravito-inertial waves $\mathcal{E}$ for the sub-harmonic mechanism, whatever the strength of stratification. Indeed, Fig. 2 clearly shows that the waves at the sub-harmonic resonance depend only on the value of the orbital frequency $\Omega_{0}$. When $N_{0}/\Omega_{\text{s}}\leq 1$, the sub-harmonic condition is never satisfied within this orbital range. Hence, no tidal instability is triggered.

However, gravito-inertial waves $\mathcal{E}$ can be excited at the sub-harmonic resonance for strong stratification, typically $N_{0}/\Omega_{\text{s}}\gg 1$ when $|\Omega_{0}|$ increases. Their critical characteristic surfaces, given by equation (14), are ellipsoidal. On the one hand, $\mathcal{E}_{1}$ gravito-inertial waves are trapped in a region that does not encompass the polar axis, as shown in Fig. 4 (left panel). The minimum distance between the spin axis and the wave-like domain in the equatorial plane is given by (Friedlander & Siegmann, 1982b)

[TABLE]

Therefore, the thickness of the wave-like domain increases when the ratio $N_{0}/\Omega_{\text{s}}$ increases. On the other hand, $\mathcal{E}_{2}$ waves at the sub-harmonic resonance are gravito-inertial waves, trapped in a region that excludes the central part of the fluid (right panel of Fig. 4). Along the polar axis, these waves do not propagate when $z$ is smaller than critical value (19). The size of wave-like domain increases when the ratio $N_{0}/\Omega_{\text{s}}$ increases. In the limit $N_{0}/\Omega_{\text{s}}\to\infty$, these waves become almost pure internal gravity waves, propagating in the whole fluid domain at the sub-harmonic resonance. This situation has been investigated numerically in local models (Le Reun et al., 2018), by assuming $\Omega_{\text{s}}=0$.

3.2.3 Asymptotic growth rate in the equatorial plane

At the next asymptotic order in $\beta_{0}$, we can obtain a concise explicit formula for the growth rate $\sigma$ of tidal instability, valid in the equatorial plane $z_{0}=0$. Dispersion relation (17) gives, for $\alpha_{0}=\pi/2$ (after simplification),

[TABLE]

with $x_{0}\leq 1$ the position of the initial trajectory $\boldsymbol{X}_{0}$ in the equatorial plane. In the particular case $\Omega_{0}=0$, equation (21) recovers equation (4.6) of Le Bars & Le Dizès (2006).

Several configurations are possible, depending on the parameters. On the one hand, the LHS of equation (21) is purely imaginary when $-\widetilde{N}_{0}^{2}x_{0}^{2}>\widetilde{\omega}$, when stratification is unstably stratified (with $N_{0}^{2}/\Omega_{\text{s}}^{2}\leq 0$). Then, a centrifugal instability grows upon the reference configuration, with a maximum (dimensionless) growth rate (e.g. Le Bars & Le Dizès, 2006)

[TABLE]

On the other hand, tidal instability is triggered when all terms in equation (21) are real. Hence, no sub-harmonic instability is possible when $\widetilde{N}_{0}^{2}x_{0}^{2}<-3-4\widetilde{\Omega}_{0}\,(2+\widetilde{\Omega}_{0})$. This defines the forbidden zone of tidal instability in stably stratified fluids, at a given position $x_{0}$. For neutral fluids ($N_{0}=0$), we recover the classical allowable orbital range of tidal instability $-1\leq\Omega_{0}\leq 3$. Outside this range, we find that waves can be involved in triadic resonances in stratified fluids. Thus, (sub-harmonic) tidal instability could be triggered in stratified fluids when $\Omega_{0}\leq-1$ and $\Omega_{0}\geq 3$ (range known as the forbidden zone in neutral fluids). Then, the dimensionless growth rate in the equatorial plane is

[TABLE]

Hence, the growth rate $\sigma$ is weakened by stratification when $\widetilde{N}_{0}^{2}x_{0}^{2}$ increases. This effect was already discussed in the conclusion of Le Bars & Le Dizès (2006). They found that elliptical equipotentials are stabilising contrary to circular equipotentials. However, in this former case, their equation slightly differs from equation (23). Actually, their formula is erroneous because we will confirm the validity of expression (23) by direct numerical integration of the local stability equations (see below). Note also that equation (23) does not recover equation (24) of Cébron et al. (2013), obtained in the limit of a buoyancy force of order $\beta_{0}$. In this limit, we recover their approximate formula (24) if we use their value for $\theta_{0}$, artificially set to its hydrodynamic value $\widetilde{\omega}\cos^{2}\theta_{0}=1$ instead of its exact value given by expression (21).

We show in Fig. 5 the maximum growth rate, computed from formula (23), for different orbital configurations $\Omega_{0}$. Several points are worthy of comment. Firstly, tidal instability is excited in the equatorial region when $-1\leq\Omega_{0}\leq 3$ (in the diffusionless limit), that is in the classical orbital range of tidal instability (Le Dizès, 2000). This mechanism occurs for any realistic value of $N_{0}/\Omega_{\text{s}}\leq 100$ (see Table 1). In this orbital range, the maximum growth rate is always obtained for neutral fluids ($N_{0}=0$), yielding the usual (dimensionless) growth rate (Le Dizès, 2000)

[TABLE]

Secondly, outside the classical orbital range (in the forbidden zone), we unravel new tidal instabilities, triggered for large enough values of the Brunt-Väisälä frequency ($N_{0}/\Omega_{\text{s}}\gg 1$). Their growth rate can be larger than one in our dimensionless units (not shown), because their typical timescale is $N_{0}^{-1}$ (rather than $\Omega_{\text{s}}^{-1}$). Note that these sub-harmonic instabilities have been reported in local stratified simulations (Le Reun et al., 2018).

Therefore, in the equatorial region, we have shown that barotropic stratification has (i) a destabilising effect within the usual forbidden zone ($\Omega_{0}\leq-1$ and $\Omega_{0}\geq 3$), and (ii) a stabilising effect when $-1\leq\Omega_{0}\leq 3$. However, we emphasise that a baroclinic state (that is $\boldsymbol{g}\times\nabla T_{0}\neq\boldsymbol{0}$) has the opposite effect when $-1\leq\Omega_{0}\leq 3$ (Kerswell, 1993a; Le Bars & Le Dizès, 2006). This behaviour can be recovered by our asymptotic analysis, by assuming an imposed gravity field with a different equatorial ellipticity $\beta_{1}\neq\beta_{0}$. For such a reference ellipsoidal configuration, formula (23) becomes

[TABLE]

This corrects misprints in equation (D.1) of Cébron et al. (2012b), obtained with a different unit of time. For circular isopotentials ($\beta_{1}=0$), formula (25) clearly shows that the growth rate of tidal instability is enhanced in the equatorial plane. This is the configuration considered by Kerswell (1993a) and Le Bars & Le Dizès (2006). Besides, equation (25) recovers formula (4.7) of Le Bars & Le Dizès (2006) in their particular case $\Omega_{0}=0$.

3.2.4 Along rotation axis

Similarly, we can obtain an analytical formula along the axis of rotation. To do so, we consider initial fluid trajectories close to the spin axis (that is $s_{0}=\beta_{0}\ll 1$). Dispersion relation (17) simplifies along the polar axis into (with $\alpha_{0}=0$)

[TABLE]

Condition (26) shows that the forbidden zone of tidal instability coincides with the one for neutral fluid, that is $\Omega_{0}\leq-1$ and $\Omega_{0}\geq 3$. Outside this range, the asymptotic (dimensionless) growth rate is

[TABLE]

Formula (27) is identical to the diffusionless growth rate devised by Miyazaki (1993), denoting $\widetilde{N}_{0}z_{0}$ their local value of stratification. Hence, an axial stratification is uniformly stabilising along the polar axis.

3.3 Numerical solutions in the orbital range $-1\leq\Omega_{0}\leq 3$

The previous asymptotic analysis shows that stable stratification ($N_{0}/\Omega_{\text{s}}\geq 0$) has indubitably a stabilising behaviour. In particular, axial stratification is responsible for a trapping of the instability in the equatorial region. These observations agree with existing local analyses (Miyazaki & Fukumoto, 1992; Miyazaki, 1993; Kerswell, 1993a; Le Bars & Le Dizès, 2006; Cébron et al., 2012b). However, this is barely consistent with three-dimensional numerical simulations (Vidal et al., 2018), showing that the growth rate at the onset is largely unaffected by stratification. To reconcile these approaches, we investigate the onset of tidal instability in the whole reference fluid domain.

To go beyond the analytical formulas in the equatorial plane and on the polar axis, we solve numerically local stability equations (9). To do so, we have used the local stability code SWAN (Vidal & Cébron, 2017). We have updated it to handle the general local stability equations, which are described in Appendix A. Moreover, by solving numerically the full local equations, we do not assume a priori sub-harmonic condition (13). Hence, we emphasise that the numerical solutions will assess the general validity of sub-harmonic condition (13) in stratified fluids, which has already been confirmed in homogeneous fluids (Kerswell, 1993a, 1994; Le Dizès, 2000; Vidal & Cébron, 2017).

In the astrophysical regime $\beta_{0}\ll 1$, the resonance condition (12) or (13) (if valid), are satisfied numerically for only a few initial wave vectors $\boldsymbol{k}_{0}$. Numerically, this is too expansive to survey all the possible configurations for $\boldsymbol{k}_{0}$. Thus, we set the equatorial ellipticity to the value $\beta_{0}=0.2$. This does not change in any way the relevance of the following numerical results, because $\sigma$ is proportional to $\beta_{0}$ (when $\beta_{0}\ll 1$). However, for large values of $\beta_{0}$, the general resonance condition (12) can be satisfied for a wider range of initial wave vectors $\boldsymbol{k}_{0}$, due to geometrical detuning effects (Le Dizès, 2000; Vidal & Cébron, 2017). Hence, the computations are more tractable numerically. In practice, we have considered a large enough number of fluid trajectories $\boldsymbol{X}(t)$ and $\boldsymbol{k}_{0}$, sampling the whole ellipsoidal domain to get representative results.

We have validated the code against analytical formulas (23) and (27), obtaining a perfect agreement and cross-validating the asymptotic analysis (not shown). Then, we only investigate the stability of equilibrium tidal flow (7) within the orbital range $-1\leq\Omega_{0}\leq 3$, representative of the binary systems considered in Sect. 5. When stratification is neutral ($N_{0}=0$), the whole domain is unstable as expected (not shown), with a homogeneous growth rate predicted by formula (24). We survey illustrative stably stratified configurations $N_{0}/\Omega_{0}\geq 0$ in Fig. 6. Several aspects are worthy of comment. We clearly recover the trapping of the instability due to axial stratification, outlined by the weakening of the growth rate in formula (27). In the bulk, the weakening first occurs near the polar regions, and then spreads out towards lower latitudes when $N_{0}/\Omega_{s}$ increases (from top to bottom panels in Fig. 6). Along the polar axis, it turns out that the transition between unstable and stable areas occurs at position (19). In addition, the equatorial region is still unstable for the range of $N_{0}/\Omega_{\text{s}}$ considered, as observed in Fig. 5. Then, the numerical analysis unravels an unexpected feature compared to the asymptotic analysis. When $N_{0}/\Omega_{\text{s}}$ increases, tidal instability is always triggered in the bulk. Non-vanishing growth rates exist as long as waves can be nonlinearly coupled, according to the resonance condition that is valid when $\beta_{0}\ll 1$ (bounded from below and above by the grey dashed curves). An exception appears here for $\Omega_{0}=-0.5$ and $N_{0}/\Omega_{\text{s}}=5$ (top panel of Fig. 6). This is due the finite value $\beta_{0}=0.2$ used in the numerics, which is responsible for imperfect resonances in condition (12) due to geometric detuning effects (e.g. Le Dizès, 2000; Lacaze et al., 2004; Vidal & Cébron, 2017). Moreover, the striking feature is that stratification tends to confine tidal instability along critical (conical) latitudes (white dashed lines), tilted from the spin (polar) axis. The tilt angle in the numerics is exactly the colatitude angle $\theta_{0}$ (given our numerical resolution, not shown), predicted by formula (18) and which maximises the classical tidal instability for neutral fluids ($N_{0}=0$). This shows that the equatorial trapping does not affect similarly all the orbits. When $-1\leq\Omega_{0}\leq 1$, the tilt angle $\theta_{0}$ given by formula (18) goes from $\theta_{0}=0$ to $\theta_{0}=\pi/2$. Hence, the instability on retrograde orbits (with small values of $\theta_{0}$) is less weakened than on prograde orbits. When $N_{0}/\Omega_{\text{s}}\gg 1$, tidal instability is equatorially trapped between the conical layers, with growth rates in the equatorial plane predicted by formula (23). However, on these conical layers, it turns out that the largest growth rate $\sigma$ is unaffected by stratification, for any value of $N_{0}/\Omega_{s}$. Hence, the maximum growth rate of tidal instability in stratified fluids is always given by formula (24), for any orbit in the orbital range $-1\leq\Omega_{0}\leq 3$.

Therefore, the numerical analysis has confirmed and extended the asymptotic analysis. In stably stratified interiors, resonance condition (13) illustrated in Fig. 2 is a necessary and sufficient condition for tidal instability (when $\beta_{0}\ll 1$). Indeed, we have not found any other resonance yielding larger growth rates than the ones at the sub-harmonic resonance. In the orbital range $-1\leq\Omega_{0}\leq 3$, tidal instability is triggered by sub-harmonic resonances of inertia-gravity waves. Moreover, there is an equatorial trapping of tidal instability between conical latitudes, depending on the orbital configuration according to formula (18). At these latitudes, the wave vector is parallel to the gravity field, such that the maximum growth rate is unaffected by the stable stratification.

3.4 Leading-order (laminar) diffusive effects

We reintroduce now the leading-order (laminar) diffusive effects at the onset of tidal instability. In the diffusive regime, tidal instability is triggered if the largest diffusionless growth rate $\sigma$ overcomes the (negative) laminar damping rates due to viscosity $\tau_{\nu}$, radiative diffusivity $\tau_{\kappa}$ and Joule diffusion $\tau_{\Omega}$. Hence, the diffusionless growth rate $\sigma$ ought to be reduced by the laminar damping rates, yielding the diffusive growth rate

[TABLE]

We have confirmed in Sect. 3.3 that tidal instability is a parametric instability, involving only inertial and/or gravito-inertial waves in radiative interiors. Consequently, we can simply estimate the laminar damping rates by computing the damping rates of the inertial and gravito-inertial waves involved in the triadic couplings. Indeed, triadic couplings can only give non-vanishing growth rates (28) if the waves individually exist, that is if they are not damped by any diffusive effect before being efficiently nonlinearly coupled. We have shown in Sect. 3.3 that the diffusionless growth rate $\sigma$ is maximum on critical latitudes, where the wave vector satisfies $\boldsymbol{k}_{0}\times\boldsymbol{g}=\boldsymbol{0}$ (when $\beta_{0}\ll 1$). Then, in the local plane-wave model, the buoyancy term in the local vorticity equation (which is proportional to $\boldsymbol{k}_{0}\times\boldsymbol{g}$) vanishes such that vorticity and energy equations are uncoupled (in the local formalism). This means that these waves are locally insensitive to stratification on the critical latitudes, yielding $\tau_{\kappa}=0$. Thus, in the absence of background turbulent motions (see the discussion in Sect. 3.5), the waves are individually damped by viscosity and Joule diffusion (in the weak field regime $Le\ll 1$).

For the stability computations, we rewrite here the magnetic field as

[TABLE]

where the fossil field $\boldsymbol{B}_{0}$ is assumed to be steady here. The pervading fossil magnetic fields are nearly axisymmetric and dipole-dominated at the leading order, as observed in magnetic binaries (e.g. Alecian et al., 2016; Landstreet et al., 2017; Kochukhov et al., 2018; Shultz et al., 2017, 2018). For the stability computations, we assume a fossil field of the form $\boldsymbol{B}_{0}\propto\boldsymbol{1}_{z}$, with a dimensionless strength measured by the Lehnert number $Le$. The presence of other field components only slightly modifies the frequencies of inertial and inertial-gravity waves at the onset. We also expect the damping rates to have a similar behaviour in the laminar regime. In the weak field regime $Le\ll 1$, the damping rates have been devised by Sreenivasan & Narasimhan (2017) in the local theory and by Kerswell (1994) in the global one. They depend on the wave properties, that is here the wave vector. Notably, we explain in Appendix C why the mixed couplings between inertial waves and slow MC waves cannot lead to tidal instability in short-period binaries (in the presence of Joule diffusion). Hence, we remind the reader that only parametric resonances of inertial and gravito-inertial waves can generate tidal instability in the presence of magnetic fields.

Then, the viscous and the Joule damping rates in the weak field regime ($Le\ll 1$) in any $z$-plane read

[TABLE]

with $|\boldsymbol{k}_{0}|$ the norm of the wave vector at the resonance (and at the initial time) and $\cos(\theta_{0})$ given by condition (18). Expression (30b) is quantitatively valid when $\boldsymbol{B}_{0}\propto\boldsymbol{1}_{z}$ (Sreenivasan & Narasimhan, 2017). In the regime $Pm\ll 1$, laminar Joule diffusion is the leading-order dissipative effect ($|\tau_{\Omega}|\gg|\tau_{\nu}|)$. The Joule damping has already been considered for homogeneous fluids (Kerswell, 1994; Herreman et al., 2009, 2010; Cébron et al., 2012b). Note that formula (30b) is exactly the Joule damping rate of tidal instability in neutral fluids ($\widetilde{N}_{0}=0$). Besides, formulas of Herreman et al. (2009) and Cébron et al. (2012b) are recovered in the limit $|\boldsymbol{k}_{0}|\gg 1$, by using the resonance condition $2\cos\theta_{0}=\pm 1$ to set $\theta_{0}$ for $\widetilde{N}_{0}=0$. Formula (30b) has two asymptotic behaviours, depending on the value of $\boldsymbol{k}_{0}$. They are separated by the condition

[TABLE]

On the one hand, we obtain a wave-dominated regime when $|\boldsymbol{k}_{0}|\leq Em^{-1/2}$, in which the Joule damping rate scales as $\tau_{\Omega}\propto-Em\,Le^{2}|\boldsymbol{k}_{0}|^{4}/4$. On the other hand, we get a diffusion-dominated regime when $|\boldsymbol{k}_{0}|\geq Em^{-1/2}$. In the latter regime, the damping rate is independent of the wave vector and scales as $\tau_{\Omega}\propto-Le^{2}/Em$.

We illustrate in Fig. 7 the evolution of Joule damping rate (30b) in the different regimes. Tidal instability will survive in the presence of magnetic fields if $\sigma\gg|\tau_{\Omega}|$. Typical values of the diffusionless growth rate, given by formula (24), are $\sigma\sim\mathcal{O}(\beta_{0})$ with $\beta_{0}\in[10^{-4},10^{-2}]$ in close binaries. We clearly observe that tidal instability does survive against Joule diffusion, for short-wavelength perturbations with $|\boldsymbol{k}_{0}|\leq 10^{4}-10^{5}$. For larger values of the wave number, the Joule damping rate always overcomes the diffusionless growth rate, such that no instability is triggered.

3.5 Other dissipative mechanisms

At the linear onset, the laminar diffusive effects discussed in Sect. 3.4 are always present, but we have shown that they are smaller than the largest diffusionless growth rate $\sigma$. Hence, these effects can be reasonably neglected at the onset, yielding $\sigma_{\mathcal{D}}\sim\sigma$. However, other diffusive effects do exist in stellar interiors, which may weaken the growth of tidal instability.

Phase mixing is known to provide a significant source of Joule heating, by dissipating Alfvén (and magneto-sonic) waves in stellar atmospheres (e.g. Heyvaerts & Priest, 1983) or stellar interiors (Spruit, 1999). Yet, phase-mixing is probably irrelevant for tidal instability in the weak field regime ($Le\ll 1$), notably because Aflvén waves are not involved in tidal instability (see Appendix C). Whether phase-mixing could increase the dissipation of inertial and gravito-inertial waves in stellar interiors remains unknown and is largely beyond the scope of the present study.

In the presence of an innermost convective envelope, inertial and gravito-inertial waves can exhibit singular shear layers, reminiscent of wave attractors (e.g. Dintrans et al., 1999; Rieutord & Valdettaro, 2010; Mirouh et al., 2016; Lin & Ogilvie, 2017; Rieutord & Valdettaro, 2018). These global wave patterns are not directly involved in the parametric mechanism of tidal instability, but they fill the whole fluid domain and may provide an additional bulk damping rate for tidal instability. Indeed, these structures can be destabilised in the nonlinear regime (Jouve & Ogilvie, 2014), possibly yielding small-scale instabilities. Brunet et al. (2019) showed that the resulting small-scale turbulence in the bulk could be well modelled by a turbulent eddy diffusion. In particular, anisotropic shear-driven turbulence may be generated (e.g. Zahn, 1992). In such a case, Garaud et al. (2017) and Gagnier & Garaud (2018) proposed to model the local shear-driven turbulence by introducing the turbulent viscosity

[TABLE]

with $\kappa_{T}$ the radiative diffusivity, $J$ the local gradient Richardson number and $S$ the local shearing rate (responsible for the shear instabilities). The stability criterion for shear instabilities is apparently $JPr\simeq 0.007$ (Garaud et al., 2017). Then, prediction (32) would yield an upper-bound effective turbulent Ekman number $Ek_{\text{t}}\leq 10^{-10}$ for speculative stellar values, to use in expression (30a) for the viscous damping rate. For the range of wave numbers $|\boldsymbol{k}_{0}|$ given in Fig. 7, we find that the associated turbulent damping rate is smaller than the diffusionless growth rate $\sigma$ (not shown). Therefore, even in the presence of shear-driven instabilities, the associated turbulent damping can be ignored at the onset of tidal instability for the (strong enough) tidal deformations considered in this work ($\beta_{0}\sim 10^{-3}-10^{-2}$, see Table 3).

4 Turbulent mixing due to nonlinear tidal flows

At this stage, we have shown that tidal instability can be triggered within stably stratified interiors, even against the stabilising effect of a background (fossil) magnetic field in the weak field regime ($Le\ll 1$). The next step is to characterise the saturated regime of tidal flows. Modelling turbulent mixing in radiative interiors is one of the enduring problems in stellar dynamics (e.g. Zahn, 1974). Several studies have examined the turbulence in radiative zones (e.g. Zahn, 1992; Mathis et al., 2004; Garaud et al., 2017; Gagnier & Garaud, 2018; Mathis et al., 2018). Yet, these models focus on shear-driven turbulence. Hence, tidally driven turbulence in binaries remains to be described. Numerical simulations have shown that small-scale turbulence can be excited by tidal instability (Barker & Lithwick, 2013a, b; Le Reun et al., 2017), possibly leading to global tidal mixing (Vidal et al., 2018). Thus, tidal mixing is expected in radiative interiors. We motivate our assumptions in Sect. 4.1. Then, we use dimensional-type arguments in Sect. 4.2 to develop a phenomenological description of the nonlinear tidal mixing in radiative interiors in Sect. 4.3, valid in the orbital range $-1\leq\Omega_{0}\leq 3$. Finally, we assess its validity by using proof-of-concept simulations in Sect. 4.4.

4.1 Assumptions

As shown in Sect. 3, magnetic effects play a minor role at the onset of instability in the orbital range $-1\leq\Omega_{0}\leq 3$. They essentially weaken the growth rate of tidal instability, due to the laminar Joule damping. In the (transient) linear growth, the fossil field $\boldsymbol{B}_{0}$ is not much affected by tidal flows, which are not expected to generate significant mixing. It only decays on the slow (laminar) Joule diffusion time, which is much larger than the timescale for the onset of tidal instability for stellar parameters. This phenomenon is well-known in global models of resistive magnetohydrodynamics, also known as free-decay of magnetic fields (e.g. Moffatt, 1978). However, in the saturated regime, the fossil field would interact nonlinearly with the nonlinear tidal flows, as governed by induction equation

[TABLE]

in which the initial time $t=0$ refers now to an initial time just after the growth of the instability. In equation (33a), the nonlinear velocity field $\boldsymbol{u}$ is governed by momentum equation (3a). In the relevant weak field regime $Le\ll 1$, nonlinear numerical simulations of the coupled problems showed that magnetic effects do not weaken the turbulent tidal flows (Barker & Lithwick, 2013b; Cébron & Hollerbach, 2014; Vidal et al., 2018). These turbulent flows generate mixing, that would ultimately increase the Ohmic diffusion of the fossil field $\boldsymbol{B}_{0}$. Therefore, Ohmic diffusion ought to be increased (a priori). This is often modelled by introducing a turbulent magnetic diffusivity (e.g. Kitchatinov et al., 1994; Yousef et al., 2003; Käpylä et al., 2019). In this configuration, the initial fossil field is expected to decay on somehow faster timescales, due to the presence of mixing generated by tidal instability. This situation strongly differs from the picture of ideal magnetohydrodynamics, in which the laminar decay of the fossil field is small (and so can be sometimes neglected). Note that an initial fossil field may still be in quasi-equilibrium with tidal flows, if the dissipated field is continuously regenerated by some kind of dynamo action. However, dynamo action of tidal flows in strongly stratified interiors remains elusive (Vidal et al., 2018) and will not be investigated here. Consequently, to estimate the fossil field decay due to tidal instability, we must estimate the turbulent magnetic diffusivity generated by the saturation of tidal instability.

4.2 Mixing-length theory

Estimating a realistic turbulent magnetic diffusivity is challenging, because no numerical model cannot probe accurately the stellar conditions. This makes the relevance of numerical results sometimes elusive. Therefore, we aim to build asymptotic scaling laws for the tidal mixing, based on dimensional-type arguments that embrace both numerical and stellar conditions. To estimate the local tidal mixing in stratified interiors, we develop a mixing-length theory, by analogy with mixing-length arguments commonly used for shear-driven turbulence in radiative interiors of stars (e.g. Zahn, 1992; Mathis et al., 2004, 2018).

In turbulent flows, the laminar viscosity is often replaced by an effective eddy (turbulent) viscosity, usually modelled by using mixing-length theory in stellar contexts. In hydromagnetic turbulence, Yousef et al. (2003) and Käpylä et al. (2019) argued that in the weak field regime ($Le\ll 1$) the turbulent magnetic Prandtl number is not far from unity. Hence, the turbulent magnetic diffusivity can be a priori modelled by mixing-length type predictions. This is supported by local hydromagnetic simulations of the three-dimensional turbulence generated by tidal instability (Barker & Lithwick, 2013b). They showed that weak magnetic fields can even favour the small-scale tidal turbulence. Global tidal mixing has also been found in global stratified models (Vidal et al., 2018). Thus, we may replace any laminar diffusivity (denoted $\mathcal{D}$) by an effective eddy diffusivity (denoted $\mathcal{D}_{\text{t}}$), induced by the nonlinear tidal flows. Then, mixing-length theory (e.g. Tennekes & Lumley, 1972) predicts in dimensional form (up to a unknown proportional constant)

[TABLE]

where $u_{\text{t}}$ and $l_{\text{t}}$ are respectively the typical (dimensional) local velocity and length scale of the turbulent motions. Note that $u_{\text{t}}$ is the typical amplitude of the nonlinear tidal flows. This must not be confused with the amplitude $u_{w}$ of the waves that are excited by the forcing mechanism (see the case of internal gravity waves in Rogers & McElwaine, 2017). Here, $u_{w}$ is much smaller than $u_{\text{t}}$ in amplitude. Hence, the eddy diffusivity $\mathcal{D}_{\text{t}}$ is a local property of the nonlinear flows, rather than a property of the fluid (or of the wave amplitude). The key point to apply formula (34) is to find accurate predictions for $u_{\text{t}}$ and $l_{\text{t}}$ in the nonlinear regime of tidal instability.

On the one hand, we have shown in Sect. 3 that tidal instability is generated by sub-harmonic resonances of inertial waves, more or less modified by the gravity field in the orbital range $-1\leq\Omega_{0}\leq 3$. This mechanism holds whatever the strength of stratification, measured by the ratio $N_{0}/\Omega_{\text{s}}$. Therefore, the turbulent velocity scale $u_{\text{t}}$ should not depend (strongly) on the local strength of stratification $N_{0}/\Omega_{\text{s}}$. This is supported by proof-of-concept simulations (see Fig. 2b in Vidal et al., 2018), showing that nonlinear tidal flows exhibit the scaling devised in homogeneous fluids (Barker & Lithwick, 2013a; Grannan et al., 2016). This reads

[TABLE]

with $r_{\text{l}}\leq R$ the local position and $\alpha_{1}\sim 0.3-0.5$ a dimensionless pre-factor obtained numerically both in homogeneous (Grannan et al., 2016, estimated from Fig. 4d) and strongly stratified tidal flows (Vidal et al., 2018, estimated from Fig. 2b). Hence, we reasonably estimate the turbulent velocity $u_{\text{t}}$ by using prescription (35). On the other hand, $l_{\text{t}}$ should depend on the local ratio $N_{0}/\Omega_{\text{s}}$. Several regimes have been found in forced stratified turbulence (e.g. Brethouwer et al., 2007).

4.3 Phenomenological prescriptions

4.3.1 Weakly stratified regime ($N_{0}/\Omega_{\text{s}}\leq 1$)

In the weakly stratified regime, characterised by $N_{0}/\Omega_{\text{s}}\leq 1$, $\mathcal{H}_{1}$ waves satisfying the sub-harmonic resonance condition are barely affected by stratification. We estimate $l_{\text{t}}$ by balancing the nonlinear term $(\boldsymbol{u}\boldsymbol{\cdot}\nabla)\,\boldsymbol{u}$ with the injection term $(\boldsymbol{u}\boldsymbol{\cdot}\nabla)\,\boldsymbol{U}_{0}$ in momentum equation (3a). This yields the typical turbulent length scale in dimensional form $l_{\text{t}}\propto\alpha_{1}r_{\text{l}}$. Then, the weakly stratified regime is characterised by the eddy diffusivity (in dimensional form)

[TABLE]

Formula (36) predicts a roughly homogeneous mixing in the weakly stratified regime, as found in global models (Grannan et al., 2016; Vidal et al., 2018) in which $r_{\text{l}}\simeq R$. This explains why the tidal mixing computed in Vidal et al. (2018) is roughly constant as a function of stratification, when $N_{0}/\Omega_{\text{s}}\leq 1$ (see their Fig. 9). However, estimate (36) may be reduced in this regime due to (compressible) density variations (close to the isentropic profile when $N_{0}/\Omega_{\text{s}}\ll 1$).

Finally, formula (36) provides a good estimate of the leading-order term in the eddy diffusivity tensor (e.g. Dubrulle & Frisch, 1991; Wirth et al., 1995). In addition, note that rotation would also support small anisotropic diffusion in the axial direction (Tilgner, 2004; Elstner & Rüdiger, 2007).

4.3.2 Stratified regimes ($N_{0}/\Omega_{\text{s}}\geq 1$)

We now investigate the stratified regimes $N_{0}/\Omega_{\text{s}}\geq 1$. Stratified turbulence is highly anisotropic. Indeed, a commonly observed feature of strongly stratified flows is the formation of quasi-horizontal layers, often described as pancake structures (e.g. Billant & Chomaz, 2001). Such layers are conspicuous in simulations of tidal flows in strongly stratified fluids, both in non-rotating (Le Reun et al., 2018) and rotating fluids (Vidal et al., 2018). Hence, $l_{\text{t}}$ depends on both the direction and the strength of stratification. We introduce two turbulent length scales, respectively $l_{\text{t}}^{\parallel}$ in the normal direction (that is along the gravity field) and $l_{\text{t}}^{\perp}$ in the other horizontal directions.

Several regimes of stratified turbulence have been devised in fundamental fluid mechanics (Billant & Chomaz, 2001; Brethouwer et al., 2007). They are characterised by the buoyancy Reynolds number

[TABLE]

Le Reun et al. (2018) investigated the small-scale turbulence sustained by tides in the regime $\mathcal{R}\leq 1$, in which vertical viscous shearing is significant. However, radiative interiors are in the opposite regime $\mathcal{R}\gg 1$ (Mathis et al., 2018). Moreover, they neglected rotation, by setting $\Omega_{\text{s}}=0$. In such a configuration, the subspaces of waves $[\mathcal{H}_{1},\mathcal{H}_{2}]$ at the sub-harmonic resonance are empty, according to dispersion relations (15). Hence, tidal instability can only involve sub-harmonic resonances of internal waves $\mathcal{H}_{2}$ in the limit $N_{0}/\Omega_{\text{s}}\to\infty$ and $|\Omega_{0}|\to\infty$. Therefore, their results do not apply for our astrophysical problem, for any orbit in the range $-1\leq\Omega_{0}\leq 3$. In the relevant strongly stratified regime ($\mathcal{R}\gg 1$), diffusion is unimportant and the turbulence is three-dimensional (Brethouwer et al., 2007). The general scalings of this regime have been confirmed by turbulence simulations (e.g. Godeferd & Staquet, 2003; Maffioli & Davidson, 2016). Thus, they can be applied to the tidal problem. In addition, rotational effects are also significant within the orbital range $-1\leq\Omega_{0}\leq 3$, even for large values of $N_{0}/\Omega_{\text{s}}\geq 10$. Hence, the resulting turbulence undergoes the combined action of stratification and rotation.

In rotating stratified turbulence, the two turbulent length scales are related by (Billant & Chomaz, 2001)

[TABLE]

with $\alpha_{2}\sim 0.6$ a (numerical) pre-factor constrainted from local turbulent simulations in rapidly rotating and strongly stratified turbulent regime (Reinaud et al., 2003; Waite & Bartello, 2006). This regime is expected to be valid for radiative interiors, notably to describe shear-driven turbulence (Mathis et al., 2018). For strong stratification ($N_{0}/\Omega_{\text{s}}\geq 10$), we combine the two balances obtained by equating (i) the nonlinear term with the buoyancy force in momentum equation (3a) and (ii) the injection term $(\boldsymbol{u}\boldsymbol{\cdot}\nabla)\,T_{0}$ and the nonlinear term $(\boldsymbol{u}\boldsymbol{\cdot}\nabla)\,\Theta$ in energy equation (3b). These balances yield respectively

[TABLE]

where $\Theta_{\text{t}}$ is the typical dimensional turbulent buoyancy perturbation. We recover from balances (39) the classical scaling for the turbulent length scale in the normal direction, that is $u_{\text{t}}\sim l_{\text{t}}^{\parallel}N_{0}$ (e.g. Billant & Chomaz, 2001; Brethouwer et al., 2007). Hence, the turbulent length scale along the gravity direction is

[TABLE]

Scaling (40) shows that tidal mixing falls in the asymptotic regime of strongly stratified turbulence (Brethouwer et al., 2007). Then, we obtain two prescriptions for the eddy diffusivity, the first one $\mathcal{D}_{\text{t}}^{\parallel}$ valid in the gravity direction and the second one $\mathcal{D}_{\text{t}}$ in the perpendicular (horizontal) directions. They yield

[TABLE]

with $\alpha_{1}\sim 0.3-0.5$ and $\alpha_{2}\sim 0.6$ (see above). Prescriptions (41) show that the eddy diffusivity should have a quadratic dependence with the equatorial ellipticity, in any spatial direction. Another interesting prediction in this regime is that the turbulent potential and kinetic energies, defined by (in dimensional variables)

[TABLE]

are comparable in magnitude (Billant & Chomaz, 2001). This can be checked in the numerical simulations (see below).

In-between the two aforementioned stratified regimes, when $1\leq N_{0}/\Omega_{\text{s}}\leq 10$, the situation is unclear. Indeed, Vidal et al. (2018) found that $\boldsymbol{u}\boldsymbol{\cdot}\boldsymbol{g}$, which is responsible for tidal mixing in the normal direction, is largely unaffected by stratification when $N_{0}/\Omega_{\text{s}}\leq 10$ (see their Fig. 4). Hence, we may extend prescription (36) for the turbulent mixing up to $N_{0}/\Omega_{\text{s}}\leq 10$. Yet, this behaviour is not conspicuous in the numerics (see Fig. 9b in Vidal et al., 2018). This may be due to the rather specific numerical method, which inaccurately probed the intermediate regime $1\leq N_{0}/\Omega_{\text{s}}\ll 10$. Thus, a transition may be also expected between the two regimes (36) and (41) when $1\leq N_{0}/\Omega_{\text{s}}\leq 10$.

4.4 Validation against numerical simulations

We assess the relevance of predictions (36) and (41) by using direct numerical simulations. To do so, we solve nonlinear and diffusive equations (3) in a global model. We supplement the governing equations by considering the stress-free conditions

[TABLE]

and assuming a fixed temperature $\Theta=0$ at the boundary. Stress-free conditions (43) are known to lead to spurious numerical behaviours, associated with the evolution of angular momentum in weakly deformed spheres (Guermond et al., 2013). To circumvent this numerical problem, we follow Cébron & Hollerbach (2014) and Vidal et al. (2018) by imposing a zero-angular momentum for the velocity perturbation. Moreover, the external region is assumed to be electrically insulating, such that the magnetic field $\boldsymbol{b}$ matches a potential field at the boundary.

For the computations, we use the proof-of-concept global numerical model introduced in Vidal et al. (2018). Briefly, the reference ellipsoidal configuration (described in Sect. 2.3) is approximated in spherical geometry by an spatially varying equatorial ellipticity profile $\epsilon(\boldsymbol{r},\beta_{0})$, depending of the ellipticity $\beta_{0}$ of the ellipsoidal configuration. This profile is chosen such that the reference configuration satisfies all the aforementioned boundary conditions in the spherical geometry. The simulations have been performed with the open-source nonlinear code XSHELLS (https://nschaeff.bitbucket.io/xshells/), described in Schaeffer et al. (2017) and validated against standard spherical benchmarks (Marti et al., 2014; Matsui et al., 2016). A second-order finite difference scheme is used in the radial direction. The angular directions are discretised using a pseudo-spectral spherical harmonic expansion, provided by the SHTns library (Schaeffer, 2013). The time-stepping scheme is of second order in time and treats the diffusive terms implicitly, while the nonlinear and Coriolis terms are handled explicitly. We refer the reader to Vidal et al. (2018) for additional methodological details of the tidal problem.

To estimate the turbulent magnetic diffusivity in a global model, we measure the decay of an initial large-scale magnetic field (Yousef et al., 2003; Käpylä et al., 2019) in the presence of nonlinear tides, to compare it with the free decay rate of the same magnetic configuration in laminar diffusive models (e.g. Moffatt, 1978). We compute the (dimensionless) decay rate $\sigma_{\eta}\leq 0$ of the volume average of the magnetic energy over the computational integration time $T$ as

[TABLE]

Decay rate (44) is a global estimate in the simulations of the effective diffusivity $\mathcal{D}_{\text{t}}$. Käpylä et al. (2019) measured in a similar way the turbulent diffusivity, obtaining a good quantitative agreement with mean-field analyses. Then, global decay rate (44) should have the same scaling law in $\beta_{0}$ for all the initial magnetic fields $\boldsymbol{B}_{0}$, even if the (numerical) pre-factors will be different. Indeed, all the magnetic components will not obey the same scaling law in the strongly stratified regime (due to the anisotropic mixing). Notably, we expect toroidal magnetic fields, satisfying $\boldsymbol{B}_{0}\boldsymbol{\cdot}\boldsymbol{1}_{n}=0$ (at any position), to be preferentially dissipated in the normal direction. Thus, scaling (41a) should apply predominantly for toroidal fields. On the contrary, we expect the dissipation of poloidal magnetic fields (with predominant components in the normal direction) to obey scaling (41b) in the horizontal directions. However, we emphasise that the pre-factors obtained from numerical simulations, performed for conditions far-removed from the astrophysical regimes, are often irrelevant for astrophysical problems (compared to mixing-length predictions). We only focus on the dependence in $\beta_{0}$, which should be generic whatever the topology of the initial magnetic field in the numerics. Thus, we aim at recovering (i) $\sigma_{\eta}\propto\beta_{0}$ for weakly stratified regime (36) and (ii) $\sigma_{\eta}\propto\beta_{0}^{2}$ for strongly stratified regime (41).

In magnetic radiative stars, the initial fossil field is unlikely force-free (e.g. Duez & Mathis, 2010; Duez et al., 2010), except possibly close to the stellar surface. The exact topology of the field does depend on the Lorentz force, and only magnetic equilibria involving poloidal and toroidal components have been found (e.g. Braithwaite & Spruit, 2017). Then, in addition to the slow laminar Joule diffusion, Braithwaite & Cantiello (2012) showed that an initial fossil field can decay due to the propagation of (slow) Magneto-Coriolis waves (see Appendix B) in the presence of rotation. Such a magnetic decay occurs on the (rather slow) dynamic timescale

[TABLE]

Moreover, the field can be also dissipated by the turbulent mixing generated by nonlinear tidal flows. Thus, the initial field can be dissipated simultaneously by several mechanisms if we neglect in-situ dynamo mechanisms, that would regenerate the field against laminar and turbulent diffusion but are highly debated.

However, we would like the magnetic decay to be insensitive to dynamic evolution (45) in the numerics, to investigate only the turbulent effects in a well controlled set-up. Hence, we aim to find a magnetic configuration in which the initial field would decay solely by laminar Joule diffusion in the absence of tides. To do so, we can reasonably switch-off the Lorentz force in momentum equation, to estimate turbulent magnetic diffusivity (44) for a given initial magnetic field. Without magnetic forces, MC waves are no longer sustained in the system. Moreover, as explained above, the Lorentz force surprisingly plays a negligible role222Even though it is essential for the self-sustained generation of dynamo magnetic fields. on the turbulent mixing generated by nonlinear tidal flows in the (relevant) weak field regime $Le\ll 1$ (Barker & Lithwick, 2013b; Cébron & Hollerbach, 2014; Vidal et al., 2018). Consequently, for this particular problem of tidal instability, neglecting the Lorentz force is advisable in the numerics.

As a reference configuration, we have assumed $\Omega_{0}=0$. Indeed, we have shown theoretically in Sect. 3 that the underlying mechanism of tidal instability does not change in the range $-1\leq\Omega_{0}\leq 3$, and similarly the turbulent scalings (e.g. Grannan et al., 2016; Vidal et al., 2018). Hence, investigating only one orbital configuration is necessary. Then, problem (33) reduces here to a kinematic (linear) initial value problem for the initial field. We emphasise that the exact topology of the initial field will not be essential here for the numerical model. Indeed, without the Lorentz force, induction equation (33a) is uncoupled to the momentum equation. To mimic the slow magnetic decay on the laminar Joule diffusion (in the absence of tides), we have chosen for the initial fossil field the least-damped, poloidal free decay magnetic mode of the sphere (see Moffatt, 1978, p. 36-40). This particular magnetic field is an exact solution of the purely diffusive induction equation. It has the smallest laminar Ohmic free decay rate $\sigma_{\Omega}$ (in dimensionless form), given by

[TABLE]

Thus, this is the most suited initial magnetic field to assess the validity of the turbulent scaling laws. Indeed, slow laminar Joule diffusion (46) should not be coupled with the expected faster turbulent diffusion in the numerics to get robust results. In practice, we conducted the simulations at the fixed dimensionless numbers $Ek=10^{-4},Pr=1$ and $Pm=0.1$. The latter value ensures that no dynamo magnetic field can grow exponentially. Our spatial discretisation is $N_{r}=224$ radial points, $l_{\max}=128$ spherical harmonic degrees and $m_{\max}=100$ azimuthal wave numbers. We have integrated the equations on one (dimensionless) Ohmic diffusive time $(Ek/Pm)^{-1}$, to determine accurately the turbulent decay rate $\sigma_{\eta}$.

Figure 8 shows the representative results for the two stratified regimes. We observe that the decay rate $\sigma_{\eta}$ is always larger than the free decay rate $\sigma_{\Omega}$ of the initial fossil field. Then, the striking feature is that we recover the two scalings as a function of the ellipticity, as predicted by our mixing-length theory. In the weakly stratified regime (top panel), numerical decay (44) agrees well with the linear scaling $\sigma_{\eta}\propto\beta_{0}$, consistent with mixing-length formula (36). The agreement is even much better in the strongly stratified regime (bottom panel), obtaining the quadratic scaling $\sigma_{\eta}\propto\beta_{0}^{2}$ expected from (41).

We note that the observed enhancement generated by tidal instability is rather weak in the simulations. This is not due to the tidal amplitude, which is already two orders of magnitude larger than the typical values for binaries ($\beta_{0}\simeq 10^{-1}$ in the numerics and $\beta_{0}\simeq 10^{-3}-10^{-2}$, see Table 3 below). This simply comes from the over-estimated value of the laminar Joule diffusion in the simulations (that is $Ek/Pm=10^{-3}$). This makes the laminar and turbulent decay rates roughly comparable in amplitude. Simulations in the astrophysical regime (that is $Ek/Pm\leq 10^{-10}$) would show a stronger tidal effect. Yet, our simulations already support the trend predicted by mixing-length theory (41). For stellar conditions, the latter predicts that the tidal decay rate would be much stronger than the laminar Joule decay rate (see the discussion in Sect. 5).

Finally, the typical ratio of the volume averaged thermal and kinetic (dimensionless) energies, for the simulations in the strongly stratified regime (bottom panel of Fig. 8), is $E(\Theta)/E(\boldsymbol{u})=8.1\pm 3.5$. This numerical value agrees very well with the theoretical scaling (42) in the strongly stratified regime (Billant & Chomaz, 2001), yielding $E(\Theta)/E(\boldsymbol{u})\sim N_{0}/\Omega_{\text{s}}=10$ in dimensionless variables. This is another evidence of the validity of the mixing-length theory.

5 Astrophysical discussion

We have obtained a consistent picture of tidal instability in an idealised set-up of radiative interiors. This predicts the linear onset (Sect. 3) and the nonlinear mixing induced by the saturated flows (Sect. 4). For the sake of theoretical and numerical validations, we have only considered rather idealised stellar models, described in Sect. 2. Then, the predictions have been successfully compared with proof-of-concept numerical simulations, paving the way for astrophysical applications.

Indeed, we emphasise that the theory can a priori embrace more realistic stellar conditions. In particular, the mixing-length theory is only based on local dimensional arguments, that should remain valid for more realistic conditions. Therefore, we discuss now our findings in the context of tidally deformed and stably stratified (radiative) interiors. Notably, we are in the position to build a new physical scenario, that may explain the lower incidence of fossil fields in some short-period and non-synchronised binaries (Alecian et al., in prep.).

5.1 A new scenario?

We consider a close binary system with a radiative primary of mass $M_{1}$ and a secondary of mass $M_{2}$. The primary is pervaded by an initial fossil field $\boldsymbol{B}_{0}$. Note that distinction between the primary and secondary is only made for convenience, such that the situation can be reversed in the scenario (if we are interested in the secondary). The orbital and spin angular velocities are respectively $\Omega_{\text{orb}}$ and $\Omega_{\text{s}}$. We focus on non-synchronised binaries in the orbital range $-1\leq\Omega_{0}\leq 3$, where $\Omega_{0}=\Omega_{\text{orb}}/\Omega_{\text{s}}$ is the dimensionless orbital frequency. The orbits are almost circularised, but small orbital eccentricities $e\ll 1$ do not strongly modify the fate of tidal flows (Vidal & Cébron, 2017). We also focus on binaries with short-period systems, with typical periods of $T_{\text{s}}=2\pi/\Omega_{\text{s}}\leq 10$ days. Due to the combined action of the tides and the spin, the star is deformed into an triaxial ellipsoid (Chandrasekhar, 1969; Lai et al., 1993; Barker et al., 2016). The latter is characterised by a typical equatorial ellipticity $\beta_{0}$, estimated from the static bulge theory (Cébron et al., 2012b; Vidal et al., 2018). For the bulge generated onto the primary, this reads

[TABLE]

where $R$ is the typical radius of the primary and $D$ is the typical distance separating the two bodies. The density stratification of the radiative envelope is measured by the typical dimensionless ratio $N_{0}/\Omega_{\text{s}}$, where $N_{0}$ is the typical Brunt-Väisälä frequency. A representative value for intermediate-mass stars is $N_{0}\sim 10^{-3}\,\text{s}^{-1}$ (e.g. Rieutord, 2006), yielding a typical ratio $N_{0}/\Omega_{\text{s}}\gg 10$.

The tidal forcing sustains an equilibrium tidal velocity field (Remus et al., 2012; Vidal & Cébron, 2017) in the primary fluid body. This equilibrium tidal flow can be nonlinearly coupled with inertial-gravity waves, triggering tidal instability. The dimensional growth rate $\sigma^{*}$ of tidal instability, which does not depend on stratification, is given by

[TABLE]

with $\widetilde{\Omega}_{0}=\Omega_{0}/(1-\Omega_{0})$. In the saturated regime, tidal instability increases the internal mixing (due to turbulence). In strongly stratified radiative interiors ($N_{0}/\Omega_{\text{s}}\gg 10$), the turbulent mixing generated by tidal instability is anisotropic, characterised by an eddy turbulent diffusivity $\mathcal{D}_{\text{t}}^{\parallel}$ in the direction of the self-gravity and by $\mathcal{D}_{\text{t}}^{\perp}\,(\gg\mathcal{D}_{\text{t}}^{\parallel})$ in the other (horizontal) directions.

Then, the turbulent mixing will dynamically increase the Joule decay of the fossil field $\boldsymbol{B}_{0}$. However, the latter field, containing both poloidal and toroidal components (to be in quasi-static magnetic equilibrium in the initial stage), will undergo an enhanced anisotropic turbulent Joule diffusion. The mechanism is illustrated in Fig. 9. On the one hand, the poloidal components, which are mainly along the normal direction, would be preferentially dissipated by the (large) eddy diffusivity $\mathcal{D}_{\text{t}}^{\perp}$ in the horizontal directions. On the other hand, the toroidal components, trapped in the stellar interior because they have only horizontal components, are preferentially mixed by the (small) eddy diffusivity $\mathcal{D}_{\text{t}}^{\parallel}$ in the normal direction. Thus, poloidal and toroidal field lines are dissipated on different turbulent timescales. For the poloidal components which can be observed at the stellar surface, tidal instability would yield a global magnetic dissipation within the stellar interior on a few turbulent timescales $\tau_{\text{t}}$ (at the position $r_{\text{l}}\leq R$), given by

[TABLE]

with the pre-factor $K_{\alpha}\sim 30-50$ estimated from the numerical pre-factors in formulas (41). Timescale (49) is the (fast) turbulent timescale in the perpendicular (horizontal) directions. In addition, the magnetic field would also die out in the presence of rotation on dynamic timescale (45) of the (slow) Magneto-Coriolis waves, as shown by Braithwaite & Cantiello (2012).

5.2 Non-magnetic binaries

We assess here the relevance of the tidal scenario for short-period massive binary systems. Non-magnetic and non-synchronised ($\Omega_{0}\neq 1$) binaries are given in Table 3. They have been surveyed by the BinaMIcS collaboration (Alecian et al., in prep.). The predictions of the tidal scenario for these binary systems are given in Table 3. All these close-binaries are rapidly rotating and undergo strong tidal effects (in the two bodies), as measured by the large values of the ellipticity $\beta_{0}\sim 10^{-3}-10^{-2}$. The strong tides should trigger quickly tidal instability, growing on the typical timescale $(\sigma^{*})^{-1}\simeq\mathcal{O}(10^{3})$ years. This is much shorter than the lifetime of these stars, about $\tau_{\text{MS}}\sim 10^{9}$ years for a star of mass $M_{1}=2M_{\odot}$ on the main sequence. Hence, tidal instability is likely to be present in these non-synchronised binaries.

Then, typical values for turbulent timescale (49) are $\tau_{\text{t}}\in[10^{3},10^{7}]$ years, except for HD 23642 and HD 32964 which are less affected by tidal instability (smaller $\beta_{0}$). Thus, the turbulent Joule diffusion of the initial fossil fields may occur on timescales much shorter than the stellar lifetime, typically $\tau_{\text{t}}/\tau_{\text{MS}}\ll 10^{-3}$ for the most favourable systems. Turbulent timescale (49) is also often smaller that the timescale for the laminar Ohmic diffusion of the magnetic field in the absence of turbulence $\tau_{\Omega}\propto(\Omega_{\text{s}}\,Ek/Pm)^{-1}$. As illustrated in Fig. 10, we get $\tau_{\text{t}}/\tau_{\Omega}\leq 10^{-2}$ (except for HD 23642 and HD 32964). Similarly, for several systems, $\tau_{\text{t}}$ is smaller than the dynamic timescale $\tau_{\text{MC}}$ proposed by Braithwaite & Cantiello (2012), given by expression (45).

Therefore, nonlinear tidal flows generated by tidal instability in non-synchronised close binaries may sustain an enhanced turbulent Joule diffusion of the fossil fields, occurring on timescales that are often shorter than the stellar lifetime. This may explain the scarcity of significant magnetic fields at the surface of some massive stars in short-period binaries.

5.3 Magnetic binaries

We give in Table 4 the orbital properties of some scarce magnetic binaries, analysed by the BinaMIcS collaboration. They were already known to be magnetic, such as HD 98088 (Babcock, 1958; Abt et al., 1968; Carrier et al., 2002), $*ϵ*$ Lupi (Shultz et al., 2015) and HD 156324 (Alecian et al., 2014a). The aforementioned tidal scenario would suggest that (strong) magnetic fields may be anomalies in short-period massive binaries. However, their existence does not necessarily challenge the tidal scenario.

We note that HD 156324 and HD 98088 are synchronised. The fate of tidal instability in synchronised orbits ($\Omega_{0}=1$) is discussed in Appendix D. On the one hand, system HD 156324 is nearly circularised (Shultz et al., 2017), whereas non-circular orbits are required for the tidal mechanism to operate in synchronised systems (e.g. Vidal & Cébron, 2017). Hence, the tidal mechanism is not currently relevant for HD 156324. This may explain why the fossil field is still observed. On the other hand, HD 98088 is not circularised such that nonlinear tidal mixing would be expected. However, as shown in Appendix D, formula (49) for the typical turbulent timescale ought to be reduced in synchronised systems, such that $(1-\Omega_{0})^{2}\sim\epsilon_{l}^{2}$ where $\epsilon_{l}\ll 2e$ is the dimensionless amplitude of differential rotation due to the elliptical orbit (Cébron et al., 2012b; Vidal & Cébron, 2017). Based on the accuracy of the measured periods in Table 4, we may assume $\epsilon_{l}\leq 10^{-3}$, such that the turbulent timescale $\tau_{\text{t}}$, given by formula (83), is expected to be much larger in HD 98088 than for the systems of Table 3 (for similar values of the equatorial ellipticity $\beta_{0}\sim 10^{-3}$). Therefore, the existence of the (synchronised) magnetic binaries HD 156324 and HD 98088 appears to be consistent with the tidal scenario. However, the tidal mechanism may have occurred before the synchronisation and/or the circularisation of the systems. Indeed, observations show that circularisation and synchronisation processes are effective for radiative stars (e.g. Giuricin et al., 1984b, a; Zimmerman et al., 2017). On the one hand, the radiative damping of the dynamical tide has received attention in radiative stars (e.g. Zahn, 1975, 1977). On the other hand, synchronisation mechanisms have been much less studied in radiative interiors (e.g. Rocca, 1989, 1987; Witte & Savonije, 1999, 2001), and the comparison with the observations is less satisfactory (e.g. Mazeh, 2008; Zimmerman et al., 2017). Understanding these two processes in radiative stars still deserves further work, notably to consider the overlooked effects of tidal instability in short-period binaries.

Finally, the case of $*ϵ*$ Lupi system (e.g. Uytterhoeven et al., 2005; Shultz et al., 2015) is more intricate. Nonlinear tidal mixing should occur within these stars, with a typical turbulent timescale $\tau_{\text{t}}\sim 10^{3}$ years. The fossil field may be currently dissipated by the tidal turbulence, but the process may have not last long enough to yield vanishing observable fields. Another possibility is that these magnetic fields are internally regenerated by dynamo action, to balance the decay due to the nonlinear tidal flows. Such a (currently speculative) mechanism may be particularly relevant for the rapidly rotating component of $*ϵ*$ Lupi in Table 4. Several dynamo mechanisms may be advocated, for instance driven by differentially rotating flows (Braithwaite, 2006), baroclinic flows (Simitev & Busse, 2017) or even tidal instability (Vidal et al., 2018). Though the dynamo action of tides in strongly stratified interiors remains elusive, the scaling law for the magnetic field strength at the stellar surface, proposed by Vidal et al. (2018), would yield $|\boldsymbol{B}_{0}|\sim 0.1-1$ kG. This is the order of magnitude of the observed surface fields. Thus, understanding the origin of the magnetic fields in the $*ϵ*$ Lupi system deserves future studies.

6 Conclusion

6.1 Summary

In this work, we have investigated nonlinear tides in short-period massive binaries, motivated by the puzzling lower magnetic incidence of close binaries compared to isolated stars (Alecian et al., 2019). To do so, we have adopted an idealised model for rapidly rotating stratified fluids within the Boussinesq approximation. This model consistently takes into account the ingredients encountered in massive binaries, namely the combination of rotation and non-isentropic stratification, the tidal distortion (on coplanar and aligned orbits) and the leading-order magnetic effects. We have revisited the fluid instabilities triggered by the nonlinear tides in the system (Vidal et al., 2018), by combining analytical computations and proof-of-concept simulations.

Firstly, we have studied the linear onset of tidal instability in non-synchronised, stratified fluid masses. Within a single framework, we have unified all the previous existing stability analyses and we have unravelled new phenomena. We have shown that tidal instability in radiative stratified interiors is due to parametric resonances between inertial-gravity waves and the underlying equilibrium tidal flow, for any orbit in the range $-1\leq\Omega_{0}\leq 3$. Within this orbital range, tidal instability is weakened by barotropic stratification on the polar axis (Miyazaki & Fukumoto, 1991; Miyazaki, 1993) and in the equatorial plane. On the contrary, baroclinic stratification does increase the growth rate of tidal instability (Kerswell, 1993a; Le Bars & Le Dizès, 2006). However, the striking feature is that tidal instability onsets with a maximum growth rate which is unaffected by stratification. The instability is triggered in volume along three-dimensional conical layers, whose position depends solely on the orbital parameter $\Omega_{0}$. In the other orbital range $\Omega_{0}\leq-1$ and $\Omega_{0}\geq 3$, that is in the forbidden zone of tidal instability in homogeneous fluids (e.g. Le Dizès, 2000), tidal instability can be generated by parametric resonances of gravito-inertial waves, provided that stratification is strong enough for the considered orbital configuration. This provides a theoretical explanation of the instability mechanism investigated numerically in Le Reun et al. (2018).

Secondly, we have developed a mixing-length theory (e.g. Tennekes & Lumley, 1972) of the anisotropic turbulent mixing, sustained by tidal instability in the orbital regime $-1\leq\Omega_{0}\leq 3$. For strongly stratified interiors, we have modelled the anisotropic turbulent mixing by introducing two turbulent eddy diffusivities, one describing the mixing in the direction of the gravity field and the second in the other (horizontal) directions. We have shown that these two turbulent diffusivities should scale as $\beta_{0}^{2}$, where $\beta_{0}$ is the equatorial ellipticity of the equilibrium tide. We have assessed these scalings against proof-of-concept simulations, by using the numerical method introduced in Vidal et al. (2018).

Finally, we have used the mixing-length theory to extrapolate the numerical results towards more realistic stellar conditions. We have built a new physical scenario, predicting an enhanced Joule diffusion of the fossil fields due to the turbulent mixing induced by tidal instability in short-period (non-coalescing) massive binaries. We have applied it to a subset of short-period binaries, analysed by the BinaMIcS collaboration (Alecian et al., in prep.). This scenario may (partially) explain the lower incidence of surface magnetic fields in some short-period binaries (compared to isolated stars). Indeed, we predict a turbulent Joule diffusion of the fossil fields occurring in a few million years for the most favourable systems. This is much shorter than the (laminar) Joule diffusion timescale of the fossil fields, and similarly than the typical lifetime of these stars. Therefore, we cannot rule out a priori the tidal mechanism to explain the scarcity of massive magnetic stars in close binary systems.

6.2 Perspectives

We have shown that the tidal mechanism is plausible, because close binaries are known to be strongly deformed by tides. Then, future studies should strive to assess the likelihood of this new mechanism with more realistic physical models. Indeed, we have only handled the key physical ingredients. Many improvements are worth doing on the numerical and theoretical fronts.

Firstly, the validity of mixing-length predictions for the magnetic diffusivity is questionable. Though they are commonly used in hyromagnetic turbulence (e.g. Yousef et al., 2003; Käpylä et al., 2019), Vainshtein & Rosner (1991) proposed that even weak large-scale magnetic fields may suppress the turbulent magnetic diffusion. This behaviour has been obtained in simulations of non-rotating, two-dimensional turbulence (e.g. Cattaneo & Vainshtein, 1991; Cattaneo, 1994; Kondić et al., 2016). However, the relevance of this inhibiting mechanism for three-dimensional, rotating and tidally driven turbulence remains unclear, notably because Alfvén waves do not play (a priori) a significant role in the tidal turbulent mixing (contrary to inertial waves). Indeed, this seems in contradiction with the turbulent hydromagnetic simulations of Barker & Lithwick (2013b), who showed that a weak magnetic field can instead sustain small-scale tidal turbulence. Thus, investigating this effect in tidally forced turbulence seems necessary, by performing demanding simulations of the consistent rotating hydromagnetic set-up.

Secondly, it would be interesting to examine if (secondary) shear instabilities are sustained by nonlinear tides in the strongly stratified regime. Shear instabilities are common in radiative interiors (e.g. Mathis et al., 2004, 2018), which undergo differential rotation (Goldreich & Schubert, 1967). To do so, the usual diffusionless instability condition for shear instabilities ought to be modified in radiative interiors, to take the thermal diffusivity into account (Townsend, 1958; Zahn, 1974). In the presence of turbulent tidal flows, secondary shear instabilities may exist if

[TABLE]

with $Ri_{\text{t}}=N_{0}^{2}/(u_{\text{t}}/l_{\text{t}}^{\parallel})^{2}$ the turbulent Richardson number and $Pe_{\text{t}}=u_{\text{t}}l_{\text{t}}^{\parallel}/\mathcal{D}_{\text{t}}^{\parallel}$ the turbulent Péclet number. By using our mixing-length predictions, a typical estimate would be $Ri_{\text{t}}Pe_{\text{t}}\sim 1$ in the strongly stratified regime. Thus, such secondary shear instabilities might be triggered by the nonlinear tidal flows. This may increase the turbulent diffusion coefficients.

Then, a natural extension would be to investigate consistently the interplay between tidal instability and differential rotation, which would result from in-situ baroclinic torques (e.g. Busse, 1981, 1982; Rieutord, 2006). Whether differential rotation is important for the tidal mixing is elusive, for instance because differential rotation is damped by several hydromagnetic effects (Moss, 1992; Spruit, 1999; Arlt et al., 2003; Rüdiger et al., 2013, 2015; Jouve et al., 2015). Nonetheless, elliptical (tidal) instability does exist in differentially rotating elliptical flows, as shown in fundamental fluid mechanics (Eloy & Le Dizès, 1999; Lacaze et al., 2007). The properties of the waves for more astrophysically relevant profiles of differential rotation can be investigated in global models (Friedlander, 1989; Mirouh et al., 2016), such that extending the present theory seems achievable. Closely related to the study of differential rotation is the study of baroclinic flows (e.g. Kitchatinov, 2014; Caleo & Balbus, 2016; Simitev & Busse, 2017). We have shown that baroclinic stratification does enhance tidal instability, as first noticed by Kerswell (1993a) and Le Bars & Le Dizès (2006). Thus, we may even expect a stronger turbulent tidal mixing in baroclinic radiative interiors.

Radiative stars also host innermost convective cores. Thus, the outcome of tidal instability in shells should be considered. The tidal (elliptical) instability does exist in shells, as confirmed experimentally and numerically for homogeneous fluids (Aldridge et al., 1997; Seyed-Mahmoud et al., 2000; Lacaze et al., 2005; Seyed-Mahmoud et al., 2004; Lemasquerier et al., 2017). Indeed, the local stability theory we have presented remains formally valid in shells. Hence, we do not expect any significant difference for stratified fluids at the onset. Yet, boundary effects on the turbulent tidal mixing remain to be determined.

Another daunting perspective is to account for compressibility. Using the Boussinesq approximation seems exaggerated in global models of stellar interiors (Spiegel & Veronis, 1960). However, the influence of compressibility is apparently negligible at the onset of tidal instability (Clausen & Tilgner, 2014). This is one of the reasons why we have adopted the Boussinesq approximation. Moreover, our mixing-length theory only invokes local estimates. In particular, we may naively expect radial turbulent diffusion (41a) to be only governed by the local value of stratification (rather independently of its origin). Moreover, compressibility would barely modify the (strongest) horizontal mixing (41b), because horizontal motions are less inhibited by compressibility. Therefore, our typical turbulent timescale (49) may still be relevant in compressible interiors. Clarifying the effects of compressibility deserves future works, both in the linear and nonlinear regimes.

Finally, the scarce non-synchronised magnetic binaries (Carrier et al., 2002; Shultz et al., 2015; Alecian et al., 2019; Kochukhov et al., 2018) seem to challenge the general trend of the tidal scenario, predicting a lack of magnetic massive stars in short-period binaries. These fields do not appear to be strongly dissipated by the nonlinear tidal flows. If the tidal mechanism remains valid by including the aforementioned proposed improvements, they might be dynamically regenerated in situ by dynamo action. For instance, tides do sustain dynamo action at small-scale (Barker & Lithwick, 2013b) and large-scale (Cébron & Hollerbach, 2014; Reddy et al., 2018) in homogeneous fluids, and also in weakly stratified interiors (Vidal et al., 2018). Yet, the dynamo capability of tides remains elusive in strongly stratified interiors (Vidal et al., 2018). Baroclinic flows are another possible candidate, because they are dynamo capable (Simitev & Busse, 2017). They may also favour the radial mixing generated by tidal instability, which is a necessary ingredient for dynamo action (Kaiser & Busse, 2017). This certainly deserves future works to investigate dynamo magnetic fields in more realistic models of radiative stars.

Acknowledgements.

JV was initially supported by a Ph.D grant from the French Ministère de l’Enseignement Supérieur et de la Recherche and later partly by STFC Grant ST/R00059X/1. DC was funded by the French Agence Nationale de la Recherche under grant ANR-14-CE33-0012 (MagLune) and by the 2017 TelluS program from CNRS-INSU (PNP) AO2017-1040353. AuD acknowledges support from NASA through Chandra Award number TM7-18001X issued by the Chandra X-ray Observatory Center, which is operated by the Smithsonian Astrophysical Observatory for and on behalf of NASA under contract NAS8-03060. EA and the BinaMIcS collaboration acknowledges financial support from ”Programme National de Physique Stellaire” (PNPS) of CNRS/INSU (France). JV and DC kindly aknowledges Dr N. Schaeffer (ISTerre, UGA) for several suggestions improving the quality of the paper and for fruitful discussions on the mixing observed in the numerical simulations performed with the XSHELLS code. XSHELLS is developed and maintained by Dr N. Schaeffer at https://bitbucket.org/nschaeff/xshells. JV aknowledges EA for the invitation to the BinaMIcS Workshop #5, where came the idea to explain the lack of magnetic binaries by using tidal instability. AuD and EA aknowledge Dr S. Mathis (CEA, Paris Saclay) and the BinaMIcS collaboration for fruitful discussions. The authors acknowledge Dr F. Gallet (IPAG, UGA), who validated the typical estimate of the Brunt-Väisälä frequency in massive stars by using a stellar evolution code. The XSHELLS code is freely available at https://bitbucket.org/nschaeff/. Computations were performed on the Froggy platform of CIMENT (https://ciment.ujf-grenoble.fr), supported by the Rhône-Alpes region (CPER0713 CIRA), OSUG2020 LabEx (ANR10 LABX56) and EquipMeso (ANR10 EQPX-29-01). ISTerre is also part of Labex OSUG@2020 (ANR10 LABX56). SWAN is described at https://bitbucket.org/vidalje/, and most figures were produced using matplotlib (http://matplotlib.org/).

Appendix A Local (WKB) stability equations

We present the local Wentzel-Kramers-Brillouin (WKB) stability method. In the local analysis, the unbounded growth of the perturbations gives sufficient conditions for local instability (Friedlander & Vishik 1991; Lifschitz & Hameiri 1991). The original WKB hydrodynamic stability theory has been extended by several authors, for instance to take buoyancy effects into account within the Boussinesq approximation (Kirillov & Mutabazi 2017).

In the following, we derive the coupled (WKB) stability equations for arbitrary, spatially varying Boussinesq and magnetic background states. We emphasise that their derivation is intrinsically different from the one of Kelvin wave stability equations (Craik & Criminale 1986; Craik 1989), also accounting for magnetic fields (Craik 1988; Fabijonas 2002; Lebovitz & Zweibel 2004; Herreman et al. 2009; Mizerski & Bajer 2011; Cébron et al. 2012b; Mizerski et al. 2012; Mizerski & Lyra 2012; Bajer & Mizerski 2013) and buoyancy effects (Cébron et al. 2012b). Indeed, the Kelvin wave method cannot investigate the stability of arbitrary background states, contrary to the WKB method.

A.1 Linearised stability equations

We use in the following dimensional variables to devise the general stability equations in the diffusionless limit. Contrary to the main text, the dimensional variables are written here without ∗, to keep concise mathematical expressions. We consider a fluid rotating at the angular velocity $\boldsymbol{\Omega}$ and stratified in density under the arbitrary gravity field $\boldsymbol{g}$. The fluid has a typical density $\rho_{M}$ and is pervaded by an imposed magnetic field $\boldsymbol{B}_{0}(\boldsymbol{r},t)$. We expand the velocity, the magnetic field and the temperature as small Eulerian perturbations $[\boldsymbol{u},\boldsymbol{b},\Theta](\boldsymbol{r},t)$ around a spatially varying and time-dependent background state $[\boldsymbol{U}_{0},\boldsymbol{B}_{0},T_{0}](\boldsymbol{r},t)$. In unbounded fluids, the perturbations are governed by the linearised hydromagnetic, Boussinesq equations

[TABLE]

where $\mathrm{d}/\mathrm{d}t=\partial/\partial t+(\boldsymbol{U}_{0}\boldsymbol{\cdot}\nabla)$ is the material derivative along the basic flow, $p$ is the hydrodynamic pressure and $p_{b}=\alpha_{B}(\boldsymbol{B}_{0}\boldsymbol{\cdot}\boldsymbol{b})$ the magnetic pressure. In equations (51), $\alpha_{T}$ is the coefficient of thermal expansion (at constant pressure) in the Boussinesq equation of state (EoS) $\delta\rho/\rho_{M}=-\alpha_{T}\,\Theta$, with $\delta\rho$ the Eulerian perturbation in density.

A.2 Short-wavelength perturbations

We seek short-wavelength perturbations in Eulerian description, with respect to the small asymptotic parameter $0<\varepsilon\ll 1$. We introduce the formal asymptotic series

[TABLE]

where $\varPhi$ is a real-valued scalar function that represents the rapidly varying phase of oscillations and $[\boldsymbol{u}^{(i)},\Theta^{(i)},p^{(i)}]$ are slowly varying complex-valued amplitudes. Note that we have omitted in expansions (52) the reminder terms, assumed to be uniformly bounded in $\varepsilon$ on any fixed time interval (Lifschitz & Hameiri 1991; Lebovitz & Lifschitz 1992; Lifschitz & Lebovitz 1993). We further introduce the local wave vector, defined by $\boldsymbol{k}=\nabla\varPhi$. The small asymptotic parameter $\varepsilon\ll 1$ is actually related to the typical scale of the instability $l$, which must be much smaller to the typical length scale of the large-scale background flow $L_{0}$. This requires $\varepsilon=l/L_{0}\ll 1$ (Nazarenko et al. 1999). In the hydrodynamic and diffusionless case, its value is arbitrary small.

However, in hydromagnetics, $\varepsilon$ does affect the magnetic field because the Lorentz force depends on the length scale. The general magnetic configuration leads to a set of partial differential equations (Friedlander & Vishik 1995; Kirillov et al. 2014), which must be solved locally in Eulerian description. However, by assuming (see also for uniform fields Mizerski & Bajer 2011)

[TABLE]

the partial differential equations simplify into ordinary differential equations (even for spatially varying magnetic fields). This is the central approximation of the hydromagnetic stability theory, which is not required in the non-magnetic case. For tidal studies, we usually set $\varepsilon=\beta_{0}$ (Le Dizès 2000).

A.3 Eulerian stability equations

We closely follow the mathematical derivation of Kirillov & Mutabazi (2017), extending it to the hydromagnetic case. Substituting expansions (52) in incompressible condition (51d) and collecting terms of order $\mathrm{i}/\varepsilon$ and $\varepsilon^{0}$ gives

[TABLE]

The same procedure applied to governing equations (51a)-(51c). Firstly, we have at the order $\mathrm{i}/\varepsilon$

[TABLE]

The dot product of the first equation (55) with $\nabla\varPhi$, under constraint (54a), gives $p^{(0)}=0$. Then, we obtain the Hamilton-Jacobi equation ${\mathrm{d}\varPhi}/{\mathrm{d}t}=0$. Finally, taking the spatial gradient of the previous equation gives the eikonal equation and its initial condition (Lifschitz & Hameiri 1991)

[TABLE]

Now, by using the Hamilton-Jacobi equation and (56), equations (51a)-(51c) give at the next asymptotic order $\varepsilon^{0}$

[TABLE]

Equations (57b)-(57c) are transport equations for the magnetic field and the temperature amplitudes. Applying the dot product of $\boldsymbol{k}$ with equation (57a) gives the first order pressure variable

[TABLE]

Then, we differentiate equation (54a) to get the identity (Lifschitz & Hameiri 1991)

[TABLE]

Finally, we use identity (59) to simplify equation (58), then we substitute the resulting expression into equation (57a). After some algebra, we get the transport equation for the velocity amplitude

[TABLE]

The stability equations, given by equations (60) and (57b)-(57c), are dominant for the stability behaviour of WKB expansions (52) for long enough times in the limit $\varepsilon\ll 1$ (Lifschitz & Hameiri 1991; Friedlander & Vishik 1991; Lebovitz & Lifschitz 1992; Lifschitz & Lebovitz 1993). The next order terms are only responsible for transient behaviours (Rodrigues 2017). Thus, sufficient conditions for local instability are obtained by solving transport equations (60) and (57b)-(57c).

A.4 Lagrangian equations along fluid trajectories

WKB stability equations are partial differential equations in Eulerian description. However, they are generally solved in Lagrangian description. The WKB perturbations are advected along the fluid trajectories $\boldsymbol{X}(t)$ of the background flow $\boldsymbol{U}_{0}$, passing through the initial point $\boldsymbol{X}_{0}$ at initial time $t=0$. In Lagrangian formalism, the WKB stability equations are

[TABLE]

with $\mathrm{D}/\mathrm{D}t$ the Lagrangian derivative. Therefore, equations (61) are interpreted as ordinary differential equations along the fluid trajectories of the background flow $\boldsymbol{U}_{0}$ for the amplitudes $(\boldsymbol{u}^{(0)},\Theta^{(0)},\xi^{(0)})$. In addition, the initial conditions satisfy

[TABLE]

such the solenoidal conditions for the velocity and the magnetic field hold at any time. Sufficient conditions for instability are obtained when (e.g. Lifschitz & Hameiri 1991; Lebovitz & Lifschitz 1992; Lifschitz & Lebovitz 1993)

[TABLE]

for given $[\boldsymbol{X}_{0},\boldsymbol{k}_{0}]$ and with suitable initial conditions for $[\boldsymbol{u}^{(0)},\boldsymbol{b}^{(0)},\Theta^{(0)}]$.

Appendix B MAC modes in triaxial ellipsoids

We present a method to compute the three-dimensional hydromagnetic eigenmodes of stratified Boussinesq fluids contained within rigid triaxial ellipsoids. This approach relies on a fully global, explicit spectral method in ellipsoids, in which the velocity field is described by polynomial finite-dimensional Galerkin bases (Vidal & Cébron 2017). The algorithm has been benchmarked successfully against the Coriolis modes in ellipsoids (Vantieghem 2014), while the fast and slow hydromagnetic solutions have been validated for the Malkus field in spheres (Malkus 1967; Zhang et al. 2003) and spheroids (Kerswell 1994).

B.1 Assumptions

We work in dimensional variables for the sake of generality, and use the notations introduced in the main text. We consider a diffusionless, incompressible electrically conducting fluid, contained within a triaxial ellipsoid of semi-axes $(a,b,c)$. The fluid is stratified under the gravity field $\boldsymbol{g}^{*}$ in the Boussinesq approximation. The fluid is contained within an ellipsoidal container, which is rotating at the angular velocity $\boldsymbol{\Omega}$ in the inertial frame. We expand the velocity, the temperature and the magnetic field as small perturbations $[\boldsymbol{u}^{*},\Theta^{*},\boldsymbol{b}^{*}](\boldsymbol{r},t)$ around an equilibrium state of rest $[\boldsymbol{0},T_{0}^{*},\boldsymbol{B}_{0}^{*}](\boldsymbol{r})$.

In the linear approximation, the dimensional governing equations are

[TABLE]

with $\alpha_{B}=(\rho_{M}\mu_{0})^{-1}$ and $p^{*}$ the hydrodynamic pressure. By taking the time derivative of equations (64), we can obtain a single wave-like equation of second order in time for the velocity perturbation $\boldsymbol{u}^{*}$. This reads

[TABLE]

with the Lorentz force

[TABLE]

Note that equations (64) cannot be recast into a single equation for the velocity perturbation $\boldsymbol{u}^{*}$ in the presence of a basic flow $\boldsymbol{U}_{0}^{*}$. In this case, the problem must be formulated for the displacement vector (e.g. Chandrasekhar 1969; Lebovitz 1989).

Finally, equation (65) is supplemented by the non-penetration boundary conditions

[TABLE]

with $\boldsymbol{1}_{n}$ the unit outward vector normal to the ellipsoidal boundary. We emphasise that alternative boundary conditions for the background magnetic field cannot be considered with the polynomial Galerkin description, at least to investigate consistently all the hydromagnetic modes. Allowing a non-zero normal magnetic field at the boundary would create a surface electrical density current, generating a Lorentz force $\boldsymbol{f}_{m}^{*}$ in the form of a discontinuous Dirac function distributed on the boundary (Friedlander & Vishik 1990). This would lead to spurious diffusionless solutions for the slow hydromagnetic modes. However, we would expect the fast hydromagnetic modes (that is Coriolis modes) to be only barely affected by the magnetic boundary condition, because the Lorentz force in momentum equation (65) has only second-order effects on the fast modes.

B.2 Galerkin method

We employ a Galerkin method to describe the velocity field. We seek a Galerkin expansion of the modes in the form

[TABLE]

where $\omega_{i}$ is the angular frequency, $\{\gamma_{l}\}$ modal complex coefficients and $\{\widehat{\boldsymbol{u}}_{l}^{*}(\boldsymbol{r})\}$ are real-valued basis Galerkin elements. Firstly, we rewrite equation (65) in the symbolic form

[TABLE]

where $[\boldsymbol{\mathcal{A}}_{1},\boldsymbol{\mathcal{A}}_{0}]$ are two linear operators. The basis elements $\{\widehat{\boldsymbol{u}}_{l}^{*}(\boldsymbol{r})\}$ are made of linear combinations of Cartesian monomials $\{x^{i}y^{j}z^{k}\}_{i+j+k<\infty}$, satisfying

[TABLE]

Several Cartesian expansions have been proposed (see a comparison in Vidal & Cébron 2017). Expansion (68) is similar to expansions used in the finite-element method (FEM). However, compared to the traditional FEM, our basis elements $\{\widehat{\boldsymbol{u}}_{l}^{*}(\boldsymbol{r})\}$ are global polynomials, infinitely differentiable in ellipsoids. The mathematical completeness of the polynomial expansion for incompressible fluids is then ensured by using the Weierstrass approximation theorem (Backus & Rieutord 2017; Ivers 2017). Hence, this method is a rigorous spectral method in ellipsoids.

Then, we truncate series (68) at a given polynomial degree $n$ (such that $i+j+k\leq n$). In the absence of any stratified or magnetic effect, the Coriolis operator is exactly closed within the considered polynomial bases (e.g. Kerswell 1993b; Backus & Rieutord 2017). Thus, the Coriolis modes are exactly described by the polynomial description (Vantieghem 2014; Backus & Rieutord 2017). Note that fast and slow MC modes also admit exact polynomial descriptions for some background magnetic fields that are linear in the Cartesian space coordinates (Malkus 1967; Zhang et al. 2003; Kerswell 1994). For any other practical configuration, we have to choose a maximum polynomial degree $n$ to ensure a good convergence of the desired modes (higher-order bases are excited by the buoyancy and Lorentz forces). We substitute the truncated expansion into equation (69), yielding the quadratic eigenvalue problem

[TABLE]

where $\boldsymbol{\gamma}=(\gamma_{1},\gamma_{2},\dots)^{\top}$ is the eigenvector and $[\boldsymbol{A}_{2},\boldsymbol{A}_{1},\boldsymbol{A}_{0}]$ are three real-valued matrices. Their elements are given by the Galerkin projections over the ellipsoidal domain

[TABLE]

The projection of the pressure term in equation (71) vanishes by virtue of the divergence theorem, such that an explicit decomposition for the pressure is not required. If the background state can be written by using Cartesian monomials $x^{i}y^{j}z^{k}$, then volume integrals (72) can be computed analytically (see formula 50 in Lebovitz 1989).

B.3 Hydromagnetic modes

We show in Fig. 11 the dimensionless eigenfrequency $\omega_{i}$ of MAC modes, for the relevant weak field regime $Le\leq 10^{-1}$. We have considered an arbitrary reference configuration to illustrate several representative properties of the modes. We identify three families of waves in neutrally stratified fluids (top panel of Fig. 11), in agreement with investigations in spherical geometries (e.g. Schmitt 2010; Labbé et al. 2015). Firstly, the high frequency branch represents fast Magneto-Coriolis (MC) modes (Malkus 1967; Labbé et al. 2015). They are similar to pure Coriolis (or inertial) modes (Greenspan 1968; Vantieghem 2014; Backus & Rieutord 2017), with a dimensionless spectrum bounded by $|\omega_{i}|\leq 2$ in the weak field regime $Le\ll 1$. These modes are regular in space and only weakly affected by large-scale magnetic fields in weakly deformed spheres (e.g. Schmitt 2010; Labbé et al. 2015). This is consistent with the weak frequency dependence on $Le$ observed in Fig. 11. Note that they have a different behaviour compared to the singular modes localised on attractors (e.g. Rieutord & Valdettaro 1997, 2018), which only exist in shells because the mathematical problem is ill-posed (Rieutord et al. 2000). Secondly, the low frequency branch represents slow Magneto-Coriolis (MC) modes. Their typical (dimensionless) frequency scales according to $|\omega_{i}|\propto Le^{2}$. In addition, the third intermediate branch represents torsional Alfvén modes (Labbé et al. 2015), scaling as $|\omega_{i}|\propto Le$. They are usually filtered out in reduced models, such as in local models considering uniform fields. They exist when the current direction $\boldsymbol{\nabla}\times\boldsymbol{B}_{0}$ of the basic state is misaligned with the spin rotation axis.

Then, we show the spectrum of MAC modes in stratified fluids in the bottom panel of Fig. 11. The aforementioned hydromagnetic modes still exist in stably stratified interiors, yielding fast and slow MAC waves. However, their properties in the presence of buoyancy and magnetic fields are rather complex in spherical-like domains (Friedlander 1987). On the one hand, fast MAC modes and gravito-inertial modes are barely modified by magnetic fields, as illustrated in Fig. 11 (bottom panel) when $Le\ll 1$. However, they strongly depend on stratification (Friedlander & Siegmann 1982b). On the other hand, slow MC modes can be strongly affected by the magnetic field and stratification (Friedlander 1987). Finally, the buoyancy force also sustains high frequency internal gravity modes. They can be affected by rotation, yielding gravito-inertial modes (Friedlander & Siegmann 1982b).

Appendix C Mixed resonances of MAC waves

We investigate the possible nonlinear couplings of hydromagnetic waves for tidal instability. We use the same dimensionless variables as in the main text. Resonance condition (12) can only be satisfied if tidal instability involves fast MAC waves (that is inertial or gravito-inertial waves), coupled with either fast or Magneto-Coriolis (slow MC) waves (Kerswell 1993a, 1994). Indeed, in the astrophysical regime $Le\ll 1$, the illustrative spectrum in Fig. 11 clearly shows that no triadic couplings are effective in ellipsoids between two slow MC waves when $1\leq\Omega_{0}\leq 3$. Thus, the couplings of slow MC waves with the equilibrium tidal flow cannot be advocated in stellar interiors.

Secondly, the mixed couplings between slow and fast hydromagnetic waves is not forbidden in diffusionless fluids. In the weak field regime $Le\ll 1$, Kerswell (1993a, 1994) showed that the typical diffusionless growth rate of tidal instability involving mixed couplings scales as (in dimensionless form)

[TABLE]

However, this diffusionless growth rate must be larger than the (laminar) Joule damping rate of the slow MC waves, that is $\tau_{\Omega}\propto-Em\,|\boldsymbol{k}_{0}|^{2}$ in the local theory (Rincon & Rieutord 2003; Sreenivasan & Narasimhan 2017). This gives the typical upper bound on the wave vector

[TABLE]

In short-period binaries, the typical value for the equatorial ellipticity is $\beta_{0}\sim 10^{-3}-10^{-2}$ (see Table 3). As given in Table 1, we have also the typical numbers $Em\leq 10^{-10}$ and $Le\leq 10^{-4}$. Then, condition (74) gives the upper bound $|\boldsymbol{k}_{0}|\ll 1$. This is incompatible with the short-wavelength stability theory, which requires $|\boldsymbol{k}_{0}|\gg 1$. Physically, this shows that the (laminar) Joule damping rate is always larger than the diffusionless growth rate in non-ideal fluids, for any resonance involving slow MC waves in the regime $Le\ll 1$. Therefore, mixed couplings of fast/slow waves can be discarded for tidal instability in realistic stellar interiors.

Appendix D Weakly eccentric synchronised orbits

D.1 Libration forcing

We consider synchronous stratified binary systems moving on weakly eccentric coplanar orbits. Note that the following results are also relevant for (stratified) moons or gaseous planets orbiting around a massive central body (e.g. Kerswell & Malkus 1998; Cébron et al. 2012b; Lemasquerier et al. 2017). We consider a diffusionless tidal model of the tidally deformed fluid body, characterised by an equatorial ellipticity $\beta_{0}$. The fluid body is rotating at the uniform angular velocity $\Omega_{\text{s}}$, aligned in the inertial frame with the orbital angular velocity of the companion along $\boldsymbol{1}_{z}$. We use the dimensionless variables introduced in Sect. 2, that is taking $(\Omega_{\text{s}})^{-1}$ as the relevant timescale. Due to the weak orbital eccentricity $e\ll 1$, the orbital angular velocity has periodic time variations. For the sake of generality, we assume that the tidal forcing has the following (dimensionless) expression, at the leading order in the eccentricity

[TABLE]

where $f$ is the dimensionless frequency of the forcing and $\epsilon_{l}\leq 2e$ the dimensionless amplitude. Forcing (75) is known as longitudinal librations. For this tidal forcing, the equilibrium tidal velocity field has the following form in the central frame

[TABLE]

Tidal flow (76) is prone to libration-driven elliptical instability (LDEI), which is quite similar to tidal instability in non-synchronised systems (e.g. Kerswell & Malkus 1998; Cébron et al. 2012b; Vidal & Cébron 2017; Le Reun et al. 2019).

D.2 Resonance condition of the LDEI

LDEI is a fluid instability due to sub-harmonic resonances between two waves of angular frequency $|\omega_{i}|$ interacting with basic flow (76). By analogy with formula (13) in non-synchronised systems, the sub-harmonic resonance condition becomes

[TABLE]

The four kinds of waves $[\mathcal{H}_{1},\mathcal{H}_{2},\mathcal{E}_{1},\mathcal{E}_{2}]$, introduced Sect. 3.2, can be nonlinearly coupled in the instability mechanism. We show the nature of the waves satisfying condition (77) in Fig. 12.

The classical allowable range of LDEI is $0\leq f\leq 4$ (e.g. Cébron et al. 2012c), in which only triadic couplings of inertia-gravity waves $[\mathcal{H}_{1},\mathcal{H}_{2},]$ are involved. In this frequency range, the instability is trapped along critical latitudes for strong enough stratification when $N_{0}/\Omega_{\text{s}}\gg 1$. Similar to the non-synchronised configurations, it turns out that the largest growth rate is unaffected by the ratio $N_{0}/\Omega_{\text{s}}$ on these critical latitudes. Thus, they are predicted by the diffusionless formula obtained in neutral fluids (see formula 4 in Cébron et al. 2012c).

In the other frequency range $f>4$, LDEI is only due to triadic couplings of internal-gravity waves $[\mathcal{E}_{1},\mathcal{E}_{2}]$ modified by rotation. Moreover, the instability only exists for strong enough stratification ($N_{0}/\Omega_{\text{s}}\gg 1$).

D.3 Asymptotic growth rates of the LDEI

As in Sect. 3.2.3 and Sect. 3.2.4, the local stability analysis provides analytical expressions of the diffusionless growth rates in the equatorial plane and on the rotation (polar) axis. In the equatorial plane, the resonance condition (77) becomes

[TABLE]

whereas on the rotation axis we have

[TABLE]

Then, the diffusionless growth rate in the equatorial plane is

[TABLE]

for a general baroclinic background state $\beta_{0}\neq\beta_{1}$. On the rotation axis, the diffusionless growth rate is given by

[TABLE]

Naturally, we recover equation (4) of Cébron et al. (2012c), obtained for neutral fluids ($\widetilde{N}_{0}=0$). Note that equation (25) of Cébron et al. (2013), obtained in the equatorial plane for a buoyancy force of the order $\beta_{0}$, is not recovered by equation (80). Indeed, their equation (25) is approximate because they artificially set $\theta_{0}$ to its hydrodynamic value $2\cos\theta_{0}=\pm f/2$, instead of using its exact value given by equation (78). Finally, by analogy with the arguments given in the main text for non-synchronised systems, the largest diffusionless growth rate in the stellar interior will be insensitive to the strength of stratification, yielding the value for neutral fluids (Cébron et al. 2012c, 2013; Vidal & Cébron 2017) recovered in formula (80) when $\widetilde{N}_{0}=0$.

Note finally that formula (30b) also provides exactly the Joule damping rate of the LDEI in neutral fluids ($\widetilde{N}_{0}=0$). Besides, formulas of Cébron et al. (2012a, b) are recovered in the limit $|\boldsymbol{k}_{0}|\gg 1$ by using the LDEI resonance condition to set $\theta_{0}$, that is $\cos\theta_{0}=\pm f/4$ when $\widetilde{N}_{0}=0$.

D.4 Mixing-length theory

We can build a mixing-length theory to get a phenomenological prescription of the turbulent mixing in weakly eccentric synchronised orbits, by analogy with non-synchronised orbits. The main difference with non-synchronised systems is that the typical turbulent velocity $u_{\text{t}}$ should scale as (Favier et al. 2015; Grannan et al. 2016)

[TABLE]

Then, the turbulent prescription becomes

[TABLE]

with the numerical pre-factor $K_{\alpha}\sim 30-50$ as in expression (49), which is based on the numerical pre-factors of formulas (41). Hence, the timescale for the turbulent Ohmic diffusion of the fossil field ought to be reduced in synchronised systems (compared to non-synchronised ones) by using formula (83).