Hostname: page-component-586b7cd67f-2brh9 Total loading time: 0 Render date: 2024-11-23T23:30:53.011Z Has data issue: false hasContentIssue false

Self-similarity and the direct (enstrophy) cascade in forced two-dimensional fluid turbulence

Published online by Cambridge University Press:  19 September 2024

Mateo Reynoso
Affiliation:
School of Physics, Georgia Institute of Technology, Atlanta, GA 30332, USA
Dmitriy Zhigunov
Affiliation:
School of Physics, Georgia Institute of Technology, Atlanta, GA 30332, USA
Roman O. Grigoriev*
Affiliation:
School of Physics, Georgia Institute of Technology, Atlanta, GA 30332, USA
*
Email address for correspondence: [email protected]

Abstract

In the absence of large-scale coherent structures, a widely used statistical theory of two-dimensional turbulence developed by Kraichnan, Leith, and Batchelor (KLB) predicts a power-law scaling for the energy, $E(k)\propto k^\alpha$ with an integral exponent $\alpha ={-3}$, in the inertial range associated with the direct cascade. A power-law scaling is also observed in the presence of coherent structures, but the scaling exponent becomes fractal and often differs substantially from the value predicted by the KLB theory. Here we present a dynamical theory that sheds new light on the relationship between the spatial and temporal structure of the large-scale flow and the scaling of small-scale structures representing filamentary vorticity. Specifically, we find hyperbolic regions of the large-scale flow to play a key role in the flux of enstrophy between scales. Small-scale vorticity in these regions can be described by dynamically self-similar solutions of the Euler equation, which explains the power-law scaling. Furthermore, we find that correlations between different hyperbolic regions are responsible for the emergence of fractal scaling exponents.

Type
JFM Papers
Creative Commons
Creative Common License - CCCreative Common License - BY
This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (http://creativecommons.org/licenses/by/4.0), which permits unrestricted re-use, distribution and reproduction, provided the original article is properly cited.
Copyright
© The Author(s), 2024. Published by Cambridge University Press.

1. Introduction

Fluid turbulence is a paradigm unsolved problem of classical physics and mathematics. It occupies a unique place in science due to its complicated chaotic and multiscale nature and in engineering due to its ubiquity and practical importance. The origins of turbulent cascades, which are responsible for generating structure at multiple scales are among the key mysteries. In particular, in two-dimensional (2-D) turbulence there are two different cascades: direct and inverse (Clercx & Van Heijst Reference Clercx and Van Heijst2009; Boffetta & Ecke Reference Boffetta and Ecke2012). Specifically, the inverse cascade transfers energy from smaller to larger scales, while the direct cascade transfers enstrophy from larger to smaller scales. Here we focus on fluid flows driven at large scales, for which it is the direct cascade that is primarily responsible for the multiscale nature of turbulence.

The first theoretical, statistical description of both the inverse and the direct cascade was developed by Kraichnan (Reference Kraichnan1967), Leith (Reference Leith1968) and Batchelor (Reference Batchelor1969). In particular, for the direct cascade, the Kraichnan, Leith and Batchelor (KLB) theory predicts the energy density in the Fourier space to scale as a power law, $E(k)\propto k^{-3}$. Experiments (Rivera, Aluie & Ecke Reference Rivera, Aluie and Ecke2014) and numerical simulations (Herring & McWilliams Reference Herring and McWilliams1985; Legras, Santangelo & Benzi Reference Legras, Santangelo and Benzi1988; Maltrud & Vallis Reference Maltrud and Vallis1991) however generally find the spectrum to be steeper, with $E(k)$ exhibiting scaling close to a power law $k^\alpha$ with a non-integral exponent in the range $-5 < \alpha < -3$. The deviations from the predictions of the KLB theory, which assumes the small scales to be uncorrelated, have been attributed to the presence of coherent structures, which introduce correlations. Indeed, the integral scaling exponent $\alpha =-3$ can be recovered if the coherent structures, and hence, the correlations, are artificially destroyed (Benzi, Patarnello & Santangelo Reference Benzi, Patarnello and Santangelo1988; Maltrud & Vallis Reference Maltrud and Vallis1991; Borue Reference Borue1993; Chen et al. Reference Chen, Ecke, Eyink, Wang and Xiao2003). The importance of coherent structures, which reflect the accumulation of energy at large scales caused by the inverse cascade, has been recognized already by Kraichnan (Reference Kraichnan1971) whose logarithmic correction to the $k^{-3}$ power law reflects the non-local nature of the direct cascade.

While no systematic description of the effects of coherent structures has been developed so far, several different mechanisms that may contribute to the direct cascade have been explored. Earlier studies have focused on the stretching of small patches of vorticity, essentially treated as a passive scalar, by large-scale vortices, leading to filamentation. In particular, Saffman (Reference Saffman1971) predicted the exponent $\alpha =-4$ by using a simplified picture that assumed that the vorticity is uniform inside each patch and the corresponding vorticity field has a finite number of discontinuities along any straight line. Corresponding scaling, however, is only observed at early times, while on longer time scales both assumptions break down and the spectrum often becomes less steep (Brachet et al. Reference Brachet, Meneguzzi, Politano and Sulem1987). It was hypothesized that, on longer time scales, vorticity filaments are stretched as they are wound up around vortices, generating a fractal structure that is characterized by a non-integral exponent. For point vortices, the corresponding exponent was predicted to be $\alpha =-11/3=-3.6(6)$ (Moffatt Reference Moffatt1986; Gilbert Reference Gilbert1988). While these results established a relationship between the topology of the large-scale flow and the scaling exponent, they did not explain the lack of universality observed in the presence of coherent structures. Indeed, coherent structures feature vortices with a wide variety of shapes and hence stretching properties (Zhigunov & Grigoriev Reference Zhigunov and Grigoriev2023).

More recent studies have identified straining (or hyperbolic) regions of large-scale flows, rather than vortices (or elliptic regions), as playing a key role in the direct cascade. Numerical results of Chen et al. (Reference Chen, Ecke, Eyink, Wang and Xiao2003) confirmed the conjecture of Kraichnan (Reference Kraichnan1971) that the primary physical mechanism behind the direct cascade is ‘vortex thinning’, i.e. steepening of the vorticity gradients in strain-dominated regions of the flow. This picture is supported by the experimental studies of Kelley & Ouellette (Reference Kelley and Ouellette2011) and Liao & Ouellette (Reference Liao and Ouellette2015) who found that, at small scales, the spectral fluxes of both the energy and the enstrophy are enhanced in regions that are predominantly straining. This relation is particularly clear in numerical simulations of body-forced turbulence on a square doubly periodic domain where the large-scale flow at high Reynolds numbers ($Re$) is dominated by a pair of counter-rotating vortices, and vorticity filaments are mostly found in the straining regions (Zhigunov & Grigoriev Reference Zhigunov and Grigoriev2023). The presence of pronounced coherent structures in this flow leads to particularly strong deviations from the KLB predictions, with the scaling exponent reaching values as high as $\alpha \approx -5$. While convincing, this evidence is qualitative, and a quantitative theory is yet to be developed that can predict the scaling exponents found in both numerics and experiments and explain their connection to the spatial and temporal properties of coherent structures.

This paper introduces the key elements of such a quantitative theory for bounded flows that reach statistical equilibrium in the presence of driving and viscous dissipation. The paper is structured as follows. We will start by analysing the large- and small-scale structures of vorticity that emerge in direct numerical simulations (DNS) of high-$Re$ 2-D flows in § 2. Section 3 introduces a dynamical model for small-scale vorticity as well as several classes of self-similar solutions representative of observations and discusses their properties. The results are discussed in § 4 and conclusions are presented in § 5.

2. High-$Re$ flow in two dimensions

To gain intuition into the physical mechanism of the direct cascade, it is helpful to analyse typical vorticity structures that emerge in high-$Re$ incompressible flows driven by steady large-scale forcing on a doubly periodic domain ($0\leq x,y<2{\rm \pi}$). Such flows can be described by the Navier–Stokes equation

(2.1)\begin{equation} \partial_t{\omega}+{\boldsymbol u}\boldsymbol{\cdot}\boldsymbol{\nabla} \omega=\nu\nabla^2{\omega}+\varphi, \end{equation}

written in terms of vorticity $\omega = \partial _x u_y - \partial _y u_x = - \nabla ^2 \psi$, where $u_x = \partial _y \psi$ and $u_y = -\partial _x \psi$ are the velocity components, $\psi$ is the streamfunction and $\varphi$ describes the external forcing. In this section we will focus on the results of numerical simulations of turbulent flow with $\nu =10^{-5}$ driven by a steady checkerboard forcing $\varphi = \varPhi \sin (k_fx)\sin (k_fy)$ with $k_f=4$ reported by Zhigunov & Grigoriev (Reference Zhigunov and Grigoriev2023). The forcing wavenumber was chosen to be sufficiently low to make sure there is a large separation between the forcing length scale $\ell _f=k_f^{-1}$ and the Taylor microscale $\ell _t=R\,{\rm e}^{-1/2}\ell _0$ at which viscous effects become important. Here, the Reynolds number is defined as $Re=\mathcal {E}\ell _0^2/\nu$, where $\mathcal {E}$ is the characteristic magnitude of velocity gradient tensor elements $\partial _i u_j$ and $\ell _0$ is the characteristic length scale of the large-scale flow, so that $\ell _t= (\nu /\mathcal {E})^{1/2}$. To make sure the small-scale structures are resolved, the flow was computed on a grid with resolution $2048\times 2048$. Accounting for the 2/3 dealiasing used in the numerical simulations, this corresponds to the highest resolved wavenumber of $k_{max}=682$.

The large-scale flow is found to be insensitive to the particular choice of the forcing profile, so long as its frequency is relatively low (Kim & Okamoto Reference Kim and Okamoto2010, Reference Kim and Okamoto2015; Kim, Miyaji & Okamoto Reference Kim, Miyaji and Okamoto2017). This is due to the accumulation of the energy at the largest scales accessible to the flow, as illustrated by figure 1(a), caused by the inverse cascade. The energy spectrum averaged over a long-time interval is found to exhibit a power-law scaling $E(k) \propto k^\alpha$ over roughly a decade in the wavenumber ($16 \leq k \leq 170$). This scaling indicates the presence of an inertial range characteristic of fully developed turbulence. The exponent $\alpha \approx -4.4$ is found to be quite different from that predicted by KLB theory. Numerical simulations also suggest that $\mathcal {E}\propto \varPhi /(k_f\nu )$, which implies the balance between the forcing and viscous dissipation terms and, consequently, the dominant balance between the terms $\partial _t{\omega }$ and ${\boldsymbol u}\boldsymbol {\cdot }\boldsymbol {\nabla }\omega$ at high Reynolds numbers.

Figure 1. The energy of a turbulent flow. (a) The energy spectrum averaged over a long-time interval ($10^3$ non-dimensional units). (b) The exponent of the spectrum is shown at intervals of the characteristic time scale $T_c=10$, averaged with nearby points.

Figure 2(a) shows a typical snapshot of the turbulent flow. We decomposed this flow into a small-scale and large-scale component by applying a filter that corresponds to a smoothed circular window with radius $2\sqrt {2}k_f$ in Fourier space, so the entire inertial range is included in the small-scale component. Several features of this flow are worth pointing out. The large-scale flow shown in figure 2(b) is organized by a pair of counter-rotating vortices. The region outside the vortex cores is dominated by the straining flow, with the strain driven by the two vortices. The region of straining flow has nearly uniform large-scale vorticity. The large-scale flow is not static, rather, a large fraction of the time, it is found to be nearly time periodic (Zhigunov & Grigoriev Reference Zhigunov and Grigoriev2023). Although time dependent, the flow structure remains largely unchanged, with both vortices executing a nearly circular motion. There are four stagnation points, a pair of elliptic ones inside the vortex cores and another pair of hyperbolic ones inside the region of straining flow outside of the vortex cores. When averaged over the characteristic time scale $T_c\approx 10$, which corresponds to the approximate period of the large-scale flow, the energy spectrum retains a power-law shape. However, the associated exponent $\alpha$ is found to vary over a significant range of values, as figure 1(b) shows, reflecting the changes in the properties of the large-scale flow on time scales longer than $T_c$.

Figure 2. Typical snapshot of a high-$Re$ turbulent flow. (a) Vorticity field $\omega$. (b) The large-scale component of $\omega$ (corresponding to wavenumbers $k\le 16$) features two pronounced counter-rotating vortices. The boundaries between regions dominated by vortical and straining flow are shown as solid black lines and the boundaries between the two hyperbolic regions are shown as dashed black lines. The arrows indicate the direction of the flow in each hyperbolic region and the corresponding stagnation points are shown as black circles. The boundaries of the hyperbolic regions, stagnation points and direction of the flow are shown in a reference frame co-moving with the large-scale vortex pattern. (c) The small-scale component of $\omega$ (corresponding to wavenumbers $k\ge 16$) features pronounced vorticity filaments. (d) The local coordinate system and geometry of a hyperbolic region of the flow. The colour map in all four panels uses red (blue) shades to indicate positive (negative) values of vorticity.

These results appear to be quite representative. Similar large-scale coherent structures in the form of ‘vortex crystals’ (Aref et al. Reference Aref, Newton, Stremler, Tokieda and Vainchtein2003) are also found to form for flows forced at small scales (Smith & Yakhot Reference Smith and Yakhot1994; Chertkov et al. Reference Chertkov, Connaughton, Kolokolov and Lebedev2007), even though they tend to take a rather long time to emerge. Notably, this behaviour characteristic of forced turbulence is quite different from that found for freely decaying turbulence (McWilliams Reference McWilliams1984; Bracco et al. Reference Bracco, McWilliams, Murante, Provenzale and Weiss2000) where large-scale coherent structures fail to form.

For the flow considered here, most of the small-scale vorticity has a filamentary structure with the filaments mostly confined to the region of straining flow, as illustrated in figure 2(c). This region can be decomposed into a pair of hyperbolic regions, each one containing a hyperbolic stagnation point. Inside each hyperbolic region, vorticity filaments are mostly oriented along the expanding direction of the straining flow, although some filaments are found to be oriented along the contracting direction. Some filamentary vorticity is also found inside the vortex cores. These filaments are found predominantly in the regions where the gradient of the large-scale vorticity is the largest and are oriented transversely to this gradient. Hence, both the straining and vortical regions contribute to the direct cascade, with the former corresponding to the picture described by Kraichnan (Reference Kraichnan1971) and the latter corresponding to the picture described by Moffatt (Reference Moffatt1986) and Gilbert (Reference Gilbert1988). We will focus here on the straining region that contains most of the filamentary vorticity.

3. Results

To understand how the large-scale coherent flow affects the direct cascade, below we construct a dynamical model for small-scale vorticity inside the hyperbolic regions and analyse several types of analytical solutions representative of vorticity filaments observed in the numerics. All of these solutions feature a structure at different scales, however, their associated energy and enstrophy spectra are found to be non-universal and depend on the properties of the large-scale flow, both temporal and spatial.

3.1. The dynamics of small-scale vorticity

In the inertial range $k_f\ll k\ll k_t$, where $k_t=1/(\ell _t s)$, the effects of both forcing and viscous dissipation can be ignored, so the flow is effectively described by the Euler equation

(3.1)\begin{equation} \partial_t\omega+{\boldsymbol u}\boldsymbol{\cdot}\boldsymbol{\nabla}\omega=0. \end{equation}

As discussed in the previous section, inside each hyperbolic region, the large-scale flow has essentially constant vorticity. Consider a reference frame in which a hyperbolic stagnation point remains at the origin and an orthogonal coordinate system with the $y$ coordinate oriented along the expanding direction of the flow, as shown in figure 2(d). The velocity ${\boldsymbol u}_l$ of the large-scale flow inside the hyperbolic region can be written as

(3.2)\begin{equation} {\boldsymbol u}_l ={-}\mathcal{E} x \hat{x} + \mathcal{E}(y + 2\cot(\theta) x) \hat{y}, \end{equation}

where $\mathcal {E}$ is the strain rate and $\theta$ is the angle between the expanding and contracting direction, hence, the large-scale vorticity in the hyperbolic region is simply $\omega _l=2 \mathcal {E}\cot \theta$. For the simulations considered here, the time dependence of the large-scale flow manifests mostly as a slow overall drift of the pattern, hence, the strain rate $\mathcal {E}>0$, the orientation of the $y$ axis and the angle $\theta$ can be considered constant (or at least slowly varying). This limit corresponds to the adiabatic approximation used by Lapeyre, Klein & Hua (Reference Lapeyre, Klein and Hua1999), Lapeyre, Hua & Klein (Reference Lapeyre, Hua and Klein2001).

Separating the flow into the large- and small-scale contributions, e.g. ${\boldsymbol u}={\boldsymbol u}_l+{\boldsymbol u}_s$, and substituting the result into the Euler equation yields

(3.3)\begin{equation} \partial_t\omega_s+{\boldsymbol u}_l\boldsymbol{\cdot}\boldsymbol{\nabla} \omega_s={-}{\boldsymbol u}_s\boldsymbol{\cdot}\boldsymbol{\nabla}\omega_s. \end{equation}

This evolution equation shows that small-scale vorticity $\omega _s$ can be considered a passive scalar that is advected by the large-scale flow ${\boldsymbol u}_l$, as is commonly assumed (Kraichnan Reference Kraichnan1971), only when the term ${\boldsymbol u}_s\boldsymbol {\cdot }\boldsymbol {\nabla }\omega _s$ vanishes. Indeed, when the level sets of the streamfunction $\psi _s$ describing the small-scale component of the flow are aligned with the level sets of the small-scale vorticity $\omega _s$, the right-hand side of (3.3) disappears, so small-scale vorticity effectively becomes a passive scalar. This will indeed be the case for vorticity filaments whose radius of curvature is large compared with their thickness. As figure 2(c) illustrates, this condition is satisfied almost everywhere except for the small regions where the filaments are folded sharply.

In practice, the expanding and contracting directions of the straining flow tend to be nearly orthogonal so, without loss of generality, we assume $\theta = {\rm \pi}/2$ in most of the discussion below (the general case is considered in the § B.3). The corresponding streamfunction then becomes $\psi _l=-\mathcal {E}xy$ and the large-scale vorticity vanishes, $\omega _l=0$. Let $\ell _0$ define one half of the distance between adjacent hyperbolic stagnation points of the large-scale flow. Inside the hyperbolic region sketched in figure 2(d),

(3.4)\begin{equation} |xy|\lesssim h^2,\quad |x|,|y|<\ell_0, \end{equation}

bounded by the level sets of $\psi _l$, (3.3) reduces to

(3.5)\begin{equation} \partial_t\omega-\mathcal{E}x\partial_x\omega+\mathcal{E} y \partial_y \omega=0. \end{equation}

The shape (described by the characteristic thickness $h$) of the hyperbolic region depends on the properties of the large-scale flow. In practice, $h$ can be found by computing the shape of the Lagrangian coherent structure (Haller Reference Haller2015) that defines the boundary between the elliptic and hyperbolic region of the large-scale flow. As illustrated in figure 2(b), the hyperbolic region does not have to be reflection symmetric with respect to either the expanding or contracting direction. We assume it to be symmetric, without loss of generality, to simplify the notations. The general solution to the linear equation (3.5) can be found using the method of characteristics

(3.6)\begin{equation} \omega=\omega_s=g(\chi,\eta), \end{equation}

where $g$ are arbitrary functions of the similarity variables $\chi \equiv {\rm e}^{\mathcal {E}t}x/\ell _0$ and $\eta \equiv {\rm e}^{-\mathcal {E}t}y/\ell _0$. This family of solutions is dynamically self-similar, i.e. $\omega ({\rm e}^{\mathcal {E}\tau }x,{\rm e}^{-\mathcal {E}\tau }y,t)=\omega (x,y,t+\tau )$ for any $\tau$, although only the values of $\tau$ corresponding to multiples of the temporal period $T=2{\rm \pi} /\varOmega$ of the large-scale flow are of interest here. This is illustrated in figure 2(d); the vorticity field inside the region $\varSigma _1$ is compressed along the $x$ direction and stretched in the $y$ direction by the same factor $\varLambda ={\rm e}^{\mathcal {E}T}>1$ after one period and mapped onto the region $\varSigma _2$. Similarly, the region $\varSigma _2$ is mapped onto the region $\varSigma _3$, etc.

3.2. Non-interacting hyperbolic regions

The simplest such solutions depend on just one of the two similarity variables. Consider, for instance, small-scale vorticity filaments oriented along the expanding direction, in which case

(3.7)\begin{equation} \omega=g_c^\pm(\chi), \end{equation}

where the superscript denotes the sign of $x$. This family of solutions describes vortex thinning associated with the stretching of filaments as they are advected towards the $y$ axis. The functions $g_c^\pm (\chi )$ are determined by the variation in the vorticity field at the ‘entrances’ to the hyperbolic region where $x=\pm \ell _0$. Since vorticity at $x=\ell _0$ and $x=-\ell _0$ will generally be different, so $g_c^+(\chi )$ and $g_c^-(\chi )$ will also be different. For oscillatory $g_c^\pm (\chi )$, these self-similar solutions describe vorticity filaments whose characteristic thickness decreases exponentially fast, $\Delta x(t)\propto {\rm e}^{-\mathcal {E}t}$, as they are advected towards the streamline $x=0$, representing a continuous flux of enstrophy from large to small scales.

The family of solutions (3.7) describes non-interacting hyperbolic regions, i.e. vorticity fields entering one hyperbolic region that have not just left another hyperbolic region. In this case, the temporal and spatial profile of the vorticity field at the entrance to a hyperbolic region is defined by the forcing field $\varphi$, which acquires time dependence due to the time-periodic overall motion of the hyperbolic regions. For forcing with low spatial frequency, the vorticity field at either entrance ($x=-\ell _0$ or $x=\ell _0$) to the hyperbolic region can be considered to vary slowly in the $y$ direction, i.e. $\omega (\pm \ell _0,y,t)\approx g_c^\pm ({\rm e}^{\mathcal {E}t})$. For the large-scale flow with temporal period $T$, the functions $g^\pm _c(\chi )$ have to be periodic, with period $\mathcal {E}T$. As a result, the vorticity field described by the solution family (3.7) becomes both time periodic and self-similar in the conventional sense, i.e. $\omega (\varLambda x,t)=\omega (x,t)$.

Self-similarity of the vorticity field implies that its Fourier spectrum $\hat {\omega }({\boldsymbol k},t)$ has a power-law scaling. Indeed, since $g_c^\pm (\chi )$ is periodic, it can be written in the form of a Fourier series, i.e. inside each hyperbolic region we have

(3.8)\begin{equation} \omega=\sum_{n=1}^{\infty}\bar{a}_n^\pm\cos[n s \ln |\chi|+\bar{\phi}_n^\pm], \end{equation}

where $\bar {a}_n^\pm$ are the Fourier amplitudes, $\bar {\phi }_n^\pm$ are the corresponding phases and $s=\varOmega /\mathcal {E}=2{\rm \pi} /\ln (\varLambda )$ is a key non-dimensional parameter describing the temporal frequency of the large-scale flow. It is straightforward to show that $|\hat {\omega }({\boldsymbol k},t)|\propto k_x^{-1} \delta (k_y)$ and, therefore, the enstrophy spectrum in the inertial range should have a power-law scaling

(3.9)\begin{equation} H(k)\propto \langle|\hat{\omega}({\boldsymbol k},t)|^2\rangle_t \propto k^{{-}2}, \end{equation}

which corresponds to the scaling exponent $\alpha =-4$ for the energy $E(k)=k^{-2}H(k)$, consistent with the prediction of Saffman (Reference Saffman1971) (see § B.2). This result however does not account for two essential features of the vorticity field. First of all, viscosity becomes important in the dissipation range leading to attenuation of the thinnest vorticity filaments. Second, vorticity filaments are confined to the hyperbolic region, which introduces a (weak) dependence on the $y$ coordinate. We will consider the consequences of both effects next.

In the presence of viscosity, self-similarity breaks down on length scales comparable to the Taylor microscale $\ell _t$ and the vorticity field takes the form

(3.10)\begin{equation} \omega = \sum _{n=1}^{\infty} a_n^\pm\cos[n s \ln |\chi| +\phi_n^\pm], \end{equation}

where, to leading order in $\ell _t/x$,

(3.11)\begin{equation} \phi_n^\pm(x)=\bar{\phi}^\pm_n-\frac{ns}{2}\frac{\ell_t^2}{x^2}, \end{equation}

and

(3.12)\begin{equation} a_n^\pm(x)=\bar{a}_n^\pm\exp\left[-\frac{n^2s^2}{2}\frac{\ell_t^2}{x^2}\right], \end{equation}

as shown in Appendix A. Note that, for $|x|\gg s\ell _t$, both the phases $\phi _n^\pm (x)$ and the amplitudes $a_n^\pm (x)$ become constant and the self-similar solution (3.8) is restored. For $|x|\lesssim s\ell _t$, vorticity is exponentially strongly suppressed. The former (latter) range in the physical space corresponds to the inertial (dissipation) range in the Fourier space.

The effect of confinement to the interior of the hyperbolic region can be represented by imposing an envelope on the vorticity field that approaches zero outside of the hyperbolic region and unity inside. This envelope can be written as a function of the variable $\xi \equiv \chi \eta =xy/\ell _0^2\propto \psi _l$ (which is an invariant of the large-scale flow ${\boldsymbol u}_l$, i.e. $\partial _t\xi +{\boldsymbol u}_l\boldsymbol {\cdot }\boldsymbol {\nabla }\xi =0$) such as ${\rm e}^{-\ell _0^4\xi ^2/h^4}$, which yields

(3.13)\begin{equation} a_n^\pm(x,y)=\bar{a}_n^\pm\exp\left[-\frac{n^2s^2}{2} \frac{\ell_t^2}{x^2}-\frac{\ell_0^4\xi^2}{h^4}\right]. \end{equation}

Computing the enstrophy for this choice on the infinite plane (i.e. $\ell _0\to \infty$), one finds that

(3.14)\begin{equation} H(k)\propto k^{{-}1} \end{equation}

in the inertial range, as shown in Appendix B.1. Other appropriate choices of the envelope would yield the same power law with the value of the scaling exponent $\alpha =-3$ predicted by the KLB theory.

Depending on the values of $h/\ell _0$ and $Re$, one could see one or both scalings (3.9) and (3.14) in the inertial range, as illustrated in figure 3(d) for the special case $\bar {a}_n^\pm =\delta _{n1}$, i.e.

(3.15)\begin{equation} \omega=\cos(s\ln|\chi|)\exp\left[-\frac{s^2\ell_t^2}{2x^2}- \frac{\ell_0^4\xi^2}{h^4}\right], \end{equation}

with $\ell _0=1$ and $Re=10^7$, which corresponds to $k_t\approx 3\times 10^3$. Indeed, for thick hyperbolic regions (i.e. $h\gtrsim \ell _0$, cf. figure 3a), the envelope can be ignored and we recover the scaling relation (3.9). For thin hyperbolic regions (i.e. $h\ll \ell _0$, cf. figure 3c), the length of vorticity filaments is determined by the hyperbolic envelope rather than the size $\ell _0$ for $k$ in the inertial range, so we find the scaling relation (3.14) instead. For intermediate values of $h/\ell _0$ (cf. figure 3b), we can see both scaling regimes, $H(k)\propto k^{-1}$ at lower $k$ and $H(k)\propto k^{-2}$ at higher $k$. This is what one should expect: the hyperbolic envelope only affects the length of the thicker filaments while thinner filaments all have the same length $\ell _0$.

Figure 3. Snapshots of the vorticity field (3.15) for $s=20$, $\ell _0=1$ and $Re=10^7$ with (a) $h=0.82$, (b) $h=0.25$ and (c) $h=0.1$. (d) The enstrophy spectrum shows different scaling regimes corresponding to $h=0.82$ (solid blue line) and $h = 0.25$ (solid yellow line). (e) Exponent $\alpha$ to describe which corresponds to the best of a single-power law $H(k)\propto k^{\alpha +2}$ over the interval $k_c< k< k_t$ as a function of the hyperbolic region thickness $h$, where $k_c$ is defined by (B24).

Observation of two different scaling regimes clearly requires the inertial range to be quite wide and, hence, $Re$ to be quite large. Asymptotic states at high $Re$ are likely inaccessible in experiments and require very long simulations to reach, which may explain the lack of experimental or numerical evidence showing two different scaling exponents. For smaller $Re$, power-law scaling is only found over a narrow range of wavenumbers, and only one of the two regimes can be observed. Figure 3(e) shows the exponent $\alpha$ for the best-fit power law $H(k)\propto k^{\alpha +2}$ as a function of the thickness $h$ of the hyperbolic region. We see that the exponent asymptotes to $-3$ for small $h$ and $-4$ for large $h$ with a narrow transition region where the fit to a single power law becomes a poor approximation.

The relation between the thickness of the hyperbolic region and the wavenumber at which the crossover between the two scaling regimes occurs can be easily estimated by inspecting figure 2(d). The boundaries of the hyperbolic region $|xy|=h^2$ and $|y|=\ell _0$ intersect at positions $x=\pm x^*$, where $x^*=h^2/\ell _0$. The thickness of a vorticity filament entering the hyperbolic region at $x_0=\pm \ell _0$ is $\delta x_0\sim (1-\varLambda ^{-1/2})\ell _0$. After $n$ periods, its position and thickness become $x_n=\pm \varLambda ^{-n}\ell _0$ and $\delta x_n\sim \varLambda ^{-n}(1-\varLambda ^{-1/2})\ell _0=(1-\varLambda ^{-1/2})|x_n|$, so the thickness of the filaments at $x=\pm x^*$ is $\delta x^*\sim (1-\varLambda ^{-1/2})x^*$. The scaling exponent $\alpha =-3$ corresponds to $|x|>x^*$ (and hence $k< k^*$) while the scaling exponent $\alpha =-4$ corresponds to $|x|< x^*$ (and hence $k>k^*$), where

(3.16)\begin{equation} k^*=\frac{{\rm \pi} }{\delta x^*}\sim\frac{{\rm \pi} \ell_0}{(1-\varLambda^{{-}1/2})h^2}. \end{equation}

In particular, for $\ell _0=1$, $h=0.25$ and $s=20$ we find that $\varLambda ^{-1}={\rm e}^{-2{\rm \pi} /s}\approx 0.73$ and $k^*\sim 345$, which is comparable to the value $k^*\sim 10^3$ found in figure 3(d).

In comparison, for a typical DNS snapshot such as that shown in figure 2(a), we find that $\mathcal {E}\approx 3.7$, $\varOmega \approx 0.63$, $\ell _0\approx 2.2$ and $h\approx 1$, yielding $k^*\sim 7$. The arguments presented in this section would suggest that the energy spectrum should scale as $E(k)\propto k^{-4}$ for $k>k^*$ and, indeed, we find a power-law scaling in figure 1(a) in this range of wavenumbers. However, the scaling exponent is found to be fractal, varying in time, and bounded by $\alpha =-4$, as figure 1(b) illustrates. Of course, it would be a mistake to draw any far-reaching conclusion based on the analytical solution (3.15), which is missing several essential features of filamentary vorticity representative of turbulent flows, as discussed below.

Before we discuss the interaction effects, in conclusion of this section, for completeness, we should point out the existence of another family of self-similar solutions, i.e.

(3.17)\begin{equation} \omega=g_e^\pm(\eta), \end{equation}

where $g_e^\pm (\eta )$ are again arbitrary functions and the superscript denotes the sign of $y$. This family of solutions describes vorticity filaments oriented along the contracting direction of the straining flow. These filaments become thicker, rather than thinner, with their characteristic thickness growing as $\Delta y(t)\propto {\rm e}^{\mathcal {E}t}$, hence, this family of solutions describes so-called backscatter or flux of enstrophy from small scales towards large scales. For a time-periodic large-scale flow, the corresponding small-scale vorticity field is also self-similar, $\omega (\varLambda ^{-1} y,t)=\omega (y,t+T)$. Such solutions will only be dynamically relevant when the vorticity at the entrance of the hyperbolic region varies slowly in the $x$ direction and quickly in the $y$ direction, i.e. has the form of filaments oriented along the contracting direction. Indeed, vorticity filaments with such an orientation are routinely found in turbulent flows featuring pronounced coherent structures, as illustrated in figure 2(c), and this is due entirely to the interaction between adjacent hyperbolic regions.

3.3. Interacting hyperbolic regions

The large-scale flow associated with a pronounced coherent structure introduces strong correlations between adjacent hyperbolic regions: small-scale vorticity leaving one hyperbolic region immediately enters an adjacent one. The large-scale flow considered here (cf. figure 2) is particularly simple since it contains just two hyperbolic regions with a saddle (fixed point or compact limit cycle) at the centre of each. Each one of the two saddles of the large-scale flow has an associated stable and unstable manifold whose directions coincide, near the saddle, with the contracting and expanding direction of the large-scale flow. When the large-scale flow is time periodic, the unstable manifold of one saddle crosses the stable manifold of the other, forming a heteroclinic tangle, as illustrated in figure 4, and leading to chaotic mixing (Ottino Reference Ottino1990). In fact, it is this chaotic mixing that is most likely responsible for the large-scale vorticity becoming effectively uniform inside the hyperbolic regions. The stretching of small-scale vorticity along the unstable manifold and compression transverse to it aligns vorticity filaments along the unstable manifold. Hence, it is such heteroclinic (or for some flows, homoclinic) tangles that determine the shape and size of the hyperbolic regions. The correlation between adjacent hyperbolic regions not only determines the orientation of the vorticity filaments at the entrance but also their Fourier spectrum. This is illustrated in figure 4 that shows what the vorticity field looks like qualitatively at different positions along the same unstable manifold. We will explore how both features, i.e. the orientation and the frequency spectrum of the filaments entering a hyperbolic region, affect the enstrophy spectra (in the $Re\to \infty$ limit) in the remainder of this section.

Figure 4. Vorticity transport between a pair of adjacent hyperbolic regions of a time-periodic large-scale flow. The unstable manifold (purple) of the saddle at the centre of the left hyperbolic region (pale yellow) tangles with the stable manifold (green) of the saddle at the centre of the right hyperbolic region (pale blue). Vorticity filaments everywhere are stretched along, and aligned with, the unstable manifold.

3.3.1. The effect of the spatial orientation

The solutions (3.7) and (3.17) may still be dynamically relevant even for the case of interacting hyperbolic regions when the vorticity filaments at the entrance are oriented strictly along the contracting or expanding direction of the large-scale flow. However, this is rather unlikely: their orientation is determined by the shape of the unstable manifold that generally will not be perfectly aligned with either direction. To determine whether the enstrophy and energy spectra retain a power-law shape and what the scaling exponent is for filaments with arbitrary orientations, let us consider a vorticity field

(3.18)\begin{equation} \omega=\cos(s[\ln|\chi| + r\xi]) \,{\rm e}^{-\ell_0^4\xi^2/h^4}, \end{equation}

which is a special case of the general solution (3.6). Here $r$ is a non-dimensional parameter that controls the orientation of filaments at the entrance of the hyperbolic region. In particular, for $|r|\ll 1$, this solution reduces to (3.15) in the inviscid limit, with the filaments at the entrance $x=\pm \ell _0$ oriented along the expanding direction ($y$ axis). For $|r|\gg 1$, the filaments become oriented everywhere along the streamlines of the large-scale flow, as illustrated in figure 5(b). In particular, at the entrance, they become oriented along the contracting direction ($x$ axis). Note that the values of $r$ could be different on the opposite sides of the $y$ axis that is a separatix of the flow. Here we consider $r$ to have the same value for simplicity. Furthermore, note that the thickness of the filaments at the entrance is large and fairly uniform, with very thin filaments only found near the $y$ axis (i.e. close to the unstable manifold).

Figure 5. Filaments of varying orientation at the entrance to the hyperbolic region. A snapshot of the vorticity field (3.18) for $s=8$, $h=0.5$, $\ell _0=1$ and (a) $r = 1.5$ or (b) $r = 7.5$. (c) The enstrophy spectrum corresponds to the vorticity field for different orientations: $r = 2.5$ (blue), $r = 5$ (yellow) and $r = 7.5$ (red).

The enstrophy spectrum for this solution was computed numerically for different values of $r$, with representative results shown in figure 5(c). We find that, regardless of the orientation (and curvature) of the filaments, the spectrum has the form of a power law with the same (integral) exponent $\alpha =-4$ predicted for straight filaments oriented along the expanding direction of the large-scale flow in the limit of large $h$. The same qualitative result (not shown) is found in the limit of small $h$, where $\alpha =-3$. Hence, it is not the orientation of the vorticity filaments that is responsible for generating fractal exponents or the emergence of fractal structures in the vorticity field.

3.3.2. The effect of the frequency content

The small-scale vorticity field at the entrance to a hyperbolic region (e.g. the one shown in pale blue in figure 4) is determined by that at the exit from an immediately adjacent hyperbolic region (e.g. the one shown in pale yellow in figure 4). Recall that vorticity filaments are not just aligned with, but are also compressed in the direction transverse to, an unstable manifold. Hence, for a time-periodic large-scale flow, at the entrance to any hyperbolic region, one would generally find vorticity filaments with an entire spectrum of spatial frequencies, from extremely thin filaments near the unstable manifold of the adjacent saddle to much thicker filaments generated by the forcing $\varphi$ further away from the manifold.

To construct a particular solution (3.6) for the vorticity field with such properties, consider a function

(3.19)\begin{equation} q = \cos(s[\ln|\chi| - r \xi ]) - \frac{\ell_0^2\xi}{h^2}, \end{equation}

whose level set $q=0$ defines an unstable manifold of an adjacent saddle. It intersects the stable manifold $y=0$ of the saddle $(0,0)$ at the points $(x_n,0)$ where

(3.20)\begin{equation} x_n(t) ={\pm}\exp\left(\frac{{\rm \pi} n}{s}-\mathcal{E}t\right), \end{equation}

with $n$ an integer. This is consistent with the solutions (3.15) and (3.18) for which the level sets $\omega =0$ would be the analogue of the unstable manifold. The parameter $r$ describes the tilt of the unstable manifold at the intersection points as illustrated in figure 6(a).

Figure 6. Filaments with a broad spectrum of spatial frequencies at the entrance to the hyperbolic region. (a) The stable manifold (green) and the unstable manifold for $r = 0$ (red) and $r = 16$ (purple). (b) A snapshot of the vorticity field (3.22) for $r = 16$. Enstrophy spectrum calculated by direct numerical evaluation as the time average of (3.22), shown as a solid blue line (c). The best fit for a power law is shown as a dashed red line. In all three panels, $s = 3$ and $h = 0. 2$.

Let us assume the adjacent hyperbolic region is centred at the saddle $(-2\ell _0,0)$ whose unstable manifold it tangent to the $x$ axis. Near that saddle, the vorticity field is given by (3.18), rotated by $90^\circ$ to account for the different orientation of the straining flow. Since the logarithmic term in the argument of the cosine dominates, we find that

(3.21)\begin{equation} \omega \approx \cos(s\ln|\eta|)=\cos(s\ln|q/\chi|+\phi_0), \end{equation}

where $\phi _0=2\ln (h/\ell _0)$ is a constant that can be absorbed into the definition of the origin of time. Imposing the hyperbolic envelope, we have

(3.22)\begin{equation} \omega = \cos(s\ln|q/\chi|) \,{\rm e}^{{-}q^2}. \end{equation}

A representative vorticity field described by this solution is shown in figure 6(b). The corresponding enstrophy spectrum is shown in figure 6(c) and has the form of a power law, but now with a non-integral exponent $\alpha$, reflecting the fractal nature of the corresponding vorticity field. Indeed, the large-scale flow considered here is analogous to the baker's map (Arnold & Avez Reference Arnold and Avez1968) and the corresponding small-scale vorticity field is analogous to the fractal structures generated by the baker's map.

To confirm that this finding is not an artifact of a particular choice of parameters, we have computed the enstrophy spectrum for a range of parameters and verified that it retains the power-law scaling. The dependence of the scaling exponent on several of the parameters is shown in figure 7. For instance, changing the tilt of the unstable manifold (and hence, the filaments’ orientations) has a relatively weak effect on the value of $\alpha$ and can lead to both an increase and a decrease in the exponent, depending on the thickness of the hyperbolic region, as illustrated in figure 7(a). On the other hand, the exponent was found to depend rather sensitively on the thickness of the hyperbolic region, decreasing with $h$, as shown in figure 7(b). The scaling exponent was also found to depend on the frequency of the time-periodic component of the large-scale flow, increasing with $s$ as shown in figure 7(c). While the characteristic values of $s$ in DNS considered here are found to be smaller than unity, we could not compute the Fourier spectrum of (3.22) with accuracy sufficient to reliably determine the scaling exponent for $s\lesssim 1$ due to the limited resolution of the computational grid (which is constrained by the amount of available memory). As figure 6(c) illustrates, even for $s=3$, the inertial range corresponds to rather high wavenumbers. Indeed, given the fractal nature of this vorticity field, very fine meshes are required to properly resolve all the relevant length scales. Note however that the solution (3.22) is meant to illustrate the importance of the interaction effects qualitatively, not reproduce numerical solutions for the vorticity field and their spectra quantitatively.

Figure 7. Scaling exponent $\alpha$ of the enstrophy spectrum $H\propto k^{\alpha +2}$ for the vorticity field (3.22). The scaling exponent as a function of $r$ for $s = 3$, evaluated at different values of $h$ (a). The scaling exponent as a function of the hyperbolic region size $h$ for $r = 10$ and $s = 4$ (b). The scaling exponent as a function of the strain rate $s$, where $h = 0.2$, and $r = 10$ (c).

4. Discussion

The useful analogy with advection of passive scalars (Kraichnan Reference Kraichnan1971, Reference Kraichnan1975) yields substantial insight into the physical mechanisms of the direct cascade. Previous numerical simulations suggested that this analogy holds in the hyperbolic regions of the flow (Lapeyre et al. Reference Lapeyre, Hua and Klein2001). The analysis presented in § 3.1 shows that this analogy is much more nuanced. Specifically, we find the small-scale vorticity to behave as a passive scalar in regions where (i) the vorticity of the large-scale flow is nearly constant, and (ii) the curvature of the vorticity filaments representing small scales is low. In particular, even inside the hyperbolic regions, the sharp folds of the vorticity filaments are not simply advected by the large-scale flow ${\boldsymbol u}_l$; the small-scale flow ${\boldsymbol u}_s$ also plays an important role. On the other hand, we may find this analogy to also hold inside the elliptic regions of the flow. For instance, for the stationary low-frequency forcing considered here, large-scale vorticity inside vortex cores is often found to be relatively uniform – the flow field shown in figure 2(a) represents an example of this – so that small-scale vorticity there satisfies the same evolution equation as in the hyperbolic regions and can also be considered a passive scalar.

The physical mechanism of the direct cascade described in this paper provides an explicit, quantitative relation between the properties of coherent structures and the scaling of enstrophy and energy in the inertial range. This mechanism refines the qualitative picture proposed by Kraichnan that involves stretching of filamentary vorticity in the straining regions of the large-scale flow. As shown here, the dynamics of vorticity filaments are described by a novel class of exact, self-similar (and hence, scale-free) solutions of the Euler equation, naturally leading to a power-law scaling. Unlike the solutions of the Navier–Stokes equation describing coherent substructures (Deguchi Reference Deguchi2015; Eckhardt & Zammert Reference Eckhardt and Zammert2018; Doohan, Willis & Hwang Reference Doohan, Willis and Hwang2019; Yang, Willis & Hwang Reference Yang, Willis and Hwang2019; Azimi & Schneider Reference Azimi and Schneider2020) or the solutions of the Euler equation describing large-scale coherent structures (Zhigunov & Grigoriev Reference Zhigunov and Grigoriev2023), the dynamically self-similar solutions reported here span the entire inertial range associated with the direct cascade. The relationship between different classes of solutions and the two cascades in high-$Re$ 2-D turbulence is summarized in figure 8. It is worth emphasizing that, just as in the case of exact solutions of the Euler equation describing large-scale flows (Zhigunov & Grigoriev Reference Zhigunov and Grigoriev2023), dynamically self-similar solutions describing the direct cascade belong to families spanned by an infinite number of continuous parameters.

Figure 8. The relationship between the spatial scales, cascades and various classes of exact solutions of the governing equations in high-$Re$ 2-D turbulence.

Vortex thinning in the hyperbolic regions of the large-scale flow is exponentially fast. In contrast, the mechanism considered by Moffatt (Reference Moffatt1986) and Gilbert (Reference Gilbert1988) describes a relatively slow linear stretching of vorticity filaments in the vortical (elliptic) regions. Therefore, while both mechanisms operate at the same time, the former plays the dominant role in the direct cascade and explains how power-law spectra can emerge on rather short time scales. Of course, the presence of these two mechanisms does not exclude other physical mechanisms that may contribute to the transport of enstrophy between scales. For instance, vorticity filaments can be stretched exponentially fast inside the vortex cores. Indeed, a time-dependent large-scale flow is generally expected to generate chaotic advection and global mixing in such circular geometries, provided various symmetries are broken (Grigoriev Reference Grigoriev2005). We may also find exponential stretching of vorticity filaments at the edges of vortex cores, where the frequency of the time-dependent component of the flow is resonant with the frequency at which fluid elements are advected around the vortex by the time-independent component, as predicted by the Kolmogorov–Arnold–Moser theory (Cartwright, Feingold & Piro Reference Cartwright, Feingold and Piro1999). Indeed, pronounced vortex filaments are found in these narrow regions as well, as illustrated by figure 2(a).

Time-dependence of the large-scale flow, which has not been fully appreciated previously, plays a critical role in the evolution of vortex filaments in the hyperbolic regions. Chaotic advection generally requires both stretching and folding. While stretching is generic in any flow with a non-trivial structure, folding is a direct result of time dependence. It should be emphasized that the mechanism described by Moffatt (Reference Moffatt1986) and Gilbert (Reference Gilbert1988) involves no time dependence and, hence, no folding. In the hyperbolic regions the structure of vorticity filaments, and the associated Fourier spectrum, is crucially impacted by both the time-dependent and time-independent component of the large-scale flow. In particular, we find the scaling exponent $\alpha$ to depend on the ratio $s$ of the respective time scales as well as other parameters such as $\ell _0$, $h$ and $r$ that also depend on both components. Note that the DNS considered here feature large-scale flows that are nearly time periodic on relatively short time scales (Zhigunov & Grigoriev Reference Zhigunov and Grigoriev2023), with slowly drifting parameters $s$, $\ell _0$, $h$ and $r$. Since the stretching of filaments is exponentially fast, the power-law spectrum is established quickly, and the slow parameter drift leads to a correspondingly slow variation of the exponent $\alpha$ shown in figure 1(b).

Our results suggest that, for the direct cascade in 2-D turbulence, the presence of fractal structures in the vorticity field (or, equivalently, a fractal dimension of level sets of the vorticity field) implies a fractal value of the scaling exponent $\alpha$ and vice versa. The key observation, however, is not that $\alpha$ is fractal but rather that it is non-universal and takes irrational values in some interval that depends on the properties of the associated large-scale flow. Indeed, fractal scaling exponents are hardly special. For instance, under appropriate conditions, one finds a rational exponent $\alpha =-5/3$ for both the direct cascade in three dimensions and for the inverse cascade in two dimensions even in the absence of a fractal flow structure. In both cases, the rational value of $\alpha$ is a direct consequence of two assumptions: (1) that the flow structure is scale-invariant and (2) that $E(k)$ depends only on a one-dimensional parameter (the energy dissipation rate $\varepsilon _\alpha$), with dimensional analysis requiring $E(k)\propto \varepsilon _\alpha ^{2/3}k^{-5/3}$ (Boffetta & Ecke Reference Boffetta and Ecke2012). For the direct cascade in two dimensions, similar assumptions leads to the classical KLB prediction $E(k)\propto \eta _\nu ^{2/3}k^{-3}$, where $\eta _\nu$ is the enstrophy dissipation rate. The presence of a large-scale coherent structure introduces four additional dimensional parameters: $\mathcal {E}$, $\varOmega$, $\ell _0$ and $h$. On dimensional grounds, we find that $E(k)\propto \eta _\nu ^{2/3}k^{-3}f(s,h/\ell _0,k\ell _0)$ in the inertial range, where $f$ is an arbitrary function. This functional form places no restrictions whatsoever on the scaling exponent $\alpha$ and, in particular, allows it to take irrational values.

The KLB theory crucially relies on the assumption that stretching of small-scale vorticity patches in different hyperbolic regions is uncorrelated. Deviations from the KLB predictions are expected whenever this assumption breaks down. Indeed, for the numerical simulations of turbulence considered here, the large-scale flow, a representative snapshot of which is shown in figure 2, has two hyperbolic regions. The dynamics of small-scale vorticity in the two hyperbolic regions are strongly correlated. In particular, the stretching (contracting) direction in one hyperbolic region is well aligned with the contracting (stretching) direction in the other. To understand and describe the non-universal aspects of the direct cascade and, in particular, determine the enstrophy/energy scaling in the inertial range, these correlations imposed by the large-scale flow have to be properly accounted for. A key consequence of these correlations is the pronounced filamentary structures present in the vorticity field, clearly seen in figure 2, at the entrances to both hyperbolic regions. As we have shown in § 3.3.2, it is the presence of these vorticity filaments with a broad spectrum of spatial frequencies that is responsible for the emergence of a self-similar structure of small-scale vorticity inside the hyperbolic regions characterized by a fractal scaling exponent.

As figure 2 illustrates, at least for the forcing considered here, vorticity filaments are aligned along the contracting direction of the large-scale flow, at the entrances to both hyperbolic regions. The dynamics of vorticity filaments with such an orientation is described, until that orientation changes, by the self-similar solution (3.17) representing the flux of enstrophy towards large, rather than small, scales (backscatter). A proper quantitative description of backscatter is crucial for subgrid-scale modelling. However, correlations induced by the large-scale flow are accounted for neither in the KLB theory nor in the stochastic approaches to modelling eddy viscosity (Kraichnan Reference Kraichnan1976; Leslie & Quarini Reference Leslie and Quarini1979; Leith Reference Leith1990). Backscatter amplifies the large scales at the expense of the small scales and should therefore make the spectra of enstrophy and energy steeper, in agreement with the results of numerical simulations. It is worth emphasizing that enstrophy flows in both directions at all times, with the flux towards small (large) scales in regions where small-scale vorticity filaments are preferentially aligned along the expanding (contracting) direction of the large-scale flow. Backscatter, and consequently the energy/enstrophy scaling in the inertial range, are non-universal and cannot be described properly by statistical descriptions agnostic of coherent structures.

It is natural to ask, how much of the analysis presented here would carry over to a more general situation where the large-scale flow is aperiodic? The flow domain can still be decomposed into elliptic and hyperbolic regions (Haller Reference Haller2001). Even though the topology of the large-scale flow will evolve in this case, i.e. some hyperbolic regions will be destroyed, others will emerge, and the ‘neighbours’ will change, in the presence of coherent structures, these topological changes are slow while advection and stretching of vorticity filaments is fast (the characteristic time scale for the latter processes is $\tau =\mathcal {E}^{-1}$). This implies that a given vorticity filament will only return to the same hyperbolic region a finite number of times, rather than an infinite number of times as in the time-periodic case. Recall however that the thickness of a filament decreases exponentially quickly; its thickness becomes comparable to the Taylor microscale $\ell _t$ on the short-time scale $\tau \ln (k_f/k_t)\sim \ln (Re)/(2\mathcal {E})$ at which point that filament is destroyed by viscosity, whether the flow is time periodic or not. Hence, for a finite $Re$, the emergence of fractal structures and scaling with a fractal exponent in the inertial range only requires a very small number of returns and time periodicity of the large-scale flow is not essential. In fact, a vorticity filament may travel through a sequence of different hyperbolic regions and vanish before ever returning to where it was born. The essential feature of the large-scale flow is time dependence causing folding of the filaments that, together with stretching, leads to chaotic mixing, even if folding is not time periodic. Indeed, by Poincare–Birkhof theorem, a steady 2-D flow does not generate Lagrangian chaos and, hence, cannot produce fractal structures. In the absence of coherent structures, hyperbolic regions are themselves small and the topology of the flow changes quickly, destroying the long-term correlations between neighbouring hyperbolic regions that play a key role in generating fractal structures.

5. Conclusion

We introduced here a mechanistic, dynamical description of the direct cascade in 2-D turbulence in the presence of coherent structures. This description involves two qualitatively different classes of solutions of the Euler equation: (weakly unstable) time-periodic solutions describing the large scales, i.e. vortex condensate, and dynamically self-similar solutions describing the small scales or, more precisely, the scales corresponding to the inertial range. The self-similar, i.e. scale-free, nature of the latter class of solutions is the fundamental reason why power-law scaling of energy and enstrophy is found in the inertial range, regardless of whether the scaling exponent is integral or fractal.

In the absence of correlations between different hyperbolic regions of the large-scale flow, our description reproduces the scaling predicted by the KLB theory. In particular, we find that enstrophy flows strictly from large to small scales with no backscatter. In the presence of pronounced coherent structures, adjacent hyperbolic regions of the large-scale flow become strongly correlated leading to a complete breakdown of the KLB theory. These correlations have a dramatic effect on the direct cascade. In particular, they lead to a substantial and persistent backscatter, with the enstrophy flowing from large to small scales at the exit(s) and from small to large scales at the entrance(s) of the hyperbolic regions, with the thickness of a typical filament repeatedly growing and shrinking as it is advected by the large-scale flow. Backscatter leads to steeper spectra in the inertial range than what KLB theory predicts. In fact, it is not uncommon to find the scaling exponent $\alpha$ as high as $-5$ in the DNS considered here. Other numerical and experimental studies of forced turbulence reported different exponents, but the common finding is that $\alpha <-3$. The entirety of available results clearly demonstrates that, in the presence of coherent structures, the scaling in the inertial range is non-universal and the value of the exponent depends on the properties of the large-scale flow.

Correlations are also responsible for the scaling exponent taking fractal values that reflect the emergence of self-similar fractal structures in the vorticity field. Such fractal structures represent ‘stacks’ of vorticity filaments of very different thickness generated by repeated stretching and folding of small-scale vorticity by the large-scale flow. Their properties – their orientation and shape, their fractal dimension and the scaling exponent – are controlled by both the large-scale flow – namely the thickness and size of the hyperbolic regions, the ratio of its temporal frequency to the local strain rate and the angle at which the stable and unstable manifolds of adjacent saddles intersect – and the forcing that injects both energy and enstrophy into the flow. In particular, for large-scale flows that are time periodic, these fractal structures are described by solutions that are self-similar in space and periodic in time.

In conclusion, let us point out some limitations of the present work. First of all, while the large-scale flow, for the steady, low-frequency forcing considered here, tends to be nearly time periodic for extended periods of time, this property is unlikely to be representative of turbulent flows driven by other types of forcing (e.g. stochastic in time or high frequency in space). Corresponding large-scale flows can be nearly steady or even completely aperiodic. While, for such flows, one may still be able to consider small-scale vorticity to be effectively advected by the large-scale flow, this description may break down in regions where the large-scale vorticity itself exhibits fast variation (e.g. in the presence of internal boundary layers). In the aperiodic case, the topology of the large-scale flow will also evolve, presenting additional complications. Furthermore, even in the regions where the large-scale vorticity is nearly constant, small-scale vorticity cannot be considered a passive scalar where vorticity filaments have a high curvature. These limitations imply that the dynamical description presented here requires further refinement and validation before it can be extended to other turbulent flows featuring different coherent structures.

Funding

This material is based upon work supported by the National Science Foundation under grant no. 2032657.

Declaration of interests

The authors report no conflict of interest.

Appendix A. Effect of viscosity

In the presence of viscosity, self-similarity of the small-scale vorticity field in a hyperbolic region will break down when the filament thickness becomes comparable to the Taylor microscale $\ell _t$. Equation (3.5) should be replaced with

(A1)\begin{equation} \partial_t\omega-\mathcal{E}x\partial_x\omega-\nu\partial_x^2\omega=0. \end{equation}

Small viscosity implies that the ratio $\epsilon =\nu /\mathcal {E}=\ell _t^2$ is small compared with $\ell _0^2$. In the inertial range, the product $\epsilon x^{-2}=(\ell _t/x)^2\ll 1$, and we can represent the effect of viscosity perturbatively using a WKB expansion,

(A2)\begin{equation} \omega= \frac{1}{2}\sum_{n=1}^{\infty}\bar{a}_n^\pm \exp[\varTheta_{n0}(\chi)+\epsilon x^{{-}2}\varTheta_{n1}(\chi)+\epsilon^2x^{{-}4} \varTheta_{n2}(\chi)+\cdots]+\text{c.c.}, \end{equation}

where c.c. denotes complex conjugate. For $\epsilon =0$, the corrections disappear and we should recover the inviscid solution (3.8), hence,

(A3)\begin{equation} \varTheta_{n0}(\chi)={\rm i}ns\ln|\chi|+{\rm i}\bar{\phi}^\pm_n={\rm i}ns\ln|x/\ell_0|+{\rm i}n\varOmega t+{\rm i}\bar{\phi}^\pm_n. \end{equation}

Substituting (A2) into (A1) and collecting terms of different orders in $\epsilon$, we find that

(A4)\begin{equation} \varTheta_{n1}(\chi)=\frac{\varTheta_{n0}''(\chi)+ \varTheta_{n0}'(\chi)[\varTheta_{n0}'(\chi)-1]}{2}, \end{equation}

etc. Substituting the expression for $\varTheta _{n0}(\chi )$ into this equation, we find that

(A5)\begin{equation} \varTheta_{n1}=\frac{-{\rm i}ns-n^2s^2}{2}. \end{equation}

The vorticity is therefore given by the spatially modulated version of the original self-similar solution

(A6)\begin{equation} \omega(x,t) \approx \sum _{n=1}^{\infty} a_n^\pm(x)\cos[n s \ln|x/\ell_0| + n \varOmega t+\phi_n^\pm(x)], \end{equation}

where, to leading order in $\ell _t/x$,

(A7)\begin{equation} \phi_n^\pm(x)=\bar{\phi}^\pm_n-\frac{ns}{2}\frac{\ell_t^2}{x^2} \end{equation}

and

(A8)\begin{equation} a_n^\pm(x)=\bar{a}_n^\pm\exp\left[-\frac{n^2s^2}{2}\frac{\ell_t^2}{x^2}\right]. \end{equation}

Note that, for $|x|\gg s\ell _t$, the amplitudes $a_n^\pm (x)\approx \bar {a}_n^\pm$ are essentially constant and $\phi _n^\pm (x)\approx \bar {\phi }^\pm _n$ while, for

(A9)\begin{equation} |x|<\sigma\ell_t, \end{equation}

the amplitudes $a_n^\pm (x)$ become exponentially small. It is straightforward to compute the solutions to a higher order in perturbation theory although additional corrections do not change any results presented here qualitatively.

Appendix B. Fourier spectrum of the vorticity field

In this appendix we derive the power spectra of analytical solutions that represent the enstrophy flux from large to small scales in non-interacting hyperbolic regions. We discuss the limits of thin (small $h$) and thick (large $h$) hyperbolic regions as well as the effect of varying the angle between the expanding and the contracting direction.

B.1. Thin hyperbolic regions

A representative snapshot of the vorticity field defined by (3.10) and (3.13) is shown in figure 9(a). The dashed lines represent the boundaries of the spatial region contributing to the inertial range. In particular, we see that the vorticity field is strongly attenuated in the region $|x|< s\ell _t$ due to the action of viscosity, as discussed in Appendix A. The Fourier spectrum of this vorticity field is given by

(B1)\begin{align} \hat{\omega}({\boldsymbol k},t)&\approx \sum _{n=1}^{\infty} \frac{ \bar{a}_n^-}{2} \int_{-\ell_0}^{0} {{\rm d}\kern0.07em x}\int_{-\ell_0}^{\ell_0} {{\rm d} y}\exp\left[f_{ns}({\boldsymbol k},{\boldsymbol x}) + {\rm i}n\varOmega t +{\rm i}\bar{\phi}_n^-\right]\nonumber\\ &\quad +\sum _{n=1}^{\infty} \frac{ \bar{a}_n^+}{2} \int_{0}^{\ell_0} {{\rm d}\kern0.07em x}\int_{-\ell_0}^{\ell_0} {{\rm d} y} \exp\left[f_{ns}({\boldsymbol k},{\boldsymbol x}) + {\rm i}n\varOmega t +{\rm i}\bar{\phi}_n^+\right] +\text{c.c.}, \end{align}

where

(B2)\begin{equation} f_r({\boldsymbol k},{\boldsymbol x})= {\rm i}r\ln|x|-\frac{{\rm i}r+r^2}{2k_t^2 x^2}-\frac{x^2y^2}{h^4}+{\rm i}{\boldsymbol k}\boldsymbol{\cdot}{\boldsymbol x}, \end{equation}

and the dependence on $\ell _0$ is absorbed in the definition of the phase $\bar {\phi }_n^\pm$.

Figure 9. A snapshot of the vorticity field $\omega ({\boldsymbol x},t)$ defined by (3.15) in the physical space for $s=20$, $h=0.1$, $\ell _0=1$ and $Re=10^5$ (a). The black dashed line represents the boundaries described by (3.4) and (A9). The corresponding (normalized) power spectrum $\hat {H}({\boldsymbol k})$ (b). The boundaries defined by (B16) and (B17) are shown as red dashed lines.

The integrals can be evaluated using the saddle-point approximation. The saddle point ${\boldsymbol x}_s$ is found by solving the equation $\nabla f_r({\boldsymbol k},{\boldsymbol x}_s)=0$,

(B3)\begin{equation} \left.\begin{array}{@{}c@{}} x_s ={-} \dfrac{r}{k_x} X(\beta_r), \\ y_s = \dfrac{{\rm i} k_yh^4}{2x_s^2}. \end{array}\right\} \end{equation}

Here $X(\beta )$ is the dominant root of the cubic equation $X^2 - X^3 +\beta =0$, which corresponds to the limit $X(0)=1$,

(B4)\begin{equation} \beta_r ={-}{\rm i} \frac{\rho}{2 r^3}+\frac{1-{\rm i}r}{r^2}\kappa^2, \end{equation}

and we introduced the short-hand notations $\kappa =k_x/k_t$ and $\rho = k_x^2 k_y^2 h^4$.

So long as $|\textit {Re}[x_s]|<\ell _0$, the saddle-point approximation yields

(B5)\begin{align} \hat{\omega}({\boldsymbol k},t)&\approx \sum _{n=1}^{\infty} \frac{{\rm \pi} \bar{a}_n^- \exp\left[f_{ns}({\boldsymbol k},{\boldsymbol x}_s)+{\rm i}n\varOmega t+{\rm i} \bar{\phi}_n^-\right]}{2\sqrt{-g_{ns}({\boldsymbol k},{\boldsymbol x}_s)}} \nonumber\\ &\quad +\sum _{n=1}^{\infty} \frac{{\rm \pi} \bar{a}_n^+ \exp\left[f_{ns}({\boldsymbol k},{\boldsymbol x}_s)+{\rm i}n\varOmega t+{\rm i} \bar{\phi}_n^+\right]}{2\sqrt{-g_{ns}({\boldsymbol k},{\boldsymbol x}_s)}} +\text{c.c.}, \end{align}

where

(B6)\begin{equation} \left.\begin{array}{@{}c@{}} f_r({\boldsymbol k},{\boldsymbol x}_s) = {\rm i}r\ln\left|\dfrac{r}{k_x}\right|+{\rm i}r F(\beta_r),\\ F(\beta)=\ln X(\beta) - X(\beta)-\dfrac{\beta}{2X^2(\beta)}, \end{array}\right\} \end{equation}

and

(B7)\begin{equation} \left.\begin{array}{@{}c@{}} g_r({\boldsymbol k},{\boldsymbol x}_s)=\det(\nabla\nabla f_r)|_{{\boldsymbol x}_s} = \dfrac{{\rm i}r G(\beta_r)}{h^4},\\ G(\beta)=2 + 6\dfrac{\beta}{X^2(\beta)}. \end{array}\right\} \end{equation}

Let us define the average of the enstrophy spectrum over a period of the large-scale flow as

(B8)\begin{equation} \hat{H}(\boldsymbol{k}) = \frac{1}{T}\int_0^{T} |\hat{\omega}({\boldsymbol k},t)|^2 \, {\rm d} t. \end{equation}

Using appropriate orthogonality relations, we find that

(B9)\begin{equation} \hat{H}(\boldsymbol{k})\approx 2{\rm \pi} ^2h^4\sum_{n=1}^{\infty} H_n A(n\sigma,\rho,\kappa), \end{equation}

where

(B10)\begin{equation} H_n = \tfrac14 |\bar{a}_n^-{\rm e}^{{\rm i} \bar{\phi}_n^-}+\bar{a}_n^+{\rm e}^{{\rm i} \bar{\phi}_n^+}|^2, \end{equation}

and the wavenumber dependence is contained entirely in the amplitudes

(B11)\begin{equation} A(r,\rho,\kappa)= \frac{{\rm e}^{\text{Re}[2f_r]}}{r|G(\beta_r)|}. \end{equation}

Note that, in the absence of viscosity, the enstrophy spectrum depends on the wavenumber only through the non-dimensional combination $\rho$, with the amplitude $A(r,\rho,\kappa )$ being a decreasing function of $\rho$. Therefore, at high $Re$, the enstrophy is confined to a hyperbolic region in the Fourier space as well, as illustrated in figure 9(b). The width of the hyperbolic region can be easily estimated in various limiting cases. In the limit of large $r$, $\beta$ is small and we can use the Taylor expansion

(B12)\begin{equation} X(\beta)=1+\beta-2\beta^2+\cdots. \end{equation}

Keeping the leading-order terms in $\beta$, we find an explicit expression for the amplitude

(B13)\begin{equation} A(r,\rho,\kappa)\approx \frac{1}{2r}\exp\left[-\frac{\rho}{2r^2}-\kappa^2\right]. \end{equation}

The approximation (B12) is accurate for $r\gtrsim 10$, but it starts to break down for smaller values of $r$, especially when $\kappa$ is low. This is illustrated in figure 10 that compares this approximation with the exact result (B11) for $\kappa =0.1$ and $\kappa =2$ representative of the inertial and dissipation range, respectively. For small $r$, one should instead consider the limit of large $\beta$ where

(B14)\begin{equation} X(\beta)=\beta^{1/3}+\tfrac{1}{3} +\tfrac{1}{9}\beta^{{-}1/3}+\cdots, \end{equation}

and, to leading order in $\beta$,

(B15)\begin{equation} A(r,\rho,\kappa)\approx \frac{1}{6r|\beta_{r}^{1/3}|}\exp[{-}3r\text{Re} [{\rm i}\beta_{r}^{1/3}]]. \end{equation}

This approximation is found to be accurate for $r\lesssim 0.1$, as illustrated in figure 10.

Figure 10. The amplitude function $A(r,\rho,\kappa )$, normalized by $A_0=A(r,0,\kappa )$, for $\kappa =0.1$ (a) and $\kappa =2$ (b) with $r=20$ (red), $r=1$ (yellow) and $r=0.05$ (blue). The results based on the exact solution $X(\beta )$ (solid lines) are compared with those based on the power series expansion of $X(\beta )$ in the limits of low $\beta$ (black dashed line) and high $\beta$ (coloured dashed lines).

Let $\bar {n}$ be the dominant harmonic in the Fourier series (3.8) and $\bar {r}\equiv \bar {n}s$. In the inertial range the amplitude (B15) becomes independent of $r$, hence, the hyperbolic region is defined by the inequality

(B16)\begin{equation} |k_xk_y|\lesssim \frac{z(\bar{r})}{h^2},\quad z(\bar{r})= \begin{cases} 1, & \bar{r}\lesssim 0.1, \\ 2\bar{r}, & \bar{r}\gtrsim 10. \end{cases} \end{equation}

Furthermore, the saddle-point approximation that underlies (B11) is only accurate when the saddle lies inside the integration domain, i.e. $|x_s|<\ell _0$, which corresponds to

(B17)\begin{equation} |k_x|\gtrsim k_s\equiv\frac{\bar{r}}{\ell_0}. \end{equation}

For $|k_x|< k_s$, the amplitude $A(r,\rho,\kappa )$ becomes exponentially small. As figure 9(b) illustrates, the inequalities (B16) and (B17) describe well the boundaries of the region in the Fourier space outside of which the enstrophy spectrum essentially vanishes. The maximal width of the enstrophy spectrum in the $k_y$ direction can be estimated by setting $k_x=k_s$ in (B16), yielding

(B18)\begin{equation} \max_{k_x}|k_y|\lesssim k_w\equiv\frac{z(\bar{r})\ell_0}{\bar{r}h^2}. \end{equation}

The enstrophy scaling can be determined by integrating $\hat {H}(\boldsymbol {k})$ over the annular region $k<|{\boldsymbol k}|< k+\textrm {d}k$. For $k\gtrsim \max (k_s,k_w)$, the dominant contribution to the integral comes from the two arcs near the $k_x$ axis where the annular region intersects the hyperbolic region defined by the inequality (B16). For $k\gtrsim k_a$, where

(B19)\begin{equation} k_a\equiv\frac{2\sqrt{2\bar{r}}}{h}, \end{equation}

these arcs are well approximated by straight lines with $k_x=k$, such that

(B20)\begin{equation} H(k)= 4{\rm \pi} ^2h^2\sum _{n=1}^{\infty} H_n\left[\int_0^\infty A(ns,\rho,\kappa)\frac{{\rm d} \rho}{\sqrt{\rho}}\right]_{k_x=k} k^{{-}1}. \end{equation}

In the inertial range we can set $\kappa =0$, so the expression in square brackets becomes $k$ independent and we find that $H(k)\propto k^{-1}$, as predicted by the KLB theory.

Further progress can be made in various limiting cases. For large $s$, the integral in (B20) can be evaluated with the help of (B13), yielding

(B21)\begin{equation} H(k) = 2{\rm \pi} ^{5/2} h^2 \sum_{n=1}^{\infty} H_n\, {\rm e}^{-(k/k_t)^2}k^{{-}1}, \end{equation}

with the Gaussian envelope describing the effect of viscosity. The corresponding energy spectrum is given by

(B22)\begin{equation} E(k)\propto k^{{-}2}H(k)\propto {\rm e}^{-(k/k_t)^2} k^{{-}3}. \end{equation}

The analytical result (B21) accurately represents the enstrophy spectrum computed numerically in both the inertial and dissipation range, as figure 11(a) illustrates. As expected, the boundary between these two regions is defined by the Taylor microscale $k_t=\ell _t^{-1}=R\,\textrm {e}^{1/2}\ell _0^{-1}$. Noticeable deviations from power-law scaling are found for $k\gtrsim k_d$, where

(B23)\begin{equation} k_d\equiv\frac{k_t}{2}. \end{equation}

The low-wavenumber boundary of the inertial range should be described by

(B24)\begin{equation} k_c\equiv\max(k_s,k_w,k_a). \end{equation}

Both boundaries, $k=k_c$ and $k=k_d$, are indeed in good agreement with the numerically computed spectra corresponding to the self-similar vorticity field (3.15), as can be seen in figure 11. Note that, in the limit of $s\to 0$, $k_c=k_w\propto s^{-1}$, while, in the limit $s\to \infty$, $k_c=k_s\propto s$. Hence, the inertial range should be the widest for intermediate values of $s$.

Figure 11. The enstrophy spectrum $H(k)$. (a) The result obtained by direct numerical evaluation of the time average (B8), shown as a solid blue line, is compared with the analytical result (B21), shown as a dashed red line, for the vorticity field (3.15) with $s=20$, $h=0.1$, $\ell _0 = 1$ and $Re = 10^7$. (b) The spectrum calculated using the saddle-point approximation (B20) for $s = 20$ (blue), $s =2$ (yellow) and $s = 0.2$ (red), and $Re = 10^{12}$ (solid lines). Dashed lines show the fits to an expression of the form $H \propto \exp {(-b(k/k_t)^\gamma )} k^{-1}$, where $b=1$ and $\gamma =2$ for $s=20$; $b=0.74$ and $\gamma =0.71$ for $s=1$; $b=0.018$ and $\gamma =2/3$ for $s=0.05$. In both panels, the grey background represents the inertial range $k_c< k< k_d$ whose boundaries are given by (B23) and (B24).

For small $s$, the integrals in (B20) can be evaluated using the approximation (B15) for $1\le n\le n_{max}$, where $n_{max}\sim 0.1/s$. The integrals are dominated by values of $\rho$ much smaller than unity, and, in this limit, we can use a series expansion

(B25)\begin{equation} 3r\beta_r^{1/3}\approx{-}c_{1,r}\kappa^{2/3} - c_{2,r} \rho\kappa^{{-}4/3}, \end{equation}

where we have defined the coefficients $c_{1,r}= -3(r-\textrm {i}r^2)^{1/3}$ and $c_{2,r}=({i}/{2})(r-\textrm {i}r^2)^{-2/3}$. Assuming the series (3.8) truncated at $n_{max}$ accurately describes the small-scale vorticity field, we can write

(B26)\begin{equation} H(k) \approx \sum_{n=1}^{n_{max}} \int_{0}^{\infty} \frac{2 {\rm \pi}^2 H_n h^4}{|c_{1,ns}|\kappa^{2/3}} \exp{\left[-\mathrm{Im}(c_{1,ns})\kappa^{2/3} - \mathrm{Im}(c_{2,ns}) \frac{\rho}{\kappa^{4/3}}\right]} \frac{{\rm d} \rho}{\sqrt{\rho}}. \end{equation}

Evaluating the integrals with the help of the saddle-node approximation, we find that

(B27)\begin{equation} H(k) \approx \frac{2^{3/2}{\rm \pi} ^{5/2} h^2}{\sqrt{3}}\sum_{n=1}^{n_{max}} H_n \,{\rm e}^{-\mathrm{Im}(c_{1,ns})(k/k_t)^{2/3}}k^{{-}1}, \end{equation}

where we used the relation $|c_{1,r}|\,[\mathrm {Im}(c_{2,r})]^{1/2}\approx \sqrt {3/2}$ that holds at small values of $r$. It should be pointed out that, for small $s$ and $\max (k_s,k_a)< k< k_w$, the integral of $\hat {H}({\boldsymbol k})$ over the annular region should include the contribution from the hyperbolic region near the $k_y$ axis, which would require a correction to (B20). This correction should be relatively small and, therefore, is not considered here.

The accuracy of the approximations (B21) and (B27) can be confirmed by comparing them with the integral (B20) evaluated numerically. Figure 11(b) shows the respective results computed for the vorticity field (3.15). For both $s=20$ and $s=0.05$, the enstrophy spectrum is indeed well described by the analytical results (B21) and (B27), respectively. While both approximations break down at the intermediate values of $s$, we can leverage the functional form of these approximations to speculate that the enstrophy spectrum generally has the form

(B28)\begin{equation} H(k)\propto {\rm e}^{{-}b(s) (k/k_t)^{\gamma(s)}} k^{{-}1}, \end{equation}

where the exponent $\gamma$ interpolates between the values of $2/3$ and 2 for low $s$ and high $s$, respectively. For the intermediate value $s=1$, we find the spectrum can indeed be fitted quite well by this expression with $b=0.74$ and $\gamma =0.71$.

B.2. Thick hyperbolic regions

For thick hyperbolic regions, much of the analysis conducted in the limit of small $h$ still applies with minor modifications. In particular, we can take the limit $h\to \infty$ and the $y$ integral in (B1) can be evaluated explicitly, yielding

(B29)\begin{align} \hat{\omega}({\boldsymbol k},t)&\approx \sum _{n=1}^{\infty} \frac{ \bar{a}_n^-}{2} \int_{-\ell_0}^{0} {{\rm d}\kern0.07em x}\frac{\sin{(k_y \ell_0)}}{{\rm \pi} k_y} \exp[f_{ns}(k_x,x) + {\rm i}n\varOmega t +{\rm i}\bar{\phi}_n^-]\nonumber\\ &\quad +\sum _{n=1}^{\infty} \frac{ \bar{a}_n^+}{2} \int_{0}^{\ell_0} {{\rm d}\kern0.07em x} \frac{\sin{(k_y \ell_0)}}{{\rm \pi} k_y} \exp[f_{ns}(k_x,x) + {\rm i}n\varOmega t +{\rm i}\bar{\phi}_n^+] +\text{c.c.}, \end{align}

where

(B30)\begin{equation} f_r(k_x,x)= {\rm i}r\ln|x|-\frac{{\rm i}r+r^2}{2k_t^2 x^2}+{\rm i} k_x x. \end{equation}

The $x$ integral can again be evaluated using the saddle-point approximation:

(B31)\begin{align} \hat{\omega}({\boldsymbol k},t)&\approx \sum _{n=1}^{\infty} \frac{\sqrt{{\rm \pi} } \bar{a}_n^- \exp[f_{ns}(k_x,x_s)+{\rm i}n\varOmega t+{\rm i} \bar{\phi}_n^-]}{2\sqrt{-2 f''_{ns}(k_x,x_s)}} \frac{\sin{(k_y \ell_0)}}{{\rm \pi} k_y} \nonumber\\ &\quad +\sum _{n=1}^{\infty} \frac{\sqrt{{\rm \pi} } \bar{a}_n^+ \exp[f_{ns}(k_x,x_s)+{\rm i}n\varOmega t+{\rm i} \bar{\phi}_n^+]}{2\sqrt{-2 f''_{ns}(k_x,x_s)}} \frac{\sin{(k_y \ell_0)}}{{\rm \pi} k_y}+\text{c.c.}. \end{align}

Here $x_s$ can again be found using (B7) with $\rho = 0$. Now we have

(B32)\begin{equation} \left.\begin{array}{@{}c@{}} f_r''(k_x,x_s) ={-} \dfrac{{\rm i}k_x^2}{r} I(\beta), \\ I(\beta) = X(\beta)^{{-}2} + 3 \beta X(\beta)^{{-}4}. \end{array}\right\} \end{equation}

Computing the radial and temporal averages of $\hat {H}({\boldsymbol k},t)$ yields the enstrophy spectrum

(B33)\begin{equation} H(k) \approx \frac{\ell_0}{\sqrt{2{\rm \pi} }} \sum _{n=1}^{\infty} H_n A(ns,\kappa)\hspace{0.1em} k^{{-}2} , \end{equation}

where the amplitudes $H_n$ remain unchanged and

(B34)\begin{equation} A(r,\kappa) = \frac{r \,{\rm e}^{\text{Re}[2f_r]}}{|I(\beta_r)|} . \end{equation}

In the limit of large $r$, the amplitudes reduce to

(B35)\begin{equation} A(r,\kappa)\approx \exp[-\kappa^2], \end{equation}

and in the limit of small $r$ we obtain

(B36)\begin{equation} A(r,\kappa)\approx \frac{r^{1/3}}{3 \kappa^{2/3}} \exp[- (\kappa/r)^{2/3} ]. \end{equation}

Note that the latter expression is only valid for $\kappa =O(1)$, and we still find that $H(k)\propto k^{-2}$ in the inertial range.

B.3. Effect of the angle between expanding and contracting directions

In the analysis elsewhere in this paper, we assumed the expanding and contracting directions of the large-scale flow intersect at right angles. However, the key results hold for arbitrary angles $\theta$. Generally, it is convenient to use an orthogonal coordinate system where the $y$ axis is aligned with the expanding direction. For this choice of the coordinate system, small-scale vorticity can still be described by the self-similar solution (3.7), where $\chi = |x|\,\textrm {e}^{\mathcal {E} t}$ and $\eta = |y+x\cot (\theta )|\,\textrm {e}^{-\mathcal {E}t}$. The shape of the hyperbolic region,

(B37)\begin{equation} |xy+\cot(\theta)x^2|\lesssim h^2, \end{equation}

will be change accordingly, as illustrated in figure 12(a) for $\theta \approx 45^\circ$.

Figure 12. A snapshot of the vorticity field $\omega ({\boldsymbol x},t)$ defined by (3.15) in the physical space for $s=20$, $h=0.1$, $\ell _0=1$, $Re=10^6$ and $\theta \approx 45^\circ$ (a). The black dashed line represents the boundary of the hyperbolic region given by inequality (B37). The corresponding (normalized) power spectrum $\hat {H}(\boldsymbol {k})$ (b). The boundaries of the hyperbolic region defined by (B38) and (B39) are shown as red dashed lines.

The enstrophy spectrum will also remain confined to a region of hyperbolic shape in Fourier space, with the ‘contracting’ and ‘expanding’ directions making an angle $\theta$, as illustrated in figure 12(b). The boundaries of this region are given by

(B38)\begin{equation} |k_xk_y-\cot(\theta)k_y^2|\approx \frac{z(\bar{r})}{h^2} \end{equation}

and

(B39)\begin{equation} |k_x - \cot(\theta) k_y |\approx \frac{\bar{r}}{\ell_0}. \end{equation}

The enstrophy spectrum in both the inertial and dissipation range changes rather insignificantly when the angle $\theta$ is varied. The most notable differences are at lower wavenumbers, as illustrated in figure 13. In particular, the lower bound $k_c$ of the inertial range shifts towards higher wavenumbers when $\theta$ deviates increasingly from $90\,^\circ$. The shift of $k_c$ is due primarily to the spectral gap defined by (B39) progressively overlapping with the hyperbolic region near the $k_x$ axis.

Figure 13. The enstrophy spectrum corresponding to the vorticity field (3.15) for different angles between the expanding and contracting directions: $\theta =90^\circ$ (blue), $\theta =45^\circ$ (yellow) and $\theta =11.3^\circ$ (red). The grey background represents the inertial range for $\theta =90^\circ$.

References

Aref, H., Newton, P.K., Stremler, M.A., Tokieda, T. & Vainchtein, D.L. 2003 Vortex crystals. Adv. Appl. Mech. 39, 281.Google Scholar
Arnold, V.I. & Avez, A. 1968 Ergodic Problems of Classical Mechanics. W.A. Benjamin.Google Scholar
Azimi, S. & Schneider, T.M. 2020 Self-similar invariant solution in the near-wall region of a turbulent boundary layer at asymptotically high Reynolds numbers. J. Fluid Mech. 888, A15.CrossRefGoogle Scholar
Batchelor, G.K. 1969 Computation of the energy spectrum in homogeneous two-dimensional turbulence. Phys. Fluids 12 (12), II–233.CrossRefGoogle Scholar
Benzi, R., Patarnello, S. & Santangelo, P. 1988 Self-similar coherent structures in two-dimensional decaying turbulence. J. Phys. A: Math. Gen. 21 (5), 1221.CrossRefGoogle Scholar
Boffetta, G. & Ecke, R.E. 2012 Two-dimensional turbulence. Annu. Rev. Fluid Mech. 44, 427451.CrossRefGoogle Scholar
Borue, V. 1993 Spectral exponents of enstrophy cascade in stationary two-dimensional homogeneous turbulence. Phys. Rev. Lett. 71 (24), 3967.CrossRefGoogle ScholarPubMed
Bracco, A., McWilliams, J.C., Murante, G., Provenzale, A. & Weiss, J.B. 2000 Revisiting freely decaying two-dimensional turbulence at millennial resolution. Phys. Fluids 12 (11), 29312941.CrossRefGoogle Scholar
Brachet, M.E., Meneguzzi, M., Politano, H. & Sulem, P.L. 1987 Computer simulation of decaying two-dimensional turbulence. In Advances in Turbulence, pp. 245254. Springer.CrossRefGoogle Scholar
Cartwright, J.H.E., Feingold, M. & Piro, O. 1999 An introduction to chaotic advection. In Mixing: Chaos and Turbulence pp. 307342. Springer.CrossRefGoogle Scholar
Chen, S., Ecke, R.E., Eyink, G.L., Wang, X. & Xiao, Z. 2003 Physical mechanism of the two-dimensional enstrophy cascade. Phys. Rev. Lett. 91 (21), 214501.CrossRefGoogle ScholarPubMed
Chertkov, M., Connaughton, C., Kolokolov, I. & Lebedev, V. 2007 Dynamics of energy condensation in two-dimensional turbulence. Phys. Rev. Lett. 99 (8), 084501.CrossRefGoogle ScholarPubMed
Clercx, H.J.H. & Van Heijst, G.J.F. 2009 Two-dimensional Navier–Stokes turbulence in bounded domains. Appl. Mech. Rev. 62 (2), 064002.CrossRefGoogle Scholar
Deguchi, K. 2015 Self-sustained states at Kolmogorov microscale. J. Fluid Mech. 781, R6.CrossRefGoogle Scholar
Doohan, P., Willis, A.P. & Hwang, Y. 2019 Shear stress-driven flow: the state space of near-wall turbulence as $re_\tau \rightarrow \infty$. J. Fluid Mech. 874, 606638.CrossRefGoogle Scholar
Eckhardt, B. & Zammert, S. 2018 Small scale exact coherent structures at large Reynolds numbers in plane Couette flow. Nonlinearity 31 (2), R66.CrossRefGoogle Scholar
Gilbert, A.D. 1988 Spiral structures and spectra in two-dimensional turbulence. J. Fluid Mech. 193, 475497.CrossRefGoogle Scholar
Grigoriev, R.O. 2005 Chaotic mixing in thermocapillary-driven microdroplets. Phys. Fluids 17 (3), 033601.CrossRefGoogle Scholar
Haller, G. 2001 Lagrangian structures and the rate of strain in a partition of two-dimensional turbulence. Phys. Fluids 13 (11), 33653385.CrossRefGoogle Scholar
Haller, G. 2015 Lagrangian coherent structures. Annu. Rev. Fluid Mech. 47, 137162.CrossRefGoogle Scholar
Herring, J.R. & McWilliams, J.C. 1985 Comparison of direct numerical simulation of two-dimensional turbulence with two-point closure: the effects of intermittency. J. Fluid Mech. 153, 229242.CrossRefGoogle Scholar
Kelley, D.H. & Ouellette, N.T. 2011 Spatiotemporal persistence of spectral fluxes in two-dimensional weak turbulence. Phys. Fluids 23 (11), 115101.CrossRefGoogle Scholar
Kim, S.-C., Miyaji, T. & Okamoto, H. 2017 Unimodal patterns appearing in the two-dimensional Navier–Stokes flows under general forcing at large Reynolds numbers. Eur. J. Mech. (B/Fluids) 65, 234246.CrossRefGoogle Scholar
Kim, S.-C. & Okamoto, H. 2010 Vortices of large scale appearing in the 2D stationary Navier–Stokes equations at large Reynolds numbers. Japan J. Ind. Appl. Math. 27 (1), 4771.CrossRefGoogle Scholar
Kim, S.-C. & Okamoto, H. 2015 Unimodal patterns appearing in the kolmogorov flows at large Reynolds numbers. Nonlinearity 28 (9), 3219.CrossRefGoogle Scholar
Kraichnan, R.H. 1967 Inertial ranges in two-dimensional turbulence. Phys. Fluids 10 (7), 14171423.CrossRefGoogle Scholar
Kraichnan, R.H. 1971 Inertial-range transfer in two- and three-dimensional turbulence. J. Fluid Mech. 47 (3), 525535.CrossRefGoogle Scholar
Kraichnan, R.H. 1975 Statistical dynamics of two-dimensional flow. J. Fluid Mech. 67 (1), 155175.CrossRefGoogle Scholar
Kraichnan, R.H. 1976 Eddy viscosity in two and three dimensions. J. Atmos. Sci. 33 (8), 15211536.2.0.CO;2>CrossRefGoogle Scholar
Lapeyre, G., Hua, B.L. & Klein, P. 2001 Dynamics of the orientation of active and passive scalars in two-dimensional turbulence. Phys. Fluids 13 (1), 251264.CrossRefGoogle Scholar
Lapeyre, G., Klein, P. & Hua, B.L. 1999 Does the tracer gradient vector align with the strain eigenvectors in 2D turbulence? Phys. Fluids 11 (12), 37293737.CrossRefGoogle Scholar
Legras, B., Santangelo, P. & Benzi, R. 1988 High-resolution numerical experiments for forced two-dimensional turbulence. Europhys. Lett. 5 (1), 37.CrossRefGoogle Scholar
Leith, C.E. 1968 Diffusion approximation for two-dimensional turbulence. Phys. Fluids 11 (3), 671672.CrossRefGoogle Scholar
Leith, C.E. 1990 Stochastic backscatter in a subgrid-scale model: plane shear mixing layer. Phys. Fluids A: Fluid Dyn. 2 (3), 297299.CrossRefGoogle Scholar
Leslie, D.C. & Quarini, G.L. 1979 The application of turbulence theory to the formulation of subgrid modelling procedures. J. Fluid Mech. 91 (1), 6591.CrossRefGoogle Scholar
Liao, Y. & Ouellette, N.T. 2015 Correlations between the instantaneous velocity gradient and the evolution of scale-to-scale fluxes in two-dimensional flow. Phys. Rev. E 92 (3), 033017.CrossRefGoogle ScholarPubMed
Maltrud, M.E. & Vallis, G.K. 1991 Energy spectra and coherent structures in forced two-dimensional and beta-plane turbulence. J. Fluid Mech. 228, 321342.Google Scholar
McWilliams, J.C. 1984 The emergence of isolated coherent vortices in turbulent flow. J. Fluid Mech. 146, 2143.CrossRefGoogle Scholar
Moffatt, H.K. 1986 Advances in Turbulence, vol. 284. Springer.Google Scholar
Ottino, J.M. 1990 Mixing, chaotic advection, and turbulence. Annu. Rev. Fluid Mech. 22 (1), 207254.CrossRefGoogle Scholar
Rivera, M.K., Aluie, H. & Ecke, R.E. 2014 The direct enstrophy cascade of two-dimensional soap film flows. Phys. Fluids 26 (5), 055105.CrossRefGoogle Scholar
Saffman, P.G. 1971 On the spectrum and decay of random two-dimensional vorticity distributions at large Reynolds number. Stud. Appl. Maths 50 (4), 377383.CrossRefGoogle Scholar
Smith, L.M. & Yakhot, V. 1994 Finite-size effects in forced two-dimensional turbulence. J. Fluid Mech. 274, 115138.CrossRefGoogle Scholar
Yang, Q., Willis, A.P. & Hwang, Y. 2019 Exact coherent states of attached eddies in channel flow. J. Fluid Mech. 862, 10291059.CrossRefGoogle Scholar
Zhigunov, D. & Grigoriev, R.O. 2023 Exact coherent structures in fully developed two-dimensional turbulence. J. Fluid Mech. 970, A18.CrossRefGoogle Scholar
Figure 0

Figure 1. The energy of a turbulent flow. (a) The energy spectrum averaged over a long-time interval ($10^3$ non-dimensional units). (b) The exponent of the spectrum is shown at intervals of the characteristic time scale $T_c=10$, averaged with nearby points.

Figure 1

Figure 2. Typical snapshot of a high-$Re$ turbulent flow. (a) Vorticity field $\omega$. (b) The large-scale component of $\omega$ (corresponding to wavenumbers $k\le 16$) features two pronounced counter-rotating vortices. The boundaries between regions dominated by vortical and straining flow are shown as solid black lines and the boundaries between the two hyperbolic regions are shown as dashed black lines. The arrows indicate the direction of the flow in each hyperbolic region and the corresponding stagnation points are shown as black circles. The boundaries of the hyperbolic regions, stagnation points and direction of the flow are shown in a reference frame co-moving with the large-scale vortex pattern. (c) The small-scale component of $\omega$ (corresponding to wavenumbers $k\ge 16$) features pronounced vorticity filaments. (d) The local coordinate system and geometry of a hyperbolic region of the flow. The colour map in all four panels uses red (blue) shades to indicate positive (negative) values of vorticity.

Figure 2

Figure 3. Snapshots of the vorticity field (3.15) for $s=20$, $\ell _0=1$ and $Re=10^7$ with (a) $h=0.82$, (b) $h=0.25$ and (c) $h=0.1$. (d) The enstrophy spectrum shows different scaling regimes corresponding to $h=0.82$ (solid blue line) and $h = 0.25$ (solid yellow line). (e) Exponent $\alpha$ to describe which corresponds to the best of a single-power law $H(k)\propto k^{\alpha +2}$ over the interval $k_c< k< k_t$ as a function of the hyperbolic region thickness $h$, where $k_c$ is defined by (B24).

Figure 3

Figure 4. Vorticity transport between a pair of adjacent hyperbolic regions of a time-periodic large-scale flow. The unstable manifold (purple) of the saddle at the centre of the left hyperbolic region (pale yellow) tangles with the stable manifold (green) of the saddle at the centre of the right hyperbolic region (pale blue). Vorticity filaments everywhere are stretched along, and aligned with, the unstable manifold.

Figure 4

Figure 5. Filaments of varying orientation at the entrance to the hyperbolic region. A snapshot of the vorticity field (3.18) for $s=8$, $h=0.5$, $\ell _0=1$ and (a) $r = 1.5$ or (b) $r = 7.5$. (c) The enstrophy spectrum corresponds to the vorticity field for different orientations: $r = 2.5$ (blue), $r = 5$ (yellow) and $r = 7.5$ (red).

Figure 5

Figure 6. Filaments with a broad spectrum of spatial frequencies at the entrance to the hyperbolic region. (a) The stable manifold (green) and the unstable manifold for $r = 0$ (red) and $r = 16$ (purple). (b) A snapshot of the vorticity field (3.22) for $r = 16$. Enstrophy spectrum calculated by direct numerical evaluation as the time average of (3.22), shown as a solid blue line (c). The best fit for a power law is shown as a dashed red line. In all three panels, $s = 3$ and $h = 0. 2$.

Figure 6

Figure 7. Scaling exponent $\alpha$ of the enstrophy spectrum $H\propto k^{\alpha +2}$ for the vorticity field (3.22). The scaling exponent as a function of $r$ for $s = 3$, evaluated at different values of $h$ (a). The scaling exponent as a function of the hyperbolic region size $h$ for $r = 10$ and $s = 4$ (b). The scaling exponent as a function of the strain rate $s$, where $h = 0.2$, and $r = 10$ (c).

Figure 7

Figure 8. The relationship between the spatial scales, cascades and various classes of exact solutions of the governing equations in high-$Re$ 2-D turbulence.

Figure 8

Figure 9. A snapshot of the vorticity field $\omega ({\boldsymbol x},t)$ defined by (3.15) in the physical space for $s=20$, $h=0.1$, $\ell _0=1$ and $Re=10^5$ (a). The black dashed line represents the boundaries described by (3.4) and (A9). The corresponding (normalized) power spectrum $\hat {H}({\boldsymbol k})$ (b). The boundaries defined by (B16) and (B17) are shown as red dashed lines.

Figure 9

Figure 10. The amplitude function $A(r,\rho,\kappa )$, normalized by $A_0=A(r,0,\kappa )$, for $\kappa =0.1$ (a) and $\kappa =2$ (b) with $r=20$ (red), $r=1$ (yellow) and $r=0.05$ (blue). The results based on the exact solution $X(\beta )$ (solid lines) are compared with those based on the power series expansion of $X(\beta )$ in the limits of low $\beta$ (black dashed line) and high $\beta$ (coloured dashed lines).

Figure 10

Figure 11. The enstrophy spectrum $H(k)$. (a) The result obtained by direct numerical evaluation of the time average (B8), shown as a solid blue line, is compared with the analytical result (B21), shown as a dashed red line, for the vorticity field (3.15) with $s=20$, $h=0.1$, $\ell _0 = 1$ and $Re = 10^7$. (b) The spectrum calculated using the saddle-point approximation (B20) for $s = 20$ (blue), $s =2$ (yellow) and $s = 0.2$ (red), and $Re = 10^{12}$ (solid lines). Dashed lines show the fits to an expression of the form $H \propto \exp {(-b(k/k_t)^\gamma )} k^{-1}$, where $b=1$ and $\gamma =2$ for $s=20$; $b=0.74$ and $\gamma =0.71$ for $s=1$; $b=0.018$ and $\gamma =2/3$ for $s=0.05$. In both panels, the grey background represents the inertial range $k_c< k< k_d$ whose boundaries are given by (B23) and (B24).

Figure 11

Figure 12. A snapshot of the vorticity field $\omega ({\boldsymbol x},t)$ defined by (3.15) in the physical space for $s=20$, $h=0.1$, $\ell _0=1$, $Re=10^6$ and $\theta \approx 45^\circ$ (a). The black dashed line represents the boundary of the hyperbolic region given by inequality (B37). The corresponding (normalized) power spectrum $\hat {H}(\boldsymbol {k})$ (b). The boundaries of the hyperbolic region defined by (B38) and (B39) are shown as red dashed lines.

Figure 12

Figure 13. The enstrophy spectrum corresponding to the vorticity field (3.15) for different angles between the expanding and contracting directions: $\theta =90^\circ$ (blue), $\theta =45^\circ$ (yellow) and $\theta =11.3^\circ$ (red). The grey background represents the inertial range for $\theta =90^\circ$.