1 Introduction
Rotation fundamentally changes the behaviour of fluid flows, which served as the basis of one of the classic chapters in hydrodynamics (see, e.g. the monograph of Greenspan (Reference Greenspan1968)). The presence of the Coriolis force leads to the emergence of a special type of wave, inertial waves, that appear in geophysical, astrophysical and industrial flows. In an incompressible fluid rotating with angular velocity
$\unicode[STIX]{x1D734}$
, inertial waves have the following dispersion law:
Here,
$\unicode[STIX]{x1D703}_{\boldsymbol{k}}$
is the angle between the wave vector
$\boldsymbol{k}$
and the angular velocity vector
$\unicode[STIX]{x1D734}$
. The linear theory of inertial waves is well known and thoroughly described, for example, in the monographs of Greenspan (Reference Greenspan1968) and Landau & Lifshitz (Reference Landau and Lifshitz1987). These waves propagate inside the volume of the fluid and have circular polarization. They have attracted special attention due to their unusual properties of reflection from the rigid boundary (Maas et al.
Reference Maas, Benielli, Sommeria and Lam1997). Namely, the angle of reflection is determined not by the angle of incidence to the boundary, but by the angle with respect to the rotating axes (Greenspan Reference Greenspan1968). The plane inertial wave is the exact solution of the fully nonlinear Euler equations, which will be discussed below.
Real physical rotating flows can be complicated by the influence of other factors, such as gravitation or electromagnetic forces (in the latter case, the fluid is assumed to be an electric conductor), and the angular velocity of the fluid can depend on the radius. In such cases, the dispersion law is more complicated than that presented relation (1.1) (see, e.g. Le Gal Reference Le Gal2013). Other important effects also appear due to nonlinear wave interactions.
The degree of nonlinearity of fluid flows is characterized by the nonlinearity parameter
$\unicode[STIX]{x1D6FF}$
, which is the ratio of the nonlinear and linear non-dissipative terms of the Euler equations. In the case of rotating fluids, the nonlinearity parameter (known as the Rossby number) can be written as
Here, velocity
$\boldsymbol{u}$
is the characteristic value of the wave amplitude. In a rapidly rotating fluid ,
$\unicode[STIX]{x1D6FF}\ll 1$
; thus, the inertial waves interact weakly. In this case, we can apply perturbation theory, accounting for only the leading nonlinear terms in the wave interaction Hamiltonian (this approach is described in the book of Zakharov, L’vov & Falkovich (Reference Zakharov, L’vov and Falkovich1992)).
In general, the first-order (by the value of
$\unicode[STIX]{x1D6FF}$
) nonlinear effects are presented by three-wave interaction processes: (i) when the the primary wave with wave vector
$\boldsymbol{k}_{1}$
(hereinafter, in such cases, we write just ‘the wave
$\boldsymbol{k}_{1}$
’) decays into a pair of secondary waves,
$\boldsymbol{k}_{2}$
and
$\boldsymbol{k}_{3}$
– the decay process, (ii) when two primary waves
$\boldsymbol{k}_{1}$
and
$\boldsymbol{k}_{2}$
merge into one secondary wave
$\boldsymbol{k}_{3}$
– the confluence process.
Consider, for example, the wave-decay process, which can be schematically denoted as
$\boldsymbol{k}_{1}\rightarrow \boldsymbol{k}_{2}+\boldsymbol{k}_{3}$
. This process is described by the conservation laws of mechanical momentum and energy:
Inertial wave interactions can be studied by decomposition of natural variables (the velocity field) into so-called helical modes (Cambon & Jacquin Reference Cambon and Jacquin1989; Waleffe Reference Waleffe1993). This approach was applied in recent years to many different problems of rotating fluids, focusing on the dynamics and statistics of inertial waves in rapidly rotating flows (Galtier (Reference Galtier2003, Reference Galtier2014), Cambon, Rubinstein & Godeferd (Reference Cambon, Rubinstein and Godeferd2004), Bellet et al. (Reference Bellet, Godeferd, Scott and Cambon2006), see also the monograph Sagaut & Cambon (Reference Sagaut and Cambon2008) and references therein). However, the advantages of another well-recognized Hamiltonian approach to study weakly nonlinear wave systems without dissipation have not been used. The key purpose of this paper is to fill this gap in the theory of rotating fluids by developing the Hamiltonian formalism for inertial waves and by discussing its advantages and future applications. This method rewrites the Euler equations as a Hamiltonian system using canonical variables and then performs decomposition into so-called normal variables that are analogues of the quantum mechanical creation and annihilation operators (see the review of Zakharov & Kuznetsov (Reference Zakharov and Kuznetsov1997) concerning the general aspects of the Hamiltonian approach). Additionally, a Hamiltonian approach was recently developed for the similar problem of internal waves in stratified non-rotating fluids (Lvov & Tabak Reference Lvov and Tabak2001), which provided an explanation of some features of wave energy spectra in the ocean (Lvov, Polzin & Tabak Reference Lvov, Polzin and Tabak2004).
The Hamiltonian nature of the Euler equations for incompressible fluids has been known since at least the middle of the last century, including in the case of rotating fluids (see the monograph of Lamb Reference Lamb1945). More recently, this fact was discussed by Morrison (Reference Morrison1998) and Salmon (Reference Salmon1988). The canonical variables for an ideal fluid – the so-called Clebsch variables – are also well known. Therefore, the problem is mainly technical: how to introduce canonical variables for the case of rotating fluids in the most convenient way to describe inertial wave interactions.
In this paper, we first propose the Clebsch variables for rotating incompressible fluid, which provide enormous technical advantages for calculating the interaction Hamiltonian of inertial waves. We consider only inertial wave motion in the rotating reference frame when the vortex lines make no knots. In this case, according to well-known theory, the velocity field can be always represented by the Clebsch variables (see Zakharov et al. (Reference Zakharov, L’vov and Falkovich1992) and also the works of Kuznetsov & Mikhailov (Reference Kuznetsov and Mikhailov1980) and Yakhot & Zakharov (Reference Yakhot and Zakharov1993)).
We then focus on the wave-decay process
$\boldsymbol{k}_{1}\rightarrow \boldsymbol{k}_{2}+\boldsymbol{k}_{3}$
, which leads to the so-called decay instability of inertial waves with respect to weak perturbations (see, for instance, the first paragraph of the book by L’vov (Reference L’vov1994)). The growth rate of the instability
$\unicode[STIX]{x1D6FE}(\boldsymbol{k}_{1},\boldsymbol{k}_{2},\boldsymbol{k}_{3})$
depends on the amplitude of the three-wave interactions
$V_{\boldsymbol{k}_{2}\boldsymbol{k}_{3}}^{\boldsymbol{k}_{1}}$
and reaches its maximum on the resonance surface (1.3). The properties of the growth rate play a key role in the weakly nonlinear dynamics and statistics of inertial waves, which can be investigated through numerical and natural experiments (Bordes et al.
Reference Bordes, Moisy, Dauxois and Cortet2012; di Leoni, Patricio & Mininni Reference di Leoni and Mininni2016). In the present work we study in detail the growth rate
$\unicode[STIX]{x1D6FE}(\boldsymbol{k}_{1},\boldsymbol{k}_{2},\boldsymbol{k}_{3})$
on the whole three-dimensional resonance surface (1.3) and discuss how the newly identified features can be observed experimentally. In addition, we briefly study the process of wave confluence:
$\boldsymbol{k}_{1}+\boldsymbol{k}_{2}\rightarrow \boldsymbol{k}_{3}$
.
Finally, we describe the turbulent cascade of inertial waves in the case of strong anisotropy, give the four-wave part of the Hamiltonian and discuss its future applications. It is important to note that the exact interaction Hamiltonian for inertial waves in rotating fluid includes only three-wave and four-wave components. Thus, we present the complete Hamiltonian formalism for inertial waves.
2 Inertial waves of finite amplitude in rotating fluids
We study the Euler equations in the reference frame, rotating with an incompressible fluid:
The nonlinearity of the Euler equations affects only the waves moving in different directions, which is a general consequence of incompressibility for unbounded flows (see, for instance, Craik & Criminale (Reference Craik and Criminale1986)). Indeed, the plane inertial wave (as well as a package of such waves propagating in the same direction) is the exact solution of (2.1). Because this fact is often overlooked in recent papers (except, to the best of our knowledge, the paper of Messio et al. (Reference Messio, Morize, Rabaud and Moisy2008)), we discuss it here in more detail.
We consider the general solution of (2.1) under the assumption that the velocity field
$\boldsymbol{v}$
depends only on the coordinate
$\unicode[STIX]{x1D709}$
along an arbitrary direction
$\boldsymbol{n}$
. Bearing in mind the axial symmetry around
$\widehat{\boldsymbol{z}}$
, we can choose
$\boldsymbol{n}$
lying in the
$xz$
-plane so that
Then, integrating the continuity equation (2.1b
) by
$\unicode[STIX]{x1D709}$
, we find
We neglect the integration constant, which corresponds to steady motion of the whole fluid along
$\widehat{\boldsymbol{z}}$
. Thus, the nonlinear term in (2.1a
) is exactly cancelled:
Now, the equation (2.1) can be written as the following system of linear equations:
$$\begin{eqnarray}\displaystyle \left.\begin{array}{@{}c@{}}\displaystyle \frac{\unicode[STIX]{x2202}v_{x}}{\unicode[STIX]{x2202}t}-2\unicode[STIX]{x1D6FA}v_{y}+\sin \unicode[STIX]{x1D703}\frac{\unicode[STIX]{x2202}P}{\unicode[STIX]{x2202}\unicode[STIX]{x1D709}}=0,\\ \displaystyle \frac{\unicode[STIX]{x2202}v_{y}}{\unicode[STIX]{x2202}t}+2\unicode[STIX]{x1D6FA}v_{x}=0,\\ \displaystyle \frac{\unicode[STIX]{x2202}v_{z}}{\unicode[STIX]{x2202}t}+\cos \unicode[STIX]{x1D703}\frac{\unicode[STIX]{x2202}P}{\unicode[STIX]{x2202}\unicode[STIX]{x1D709}}=0.\end{array}\right\} & & \displaystyle\end{eqnarray}$$
By using (2.3), we find the exact solution for the system (2.5):
$$\begin{eqnarray}\displaystyle \left.\begin{array}{@{}c@{}}\displaystyle v_{x}=-A(\unicode[STIX]{x1D709})\cos \unicode[STIX]{x1D703}\sin \unicode[STIX]{x1D714}t-B(\unicode[STIX]{x1D709})\cos \unicode[STIX]{x1D703}\cos \unicode[STIX]{x1D714}t,\\ \displaystyle v_{y}=-A(\unicode[STIX]{x1D709})\cos \unicode[STIX]{x1D714}t+B(\unicode[STIX]{x1D709})\sin \unicode[STIX]{x1D714}t,\\ \displaystyle v_{z}=A(\unicode[STIX]{x1D709})\sin \unicode[STIX]{x1D703}\sin \unicode[STIX]{x1D714}t+B(\unicode[STIX]{x1D709})\sin \unicode[STIX]{x1D703}\cos \unicode[STIX]{x1D714}t.\end{array}\right\} & & \displaystyle\end{eqnarray}$$
Here,
$\unicode[STIX]{x1D714}=2\unicode[STIX]{x1D6FA}|\text{cos}\,\unicode[STIX]{x1D703}|$
, while
$A(\unicode[STIX]{x1D709})$
and
$B(\unicode[STIX]{x1D709})$
are arbitrary functions. Solution (2.6) is the wave packet of plane inertial waves propagating along
$\boldsymbol{n}$
. We now introduce the wave vector
$\boldsymbol{k}\Vert \boldsymbol{n}$
. Choosing
$A(\unicode[STIX]{x1D709})=A\sin (\boldsymbol{k}\boldsymbol{\cdot }\boldsymbol{r}),B(\unicode[STIX]{x1D709})=A\cos (\boldsymbol{k}\boldsymbol{\cdot }\boldsymbol{r})$
, we obtain the well-known circularly polarized inertial plane wave solution (Landau & Lifshitz Reference Landau and Lifshitz1987):
$$\begin{eqnarray}\displaystyle \left.\begin{array}{@{}c@{}}\displaystyle v_{x}=-A\cos \unicode[STIX]{x1D703}_{\boldsymbol{k}}\cos (\unicode[STIX]{x1D714}_{\boldsymbol{k}}t-\boldsymbol{k}\boldsymbol{\cdot }\boldsymbol{r}),\\ \displaystyle v_{y}=A\sin (\unicode[STIX]{x1D714}_{\boldsymbol{k}}t-\boldsymbol{k}\boldsymbol{\cdot }\boldsymbol{r}),\\ \displaystyle v_{z}=A\sin \unicode[STIX]{x1D703}_{\boldsymbol{k}}\cos (\unicode[STIX]{x1D714}_{\boldsymbol{k}}t-\boldsymbol{k}\boldsymbol{\cdot }\boldsymbol{r}).\end{array}\right\} & & \displaystyle\end{eqnarray}$$
The expression (2.6) gives the exact class of finite amplitude solutions of the Euler equations in the rotating reference frame (2.1).
3 Hamiltonian description of inertial waves
3.1 Clebsch representation of the velocity field
The Euler equations for incompressible fluids can be written as a Hamiltonian system using the so-called Clebsch variables
$\unicode[STIX]{x1D706}(\boldsymbol{r},t)$
and
$\unicode[STIX]{x1D707}(\boldsymbol{r},t)$
(Lamb Reference Lamb1945). Here, we find the following Clebsch representation for the velocity field
$\boldsymbol{v}(\boldsymbol{r},t)$
corresponding to the case of a rotating fluid described by (2.1):
(remember that
$\unicode[STIX]{x1D734}\Vert \widehat{\boldsymbol{z}}$
). The potential
$\unicode[STIX]{x1D6F7}(\boldsymbol{r},t)$
is uniquely determined from the appropriate boundary conditions and the continuity equation (2.1b
). Similar variables were introduced by Zakharov (Reference Zakharov1971) and by Kuznetsov (Reference Kuznetsov1972) in the theory of magnetized plasma. The last two terms in (3.1) correspond to the standard Clebsch representation in the case of a non-rotating fluid. The first term appears as a result of the transformation from an inertial to a rotating reference frame (see the details in appendix A).
Alternatively, the velocity field
$\boldsymbol{v}(\boldsymbol{r},t)$
can be written using the transverse projector
as (see appendix A)
The fields
$\unicode[STIX]{x1D706}(\boldsymbol{r},t)$
and
$\unicode[STIX]{x1D707}(\boldsymbol{r},t)$
are not uniquely defined for a particular velocity field
$\boldsymbol{v}(\boldsymbol{r},t)$
. For instance, the transformation with arbitrary constant parameters
$a$
,
$b$
and
$c$
,
does not change the field
$\boldsymbol{v}$
given by (3.1). This type of ‘gauge invariance’ enables the selection of special calibration for the Clebsch variables
$\unicode[STIX]{x1D706}(\boldsymbol{r},t)$
and
$\unicode[STIX]{x1D707}(\boldsymbol{r},t)$
, which is ideal for solving a particular problem.
The fields
$\unicode[STIX]{x1D706}(\boldsymbol{r},t),\unicode[STIX]{x1D707}(\boldsymbol{r},t)$
obey the Hamiltonian equations of motion in the canonical form:
where
$\unicode[STIX]{x1D6FF}$
is the variational derivative, and the Hamiltonian
${\mathcal{H}}$
is the energy represented by
$\unicode[STIX]{x1D706}$
and
$\unicode[STIX]{x1D707}$
:
Equations (3.5) and (3.6) yield
3.2 Hamiltonian in a rotating reference frame
Let us introduce the following notation for the velocity field (3.3):
and symmetric Fourier transform:
By representation (3.9), we distinguish the impact of linear and nonlinear combinations (
$\boldsymbol{v}_{1}$
and
$\boldsymbol{v}_{1}$
respectively) of the Clebsch variables
$\unicode[STIX]{x1D706}$
and
$\unicode[STIX]{x1D707}$
on the velocity field. According to (3.6) and Parseval’s theorem, the Hamiltonian can be written as the sum of the following three terms:
Here
The interactions of inertial waves are described by
${\mathcal{H}}_{3}$
and
${\mathcal{H}}_{4}$
, which we denote as interaction Hamiltonian
The expression (3.11) is the exact Hamiltonian for an ideal rotating incompressible fluid. It contains a finite number of terms since for incompressible flow we use only one pair of canonical variables
$\unicode[STIX]{x1D706}(\boldsymbol{r},t)$
and
$\unicode[STIX]{x1D707}(\boldsymbol{r},t)$
(see the corresponding discussion in Zakharov et al. (Reference Zakharov, L’vov and Falkovich1992)).
Now, let us denote the components of wave vector
$\boldsymbol{k}$
as
Using the expression for transverse projector
$\widehat{P}$
in
$\boldsymbol{k}$
-space
and equation (3.9), we calculate the following Fourier components of the velocity field:
3.3 Canonical form of the quadratic Hamiltonian
We now introduce the following canonical transformation of the fields
$\unicode[STIX]{x1D707}_{\boldsymbol{k}}$
and
$\unicode[STIX]{x1D706}_{\boldsymbol{k}}$
in
$\boldsymbol{k}$
-space:
$$\begin{eqnarray}\displaystyle \left.\begin{array}{@{}c@{}}\displaystyle \unicode[STIX]{x1D707}_{\boldsymbol{k}}=\widetilde{\unicode[STIX]{x1D707}}_{\boldsymbol{k}}\cos \unicode[STIX]{x1D711}+\widetilde{\unicode[STIX]{x1D706}}_{\boldsymbol{k}}\sin \unicode[STIX]{x1D711}=\frac{1}{k_{\bot }}(\widetilde{\unicode[STIX]{x1D707}}_{\boldsymbol{k}}k_{x}+\widetilde{\unicode[STIX]{x1D706}}_{\boldsymbol{k}}k_{y}),\\ \displaystyle \unicode[STIX]{x1D706}_{\boldsymbol{k}}=-\widetilde{\unicode[STIX]{x1D707}}_{\boldsymbol{k}}\sin \unicode[STIX]{x1D711}+\widetilde{\unicode[STIX]{x1D706}}_{k}\cos \unicode[STIX]{x1D711}=\frac{1}{k_{\bot }}(-\widetilde{\unicode[STIX]{x1D707}}_{\boldsymbol{k}}k_{y}+\widetilde{\unicode[STIX]{x1D706}}_{\boldsymbol{k}}k_{x}).\end{array}\right\} & & \displaystyle\end{eqnarray}$$
Introducing the normal variables
$c_{\boldsymbol{k}}$
and
$c_{\boldsymbol{k}}^{\ast }$
,
we present the quadratic part of the Hamiltonian
${\mathcal{H}}_{2}$
in diagonal form:
The plane wave in normal variables corresponds to the operator
By substituting (3.19) into (3.17) and then into (3.16) and finally calculating the linear part of the velocity field equation (3.15a
), we recover the plane inertial wave solution (2.7) multiplied by scalar factor
$(k_{x}/k_{\bot })\sqrt{\unicode[STIX]{x1D714}_{\boldsymbol{k}}}$
. This normalization of the plane wave solution in variables
$c_{\boldsymbol{k}}$
and
$c_{\boldsymbol{k}}^{\ast }$
should be taken into account when comparing the results of this paper with the predictions of approaches formulated with physical variables.
3.4 Interaction Hamiltonian
We calculate the interaction Hamiltonian
${\mathcal{H}}_{int}$
in two steps. First, we calculate
${\mathcal{H}}_{3}$
and
${\mathcal{H}}_{4}$
in variables
$\widetilde{\unicode[STIX]{x1D707}}_{\boldsymbol{k}}$
and
$\widetilde{\unicode[STIX]{x1D706}}_{\boldsymbol{k}}$
according to (3.11c
), (3.15a
), (3.15b
) and (3.16). After symmetrization,
${\mathcal{H}}_{3}$
takes the form
$$\begin{eqnarray}\displaystyle {\mathcal{H}}_{3} & = & \displaystyle \frac{\text{i}\sqrt{2\unicode[STIX]{x1D6FA}}}{2(2\unicode[STIX]{x03C0})^{3/2}}\int \frac{\text{d}\boldsymbol{k}_{1}\,\text{d}\boldsymbol{k}_{2}\,\text{d}\boldsymbol{k}_{3}}{k_{1\bot }k_{2\bot }k_{3\bot }}\unicode[STIX]{x1D6FF}_{\boldsymbol{k}_{1}-\boldsymbol{k}_{2}-\boldsymbol{k}_{3}}(F_{\boldsymbol{k}_{2}\boldsymbol{k}_{3}}^{\boldsymbol{k}_{1}}\unicode[STIX]{x1D707}_{\boldsymbol{k}_{1}}-S_{\boldsymbol{k}_{2}\boldsymbol{k}_{3}}\unicode[STIX]{x1D706}_{\boldsymbol{k}_{1}})\nonumber\\ \displaystyle & & \displaystyle \times \,[S_{\boldsymbol{k}_{2}\boldsymbol{k}_{3}}(\unicode[STIX]{x1D707}_{\boldsymbol{k}_{2}}\unicode[STIX]{x1D707}_{\boldsymbol{k}_{3}}+\unicode[STIX]{x1D706}_{\boldsymbol{k}_{2}}\unicode[STIX]{x1D706}_{\boldsymbol{k}_{3}})+(\boldsymbol{k}_{2\bot }\boldsymbol{\cdot }\boldsymbol{k}_{3\bot })(\unicode[STIX]{x1D707}_{\boldsymbol{k}_{2}}\unicode[STIX]{x1D706}_{\boldsymbol{k}_{3}}-\unicode[STIX]{x1D706}_{\boldsymbol{k}_{2}}\unicode[STIX]{x1D707}_{\boldsymbol{k}_{3}})].\end{eqnarray}$$
Here, we use the auxiliary functions
$$\begin{eqnarray}\displaystyle \left.\begin{array}{@{}c@{}}\displaystyle F_{\boldsymbol{k}_{2}\boldsymbol{k}_{3}}^{\boldsymbol{k}_{1}}=\frac{1}{2}\left[k_{1\bot }^{2}\frac{\boldsymbol{k}_{1}\boldsymbol{\cdot }\boldsymbol{k}_{2}-\boldsymbol{k}_{1}\boldsymbol{\cdot }\boldsymbol{k}_{3}}{k_{1}^{2}}+k_{2\bot }^{2}-k_{3\bot }^{2}\right],\\ \displaystyle S_{\boldsymbol{k}_{2}\boldsymbol{k}_{3}}=k_{3x}k_{2y}-k_{2x}k_{3y}=k_{2\bot }k_{3\bot }\sin (\unicode[STIX]{x1D711}_{2}-\unicode[STIX]{x1D711}_{3}),\end{array}\right\} & & \displaystyle\end{eqnarray}$$
with the following properties:
For the
${\mathcal{H}}_{4}$
component of the interaction Hamiltonian, we find the following expression:
$$\begin{eqnarray}\displaystyle {\mathcal{H}}_{4} & = & \displaystyle \frac{1}{4(2\unicode[STIX]{x03C0})^{3}}\int \frac{\text{d}\boldsymbol{k}_{1}\,\text{d}\boldsymbol{k}_{2}\,\text{d}\boldsymbol{k}_{3}\,\text{d}\boldsymbol{k}_{4}}{k_{1\bot }k_{2\bot }k_{3\bot }k_{4\bot }}\unicode[STIX]{x1D6FF}_{\boldsymbol{k}_{1}+\boldsymbol{k}_{2}-\boldsymbol{k}_{3}-\boldsymbol{k}_{4}}Q_{\boldsymbol{k}_{3}\boldsymbol{k}_{4}}^{\boldsymbol{k}_{1}\boldsymbol{k}_{2}}\nonumber\\ \displaystyle & & \displaystyle \times \,[S_{\boldsymbol{k}_{1}\boldsymbol{k}_{2}}(\unicode[STIX]{x1D707}_{\boldsymbol{k}_{1}}\unicode[STIX]{x1D707}_{\boldsymbol{k}_{2}}+\unicode[STIX]{x1D706}_{\boldsymbol{k}_{1}}\unicode[STIX]{x1D706}_{\boldsymbol{k}_{2}})+(\boldsymbol{k}_{1\bot }\boldsymbol{\cdot }\boldsymbol{k}_{2\bot })(\unicode[STIX]{x1D707}_{\boldsymbol{k}_{1}}\unicode[STIX]{x1D706}_{\boldsymbol{k}_{2}}-\unicode[STIX]{x1D706}_{\boldsymbol{k}_{1}}\unicode[STIX]{x1D707}_{\boldsymbol{k}_{2}})]\nonumber\\ \displaystyle & & \displaystyle \times \,[S_{\boldsymbol{k}_{3}\boldsymbol{k}_{4}}(\unicode[STIX]{x1D707}_{\boldsymbol{k}_{3}}\unicode[STIX]{x1D707}_{\boldsymbol{k}_{4}}+\unicode[STIX]{x1D706}_{\boldsymbol{k}_{3}}\unicode[STIX]{x1D706}_{\boldsymbol{k}_{4}})+(\boldsymbol{k}_{3\bot }\boldsymbol{\cdot }\boldsymbol{k}_{4\bot })(\unicode[STIX]{x1D707}_{\boldsymbol{k}_{3}}\unicode[STIX]{x1D706}_{\boldsymbol{k}_{4}}-\unicode[STIX]{x1D706}_{\boldsymbol{k}_{3}}\unicode[STIX]{x1D707}_{\boldsymbol{k}_{4}})].\end{eqnarray}$$
Here, we use the additional function
The function
$Q_{\boldsymbol{k}_{3}\boldsymbol{k}_{4}}^{\boldsymbol{k}_{1}\boldsymbol{k}_{2}}$
is antisymmetric with respect to the transformations
$\boldsymbol{k}_{1}\leftrightarrow \boldsymbol{k}_{2}$
and
$\boldsymbol{k}_{3}\leftrightarrow \boldsymbol{k}_{4}$
:
The interaction Hamiltonian is obviously invariant with respect to rotations by angle
$\unicode[STIX]{x1D711}$
(i.e. around
$\widehat{\boldsymbol{z}}$
), which can be directly seen from expressions (3.20) and (3.23).
Then, we substitute the normal variables (3.17) into (3.20), and after symmetrization,
${\mathcal{H}}_{3}$
takes the standard form:
$$\begin{eqnarray}\displaystyle {\mathcal{H}}_{3} & = & \displaystyle \frac{1}{2}\int (V_{\boldsymbol{k}_{2}\boldsymbol{k}_{3}}^{\boldsymbol{k}_{1}}c_{\boldsymbol{ k}_{1}}^{\ast }c_{\boldsymbol{ k}_{2}}c_{\boldsymbol{k}_{3}}+\text{c.c.})\unicode[STIX]{x1D6FF}_{\boldsymbol{k}_{1}-\boldsymbol{k}_{2}-\boldsymbol{k}_{3}}\,\text{d}\boldsymbol{k}_{1}\,\text{d}\boldsymbol{k}_{2}\,\text{d}\boldsymbol{k}_{3}\nonumber\\ \displaystyle & & \displaystyle +\,\frac{1}{6}\int (U_{\boldsymbol{k}_{1}\boldsymbol{k}_{2}\boldsymbol{k}_{3}}c_{\boldsymbol{k}_{1}}^{\ast }c_{\boldsymbol{k}_{2}}^{\ast }c_{\boldsymbol{k}_{3}}^{\ast }+\text{c.c.})\unicode[STIX]{x1D6FF}_{\boldsymbol{k}_{1}+\boldsymbol{k}_{2}+\boldsymbol{k}_{3}}\,\text{d}\boldsymbol{k}_{1}\,\text{d}\boldsymbol{k}_{2}\,\text{d}\boldsymbol{k}_{3},\end{eqnarray}$$
where
$$\begin{eqnarray}\displaystyle V_{\boldsymbol{k}_{2}\boldsymbol{k}_{3}}^{\boldsymbol{k}_{1}} & = & \displaystyle \frac{\text{i}\sqrt{2\unicode[STIX]{x1D6FA}}}{(2\unicode[STIX]{x03C0})^{3/2}k_{1\bot }k_{2\bot }k_{3\bot }}\left\{\sqrt{\frac{\unicode[STIX]{x1D6FA}^{3}}{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}}}S_{\boldsymbol{k}_{3}\boldsymbol{k}_{2}}[F_{\boldsymbol{k}_{2}\boldsymbol{k}_{3}}^{\boldsymbol{k}_{1}}-F_{\boldsymbol{ k}_{1}\boldsymbol{k}_{3}}^{\boldsymbol{k}_{2}}-F_{\boldsymbol{ k}_{2}\boldsymbol{k}_{1}}^{\boldsymbol{k}_{3}}]\right.\nonumber\\ \displaystyle & & \displaystyle -\,\frac{3\text{i}}{8}\sqrt{\frac{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}}{\unicode[STIX]{x1D6FA}^{3}}}S_{\boldsymbol{k}_{3}\boldsymbol{k}_{2}}^{2}+\frac{\text{i}}{2}\sqrt{\frac{\unicode[STIX]{x1D6FA}}{\unicode[STIX]{x1D714}_{\boldsymbol{ k}_{1}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}}}(\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}-\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}-\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}})S_{\boldsymbol{k}_{3}\boldsymbol{k}_{2}}^{2}\nonumber\\ \displaystyle & & \displaystyle +\,\frac{1}{4}\sqrt{\frac{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}}{\unicode[STIX]{x1D6FA}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}}}S_{\boldsymbol{k}_{3}\boldsymbol{k}_{2}}[-F_{\boldsymbol{k}_{2}\boldsymbol{k}_{3}}^{\boldsymbol{k}_{1}}+\boldsymbol{k}_{1\bot }\boldsymbol{\cdot }\boldsymbol{k}_{3\bot }-\boldsymbol{k}_{1\bot }\boldsymbol{\cdot }\boldsymbol{k}_{2\bot }]\nonumber\\ \displaystyle & & \displaystyle -\,\frac{\text{i}}{2}\sqrt{\frac{\unicode[STIX]{x1D6FA}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}}{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}}}[-F_{\boldsymbol{k}_{2}\boldsymbol{k}_{1}}^{\boldsymbol{k}_{3}}(\boldsymbol{k}_{1\bot }\boldsymbol{\cdot }\boldsymbol{k}_{2\bot })+F_{\boldsymbol{k}_{1}\boldsymbol{k}_{3}}^{\boldsymbol{k}_{2}}(\boldsymbol{k}_{1\bot }\boldsymbol{\cdot }\boldsymbol{k}_{3\bot })]\nonumber\\ \displaystyle & & \displaystyle -\,\frac{\text{i}}{2}\sqrt{\frac{\unicode[STIX]{x1D6FA}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}}{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}}}[-F_{\boldsymbol{k}_{2}\boldsymbol{k}_{3}}^{\boldsymbol{k}_{1}}(\boldsymbol{k}_{2\bot }\boldsymbol{\cdot }\boldsymbol{k}_{3\bot })+F_{\boldsymbol{k}_{1}\boldsymbol{k}_{3}}^{\boldsymbol{k}_{2}}(\boldsymbol{k}_{1\bot }\boldsymbol{\cdot }\boldsymbol{k}_{3\bot })]\nonumber\\ \displaystyle & & \displaystyle -\,\frac{\text{i}}{2}\sqrt{\frac{\unicode[STIX]{x1D6FA}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}}{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}}}[F_{\boldsymbol{k}_{2}\boldsymbol{k}_{3}}^{\boldsymbol{k}_{1}}(\boldsymbol{k}_{2\bot }\boldsymbol{\cdot }\boldsymbol{k}_{3\bot })-F_{\boldsymbol{k}_{2}\boldsymbol{k}_{1}}^{\boldsymbol{k}_{3}}(\boldsymbol{k}_{1\bot }\boldsymbol{\cdot }\boldsymbol{k}_{2\bot })]\nonumber\\ \displaystyle & & \displaystyle -\,\frac{1}{4}\sqrt{\frac{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}}{\unicode[STIX]{x1D6FA}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}}}S_{\boldsymbol{k}_{3}\boldsymbol{k}_{2}}[F_{\boldsymbol{k}_{1}\boldsymbol{k}_{3}}^{\boldsymbol{k}_{2}}+\boldsymbol{k}_{2\bot }\boldsymbol{\cdot }\boldsymbol{k}_{3\bot }+\boldsymbol{k}_{1\bot }\boldsymbol{\cdot }\boldsymbol{k}_{2\bot }]\nonumber\\ \displaystyle & & \displaystyle +\left.\frac{1}{4}\sqrt{\frac{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}}{\unicode[STIX]{x1D6FA}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}}}S_{\boldsymbol{k}_{3}\boldsymbol{k}_{2}}[-F_{\boldsymbol{k}_{2}\boldsymbol{k}_{1}}^{\boldsymbol{k}_{3}}+\boldsymbol{k}_{2\bot }\boldsymbol{\cdot }\boldsymbol{k}_{3\bot }+\boldsymbol{k}_{1\bot }\boldsymbol{\cdot }\boldsymbol{k}_{3\bot }]\right\}.\end{eqnarray}$$
The amplitude
$V_{\boldsymbol{k}_{2}\boldsymbol{k}_{3}}^{\boldsymbol{k}_{1}}$
describes the three-wave interaction processes of decay and confluence, which we study in the following paragraphs. Analogous amplitudes of the three-wave interaction processes were obtained in the frame of helical mode decomposition by Waleffe (Reference Waleffe1993). However, the different structures of the variables and perturbation theory make comparison of these results a non-trivial problem that is beyond the scope of this paper.
The amplitude
$U_{\boldsymbol{k}_{1}\boldsymbol{k}_{2}\boldsymbol{k}_{3}}$
corresponds to the so-called explosive three-wave instability, which does not appear in the system of inertial waves. We give the exact expression for element
$U_{\boldsymbol{k}_{1}\boldsymbol{k}_{2}\boldsymbol{k}_{3}}$
in appendix A for formal purposes.
The four-wave interaction Hamiltonian
${\mathcal{H}}_{4}$
can also be written in similar standard form after substitution of the normal variables and appropriate symmetrization:
$$\begin{eqnarray}\displaystyle {\mathcal{H}}_{4} & = & \displaystyle \int (W_{\boldsymbol{k}_{3}\boldsymbol{k}_{4}}^{\boldsymbol{k}_{1}\boldsymbol{k}_{2}}c_{\boldsymbol{ k}_{1}}^{\ast }c_{\boldsymbol{ k}_{2}}^{\ast }c_{\boldsymbol{ k}_{3}}c_{\boldsymbol{k}_{4}}+\text{c.c.})\unicode[STIX]{x1D6FF}_{\boldsymbol{k}_{1}+\boldsymbol{k}_{2}-\boldsymbol{k}_{3}-\boldsymbol{k}_{4}}\,\text{d}\boldsymbol{k}_{1}\,\text{d}\boldsymbol{k}_{2}\,\text{d}\boldsymbol{k}_{3}\,\text{d}\boldsymbol{k}_{4}\nonumber\\ \displaystyle & & \displaystyle +\,\int (G_{\boldsymbol{k}_{1}}^{\boldsymbol{k}_{2}\boldsymbol{k}_{3}\boldsymbol{k}_{4}}c_{\boldsymbol{ k}_{1}}c_{\boldsymbol{k}_{2}}^{\ast }c_{\boldsymbol{ k}_{3}}^{\ast }c_{\boldsymbol{ k}_{4}}^{\ast }+\text{c.c.})\unicode[STIX]{x1D6FF}_{\boldsymbol{ k}_{1}-\boldsymbol{k}_{2}-\boldsymbol{k}_{3}-\boldsymbol{k}_{4}}\,\text{d}\boldsymbol{k}_{1}\,\text{d}\boldsymbol{k}_{2}\,\text{d}\boldsymbol{k}_{3}\,\text{d}\boldsymbol{k}_{4}\nonumber\\ \displaystyle & & \displaystyle +\,\int R_{\boldsymbol{k}_{1}\boldsymbol{k}_{2}\boldsymbol{k}_{3}\boldsymbol{k}_{4}}^{\ast }c_{\boldsymbol{k}_{1}}c_{\boldsymbol{k}_{2}}c_{\boldsymbol{k}_{3}}c_{\boldsymbol{k}_{4}}\unicode[STIX]{x1D6FF}_{\boldsymbol{k}_{1}+\boldsymbol{k}_{2}+\boldsymbol{k}_{3}+\boldsymbol{k}_{4}}\,\text{d}\boldsymbol{k}_{1}\,\text{d}\boldsymbol{k}_{2}\,\text{d}\boldsymbol{k}_{3}\,\text{d}\boldsymbol{k}_{4}.\end{eqnarray}$$
The coefficients
$W_{\boldsymbol{k}_{3}\boldsymbol{k}_{4}}^{\boldsymbol{k}_{1}\boldsymbol{k}_{2}}$
,
$G_{\boldsymbol{k}_{1}}^{\boldsymbol{k}_{2}\boldsymbol{k}_{3}\boldsymbol{k}_{4}}$
and
$R_{\boldsymbol{k}_{1}\boldsymbol{k}_{2}\boldsymbol{k}_{3}\boldsymbol{k}_{4}}^{\ast }$
, which correspond to
$\boldsymbol{k}_{1}+\boldsymbol{k}_{2}\rightarrow \boldsymbol{k}_{3}+\boldsymbol{k}_{4}$
,
$\boldsymbol{k}_{1}+\boldsymbol{k}_{2}+\boldsymbol{k}_{3}\rightarrow \boldsymbol{k}_{4}$
and
$\boldsymbol{k}_{1}+\boldsymbol{k}_{2}+\boldsymbol{k}_{3}+\boldsymbol{k}_{4}\rightarrow 0$
four-wave interaction processes, are given in appendix A. The final representation of the Hamiltonian obviously does not depend on the chosen calibration of the Clebsch variables (see (3.4) and (A 11)).
4 Resonance surface
Wave decay
$\boldsymbol{k}_{1}\rightarrow \boldsymbol{k}_{2}+\boldsymbol{k}_{3}$
is the key weakly nonlinear process that determines the dynamics of inertial waves. For a given wave vector
$\boldsymbol{k}_{1}$
, the momentum and the energy conservation laws (1.3a
,1.3b
) define a two-dimensional resonance surface in
$\boldsymbol{k}$
-space (we have only two free parameters). Assuming that
$\boldsymbol{k}_{1}$
lies in the
$xz$
-plane and using the momentum conservation law (1.3a
) to eliminate the unknown components of the vector
$\boldsymbol{k}_{2}$
, we find the following parametrization for vectors
$\boldsymbol{k}_{1},\boldsymbol{k}_{2},\boldsymbol{k}_{3}$
:
$$\begin{eqnarray}\displaystyle \left.\begin{array}{@{}c@{}}\boldsymbol{k}_{1}=(k_{1}\sin \unicode[STIX]{x1D703}_{1},0,k_{1}\cos \unicode[STIX]{x1D703}_{1}),\\ \boldsymbol{k}_{2}=(k_{1}\sin \unicode[STIX]{x1D703}_{1}-k_{3x},-k_{3y},k_{1}\cos \unicode[STIX]{x1D703}_{1}-k_{3z}),\\ \boldsymbol{k}_{3}=(k_{3x},k_{3y},k_{3z}).\end{array}\right\} & & \displaystyle\end{eqnarray}$$
Then, using the energy conservation law (1.3b ) and the dispersion relation (1.1), we obtain the following resonance condition:
The relation (4.2) defines a two-dimensional set of vectors
$\boldsymbol{k}_{3}$
, which gives the main contribution to the decay processes (obviously the same resonance surface is also valid for the vector
$\boldsymbol{k}_{2}$
). The resonance surface (4.2) was studied by Bellet et al. (Reference Bellet, Godeferd, Scott and Cambon2006), and the experimental verification of the resonance condition (4.1) in a rotating water tank was recently demonstrated by Bordes et al. (Reference Bordes, Moisy, Dauxois and Cortet2012).
Since the expression (4.2) cannot be resolved explicitly, we find solutions numerically using ‘Wolfram Mathematica’. In figure 1 we present an example of a resonance surface and its two-dimensional cut in a specific direction – the so-called resonance curve. The energy of the primary wave
$\boldsymbol{k}_{1}$
is always larger than the energy of the secondary waves
$\boldsymbol{k}_{2}$
and
$\boldsymbol{k}_{3}$
. Thus, according to the dispersion relation (1.1), the directions of the secondary waves are always closer to the
$xy$
-plane than the direction of the vector
$\boldsymbol{k}_{1}$
– see the figure 1(b).
(a) The resonance surface of the wave vector
$\boldsymbol{k}_{3}$
for the decay process
$\boldsymbol{k}_{1}\rightarrow \boldsymbol{k}_{2}+\boldsymbol{k}_{3}$
. The primary wave vector
$\boldsymbol{k}_{1}=(\sin (3\unicode[STIX]{x03C0}/8),0,\cos (3\unicode[STIX]{x03C0}/8))$
. (b) The cut of this surface (resonance curve) along the
$k_{x}k_{z}$
-plane.

The resonance surface, having a non-trivial form with branches at
$k\rightarrow \infty$
, formally allows decay into secondary waves of arbitrary small wavelength (in the experiment, this is obviously limited by the dissipation rate). We find the following asymptotics for the infinite branches assuming (4.2)
$k_{3}\rightarrow \infty$
:
(see figure 1 b). In addition, we study the process of wave confluence
In figure 2, we plot the corresponding resonance surface that is obtained similarly to the equation (4.2) relation for the process (4.4). The confluence resonance surface remains finite in
$\boldsymbol{k}$
-space and grows in size when
$\unicode[STIX]{x1D703}_{1}$
tends to
$\unicode[STIX]{x03C0}/2$
.
(a) The resonance surface of wave vector
$\boldsymbol{k}_{3}$
for the confluence process
$\boldsymbol{k}_{1}+\boldsymbol{k}_{2}\rightarrow \boldsymbol{k}_{3}$
. The primary wave vector
$\boldsymbol{k}_{1}=(\sin (3\unicode[STIX]{x03C0}/8),0,\cos (3\unicode[STIX]{x03C0}/8))$
. (b) The cut of this surface (resonance curve) along the
$k_{x}k_{z}$
-plane.

The resonance surface of the wave vector
$\boldsymbol{k}_{3}$
for the decay process
$\boldsymbol{k}_{1}\rightarrow \boldsymbol{k}_{2}+\boldsymbol{k}_{3}$
, coloured according to the value of
$|V_{\boldsymbol{k}_{2}\boldsymbol{k}_{3}}^{\boldsymbol{k}_{1}}|$
. (a,b)
$\boldsymbol{k}_{1}=(\sin (3\unicode[STIX]{x03C0}/8),0,\cos (3\unicode[STIX]{x03C0}/8))$
, (c,d)
$\boldsymbol{k}_{1}=(\sin (\unicode[STIX]{x03C0}/4),0,\cos (\unicode[STIX]{x03C0}/4))$
, (e,f)
$\boldsymbol{k}_{1}=(\sin (\unicode[STIX]{x03C0}/8),0,\cos (\unicode[STIX]{x03C0}/8))$
. (a,c,e) and (b,d,f) Show the same surface at different scales and from different view points.
The polar diagram for the short-wave asymptotics (5.5) of the amplitude
$|V_{\boldsymbol{k}_{2}\boldsymbol{k}_{3}}^{\boldsymbol{k}_{1}}(\unicode[STIX]{x1D711}_{3})|$
on the resonance surface. The primary wave vector
$\boldsymbol{k}_{1}=(\sin \unicode[STIX]{x1D703}_{1},0,\cos \unicode[STIX]{x1D703}_{1})$
. The amplitude at a certain angle
$\unicode[STIX]{x1D711}_{3}$
is given by the length of the corresponding radius vector. (a) Corresponds to the lower branch of the resonance surface; (b) corresponds to the upper branch.

5 Decay instability
The decay process
$\boldsymbol{k}_{1}\rightarrow \boldsymbol{k}_{2}+\boldsymbol{k}_{3}$
, which is allowed by the dispersion law (1.1), leads to instability of the inertial waves with respect to weak perturbations. In the general weakly nonlinear wave system with the decay-type dispersion law, the perturbations grow exponentially in the initial (linear) stage of this decay instability (see, e.g. Zakharov et al.
Reference Zakharov, L’vov and Falkovich1992). Consider at
$t=0$
the primary wave of amplitude
$A_{\boldsymbol{k}_{1}}$
and secondary waves of small amplitudes
$A_{\boldsymbol{k}_{2}}$
and
$A_{\boldsymbol{k}_{3}}$
playing the role of perturbations:
$A_{\boldsymbol{k}_{1}}(0)\gg \max (|A_{\boldsymbol{k}_{2}}(0)|,|A_{\boldsymbol{k}_{3}}(0)|)$
. Then, according to the well-known theory (see, e.g. § 1 in L’vov (Reference L’vov1994)), the amplitudes of the secondary waves grow with time
$t$
as
during the linear stage of the decay instability (meanwhile
$A_{\boldsymbol{k}_{1}}\sim$
const.). Here,
The growth rate of the decay instability
is localized in the layer (in
$\boldsymbol{k}$
-space) of thickness
$8|V_{\boldsymbol{k}_{2}\boldsymbol{k}_{3}}^{\boldsymbol{k}_{1}}|^{2}|A_{k}(0)|^{2}$
near the resonance surface
$\unicode[STIX]{x0394}\unicode[STIX]{x1D714}_{\boldsymbol{k}}=0$
(4.2), where it reaches the maximum value:
In this section, we study the absolute value of the three-wave decay amplitude
$|V_{\boldsymbol{k}_{2}\boldsymbol{k}_{3}}^{\boldsymbol{k}_{1}}|$
(3.27) at the resonance surface (4.2), which is sufficient to describe the main features of the instability growth rate behaviour. In figure 3, we present the typical examples of a resonance surface, coloured according to the value of
$|V_{\boldsymbol{k}_{2}\boldsymbol{k}_{3}}^{\boldsymbol{k}_{1}}|$
.
We find that the decay amplitude has a non-zero value on the infinite branches of the resonance surface (see the figure 3). Thus, decay instability appears even for short-wave perturbations up to the dissipative threshold. We calculate the short-wave asymptotic expression of the decay amplitude
$V_{\boldsymbol{k}_{2}\boldsymbol{k}_{3}}^{\boldsymbol{k}_{1}}$
on the upper infinite branch of the resonance surface (i.e. at
$k_{3}\rightarrow \infty$
and
$\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}=\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}+\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}$
) using equations (3.27), (4.1), (4.2), (4.3):
$$\begin{eqnarray}\displaystyle & & \displaystyle V_{\boldsymbol{k}_{2}\boldsymbol{k}_{3}}^{\boldsymbol{k}_{1}}(\unicode[STIX]{x1D711}_{3})\approx \frac{\text{i}\sqrt{2\unicode[STIX]{x1D6FA}}}{(2\unicode[STIX]{x03C0})^{3/2}}\left\{-\frac{1}{4}\sqrt{\frac{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}}{\unicode[STIX]{x1D6FA}}}\sin \unicode[STIX]{x1D711}_{3}\cos \unicode[STIX]{x1D711}_{3}\sin \unicode[STIX]{x1D703}_{1}\left(1+\frac{5}{16}\frac{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}^{2}}{\unicode[STIX]{x1D6FA}^{2}}\right)\right.\nonumber\\ \displaystyle & & \displaystyle \quad -\,\frac{1}{2}\sqrt{\frac{\unicode[STIX]{x1D6FA}}{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}}}\frac{\sin \unicode[STIX]{x1D711}_{3}\cos \unicode[STIX]{x1D703}_{1}}{\sqrt{1-\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}^{2}/16\unicode[STIX]{x1D6FA}^{2}}}\left(1-\frac{11}{16}\frac{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}^{2}}{\unicode[STIX]{x1D6FA}^{2}}+\frac{5}{128}\frac{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}^{4}}{\unicode[STIX]{x1D6FA}^{4}}\right)\nonumber\\ \displaystyle & & \displaystyle \quad -\,\frac{3\text{i}}{16}\left(\frac{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}}{\unicode[STIX]{x1D6FA}}\right)^{3/2}\sqrt{1-\frac{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}^{2}}{4\unicode[STIX]{x1D6FA}^{2}}}\sin ^{2}\unicode[STIX]{x1D711}_{3}+\frac{\text{i}}{2}\left(\frac{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}}{4\unicode[STIX]{x1D6FA}}\sin \unicode[STIX]{x1D703}_{1}\cos \unicode[STIX]{x1D711}_{3}-\sqrt{1-\frac{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}^{2}}{16\unicode[STIX]{x1D6FA}^{2}}}\cos \unicode[STIX]{x1D703}_{1}\right)\nonumber\\ \displaystyle & & \displaystyle \quad \times \left[\frac{3}{2}\sqrt{\frac{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}}{\unicode[STIX]{x1D6FA}}}\cos \unicode[STIX]{x1D711}_{3}-\sqrt{\frac{\unicode[STIX]{x1D6FA}}{\unicode[STIX]{x1D714}_{\boldsymbol{ k}_{1}}}\left(1-\frac{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}^{2}}{16\unicode[STIX]{x1D6FA}^{2}}\right)}\right.\nonumber\\ \displaystyle & & \displaystyle \quad \times \left.\left.\left(\frac{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}}{\unicode[STIX]{x1D6FA}}\sqrt{1-\frac{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}^{2}}{16\unicode[STIX]{x1D6FA}^{2}}}\cos \unicode[STIX]{x1D711}_{3}-\cos \unicode[STIX]{x1D703}_{1}\sin \unicode[STIX]{x1D703}_{1}\right)\right]\right\}.\end{eqnarray}$$
The short-wave asymptotics for the lower infinite branch of the resonance surface can be obtained from the expression (5.5) by the transformation
$\unicode[STIX]{x1D711}_{3}\rightarrow \unicode[STIX]{x1D711}_{3}+\unicode[STIX]{x03C0}$
. In figure 4, we present the angular dependence of the asymptotic (5.5) for different values of the primary vector
$\boldsymbol{k}_{1}$
. As one can see, the growth rate has asymptotically constant value, depending only on polar angle. This means that the discussed problem is well posed even in the theory without dissipation. The short-wave asymptotic is almost isotropic around the rotational axes
$\unicode[STIX]{x1D734}\Vert \widehat{\boldsymbol{z}}$
when the direction of
$\boldsymbol{k}_{1}$
is close to the
$xy$
-plane (i.e. the energy of the primary wave is low). In the opposite limit – when the primary wave propagates almost parallel to the rotational axes – the short-wave asymptotic is anisotropic with maxima near
$\unicode[STIX]{x1D711}_{3}=\unicode[STIX]{x03C0}/4;3\unicode[STIX]{x03C0}/4$
, but its characteristic amplitude decreases.
Figure 1 demonstrates that the right (
$k_{3x}>0$
) and left (
$k_{3x}<0$
) parts of the decay resonance curve can be represented as a single-valued function of
$k_{3z}$
. This enables us to plot the values of the amplitude (3.27) on the resonance curve as a function of one variable – see figure 5.
The behaviour of the amplitude
$|V_{\boldsymbol{k}_{2}\boldsymbol{k}_{3}}^{\boldsymbol{k}_{1}}|$
(blue solid lines) on the resonance curve as a function of
$k_{3z}$
. The primary wave vector
$\boldsymbol{k}_{1}=(\sin (\unicode[STIX]{x03C0}/4),0,\cos (\unicode[STIX]{x03C0}/4))$
. (a) The resonance curve at
$\unicode[STIX]{x1D711}_{1}=\unicode[STIX]{x03C0}/8$
. The amplitude has a local maximum at the middle branch of the resonance curve and a minimum at the point where one branch of the resonance curve changes to another; then, it approaches to the short-wave asymptotic (5.5) (red dotted lines). (b) The resonance curve at
$\unicode[STIX]{x1D711}_{1}=3\unicode[STIX]{x03C0}/8$
. The growth rate has two local maxima and one minimum in the middle branch of the resonance curve. Again, the short-wave asymptotic (5.5) is represented by the red dotted curve.

As we will discuss in the next section, the anisotropic case, when
$k_{z}\ll k_{\bot }$
, plays a central role in the statistical behaviour of inertial waves. Such waves, propagating predominantly in the
$\boldsymbol{k}_{\bot }$
-direction, have low energy and frequency, according to the dispersion law (1.1). Here, we find the following asymptotics for the amplitude
$V_{\boldsymbol{k}_{2}\boldsymbol{k}_{3}}^{\boldsymbol{k}_{1}}$
in this small frequency limit (i.e. at
$k_{z}\ll k_{\bot }$
):
$$\begin{eqnarray}\displaystyle V_{\boldsymbol{k}_{2}\boldsymbol{k}_{3}}^{\boldsymbol{k}_{1}} & {\approx} & \displaystyle \frac{\text{i}}{16\unicode[STIX]{x03C0}^{3/2}}\frac{S_{\boldsymbol{k}_{2}\boldsymbol{k}_{3}}}{k_{1\bot }k_{2\bot }k_{3\bot }\sqrt{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}}}\nonumber\\ \displaystyle & & \displaystyle \times \,[\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}^{2}(k_{3\bot }^{2}-k_{2\bot }^{2})+\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}^{2}(k_{1\bot }^{2}-k_{3\bot }^{2})-\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}^{2}(k_{1\bot }^{2}-k_{2\bot }^{2})].\end{eqnarray}$$
The asymptotic (5.6), as a function of
$\boldsymbol{k}_{3}$
, is valid not only in the short-wave limit but for any point of the small-frequency resonance surface. As was found by Bayly (Reference Bayly1986), the addition of weak ellipticity to the circular flow of the fluid leads to excitation of parametric inertial waves with maximum growth rate at angles
$\unicode[STIX]{x1D703}_{p}$
, satisfying the condition
$|\text{cos}\,\unicode[STIX]{x1D703}_{p}|=1/2$
(see also the conclusion section). In figure 6 we demonstrate how the small-frequency asymptotic (5.6) works at small frequencies and in the especially important case where
$\unicode[STIX]{x1D703}=\unicode[STIX]{x1D703}_{p}=\unicode[STIX]{x03C0}/3$
. We find that in the first case, the asymptotics (5.6) perfectly describe the three-wave interaction processes on the whole resonance surface and can be used instead of the cumbersome exact expression (3.27). Meanwhile, for the latter case, the small-frequency asymptotics (5.6) work well only in the middle branch of the resonance surface.
Comparison of the exact amplitude
$|V_{\boldsymbol{k}_{2}\boldsymbol{k}_{3}}^{\boldsymbol{k}_{1}}|$
given by (3.27) (blue solid lines) and its small-frequency asymptotics given by (5.6) (red dashed lines). The resonance curves are presented for
$\unicode[STIX]{x1D711}_{1}=\unicode[STIX]{x03C0}/4$
. (a) The primary wave vector
$\boldsymbol{k}_{1}=(\sin (7\unicode[STIX]{x03C0}/16),0,\cos (7\unicode[STIX]{x03C0}/16))$
. (b)
$\boldsymbol{k}_{1}=(\sin \unicode[STIX]{x1D703}_{p},0,\cos \unicode[STIX]{x1D703}_{p})$
.

The presented study of the instability growth rate is in agreement with the results of Bordes et al. (Reference Bordes, Moisy, Dauxois and Cortet2012), where the particular two-dimensional case (i.e. when
$\boldsymbol{k}_{1}$
,
$\boldsymbol{k}_{2}$
and
$\boldsymbol{k}_{3}$
lie in one plane) was studied experimentally and theoretically (using the helical modes decomposition approach). In particular, the non-zero values of the growth rate in the short-wave limit were also studied. Here, we provide a more detailed description of the growth rate in the whole
$\boldsymbol{k}$
-space, which we believe will be useful for the future experimental and numerical works devoted to the three-wave interactions of inertial waves.
6 Turbulent cascade of the inertial waves
Secondary waves, created as a result of the decay instability of the primary waves, are also unstable with respect to the same process (1.3a ). Thus, one can expect that this multi-level decay instability will result in the formation of some type of energy cascade from the large scale toward the small scale, as in usual homogeneous turbulence. The energy spectrum in the inertial range (i.e. at intermediate scale) of the cascade can be found from the well-known kinetic equation, which for three-wave processes has the following form:
$$\begin{eqnarray}\displaystyle \frac{\unicode[STIX]{x2202}n(\boldsymbol{k}_{1},t)}{\unicode[STIX]{x2202}t} & = & \displaystyle \unicode[STIX]{x03C0}\int [\!|V_{\boldsymbol{k}_{2}\boldsymbol{k}_{3}}^{\boldsymbol{k}_{1}}|^{2}N_{\boldsymbol{ k}_{2}\boldsymbol{k}_{3}}^{\boldsymbol{k}_{1}}\unicode[STIX]{x1D6FF}_{\boldsymbol{k}_{1}-\boldsymbol{k}_{2}-\boldsymbol{k}_{3}}\unicode[STIX]{x1D6FF}_{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}-\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}-\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}}\nonumber\\ \displaystyle & & \displaystyle +\,2|V_{\boldsymbol{k}_{1}\boldsymbol{k}_{3}}^{\boldsymbol{k}_{2}}|^{2}N_{\boldsymbol{ k}_{1}\boldsymbol{k}_{3}}^{\boldsymbol{k}_{2}}\unicode[STIX]{x1D6FF}_{\boldsymbol{k}_{2}-\boldsymbol{k}_{1}-\boldsymbol{k}_{3}}\unicode[STIX]{x1D6FF}_{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}-\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}-\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}}\! ]\,\text{d}\boldsymbol{k}_{2}\,\text{d}\boldsymbol{k}_{3}.\end{eqnarray}$$
Here
and
$n_{\boldsymbol{k}}$
is the wave density in
$\boldsymbol{k}$
-space. The solution of the kinetic (6.1) can be found only in particular cases, when both matrix elements and the eigen-frequency have some scaling properties (see the book Zakharov et al. (Reference Zakharov, L’vov and Falkovich1992)). Unfortunately, this is not the case for inertial waves in rotating fluid.
However, it is well established that the statistical behaviour of inertial waves in rapidly rotating fluids is highly anisotropic (see, for instance, Galtier (Reference Galtier2003), Sen et al. (Reference Sen, Mininni, Rosenberg and Pouquet2012) or the book of Nazarenko (Reference Nazarenko2011) and references therein). The dispersion law (1.1) leads to the formation of an energy cascade predominantly in the
$\boldsymbol{k}_{\bot }$
direction, when the wave frequencies are small and our simple asymptotic (5.6) is valid. Under this approximation, the dispersion law and interaction amplitude become scale invariant with respect to scaling of
$k_{z}$
and
$k_{\bot }$
:
As was discovered by Kuznetsov (Reference Kuznetsov1972), in such cases one can find anisotropic solutions of the kinetic equation. The result is that for the scaling, given by (6.3), stationary solutions of the kinetic equation, corresponding to the constant densities of the energy flux
${\mathcal{P}}_{1}$
and momentum flux
${\mathcal{P}}_{2}$
along the
$\widehat{\boldsymbol{z}}$
direction, can be found as
These anisotropic weak turbulent energy spectra were first identified by Galtier (Reference Galtier2003) using the helical modes decomposition approach. Here, we present spectra not averaged by the azimuth angle
$\unicode[STIX]{x1D711}$
, which explains the difference in the power laws of (6.4) and the paper of Galtier (Reference Galtier2003).
7 Conclusion
In this work, we developed the complete Hamiltonian formalism for inertial waves in rotating fluid. Namely, we suggest Hamiltonian variables for the velocity field and found all terms of the exact Hamiltonian, which consist of linear (diagonal), three- and four-wave interaction parts. In the important case of rapid rotation, the four-wave interaction term has second-order accuracy by the Rossby number, so the dynamics of the inertial waves is mostly determined by the first-order three-wave interaction processes. Special attention was paid to the process of wave decay
$\boldsymbol{k}_{1}\rightarrow \boldsymbol{k}_{2}+\,\boldsymbol{k}_{3}$
, which is responsible for the decay instability and plays a central role in the dynamics of inertial waves and the formation of anisotropic wave turbulence spectra. We discussed the geometry of the resonance surface for three-wave interactions, which has a highly non-trivial form with short-wave infinite branches. Then, we studied the behaviour of the increased decay instability on the whole three-dimensional resonance surface. In addition, we calculated several key asymptotics of the three-wave matrix element to improve the understanding of the main characteristics of the decay instability, which is useful for future studies. We believe that the newly identified features can be observed in numerical simulations and natural experiments, such as those presented in the works of Bordes et al. (Reference Bordes, Moisy, Dauxois and Cortet2012) and di Leoni et al. (Reference di Leoni and Mininni2016).
The structure of the decay instability growth rate on the resonance surface can be straightforwardly observed in numerical simulations on a discrete grid (see, e.g. the work of Dyachenko, Korotkevich & Zakharov (Reference Dyachenko, Korotkevich and Zakharov2003) devoted to decay of capillary waves and the recent paper Korotkevich, Dyachenko & Zakharov (Reference Korotkevich, Dyachenko and Zakharov2016)); meanwhile, such research of separate waves dynamics becomes non-trivial in natural experiments. The recently developed experimental method to study the dynamics of internal waves in a stratified fluid is a promising tool that can also be applied to inertial waves (Scolan, Ermanyuk & Dauxois Reference Scolan, Ermanyuk and Dauxois2013; Brouzet et al.
Reference Brouzet, Sibgatullin, Scolan, Ermanyuk and Dauxois2016). Indeed, this approach is based on the reflection (from the rigid boundary) properties of the internal waves, making it possible to focus them in a wave attractor area using a special trapezoid configuration of the experimental fluid tank (Maas et al.
Reference Maas, Benielli, Sommeria and Lam1997). The reflection properties of internal waves are determined by the following dispersion law:
$\unicode[STIX]{x1D714}_{\boldsymbol{k}}=\unicode[STIX]{x1D714}_{0}|\text{sin}\,\unicode[STIX]{x1D703}_{\boldsymbol{k}}|$
. Here, the constant
$\unicode[STIX]{x1D714}_{0}$
is the so-called buoyancy frequency and
$\unicode[STIX]{x1D703}_{\boldsymbol{k}}$
is the angle between the wave vector and the direction of stratification (see, e.g. Phillips (Reference Phillips1966)). The dispersion law (1.1) determines the analogous wave reflection properties, enabling the creation of experimental wave attractors for inertial waves in rotating fluid (see also the discussion in Brouzet et al. (Reference Brouzet, Sibgatullin, Scolan, Ermanyuk and Dauxois2016)).
Although internal and inertial waves have similar dispersion laws, their physical properties have significant differences. For example, consider the small-frequency limit, which plays the key role in the formation of the energy cascade for a rapidly rotating fluid (see the previous section), as well as for a strongly stratified fluid. The latter enables the existence of important non-propagating modes escaping the wave regime. In the linear limit, the whole toroidal mode of motion is non-propagating, thereby not affected by internal gravity waves. Thus, the turbulent behaviour of the strongly stratified fluid is defined by the coexistence of the internal wave motions and the non-propagating modes (see chapters 4 and 7 in the monograph of Sagaut & Cambon (Reference Sagaut and Cambon2008), where a detailed comparison of rapidly rotating and strongly stratified fluid was presented). In a rapidly rotating fluid, the two-dimensional non-propagating modes appear only as a singular limit when
$k_{z}=0$
, in accordance with Taylor–Proudman theorem, and can thus be excluded from wave turbulence theory. Moreover, the Hamiltonian formalism for a stratified fluid is based on another pair of Clebsch variables, the velocity potential and a special functional of the fluid density and the Montgomery potential, so the matrix elements have a different structure (see the papers of Lvov & Tabak Reference Lvov and Tabak2001; Lvov et al.
Reference Lvov, Polzin and Tabak2004).
Our study of the turbulent cascade confirmed the results previously obtained in the frame of helical mode decomposition (Galtier Reference Galtier2003, Reference Galtier2014). However, the presented kinetic equation (6.1) enables further study. For example, the hypothesis of the local nature for the rotating turbulence should be verified by studying the convergence of the integral of collisions. Additionally, more general solutions of the kinetic equation (6.1) can be obtained numerically.
At first sight, in the case of rapid rotation, the four-wave interactions can be considered only to obtain more accurate predictions. However, such interactions play the central role in the so-called parametric wave turbulence. The corresponding theory was introduced by Zakharov, L’vov and Starobinets for spin waves in the paper of Zakharov, L’vov & Starobinets Reference Zakharov, L’vov and Starobinets1971 and was then developed in detail for general Hamiltonian systems (see the book of L’vov (Reference L’vov1994)). Waves excited by pairs as a result of parametric instability conserve their phase correlation in four-wave interaction processes. This leads to the special phase mechanism of wave amplitude saturation in the turbulent state. As previously mentioned, for inertial waves, the role of parametric pumping can result in weak ellipticity of the flow. The suggested Hamiltonian formalism for circular flow can be easily generalized to the weakly elliptic case, which enables the use of the presented results for the future development of parametric wave turbulence theory for inertial waves.
Acknowledgements
The work in §§ 4 and 5 was performed with support from the Russian Science Foundation (grand no. 14-22-00174). A.G. is also grateful for the support of the RFBR (grant no. 16-31-60086 mol_a_dk). The authors thank the reviewers for providing constructive comments and suggestions on earlier versions of the manuscript.
Appendix A
Note that we use prime symbols here to distinguish the rotating reference frame from the inertial frame. In the main text of the manuscript, these primes are omitted.
A.1 Hamiltonian description of fluid in the rotating reference frame
The conventional Clebsch representation of the velocity field
$\boldsymbol{v}$
for the Euler equations
Considering the continuity equation (A 1b ), we can rewrite (A 2) using the transverse projector (3.2) as
(see also the second chapter in (Sagaut & Cambon Reference Sagaut and Cambon2008) concerning the use of projection operators). To find an analogue of this representation for a rotating fluid (i.e. for (2.1)), we consider a change of frame as the following transformation of variables:
$$\begin{eqnarray}\{(t)=\left(\begin{array}{@{}ccc@{}}\cos \unicode[STIX]{x1D6FA}t & -\text{sin}\,\unicode[STIX]{x1D6FA}t & 0\\ \sin \unicode[STIX]{x1D6FA}t & \cos \unicode[STIX]{x1D6FA}t & 0\\ 0 & 0 & 1\\ \end{array}\right).\end{eqnarray}$$
The transformation of variables (A 4) is not canonical: new fields
$\unicode[STIX]{x1D706}^{\prime }$
,
$\unicode[STIX]{x1D707}^{\prime }$
obey the equations of motion (see (3.5)) with a different Hamiltonian:
Here, the gradient
$\unicode[STIX]{x1D735}\equiv \unicode[STIX]{x2202}/\unicode[STIX]{x2202}\boldsymbol{r}^{\prime }$
is defined for the rotating reference frame. The main Hamiltonian
${\mathcal{H}}$
in the new coordinates has the same form as in the inertial frame (3.6), which can be explained as follows. The Jacobian of the transformation
$\boldsymbol{r}^{\prime }\rightarrow \boldsymbol{r}$
is unity.
$\det \{(t)=1$
and the operators
$\unicode[STIX]{x1D735}$
and
$\widehat{\boldsymbol{P}}$
are instantaneous, so their isotropic scalar combinations do not change under rotation.
The term
$(\unicode[STIX]{x1D734}\times \boldsymbol{r})$
in (A 6) is not divergent. Thus, by adding the constant
$(\int |(\unicode[STIX]{x1D734}\times \boldsymbol{r})|^{2}\,\text{d}\boldsymbol{r})/2$
to the equation (A 6), we can write the Hamiltonian in the rotating frame as
where
Again, the operators (
$\widehat{\boldsymbol{P}}$
and
$\unicode[STIX]{x1D735}$
) act on the variable
$\boldsymbol{r}^{\prime }$
. The new field
$\boldsymbol{v}^{\prime }$
in the equation (A 8) is simply the velocity of fluid in the rotating frame; thus, the only difference between Hamiltonian approaches in the inertial and rotating frames is the form of the Clebsch transformation – compare (A 3) and (A 8).
A.2 Clebsch representation of the velocity field in the rotating reference frame
First, we consider the fluid rotating as a whole with angular velocity
$\unicode[STIX]{x1D734}\Vert \widehat{\boldsymbol{z}}$
. In the inertial frame, such basic circular flow
$\boldsymbol{v}_{0}$
can be presented as
The Clebsch fields
$\unicode[STIX]{x1D706}_{0}$
and
$\unicode[STIX]{x1D707}_{0}$
for the basic flow
$\boldsymbol{v}_{0}$
and the corresponding potential
$\unicode[STIX]{x1D6F7}_{0}$
satisfying equation
can be found in different forms (see the discussion in § 3.1). We suggest the simplest form, which can be obtained for the linear dependence of
$\unicode[STIX]{x1D706}_{0}$
,
$\unicode[STIX]{x1D707}_{0}$
on coordinates
$\boldsymbol{r}$
:
Then, the potential
$\unicode[STIX]{x1D6F7}_{0}$
can be found as
Note that the left-hand side of equation (A 13) is simply the determinant of the transformation (A 11) from
$x,y$
to
$\unicode[STIX]{x1D706},\unicode[STIX]{x1D707}$
. Thus, the transformation (A 11) is always non-degenerate and can be inverted as
In this work, we study only the weak velocity perturbations on the background of the basic circular flow (A 9). Thus, it is convenient to introduce deviations
$\tilde{\unicode[STIX]{x1D706}}^{\prime }\equiv \unicode[STIX]{x1D706}^{\prime }-\unicode[STIX]{x1D706}_{0}^{\prime }$
and
$\tilde{\unicode[STIX]{x1D707}}^{\prime }\equiv \unicode[STIX]{x1D707}^{\prime }-\unicode[STIX]{x1D707}_{0}^{\prime }$
of the real flow from the basic flow. In the rotating reference frame, the basic flow velocity
$\boldsymbol{v}_{0}^{\prime }$
is obviously zero; however, it is useful to formally consider the expression for velocity perturbation
$\tilde{\boldsymbol{v}}^{\prime }\equiv \boldsymbol{v}^{\prime }-\boldsymbol{v}_{0}^{\prime }$
and to verify that
The last equality in the expression (A 18) can be verified using equation (A 17) and the property of the projector operator to cancel the full gradient of an arbitrary function. The canonically conjugated fields
$\tilde{\unicode[STIX]{x1D706}}^{\prime }$
and
$\tilde{\unicode[STIX]{x1D707}}^{\prime }$
obey the usual equations of motion (3.5). Thus, omitting all the primes and tildes, we prove the velocity representations (3.1) and (3.3), which we introduced at the beginning of the paper.
A.3 Coefficients of the interaction Hamiltonian
Here, we present exact expressions for the amplitudes of the interaction part of the Hamiltonian
${\mathcal{H}}_{int}$
, which were discussed in § 3.4. First, we write the amplitude for the three-wave process
$\boldsymbol{k}_{1}+\boldsymbol{k}_{2}+\boldsymbol{k}_{3}\rightarrow 0$
:
$$\begin{eqnarray}\displaystyle U_{\boldsymbol{k}_{1}\boldsymbol{k}_{2}\boldsymbol{k}_{3}} & = & \displaystyle -\frac{3\text{i}\sqrt{2\unicode[STIX]{x1D6FA}}}{(2\unicode[STIX]{x03C0})^{3/2}k_{1\bot }k_{2\bot }k_{3\bot }}\left\{-\sqrt{\frac{\unicode[STIX]{x1D6FA}^{3}}{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}}}F_{\boldsymbol{k}_{2}\boldsymbol{k}_{3}}^{\boldsymbol{k}_{1}}S_{\boldsymbol{ k}_{3}\boldsymbol{k}_{2}}+\frac{\text{i}}{8}\sqrt{\frac{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}}{\unicode[STIX]{x1D6FA}^{3}}}S_{\boldsymbol{k}_{3}\boldsymbol{k}_{2}}\right.\nonumber\\ \displaystyle & & \displaystyle +\,\frac{1}{4}\sqrt{\frac{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}}{\unicode[STIX]{x1D6FA}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}}}F_{\boldsymbol{k}_{2}\boldsymbol{k}_{3}}^{\boldsymbol{k}_{1}}S_{\boldsymbol{ k}_{3}\boldsymbol{k}_{2}}-\frac{\text{i}}{2}\sqrt{\frac{\unicode[STIX]{x1D6FA}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}}{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}}}S_{\boldsymbol{k}_{3}\boldsymbol{k}_{2}}^{2}-\frac{\text{i}}{2}\sqrt{\frac{\unicode[STIX]{x1D6FA}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}}{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}}}F_{\boldsymbol{k}_{2}\boldsymbol{k}_{3}}^{\boldsymbol{k}_{1}}(\boldsymbol{k}_{2\bot }\boldsymbol{\cdot }\boldsymbol{k}_{3\bot })\nonumber\\ \displaystyle & & \displaystyle +\,\frac{\text{i}}{2}\sqrt{\frac{\unicode[STIX]{x1D6FA}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}}{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}}}F_{\boldsymbol{k}_{2}\boldsymbol{k}_{3}}^{\boldsymbol{k}_{1}}(\boldsymbol{k}_{2\bot }\boldsymbol{\cdot }\boldsymbol{k}_{3\bot })+\frac{1}{4}\sqrt{\frac{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}}{\unicode[STIX]{x1D6FA}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}}}S_{\boldsymbol{k}_{3}\boldsymbol{k}_{2}}(\boldsymbol{k}_{2\bot }\boldsymbol{\cdot }\boldsymbol{k}_{3\bot })\nonumber\\ \displaystyle & & \displaystyle -\left.\frac{1}{4}\sqrt{\frac{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}}{\unicode[STIX]{x1D6FA}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}}}S_{\boldsymbol{k}_{3}\boldsymbol{k}_{2}}(\boldsymbol{k}_{2\bot }\boldsymbol{\cdot }\boldsymbol{k}_{3\bot })\right\}.\end{eqnarray}$$
Then, we present amplitudes for all possible four-wave processes, such as
$\boldsymbol{k}_{1}+\boldsymbol{k}_{2}+\boldsymbol{k}_{3}\rightarrow \boldsymbol{k}_{4}$
:

then
$\boldsymbol{k}_{1}+\boldsymbol{k}_{2}+\boldsymbol{k}_{3}+\boldsymbol{k}_{4}\rightarrow 0$
:
$$\begin{eqnarray}\displaystyle & & \displaystyle R_{\boldsymbol{k}_{1}\boldsymbol{k}_{2}\boldsymbol{k}_{3}\boldsymbol{k}_{4}}=-\frac{1}{(2\unicode[STIX]{x03C0})^{3}}\frac{Q_{\boldsymbol{k}_{3}\boldsymbol{k}_{4}}^{\boldsymbol{k}_{1}\boldsymbol{k}_{2}}}{k_{1\bot }k_{2\bot }k_{3\bot }k_{4\bot }}\nonumber\\ \displaystyle & & \displaystyle \quad \times \left\{\!\left(\!\sqrt{\frac{\unicode[STIX]{x1D6FA}^{4}}{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{4}}}}+\frac{1}{16}\sqrt{\frac{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{4}}}{\unicode[STIX]{x1D6FA}^{4}}}-\frac{1}{4}\sqrt{\frac{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}}{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{4}}}}-\frac{1}{4}\sqrt{\frac{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{4}}}{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}}}\right)\!S_{\boldsymbol{k}_{1}\boldsymbol{k}_{2}}S_{\boldsymbol{k}_{3}\boldsymbol{k}_{4}}\right.\nonumber\\ \displaystyle & & \displaystyle \quad +\,\frac{1}{4}\left(\sqrt{\frac{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{4}}}{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}}}+\sqrt{\frac{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}}{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{4}}}}-\sqrt{\frac{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}}{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{4}}}}-\sqrt{\frac{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{4}}}{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}}}\right)(\boldsymbol{k}_{1\bot }\boldsymbol{\cdot }\boldsymbol{k}_{2\bot })(\boldsymbol{k}_{3\bot }\boldsymbol{\cdot }\boldsymbol{k}_{4\bot })\nonumber\\ \displaystyle & & \displaystyle \quad +\,\frac{\text{i}}{2}\left(\sqrt{\frac{\unicode[STIX]{x1D6FA}^{2}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}}{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{4}}}}-\sqrt{\frac{\unicode[STIX]{x1D6FA}^{2}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{4}}}{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}}}\right.\nonumber\\ \displaystyle & & \displaystyle \quad +\left.\frac{1}{4}\sqrt{\frac{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{4}}}{\unicode[STIX]{x1D6FA}^{2}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}}}-\frac{1}{4}\sqrt{\frac{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}}{\unicode[STIX]{x1D6FA}^{2}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{4}}}}\right)S_{\boldsymbol{k}_{1}\boldsymbol{k}_{2}}(\boldsymbol{k}_{3\bot }\boldsymbol{\cdot }\boldsymbol{k}_{4\bot })\nonumber\\ \displaystyle & & \displaystyle \quad +\frac{\text{i}}{2}\left(\sqrt{\frac{\unicode[STIX]{x1D6FA}^{2}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}}{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{4}}}}-\sqrt{\frac{\unicode[STIX]{x1D6FA}^{2}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}}{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{4}}}}\right.\nonumber\\ \displaystyle & & \displaystyle \quad +\left.\left.\frac{1}{4}\sqrt{\frac{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{4}}}{\unicode[STIX]{x1D6FA}^{2}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}}}-\frac{1}{4}\sqrt{\frac{\unicode[STIX]{x1D714}_{\boldsymbol{k}_{1}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{3}}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{4}}}{\unicode[STIX]{x1D6FA}^{2}\unicode[STIX]{x1D714}_{\boldsymbol{k}_{2}}}}\right)S_{\boldsymbol{k}_{3}\boldsymbol{k}_{4}}(\boldsymbol{k}_{1\bot }\boldsymbol{\cdot }\boldsymbol{k}_{2\bot })\right\};\end{eqnarray}$$
and finally for the process
$\boldsymbol{k}_{1}+\boldsymbol{k}_{2}\rightarrow \boldsymbol{k}_{3}+\boldsymbol{k}_{4}$
:






