1. Introduction
Avron, Seiler & Zograf (Reference Avron, Seiler and Zograf1995) showed that the viscosity tensor $\eta _{\alpha \beta \gamma \delta }$ of the Cauchy stress of a classical liquid,
can be decomposed into a symmetric part and an antisymmetric part, i.e. $\eta _{\alpha \beta \gamma \delta }=\eta ^S_{\alpha \beta \gamma \delta } + \eta ^A_{\alpha \beta \gamma \delta }$, where
Here, $V_{\gamma \delta } = ({\partial u_\gamma }/{\partial x_\delta } + {\partial u_\delta }/{\partial x_\gamma })/2$ is the rate-of-strain tensor, and $u_\alpha$ is the liquid velocity. The stress tensor (1.1) based on $\eta ^S$ is dissipative. It results in viscous heating (Landau & Lifshitz Reference Landau and Lifshitz1987, § 49) which is a positive-definite quadratic form $\text {tr}(\sigma V) = V_{\alpha \beta }\eta ^S_{\alpha \beta \gamma \delta }V_{\gamma \delta }>0$. Here, $\eta ^A$ does not contribute to viscous heating due to its antisymmetry between the first and second pairs of indices.
The non-dissipative stress $\eta ^A_{\alpha \beta \gamma \delta } V_{\gamma \delta }$ is called the odd viscous (or anomalous) stress tensor, and its accompanying coefficients are called odd or Hall viscosity coefficients. This type of behaviour can be induced, for instance, by a magnetic field, giving rise to an anisotropy axis along its direction. Avron et al. (Reference Avron, Seiler and Zograf1995) provided a clear physical interpretation of the odd stress tensor that carries over to classical systems. Compression or dilatation gives rise to shear, and vice versa. Thus it is easy to show, for instance, that a cylinder rotating about its axis in an odd viscous liquid gives rise to a stress $\sigma _{rr}^o = 2\eta _o\varOmega$ directed normal to the cylinder surface (Avron Reference Avron1998; Kirkinis Reference Kirkinis2023), where $\eta _o$ is the dynamic coefficient of odd viscosity, and $\varOmega$ is the constant angular velocity of the cylinder.
The ramifications of odd viscosity in classical mechanical systems have been investigated only in the recent literature. Noteworthy are experiments showing blobs of a liquid composed of micron-size spinning magnets whose surface undulations were attenuated by a shear-stress-induced odd normal stress. (The shear stress is generated by the collective rotation of the particles close to the free surface; cf. Soni et al. Reference Soni, Bililign, Magkiriadou, Sacanna, Bartolo, Shelley and Irvine2019.) In three dimensions, Khain et al. (Reference Khain, Scheibner, Fruchart and Vitelli2022) showed that odd viscous liquids, in the absence of inertia, give rise to unconventional fluid flow behaviour such as the stabilization of a sedimenting cloud of particles due to an odd-viscosity-induced azimuthal velocity field generated by the gravitational stretching of the cloud in the axial direction, in agreement with the physical interpretation of Avron et al. (Reference Avron, Seiler and Zograf1995). In two dimensions, such an odd-viscosity-induced azimuthal component can be seen in the radial expansion of a bubble (Ganeshan & Abanov Reference Ganeshan and Abanov2017). From a microscopic point of view, the mechanisms that may give rise to an odd viscosity coefficient include broken parity, broken time reversal and microscopic torques. The latter can be traced back to the literature of liquids endowed with rotational degrees of freedom (Dahler & Scriven Reference Dahler and Scriven1961), which have been employed in the continuum description of magnetic liquids (Rinaldi Reference Rinaldi2002; Kirkinis Reference Kirkinis2017). Other odd-viscosity-induced phenomena have been collected succinctly in the recent review by Fruchart, Scheibner & Vitelli (Reference Fruchart, Scheibner and Vitelli2023, figure 1).
The stabilizing behaviour induced by odd viscosity in Soni et al. (Reference Soni, Bililign, Magkiriadou, Sacanna, Bartolo, Shelley and Irvine2019), as well as in other works that have appeared in the recent literature (see e.g. Kirkinis & Andreev Reference Kirkinis and Andreev2019), implies that the odd viscous stress may endow its medium with an intrinsic restoring property. Since the odd viscous stress does not dissipate energy, an excitation given to the fluid may establish an oscillation. Such an oscillation may further initiate wave propagation and periodic expansion and contraction in a plane perpendicular to the propagation direction. This type of motion (in a non-odd viscous liquid) is called an inertial wave and is present in the ocean, driving its upper mixing (Asselin & Young Reference Asselin and Young2020), constituting half of its energy and being responsible for the majority of its vertical shear. Inertial waves also appear in the celestial sphere (Ogilvie Reference Ogilvie2013) and in the technology of propulsion (Gao et al. Reference Gao, Chew and Marxen2020). It has also been argued that inertial waves in the Earth's interior are associated with a dynamo dipole and with helicity segregation (Davidson Reference Davidson2014; Davidson & Ranjan Reference Davidson and Ranjan2018). Waves in odd viscous liquids have been investigated on a number of occasions. These include gravity waves (Abanov, Can & Ganeshan Reference Abanov, Can and Ganeshan2018) in incompressible liquids, shock waves (Banerjee et al. Reference Banerjee, Souslov, Abanov and Vitelli2017) and three-dimensional waves in active matter (Markovich & Lubensky Reference Markovich and Lubensky2021).
A three-dimensional odd viscous liquid may also give rise to Taylor columns. Taylor columns are known to form when bodies move slowly in (non-odd viscous) rapidly rotating liquids (Davidson Reference Davidson2013). For instance, a slowly moving body along the axis of a rigidly rotating liquid gives rise to a flow whose component along the axis of rotation can decouple from its lateral plane counterpart. (By lateral plane, we will mean the plane whose normal is the anisotropy axis.) Thus a Taylor column will form whose speed will be identical to the speed of the slowly moving body that it circumscribes. There are certain restrictive conditions that need to be satisfied in order for a Taylor column to form. These are the small Rossby and Ekman numbers as defined in (B1a,b), which thus require high angular velocity of rotation (and slow motions in the rotating frame) and low values of the shear viscosity coefficient. Taylor columns are present in a multitude of diverse areas: cold water and low salinity domes form over seamounts (e.g. the Rockall, Faroe and Hutton Banks) of high chlorophyll and nutrient levels, enabling larval diversity hotspots (Dransfeld, Dwane & Zuur Reference Dransfeld, Dwane and Zuur2009) by entrapping plankton (presumably by entraining matter through Stewartson layers). A turbulent ocean below the icy crust of Enceladus and Europa is likely to transfer energy through counter-rotating zonal jets inside a Taylor column (Bire et al. Reference Bire, Kang, Ramadhan, Campin and Marshall2022).
Taylor columns form in (non-odd viscous) rotating liquids because the Coriolis force is always perpendicular to the velocity field (the latter expressed in the frame of reference rotating with the liquid). Thus a radial motion of a fluid particle gives rise to a commensurate azimuthal component, and vice versa. This is reminiscent of the physical interpretation given by Avron et al. (Reference Avron, Seiler and Zograf1995) to odd viscosity, and thus leads to the possibility of observing Taylor columns in such a liquid. As is the case in their rigidly rotating counterparts, Taylor columns in (non-rotating) odd viscous liquids can be observed when certain restrictions are satisfied. These correspond to the smallness of the parameter $\mathcal {M}^{-1} = {a U}/{\nu _0}$, which requires a large coefficient of kinematic odd viscosity $\nu _o$ and slow motions. (Here, $U$ can be understood as the velocity of a body moving slowly in an odd viscous liquid, and $a$ is a characteristic length scale.) In addition, the effect of shear viscosity $\nu _e$ should be small, and so should be the Ekman number $\mathcal {T}^{-1} = {\nu _e}/{\nu _o}$; see (6.2a,b).
Questions may arise as to whether this type of behaviour in three-dimensional odd viscous liquids will ever be observed in a laboratory setting. Both odd viscosity coefficients (termed $\eta _o$ and $\eta _4$ here) were measured in a series of experiments of pressure-driven gas flow under a magnetic field by Beenaker and coworkers (Hulsman et al. Reference Hulsman, van Waasdijk, Burgmans, Knaap and Beenakker1970) (termed $\eta _4$ and $\eta _5$ in this reference, respectively). In these experiments, pressure-driven flow of one of the gases $\text {N}_2$, CO, $\text {CH}_4$ and HD, in a channel of rectangular cross-section, met two small holes located at opposite sides in the narrow sides of the channel and connected with a differential manometer. When a magnetic field was applied, a pressure gradient was generated along the line connecting the holes, transverse to the flow direction. The resulting pressure difference $p_A -p_B$ over the channel width was measured with the differential manometer, and the data were analysed with the same set of equations that we employ in the present paper. The physical mechanism of coupling between the magnetic field and the molecule magnetic moment is discussed in detail by Lifshitz & Pitaevskii (Reference Lifshitz and Pitaevskii1981, § 13). It is likewise expected that measurements of three-dimensional odd viscous coefficients will be undertaken in a liquid, although it is not clear at this moment in time what the nature of this liquid will be.
In figure 1, we demonstrate schematically the restoring property induced by odd viscosity on a two-dimensional liquid. In three dimensions, when odd viscosity dominates over its shear counterpart, the restoring behaviour can be established qualitatively by balancing the inertial terms in the Navier–Stokes equations with the odd viscous term (cf. Tritton (Reference Tritton1988, § 16.6) for the case of a rotating liquid). Let $v>0$ be the velocity of an isolated unit mass fluid particle in a plane perpendicular to the anisotropy axis (say, in the azimuthal direction). Balance between inertia and odd viscous terms leads to
giving $v = {\nu _o}/{r}$, where $\nu _o = \eta _o/\rho >0$ is the odd kinematic coefficient of viscosity. Thus the particle will move in circles of radius $r = {\nu _o}/{v }$. The period $T_o$ of this rotation depends on the distance from the axis of anisotropy, i.e. $T_o = {2{\rm \pi} r^2}/{\nu _o}$, and this shows that an odd viscous liquid is endowed with an intrinsic frequency
Although the above argument is only schematic, the derived expression for the frequency $\omega _o$ is recovered in the following quantitative analysis (see (3.17)), at least in the short wavelength limit. A more satisfying argument supporting the restoring effect of odd viscous liquids is relegated to the end of § 3.1.
In a three-dimensional odd viscous liquid, we observe waves whose motion resembles the inertial waves occurring in (non-odd viscous) rigidly rotating liquids. The anisotropy axis inherent in the odd stress plays the role of the rotating axis of a rigidly rotating liquid. When the inertial-like waves induced by odd viscosity are plane-polarized, there is a superposition of two oppositely directed waves; particle paths are helical, and this is reflected in the sign of the helicity density (vorticity times velocity) associated with each direction. When the propagation direction is at right angles to the odd anisotropy axis, the phase velocity vanishes and the system suffers a loss of reflection symmetry (Moffatt Reference Moffatt1970). Energy then propagates along the anisotropy axis at maximum group velocity and is accompanied by helicity of a commensurate sign. This effect is called ‘segregation of helicity’ in (non-odd viscous) rigidly rotating liquids (Davidson & Ranjan Reference Davidson and Ranjan2018) and is believed to be important in understanding the dipolar nature of planetary dynamos since in a planet, mean helicity is segregated spatially, having opposite signs at the northern and southern hemispheres, respectively.
In this paper, we will assume tacitly that such an axis of anisotropy has already been established, and proceed by examining the consequences of the resulting odd viscous stress to fluid motions. Here, we consider fluid motions in a three-dimensional odd viscous liquid. The paper proceeds in the following manner. In § 2, we describe the constitutive law for the odd viscous liquid that will give rise to the inertial-like waves (Lifshitz & Pitaevskii Reference Lifshitz and Pitaevskii1981, § 13). Section 3.1 establishes the existence of the inertial-like waves in an odd viscous liquid. These are waves that propagate along the axis of anisotropy and wrapped in coaxial cylinders where liquid does not cross. We determine theoretically the frequency and wavelength of propagated modes. We provide a more satisfying, yet still qualitative discussion of the ‘elasticity’ of an odd viscous liquid. In § 3.4, we solve numerically the full Navier–Stokes equations for the slow motion of a sphere inside an odd viscous liquid. Such motions generate liquid oscillations downstream the body. Their wavelength is in astonishing agreement with the theoretical value obtained from the inertial theory of § 3.1. In § 3.5, we establish the existence of inertial-like waves exterior to a cylinder and extending to infinity. In § 3.6, we derive the frequency, phase and group velocities of three-dimensional plane-polarized waves. These differ from their axisymmetric counterparts derived in § 3.1, which also vary in the propagation direction. They are also special as they segregate helicity, and this is discussed in § 4. In § 5, we derive a modified Taylor–Proudman theorem. This means that when odd viscosity dominates over shear viscosity and inertial terms, the motion in the lateral plane becomes decoupled to the motion of the fluid along the anisotropy axis. This opens up the prospect of existence of Taylor columns in odd viscous liquids, which we explore in § 6. Since the study of Taylor columns entails overwhelming details, in order to provide some structure in our discussion we follow the map set up by Maxworthy (Reference Maxworthy1970) for the slow motion of a particle. We thus solve numerically the Navier–Stokes equations, and find many similarities to Maxworthy's work: counter-rotating swirling motion above and below the sphere, a forward and a rearward ‘slug’, a stagnant region, indication of an Ekman layer surrounding the sphere, etc.
In § 8, we revisit the foregoing results by introducing another part of the odd stress tensor (the $\eta _4$ part of the stress in the notation followed by Lifshitz & Pitaevskii Reference Lifshitz and Pitaevskii1981, §§ 13 and 58). This provides a complete picture of odd viscous effects that may be present in a liquid. A consequence of including both viscosity coefficients is the more diverse behaviour displayed by the velocity field (it can now resemble Kelvin functions). Helicity is still conserved in such a composite liquid when its velocity field is determined by plane-polarized waves.
The problems that we discuss in this paper present many similarities to flows generated in a rotating liquid and described in a rotating frame of reference. Thus, throughout the paper, where appropriate, we establish connections to these effects. We conclude in Appendix B by outlining a few facts about rotating fluids that are of relevance to this paper (although this paper is not about rotating liquids).
2. Constitutive relations of a three-dimensional odd viscous liquid
In fluid mechanics, the constitutive law (the Cauchy stress tensor) of a Newtonian liquid is usually introduced following the phenomenological approach (cf. Batchelor Reference Batchelor1967, § 3.3) or more rigorously by employing the principle of objectivity (cf. Truesdell & Noll Reference Truesdell and Noll1992). It is, however, possible to also introduce the notion of stress through the Onsager principle of the symmetry of the kinetic coefficients (Lifshitz & Pitaevskii Reference Lifshitz and Pitaevskii1981, § 13). When these coefficients (here, the viscosity tensor $\eta _{\alpha \beta \gamma \delta }$ that we introduced in (1.1)) depend on external fields, say $\boldsymbol {B}$, in the direction $\boldsymbol {b} = \boldsymbol {B}/B$, that change sign under time reversal, the symmetry of the kinetic coefficients is ensured when
For an incompressible liquid, the stress tensor (1.1), subject to such a field, obtains the form
where $b_{\alpha \beta } = \epsilon _{\alpha \beta \gamma }b_\gamma$, $\eta _i,\zeta _i$ are viscosity coefficients, $V_{\gamma \delta } = ({\partial u_\gamma }/{\partial x_\delta } + {\partial u_\delta }/{\partial x_\gamma })/2$, and $\epsilon _{\alpha \beta \gamma }$ is the alternating tensor.
The physical system considered in this paper consists of an odd viscous liquid endowed with odd coefficients $\eta _3$ and $\eta _4$ in (2.2), and the field $\boldsymbol {b}$ lying in the $z$-direction, so $\boldsymbol {b} = \hat {\boldsymbol {z}}$.
The presentation becomes opaque when both coefficients are employed simultaneously. We thus consider each one in turn. Considering only $\eta _3 \neq 0$, we set $\eta = \eta _4=0$ and $\eta _2 =\eta _1 = -\zeta _1 =0$. The corresponding odd stress tensor in polar cylindrical coordinates reads (cf. figure 2)
by identifying $\eta _o\ (>0)$ with $-\eta _3$. In Khain et al. (Reference Khain, Scheibner, Fruchart and Vitelli2022), $\eta _o$ also appears as coefficient $-\eta _1^o$. Since the liquid is three-dimensional, there is a third velocity component $v_z$, related to $v_r$ and $v_\phi$ through the isochoric constraint
For the sake of clarity, in (2.3) we have chosen only one of the coefficients that appear in the stress (2.2) to characterize our odd viscous liquid. This is done so that the fluid flow behaviour associated with this coefficient becomes uncoupled to other types. It would be possible to also consider non-zero $\eta _4$ (corresponding to $\eta ^o_2$ in Khain et al. Reference Khain, Scheibner, Fruchart and Vitelli2022). We thus revisit the current problem in § 8 by considering the $\eta _4$ viscosity coefficient in (2.2) both individually and in conjunction with $\eta _o$.
3. Three-dimensional waves in an odd viscous liquid
3.1. Axisymmetric inertial-like waves
In this paper, we assume tacitly the existence of an axis of anisotropy in the $z$-direction, established by a secondary mechanism such as a magnetic field or rotation, to which, however, we make no reference. Consider an inviscid liquid endowed with odd viscosity as in (2.3), and an axially symmetric wave propagating along the axis of the magnetic field. Following Landau & Lifshitz (Reference Landau and Lifshitz1987, § 14), we consider cylindrical polar coordinates $r, \phi, z$ (cf. figure 2); the fields are independent of $\phi$, we neglect nonlinear terms (assuming small-amplitude motions), and the time and axial dependence are given by the factor $\exp [ {\rm i} (kz-\omega t)]$ where the frequency $\omega$ and wavenumber $k$ along the axis are both real. Employing the constitutive law (2.3), the linearized equations of motion (see Appendix A) become
where $p'$ is the variable part of the pressure in the wave, and $\rho$ is the liquid's constant density. The equation of continuity is
Because of (3.3) and continuity,
and the identity
we obtain
Thus, introducing the linear operator
the $r$ and $\phi$ momentum equations become
Expressing the velocities $v_r$ and $v_\phi$ in terms of Bessel or modified Bessel functions, $v_r = A\,{\rm J}_m(\kappa r)$, $v_\phi = B\,{\rm J}_m(\kappa r)$, or $v_r=A\,{\rm I}_m(\kappa r)$, $v_\phi =B\,{\rm I}_m(\kappa r)$, etc. (where $A$ and $B$ are constants, and $\kappa$ is an eigenvalue), we find that $m=1$. With the identity $\mathcal {L}\,{\rm J}_1(\kappa r) = - \kappa ^2\,{\rm J}_1(\kappa r)$, the system (3.9) and (3.10) has a solution when the determinant $\kappa ^4 k^2\nu _o^2 - \omega ^2(\kappa ^2 + k^2)$ of the coefficients of the resulting linear system
vanishes. Consider first the case where the origin is included in the domain. It is not difficult to show that the solution is the Bessel function ${\rm J}_1(\kappa r)$ for which $\kappa$ satisfies
Thus overall we found
The motion comprises regions between coaxial cylinders with radius $r_n$ such that
and $\gamma _n$ are the zeros of ${\rm J}_1(x)$. Both $v_r$ and $v_\phi$ vanish at these coaxial cylinders, and the fluid does not cross them. The allowed values of the frequency $\omega$ in (3.12) are not restricted in any way in the infinite medium under consideration. (In contrast, in the rotating fluid case where $\kappa = k\sqrt {{4\varOmega ^2}/{\omega ^2} -1}$, the angular velocity $\varOmega$ of the liquid is required to satisfy the bound $\omega <2\varOmega$, for the solution to be finite.) In defining (3.12), we have assumed tacitly that the solutions that we pursue are finite in the radial direction $r$ and have thus discarded $\kappa$ terms associated with (exponentially increasing/decreasing) modified Bessel function solutions. The $\kappa$ terms in our discussion are always real (which can be justified by choosing large $\omega$, for instance).
Employing the radial and azimuthal momentum equations (3.1) and (3.2), we can now give a more satisfying explanation of the ‘elasticity’ of an odd viscous liquid and its tendency to restore a fluid particle back to its original position. Following Davidson (Reference Davidson2013, § 1.1) and Yih (Reference Yih1988, § 5), consider a circular ring of fluid in an odd viscous liquid with zero shear viscosity, located wholly on the $x$–$y$ plane. By some perturbation, the ring starts moving outwards with velocity $v_r>0$, and thus expands, so that $\partial _r v_r + ({1}/{r})v_r + ({1}/{r})\,\partial _\phi v_\phi >0$, where the last expression is the divergence of the velocity field in two dimensions. Rewrite (3.9)–(3.10) as
where $F_r \equiv - \nu _o\mathcal {L} v_\phi = \nu _o \kappa ^2 v_\phi$ and $F_\phi \equiv \nu _o\mathcal {L} v_r = -\nu _o\kappa ^2 v_r$. Since $v_r>0$, the second equation of (3.15) implies that there will be an azimuthal force $F_\phi = -\kappa ^2 \nu _o v_r<0$, an acceleration of the liquid in the $-\hat {\boldsymbol {\phi }}$ direction, and a commensurate negative velocity $v_\phi$, where we employed the eigenvalue $-\kappa ^2$ of the linear operator $\mathcal {L}$ in (3.8). This velocity will give rise to a radial force $F_r = - \kappa ^2 \nu _o\,|v_\phi |$ in the first equation of (3.15). This force endows the ring with an acceleration that points towards the origin, that is, towards the original location of the fluid ring, so it tries to reverse its expansion (the pressure contributes the $-{\rm i}\omega ({\kappa ^2}/{k^2})$ term in (3.15)). As the ring passes through its original position due to inertia and contracts, $\partial _r v_r + ({1}/{r})v_r + ({1}/{r})\,\partial _\phi v_\phi <0$, there will be a new azimuthal velocity component with sign opposite to the above one, that will lead to an eventual expansion towards equilibrium.
3.2. Axial inertial-like waves interior to a cylinder
We consider the liquid confined within a solid cylindrical surface located, say, at $r=a$, that would be realistic in a laboratory setting. This boundary will be a streamline located at an integral number of cells in the radial direction. If by $\gamma _n$ we denote the $n$th zero of the Bessel function ${\rm J}_1$, then (3.12) with the condition $\kappa a= \gamma _n$ leads to the constraint
and $n$ denotes the number of cells in the radial direction (cf. figure 3). From (3.16), we derive the dispersion relation
where $n$ denotes the number of cells in the radial direction. (For clarity, we have suppressed the symbol $\pm$ in (3.17), and consider only the positive sign.) It is clear that in the limit $ka\gg \gamma _n$, the frequency in (3.17) becomes $\omega \sim {\nu _o}/{a^2}$, which recovers the qualitative frequency (1.4) that we obtained in the Introduction.
In figure 3, we plot the streamlines interior to a cylinder of radius $b$ with the instantaneous streamfunction
for $k=1$ and $\kappa = 2$ for comparison with figure 7.6.4 of Batchelor (Reference Batchelor1967, p. 561), which employs the same form for the streamfunction with the first zero $3.83$ of the Bessel function to modulate the amplitude in the denominator of (3.18a–c). The horizontal lines are locations where $v_r=0$ (zeros of the Bessel function).
There is important information to be surmised from the phase and group velocities
that we derive from (3.17) (we have suppressed the symbol $\pm$ and employed only the positive sign in (3.17)). Since
the energy of a disturbance caused by a slowly moving body along the axis of the cylinder, with velocity $c_p$, cannot advance upstream relative to the body. Waves will be formed in the downstream direction. We reach the analogous conclusion if we employ the negative sign in (3.17). This situation is thus similar to the rotating liquid case, where the energy cannot propagate upstream and thus waves are formed only downstream, as described in many experiments, e.g. those of Long (Reference Long1953). We verify these claims in § 3.4 by combining numerical simulations of the Navier–Stokes equations with the theoretical predictions of the present subsection. (Note how the expression for $\omega$ in (3.17) contrasts with the inviscid liquid rotating at angular velocity $\varOmega$, where $\omega = 2\varOmega k/\sqrt {k^2 + ({\gamma _n}/{a})^2}$.)
3.3. Allowed wavenumbers
When the number of cells in the radial direction is $n$, from (3.16) allowed wavenumbers supporting propagation with phase velocity $c_p=\omega /k$, and for which the boundary at $r=a$ is a streamline, satisfy
Wave propagation is thus possible when
where $n$ denotes the number of cells in the radial direction. Thus although (3.12) does not introduce a restriction on frequencies for the propagation of waves, (3.21) does: defining a Maxworthy number $\mathcal {M}_a$ based on the phase velocity $c_p$ and cylinder radius $a$ (cf. (6.2a,b) for the definition of the dimensionless number $\mathcal {M}$),
inertial motions with $n$ cylinders ($n$th zero of ${\rm J}_1$) are possible only when
3.4. Numerical determination of odd viscous inertial oscillations inside a cylinder of radius $a$
By the inequality (3.20), we argued that, based on the inertial-like waves construction of §§ 3.1–3.3, the energy of a disturbance caused by a slowly moving body along the axis of the cylinder, with velocity $c_p$, cannot advance upstream relative to the body. Waves will be formed in the downstream direction.
To verify this claim, we perform numerical simulations of the full Navier–Stokes equations of a slowly moving body with velocity $U=0.05\,{\rm cm}\,{\rm s}^{-1}$ in a cylinder of base radius $a = 25$ cm filled with an odd viscous liquid of dynamic coefficient $\eta _o = 0.7\,{\rm g}\,({\rm cm}\,{\rm s})^{-1}$, shear viscosity $\eta = 0.01\,{\rm g}\,({\rm cm}\,{\rm s})^{-1}$ and density $\rho = 1.1\,{\rm g}\,\text {cm}^{-3}$. Figure 4(b) displays the streamlines in the $r\unicode{x2013}z$ plane of the liquid downstream of the moving body, which show wave-like behaviour. To determine the wavelength, the colour bar shows the strength of the radial liquid velocity $v_r$ whose direction changes sign as we move down. From the plot, we can determine visually that the wavelength $\lambda$ is approximately $25$ cm. We compare this estimate to the theoretical prediction of §§ 3.1–3.3: from (3.21), we find that
where $\gamma _1 = 3.8317$ is the first root of the Bessel function ${\rm J}_1$. Figure 4(a) displays the same system as in figure 4(b) but with $\eta_o =0$. No radial disturbance is visible in this case. Figure 4 was produced with the finite-element package comsol by solving the full Navier–Stokes equations in a three-dimensional axisymmetric domain. The flow Reynolds number, based on cylinder radius $a=25$ cm, is 125.
This situation is thus analogous to the rotating liquid case where the energy cannot propagate upstream and thus waves are formed only downstream, as described by the experiments of Long (Reference Long1953); cf. Batchelor (Reference Batchelor1967, pp. 564–566 and plate 24).
3.5. Axial inertial-like waves exterior to a cylinder
The above discussion can also be employed to establish wave propagation when the odd viscous liquid occupies the region $r>a$, exterior to a solid cylinder located at $r=a$. Now, the solution is of the form of a Bessel function of the second kind in the radial coordinate,
and the results of the previous subsections hold with the replacement
where $\alpha _n$ is the $n$th zero of ${\rm Y}_1(x)$. In figure 5, we plot the streamlines exterior to a cylinder of radius $b$ with the instantaneous streamfunction
for $k=1$ and $\kappa = 2$ for comparison with figure 7.6.4 of Batchelor (Reference Batchelor1967, p. 561).
3.6. Plane-polarized waves induced by odd viscosity
The axisymmetric inertial-like waves that we discussed earlier propagate along the $z$ axis (the axis of anisotropy) and are three-dimensional in the sense that the wave amplitude varies along both the propagation direction and normal to it. In this subsection, we will consider different types of inertial-like waves that propagate along an arbitrary direction $\unicode{x1D4C0}$ and are polarized in the plane perpendicular to the propagation axis. This subsection follows the notation of Landau & Lifshitz (Reference Landau and Lifshitz1987, § 14). The odd-viscous Navier–Stokes equations
where $\nabla ^2_2 = \partial _x^2 + \partial _y^2$ and ${\rm D}/{\rm D}t$ is the convective derivative, become, after taking the curl of both sides,
Linearizing,
we seek plane-wave solutions of the form
where $\boldsymbol {A}$ is normal to $\boldsymbol {k}$ from the incompressibility condition.
Substituting the plane-wave solution into (3.31), we obtain
Taking the cross-product of both sides of (3.33) with $\boldsymbol {k}$, we obtain
System (3.33)–(3.34) has a solution when the determinant of the coefficients vanishes. Solving for $\omega$, we obtain
where $k = \sqrt {k_x^2 + k_y^2 + k_z^2}$, and the latter equation implies that $\theta$ is the angle between $\boldsymbol {k}$ and the anisotropy axis (cf. figure 6). In figure 7, we plot the dispersion $\omega$ (see (3.35)) versus angle $\theta$ between the wavevector $\boldsymbol {k}$ and the $z$ (anisotropy) axis. It differs qualitatively from the corresponding relation
of a (non-odd viscous) inviscid fluid rotating with angular velocity $\varOmega$; cf. Greenspan (Reference Greenspan1968). Comparing (3.35) with (3.36), when the coefficients $\nu _o$ and $\varOmega$ are kept constant, it becomes evident that the dispersion relation (3.35) obtained due to the specific form of the constitutive law (2.3) that we adopted for an odd viscous liquid becomes prominent for large in-plane wavenumbers and small corresponding wavelengths.
Following Landau & Lifshitz (Reference Landau and Lifshitz1987), we introduce the unit vector $\hat {\boldsymbol {k}} = {\boldsymbol {k}}/{k}$ in the direction of the wavevector, and the complex amplitude $\boldsymbol {A} = \boldsymbol {a} +{\rm i} \boldsymbol {b}$, where $\boldsymbol {a}$ and $\boldsymbol {b}$ are real vectors. Considering (3.33) and the dispersion relation (3.35), we obtain $\hat {\boldsymbol {k}} \times \boldsymbol {b} = \boldsymbol {a}$, that is, the two vectors $\boldsymbol {a}$ and $\boldsymbol {b}$ are perpendicular to each other, are of the same magnitude, and lie in the plane whose normal is $\boldsymbol {k}$. Thus the velocity field is polarized circularly in the plane defined by $\boldsymbol {a}$ and $\boldsymbol {b}$, and is of the form
Employing the negative sign of the dispersion relation (3.35), the above analysis leads to the same velocity field (3.37) but with the sense of the vectors $\boldsymbol {a}$ and $\boldsymbol {b}$ reversed: $\hat {\boldsymbol {k}} \times \boldsymbol {b} = -\boldsymbol {a}$. This will become important in § 4, where the helicity associated with wave propagation will be determined.
It is of interest to calculate the direction of propagation of energy. We obtain
or, taking the $z$ axis to be the axis of anisotropy,
The group velocity $\boldsymbol {c}_g = {\partial \omega }/{\partial \boldsymbol {k}}$ in vector form can be written as
which can be compared with its rigidly rotating (non-odd viscous) counterpart ${\partial \omega }/{\partial \boldsymbol {k}} = ({2\varOmega }/{k})[\hat {\boldsymbol {z}} - \hat {\boldsymbol {k}}(\hat {\boldsymbol {z}}\boldsymbol {\cdot } \hat {\boldsymbol {k}}) ]$, where the group velocity is perpendicular to the phase velocity $\boldsymbol {c}_p = ({\omega }/{k}) \hat {\boldsymbol {k}}$ (see table 1). Here, the group velocity is not perpendicular to the phase velocity. A calculation gives $\boldsymbol {c}_g \boldsymbol {\cdot } \boldsymbol {c}_p = 2|\boldsymbol {c}_p|^2 = 2\nu _o^2k^2\cos ^2\theta \sin ^4\theta$. Thus, in contrast to the case of inertial waves in a rotating fluid where the energy propagates perpendicularly to the wavevector, here the energy propagation direction has a component along the $\hat {\boldsymbol {k}}$ axis. The modulus of the group velocity is
In figure 8, we plot the group velocity components (3.39a,b) and its magnitude (3.41) versus angle $\theta$ between the wavevector $\boldsymbol {k}$ and the $z$ (anisotropy) axis (setting $k=\nu _o = 1$).
In addition to the information in table 1, the frequency is maximum at $\theta =\cos ^{-1}({\sqrt {3}}/{3}) \sim 0.3{\rm \pi}$, acquiring the value $\omega = \pm \nu _ok^2({2\sqrt {3}}/{9})$. The group velocity becomes $({4k\nu _o}/{9})(\sqrt {2} \cos \phi, \sqrt {2} \sin \phi, 1)$, and its modulus is $c_g = 4k\nu _o \sqrt {3}/9$. In addition, the group velocity has a local maximum at $\theta =\cos ^{-1}({\sqrt {15}}/{5}) \sim 0.22{\rm \pi}$. The frequency is $\omega = \pm \nu _ok^2({2\sqrt {15}}/{25})$, and the group velocity becomes $({4k\nu _o}/{25})(2\sqrt {6} \cos \phi, 2\sqrt {6} \sin \phi, 1)$, with modulus $c_g = 4k\nu _o / 5$. Comparison can be made of (3.41) with plane-polarized waves rotating rigidly (Landau & Lifshitz Reference Landau and Lifshitz1987, § 14), where $|{\partial \omega }/{\partial \boldsymbol {k}} |= (2\varOmega /k) \sin \theta$.
4. Conservation of helicity of inertial-like waves in an odd viscous liquid
Helicity
was shown by Moffatt (Reference Moffatt1969) to be an invariant of inviscid fluid motion when $\hat {\boldsymbol {n}} \boldsymbol {\cdot } \text {curl}\,\boldsymbol {v}$ vanishes on any closed orientable surface moving with the liquid. Here, we show that, analogously to the rigidly rotating case, the vorticity of an odd viscous liquid is proportional to the velocity field. For plane-polarized inertial-like waves, this implies that helicity is conserved. Since a number of effects appearing in the literature, such as the emission of inertial waves in a turbulent flow (Davidson Reference Davidson2013, figure 3.3(b)), are related to helicity and its sign, we include some discussion below on the presence of helicity in odd-viscosity-induced inertial-like waves.
4.1. Conservation of helicity in plane-polarized waves of an odd viscous liquid
From the plane-polarized velocity field (3.37), we obtain $\text {curl}\,\boldsymbol {v} =-\boldsymbol {k}\times \boldsymbol {b} \cos (\boldsymbol {k}\boldsymbol {\cdot } \boldsymbol {r} - \omega t)$$-\boldsymbol {k}\times \boldsymbol {a} \sin (\boldsymbol {k}\boldsymbol {\cdot } \boldsymbol {r} - \omega t)$. The relation $\hat {\boldsymbol {k}} \times \boldsymbol {b} = \pm \boldsymbol {a}$ (where the $\pm$ symbol corresponds to the sign of the dispersion relation (3.35)) leads to $\text {curl}\,\boldsymbol {v} = \mp k\boldsymbol {v}$, thus
where $|\boldsymbol {v}|^2=|\boldsymbol {a}|^2 + |\boldsymbol {b}|^2$ is the constant magnitude of the velocity in (3.37), $V$ is the volume of the region under consideration, and $k = \sqrt {k_x^2 + k_y^2 + k_z^2}$. The negative sign in (4.2a,b) (corresponding to the positive sign in the dispersion relation (3.35)) is associated with particle paths following left-handed helices, and the positive sign is associated with right-handed helices. Energy propagates along a cone whose normal is the vector $\hat {\boldsymbol {k}}$ (cf. Davidson (Reference Davidson2013) for the case of a rigidly rotating liquid).
Inertial-like waves give rise to maximal helicity. This can be seen by substituting (4.2a,b) into the the Cauchy–Schwarz inequality $\mathcal {H}^2\leq \mathcal {E}\mathcal {W}$ expressed in terms of the helicity (4.1) and the energy and enstrophy integrals (Moffatt Reference Moffatt1969)
As shown by Moffatt (Reference Moffatt1970) for the case of rigidly rotating liquids, inertial waves exhibit a loss of reflection symmetry when the energy propagates parallel to the rotation axis (and the phase velocity is perpendicular to this axis). Davidson (Reference Davidson2013) associates each direction of propagation of energy with one of the signs of helicity in (4.2a,b): negative sign of helicity for energy propagating in the $+\hat {\boldsymbol {z}}$ direction, and positive sign of helicity for energy propagating in the $-\hat {\boldsymbol {z}}$ direction. This is called the ‘segregation of helicity’ and has found applications in problems of magnetohydrodynamics (Davidson Reference Davidson2013; Davidson & Ranjan Reference Davidson and Ranjan2018). The waves that correspond to this type of behaviour have low frequencies (the frequency $\omega$ in (3.35) is nearly zero). The consequence of this behaviour in an odd viscous liquid can be seen more easily by going back to the original equation of motion (3.29). Linearizing, and taking the limit $\omega \rightarrow 0$, amounts to dropping the time derivative. Then the equation of motion becomes (5.1a–c) of the next section, which makes the dynamics effectively two-dimensional (perpendicular to the anisotropy axis), leads to the Taylor–Proudman theorem, and gives rise to Taylor columns.
4.2. Helicity in axisymmetric inertial-like waves of an odd viscous liquid
It turns out that vorticity is also parallel to the velocity field for the inertial-like waves of § 3.1. This can be shown directly by taking the curl of the velocity field (3.13a–c) and solving in expression (3.12) for the frequency $\omega = {\nu _o k\kappa ^2}/{\sqrt {k^2 + \kappa ^2}}$. (In contrast to the previous section, $k$ here denotes the wavenumber $k_z$ along the axis; cf. § 3.1.) Alternatively, setting $A = a\,{\rm e}^{{\rm i}\theta }$ for real amplitude $a$ and phase $\theta$, we obtain
and $v_z = -({\kappa }/{k})a\,{\rm J}_0(\kappa r)\sin (kz-\omega t+\theta )$. In either case, the final result is
When the liquid is contained in a solid cylinder of radius $b$, $\omega$ is replaced by (3.17) and $\kappa$ by $\gamma _n/b$, where $\gamma _n$ is the $n$th zero of ${\rm J}_1(x)$.
5. Modified Taylor–Proudman theorem
For simplicity, we consider Cartesian coordinates. The ‘geostrophic’ form (i.e. Navier–Stokes with odd viscosity, without inertia and without shear viscosity) of the equations is
where $\nabla ^2_2 = \partial _x^2 + \partial _y^2$. This reduction is possible by invoking the requirement $u \ll \nu _o /\ell$, where $u$ and $\ell$ are characteristic velocity and length scales, respectively. This inequality can be derived by balancing the inertial terms $\boldsymbol {v}\boldsymbol {\cdot } \boldsymbol {\nabla } \boldsymbol {v} \sim u^2/\ell$ with the odd viscous term $\nu _o\,\nabla _2^2 u\sim \nu _o u/\ell ^2$, and requiring that latter is dominant, or in other words,
where the latter inequality implies subdominance of shear viscosity with respect to odd viscosity. These two inequalities lead us to define new dimensionless Taylor $\mathcal {T}$ and Maxworthy $\mathcal {M}$ parameters that will be discussed in the next section (see (6.2a,b)).
Differentiating (5.1a,b) with respect to z and considering (5.1c), we obtain
Eliminating the pressure by cross-differentiation of (5.1a,b), we obtain
Thus, from continuity we also obtain
Defining
(the length scale is determined, for instance from the size of the vessel), we derive the Taylor–Proudman theorem for the velocity field $(U,V,W)$, that is,
and this can be considered as a liquid in a frame rotating with angular velocity $\varOmega = \nu _o\ell ^{-2}$. Thus when the odd viscosity terms are larger than inertia, there is a superposition of a two-dimensional motion in the lateral $x\unicode{x2013}y$ plane and a vertical motion, independent of $z$.
Some familiar behaviour at a boundary can also be recovered. Because of the no-penetration condition $w=0$ on a solid boundary, we have $W = 0$ on the same boundary ($(\partial _x^2 + \partial _y^2)w$ must be zero on the boundary). Thus when a streamline parallel to the axis meets a stationary boundary, this implies that $W$ is zero everywhere.
For axisymmetric systems, a further simplification takes place. Letting $V_r= \mathcal {L} v_r$ and $V_\phi = \mathcal {L} v_\phi$, where $\mathcal {L}$ was defined in (3.8), (5.1a–c) become
Thus $V_r$ is zero everywhere, and the flow proceeds in spirals. With $V_z= \mathcal {L} v_z$, the continuity equation becomes $\partial _r V_r + \partial _z V_z =0$. Thus $\partial _zV_z=0$ everywhere, giving rise to the Taylor–Proudman theorem.
6. Taylor columns in an odd viscous liquid
The Navier–Stokes equations (5.1a–c) written in the form
by employing the definitions of $U$, $V$ and $W$ in (5.6), are suggestive of the existence of Taylor columns in an odd viscous liquid. By this we mean that when an axisymmetric body moves slowly in an odd viscous liquid, a column or a ‘slug’ will be pushed ahead of the body with zero axial velocity relative to the body. In the inviscid limit implied by (6.1a–c) (meaning that the shear viscosity is zero), the column is a cylinder, but it will be modified by the presence of shear viscosity. A rear slug will also be present. In general, the motion of the liquid in the slug cannot be determined from the simple equations (6.1a–c). In reality, a number of boundary layers exist that act as a conduit that transports liquid between different locations.
The determination of the flow structure is not only difficult but also changes dramatically when one alters the parameters and the geometry. Taylor columns were studied in the past in the context of slowly moving bodies immersed in a liquid rotating rigidly; see, for instance, the comprehensive articles Moore & Saffman (Reference Moore and Saffman1968), Maxworthy (Reference Maxworthy1970), Bush, Stone & Tanzosh (Reference Bush, Stone and Tanzosh1995) and Tanzosh & Stone (Reference Tanzosh and Stone1994), and references therein.
We can define some useful dimensionless parameters for the odd-viscosity-dominated problems, such as the Taylor $\mathcal {T}$ and Maxworthy $\mathcal {M}$ numbers (Maxworthy (Reference Maxworthy1970) employed the notation $N$ to denote the rotating counterpart of the latter):
To understand how (6.1a–c) arise, we introduce dimensionless variables
and the dimensionless form of the Navier–Stokes equations that includes shear viscosity, scaled by the velocity $U$ and size $a$ of a slowly moving body, becomes
where the gradient operators refer to the dimensionless variables (6.3a–d). In the limit of Taylor and Maxworthy numbers $\mathcal {T}, \mathcal {M}\gg 1$, as defined in (6.2a,b), one obtains (6.1a–c).
The Taylor number can be understood as an inverse Ekman number denoting the strength of odd to even viscosity (angular velocity to even viscosity in the rotating fluid case), and the Maxworthy number is the ratio of odd viscous force to inertial forces or the odd-viscosity-induced inertial wave propagation velocity to convection velocity.
We can compare the Maxworthy number $\mathcal {M}$ in (6.2a,b) for an odd viscous liquid to the inverse Rossby number ${Ro}^{-1} = {\varOmega a}/{U}$ in (B1a,b) when the parameters $\nu _o$ and $\varOmega$ are held constant. It is clear that Taylor columns in an odd viscous liquid are favoured at small (in-plane) length scales, while Taylor columns are favoured at large length scales in rigidly rotating liquids. This is clear due to the fact that odd viscosity multiplies second-order spatial derivatives. Even if its value is small and unimportant in general, observable effects will be present close to boundaries, such as sharp boundary layers. Thus one should consider odd viscous effects (described by the specific constitutive law (2.3)) under the restrictions posed by this discussion, which might limit the applicability of the odd viscous liquids in comparison to their (non-odd viscous) rotating counterparts.
The pressure $p$ is a streamfunction and thus constant on a streamline of the flow $(U,V,W)$. A finite-length cylinder with generators parallel to the rotating axis and moving horizontally in a rotating liquid will have a liquid velocity parallel to its generators, and a column will accompany its motion (Yih Reference Yih1988, § 12.2). Likewise, a solid body translating slowly along the axis of the cylinder will be accompanied by a column of fluid with generators parallel to the axis.
Figures 9 and 10 display the salient features of Taylor columns in odd viscous liquids. Liquid flow entering from the top of a cylinder encounters an immobile sphere located at the central axis. The two ‘slugs’ located above and below the sphere in figures 9(b) and 10 are characterized by the sharp blue colour. There is a swirling flow that takes place above and below the sphere with opposite sense of rotation (figure 9a). This is discussed further below.
The exact form of a flow associated with Taylor columns induced by a solid body is a complicated problem depending on parameter regimes (Ekman, Reynolds and Rossby numbers) as well as the geometry (finite or infinite cylinder) of the body and ultimately its constitution (whether it is a solid or a liquid). Here, we will not pause to carry out a detailed enumeration of special cases arising in the various parameter regimes, geometries and materials; we will only point out certain qualitative similarities that exist between an odd viscous liquid and a rigidly rotating flow.
Figure 11 displays azimuthal and axial velocities of the liquid flowing in the cylinder of figures 9 and 10. Probes located at different elevations of the cylinder measure velocities as they vary in radial direction, from the cylinder central axis to its external surface, with a view to comparing our results to the experiments of Maxworthy (Reference Maxworthy1970). In these numerical simulations, the Taylor and Maxworthy numbers are $\mathcal {T} = 50$ and $\mathcal {M} = 26$, respectively.
We find a velocity defect region (at $z=70$ cm; cf. region I in the experiments of Maxworthy Reference Maxworthy1970), that is, the region where the velocity is less than that of the free stream. This is surrounded by the region $5< r<15$, which has a velocity in excess of that of the free stream (region V in the experiments of Maxworthy Reference Maxworthy1970). The flow at $z=30$ cm is narrower and has larger axial velocity than its mirror counterpart (at $z=70$ cm). Its angular velocity seems to be of the same magnitude compared with its mirror image (and this differs from the flow character in region VII of Maxworthy Reference Maxworthy1970).
The probe at $z=55$ cm has a zero axial velocity close to the axis as this is determined by the Taylor–Proudman theorem, that the axial velocity of the slug is the same as the velocity of the body. The swirl, however, is non-zero and is actually quite large. This is region II in the experiments of Maxworthy (Reference Maxworthy1970). An Ekman layer induces a slow axial velocity where the surface of the sphere meets the anisotropy axis (close to the $z=45$ cm probe, and near $r=0$). A sharp Ekman boundary layer is seen to form at $z=50$ cm, $r\sim 4$ cm.
We have not observed an oscillatory region downstream of the sphere (region III of Maxworthy Reference Maxworthy1970), and we have not determined whether a region of clear fluid exists downstream and adjacent to the anisotropy axis.
Figures 9(a) and 11(a) show the counter-rotating character of the flow above and below the sphere, similar to figure 1 of Moore & Saffman (Reference Moore and Saffman1968). The above discussion displays an indirect verification for the validity of the Taylor–Proudman theorem in the case of odd viscous flow with a velocity field $(v_r,v_\phi,v_z)$, where $v_z$ has the velocity of the body ($v_z=0$), $v_r$ is virtually zero, and the flow outside the column is independent of $z$.
7. Vortex stretching and vortex twisting in a three-dimensional odd viscous liquid
The constitutive law (2.3) can be written in Cartesian coordinates in the form
It is possible to define a modified pressure $\tilde {p} = p + \eta _o \zeta$, where $\zeta = \partial _x v - \partial _y u$ here is the component of vorticity in the $z$-direction. Then the odd Navier–Stokes equations are
What these equations show is that vortex stretching $\partial _z w$ will be important on a region in the $x\unicode{x2013}y$ plane with vorticity $\zeta$. To show this, let $\text {curl}\,\boldsymbol {v} = (\xi, \eta, \zeta )$ be the components of vorticity in Cartesian coordinates, and consider a fluid particle whose vorticity points in the $z$-direction instantaneously (we perform this to simplify the nonlinear term $\text {curl}\,\boldsymbol {v} \boldsymbol {\cdot } \boldsymbol {\nabla } \boldsymbol {v}$ that arises in the vorticity equation (3.30)). Taking the curl of (7.2a–c), or considering directly the vorticity equation (3.30), we obtain
Thus the well-known vortex twisting, represented by the quantities $\partial _zu$ and $\partial _zv$ (cf. Tritton Reference Tritton1988, § 6.6), is now enhanced by the extra term $\eta _o (k_x^2 + k_y^2)$ appearing in the round brackets in (7.3a–c), induced by odd viscosity. Likewise, vortex stretching, represented by the quantity $\partial _z w$, is also enhanced by odd viscosity.
Of course, for a two-dimensional incompressible odd viscous liquid where the velocity does not depend on $z$, we have
as is also known from the ‘absorption’ of the odd viscous force density into the pressure gradient see e.g. Ganeshan & Abanov Reference Ganeshan and Abanov2017), thus the vorticity of a fluid particle in a two-dimensional odd viscous liquid is conserved.
8. The effect of both $\eta _o$ and $\eta _4$ odd coefficients on fluid flow
Referring to the stress tensor (2.2), in this paper we assumed tacitly that only the coefficient $\eta _3$ was non-vanishing, which led the odd stress tensor to acquire the form (7.1) in Cartesian coordinates. The coefficient $\eta _4$ in (2.2) gives rise, however, to an additional odd stress tensor. In this section, we discuss the consequences of the latter, in the context of the effects developed in this paper.
As in § 2, we consider the field $\boldsymbol {b}$ to lie in the $z$-direction. Then the odd stress tensor acquires the additional components
where we adopted the opposite sign to Lifshitz & Pitaevskii (Reference Lifshitz and Pitaevskii1981, equation (58.16)). We proceed below to examine the form of inertial-like waves in an odd viscous liquid whose constitutive law is the combination of (7.1) and (8.1).
8.1. Plane-polarized waves
We define the linear operator
where $\nu _4 = \eta _4/\rho$, and $\nabla ^2_2 = \partial _x^2 + \partial _y^2$. To obtain an understanding of the effect of odd viscosity parameters on the type of solutions, we classify the operator $\mathcal {S}$ in (8.2) as follows (assume here that $\nu _4>0$):
(i) $\mathcal {S}$ is elliptic when $\nu _o>\nu _4$;
(ii) $\mathcal {S}$ is hyperbolic when $\nu _o<\nu _4$;
(iii) $\mathcal {S}$ is parabolic when $\nu _o=\nu _4$.
Here, we have assumed that $z$ plays the role of the time-like variable. This is the standard route followed in rigidly rotating liquids; see Whitham (Reference Whitham1974, § 12.6). With the notation $\zeta = \partial _x v - \partial _y u$ for the component of vorticity in the $z$-direction, and a modified pressure $\tilde {p} = p + \eta _4 \zeta$, the Navier–Stokes equations (3.29) are replaced by
and the vorticity equation (3.31) by
With $\boldsymbol {v} = \boldsymbol {A} \exp ({{\rm i}(\boldsymbol {k}\boldsymbol {\cdot } \boldsymbol {r} - \omega t)})$, the vorticity equation (8.4) becomes a system of three equations for the three unknown components of the amplitude $\boldsymbol {A}$. This system has a non-trivial solution when the determinant of the matrix
vanishes. Here,
The dispersion relation becomes
Here and below, the reader can keep in mind the parabolic case $\nu _o=\nu _4$ and the elliptic case $\nu _o = 2\nu _4$ (parabolic and elliptic with respect to the operator $\mathcal {S}$ in (8.2)), which simplify all relations significantly and are to be discussed in what follows.
We display the dispersion (8.7) for $\nu _o = 0$ in figure 12(a), to be compared with figure 7. This dispersion relation is interesting as it crosses the $\omega =0$ axis at angle $\theta = {\rm \pi}/4$ (different to the ${\rm \pi} /2$ of rigidly rotating liquids or the $\eta _o$ of odd viscous liquid). Likewise, it has an inflection point at $\theta \neq {\rm \pi}/2$, which signals the presence of a maximum for the group velocity that differs from those of rigidly rotating liquids and the $\eta _o$ of odd viscous liquid. The group velocity (3.39a,b) is replaced by
with modulus
Its components and modulus are displayed in figure 12(b) for the case $\nu _o =0$. The modulus of the group velocity displays a maximum at $\theta \neq {\rm \pi}/2$, as expected from the properties of the corresponding dispersion relation (8.7).
When the flow field is determined by the plane-polarized waves $\boldsymbol {v} = \boldsymbol {A} \exp ({{\rm i}(\boldsymbol {k}\boldsymbol {\cdot } \boldsymbol {r} - \omega t)})$ considered in this section, its helicity is conserved for an odd viscous liquid that incorporates both constitutive laws (7.1) and (8.1). That is the case because in wavenumber and frequency space, the linearized vorticity equation (8.4) can be written in the form
when $\text {curl}\,\boldsymbol {v} = \boldsymbol {B} \exp ({{\rm i}(\boldsymbol {k}\boldsymbol {\cdot } \boldsymbol {r} - \omega t)})$ and $\mathcal {S}(\boldsymbol {k})$ is defined in (8.6). Since $\omega = \mp \mathcal {S}(\boldsymbol {k})\,({k_z}/{k})$ (from (8.7)), we obtain $\boldsymbol {B} = \mp k \boldsymbol {A}$, or
Thus the helicity of the flow field determined by the odd stress tensors (7.1) and (8.1) is conserved:
In addition, $\boldsymbol {c}_g \boldsymbol {\cdot } \boldsymbol {c}_p = 2 [ (\nu _o-2\nu _4)\cos ^2\theta -\nu _o+\nu _4 ]^2k^2\cos ^2\theta = 2\,|\boldsymbol {c}_p|^2$, so the last two rows of table 1 remain unchanged.
Equation (8.3) can be employed to investigate the possibility of Taylor column formation in an odd viscous liquid that incorporates the stress tensor (7.1) and (8.1). Dropping the left-hand side of (8.3), it reads, in component form,
and carrying out the same manipulations as in § 5, we obtain the conditions
which replace (5.7). The forms of equations (8.14a–c) and (8.15a,b) are appealing and resemble (5.1a–c) and (5.7), respectively. They still lead to Taylor-column-like structures, which, however, are not identical to those of rigidly rotating liquids.
8.2. Axisymmetric inertial-like waves when $\eta _o, \eta _4 \neq 0$
We express the constitutive law (8.1) in cylindrical coordinates as
and repeat the construction of axial waves of § 3.4. The linearized equations of motion (see Appendix A) become
where we simplified (8.18) by employing the incompressibility condition (3.4). Introducing the linear operator (3.8) $\mathcal {L} = \partial _r^2 + ({1}/{r})\,\partial _r - 1/r^2$, the $r$ and $\phi$ momentum equations become
System (8.20)–(8.21) has a solution when the determinant $-(\nu _o -\nu _4 )^{2} k^{2} \kappa ^{4}+(-2 k^{4} \nu _o \nu _4 +2 k^{4} \nu _4^{2}+\omega ^{2}) \kappa ^{2}-k^{2} (k^{2} \nu _4 -\omega ) (k^{2} \nu _4 +\omega )$ of the coefficients of the resulting linear system
vanishes.
The velocity field is again expressed with respect to Bessel functions: $v_r = A\,{\rm J}_1(\kappa r)$ and $v_\phi = B\,{\rm J}_1(\kappa r)$. For real $\omega$ and $k$, the eigenvalue $\kappa$ is
To understand the structure of the solutions, we define the frequency squared parameter $\alpha$ and quartic power of frequency $\beta$ of the form
With this notation, (8.23) simplifies to
In figure 13, we display all possible $\kappa$ behaviours inherent in (8.23) and (8.25), and two cases are summarized in table 2. Thus, referring to figure 13, when $\eta _4 \equiv 0$, $\beta$ is positive and there are two real and two imaginary roots $\kappa$ (the case considered in § 3.4). When $\eta _o \equiv 0$, $\alpha$ is always positive and $\alpha ^2+\beta >0$. Thus when $\beta <0$, there are four real $\kappa$ roots. In the opposite case, there are two imaginary and two real roots. In the elliptic case, $\eta _o = 2\eta _4$, there can be four imaginary or two imaginary and two real $\kappa$, as tabulated in table 2. The fact that the operator $\mathcal {S}$ in (8.2) is hyperbolic when $\nu _o=0$, and elliptic when $\nu _o = 2\nu _4$, is reflected clearly in the type of roots $\kappa$ and thus the form of the velocity field.
Finally, of interest might also be the parabolic case where $\nu _o = \nu _4$. This case is separate from (8.23) since the equations determining $\kappa$ are of second order in spatial derivatives (they are fourth order in the case (8.23)). We obtain
giving rise to either two real $\kappa$ or two imaginary $\kappa$, and the dispersion relation.
8.3. The $\eta _o = 2 \eta _4$ case
The governing differential operator $\mathcal {S}$ can be written in the form $(\nu _o-2\nu _4)\,\nabla _2^2 + \nu _4\,\nabla ^2$, thus in the limit $\nu _0 \rightarrow 2\nu _4$, $\mathcal {S}$ is just the Laplace operator
Mere inspection of the dispersion (8.7), group velocities (8.8)–(8.10) and parameter $\kappa$ in (8.23), shows that they all contain the combination $\nu _o - 2\nu _4$. Setting this equal to zero makes the operator $\mathcal {S}$ elliptic, which has consequences for the direction of propagation of data along characteristics, in an odd viscous liquid. The dispersion relation (8.7),$\omega = -k^{2}((\nu _o -2 \nu _4 ) \cos ^{2}\theta - \nu _o + \nu _4 ) \cos \theta$, simplifies significantly, giving
which recovers the dispersion relation of a Hamiltonian formulation of spinning molecules (Markovich & Lubensky Reference Markovich and Lubensky2021, equation (8)).
In addition, this combination was shown in a series of experiments of pressure-driven gas flow (Hulsman et al. Reference Hulsman, van Waasdijk, Burgmans, Knaap and Beenakker1970, equation (13)) to arise naturally in the limit of low magnetic field magnitude to pressure, $B/p\rightarrow 0$, as was also discussed by Khain et al. (Reference Khain, Scheibner, Fruchart and Vitelli2022). To this end, in table 2 we display the possible forms of roots $\kappa$ obtained in (8.23) for the axisymmetric flow of the odd viscous liquid in a cylinder. Inertial oscillations (real $\kappa$) may be present, but they will be mixed with evanescent waves (imaginary $\kappa$), which will become prominent near the vessel walls.
In figure 12, we display the dispersion relation and group velocity of plane inertial-like waves for an odd viscous liquid with the combination $\eta _o = 2\eta _4$ (dashed curve). In addition, in figure 14, we repeat the simulations of figure 9 but for the combination $\eta _o = 2\eta _4$. The two figures are similar, which can be attributed to the fact that the governing differential operator $\mathcal {S}$ is elliptic in both cases. In figure 14(b), we observe that a Taylor-like column is still present above and below the sphere located on the axis of the cylinder but its axial extent is reduced in comparison to figure 9(b). The distributions of azimuthal and axial velocities in the cylinder are very similar to those displayed in figure 11, and are not repeated here.
9. Discussion
In this paper, we showed that inertial-like waves and Taylor columns are generated in a three-dimensional odd viscous liquid. Both odd coefficients $\eta _o$ and $\eta _4$ that appear in the constitutive laws (7.1) and (8.1) are nicely tucked away in a compact differential operator $\mathcal {S}$ (see (8.2)) and result in the odd form of the Navier–Stokes equations (8.3) and (8.4). The flow that arises from the consideration of plane-polarized waves is a Beltrami flow. Thus its helicity is conserved. The flow field determined by three-dimensional axisymmetric waves in an odd $\eta _o$ and $\eta _4$ liquid has a structure that is determined by the eigenvalues $\kappa$ in the argument of the Bessel function ${\rm J}_1(\kappa r)$ (or ${\rm Y}_1(\kappa r)$), and a classification of different behaviours is displayed in figure 13. Thus the velocity field can be oscillatory or exponential increasing/decaying, or a combination of these.
Considering the behaviour of liquids with a single $\eta _o$ odd viscosity coefficient, we can isolate two important results that were developed here. First, we observe inertial oscillations downstream of a slowly moving body whose theoretically determined wavelength (3.25) is in agreement with its estimate from solutions of the full Navier–Stokes equations (in a manner analogous to the experiments of Long (Reference Long1953), which were in agreement with the theory of inertial oscillations in rigidly rotating liquids; cf. Batchelor Reference Batchelor1967, plate 24). Second, we observe Taylor-column-like behaviour when a sphere moves slowly along the axis of anisotropy, and this also resembles the behaviour of a rigidly-rotating liquid, for instance, in the experiments of Maxworthy (Reference Maxworthy1970). The latter behaviour is to be expected since when the wavevector is perpendicular to the anisotropy axis, the flow becomes effectively two-dimensional in agreement with the (modified) Taylor–Proudman theorem that we developed here, suitable for odd viscous liquids. At the same time, helicity segregation signals the generation of inertial-like waves at the interior of the column, where information is transported along the anisotropy axis, above the body and below the body at the group velocity. Referring to existing experiments measuring the odd viscous coefficients $\eta _o$ and $\eta _4$ in pressure-driven flow of polyatomic gases in the presence of a magnetic field $B$ (cf. Hulsman et al. Reference Hulsman, van Waasdijk, Burgmans, Knaap and Beenakker1970), the combination $\eta _o = 2\eta _4$ becomes prominent in the limit of small ratio of magnetic field to pressure ($B/p\rightarrow 0$). We performed a dedicated discussion of this case in § 8.3, showing that all observables simplify significantly, and that the fluid flow behaviour is dominated by the character of the differential operator $\mathcal {S}$ defined in (8.2), which reduces to the Laplace operator.
Our theoretical discussion was centred predominantly on an odd viscous liquid with zero shear viscosity. (In the numerical simulations of the Navier–Stokes equations, shear viscosity was, however, small but non-zero.) Shear viscosity would just endow the frequency $\omega$ with an imaginary part, as is the case in rigidly rotating liquids; see, for instance, Chandrasekhar (Reference Chandrasekhar1961, p. 86, equation (72)).
There is a large number of unexplored phenomena in three-dimensional odd viscous liquids associated with the findings in this paper. To name a few, consider the effects of: shear viscosity on Taylor columns, and thus the establishment of Ekman and Stewartson layers; different flow conditions (e.g. flow incident on a finite length obstacle also generating Taylor columns); different material properties (e.g. a liquid droplet instead of a solid sphere rising slowly in such a liquid; cf. Bush et al. Reference Bush, Stone and Tanzosh1995; Bush, Stone & Bloxham Reference Bush, Stone and Bloxham1995); a freely suspended sphere rising slowly in such a liquid; and finally, an experimental realization of these effects. Also consider determination of criteria for Taylor-column formation in bounded and unbounded domains. To understand the diversity behind these issues in the case of rotating liquids, see the review of Bush et al. (Reference Bush, Stone and Tanzosh1995).
The formulation developed in this paper can prove to be useful in many areas of research. For instance, one could envision the following application of odd viscous liquid Taylor columns to materials science. Semiconducting nanowires, employed in diverse fields such as biological molecule sensing and living cell probing, are manufactured by the vapour–liquid–solid growth technique, whereby a liquid alloy droplet increases in size by absorbing material from a vapour phase. Hydrodynamics has been shown to be an important factor in this process (Schwalbach et al. Reference Schwalbach, Davis, Voorhees, Warren and Wheeler2012). Disruption of growth may take place in the form of instabilities leading the nanowire to adopt distorted shapes or to develop random extrusions. These instability mechanisms may, however, become suppressed in the presence of odd viscosity. Slow impinging flow on a nanowire will circumscribe each one of them to its own Taylor column, thus providing a unidirectional guide for droplet alloy growth, circumventing the generation of instabilities. Thus a fundamental related open question concerns the effect that odd viscosity has on convection.
Acknowledgements
We thank L. Lopez and four anonymous referees for comments that improved the manuscript.
Funding
This research was supported by the Center for Bio-Inspired Energy Science, an Energy Frontier Research Center funded by the US Department of Energy, Office of Science, Basic Energy Sciences under award no. DE-SC0000989.
Declaration of interests
The authors report no conflict of interest.
Appendix A. Linearized equations of motion
The linearized equations of motion are
Note that the definition of the stress tensor in fluid mechanics (cf. Landau & Lifshitz Reference Landau and Lifshitz1987) differs from its definition in the continuum mechanics literature, where it is defined as the transpose. Here, we follow the fluid mechanics notation, as this arises, for instance, in Landau & Lifshitz (Reference Landau and Lifshitz1987).
Appendix B. Basic facts about rotating fluids
The Rossby and Ekman numbers are
In the axisymmetric case where $\partial _\phi =0$, the Taylor–Proudman theorem for the geostrophic equations
implies that $v_r\equiv 0$ and thus the streamlines are spirals that wound around circular cylinders (Yih Reference Yih1959).
B.1. Taylor columns
The geostrophic equations, in Cartesian coordinates, written in the form
show that the pressure $p$ is a streamfunction and thus constant on a streamline of the flow. A finite-length cylinder with generators parallel to the rotating axis and moving horizontally in a rotating liquid will thus be accompanied by a liquid velocity parallel to its generators, and a column will accompany its motion (Yih Reference Yih1988, § 12.2). Inside the column, the velocity can be zero, although viscous liquids are accompanied with special flows where the velocity does not vanish (Moore & Saffman Reference Moore and Saffman1968).
Separate two-dimensional flows exist inside and outside the Taylor column. Liquid cannot be transferred between these two regions. This is clear in the axisymmetric case where $v_r$ vanishes everywhere (outside the Taylor column). Experimentally, dye that is outside the Taylor column cannot enter, and dye inside does not exit (Tritton Reference Tritton1988, figure 16.2). The flow inside the Taylor column is determined by taking into account the thin shear layers that develop on the lateral surface of the Taylor column and the Ekman boundary layers on the body and the boundaries (Moore & Saffman Reference Moore and Saffman1968).
B.2. Elasticity induced by rotation of an inviscid liquid
Consider a particle of unit mass that moves with speed $v$ perpendicular to the axis of rotation. Momentum conservation gives
Solving for $r$, we obtain $r = {v}/{2\varOmega }$. This implies that the locus of the particle is a circle. It goes around the circle twice during every revolution of the liquid with period $T = 2{\rm \pi} r/ v = {\rm \pi}/\varOmega$ (the vorticity of the liquid in rigid-body rotation is twice the angular velocity of rotation) (Tritton Reference Tritton1988, § 16.6).
The effect of this constraining tendency is to support inertial waves. As remarked above, inertial waves exist only when $\omega < 2\varOmega$ since $\kappa = k\sqrt {{4\varOmega ^2}/{\omega ^2} -1}$ must be real.
The relations (Taylor–Proudman theorem)
do not allow vortex twisting (the liquid velocity approaching a finite obstacle does not change relative to the obstacle – vorticity is not generated); see (Tritton Reference Tritton1988, figure 16.5). This means that the background vorticity resists twisting. On the other hand, the condition
resists vortex stretching (vortex tubes do not thin to increase vorticity; see Tritton Reference Tritton1988, figure 16.6).
Another view of the same effect is to displace a circular ring of fluid outwards to a new position $r$. The circulation $2{\rm \pi} v r$ along that ring remains the same according to Kelvin's theorem. Thus, the liquid velocity $v$ and scaled inertial force ${v^2}/{r}$ will be smaller in the new position. Prior to the displacement, the scaled inertial force ${v^2}/{r}$ was larger at position $r$, and it was balanced exactly by a pressure gradient, which now sees the lower $v^2/r$ of the ring. Thus it will push the ring back towards its original position. The pressure at this position will push it again outwards, and the ring will experience an oscillatory motion (Yih Reference Yih1988, § 5). See also Davidson (Reference Davidson2013, chap. 1) for a more detailed explanation of the same effect. A similar discussion about the restoring effect of the Coriolis force can be traced back to Batchelor (Reference Batchelor1967, § 7.6).