1. Introduction
Hypersonic vehicles are faced with three-dimensional (3-D) boundary-layer transition problems that yield an undesirable increase in heat flux and skin friction. In contrast to the two-dimensional (2-D) boundary layer over a flat plate, cone at zero degrees angle of attack, etc., the 3-D counterpart features non-uniform pressure distribution in the azimuthal direction, and as such exhibits three distinct regions across the vehicle surfaces, i.e. the attachment-line region (high-pressure region), the vortex region (low-pressure region) and the crossflow region in between. Each region sustains certain modal instabilities likely responsible for the boundary-layer breakdown. Of particular interest is the crossflow region where boundary-layer transition is generally dominated by crossflow instabilities comprising stationary and travelling modes (Reed & Saric Reference Reed and Saric1989) and occurs over the largest part of the vehicle surface.
Base flow in the crossflow region varies mildly in the azimuthal direction, which appears amenable to one-dimensional (1-D) stability analyses. To obtain the evolution of crossflow vortices, it is common practice to first model a vortex path and the azimuthal wavenumber variation along the path, and then integrate the (nonlinear) parabolised stability equations (PSEs) assuming azimuthal periodicity (Kocian et al. Reference Kocian, Moyes, Reed, Craig, Saric, Schneider and Edelman2019; Song et al. Reference Song, Zhao and Huang2020). However, the 1-D tools find it difficult to model the typical wavepacket structures of the crossflow mode, and also can not deal with the nonlinear interactions between multiple modes as local modes may have different trajectories. Therefore, one attempts to establish a multi-dimensional stability analysis framework to delineate the crossflow instability behaviour in a 3-D boundary layer. Paredes et al. (Reference Paredes, Gosse, Theofilis and Kimmel2016b
) and later Lakebrink et al. (Reference Lakebrink, Paredes and Borg2017) adopted 2-D local linear stability theory (LST; sometimes termed the BiGlobal approach) solving 2-D eigenvalue equations to uncover the modal structure of the travelling crossflow instability over an elliptic cone. They found that the shape function of the crossflow mode exhibits rapid oscillations in the azimuthal direction and covers almost the entire surface of the vehicle, thus requiring a large number of grid points to resolve. In a similar study of a lifting body, Chen et al. (Reference Chen, Dong, Tu, Yuan and Chen2022) documented that the 2-D local crossflow modal eigenvalues are too sensitive to azimuthal resolution to be grid converged. This extreme sensitivity of eigenvalues, on the one hand, reflects the highly non-orthogonal nature of the linear operator and, on the other hand, is physically due to the weakly non-parallel effects (i.e. the azimuthal wavelength of the crossflow mode is much smaller compared with the azimuthal variation scale of the base flow) (Chomaz Reference Chomaz2005), analogous to previous studies on the streamwise BiGlobal problem (e.g. Åkervik et al. Reference Åkervik, Ehrenstein, Gallarire and Henningson2008). They also showed that the global spectrum for a single frequency contains many unstable modes without a predominant one, which was reported by Liu et al. (Reference Liu, Wan, Yuan, Zhang, Chen and Chen2022a
) as well in studying an inclined cone configuration. The poor grid convergence of eigenvalues and the multiplicity of crossflow modes make the interpretation of global/2-D local modal instability results challenging. As a result, the 2-D local modal stability analysis may be unable to properly describe the crossflow instability in a complex 3-D boundary layer. Furthermore, it has become increasingly evident that modal instability analysis alone cannot explain all transition phenomena, as exemplified by the famous blunt-cone paradox concerning subcritical transition on a large-bluntness cone (Reshotko & Tumin Reference Reshotko, Tumin, Fasel and Saric2000). Recently, Paredes et al. (Reference Paredes, Scholten, Choudhari and Li2023) and Chen et al. (Reference Chen, Tu, Wan, Yuan, Chen and Chen2024) who investigated the leeward modal instabilities of hypersonic flow over yawed blunt cones both identified strikingly low
$N$
-factors (below 2) correlated with the observed transition location, pointing to unknown transition mechanisms.
The alternative approach is based on the non-modal stability analysis framework which considers the non-modal combinations of multiple modes simultaneously (Schmid & Henningson Reference Schmid and Henningson2001; Schmid Reference Schmid2007). Instead of focusing on the modal instability, the non-modal stability analysis aims to identify the most dangerous case from all potential routes of disturbance evolution, which is important since inlet conditions are typically unavailable in realistic situations. Moreover, the optimal solution proves to be robust to small perturbations even if the eigenvalues may not (Reddy et al. Reference Reddy, Schmid and Henningson1993; Schmid Reference Schmid2007). The non-modal stability analysis can be conducted in the temporal domain (temporal approach) seeking the intrinsic disturbances in the flow field that result in the maximal energy growth over a certain time interval, or in the frequency domain (spatial approach) finding the optimal disturbances that achieve the largest spatial growth. In the spatial growth analysis, the input/output disturbances/forcings can be anywhere within the flow field (often termed the input–output/resolvent (I-O) analysis; see Jovanović & Bamieh (Reference Jovanović and Bamieh2005)) or be restricted to the inlet and outlet only (conventional optimal growth analysis). In this work, we compute a frequency domain problem for time-harmonic disturbances to retrieve optimal disturbances with such two types of choices on the input and output domains.
The early non-modal stability analyses were mostly conducted for simple shear flows (Poiseuille flow, Couette flow, Blasius boundary layer, etc.) in the low-speed regime, showing that disturbances can be considerably (linearly) amplified through the Orr mechanism and lift-up effect even if they are modally stable (Schmid & Henningson Reference Schmid and Henningson2001). The Orr mechanism is predominant for 2-D waves and relies on the deformation of vorticity patches under the action of the base flow. The deformation reduces the support area of the vorticity such that the vorticity extrema increase owing to the Kelvin circulation preservation theorem, thereby causing a transient energy growth (Nastro et al. Reference Nastro, Fontane and Joly2020). The lift-up effect corresponds to the emergence of streaks induced by streamwise vortices. In general, 3-D optimal perturbation combines these mechanisms in a synergistic manner in which the cross-stream velocity produced by the Orr mechanism enhances the streamwise rolls associated with streak production (Farrell & Ioannou Reference Farrell and Ioannou1993). The optimal perturbation can sometimes initiate the modal instability, especially in 3-D boundary layers where modal and non-modal growths are observed for similar disturbance structures. Corbett & Bottaro (Reference Corbett and Bottaro2001) who studied temporal optimal disturbances in Falkner–Skan–Cooke flow modelling the boundary layer over an infinite swept wing found that these initially take the form of vortices which are almost aligned with the external streamline and evolve into crossflow modes downstream. They argued that non-modal growth may provide proper initial conditions for modal growth and thus constitutes a preferential receptivity path for the selection of exponential instabilities in 3-D boundary layers. For a similar configuration, Tempelmann et al. (Reference Tempelmann, Hanifi and Henningson2010) utilised a spatial approach based on the method of Lagrange multipliers and PSEs to reveal that the optimal disturbance manifests as streamwise vortices aligned against the crossflow, extracts energy by leveraging both the Orr and lift-up mechanisms and develops smoothly into crossflow modes downstream. They (Tempelmann et al. Reference Tempelmann, Hanifi and Henningson2012) later extended the study to compressible flow (up to Mach 1.5), showing that optimal growth increases for higher Mach numbers and wall cooling destabilises disturbances of non-modal nature. Nonetheless, the physical mechanisms of optimal growth in compressible boundary layers are found to be similar to those in the incompressible counterpart.
The first non-modal stability analysis in compressible flow comes from Hanifi et al. (Reference Hanifi, Schmid and Henningson1996) who, adopting the temporal approach, examined the effects of different parts of spectra on the optimal growth, and obtained similar optimal structures to those in incompressible flow. Their work was later complemented by a spatial study performed by Tumin & Reshotko (Reference Tumin and Reshotko2003). Laible & Fasel (Reference Laible and Fasel2016) identified a constantly non-modal growth mechanism in the streamwise development of the streak mode in oblique breakdown, by which the streak mode retains a higher amplitude level than other nonlinearly generated modes. Paredes et al. (Reference Paredes, Choudhari, Li, Jewell and Kimmel2019, Reference Paredes, Choudhari and Li2020) observed substantial non-modal growth of disturbances peaking within the entropy layer around the nose of a blunt cone, and furthermore showed that such disturbances could trigger the boundary-layer transition through oblique breakdown.
The aforementioned studies considered essentially 2-D compressible boundary layers where the flow field is treated as homogeneous in at least one direction (usually the azimuthal/spanwise direction). Non-modal analyses of truly 3-D compressible boundary layers are rare. Cook et al. (Reference Cook, Knutson and Nichols2020) obtained the optimal response of a hypersonic finned-cone boundary layer to wall roughnesses by partitioning the entire domain into smaller segments and progressively solving the I-O equations of each segment. Paredes et al. (Reference Paredes, Scholten, Choudhari, Li, Price and Jewell2022) calculated the optimal disturbances for flow field around an isolated 3-D roughness with harmonic linearised Navier–Stokes (HLNS) equations, emphasising the importance of the disturbance amplification in the backward-flow region of the roughness. The above two studies both entail iteratively solving large-scale linear systems with unknowns at an order of one million, which is prohibitively expensive especially for a parametric study. Quintanilha et al. (Reference Quintanilha, Paredes and Hanifi2022) performed a temporal non-modal stability analysis on an elliptic-cone boundary layer under hypersonic flight conditions. They observed a strong transient growth in the crossflow region, which is strengthened with increasing flight altitude and as such is likely the important mechanism responsible for the high-altitude boundary-layer transition. In their study, the optimal disturbance is constructed by a linear combination of a finite number of 2-D local modes whose amplitude coefficients are optimised to achieve the maximum amplification at a given time horizon. Their results may, however, be compromised by the aforementioned high sensitivity of 2-D local crossflow modes, as well as the partial consideration of the eigenvalue spectrum (Bagheri et al. Reference Bagheri, Åkervik, Brandt and Henningson2009) since obtaining the entire spectrum is infeasible. Moreover, the spatial optimal growth mechanisms pertaining to crossflow disturbances in a truly 3-D boundary layer remain hitherto insufficiently understood.
In the present study, we aim at establishing a proper description of the crossflow instabilities from a multi-dimensional perspective with the help of non-modal analysis, and furthermore elucidating the optimal growth mechanisms for a prototypical 3-D boundary layer. To this end, we attempt to constitute an efficient and accurate spatial optimal growth calculation framework based on a parabolic set of equations, and employ it to systematically study the optimal responses over a hypersonic inclined cone to both inlet perturbation and external forcings, with a special focus on the influence of the angle of attack (AoA). The related methodologies are summarised in § 2. Then, the linear non-modal characteristics of the selected configuration are presented in § 3, followed by discussions on the effects of AoA in § 4. Finally, concluding remarks and discussions are given in § 5.
2. Numerical set-up and linear stability theories
The numerical simulation and stability analysis are based on the equations of ideal gas flow written in dimensionless form as
\begin{eqnarray} \nonumber \rho \left [\frac {\partial T}{\partial t} + (\boldsymbol V\cdot \boldsymbol \nabla )T\right ] = (\gamma -1)M_\infty ^2\left [\frac {\partial P}{\partial t} + (\boldsymbol V\cdot \boldsymbol \nabla )P\right ] + \frac {1}{R\, Pr }\boldsymbol \nabla \cdot (\kappa \boldsymbol \nabla T) \\ +\frac {(\gamma -1)M_\infty ^2\mu }{2R}\left (\boldsymbol \nabla \boldsymbol V + \boldsymbol \nabla \boldsymbol V^t +l_0\boldsymbol \nabla \cdot \boldsymbol V \mathbf I\right ):\left (\boldsymbol \nabla \boldsymbol V + \boldsymbol \nabla \boldsymbol V^t +l_0\boldsymbol \nabla \cdot \boldsymbol V \mathbf I\right ), \end{eqnarray}
where
$\boldsymbol V = (U,V,W)$
is the velocity vector,
$\mathbf{I}$
the identity tensor,
$\rho$
the density,
$P$
the pressure,
$T$
the temperature,
$M_\infty$
the Mach number,
$R$
the Reynolds number,
$Pr = 0.7$
the Prandtl number,
$\gamma = 1.4$
the specific heat coefficient,
$\kappa$
the thermal conductivity and
$\mu$
the first coefficient of viscosity. The reference values of velocity and temperature are the corresponding values at the free stream with the subscript ()
$_\infty$
. The reference value for pressure is
$\rho _\infty U_\infty ^2$
. The equation of state is
$p = \rho T/(\gamma M_\infty ^2)$
. The Stokes law
$l_0 = -2/3$
has been assumed and the viscosity coefficient is estimated by Sutherland’s law:
with
$Cs = 110.4 \textrm { {K}}/T^*_\infty$
for air in standard conditions. Dimensional variables are denoted with the superscript ()
$^*$
.
2.1. Model
Sketch of the flow configuration and the computation domain for the base-flow calculation with the density distribution (for the case of 2
$^\circ$
AoA) showing the shock position. The velocity components (
$U,V,W$
) in Cartesian coordinates (
$X,Y,Z$
) and velocity components (
$u,v,w$
) in body-oriented coordinates (
$\xi ,\eta ,\phi$
) are also shown.

The model currently being studied is a 7
$^\circ$
-half-angle (
$\theta _0$
) blunt cone at AoA of 2
$^\circ$
, 4
$^\circ$
and 6
$^\circ$
. The model is 900 mm long and has a nose radius of 5 mm. The free-stream Mach number
$M_\infty = 6$
, unit Reynolds number
$Re_\infty ^* = 4\times 10^7$
m−1, free-stream static temperature
$T_\infty ^* = 61.1$
K and wall temperature
$T_w^*$
= 300 K. The flow configuration is sketched in figure 1. The transformation relationship between the body-oriented coordinates and the Cartesian coordinates is as follows:
where
$\tilde \eta \equiv \xi \sin (\theta _0)+\eta \cos (\theta _0)$
. All flow quantities are non-dimensionalised using the reference length
$L^*$
= 0.0387 mm (the boundary-layer scale at
$X^* = 10$
mm), the free-stream velocity, density and temperature.
2.2. Base-flow calculations
A well-validated in-house code (Zhao Reference Zhao2017; Wan et al. Reference Wan, Luo and Su2018) was used to solve the unsteady compressible Navier–Stokes equations. The grid resolution is
$N_\xi \times N_\eta \times N_\phi = 501\times 301\times 301$
for the first two cases and
$N_\xi \times N_\eta \times N_\phi = 751\times 301\times 361$
for the last case (6
$^\circ$
AoA), where
$N_\xi ,N_\eta ,N_\phi$
is the number of grid points in the streamwise, wall-normal and azimuthal directions, respectively. The grid is stretched in the wall-normal and streamwise directions so that sufficient (at least 100) points are in the boundary layer and in the vicinity of the nose part, and is furthermore aligned with the leading-edge shock to diminish the numerical oscillations from the shock layer. Only half of the flow field is simulated by exploiting the azimuthal symmetry. The inviscid fluxes are computed by using a third-order WENO scheme, while the viscous fluxes are discretised using a fourth-order central-difference scheme. The time integration is performed using a third-order Runge–Kutta scheme. The upper boundary lies outside the shock, where the oncoming flow quantities are specified. At the outflow boundary, a third-order extrapolation boundary condition is used. The grid convergence has been tested by increasing the grid points along the azimuthal and wall-normal directions (see Appendix A).
Base-flow characteristics for three cases with different AoA: (a) 2
$^\circ$
, (b) 4
$^\circ$
and (c) 6
$^\circ$
. Top row: contours of the wall pressure and axial velocity at several axial locations from
$X^* = 50$
to
$X^* = 350$
mm. The last three rows display the axial velocity, temperature and density distribution, respectively, at
$X^* = 250$
mm.

The flow fields are illustrated by the surface pressure distribution and the axial velocity distribution at several cross-sections in figure 2. The distributions of the axial velocity, temperature and density at one representative station (
$X^* = 250$
mm) are also displayed to highlight the azimuthal variations of the base flow. As expected, the azimuthal pressure gradient is present, driving the fluid towards the leeward region. Increasing the AoA strengthens the pressure gradient, leading to a more prominent vortical structure in the vicinity of the leeward ray.
2.3. Governing equations of disturbances
We concentrate on the linearised compressible Navier–Stokes equations describing the evolution of infinitesimal perturbations in a 3-D geometry with two rapidly varying (wall-normal and azimuthal) directions and one slowly varying (streamwise) direction. We decompose the flow state
$\boldsymbol {Q} \equiv (\rho ,u,v,w,T)^{tr}$
into the base flow
$\boldsymbol {\bar q} \equiv (\bar \rho ,\bar u,\bar v,\bar w,\bar T)^{tr}$
plus the infinitesimal disturbances
$\boldsymbol {q'} = (\rho ', u', v', w', T')^{tr}$
, where
$tr$
stands for the transpose and
$u,v,w$
denote the velocity components in the streamwise, wall-normal and azimuthal directions, respectively. We seek the optimal response to the inlet disturbance or the external forcing in the frequency domain, that is, considering a harmonic forcing at frequency
$\omega$
,
$\boldsymbol f = \boldsymbol {\hat f} e^{-i\omega t}$
and the corresponding response
$\boldsymbol {q'}=\boldsymbol {\hat q}e^{-i\omega t}$
. This problem can be readily formulated in an input–output framework:
where
$\mathcal {P}$
is the HLNS operator;
$\boldsymbol {\hat f}$
denotes the input;
$ {\hat{\psi} }$
designates the output; and
$\mathcal {C}$
and
$\mathcal {D}$
are projectors (i.e.
$\mathcal {C}\mathcal {C}=\mathcal {C}$
,
$\mathcal {D}\mathcal {D}=\mathcal {D}$
) specifying how the input enters into the state equation and how the output extracts from the state
$\boldsymbol {\hat q}$
. We define, respectively, the inner product and the energy-weight inner product:
where
represents the response (Chu’s) energy weight (Chu Reference Chu1965),
$\boldsymbol Q$
the forcing energy weight that will be defined later,
$\varOmega$
the domain where the shape function resides and
$\dagger$
the transpose conjugate quantities. The input and output can be related by the transfer (resolvent) operator
$\mathcal {H}$
as
2.4. Eigenspectrum, pseudospectrum and local optimal growth analyses
When discarding the forcing term and adopting the parallel-flow assumption (i.e.
$\partial \boldsymbol {\bar q}/\partial \xi = 0$
), we can introduce the ansatz
$\boldsymbol {\hat q} = \boldsymbol {\check q}{\textrm e}^{i\alpha \xi }$
into (2.6) and obtain the 2-D nonlinear eigenvalue problem:
The real and imaginary parts of an eigenvalue
$\alpha$
represent the wavenumber and growth rate of the associated eigenmode. Equation (2.11) can be rewritten as a numerically tractable linear eigenvalue problem:
or in a compact form:
Here,
$\mathcal {A}_0, \mathcal {A}_1, \mathcal {A}_2$
are linear operators for which the representations are give in Chen et al. (Reference Chen, Dong, Tu, Yuan and Chen2022) and
$\mathcal {I}$
is the identity operator;
$\boldsymbol {A}_f\equiv [\boldsymbol {0},\mathcal {I}; -\mathcal {A}_0, -\mathcal {A}_1]$
,
$\boldsymbol {B}_f \equiv [\mathcal {I},\boldsymbol {0}; \boldsymbol {0}, \mathcal {A}_2]$
and
$\boldsymbol { q}\equiv [\boldsymbol {\check q}; \alpha \boldsymbol {\check q}]$
.
As mentioned above, the crossflow modes are highly sensitive, which can be best illustrated by the pseudospectrum (Trefethen & Embree Reference Trefethen and Embree2005). The pseudospectrum can be characterised by the resolvent norm as
which quantifies physically the maximum response of the flow to any forcing. When the operator is non-normal, the resolvent norm may retain extremely large values even far from the spectrum.
Since the problem is of high dimension, the computation of the resolvent norm is too expensive. In practice, we can consider a low-dimensional approximation (Reddy et al. Reference Reddy, Schmid and Henningson1993) as
where
$\boldsymbol \Psi$
is a matrix whose columns form an orthonormal basis for the subspace spanned by a moderate number of eigenvectors of (2.12).
In the framework of the local optimal growth analysis (with the parallel-flow assumption), a disturbance at frequency
$\omega$
is approximately represented by a linear combination of
$n$
eigenmodes:
\begin{equation} \boldsymbol q'(t,\xi ,\eta ,\phi ) = \exp (-i\omega t)\sum _{k=1}^n\kappa _k\boldsymbol {\check q}_k (\eta ,\phi )\exp (i\alpha _k\xi ). \end{equation}
The vector-function
$\boldsymbol {\check q}_k$
corresponds to the
$k$
th eigenfunction. The coefficients
$\kappa _k$
are optimised to achieve the maximum energy growth at the specific downstream coordinate (Hanifi et al. Reference Hanifi, Schmid and Henningson1996; Tumin & Reshotko Reference Tumin and Reshotko2001)
where
$(\boldsymbol q'_0,\boldsymbol q'_0)_E$
corresponds to the energy at the initial location,
and the matrix
$\boldsymbol F$
is defined with help of the matrix
$\boldsymbol \Theta$
:
The resulting maximum energy gain can be determined by using the singular value decomposition.
2.5. Global optimality system with variational formulation
We will proceed to derive the global optimality system which takes the streamwise variations of the base flow into account (i.e. without the parallel-flow assumption).
For global non-modal analysis in 3-D boundary layers, the matrix representation like (2.16)–(2.19) for
$\mathcal {H}$
is generally unavailable, and the matrix-free method is preferred. Thus, it is customary to reformulate the optimal problem in a variational framework to facilitate calculation. The Lagrangian functional for this problem reads
where
$\boldsymbol {\hat p}$
, the Lagrange multiplier, is referred to as the adjoint variable;
$\lambda$
is another Lagrange multiplier implementing the restriction on the input magnitude; and
$\textrm {Re}(\cdot )$
is the real part.
At the stationary point of the Lagrangian functional, we have, aside from the state equation (2.6) and the input energy constraint
$(\mathcal {C}\boldsymbol {\hat f},\mathcal {C}\boldsymbol {\hat f})_F = 1$
, the adjoint equation
and the optimality condition
which implies that the optimal forcing should be aligned with the adjoint state. Here
$\mathcal {P}^\dagger$
is the adjoint operator such that
where
$\varGamma$
is known as the bilinear concomitant representing the boundary terms in the three directions and
$\mathcal {\tilde P}^\dagger$
does not contain the boundary terms. Here, the boundary conditions of the adjoint variable are chosen such that the boundary terms vanish except for the streamwise boundary terms when considering the optimal inlet profiles. As such, the boundary-layer terms can be converted to a more convenient form as
where
$\delta (\xi )$
is the Dirac delta function defined as
$\boldsymbol B$
denotes the coefficient operator/matrix pertaining to
$\partial /\partial \xi$
; and
$\xi _0, \xi _1$
designates the inlet and outlet locations, respectively. Thus, the adjoint operator can be formally written as
Such definition of the adjoint operator helps put the optimal responses to inlet profiles and to external forcing into a uniform framework, and can be readily extended to incorporate other types of disturbances (e.g. blowing and suction).
Substituting (2.22) into (2.6) to eliminate the forcing term
$\boldsymbol {\hat f}$
, we obtain
Equations (2.21) and (2.27) form an eigenvalue problem which can be written as a single eigenvalue equation:
where the leading eigenvalue
$\lambda$
is exactly the optimal gain to the optimal forcing, and can be readily obtained by iteratively solving the direct and adjoint equations up to a converged state.
2.5.1. Type of forcing
Two specific cases of
$\mathcal {C}$
and
$\mathcal {D}$
are considered in this paper. For the first case, we restrict the input as an impulse forcing at the inlet and the output as the state variables at the outlet such that the input and output behave like the Dirac delta function:
This case corresponds to the optimal response to the inlet perturbation. In this case, the forcing energy weight
$\boldsymbol Q = \boldsymbol M$
. In the second case, we prescribe
$\mathcal {C} = \mathcal {D} = \boldsymbol Q = \mathcal {I}$
(the identity operator) to retrieve the classical input–output problem where the forcing and response are distributed in the entire domain.
For the optimal response to the inlet perturbation, we can derive an equivalent formulation that is more computationally tractable. Since
$\mathcal {C}, \mathcal {D}$
satisfy (2.25), we can take the integral with respect to
$\xi$
in (2.6) such that the forcing only enters into the inlet profile of the state variable,
$\boldsymbol {\hat q}_0$
, and is null downstream.
As such, Lagrangian functional (2.30) can be reformulated as
where
$\boldsymbol {\hat q}_1$
denotes the state profile at the outlet and
$()_{ES}$
the energy-weight inner product over either the inlet or outlet. At the stationary point of
$J$
, we have the direct and adjoint equations
and the optimality condition
Again, the optimal growth can be readily obtained by iteratively solving the direct and adjoint equations with the optimality condition. The optimal
$N$
-factor quantifying the integrated growth rate of the optimal disturbance is then defined as
In this work, we focus on the first type of forcing (i.e. the inlet–outlet optimal growth problem) and only give a brief discussion of the other one for the following considerations. Firstly, the inlet–outlet optimal growth problem has been extensively studied in other flow configurations, and is intimately connected to conventional modal analyses as well as experimental/simulation studies where disturbances are initiated at the inlet only. Therefore, comparison between the present study and those previous works can be easily made. Secondly, the integrated growth rate (
$N$
-factor) of the optimal disturbances, which is one of key ingredients in the transition prediction, is ill-defined when considering an unrestricted forcing as the inlet disturbance is prescribed null, but is well-defined for the inlet–outlet optimal growth problem. Thirdly, we find that the optimal disturbance evolution process and the pertaining growth mechanisms obtained from the non-modal analysis with unrestricted forcings are essentially the same as those from the inlet–outlet optimal growth analysis.
2.5.2. Wavemaker
One concept that we use in our subsequent analysis is that of structural sensitivity and the wavemaker (Giannetti & Luchini Reference Giannetti and Luchini2007). The wavemaker has its origin in global stability analysis and provides a way to highlight regions in which the global modes are most sensitive to flow-field changes (specifically, a localised flow feedback). Analogously, the resolvent wavemaker (Skene et al. Reference Skene, Yeh, Schmid and Taira2022) suggests the regions where flow-field variations effectively change the optimal gain. The wavemaker
$\Lambda$
can be shown (as detailed in Appendix B) to take the form as
In this way, the wavemaker
${\pmb \Lambda }(\xi ,\eta ,\phi )$
can be thought of as a field quantifying what changes to the optimal gain occur from localised feedback at each location.
2.6. Parabolised stability equations
At this point, no approximation has been made. Our intention is to find a set of linear governing equations that are parabolic in nature. Such a system can be solved efficiently by employing marching techniques, and allows for extensive parametric studies. To this end, we can take the PSE ansatz for the forcing (if being distributed over the entire domain) as well as the response since the base flow varies slowly in the streamwise direction:
and
where the wavenumber
$\tilde \alpha (\xi )$
is real and
$\text{c.c.}$
designates the complex conjugate part. In order to make the exponential part absorb the streamwise oscillation of the disturbance as much as possible, the real streamwise-varying wavenumber is determined iteratively by
\begin{align} \tilde \alpha ^{new} = \tilde \alpha ^{old} &+ {\mathrm Im}\left\{\frac {1}{E}\iint \tilde \rho ^\dagger \frac {\partial \tilde \rho }{\partial \xi }\frac {\bar T}{\bar \rho \gamma M_\infty ^2} + \bar \rho \left (\tilde u^\dagger \frac {\partial \tilde u}{\partial \xi } + \tilde v^\dagger \frac {\partial \tilde v}{\partial \xi } + \tilde w^\dagger \frac {\partial \tilde w}{\partial \xi }\right )\nonumber\right.\\& + \left.\frac {\bar \rho \tilde T^\dagger \partial \tilde T/\partial \xi }{\gamma (\gamma -1)M_\infty ^2\bar T}{\mathrm d} \eta \,{\mathrm d}{\phi }\right\}, \end{align}
where
$E$
is the disturbance energy defined as (Chu Reference Chu1965)
Consequently, the second-order, viscous derivative terms of the amplitude function in
$\xi$
can be neglected. Introduction of the ansatz (2.36) in (2.6) yields the plane-marching parabolised stability equations (PSE3D):
where
$\mathcal {P}_{PSE}$
denotes the parabolised linearised Navier–Stokes operator.
Similarly, the PSE ansatz can also be introduced in the adjoint variables:
As a result, the adjoint equation (2.21) is represented by the adjoint parabolised stability equations (APSE3D):
The wavenumber
$\tilde \alpha$
of the APSE can be either determined by a similar normalisation to (2.37) or simply prescribed the same value of the PSE solution of the latest iteration as suggested by Dobrinsky (Reference Dobrinsky2002). Both normalisation strategies lead to almost identical results (not shown here). The representations for
$\mathcal {P}_{PSE}$
and
$\mathcal {P}_{APSE}$
are detailed in Appendices D and E.
It is well known that some streamwise ellipticity remains in the streamwise pressure gradient term
$\partial \tilde p/\partial \xi$
and may cause numerical instability. To eliminate the residual ellipticity, the streamwise pressure gradient term is either dropped from the equations as justified in Tempelmann et al. (Reference Tempelmann, Hanifi and Henningson2010) and Paredes et al. (Reference Paredes, Choudhari, Li, Jewell and Kimmel2019) for stationary disturbances or replaced by
$\varOmega _{PNS}\partial \tilde p/\partial \xi$
for non-stationary disturbances, where
$\varOmega _{PNS}$
is the Vigneron parameter (Vigneron et al. Reference Vigneron, Rakich and Tannehill1978) defined as
As criticised by Towne et al. (Reference Towne, Rigas and Colonius2019), equation (2.37) constrains the disturbances to have a unique, local wavenumber at any streamwise location such that PSEs are likely to encounter difficulties when the perturbation field contains multiple modes with disparate streamwise wavenumbers or wavelengths. Towne et al. (Reference Towne, Rigas and Colonius2019) have shown that the errors introduced by the regularisation techniques of PSEs are proportional to the differences of the wavenumbers (or equivalently the distance between modes in the spectrum). Nevertheless, our local optimal growth analysis results in § 3 indicate that the optimal growth perturbations primarily comprise modes concentrating in a small portion of the entire spectrum as is also observed by Hanifi et al. (Reference Hanifi, Schmid and Henningson1996). This is reasonable since disturbances with close wavenumbers or phase velocities could efficiently interfere to achieve the optimal non-modal growth. Therefore, the absolute differences of the wavenumbers of these significant modes and the errors pertaining to PSEs will be small. More detailed verifications and discussions can be found in Appendix C.
2.6.1. Boundary conditions and grid system
The boundary conditions for the adjoint variables (
$\boldsymbol {\hat p} = (\hat \rho _p,\hat u_p,\hat v_p,\hat w_p,\hat T_p)^{tr}$
) are chosen so that the irrelevant boundary terms arising from the integration by parts vanish. At the wall, we have
At the upper boundary, we set
Symmetry boundary conditions are implemented at the leeward and windward rays. Numerical tests indicate (not shown here) that using antisymmetric boundary conditions introduces negligible differences into low-frequency optimal disturbances but slightly underestimates the energy growths for high-frequency optimal disturbances. A fourth-order finite-difference scheme is used to discretise the azimuthal and wall-normal directions, while a second-order Euler backward scheme is applied in the streamwise direction. The grid resolution of
$200\times 120$
for the azimuthal and wall-normal directions is used for the cases with 2° and 4° AoA, while the azimuthal points are increased to 300 for the largest-AoA case. The solution was tested by changing the number of grid points and it was found to be grid-independent.
The initial guess contains the shape function/external forcing and the wavenumber. In the present study, two types of initial guesses have been used. For the first type, the initial value of the shape function/external forcing at every grid point is independently generated by the random function and is then normalised so that the initial disturbance/forcing energy is unity; the initial wavenumber is arbitrarily prescribed a moderate value (usually
$\tilde \alpha \in (0,1)$
). Given the initial condition, the PSEs march forward until reaching the outlet station where the APSEs start to march backward. The initial condition is then updated based on the APSE results. Once converged, the optimal profiles/forcings serve as the second-type initial guess for the calculation in the nearby parameter space (e.g. slightly different frequencies, inlet/outlet stations). For either type of the initial guess, the PSE–APSE loop turns out to be robust and can reach converged results (relative difference in
$N$
-factors between two successive loops being smaller than 0.01) within 3 (for the second type) to 10 (for the first type) loops.
3. Results for the case of
$2^{\circ}$
AoA
(
$a$
) Eigenspectrum (circles) and pseudospectrum (solid lines) of the linearised Navier–Stokes operator for a frequency of 20 kHz at
$X^* = 100$
mm. The isolines represent pseudospectrum given by
$\log _{10}\epsilon ^{-1}$
contours, with
$\epsilon$
ranging from
$10^{-8}$
to
$10^{-6}$
. The real parts of (b) the normalised
$\hat u$
shape function for the mode
$\alpha = 0.0172-0.0002i$
and (c) its adjoint. The boundary-layer edge (dashed line) is also displayed.

In this section, we present results for the case of
$2^{\circ}$
AoA, scrutinising the salient features of the non-modal growth over a truly 3-D boundary layer. The results for the other AoA cases are briefly discussed in the next section.
A representative pseudospectrum obtained from (2.14)–(2.15) for a frequency of 20 kHz at
$X^* = 100$
mm is shown in figure 3(
$a$
). Many unstable modes can be observed, as expected, and they almost all lie within the contour line of
$ \|(\alpha \boldsymbol {B}_f-\boldsymbol {A}_f)^{-1}\| = 10^{7}$
, meaning that one cannot exactly distinguish any of these unstable modes under perturbations as small as
$10^{-7}$
. Such a high sensitivity of the eigenvalues obviously stems from the non-normality of the operator which can in turn cause a substantial transient growth.
The non-normality of the operator can be further inferred by inspecting figure 3(
$b,c$
), showing the spatial distribution of a typical direct–adjoint mode pair. The boundary-layer edge (
$y_{BLe}(\phi )$
) throughout this paper is defined as the location for which the local total enthalpy equals 99 % of the free-stream total enthalpy (
$h_e$
):
The total enthalpy is given as
The direct mode manifests as a tilted wavepacket structure lying on the leeward region, whereas the adjoint mode leaning in the opposite direction resides on the windward side. Such a clear separation in space between direct and adjoint modes indicates high sensitivities of the eigenvalues and a strong azimuthal non-normality induced by crossflow (Chomaz Reference Chomaz2005).
3.1. Optimal response to inlet perturbation
Parametric effects on the
$N$
-factors of the optimal growth: (
$a$
) different frequencies with
$X_0^* = 44$
mm and
$X_1^* = 275$
mm (note that the stationary one is approximated by results at a frequency of 0.01 kHz). (
$b$
) Streamwise evolution of the component amplitude of the direct (solid lines) and adjoint (dashed lines) states for a frequency of 20 kHz. (
$c$
) Different inlet locations with a fixed outlet location (
$X^*_1 = 250$
mm) and a frequency of 20 kHz. (
$d$
) Different outlet locations (marked by the square symbols) with a fixed inlet location (
$X^*_0 = 44$
mm) and a frequency of 20 kHz, along with the normalised wavemaker distribution (
$\max _{\eta ,\phi }\Lambda (\xi ,\eta ,\phi )$
, dashed line).

As a first step we perform a parametric study on the optimal growth regarding the inlet/outlet positions (i.e. the projectors take the form of (2.29)) and the disturbance frequency. The results are displayed in figure 4 from which we can make several observations. First, the optimal disturbances undergo two distinct evolution stages: they initially experience a short-term, yet substantial transient growth (achieving growth of
$\delta N\approx 4$
within about 20 mm) (stage I) followed by a relatively long-term moderate growth (stage II). The disturbance frequency seemingly affects the second stage only. The most amplified frequency is around 20 kHz whose amplitude evolutions of the direct and adjoint variables are shown in figure 4(
$b$
). It can be seen that the temperature fluctuation amplitude rapidly grows and soon becomes dominant, followed by the streamwise velocity component (
$\hat u$
). In contrast, the adjoint variables exhibit an opposite trend, suggesting a strong receptivity of the response to streamwise vortices (
$\hat v, \hat w$
) in the vicinity of the inlet. Second, there exists an optimal initial position given a frequency and an outlet position where the seeded disturbance can amplify maximally. For a frequency of 20 kHz, the optimal inlet location is at around
$X^* = 40$
mm. At last, extending the outlet position with a given initial position does not modify the path but only raises the final energy gain reached by the disturbance. This can be explained by the wavemaker position. By definition (B12), the wavemaker should lie in the overlap region of the direct and adjoint states. Since the adjoint variable amplitude decays at a smaller rate in the vicinity of the inlet than the growth rate of the direct mode near the outlet, the wavemaker concentrates in a small region downstream of the inlet. Therefore, the optimal disturbance characteristics would be substantially preserved as long as the instability core (wavemaker) is included inside the spatial interval.
Parametric effects on the optimal disturbance profiles depicted by the real part of the temperature component at the inlet and outlet positions (shown in the upper and lower row, respectively, within each subplot). (a) Varying frequency for a fixed spatial domain (same as in figure 4
$a$
): (
$ai$
) stationary disturbance, (
$aii$
) 20 kHz, (
$aiii$
) 40 kHz. (b) Varying inlet positions for a given frequency (20 kHz) and a fixed outlet position (
$X_1^* = 250$
mm): (
$bi$
)
$X_0^* = 16$
mm, (
$bii$
)
$X_0^* = 43$
mm, (
$biii$
)
$X_0^* = 68$
mm. (c) Varying outlet positions for a given frequency (20 kHz) and a fixed inlet position (
$X_0^* = 44$
mm): (
$ci$
)
$X_1^* = 103$
mm, (
$cii$
)
$X_1^* = 234$
mm, (
$ciii$
)
$X_1^* = 275$
mm. The dashed line denotes the boundary-layer edge.

The parametric effects on the optimal disturbance profiles at the inlet and outlet locations are illustrated in figure 5. One can observe that the optimal disturbances all initially manifest as a tilted wavepacket lying preferentially on the windward side, very reminiscent of the shape function of a typical adjoint mode as displayed in figure 3. At the outlet position, they all tilt in the opposite direction and reside on the leeward side like a crossflow mode. This observation highlights the spatial separation between the highest-receptivity region (windward) and the highest-response region (leeward) for the optimal disturbances. With increasing disturbance frequency, the wavepacket is initially more tilted and ultimately resides closer to the side ray (
$\phi = 90^{\circ}$
). On the other hand, the initial wavepacket progressively approaches the windward ray for a more upstream inlet, yet appears to be insensitive to the outlet location. This observation is important because one could obtain the optimal initial profile for even the entire model through performing optimal calculation over a relatively small domain where the wavemaker is strong.
Spatial structures of the optimal disturbances of three representative frequencies, visualised by the isosurfaces of the real part of the temperature shape function with amplitude envelopes corresponding to
$N_T = 5$
(blue),
$N_T = 8$
(red) and
$N_T = 11$
(purple). The temperature shape function is normalised by the maximum value at the inlet position. Frequency (
$a$
)
$f^* = 0$
kHz, (
$b$
)
$f^* = 20$
kHz and (
$c$
)
$f^* = 40$
kHz. Streamwise velocity distribution at four equal-distance streamwise slices (
$\eta$
–
$\phi$
plane) starting from
$X^* = 44$
mm to
$X^* = 275$
mm is also shown. The dashed pink line in (
$b$
) denotes the disturbance amplitude envelope corresponding to
$N_T = 2.3$
obtained from PSE3D initiated by modal disturbances at 20 kHz. The spatial structures of the adjoint state (green, real (
$\hat T_p$
) = 0.1
$|\hat T_p|_{max}$
), the wavemaker (red, 0.5
$|\Lambda |_{max}$
) and the edge streamlines are also displayed. (
$d{-}f$
) The corresponding
$N$
-factor isolines (black:
$N_{Chu}$
= 5 and green:
$N_{Chu} =$
8) based on the Chu energy in the
$X^*$
–
$\phi$
plane, along with the LST-eN results (dashed lines).

Figure 6 shows the spatial structures of direct and adjoint states for three frequencies. We observe that the direct disturbance starts on the windward side and moves towards the leeward side, exhibiting a wedge-like amplitude envelope embodying several bent streaks inside; with increasing frequency, the core part of the spatial structure moves progressively towards the windward side, and the streaks are more prominently tilted. By contrast, the adjoint fluctuation, quantifying the high-receptivity region, lies preferentially on the windward side close to the inlet, exhibiting wave angles with respect to the streamwise direction opposite to those of the direct disturbances. Such remarkable spatial separation of the direct and adjoint states is indicative of the streamwise as well as azimuthal non-normality (Chomaz Reference Chomaz2005). Interestingly, the wavemaker marking the structural sensitivity region manifests as a longitudinal structure slightly downstream from the inlet on the windward side, irrespective of the frequency. Consequently, one may expect to employ some control strategy in the wavemaker region for the crossflow instabilities with any frequency.
The area occupied by the amplitude envelope is obviously proportional to the
$N$
-factor of the disturbance. By analogy to the classical eN method utilising the 1-D stability analysis (LST), we define the local
$N$
-factor distribution on the cone surface based on the temperature disturbance amplitude as (see also Zhang et al. Reference Zhang, Chen, Liu, Wang, Dong, Duan and Chen2025)
Note that a similar formulation was adopted by Araya et al. (Reference Araya2023) with wall pressure as the alternative measure of disturbance amplitude. As such, the amplitude envelope of the optimal disturbance provides an upper bound of the transition front pertaining to a given
$N$
-factor in the eN framework. Alternatively, the local
$N$
-factor distribution can be depicted by the wall-normal integrated Chu energy as
where
$E_0$
as a normalisation factor denotes the maximum of the numerator at the inlet location. Quantitatively,
$N_T$
is slightly larger than
$N_{Chu}$
by a nearly constant value (about 1) for the present case. Figure 6(
$d{-}f$
) compares the transition fronts corresponding to
$N_{Chu} = 5$
and 8 (as long as the targeted
$N_{Chu}$
can be reached) predicted by the non-modal analysis and by 1-D modal analysis based on LST (LST-eN). The amplitude envelope obtained by PSE3D for the 20 kHz modal instability (pink dashed line) is also displayed in figure 6(
$b$
) for comparison. The first
$N$
-factor (
$N_{Chu} = 5$
) is typically associated with laminar–turbulent transition of stationary crossflow vortices in the incompressible regime (Bippes Reference Bippes1999), while the second (
$N_{Chu} = 8$
) is close to the transition
$N$
-factor of travelling crossflow waves on the Mach 6 HyTRV model (Chen et al. Reference Chen, Dong, Tu, Yuan and Chen2022). Evidently, the optimal disturbance amplitude envelopes significantly extend in the upstream direction the LST-eN envelope at the same
$N$
-factor as well as the modal PSE3D-eN envelope even with a much smaller
$N$
-factor (
$N_T = 2.3$
), highlighting the appreciable non-modal growth. Nevertheless, modal analyses also predict the predominance of the 20 kHz waves, suggesting that non-modal growth does not change the peak frequency. Another interesting observation is that the core part of the downstream optimal structure matches well with the most unstable region predicted by the LST-eN method, but is remarkably far away from the leeward ray compared with the 2-D modal amplitude envelope (pink dashed line). This implies that the optimal disturbance does exploit the crossflow instability, yet not in the same manner as a 2-D local crossflow mode does, which is discussed in detail later.
3.1.1. Growth mechanism
Optimal structure evolution in the first stage (44 mm
$\lt X^*\lt 64$
mm) depicted by (
$a$
) the isosurfaces of the streamwise vorticities (red: positive; blue: negative) and the axial vorticity distribution on the cross-sections at three successive axial stations: (
$b$
)
$X^* = 44$
mm, (
$c$
)
$X^* = 54$
mm and (
$d$
)
$X^* = 64$
mm. The cross-section coordinates (
$Y,Z$
) have been enlarged twofold for facilitating comparison. (
$e{-}g$
) The corresponding streamwise velocity disturbance profiles at these three axial stations overlayed with the vector plot comprising the wall-normal and crossflow components. The pink line denotes the boundary-layer edge. The rightmost column shows the mean crossflow components at the peak location of the optimal disturbance.

Figure 7 clearly illustrates how the optimal profile initiates a crossflow-instability wavepacket, from which an important insight into the physical mechanisms in stage I can be gained. Initially, the optimal profile gives rise to immediately downstream alternating positive and negative longitudinal vortical rolls with axes aligned along the axial direction, which are well known in shear-layer flows to be able to optimally leverage the lift-up effects. The lift-up effect can also be inferred from the observation that the initially dominant vortex components (
$\hat v,\hat w$
) are soon taken over by the streak component (
$\hat u$
) in amplitude, as displayed in figure 4(
$b$
). The initially strong vortex components are directly driven by the adjoint components (
$\hat v_p, \hat w_p$
). Despite weakening rapidly due to viscous dissipation, these longitudinal vortices induce counter-rotating vortices below, forming two-cell vorticity structures with axes being tilted with respect to the axial direction. Such vorticity structures are no longer optimal in the sense of the lift-up effect because of the counteracting forces from two opposite-orientation vorticity layers, yet are typical of crossflow instabilities (Wassermann & Kloker Reference Wassermann and Kloker2003) of which they can take advantage to sustain the downstream growth.
At the same time, the apparent change of the vorticity inclination in the cross-section as shown in figure 7(
$b$
–
$g$
) is indicative of the Orr mechanism that can enhance the lift-up effect as well as the near-wall vorticity induction by strengthening the primary vorticity. By analogy to the analysis of Butler & Farrell (Reference Butler and Farrell1992), the Orr mechanism in the present case is rooted in the production term,
$-\textrm {Re}(\hat w^\dagger \hat v) ({\partial \bar w}/{\partial \eta })$
, stemming from the azimuthal momentum equation as is discussed later. When this term is positive, or equivalently the disturbance structure is tilted against the shear of the crossflow, the disturbance is able to gain energy from the mean flow. Otherwise, the disturbance would lose energy. Figure 7(
$e$
–
$g$
) reveals that the crossflow profile exhibits two distinct regions across the boundary layer with opposite sign pertaining to the shear term (
${\partial \bar w}/{\partial \eta }$
). As a result, if the disturbance gains energy in the upper region, it would return energy back to the base flow in the lower region with the same tilted direction. At the initial position, the disturbance structure well extends into the free stream and is tilted against the upper shear, favouring energy gain. The slanted structure soon turns upright at the next station and tilts along the opposite direction further downstream. Beyond the second station, the disturbances penetrate more deeply into the boundary layer, occupying almost equally the two shear regions of the crossflow, and the total energy transfer pertaining to the Orr mechanism should thus be smaller thereafter.
This vortex evolution process is representative of optimal disturbances, the quantitative difference being that the inclined angle of the two-cell vorticity structures increases with the frequency. As per the observations made so far, we might thus conclude that the non-modal growth of the optimal disturbance in stage I primarily stems from a synergistic combination of the lift-up effect and the Orr mechanism, which conforms with the optimal growth results for the infinite swept wing boundary layer (SWBL) (Tempelmann et al. Reference Tempelmann, Hanifi and Henningson2010, Reference Tempelmann, Hanifi and Henningson2012).
(
$a$
) Comparison of
$N$
-factor of the optimal disturbance at a frequency of 20 kHz and the crossflow modal disturbances obtained from PSE3D initiated by different crossflow modes at
$X^* = 100$
mm at the same frequency (grey lines). The results from the local transient growth analysis (solid blue lines) and the most unstable mode obtained by 2-D LST (dashed blue lines) for two representative stations (
$X^* = 134$
and 200 mm) are displayed, with an upward shift to facilitate the comparison. (
$b$
) Contributions of individual 2-D local modes to the local optimal growth at
$X^* = 134$
mm, visualised by the circles sized proportional to the corresponding expansion coefficients
$\kappa _k$
. The energy gain of the disturbance superimposed by a few most unstable modes (delimited by the dashed box) is also shown in (
$a$
) (dotted blue line).

In the following, we consider whether the crossflow-instability wavepacket initiated by the optimal profile is governed by a dominating unstable mode as in the SWBL (Tempelmann et al. Reference Tempelmann, Hanifi and Henningson2010). Figure 8(
$a$
) compares the
$N$
-factor of the optimal disturbance of 20 kHz and those calculated by PSE3D with initial profiles provided by different crossflow modes (see figure 3
$a$
for spectrum) at
$X^* = 100$
mm (deemed close to the neutral location). Obviously, the optimal disturbance at stage II amplifies at a substantially larger rate than the modal disturbances do, indicating that it could not be well represented by a single mode. This is not surprising because the 2-D local crossflow instability spectrum as shown in figure 8(
$b$
) contains multiple unstable modes without a predominant one, in stark contrast to the SWBL case where generally only one unstable crossflow mode exists given a frequency and a wavenumber. The (linear) non-modal combinations among these similar-looking modes may yield a much more rapid energy growth than the most unstable mode, which could have been exploited by the optimal disturbance. To justify such speculation, we have conducted a local optimal growth analysis, (2.16)–(2.19), seeking an optimal combination of modes that yields the maximum energy growth at the specific distance downstream, for two representative stations.
The spectrum used in calculating the local optimal energy gain for
$X^* = 134$
mm is displayed in figure 8(
$b$
). It contains a total of 208 modes, but only a small portion of the spectrum primarily comprising significantly unstable modes plays an important role. The corresponding optimal energy gain, shown in figure 8(
$a$
), clearly reveals the initial algebraic growth stage and the ensuing quasi-exponential growth stage. Here, the local optimal
$N$
-factor curves have been shifted in the vertical direction so that they are tangent to the global optimal
$N$
-factor curves. It should be noted that the local optimal growth analysis fails to capture initial energy gain due to the Orr and lift-up mechanisms (see Liu et al. (Reference Liu, Chen, Wan, Zhang and Chen2024) for more details) which might need much more modes than presently used (Bagheri et al. Reference Bagheri, Åkervik, Brandt and Henningson2009). Nevertheless, the growth rate pertaining to the quasi-exponential growth stage is substantially larger than that of the most unstable mode, and bears a striking resemblance to that of the global optimal disturbance for an appreciably long distance. The optimal energy gain based on a few most unstable modes (delimited by the dashed box) exhibits a diminishing algebraic growth, yet quantitatively the same exponential growth as the fuller spectrum. This indicates that the quasi-exponential growth stage is governed by the few most unstable modes while the less unstable modes would affect the initial algebraic growth stage only. Such observations seem to hold at other stations as well, justifying the speculation that the optimal disturbance may have exploited the non-modal combination among the few most unstable modes locally to achieve the global optimal growth. Indeed, the global transient analysis on 2-D flow configurations has shown that superposition of non-normal global (even decay) modes recovers the convective (exponential) instability (Cossu & Chomaz Reference Cossu and Chomaz1997; Bagheri et al. Reference Bagheri, Åkervik, Brandt and Henningson2009; Nichols & Lele Reference Nichols and Lele2011), during which the optimal disturbance is convected from upstream to downstream (Ehrenstein & Gallaire Reference Ehrenstein and Gallaire2005; Alizard & Robinet Reference Alizard and Robinet2007; Åkervik et al. Reference Åkervik, Ehrenstein, Gallarire and Henningson2008). Analogously, superposition of 2-D crossflow modes leads to an azimuthal shift of the disturbance structure from the windward side to the leeward side as the optimal disturbance travels downstream in the present 3-D configuration.
Convergence process of the optimal disturbance at 20 kHz in the streamwise range of
$(44,275)$
mm initiated by a random profile: (
$a$
) the
$N$
-factor evolution, (
$b$
) the ratio of the outlet
$N$
-factor to the optimal one and (
$c$
–
$f$
) streamwise velocity profiles at the inlet and outlet for the second iteration to the fifth iteration, normalised by the cross-velocity components (
$\sqrt {\vphantom{{\hat{v}^{2^2}}}\hat v^2 + \hat w^2}$
) with the dashed line denoting the boundary-layer edge.

The above results reveal three active mechanisms beneath the optimal growth, i.e. the Orr mechanism, the lift-up effect and the crossflow instability mechanism manifesting in both the streamwise and azimuthal directions. A significant insight regarding the role played by these mechanisms can be gained from the typical convergence process of the optimal growth, as displayed in figure 9. We observe that after just one iteration the inlet disturbance structure already retrieves all the aforementioned mechanisms, yielding nearly 80 % of the final optimal energy gain (figure 9
$b$
): firstly, its streamwise velocity component is much smaller than the vortex component in amplitude, an indicator of the lift-up effect; secondly, the slanted structures in the
$\eta$
–
$\phi$
plane suggest the Orr mechanism; finally, the outlet profile exhibiting typical crossflow-instability features implies the crossflow-instability mechanism. After one more iteration, the inlet disturbance structure entirely leans against the crossflow shear such that it can take full advantage of the Orr mechanism; moreover, the spatial separation is more pronounced, enhancing the disturbance energy gain along the azimuthal direction through crossflow instability. Further iteration drives the inlet disturbance to the windward side progressively, yet barely improves the optimal gain, indicating that the azimuthal crossflow-instability growth is relatively weak compared to other mechanisms. In summary, the iteration process tends to first distil the lift-up effect and the streamwise crossflow instability mechanism, which can thus be viewed as most important for the optimal growth, and then fully exploits the Orr and azimuthal crossflow-instability mechanisms to achieve the maximum amplification.
3.1.2. High-frequency optimal growth
Results for optimal disturbances of high frequencies optimised over a streamwise interval corresponding to
$x\in (44,212)$
mm. (
$a$
) Evolution of
$N$
-factor of various frequencies. The dashed line denotes the result for 200 kHz optimised for the restricted azimuthal region
$\phi \in (120^{\circ}, 180^{\circ})$
. (
$b$
–
$d$
) Contours of the normalised temperature of the optimal disturbance at 200 kHz displayed in the inlet (
$b$
) and outlet (
$c$
) as well as in the
$X$
–
$\eta$
plane at the windward ray (
$\phi$
= 0°). The temperature components at (
$b$
,
$c$
) are normalised by the total velocity amplitude, while those at (
$d$
) are normalised by the maximum temperature amplitude. The blue–red contours and the green–purple contours denote the optimal structure optimised for the entire azimuthal region and for the restricted azimuthal region, respectively. The dashed and dashed-dotted lines indicate the edge of the boundary layer,
$\delta _h$
, and the edge of the entropy layer,
$\delta _S$
, respectively. (
$e$
,f) Spatial structure evolution for the optimal disturbance at 200 kHz, optimised for the entire azimuthal region and for the restricted azimuthal region, respectively, depicted by the isosurfaces of the temperature disturbance (red: positive; blue: negative; amplitude corresponding to
$N_T$
= 3.2).

In addition to the low-frequency optimal disturbances, we also calculated optimal disturbances at high frequencies which exhibit totally different features from the former. Figure 10 depicts the evolution of
$N$
-factors of frequencies ranging from 100 to 800 kHz for a specified streamwise interval and the temperature contour of one representative frequency. One can observe moderate transient growths, albeit much weaker than the low-frequency optimal growth, experienced by a broadband disturbance far from the modal instability frequencies (around 1 MHz for Mack mode instabilities). The relative differences of the peak
$N$
-factors among various frequencies are less than 1, indicating a relatively flat frequency response. The optimal shape function, exemplified by the frequency of 200 kHz, concentrates in the domain between the boundary-layer edge and the entropy-layer edge of the windward side throughout the entire streamwise interval. Following the work of Paredes et al. (Reference Paredes, Choudhari and Li2020), the entropy-layer edge,
$\delta _S$
, is defined as the location where the local entropy increment is 0.25 times the entropy increment at the wall (
$\Delta \bar S(\eta =\Delta _S) = 0.25\Delta \bar S_{wall}$
). The entropy increment,
$\Delta \bar S$
, is defined with respect to the free-stream value, i.e.
$\Delta \bar S = 1004 \ln (\bar T)-287\ln (\bar P)$
. The fact that the disturbance remains in the vicinity of the windward ray indicates that the aforementioned azimuthal shift of the low-frequency optimal disturbances is solely due to the crossflow instability, which is absent here. The mode shapes at the inlet and outlet positions exhibit opposite-slanted structures in both the azimuthal and streamwise directions, suggesting an Orr-like mechanism responsible for the transient growth. As opposed to the classical Orr mechanism which mainly amplifies the velocity components, the temperature component of the high-frequency perturbation is the prime benefactor (see figure 10
$b,c$
) from algebraic amplification where the temperature gradient within the entropy layer is a driving factor, as is shown later. Finally, the spatial evolution of the optimal disturbance at 200 kHz is illustrated in figure 10(e), featuring a wave-train structure in the vicinity of the windward ray with a preferential wave angle on either side.
It is noteworthy that Paredes et al. (Reference Paredes, Choudhari, Li, Jewell and Kimmel2019) have also discovered entropy-layer travelling disturbances that experience appreciable non-modal growth on a hypersonic blunt cone at zero AoA. They (Paredes et al. Reference Paredes, Choudhari and Li2020) later showed that a pair of oblique non-modal waves could induce onset of transition via oblique breakdown. Our work extends their results to a 3-D configuration, showcasing the optimal entropy-layer disturbances concentrating in the vicinity of the windward ray. Because the optimal disturbance on either side of the windward ray comprises exclusively components with wave angles of the same sign, prohibiting interactions between components with opposite wave angles, the classical oblique breakdown mechanism is not active here (see Chen et al. (Reference Chen, Dong, Tu, Yuan and Chen2023) for detailed discussion). It is interesting to assess whether high-frequency disturbances can undergo transient growth in other places than the windward ray as well. A straightforward method is to calculate the optimal disturbance within a restricted azimuthal domain. As inferred from figure 10(a,b,c,f), the optimal disturbance restricted in the leeward region, exhibiting an essentially 2-D structure, turns out to enjoy a commensurate energy amplification as well through exploiting an Orr-like mechanism in the streamwise direction (not shown here).
3.2. Optimal response to external forcing in the entire domain
(
$a$
) The
$N$
-factor of the optimal response to external forcings at frequency ranging from
$f^* = 0$
to
$f^* = 50$
kHz, together with the optimal response to inlet profiles at 20 kHz (dashed line) for comparison. (
$b$
) Streamwise component amplitude evolution of the normalised optimal response (solid lines) and the normalised optimal forcing (dashed lines) for 20 kHz. The normalised resolvent wavemaker distribution (
$\max _{\eta ,\phi }\Lambda (\xi ,\eta ,\phi )$
) is also displayed. The corresponding (c) optimal forcing and (d) response shape functions at the inlet (upper row) and outlet (lower row) positions, illustrated by
$\hat f_u$
and
$\hat u$
.

In this subsection, we present results for the optimal response to the external forcing in the entire domain. Without loss of generality, we set
$\boldsymbol Q = \boldsymbol I$
in measuring the forcing energy. Because the inlet response is prescribed null for this case, the conventional
$N$
-factor would yield an infinitely large value. To circumvent such difficulty, we consider the integrated growth rate between the outlet and a position slightly downstream of the inlet. Figure 11 shows the results for a representative spatial interval
$X^*\in (44,215)$
mm. The
$N$
-factors starting from
$X^* = 47$
mm in figure 11(
$a$
) feature an algebraic growth stage followed by a long-term (quasi-exponential growth) phase, and peak at 20 kHz, closely resembling the optimal growth results. Direct comparison between the dominant
$N$
-factor evolution for the optimal forcing case and the optimal inlet-profile case indicates that their differences lie primarily in the algebraic growth stage wherein the former is remarkably enhanced. Interestingly, the algebraic growth is more pronounced with increasing frequency, in stark contrast to the optimal inlet-profile case wherein it almost coincides for different frequencies.
The streamwise distribution of the component amplitude of the optimal forcing and the response for 20 kHz is displayed in figure 11(
$b$
). As expected, the forcing amplitudes exhibit an almost opposite trend against the response counterpart; they peak within the algebraic growth stage and rapidly diminish downstream. Forcing terms on the
$\phi$
- and
$\eta$
-direction momentum equations are dominant, implying that the optimal forcing tends to leverage the lift-up effect to prompt the energy growth by enhancing the streamwise vorticity. Moreover, the optimal forcing shape function shown in figure 11(
$c$
) is always tilted against the crossflow shear, suggesting that the optimal forcing exploits the Orr mechanism as well. The resulting response shown in figure 11(
$d$
) is very reminiscent of that in the optimal inlet-profile case. To conclude, the optimal disturbance under external forcing undergoes essentially the same evolution process with the same growth mechanisms as in the optimal inlet-profile case; the optimal forcing mainly acts on the algebraic growth stage (stage I) by constantly enhancing the lift-up and Orr mechanisms, yet barely affects the ensuing stage where the crossflow instability prevails.
Spatial structure of the optimal forcing (green,
$\textrm {Re}$
(
$\hat f_T$
)
$=10^{-5}$
), the optimal response (blue,
$\textrm {Re}$
(
$\hat T) = 50\,000$
) and the resolvent wavemaker (red, 0.5
$|\Lambda |_{max}$
).

As inferred from figures 12 and 6, the optimal forcing is exerted on the same position of the adjoint state except for the vicinity of the inlet where it manifests as longitudinal structures aligned with the axial direction. Since axially aligned vortices (with nearly zero streamwise wavenumber) are most favourable for the lift-up effect (Farrell & Ioannou Reference Farrell and Ioannou1993), the optimal forcing presumably takes more advantage from the lift-up effect, thus enhancing the algebraic growth. Moreover, the wavemaker almost coincides with that of the optimal inlet-outlet growth problem, implying the same localised feedback mechanisms for both cases.
3.3. Energy transfer analysis
To further understand the energy growth mechanisms of the optimal disturbances, it is instructive to perform an energy transfer analysis. Following the work of Chen et al. (Reference Chen, Zhu and Lee2017, Reference Chen, Dong, Tu, Yuan and Chen2023), the energy transfer under external forcings but without nonlinear interactions can be conveniently divided into four parts as
The production reads
\begin{align} \varPi =-\frac {1}{E}\text {Real}\left [\iint \underbrace {\bar \rho {\tilde u_i}^\dagger \tilde u_j\frac {\partial \bar u_i}{\partial x_j}}_{\varPi _{u_iu_j}^U}+\underbrace {\frac {2\bar \rho }{\gamma (\gamma -1)M_\infty ^2\bar T}\tilde T^\dagger \tilde u_i\frac {\partial \bar T}{\partial x_i}}_{\varPi _{u_i}^T} + \underbrace {\frac {2\bar T}{\gamma M_\infty ^2\bar \rho }\tilde \rho ^\dagger \tilde u_i\frac {\partial \bar \rho }{\partial x_i}}_{\varPi _{u_i}^\rho }{\textrm d}\eta \,{\textrm d}\phi \right ],\nonumber\\ \end{align}
representing the energy transfer from the mean flow to the disturbance. Note that the production contains three parts, i.e. the Reynolds stress work (
$\varPi ^U$
), the energy transfer owing to the temperature gradient (
$\varPi ^T$
) and the energy transfer owing to the density gradient (
$\varPi ^\rho$
). The energy transfer directly driven by the external forcing, which vanishes in the inlet–outlet optimal growth problem, takes the form of
where
$\tilde f_{u_i}$
,
$\tilde f_{T}$
and
$\tilde f_{d}$
denote the forcing on the (three) momentum equations, the energy equation and the continuity equation, respectively. Here
$\varUpsilon$
is the energy transfer associated with the viscous and heat conduction terms and
$\varXi$
represents the remainder terms. Here we focus on the production terms and energy transfer pertaining to the external forcing only in an attempt to unveil the important driving factor during the energy growth of the optimal disturbances.
Streamwise evolution of the production terms normalised by the maximum value for the energy transfer of representative optimal disturbances: the low-frequency optimal disturbance at 20 kHz (with a zoom of the inlet) without (
$a$
) and with (
$b$
) distributed external forcing, and (
$c$
) the high-frequency optimal disturbance at 200 kHz without distributed forcing. Significant terms are labelled while others are plotted in grey.

Figure 13 displays the streamwise evolution of the normalised production terms for representative optimal disturbances. It can be seen that the three terms
are significantly more prominent than others for all the cases. For the low-frequency candidate initiated by the inlet perturbation, these three terms all immediately undergo a sharp rise near the inlet, followed by a rapid decay towards a moderate level further downstream. The Reynolds tress term
$\varPi _{uv}^U$
encompassing the lift-up effect remains the largest as expected, while the energy transfer associated with the temperature wall-normal gradient is also non-negligible. Interestingly, another Reynolds stress term,
$\varPi _{wv}^U \sim \rho \tilde w^\dagger \tilde v \partial \bar w/\partial \eta + \text{c.c.}$
, which is associated with the Orr mechanism in the azimuthal direction, manifests itself in the vicinity of the inlet and quickly vanishes downstream. This observation indicates that the azimuthal Orr mechanism, clearly observable in the change of the inclined direction of the streamwise vortices, only moderately promotes the energy growth initially in a direct manner. Nevertheless, the indirect, yet positive influence exerted by the azimuthal Orr mechanism on the lift-up effect through enhancing the crossflow velocities should not be underestimated. Exactly quantifying such indirect effect of the Orr mechanism requires further investigation, which is, however, beyond the scope of the present work.
Clearly, the external forcing tends to primarily transfer energy into the vortex components (especially the azimuthal velocity component) by
which in turn indirectly enhance other primitive components through the lift-up/Orr mechanisms. The contribution of the direct energy transfer from the external forcing rapidly vanishes downstream of the inlet such that the energy transfer distribution closely resembles that of the inlet–outlet optimal growth problem.
Contrarily, for the high-frequency candidate, the Reynolds stress term initially dominates while the temperature energy transfer term
$\varPi _v^T$
rapidly takes over, peaking midway between the inlet and the outlet. The density production term, attaining appreciably large values, evolves similarly to the temperature counterpart. Close inspection of the flow structure displayed in figure 10(
$d$
) reveals the coincidence between the peak location of the temperature/density production and the position when the structures turn upright, indicating that these production terms are associated with the (streamwise) Orr mechanism. Intriguingly, although the azimuthally tilted structures as shown in figure 10(
$b,c$
) are an indicator of the azimuthal Orr mechanism, the corresponding production term
$\varPi _w^T$
(
$\varPi _w^\rho$
) remains negligibly small. Therefore, whether the azimuthal Orr mechanism is (dynamically) active in the energy growth of the high-frequency optimal disturbance is still unclear.
4. Influence of the AoA
Comparison of
$N$
-factor of the optimal disturbance at frequency ranging from
$f^* = 0$
to
$f^* = 40$
kHz for cases of 4° AoA (
$a$
) and of 6° AoA (
$b$
), and at a frequency of 20 kHz for all three cases (
$c$
). The dashed lines in (
$a$
,
$b$
) show the results obtained with suboptimal inlet positions. (d–f) The corresponding real part of the temperature disturbance component at the inlet (red–blue contour with dashed lines denoting the boundary-layer edge) and outlet (green–purple contour with dashed-dotted lines denoting the boundary-layer edge).

In this section, we assess the influence of the AoA on the non-modal growth. The
$N$
-factors of optimal disturbances to inlet perturbation for different frequencies in the case of 4° AoA and the case of 6° AoA are displayed in figures 14(
$a$
) and 14(
$b$
), respectively. For whatever AoA, the optimal inlet position remains at around
$X^* = 44$
mm where the optimal disturbance achieves the largest energy growth, and the outlet position beyond the strong wavemaker region does not modify the evolution path except for raising the final energy gain reached by the disturbance (not shown here). Therefore, we only present the optimal growth results for the spatial interval of
$X^*\in (44,250)$
mm here. Notably, the optimal disturbances in all three cases share qualitatively the same evolution path consisting of the algebraic growth stage (stage I) insensitive to the disturbance frequency and the following quasi-exponential growth stage (stage II) with growth rates relying on the disturbance frequency. Moreover, the most amplified frequency is always around 20 kHz. As shown in figure 14(
$c$
), increasing the AoA does not change the growth rate in the algebraic growth stage, but considerably enhances the disturbance amplification in stage II in accord with the strengthening of the crossflow velocity and thus the crossflow instability. Moreover, a larger AoA yields a more pronounced separation of the inlet and outlet disturbance profiles in the azimuthal direction (figure 14
$d$
–
$f$
), with the inlet disturbance being closer to the windward ray and the outlet disturbance being closer to the leeward ray. This obviously stems from the stronger crossflow velocity pertaining to a larger AoA and implies an increasingly important role played by the azimuthal crossflow instability mechanism in the optimal growth.
Streamwise evolution of the normalised disturbance energy distribution (a–c) and the normalised azimuthal wavenumber distribution obtained by the wall density perturbations (d–f) of the 20 kHz optimal disturbances for different cases: (
$a,d$
) 2° AoA, (
$b,e$
) 4° AoA and (
$c,f$
) 6° AoA. The peak locations of the corresponding results for the stationary optimal disturbances are also displayed by red lines.

The AoA effects on the evolution path and azimuthal wavenumber of the 20 kHz optimal disturbance are illustrated in figure 15. Here, the disturbance path is sketched by the distribution of the wall-normal integrated Chu energy normalised by the local maximum value along the azimuthal direction. The azimuthal wavenumber is obtained by the Fourier transform of the wall density perturbations. It is seen that the disturbance path initiated from the windward to leeward side becomes more tilted at higher AoA as expected. More interestingly, the dominant azimuthal wavenumbers remain at
$n\approx 40{-}50$
except for the highest AoA case where they initially take higher values. Note that approaching the outlet, a lower azimuthal wavenumber peak arises in figure 15(
$f$
) because the optimal disturbance penetrates into the vortex region as is shown later. The optimal stationary disturbance results quantitatively resemble the travelling disturbance results. Notably, previous numerical (Li et al. Reference Li, Choudhari, Chang and White2010) as well as experimental (Swanson & Schneider Reference Swanson and Schneider2010; Schuele et al. Reference Schuele, Corke and Matlis2013; Corke et al. Reference Corke, Arndt, Matlis and Semper2018) studies have documented a dominant azimuthal wavenumber range of crossflow disturbances very close to that of the present study despite rather different cone models and flow parameters.
(
$a{-}c$
) Spatial structures of the optimal disturbance at 20 kHz for three AoA, visualised by three isosurfaces,
$N_T = 5$
(blue),
$N_T = 8$
(orange) and
$N_T = 11$
(purple), of the real part of temperature disturbances normalised by the maximum value at the initial profile for each case. The PSE3D
$N$
-factor envelope (
$N=2.3$
pink dashed line) initiated by the most amplified 2-D local crossflow mode is also displayed. (
$d{-}f$
) The corresponding
$N_{Chu}$
-factor isolines (black:
$N_{Chu}=5$
; green:
$N_{Chu} = 8$
; yellow:
$N_{Chu} = 11$
) in the
$X^*$
–
$\phi$
plane, along with the LST-eN results (dashed lines).

The spatial structures of the most amplified optimal disturbances for three cases are compared in figure 16, featuring the tilted streaks on the cone surface with larger inclined angles for increasing AoA. It is instructive to compare the optimal amplitude envelopes with the modal counterpart calculated, respectively, by PSE3D and LST. All methods predict stronger disturbance energy growth with increasing AoA, as expected. Again, the optimal disturbance is remarkably more amplified than the 2-D local modal counterpart, but such superiority quickly diminishes as the AoA increases. This is because increasing AoA greatly promotes the modal instability yet barely affects the algebraic growth, and as such, the modal instability becomes increasingly important. The
$N$
-factors based on LST (1-D analysis) are significantly larger than those of 2-D local modes and even surpass the optimal ones at high AoA. Aside from the
$N$
-factor, the amplitude envelopes from the three also differ in terms of the peak position in the azimuthal direction: the 2-D local modal amplitude envelope lies closest to the leeward ray, followed by the local one and the global optimal one.
(
$a$
) Eigenspectrum for a frequency of 20 kHz for the case of 6° AoA at
$X^*=208$
mm. The blue circles designate the crossflow modes and the red circles stand for the intrinsic vortex modes. (b–d) The real parts of the normalised temperature shape functions of three representative modes, overlayed with the temperature isolines of the base flow.

Intriguingly, the optimal disturbance at 6° AoA has penetrated partly into the leeward vortex region, which likely interferes with or even precipitates the transition process therein as documented by Wang et al. (Reference Wang, Xiang, Dong, Yuan, Chen and Chen2023) in a numerical study on a similar flow configuration. Quintanilha et al. (Reference Quintanilha, Paredes and Hanifi2022) reported that the temporal optimal crossflow disturbances on a hypersonic elliptic cone ultimately reside in the vortex region, manifesting as intrinsic vortex modes. In this study, however, we find that the optimal disturbance preserves the crossflow-instability feature towards the outlet rather than develops into an intrinsic vortex instability. To show this, in figure 17 we display the eigenspectrum of 20 kHz modes obtained by 2-D LST for one representative streamwise station (
$X^*=208$
mm), along with the typical spatial distributions of the modes. One can distinguish two types of instabilities, i.e. the crossflow instability consisting of many modes in the phase velocity range of (0.1–0.4)
$U_\infty$
and the vortex instability containing few modes with higher phase velocities. Comparison of figure 17(
$b$
–
$d$
) and figure 14(
$f$
) clearly confirms the crossflow instability nature of the optimal disturbance. This is reasonable since the crossflow instability is more unstable than the vortex instability and the optimal disturbance should thus take advantage of the former to achieve the optimal spatial growth.
Spatial structure of the optimal forcing (green, energy equation forcing Re(
$\hat f_T$
)
$=10^{-5}$
), the optimal response (blue, temperature component Re(
$\hat T) = 50\,000$
) and the resolvent wavemaker (red, 0.5
$|\Lambda |_{max}$
) for two AoA: (
$a$
) 4°; (
$b$
) 6°.

In summary, increasing the AoA simply enhances the modal instability, resulting in a more pronounced azimuthal shift of the disturbance, yet exerts relatively small influence on the initial algebraic growth. This observation also holds true for the optimal response to external forcing. For brevity, we only present the spatial structures of the optimal forcing/response and the wavemaker for the two higher AoA cases in figure 18, showing essentially the same pattern as in the case of 2° AoA in figure 12.
5. Conclusions and discussion
In this work, the optimal responses to the inlet disturbances and the external forcing in the entire domain are investigated within a uniform input–output framework for hypersonic boundary layers on a blunt cone at non-zero AoA. Well-established parabolised governing equations (PSE3D and APSE3D) are employed to efficiently obtain the spatial evolution of direct as well as adjoint states, which allows for a systematic parameter study. Comparisons with relevant literature data and other sophisticated numerical tools including HLNS and direct numerical simulation (DNS) demonstrate the reliability of the present solver in calculating the non-modal disturbances.
The optimal growth analysis seeking the optimal response to inlet perturbation is first conducted for the case with 2° AoA, which lays the foundation for finding the optimal response to external forcing and subsequent study of the effects of AoA. The optimal disturbances, peaking at 20 kHz, initially take the form of azimuthally compact tilted streamwise vortices on the windward side. While convected downstream, they quickly rise to an upright position and give rise to bent streaks, accompanied by a substantial energy growth. The initial phase of energy growth is algebraic, attributed to a combination of the lift-up effect and the Orr mechanism, and is later smoothly replaced by an exponential-like growth primarily driven by the crossflow-instability mechanism. Such a two-stage growth process bears a strong resemblance to what has been observed by Tempelmann et al. (Reference Tempelmann, Hanifi and Henningson2010,Reference Tempelmann, Hanifi and Henningson2012) in an infinite SWBL. However, we note two important differences caused by the azimuthal inhomogeneity in the present configuration. Firstly, instead of following a single crossflow mode as in the SWBL case, the optimal disturbance in the second stage behaves more like a non-modal one comprised of several leading 2-D local crossflow modes, and thus amplifies much faster than does the most unstable crossflow mode. Secondly, the optimal disturbances are localised in the azimuthal direction rather than uniformly distributed in the SWBL case, and shift azimuthally from the windward side towards the leeward ray while travelling downstream such that they can exploit the crossflow-instability mechanism not only along the streamwise direction but also along the azimuthal direction. This spatial movement of the disturbance structure prevails in the 2-D streamwise global non-modal analyses and is known to stem from the combination of multiple global modes (Chomaz Reference Chomaz2005). Increasing the AoA barely affects the algebraic growth stage, yet substantially promotes the exponential growth through strengthening the crossflow instability, leading to a more prominent azimuthal shift of the disturbance structure.
The structural sensitivity (wavemaker) of the optimal gain is shown to be quantified by the pointwise product between the direct and adjoint (or forcing) states. Our results indicate that the wavemakers of low-frequency optimal disturbances always reside on the windward side immediately downstream of the inlet position where efficient transition control might be implemented.
The optimal external forcing concentrates in the vicinity of the inlet with amplitude rapidly decaying downstream. The azimuthal and wall-normal forces are dominant components that are expected to enhance the Orr and lift-up mechanisms. The resulting optimal response, also peaking at 20 kHz, is essentially the same as the optimal growth disturbance mentioned above except that the initial algebraic growth becomes more pronounced due to external forces.
We have also discovered relatively weaker, yet broadband high-frequency optimal growth disturbances that preferentially reside between the boundary layer and the entropy layer on the windward side. They are initially tilted against both the azimuthal and streamwise flow directions, but their orientation with respect to the surface gradually rotates to the opposite direction, suggesting an Orr-like mechanism that mainly amplifies the temperature component of the disturbance.
Energy transfer analysis identifies the dominant role played by the production terms associated with the wall-normal shear in the optimal growth process.
Finally, we have drawn a comparison between the optimal growth initiated by the inlet profile and the modal growth obtained separately from 1-D local (LST) and multi-dimensional (global) stability (PSE3D) analyses. The results from various approaches turn out to differ significantly in terms of the
$N$
-factor (optimal disturbance reaches the maximum followed by the 1-D and multi-dimensional modal disturbances) as well as the amplitude envelope shape (transition front), highlighting the caution required in choosing the stability analysis tool in employing the eN transition prediction method. While local analysis is deemed unable to retrieve the disturbance structures and to tackle the nonlinear interactions of disturbances in a truly 3-D boundary layer, tracing a multi-dimensional mode is of little importance too given the high sensitivity and multiplicity of crossflow eigenvalues (Chen et al. Reference Chen, Dong, Tu, Yuan and Chen2022), especially when characterising the transition mechanism under noisy free-stream conditions (e.g. in a conventional wind tunnel). Alternatively, the optimal solution serves as a robust and physically meaningful representation of the crossflow instability, offering a starting point for investigating the nonlinear development and the ensuing breakdown process of crossflow-instability disturbances from a global perspective, and, moreover, provides an upper bound on the linear growth experienced by disturbances.
However, the link between the real free-stream disturbances and the optimal profiles is not addressed herein. The recent DNS performed by Liu et al. (Reference Liu, Schuabb, Duan, Paredes and Choudhari2022b ) and Schuabb et al. (Reference Schuabb, Duan, Scholten, Paredes and Choudhari2024) for an axisymmetric blunt cone showed that the ‘tunnel-like’ acoustic disturbance field, which faithfully models the real wind-tunnel noise, could trigger prominent entropy-layer disturbances resembling the predictions of optimal growth (Paredes et al. Reference Paredes, Choudhari and Li2020). Their results give confidence that the optimal disturbances are physically realisable. Another important issue that warrants further investigation is determining whether the present 3-D boundary layer is a low-rank (i.e. with a large gain separation between optimal and suboptimal disturbances) system similar to the 2-D counterpart (Luchini Reference Luchini2000). If so, even though the real disturbances have a small fraction of their energy in the optimal perturbation, one could still expect to observe a response like the optimal one, which would markedly benefit the transition prediction.
Acknowledgements
The authors appreciate the useful comments from the anonymous referees.
Funding
This work was supported by the National Natural Science Foundation of China through grants 12372225 and 12272395.
Declaration of interests
The authors report no conflict of interest.
Appendix A. Convergence test of the base flow calculation
Convergence test for the base flow of the 2° AoA case with the baseline grid (
$N_\xi \times N_\eta \times N_\phi = 501\times 301\times 301$
) and the refined grid (
$N_\xi \times N_\eta \times N_\phi = 501\times 351\times 351$
). (
$a$
) The normalised skin friction coefficient
$C_f$
along the windward and leeward centrelines (blue: baseline grid; red: fine grid). The isolines (from the baseline grid) and colour contours (from the fine grid) of (b) the velocity
$\bar U$
, (c) the vertical shear
$\partial U/\partial Y$
and (d) the azimuthal shear
$\partial U/\partial Z$
for the vortex region at
$X^*=550$
mm.

The base-flow computation strategy used in the present study has been well verified in a similar flow configuration (Li et al. Reference Li, Chen, Huang, Yang and Xu2020). In this appendix, we further present the convergence test results for the case of the 2° AoA. Compared with the baseline grid (
$N_\xi \times N_\eta \times N_\phi = 501\times 301\times 301$
), the refined grid (
$N_\xi \times N_\eta \times N_\phi = 501\times 351\times 351$
) has slightly more grid points in the wall-normal and azimuthal directions along which the base flow varies more significantly than the streamwise direction. As evident in figure 19, the results from the two grids are nearly indistinguishable in terms of the skin friction along the windward/leeward centreline and the leeward vortex profile along with the shear distribution which are deemed most sensitive to the grid resolution. Note that although the present stability analyses are all performed in the region before
$X^*\lt 300$
mm, we have made a comparison at a station (
$X^* = 550$
mm) much downstream so that the vortex structure is more developed and is thus more representative of the other two base flow cases with larger AoA.
Appendix B. Derivation of the wavemaker
Following the methodology of Schmid & Brandt (Reference Schmid and Brandt2014), we consider base-flow perturbation of operators in (2.21) and (2.27), which reads
Here,
$\delta (*)$
represents small perturbation, and should not be confused with the Dirac delta function. Left-multiplying (B1) by
$\boldsymbol {\hat q^\dagger }$
and (B2) by
$\boldsymbol {\hat p^\dagger }$
, respectively, yields
Summing (B3) and (B4) to eliminate the terms associated with the perturbed shape functions, i.e.
$\delta \boldsymbol {\hat q}$
and
$\delta \boldsymbol {\hat p}$
, by employing the direct and adjoint equations (2.21) and (2.27), leads to
By substituting (2.22) into (B5), and remembering the projector feature and the forcing amplitude constraint, (B5) can be further simplified to
or equivalently
Therefore, we obtain the changes of the optimal gain to perturbation of base flow as
The terms
$(\boldsymbol {\hat q},\delta \boldsymbol M\mathcal {D}\boldsymbol {\hat q})$
and
$(\boldsymbol {\hat p},\frac {1}{\lambda }\delta \boldsymbol Q^{-1}\mathcal {C}\boldsymbol {\hat p})$
simply reflect the changes related to the energy weight, while the first term on the right-hand side indicates that the important structural-sensitivity region corresponds to the overlap regions of the adjoint variable (forcing) and the response. By neglecting the trivial terms pertaining to the energy weight, we can derive a bound for the gain drift under a unit-norm perturbation
$\| \delta \mathcal {P}\| = 1$
as
where
$\|\cdot \|$
should be understood as the pointwise norm of the mode. For example,
The wavemaker
$\Lambda$
is then defined as
Appendix C. Verification of optimal growth calculation
The PSE method specifies a single streamwise wavenumber in order to absorb the main streamwise oscillations of the disturbances into the exponential term, thereby keeping the shape function slowly varying. This casts doubt on whether the PSE method is able to accurately trace the evolution of non-modal disturbances inherently consisting of many modes with varying streamwise wavenumbers (Towne et al. Reference Towne, Rigas and Colonius2019), although the PSE method and its variant have been widely employed in non-modal studies (e.g. Levin & Henningson Reference Levin and Henningson2003; Guegan et al. Reference Guegan, Schmid and Huerre2008; Tempelmann et al. Reference Tempelmann, Hanifi and Henningson2010, Reference Tempelmann, Hanifi and Henningson2012; Paredes et al. Reference Paredes, Choudhari and Li2020). In order to assess the effects exerted by the PSE method on the optimal growth, we have examined nine cases of three groups as shown in table 1. The cases from the first group come from Paredes et al. (Reference Paredes, Choudhari, Li and Chang2016a ) who considered the optimal growth for stationary disturbances over a flat-plate boundary layer at several Mach numbers. The second group is to test the ability of the PSE methodology in accurately capturing the non-stationary optimal disturbances by comparing with results of the HLNS equations which retain all the elliptic effects. Particularly, the B3 case lies in the second Mack mode regime, and is the most challenging one of the first two groups. Finally, we used DNS to calculate the spatial evolution of the optimal disturbance for three frequencies over the inclined cone at 2° AoA studied in the present work to directly verify the ability of PSE3D in tracing a non-modal disturbance in a 3-D boundary layer.
Nine cases of three groups are considered for the verification of the PSE methodology in optimal disturbance calculations.

(
$a$
) Comparison with optimal gain predictions by Paredes et al. (Reference Paredes, Choudhari, Li and Chang2016a
) for flat-plate boundary layers at Mach
$0.001$
(blue, case A1), 3 (red, case A2) and 6 (yellow, case A3). (
$b$
) Comparison of the disturbance energy evolution optimised in the range of
$X\in (500,1000)$
by the PSE methodology (solid lines) and the HLNS methodology (dashed lines) for three frequencies:
$F = 0$
(blue, case B1),
$F = 2\times 10^{-4}$
(red, case B2) and
$F = 3\times 10^{-4}$
(yellow, case B3) at the Mach 6 adiabatic flat-plate boundary layer.

Contours of the optimal disturbance normalised by the temperature component for case B3: (
$a,c$
) HLNS results; (
$b,d$
) PSE results. (a, b) Temperature fluctuation; (c, d) pressure fluctuation.

Verification of PSE3D results by DNS for the optimal disturbances at 20, 50 and 200 kHz over the inclined cone at 2° AoA. The initial amplitude of DNS is prescribed to a small value to ensure linearity. (
$a$
) Temperature disturbance amplitude evolution. (
$b$
–
$d$
) Temperature disturbance isosurfaces normalised by the initial amplitude for the three cases (red: DNS; blue: PSE3D, Re(
$\hat T$
)
$=100$
for (
$b,c$
) and Re(
$\hat T$
)
$=13$
for (
$d$
)).

The optimal energy gains for the first two groups are displayed in figure 20. It can be seen that the agreement between the present PSE results and the literature results in figure 20(
$a$
), as well as the HLNS results in figure 20(
$b$
), is satisfactory. The fluctuation contours in case B3 are further compared in figure 21. Again, good agreement between HLNS results and PSE results is observed for the temperature disturbance except for marginal differences in the free-stream region. This is reasonable because the free-stream disturbances (mainly consisting of acoustic waves) and the fluctuations within the boundary layer have substantially different streamwise wavenumbers (or phase velocities), and might thus not be captured by PSE simultaneously. Compared with the temperature fluctuations, the pressure fluctuations exhibit slightly larger differences, as was also documented by Towne et al. (Reference Towne, Rigas and Colonius2019). This is because the pressure disturbance amplitude is about three orders of magnitude smaller than the temperature disturbance amplitude and small discrepancies in temperature would appear more pronounced in pressure. Since the pressure and free-stream disturbances play a secondary role in the non-modal growth process as shown above (see also Hanifi et al. (Reference Hanifi, Schmid and Henningson1996) who noted that the acoustic continuous branches do not contribute to the transient growth of the energy), such discrepancies do not affect the main results of the non-modal analyses.
Finally, we present in figure 22 the direct comparison between results from DNS and PSE3D for the last group of test cases. The DNS computation domain is the same as that of PSE3D. The DNS grid is
$N_\xi \times N_\eta \times N_\phi = 1001\times 201\times 401$
for the lowest frequency (most amplified one),
$N_\xi \times N_\eta \times N_\phi = 1201\times 201\times 501$
for the moderate one and
$N_\xi \times N_\eta \times N_\phi = 1401\times 301\times 401$
for the highest one, with slightly more grid points being distributed in the leeward vortex region. Evidently, results from these two approaches match well in terms of the amplitude evolution as well as the spatial structures, thus verifying the PSE3D results.
Appendix D. Entries of linear operators in PSE3D
The non-zero elements of coefficient matrices
$\boldsymbol {A}, \boldsymbol {B}$
in (2.39) are as follows. Note that the overbar of the base-flow quantities has been omitted for simplicity:
\begin{align} \boldsymbol {A}(2,5) &= (\rho \mathcal {D}_x + \rho _x)/(\gamma M_\infty ^2) - \mu _T/R(l_2 U_x+l_0V_y+l_0W_z)\mathcal {D}_x - \mu _T/R(U_z+W_x)\mathcal {D}_z \nonumber \\ &\quad- \mu _T/R(U_y+V_x)\mathcal {D}_y - \mu _T/R(l_1V_{xy} + l_1W_{xz} + U_{zz} + U_{yy} + l_2U_{xx}) \nonumber \\ &\quad-\mu _{TT}/R\{(U_z+W_x)T_z + (V_x+U_y)T_y + (l_0V_y + l_0W_z + l_2U_x)T_x\},\end{align}
\begin{align} \boldsymbol {A}(3,5) &= (\rho \mathcal {D}_y + \rho _y)/(\gamma M_\infty ^2) - \mu _T/R(l_0 U_x+l_2V_y+l_0W_z)\mathcal {D}_y - \mu _T/R(V_z+W_y)\mathcal {D}_z \nonumber \\ &\quad- \mu _T/R(U_y+V_x)\mathcal {D}_x - \mu _T/R(l_1U_{xy} + l_1W_{yz} + V_{zz} + l_2V_{yy} + V_{xx}) \nonumber \\ &\quad-\mu _{TT}/R\{(V_z+W_y)T_z + (V_x+U_y)T_x + (l_2V_y + l_0W_z + l_0U_x)T_y\},\,\,\,\,\end{align}
\begin{align} \boldsymbol {A}(4,5) &= (\rho \mathcal {D}_z + \rho _z)/(\gamma M_\infty ^2) - \mu _T/R(l_0 U_x+l_0V_y+l_2W_z)\mathcal {D}_z - \mu _T/R(U_z+W_x)\mathcal {D}_x \nonumber \\ &\quad- \mu _T/R(W_y+V_z)\mathcal {D}_y - \mu _T/R(l_1U_{xz} + l_1V_{yz} + l_2W_{zz} + W_{yy} + W_{xx}) \nonumber \\ &\quad-\mu _{TT}/R\{(V_z+W_y)T_y + (U_z+W_x)T_x + (l_0V_y + l_2W_z + l_0U_x)T_z\},\end{align}
\begin{align} \boldsymbol {A}(5,5) = &-i\omega \rho -(\gamma -1)(U\rho _x + V\rho _y +W\rho _z) + \rho U\mathcal {D}_x + \rho V\mathcal {D}_y + \rho W\mathcal {D}_z \nonumber\\ &-\gamma \mu /(R\Pr )(\mathcal {D}_{xx} + \mathcal {D}_{yy} + \mathcal {D}_{zz}) - \gamma /(R\Pr )(\mu _x\mathcal {D}_x + \mu _y\mathcal {D}_y + \mu _z\mathcal {D}_z) \nonumber \\ &- \gamma /(\Pr R)(\mu _{xx} + \mu _{yy} + \mu _{zz}) - \gamma (\gamma -1)M_\infty ^2\mu _T/(2R)\Theta ,\end{align}
where
Appendix E. Entries of linear operators in APSE3D
The non-zero elements of coefficient matrix
$\boldsymbol {A}^\dagger$
in (2.41) are as follows:
\begin{align} \boldsymbol {A}^\dagger (2,5) &= \gamma \rho T_x + (1-\gamma )P_x + 2\gamma (\gamma -1)M_\infty ^2/R\{\mathcal {\overline D}_x(\mu (l_2 U_x+ l_0V_y+ l_0W_z)) \nonumber \\&\quad+ \mathcal {\overline D}_y(\mu (U_y + V_x)) + \mathcal {\overline D}_z(\mu (U_z + W_x))\} + 2\gamma (\gamma -1)M_\infty ^2\mu /R \{(l_2U_x \nonumber \\&\quad+l_0V_y+l_0W_z)\mathcal {D}_x + (U_y + V_x)\mathcal {D}_y + (U_z + W_x)\mathcal {D}_z \},\end{align}
\begin{align} \boldsymbol {A}^\dagger (3,5) &= \gamma \rho T_y + (1-\gamma )P_y + 2\gamma (\gamma -1)M_e^2/R\{\mathcal {\overline D}_y(\mu (l_0 U_x+ l_2V_y+ l_0W_z)) \nonumber \\&\quad+ \mathcal {\overline D}_x(\mu (U_y + V_x)) + \mathcal {\overline D}_z(\mu (V_z + W_y))\} + 2\gamma (\gamma -1)M_e^2\mu /R \{(l_0U_x+l_2V_y\nonumber \\&\quad +l_0W_z)\mathcal {D}_y + (U_y + V_x)\mathcal {D}_x + (V_z + W_y)\mathcal {D}_z \},\end{align}
\begin{align} \boldsymbol {A}^\dagger (4,5) &= \gamma \rho T_z + (1- \gamma )P_z + 2\gamma (\gamma -1)M_\infty ^2/R\{\mathcal {\overline D}_z(\mu (l_0 U_x+ l_0V_y+ l_2W_z)) \nonumber \\&\quad+ \mathcal {\overline D}_y(\mu (W_y + V_z)) + \mathcal {\overline D}_x(\mu (U_z + W_x))\} + 2\gamma (\gamma -1)M_e^2\mu /R \{(l_0U_x \nonumber \\&\quad +l_0V_y+l_2W_z)\mathcal {D}_z + (W_y + V_z)\mathcal {D}_y + (U_z + W_x)\mathcal {D}_x \},\end{align}
\begin{align} \boldsymbol {A}^\dagger (5,2) = &-\rho /(\gamma M_\infty ^2)\mathcal {D}_x \nonumber \\&+ \mu _T/R\left\{(l_2U_x + l_0V_y + l_0 W_z)\mathcal {D}_x + (U_y+V_x)\mathcal {D}_y + (U_z + W_x)\mathcal {D}_z\right\},\end{align}
\begin{align} \boldsymbol {A}^\dagger (5,5) &= i\omega \rho - \gamma (U\rho _x + V\rho _y + W\rho _z) - \rho (U_x + V_y + W_z) \nonumber \\&\quad - \gamma \mu /(\Pr R)(\mathcal {D}_{xx} + \mathcal {D}_{yy} + \mathcal {D}_{zz})-\gamma /(R\Pr )(\mu _x\mathcal {D}_x + \mu _y\mathcal {D}_y + \mu _z\mathcal {D}_z) \nonumber \\&\quad - \gamma /(\Pr R)(\mu _{xx} + \mu _{yy} + \mu _{zz}) - \gamma (\gamma -1)M_\infty ^2\mu _T/(2R)\Theta . \end{align}

































































































































































































