Fossil field decay due to nonlinear tides in massive binaries
Jérémie Vidal David Cébron Asif Ud-Doula Evelyne Alecian
 









Department of Applied Mathematics, School of Mathematics, University of Leeds, Leeds, LS2 9JT, UK 

j.n.vidal@leeds.ac.uk
         Université Grenoble Alpes, CNRS, ISTerre, F-38000 Grenoble
         Penn State Scranton, 120 Ridge View Drive, Dunmore, PA 18512, USA
         Université Grenoble Alpes, CNRS, IPAG, 38000 Grenoble, France
             


J. Vidal et al.
Fossil field decay due to tides in massive binaries



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.




Fossil field decay due to nonlinear tides in massive binaries
    
J. Vidal1,2,
D. Cébron2,
A. ud-Doula3,
E. Alecian4

    Received 10 April 2019 / Accepted 5 August 2019
=============================================================










§ INTRODUCTION


The magnetism of massive stars has sparked the interest of astronomers for a long time <cit.>. 
More recently, large spectropolarimetric surveys of these stars have been undertaken <cit.>. 
They have detected surface magnetic fields in 5 to 10% of pre-main sequence and main-sequence massive stars <cit.>. In addition, a magnetic dichotomy has been evidenced between the strong magnetism of chemically peculiar A/B stars <cit.> and the ultra-weak magnetism of Vega-like stars <cit.>.
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 <cit.>. This severely challenges the classical dynamo mechanism <cit.>, 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 <cit.> generating magnetic flux tubes rising buoyantly towards the surface <cit.>, on differentially rotating flows <cit.> or on baroclinic flows <cit.>. 
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 <cit.>, 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 <cit.>.
Hence, the fossil theory may provide a unifying explanation for the magnetism of intermediate-mass stars <cit.>.
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 <cit.>. Moreover, the theory does not convincingly explain the observed magnetic bi-modality <cit.>. To solve these issues, different physical conditions in the star-forming regions are usually invoked <cit.>.

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 <cit.> 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_orb≤ 20 days and a separation distance between the two components of D ≤ 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 <cit.>. 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 <cit.>, with a notable exception in the ϵ Lupi system <cit.>. 
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 <cit.>, 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 <cit.>, 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 <cit.>, has been largely investigated <cit.>. 

A more efficient mixing in short-period stellar binaries may be provided by tides. Indeed, short-periods binaries are strongly deformed <cit.>. 
Tides proceed in two steps. Firstly, they generate a quasi-hydrostatic tidal bulge, known as the equilibrium tidal velocity field <cit.>. This leads to angular momentum exchange between the orbital and spinning motions. Secondly, they induce dynamical tides <cit.>, that is waves propagating here within the radiative regions.
Radiative envelopes support the propagation of many waves that are continuously emitted by various mechanisms <cit.>. Among them, internal gravity waves <cit.> do induce mixing processes in radiative regions <cit.>.

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 <cit.>. 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 <cit.>.
This fluid instability is the astrophysical version of the generic elliptical instability, which affects all rotating fluids with elliptically deformed streamlines  <cit.>.
The underlying physical mechanism is nonlinear triadic resonances between two waves and the background elliptical velocity <cit.>. 
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 <cit.> or even global mixing <cit.>. Interestingly, <cit.> 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 <cit.>. Moreover, in the equatorial region, radial stratification can either increase or decrease the growth rate of the instability <cit.>. 
On the other hand, three-dimensional numerical simulations suggest that tidal instability is largely unaffected in stratified interiors, for a wide range of stratification <cit.>.
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 <cit.> and numerical studies <cit.>. Then, asymptotic predictions for the (nonlinear) tidal mixing, as found numerically in <cit.>, 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. <ref>, we present the idealised model. In Sect. <ref>, we investigate the linear regime of tidal instability in stratified interiors. In Sect. <ref>, 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. <ref>, which is applied to short-period binary systems analysed by the BinaMIcS collaboration. Finally, we end the paper with a conclusion in Sect. <ref> and outline some perspectives.




§ FORMULATION OF THE PROBLEM


	

 §.§ 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 𝒱, filled with an electrically conducting and rotating fluid. 
Radiative fluid envelopes are expected to undergo differential rotation <cit.>, for instance provided by the contraction occurring during the pre-main-sequence phase or baroclinic torques <cit.>. However, differential rotation tends to be smoothed out by hydromagnetic effects <cit.>. In particular, differential rotation may sustain magneto-rotational instability, ultimately leading a state of solid-body rotation <cit.> on a few Alfvén timescales <cit.>. 
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 <cit.>, 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 <cit.>. 

The secondary rises an equilibrium tide <cit.> on the fluid primary, with a typical equatorial amplitude denoted β_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 <cit.>. 
For weakly elliptic orbits, <cit.> showed that the ellipsoidal distortion β_0 points toward the tidal companion at the leading order. 
<cit.> 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
<cit.>. 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 <cit.>. The other tidal components, for instance obliquity tides, are mainly responsible for additional fluid instabilities that are superimposed on tidal instability <cit.>. 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 <cit.>. 
Hence, we assume that the fluid has a uniform kinematic viscosity ν, a radiative (thermal) diffusivity κ_T <cit.> and a magnetic diffusivity η=1/(μ_0 σ), where σ is the electrical conductivity and μ_0 the magnetic permeability of free space. 
Finally, <cit.> showed that compressibility has almost no effect on tidal instability. Therefore, we model density variations departing from the isentropic profile within the Boussinesq approximation <cit.>. 




 §.§ 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 ρ_M = M_1/𝒱, is rotating at the angular velocity Ω_s in the inertial frame. 
The orbital configuration is illustrated in Fig. <ref>.
The orbital angular velocity in the inertial frame is denoted Ω_orb 1_z, with Ω_orb≠Ω_s for a non-synchronised orbit. 
In the central frame, in which the boundary shape is stationary, the outer boundary ∂𝒱 of the fluid domain describes an ellipsoid <cit.>. Its mathematical expression in Cartesian coordinates (x, y, z) is

    ( x/a )^2 +  ( y/b )^2 +  ( z/c )^2 = 1,

where (a,b,c) are the semi-axes. The equatorial ellipticity is defined by β_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, Ω_s^-1 as a unit of time, Ω_s^2 R/(α_T g_0) as unit of the temperature with g_0 a typical value of the gravity field at the outer boundary and α_T the thermal expansion coefficient (at constant pressure). For the magnetic field, we choose Ω_s R √(ρ_M μ_0) as typical unit. 
We also introduce the dimensionless orbital frequency Ω_0 = Ω_orb/Ω_s. 
The dimensionless variables are the velocity field v, the temperature field T, the magnetic field B and the gravity field g. They are written without ^*, to distinguish them from their dimensional counterparts [v^*, T^*, B^*, g^*]. 
The field variables, at the position r and time t, are governed in the rotating central frame by momentum, energy and induction equations. 
They read



    ∂v/∂ t   = - (v·∇ )  v - 2 Ω_0  1_z ×v -∇ (P+P_m) + Ek  ∇^2 v
       - T g + (B·∇)  B, 
    ∂ T/∂ t   = - (v·∇)   T + Ek/Pr∇^2 T + 𝒬, 
    ∂B/∂ t   = ∇× (v×B) + Em  ∇^2 B, 
    ∇·v   = ∇·B = 0,


with P the hydrostatic pressure (including centrifugal effects), P_m = |B|^2/2 the magnetic pressure, 𝒬 a heat source term and g = - ∇Φ_0 the (imposed) gravity field in the Boussinesq approximation. 
In governing equations (<ref>), we have introduced as dimensionless numbers the Ekman number Ek=ν/(Ω_s R^2), the Prandtl number Pr=ν/κ_T, the magnetic Prandtl number Pm=ν/η and the magnetic Ekman number Em =Ek/Pm. Typical values are given in Table <ref> for stellar interiors. The latter are characterised by weakly diffusive conditions (that is Ek, Ek/Pr, Ek/Pm ≪ 1). This regime will greatly simplify the analysis of tidal instability.



We do not directly solve full equations (<ref>). 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 [U_0, T_0] (r) (detailed in Section <ref>). Thus, the dimensionless nonlinear governing equations for the perturbations [u, Θ] (r,t) and the magnetic field B(r,t) are



    du/d t   + (u·∇)  u = - (u·∇)  U_0 - 2 Ω_0  1_z  ×u -∇ (p + P_m) 
        + Ek  ∇^2 u - Θg + (B·∇)  B , 
    dΘ/d t   + (u·∇)  Θ = - (u·∇)   T_0 + Ek/Pr∇^2 Θ, 
    ∂B/∂ t   + ∇× (B×u ) =  ∇× ( U_0 ×B ) + Em  ∇^2 B, 
    ∇·u   = ∇·B = 0,    B(r,t=0) = B_0(r),


with d/dt = ∂/∂ t + (U_0 ·∇) the material derivative along the basic flow U_0, p the hydrodynamic pressure and  B_0(r) the (initial) fossil field. For the proof-of-concept simulations introduced in Sect. <ref>, the equations will be supplemented by appropriate boundary conditions.


	

 §.§ Reference ellipsoidal configuration

	

We consider a steady reference equilibrium state, for which isopycnals coincide with isopotentials of the gravitational potential Φ_0 (including centrifugal force, self-gravity and tides). This assumption is consistent with compressible models <cit.>.
Hence, we assume that the background temperature profile T_0(r) and the gravity field g, solutions of equations (<ref>)-(<ref>), are in barotropic equilibrium (for a well-chosen 𝒬) such that g× (∇ T_0) = 0. 
We do not consider the baroclinic part, which is known to increase the growth rate of tidal instability in the equatorial plane <cit.>. 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 <cit.>.
Moreover, considering barotropic stratification is a relevant assumption when the isopycnals move sufficiently fast to keep track of the rotating tidal potential <cit.>.  This situation is expected when stratification is large enough in amplitude compared with the differential rotation Ω_s - Ω_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

    N^2 = - α_T  g^* ·∇ T_0^*.

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

    Φ_0 = (x/a)^2 + (y/b)^2 + (z/c)^2.

Then, we consider the (dimensionless) reference temperature in barotropic equilibrium T_0 = (N^2_0/Ω^2_s)  Φ_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=3 M_⊙ (where M_⊙ is the solar mass), a typical value is N_0 ∼ 10^-3 s^-1 <cit.>, and typical values of Ω_s^-1 range between 1 and 100 days <cit.>. This give the estimate 0 ≤ N_0/Ω_s≤ 100 in radiative stars. Hence, a barotropic reference configuration is a reasonable starting assumption.

The ellipsoid is initially permeated by an fossil magnetic field B_0 (r) (in dimensionless form).
To measure its relative strength (with respect to rotation), we introduce the (dimensionless) Lehnert number <cit.>

    Le = B_0^*/Ω_s R √(ρ_M μ_0),

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 ≪ 1, the Coriolis force dominates the Lorentz force in momentum equation (<ref>). The regime Le ≪ 1 is encountered in many magnetic stars (Table <ref>). In the Sun, a typical value is Le∼ 10^-5 <cit.>. For the scarce magnetic binaries which have been observed, the median field strength is B_0^* ∼ 1 kG (see also values in Table <ref>). This gives the typical values Le ≤ 10^-5 - 10^-4. Hence, we focus on the regime Le ≪ 1 in the following.

Finally, the orbital configuration drives the equilibrium tidal flow <cit.>. For non-synchronised orbits (Ω_0 ≠ 1), its leading-order flow components in the central frame are <cit.>

    U_0(r) = (1-Ω_0)  [-(1+β_0) y  1_x + (1-β_0)x  1_y  ].

with [1_x,1_y,1_z] the unit Cartesian vectors. 
This is an exact incompressible solution of hydrodynamic momentum equation (<ref>) without diffusion. Moreover, it satisfies the non-penetration condition U_0 ·1_n = 0 at the boundary ∂𝒱, with 1_n the unit outward normal vector. 
Note that basic flow (<ref>) is not rigorously a solution in the presence of an arbitrary magnetic field. Yet, the large-scale poloidal and toroidal components of B_0 (r) are unlikely to modify the equilibrium tidal flow in the weak field regime Le ≪ 1 as often assumed <cit.>. 





§ 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. <ref>. In Sect. <ref>, 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. <ref>, without making any prior assumption.  Finally, we discuss the (laminar) magnetic diffusive effects in Sect. <ref>.


	

 §.§ Short-wavelength perturbations

	

In the absence of any driving mechanism, a fossil field B_0 slowly decays on the Ohmic diffusive timescale (Ω_s  Ek/Pm)^-1. This time is larger than the typical lifetime of the least massive stars on the main-sequence <cit.>. 
However, equations (<ref>) support the propagation of several waves
in rotating radiative interiors, characterised by Le ≪ 1 and N_0/Ω_s≫ 1 (see Table <ref>). 
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 U_0 to sustain tidal instability. Tidal instability is intrinsically a local (small scale) instability <cit.>, but it also exists in global models <cit.>. 
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 <cit.>, 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 <ref>, 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 <cit.>, though they may be coupled with tides <cit.>.
The properties of MAC waves have already been outlined elsewhere <cit.>. 
Note that they have global bounded counterparts, known as Magneto-Archimedean-Coriolis (MAC) modes. The global modes are briefly discussed in Appendix <ref>. 
The wave spectrum is bounded from below by slow Magneto-Coriolis (MC) waves, sustained by the Lorentz and Coriolis forces with an angular frequency ω_i scaling as |ω_i|∝ Le^2 <cit.>. The spectrum is bounded from above by internal gravity waves (modified by rotation), with an angular frequency |ω_i|≤ N_0/Ω_s for strong stratification <cit.>. In-between, the spectrum exhibits Coriolis waves <cit.> and inertial-gravity (or gravito-inertial) waves <cit.>.

In the weak field limit Le ≪ 1, magnetic effects are negligible (at the leading order) on inertial waves <cit.> and gravito-inertial ones, as outlined in Appendix <ref>. 
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 <cit.>, as we confirm in Appendix <ref>. This behaviour is also supported by local simulations <cit.> and global dynamo numerical simulations in homogeneous <cit.> and stratified fluids <cit.>. 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 ≪ 1. The leading-order magnetic effect is the Joule diffusion. From the values given in Table <ref>, 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. <ref>.

We seek three-dimensional local perturbations, solution of linearised hydrodynamic equations (<ref>). To do so, 
we consider short-wavelength (WKB) perturbations <cit.>. 
They are local (plane-wave) perturbations, barely sensitive to the ellipsoidal boundary ∂𝒱, advected along the fluid trajectories X(t) of U_0(r). Given basic tidal flow (<ref>), the Eulerian three-dimensional perturbations are expressed as

    [ u, Θ ] (r,t) = [ u, Θ ] (r,t)  exp(ik (t) ·r),    |k(t)| = |k_0|,

where k(t) is the local wave vector with the initial value k_0. The local stability equations are solved in Lagrangian formulation, yielding the following ordinary differential equations (in dimensionless form)

	
	
    DX/D t   = U_0 (X),    X(0) = X_0, 
    Dk/D t   = -  ( ∇U_0  )^⊤k,    k(0) = k_0, 
    Du/D t   = [ ( 2 kk^T/|k|^2 - I) ∇U_0 +2 ( kk^T/|k|^2-I) Ω_0 1_z × ] u
       -  Θ(  I -kk^T/|k|^2) g, 
    DΘ/D t   = - (u·∇)   T_0 ,


with D/D t the Lagrangian time derivative. The solenoidal condition u·k = 0 is satisfied as long as it holds at the initial time, that is u (0) ·k_0 = 0 in the Lagrangian description. Equations (<ref>) do depend on the fluid trajectories X(t), because the gravity field g is spatially varying. 

Equations (<ref>) are ordinary differential equations along the Lagrangian trajectories X(t). They are also independent of the magnitude of k_0 in the diffusionless limit. We follow <cit.>, by restricting the initial wave vector to the unit spherical surface 

    k_0 = sin(θ_0) cos(ϕ_0)  1_x + sin(θ_0) sin(ϕ_0)  1_y + cos(θ_0)  1_z,

where ϕ_0 ∈ [0, 2π] is the longitude and θ_0 ∈ [0, π] is the colatitude between the spin axis 1_z and the wave vector k_0. In practice, equations (<ref>) are integrated from a range of wave vectors k_0 and initial positions X_0 within the reference ellipsoidal domain. 
The basic state is unstable against short-wavelength perturbations if

    lim_t→∞ ( |u (t, X_0, k_0)| + |Θ (t, X_0, k_0)|  ) = ∞.

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




 §.§ Asymptotic analysis



Equilibrium tidal flow (<ref>) admits analytical periodic fluid trajectories X(t) and wave vectors k (t), solution of equations (<ref>)-(<ref>). 
To get physical insight of the instability mechanism, we carry out an asymptotic analysis in the limit β_0 ≤ 1. We expand all quantities (X, k, u, Θ) in successive powers of β_0 <cit.>.




  §.§.§ Triadic (nonlinear) couplings


It has been recognised for a long time that tidal instability is a parametric instability in homogeneous <cit.> and stratified fluids <cit.>. The instability is due to triadic interactions between pairs of waves that are coupled with the underlying tidal flow (<ref>). 
At the leading asymptotic order (β_0 = 0), a necessary condition for a parametric tidal instability in rotating fluids is given by the resonance condition in the central frame <cit.>

    |ω_i - ω_j + δ| = 2   |1-Ω_0|,

where [ω_i,ω_j] are the angular frequencies of two free waves and δ a small detuning parameter, allowing for imperfect resonances <cit.>. The latter are due to either diffusive or topographic effects (δ→ 0 for diffusionless fluids and weakly deformed spheres β_0 ≪ 1). 
Detuning effects are negligible in the astrophysical regime (almost diffusionless and with β_0 ≪ 1). 
Note that the case of synchronised orbits, characterised by Ω_0 = 1 (in average), is forbidden by condition (<ref>). Synchronised orbits must be treated separately (see Appendix <ref>).

Among the aforementioned resonances, sub-harmonic resonances are characterised by ω_i=-ω_j. 
Then, resonance condition (<ref>) reduces (in the diffusionless regime) to 
    |ω_i| = |1-Ω_0|,

which is a necessary condition for sub-harmonic tidal instability. 
Sub-harmonic resonances have been found to be the most unstable in homogeneous fluids <cit.>, 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 (<ref>), tidal instability traditionally exists in the orbital range -1 ≤Ω_0 ≤ 3 when it involves Coriolis waves <cit.>. 
We investigate in depth the coupling of hydrodynamic waves, postponing the discussion of hydromagnetic waves (unimportant for the present problem) to Appendix <ref>. 




  §.§.§ 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 <ref>, 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 β_0=0, the characteristic curve delimiting the two domains is <cit.> 

    z^2 + s^2 ω_i^2/ (ω_i^2 - 4) = ω_i^2/(N_0/Ω_s)^2,

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 ℋ. They have hyperbolic turning surfaces given by equation (<ref>). They are sub-divided in two families given by

	
	
    ℋ_1:    (N_0/Ω_s)^2 < ω_i^2 < 4, 
    ℋ_2:    0 < ω_i^2 < min  [4, (N_0/Ω_s)^2].


On the other hand, we have gravity waves modified by rotation, called gravito-inertial waves and denoted ℰ. They have ellipsoidal turning surfaces given by equation (<ref>). They are also divided in two families, characterised by

	
	
    ℰ_1:    4 < ω_i^2 < (N_0/Ω_s)^2, 
    ℰ_2:    max  [4, (N_0/Ω_s)^2] < ω_i^2 < 4 + (N_0/Ω_s)^2.


These properties are quite general, because equation (<ref>) depends solely on the reference state. Therefore, both global modes <cit.> and local waves propagating upon this reference configuration exhibit this distinction.

The different families of waves satisfying sub-harmonic resonance condition (<ref>) are illustrated in Fig. <ref>. 
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 Ω_0.
At the leading asymptotic order, we have obtained a general expression for sub-harmonic resonance condition (<ref>) in the local theory, which can be written as

    cos^2 (θ_0) = ω+N_0^2 r_0^2   [(N_0^2 r_0^2 - ω) cos^2 α_0 -cos(2 α_0)]/ω^2+N_0^2 r_0^2   [N_0^2 r_0^2-2 ωcos (2 α_0)]
    
    	+ 2 √(ω_1   [ω  (1-N_0^2 z_0^2)+N_0^2 r_0^2 - 1])/ω^2+N_0^2 r_0^2   [N_0^2 r_0^2 - 2 ωcos (2 α_0)],

with the background rotation Ω_0=Ω_0/(1-Ω_0), N_0 = (N_0/Ω_s)/|1-Ω_0|, ω=4(1+Ω_0)^2, the initial position X_0 = (x_0, z_0)^⊤ = r_0   (sinα_0, cosα_0)^⊤ where r_0 is the initial radius and ω_1=N_0^4 r_0^4 cos^2 α_0 sin^2 α_0. 
The associated wave-like domains and colatitude angles θ_0 are shown in Figures <ref> and <ref>. 






The classical allowable range of the instability in homogeneous fluids is -1 ≤Ω_0 ≤ 3 <cit.>. 
Within this range, the sub-harmonic condition involves only ℋ waves, as shown in Fig. <ref>. For neutral stratification (N_0 = 0), they are inertial waves ℋ_1, propagating in the whole fluid cavity <cit.>. They have the colatitude angle at the sub-harmonic resonance <cit.>

    2 cos (θ_0) = 1/1+Ω_0 =  1-Ω_0.

This remains valid in weakly stratified fluids (that is N_0/Ω_s ≪ 1). Indeed, ℋ_1 waves are only slightly modified by buoyancy. They still propagate in the whole fluid domain, as shown in Fig. <ref> (left panel). In addition, their colatitude angle θ_0 is slightly larger than the value predicted by formula (<ref>) on the polar axis.

When N_0/Ω_s≥ 1, ℋ_1 waves morph into ℋ_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. <ref> (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 (<ref>), 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

    |z_c| ≥|1-Ω_0|/N_0/Ω_s.

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  (<ref>), converges towards the conical volume delimited by the asymptotic limit cos (θ_c) = |1-Ω_0|/2 <cit.>, where θ_c is the critical colatitude. This is exactly formula (<ref>). 
Therefore, expression (<ref>) 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 β_0), that is a wave vector k∝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 <cit.>. When |1-Ω_0| → 0, the waves at the sub-harmonic resonance are equatorially trapped according to formula (<ref>). 






The orbital range Ω_0 ≤ -1 and Ω_0 ≥ 3 is known as the forbidden zone. In this range, tidal instability must involve gravito-inertial waves ℰ for the sub-harmonic mechanism, whatever the strength of stratification. Indeed, Fig. <ref> clearly shows that the waves at the sub-harmonic resonance depend only on the value of the orbital frequency Ω_0. 
When N_0/Ω_s≤ 1, the sub-harmonic condition is never satisfied within this orbital range. Hence, no tidal instability is triggered. 

However, gravito-inertial waves ℰ  can be excited at the sub-harmonic resonance for strong stratification, typically N_0/Ω_s≫ 1 when |Ω_0| increases.
Their critical characteristic surfaces, given by equation (<ref>), are ellipsoidal. On the one hand, ℰ_1 gravito-inertial waves are trapped in a region that does not encompass the polar axis, as shown in Fig. <ref> (left panel). The minimum distance between the spin axis and the wave-like domain in the equatorial plane is given by <cit.>

    x_c = √(|1-Ω_0|^2 - 4)/N_0/Ω_s.

Therefore, the thickness of the wave-like domain increases when the ratio N_0/Ω_s increases. 
On the other hand, ℰ_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. <ref>). Along the polar axis, these waves do not propagate when z is smaller than critical value (<ref>). The size of wave-like domain increases when the ratio N_0/Ω_s increases. In the limit N_0/Ω_s→∞, 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 <cit.>, by assuming Ω_s=0.



	

  §.§.§ Asymptotic growth rate in the equatorial plane

	

At the next asymptotic order in β_0, we can obtain a concise explicit formula for the growth rate σ of tidal instability, valid in the equatorial plane z_0=0. Dispersion relation (<ref>) gives, for α_0 = π/2 (after simplification),

    √(ω + N_0^2 x_0^2) cos (θ_0) = ± 1

with x_0 ≤ 1 the position of the initial trajectory X_0 in the equatorial plane. In the particular case Ω_0=0, equation (<ref>) recovers equation (4.6) of <cit.>. 

Several configurations are possible, depending on the parameters. 
On the one hand, the LHS of equation (<ref>) is purely imaginary when -N_0^2 x_0^2 > ω, when stratification is unstably stratified (with N_0^2/Ω_s^2 ≤ 0). Then, a centrifugal instability grows upon the reference configuration, with a maximum (dimensionless) growth rate <cit.>

    σ/|1-Ω_0| = √(-N_0^2 x_0^2 - ω).
 
On the other hand, tidal instability is triggered when all terms in equation (<ref>) are real.
Hence, no sub-harmonic instability is possible when N_0^2 x_0^2 < -3 - 4Ω_0   (2+Ω_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 ≤Ω_0 ≤ 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 Ω_0 ≤ -1 and Ω_0 ≥ 3 (range known as the forbidden zone in neutral fluids). 
Then, the dimensionless growth rate in the equatorial plane is 

    σ/|1-Ω_0| = (2 Ω_0+3)^2/16   (1+Ω_0)^2+4N_0^2 x_0^2β_0.

Hence, the growth rate σ is weakened by stratification when N_0^2 x_0^2 increases. This effect was already discussed in the conclusion of <cit.>. They found that elliptical equipotentials are stabilising contrary to circular equipotentials. However, in this former case, their equation slightly differs from equation (<ref>). Actually, their formula is erroneous because we will confirm the validity of expression (<ref>) by direct numerical integration of the local stability equations (see below). Note also that equation (<ref>) does not recover equation (24) of <cit.>, obtained in the limit of a buoyancy force of order β_0. In this limit, we recover their approximate formula (24) if we use their value for θ_0, artificially set to its hydrodynamic value ωcos^2 θ_0=1 instead of its exact value given by expression (<ref>).



We show in Fig. <ref> the maximum growth rate, computed from formula (<ref>), for different orbital configurations Ω_0. Several points are worthy of comment. 
Firstly, tidal instability is excited in the equatorial region when -1 ≤Ω_0 ≤ 3 (in the diffusionless limit), that is in the classical orbital range of tidal instability <cit.>. This mechanism occurs for any realistic value of N_0/Ω_s≤ 100 (see Table <ref>). 
In this orbital range, the maximum growth rate is always obtained for neutral fluids (N_0=0), yielding the usual (dimensionless) growth rate <cit.>

    σ/|1-Ω_0| = (2 Ω_0+3)^2/16   (1+Ω_0)^2β_0.

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/Ω_s≫ 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 Ω_s^-1). Note that these sub-harmonic instabilities have been reported in local stratified simulations <cit.>.

Therefore, in the equatorial region, we have shown that barotropic stratification has (i) a destabilising effect within the usual forbidden zone (Ω_0 ≤ -1 and Ω_0 ≥ 3), and (ii) a stabilising effect when -1 ≤Ω_0 ≤ 3. However, we emphasise that a baroclinic state (that is g×∇ T_0 ≠0) has the opposite effect when -1 ≤Ω_0 ≤ 3 <cit.>. 
This behaviour can be recovered by our asymptotic analysis, by assuming an imposed gravity field with a different equatorial ellipticity β_1 ≠β_0. For such a reference ellipsoidal configuration, formula (<ref>) becomes

    σ/|1-Ω_0| =  ( 2 Ω_0+3 )^2/16   ( 1+Ω_0 )^2 + 4  N_0^2 x_0^2 |  β_0 + N_0^2 x_0^2  β_0-β_1/2Ω_0+3 |.

This corrects misprints in equation (D.1) of <cit.>, obtained with a different unit of time. For circular isopotentials (β_1=0), formula (<ref>) clearly shows that the growth rate of tidal instability is enhanced in the equatorial plane. This is the configuration considered by <cit.> and <cit.>. Besides, equation (<ref>) recovers formula (4.7) of <cit.> in their particular case Ω_0=0.


	

  §.§.§ 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 = β_0 ≪ 1). Dispersion relation (<ref>) simplifies along the polar axis into (with α_0 = 0)

    cos^2 (θ_0) = 1 - N_0^2 z_0^2/ω - N_0^2 z_0^2.

Condition (<ref>) shows that the forbidden zone of tidal instability coincides with the one for neutral fluid, that is Ω_0 ≤ -1 and Ω_0 ≥ 3. Outside this range, the asymptotic (dimensionless) growth rate is

    σ/|1-Ω_0| =  ( 2 Ω_0 + 3 )^2  ( 1 - N_0^2 z_0^2  )/16   ( 1+Ω_0 )^2 - 4 N_0^2 z_0^2β_0.

Formula (<ref>) is identical to the diffusionless growth rate devised by <cit.>, denoting N_0 z_0 their local value of stratification. Hence, an axial stratification is uniformly stabilising along the polar axis.




 §.§ Numerical solutions in the orbital range -1 ≤Ω_0 ≤ 3






The previous asymptotic analysis shows that stable stratification (N_0/Ω_s≥ 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 <cit.>. 
However, this is barely consistent with three-dimensional numerical simulations <cit.>,  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 (<ref>). To do so, we have used the local stability code SWAN <cit.>. We have updated it to handle the general local stability equations, which are described in Appendix <ref>. Moreover, by solving numerically the full local equations, we do not assume a priori sub-harmonic condition (<ref>). Hence, we emphasise that the numerical solutions will assess the general validity of sub-harmonic condition (<ref>) in stratified fluids, which has already been confirmed in homogeneous fluids <cit.>.  

In the astrophysical regime β_0 ≪ 1, the resonance condition (<ref>) or (<ref>) (if valid), are satisfied numerically for only a few initial wave vectors k_0. Numerically, this is too expansive to survey all the possible configurations for k_0. Thus, we set the equatorial ellipticity to the value β_0=0.2. 
This does not change in any way the relevance of the following numerical results, because σ is proportional to β_0 (when β_0≪ 1).
However, for large values of β_0, the general resonance condition (<ref>) can be satisfied for a wider range of initial wave vectors k_0, due to geometrical detuning effects <cit.>. Hence, the computations are more tractable numerically. In practice, we have considered a large enough number of fluid trajectories X(t) and k_0, sampling the whole ellipsoidal domain to get representative results. 

We have validated the code against analytical formulas (<ref>) and (<ref>), obtaining a perfect agreement and cross-validating the asymptotic analysis (not shown). Then, we only investigate the stability of equilibrium tidal flow (<ref>) within the orbital range -1 ≤Ω_0 ≤ 3, representative of the binary systems considered in Sect. <ref>. 
When stratification is neutral (N_0=0), the whole domain is unstable as expected (not shown), with a homogeneous growth rate predicted by formula (<ref>). 
We survey illustrative stably stratified configurations N_0/Ω_0 ≥ 0 in Fig. <ref>. 
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 (<ref>). In the bulk, the weakening first occurs near the polar regions, and then spreads out towards lower latitudes when N_0/Ω_s increases (from top to bottom panels in Fig. <ref>). Along the polar axis, it turns out that the transition between unstable and stable areas occurs at position (<ref>). In addition, the equatorial region is still unstable for the range of N_0/Ω_s considered, as observed in Fig. <ref>. 
Then, the numerical analysis unravels an unexpected feature compared to the asymptotic analysis. When N_0/Ω_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 β_0 ≪ 1 (bounded from below and above by the grey dashed curves). An exception appears here for Ω_0 = -0.5 and N_0/Ω_s = 5 (top panel of Fig. <ref>). This is due the finite value β_0 = 0.2 used in the numerics, which is responsible for imperfect resonances in condition (<ref>) due to geometric detuning effects <cit.>. 
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 θ_0 (given our numerical resolution, not shown), predicted by formula (<ref>) 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≤Ω_0 ≤ 1, the tilt angle θ_0 given by formula (<ref>) goes from θ_0=0 to θ_0=π/2. Hence, the instability on retrograde orbits (with small values of θ_0) is less weakened than on prograde orbits. When N_0/Ω_s≫ 1, tidal instability is equatorially trapped between the conical layers, with growth rates in the equatorial plane predicted by formula (<ref>). However, on these conical layers, it turns out that the largest growth rate σ is unaffected by stratification, for any value of N_0/Ω_s. Hence, the maximum growth rate of tidal instability in stratified fluids is always given by formula (<ref>), for any orbit in the orbital range -1 ≤Ω_0 ≤ 3.

Therefore, the numerical analysis has confirmed and extended the asymptotic analysis. 
In stably stratified interiors, resonance condition (<ref>) illustrated in Fig. <ref> is a necessary and sufficient condition for tidal instability (when β_0 ≪ 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 ≤Ω_0 ≤ 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 (<ref>). At these latitudes, the wave vector is parallel to the gravity field, such that the maximum growth rate is unaffected by the stable stratification. 




 §.§ 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 σ overcomes the (negative) laminar damping rates due to viscosity τ_ν, radiative diffusivity τ_κ and Joule diffusion τ_Ω. Hence, the diffusionless growth rate σ ought to be reduced by the laminar damping rates, yielding the diffusive growth rate 

    σ_𝒟 = σ +  ( τ_ν + τ_κ + τ_Ω ).

We have confirmed in Sect. <ref> 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 (<ref>) 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. <ref> that the diffusionless growth rate σ is maximum on critical latitudes, where the wave vector satisfies k_0 ×g = 0 (when β_0 ≪ 1). Then, in the local plane-wave model, the buoyancy term in the local vorticity equation (which is proportional to k_0 ×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 τ_κ=0. Thus, in the absence of background turbulent motions (see the discussion in Sect. <ref>), the waves are individually damped by viscosity and Joule diffusion (in the weak field regime Le ≪ 1). 

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

    B = B_0 + b,

where the fossil field 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 <cit.>. For the stability computations, we assume a fossil field of the form B_0 ∝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 ≪ 1, the damping rates have been devised by <cit.> in the local theory and by <cit.> in the global one. They depend on the wave properties, that is here the wave vector. Notably, we explain in Appendix <ref> 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 ≪ 1) in any z-plane read

    
    τ_ν    = - |k_0|^2   Ek, 
    τ_Ω   = - cos^2 (θ_0)   |k_0|^4 Em   Le^2/4 cos^2 (θ_0) + |k_0|^4   Em^2  |1-Ω_0|,


with |k_0| the norm of the wave vector at the resonance (and at the initial time) and cos (θ_0) given by condition (<ref>). 
Expression (<ref>) is quantitatively valid when B_0 ∝1_z <cit.>. 
In the regime Pm ≪ 1, laminar Joule diffusion is the leading-order dissipative effect (|τ_Ω| ≫ |τ_ν|). The Joule damping has already been considered for homogeneous fluids  <cit.>. 
Note that formula (<ref>) is exactly the Joule damping rate of tidal instability in neutral fluids (N_0=0). Besides, formulas of <cit.> and <cit.> are recovered in the limit |k_0| ≫ 1, by using the resonance condition 2 cosθ_0=± 1 to set θ_0 for N_0=0. Formula (<ref>) has two asymptotic behaviours, depending on the value of k_0. They are separated by the condition

    |k_0| = √(2 cos (θ_0) /Em)∼ Em^-1/2.

On the one hand, we obtain a wave-dominated regime when |k_0| ≤ Em^-1/2, in which the Joule damping rate scales as τ_Ω∝ - Em   Le^2 |k_0|^4/4. On the other hand, we get a diffusion-dominated regime when |k_0| ≥ Em^-1/2. In the latter regime, the damping rate is independent of the wave vector and scales as τ_Ω∝ - Le^2/Em. 

We illustrate in Fig. <ref> the evolution of Joule damping rate (<ref>) in the different regimes. 
Tidal instability will survive in the presence of magnetic fields if σ≫ |τ_Ω|. 
Typical values of the diffusionless growth rate, given by formula (<ref>), are σ∼𝒪(β_0) with β_0 ∈ [10^-4, 10^-2] in close binaries.
We clearly observe that tidal instability does survive against Joule diffusion, for short-wavelength perturbations with |k_0| ≤ 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. 






 §.§ Other dissipative mechanisms



At the linear onset, the laminar diffusive effects discussed in Sect. <ref> are always present, but we have shown that they are smaller than the largest diffusionless growth rate σ. Hence, these effects can be reasonably neglected at the onset, yielding σ_𝒟∼σ.
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 <cit.> or stellar interiors <cit.>. Yet, phase-mixing is probably irrelevant for tidal instability in the weak field regime (Le ≪ 1), notably because Aflvén waves are not involved in tidal instability (see Appendix <ref>). 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 <cit.>. 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  <cit.>, possibly yielding small-scale instabilities. <cit.> 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 <cit.>. 
In such a case, <cit.> and <cit.> proposed to model the local shear-driven turbulence by introducing the turbulent viscosity

    ν_t∝ 0.08  κ_T/J,    J = N_0^2/S^2,

with κ_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 J Pr ≃ 0.007 <cit.>. Then, prediction (<ref>) would yield an upper-bound effective turbulent Ekman number Ek_t≤ 10^-10 for speculative stellar values, to use in expression (<ref>) for the viscous damping rate. For the range of wave numbers |k_0| given in Fig. <ref>, we find that the associated turbulent damping rate is smaller than the diffusionless growth rate σ (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 (β_0 ∼ 10^-3 - 10^-2, see Table <ref>).




§ 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 ≪ 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 <cit.>.
Several studies have examined the turbulence in radiative zones <cit.>. 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 <cit.>, possibly leading to global tidal mixing <cit.>. Thus, tidal mixing is expected in radiative interiors. 
We motivate our assumptions in Sect. <ref>. Then, we use dimensional-type arguments in Sect. <ref> to develop a phenomenological description of the nonlinear tidal mixing in radiative interiors in Sect. <ref>, valid in the orbital range -1 ≤Ω_0 ≤ 3. Finally, we assess its validity by using proof-of-concept simulations in Sect. <ref>.




 §.§ Assumptions



As shown in Sect. <ref>, magnetic effects play a minor role at the onset of instability in the orbital range -1 ≤Ω_0 ≤ 3. They essentially weaken the growth rate of tidal instability, due to the laminar Joule damping.
In the (transient) linear growth, the fossil field 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 <cit.>. However, in the saturated regime, the fossil field would interact nonlinearly with the nonlinear tidal flows, as governed by induction equation



    ∂B/∂ t   =  ∇× [ (U_0 + u) ×B ] + Ek/Pm ∇^2 B, 
    	
    ∇·B   = 0,    B (r,t=0) = B_0 (r),


in which the initial time t=0 refers now to an initial time just after the growth of the instability. In equation (<ref>), the nonlinear velocity field u is governed by momentum equation (<ref>). In the relevant weak field regime Le ≪ 1, nonlinear numerical simulations of the coupled problems showed that magnetic effects do not weaken the turbulent tidal flows <cit.>. These turbulent flows generate mixing, that would ultimately increase the Ohmic diffusion of the fossil field B_0. Therefore, Ohmic diffusion ought to be increased (a priori). This is often modelled by introducing a turbulent magnetic diffusivity <cit.>. 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  <cit.> 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.


	

 §.§ 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 <cit.>. 

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, <cit.> and <cit.> argued that in the weak field regime (Le ≪ 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 <cit.>. 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 <cit.>. 
Thus, we may replace any laminar diffusivity (denoted 𝒟) by an effective eddy diffusivity (denoted 𝒟_t), induced by the nonlinear tidal flows. 
Then, mixing-length theory  <cit.> predicts in dimensional form (up to a unknown proportional constant)

    𝒟_t∝1/3 u_t  l_t,

where u_t and l_t are respectively the typical (dimensional) local velocity and length scale of the turbulent motions. Note that u_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 <cit.>. 
Here, u_w is much smaller than u_t in amplitude. Hence, the eddy diffusivity 𝒟_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 (<ref>) is to find accurate predictions for u_t and l_t in the nonlinear regime of tidal instability. 

On the one hand, we have shown in Sect. <ref> 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 ≤Ω_0 ≤ 3. 
This mechanism holds whatever the strength of stratification, measured by the ratio N_0/Ω_s. Therefore, the turbulent velocity scale u_t should not depend (strongly) on the local strength of stratification N_0/Ω_s. This is supported by proof-of-concept simulations <cit.>, showing that nonlinear tidal flows exhibit the scaling devised in homogeneous fluids <cit.>. This reads

    u_t∼α_1 β_0 r_l  Ω_s (1 - Ω_0)

with r_l≤ R the local position and α_1 ∼ 0.3-0.5 a dimensionless pre-factor obtained numerically both in homogeneous <cit.> and strongly stratified tidal flows <cit.>. Hence, we reasonably estimate the turbulent velocity u_t by using prescription (<ref>). 
On the other hand, l_t should depend on the local ratio N_0/Ω_s. Several regimes have been found in forced stratified turbulence <cit.>. 


	

 §.§ Phenomenological prescriptions

	
	

  §.§.§ Weakly stratified regime (N_0 /Ω_s≤ 1)


In the weakly stratified regime, characterised by N_0/Ω_s≤ 1, ℋ_1 waves satisfying the sub-harmonic resonance condition are barely affected by stratification. 
We estimate l_t by balancing the nonlinear term (u·∇)  u with the injection term (u·∇)  U_0 in momentum equation (<ref>). This yields the typical turbulent length scale in dimensional form l_t∝α_1 r_l. 
Then, the weakly stratified regime is characterised by the eddy diffusivity  (in dimensional form)

    𝒟_t∝1/3α_1^2 β_0 r_l^2  Ω_s (1 - Ω_0).

Formula (<ref>) predicts a roughly homogeneous mixing in the weakly stratified regime, as found in global models <cit.> in which r_l≃ R. This explains why the tidal mixing computed in <cit.> is roughly constant as a function of stratification, when N_0/Ω_s≤ 1 (see their Fig. 9). However, estimate (<ref>) may be reduced in this regime due to (compressible) density variations (close to the isentropic profile when N_0/Ω_s≪ 1).

Finally, formula (<ref>) provides a good estimate of the leading-order term in the eddy diffusivity tensor <cit.>. In addition, note that rotation would also support small anisotropic diffusion in the axial direction <cit.>.


	

  §.§.§ Stratified regimes (N_0 /Ω_s≥ 1)


We now investigate the stratified regimes N_0/Ω_s≥ 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 <cit.>. Such layers are conspicuous in simulations of tidal flows in strongly stratified fluids, both in non-rotating <cit.> and rotating fluids <cit.>. 
Hence, l_t depends on both the direction and the strength of stratification. We introduce two turbulent length scales, respectively l_t^∥ in the normal direction (that is along the gravity field) and l_t^⊥ in the other horizontal directions. 

Several regimes of stratified turbulence have been devised in fundamental fluid mechanics <cit.>. They are characterised by the buoyancy Reynolds number

    ℛ∼u_t^3/l_t^⊥ N_0^2 ν.

<cit.> investigated the small-scale turbulence sustained by tides in the regime ℛ≤ 1, in which vertical viscous shearing is significant.  
However, radiative interiors are in the opposite regime ℛ≫ 1 <cit.>.
Moreover, they neglected rotation, by setting Ω_s=0. 
In such a configuration, the subspaces of waves [ℋ_1,ℋ_2] at the sub-harmonic resonance are empty, according to dispersion relations (<ref>). Hence, tidal instability can only involve sub-harmonic resonances of internal waves ℋ_2 in the limit N_0 /Ω_s→∞ and |Ω_0| →∞. 
Therefore, their results do not apply for our astrophysical problem, for any orbit in the range -1 ≤Ω_0 ≤ 3.
In the relevant strongly stratified regime (ℛ≫ 1), diffusion is unimportant and the turbulence is three-dimensional <cit.>. The general scalings of this regime have been confirmed by turbulence simulations <cit.>. Thus, they can be applied to the tidal problem.
In addition, rotational effects are also significant within the orbital range -1 ≤Ω_0 ≤ 3, even for large values of N_0/Ω_s≥ 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 <cit.>

    l_t^⊥∼α_2 N_0/Ω_s l_t^∥.

with α_2 ∼ 0.6 a (numerical) pre-factor constrainted from local turbulent simulations in rapidly rotating and strongly stratified turbulent regime <cit.>. This regime is expected to be valid for radiative interiors, notably to describe shear-driven turbulence <cit.>. 
For strong stratification (N_0/Ω_s≥ 10), we combine the two balances obtained by equating (i) the nonlinear term with the buoyancy force in momentum equation (<ref>) and (ii) the injection term (u·∇)   T_0 and the nonlinear term (u·∇)  Θ in energy equation (<ref>). These balances yield respectively

    u_t^2/l_t^∥∼α_T g_0  Θ_t   and   α_T g_0  Θ_t∼ N_0^2   l_t^∥,

where Θ_t is the typical dimensional turbulent buoyancy perturbation. We recover from balances (<ref>) the classical scaling for the turbulent length scale in the normal direction, that is u_t∼ l_t^∥ N_0 <cit.>. Hence, the turbulent length scale along the gravity direction is

    l_t^∥∼α_1 β_0   r_l  (1-Ω_0) Ω_s/N_0   (with   α_1 ∼ 0.3 - 0.5).

Scaling (<ref>) shows that tidal mixing falls in the asymptotic regime of strongly stratified turbulence <cit.>. 
Then, we obtain two prescriptions for the eddy diffusivity, the first one 𝒟_t^∥ valid in the gravity direction and the second one 𝒟_t in the perpendicular (horizontal) directions. They yield



    𝒟_t^∥   ∝1/3α_1^2  β_0^2   r_l^2  Ω_s (1 - Ω_0)^2 Ω_s/N_0, 
    𝒟_t^⊥   ∝1/3α_1^2 α_2  β_0^2   r_l^2  Ω_s (1 - Ω_0)^2,


with α_1 ∼ 0.3 - 0.5 and α_2 ∼ 0.6 (see above). Prescriptions (<ref>) 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) 

    E_t(Θ^*) ∼1/2α^2_T g_0^2/N_0^2Θ_t,    E_t(u^*) ∼1/2 u_t^2,

are comparable in magnitude <cit.>. This can be checked in the numerical simulations (see below).

In-between the two aforementioned stratified regimes, when 1 ≤ N_0/Ω_s≤ 10, the situation is unclear. Indeed, <cit.> found that u·g, which is responsible for tidal mixing in the normal direction, is largely unaffected by stratification when N_0/Ω_s≤ 10 (see their Fig. 4). Hence, we may extend prescription (<ref>) for the turbulent mixing up to N_0/Ω_s≤ 10. Yet, this behaviour is not conspicuous in the numerics <cit.>. This may be due to the rather specific numerical method, which inaccurately probed the intermediate regime 1 ≤ N_0/Ω_s≪ 10. Thus, a transition may be also expected between the two regimes (<ref>) and (<ref>) when 1 ≤ N_0/Ω_s≤ 10.


	

 §.§ Validation against numerical simulations

	

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

    u·1_n = 0,    1_n × [ (∇u + (∇u)^⊤)  1_n  ] = 0,

and assuming a fixed temperature Θ=0 at the boundary. Stress-free conditions (<ref>) are known to lead to spurious numerical behaviours, associated with the evolution of angular momentum in weakly deformed spheres <cit.>. To circumvent this numerical problem, we follow <cit.> and <cit.> 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 b matches a potential field at the boundary. 

For the computations, we use the proof-of-concept global numerical model introduced in <cit.>.
Briefly, the reference ellipsoidal configuration (described in Sect. <ref>) is approximated in spherical geometry by an spatially varying equatorial ellipticity profile ϵ(r,β_0), depending of the ellipticity β_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 <cit.> and validated against standard spherical benchmarks <cit.>. 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 <cit.>. 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 <cit.> 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 <cit.> in the presence of nonlinear tides, to  compare it with the free decay rate of the same magnetic configuration in laminar diffusive models <cit.>. 
We compute the (dimensionless) decay rate σ_η≤ 0 of the volume average of the magnetic energy over the computational integration time T as

    σ_η = lim_T→∞1/Tlog ( ∫_𝒱1/2 |B|^2  d𝒱 ).

Decay rate (<ref>) is a global estimate in the simulations of the effective diffusivity 𝒟_t. <cit.> measured in a similar way the turbulent diffusivity, obtaining a good quantitative agreement with mean-field analyses. Then, global decay rate (<ref>) should have the same scaling law in β_0 for all the initial magnetic fields 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 B_0 ·1_n = 0 (at any position), to be preferentially dissipated in the normal direction. Thus, scaling (<ref>) 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 (<ref>) 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 β_0, which should be generic whatever the topology of the initial magnetic field in the numerics. 
Thus, we aim at recovering (i) σ_η∝β_0 for weakly stratified regime (<ref>) and (ii) σ_η∝β_0^2 for strongly stratified regime (<ref>). 

In magnetic radiative stars, the initial fossil field is unlikely force-free <cit.>, 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 <cit.>.
Then, in addition to the slow laminar Joule diffusion, <cit.> showed that an initial fossil field can decay due to the propagation of (slow) Magneto-Coriolis waves (see Appendix <ref>) in the presence of rotation. Such a magnetic decay occurs
on the (rather slow) dynamic timescale

    τ_MC∼ (Ω_s Le^2)^-1.

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 (<ref>) 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 (<ref>) 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 role[Even 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 ≪ 1 <cit.>. Consequently, for this particular problem of tidal instability, neglecting the Lorentz force is advisable in the numerics. 

As a reference configuration, we have assumed Ω_0 = 0. Indeed, we have shown theoretically in Sect. <ref> that the underlying mechanism of tidal instability does not change in the range -1 ≤Ω_0 ≤ 3, and similarly the turbulent scalings <cit.>. Hence, investigating only one orbital configuration is necessary. 
Then, problem (<ref>) 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 (<ref>) 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 <cit.>. This particular magnetic field is an exact solution of the purely diffusive induction equation. It has the smallest laminar Ohmic free decay rate σ_Ω (in dimensionless form), given by 

    σ_Ω = π^2 Ek/Pm.

Thus, this is the most suited initial magnetic field to assess the validity of the turbulent scaling laws.
Indeed, slow laminar Joule diffusion (<ref>) 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 σ_η.



Figure <ref> shows the representative results for the two stratified regimes. We observe that the decay rate σ_η is always larger than the free decay rate σ_Ω 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 (<ref>) agrees well with the linear scaling σ_η∝β_0, consistent with mixing-length formula (<ref>). The agreement is even much better in the strongly stratified regime (bottom panel), obtaining the quadratic scaling σ_η∝β_0^2 expected from (<ref>). 

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 (β_0 ≃ 10^-1 in the numerics and β_0 ≃ 10^-3 - 10^-2, see Table <ref> 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 ≤ 10^-10) would show a stronger tidal effect. Yet, our simulations already support the trend predicted by mixing-length theory (<ref>). 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. <ref>).

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. <ref>), is E(Θ)/E(u) = 8.1 ± 3.5. 
This numerical value agrees very well with the theoretical scaling (<ref>) in the strongly stratified regime <cit.>, yielding E(Θ)/E(u) ∼ N_0/Ω_s = 10 in dimensionless variables. This is another evidence of the validity of the mixing-length theory.




§ 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. <ref>) and the nonlinear mixing induced by the saturated flows (Sect. <ref>). For the sake of theoretical and numerical validations, we have only considered rather idealised stellar models, described in Sect. <ref>. 
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.).




 §.§ 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 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 Ω_orb and Ω_s. 
We focus on non-synchronised binaries in the orbital range -1 ≤Ω_0 ≤ 3, where Ω_0 = Ω_orb/Ω_s is the dimensionless orbital frequency. The orbits are almost circularised, but small orbital eccentricities e ≪ 1 do not strongly modify the fate of tidal flows <cit.>. We also focus on binaries with short-period systems, with typical periods of T_s = 2 π/Ω_s≤ 10 days. 
Due to the combined action of the tides and the spin, the star is deformed into an triaxial ellipsoid <cit.>. 
The latter is characterised by a typical equatorial ellipticity β_0, estimated from the static bulge theory <cit.>. For the bulge generated onto the primary, this reads 

    β_0 ∼3/2M_2/M_1 ( R/D )^3,

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/Ω_s, where N_0 is the typical Brunt-Väisälä frequency. A representative value for intermediate-mass stars is N_0 ∼ 10^-3 s^-1 <cit.>, yielding a typical ratio N_0/Ω_s≫ 10.

The tidal forcing sustains an equilibrium tidal velocity field <cit.> in the primary fluid body. This equilibrium tidal flow can be nonlinearly coupled with inertial-gravity waves, triggering tidal instability. The dimensional growth rate σ^* of tidal instability, which does not depend on stratification, is given by

    σ^* = (2 Ω_0+3)^2/16(1+Ω_0)^2 |Ω_s-Ω_orb|  β_0,

with Ω_0 = Ω_0/(1-Ω_0). 
In the saturated regime, tidal instability increases the internal mixing (due to turbulence).
In strongly stratified radiative interiors (N_0/Ω_s≫ 10), the turbulent mixing generated by tidal instability is anisotropic, characterised by an eddy turbulent diffusivity 𝒟_t^∥ in the direction of the self-gravity and by 𝒟_t^⊥  (≫𝒟_t^∥) in the other (horizontal) directions.



Then, the turbulent mixing will dynamically increase the Joule decay of the fossil field 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. <ref>. 
On the one hand, the poloidal components, which are mainly along the normal direction, would be preferentially dissipated by the (large) eddy diffusivity 𝒟_t^⊥ 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 𝒟_t^∥ 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 τ_t (at the position r_l≤ R), given by

    τ_t∝r_l^2/𝒟_t^⊥∼K_α/β_0^2  Ω_s (1 - Ω_0)^2

with the pre-factor K_α∼ 30 - 50 estimated from the numerical pre-factors in formulas (<ref>). 
Timescale (<ref>) 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 (<ref>) of the (slow) Magneto-Coriolis waves, as shown by <cit.>. 






 §.§ Non-magnetic binaries


We assess here the relevance of the tidal scenario for short-period massive binary systems. Non-magnetic and non-synchronised (Ω_0 ≠ 1) binaries are given in Table <ref>. 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 <ref>. 
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 β_0 ∼ 10^-3 - 10^-2. The strong tides should trigger quickly tidal instability, growing on the typical timescale (σ^*)^-1≃𝒪(10^3) years. This is much shorter than the lifetime of these stars, about τ_MS∼ 10^9 years for a star of mass M_1 = 2 M_⊙ on the main sequence. Hence, tidal instability is likely to be present in these non-synchronised binaries. 

Then, typical values for turbulent timescale (<ref>) are τ_t∈ [10^3, 10^7] years, except for HD 23642 and HD 32964 which are less affected by tidal instability (smaller β_0). Thus, the turbulent Joule diffusion of the initial fossil fields may occur on timescales much shorter than the stellar lifetime, typically τ_t/τ_MS≪ 10^-3 for the most favourable systems. 
Turbulent timescale (<ref>) is also often smaller that the timescale for the laminar Ohmic diffusion of the magnetic field in the absence of turbulence τ_Ω∝ (Ω_s  Ek/Pm)^-1. As illustrated in Fig. <ref>, we get τ_t/τ_Ω≤ 10^-2 (except for HD 23642 and HD 32964). Similarly, for several systems, τ_t is smaller than the dynamic timescale τ_MC proposed by <cit.>, given by expression (<ref>). 

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.









 §.§ Magnetic binaries




We give in Table <ref> the orbital properties of some scarce magnetic binaries, analysed by the BinaMIcS collaboration. 
They were already known to be magnetic, such as HD 98088 <cit.>, 
ϵ Lupi <cit.> and HD 156324 <cit.>.
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 (Ω_0 = 1) is discussed in Appendix <ref>. 
On the one hand, system HD 156324 is nearly circularised <cit.>, whereas non-circular orbits are required for the tidal mechanism to operate in synchronised systems <cit.>. 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 <ref>, formula (<ref>) for the typical turbulent timescale ought to be reduced in synchronised systems, such that (1-Ω_0)^2 ∼ϵ_l^2 where ϵ_l ≪ 2e is the dimensionless amplitude of differential rotation due to the elliptical orbit <cit.>. 
Based on the accuracy of the measured periods in Table <ref>, we may assume ϵ_l ≤ 10^-3, such that the turbulent timescale τ_t, given by formula (<ref>), is expected to be much larger in HD 98088 than for the systems of Table <ref> (for similar values of the equatorial ellipticity β_0 ∼ 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 <cit.>.
On the one hand, the radiative damping of the dynamical tide has received  attention in radiative stars <cit.>. 
On the other hand, synchronisation mechanisms have been much less studied in radiative interiors <cit.>, and the comparison with the observations is less satisfactory <cit.>.
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 <cit.> is more intricate. Nonlinear tidal mixing should occur within these stars, with a typical turbulent timescale τ_t∼ 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 <ref>. Several dynamo mechanisms may be advocated, for instance driven by differentially rotating flows <cit.>, baroclinic flows <cit.> or even tidal instability <cit.>. 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 <cit.>, would yield |B_0| ∼ 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.




§ CONCLUSION




 §.§ 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 <cit.>. 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 <cit.>, 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 ≤Ω_0 ≤ 3. Within this orbital range, tidal instability is weakened by barotropic stratification on the polar axis <cit.> and in the equatorial plane. On the contrary, baroclinic stratification does increase the growth rate of tidal instability <cit.>. 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 Ω_0.
In the other orbital range Ω_0 ≤ -1 and Ω_0 ≥ 3, that is in the forbidden zone of tidal instability in homogeneous fluids <cit.>, 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 <cit.>.

Secondly, we have developed a mixing-length theory <cit.> of the anisotropic turbulent mixing, sustained by tidal instability in the orbital regime -1 ≤Ω_0 ≤ 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 β_0^2, where β_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 <cit.>.

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.




 §.§ 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 <cit.>, <cit.> 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 <cit.>. 
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 <cit.>, 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 <cit.>, which undergo differential rotation <cit.>. 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  <cit.>.
In the presence of turbulent tidal flows, secondary shear instabilities may exist if

    Ri_t  Pe_t≤ 1,

with Ri_t = N_0^2/(u_t/l_t^∥)^2 the turbulent Richardson number and Pe_t = u_t l_t^∥ / 𝒟_t^∥ the turbulent Péclet number. By using our mixing-length predictions, a typical estimate would be Ri_t Pe_t∼ 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 <cit.>. 
Whether differential rotation is important for the tidal mixing is elusive, for instance because differential rotation is damped by several hydromagnetic effects <cit.>. 
Nonetheless, elliptical (tidal) instability does exist in differentially rotating elliptical flows, as shown in fundamental fluid mechanics <cit.>. The properties of the waves for more astrophysically relevant profiles of differential rotation can be investigated in global models <cit.>, such that extending the present theory seems achievable. 
Closely related to the study of differential rotation is the study of baroclinic flows <cit.>. We have shown that baroclinic stratification does enhance tidal instability, as first noticed by <cit.> and <cit.>. 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 <cit.>. 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 <cit.>. However, the influence of compressibility is apparently negligible at the onset of tidal instability <cit.>. 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 (<ref>) to be only governed by the local value of stratification (rather independently of its origin). Moreover, compressibility would barely modify the (strongest) horizontal mixing (<ref>), because horizontal motions are less inhibited by compressibility. Therefore, our typical turbulent timescale (<ref>) 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 <cit.> 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 <cit.> and large-scale <cit.> in homogeneous fluids, and also in weakly stratified interiors <cit.>. Yet, the dynamo capability of tides remains elusive in strongly stratified interiors <cit.>. Baroclinic flows are another possible candidate, because they are dynamo capable <cit.>. They may also favour the radial mixing  generated by tidal instability, which is a necessary ingredient for dynamo action <cit.>.
This certainly deserves future works to investigate dynamo magnetic fields in more realistic models of radiative stars. 



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 (CPER07_13 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/>).









aa
 








§ 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 <cit.>. 
The original WKB hydrodynamic stability theory has been extended by several authors, for instance to take buoyancy effects into account within the Boussinesq approximation <cit.>.

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 <cit.>, also accounting for magnetic fields <cit.> and buoyancy effects <cit.>. Indeed, the Kelvin wave method cannot investigate the stability of arbitrary background states, contrary to the WKB method. 




 §.§ 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 Ω and stratified in density under the arbitrary gravity field g. The fluid has a typical density ρ_M and is pervaded by an imposed magnetic field B_0(r,t). 
We expand the velocity, the magnetic field and the temperature as small Eulerian perturbations [u, b, Θ] (r,t) around a spatially varying and time-dependent background state [U_0, B_0, T_0] (r,t). In unbounded fluids, the perturbations are governed by the linearised hydromagnetic, Boussinesq equations 



    du/d t   = - (u·∇)  U_0 -2  Ω×u - ∇ (p + p_b) 
        -α_T  Θ g + α_B  [ (B_0 ·∇)  b + (b·∇)  B_0  ], 
    db/d t   = (b·∇)  U_0  - ( u·∇ )  B_0 + ( B_0 ·∇ )  u, 
    dΘ/d t   = - (u·∇)   T_0, 
    ∇·u   = 0,    ∇·b = 0 ,


where d/dt = ∂/∂ t + (U_0 ·∇) is the material derivative along the basic flow, p is the hydrodynamic pressure and p_b = α_B (B_0 ·b) the magnetic pressure. 
In equations (<ref>), α_T is the coefficient of thermal expansion (at constant pressure) in the Boussinesq equation of state (EoS) δρ/ρ_M  = -α_T  Θ, with δρ the Eulerian perturbation in density. 




 §.§ Short-wavelength perturbations


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

    
	
    u (r,t)    =  [ u^(0) + εu^(1) ] (r,t)  exp(i (r,t) / ε) + …, 
    b (r, t)    =  [ b^(0) + εb^(1) ] (r, t)  exp ( i (r, t) / ε ) + …, 
    Θ (r,t)    =  [ Θ^(0) + εΘ^(1) ] (r,t)  exp(i (r,t) / ε) + …, 
    
    	p (r,t)    =  [ p^(0) + ε p^(1) ] (r,t)  exp(i (r,t) / ε) + …,


where  is a real-valued scalar function that represents the rapidly varying phase of oscillations and [u^(i), Θ^(i), p^(i)] are slowly varying complex-valued amplitudes. Note that we have omitted in expansions (<ref>) the reminder terms, assumed to be uniformly bounded in ε on any fixed time interval <cit.>. 
We further introduce the local wave vector, defined by k = ∇. 
The small asymptotic parameter ε≪ 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 ε = l/L_0 ≪ 1 <cit.>. In the hydrodynamic and diffusionless case, its value is arbitrary small. 

However, in hydromagnetics, ε 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  <cit.>, which must be solved locally in Eulerian description. However,
by assuming <cit.>

    B_0 (r) = ε B_0 (r),
 
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 ε = β_0 <cit.>.




 §.§ Eulerian stability equations


We closely follow the mathematical derivation of <cit.>, extending it to the hydromagnetic case. 
Substituting expansions (<ref>) in incompressible condition (<ref>) and collecting terms of order i/ε and ε^0 gives

	
    i/ε:       [u^(0), b^(0) ] ·k = 0, 
    ε^0:      ∇· [ u^(0), b^(0) ] = -ik· [ u^(1), b^(1) ]  .


The same procedure applied to governing equations (<ref>)-(<ref>). Firstly, we have at the order i/ε

    d/d t [ u^(0), b^(0), Θ^(0) ] =  [- p^(0) k, 0, 0  ].

The dot product of the first equation (<ref>) with ∇, under constraint (<ref>), gives p^(0) = 0. Then, we obtain the Hamilton-Jacobi equation d/dt = 0. 
Finally, taking the spatial gradient of the previous equation gives the eikonal equation and its initial condition <cit.>

    dk/dt = -  ( ∇U_0  )^⊤k,    k(r,0) = k_0,    |k(r,t)| = |k_0|.


Now, by using the Hamilton-Jacobi equation and (<ref>), equations (<ref>)-(<ref>) give at the next asymptotic order ε^0


    -ik    [ p^(1) + α_B  B_0 ·b^(0) ] =  ( d/dt + ∇U_0 + 2  Ω × ) u^(0)
        - α_T  Θ^(0) g - iα_B   (B_0 ·k)  b^(0), 
    db^(0)/dt   = i   (B_0 ·k)  u^(0) + (∇U_0)  b^(0), 
    dΘ^(0)/dt   = - u^(0)·∇ T_0.


Equations (<ref>)-(<ref>) are transport equations for the magnetic field and the temperature amplitudes. 
Applying the dot product of k with equation (<ref>) gives the first order pressure variable

    -i [ p^(1) + α_B B_0 ·b^(0) ] = k/|k|^2· ( d/dt + ∇U_0 + 2  Ω × ) u^(0)
     
         - k/|k|^2· ( α_T  Θ^(0) g ).

Then, we differentiate equation (<ref>) to get the identity <cit.>

    d/dt ( u^(0)·k ) = dk/dt·u^(0) + k·du^(0)/dt = 0.

Finally, we use identity (<ref>) to simplify equation (<ref>), then we substitute the resulting expression into equation (<ref>). After some algebra, we get the transport equation for the velocity amplitude

    du^(0)/d t = [ ( 2 kk^⊤/|k|^2-I) ∇U_0 + 2 ( kk^⊤/|k|^2-I) Ω ×]  u^(0)
    
    	- α_T  Θ^(0) (  I - kk^⊤/|k|^2) g + iα_B   (B_0 ·k )  b^(0).

The stability equations, given by equations (<ref>) and (<ref>)-(<ref>), are dominant for the stability behaviour of WKB expansions (<ref>) for long enough times in the limit ε≪ 1 <cit.>.
The next order terms are only responsible for transient behaviours <cit.>. Thus, sufficient conditions for local instability are obtained by solving transport equations (<ref>) and (<ref>)-(<ref>).




 §.§ 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 X(t) of the background flow U_0, passing through the initial point X_0 at initial time t=0. In Lagrangian formalism, the WKB stability equations are



    DX/Dt   = U_0 (X(t)),    X(0) = X_0, 
    Dk/Dt   = - ( ∇U_0)^⊤ k,    k(0) = k_0, 
    Du^(0)/D t   =  [ ( 2 kk^⊤/|k|^2-I) ∇U_0 + 2 ( kk^⊤/|k|^2 - I) Ω × ]  u^(0)
       -  α_T  Θ^(0)  (  I -kk^⊤/|k|^2) g +  iα_B   (B_0 ·k )  b^(0),  
    Db^(0)/Dt   = i   (B_0 ·k)  u^(0) + (∇U_0)  b^(0), 
    DΘ^(0)/Dt   = - u^(0)·∇ T_0,


with D/Dt the Lagrangian derivative. Therefore, equations (<ref>) are interpreted as ordinary differential equations along the fluid trajectories of the background flow U_0 for the amplitudes (u^(0), Θ^(0), ξ^(0)). In addition, the initial conditions satisfy

    u^(0) (0) ·k_0 = 0,    b^(0) (0) ·k_0 = 0,

such the solenoidal conditions for the velocity and the magnetic field hold at any time. Sufficient conditions for instability are obtained when <cit.>

    lim_t→∞ ( |u^(0)| + |b^(0)| +  |Θ^(0)|  ) = ∞

for given [X_0,k_0] and with suitable initial conditions for [u^(0), b^(0), Θ^(0)]. 




§ 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 <cit.>. 
The algorithm has been benchmarked successfully against the Coriolis modes in ellipsoids <cit.>, while the fast and slow hydromagnetic solutions have been validated for the Malkus field in spheres <cit.> and spheroids <cit.>.




 §.§ 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 g^* in the Boussinesq approximation. 
The fluid is contained within an ellipsoidal container, which is rotating at the angular velocity Ω in the inertial frame. 
We expand the velocity, the temperature and the magnetic field as small perturbations [u^*, Θ^*, b^*](r,t) around an equilibrium state of rest [0, T_0^*, B_0^*](r). 

In the linear approximation, the dimensional governing equations are




    ∂u^*/∂ t   = - 2 Ω×u^* -∇ p^* - α_T  Θ^* g^* 
       + α_B  [ (∇×b^*) ×B_0^* + (∇×B_0^*) ×b^*  ],  
    ∂Θ^*/∂ t   = - (u^* ·∇)   T_0^*, 
    ∂b^*/∂ t   = ∇× (u^* ×B_0^*), 
    ∇·u^*    = ∇·b^* = 0,


with α_B = (ρ_M μ_0)^-1 and p^* the hydrodynamic pressure. 
By taking the time derivative of equations (<ref>), we can obtain a single wave-like equation of second order in time for the velocity perturbation u^*. This reads

    ∂^2 u^*/∂ t^2 + 2 Ω×∂u^*/∂ t = - ∂∇ p^*/∂ t  + α_T (u^* ·∇)   T_0^*  g^* + f_m^*,

with the Lorentz force

    f_m^* = α_B   (∇×B_0^*) × [ ∇× (u^* ×B_0^*)  ] 
    
    	+ α_B  [ ∇× (∇× (u^* ×B_0^*))  ] ×B_0^*.

Note that equations (<ref>) cannot be recast into a single equation for the velocity perturbation u^* in the presence of a basic flow  U_0^*. In this case, the problem must be formulated for the displacement vector <cit.>. 

Finally, equation (<ref>) is supplemented by the non-penetration boundary conditions

    u^* ·1_n = 0,    B_0^* ·1_n = 0,

with 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 f_m^* in the form of a discontinuous Dirac function distributed on the boundary <cit.>. 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 (<ref>) has only second-order effects on the fast modes.




 §.§ Galerkin method


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

    [ u^*, p^*  ] (r,t) =  [ u^*, p^*   ] (r) exp(iω_i t),    u^* = ∑_l=1^∞γ_l  u_l^*,

where ω_i is the angular frequency, {γ_l} modal complex coefficients and {u_l^* (r)} are real-valued basis Galerkin elements. 
Firstly, we rewrite equation (<ref>) in the symbolic form

    ( -ω_i^2 + iω_i  𝒜_1 + 𝒜_0  ) u^* = - iω_i  ∇p^*,

where [𝒜_1, 𝒜_0] are two linear operators. 
The basis elements {u_l^* (r)} are made of linear combinations of Cartesian monomials {x^i y^j z^k }_i+j+k < ∞, satisfying 

    ∇·u_l^* = 0,    u_l^* ·1_n = 0    at the boundary.
 
Several Cartesian expansions have been proposed <cit.>. 
Expansion (<ref>) is similar to expansions used in the finite-element method (FEM). 
However, compared to the traditional FEM, our basis elements {u_l^* (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 <cit.>. Hence, this method
is a rigorous spectral method in ellipsoids. 

Then, we truncate series (<ref>) at a given polynomial degree n (such that  i+j+k≤ n).
In the absence of any stratified or magnetic effect, the Coriolis operator is exactly closed within the considered polynomial bases <cit.>. Thus, the Coriolis modes are exactly described by the polynomial description <cit.>. 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 <cit.>. 
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 (<ref>), yielding the quadratic eigenvalue problem

    ( -ω_i^2  A_2 + iω_i  A_1 + A_0  ) ·γ = 0,

where γ = (γ_1, γ_2, …)^⊤ is the eigenvector and [A_2, A_1, A_0] are three real-valued matrices. Their elements are given by the Galerkin projections over the ellipsoidal domain



    A_2,ij   = ∫_𝒱u_i^* ·u_j^*  d𝒱, 
    
    	A_1,ij   = ∫_𝒱u_i^* · (𝒜_1 u_j^*)  d𝒱,
    
    	A_0,ij   = ∫_𝒱u_i^* · (𝒜_0 u_j^*)  d𝒱.


The projection of the pressure term in equation (<ref>) 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 (<ref>) can be computed analytically <cit.>.




 §.§ Hydromagnetic modes




We show in Fig. <ref> the dimensionless eigenfrequency ω_i of MAC modes, for the relevant weak field regime Le ≤ 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. <ref>), in agreement with investigations in spherical geometries <cit.>. Firstly, the high frequency branch represents fast Magneto-Coriolis (MC) modes <cit.>. They are similar to pure Coriolis (or inertial) modes <cit.>, with a dimensionless spectrum bounded by |ω_i| ≤ 2 in the weak field regime Le ≪ 1.  
These modes are regular in space and only weakly affected by large-scale magnetic fields in weakly deformed spheres <cit.>. This is consistent with the weak frequency dependence on Le observed in Fig. <ref>. 
Note that they have a different behaviour compared to the singular modes localised on attractors <cit.>, which only exist in shells because the mathematical problem is ill-posed <cit.>. 
Secondly, the low frequency branch represents slow Magneto-Coriolis (MC) modes. Their typical (dimensionless) frequency scales according to |ω_i| ∝ Le^2. 
In addition, the third intermediate branch represents torsional Alfvén modes <cit.>, scaling as |ω_i| ∝ Le. They are usually filtered out in reduced models, such as in local models considering uniform fields. They exist when the current direction ∇×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. <ref>. 
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 <cit.>. 
On the one hand, fast MAC modes and gravito-inertial modes are barely modified by magnetic fields, as illustrated in Fig. <ref> (bottom panel) when Le ≪ 1. However, they strongly depend on stratification <cit.>.
On the other hand, slow MC modes can be strongly affected by the magnetic field and stratification <cit.>.
Finally, the buoyancy force also sustains high frequency internal gravity modes. They can be affected by rotation, yielding gravito-inertial modes <cit.>.




§ 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 (<ref>) 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 <cit.>. 
Indeed, in the astrophysical regime Le ≪ 1, the illustrative spectrum in Fig. <ref> clearly shows that no triadic couplings are effective in ellipsoids between two slow MC waves when 1 ≤Ω_0 ≤ 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 ≪ 1, <cit.> showed that the typical diffusionless growth rate of tidal instability involving mixed couplings scales as (in dimensionless form)

    σ∝ Le^4 β_0.

However, this diffusionless growth rate must be larger than the (laminar) Joule damping rate of the slow MC waves, that is τ_Ω∝ -Em   |k_0|^2 in the local theory <cit.>. 
This gives the typical upper bound on the wave vector

    |k_0|^2 ≪Le^4/Em β_0.

In short-period binaries, the typical value for the equatorial ellipticity is β_0 ∼ 10^-3 - 10^-2 (see Table <ref>). As given in Table <ref>, we have also the typical numbers Em ≤ 10^-10 and Le ≤ 10^-4. 
Then, condition (<ref>) gives the upper bound |k_0| ≪ 1. This is incompatible with the short-wavelength stability theory, which requires |k_0| ≫ 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 ≪ 1. 
Therefore, mixed couplings of fast/slow waves can be discarded for tidal instability in realistic stellar interiors.




§ WEAKLY ECCENTRIC SYNCHRONISED ORBITS




 §.§ 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 <cit.>.
We consider a diffusionless tidal model of the tidally deformed fluid body, characterised by an equatorial ellipticity β_0. 
The fluid body is rotating at the uniform angular velocity Ω_s, aligned in the inertial frame with the orbital angular velocity of the companion along 1_z. 
We use the dimensionless variables introduced in Sect. <ref>, that is taking (Ω_s)^-1 as the relevant timescale. Due to the weak orbital eccentricity e ≪ 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

    Ω_0 (t) = 1 + ϵ_l cos ( f t  ),

where f is the dimensionless frequency of the forcing and ϵ_l ≤ 2e the dimensionless amplitude. Forcing (<ref>) is known as longitudinal librations.
For this tidal forcing, the equilibrium tidal velocity field has the following form in the central frame 

    U_0 (r,t) = - ϵ_l cos(ft)   [-(1+β_0) y  1_x + (1-β_0)x  1_y  ].

Tidal flow (<ref>) is prone to libration-driven elliptical instability (LDEI), which is quite similar to tidal instability in non-synchronised systems <cit.>.




 §.§ Resonance condition of the LDEI


LDEI is a fluid instability due to sub-harmonic resonances between two waves of angular frequency |ω_i| interacting with basic flow (<ref>). 
By analogy with formula (<ref>) in non-synchronised systems, the sub-harmonic resonance condition becomes 

    |ω_i| = f/2.

The four kinds of waves [ℋ_1, ℋ_2, ℰ_1, ℰ_2], introduced Sect. <ref>, can be nonlinearly coupled in the instability mechanism. We show the nature of the waves satisfying condition (<ref>) in Fig. <ref>. 

The classical allowable range of LDEI is 0 ≤ f≤ 4 <cit.>, in which only triadic couplings of inertia-gravity waves [ℋ_1, ℋ_2,] are involved. 
In this frequency range, the instability is trapped along critical latitudes for strong enough stratification when N_0/Ω_s≫ 1. Similar to the non-synchronised configurations, it turns out that the largest growth rate is unaffected by the ratio N_0/Ω_s on these critical latitudes. Thus, they are predicted by the diffusionless formula obtained in neutral fluids <cit.>. 

In the other frequency range f>4, LDEI is only due to triadic couplings of internal-gravity waves [ℰ_1, ℰ_2] modified by rotation. Moreover, the instability only exists for strong enough stratification (N_0/Ω_s≫ 1). 






 §.§ Asymptotic growth rates of the LDEI


As in Sect. <ref> and Sect. <ref>, 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 (<ref>) becomes
  
    √(4+ N_0^2 x_0^2)  cosθ_0 = ±f/2,

whereas on the rotation axis we have
  
    √(4 cos^2 θ_0+ N_0^2 x_0^2 sin^2 θ_0)   = ±f/2.

Then, the diffusionless growth rate in the equatorial plane is

    σ=  (1+f^2/16) |β_0-N_0^2 x_0^2 (β_0-β_1)|  /4+ N_0^2 x_0^2  ϵ_l

for a general baroclinic background state β_0 ≠β_1. On the rotation axis, the diffusionless growth rate is given by
     
    σ = (16+f^2)(1-4 N_0^2 x_0^2 f^-2)/16   (4- N_0^2 x_0^2  ) β_0 ϵ_l .

Naturally, we recover equation (4) of <cit.>, obtained for neutral fluids (N_0=0). Note that equation (25) of <cit.>, obtained in the equatorial plane for a buoyancy force of the order β_0, is not recovered by equation (<ref>). Indeed, their equation (25) is approximate because they artificially set θ_0 to its hydrodynamic value 2 cosθ_0= ± f/2, instead of using its exact value given by equation (<ref>). 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 <cit.> recovered in formula (<ref>) when N_0=0.

Note finally that formula (<ref>) also provides exactly the Joule damping rate of the LDEI in neutral fluids (N_0=0). Besides, formulas of <cit.> are recovered in the limit |k_0| ≫ 1 by using the LDEI resonance condition to set θ_0, that is cosθ_0=± f/4 when N_0=0.
 



 §.§ 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_t should scale as <cit.>

    u_t∝α_1 ϵ_l β_0 r_l Ω_s.

Then, the turbulent prescription becomes

    τ_t∝K_α/ϵ_l^2 β_0^2  Ω_s

with the numerical pre-factor K_α∼ 30-50 as in expression (<ref>), which is based on the numerical pre-factors of formulas (<ref>). 
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  (<ref>).







