1. Introduction
The zonal flow denotes the steady axisymmetric flow that is generated by the nonlinear interactions of unsteady motions in a rotating fluid. Its structure strongly depends on the geometry, the boundary conditions and the forcing. In the present study, we provide an analytic expression for the zonal flow obtained in a precessing cylinder at resonance, that is when the harmonic response is dominated by a single Kelvin mode.
The flow in a precessing cylinder has been examined in an engineering context for its interesting mixing properties (Meunier Reference Meunier2020) and for its importance in the stability of gyroscopes (Stewartson Reference Stewartson1959; Gans Reference Gans1984; Lambelin et al. Reference Lambelin, Nadal, Lagrange and Sarthou2009). But most works have been motivated by geophysical and astrophysical applications. Planets generally rotate and interact gravitationally with neighbouring stars, planets or satellites. These interactions may lead to periodic variations of the shape, to changes in the direction of the rotation axis, or to oscillations of the planet's rotation rate. They correspond to harmonic forcing with three different azimuthal wavenumbers: tide (
$m=2$); precession, nutation and latitudinal libration (
$m=1$); longitudinal libration (
$m=0$). As recently reviewed in Le Bars, Cébron & Le Gal (Reference Le Bars, Cébron and Le Gal2015), these forcings can drive important flows in the liquid core of planets. The question whether they can drive a dynamo has been the subject of many studies (e.g. Malkus Reference Malkus1968; Tilgner Reference Tilgner2005; Wu & Roberts Reference Wu and Roberts2009, Reference Wu and Roberts2013; Cébron & Hollerbach Reference Cébron and Hollerbach2014).
The flow in a precessing spheroid was first described by the inviscid solution of Sloudsky (Reference Sloudsky1895) and Poincaré (Reference Poincaré1910). Busse (Reference Busse1968) then considered the viscous torque generated by the boundary layers to predict the slowdown of the solid body rotation (see also Hollerbach & Kerswell Reference Hollerbach and Kerswell1995; Kerswell Reference Kerswell1995). This nonlinear theory, which has been validated experimentally (Noir, Jault & Cardin Reference Noir, Jault and Cardin2001; Horimoto et al. Reference Horimoto, Simonet-Davin, Katayama and Goto2018; Nobili et al. Reference Nobili, Meunier, Favier and Le Bars2021), predicts a hysteresis cycle between two solutions for strong ellipticity or large tilt angles. In these studies, the zonal flow plays a crucial role.
In parallel to these studies on spherical geometries akin to planets or satellites, considerable efforts have been devoted to the more academic case of a precessing cylinder. The early experiment of McEwan (Reference McEwan1970) modelled the precessional forcing by a rotating tilted top. McEwan (Reference McEwan1970) showed that the flow becomes resonant when the forcing frequency is equal to the frequency of an inertial eigenmode, known as a Kelvin mode (Kelvin Reference Kelvin1880). This resonance leads to a flow much larger than in the spheroidal geometry. This was later observed experimentally for precessing cylinders (e.g. Manasseh Reference Manasseh1992, Reference Manasseh1994, Reference Manasseh1996; Kobine Reference Kobine1995, Reference Kobine1996). In these early experiments, the flow was characterised mainly based on direct visualisations, measurements of torque, energy dissipation rate and pointwise velocity.
At moderate Ekman numbers, Gans (Reference Gans1970) showed experimentally and theoretically that the amplitude of the resonant Kelvin mode is saturated by viscosity. Indeed, Ekman pumping damps the Kelvin mode, leading to a maximal resonant amplitude proportional to the tilt angle divided by the square root of the Ekman number. However, at small Ekman numbers, viscous effects can become weaker than nonlinear effects and Meunier et al. (Reference Meunier, Eloy, Lagrange and Nadal2008) showed that the maximal amplitude is then proportional to the tilt angle to the power 1/3.
At resonance, Kobine (Reference Kobine1996) and Meunier et al. (Reference Meunier, Eloy, Lagrange and Nadal2008) observed experimentally that a strong zonal flow is generated by the forced Kelvin mode. This zonal flow induces a detuning of the resonance, which saturates the amplitude of the Kelvin mode. It was also argued that the zonal flow can destabilise the base flow through a centrifugal instability (Kobine Reference Kobine1996; Giesecke et al. Reference Giesecke, Vogt, Gundrum and Stefani2018) or a shear instability (Jiang et al. Reference Jiang, Kong, Zhu and Zhang2015). To better understand the mechanism of saturation and these potential instabilities, it is thus important to determine the zonal flow produced.
In both the tilted top experiments and the precessing experiments, the flow can become unstable for tilt angles as small as a few degrees. McEwan (Reference McEwan1970) proposed that a forced Kelvin mode can trigger a triadic resonance with two free Kelvin modes, leading to a parametric instability. Mason & Kerswell (Reference Mason and Kerswell2002) investigated theoretically this instability inside a plane fluid layer in the limit of weak precession. They found that the triadic resonances indeed generate two free modes. Moreover, the triggered modes can also be unstable and further result in a secondary instability and then a tertiary instability, and so on (Kerswell Reference Kerswell1999). The onset of precessional turbulence, its ‘breakdown’, can thus be interpreted in the light of interactions between Kelvin modes. Lagrange et al. (Reference Lagrange, Meunier, Nadal and Eloy2011) and Lagrange, Meunier & Eloy (Reference Lagrange, Meunier and Eloy2016) have confirmed this triadic resonance scenario through experiments in precessing cylinders. To predict the onset of triadic resonances, Lagrange et al. (Reference Lagrange, Meunier, Nadal and Eloy2011, Reference Lagrange, Meunier and Eloy2016) also proposed a weakly nonlinear theory, which includes viscous effects and a heuristic model of the slow growth of a zonal flow due to the unstable modes. This latter effect leads to a detuning of the resonant mode, which in turn damps the triadic resonance instability (see also Herault et al. Reference Herault, Giesecke, Gundrum and Stefani2019), and eventually causes intermittent cycles of growth and decay of the unstable flow. Numerical simulations recently confirmed this weakly nonlinear dynamics (Albrecht et al. Reference Albrecht, Blackburn, Lopez, Manasseh and Meunier2015, Reference Albrecht, Blackburn, Lopez, Manasseh and Meunier2018; Marques & Lopez Reference Marques and Lopez2015; Lopez & Marques Reference Lopez and Marques2018) and have emphasised the central role played by the zonal flow in this dynamics.
In geophysical fluid dynamics, a zonal flow is defined as an axisymmetric azimuthal velocity. This zonal flow has also been called mean streaming flow (Albrecht et al. Reference Albrecht, Blackburn, Lopez, Manasseh and Meunier2021) since it is mostly generated by streaming through the action of Reynolds stresses (Riley Reference Riley2001). It is important to note that this zonal flow may not be invariant along the axial direction. For example, Waleffe (Reference Waleffe1989) showed that a Kelvin mode of amplitude
$A$ generates a nonlinear flow at order
$|A|^{2}$ with an axial wavenumber twice as large as the Kelvin mode wavenumber (see also Meunier et al. Reference Meunier, Eloy, Lagrange and Nadal2008).
The particular case of a zonal flow invariant along the axis is called a geostrophic flow, because it is a solution of the geostrophic balance between the Coriolis force and the pressure gradient. Greenspan (Reference Greenspan1969) proved mathematically that a geostrophic flow cannot be generated by a nonlinear interaction of an inertial mode of amplitude
$A$ with itself in the limit of small Ekman and Rossby numbers. However, Meunier et al. (Reference Meunier, Eloy, Lagrange and Nadal2008) showed that a geostrophic flow can be weakly forced by the Ekman boundary layers at order
$|A|^{2} { {Ek}}^{1/2}$ (where
${ {Ek}}$ is the Ekman number based on the radius and the angular velocity of the cylinder). This flow is saturated by viscous damping when its amplitude becomes an order larger in
${ {Ek}}^{-1/2}$ than the forcing, i.e. for an amplitude proportional to
$|A|^{2}$ similar to a classical streaming flow. This mechanism makes the prediction of the geostrophic flow quite difficult, because it implies many sources of forcing at an order
${ {Ek}}^{1/2}$ smaller than the resulting azimuthal flow.
In this paper, we calculate the zonal flow forced by a Kelvin mode, by focusing on a resonant precessing fluid cylinder at small Ekman numbers and weak precession. We first derive the flow forced by precession in § 2 and introduce the properties of the geostrophic flow in § 3. We then calculate, with an asymptotic approach, the five components of the zonal flow in § 4. The proposed theoretical solution is then compared with the numerical results of Albrecht et al. (Reference Albrecht, Blackburn, Lopez, Manasseh and Meunier2021) in § 5 and the experimental results of Meunier et al. (Reference Meunier, Eloy, Lagrange and Nadal2008) in § 6. The sign of the angular momentum of the zonal flow (prograde or retrograde) is discussed in § 7. Finally, some conclusions are drawn in § 8.
2. Precessing cylinder
Consider a cylinder of radius
$R$ and height
$H$, whose axis is along
$\hat {\boldsymbol {z}}$ (figure 1). This cylinder is entirely filled with a Newtonian fluid of density
$\rho$ and kinematic viscosity
$\nu$. The cylinder rotates at angular velocity
$\varOmega _0$ around its axis
$\hat {\boldsymbol {z}}$, which also precesses at angular velocity
$\varOmega _p$ around the vertical axis
$\hat {\boldsymbol {z}}_L$. We denote by
$\varphi$ the tilt angle, i.e. the angle between
$\hat {\boldsymbol {z}}$ and
$\hat {\boldsymbol {z}}_L$.
Schematic representation of a fluid-filled precessing cylinder, with radius
$R$ and height
$H$. The cylinder rotates at angular velocity
$\varOmega _0$ around
$\hat {\boldsymbol {z}}$, which itself also precesses at angular velocity
$\varOmega _p$ around the vertical axis
$\hat {\boldsymbol {z}}_L$ in the laboratory frame. The precession angle between these two axes is
$\varphi$.

To make the problem dimensionless, we use
$R$,
$\rho$ and
$\varOmega = \varOmega _0+\varOmega _p\cos \varphi$ as characteristic dimensions of length, density and frequency. The problem is associated with four dimensionless numbers: (1) the aspect ratio,
$h=H/R$; (2) the forcing frequency,
$\omega =\varOmega _0/\varOmega$; (3) the forcing amplitude,
$\varepsilon =\varOmega _p\sin \varphi /\varOmega$; (4) the Ekman number,
${ {Ek}} = \nu /\varOmega ^{2} R$. Dimensionless quantities will now be denoted with lowercase letters. The dimensionless flow velocity in the cylinder framework
$(O,\hat {\boldsymbol {x}},\hat {\boldsymbol {y}},\hat {\boldsymbol {z}})$ is denoted by
$\boldsymbol {u}={\boldsymbol {U}}/(R\varOmega )$. We will use the cylindrical coordinates
$(r,\theta ,z)$, where
$z=0$ corresponds to the midheight of the cylinder and the position vector will be denoted with
$\boldsymbol {r}$.
In the cylinder framework, the dimensionless Navier–Stokes equations are (Meunier et al. Reference Meunier, Eloy, Lagrange and Nadal2008; Lagrange et al. Reference Lagrange, Meunier, Nadal and Eloy2011)
with
$\boldsymbol {\delta } = \cos (\omega t)\hat {\boldsymbol {x}} -\sin (\omega t)\hat {\boldsymbol {y}}$. On the left-hand side of (2.1a), the first term is inertia, the second term is the Coriolis force and
$p$ is a dimensionless pressure field including all potential terms (Meunier et al. Reference Meunier, Eloy, Lagrange and Nadal2008). On the right-hand side of (2.1a), the first term is the forcing due to precession, the second term is the equatorial Coriolis force, the third term is the convective nonlinear term, and the last term is the viscous force.
We will now consider the asymptotic limits of small Ekman number
${ {Ek}}$ and small forcing
$\varepsilon$, which is achieved when the tilt angle is small or the Poincaré number
$\varOmega _p/\varOmega _0$ is small. We will seek a solution of the Navier–Stokes equations expressed as a series in powers of these small quantities,
${ {Ek}}$ and
$\varepsilon$.
2.1. Inviscid solution
The base flow
$\boldsymbol {u}^{\left (0\right )}$ forced by precession can be found by solving the Navier–Stokes equations (2.1a,b) at first order in
$\varepsilon$. Following Lagrange et al. (Reference Lagrange, Meunier and Eloy2016), we only keep the first term on the right-hand side of (2.1). The solution
$\boldsymbol {u}^{\left (0\right )}$ is then composed of two parts: a particular solution in the form of a horizontal shear flow and a sum of Kelvin modes of azimuthal wavenumber
$m=1$, which are the solutions of the homogeneous equation. Thus
\begin{equation} \boldsymbol{u}^{\left(0\right)} = \varepsilon \left( \boldsymbol{u}_{{{shear}}} + \sum_{j = 1}^{\infty} A_j {\textbf{v}} _j \right) \exp({\text{i}(\omega t + m\theta)}) + \text{c.c.}, \end{equation}
with
$\text {c.c.}$ standing for ‘complex conjugate’. In (2.2),
$\boldsymbol {u}_{{{shear}}} = \omega z(\text {i} \hat {\boldsymbol {r}} -\hat {\boldsymbol {\theta }})/(2 - \omega )$ is the horizontal shear,
$A_j$ are the amplitudes of Kelvin modes of axial wavenumber
$k_j = (2j-1){\rm \pi} /h$, and
${\textbf {v}} _j$ their associated velocity fields given by
\begin{equation} {\textbf{v}} _j =
\left(\begin{array}{@{}r@{}} \text{i} u \sin \left( k_j z
\right) \\ v \sin \left( k_j z \right) \\
\text{i} w \cos \left( k_j z \right)\end{array}\right),
\end{equation}
with
$u$,
$v$ and
$w$, real functions of
$r$,
with
$J_m$ the Bessel function of the first kind,
$\delta = k_j(4/\omega ^{2} -1)^{1/2}$ playing the role of a radial wavenumber, and primes noting differentiation.
Here, we will assume that the forcing is resonant. This occurs when the forcing frequency takes particular values,
$\omega =\omega _{n,j}$, such that
$u(1)=0$ for a particular Kelvin mode. In that case, this Kelvin mode amplitude
$A_j$ is asymptotically large and the radial wavenumber takes the value
$\delta = \delta _{n,j} = k_j(4/\omega _{n,j}^{2} -1)^{1/2}$. Each resonance is associated with a couple of strictly positive integers
$(n,j)$:
$n$ numbers the radial wavenumber
$\delta$ (the function
$u(r)$ has exactly
$n$ zeros for
$0< r\le 1$), and
$j$ numbers the axial wavenumber
$k_j$ such that
$k_j = (2j-1){\rm \pi} /h$. In Meunier et al. (Reference Meunier, Eloy, Lagrange and Nadal2008), we also referred to these resonances by the phrase ‘
$j$th resonance of the
$n$th Kelvin mode’.
At resonance, the amplitude
$A_j$ of the resonant Kelvin mode can be calculated by either invoking viscous effects, in which case
$A_j=O({ {Ek}}^{-1/2})$, or by invoking nonlinear effects, in which case
$A_j=O(\varepsilon ^{-2/3})$ (Meunier et al. Reference Meunier, Eloy, Lagrange and Nadal2008). In either case, the base flow is dominated by this single resonant Kelvin mode of amplitude
$A=A_j$,
whose velocity field
${\textbf {v}}$ is given by (2.3) and we have dropped the indices
$j$ for simplicity.
2.2. Viscous solution
The base flow given in (2.5) is a solution of the inviscid problem. To satisfy the viscous boundary condition on the walls, it has to be complemented by a boundary layer solution confined in the wall regions of thickness
$O({ {Ek}}^{1/2})$. The total flow at leading order is then
The viscous solution
$\widetilde {{\textbf {v}}}$ can be expressed as a series in powers of
${ {Ek}}^{1/2}$. This viscous solution has a non-zero axial component
$\tilde w$ on the end walls at order
${ {Ek}}^{1/2}$, forced through Ekman pumping (Meunier et al. Reference Meunier, Eloy, Lagrange and Nadal2008),
with an opposite flow on the upper wall in
$z=h/2$.
To balance these non-zero axial flows on the end walls, the inviscid solution has to be corrected at order
${ {Ek}}^{1/2}$. A simple way to achieve this correction is to write the axial wavenumber as a series in powers of
${ {Ek}}^{1/2}$:
and
A similar correction exists for the radial wavenumber
$\delta$ since it is proportional to
$k$. When there is no ambiguity, we will refer to
$k^{(0)}$ as
$k$ in the following.
3. Geostrophic flow
The geostrophic flow
${\textbf {v}}_0$ is an axisymmetric and steady solution of the linearised Navier–Stokes equation. It thus satisfies the homogeneous equations
whose solution is
where
$v_0(r)$ can be any function satisfying
$v_0(0)=0$. Note that the general solution could also include an axial flow
$w_0(r)$ independent of
$z$, which is zero in our case because of the boundary conditions on the end walls.
Similarly to Kelvin modes, this solution of the inviscid problem has to be complemented by a boundary layer solution in the regions close to the end walls. In these regions of thickness
$O({ {Ek}}^{1/2})$, the total flow is given by
for the lower wall.
Using this rescaled variable
$\tilde {z}$ and solving the linearised Navier–Stokes equation with the proper boundary conditions (
$\widetilde {{\textbf {v}}}_0 = - {\textbf {v}}_0(z=-h/2$) for
$\tilde {z} =0$ and
$\widetilde {{\textbf {v}}}_0 \to 0$ for
$\tilde {z}\to \infty$), one can write the solution as a series in powers of
${ {Ek}}^{1/2}$:
the leading order solution is
\begin{equation} \widetilde{{\textbf{v}}}_0^{(0)} (r,\tilde{z}) ={-}\frac{A_0}{2} v_0(r) \left(\begin{array}{c} \text{i}\,\text{e}^{-(1+\text{i})\tilde{z}} - \text{i}\,\text{e}^{-(1-\text{i})\tilde{z}} \\ \text{e}^{-(1+\text{i})\tilde{z}} + \text{e}^{-(1-\text{i})\tilde{z}} \\ 0 \end{array}\right). \end{equation}At the next order, an axial flow is forced by Ekman pumping,
which means that there is an inflow of order
$O({ {Ek}}^{1/2}v_0)$ on the lower wall of velocity
and, by symmetry, there is the opposite flow on the upper wall.
The important point here is that the inviscid geostrophic flow
${\textbf {v}}_0$ is not directly forced, since (3.1a,b) is homogeneous. But the geostrophic mode can be indirectly forced by symmetric inflows on the cylinder end walls (i.e.
$w(z=h/2) = -w(z=-h/2)$). As we shall see in the next section, non-zero symmetric inflows can be created by the precession and the forced Kelvin mode. To cancel these inflows, opposite inflows of the form
$\tilde {w}_0$ are needed such that
$\tilde {w}_0 (z = -h/2) = -w(z=-h/2)$. It means that a geostrophic flow
${\textbf {v}}_0$ can be forced at an order
${ {Ek}}^{-1/2}$ higher than the non-zero inflow
$w(z=h/2)$ through (3.7).
We will now see how non-zero symmetric inflows can be created in precessing flows by four different mechanisms.
4. Forcing of the geostrophic flow
4.1. Interaction between equatorial Coriolis force and the Kelvin mode
The first type of flow that forces a geostrophic flow is
${\textbf {v}}_k$, the axisymmetric and steady solution of the linearised Navier–Stokes equation forced by the equatorial Coriolis force, i.e. the second term on the right-hand side of (2.1). It thus satisfies the following equations:
and
$\boldsymbol {d} = -\hat {\boldsymbol {r}} + \text {i} \hat {\boldsymbol {\theta }}$. A particular solution of this forced equation gives an axial component of velocity
In order to cancel the resulting inflow on the end walls, a geostrophic flow is necessary such that its viscous part satisfies
$\tilde {w}_0 = -w_k$ on the lower wall. Using (3.7), it then leads to a geostrophic flow of order
${ {Ek}}^{-1/2}$ higher than
${\textbf {v}}_k$ itself, with azimuthal velocity
with
$\sin (kh/2) = (-1)^{j-1}$, because
$k=(2j-1){\rm \pi} /h$. Note that velocities noted with the bold letter ‘
$u$’, such as
$(\boldsymbol {u}_0)_{k}$, refer to the real component of the flow and include the complex conjugate, contrarily to velocities denoted by a bold ‘
$v$’, such as
${\textbf {v}}_{k}$, for instance.
4.2. Interaction between the Kelvin mode and the shear flow
The second flow that forces a geostrophic flow is
${\textbf {v}}_{shear}$, the flow forced by the nonlinear interaction of the Kelvin mode with the shear flow. This flow is a solution of
with
The component
$\boldsymbol {F}_{shear} \cdot \hat {\boldsymbol {\theta }}$ has a non-zero real part, which yields through the incompressibility condition to a non-zero axial component of
${\textbf {v}}_{shear}$,
with
At the end walls
$z=\pm h/2$, this axial flow balances exactly the axial flow
$w_k$ given by (4.2). It means that a geostrophic flow is created that cancels
$(\boldsymbol {u}_0)_{k}$,
with
$(\boldsymbol {u}_0)_{k}$ given by (4.3).
4.3. Interaction of the Kelvin mode with itself in the bulk
The third flow that forces a geostrophic flow is the mode
${\textbf {v}}_{2k}$, the axisymmetric and steady solution of the linearised Navier–Stokes equation forced by the nonlinear interactions of the Kelvin mode with itself, which satisfies
Note that the radial and axial components of the forcing are much larger than the azimuthal component, which vanishes for an inviscid Kelvin mode. The azimuthal component
$\boldsymbol {F}_{2k} \cdot \hat {\boldsymbol {\theta }}$ is
$O( |A|^{2} { {Ek}}^{1/2} )$ because of the viscous correction of the Kelvin mode given in (2.8). This azimuthal component of the forcing is treated, below, in § 4.3.2 through the component
$(\boldsymbol {u}_0)_{Ek}$ of the geostrophic flow. We will first examine the geostrophic flow due to the radial and axial forcing.
4.3.1. Forcing at order
$|A|^{2}$
At leading order
$|A|^{2}$, a particular solution of (4.9a,b) has been given by Waleffe (Reference Waleffe1989),
with
$u$,
$v$ and
$w$ the radial functions of the Kelvin mode, given in (2.4).
The velocity
${\textbf {v}}_{2k}$ is a solution of the inviscid problem. Although this solution seems to violate the statement of Greenspan (Reference Greenspan1969) that no geostrophic flow can be generated by an inviscid inertial mode, in fact it does not, since
${\textbf {v}}_{2k}$ is a non-geostrophic zonal flow (because of its dependence on
$z$). The associated boundary layer solution can be found by the same method as the one described above for the geostrophic flow in § 3. It yields an inflow on the lower wall that can be written as
To cancel this inflow, a geostrophic flow is necessary that will produce the opposite flow. This geostrophic flow is found using (3.7) and can be written as
Note that the sum of the flow
${\textbf {v}}_{2k}$ and the above geostrophic flow gives a real component of the velocity
that cancels for
$z=\pm h/2$.
4.3.2. Forcing at order
$|A|^{2} { {Ek}}^{1/2}$
At order
$|A|^{2} { {Ek}}^{1/2}$, the inviscid Kelvin mode interacts nonlinearly with its viscous correction, which can be obtained by a series expansion of
$k$ in powers of
${ {Ek}}^{1/2}$ given in (2.9). This nonlinear interaction can also be viewed as the interaction between the Kelvin mode and the flow resulting from Ekman pumping at the end walls. It yields a non-zero azimuthal forcing
$\boldsymbol {F}_{2k} \cdot \hat {\boldsymbol {\theta }} = O( |A|^{2} { {Ek}}^{1/2} )$.
Through (4.9a,b), this forcing gives rise to a radial velocity
$u_{Ek} = \frac {1}{2}\boldsymbol {F}_{2k} \cdot \hat {\boldsymbol {\theta }}$. This radial component induces an axial flow
$w_{Ek}$ through the incompressibility condition
where
$k^{(1)}$ is the correction to the axial wavenumber given in (2.9) and
$v_{Ek}$ is found by integrating
$\boldsymbol {F}_{2k} \cdot \hat {\boldsymbol {\theta }}$ between
$z=-h/2$ and 0 (see also (5.3), below).
To cancel this flow, a geostrophic flow
$(\boldsymbol {u}_0)_{Ek}$ is necessary
4.4. Interactions of the Kelvin mode with itself in the boundary layers
Last, we consider the flow
$\widetilde {{\textbf {v}}}_{BL}$ forced in the end wall boundary layers through nonlinear interactions of the viscous Kelvin mode with itself. Without loss of generality, we consider the lower wall boundary layer of thickness
$O({ {Ek}}^{1/2})$. In this boundary layer, at leading order, the total flow
${\textbf {v}}^{(0)}_{{tot.}}$ can be written as the sum of the inviscid solution and its viscous correction
\begin{equation}
{\textbf{v}}^{(0)}_{{tot.}} = A \sin \left({-}kh/2\right)
\left(\begin{array}{@{}c@{}} \text{i} u_{{tot.}} \\ v_{{tot.}}
\\ {{Ek}}^{1/2} \text{i}\, w_{{tot.}}
\end{array}\right) \exp({\text{i}(\omega t +
m\theta)}), \end{equation}
where
$u_{{tot.}}$,
$v_{{tot.}}$ and
$w_{{tot.}}$ are functions of
$r$ and
$\tilde {z}$, the rescaled vertical coordinate given by (3.3). These functions are given by (A1a–c) in Appendix A.
Through nonlinear interaction with itself, this flow acts as a steady and axisymmetric forcing of the linearised Navier–Stokes equations
where the forcing term can be written as
\begin{equation} \boldsymbol{F}_{BL}
(r,\tilde{z}) ={-}{\bar{\textbf{v}}}^{(0)}_{{tot.}} \cdot
\boldsymbol{\nabla} {\textbf{v}}^{(0)}_{{tot.}} = |A|^{2}
\sum_i \left( \begin{array}{@{}c@{}} a_i + c_i \tilde{z} \\
\text{i} b_i + \text{i} d_i \tilde{z} \\
O({{Ek}}^{1/2}) \end{array}\right)
\text{e}^{-\kappa_i \tilde{z}},
\end{equation}
with the scalars
$\kappa _i$ and the functions of
$r$,
$a_i$,
$b_i$,
$c_i$ and
$d_i$ are given in Appendix A.
Equations (4.17a,b) can be solved by expanding
$\widetilde {{\textbf {v}}}_{BL}$ in a series of powers of
${ {Ek}}^{1/2}$ and using the boundary conditions,
$\widetilde {{\textbf {v}}}_{BL} = 0$ for
$\tilde {z} =0$ and
$\tilde {z}\to \infty$. The solution at relevant order is given by (A7) in Appendix A. This solution implies a non-zero axial flow
$\tilde {w}_{BL}$ at order
$|A|^{2} { {Ek}}^{1/2}$ on the lower end wall. To cancel this inflow, a geostrophic flow is necessary at order
$|A|^{2}$ such that
with
\begin{equation} v_{BL} (r) = \mbox{Re}\left[\sum_i \frac{a_i \kappa_i+\text{i} b_i (\kappa_i+2))}{\kappa_i (\kappa_i (\kappa_i+2)+2)} + 2 \frac{c_i (\kappa_i+1) \kappa_i^{2}+\text{i} d_i (\kappa_i (\kappa_i+2)^{2}+2)}{\kappa_i^{2} (\kappa_i (\kappa_i+2)+2)^{2}} \right] . \end{equation}4.5. Total geostrophic flow
We now have calculated the five components of the geostrophic flows originating from five different inflows at the end walls. These components of the geostrophic flow, noted
$(\boldsymbol {u}_0)_{k}$,
$(\boldsymbol {u}_0)_{shear}$,
$(\boldsymbol {u}_0)_{2k}$,
$(\boldsymbol {u}_0)_{Ek}$ and
$(\boldsymbol {u}_0)_{BL}$, are given, respectively, by (4.3), (4.8), (4.12), (4.15) and (4.19). Summing them gives the total forced geostrophic flow
with
and
$v_{2k}$,
$v_{Ek}$ and
$v_{BL}$ given by (4.10), (4.14) and (4.20).
Note that the components
$(\boldsymbol {u}_0)_k$ and
$(\boldsymbol {u}_0)_{shear}$ exactly cancel each other, such that the amplitude of the geostrophic flow is proportional to
$|A|^{2}$ and does not include any terms proportional to
$\varepsilon A { {Ek}}^{-1/2}$. Because these two terms balance exactly, the resulting geostrophic flow does not depend on the precessional forcing anymore. The present results are thus applicable to any Kelvin mode, independently of the way it has been forced. In particular, as we shall see below, our calculations of the geostrophic flow is valid for Kelvin modes of arbitrary azimuthal wavenumber
$m$.
4.6. Weakly nonlinear amplitude equations
So far, we have calculated the amplitude of the geostrophic flow
$A_0$ in the steady regime, and we have found
$A_0=|A|^{2}$. Based on this calculation and following the weakly nonlinear calculation in Meunier et al. (Reference Meunier, Eloy, Lagrange and Nadal2008), we can easily obtain the weakly nonlinear amplitude equations describing transient regimes.
To obtain the dynamic equations for
$A$ and
$A_0$, we have to correct the term describing nonlinear interaction between the geostrophic flow and the Kelvin mode. In Meunier et al. (Reference Meunier, Eloy, Lagrange and Nadal2008), we did not take into account the components
$(\boldsymbol {u}_0)_{2k}$ and
$(\boldsymbol {u}_0)_{Ek}$ of the geostrophic flow and there was also an error in the calculation of
$(\boldsymbol {u}_0)_{Ek}$ (in particular, the term
$w_4 \tilde z$ appearing in (A1c) was missing). At resonance, the dynamic amplitude equations are then given by
where the first four coefficients,
$f$,
$\mu$,
$\nu$ and
$\sigma$, can be calculated from Meunier et al. (Reference Meunier, Eloy, Lagrange and Nadal2008) and are given in table 1 for different resonances. The coefficient
$f$ corresponds to the forcing by precession while
$\mu$ and
$\nu$ correspond to the Ekman and volume damping. The coefficient
$\sigma$ corresponds to the nonlinear coupling of the Kelvin mode with the non-geostrophic flow
${\textbf {v}}_{2k}$ and with an unsteady elliptic flow noted
${\textbf {v}}_{2\omega }$ in Meunier et al. (Reference Meunier, Eloy, Lagrange and Nadal2008).
Coefficients appearing in the weakly nonlinear amplitude equations (4.23) for different resonances
$(n,j)$ and different aspect ratios
$h$.

The weakly nonlinear coefficient
$\xi$, accounting for the nonlinear coupling between the Kelvin mode and the geostrophic flow, can be calculated as follows. We first calculate the nonlinear interaction of the Kelvin mode with the geostrophic flow:
$\boldsymbol {u}_0 \boldsymbol {\cdot }\boldsymbol {\nabla } {\textbf {v}} + {\textbf {v}}\boldsymbol {\cdot }\boldsymbol {\nabla } \boldsymbol {u}_0$. We then project this forcing onto the Kelvin mode using the natural Hermitian product over the cylinder volume. The coefficient
$\xi$ is simply this Hermitian product normalised by the norm of the Kelvin mode (which is nothing else than its kinetic energy). It can be written
$\xi = X/E$ with
with
$E$ the kinetic energy of the mode
and
$v_0(r)$ given by (4.22a,b). The values of
$\xi$ for the first nine resonances are plotted in figure 2. It shows that
$\xi$ scales as
$-h^{-4}$ for
$h\ll 1$, changes sign for
$h=O(1)$ and scales as
$h$ for
$h\gg 1$.
Value of the weakly nonlinear coefficient
$\xi$ as a function of the aspect ratio
$h$. The value is given for different resonances
$(n,j)$ as noted in the legend and we use the convention of a solid line for
$\xi$ negative and a dashed line for
$\xi$ positive.

This weakly nonlinear analysis will be used below to predict the amplitude
$A_0$ of the geostrophic flow when nonlinear effects are not negligible.
5. Comparison with numerical results
We first examine the resonance
$(n=1,j=1)$, which occurs when the radial velocity
$u(r)$ of the resonant Kelvin mode has one zero for
$0< r\le 1$ (this zero being in
$r=1$) and when the wavenumber is
$k={\rm \pi} /h$.
In order to compare our theoretical results with the numerical results of Albrecht et al. (Reference Albrecht, Blackburn, Lopez, Manasseh and Meunier2021), we focus on the aspect ratio
$h=1.62$ for which the
$(1,1)$ resonance is obtained at a forcing frequency
$\omega _{1,1}=1.181$ (table 1). The tilt angle is small,
$\varphi =0.4^{\circ }$, and corresponds to a forcing amplitude
$\varepsilon =-0.00127$, such that there is no instability in the numerical simulations at
${ {Ek}}=1.538 \times 10^{-4}$.
For these parameters, the forced Kelvin mode is mainly saturated by viscous effects and we can neglect nonlinear terms in (4.23a). The Kelvin mode amplitude is then
where the coefficients
$f$,
$\mu$ and
$\nu$, given in table 1, correspond to
$A=0.0047 -0.0221 \text {i}$. Using this value and (4.25), the total kinetic energy is found to be
$E=0.0025$. This kinetic energy is approximately 30 % lower than the kinetic energy found in numerical simulations by isolating the azimuthal wavenumber
$m=1$ (Albrecht et al. Reference Albrecht, Blackburn, Lopez, Manasseh and Meunier2021). Equation (5.1) thus underestimates the amplitude
$A$ by approximately 14 % in this case.
5.1. Spatial structure of the forcing
In the Navier–Stokes equations, the interaction of the forced Kelvin mode with the time-dependent precession forcing gives rise to a forcing term
$\boldsymbol {F}_k$ given in (4.1a,b). This term is noted
$\mathcal {C}^{{inv}}$ in the paper of Albrecht et al. (Reference Albrecht, Blackburn, Lopez, Manasseh and Meunier2021). The three components of
$\boldsymbol {F}_k$ along
$\hat {\boldsymbol {r}}$,
$\hat {\boldsymbol {\theta }}$ and
$\hat {\boldsymbol {z}}$ are plotted in figure 3(a–c). They are in excellent agreement with the numerical results of Albrecht et al. (Reference Albrecht, Blackburn, Lopez, Manasseh and Meunier2021) (see their figure 6d–f). The largest component is the
$\theta$-component, which has a unique negative lobe with a minimum value equal to
$-5.4 \times 10^{-5}$, while in the numerical simulations this value is approximately
$-6 \times 10^{-5}$ (Albrecht et al. Reference Albrecht, Blackburn, Lopez, Manasseh and Meunier2021). A small difference between the numerics and the theory is also found for the axial component: the numerical results have a 20 % smaller amplitude; they exhibit small undulations of the isocontours (probably due to inertial waves of small amplitudes emitted from the corners); in the simulations, this term vanishes at the top and the bottom because of the viscous boundary layers.
Forcing terms of the different components of the geostrophic flow. The columns are, from left to right, the radial (a,d), azimuthal (b,e) and axial (c,f) components of the forcing terms. The components of the forcing term
$\boldsymbol {F}_k$ given in (4.1a,b) are shown in panels (a–c). The components of the forcing term
$\boldsymbol {F}_{\text {NL}} = \boldsymbol {F}_{shear} + \boldsymbol {F}_{2k} + \boldsymbol {F}_{BL}$ given in (4.5), (4.9a,b) and (4.18) are shown in panels (d–f). The dashed line shows the level line for zero. The parameters are
$h=1.62$,
${ {Ek}}=1.5\times 10^{-4}$,
$\omega =1.181$ and
$\varepsilon =-0.00127$. To ease the comparison with figure 6 of Albrecht et al. (Reference Albrecht, Blackburn, Lopez, Manasseh and Meunier2021), we use the same contours.

The nonlinear forcing terms can be gathered into a single forcing term
$\boldsymbol {F}_{\text {NL}} = \boldsymbol {F}_{shear} + \boldsymbol {F}_{2k} + \boldsymbol {F}_{BL}$, which is noted
$\mathcal {R}^{{inv}}$ in Albrecht et al. (Reference Albrecht, Blackburn, Lopez, Manasseh and Meunier2021). The three components of
$\boldsymbol {F}_{\text {NL}}$ are plotted in figure 3(d–f). The forcing
$\boldsymbol {F}_{\text {NL}}$ gathers all nonlinear interactions of the forced flow with itself, including the Kelvin mode at order
$A$, but also the particular shear flow solution at a lower order,
$O(\varepsilon )$, given by (2.2), and the viscous correction to the Kelvin mode, also at a lower order,
$O(A{ {Ek}}^{1/2})$, obtained by a series expansion of the wavenumber
$k$ given in (2.9). Figure 3(d–f) shows an excellent agreement with the numerical results of Albrecht et al. (Reference Albrecht, Blackburn, Lopez, Manasseh and Meunier2021) plotted in their figure 6(g–i). The largest component of
$\boldsymbol {F}_{\text {NL}}$ is the axial component and it exhibits a negative and a positive lobe with a maximum value of
$3.6 \times 10^{-3}$, while it is of
$5 \times 10^{-3}$ in the simulations. The radial component has a weak dependence on
$z$ and the azimuthal component is of order
$Ek^{1/2}$ weaker than the other components, except for
$\boldsymbol {F}_{BL}$ in the boundary layers.
The azimuthal component of the axisymmetric forcing,
$F_{az.}=\boldsymbol {F}\cdot \hat {\boldsymbol {\theta }}$, plays a particular role here because it induces a geostrophic flow at an order
${ {Ek}}^{-1/2}$ higher than itself. The reason is that
$F_{az.}$ directly forces a radial flow through the
$\theta$-projection of the Navier–Stokes equation,
$u_{az.} = \frac {1}{2} F_{az.}$, which itself forces an axial flow through the incompressibility condition
To cancel the
$z$-odd part of this flow on the end walls, a geostrophic flow is necessary such that
$(\tilde {w}_0)_{az.} = - w_{az.}$ in
$z=-h/2$. This axial flow then yields a geostrophic flow
\begin{equation} (v_0)_{az.}(r) ={{Ek}}^{{-}1/2} \int_{{-}h/2}^{0} F_{az.}\,\text{d} z. \end{equation}
The
$\theta$-component of the axisymmetric forcing
$F_{az.}$ therefore induces a geostrophic flow at order
$F_{az.}{ {Ek}}^{-1/2}$, which is found to be proportional to the
$z$-average of
$F_{az.}$. Here, we note that this reasoning allows us to show that the nonlinear interactions between two Kelvin modes of different axial wavenumbers do not force a geostrophic flow. For instance, consider a non-resonant Kelvin mode of real amplitude
$A_i=O(\varepsilon )$ and wavenumber
$k_i = (2i - 1) {\rm \pi}/h$ interacting with the resonant Kelvin mode of amplitude
$A$ and wavenumber
$k = (2j-1) {\rm \pi}/h$. The nonlinear interactions will yield a non-zero azimuthal forcing
$F_{az.}$ with terms proportional to
$\varepsilon \, \mbox {Im}(A) \cos (k\pm k_i) z$. However, using (5.3), we see that this forcing does not give rise to any geostrophic flow because the sum or difference of axial wavenumbers,
$(k\pm k_i)$, will always be an integer multiple of
$2{\rm \pi} /h$ and will have a zero average along
$z$.
The azimuthal components of the different forcing terms are plotted in figures 3(b,e) and 4(a–d). It shows that
$\boldsymbol {F}_k\cdot \hat {\boldsymbol {\theta }}$ and
$\boldsymbol {F}_{\text {NL}}\cdot \hat {\boldsymbol {\theta }}$ are both negative (except near
$r=1$ for
$\boldsymbol {F}_{\text {NL}}\cdot \hat {\boldsymbol {\theta }}$), even if the components
$\boldsymbol {F}_{shear}\cdot \hat {\boldsymbol {\theta }}$ and
$\boldsymbol {F}_{BL} \cdot \hat {\boldsymbol {\theta }}$ have positive average along
$z$.
Azimuthal forcing terms of the different components of the geostrophic flow: (a)
$\boldsymbol {F}_{shear} \cdot \hat {\boldsymbol {\theta }}$; (b)
$\boldsymbol {F}_{2k} \cdot \hat {\boldsymbol {\theta }}$; (c)
$\boldsymbol {F}_{BL} \cdot \hat {\boldsymbol {\theta }}$; (d)
$\boldsymbol {F}_{\text {NL}} \cdot \hat {\boldsymbol {\theta }}$, with
$\boldsymbol {F}_{\text {NL}} = \boldsymbol {F}_{shear} + \boldsymbol {F}_{2k} + \boldsymbol {F}_{BL}$. Parameters are the same as in figure 3.

5.2. Zonal flow
The geostrophic flow
$(\boldsymbol {u}_0)_{k}$ produced in response to
$\boldsymbol {F}_k$ is plotted in figure 5(a). Its azimuthal velocity is always negative with a minimum value equal to
$-2.2 \times 10^{-3}$ in good agreement with the minimum value of approximately
$-2.5 \times 10^{-3}$ found numerically by Albrecht et al. (Reference Albrecht, Blackburn, Lopez, Manasseh and Meunier2021) (see their figure 6o). However, in the numerical simulations, the azimuthal velocity vanishes at
$r=1$ in order to satisfy the no-slip boundary conditions whereas it remains negative in the present theory.
Mean azimuthal flow generated by different sources. (a) Velocity
$(\boldsymbol {u}_0)_{k}$ given by (4.3) and induced by the forcing
$\boldsymbol {F}_k$. (b) Velocity
$(\boldsymbol {u}_0)_{shear} + \boldsymbol {u}_{2k} + (\boldsymbol {u}_0)_{2k} + (\boldsymbol {u}_0)_{Ek} + (\boldsymbol {u}_0)_{BL} = \boldsymbol {u}_{2k} + \boldsymbol {u}_0 - (\boldsymbol {u}_0)_{k}$ given by (4.8), (4.13), (4.14) and (4.19) and induced by the nonlinear forcing term
$\boldsymbol {F}_{\text {NL}}$. (c) Total azimuthal velocity
$\boldsymbol {u}_{2k} + \boldsymbol {u}_0$ induced by all sources. Parameters are the same as in figures 3 and 4.

The azimuthal flow
$(\boldsymbol {u}_0)_{shear} + \boldsymbol {u}_{2k} + (\boldsymbol {u}_0)_{2k} + (\boldsymbol {u}_0)_{Ek} + (\boldsymbol {u}_0)_{BL} = \boldsymbol {u}_{2k} + \boldsymbol {u}_0 - (\boldsymbol {u}_0)_{k}$ in response to the nonlinear forcing term
$\boldsymbol {F}_{\text {NL}}$ is plotted in figure 5(b). It exhibits two negative lobes of azimuthal velocity with a minimal value equal to
$-1.6 \times 10^{-3}$. This value can be compared with the value of
$-2.5\times 10^{-3}$ found numerically by Albrecht et al. (Reference Albrecht, Blackburn, Lopez, Manasseh and Meunier2021) (their figure 6s), and the difference can be explained by the 30 % difference in the Kelvin mode kinetic energy.
Adding all responses yields the zonal flow
$\boldsymbol {u}_{2k} + \boldsymbol {u}_0$ (figure 5c). It is almost everywhere negative except near the lateral wall around the equator. The velocity distribution is quantitatively similar to that found numerically by Albrecht et al. (Reference Albrecht, Blackburn, Lopez, Manasseh and Meunier2021) in their figure 6(k). We find a minimum value of
$-3.3 \times 10^{-3}$, close to the numerical value of
$-4.5 \times 10^{-3}$ with again a difference that can mainly be imputed to the 30 % difference in kinetic energy.
Averaging this total flow over the height of the cylinder filters out the non-geostrophic response
$\boldsymbol {u}_{2k}$ leading to the total geostrophic flow
$\boldsymbol {u}_0$. This geostrophic flow, plotted in figure 6 as a black solid line, is in excellent agreement with the numerical result of Albrecht et al. (Reference Albrecht, Blackburn, Lopez, Manasseh and Meunier2021) plotted as a black dotted line. This geostrophic flow contains several terms, the Coriolis term
$(\boldsymbol {u}_0)_{k}$ being exactly opposite to the shear term
$(\boldsymbol {u}_0)_{shear}$. Apart from these two terms, the dominant contribution comes from the nonlinear coupling between the inviscid Kelvin mode and its viscous correction in the bulk
$(\boldsymbol {u}_0)_{Ek}$, which is retrograde. This flow is weakly compensated by the geostrophic adaptation
$(\boldsymbol {u}_0)_{2k}$ to the zonal flow
$vit_{2k}$ and by the nonlinear coupling in the boundary layers
$(\boldsymbol {u}_0)_{BL}$. We note here that
$(\boldsymbol {u}_0)_{2k}$ and
$(\boldsymbol {u}_0)_{BL}$ are approximately equal for the parameters chosen; this is merely incidental.
Geostrophic flow generated by different sources. The components
$(\boldsymbol {u}_0)_{k}$,
$(\boldsymbol {u}_0)_{shear}$,
$(\boldsymbol {u}_0)_{2k}$,
$(\boldsymbol {u}_0)_{Ek}$ and
$(\boldsymbol {u}_0)_{BL}$, given by (4.3), (4.8), (4.12), (4.15) and (4.19), are represented by solid lines. They sum up to form the total geostrophic flow
$\boldsymbol {u}_0$ (black solid line). The velocity is normalised by the kinetic energy of the Kelvin mode
$E$. The dotted black line show the numerical results of Albrecht et al. (Reference Albrecht, Blackburn, Lopez, Manasseh and Meunier2021) for the same parameters (see their figure 10). Parameters are the same as in figures 3 and 5.

5.3. Dependence of the zonal flow on the aspect ratio
$h$
We have shown that, in the steady case, the geostrophic flow is proportional to
$|A|^{2}$. This was also found numerically by Albrecht et al. (Reference Albrecht, Blackburn, Lopez, Manasseh and Meunier2021): in their figure 11(c), they showed that the ratio between the kinetic energy of the azimuthal flow
$E_0$ and the square of the kinetic energy of the Kelvin mode
$E^{2}$ is nearly independent of the Ekman number and the tilt angle. Here, we show that
$E_0$ is proportional to
$|A|^{4}$, while
$E$ given by (4.25) is proportional to
$|A|^{2}$, which is consistent with the observation of Albrecht et al. (Reference Albrecht, Blackburn, Lopez, Manasseh and Meunier2021).
Although the ratio
$E_0 / E^{2}$ is independent of the forcing amplitude
$\varepsilon$ and Ekman number
${ {Ek}}$, it depends on the aspect ratio
$h$. This is because the aspect ratio influences the resonant frequency
$\omega _{n,j}$ and the radial wavenumber
$\delta _{n,j}$. In figure 7, we compare the quantity
$E_0 / E^{2}$ extracted from Albrecht et al. (Reference Albrecht, Blackburn, Lopez, Manasseh and Meunier2021) with our prediction, when
$h$ is varied.
Ratio between the kinetic energy
$E_0$ of the zonal flow
$\boldsymbol {u}_{2k}+\boldsymbol {u}_0$ and the squared kinetic energy
$E$ of the forced Kelvin mode. This ratio is plotted as a function of the aspect ratio
$h$ for the
$(1,1)$ resonance. The symbols correspond to the numerical results obtained by Albrecht et al. (Reference Albrecht, Blackburn, Lopez, Manasseh and Meunier2021) for
${ {Ek}}=2\times 10^{-4}$. The solid line corresponds to the present theory.

The theoretical prediction is found to be in excellent agreement with these numerical results although the theory tends to slightly underestimate the axisymmetric flow in the limit of small and large aspect ratios. This may be due to the presence of the boundary layers on the cylinder sidewalls.
6. Comparison with experimental results
We shall now compare the present theoretical predictions with the experimental results of Meunier et al. (Reference Meunier, Eloy, Lagrange and Nadal2008).
We start with the
$(1,1)$ resonance. The aspect ratio is
$h=1.8$, giving a resonant frequency
$\omega _{1,1}=1.088$ (table 1). The tilt angle is
$\varphi =2^{\circ }$, which corresponds to a forcing amplitude
$\varepsilon =-0.0031$. The mean azimuthal velocity has been measured for three moderate Ekman numbers at
$z=h/4$ (figure 8). In each case, the azimuthal velocity is negative meaning that the zonal flow is retrograde.
Mean azimuthal velocity profiles of the
$(1,1)$ resonance. Symbols are the experimental results of Meunier et al. (Reference Meunier, Eloy, Lagrange and Nadal2008) measured at
$z=h/4$, while the solid lines represent the velocity profiles predicted:
$|A|^{2} v_0$ given by (4.22a,b) in blue and
$|A|^{2} (v_0)_{vol.}$ given by (6.3) in black. Parameters are
$h=1.8$,
$\omega =1.088$,
$\varepsilon =-0.0031$ and three different Ekman numbers: (a)
${ {Ek}} =8.1 \times 10^{-4}$; (b)
${ {Ek}} = 2.0 \times 10^{-4}$; (c)
${ {Ek}} =0.81 \times 10^{-4}$.

We first compute the amplitudes of the Kelvin mode and geostrophic flow by looking for the fixed point
$(A,A_0)$ of the weakly nonlinear amplitude equations (4.23). We then plot the resulting geostrophic flow
$\boldsymbol {u}_0$ for two cases. First we consider the profile
$v_0$ obtained in § 4 and given by (4.22a,b); second we take into account viscous effects onto the geostrophic flow by proceeding as follows. We decompose
$v_0(r)$ into Bessel functions of the first kind,
\begin{equation} v_0(r) = \sum_{i=1}^{\infty} A_i J_1(d_i r),\quad \mbox{such that } J_1(d_i) = 0, \end{equation}
where the amplitudes
$A_i$ can be calculated as
This decomposition is analogue to a Fourier decomposition. The
$d_i$s are the zeros of
$J_1$ ordered in ascending order. They play the role of radial wavenumbers for the geostrophic flow and satisfy
$d_i \sim i {\rm \pi}$ for large
$i$.
When the geostrophic flow
$v_0$ is decomposed as in (6.1), the viscous term of the Navier–Stokes equations,
${ {Ek}} \nabla ^{2} \boldsymbol {u}_0$, gives rise to an azimuthal forcing
$F_{az.} = - \sum _i A_i d_i^{2} J_1(d_i r)$, which itself yields a geostrophic flow
${ {Ek}}^{1/2} F_{az.} h/2$ through the reasoning explained above in § 5.1. The corrected azimuthal flow taking into account this effect is then given by
\begin{equation} \left(v_0\right)_{vol.}(r) = \sum_{i=1}^{\infty} \frac{A_i}{1+{{Ek}}^{1/2} d_i^{2} h/2} J_1( d_i r). \end{equation} This way of incorporating viscous effects was first introduced in Meunier et al. (Reference Meunier, Eloy, Lagrange and Nadal2008). It accounts for both the sidewall boundary layer and the Ekman pumping from end walls. In the limit of small
${ {Ek}}$, we recover at leading order the
$O({ {Ek}}^{1/4})$ sidewall boundary layer obtained by Wang (Reference Wang1970) (see Appendix B). The
$O(Ek^{1/2})$ correction induced by the Ekman pumping in the bulk depends, however, on the Bessel decomposition (6.1) of
$v_0$. This correction is the smallest if the spectral content of
$v_0$ is mainly on small radial wavenumbers. For the geostrophic flows plotted in figure 8, the smallest wavenumber
$d_1$ is dominant. Viscous effects are therefore expected to be negligible as soon as the Ekman number is asymptotically small compared with
$d_1^{-4} h^{-2}\approx 10^{-3}$.
This is the case in figure 8(c) and in the numerical simulations shown in the previous section, but not for the case of figure 8(a). Note that, in the limit
${ {Ek}} \ll d_1^{-4} h^{-2}$, the flow is generally unstable unless the tilt angle is extremely small, which is difficult to achieve experimentally.
Comparing the experimental velocity profiles and the theoretical predictions in figure 8 shows a good agreement. Both profiles have the same bell shape with a minimum value reached around
$r\approx 0.4$. The amplitude is underpredicted by 30 % for the lower Ekman number and overpredicted by a factor almost two for the highest value. This latter discrepancy may be due to large nonlinear effects and an instability of the Kelvin mode.
The comparison for the
$(2,1)$ resonance is shown in figure 9. In this case, the viscous effects on the geostrophic flow are even more pronounced than for the
$(1,1)$ resonance in figure 8. This is because of the importance of the second amplitude
$A_2$ in the Bessel series (6.1). The agreement between theory and experiment is excellent both qualitatively and quantitatively. Both profiles are negative with two local minima: the largest one is around
$r=0.25$ and the second one around
$r=0.75$. The amplitudes predicted by
$(v_0)_{vol.}$ compare well with experimental results for the two largest values of the Ekman number. For the smallest Ekman number, as for the first resonance, the discrepancy may be due to nonlinearities or an instability.
Same as figure 8 for the
$(2,1)$ resonance. Parameters are
$h=2$,
$\omega =0.510$,
$\varepsilon =-0.0086$,
$z=h/4$ and three different Ekman numbers: (a)
${ {Ek}} =2.66 \times 10^{-4}$; (b)
${ {Ek}} = 1.33 \times 10^{-4}$; (c)
${ {Ek}} =0.66 \times 10^{-4}$.

7. Retrograde sign of the geostrophic flow
So far, we have found that the geostrophic flow is always retrograde. This is a classical observation in precessing flows, where precession tends to slow down the solid body rotation (Kobine Reference Kobine1996; Meunier et al. Reference Meunier, Eloy, Lagrange and Nadal2008). Although this seems intuitive, there is no proof of this result so far. In fact, nothing prevents precession from spinning up the solid body rotation because the precessional motion injects energy in the system. For instance, this is what would happen if only the nonlinear term
$(\boldsymbol {u}_0)_{BL}$ were considered for the
$(1,1)$ resonance (figure 6).
To assess whether the zonal flow
$\boldsymbol {u}_0 + \boldsymbol {u}_{2k}$ is always retrograde, we calculate its angular momentum defined as
which in fact only depends on the geostrophic component
$\boldsymbol {u}_0$, the non-geostrophic part
$\boldsymbol {u}_{2k}$ being periodic along
$z$. In figure 10(a), we see that this angular momentum (normalised by the kinetic energy of the Kelvin mode
$E$) is always negative for the range of aspect ratios and resonances chosen.
Angular momentum
$M_0$ of the geostrophic flow normalised by the kinetic energy of the Kelvin mode
$E$ for a resonant precessing cylinder (
$m=1$). In panel (a), the angular momentum is plotted as a function of the aspect ratio
$h$ for different resonances as mentioned in the legend. In panel (b), the angular momentum is plotted as contours in the
$(k,\omega )$-plane. The green zone corresponds to positive values of the angular momentum, but this zone is not accessible due to the dispersion relation. The black lines show this dispersion relation for the first three resonances:
$(1,\cdot )$ thick line;
$(2,\cdot )$ medium line;
$(3,\cdot )$ thin line (the higher resonances have lower
$\omega$).

The angular momentum
$(M_0)_{BL}$ due to the component
$(v_0)_{BL}$ of the geostrophic flow is complex, but if we first focus on the components
$(v_0)_{2k}$ and
$(v_0)_{Ek}$ of the geostrophic flow, we can show that their associated angular momenta simplify into
where
$E$ is the kinetic energy of the Kelvin mode given by (4.25). The ratio
$(M_0)_{Ek} / (mE)$ is a function of
$\omega$ only, that is always negative on the interval
$0 < \omega < 2$. With some calculation, it can also be shown that the sum
$(M_0)_{2k} + (M_0)_{Ek}$ is always negative for
$m \ge 1$,
$k>0$ and
$0 < \omega < 2$.
To show numerically that the total angular momentum is always retrograde, we use the fact that the ratio
$(M_0)_{BL} / E$ is a function of
$k$ and
$\omega$ only. Although this function is too complex to reproduce here, it can be easily plotted. We can thus plot the total angular momentum
$M_0 / E$ in the
$(k,\omega )$-plane for
$m=1$ (figure 10b). In this plane, we see that the angular momentum is everywhere negative, except in a small region for small
$k$ and
$0.8\lesssim \omega <2$ (green region in figure 10b). However, this region is not reachable by any resonance, because
$k$ and
$\omega$ are linked by the dispersion relation
$u(1)=0$ with
$u$ given in (2.4a). This dispersion relation is plotted as black lines in figure 10(b) for the first three resonances. For higher resonances, the angular frequency continues to decrease and moves farther away from the zone of positive angular momentum. It thus shows that the angular momentum is always retrograde for
$m=1$ and
$0<\omega <2$.
Although the calculations presented in this paper focused on Kelvin modes of azimuthal wavenumber
$m=1$ forced by precession, they are easily generalisable to different azimuthal wavenumbers. In figure 11, we consider the azimuthal wavenumber
$m=2$. It shows again that a resonant Kelvin mode always forces a retrograde geostrophic flow. In this case, it is even simpler because, contrarily to
$m=1$, there is no region of positive angular momentum in the
$(k,\omega )$-plane.
Same as figure 10 for the Kelvin modes of azimuthal wavenumber
$m=2$.

The situation is different for the azimuthal wavenumber
$m=0$ (figure 12). In this case, the sign of the angular momentum
$M_0$ is positive for
$\omega \lesssim 1.48$ and negative for
$\omega \gtrsim 1.48$ (figure 12b). It thus means that the geostrophic flow will be retrograde in the limit of small aspect ratio but prograde in the limit of large aspect ratio (figure 12a).
Same as figure 10 for the Kelvin modes of azimuthal wavenumber
$m=0$. In this case, the ratio between the angular momentum
$M_0$ and the kinetic energy
$E$ is only a function of
$\omega$ represented in panel (b). It changes sign for
$\omega \approx 1.48$.

The figures 10(b) and 11(b) show numerically that the geostrophic flow is always retrograde for azimuthal wavenumbers
$m=1$,
$2$ and for forcing frequency in the interval
$0<\omega <2$. The situation is similar for
$m=3$ (not shown here) and presumably for higher values of the azimuthal wavenumber. But again, this is difficult to prove mathematically given the complexity of
$(M_0)_{BL}$.
Note that for negative forcing frequency (
$\omega <0$), the geostrophic flow could be prograde. This corresponds to the particular case of a cylinder rotating around its axis with a frequency
$0 < \varOmega _0 < -\varOmega _p$, with
$\varOmega _p < 0$ the precession frequency. Usually, experiments and numerical simulations do not consider this limit and rather focus on proper frequencies larger than precession frequencies (
$|\varOmega _0| > |\varOmega _p|$).
8. Conclusion
In this paper, we have provided an analytic expression of the zonal flow in a precessional cylinder at resonance. In this regime, the harmonic response is dominated by a single Kelvin mode of amplitude
$A$, azimuthal wavenumber
$m=1$ and axial wavenumber
$k$. We have identified five contributions to the zonal flow.
The first contribution, noted
$(\boldsymbol {u}_0)_{k}$, and given by (4.3), comes from the interaction of the Kelvin mode with the equatorial Coriolis force. The second contribution comes from the interaction of the Kelvin mode with the axial shear (i.e. the particular solution to the Poincaré forcing). Surprisingly, its expression is exactly opposite to
$(\boldsymbol {u}_0)_{k}$ whatever the Kelvin mode. As a consequence, these two first contributions, which are specific to the precessing cylinder, cancel each other.
The three other contributions come from the interaction of the Kelvin mode with itself. They are, therefore, not specific to the precessing cylinder and their expressions have been provided for any
$k$ and
$m$. The first one corresponds to the steady and axisymmetric term
$\boldsymbol {u}_{2k}$ of amplitude
$|A|^{2}$ and axial wavenumber
$2k$, which is forced by the nonlinear interaction of the inviscid Kelvin mode with itself. This inviscid (non-geostrophic) zonal flow exhibits a non-zero azimuthal velocity on the end walls. It must be complemented by a geostrophic flow
$(\boldsymbol {u}_0)_{2k}$ to satisfy the no-slip boundary condition. The sum of these two terms is given analytically in (4.13).
The second Kelvin mode source of zonal flow comes from the nonlinear interaction of the inviscid Kelvin mode with its viscous correction in the bulk. This weak forcing of order
$|A|^{2} { {Ek}}^{1/2}$ generates an axial flow of order
$|A|^{2} { {Ek}}^{1/2}$ with non-zero velocity at the end walls. Such a flow must thus be compensated by the Ekman pumping of a geostrophic flow,
$(\boldsymbol {u}_0)_{Ek}$, of order
$|A|^{2}$ given in (4.15).
Finally, the third Kelvin mode contribution to the zonal flow comes from the nonlinear self-interaction of the flow inside the end wall boundary layers. It generates a non-zero axial flow at the end walls, of order
$|A|^{2} { {Ek}}^{1/2}$, which again must be compensated by a geostrophic flow of order
$|A|^{2}$, given analytically in (4.19).
We have used these expressions to derive the coupled equations that describe the slow dynamics of the Kelvin mode amplitude and the geostrophic flow amplitude. These equations also provide the saturation amplitude of the Kelvin mode. The variation of the nonlinear coefficient coming from the interaction with the zonal flow has been analysed as a function of the cylinder aspect ratio for the first nine resonances.
The present results have been compared with the numerical simulations of Albrecht et al. (Reference Albrecht, Blackburn, Lopez, Manasseh and Meunier2021) and to the experimental measurements of Meunier et al. (Reference Meunier, Eloy, Lagrange and Nadal2008). A good agreement has been observed, especially when the viscous correction to the zonal flow was considered.
We have also computed the angular momentum of the zonal flow to assess whether it is prograde (positive angular momentum) or retrograde (negative angular momentum). This has allowed us to show numerically that the zonal flow is always retrograde for
$m=1$,
$2$, or
$3$, and presumably for larger
$m$.
The zonal flow has been calculated for any Kelvin mode. Our results can thus be applied to other azimuthal forcings, such as libration. This
$m=0$ forcing has been studied in a cylinder by Wang (Reference Wang1970), Noir et al. (Reference Noir, Calkins, Lasbleis, Cantwell and Aurnou2010), Busse (Reference Busse2010), Lopez & Marques (Reference Lopez and Marques2011) and Sauret et al. (Reference Sauret, Cébron, Le Bars and Le Dizès2012). Wang (Reference Wang1970) provided an expression for the zonal flow far from resonant conditions. The present work is expected to apply when a Kelvin mode is resonantly excited. If this mode is the dominant harmonic response, the three contributions that have been calculated here can be used to compute the zonal flow. Contrarily to precession, we have seen that the zonal flow generated by Kelvin modes with
$m=0$ is not necessarily retrograde. We have in particular shown that it becomes prograde for large aspect ratios.
Our results should also be useful to describe the dynamics of interacting Kelvin modes. Having a good description of the zonal flow they generate is indeed essential in predicting correctly the evolution of their amplitudes. It would, therefore, be interesting to revisit, in light of the present results, the weakly nonlinear analyses that have been published on the elliptic instability (Waleffe Reference Waleffe1989; Mason & Kerswell Reference Mason and Kerswell1999; Eloy, Le Gal & Le Dizès Reference Eloy, Le Gal and Le Dizès2003) and on other parametric instabilities in a cylinder (Kerswell Reference Kerswell1999; Racz & Scott Reference Racz and Scott2008; Lagrange et al. Reference Lagrange, Meunier, Nadal and Eloy2011, Reference Lagrange, Meunier and Eloy2016). Our calculation gives a way to estimate the geostrophic feedback. This would certainly help to gain insight into the transition between wave turbulence and geostrophic turbulence when the Ekman number is increased (Le Reun, Favier & Le Bars Reference Le Reun, Favier and Le Bars2019).
Our analysis has considered Kelvin modes in a cylinder but a similar approach can be developed in a sphere. Kelvin modes are well known in this geometry (Bryan Reference Bryan1889; Greenspan Reference Greenspan1968) and they can also be resonantly excited (Aldridge & Toomre Reference Aldridge and Toomre1969). The zonal flow that is generated by their interaction in the bulk and in the boundary layer can be calculated by the same method. It gives us hope to possibly predict the complex zonal flow that has been observed in this geometry when a Kelvin mode is resonantly excited (Morize et al. Reference Morize, Le Bars, Le Gal and Tilgner2010). Note, however, that for other geometries as the spherical shell, one would have to consider the presence of internal shear layers (Kerswell Reference Kerswell1995; Le Dizès & Le Bars Reference Le Dizès and Le Bars2017) and attractors (Rieutord & Valdettaro Reference Rieutord and Valdettaro1997, Reference Rieutord and Valdettaro2018) in the harmonic response to possibly describe the induced zonal flow (Tilgner Reference Tilgner2007; Favier et al. Reference Favier, Barker, Baruteau and Ogilvie2014; Le Dizès Reference Le Dizès2020; Lin & Noir Reference Lin and Noir2021).
Acknowledgements
We are grateful to H. Blackburn and T. Albrecht for providing their numerical results.
Funding
D. Gao thanks the Chinese Science Council for financing a two-year scholarship.
Declaration of interests
The authors report no conflict of interest.
Appendix A. Coefficients of nonlinear interactions
The functions needed to express the total velocity flow appearing in (4.16) are
with
and the radial functions
where
$u$,
$v$ and
$w$ are given in (2.4).
The scalars
$\kappa _i$ needed to compute
$\widetilde {{\textbf {v}}}_{BL}$ in (4.19) are given by (A2) and
The radial functions
$a_i$ and
$b_i$ are given by
and the radial functions
$c_i$,
$d_i$ by
where radial dependence is expressed through the functions
$u_i$,
$v_i$ and
$w_i$ given in (A3).
The forced flow in the lower boundary layer
$\tilde {\textbf {v}}_{BL}$ is expended in powers of
${ {Ek}}^{1/2}$ as
$\tilde {\textbf {v}}_{BL} = |A|^{2} \widetilde {{\textbf {v}}}_{BL} ^{(0)} + |A|^{2}{ {Ek}}^{1/2} \widetilde {{\textbf {v}}}_{BL} ^{(1)} + \cdots$. At leading order, the solution is
$$\begin{gather} \tilde{u}_{BL} ^{(0)} = \sum_{i=1}^{5} \left(\alpha_i + \check{\alpha}_i \tilde{z}\right) \text{e}^{-\kappa_i \tilde{z}} - \frac{\alpha_i + \text{i} \beta_i}{2} \text{e}^{-(1+\text{i})\tilde{z}} - \frac{\alpha_i - \text{i} \beta_i}{2} \text{e}^{-(1-\text{i})\tilde{z}}, \end{gather}$$
$$\begin{gather}\tilde{v}_{BL} ^{(0)} = \sum_{i=1}^{5} \left(\beta_i + \check{\beta}_i \tilde{z}\right) \text{e}^{-\kappa_i \tilde{z}} + \frac{\text{i} \alpha_i - \beta_i}{2} \text{e}^{-(1+\text{i})\tilde{z}} - \frac{\text{i} \alpha_i + \beta_i}{2} \text{e}^{-(1-\text{i})\tilde{z}}, \end{gather}$$
where the first term in the sum corresponds to the particular solution of the forced Navier–Stokes equations and the second and third terms are solutions of the homogeneous equations and ensure that
$\tilde {u}_{BL} ^{(0)}$ and
$\tilde {v}_{BL} ^{(0)}$ are zero in
$\tilde z = 0$ and
$\infty$. The functions
$\alpha _i$,
$\check {\alpha }_i$,
$\beta _i$ and
$\check {\beta }_i$ depend on
$r$ and are given by
At the next order, the incompressibility condition yields
\begin{equation} \tilde{w}_{BL} ^{(1)}(r,\tilde{z}) ={-}\frac{1}{r} \int{ \frac{\partial \left( r \tilde{u}_{BL} ^{(0)}\right)}{\partial r} \text{d} \tilde{z}}, \end{equation}which can be simply derived from (A7a).
Appendix B. Viscous effects on the geostrophic flow
In this Appendix, we compare
$(v_0)_{vol.}$, our viscous approximation for the geostrophic mode given in (6.3), with the solution
obtained by Wang (Reference Wang1970) using a boundary layer approach.
For this comparison, we use a simple geostrophic flow
$v_0(r) = r^{2}$. In figure 13(a), we plot both
$(v_0)_{vol.}$ and
$(v_0)_{\text {Wang}}$ for this geostrophic flow for different values of the Ekman number. Although some differences are visible when the Ekman number is moderately small (
${ {Ek}} \approx 10^{-4}$), these differences vanish when
${ {Ek}}$ is asymptotically small. In figures 13(b) and 13(c), we demonstrate that they are
$O({ {Ek}}^{1/2})$ in the bulk and
$O({ {Ek}}^{1/4})$ in the sidewall boundary layer, respectively. We indeed see that for small Ekman numbers
$((v_0)_{vol.}-(v_0)_{\text {Wang}})/{ {Ek}}^{1/2}$ becomes constant in the bulk, while
$((v_0)_{vol.}-(v_0)_{\text {Wang}})/{ {Ek}}^{1/4}$ converges close to the wall to a function of the boundary layer variable
$(r-1)/{ {Ek}}^{1/4}$ independent of
${ {Ek}}$.
Viscous effects on the geostrophic flow
$v_0=r^{2}$ for different Ekman numbers (as labelled). (a) We compare
$(v_0)_{vol.}$ (solid lines) and
$(v_0)_{\text {Wang}}$ (dotted lines) with the geostrophic flow
$v_0=r^{2}$, plotted as a black line. (b) Difference in the bulk:
$((v_0)_{vol.}-(v_0)_{\text {Wang}})/Ek^{1/2}$ versus
$r$. (c) Difference in the boundary layer:
$((v_0)_{vol.}-(v_0)_{\text {Wang}})/{ {Ek}}^{1/2}$ versus
$(r-1)/{ {Ek}}^{1/4}$.







































































































