1. Introduction
It has been known since Kline et al. (Reference Kline, Reynolds, Schraub and Runstadler1967) that transitional and turbulent flows exhibit clear structure within the boundary layer in the form of vortical structures coupled to high- and low-speed streaks in the plane perpendicular to the unperturbed flow. Recent understanding of these structures has been aided by the identification of three-dimensional, nonlinear invariant solutions of the Navier–Stokes equations which may take the form of equilibria, periodic orbits or travelling-wave solutions. These states, now commonly known as exact coherent structures, have been found in a wide range of canonical shear flows where the key parameter governing the dynamics is the Reynolds number; see, for e.g. Faisst & Eckhardt (Reference Faisst and Eckhardt2003), Waleffe (Reference Waleffe2001, Reference Waleffe2003), Wedin & Kerswell (Reference Wedin and Kerswell2004) and Wang, Gibson & Waleffe (Reference Wang, Gibson and Waleffe2007). The study of exact coherent structures in two-parameter space has previously only been conducted in the context of stably stratified flows (Eaves & Caulfield Reference Eaves and Caulfield2015; Deguchi Reference Deguchi2017; Lucas & Caulfield Reference Lucas and Caulfield2017; Lucas, Caulfield & Kerswell Reference Lucas, Caulfield and Kerswell2017; Olvera & Kerswell Reference Olvera and Kerswell2017), where it is shown that the Prandtl number plays a key role in the structure of the states found (Langham, Eaves & Kerswell Reference Langham, Eaves and Kerswell2020).
The present work is confined to a special type of coherent structure in asymptotic suction boundary-layer (ASBL) flow, in which a parallel, streamwise-invariant basic flow is maintained via constant suction far from the leading edge. In the incompressible case, Hocking (Reference Hocking1975) showed that the flow is linearly stable up to a Reynolds number of 54 370; Fransson & Alfredsson (Reference Fransson and Alfredsson2003) subsequently showed experimentally that transition could occur at much lower Reynolds numbers. It has been very recently shown that it is possible to experimentally realise a turbulent ASBL (Ferro, Fallenius & Fransson Reference Ferro, Fallenius and Fransson2021). Several three-dimensional, fully nonlinear invariant solutions of the Navier–Stokes equations have been identified in incompressible ASBL flow. Periodic-orbit-type solutions have been obtained by Kreilos et al. (Reference Kreilos, Veble, Schneider and Eckhardt2013) and Khapko et al. (Reference Khapko, Kreilos, Schlatter, Duguet, Eckhardt and Henningson2013) via edge tracking. Travelling-wave-type solutions have also been identified in the ASBL by Deguchi & Hall (Reference Deguchi and Hall2014), who found structures localised in the wall-normal direction but periodic in the streamwise and spanwise directions, and by Kreilos, Gibson & Schneider (Reference Kreilos, Gibson and Schneider2016), who found spanwise-localised travelling-wave solutions. In both cases, two types of solution were found: a ‘wall mode’ coherent structure with the streaks and vortex structure concentrated near the wall region; and a ‘free-stream’ coherent structure with the streak flow still mainly concentrated in the near-wall region but with the vortical structure residing in the free stream.
Deguchi & Hall (Reference Deguchi and Hall2014) showed that the spanwise-periodic wall modes could be described by high-Reynolds-number vortex–wave interaction theory (Hall & Smith Reference Hall and Smith1991; Hall & Sherwin Reference Hall and Sherwin2010), in which forcing in the critical layer of the wave drives a roll flow which produces a streak; the streaky flow is then itself unstable to the wave. This tripartite interaction is also known as a self-sustaining process (Waleffe Reference Waleffe1997). Meanwhile, the free-stream coherent structures can be described by a distinct asymptotic theory which relies on the exponential approach of the boundary-layer flow to its free-stream form. A nonlinear interaction between tiny waves, rolls and streaks satisfies the unit-Reynolds-number three-dimensional Navier–Stokes equations within a ‘production’ layer, which is located at the edge of the free stream and which is of the same depth as the unperturbed boundary layer. The nonlinear production-layer interaction allows a streak disturbance to the velocity field to grow exponentially beneath the production layer. An analysis of the induced roll–streak flow shows that the streak obtains its maximum size in the near-wall boundary layer. This high-Reynolds-number asymptotic framework to describe free-stream coherent structures has subsequently been extended to non-parallel (Deguchi & Hall Reference Deguchi and Hall2015, Reference Deguchi and Hall2018) and unsteady (Johnstone & Hall Reference Johnstone and Hall2020) flows.
Free-stream turbulence is known to play a key role in boundary-layer transition (Fransson, Matsubara & Alfredsson Reference Fransson, Matsubara and Alfredsson2005; Fransson & Shahinfar Reference Fransson and Shahinfar2020). It is hypothesised that free-stream coherent structures may play a key role in linking the coherent structures observed in the inner region (near-wall region of intense turbulence production) and outer (large-scale, less active) regions of boundary-layer flow (Deguchi & Hall Reference Deguchi and Hall2014). This detail would be particularly relevant in the context of jet acoustics for compressible flows, when disturbances originating in the free stream may be implicated in the high frequency sound often referred to as ‘screeching’ which is observed in high-speed jet flows (Deguchi & Hall Reference Deguchi and Hall2018).
There has been little work, however, into the asymptotic description of coherent structures in the context of compressible flows despite the importance of transitional and turbulent compressible flows to many industrial problems, particularly in the fields of aerospace engineering and acoustics. Past experimental and numerical studies have focused on laminar–turbulent transition in compressible boundary layers in the context of the effect of free-stream vortical disturbances, with particular focus on bypass transition (see, for e.g. Laufer Reference Laufer1954; Kendall Reference Kendall1975; Demetriades Reference Demetriades1989; Graziosi & Brown Reference Graziosi and Brown2002; Mayer, von Terzi & Fasel Reference Mayer, von Terzi and Fasel2011). By extending the incompressible theory of Leib, Wundrow & Goldstein (Reference Leib, Wundrow and Goldstein1999), Ricco & Wu (Reference Ricco and Wu2007) show that free-stream vortical disturbances can induce temperature fluctuations that lead to the formation of ‘thermal streaks’; the growth of these streaks is enhanced at larger free-stream Mach numbers, although nonlinear effects were found to inhibit the growth of the streaks (Marensi, Ricco & Wu Reference Marensi, Ricco and Wu2017). Short-wavelength free-stream vortical disturbances have also been found to concentrate in the ‘edge layer’ Wu & Dong (Reference Wu and Dong2016), which is akin to the production layer for free-stream coherent structures described above.
However, the organised streaky structures observed experimentally in incompressible flows have been identified in supersonic compressible flows both experimentally (for a thorough review see Spina, Smits & Robinson Reference Spina, Smits and Robinson1994) and numerically (Pirozzoli, Bernardini & Grasso Reference Pirozzoli, Bernardini and Grasso2008; Ringuette, Wu & Martín Reference Ringuette, Wu and Martín2008). The structures found are consistent with the hairpin loop model of wall turbulence, with low-speed, elongated streaks observed in the logarithmic region. Thus there exists compelling evidence for the similarity between compressible and incompressible coherent structures. Indeed, the main effect of compressibility in turbulent shear boundary layers lies in the density fluctuations (Morkovin Reference Morkovin1962), and it is generally accepted that for moderate free-stream Mach numbers $M_\infty \leqslant 2$, the dynamics of compressible shear boundary layers does not differ greatly from its incompressible counterpart (Spina et al. Reference Spina, Smits and Robinson1994).
The aim of the present work is to ask: (a) Can we use the high-Reynolds-number asymptotic theory describing free-stream coherent structures in incompressible ASBL flow (Deguchi & Hall Reference Deguchi and Hall2014) to describe free-stream coherent structures in compressible ASBL flow in the subsonic and moderate supersonic regimes? And (b), what is the influence of the additional physical parameters, namely the Mach number $M_\infty$ and the Prandtl number $\sigma$?
Assuming a perfect gas, the basic flow for the compressible ASBL approaches its free-stream form exponentially and thus has the underlying structure required to support the free-stream coherent structures described in Deguchi & Hall (Reference Deguchi and Hall2014). We find that compressibility effects shift the location of the production layer by a constant proportional to $M_\infty ^2$. However, the key result is that the leading-order equations for the velocity field in the production layer are identical to those for the incompressible problem. Since the asymptotics and numerical solutions agreed well for the incompressible case we expect that this is true for the compressible problem. Moreover, this also represents a significant computational reduction as the solution of the nonlinear eigenvalue production-layer problem, which was computed by direct numerical simulation by Deguchi & Hall (Reference Deguchi and Hall2014), can also be used for the compressible problem. However, as discussed at the end of this paper, we expect that this reduction will not hold in general for other compressible regimes at higher free-stream Mach number due to the presence of non-parallel effects and shocks.
The equations for the thermal field in the production layer are passive and driven by the velocity field. This effect arises due to the location of the thin production layer being just below the free stream, where compressibility effects are negligible because the density and viscosity are close to their constant free-stream values. As in the incompressible problem, the nonlinear interaction in the production layer produces a disturbance to the streamwise velocity field (a ‘streak’) that grows exponentially down towards the wall through interaction with the mean flow. However, the nonlinear interaction also induces a disturbance to the temperature field, a ‘thermal streak’, which also grows exponentially down towards the wall. The amplitude of the thermal streaks is enhanced as the Mach number is increased whilst the amplitude of the velocity streaks is suppressed. In the subsonic regime the amplitude of the velocity streaks is in general one order of magnitude larger than that of the thermal streaks but the amplitudes become of comparable size in the moderate supersonic regime. At the wall, both the velocity and thermal streaks vanish so as to satisfy the wall boundary conditions. The location where the thermal and velocity streaks attain their maximum amplitude relative to the velocity streak is controlled by the Prandtl number.
The rest of this paper is presented as follows: in § 2, we provide a brief description of free-stream coherent structures in incompressible ASBL flow. We then define the governing equations for compressible ASBL flow in § 3 and find the basic flow in § 4. The production-layer problem is then described in § 5. We present the solution below the production layer and down to the wall in § 6. We then present results for a variety of parameters in § 7 and finally in § 8 we draw some conclusions.
2. Free-stream coherent structures in incompressible parallel boundary-layer flows
To provide some context for the discussion of free-stream coherent structures in the compressible ASBL flow, we briefly summarise the results of Deguchi & Hall (Reference Deguchi and Hall2014) for free-stream coherent structures in incompressible ASBL flow.
Incompressible ASBL flow describes viscous, incompressible flow $(u^*, v^*, w^*)$ with respect to Cartesian coordinates $(x^*, y^*, z^*)$, with dynamic viscosity $\mu$ and kinematic viscosity $\nu$, over a flat plate at $y^* = 0$. Uniform flow exists in the free stream, so denoting free-stream values by subscript $\infty$, at the free-stream $(u^*, v^*, w^*) = (u_\infty , -v_\infty , 0)$. The plate is subject to constant suction, so the velocity at the plate is $(u^*, v^*, w^*) = (0, -v_\infty , 0)$. Non-dimensionalising the velocity components on the free-stream speed $u_\infty$ and the coordinates on the length scale $\nu /v_\infty$, and defining the Reynolds number $Re = u_\infty /v_\infty$, the basic flow is given by
Deguchi & Hall (Reference Deguchi and Hall2014) showed that, at high Reynolds numbers, the incompressible Navier–Stokes equations allow for nonlinear equilibrium solutions taking the form of a roll–wave–streak interaction propagating in a viscous layer at the outer edge of the boundary layer; this layer is termed the production layer and the solutions are known as free-stream coherent structures. The interaction in the production layer is characterised by nonlinear travelling-wave solutions propagating with wave speed $c$; numerical computations suggest that the asymptotic behaviour of the wave speed is $1-c = O(Re^{-1})$, so that the wave propagates downstream with almost free-stream speed. The solutions also have streamwise length scales comparable to the spanwise length scales, and the thickness of production layer is comparable to the boundary-layer thickness. Seeking a solution with these scalings, which is periodic in the streamwise and spanwise directions with respective wavenumbers $\alpha$ and $\beta$, shows that the production layer in ASBL flow is located at $y = \ln Re$.
The solution inside the production layer is $\boldsymbol {U}(X, Y, z) = (U, V, W)$, where $(x, y, z) = (X-ct, {Y}-\ln Re, z)$, $c =1-Re^{-1} c_1$, and is determined by numerically solving the full Navier–Stokes equations at unit Reynolds number as a nonlinear eigenvalue problem for the perturbed wave speed $c_1$ of the travelling wave:
The asymptotic structure of the solution emerging from the lower side of the production layer shows that, below the layer, the disturbance to the streamwise velocity (termed the streak), which occurs as a result of the nonlinear interaction in the production layer, can grow exponentially like $\mathrm {e}^{-Y}$ as $Y \to -\infty$ while the other velocity components decay. Thus moving beneath the production layer,
where
for spanwise wavenumber $\beta$, and where $K_1$ is found as part of the numerical solution of the eigenvalue problem in the production layer. These solutions are valid as the wall layer is approached, i.e. when $1 \ll y \ll \ln Re$. The constant of integration $d_0$ is found by matching with the numerical solution of the eigenvalue problem (2.2)–(2.3) which was computed for a range of spanwise wavenumbers $\beta$ in Deguchi & Hall (Reference Deguchi and Hall2014). Thus the term $d_0/\textit {Re}$ is the next order correction to the mean flow due to the nonlinear interaction in the production layer. Therefore in general the streamwise velocity solution is only given up to a constant, however, the correction does not influence the vortex field which is the quantity of interest. By solving for the induced flow throughout the boundary region between the production layer and the wall, Deguchi & Hall (Reference Deguchi and Hall2014) show that for $\beta < 1/\sqrt {2}$ the streak disturbance grows down to the main part of the boundary layer, before being reduced to zero at the wall to satisfy the boundary conditions.
3. Governing equations for compressible ASBL flow
We now consider the compressible counterpart of ASBL flow. Consider a viscous, compressible perfect gas with density, temperature and dynamic viscosity $\rho ^*$, $\theta ^*$ and $\mu ^*$ respectively, flowing with velocity $\boldsymbol {u}^{\boldsymbol {*}} = (u^*, v^*, w^*)$ with respect to Cartesian coordinates $(x^*, y^*, z^*)$ over an infinitely long flat plate at $y^* =0$. Uniform suction exists at the plate boundary so that, denoting free-stream values by subscript $\infty$, the velocity is $\boldsymbol {u}^{\boldsymbol {*}} = (0, -v_\infty , 0)$ at the plate. Meanwhile, a long way from the plate at the free stream, $\boldsymbol {u}^{\boldsymbol {*}} \to (u_\infty , -v_\infty , 0)$ and ($\rho ^*, \theta ^*, \mu ^*, p^*) \to (\rho _\infty , \theta _\infty , \mu _\infty , p_\infty /\rho _\infty u_\infty ^2)$. The suction at $y^*=0$ does not allow for zero heat transfer over the plate due to the transfer of kinetic energy across it, and therefore we assume the temperature at the plate is fixed so that $\theta ^* = \theta _p$ at $y^* = 0$.
We non-dimensionalise by scaling the coordinates $(x^*, y^*, z^*)$ on the velocity-boundary-layer thickness $\delta = \mu _\infty /\rho _\infty v_\infty$, the velocity components $(u^*, v^*, w^*)$ on $u_\infty$, the pressure on $\rho _\infty u_\infty ^2$ and the quantities $\rho ^*$, $\theta ^*$ and $\mu ^*$ on their free-stream values. We define the Reynolds number $\textit {Re}$ by
Throughout the analysis that follows, we assume the Reynolds number is large. We also define the following physical constants:
(i) $c_v$, $c_p,$ are the specific heats at constant volume and constant pressure respectively;
(ii) $\gamma = c_p/c_v$ is the ratio of specific heats; for air, $\gamma \approx 1.4$;
(iii) $R$ is the molecular gas constant which is approximately $286 \ \textrm {m}^2\ \textrm {s}^{-2}\ \textrm {K}^{-1}$ for air;
(iv) $a_\infty = \sqrt {\gamma R \theta _\infty }$ is the speed of sound in the free stream;
(v) $M_\infty = u_\infty /a_\infty$ is the free-stream Mach number;
(vi) $k$ is the thermal diffusivity of the gas;
(vii) $\sigma = \mu _\infty c_p/k$ is the Prandtl number which defines the ratio of momentum diffusivity to thermal diffusivity; for air, $\sigma \approx 0.71$.
We consider values of $u_\infty$ and $a_\infty$ such that we obtain Mach numbers $M_\infty$ in the subsonic and moderate supersonic regimes so that $M_\infty \leqslant 2$. In the moderate supersonic regime we assume that the plate is sufficiently thin so that shocks are not present. We choose parameters $\gamma$ and $\sigma$ that are appropriate for the ideal gas assumption; in particular, this means that $\sigma < 2$, which will become important in the scaling arguments below.
Then, using mixed notation so that $(x_1,x_2,x_3)$ represents $(x,y,z)$, $\boldsymbol {\nabla }=(\partial _{x_1}, \partial _{x_2}, \partial _{x_3})$ and $\boldsymbol {u} = ( u_1, u_2, u_3)$ represents $( u, v, w)$, the Navier–Stokes equations have the form
where the dissipation function $\varPhi$ is defined by
and $e_{ij} = \partial u_i/ \partial x_j + \partial u_j/ \partial x_i$ is the rate of strain tensor.
We close the equations of motion with a power-law viscosity law, so that after non-dimensionalisation
The index $\zeta =1$ gives the Chapman–Rubesin viscosity law (Chapman & Rubesin Reference Chapman and Rubesin1949) which is suitable for the subsonic regime; for the moderate supersonic regime a slightly more accurate model has $\zeta = 0.76$ (Cebeci Reference Cebeci2002). If we were to extend the analysis to higher Mach numbers then a more realistic viscosity model, such as Sutherland's law (Sutherland Reference Sutherland1893), would be required.
4. The basic flow
We now solve the equations of motion for the basic boundary-layer flow state. The ASBL flow is steady, two-dimensional and independent of $x$. Therefore we seek a boundary-layer solution in the form
where the scaling for the normal velocity arises from the need to retain viscous effects in the boundary layer. The boundary conditions at the plate and the free stream are given by
We substitute the expansion (4.1) into the governing equations (3.2)–(3.5) and, assuming that the Reynolds number is large, retain leading-order terms. The $y$-momentum equation from (3.2) with $i = 2$ reduces to $\partial \hat {p} /\partial y=0$, which means that the pressure $\hat {p}$ is constant across the boundary layer and equal to its free-stream value of $p_\infty / \rho _\infty {u}_\infty ^2$. It follows that the equation of state (3.5) reduces to $\hat {\rho }\hat {\theta } = 1$. Then the continuity equation (3.3) reduces to $\partial _y(\hat {\rho }\hat {v}) = 0$; integrating and applying free-stream boundary conditions (4.2) gives $\hat {\rho }\hat {v} = -1$ across the boundary layer. Thus, $\hat {v} = -\hat {\theta }$, so in particular, the suction condition at the plate gives $\theta _p/\theta _\infty = 1$.
We now use the Dorodnitsyn–Howarth transformation (Dorodnitsyn Reference Dorodnitsyn1942; Howarth Reference Howarth1948) given by
so that $y$-derivatives $\textrm {d}_y$ are replaced by $\hat {\rho }(\xi ) \,\textrm {d}_\xi$. The equations of motion then reduce to
where a prime denotes derivative with respect to $\xi$. In general, these equations must be solved numerically subject to the boundary conditions (4.2). An analytic solution can be found in the special case of the Chapman–Rubesin law when $\zeta = 1$, and is given by
For large $\xi$, when the temperature and streamwise velocity are approaching their (non-dimensional) free-stream values of $1$, this analytical basic solution can be used regardless of the index in the viscosity law (3.7). We can invert the Dorodnitsyn–Howarth transformation (4.3) as
Thus if $\xi$ is large, then we can approximate the Dorodnitsyn–Howarth variable by
Consequently, in the free stream, we can write the basic flow in terms of the physical variable $y$. For the interior region we find $\xi = g(y)$ by solving the inversion equation (4.8) numerically.
Thus for large $\xi$, i.e. large $y$, the basic streamwise velocity is given by $\hat {u}\approx 1-\mathrm {e}^{-C_0}\mathrm {e}^{-y}$. Thus the streamwise velocity approaches its free-stream form exponentially as a function of distance from the wall. Therefore the free-stream coherent structure theory of Deguchi & Hall (Reference Deguchi and Hall2014) can be applied. The basic solution for the temperature field also approaches its free-stream form exponentially, with the rate of decay being dependent on the value of the Prandtl number. As discussed above in § 3, gases which provide a good approximation to the ideal gas assumption have Prandtl numbers $\sigma < 2$, and therefore the decay of the basic state to its free-stream form will be dominated by the $\exp (-\sigma \xi )$ term in the basic flow (4.5a,b). Hence, the decay will be slower than that of the streamwise velocity field $\hat {u}$ if $\sigma < 1$. Thus the thermal boundary layer is thicker than the velocity boundary layer if $\sigma < 1$, and vice versa if $\sigma > 1$; this is consistent with laminar boundary-layer theory which suggests that the thickness of the thermal boundary layer $\delta _\theta$ scales relative to the thickness of the velocity boundary layer $\delta _v$ as $\delta _\theta \sim \delta _v \sigma ^{-1/3}$ (Schlichting Reference Schlichting1968, p. 307).
5. The production-layer problem for compressible ASBL flow
Using the inversion of the Dorodnitsyn–Howarth transformation for large $\xi$ (4.8), at the production layer we obtain $\xi \approx y + C_0$, and therefore the solution in the production layer can be expressed in terms of the physical variable $y$. To find the location of the production layer and the scalings of the flow components in the layer, following Deguchi & Hall (Reference Deguchi and Hall2014), we seek a travelling-wave solution propagating with almost the free-stream speed with wavelengths comparable to the boundary-layer scalings of § 4 so that $\partial _x = \partial _y = \partial _z = O(1)$. Then, if viscosity is to play a role in the interaction, $v = O(\textit {Re}^{-1})$, and by the continuity equation (3.3), $1-u = w = O(\textit {Re}^{-1})$. To retain convective terms in the $x$-momentum equation (3.2) the $\rho (\partial _t + u \partial _x)$ term must also be $O(\textit {Re}^{-1})$; this defines the wave dependence in the production layer. The pressure must then be $O(\textit {Re}^{-2})$ to stay in play.
The streamwise component of the velocity field in the production layer must include the basic flow component (4.5a,b) for matching. For large $\xi$, the basic flow $\hat {u}$ has the form $1- \hat{u} = \exp (-y-C_0)$, therefore, in the production layer, $\mathrm {e}^{-y-C_0} = \textit {Re}^{-1}$. Thus the location of the production layer is given by $y = y_{PL} = \ln \textit {Re}-C_0$; this allows us to define a production-layer variable $Y = y-\ln \textit {Re}+C_0$. The thickness of the production layer must then be $O(1)$ to ensure that the streamwise velocity $u$ can only vary on an $O(1)$ length scale in the production layer.
Thus since $C_0 < 0$ for $\gamma =1.4$, a key feature of the compressible problem is that the location of the production layer where the waves and rolls are concentrated moves further away from the wall as both the Reynolds number and the Mach number increase. Since $C_0 \propto M_\infty ^2$, it is anticipated that the Mach number may have a strong influence on the hypersonic (large Mach number) production-layer problem; this is discussed further in the conclusion. However, our choice of parameters means that ${|C_0|} \ll \ln \textit {Re}$. Therefore the values of $\sigma$ and $M_\infty$ do not strongly influence the location of the production layer.
Under the scalings described above, the basic states for the streamwise velocity and temperature (4.5a,b) in the production layer are given by
where
Thus the largest deviation of the temperature field from its free-stream value at the production layer is controlled by the value of the Prandtl number $\sigma$. In particular, if $\sigma < 1$, then the deviation of the temperature field from its free-stream value is greater than the streamwise velocity deviation; this is again due to the relative thickness of the thermal and velocity boundary layers as discussed in § 4.
It is also important to stress that, although the $\exp (-\sigma \xi )$ exponential in the basic temperature state (4.5a,b) dominates the decay of the basic state to its free-stream value, upon exiting the production layer towards the wall as $Y \to -\infty$, any growing temperature disturbances will be dominated by the $\exp (-2Y)$ term in (5.1) and thus both exponentials need to be retained in the production-layer scalings.
Based on the discussion above, in the production layer we seek a solution of the Navier–Stokes equations in the form
We substitute these scalings into the Navier–Stokes equations (3.2)–(3.5) and, at leading order, we obtain the production-layer problem
where the operator $\mathcal {L} = ([\bar {\boldsymbol {u}}+c_1\hat {\boldsymbol {i}}]\boldsymbol {\cdot } \boldsymbol {\nabla })$, $\boldsymbol {\nabla } = (\partial _X, \partial _Y, \partial _z)$ and the dissipation function $\bar \varPhi$ is found by substituting the production-layer scalings into (3.6).
We see that the production-layer equations for the velocity field $\bar {\boldsymbol {u}}$ (5.4)–(5.5) are the same as the equations (2.2)–(2.3) for the incompressible production-layer problem in Deguchi & Hall (Reference Deguchi and Hall2014), which describe a unit-Reynolds-number eigenvalue problem for the wave speed $c_1$. The only difference in the compressible problem is that the equations are solved at a slightly different value of $y$. Therefore, the solution to the incompressible eigenvalue problem, which was calculated in Deguchi & Hall (Reference Deguchi and Hall2014), can now also be used for the compressible problem. The velocity field then drives the temperature field through the heat equations (5.6)–(5.7); (5.6), which is obtained at $O(Re^{-\sigma })$, is dominant in the production layer, but we require the solution of the equation at $O(Re^{-2})$ as the production layer is exited towards the wall.
The production-layer problem (5.4)–(5.11) is solved subject to boundary conditions specifying that the flow exiting the production layer on either side must match asymptotically onto the basic solution (4.5a,b),
and periodicity conditions; defining $\alpha$ and $\beta$ as the streamwise and spanwise wavenumbers, respectively,
Thus, boundary condition (5.13) allows for the streamwise velocity disturbance $\bar {u}$ to grow exponentially beneath the production layer. However, it also allows for the disturbances to the temperature field $\bar {\theta }_1, \bar {\theta }_2$ to grow exponentially, and at a faster rate than the streamwise velocity disturbance. Coming out of the production layer $\bar {\theta }_2$ is dominant, however, $\bar {\theta }_1$, which satisfies a homogeneous equation, must be retained as it is needed at the wall. All disturbances must be reduced to zero at the wall and therefore, as in the incompressible problem, the maximum value of the disturbances will occur in a layer between the wall and the production layer where the basic flow adjusts to accommodate the disturbance.
6. The adjustment-layer problem
Below the production layer, the flow returns to the unperturbed boundary-layer flow (4.5a,b)–(4.7a,b) at leading order. However, the nonlinear production-layer interaction produces exponentially growing disturbances to the streamwise velocity and temperature fields that interact with the basic flow beneath the production layer. The flow between the production layer and the wall adjusts to accommodate the disturbances; we thus refer to this region as the adjustment layer. The solution in the upper part of this layer is dominated by the solution exiting the production layer. Then as the wall is approached, the solution is described by the boundary-region equations.
6.1. The solution exiting the production layer
Firstly, above the production layer as $Y \to \infty$, the velocity must eventually return to its free-stream form $\bar {\boldsymbol {u}} = (0, -1, 0)$. As in Deguchi & Hall (Reference Deguchi and Hall2014), the decay of the streamwise velocity $u$ will be proportional to ${\mathrm {e}^{-Y-C_0}}$, however, the nonlinear interaction in the production layer gives a constant of proportionality which differs from unity. Thus the production-layer interaction can give at most an $O(1)$ effect on the amplitude of the streamwise velocity displacement. Since the temperature field in the production layer is entirely driven by the equations for the velocity (5.4)–(5.5), any temperature disturbances will also decay above the production layer as there is no interaction to sustain them.
We now consider $Y \to -\infty$. To analyse the flow beneath the production layer, we decompose the velocity disturbance $\bar {\boldsymbol {u}}$ into vortex and wave components. The wave is associated with the $X$-dependent components of the velocity field. The $X$-independent components of the velocity are split into a roll flow, which is associated with the components $\bar {v}$ and $\bar {w}$, and the streak, which is the downstream velocity component $\bar {u}$. The combination of the roll and streak constitutes a streamwise vortex. At leading order, the flow must satisfy the basic ASBL flow given by (5.13), and therefore we split the streak into a mean in $z$ and a $z$-dependent component (there is no mean in $z$ of the roll flow due to symmetry). In addition to the $z$-dependent components, we allow the $z$-independent term to grow exponentially in the adjustment layer as $Y \to -\infty$, but it must eventually at leading order reduce to $-\mathrm {e}^{-Y}$ in order to match onto the unperturbed basic flow at the wall.
We decompose the temperature disturbances $\bar {\theta }_1$ and $\bar {\theta }_2$ in the same way. Following the nomenclature outlined in Ricco & Wu (Reference Ricco and Wu2007), we refer to the $X$-independent component of the temperature disturbance as a ‘thermal streak’ and the corresponding streamwise velocity disturbance shall be termed a ‘velocity streak’. Hence, in the adjustment layer, we seek a solution in the form
where subscripts $s$, $r$ and $w$ refer to streak, roll and wave components respectively.
As in the incompressible ASBL study of Deguchi & Hall (Reference Deguchi and Hall2014), outside of the production layer the roll flow decays as there is no longer any forcing from the Reynolds stresses associated with the wavefield to sustain it. The wave $\boldsymbol {u}_w$ also decays faster than the roll; this can be seen through a balance of advection–diffusion terms and is confirmed by the numerical results of Deguchi & Hall (Reference Deguchi and Hall2014). Since the temperature field is driven entirely by the velocity field, the same is true of the corresponding temperature components $\theta _{w_{1, 2}}$ and $\theta _{w_{1,2}}$. However, the velocity streak ${\bar {u}_{s} + u_s}$ can grow exponentially through interaction with the roll. The growth or decay of the velocity streak depends on the spanwise wavenumber $\beta$ through the periodicity conditions (5.15). The new feature for the compressible problem is that the interaction of the roll flow with the temperature field drives the growth of the thermal streak.
We substitute the decomposition of the disturbances (6.1)–(6.2) into the production-layer equations (5.4)–(5.11). After introducing the roll-flow streamfunction $\psi$ such that $\partial _z \psi = {v_r}$ and $\partial _y \psi = -{w_r}$, the resulting equations for the roll-velocity-streak flow are given by
where the final equation for the mean velocity streak disturbance ${\bar {u}_s}$ has been found by taking the mean in $z$ of the production-layer $x$-momentum equation (5.4). It is important to note the $\partial _Y$ terms in the equations above which arise from the suction in the flow. It is these terms that allow the interaction of the mean part of the basic flow with the roll flow to produce growth.
The roll-velocity-streak equations (6.3)–(6.5) are solved together with the equations for the thermal streak,
where the dissipation function $\varPhi _v$ associated with the vortex flow is
These equations are solved by Fourier expansion in $z$. The numerical results of Deguchi & Hall (Reference Deguchi and Hall2014) show that the vortex wavelength is half that of the wave part of the flow, and therefore the wavelength of the vortex is ${\rm \pi} /\beta$, which sets the wavenumbers of the Fourier expansion. Therefore, we seek a solution for $\psi$ in the form
The roll-velocity-streak equations (6.3)–(6.5) are the same as those for the incompressible equation in Deguchi & Hall (Reference Deguchi and Hall2014), with $Y=y-\ln \textit {Re}+C_0$ where $C_0=0$ (corresponding to $M_\infty = 0$) in the incompressible problem. Thus, the solution of (6.3)–(6.5) is the same as that for the incompressible problem; the incompressible solution with $C_0=0$ is given in (2.4)–(2.6). Thus upon exiting the production layer in the compressible problem, the leading order solution of (6.3)–(6.5) in original boundary-layer coordinates $(x, y, z)$ and associated flow quantities $(u, v, w)$ is
where
for $n \geqslant 1$. The terms represented by ‘$\cdots$’ represent more slowly growing harmonics in $z$, with constants $J_n$, $K_n$ and $\omega _n$ for $n > 1$. The constants $d_0$ and $K_1$ are found as part of the nonlinear eigenvalue production-layer problem; $K_1$ was reported for a range of $\beta$ in Deguchi & Hall (Reference Deguchi and Hall2014). Thus we only give the full streamwise velocity solution up to a constant $d_0/\textit {Re}$, but this constant does not affect the streaks. As required, the flow returns to its unperturbed basic state at leading order, with exponentially growing disturbances that can become larger than the velocities involved in the nonlinear interaction in the production layer where the disturbances originated.
The solutions for $u_s$, $v_r$ and $\bar {u}_s$ are then used as forcing for the equations (6.6)–(6.9) for the thermal streak. In the original boundary-layer variables, $\theta = 1 + \textit {Re}^{-\sigma }\bar {\theta }_1 + \textit {Re}^{-2}\bar {\theta }_2$, we find that upon exiting the production layer,
where again the terms represented by ‘$\cdots$’ denote more slowly growing harmonics in $z$, with constants $K_n$, $J_n$, $L_n$, $Q_n$, $R_n$ and $\omega _n$ for $n > 1$ and where
The constants $d_1$ and $d_2$ are constants of integration; again, we only find the solution for the temperature field up to a constant, but this constant does not affect the growth of the thermal streaks beneath the production layer.
The asymptotic solution (6.12)–(6.13) for $u$ and $v$ beneath the production layer shows that the roll flow always decays as the wall layer is approached, whereas the mean part of the velocity streak flow (6.12) can grow beneath the production layer if $2\omega _1 < 1$, corresponding to values of $\beta < \sqrt {3}/4$. The $z$-dependent part of the velocity streak can grow if $\omega _1 < 1$, corresponding to values of $\beta < 1/\sqrt 2$, and therefore these latter modes are the fastest growing. If $\beta > 1/\sqrt 2$, then the velocity streak disturbance decays exponentially, and the nonlinear interaction in the production layer simply produces an $O(Re^{-1})$ correction to the flow.
Meanwhile, the asymptotic solution for the temperature (6.16) beneath the production layer shows that the thermal streaks can grow if $\omega _1 < \sigma$ or if $\omega _1 < 2$. For the range of values of Prandtl number $\sigma <2$ considered, the modes proportional to $\exp ( (\omega _1-2) (y+C_0))$ will dominate the growth, and therefore the nonlinear interaction in the production layer will always produce growing temperature disturbances for $\beta < \sqrt {3}/\sqrt {2}$.
The structure of the solution with varying $\beta$ is summarised in table 1. The asymptotic results suggest that there exists a case where the thermal streaks can grow while the velocity streak decays. However, solutions of the production-layer problem (5.4)–(5.5) have not been found for values of $\beta \gtrsim 0.47$ (Deguchi & Hall Reference Deguchi and Hall2014, Reference Deguchi and Hall2015), and therefore cases $(c)$ and $(d)$ are possibly not relevant.
We see that, in all cases, a nonlinear interaction in the production layer of size $O(\textit {Re}^{-1})$, which drives $O(\textit {Re}^{-2}), O(\textit {Re}^{-\sigma })$ temperature perturbations, can induce much larger changes to the velocity and temperature fields of ${O(\textit {Re}^{-\omega _1})}$ in the main part of the boundary layer. We now consider the solution as it approaches the wall layer, where all disturbances are eventually reduced to zero to satisfy the wall boundary conditions.
6.2. Boundary-layer analysis
The solutions exiting the production layer, (6.12)–(6.14) and (6.16), do not satisfy the wall boundary conditions. We now find the solution for the induced flow which is valid all the way down to the wall. This solution should also match onto the solution exiting the production layer given by (6.12)–(6.14) and (6.16). An examination of this solution shows that in the boundary layer, disturbances can grow exponentially. The $z$-dependent part of the disturbance grows faster than the $z$-independent part; therefore, to match onto the solution exiting the production layer, the boundary-region solution will have $z$-dependence in the form of $\cos (2\beta z)$. However, the solution must also satisfy conditions (4.2a), and therefore any disturbances must ultimately be reduced to zero at the wall.
The solution in the boundary region is described in terms of the Dorodnitsyn–Howarth variable $\xi$; since disturbances are always small compared with the basic flow, the definition of the variable in (4.3) is valid throughout the flow, and in particular, $\partial _y = \hat \rho (\xi ) \partial _\xi$. The inversion of the Dorodnitsyn–Howarth transformation for $y(\xi )$ is given in (4.8), however, unlike near the wall and in the production layer, we cannot generally find an explicit relationship for $\xi (y)$ as it cannot be assumed that the exponential terms involving $\xi$ are smaller than the linear terms. Therefore, to find the solution for the physical variable $y$, we first solve the boundary-region equations in terms of $\xi$, and then use the monotonic relationship $y(\xi )$ in (4.8) to plot the solutions for each corresponding value of $y$.
Based on this discussion, in the boundary region we seek a solution in terms of the fundamental harmonics of the solution exiting the production layer (6.12)–(6.14), (6.16) in the form
where the basic solution (hat quantities) is given by the solution of (4.4a,b). We use the same velocity streak and thermal streak terminology to refer to the disturbances to the streamwise velocity and temperature fields respectively, and again the roll flow is associated with the disturbances to the $(v, w)$ components of the velocity.
We substitute this expansion into the Navier–Stokes equations (3.2)–(3.5), which leads to a set of ordinary differential equations in $\xi$ for the leading-order disturbance amplitudes (tilde quantities). Following Hall (Reference Hall1983), we eliminate the pressure $\tilde {p}$ and the spanwise disturbance velocity $\tilde {w}$; then we also eliminate the viscosity $\tilde {\mu }$ and the density $\tilde {\rho }$ using the equation of state (3.5) and the linearised power-law viscosity law (3.7). We are then left with three coupled differential equations for $\tilde {u}$ (from the $x$-momentum equation), $\tilde {v}$ (from the $y$-momentum equation) and $\tilde {\theta }$ (from the temperature equation)
Here, the superscripts represent derivatives in the usual way. The coefficients $A_k$, $B_k$ and $C_k$ depend on the basic solution and are too long to write here; details are available from the authors on request. These coupled equations are solved subject to zero-disturbance and no-slip boundary conditions at the wall, and matching to the solution exiting the production layer (6.12), (6.13), (6.16) at $\xi = \xi _{PL} = \ln \textit {Re}$, so that
The reduced boundary-region equations are discretised on a grid with $N$ interior points and we use second-order accurate centred finite differences to approximate the derivatives with step size $\Delta \xi$; see Appendix A for details. We then solve the resulting matrix equation for $\tilde {u}$, $\tilde {v}$ and $\tilde {\theta }$.
7. Results
We solve the matrix system for $\tilde {u}$, $\tilde {v}$ and $\tilde {\theta }$ on a grid containing $N=2000$ points. To compute the boundary conditions (6.12), (6.13) and (6.16), we require the value of $K_1 = K_1(\alpha , \beta )$ which is determined as part of the numerical solution of the production-layer nonlinear eigenvalue problem (5.4)–(5.5) for the wave speed $c_1$. For wavenumber values $(\alpha , \beta ) = (0.2, 0.4)$, which by table 1 is in the regime where both the velocity and thermal streaks are expected to grow, Deguchi & Hall (Reference Deguchi and Hall2014) find $K_1 = 16.9$; we use these parameter values in our computations.
We explore the behaviour of the velocity and thermal streaks as the Reynolds number $\textit {Re}$, Mach number $M_\infty$ and Prandtl number $\sigma$ vary. The Reynolds number and Mach number are defined using the dimensional quantities $u_\infty$ (the streamwise velocity), $v_\infty$ (the suction velocity) and $\theta _\infty$ (the free-stream temperature). Using the International Standard Atmosphere (International Organization for Standardization 1975) value for temperature at a fixed altitude, we describe in table 2 the range of free-stream velocities $u_\infty$ and suction velocities $v_\infty$ required to obtain Reynolds numbers in the range 80 000–140 000 and Mach numbers in the subsonic to moderate supersonic range, $0.1 \leqslant M_\infty \leqslant 2$.
Next, to examine the development of the flow disturbances beneath the production layer, we define the amplitudes of the leading-order velocity streak, roll and thermal streak solutions exiting the production layer (6.12)–(6.14), (6.16) and the numerical solution in the boundary region
We first consider the validity of the upper adjustment-layer solution (6.12)–(6.14), (6.16). In figure 1 we plot the amplitudes of the velocity streaks, roll flow and thermal streaks for both the asymptotic solution (6.12)–(6.14), (6.16) and the numerical solution of the boundary-region equations (6.19)–(6.21) in terms of the Dorodnitsyn–Howarth variable $\xi$, so that the production layer is located at $\xi _{PL} = \ln \textit {Re}$. For both the subsonic (a,c,e) and moderate supersonic (b,d,f) regimes, the asymptotic solution describing the roll flow is valid all the way to the wall, whereas the solution for the velocity and thermal streaks breaks down as the wall is approached; the location of this breakdown indicates the thickness of the upper adjustment layer. This breakdown occurs further from the wall in the moderate supersonic regime, indicating a thinner upper adjustment layer. We also note that the amplitude of the thermal streaks for subsonic free-stream Mach numbers is approximately one order of magnitude smaller than that of velocity streaks, whereas in the moderate supersonic regime the amplitudes are comparable.
As the wall is approached, the numerical solution of the boundary-region equations describes the flow induced by the disturbances from the production layer. In figure 2 we show the development of the amplitudes of the velocity and thermal streaks as the walls is approached, for subsonic free-stream Mach number $M_\infty = 0.8$, as a function of the physical variable $y$ which is related to the Dorodnitsyn–Howarth variable by (4.8). As in the incompressible case, the velocity streak grows throughout the boundary region before taking its maximum in the near-wall boundary layer. In the compressible problem, the nonlinear interaction in the production layer also produces a thermal streak which similarly grows throughout the boundary layer; the rate growth of the thermal streak is higher than that of the velocity streak so that the effect of the thermal streak is felt both further from the wall and more uniformly across the flow compared with the velocity streak. In figure 2(b,d) we show the velocity and thermal streaks over two vortex wavelengths. Note that the velocity and thermal streaks shown in figure 2(b,d) are in phase, but the functions of $y$ multiplying $\cos (2\beta z)$ have opposite sign.
The variation of the amplitude of the velocity and thermal streaks for varying Mach number is shown in figure 3, for a Reynolds number of $\textit {Re} = 80\,000$. The amplitude of the thermal streak is enhanced as the free-stream Mach number is increased whilst the amplitude of the velocity streaks decreases; as noted above, for moderate supersonic $M_\infty$ the amplitudes are of comparable magnitude. This is consistent with the idea of compressibility effects becoming more important as the free-stream Mach number is increased (Morkovin Reference Morkovin1962), but also suggests that the amplitude of the velocity streaks could be become larger than that of the thermal streaks in more compressible regimes. The location of the maximum amplitude of the thermal streak occurs further from the wall as $M_\infty$ is increased, with the structure of the amplitude solution changing from two local maxima to one more pronounced peak. Thus unlike the incompressible case, the growth of the thermal streak is not uniform in $y$.
Meanwhile, the effect of Prandtl number on the streak amplitude is shown in figure 4 for both the subsonic and moderate supersonic regimes. Increasing the Prandtl number from $0.7$ to $1.3$ leads to velocity streaks with smaller maximum amplitude where the maximum occurs further from the wall; these effects are more pronounced in the moderate supersonic regime than the subsonic regime. Meanwhile, for the thermal streaks, the effect of increasing the Prandtl number is to decrease the amplitude of the streak exiting the production layer, inhibit the growth of the streak further from the wall, but increase the eventual rate of growth. In the subsonic case the streaks eventually have a larger maximum amplitude; this is not the case in the moderate supersonic regime.
8. Discussion
Our results show the existence of free-stream coherent structures in the compressible ASBL at $O(1)$ Mach number. The solutions take the form of a roll–wave–streak interaction at the edge of the boundary layer, in a production layer whose location is dependent on both the Prandtl number and the Mach number. The interaction produces both a streaky disturbance and a temperature disturbance. These grow exponentially out of the production layer, with the rate of growth being controlled by the spanwise wavenumber and, for the temperature disturbance, the Prandtl number. Above the layer, the disturbances decay rapidly to zero. For the compressible case considered here, the main difference from the incompressible case is the development of a spanwise varying temperature field beneath the production layer. The amplitude of the induced temperature field disturbances depends on both the Prandtl number and the free-stream Mach number, with the amplitude of the velocity and thermal streaks being comparable in the moderate supersonic regime. We might anticipate that in practice the induced temperature and streak fields could be big enough to lead to secondary instabilities. In the incompressible case we know from Dempsey, Hall & Deguchi (Reference Dempsey, Hall and Deguchi2017) that the streak generated by the free-stream coherent structure acts as a receptivity mechanism in curved flows, so for curved compressible flows, such as those over turbine blades, we anticipate that the structures described here might trigger transition through the Görtler vortex mechanism.
Our results show that the fundamental mechanism described by Deguchi & Hall (Reference Deguchi and Hall2014) for incompressible flows is also operational in compressible flows. In particular, this suggests the mechanism will occur in compressible jets and therefore might have important consequences for sound production in compressible jet flows. Extension of the work of Deguchi & Hall (Reference Deguchi and Hall2015) on swept wing flows is also possible.
Our analysis has assumed that the viscosity can be described by the power-law viscosity law, that the effect of shocks in the moderate supersonic regime is negligible with a sufficiently thin plate and that the gas in question is an ideal gas. Extension of the work to account for a more realistic viscosity model, for example Sutherland's law (Sutherland Reference Sutherland1893), is straightforward but we believe that for the Mach numbers considered here that is not necessary. At hypersonic speeds beyond the regime covered here both real gas effects and more realistic viscosity models must be used and an intriguing question is the relationship between the production-layer problem and the temperature adjustment layer for the basic state at hypersonic speeds. Certainly, we know from for example Cowley & Hall (Reference Cowley and Hall1990), Blackaby, Cowley & Hall (Reference Blackaby, Cowley and Hall1993) and Fu, Hall & Blackaby (Reference Fu, Hall and Blackaby1993) that real gas effects, realistic viscosity models and indeed shocks present in the flow can significantly alter streamwise vortex or travelling-wave instabilities, so it is to be expected that the free-stream coherent structure mechanism at hypersonic speeds will be significantly different from that in the moderate supersonic case.
It is not yet known whether the class of exact coherent structures described by Hall & Sherwin (Reference Hall and Sherwin2010) can be extended to compressible flows. However, the fundamental asymptotic analysis supporting the structure is the vortex–wave interaction theory of Hall & Smith (Reference Hall and Smith1991) which in fact was given in the context of compressible flows so it would appear likely that it is operational in compressible flows. Moreover, the inviscid stability equation for many boundary-layer compressible flows has unstable solutions when the incompressible counterpart has none (Mack Reference Mack1975, Reference Mack1984) so it may well be that vortex–wave interactions in compressible flows may have a richer structure than their incompressible counterparts. Taken together with the extension of the free-stream coherent structure mechanism to compressible flows, it suggests that compressible flows might well have a significant family of possible exact coherent states.
Acknowledgements
The authors would like to thank the referees for their helpful and constructive comments.
Declaration of interests
The authors report no conflict of interest.
Appendix A. The finite-difference approximation to the boundary-region equations
We denote the values of $\tilde {u}$, $\tilde {v}$ and $\tilde {\theta }$ at $\xi _i = (i-1)\Delta \xi$, $\Delta \xi = 1/N$ by $\tilde {u}(\xi _i) = \tilde {u}_i$, $\tilde {v}(\xi _i) = \tilde {v}_i$ and $\tilde {\theta }(\xi _i) = \tilde {\theta }_i$, respectively, where $0 \leqslant i \leqslant N+1$. The wall is at $\xi _1 = 0$ and the production layer is at $\xi _N = (N-1) \Delta \xi = \xi _{PL}$.
The discretised boundary-region equations are
The coefficients $\alpha _k$, $\beta _k$ and $\gamma _k$ depend on the coefficients $A_k$, $B_k$ and $C_k$. The coefficients of the finite-difference approximation to the $x$-momentum equation (6.19) are given by
The coefficients of the finite-difference approximation to the $y$-momentum equation (6.20) are given by
The coefficients of the finite-difference approximation to the temperature equation (6.21) are given by
The coefficients A1–A6, B1–B10 and C1–C5 are available from the authors on request.
These finite-difference approximations are then encoded in a $3\times 3$ block matrix $A$ where each block is of size $(N+2)^2$. The first, second and third block rows contain the discretisations of the $x$-momentum, $y$-momentum and temperature equations respectively. To find the solution $\tilde {\boldsymbol {u}} = (\tilde {u}(\xi _i), \tilde {v}(\xi _i), \tilde {\theta }(\xi _i))^{\textrm {T}}$ for $0 \leqslant i \leqslant N+1$ we solve $A \tilde {\boldsymbol {u}} = \boldsymbol {b}$, where $b$ contains the values of the solution and its derivatives at the boundaries.