1. Introduction
We study the evolution of a compact region of turbulence in an otherwise unbounded domain. Our interest in this novel flow started in seeking a simple validation case for a large-eddy simulation (LES) model in free space. In past work, validations have involved canonical flows in wall-bounded or periodic domains. In free space, and without artificial forcing, there are no mechanisms to sustain turbulence, and it will decay in time. Of possible initial flow fields, two of relevance here are a collection of one or more vortex rings and a random initial condition.
Initial conditions comprising a collection of vortex rings are readily created in both experiments and simulations. Recent experiments have studied the generation of turbulence through vortex-ring collisions (Matsuzawa et al. Reference Matsuzawa, Mitchell, Perrard and Irvine2019) and have evaluated hypothesized mechanisms of turbulence self-sustenance (McKeown et al. Reference McKeown, Ostilla-Mónico, Pumir, Brenner and Rubinstein2018). The resulting turbulence occurs through a complex process of instabilities, vortex interaction and reconnection (Lim & Nickels Reference Lim and Nickels1992). Simulations are computationally intensive since distinct turbulent and laminar regions will occur, and the associated vortex-ring Reynolds numbers must be sufficiently high for transition to occur. In contrast, a random initial condition is computationally simple and turbulent Reynolds numbers can easily be reached, even in direct numerical simulation (DNS), but a disadvantage is that there will be an initial transient period that, while governed by the Navier–Stokes equations, will not be associated with physical turbulence. As a compromise, we manufacture an initial condition by first generating isotropic homogeneous turbulence (IHT) in a periodic domain, and initializing a free-space cloud of turbulence by tiling the periodic solution in space and windowing it with an indicator function that falls to zero outside a sphere of radius
$R$, which can be varied compared to the initial scales in the IHT.
Several features of the evolution of such a spherical region of turbulence in free space are of theoretical interest. In IHT, the evolution of the largest scales is governed by the initial conditions, or, in the case of forced IHT, by the forcing scheme. For example, spectra with low wavenumber that asymptotes as
$k^2$ (Saffman Reference Saffman1967) and
$k^4$ (Batchelor & Proudman Reference Batchelor and Proudman1956) can be contrived (Chasnov Reference Chasnov1995; Ishida, Davidson & Kaneda Reference Ishida, Davidson and Kaneda2006; Davidson Reference Davidson2010). Indeed, the same is true for the spherical turbulence cloud, where, unlike IHT, the largest scales can subsequently grow and, as we will show, different behaviour is obtained. The spherical region of turbulence also exemplifies the localized turbulence region introduced in Phillips (Reference Phillips1956), where the final viscous stage of the evolution was studied theoretically.
A second motivation concerns the emergence of coherent structures. IHT is devoid of large-scale instabilities (typically associated with shear, buoyancy or other imposed forces) that give rise to important classes of coherent structures. However, as we show, the same is not the case for the spherical cloud – we observe the formation of coherent vortex rings being ejected near the cloud edge.
A related issue is the interaction of the turbulent flow with the outer irrotational fluid at the turbulent–non-turbulent interface (TNTI). In recent work, TNTIs have been experimentally and numerically studied in shear layers and in numerically constructed shear-free interfaces (de Silva et al. Reference de Silva, Philip, Chauhan, Meneveau and Marusic2013; Wolf et al. Reference Wolf, Holzner, Lüthi, Krug, Kinzelbach and Tsinober2013; Da Silva, Taveira & Borrell Reference Da Silva, Taveira and Borrell2014). The spherical cloud of turbulence also exhibits a TNTI, and may prove a useful source of data for further study, though in the present paper we do not investigate its behaviour in detail.
In this paper, we present DNS and LES for the spherical region of turbulence and examine the resulting energy spectrum and its decay, and the ejection of vortex rings from its periphery. In § 2 we present the numerical method used to solve the incompressible Navier–Stokes equations in free space, and introduce the turbulence model used in the LES. In § 2.3, the initial conditions are discussed in detail, including recipes for generating
$k^2$ and
$k^4$ spectra. In § 3, DNS and LES results are used to visualize the evolution of the turbulence field. In § 4, we use statistical measures to characterize the decay. We also show that LES calculations agree well with the DNS in these measures. In § 4.2, LES is used to study the long-term evolution of the turbulence cloud. Finally, in § 5, we discuss one distinctive feature in the long-term evolution, the ejection of vortex rings, and we conjecture about the relationship between the initial condition and the scale of the ejections. A brief summary of the main conclusions is given in § 6.
2. Numerical method
2.1. The fast lattice Green's function method
We solve the incompressible (constant density and viscosity) Navier–Stokes equations in an unbounded three-dimensional (3-D) space. A second-order mimetic finite-volume scheme based on the fast lattice Green's function (LGF) method recently developed by Liska & Colonius (Reference Liska and Colonius2016) is applied. The method enforces the divergence-free constraint by solving the associated (discrete) Poisson equation on a formally infinite grid using the LGF technique.
For flows with a compact vorticity field, the infinite lattice can be truncated to a finite region that adapts to the local flow according to a threshold value on the vorticity where sources to the Poisson equation are finite. The solution can be reconstructed at any position, but is only done at those lattice points needed for the next time step. This method is ideal for incompressible external flow simulations for the following two reasons: first, it yields more accurate solutions since the exact far-field boundary condition is embedded in LGFs and no artificial outflow boundary condition is imposed; second, it is efficient because the computation domain is snug around the vortical region.
Other building blocks of the scheme include: a third-order Runge–Kutta scheme for the time integration; and an analytical integrating factor technique for the viscous term, which has the advantage of neither introducing discretization errors nor imposing stability constraints on the time step. The scheme is parallelized and has been extensively validated by comparison with exact solutions and grid refinement studies (Liska & Colonius Reference Liska and Colonius2014). The DNS simulation reported here uses a maximum of approximately
$2\times 10^9$ computational cells running on 1500 cores.
Figure 1 shows the set-up for the problem at hand. Initially, only a spherical region in free space is filled with turbulence (fluid with non-zero vorticity). The spherical region then starts to deform, evolve and decay. This method utilizes fixed local cell size but is able to spatially adapt with the vortical areas by adding or removing blocks of computation cells (black contour lines in figure 1). All simulations here are conducted with a spatial adaptive threshold
$\epsilon _{{supp}}$ equal to
$10^{-5}$ defined in Liska & Colonius (Reference Liska and Colonius2016). Because of the spatial adaptivity, the total number of computation cells varies through one simulation.
Vorticity magnitude in a cross-section through the centre at (a)
$t/t_\ell =0$ and (b)
$t/t_\ell =8.6$, corresponding to the case DNS_0 from table 1. Black contour lines indicate the spatially adaptive computational domain. The smallest adaptivity unit is a block of
$16^3$ computational cells.

2.2. Stretched vortex subgrid stress model
The LES solutions we report rely on the stretched vortex subgrid stress (SGS) model (SVM) (Chung & Pullin Reference Chung and Pullin2009). The LES solves the filter-averaged Navier–Stokes equations
where
$\tilde {\boldsymbol{\mathsf{T}}} = \widetilde {\boldsymbol {u}\otimes \boldsymbol {u}} - \widetilde {\tilde {\boldsymbol {u}} \otimes \tilde {\boldsymbol {u}}}$ is the SGS tensor. The model assumes that the subgrid motions for a single computational cell are dominated by small vortices in a direction
$\boldsymbol {e}^{\boldsymbol {v}}$ that is aligned with the principal eigenvector of the resolved strain-rate tensor. Then the SGS tensor is given by
where
$K$ is the subgrid kinetic energy,
$k_c = {\rm \pi}/ \varDelta _x= {\rm \pi}/ \varDelta _y= {\rm \pi}/ \varDelta _z$ with
$\varDelta _{(\cdot )}$ being the cell length, and
$\varGamma$ is the incomplete gamma function. The second equality in (2.4) assumes that SGS vortices are of the stretched-spiral type with spectrum (Lundgren Reference Lundgren1982)
where
$\nu$ is the fluid viscosity,
and
$\tilde {S}_{i j}$ is the resolved strain-rate tensor. Finally the constant
$\mathcal {K}_{0}'$ in (2.4) is determined by matching the resolved second-order velocity structure function with the prediction from the energy spectrum given by (2.5). Details regarding the efficient evaluation of the aforementioned SGS stress can be found in Voelkl, Pullin & Chan (Reference Voelkl, Pullin and Chan2000) and Chung & Pullin (Reference Chung and Pullin2009).
The SVM is structure-based and not of the eddy-viscosity type. All model parameters are calculated dynamically using only local information from the resolved-scale field surrounding the grid cell or point where subgrid stresses are calculated. The SVM keeps track of the actual fluid viscosity and also the subgrid kinetic energy, and will automatically become subdominant to real viscous stresses when the flow is locally resolved. It has proven robustness and has been successfully used for studies of decaying turbulence (Misra & Pullin Reference Misra and Pullin1997), and wall-resolved LES of channel flow (Voelkl et al. Reference Voelkl, Pullin and Chan2000; Chung & Pullin Reference Chung and Pullin2010), bluff-body flows (Cheng et al. Reference Cheng, Pullin, Samtaney, Zhang and Gao2017; Cheng, Pullin & Samtaney Reference Cheng, Pullin and Samtaney2018) and Taylor–Couette flow (Cheng, Pullin & Samtaney Reference Cheng, Pullin and Samtaney2020).
2.3. Initial condition
The initial condition is generated by spherically windowing a turbulence field from a separate IHT computation with periodic boundary conditions. This field is then tiled in all directions to fill the free space, and the velocity field is multiplied by a smooth window function of the form
where
$R$ is the radius of the sphere and
$\sigma$ is the width of the transition, whose impact on the results will be assessed. The forced periodic IHT field is generated using a simple 3-D pseudo-spectral code, and we define the domain size to be
$B^3$. A low-wavenumber forcing method is applied (Huang Reference Huang1994). The forcing is restricted to modes with wavenumbers
$|\boldsymbol {k}|<2.5$, and the magnitude of the forcing is chosen to keep the energy input rate constant, which would be equal to the dissipation rate
$\epsilon$ after the forced turbulence becomes stationary. To make sure all IHT flows are fully resolved,
$\epsilon$ is determined such that
$\eta k_{{max}} \sim 1.5$, where
$k_{{max}} = N_s / 2$ is the maximum wavenumber and
$\eta = ({\nu ^{3}}/{\epsilon })^{1 / 4}$ is the Kolmogorov length scale, with
$\nu$ being the viscosity. We also confirmed the isotropy of the IHT field by verifying that
${E_{ii}(k)}/{E(k)} - {1}/{3} \approx 0$ for
$i=1,2,3$.
Figure 1 visualizes the initial vorticity field in a cross-section through the centre. This corresponds to the case DNS_0 defined in table 1. Note that the black contour lines in figure 1 are the spatially adaptive computational domain which encompasses the initial vorticity field as discussed in § 2.1. For LES, the IHT field is spectrally filtered before tiling and windowing. More about initial conditions for LES is discussed in § 3.2 when results from LES are presented.
Simulation parameters. The spectrum type refers to the leading non-zero order in the low-wavenumber limit.

Once an IHT field and resolution are selected (which give an initial turbulence Reynolds number,
$Re_\lambda$), two non-dimensional parameters characterize the initial condition:
$B / R$ and
$\sigma / R$. Table 1 summarizes the parameters for all runs studied in this work. The simulation parameters used in the pseudo-spectral code to generate the IHT fields and their statistical characteristics are given in table 2.
Summary of the simulation parameters used in the pseudo-spectral code and the resulting IHT fields. Here
$\ell$ is the integral scale,
$\eta$ is the Kolmogorov length scale, and
$k_{max}$ is the maximum wavenumber.

2.4. Initial spectrum and low-wavenumber limit
As we expect the turbulence cloud to remain homogeneous only deep within the sphere, ambiguities arise in interpreting the energy spectrum: it can be viewed as the expectation of a random process, or merely as the Fourier transform of a deterministic function. In order to reach the broadest conclusions possible (i.e. ones not limited to the specific initial condition), we show in appendix A that, by invoking local homogeneity deep within the spherical region, we can estimate the total spectrum through a single realization of this flow. The estimated spectrum approximates the true one in the limit of large
$R/ \ell$, which may only be barely reached in our simulations, but in principle could be improved upon in future. Thus we take
\begin{align} \tilde{E}(\boldsymbol{k}) & =\frac{1}{16 {\rm \pi}^3} \int_{\mathbb{R}^3} \int_{\mathbb{R}^3} \boldsymbol{u}(\boldsymbol{x})\boldsymbol{\cdot} \boldsymbol{u}(\boldsymbol{x}') \exp({-\textrm{i} \boldsymbol{k} \boldsymbol{\cdot} (\boldsymbol{x}'-\boldsymbol{x})}) \, \mathrm{d}\boldsymbol{x} \,\mathrm{d}\boldsymbol{x}' \nonumber\\ & =\frac{1}{16 {\rm \pi}^3} |\mathcal{F}\{\boldsymbol{u}\}|^2 =\frac{1}{16 {\rm \pi}^3} \frac{1}{|\boldsymbol{k}|^2}|\mathcal{F}\{\boldsymbol{ \omega}\}|^2 \nonumber\\ & =\frac{1}{16 {\rm \pi}^3} \int_{\mathbb{R}^3} \int_{\mathbb{R}^3} \frac{1}{|\boldsymbol{k}|^2} \boldsymbol{ \omega}(\boldsymbol{x}) \boldsymbol{\cdot} \boldsymbol{ \omega}(\boldsymbol{x}')\exp({-\textrm{i} \boldsymbol{k} \boldsymbol{\cdot} (\boldsymbol{x}'-\boldsymbol{x})}) \, \mathrm{d}\boldsymbol{x} \,\mathrm{d}\boldsymbol{x}' , \end{align}
where we have expressed the spectrum in terms of the vorticity field (Phillips Reference Phillips1956; Leonard Reference Leonard1985; Winckelmans & Leonard Reference Winckelmans and Leonard1993; Winckelmans Reference Winckelmans1995). The spherical symmetry of the problem is used in the last step, where the 3-D energy spectrum
$\tilde {E}(\boldsymbol {k})$ is integrated over a spherical shell to produce a scalar spectrum
$E(k)$. Expanding
$E(k)$ for the low wavenumber, the odd powers vanish, giving
where
is the Saffman integral and
is the Loitsyansky integral (Loitsyansky Reference Loitsyansky1939). Note that, even though (2.8)–(2.10) are well defined for the flows with finite energy, using the velocity forms from (2.11) and (2.12) requires certain decay rates of the velocity field. Thus we have used the vorticity formula for the calculation of the low-wavenumber spectra. Details of the expansion and the calculation method are given in appendix B.
The Saffman integral
$L$ is related to the total momentum impulse, which is an invariant of the motion and remains constant for all time. When
$L \ne 0$ the cloud will exhibit a small-wavenumber,
$k^2$ Saffman limit (Saffman Reference Saffman1967), whereas when
$L=0$ the spectrum is of the
$k^4$ Batchelor type (Batchelor & Proudman Reference Batchelor and Proudman1956). The ramifications of a Saffman or Batchelor spectrum have been widely explored in IHT, but less so in other (inhomogeneous) flows. As we discuss below, the low-wavenumber spectrum can be used to derive asymptotic energy decay and integral-scale growth rates, which can be compared to those obtained for the spherical cloud.
In order to investigate this issue, we develop a procedure by which we control the value of
$L$ in the initial condition. Two factors contribute to the linear momentum. First, the IHT field generated from the pseudo-spectral code is continuously divergence-free but not necessarily discrete divergence-free as required by the finite-volume fast LGF scheme. Second, the windowing process will introduce extra non-solenoidality, i.e. given a divergence-free velocity field
$\boldsymbol {u}$ and a scalar window function
$\varPhi (r)$, in general
$\boldsymbol {\nabla} \boldsymbol {\cdot } (\varPhi (r) \boldsymbol {u}(\boldsymbol {x})) \neq 0$. Both of these non-solenoidal components are projected out at the very first time step and this projection will introduce an impulse. The result of this impulse as mentioned in Batchelor (Reference Batchelor1967) is a
$1/|\boldsymbol {x}|^3$ decaying velocity field of the form
This suggests a way to cancel the impulse in order to have a
$k^4$-type spectrum: one can add a vortex ring with an opposite impulse to the initial velocity field. More specifically, we add a Stokes vortex ring with velocity (Kambe & Oshima Reference Kambe and Oshima1975; Cantwell Reference Cantwell1986)
where
$\boldsymbol {\gamma }$ is the impulse of the vortex ring,
$\theta$ is the angle between
$\boldsymbol {\gamma }$ and the unit vector
$\boldsymbol {e}_{r}$,
$\zeta$ controls the size of the ring and
We chose
$\zeta /R = 0.19$ and performed an LES computation with this cancellation, referred to as case LES_IC2 in table 1. Except for LES_IC2, all other cases are conducted without the cancellation.
While our method of manipulating the initial condition in order to cancel the finite impulse is arbitrary, it is effective in the sense that the added vortex ring quickly interacts with the turbulence. This was verified by monitoring the difference between simulations initialized with and without the cancellation. The results showed that, in less than one initial large-eddy turnover time, the difference field was decorrelated with the added vortex ring. Thus we conclude that the two simulations can be regarded as representing (different random realizations of) locally homogeneous turbulence that differ significantly only in their low-wavenumber spectrum.
Figure 2 shows the resulting initial energy spectrum
$E_0(k)$ of a spherical region of turbulence field corresponding to the condition of DNS_0, superposed on another spectrum where (2.14) was used to cancel the impulse (i.e. the initial condition, after filter, for the case ‘LES_IC2’ in table 1). Also plotted is the energy spectrum of the original IHT field scaled by the ratio between the volume of the sphere and the cubic domain size
$B^3$. We see that the
$k^{-{5/ 3}}$ portion of the spectrum from IHT is retained in the spherical cloud, whereas the low-wavenumber behaviour is controlled by the resulting impulse (or its absence).
Energy spectra of: (1) the initial condition of simulation DNS_0 (solid black line), where the low-wavenumber limit (left of the dotted region) is calculated through an expansion method (appendix B); (2) DNS_0 with the initial impulse cancelled using (2.14) (brown dashed double dotted line); (3) the corresponding IHT field multiplied by the ratio between the spherical region volume
$\frac {4}{3} {\rm \pi}R^3$ and the cubic domain volume
$B^3$ (orange dashed line); (4) a guide line for
$1.6 \varepsilon ^{2/3} k^{-5/3}$ scaled with the same ratio, where
$\varepsilon$ is the dissipation rate in the original IHT field (green short dashed line); and (5) a slope of
$k^2$ (green long dashed dotted line) and
$k^4$ (green short dashed double dotted line) for the low-wavenumber limit.

2.5. Resolution
For DNS_0, the IHT field used to generate the initial condition has
$Re_\lambda =122.4$ and uses a computational domain of
$256^3$ in the pseudo-spectral code with
$\eta k_{{max}}>1.5$ to ensure that it is fully resolved. The same resolution (same number of points used for every length scale
$B$) is used in the LGF solver for the turbulence cloud. To guarantee that this resolution is also sufficient for the finite-volume solver, another DNS simulation of
$3/2$ times the resolution is performed up to
$1.3$ initial large-eddy turnover time. The difference in the total kinetic energy is approximately
$0.23\,\%$ and the maximum relative difference in the spectra for all wavenumbers
$kR$ is approximately
$1\,\%$, which is shown in figure 3.
Energy spectrum of (1) DNS_0 (solid black line) and (2) a DNS calculation at
$3/2$ times the resolution as that in the case DNS_0 (blue dashed line), at
$t/t_\ell =1.3$.

3. Qualitative evolution
3.1. Direct numerical simulation
First we perform DNS of the spherical cloud of turbulence corresponding to the case ‘DNS_0’ in table 1. The flow evolution is shown in figure 4(a). Instantaneous vorticity magnitude isosurfaces at
$t/t_{\ell }=0$, 1.7, 4.0, 8.6 and 17.5 are given, where
$t_\ell$ is the large-eddy turnover time of the original IHT field. The isosurface of the lowest vorticity magnitude represents the TNTI. This interface is sufficiently thin (Mathew & Basu Reference Mathew and Basu2002) that using a lower minimum vorticity magnitude would not affect the boundary envelope noticeably. At
$t/t_{\ell }=0$ the turbulence is contained within a spherical region defined by the window function. As the turbulence evolves, the transition region is mixed with the turbulence inside and becomes gradually indistinguishable around
$t/t_{\ell }\sim 1.5$. At
$t/t_{\ell }\sim 4.0$ more fine features have developed near the boundary while the general spherical shape is still maintained. Around
$t/t_{\ell }\sim 8.6$, small features start to merge and create protrusions. Meanwhile the general shape has also become more ellipsoidal. The DNS flow evolution is simulated up to
$t/t_{\ell }=17.5$. From
$t/t_{\ell }=8.6$ to
$17.5$ the cloud of turbulence becomes more irregular, and finer scales are less evident as the turbulence decays.
Vorticity magnitude isosurfaces of (a) DNS_0 and (b) LES_0 at
$t/t_\ell =0$, 1.72, 4.02, 8.60 and 17.47 (from top to bottom), where
$t_\ell$ is the large-eddy turnover time of the initial IHT field.

3.2. Comparison between DNS and LES
DNS is applied to study the more active early-stage evolution of a turbulence cloud but it is computationally expensive to reach late times. To study the long-term behaviour, we turn to LES calculations of the same set-up. To ensure that LES calculations are able to accurately capture the abiding features of the flow, we qualitatively compare the evolution for DNS and LES of the same case.
The initial condition for the LES run is created in the following way: first, the same IHT field from case DNS_0 is spectrally filtered from
$256^3$ to
$32^3$, keeping only
$(1/8)^3$ of its original spectrum; second, the same recipe (tiling and spherical windowing) is used with the filtered turbulence field to create a spherical region of under-resolved turbulence. This field is then given to the LGF finite-volume solver with the SGS model turned on. This simulation corresponds to the case ‘LES_0’ in table 1.
Figure 4 also compares DNS_0 (4a) and LES_0 (4b) at
$t/t_\ell =0$, 1.72, 4.02, 8.60 and 17.47. To ensure that the difference in grid resolution between DNS and LES would not affect the visualization, all isosurfaces are resampled to the same grid. The LES captures the general shape and most of the large-scale features, such as the radius, the ellipticity, the sizes and locations of the protrusions. On the other hand, some small-scale features near the boundary are missed. We also noticed that the vorticity is less intense in the LES run (the crimson regions) especially towards the early stage. All of these differences are to be expected, as LES is designed to capture the statistical properties of the turbulence (and specifically their influence on the largest scales). Nevertheless, over the time range displayed in figure 4, there is little decorrelation of the large scales in DNS and LES originating from the same initial condition. To further quantify the comparison, in § 4, four statistical measures are introduced and applied to both cases DNS_0 and LES_0.
4. Quantitative evolution
4.1. Statistical measures for DNS and LES
In this section we quantify the initial evolution of the cloud of turbulence using statistical measures. DNS results are compared with LES during the initial decay period up to approximately
$t / t_\ell \simeq 20$.
First, the kinetic energy
${\mathcal {E}}(t)$ decay is studied. Results from three simulations are compared in figure 5: (i) DNS_0, (ii) LES_0 and (iii) an under-resolved DNS (the same set-up as LES_0 but with the SGS model turned off). DNS_0 should be regarded as the most accurate case among all three, and its value at
$t=0$ is used to normalize all results. For LES_0 we show both the kinetic energy resolved by the grid and a ‘total kinetic energy’, which is the sum of the resolved energy and the estimated subgrid energy predicted by the SGS model. The total kinetic energy in LES_0 compares well with DNS_0. The initial resolved energy in LES_0 is smaller than that in DNS_0 owing to the spectral filtering process discussed in § 2.3. On the other hand, the under-resolved DNS shows evident energy pile-up due to the lack of the SGS model. After
$t/t_\ell \simeq 8$, the resolution of case LES_0 is high enough to resolve all flow scales due to the decay and it is effectively ‘DNS’ after this point.
Decay of the kinetic energy
${\mathcal {E}}(t)$ for different simulations: DNS_0 (solid black line); LES_0 resolved kinetic energy (red short dashed line); LES_0 total kinetic energy (red long dashed line); and under-resolved DNS (blue long dashed double dotted line). The initial kinetic energy in DNS_0 is used to normalize all simulations.

Second, the total energy spectrum defined by (2.9) in § 2.4 is applied again here. Results for DNS_0 and LES_0 are compared in figure 6 at three time instants,
$t/t_\ell =0$, 4.02 and 17.47, corresponding to the visualizations in figure 4. The agreement is significant and LES seems only to suppress the high wavenumbers slightly. For both cases, the initial condition features approximately a decade of inertial-range turbulence with a
$k^{-{5 / 3}}$ spectrum; as expected, this region shrinks (from the high wavenumbers) as the turbulence decays.
Total energy spectrum at (a)
$t/t_\ell =0$, (b)
$t/t_\ell =4.02$ and (c)
$t/t_\ell =17.47$ for DNS_0 (solid black line) and LES_0 (red long dashed line). The same guide line for
$k^{-{5 / 3}}$ as in figure 2 is also given (green short dashed line).

The third statistical measure we consider is the energy spectrum on a spherical shell. The flow is designed to be homogeneous in the azimuthal and polar directions but is only so in the radial direction deep within the cloud. As shown in § 3.1, visually the cloud also undergoes radial growth over time. This non-uniformity in the radial direction suggests that one should further characterize the energy spectrum as a function of the radius
$r$ and time
$t$. A special spectrum defined on a spherical shell of a given radius is applied (Lombardini, Pullin & Meiron Reference Lombardini, Pullin and Meiron2014). Similar to the total energy spectrum
$E(k)$, it seeks a relationship between the energy and the wavenumber, where the wavenumber on a spherical shell is defined using spherical harmonics. The spherical shell wavenumber and the classical wavenumber defined using Fourier transform can be related via the Laplace operator. This relation also connects the spherical shell spectrum to the classical energy spectrum.
Following the detailed derivation given by Lombardini et al. (Reference Lombardini, Pullin and Meiron2014), we acquire the shell spectrum for a field
$f_r(\theta , \phi )$ defined for a given radius
$r$ by expanding the field using spherical harmonics,
\begin{equation} f_r(\theta, \phi)=\sum_{\ell=0}^{\infty} \sum_{m=-\ell}^{\ell} f_{\ell m} Y_{\ell m}(\theta, \phi), \end{equation}where
\begin{equation} Y_{\ell m}(\theta, \phi)=\begin{cases} {N_{(\ell, m)} P_{\ell}^{m} (\cos\theta)\cos( m \phi)}, & {m \geqslant 0}, \\ {N_{(\ell,|m|)} P_{\ell}^{|m|}(\cos\theta)\sin(|m|\phi)}, & {m < 0}, \end{cases}\end{equation}
with
$P_{\ell }^{m}$ being the associated Legendre polynomials,
$N_{(\ell , m)}$ being the normalization constant and
$\ell$ being the equivalent wavenumber. The wavenumber
$\ell$ is then related to the classic wavenumber
$k$ defined through the Fourier transform by
Assuming a power law for the energy spectrum
$E(k) \sim k^{-\alpha }$, one has the following relationship between the energy spectrum and the shell spectrum:
where
\begin{equation} C_{\ell}=\frac{1}{2 \ell+1} \sum_{m=-\ell}^{\ell} f_{\ell m}^{2}. \end{equation}
Equation (4.4) suggests that one can understand the shell spectrum
$C_\ell$ in a similar way as the classical energy spectrum
$E(k)$.
The shell spectra for DNS_0 and LES_0 are shown in figure 7. Results for various radii (
$r/B=0.32$, 0.48, 0.64, 0.80 and 0.96) and time instants (
$t/t_\ell =0$, 4.02 and 17.47) are given. At
$t/t_\ell =0$ (figure 7a,d) all five curves collapse together as expected, since they represent the original IHT field. The energy decays over time, but the dependence of the shell spectrum on the radius
$r$ is weak. It seems that the boundary does not have a strong effect on the turbulence decay. This evidence further supports the assumption of local homogeneity that underpins our definition of the total spectra used above, as discussed in the appendix, at least up through the times considered here.
Spherical shell spectrum at different radii and times: (a–c) results from DNS_0 at
$t/t_\ell =0$, 4.02 and 17.47, respectively; (d–f) results from LES_0 at the same times. For each panel, the gradation in colour corresponds to radii
$r/B=(0.32,0.48,0.64,0.80,0.96)$ from darkest to lightest shade. An equivalent guide line for
$k^{-{5 / 3}}$ as in figure 2 is given (green short dashed line).

4.2. Long-term statistics and low-wavenumber behaviour
The long-term evolution of a turbulence cloud is studied through LES. Two cases LES_0 and LES_IC2 from table 1 are simulated up to
$t/t_\ell =400$, where LES_0 has a
$k^2$-type initial spectrum while LES_IC2 has a
$k^4$-type. The evolution is visualized in figure 8. The spread of the cloud is similar in both cases, but the details of the large-scale structures are different.
Long-term evolution of (a) LES_0 and (b) LES_IC2 at
$t/t_\ell =0$, 4, 17, 66, 143 and 263 (from top to bottom).

Figure 9(a) shows the long-term evolution of the kinetic energy decay. In the case of IHT, Saffman (Reference Saffman1967) predicts an asymptotic decay rate of
$t^{-6/5}$ for the
$k^2$ turbulence and Kolmogorov (Reference Kolmogorov1962) predicts a decay rate of
$t^{-10/7}$ for the
$k^4$ spectrum (both guide lines are indicated in the figure). However, in both the case of LES_0 and LES_IC2, the decay is similar and closer to the Saffman scaling. Figure 9(b) shows the evolution of the integral scale over time for LES_0 and LES_IC2, compared to the theoretical asymptotic growth rate for Saffman IHT (
$t^{2/5}$) and Batchelor IHT (
$t^{2/7}$). As in the energy decay, both cases are closer to the Saffman type.
Long-term evolution of: (a) the kinetic energy decay compared with asymptotic behaviour of Saffman IHT
$\mathcal {E}(t) \sim t^{-6/5}$ (green short dashed line) and Batchelor IHT
$\mathcal {E}(t) \sim t^{-10/7}$ (green long dashed double dotted line); and (b) the integral scale growth for case LES_0 (red solid line) and LES_IC2 (blue long dashed line) up to
$t/t_\ell = 400$ compared with asymptotic behaviour of Saffman IHT
$\ell \sim t^{2/5}$ (green short dashed line) and Batchelor
$\ell \sim t^{2/7}$ (green long dashed double dotted line).

This apparent discrepancy with the theory can be clarified by examining the long-term decay of the total energy spectrum depicted in figure 10, which shows results for both LES_0 (
$k^2$) and LES_IC2 (
$k^4$) cases. The
$k^4$ spectrum is similar to that reported in Ishida et al. (Reference Ishida, Davidson and Kaneda2006). As expected, the coefficient of the limiting
$k^2$ spectrum for LES_0 is invariant, but the coefficient of the
$k^4$ term for LES_IC2 is increasing over time, first rapidly up to approximately
$t / t_{\ell } \simeq 20$, and then more slowly, as shown in figure 11. The coefficient of the
$k^4$ term is proportional to the Loitsyansky integral
$I$ given by (2.12), which is assumed constant in the theory under the assumption that remote points are statistically independent (Loitsyansky Reference Loitsyansky1939).
Long-term evolution of the total spectrum for (a) LES_0 and (red solid line) and (b) LES_IC2 (blue solid line), up to
$t/t_\ell =500$ with
${\rm \Delta} t/t_\ell =15$ between each line. In panel (a) guide lines for
$k^{-5/3}$ (green short dashed line) and
$k^2$ (green long dashed dotted line) are given. In panel (b) guide lines for
$k^{-5/3}$ (green short dsahed line) and
$k^4$ (green long dashed dotted line) are given.

Long-term evolution of the normalized Loitsyansky integral
$I(t)/I(0)$ of LES_IC2 (
$k^4$ type), up to
$t/t_\ell =500$.

Superposition of the energy spectra for cases LES_0 and LES_IC2 shows that they are similar for
$k R > 1$, corresponding to a wavelength
$\lambda = 2 {\rm \pi}R$. Apart from the very largest scales, which cannot be seen in visualizations like figure 8, the two simulations are otherwise statistically similar. The weak vortex ring and vortex-ring dipole associated with the
$k^2$ and
$k^4$ terms would only become evident as
$t \rightarrow \infty$, after which all turbulence will decay. However, at the same time, the properties are entirely predictable from their initial conditions. Indeed, figure 12 shows that the entire cloud of LES_0 meanders in space but eventually attains a trajectory that is associated with the initial impulse.
Trajectory of the centre of the turbulence cloud from
$t/t_\ell =0$ to
$400$ for LES_0 (red solid line) and LES_IC2 (blue solid line) with every marker separated by
${\rm \Delta} t/t_\ell =30$. For LES_0 the direction of the initial impulse is indicated with the arrow at the end of the trajectory. For LES_IC2 the impulse is zero.

The predictability of the long-term evolution from the initial condition argues against any universality of the very largest scales of the spherical cloud of turbulence. While we expect the wavenumber spectrum for
$k R > 1$ to be approximately universal, the low-wavenumber behaviour is always an artifact of the initial and boundary conditions.
While this lack of universality is perhaps unsurprising, the veracity of the Saffman-type decay-rate predictions even in the absence of a
$k^2$ spectrum is interesting. Consider the process by which the initial
$k^4$ spectrum is created for the case LES_IC2, whereby a weak vortex ring is added to offset the initial impulse associated with windowing the IHT field. While we superposed this ring at the centre of our cloud, we could have cancelled the impulse by adding a ring at any position, even one very far from the cloud. Over the time scale simulated here, the results would be identical to those of the
$k^2$ cloud, and one would have to go to even lower values of
$k R$ in order to see the ultimate
$k^4$ behaviour.
Lastly we consider the radial growth of the turbulence cloud over time. Because the cloud does not hold its sphericity, we define the radius by a statistical moment,
\begin{equation} \bar{r}
=\left(\frac{\displaystyle\int u^{2}|\boldsymbol{x}
-\boldsymbol{x}_c|^{p} \,\mathrm{d}\boldsymbol{x}}
{\displaystyle{\int u^{2}
}\,\mathrm{d}\boldsymbol{x} }\right)^{1 / p},
\end{equation}
where
$u$ is the velocity magnitude and
$\boldsymbol {x}_{{c}}$ is the centre of the turbulence cloud, defined using
\begin{equation} \boldsymbol{x}_c=\frac{\displaystyle\int \boldsymbol{x} u^2 \,\mathrm{d}\boldsymbol{x}} {\displaystyle\int u^2 \,\mathrm{d} \boldsymbol{x}}. \end{equation}
A definition of the centre is necessary because, as discussed in § 2.3, the final stage of a turbulence cloud is a large vortex ring drifting in the direction of the impulse. Also
$p \leqslant 2$ is needed for
$\bar {r}$ to exist, as the velocity field
$\boldsymbol {u}(\boldsymbol {x}) \sim 1/|\boldsymbol {x}|^3$ as
$|\boldsymbol {x}|\rightarrow \infty$. Here we only consider the case when
$p = 2$ for simplicity. The results between LES_0 and LES_IC2 are shown in figure 13. The mean radius growth in time is almost the same for both cases, and approaches a power-law behaviour that is similar to the growth of the integral scale.
Comparison of the long-term mean radius
$\bar {r}$ for
$p=2$ between LES_0 (red solid line) and LES_IC2 (blue dashed line) up to
$t/t_\ell \sim 400$. Results are normalized with their initial mean radii
$\bar {r}_o$. Guide lines for
$t^{2/5}$ (green short dashed line) and
$t^{2/7}$ (green long dashed double dotted line) are also given.

5. Vortex-ring ejections
One of the most distinctive features in the late-stage evolution of a turbulence cloud (figure 8) is that it ejects vortex rings of roughly the same size from its boundary. In this section, we investigate the relation between the size of the vortex rings and properties associated with the turbulence.
We create LES simulations that independently vary the three independent non-dimensional parameters that control the initial conditions. Long-term evolutions for all three pairs at
$t=260$ are provided in figure 14. The first parameter is the width of the transition region associated with the windowing function,
$\sigma /R$, which is varied over
$[0.05,0.1,0.2]$ in three cases [LES_D1, LES_0, LES_D2]. We see that the width of the transition region has little influence on the number or scale of the ejections. Next, we consider varying the microscale Reynolds number
$Re_\lambda$, which is varied over
$[45.0, 76.9, 122.4]$ in three cases [LES_R2, LES_R1, LES_0]. Again, though each cloud has a different range of scales present, the vortex ejections occur again at roughly the same scale. Finally, we vary initial integral scale
$\ell /R$, by changing the size of the initial periodic box to the sphere radius,
$B/R$, over the range
$[0.5,1.0,2.0]$ for cases [LES_B1, LES_0, LES_B2]. Quite evidently, the size of the ejections is halved for case LES_B1 and doubled for case LES_B2, compared to the baseline LES_0. Therefore, we conjecture that the vortex rings are generated by the integral-scale structures in the original IHT field.
Long-term turbulence cloud evolution with vortex-ring ejections for cases defined in table 1: (a) LES_D1, LES_0, LES_D2; (b) LES_R2, LES_R1, LES_0; and (c) LES_B1, LES_0, LES_B2.

We hypothesize that the ejections occur due to a local imbalance of impulse associated with the IHT field. Consider a Gaussian weighted impulse centred at point
$\boldsymbol {x}$, with a ‘width’
$\varsigma$:
Figure 15 shows the maximum impulse
$\boldsymbol {I}(\boldsymbol {x};\varsigma )$ over
$\boldsymbol {x}$, as a function of the width
$\varsigma / \ell _o$ at
$t/t_\ell =0$, where
$\ell _o$ is the initial integral scale. The maximum Gaussian weighted impulse reaches its maximum when
$\varsigma / \ell _o$ is approximately
$1.8$.
Maximum Gaussian weighted impulse over
$\boldsymbol {x}$,
$\max _{\boldsymbol {x}} \boldsymbol {I}(\boldsymbol {x};\varsigma )$ as a function of ‘width’
$\varsigma$ for LES_0 at
$t=0$ (red solid line).

For points deep within the cloud, imbalance of the locally filtered impulse would simply result in complicated local vortex dynamics. However, near the edge of the cloud, this imbalance, when pointed outwards, would eject vorticity out of the cloud. In some sense, this process is universal, as the scale is a property of the IHT field itself, and the net imbalance would create ejections near the edge of any region of IHT. This result also agrees with studies of TNTIs. It was discussed in Townsend (Reference Townsend1980) that, while a wide range of turbulence scales affects the evolution of the turbulence boundary, the largest distortion at the TNTI is from the largest eddies in the turbulence.
6. Concluding remarks
We used DNS and LES to study a novel turbulent flow representing an isolated spherical region of turbulence evolving in free space. This flow is created by tiling a periodic IHT field in space and windowing it to be zero outside a spherical region. The DNS is used to validate the LES, which is in turn used to study the long-time evolution of the turbulence.
The flow exhibits aspects of both homogeneous turbulence, deep within the sphere, as well as inhomogeneous turbulence, near the TNTI. For strictly homogeneous turbulence, a spectrum of either the Saffman
$k^2$ type or the Batchelor
$k^4$ type determines the kinetic energy decay rate and the integral-scale growth rate. For a spherical region of turbulence, we showed that both types of initial conditions can also be created. For the cloud, we confirm, by comparing spectra on spherical shells of different radii from the initial centre, that the turbulence remains locally homogeneous deep within the cloud. However, the resulting long-term decay of the kinetic energy and the growth of the integral scale are similar in both cases, and closer to the predictions of the Saffman theory. This may be related to an observed growth in the Loitsyansky integral, but which is assumed constant in the Batchelor characterization of the turbulence. At least, through approximately 400 eddy turnover times, there is little difference in the shape of the respective spectra between the two cases for
$k$ values near the inertial scale, and it appears that the integral scale is relatively unaffected by the behaviour at very low
$k$, whether
$k^2$ or
$k^4$. In any event, the spectrum at these wavenumbers is controlled by the initial conditions and may not be universal. Finally, we defined a mean radius of the turbulence cloud in terms of its velocity moments, and showed that the turbulence gives rise to a similar growth of radius as of the integral scale.
The spherical region of turbulence is bounded by a TNTI that evolves into distinct large-scale features. By varying each of the three independent non-dimensional parameters controlling the cloud, we find that the structures are related to the (initial) integral scale of the IHT field. The TNTI features include vortex rings that are ejected from the cloud. We hypothesize that this evolution is associated with an imbalance in specific impulse over the integral scale, which, near the TNTI, gives rise to the vortex rings.
Acknowledgements
This work was supported by the ONR grant no. N00014-16-1-2734 and the AFOSR/UCLA grant no. FA9550-18-1-0440.
Declaration of interests
The authors report no conflict of interest.
Appendix A. Energy spectrum of inhomogeneous turbulent flows
Ambiguities arise in interpreting the (spatial) energy spectrum of inhomogeneous turbulent flows. The term ‘spectrum’ itself can be used in two different ways. For a function, the spectrum can refer to the magnitude of its Fourier transform and gives information about the scales present in the function. For a random process, on the other hand, the spectrum represents a statistical statement about how energy is distributed amongst scales on average. Turbulence is generally thought to be random in the sense (e.g. Pope Reference Pope2001) that any realization (e.g. specific initial condition) cannot be predicted with certainty from any other; only through an average of a sufficient number of realizations of the random process can we make statements about the likely properties of any. In what follows, we interpret the term ‘spectrum’ in this latter sense. We discuss approximations we make in order to estimate the spectrum for the spherical region of turbulence under the approximation that the turbulence is locally homogeneous deep within the sphere.
A.1. General definitions
The spatial energy spectrum for an inhomogeneous flow can be formulated from the two-point velocity covariance tensor (written at some moment in time, and we suppress the temporal dependence in what follows)
where
$\mathbb {E}$ is the expectation (ensemble average). Note that the result depends on both the position in the flow
$\boldsymbol {x}$ and the separation vector
$\boldsymbol {r}$ between the observations. The Fourier transform (in the generalized sense) of
$R_{ij}$ over the separation vector gives the cross-spectral density tensor,
where the integral is over the separation vector.
The resulting local kinetic energy spectrum (per unit volume) is
We can define a total kinetic energy spectrum of a domain
$\varOmega$ by integration,
and, by Parseval, the kinetic energy in the entire flow is
$\int \tilde {E}(\boldsymbol {k})\,\mathrm {d} \boldsymbol {k}$. For turbulence that is homogeneous in one or more directions, discussed in more detail below, the integral diverges and the total energy is not defined. However, in that case the local kinetic energy is also uniform in the homogeneous directions, and it is sufficient to speak of the energy per unit volume.
For future reference, using linearity of the expectation operator, we may also write
This form of the spectrum is often written without the expectation operator, but it then refers to the spectrum of a deterministic velocity field rather than that of an underlying random process. Evaluating it with the expectation requires an ensemble of realizations for the general case of inhomogeneous turbulence.
A.2. Homogeneous and locally homogeneous turbulence
Depending on additional hypotheses on the structure of the turbulence, different averaging procedures can be employed to determine a spatial or temporal spectrum in place of the ensemble average over realizations. For example, if the turbulence is hypothesized as ergodic stationary, then the ensemble average can be replaced by a sufficiently long-time average over a single realization. Likewise, if the turbulence is hypothesized as ergodic homogeneous, then a spatial average over any or all homogeneous directions can be used. For example, for the fully (all three directions) homogeneous case, we may write
The resulting cross-spectral density and local energy spectrum will likewise be functions of only the separation or wavenumber vectors, respectively, i.e.
$S_{ij} = S_{ij}({\boldsymbol {r}})$ or
$\tilde {E} = \tilde {E}({\boldsymbol {k}})$. Recall that total energy spectrum
$\tilde {E}(\boldsymbol {k})$ is infinite (undefined) in this case, since the integral over all space diverges.
Provided that the turbulence is locally homogeneous (or homogeneous plus isotropic) over a length scale
$L$ such that
$L \gg l$ (
$l$ the integral scale), then the volume averaging can be performed locally. Define a region
$\varOmega$ centred about
$\boldsymbol {x}$ with scale
$\varOmega \sim L^3$, and define
\begin{equation} \bar{R}_{ij}(\boldsymbol{x}, \boldsymbol{r}) = \frac{1}{ | {\varOmega(x)} | } \left( \int_{\varOmega(x)} u_i(\boldsymbol{x}') u_j(\boldsymbol{x}' + \boldsymbol{r} ) \,\textrm{d}\boldsymbol{x}' \right). \end{equation}
We expect
$\bar {R}_{ij}$ to be a constant over the region of homogeneity (except close to its edge).
A.3. Estimating
$\tilde {E}(\boldsymbol{{k}})$ for the spherical cloud of turbulence
We hypothesize that the turbulence is locally homogeneous over a region deep within the sphere of turbulence. To apply this concept to the spherical cloud, we begin by breaking up the volume in (A 5) into three parts: an inner region (
$\Omega _{ < R}$) deep in the sphere, where we will assume local homogeneity; a transition region (
$\varOmega _{\sim R}$) near the turbulent–irrotational interface; and an outer, irrotational region (
$\varOmega _{>R}$). Thus we write
With local homogeneity over
$\Omega _{ < R}$, we insert (A 7), which is constant with
$\boldsymbol {x}$ over this region, into the first integral, and obtain
\begin{align} \tilde{E}(\boldsymbol{k}) & =\frac{1}{16 {\rm \pi}^3} \int_{\mathbb{R}^3} \int_{\varOmega_{ < R}}u_i( \boldsymbol{x}) u_i(\boldsymbol{x} + \boldsymbol{r} ) \, \textrm{e}^{-\textrm{i} \boldsymbol{k} \boldsymbol{\cdot} \boldsymbol{r}} \,\mathrm{d} \boldsymbol{x} \,\mathrm{d} \boldsymbol{r} \nonumber\\ & \quad + \frac{1}{16 {\rm \pi}^3} \left[ \int_{\varOmega_{\sim R}} + \int_{\varOmega_{ > R}} \right] \mathbb{E} [ u_i(\boldsymbol{x}) u_i(\boldsymbol{x} + \boldsymbol{r}) ] \,\textrm{e}^{-\textrm{i} \boldsymbol{k} \boldsymbol{\cdot} \boldsymbol{r}} \, \mathrm{d} \boldsymbol{x} \,\mathrm{d} \boldsymbol{r} \nonumber\\ & =\frac{1}{16 {\rm \pi}^3} \int_{\mathbb{R}^3} \int_{\mathbb{R}^3} u_i(\boldsymbol{x}) u_i(\boldsymbol{x} + \boldsymbol{r} ) \, \textrm{e}^{-\textrm{i} \boldsymbol{k} \mathrm{d}\boldsymbol{x} \boldsymbol{\cdot} \boldsymbol{r}} \,\mathrm{d} \boldsymbol{r} + E^{\prime}_{\varOmega_{\sim R}} + E^{\prime}_{\varOmega_{ > R}} (\boldsymbol{k}), \end{align}where the remainder terms are of the form of a difference between the ensemble average and one realization, i.e.
In breaking up the integral in this way, we highlight that we can integrate the velocity field from a single simulation over free space and obtain the correct ensemble-averaged spectrum up to a statistical error associated only with the difference between one realization and the ensemble average only over the transition and outer regions.
Regarding the transition region, the contribution to the overall energy scales with the volume of this region,
$4 {\rm \pi}\sigma R^2$, where
$\sigma$ is the width of the transition region. By making the initial sphere large compared to
$\sigma$ and the correlation length (integral scale),
$\ell (x)$, this error can, at least in principle, be made indefinitely small compared to the first term.
Regarding the outer region, the irrotational velocity field decays at least as fast as
$|\boldsymbol {x}|^{-3}$ when the initial impulse is non-zero. For wavenumber
$k$ not too small, we expect this to produce only a small contribution to the total energy spectrum. However, as
$k \rightarrow 0$, this term will eventually dominate the spectrum, and the behaviour at low
$k$ will be
$O(k^2)$ provided the initial impulse is non-zero. Indeed, we therefore do not expect the low-wavenumber spectrum to be universal, as it depends on how much impulse there is in the initial condition, which, as described in § 2.3, is arbitrary and can be contrived, with little effect on the resulting turbulence, to have any value (including zero). When the impulse is zero, the resulting
$k^4$ spectrum may be universal over a broader range of low wavenumbers, but is still contrived as
$k \rightarrow 0$.
This discussion has strong, but unsurprising, implications about whether the low-wavenumber spectrum of any turbulent flow can be considered to be universal. An alternative interpretation is that it is associated with the initial/boundary conditions and can be arbitrarily manipulated independently of the turbulence behaviour at smaller scales. In any event, it is clear that, in the present simulations, the low-wavenumber behaviour is wholly controlled by the (arbitrary) initial condition. At sufficiently long time, after the turbulence has substantially decayed, the error terms above will eventually dominate the spectrum, resulting in a (in the case of finite impulse) fat vortex ‘puff’ whose properties are solely related to the initial condition.
If the error terms are neglected, (A 9) is identical to (A 5), but without the expectation. It has been used before to express the energy spectra of deterministic velocity fields but its equivalence (to within the error) to the ensemble-averaged spectrum of a random process, under local homogeneity, has not to our knowledge been reported elsewhere. It is interesting that the error vanishes like the ratio of the volume of inhomogeneous turbulence to volume of homogeneous turbulence.
Appendix B. Spectrum: analytical and computational details
For
$kR \gtrsim 1$, (2.9) is evaluated using the 3-D vorticity form
\begin{align} & =\frac{1}{16 {\rm \pi}^3} \int_{\mathbb{R}^3} \int_{\mathbb{R}^3} \frac{1}{|\boldsymbol{k}|^2} \boldsymbol{ \omega}(\boldsymbol{x}) \boldsymbol{\cdot} \boldsymbol{ \omega}(\boldsymbol{x}') \exp({-\textrm{i} \boldsymbol{k} \boldsymbol{\cdot} (\boldsymbol{x}'-\boldsymbol{x})}) \, \mathrm{d} \boldsymbol{x} \,\mathrm{d} \boldsymbol{x}' \nonumber\\ &= \frac{1}{16{\rm \pi}^3 |\boldsymbol{k}|^2}\mathcal{F}\{\boldsymbol{ \omega}(\boldsymbol{x})\} \boldsymbol{\cdot} \overline{\mathcal{F}\{\boldsymbol{ \omega}(\boldsymbol{x})\} }, \end{align}
where
$\mathcal {F}\{ \cdot \}$ denotes the Fourier transform and
$S_k$ denotes a spherical shell of radius
$k$. Fast Fourier transform is used to efficiently evaluate (B 2) and zero padding is applied to attenuate the effect from the spurious periodicity.
For
$kR \lesssim 1$, (B 2) must be evaluated carefully to avoid numerical singularity. For these values, we expand the integral in a Taylor series about
$k=0$ to obtain
\begin{equation} E(k) = \frac{1}{4{\rm \pi}^2}\sum_{i=1}^{\infty} (-1)^i\frac{1}{(2i+1)!} k^{2i} \int_{\mathbb{R}^3} |\boldsymbol{r}|^{2i} \mathcal{F}^{-1} \left\{\mathcal{F}\{\boldsymbol{ \omega} \} \boldsymbol{\cdot} \overline{\mathcal{F}\{\boldsymbol{ \omega}\}}\right\}(\boldsymbol{r}) \,\mathrm{d} \boldsymbol{r}, \end{equation}
which already uses the relation that
$\int \boldsymbol { \omega }(\boldsymbol {x}) \,\mathrm {d} \boldsymbol {x}=0$. For all results presented here, up to 10 terms are used to yield an accurate spectrum for the low-wavenumber limit.
A more common form in terms of the velocity field for the low-wavenumber limit can be derived by expanding (B 1) as
\begin{equation} E(k)=\frac{1}{4{\rm \pi}^2}\sum_{i=0}^{\infty} (-1)^i\frac{1}{(2i+1)!} k^{2i+2} \int_{\mathbb{R}^3} |\boldsymbol{r}|^{2i} \mathcal{F}^{-1} \left\{\mathcal{F}\{\boldsymbol{u} \} \boldsymbol{\cdot} \overline{\mathcal{F}\{\boldsymbol{u}\}}\right\}(\boldsymbol{r}) \, \mathrm{d} \boldsymbol{r}. \end{equation}Comparing the corresponding terms in (B 1) and (B 2) gives another relation:
\begin{align} & \int_{\mathbb{R}^3}\int_{\mathbb{R}^3} r^{2p+2} \boldsymbol{ \omega}(\boldsymbol{x}) \boldsymbol{\cdot} \boldsymbol{ \omega}(\boldsymbol{x}+\boldsymbol{r})\,\mathrm{d} \boldsymbol{x} \,\mathrm{d}\boldsymbol{r} \nonumber\\ &\quad = -(2p+2) (2 p+3) \int_{\mathbb{R}^3} \int_{\mathbb{R}^3} r^{2p} \boldsymbol{u}(\boldsymbol{x}) \boldsymbol{\cdot} \boldsymbol{u}(\boldsymbol{x}+\boldsymbol{r}) \,\mathrm{d}\boldsymbol{x} \,\mathrm{d} \boldsymbol{r}. \end{align} Lastly one can show that the
$k^2$ term in (B 4) is related to the total vorticity impulse
$\boldsymbol {J}_\omega$ through
where







































































