1. Introduction
The sheer complexity of turbulence leads to the description of its features in abstract terms such as ‘eddies’. For instance, texts often resort to amorphous forms referred to as ‘blobs’, ‘parcels’ and ‘soups’ to illustrate theoretical constructs (Tennekes & Lumley Reference Tennekes and Lumley1972; Frisch Reference Frisch1995; Davidson Reference Davidson2015). In the last few decades, research efforts in the area of coherent structures has given more definitive shape to persistent turbulent features (Cantwell Reference Cantwell1981; Robinson Reference Robinson1991; Jiménez Reference Jiménez2018). The smallest features associated with the dissipative range of scales – often identified as coherent regions of velocity gradient statistics – resemble sheets and tubes of lower-magnitude vorticity, worm-like filaments of intense vorticity and sheets of intense dissipation (e.g. Batchelor & Townsend Reference Batchelor and Townsend1949; Kuo & Corrsin Reference Kuo and Corrsin1972; She, Jackson & Orszag Reference She, Jackson and Orszag1990; Jiménez et al. Reference Jiménez, Wray, Saffman and Rogallo1993; Vincent & Meneguzzi Reference Vincent and Meneguzzi1994; Moisy & Jiménez Reference Moisy and Jiménez2004; Elsinga & Marusic Reference Elsinga and Marusic2010). These shapes, akin to rods and slabs, are directly related to the principle invariants of the velocity gradient tensor acting to deform the local fluid.
The physical representation of larger-scale features is specific to the flow configuration. For boundary layer turbulence, identified geometries include packets of hairpin-shaped structures (Head & Bandyopadhyay Reference Head and Bandyopadhyay1981), elongated streak-like structures of coherent velocity (Hwang Reference Hwang2015) that tend to meander (Kevin, Monty & Hutchins Reference Kevin, Monty and Hutchins2019; de Silva et al. Reference de Silva, Chandran, Baidya, Hutchins and Marusic2020), and weakly rotating streamwise rolls (del Álamo et al. Reference del Álamo, Jiménez, Zandonade and Moser2006) coinciding with side-by-side low- and high-momentum streaks (Dennis & Nickels Reference Dennis and Nickels2011). Within the span of turbulent scales, these features correspond to the production range exhibiting a $-1$ power-law exponent in the energy spectrum (Tchen Reference Tchen1953; Perry & Chong Reference Perry and Chong1982; Perry, Henbest & Chong Reference Perry, Henbest and Chong1986; Nickels et al. Reference Nickels, Marusic, Hafez and Chong2005; Katul, Porporato & Nikora Reference Katul, Porporato and Nikora2012; Calaf et al. Reference Calaf, Hultmark, Oldroyd, Simeonov and Parlange2013) and (very-)large-scale motions whose length exceeds the boundary layer thickness (Kim & Adrian Reference Kim and Adrian1999; Guala, Hommema & Adrian Reference Guala, Hommema and Adrian2006; Balakumar & Adrian Reference Balakumar and Adrian2007; Smits, McKeon & Marusic Reference Smits, McKeon and Marusic2011; Lee et al. Reference Lee, Lee, Choi and Sung2014).
The spatial organization of these small- and large-scale features is apparent in the framework of uniform momentum zones (UMZs) (Meinhart & Adrian Reference Meinhart and Adrian1995). In this framework, the outer region of high-Reynolds-number boundary layers is approximated as a population of relatively uniform streamwise velocity regions, i.e. UMZs (Adrian, Meinhart & Tomkins Reference Adrian, Meinhart and Tomkins2000; de Silva, Hutchins & Marusic Reference de Silva, Hutchins and Marusic2016). The generic definition of UMZs can encompass more specific coherent features discussed above. For instance, near-wall UMZs bear the signature of three-dimensional streaks in the buffer and logarithmic regions (Hwang & Sung Reference Hwang and Sung2018; Cheng et al. Reference Cheng, Li, Lozano-Durán and Liu2020; Bae & Lee Reference Bae and Lee2021) and UMZs farther from the wall resemble bulges in the outer region of the boundary layer (Kovasznay, Kibens & Blackwelder Reference Kovasznay, Kibens and Blackwelder1970; Falco Reference Falco1977). The size and velocity scaling behaviour of UMZs is directly related to ensemble statistics such as the logarithmic mean velocity profile (Heisel et al. Reference Heisel, de Silva, Hutchins, Marusic and Guala2020). Further, the most intense small-scale features such as vortex cores are intermittently distributed and often reside along thin high-shear layers that align with the interfaces between UMZs (Eisma et al. Reference Eisma, Westerweel, Ooms and Elsinga2015; de Silva et al. Reference de Silva, Philip, Hutchins and Marusic2017; Heisel et al. Reference Heisel, Dasari, Liu, Hong, Coletti and Guala2018; Bautista et al. Reference Bautista, Ebadi, White, Chini and Klewicki2019; Gul, Elsinga & Westerweel Reference Gul, Elsinga and Westerweel2020; Heisel et al. Reference Heisel, de Silva, Hutchins, Marusic and Guala2021).
Despite the progress characterizing the size and shape of coherent flow regions, there remains a knowledge gap pertaining to intermediate eddies. The large-scale velocity regions and small dissipative features described above do not account for the inertial subrange of turbulent scales that occupies the Fourier space between the integral and dissipative motions (Kolmogorov Reference Kolmogorov1941; Obukhov Reference Obukhov1941; Kolmogorov Reference Kolmogorov1962). This region is characterized by power-law exponents $-$5/3 and 2/3 in the energy spectrum and the second-order structure function, respectively (Kolmogorov Reference Kolmogorov1941). Perhaps the most successful endeavor to identify inertial subrange eddies in physical space comes from the study of fractal geometries in turbulence (Mandelbrot Reference Mandelbrot1974; Frisch, Sulem & Nelkin Reference Frisch, Sulem and Nelkin1978; Mandelbrot Reference Mandelbrot1982). Fractal isosurfaces and interfaces are naturally consistent with the signature of self-similarity across the inertial scales and these geometries have been observed for a variety of turbulent flows (Sreenivasan & Meneveau Reference Sreenivasan and Meneveau1986; Constantin, Procaccia & Sreenivasan Reference Constantin, Procaccia and Sreenivasan1991; Meneveau & Sreenivasan Reference Meneveau and Sreenivasan1991; Sreenivasan Reference Sreenivasan1991; Brandenburg et al. Reference Brandenburg, Procaccia, Segel and Vincent1992; Moisy & Jiménez Reference Moisy and Jiménez2004; Lozano-Durán, Flores & Jiménez Reference Lozano-Durán, Flores and Jiménez2012; de Silva et al. Reference de Silva, Philip, Chauhan, Menevau and Marusic2013; Borrell & Jiménez Reference Borrell and Jiménez2016, among others). Yet, many of the observations are limited to coarse approximations of fractal attributes due to the requirement for high-fidelity measurements in flows with sufficient scale separation (i.e. high Reynolds number) for an extensive self-similar range of scales to develop. In particular, the estimated fractal dimension can appear scale-dependent due to both experimental factors and Reynolds-number effects (Catrakis & Dimotakis Reference Catrakis and Dimotakis1996; Catrakis Reference Catrakis2000; Iyer et al. Reference Iyer, Schumacher, Sreenivasan and Yeung2020; Heisel Reference Heisel2022), which may explain conflicting findings on the existence of monofractals in turbulence (e.g. Miller & Dimotakis Reference Miller and Dimotakis1991; Praskovsky et al. Reference Praskovsky, Foss, Kleis and Karyakin1993; Villermaux & Innocenti Reference Villermaux and Innocenti1999). In consideration of these challenges, it has not been conclusively shown that the fractal geometry of isosurfaces in turbulence coincides specifically with the inertial subrange, despite suggested associations (e.g. Sreenivasan & Meneveau Reference Sreenivasan and Meneveau1986; Sreenivasan, Ramshankar & Meneveau Reference Sreenivasan, Ramshankar and Meneveau1989).
To this end, the topic of fractal geometries in turbulence is revisited here using high-Reynolds-number boundary layer measurements. The analysis uses the framework of UMZs to evaluate fractal geometries in the context of recent advances on the topic of coherent flow structures. In particular, de Silva et al. (Reference de Silva, Philip, Hutchins and Marusic2017) observed that streamwise velocity isosurfaces representing the edges of UMZs exhibit self-similar fractal properties. The present work expands on this finding by assessing the geometric properties of UMZs with a focus on the inertial subrange of scales. The study seeks to elucidate how flow features in physical space reflect the statistical signature of inertial subrange eddies. The term ‘self-similar’ is used here to describe geometries whose fine- and coarse-scaled features have the same statistical shape properties, which yields power-law behaviour in scale-dependent statistics. This meaning is distinct from self-similarity in the overall size and aspect ratio of large-scale features across varying wall-normal distances, which is also a characteristic of boundary layer turbulence (e.g. del Álamo et al. Reference del Álamo, Jiménez, Zandonade and Moser2006; Lozano-Durán et al. Reference Lozano-Durán, Flores and Jiménez2012; Baars, Hutchins & Marusic Reference Baars, Hutchins and Marusic2017; Baidya et al. Reference Baidya, Philip, Hutchins, Monty and Marusic2017; Dong et al. Reference Dong, Lozano-Durán, Sekimoto and Jiménez2017).
An important consideration for boundary layers and other shear flows is the presence of large-scale anisotropy. The spanwise and wall-normal velocity components have narrower power-law scaling regions than the streamwise component (Saddoughi & Veeravalli Reference Saddoughi and Veeravalli1994). Further, the assumption of local small-scale isotropy leading to the prediction for inertial subrange scaling (Kolmogorov Reference Kolmogorov1941) is often violated for higher-order statistics (Shen & Warhaft Reference Shen and Warhaft2000). Despite these limitations, the energy spectrum and second-order structure function for the streamwise velocity exhibit a power-law behaviour consistent with the original predictions of Kolmogorov's theory, even for modest Reynolds numbers (e.g. Bradshaw Reference Bradshaw1969; Saddoughi & Veeravalli Reference Saddoughi and Veeravalli1994; Byers et al. Reference Byers, Hultmark, Marusic and Fu2021). Accordingly, the present work focuses on the geometric features and scaling behaviour specific to the streamwise velocity component and its second-order statistics. Attributes of the spanwise and wall-normal velocity statistics are not explored herein.
The remainder of the article is organized as follows: § 2 summarizes the measurements and methodology; § 3 presents the primary results; and § 4 summarizes and discusses the findings in the context of turbulence phenomenology. Detailed accounts of the methodologies are provided in appendices A–C.
2. Methodology
2.1. Experiment
The measurements presented herein were acquired using particle image velocimetry (PIV) in the High Reynolds Number Boundary Layer Wind Tunnel at the University of Melbourne. A brief summary of relevant details is provided here and in table 1. A full account of the experiment is given elsewhere (de Silva et al. Reference de Silva, Gnanamanickam, Atkinson, Buchmann, Hutchins, Soria and Marusic2014).
The experiment was conducted under approximately zero-pressure-gradient conditions with free-stream velocity $U_\infty = 20\,{\rm m}\,{\rm s}^{-1}$. The boundary layer thickness $\delta = 0.3\,{\rm m}$ is defined here using the convention $\delta _{99}=z(U=0.99U_\infty )$, where $z$ is the wall-normal position. The friction Reynolds number under these conditions is $\textit {Re}_\tau =\delta u_\tau / \nu = 12\,300$, where $u_\tau$ is the friction velocity and $\nu$ is the kinematic viscosity of the air in the wind tunnel. For reference, the Taylor microscale Reynolds number is in the range $\textit {Re}_\lambda = 450\text {--}550$ across the region of interest.
An eight-camera set-up spanning a large field of view was employed to capture PIV measurements in the streamwise–wall-normal ($x$–$z$) plane. The multi-camera set-up spatially resolved a wide range of scales between the PIV interrogation window size ${l^+=37}$ and the overall streamwise extent of the field $L_x=2\delta$. Throughout this work, the superscript ‘$+$’ indicates wall normalization using $u_\tau$ for velocity and $\nu /u_\tau$ for length. This spatial range captures a majority of the turbulent scales – excluding the Kolmogorov microscales and very-large-scale motions – in a high-Reynolds-number setting. Even though the smallest motions are unresolved, the resolution is sufficient to identify the transition from the inertial subrange to the dissipative scales as discussed in § 2.3. The temporal resolution of the PIV is coarse enough such that each PIV velocity field is treated as an independent realization, and ensemble statistics are computed across realizations.
2.2. Detection of UMZs
Relatively uniform flow regions manifest as peaks in histograms of the local streamwise velocity field $u(x,z)$ (Adrian et al. Reference Adrian, Meinhart and Tomkins2000), where the velocity corresponding to each peak is representative of a distinct UMZ (de Silva et al. Reference de Silva, Hutchins and Marusic2016). At a given instant in time, the number of peaks in the histogram of $u(x,z)$ indicates the number of UMZs in the local flow field. However, this detection is sensitive to the streamwise extent $\mathcal {L}_x$ contributing to each histogram, i.e. how ‘local’ the flow field is. In high-Reynolds-number flows there may be several smaller UMZs across a wide field $\mathcal {L}_x \sim \delta$, where these UMZs collectively smooth the histogram such that the individual peaks are concealed (de Silva et al. Reference de Silva, Hutchins and Marusic2016). Thus, it is often preferable to employ a narrower field scaled in viscous units $\mathcal {L}_x^+ \sim O(10^3)$ (de Silva et al. Reference de Silva, Hutchins and Marusic2016) or a fraction of the outer length scale $\mathcal {L}_x/\delta \sim O(0.1)$ (Heisel et al. Reference Heisel, de Silva, Hutchins, Marusic and Guala2020), depending on the region and statistic of interest.
At the same time, the present analysis relies on the continuity of detected UMZ interfaces across the entire 2$\delta$-wide flow field. A multi-step detection method is employed here to account for these seemingly contradictory requirements. The method combines the two most common approaches in the literature: the histogram-based detection of UMZs (de Silva et al. Reference de Silva, Hutchins and Marusic2016) and the fuzzy clustering detection of their interfaces (Fan et al. Reference Fan, Xu, Yao and Hickey2019). In the first step, the PIV field is divided into twelve segments of width $\mathcal {L}_x^+= 2000$. The local histogram is computed for each segment to estimate the number of peaks (i.e. UMZs) in the segment. The average number of UMZs across all segments, rounded to the nearest integer, is assumed to be representative of the 2$\delta$-wide field.
In the second step, the position of UMZ interfaces are detected using fuzzy clustering as proposed in Fan et al. (Reference Fan, Xu, Yao and Hickey2019), where the inputted number of clusters is based on the number of UMZs determined previously. The clustering algorithm assigns each streamwise velocity data point into a cluster such that the overall velocity variance within clusters is minimized. The velocity of the interfaces, corresponding to the boundaries between clusters, is given by the midpoint between cluster centroids. Here, ‘boundary’ and ‘centroid’ refer to the velocity attributes of the clusters and not their spatial properties. Finally, the position of the UMZ interfaces are determined using isocontours of their velocity. Further details, including an example of the histogram peak detection and a comparison of detected UMZ interfaces with alternate approaches, are provided in Appendix A.
An example flow field with detected UMZ interfaces is shown in figure 1(a). Hereafter, we refer to the UMZ interfaces as velocity isosurfaces owing to their definition. While the present planar measurements limit the detection to isolines on a plane rather than surfaces in a volume, the UMZs and their interfaces have been previously observed in three dimensions (e.g. Chen, Chung & Wan Reference Chen, Chung and Wan2020). The primary limitation of the planar detection employed here is uncertainty in how UMZs connect in the spanwise dimension. For instance, two separate zones of similar momentum may be part of a larger meandering structure (Laskari et al. Reference Laskari, de Kat, Hearst and Ganapathisubramani2018). Additionally, the detected isosurfaces often delineate isolated UMZ ‘pockets’, e.g. near the coordinate ($x\approx 0.4\delta$, $z\approx 0.65\delta$) in figure 1(a). Three-dimensional measurements are required to determine whether these pockets are connected to a larger UMZ and isosurface in the spanwise direction or are due to small-amplitude velocity variability within a UMZ. To avoid potentially spurious detections in the latter case, small pockets with an enclosed area less than 10$\lambda _T^2$ are removed, where the Taylor microscale $\lambda _T$ is the relevant scaling parameter for the interfaces (Eisma et al. Reference Eisma, Westerweel, Ooms and Elsinga2015; de Silva et al. Reference de Silva, Philip, Hutchins and Marusic2017; Heisel et al. Reference Heisel, de Silva, Hutchins, Marusic and Guala2021). The chosen minimum area ensures the interface thickness encompasses no more than half the area of the pockets. While the pocket near ($x\approx 0.4\delta$, $z\approx 0.65\delta$) exceeds the minimum area and is therefore retained, the nearby pockets identified as white-coloured regions are smaller than the threshold and are not included. Appendix B evaluates how the selected minimum area of pockets affects later results, specifically the fractal dimension of the isosurfaces.
A particular point of interest is the imprint of the detected UMZs and their interfaces on a one-dimensional (1-D) velocity signal and its corresponding statistics. Figure 1(b) shows an example 1-D transect of $u(x,z=0.1\delta )$ from panel 1(a), where the vertical lines indicate crossings of the isosurfaces. The intermittency of the crossings is immediately apparent. As expected, crossings occur at the largest ‘jumps’ in velocity near $x \approx \delta$ and $x \approx 1.7\delta$. Previous studies have shown that regions of high shear generally align with UMZ interfaces (de Silva et al. Reference de Silva, Philip, Hutchins and Marusic2017; Gul et al. Reference Gul, Elsinga and Westerweel2020; Chen, Chung & Wan Reference Chen, Chung and Wan2021). However, due to the continuity of the isosurfaces, the interfaces also extend into regions where the shear magnitude is lower. This attribute of the isosurfaces is apparent near $x\approx 0.4\delta$ and $x\approx 0.7\delta$ in figure 1(b) where the clusters of crossings do not align with large velocity changes. Lastly, the filtering of UMZ pockets is evident near $x \approx 0.25\delta$ and $x \approx 0.75\delta$ where a crossing is excluded because the corresponding spatial region in panel 1(a) is too small.
2.3. Limits of the inertial subrange
The methods used to estimate the approximate limits of the inertial subrange are discussed here due to variability in conventions across and within disciplines. As discussed in the introduction, the limits are specifically for statistics of the streamwise velocity component. Later figures indicate these subrange limits for the purpose of placing trends and transitions within the spectrum of turbulent scales. The scaling arguments employed here are preferred over directly detecting the $-$5/3 region in the energy spectrum due to uncertainties in both the spectrum estimate and detection procedure. The estimated limits are supported by later statistics including figure 5(b).
The transition from the inertial subrange to the dissipative scales is approximated based on the Kolmogorov length scale $\eta = (\nu ^3/\epsilon )^{1/4}$, where $\epsilon$ is the average rate of turbulent energy dissipation. The dissipation was estimated as $\epsilon \approx 15 \nu \langle (\partial u / \partial x )^2 \rangle$ assuming local isotropy. Studies have shown the dissipative range to start near the angular wavenumber $k_x = 0.1\eta ^{-1}$ (e.g. Saddoughi & Veeravalli Reference Saddoughi and Veeravalli1994). The equivalent length in physical space, i.e. $2 {\rm \pi}/ k_x \approx 63 \eta$, is used here as the lower limit of the inertial subrange.
The Taylor microscale $\lambda _T^2 = \langle {u^\prime }^2\rangle / \langle (\partial u / \partial x )^2 \rangle$ has also been used as the upper limit of the dissipative range of scales for a variety of flow applications (see, e.g. Cava et al. Reference Cava, Katul, Molini and Elefante2012; Debue et al. Reference Debue, Kuzzay, Saw, Daviaud, Dubrulle, Canet, Rossetto and Wschebor2018; Bandyopadhyay et al. Reference Bandyopadhyay, Matthaeus, Chasapis, Russell, Strangeway, Torbert, Giles, Gershman, Pollock and Burch2020). Further, experimental evidence suggests the intense shear layers and largest vortex cores are proportional to $\lambda _T$ (Eisma et al. Reference Eisma, Westerweel, Ooms and Elsinga2015; de Silva et al. Reference de Silva, Philip, Hutchins and Marusic2017; Heisel et al. Reference Heisel, de Silva, Hutchins, Marusic and Guala2021). Both $\lambda _T$ and $\epsilon$ were estimated here using hotwire anemometry measurements under the same flow conditions as the PIV measurements. The ratio of the parameters is $\lambda _T/\eta \approx 40$ to 45 within the region of interest studied herein. Later results include a limited number of data points between the two possible limits $\lambda _T \approx 40\eta$ and $63\eta$, such that there is no meaningful distinction between the two scaling choices with respect to conclusions drawn herein.
The transition from the inertial subrange to the production range is approximated using a dissipation-based length scale $L_\epsilon = u_\tau ^3/\epsilon$ (Davidson & Krogstad Reference Davidson and Krogstad2014). The friction velocity $u_\tau$ was measured directly from the wall shear stress as $u_\tau = (\nu \partial U /\partial z)^{1/2}$ using separate high-magnification PIV in the viscous sublayer. The measured value was corroborated using a drag balance facility and the Clauser chart method (de Silva et al. Reference de Silva, Gnanamanickam, Atkinson, Buchmann, Hutchins, Soria and Marusic2014). In canonical logarithmic regions with production and dissipation in equilibrium, the length scale simplifies to $L_\epsilon =\kappa z$ and the transition occurs approximately at $z \approx L_\epsilon /\kappa$ (de Silva et al. Reference de Silva, Marusic, Woodcock and Meneveau2015), where $\kappa$ is the von Kármán constant. The limit $L_\epsilon /\kappa$ is therefore employed here, noting that the $L_\epsilon$ basis is preferred over $z$ due to its general extension to roughness layers and other non-equilibrium conditions (Davidson & Krogstad Reference Davidson and Krogstad2014; Chamecki et al. Reference Chamecki, Dias, Salesky and Pan2017; Ghannam et al. Reference Ghannam, Katul, Bou-Zeid, Gerken and Chamecki2018).
With respect to the limits discussed above, the PIV interrogation window size $l/\eta = 14\text {--}18$ is within the dissipative scales and the streamwise field extent $L_x / L_\epsilon = 20\text {--}55$ exceeds the inertial subrange. These ranges are based on the $\eta$ and $L_\epsilon$ values observed within the logarithmic region of the boundary layer. The values confirm that the measurement spatial range captures the full extent of the inertial subrange within the region of interest.
3. Results
3.1. Fractal dimension
A direct method for assessing potential fractal geometries is the box-counting technique (for applications in turbulence see, e.g. Sreenivasan & Meneveau Reference Sreenivasan and Meneveau1986; Moisy & Jiménez Reference Moisy and Jiménez2004; de Silva et al. Reference de Silva, Philip, Chauhan, Menevau and Marusic2013). In this method, the domain is partitioned into boxes of size $b$, and the number of boxes $N_b$ required to enclose the shape is counted. The process is repeated for a series of box sizes by varying $b$. In principle, the box can have as many dimensions as the domain, e.g. a cube box for a flow volume. A square box in the two-dimensional PIV field is employed here. Figure 2(a) shows an example streamwise velocity isosurface and the boxes of size $b$ required to capture the shape.
The statistics for $N_b$ resulting from the box-counting routine are shown as coloured symbols in figure 2(b) for the detected UMZ interfaces. Due to the large range in $z$ spanned by each convoluted isosurface, the statistics are grouped based on the velocity $u_i$ of the isosurfaces. The wall-normal position associated with each isosurface is then taken as the position $z(U=u_i)$ where the mean velocity matches $u_i$. The groups in figure 2(b) correspond to four $z/\delta$ positions within the logarithmic region. The purpose of associating the velocity groups with a position $z$ is to estimate the inertial subrange limits using local values of $\eta (z)$ and $L_\epsilon (z)$. These limits – whose definitions are given in § 2.3 – are shown as vertical dashed lines in figure 2(b). In figure 2 and later figures, the normalizations relevant to both limits of the inertial subrange are shown for completeness.
For statistically self-similar geometries, the resulting relation between $b$ and $N_b$ follows a power law
where $D_j$ is the fractal dimension of the geometry and the subscript $j$ is used here to indicate the dimension of the box (e.g. $j= 2$ for the square box in this case). The shape of $N_b(b)$ reveals the range of scales where the isosurface geometries are self-similar. For instance, the central region of each curve in figure 2(b) appears to follow a linear trend in the plotted log-scaled format, consistent with a power law as in (3.1).
A more rigorous test of the power-law relation is achieved by estimating the local (in scale) fractal dimension as $D_2(b) = - d \log {(N_b)}/d \log {(b)}$, which is shown in figure 2(c). The fractal dimension for each wall-normal position is approximately constant within the estimated inertial subrange of scales near the value $D_2 \approx 1.2$ represented by horizontal lines in figure 2(c). This value matches previous estimates of $D_2$ using the same PIV experiment and a different method to detect UMZ interfaces (de Silva et al. Reference de Silva, Philip, Hutchins and Marusic2017). The results are also consistent with fits to each curve in the inertial subrange which yield values for $D_2$ between 1.2 and 1.22. The range of scales exhibiting the constant $D_2 \approx 1.2$ in figure 2(c) is specifically confined to the inertial subrange, which grows with increasing distance from the wall and spans a full decade for $z/\delta =0.2$ ($\triangledown$). Previous studies of UMZ interfaces employed narrower streamwise segments $\mathcal {L}_x = 2000 \nu /u_\tau \approx 0.2 \delta$ such that the upper limit of the inertial subrange was not evident in the box-counting results (de Silva et al. Reference de Silva, Philip, Hutchins and Marusic2017). While there is evidence for a constant fractal dimension for scalar concentration isosurfaces in simulations of isotropic turbulence (Iyer et al. Reference Iyer, Schumacher, Sreenivasan and Yeung2020), the monofractal behaviour confined to the inertial subrange in figure 2 is new for velocity isosurfaces within the boundary layer.
Several tests were conducted to assess the robust nature of the results in figure 2. The first test identified velocity isosurfaces between the UMZ interfaces. For a UMZ whose bounding interface isosurfaces are defined by the velocities $u_i$ and $u_{i+1}$, an isosurface of the velocity $0.5(u_i+u_{i+1})$ was assumed to represent facets internal to the UMZ. The dashed lines in figure 2(a) correspond to these internal isosurfaces, and the grey filled symbols in figure 2(b,c) show the corresponding box-counting results. The internal isosurfaces have the same self-similar behaviour as the UMZ interfaces, where the fractal dimension $D_2 \approx 1.2$ is constant within the inertial subrange. The second test analysed isosurfaces of the fixed velocity $U(z=0.1\delta )$ which is independent of the UMZ detection. Again, the same result for $D_2$ (not shown here) was observed. The final test repeated the analysis using measurements under varying flow conditions (de Silva et al. Reference de Silva, Gnanamanickam, Atkinson, Buchmann, Hutchins, Soria and Marusic2014) including for rough surfaces (Squire et al. Reference Squire, Morrill-Winter, Hutchins, Marusic, Schultz and Klewicki2016), and the same quantitative results were observed. The findings of these tests suggest the constant fractal dimension within the inertial subrange is a general feature of velocity isosurfaces internal to the boundary layer, and is not a unique property of UMZ interfaces dependent on the present flow conditions.
As discussed elsewhere (de Silva et al. Reference de Silva, Philip, Hutchins and Marusic2017), the observed fractal dimension $D_2 \approx 1.2$ is lower than the approximate value 1.33 reported for the turbulent–non-turbulent interface (TNTI) (Sreenivasan & Meneveau Reference Sreenivasan and Meneveau1986; de Silva et al. Reference de Silva, Philip, Chauhan, Menevau and Marusic2013; Chauhan et al. Reference Chauhan, Philip, de Silva, Hutchins and Marusic2014; Borrell & Jiménez Reference Borrell and Jiménez2016). One-dimensional box counts presented in Appendix C suggest the lower $D_2$ value estimated here may be due to anisotropy in the shape of the largest geometric features along the velocity isosurfaces. The expected 1-D fractal estimate $D_1\approx 1/3$ is achieved by excluding local regions where the largest features yield a trivial box-counting result. As seen in Appendix B, the dimension $D_2$ is also sensitive to the treatment of ‘pockets’ described in § 2.2. Filtering of pockets introduces a subjective distinction between small-scale features and isosurfaces that should be counted towards statistical self-similarity. Based on Appendices B and C, the differing values for $D_2$ may be due to limitations and subtle differences in methodology. Accordingly, the critical result here for $D_2$ is its constancy within the inertial subrange of scales rather than its precise numerical value.
3.2. Crossing distributions
As introduced previously in figure 1(b), the convoluted isosurfaces appear as ‘crossings’ along 1-D streamwise transects of the flow. These transect crossings provide low-order information on the position of velocity changes along $x$. The information is considered low order because the complexity of the continuous velocity signal is reduced to discrete instances where the signal crosses the isosurface velocity $u_i$.
The crossings of detected UMZ interfaces are closely related to so-called zero crossings (Liepmann Reference Liepmann1949; Liepmann, Laufer & Liepmann Reference Liepmann, Laufer and Liepmann1951; Badri Narayanan, Rajagopalan & Narasimha Reference Badri Narayanan, Rajagopalan and Narasimha1977; Sreenivasan, Prabhu & Narasimha Reference Sreenivasan, Prabhu and Narasimha1983; Kailasnath & Sreenivasan Reference Kailasnath and Sreenivasan1993; Poggi & Katul Reference Poggi and Katul2009). In a zero crossing analysis, point measurements such as hotwire anemometry are used to locate where the velocity signal crosses the mean velocity, i.e. where the fluctuating velocity $u^\prime =u-U$ is zero. In the context of the present analysis, zero crossings are restricted to a single streamwise velocity isosurface $u_i=U(z)$ for a transect measured at $z$. The crossings presented here are generalized to allow for multiple isosurfaces that can differ from the local mean velocity.
An important property of the crossings is the streamwise distance $\delta x_i$ between consecutive isosurface crossings. For reference, the zero crossings literature refers to the distance between crossings as the interpulse period (Sreenivasan & Bershadskii Reference Sreenivasan and Bershadskii2006; Cava et al. Reference Cava, Katul, Molini and Elefante2012) or the persistence (Perlekar et al. Reference Perlekar, Ray, Mitra and Pandit2011; Chamecki Reference Chamecki2013; Chowdhuri, Kalmár-Nagy & Banerjee Reference Chowdhuri, Kalmár-Nagy and Banerjee2020). Figure 3(a) illustrates the definition of $\delta x_i$ using isosurfaces of detected UMZ interfaces that cross a 1-D signal at $z=0.1\delta$. Because multiple UMZ interfaces are present within the boundary layer, the segments of length $\delta x_i$ can be bounded by either the same velocity isosurface or different isosurfaces. Separate statistics are presented for these two scenarios.
Figure 3(b,c) shows probability distributions of $\delta x_i$ for transects along four wall-normal positions within the log region. The distributions are presented as number densities $N_d$, where the total area under the distribution represents the number of measured $\delta x_i$ events. The number density allows for a direct comparison between the two crossing scenarios described above: for a given value of $\delta x_i$, the scenario with larger $N_d(\delta x_i)$ is relatively more frequent and, thus, contributes more to overall statistics. The distribution for all values of $\delta x_i$, shown as a solid line in figure 3(b,c), is simply the sum of the individual $N_d$ distributions.
The distribution shape for $\delta x_i$ between crossings of the same isosurface is in close agreement with previous observations for the zero crossing interpulse period. Intermediate distances are well approximated by a power law (Bershadskii et al. Reference Bershadskii, Niemela, Praskovsky and Sreenivasan2004), and the shape transitions to an exponential tail across longer distances (Sreenivasan et al. Reference Sreenivasan, Prabhu and Narasimha1983; Cava et al. Reference Cava, Katul, Molini and Elefante2012; Chamecki Reference Chamecki2013). The exponential trend is more apparent from the log–linear plots presented in figure 3(c). Previous studies have described the shortest interpulse periods using a log–normal distribution (Badri Narayanan et al. Reference Badri Narayanan, Rajagopalan and Narasimha1977; Sreenivasan & Bershadskii Reference Sreenivasan and Bershadskii2006), but the present PIV measurements do not resolve the trends at the dissipative scales where the log–normal distribution is expected.
Within the inertial subrange of scales, the power-law exponent for $N_d(\delta x_i)$ between crossings of the same isosurface is approximately $-$1.5 regardless of position $z$. The slope again agrees with results for zero crossings (Bershadskii et al. Reference Bershadskii, Niemela, Praskovsky and Sreenivasan2004; Cava et al. Reference Cava, Katul, Molini and Elefante2012). Based on the amplitude of $N_d$ in figure 3(b), $\delta x_i$ values corresponding to the inertial subrange are predominately due to crossings of the same isosurface. Even though $\delta x_i$ values between different isosurfaces are not self-similar in this region, the behaviour along a single isosurface has leading-order importance such that the overall curve still approximates a power law. However, the overall power-law exponent ($-$1.3) is somewhat flattened by the contributions of $\delta x_i$ between crossings of different isosurfaces. The trends in figures 2 and 3(b) demonstrate that the signature of self-similarity in the inertial subrange is reflected by the geometry of individual streamwise velocity isosurfaces. The behaviour across consecutive isosurfaces, which is related to the amplitude of velocity variations, affects the power-law exponent but does not contribute directly to the self-similarity.
Across longer $\delta x_i$ crossing intervals, the $N_d$ trends transition and the statistics between different isosurfaces gain leading-order importance within the production range of scales. The exact transition point where the $N_d$ curves intersect is sensitive to the detection of UMZs, and the result is discussed here qualitatively. The transition corresponds to a shift from a power-law distribution to an exponential tail seen in figure 3(c). The tail slope varies moderately between wall-normal positions, suggesting a normalization parameter other than $L_\epsilon$ is required to describe variations in the tail slope. The results agree with previous works that observed the exponential tail to deviate from the integral scales (Chamecki Reference Chamecki2013). This trend is not the focus of the present analysis, and is not explored further here.
The results in figure 3 were reproduced using randomized data sets to ensure the $N_d$ distributions are not an artifact of the methodology. Synthetic velocity fields generated using random Gaussian noise do not contain any large-scale organization or UMZ signature (de Silva et al. Reference de Silva, Hutchins and Marusic2016), and all observed trends in $N_d$ are lost. In a separate test, the streamwise velocity fluctuations in each PIV field were randomized in their phase (Theiler et al. Reference Theiler, Eubank, Longtin, Galdrikian and Farmer1992). Phase randomization of the two-dimensional Fourier transform preserves the original two-dimensional energy spectrum and correlations of the velocity. The phase-randomized data produces the same overall shape of $N_d$ due to the relation between the crossing distributions and the spectrum (Bershadskii et al. Reference Bershadskii, Niemela, Praskovsky and Sreenivasan2004; Poggi & Katul Reference Poggi and Katul2009; Heisel Reference Heisel2022). However, there are fewer crossings between different isosurfaces and its distribution is no longer exponential within the inertial subrange. The result indicates that the observed transition in statistics between the inertial and production ranges is related to aspects of the flow structure that are distorted during phase randomization.
The figure 3 trends can be used to interpret the transition from the inertial subrange to the production range of scales in the context of coherent structures. The $\delta x_i$ values between different isosurfaces represent the distances between adjacent UMZ edges. The distance across UMZs, and more generally the overall geometry of the large-scale velocity regions, becomes the limiting factor within the production range. The confinement of the self-similar isosurfaces by the large-scale organization of the flow is consistent with the sharp decline of $N_d$ in figure 3(b) and the deviation from a constant fractal dimension in figure 2(c). In this sense, the statistically relevant property of the flow geometry is the self-similarity of isosurfaces in the inertial subrange, and the size of the coherent velocity regions in the production range. This interpretation of the production range is essentially the same as the existing viewpoint (Perry & Chong Reference Perry and Chong1982) and is supported by direct observations of UMZ sizes (Heisel et al. Reference Heisel, Dasari, Liu, Hong, Coletti and Guala2018, Reference Heisel, de Silva, Hutchins, Marusic and Guala2020) and distances between coherent velocity regions (Dong et al. Reference Dong, Lozano-Durán, Sekimoto and Jiménez2017).
3.3. Conditional structure functions
The remainder of the analysis quantifies how the self-similar geometries influence scale-dependent statistics such as the structure function. The second-order longitudinal structure function of the streamwise velocity is defined as
where $x_o$ is the reference point for each instantaneous structure function, $r_x$ is the streamwise distance from the reference, and angled brackets ‘$\langle \cdot \rangle$’ indicate an ensemble average across all $x_o$ at a given wall-normal position. The function quantifies the cumulative velocity increment from the reference point up to distance $r_x$. Only the second-order longitudinal structure function is discussed in this study, and hereafter $\langle {\rm \Delta} u^2 \rangle$ is referred to as ‘the structure function’ for simplicity.
To assess the contribution of spatial features such as the detected streamwise velocity isosurfaces to the structure function statistics, the ensemble averaging operator in (3.2) can be replaced by a conditional averaging operator based on an additional parameter related to the spatial features. The parameter $\delta x_o = x_i-x_o$ describes the distance from a given reference point $x_o$ to the nearest crossing $x_i$ of a detected streamwise velocity isosurface. Figure 4(a) shows the definition of $\delta x_o$ for an example isosurface. Rather than ensemble averaging across all $x_o$, the conditional averaging operator only considers instances where $\delta x_o$ is a specified value. The result is a structure function dependent on both $r_x$ and the distance $\delta x_o$ to the nearest isosurface,
where the notation ‘$\vert _{\delta x_o}$’ is used to indicate the conditional averaging.
The traditional structure function using (3.2) is discussed here prior to introducing the conditional results. Figure 4(b) shows $\langle {\rm \Delta} u^2 \rangle$ for the wall-normal position $z=0.1\delta$. A power-law slope of 2 describes the smallest $r_x$ increments, but is not assessed here due to spatial resolution limitations. This power-law exponent is predicted from the Kármán–Howarth equation when viscous diffusion dominates over inertial mechanisms (Pope Reference Pope2000). In the inertial subrange, Kolmogorov's second similarity hypothesis predicts $\langle {\rm \Delta} u^2 \rangle \sim r_x^{2/3}$, which is well supported by measurements and simulations (Pope Reference Pope2000). However, the 2/3 signature in figure 4(b) is not strictly constant within the inertial subrange. The changing slope within the inertial subrange is a known limitation of structure function statistics, and is in part due to the inclusion of other small- and large-scale effects in the cumulative velocity increment ${\rm \Delta} u$ (see, e.g. Davidson & Pearson Reference Davidson and Pearson2005).
Conditional structure functions $\langle {\rm \Delta} u^2 \rangle \vert _{\delta x_o}$ for four values of $\delta x_o$ are shown in figure 4(c). The four values were chosen to represent a range within and beyond the inertial subrange. By fixing the position of the nearest detected isosurface $\delta x_o$, and considering the isosurfaces are a low-order representation of velocity changes as discussed previously, it is expected that the resulting conditional average will yield a large velocity increment near $r_x \approx \delta x_o$. Large ‘jumps’ in $\langle {\rm \Delta} u^2 \rangle \vert _{\delta x_o}$ are indeed observed at $r_x \approx \delta x_o$. Further, each conditional curve converges to the overall result $\langle {\rm \Delta} u^2 \rangle$ across long distances where the imposed $\delta x_o$ condition is no longer relevant. The thickness of the jumps (in terms of $r_x$) is in part due to viscous effects that act to smooth the velocity gradients. Accordingly, the jump thickness for $\delta x_o \approx 30 \eta$ spans most of the dissipative range, but appears increasingly sharp for the other cases along the logarithmic abscissa.
The behaviour of the jumps in $\langle {\rm \Delta} u^2 \rangle \vert _{\delta x_o}$, in comparison to the approximate power law within the inertial subrange, demonstrates the features underlying the ensemble-averaged structure function. The power-law relation is not apparent from any given instantaneous velocity increment ${\rm \Delta} u(x_o,r_x) = u(x_o+r_x)-u(x_o)$. Rather, it is the stochastic result of variability in the positions of the isosurfaces across numerous instances, where the position is parameterized as $\delta x_o$ in figure 4. The distributions in figure 3 already showed that the variability is statistically self-similar in the inertial subrange, a direct result of the fractal dimension in figure 2. The structure function power law may therefore result from a composite of ‘jumps’ across self-similar velocity isosurfaces. This possibility is explored in the following section using a simplified velocity signal.
3.4. Simplified velocity signal
The crossing positions in § 3.2 (figure 3) encompass the geometric properties of the isosurfaces evaluated in § 3.1 (figure 2). Here, the measured 1-D velocity signal is reduced to these crossing properties. By removing aspects of the signal unrelated to the isosurface crossings, the simplified signal is used to demonstrate how the self-similar signature of the multi-dimensional isosurface geometries translates to scale-dependent statistics of the longitudinal signal, specifically the structure function.
In a zero crossing analysis, the simplification is accomplished using the telegraph approximation (TA) (e.g. Bershadskii et al. Reference Bershadskii, Niemela, Praskovsky and Sreenivasan2004). The TA signal is assigned a value of 1 or 0 depending on the sign of the fluctuating velocity: $u_{TA}=1$ where $u^\prime >0$ and $u_{TA}=0$ where $u^\prime <0$. The basic principles of the TA signal are generalized here to construct a simplified signal $u_\pm$ based on the detected streamwise velocity isosurfaces. Hereafter, $u_\pm$ is referred to as the ‘iso-crossing’ signal.
The 1-D iso-crossing signal is assigned an initial value $u_\pm (x=0)=0$. At each isosurface crossing position $x_i$, $u_\pm$ is increased by 1 if $\partial u / \partial x> 0$ and is decreased by 1 if $\partial u / \partial x < 0$ based on the gradient at the crossing. The iso-crossing signal therefore contains information on the position and sign of the velocity change for each crossing. The signal is equivalent to $u_{TA}$ for mean velocity crossings $u_i=U$, and additionally allows for multiple isosurfaces of any arbitrary velocity $u_i$.
Figure 5(a) shows an example iso-crossing signal in comparison with the measured velocity $u$. To negate the effect of the velocity magnitude in the visual comparison, the $u$ signal is normalized to achieve the same standard deviation as the $u_\pm$ signal, and the values are shifted to achieve $u(x=0)=0$. The presence of multiple isosurfaces with different velocities $u_i$ leads to $u_\pm$ values beyond 0 and 1. The four observed values of $u_\pm$ ranging from $-$1 to 2 indicate that the example 1-D signal spans four UMZs.
Structure function statistics for $u$ and $u_\pm$ are presented in figure 5(b,c). To facilitate comparison of the trends, the iso-crossing structure functions are increased by a constant factor such that the curves are shifted closer to the measured results. The shift does not affect the shape or slope of the curves in figure 5(b). The shift does increase the slope of the linear region for the $u_\pm$ curves in figure 5(c), but it does not change the fact that an approximately linear region exists.
The primary difference between the structure functions is the excess variability for the iso-crossing signal at small $r_x$ distances corresponding to the dissipative scales. The larger values are due to the removal of viscous smoothing effects in favour of discontinuous jumps in $u_\pm$. Otherwise, despite the limited information in the iso-crossing signal as seen in figure 5(a), the resulting structure function captures several key features of $\langle {\rm \Delta} u ^2 \rangle$. For figure 5(b) in the inertial subrange, a power law is observed with a cleaner signature for $u_\pm$ than $u$. The fitted power-law exponent is approximately 0.55 for the iso-crossing signal, which is smaller than the value close to 2/3 observed for $u$. The difference in power-law exponent is further discussed later in this section.
For figure 5(c) in the production range, the structure functions nearest the wall are approximately linear. The linear trend is consistent with the predicted logarithmic dependence $\langle {\rm \Delta} u ^2 \rangle \sim \ln (r_x)$ that is analogous to the $k_x^{-1}$ signature in the energy spectrum (Davidson & Krogstad Reference Davidson and Krogstad2006; Davidson, Nickels & Krogstad Reference Davidson, Nickels and Krogstad2006). Further, the linear slope for the measured $u$ signal closely matches previous observations of 2.4 (de Silva et al. Reference de Silva, Marusic, Woodcock and Meneveau2015). However, the linear slope for the iso-crossing structure function is not representative due to the manual shift discussed above.
In addition to capturing the inertial subrange power law and production range logarithmic trends, the iso-crossing structure function also identifies where the transition occurs between the two scaling regions. The result is entirely consistent with the crossing distribution in figure 3. The $N_d$ distributions exhibit an inertial subrange power law owing to the self-similar geometry of the isosurfaces and a transition to an exponential tail at scales where the overall geometry of the large-scale velocity regions gains leading-order importance. Figure 5 demonstrates how these attributes of the isosurface geometry and their crossing properties propagate to structure function statistics. The same trends in the transition to the production range are also apparent from the spectrum of a TA signal (Huang, Katul & Hultmark Reference Huang, Katul and Hultmark2021), likely due to the TA signal exhibiting the same exponential cutoff in figure 3 imposed by the larger-scale geometries.
The primary attribute absent from the iso-crossing signal is the variability in velocity amplitude at positions between the crossings. This absence is responsible for the difference in power-law exponent between the structure functions for $u$ and $u_\pm$ seen in figure 5(b). A more representative iso-crossing signal can be achieved by simply incorporating additional isosurfaces at velocity increments between the detected UMZ interfaces. Figure 6 uses results at $z=0.1\delta$ to demonstrate how $u_\pm$ and its structure function change with the inclusion of additional isosurfaces. Unlike for previous results, the smallest isolated isosurface pockets are not excluded from the signal in figure 6. While these pockets obfuscate the signature of fractal self-similarity as discussed in § 3.1, the pockets must be included for a full representation of the velocity signal.
The number of isosurface level sets is parameterized by the resulting velocity difference ${\rm \Delta} u_i$ between adjacent isosurfaces. The iso-crossing signal can be considered as a transformation from spatial coordinates to a velocity grid. Rather than discretizing the signal at fixed positions or times, the signal is mapped to fixed velocities whose resolution is given by ${\rm \Delta} u_i$. As the number of level sets increases, the iso-crossing signal captures the velocity variability in finer increments of velocity resolution and more closely resembles $u$. The result for ${\rm \Delta} u_i / \sigma _u=0.5$, shown for $x/\delta = 0.8$ to 1.2 in figure 6(a), features eight isosurfaces across the range of $u$. Yet the structure function resulting from this $u_\pm$ (ensemble-averaged across all PIV fields) shown in figure 6(b) has a power-law exponent 0.62, within 10 % of 2/3. An even larger improvement occurs within the dissipative range, where the sharp velocity jumps are distributed across additional steps spanning a wider distance as ${\rm \Delta} u_i$ decreases.
The additional level sets in figure 6 correspond to internal isosurfaces within the detected UMZs. Figure 2 showed that the internal isosurfaces exhibit the same self-similarity as the UMZ interfaces. As a result, every streamwise velocity isosurface represented by the $u_\pm$ signals in figure 6 will have self-similar crossing distributions analogous to the power law in figure 3. The velocity amplitude variability captured by the finer ${\rm \Delta} u_i$ increments is therefore expected to also exhibit self-similar behaviour, specifically in terms of the distances between positions where the velocity reaches the same amplitude. In this sense, the self-similar signature of individual isosurfaces extends to velocity amplitude upon considering the collective contribution of many isosurfaces to a 1-D transect of the flow geometry. While an infinite number of isosurface level sets is required to fully represent the continuous velocity signal, trends across the turbulence spectrum can be reasonably recovered with a limited account of isosurface properties. Most notably, the original iso-crossing signal in figure 5 with a minimal number of isosurfaces is able to reproduce a majority of the scale-dependent behaviour in the inertial and production regions.
4. Discussion
The shape of the largest- and smallest-scale coherent spatial features is well documented for boundary layer turbulence as noted in the introduction. However, the features are isolated in the sense that there is limited evidence detailing the pathway of intermediate eddies linking these disconnected scales. Marusic & Monty (Reference Marusic and Monty2019) specifically noted the need to better understand the relationship between coherent structures in the production range and eddies in the inertial subrange. While the full complexity of inertial subrange eddies remains inadequately understood, the present evidence characterizes their signature on the geometric structure of the streamwise velocity field. This characterization is illustrated in figure 7.
The signature of the production range is $E_{uu} \sim k_x^{-1}$ in the energy spectrum (Perry & Chong Reference Perry and Chong1982) and $\langle {\rm \Delta} u ^2 \rangle \sim \ln (r_x)$ in the structure function (Davidson et al. Reference Davidson, Nickels and Krogstad2006). This signature corresponds to ‘attached’ eddies whose size scales with wall-normal distance (Townsend Reference Townsend1976). These eddies are realized in space as regions of coherent streamwise velocity such as low- and high-speed streaky structures (Hwang Reference Hwang2015; Hwang & Sung Reference Hwang and Sung2018) or, more generally, as UMZs (Heisel et al. Reference Heisel, de Silva, Hutchins, Marusic and Guala2020) as depicted in the left inset of figure 7. The boundaries of these structures are detected here as UMZ interfaces which are often aligned with internal shear layers (Gul et al. Reference Gul, Elsinga and Westerweel2020; Heisel et al. Reference Heisel, de Silva, Hutchins, Marusic and Guala2021).
Based on the box-counting results in figure 2, the boundaries of these large-scale velocity regions are geometrically self-similar. The boundaries contain ‘wrinkles’ of various sizes within the inertial subrange of scales as shown in the centre inset of figure 7. The self-similarity of the geometry directly influences statistics of 1-D velocity signals, leading to power-law signatures in the isosurface crossing properties (figure 3) and structure function statistics (figures 4 and 5). The self-similar geometry is observed for streamwise velocity isosurfaces throughout the flow volume, i.e. both along the boundaries of and within the velocity regions. The collective behaviour of multiple adjacent isosurfaces is related to variability in the velocity amplitude between the UMZ interfaces (figure 6).
The consistent fractal dimension observed for every tested streamwise velocity isosurface indicates that the self-similar isosurface wrinkles are space-filling. The same is true for the coherent velocity regions that approximately fill the boundary layer outer region (Heisel et al. Reference Heisel, de Silva, Hutchins, Marusic and Guala2020). This is in contrast to the intermittent small-scale geometries such as tubes and filaments. While weak Kolmogorov-scaled eddies likely exist throughout the flow volume, the most intense and statistically relevant small-scale features tend to cluster along ‘active’ regions where the shear and dissipation magnitudes are the largest (She et al. Reference She, Jackson and Orszag1990; Moisy & Jiménez Reference Moisy and Jiménez2004; Ishihara, Gotoh & Kaneda Reference Ishihara, Gotoh and Kaneda2009). An example high-vorticity region is shown in the right inset of figure 7.
As seen in figure 7 and in previous figures, the isosurface wrinkles appear to span a range of sizes extending to scales both larger and smaller than the approximate limits of the inertial subrange. The inertial subrange is the specific region where the statistical self-similarity is fixed, i.e. the fractal dimension is constant in figure 2. For the larger wrinkles, the departure from self-similarity can be explained by the increased relevance of the large-scale geometries related to the flow configuration (figure 3). Likewise, the shape of the smallest wrinkles is expected to be influenced by viscous processes such as diffusion. These observations are consistent with theoretical arguments that the inertial subrange must satisfy $\eta \ll r_x \ll L$. We therefore postulate that the inertial subrange eddies are reflected by the wrinkled geometry of streamwise velocity isosurfaces in the range of sizes where no flow length scale has leading-order importance. The self-similarity of these geometries yields monofractal behaviour in crossing properties of the velocity.
While not explored in detail here, there are expressions that directly relate the fractal dimension $D_1 \approx 0.33$ (Appendix C), the power-law exponent $\gamma \approx 1.3$ of crossing intervals (figure 3), and the iso-crossing structure function exponent $n \approx 0.55$ (figure 5). For a stochastic process defined by a power-law probability distribution with exponent $\gamma$, the statistics are related as $D_1=1-n$ and $n=2-\gamma$ (Heisel Reference Heisel2022). In these relations, the energy spectrum exponent is replaced by the equivalent value $n+1$, and $n=2-\gamma$ is consistent with predictions for a superposition of Poisson processes (Jensen Reference Jensen1998). The expressions are specific for binary stochastic processes like the TA signal, and the relations depend on the phase of the signal if amplitude variability is introduced (Higuchi Reference Higuchi1990). In addition to the variable amplitude of the iso-crossing signal, the difference between the predicted values and the iso-crossing values observed here are in part due to the finite power-law region (Heisel Reference Heisel2022), which spans approximately one order of magnitude for the given $\textit {Re}_\lambda$. Considering the limitations in the Reynolds number achieved for modern laboratory and numerical experiments, the deviations in the statistical relations caused by a limited range of self-similarity presents a formidable challenge for investigating the role of fractality in turbulence.
Lastly, the present measurements do not allow any characterization of how the isosurfaces dynamically evolve. For instance, it is not known how the smaller and larger wrinkles interact through the dynamics of the Navier–Stokes equations. Previous works have proposed mechanisms including vortex stretching (Taylor Reference Taylor1937) and rapid distortion (Hunt et al. Reference Hunt, Ishihara, Worth and Kaneda2014). Recent evidence suggests that strain self-amplification (Tsinober Reference Tsinober2001) is the foremost contributor to energy transfer dynamics in the inertial subrange (Carbone & Bragg Reference Carbone and Bragg2020; Johnson Reference Johnson2020). Yet, forward energy transfer from large to small scales is only true in the average sense, as inverse transfer or ‘backscatter’ is prominent in instantaneous realizations (see, e.g. Pope (Reference Pope2000), Alves Portela, Papadakis & Vassilicos (Reference Alves Portela, Papadakis and Vassilicos2017), Cardesa, Vela-Martín & Jiménez (Reference Cardesa, Vela-Martín and Jiménez2017), Carter & Coletti (Reference Carter and Coletti2018), and references therein). In the context of the velocity isosurfaces, backscatter corresponds to the alignment of large velocity gradients with the smallest wrinkles and relatively smaller velocity differences across the extent of larger wrinkles. Further, randomizing the phase of a TA signal does not change the resulting spectral power-law exponent in the inertial subrange (Poggi & Katul Reference Poggi and Katul2009). The presence of backscatter and non-influence of phase underscore the point that the inertial subrange power-law signature and its exponents are a statistical result achieved through spatial and temporal averaging of the governing physics, where the exponent values may not be representative of local energy transfer. The fact that the self-similarity of the isosurfaces is only fixed in a statistical sense serves to further emphasize this point.
Funding
The authors gratefully acknowledge funding from the US National Science Foundation. M.H. is supported by grant NSF-AGS-2031312, and G.K. is supported by grant NSF-AGS-2028633.
Declaration of interests
The authors report no conflict of interest.
Appendix A. Further details on the detection of UMZs
The appended materials supplement the methodology in § 2.2 with additional details for completeness. As discussed in § 2.2, the number of UMZs is first estimated using histograms on streamwise segments of width $\mathcal {L}_x^+= 2000$, then fuzzy clustering is employed to determine the velocity of the UMZ interface isosurfaces. Details pertaining to both of these steps are provided here.
An example of velocity histograms using 0.5$u_\tau$-wide bins is given in figure 8. A histogram based on the entire field width $\mathcal {L}_x/\delta =2$ is shown in panel 8(a), and the histograms for $\mathcal {L}_x^+= 2000$ ($\mathcal {L}_x/\delta =0.16$) segments are shown in figure 8(b). Velocity values within the free-stream region above the TNTI are excluded from the histograms (de Silva et al. Reference de Silva, Hutchins and Marusic2016). To this end, the TNTI was detected using a threshold of the kinetic energy defect (Chauhan et al. Reference Chauhan, Philip, de Silva, Hutchins and Marusic2014). In the resulting figure 8 histograms, the circle symbols indicate the detected peaks. The viscous-scaled segments reveal a greater number of UMZs on average, particularly at lower velocities corresponding to UMZs nearer to the wall. Using the average number of UMZs in panel 8(b) rather than the smoother result in figure 8(a) improves the eventual detection of these smaller UMZs. In this study, the histogram approach is preferred over kernel density estimation (KDE) to approximate the number of UMZs (Fan et al. Reference Fan, Xu, Yao and Hickey2019). The KDE method produces a smoothed estimate of the histogram distribution that can under-detect smaller UMZs in a manner similar to the large $\mathcal {L}_x$ result in figure 8(a).
In the histogram method, the velocity associated with the UMZ interfaces can be taken as either the midpoint (Adrian et al. Reference Adrian, Meinhart and Tomkins2000) or the minimum (Heisel et al. Reference Heisel, Dasari, Liu, Hong, Coletti and Guala2018) between histogram peaks. Interfaces detected using the latter definition are shown in figure 8(c) for the two $\mathcal {L}_x$ values. The TNTI is also included for reference. The isosurfaces for $\mathcal {L}_x^+= 2000$ are determined independently within each segment such that the lines often end abruptly at the segment boundaries indicated by vertical dashed lines. The isosurfaces for $\mathcal {L}_x/\delta = 2$ are continuous across the PIV field, but there are fewer detected UMZs, particularly in the lowest 20 % of the boundary layer which is the region of interest for the study.
The hybrid fuzzy clustering approach overcomes the limitations noted above by using the smaller $\mathcal {L}_x$ segments to estimate the number of UMZs, and the entire 2$\delta$-wide field to detect continuous UMZ interface isosurfaces. One important modification was made to the fuzzy clustering routine proposed by Fan et al. (Reference Fan, Xu, Yao and Hickey2019). An advantage of the histogram detection is that the shear profile separates the smaller UMZs closer to the wall from large UMZs in the wake. In other words, the smaller UMZs manifest a small distinct peak in lower-velocity histogram bins and are not suppressed by large peaks in higher-velocity bins. In contrast, the clustering algorithm considers neither the shear profile nor the ($x$, $z$) position of the velocity data. It was found that increasing the inputted number of clusters to the traditional algorithm often led to the division of large UMZs in the wake into two clusters rather than the detection of a new cluster associated with a smaller UMZ. To ensure the detected clusters more closely reflect the histogram peaks, the PIV field was interpolated such that the resolution was proportional to the mean shear profile. The resolution of the interpolated grid was approximately ten times higher (i.e. lower ${\rm \Delta} z$) near the wall and decreased with increasing $z$. The resolution profile was similar in magnitude and shape to non-uniform grids in numerical simulations. The interpolated grid effectively forced the algorithm to increase the weight of velocities with decreasing $z$, and significantly improved the detection of the smaller UMZs closer to the wall. The interpolation was only applied for the clustering algorithm; histogram peak detection and all other statistics were calculated on the original PIV vector field.
Finally, the clustering method was also used to detect the TNTI. Accordingly, the free-stream region was included in the clustering algorithm, despite being excluded from the previous histograms. The inputted number of clusters was one greater than the average number of UMZs to account for presence of the free stream region. The figure 8(c) example includes the UMZ interfaces resulting from the clustering algorithm. There is general agreement between the TNTI detected using the kinetic energy and fuzzy clustering methods, noting that any differences do not affect the logarithmic region which is of most interest. Internal to the boundary layer, there is close overlap between the isosurfaces in the range $z/\delta = 0.4$ to 0.6. The fuzzy clustering isosurfaces also align closely with many of the $\mathcal {L}_x^+= 2000$ isosurface segments below $z/\delta = 0.3$ that are undetected by the $\mathcal {L}_x/\delta = 2$ histogram. The fuzzy clustering isosurfaces are more extensive, however, due to the continuity of the interfaces beyond the segment boundaries.
Many of the figures in the article were reproduced using the interfaces detected in ${\mathcal {L}_x^+= 2000}$ segments. The results are qualitatively similar and the conclusions of the study do not differ between the two methods. The key advantage of the fuzzy clustering isosurfaces is the availability of results across wider distances to infer trends at the upper limit of the inertial subrange. While the hybrid detection was suitable for the present analysis, the method has not been tested for general use. For instance, it is not known whether the method would be appropriate for a significantly larger field of width $O(\gtrsim 10\delta )$. Future use of the same hybrid approach thus requires corroboration with alternate methods.
Appendix B. Isolated pockets and the box-counting fractal dimension
For a given velocity level set, there are often numerous isolated isosurface pockets in addition to the longest isosurfaces that span the extent of the PIV field. With the present planar PIV measurements, it is not possible to determine whether each isolated pocket is connected to longer isosurfaces in the out-of-plane dimension, related to small-scale variability, or due to experimental noise. As discussed in § 2.2, the analysis in the main article excludes pockets whose area is smaller than $A_{min} = 10\lambda _T^2$. The dependence of the fractal dimension $D_j$ on $A_{min}$ is evaluated here. Two methods for incorporating the pockets into the average result are also discussed.
For the results in § 3.1, each isolated pocket is assumed to be independent of the long isosurfaces, and separate box counts are computed for each isosurface and pocket prior to ensemble averaging. In this case, an isolated pocket of length $O(\eta )$ would yield a constant value $N_b=1$ with slope $D_2=0$ for the range of $b/\eta$ in figure 2(a). Numerous instances of these small isolated pockets would therefore bring $D_2$ closer to zero in the ensemble average of $N_b$. Removing these pockets ensures the overall length of the short isosurfaces does not bias the results. In this sense, the box-counting results in figure 2 represent only the longest isosurfaces where statistical self-similarity is apparent along the two-dimensional geometry of the surface.
The fractal dimension $D_2(b) = - d \log {(N_b)}/d \log {(b)}$ resulting from the averaging method described above is shown for three values of $A_{min}$ in figure 9(a). The primary effect of increasing $A_{min}$ is to remove the pockets with $N_b=1$ for large $b$, which increases the average value of $N_b(b)$ and enhances the region where $D_2$ is constant. The fractal dimension is approximately the same at the start of the inertial subrange. The dimension $D_2$ averaged within the inertial subrange is shown as a function of $A_{min}$ in figure 9(c). The smaller $D_2$ values for smaller $A_{min}$ are due to decreasing $D_2(b)$ at the end of the inertial subrange apparent in figure 9(a) for $A_{min}=\lambda _T^2$. The convergence of $D_2$ near $A_{min}=10\lambda _T^2$ supports the choice of this threshold for the main analysis. Larger thresholds exhibit the same trend of a constant value $D_2\approx 1.22$ within the inertial subrange.
An alternate averaging approach is to assume the pockets are connected to the long isosurfaces along the out-of-plane $y$ direction. A single $N_b$ can then be estimated by grouping all isosurfaces and pockets of the same velocity $u_i$ within a given PIV field, and the ensemble average is computed across PIV realizations. Fractal dimension results from this averaging method are shown in figure 9(b,d). The dimension $D_2(b)$ throughout the inertial subrange in this latter case exhibits a stronger dependence on $A_{min}$ than for the separated averaging case, and $D_2$ increases for decreasing $A_{min}$.
Both cases converge to the same $D_2$ value for large $A_{min}$ when all pockets are excluded and the difference in averaging methods is inconsequential. Modest scale dependence is apparent within the inertial subrange in both cases for small $A_{min}$, and the average $D_2$ appears increasingly constant for larger $A_{min}$. The conclusion in the main article regarding a constant fractal dimension throughout the inertial subrange is therefore independent of the averaging method, so long as a sufficiently large filter $A_{min}$ is employed to focus the analysis on the largest continuous isosurface geometries.
Appendix C. Isosurface anisotropy and the box-counting fractal dimension
An additional aspect of the box-counting fractal dimension explored here is the difference between the value $D_2 \approx 1.2$ observed in § 3.1 and the approximate value 1.33 previously reported for the TNTI (Sreenivasan & Meneveau Reference Sreenivasan and Meneveau1986; de Silva et al. Reference de Silva, Philip, Chauhan, Menevau and Marusic2013; Chauhan et al. Reference Chauhan, Philip, de Silva, Hutchins and Marusic2014; Borrell & Jiménez Reference Borrell and Jiménez2016). Directional trends in the box-counting result can be inferred by conducting separate 1-D counts along the streamwise and wall-normal directions. In the streamwise case, a transect of the isosurface is taken across a given measured $z$ position, and the $x$ positions where the isosurface intersects the transect are compiled. The transects are discretized into segments of length $b_x$ and the number of segments $N_b$ containing at least one crossing is counted. The process is repeated across $z$ positions. The same principle is used to compute $N_b$ for wall-normal transects of the isosurfaces. An example of the 1-D count is shown in figure 10(a), and the resulting fractal dimensions $D_1(b)$ along $x$ and $z$ are given in figure 10(b). If a self-similar geometry is isotropic and independent transects are taken to estimate a lower-order fractal dimension (see, e.g. figure 2 of Sreenivasan & Meneveau Reference Sreenivasan and Meneveau1986), the fractal dimensions are related as $D_2 =D_1+1$ (Mandelbrot Reference Mandelbrot1982).
The fractal dimension for streamwise transects (filled data markers) appears scale dependent even within the inertial subrange. This dependence has been observed for previous 1-D estimates of fractal behaviour (Miller & Dimotakis Reference Miller and Dimotakis1991; Praskovsky et al. Reference Praskovsky, Foss, Kleis and Karyakin1993), and is a stochastic consequence of a finite-sized power law (i.e. finite Reynolds number) (Catrakis Reference Catrakis2000; Heisel Reference Heisel2022). However, the approximate dimension $D_1 \approx 0.33$ near the centre of the inertial subrange matches the value observed in previous studies for the TNTI.
Interestingly, the dimension for wall-normal transects (open data markers) is less variable within the inertial subrange but has a consistently smaller value $D_1 \approx 0.15$ throughout the logarithmic region. The discrepancy in $D_1$ values can be explained by the occurrence of transects with a single isosurface crossing, e.g. the example wall-normal transect in figure 10(a). Similar to the $O(\eta )$ pockets discussed in Appendix B, a single crossing represents a trivial case that yields a constant value $N_b(b)=1$ with slope $D_1=0$ regardless of box size, and, thus, reduces $D_1$ in the ensemble average. For the transects contributing to figure 10(b), 65 %–80 % of wall-normal transects have a single crossing compared with only 5 %–7 % of streamwise transects.
Figure 10(c) shows the fractal dimension when these trivial transects are excluded from the average result. The dimension for streamwise transects is approximately unchanged, but the wall-normal case is now in close agreement with $D_1 \approx 0.33$ such that both directions exhibit the same fractal behaviour. The frequent occurrence of trivial wall-normal transects is likely due to large-scale anisotropy in the shape of the isosurfaces, where the largest features within the isosurface are longer in $x$ than $z$. This anisotropy is consistent with the observed aspect ratio of large-scale coherent structures (e.g. del Álamo et al. Reference del Álamo, Jiménez, Zandonade and Moser2006; Lozano-Durán et al. Reference Lozano-Durán, Flores and Jiménez2012; Baars et al. Reference Baars, Hutchins and Marusic2017), and is reflected by the difference in $D_1(b)$ in figure 10(c) for the largest box sizes exceeding the inertial subrange.
We speculate that the large-scale anisotropy of the isosurfaces similarly contributes to the two-dimensional result $D_2 \approx 1.2$. The anisotropy leads to more sparse regions along $z$ than along $x$. The average results of the box-counting methodology include these sparse regions, which may reduce the average dimension $D_2$ in the same way that $D_1$ is reduced in figure 10(b). Further investigation is therefore warranted before conclusions are made regarding the observed value $D_2\approx 1.2$ for boundary layer turbulence. Importantly, the trivial regions with $N_b(b)=1$ affect all box sizes in the same manner and do not change the range of sizes $b$ exhibiting a power law in the ensemble average. While the anisotropy is expected to reduce the observed value for $D_2$, it does not influence the primary conclusion in § 3.1 regarding a constant fractal dimension within the inertial subrange.