1. Introduction
Low-Mach grazing flows over cavities can lead to constructive interactions between hydrodynamic modes of the shear layer and acoustic modes of the cavity. These interactions can result in high-amplitude aeroacoustic limit-cycle oscillations, which potentially induce cyclic stresses leading to structural fatigue. The prediction of the occurrence of such a whistling phenomenon and its intensity is therefore highly relevant for practical applications such as aeronautical engineering, ground-based transportation systems and turbo-machinery. The shear layer at the cavity opening is prone to Kelvin–Helmholtz instabilities, leading to the amplification of vorticity oscillations originating from the upstream corner of the opening. Their interaction with the acoustic modes of the cavity creates a positive feedback loop that leads to self-sustained aeroacoustic oscillations, e.g. Dai et al. (Reference Dai, Jing and Sun2015), Bourquard et al. (Reference Bourquard, Faure-Beaulieu and Noiray2021), Ho & Kim (Reference Ho and Kim2021) and Wang et al. (Reference Wang, Jia, He, He, Sung and Liu2024). In the case of turbulent grazing flow, Bourquard et al. (Reference Bourquard, Faure-Beaulieu and Noiray2021) showed that stochastic perturbation from turbulence can lead to intermittent instability and derived the coupled Langevin equations governing the aeroacoustic system in such situation. Recent experiments (Faure-Beaulieu et al. Reference Faure-Beaulieu, Xiong, Pedergnana and Noiray2023; Hanna & Mohany Reference Hanna and Mohany2023) and large eddy simulations (LESs) (Boujo et al. Reference Boujo, Bauerheim and Noiray2018; Abdelmwgoud et al. Reference Abdelmwgoud, Shaaban and Mohany2021; Ho & Kim Reference Ho and Kim2021), uncovered new aspects of governing mechanisms leading to these so-called fluid-resonant oscillations (Rockwell & Naudascher Reference Rockwell and Naudascher1978). However, the latter simulations require large computational costs, which hinders their use for multiple-step engineering design optimisation. Consequently, there is a need for reduced-order models such as the discrete vortex model implemented by Dai et al. (Reference Dai, Jing and Sun2015) with a modified version of the Rossiter (Reference Rossiter1964) mechanism, or decoupled computational aero-acoustics methods, e.g. Koh et al. (Reference Koh, Cho and Moon2003). Low-order models with experimentally determined constants have also been developed, such as the empirical model of Bourquard et al. (Reference Bourquard, Faure-Beaulieu and Noiray2021) that is able to predict whistling frequencies and limit-cycle amplitudes for a deep cavity subjected to a low-Mach turbulent grazing flow system.
Linear stability analysis around a mean flow, while unable to capture the finite-amplitude interactions leading to the development of limit-cycle oscillations, can provide valuable insights on the system’s stability characteristics. For instance, Yamouni et al. (Reference Yamouni, Sipp and Jacquin2013) performed a global stability analysis of the compressible Navier–Stokes equations and were able to identify two destabilising mechanisms of the flow over a cavity. Citro et al. (Reference Citro, Giannetti, Brandt and Luchini2015) used asymptotic stability analysis, assuming the short-wavelength approximation, to study and categorise the mechanisms of instability of incompressible cavity flow. Sierra-Ausin et al. (Reference Sierra-Ausin, Fabre, Citro and Giannetti2022b ) considered the flow of a jet through a circular cavity and constructed a matched asymptotic model to predict acoustic instabilities via an impedance criterion. The impedances necessary for closure were derived from the linearised Navier–Stokes equations (LNSE). In the work of Boujo et al. (Reference Boujo, Bauerheim and Noiray2018), the incompressible Navier–Stokes equations are linearised around the mean flow over a deep cavity subjected to external forcing in order to perform a sensitivity analysis of the flow and identify the mechanisms governing its coherent response. In particular, a saturation phenomenon is observed, where increasing the forcing amplitude reduces the amplitude of the system’s response (harmonic gain) to the forcing.
In the present study, a self-consistent analysis of the same flow configuration as the one of Boujo et al. (Reference Boujo, Bauerheim and Noiray2018) and Bourquard et al. (Reference Bourquard, Faure-Beaulieu and Noiray2021) is performed to describe the emergence of finite-amplitude aeroacoustic limit cycles. The saturation amplitude and frequency predictions of the model are compared with experimental data and the accuracy of the method is assessed. The self-consistent approach used here is an extension of the work of Mantič-Lugo et al. (Reference Mantič-Lugo, Arratia and Gallaire2014) to the case of a low-Mach, turbulent and compressible flow. Stuart (Reference Stuart1958) was the first to propose an analysis of the linear stability of a mean flow for different amplitudes of a linearly unstable mode. More recently, Mantič-Lugo et al. (Reference Mantič-Lugo, Arratia and Gallaire2014) proposed to solve the mean flow equation iteratively with the updated steady forcing from the unstable mode at each iteration. The idea of iteratively updating the steady forcing field was a crucial improvement to the method proposed by Stuart (Reference Stuart1958) because the eigenmode shape usually strongly depends on the mean flow. Eventually, the mean flow becomes marginally stable rendering the growth rate of the instability zero. This indicates a balance between linear and nonlinear effects and the system is then considered to be saturated, e.g. Meliga (Reference Meliga2017). Note that there are also flow configurations where the mean flow does not reach marginal stability in its limit cycle, e.g. Sipp & Lebedev (Reference Sipp and Lebedev2007), requiring a more advanced stability analysis using Floquet theory, e.g. Bárcenas-Luque et al. (Reference Bárcenas-Luque, Coenen, Gutiérrez-Montes and Martínez-Bazán2024). Mantič-Lugo et al. (Reference Mantič-Lugo, Arratia and Gallaire2014) demonstrated that their self-consistent model can accurately predict the amplitude and frequency of limit-cycle oscillations, in the canonical case of periodic vortex shedding in the laminar wake behind a cylinder without reliance on direct numerical simulation (DNS) or experimental data for calibration. Mantič-Lugo et al. (Reference Mantič-Lugo, Arratia and Gallaire2015) have further shown by a comparison with DNS, that such a self-consistent model can even predict the transient evolution of the amplitude with high accuracy. Mantic-Lugo & Gallaire (Reference Mantic-Lugo and Gallaire2016) adapted the self-consistent model to analyse the saturation of the response to harmonic forcing in a laminar backward-facing step flow. In the work of Fani et al. (Reference Fani, Citro, Giannetti and Auteri2018) the full compressible Navier–Stokes (NS) equations were considered to investigate and predict the acoustic far field caused by the hydrodynamic modes of a laminar oscillating wake behind a cylinder. Yim et al. (Reference Yim, Meliga and Gallaire2019) performed a triple decomposition of the flow and supplemented the incompressible NS equations with an eddy-viscosity model, thus accounting for the effects of turbulence.
In this context, harmonic balance methods provide the general frequency-domain framework for computing periodic solutions by solving the Fourier-transformed governing equations, see e.g. Rigas et al. (Reference Rigas, Sipp and Colonius2021), Sierra-Ausin et al. (Reference Sierra-Ausin, Citro, Giannetti and Fabre2022a ) and Poulain et al. (Reference Poulain, Content, Schioppa, Nibourel, Rigas and Sipp2024). They are also referred to as time-spectral methods, see e.g. Gopinath & Jameson (Reference Gopinath and Jameson2005). Higher-dimensional formulations have since been developed to more efficiently capture strongly nonlinear periodic responses, as shown by Liu et al. (Reference Liu, Thomas, Dowell, Attar and Hall2006). Applications of harmonic balance methods in fluid dynamics are particularly interesting in the presence of inherent periodicity, such as in turbomachinery problems, as shown by Hall et al. (Reference Hall, Clark and Thomas2002), or in swirling flows, as investigated by Douglas et al. (Reference Douglas, Emerson and Lieuwen2022). The classical self-consistent formulation can be interpreted as a particular case of the harmonic balance method, corresponding to a single-harmonic truncation, at which the mean flow and the fundamental fluctuation are coupled. Higher-order truncations account for nonlinear harmonic interactions, as investigated for compressible flows by Sierra-Ausin et al. (Reference Sierra-Ausin, Citro, Giannetti and Fabre2022a ), Poulain et al. (Reference Poulain, Content, Schioppa, Nibourel, Rigas and Sipp2024) and Bongarzone et al. (Reference Bongarzone, Content, Sipp and Leclercq2026) and reviewed by Fabre et al. (Reference Fabre, Citro, Ferreira Sabino, Bonnefis, Sierra, Giannetti and Pigou2019).
The success of self-consistent saturation models is not limited to the accurate prediction of the saturated base flow field and the limit cycle’s amplitude and frequency. It also has the ability to highlight the underlying physical mechanisms leading to saturation i.e. the modifications imposed on the base flow by the developing mode, from the onset of instability up to saturation. In Li & Yang (Reference Li and Yang2025) the implementation of self-consistent models in the development of active wake control strategies is proposed, after their potential to significantly reduce the computational costs of wake calculations was demonstrated in their work.
In the present work an extended version of the self-consistent model is proposed. It accounts for low-Mach compressibility effects as well as the effects of high Reynolds turbulence, enabling predictions of aeroacoustic whistling phenomena. The problem is presented in the next section alongside a full description of the methods used. In the last section the results are presented and validated against experiments.
2. Problem description
2.1. Flow domain
Flow-domain sketch. The acoustically damping buffer zones of thickness
$l_s$
are indicated by red colour. Inset: contour of mean velocity magnitude
$\overline {u}$
with overlaid arrows indicating direction.

Figure 1. Long description
Panel A: A diagram showing the flow over a cavity with labeled sections including Gamma in, Gamma out, Gamma wall, and Gamma slip. The diagram includes dimensions such as H, W, L1, L2, D, and ls. Panel B: An inset showing a contour plot of mean velocity magnitude with arrows indicating the direction of flow. The velocity magnitude is color-coded from blue to red, with a scale ranging from 0 to 70 meters per second.
The two-dimensional flow domain consists of a straight duct that features a closed cavity side branch of rectangular shape, as shown in figure 1. The duct cross-section length is
$D=6.2$
cm, while the cavity measures
$W=3$
cm in width and its height
$H$
is varied in this work between
$18$
and
$30$
cm, corresponding to
$H/D \in [2.9,\,4.8]$
. Air flows inside the duct with a bulk velocity
$U_b$
varied between 55 and
$83\ \text{m s}^{-1}$
. This choice of parameters yields a set of flows characterised by small Mach numbers
$M$
and large Reynolds numbers
$Re$
,
$U_b/c_0=M\in [0.16,\,0.24]$
, where
$c_0=340\ \text{m s}^{-1}$
is the speed of sound and
$U_b W/\nu =Re \simeq 1.5\times 10^{5}$
, where
$\nu =1.5\times 10^{-5} \ \text{m}^2\,\text{s}^{-1}$
is the kinematic viscosity, while the Prandtl number
$ \textit{Pr}=\rho _0 \nu c_p/ \kappa$
is around 0.7, where
$\rho _0=1.2\,\text{kg m}^{-3}$
is the density,
$c_p=10^3 \ \text{J kg}^{-1}\ \text{K}^{-1}$
the specific heat capacity and
$\kappa =2.6\times 10^{-2} \ \text{J s}^{-1}\text{m}^{-1}\text{K}^{-1}$
the thermal conductivity.
2.2. Governing equations
The compressible NS equations are cast in non-dimensional form using the reference values presented above, as in the work of Meliga et al. (Reference Meliga, Sipp and Chomaz2010) and Fani et al. (Reference Fani, Citro, Giannetti and Auteri2018) on noise prediction from flow over a bluff body and a shallow cavity, respectively,
where
$\gamma$
is the ratio of specific heat capacities and
$N$
denotes the non-dimensional momentum equation expressed in terms of the non-dimensional density
$\rho$
, pressure
$P$
, velocity
$U$
, and shear stress
$\tau$
. Furthermore, the non-dimensionalised energy equation reads
with
Closure is achieved by means of the equation of state
$P = \varrho T$
, where the non-dimensional pressure
$P$
is defined as
$(p-p_0)/(\rho _{0}U_b^2)$
. The solution
$\boldsymbol{q}=[\varrho ,\boldsymbol{u},T,P]^{\intercal }$
is decomposed into its time-averaged component
$\overline {\boldsymbol{q}}(\boldsymbol{x})$
, coherent fluctuations
$\widetilde {\boldsymbol{q}}(\boldsymbol{x},t)$
and turbulent fluctuations
$\boldsymbol{q}'(\boldsymbol{x},t)$
following Hussain & Reynolds (Reference Hussain and Reynolds1970), where the different components can be isolated from the complete unsteady flow by phase averaging
$(\langle \boldsymbol{\cdot }\rangle )$
and time averaging
$(\overline {\boldsymbol{\cdot }})$
Substituting the decomposition into the governing equations results in a coupled system of equations for the mean flow and the coherent fluctuations and omitting the terms
$ \{ \mathcal{O}((q_i-\overline {q}_i)(q_j-\overline {q}_j)) | \ i=1,2,3,4, \ \ j=1,3,4 \}$
(i.e. omitting all terms involving products of two or more fluctuating quantities except for terms involving products of up to two velocity fluctuation components), which is a reasonable approximation for low-Mach-number flows, considering that fluctuations of density and temperature vanish in the incompressible limit. The approximation is also motivated by the study of Boujo et al. (Reference Boujo, Bauerheim and Noiray2018), where frequency responses computed with incompressible LNSE around a LES mean flow closely match the full LES solution of the flow field in response to external forcing applied to the present flow configuration. Notable discrepancies arise at relatively high forcing amplitudes, i.e. when the cavity forcing velocity approaches 3 %–5 % of the mean flow velocity. The conservation of mass, momentum and energy, together with the ideal gas law as closure, are given by
Accordingly, the LNSE in terms of the coherent fluctuations
$\widetilde {\boldsymbol{q}}$
take the form
The expressions for the linear operators
$L_C$
,
$\boldsymbol{L}_N$
and
$L_E$
can be found in Appendix A. The steady mean flow equations and the equations governing the evolution of the coherent fluctuations can be rewritten compactly using solution-vector notation. Grouping the right-hand sides into the nonlinear forcing terms
$[\overline {\boldsymbol{F}}_{\textit{turb}}(\boldsymbol{q}'),\ \widetilde {\boldsymbol{F}}_{\textit{turb}}(\boldsymbol{q}')]^{\intercal }$
and
$[\overline {\boldsymbol{F}}_{\textit{co}}(\widetilde {\boldsymbol{q}}), \ \widetilde {\boldsymbol{F}}_{\textit{co}}(\widetilde {\boldsymbol{q}})]^{\intercal }$
which cover the effects of turbulent and coherent fluctuations, respectively, and introducing the triple decomposition into (2.8)–(2.9) yields
where
$\boldsymbol{B}(\overline {\boldsymbol{q}})=\text{diag}(1,\overline {\rho },\overline {\rho },0)$
is the mass matrix of the system and
$\boldsymbol{L}_{\textit{tot}}=[L_c,\boldsymbol{L}_N,L_E]^{\intercal }$
.The effects of turbulence on the mean flow (
$\overline {\boldsymbol{F}}_{\textit{turb}}(\boldsymbol{q}')$
) are captured by a
$k$
-
$\omega$
shear stress transport (SST) turbulence model which introduces the turbulent viscosity (TV)
$\mu _t=\rho k/\omega$
, where
$k$
is the turbulent kinetic energy and
$\omega$
the specific turbulent dissipation rate. The mean Reynolds stresses
$\overline {\boldsymbol{u}'\boldsymbol{u}'}$
are linked to the mean traceless strain rate (Boussinesq approximation) through
with
$\boldsymbol{I}$
being the identity matrix. To link the coherent component of the turbulent Reynolds stresses
$\widetilde {\boldsymbol{u}'\boldsymbol{u}'}$
to the traceless strain rate from the coherent fluctuations, the Boussinesq approximation can be used as in the work of Boujo et al. (Reference Boujo, Bauerheim and Noiray2018) and Yim et al. (Reference Yim, Meliga and Gallaire2019)
Note that another approximation is introduced, as the turbulence model itself is not linearised, i.e. the coherent fluctuations
$\widetilde {k}$
and
$\widetilde {\omega }$
are not included in the self-consistent approach. Other works, such as the one of Meliga et al. (Reference Meliga, Pujals and Serre2012), have included the interaction between a coherent TV fluctuation,
$\widetilde {\mu _t}$
, and
$\widetilde {\boldsymbol{q}}$
. However, previous studies of the present flow configuration by Boujo et al. (Reference Boujo, Bauerheim and Noiray2018) showed that the LNSE method remains accurate despite this approximation, based on comparison with LES.
The governing (2.10) can then be recast as
where, in the final form of the operators
$\boldsymbol{N}_{\textit{tot}}(\overline {\boldsymbol{q}})$
and
$\boldsymbol{L}_{\textit{tot}} (\overline {\boldsymbol{q}},\widetilde {\boldsymbol{q}})$
in (2.13), the modified eddy viscosity
$\mu +\mu _t$
has been incorporated (
$\mu =\rho _0\nu$
is the dynamic viscosity). The TV is obtained from an incompressible Reynolds-averaged Navier–Stokes (RANS) with
$k$
–
$\omega$
-SST closure alongside the mean flow variable fields
$\overline {\boldsymbol{q}}$
. These fields are then used to construct
$\boldsymbol{L}_{\textit{tot}}$
.
2.3. Boundary conditions and mean flow computation
The walls
$\varGamma _{\textit{wall}}$
are thermally insulated with no-slip velocity (
$\boldsymbol{u}=0$
) condition. On the outlet boundary
$\varGamma _{\textit{out}}$
, the stress-free condition
$[(p+(2/3)\mu\boldsymbol{\nabla }\cdot\boldsymbol{u})\boldsymbol{I}-2\mu\boldsymbol{S}]\cdot\boldsymbol{\hat{x}}=0$
is imposed on the velocity field. To reduce computational expense, a zero shear stress condition
$\boldsymbol{u}\boldsymbol{\cdot }\hat {\boldsymbol{y}}=0$
is set at the lower boundary
$\varGamma _{\textit{slip}}$
, which does not affect the aeroacoustic dynamics of the side branch cavity on the upper side of the channel.
In order to replicate the experimental conditions of Bourquard et al. (Reference Bourquard, Faure-Beaulieu and Noiray2021) the inlet and outlet should not reflect waves when the equations for the fluctuations (2.14b
) are solved. These anechoic conditions are achieved by combining suitable boundary conditions at
$\varGamma _{\textit{in}}$
and
$\varGamma _{\textit{out}}$
and buffer zones damping wave propagation. Non-reflecting boundary conditions have been the topic of intense research for the simulation of compressible flows, e.g. Poinsot & Lele (Reference Poinsot and Lele1992), Colonius (Reference Colonius2004), Hu et al. (Reference Hu, Li and Lin2008) and Pirozzoli & Colonius (Reference Pirozzoli and Colonius2013). Given that the duct acts as an acoustic wave guide whose cut-on frequency for transverse mode propagation is significantly above the cavity whistling frequency and that the cavity is relatively far from the inlet and outlet boundaries, the one-dimensional plane wave approximation is used, with the following Riemann invariant wave definition:
$R_\pm =u' + p'/{\rho _0(\pm 1+U_0/c)}$
, with
$+$
denoting downstream and
$-$
upstream propagating waves. Based on the work of Abom (Reference Abom2010), the acoustic boundary conditions are then set to
$R_-|_{\varGamma _{\textit{out}}}=0, \ \ R_+|_{\varGamma _{\textit{in}}}=0$
. Acoustic waves are further damped by grid stretching and buffer zones of thickness
$l_s$
that feature artificial viscosity and additional dissipative terms.
The mean flow is obtained by using a incompressible two-dimensional RANS solver with a
$k$
–
$\omega$
-SST turbulence model implemented in Ansys Fluent (Ansys Inc. 2024). Boundary conditions at the inlet
$\varGamma _{\textit{in}}$
are uniform streamwise velocity
$U_b$
, temperature
$T=300$
K and turbulence intensity
$5\,\%$
. Here,
$\varGamma _{\textit{out}}$
is a pressure outlet and
$\varGamma _{\textit{wall}}$
is the no-slip, adiabatic wall. The reader is referred to Appendix B for more details on mesh selection and boundary treatment.
2.4. Eigenvalue problem for a given mean flow
The compressible LNSE (2.13b
) are now turned into an eigenvalue problem. First, the nonlinear terms
$\overline {\boldsymbol{F}}_{\textit{co}}(\widetilde {\boldsymbol{q}})$
and
$\widetilde {\boldsymbol{F}}_{\textit{co}}(\widetilde {\boldsymbol{q}})$
are neglected and a solution is sought in the form of an eigenmode expansion. Substituting a solution of the form
$\widetilde {\boldsymbol{q}}=\widetilde {\boldsymbol{q}}(\boldsymbol{x})e^{\lambda t}+ \ \textrm{c.c.}$
to (2.13b
), neglecting nonlinear terms in
$\widetilde {\boldsymbol{q}}$
and considering a given mean flow
$\overline {\boldsymbol{q}}$
one gets
The above eigenvalue problem associated with the LNSE is solved with a finite element method based on the open-source software FreeFEM (Hecht Reference Hecht2012). The mesh of
$N_E=42\,521$
triangular elements is constructed using FreeFEM meshing tools (see Appendix B for details and the mesh convergence study). A hybrid interpolation approach is employed, using a combination of P2 elements for velocity and P1 elements for state variables. After discretisation of the LNSE system, its eigenvalues and eigenmodes are computed by the shift-invert method. Solving the LNSE system produces a spectrum which typically exhibits a branch of stable eigenvalues, as shown in figure 2(a) for the case of the RANS mean flow obtained with
$U_b=55$
m s
$^{-1}$
. Their negative growth rate (imaginary part) is generally smaller when their frequency (real part) gets larger. In this spectrum, less stable eigenvalues can be found above the branch. These eigenvalues correspond to eigenmodes involving intense fluctuations along the shear layer developing at the cavity opening. In figure 2(a), the marginally stable one around
$900$
Hz exhibits a fluctuating pressure field which corresponds to the
$3/4$
wave eigenmode of the pure acoustic problem, and velocity fluctuations in the shear layer which correspond to the first Kelvin–Helmholtz (K-H) mode of the pure hydrodynamic, i.e. incompressible, problem. The axial component of the velocity field of this mode and its pressure field are shown in figures 3(a) and 3(d). In contrast to the results obtained with the incompressible LNSE by Boujo et al. (Reference Boujo, Bauerheim and Noiray2018), where K-H eigenmodes were always linearly stable, i.e. with negative growth rate, the compressible LNSE considered in this work can lead to linearly unstable, i.e. with positive growth rate, aeroacoustic eigenmodes for some ranges of cavity depth
$H$
and bulk flow velocity
$U_b$
, in agreement with experimental observations of Bourquard et al. (Reference Bourquard, Faure-Beaulieu and Noiray2021).
Eigenvalue spectrum of the compressible LNSE problem.
$(a)$
The case of
$U_b = 55 \text{ m s}^{-1}$
and
$H = 25$
cm with TV. All the eigenmodes are linearly stable including the 3/4 wave mode (blue triangle).
$(b)$
Spectrum obtained with TV for an inlet turbulence intensity of
$5\,\%$
(blue), superimposed on the spectrum calculated with
$10\,\%$
turbulent intensity (red) for the RANS mean flow obtained with
$U_b = 65 \text{ m s}^{-1}$
and
$H = 25$
cm. The change of turbulent intensity does not visibly alter most of the eigenvalues, including the linearly unstable 3/4 wave mode.

Dominant eigenmode of the compressible LNSE for the mean flow obtained with
$U_b=65$
m s
$^{-1}$
and
$H=25$
cm. Coherent component of fluctuating velocity
$(a{-}c)$
, with TV and turbulence intensity of
$5\,\%$
$(a$
,
$b)$
, with TV and turbulence intensity of
$10\,\%$
$(c)$
, and pressure
$(d)$
of the 3/4 mode for
$5\,\%$
turbulence intensity.

Furthermore, the TV has a strong damping effect on the eigenvalues of the compressible LNSE problem. It substantially reduces the growth rate of all modes, particularly in the high-frequency regime. This is illustrated in figure 2 for the case of
$U_b=65$
m s
$^{-1}$
,
$H=25$
cm treated with TV for the same RANS mean flow. As the RANS equations employ turbulence closure models, the self-consistent model is strictly speaking not parameter free, unlike in the case of Mantič-Lugo et al. (Reference Mantič-Lugo, Arratia and Gallaire2014). As the turbulent intensity is often only known with high uncertainty, we demonstrate the sensitivity of the eigenvalue spectrum towards this parameter in figure 2(b) by comparing cases of
$5\,\%$
and
$10\,\%$
turbulence intensity. Notably, the eigenvalue corresponding to the
$3/4$
wave mode remains unchanged, while some highly damped eigenvalues in the high-frequency regime are affected by turbulence intensity. We further identify modes at
$1600$
and
$2000$
Hz that remain stable for both inlet velocities. These modes are visibly separated from the remainder of eigenvalues with significantly lower real values, as they are related to K-H instabilities exciting cavity modes at higher frequencies, as in the case of the
$5/4$
wave mode close to
$2000$
Hz. The experiments of Bourquard et al. (Reference Bourquard, Faure-Beaulieu and Noiray2021) show that the supercritical Hopf bifurcation which separates cavity resonance condition from aeroacoustic limit cycles occurs close to this bulk flow velocity
$U_b$
. Comparing figures 3(b) and 3(c) one can see that TV also modifies the mode shape by reducing the penetration depth of the fluctuation inside the cavity. All the results presented in the remainder of this paper are obtained with TV. Moreover, for all combinations of
$U_b$
and
$H$
considered in this work, one mode dominates the spectrum of eigenvalues of the compressible LNSE associated with the RANS mean flow. It corresponds to the 3/4 mode of the cavity with an acoustic pressure wavelength equal to approximately 4
$H$
/3.
2.5. Self-consistent saturation model
For cases where the compressible NS equations linearised around the RANS mean flow lead to a linearly unstable
$3/4$
wave eigenmode, infinitesimal perturbations exponentially grow and an acoustic limit cycle is ultimately reached. The method to predict its amplitude is now explained. It is based on the self-consistent analysis of hydrodynamic limit cycles proposed by Mantič-Lugo et al. (Reference Mantič-Lugo, Arratia and Gallaire2014). They validated their method with the incompressible laminar self-oscillating wake behind a cylinder and developed it by building upon the work of Stuart (Reference Stuart1958). Assuming that the mode shape does not change with the amplitude, Stuart (Reference Stuart1958) solved an amplitude-dependent LNSE eigenvalue problem by subtracting a scaled mean component of the coherent Reynolds-stress divergence such that a marginally stable base flow solution is found. The scaling factor then provides an estimate of the stable limit-cycle amplitude. However, this approach often produces an incorrect estimate of the amplitude because the shape of the mode exerting the steady forcing on the mean flow usually depends on the oscillation amplitude. An elegant way to overcome this issue was proposed by Mantič-Lugo et al. (Reference Mantič-Lugo, Arratia and Gallaire2014). The saturated state is iteratively obtained by gradually increasing the value of the forcing amplitude and resolving the updated equations at each step. It artificially creates a feedback loop, where steady forcing from the unstable mode (see an example in figure 4) modifies the mean flow, which in turn leads to a modified mode shape and so on until the mode amplitude increment leads to a marginally stable mode. This development mimics the physical feedback mechanism that is responsible for the saturation process of an aeroacoustic limit cycle in the deep cavity by gradually varying the shape of the base flow (and the unstable mode), leading to accurate and robust convergence behaviour. As mentioned in the introduction, the self-consistent saturation analysis performed in this study accounts for both the effects of turbulence and compressibility. Turbulence effects are accounted for through the terms originating from the triple decomposition of the flow field and an eddy-viscosity closure model, as explained in the previous sections, while the effects of compressibility are resolved by the compressible equations for density, temperature and pressure in addition to the momentum equation. The resulting system of equations describing the self-consistent saturation model, including all nonlinear terms up to first order, can be found in Appendix C or in the work of Fani et al. (Reference Fani, Citro, Giannetti and Auteri2018). For the present low-Mach flow cases, one of the terms dominates the others by more than an order of magnitude and is the only one retained in the present model. Note that restricting the model to a subset of first-order terms yields a truncated version of the self-consistent formulation. However, for the present flow configuration, we refer to the work of Boujo et al. (Reference Boujo, Bauerheim and Noiray2018), where an LNSE approach applied to a mean flow obtained from LES accurately predicted coherent fluctuations. Boujo et al. (Reference Boujo, Bauerheim and Noiray2018) has further shown that the leading Reynolds stresses in this configuration project poorly onto the optimal forcing field, motivating the monochromatic approximation adopted in this work. Despite being only approximately self-consistent, we refer to the model as self-consistent, as it can capture the dominant saturation mechanism. The resulting system in solution-vector notation reads
$(a)$
Horizontal and vertical components of the steady forcing from the Reynolds stress of the coherent fluctuations for
$U_b=65$
m s
$^{-1}$
and
$H=25$
cm at the first iteration.
$(b)$
Evolution of the linear growth rate of the unstable aeroacoustic mode during the 6 steps of the self-consistent iterative process.

where
$j\in \mathbb{N}^*$
is the iteration step, and
$\widetilde {\boldsymbol{u}}_{\textit{un}}^{(j)}$
is the velocity component of the unstable eigenmode
$\widetilde {\boldsymbol{q}}^{(j)}_{\textit{un}}$
, with
$\widetilde {\boldsymbol{u}}_{\textit{un}}^{(j)*}$
its complex conjugate. Consistent with the single-harmonic truncation of the harmonic balance method, the term
$\tilde {F}_{co}(\tilde {q})$
, which appears on the right-hand side of (2.13b
), is neglected on the right-hand side of (2.15b
). The first mean flow
$\overline {\boldsymbol{q}}^{(1)}$
used to obtain
$\widetilde {\boldsymbol{q}}^{(1)}_{\textit{un}}$
with (2.15b
) is the RANS solution. The forcing term on the right-hand side of (2.15a
) is presented in figure 4(a) for
$U_b=65$
m s
$^{-1}$
and
$H=25$
cm. We have verified for the momentum equation of the mean flow that the restriction of coherent Reynolds-stress forcing to a single remaining term in (2.15a
) yields errors of
$\approx 2\,\%$
based on a comparison of the
$L_2$
norms of the forcing terms presented in Appendix C. In figure 4(b), one can see that the evolution of the linear growth rate of the unstable mode during the iteration process leads to marginal stability after six steps. The computation time for this result is of the order of
$20$
min using parallelisation with
$4$
cores in Ansys Fluent. The constant
$A$
in (2.15a
) can be interpreted as the mode amplitude, and as proposed by Mantič-Lugo et al. (Reference Mantič-Lugo, Arratia and Gallaire2014) in their algorithm, its value is determined by requiring the value of
$A_{\!f}^2=A^2 \Vert {2\textrm{Re} \{\overline {\rho }\widetilde {\boldsymbol{u}}_{\textit{un}}^{(j)*}\boldsymbol{\cdot }\boldsymbol{\nabla }\widetilde {\boldsymbol{u}}_{\textit{un}}^{(j)}}\Vert /\Vert {\overline {\rho }\widetilde {\boldsymbol{u}}_{\textit{un}}^{(j)}}\Vert ^2$
to be fixed for ensuring convergence of the iteration process. Introducing
$A_{\!f}$
is not strictly necessary for the iterative process. Its use explicitly shows the normalisation of the eigenvectors using the metric of the space over which they are defined. In the present discretised LNSE operator space the dot product of two vectors is defined using the mass matrix of the problem
$\boldsymbol{B}(\overline {\boldsymbol{q}})$
with
$\Vert {\tilde {\boldsymbol{q}}}\Vert ^2=\tilde {\boldsymbol{q}}^{\dagger }\boldsymbol{B}(\overline {\boldsymbol{q}})\tilde {\boldsymbol{q}}\simeq \iint _\varOmega \langle \overline {\rho }\tilde {u}_i^*\tilde {u}_i\rangle \text{d}\varOmega =1$
. An adequate tuning of
$A_{\!f}$
is needed for ensuring that a marginally stable solution (vanishing growth rate) is reached and for minimising the number of steps (see an example in figure 5). Following Mantič-Lugo et al. (Reference Mantič-Lugo, Arratia and Gallaire2014), under-relaxation is also used to ensure robust convergence by updating the mean flow with
$\overline {\boldsymbol{u}}^{(j+1)}=\gamma \overline {\boldsymbol{u}}^{(j-1)} +(1 - \gamma ) \overline {\boldsymbol{u}}^{(j)} , \ \text{for }j\geqslant 2$
, where
$\gamma \in (0,1)$
is the under-relaxation factor. As shown by Mantič-Lugo et al. (Reference Mantič-Lugo, Arratia and Gallaire2015), smaller values of
$\gamma$
increase the robustness of convergence. Likewise, the number of iterations required to achieve a given relative change between successive iterations,
$R_q^j = \|\overline {\boldsymbol{q}}^{(j+1)}-\overline {\boldsymbol{q}}^{(j)}\|/\|\overline {\boldsymbol{q}}^{(j)}\|$
, increases for smaller
$\gamma$
. Typical under-relaxation factors in this work lie in the range
$\gamma \in [0.1, 0.35]$
and remain constant throughout the iterations.
$(a{-}c)$
Convergence of the growth rate during the self-consistent model iterations for different values of
$A_{\!f}$
and for
$U_b=68$
m s
$^{-1}$
and
$H=25$
cm.
$(d)$
Final growth rate for monotonically increasing
$A_{\!f}$
. The marginal stability, i.e.
$\sigma =0$
rad s
$^{-1}$
, is obtained for
$A_{\!f}=0.3$
in this case.

Figure 5. Long description
The image contains four panels of line graphs. Panel A, B, and C show the convergence of growth rates during self-consistent model iterations. The x-axis represents iterations, and the y-axis represents growth rate in rad s^-1. Each panel shows a line with diamond markers indicating data points. Panel D shows the final growth rate for monotonically increasing values of A_f. The x-axis represents A_f, and the y-axis represents the final growth rate in rad s^-1. The graph shows a line with square markers indicating data points. The marginal stability is obtained for a specific value of A_f in this case.
Iterative scheme for computation of the transient evolution of the saturation amplitude
$A(T)$
.

2.6. Transient evolution of the limit-cycle amplitude
Instead of tuning the parameter
$A_{\!f}$
manually, as shown in figure 5, in the following, we follow the approach first presented by Mantič-Lugo et al. (Reference Mantič-Lugo, Arratia and Gallaire2015) to compute the transient evolution of the modal amplitude
$A$
and eventually its saturation value. Mantič-Lugo et al. (Reference Mantič-Lugo, Arratia and Gallaire2015) have computed the transient evolution of a limit cycle for a marginally stable incompressible flow around a cylinder using a self-consistent model. The prediction of this model has been validated against DNSs, yielding good agreement in the final limit-cycle amplitude
$A$
and the spatial–temporal evolution of the saturated flow field. We therefore investigate the applicability of the transient self-consistent saturation model of Mantič-Lugo et al. (Reference Mantič-Lugo, Arratia and Gallaire2015) to the low-Mach compressible turbulent flow in this work. The iterative scheme for computing the transient evolution of
$A(T)$
is illustrated in figure 6. Note that, the inner loop structure is consistent with the saturation model in § 2.5 for a fixed value
$A_{\!f}$
.
The evolution of the limit-cycle amplitude
$A$
is described on a slow time scale
$T$
governed by the modal growth rate
$\sigma$
. The core idea is to iteratively adjust the limit-cycle amplitude
$A(\sigma )$
in an outer loop, while performing the iterative updates of the mean flow variables
$\overline {\boldsymbol{q}}$
for a fixed amplitude in each time step. Eventually, the amplitude
$A(\sigma )$
reaches its saturated value, for which the growth rate vanishes, i.e.
$\sigma = 0$
. Employing the quasi-steady assumption, the temporal evolution of the limit-cycle amplitude
$A$
is given by the following ordinary differential equation (ODE) with an arbitrarily chosen initial amplitude
$A_0$
:
The ODE is discretised in time using a first-order implicit time-stepping scheme. For each
$A(T)$
, the iterative procedure in (2.15) is employed until convergence is achieved. We define the convergence based on the relative change between consecutive eigenvalues,
$R_\lambda ^j = \|\lambda ^{j+1}-\lambda ^{j}\|/\|\lambda ^j\| \lt \mathrm{tol}$
for
$\mathrm{tol} = 2.5\times 10^{-4}$
. Once convergence is achieved,
$A(T)$
is updated in time and a new value of
$A_{\!f}(T)$
is obtained accordingly using the relation
$A_{\!f}^2=A^2 \Vert {2\textrm{Re} \{\overline {\rho }\widetilde {\boldsymbol{u}}_{\textit{un}}^{(j)*}\boldsymbol{\cdot }\boldsymbol{\nabla }\widetilde {\boldsymbol{u}}_{\textit{un}}^{(j)}}\Vert /\Vert {\overline {\rho }\widetilde {\boldsymbol{u}}_{\textit{un}}^{(j)}}\Vert ^2$
, with
$A_{\!f}$
being fixed within iterations of the inner loop in accordance with § 2.5.
Figure 7 illustrates the transient self-consistent saturation model over a duration of two time steps in the outer loop. Figure 7(a) shows the evolution of the modal growth rate
$\sigma$
and the frequency
$f$
. The respective markers indicate a new time step in the outer loop, which is consistent with the residual
$R_\lambda^{j}$
in figure 7(c) falling below the specified tolerance, thereby defining convergence of the inner loop. Along with the decreasing
$\sigma$
, a modulation towards higher frequencies is observed within each time step. The coherent fluctuation amplitude
$A$
of the unstable mode increases continuously within each time step and between time steps, as shown in figure 7(b). The value of
$A_{\!f}(T)$
(not shown) remains constant over a time step and is updated based on the converged values of
$A(T)$
at the end of the inner iteration loops. It eventually converges to
$A_{\!f} = 0.3$
, in accordance with figure 5, once the amplitude is saturated. Note that
$A_{\!f}(0) = 0.01$
in the present case, but it can be selected arbitrarily as any value greater than zero to enable the unstable mode to grow as proposed by Mantič-Lugo et al. (Reference Mantič-Lugo, Arratia and Gallaire2015).
Evolution of (a) growth rate
$\sigma$
and frequency, (b) coherent fluctuation unstable mode amplitude
$A$
, (c) residual
$R_\lambda ^j$
with convergence criterion (dashed line) within two time steps in the outer loop
$A(T)$
.

Figure 7. Long description
Panel A: A line graph shows the evolution of growth rate (in radians per second) and frequency (in hertz) over iterations. The growth rate is represented by a blue line with square markers, while the frequency is represented by an orange line with triangle markers. Both lines show fluctuations over the iterations. Panel B: A line graph depicts the evolution of the coherent fluctuation unstable mode amplitude (in meters per second) over iterations. The amplitude increases stepwise across the iterations. Panel C: A line graph illustrates the evolution of the residual with a convergence criterion (dashed line) within two time steps in the outer loop. The residual values fluctuate around the convergence criterion.
Evolution of streamwise velocity of the unstable mode over the course of the iterative process for
$U_b=65$
m s
$^{-1}$
and
$H=25$
cm.

Evolution of streamwise Reynolds-stress divergence of the unstable mode (forcing term of the mean flow equations) over the course of the iterative process for
$U_b=65$
m s
$^{-1}$
and
$H=25$
cm.

3. Results
The self-consistent model is now employed for the case of
$U_b=65$
m s
$^{-1}$
and
$H=25$
cm. The initial step leads to a forcing from the steady component of the coherent Reynolds stress presented in figure 4(a), and to a linear growth rate of approximately
$30$
rad s
$^{-1}$
(see figure 4(b)). Figures 8 and 9 contain snapshots of streamwise fluctuation velocity and Reynolds-stress terms respectively for the first 6 iterations. Figure 9 clearly demonstrates the decay of the steady Reynolds-stress forcing magnitude when approaching saturation. This decrease in amplitude signifies a reduction in energy transfer between coherent fluctuations and the mean flow, hinting at an energetic equilibrium state that will be reached upon complete saturation. Furthermore, one can see in figures 8 and 9 that the region exhibiting the largest coherent fluctuating velocity and the associated steady Reynolds-stress forcing progressively migrates toward the upstream corner from an initial distribution spread across the cavity opening. The prediction of this effect from the self-consistent analysis based on the compressible LNSE is in excellent qualitative agreement with the compressible LES presented by Boujo et al. (Reference Boujo, Bauerheim and Noiray2018). Indeed, in their work, coherent velocity fluctuations are imposed at the upper end of the side branch and the forcing amplitude is progressively increased, resulting in a very similar modification of the coherent response and of their steady Reynolds-stress component.
$(a)$
Coherent fluctuation amplitudes computed with the self-consistent analysis of the compressible LNSE (red circles) plotted over the amplitude curves of the experimentally calibrated low-order model of Bourquard et al. (Reference Bourquard, Faure-Beaulieu and Noiray2021). Colouring indicates the coherent fluctuation frequencies, while stable conditions are drawn transparent.
$(b)$
Evolution of the coherent fluctuation unstable mode amplitude (upper) and growth rate (lower) over the iterations of the self-consistent analysis for
$U_b=80$
m s
$^{-1}$
and
$H=21$
cm.

Interestingly, the region toward which high-amplitude coherent fluctuations migrate during the self-consistent saturation process is characterised by a high sensitivity to forcing. Indeed, although the steady Reynolds-stress forcing amplitude decreases, the effect it has on the mean flow increases. This result is in agreement with the adjoint-based sensitivity analysis of the incompressible flow from Boujo et al. (Reference Boujo, Bauerheim and Noiray2018). Close to the upstream corner of the cavity, small perturbations are strongly amplified as they are convected downstream along the convectively unstable shear layer. This mechanism leads to a natural reorganisation of the mean flow and its unstable mode during the saturation process, leading to stable self-oscillations of the aeroacoustic system.
As shown in figure 10, predictions for the saturation amplitude of limit-cycle oscillations over a range of bulk flow velocities
$U_b$
and cavity heights
$H$
are in good agreement with the experimental data of Bourquard et al. (Reference Bourquard, Faure-Beaulieu and Noiray2021) and with their low-order model after its parameters have been calibrated. For the given configuration, Bourquard et al. (Reference Bourquard, Faure-Beaulieu and Noiray2021) have explicitly verified that the bifurcations with respect to the parameters
$U_b$
and
$H$
are supercritical Hopf bifurcations. Additionally, this low-order model can replicate the intermittency observed in the acoustic pressure measurements when accounting for stochastic turbulence-induced forcing. In the high-amplitude regimes, the self-consistent saturation model converges robustly and captures the nonlinear amplitude limiting mechanism attributed to a balance of acoustic energy sources and losses from the self-oscillating aperture flow and acoustic energy losses at the channel boundaries. However, for combinations of
$U_b$
and
$H$
in the vicinity of the supercritical Hopf bifurcation (for instance for
$U_b=60$
m s
$^{-1}$
and
$H=25$
cm), the self-consistent model overestimates the amplitude. This discrepancy arises from the minimum number of iterations required by the self-consistent model to converge, artificially increasing the saturated state amplitude (Mantič-Lugo et al. Reference Mantič-Lugo, Arratia and Gallaire2014). Moreover, the overestimation of the oscillation amplitude close to the Hopf points can also be attributed to overestimated linear growth rate of the mode, itself due to underestimated aeroacoustic damping in the present two-dimensional analysis which does not account for flow friction along the lateral boundaries of the experiment from Bourquard et al. (Reference Bourquard, Faure-Beaulieu and Noiray2021). As discussed in Meliga (Reference Meliga2017), the single-harmonic truncation in the self-consistent approach could also contribute to an overestimation of the oscillation amplitude near the bifurcation. The Reynolds stresses of higher harmonics can provide additional stabilising feedback on the mean flow that is absent in the single-harmonic description, and such an effect should be compensated by a larger saturation amplitude of the fundamental mode. The self-consistent model and the low-order model reproduce the same parametric dependencies of the saturation frequency on the bifurcation parameters
$H$
and
$U_b$
, as can be seen from the colouring of the respective amplitude predictions in figure 10. In particular, for
$U_b=75$
m s
$^{-1}$
, the results of both models agree closely. The discrepancies in the limit-cycle frequencies may also be related to the systematic overestimation of the amplitudes close to the bifurcation. Overall, the frequency predictions of the self-consistent model lie within a range of
$\pm 10\,\%$
. Moreover, the frequency corrections predicted by the model over the linear stability theory predictions exhibit a systematic and well interpretable trend. As saturation amplitude decreases, the magnitude of the frequency correction increases. The sign of the correction is negative for frequencies above the system’s reactance inflection point and positive below it, in good agreement with the acoustic reactance measured in Bourquard et al. (Reference Bourquard, Faure-Beaulieu and Noiray2021) (see figures 11 and 12 respectively).
Frequency convergence over successive iterations of the self-consistent analysis. (a) bulk velocity is kept constant at
$U_b=72 \text{ m s}^{-1}$
and the cavity depth is varied. (b) the cavity depth is kept constant at
$H=25$
cm and the bulk velocity is varied.

(a) Correlation of converged self-oscillating amplitude and resulting frequency correction obtained from the self-consistent saturation model. (b) Reactance of the cavity opening for different acoustic forcing amplitudes and for
$U_b= 74$
m s
$^{-1}$
measured and presented by Bourquard et al. (Reference Bourquard, Faure-Beaulieu and Noiray2021). The white circles correspond to the specific impedance without flow.

Figure 12. Long description
Panel A: A scatter plot shows the relationship between amplitude (A) in meters per second on the vertical axis and the absolute value of frequency difference (|Δf|) in Hertz on the horizontal axis. Data points are represented by blue and green diamonds, with blue diamonds indicating a height (H) of 25 centimeters and green diamonds indicating a bulk velocity (Ub) of 72 meters per second. Panel B: Another scatter plot displays the imaginary part of impedance (Im(Z)) on the vertical axis against frequency (f) in Hertz on the horizontal axis. Data points are color-coded to represent different acoustic forcing amplitudes in Pascals, ranging from 20 Pa to 800 Pa. The plot includes a legend explaining the color coding and shows trends in the reactance of the cavity opening for different acoustic forcing amplitudes.
Finally, it is interesting to discuss the saturated mean flow produced by self-consistent analysis. The example of the saturated mean flow for
$U_b=75$
m s
$^{-1}$
and
$H=25$
cm is given in figure 13. It exhibits multiple cells that do not span across the width of the aperture. This final mean velocity distribution leads to a marginally stable
$3/4$
wave aeroacoustic mode, in agreement with the experiments. The saturated mean flow obtained from the self-consistent model is driven towards a state close to marginal stability by the coherent Reynolds-stress forcing shown in figure 9. In this equilibrium, the energy transferred to the coherent fluctuations balances the losses due to dissipation and radiation through the anechoic boundaries. To further elucidate the saturation mechanism of the unstable cavity mode, we resolve the modal amplitude
$A(T)$
in time by applying the transient self-consistent model (§ 2.6) to the present flow configuration. The initial formulation by Mantič-Lugo et al. (Reference Mantič-Lugo, Arratia and Gallaire2015) was derived for an incompressible laminar flow, which we employ for a turbulent, low-Mach compressible flow configuration. Mantič-Lugo et al. (Reference Mantič-Lugo, Arratia and Gallaire2015) have shown, by comparison with DNS data, that approximating the amplitude-dependent modal growth rate
$\sigma (A)$
by a second-order polynomial, as in the Stuart–Landau amplitude equation (Stuart Reference Stuart1960), gives reasonable results in terms of the saturation time. This approximation is given by
Converged, stable mean velocity magnitude
$\overline {\boldsymbol{u}}$
for a cavity of height
$H=25$
cm and inlet bulk velocity
$U_b=75$
m s
$^{-1}$
.

Temporal evolution of the limit-cycle for
$U_b = 75\,\text{m}\,\text{s}^{-1}$
and
$H = 25\,\text{cm}$
. (a) Coherent spanwise vorticity fluctuation
$\omega'$
and mean vorticity
$\bar{\omega}$
before saturation (left column) and after saturation (right column). (b) Left: transient evolution of the limit-cycle amplitude
$A$
compared with the approximation (3.1) of Mantič-Lugo et al. (Reference Mantič-Lugo, Arratia and Gallaire2015). Right: relation between the growth rate of the limit cycle
$\sigma (A)$
and limit-cycle amplitude
$A$
.

Figure 14. Long description
Panel A: Two sets of contour plots show the coherent spanwise vorticity fluctuations and mean vorticity fields before and after saturation. The left column represents the state before saturation, while the right column shows the state after saturation. The color bars indicate the range of vorticity values in radians per second. Panel B: Two line graphs illustrate the relationship between the growth rate of the limit cycle and the limit-cycle amplitude. The left graph plots the amplitude against the growth rate, while the right graph shows the amplitude over time. The graphs include data points labeled as self-consistent and a comparison with an equation. The axes are labeled with amplitude in meters per second and time in seconds.
where
$\sigma _0$
is the linear growth rate for
$A \to 0$
, and
$A^*$
is the saturation amplitude. Apart from potential overshoots in the transient evolution, this approximation leads to good agreement with the modal growth
$A(T)$
obtained by DNS in the work of Mantič-Lugo et al. (Reference Mantič-Lugo, Arratia and Gallaire2015). The experimental data of Bourquard et al. (Reference Bourquard, Faure-Beaulieu and Noiray2021), which were used for a comparison in previous sections, is restricted to fully developed aeroacoustic limit cycles, and therefore is not suitable for a comparison with
$A(T)$
. We therefore compare
$A(T)$
obtained with the self-consistent approach to the amplitude evolution predicted by (3.1) to verify that the self-consistent approach yields reasonable results in terms of the characteristic time scales involved. As
$\sigma /f\ll 1$
for the
$3/4$
wave aeroacoustic mode, the quasi-steady treatment of
$A(T)$
in the outer loop (figure 6) is well justified and will be discussed in the following.
On the right-hand side, figure 14(b) shows the evolution of
$A(T)$
obtained with the self-consistent model and compares it with the transient evolution predicted by (3.1). Hereby, the initial modal growth rate
$\sigma _0$
and the saturation amplitude
$A^*$
are deduced from the results of the self-consistent model. Both models yield a comparable saturation time of
$\approx 0.1$
s and exhibit the same qualitative trends. On the left-hand side, figure 14(b) provides the corresponding relation
$\sigma (A(T))$
, in which
$\sigma$
decreases monotonically with increasing
$A$
. This is in excellent agreement with the quasi-steady approximation of the transient self-consistent model. In addition, the coherent vorticity fluctuations
$\widetilde {\omega }$
(middle row) and mean vorticity fields
$\bar {\omega }$
(top row) are shown for the two time steps marked as white circles in figure 14(a). The vorticity fields in the left column of figure 14(a) correspond to the stage of linear modal growth, whereas the vorticity fields in the right column represent the saturated flow state. During the saturation process of the instability,
$\widetilde {\omega }$
redistributes towards the upstream corner. This evolution of the mode in the unforced flow is consistent with the one obtained for increasing forcing amplitude in the counterpart forced-flow LES reported by Boujo et al. (Reference Boujo, Bauerheim and Noiray2018). The respective fields of
$\bar {\omega }$
in the top row of figure 14(a) illustrate the thickening of the shear layer during saturation, while the mean vorticity is also redistributed towards the upstream corner. Likewise, a substantial amount of the coherent vorticity fluctuations is convected into the cavity, consistent with the reorganisation of the mean flow shown in figure 13.
4. Conclusions
The aeroacoustic limit cycles of deep cavities subjected to low-Mach turbulent flows have been predicted with a self-consistent model based on the compressible LNSE. The latter provides intermediate snapshots of the saturation process and makes accurate predictions without the need for calibration data from simulations or experiments. Turbulent viscosity was incorporated into the self-consistent model using the triple decomposition of the flow field. The predicted amplitude and frequency of the self-oscillating mode are in good agreement with those obtained from an experimentally calibrated low-order model, validating the capability of this framework to capture nonlinear effects beyond linear stability predictions. Moreover, the present work shows that the self-consistent analysis reproduces key features of the self-oscillating flow, such as the amplitude dependence of the frequency shift, with corrections being more significant as the amplitude decreases, in agreement with previously published experimental results. The model tends to overpredict amplitudes in the vicinity of the supercritical Hopf bifurcation, presumably because iterative convergence criteria are less robust at small amplitude, and because the three-dimensional effects of aeroacoustic dissipation in the lateral boundary layer of the physical system are not accounted for in the present two-dimensional analysis.
Since the formulation of the self-consistent saturation model is, in principle, directly applicable to three-dimensional flow configurations, a further investigation of these phenomena is left for future work.
Furthermore, the reorganisation of the coherent fluctuations of the flow field enhances the Reynolds stress forcing in regions of high receptivity of the flow. This demonstrates that the saturation mechanism naturally aligns with the physical sensitivity of the initial mean flow obtained by solving the RANS equations. In future work, unsteady RANS simulations based on high-order discontinuous Galerkin schemes, capable of accurately propagating acoustic waves as shown by Criscuolo et al. (Reference Criscuolo, Renac, Couaillier, Naddei, Denayer, De Roeck and Desmet2022), could be performed and compared with the results of the self-consistent method for the present low-Mach-number compressible turbulent flow. A comparison of both U-RANS and the self-consistent model against unforced LES could further elucidate the respective impact of the RANS turbulence closure and the assumption of monochromaticity. Predictions of the transient evolution of the coherent fluctuations using the self-consistent model naturally reproduce this reorganisation and yield the saturation amplitude by employing the separation of time scales in this aeroacoustic problem. These results consolidate the literature dealing with self-consistent analysis of oscillating flows and demonstrate the method’s capabilities in identifying dominant feedback pathways of aeroacoustic instabilities in low-Mach turbulent flows. It also shows its potential for designing control strategies and geometries for aeroacoustic systems, given that this self-consistent method can be operated at a fraction of the computational cost of codes traditionally chosen for this task.
Competing interests
The authors declare that they have no competing interests that would have had any influence on the results presented in this paper.
Appendix A. The LNSE operators
$L_C$
,
$\boldsymbol{L}_N$
,
$L_E$
\begin{gather} L_E(\overline {\rho },\overline {\boldsymbol{u}},\overline {T}) \widetilde {T}= \widetilde {\rho }(\overline {\boldsymbol{u}}\boldsymbol{\cdot }\boldsymbol{\nabla })\overline {T} +\overline {\rho }(\overline {\boldsymbol{u}}\boldsymbol{\cdot }\boldsymbol{\nabla })\widetilde {T} + \overline {\rho }(\widetilde {\boldsymbol{u}}\boldsymbol{\cdot }\boldsymbol{\nabla })\overline {T}- \frac {\gamma }{Pr Re}\boldsymbol{\nabla} ^2\widetilde {T} \nonumber \\+ (\gamma -1)\Big (\big [\widetilde {\rho }\overline {T}(\boldsymbol{\nabla }\boldsymbol{\cdot }\overline {\boldsymbol{u}}) + \overline {\rho }\widetilde {T}(\boldsymbol{\nabla }\boldsymbol{\cdot }\overline {\boldsymbol{u}}) +\overline {\rho }\overline {T}(\boldsymbol{\nabla }\boldsymbol{\cdot }\widetilde {\boldsymbol{u}})\big ] - \gamma \frac {M^2}{Re}\big [\boldsymbol{\tau }(\widetilde {\boldsymbol{u}}):\boldsymbol{d}(\overline {\boldsymbol{u}}) + \boldsymbol{\tau }(\overline {\boldsymbol{u}}):\boldsymbol{d}(\widetilde {\boldsymbol{u}})\big ]\Big ) .\\[0pt] \nonumber \end{gather}
Appendix B. Domain meshes and non-reflecting boundaries
Table 1 provides the different parameters of the meshes used to perform the convergence study of the LNSE eigenmode problem with the RANS mean flow. Mesh M7 has been adopted for all results presented throughout the paper for cases with cavity depth
$H=25$
cm and versions of it with extruded (or truncated) cavities, identical otherwise to the original, are used for cases of different depths.
Meshes used in this work, where
$N_E$
is the number of cells, the normalised lengths
$L_1$
,
$L_2$
and
$l_s$
are indicated in figure 1,
$\alpha$
is a constant defining the damping intensity and
$\sigma$
and
$\omega$
the normalised growth rate and frequency of the dominant mode.

Table 1. Long description
The table presents parameters of various meshes used in a convergence study of the LNSE eigenmode problem with the RANS mean flow. It includes nine rows and eight columns. The columns are labeled as follows: N_E, L_1, L_2, l_s, alpha, sigma, and omega. The row labels are M9, M8, M7, M6, M5, M4, M3, M2, and M1. Each row lists specific values for the parameters. For example, Row 1: M9, N_E 135885, L_1 3, L_2 4, l_s 3, alpha 4.5 * 10^-3, sigma 0.0349, omega 2.6110. Row 2: M8, N_E 65465, L_1 3, L_2 4, l_s 3, alpha 4.5 * 10^-3, sigma 0.0347, omega 2.6114. Row 3: M7, N_E 42521, L_1 4, L_2 4, l_s 3, alpha 4.5 * 10^-3, sigma 0.0352, omega 2.6115. Row 4: M6, N_E 42594, L_1 10, L_2 10, l_s 8, alpha 3.2 * 10^-2, sigma 0.0342, omega 2.6087. Row 5: M5, N_E 42573, L_1 2, L_2 3, l_s 2, alpha 2.0 * 10^-3, sigma 0.0333, omega 2.6078. Row 6: M4, N_E 42188, L_1 3, L_2 4, l_s 2, alpha 4.0 * 10^-4, sigma 0.0348, omega 2.6135. Row 7: M3, N_E 42188, L_1 3, L_2 4, l_s 2, alpha 2.0 * 10^-2, sigma 0.0347, omega 2.6150. Row 8: M2, N_E 31129, L_1 3, L_2 4, l_s 3, alpha 4.5 * 10^-3, sigma 0.0378, omega 2.6130. Row 9: M1, N_E 23476, L_1 3, L_2 4, l_s 3, alpha 4.5 * 10^-3, sigma 0.0415, omega 2.6161.
A buffer zone approach is adopted in the present work, wherein fluctuating quantities are artificially damped before reaching the domain boundary. This method effectively reduces unwanted reflections by imposing a dissipative effect on the coherent fluctuations. The term
$-\beta (x,y)\boldsymbol{\cdot }\widetilde {\boldsymbol{q}}(x)$
is added to the right-hand side of the linearised equations with the damping function
$\beta (x,y)$
defined as
where
$f(x,y)=2\alpha (x-y)/l_s^2$
,
$x_{in}=-(L_1-l_s)$
and
$x_{out}=(L_2-l_s)$
. The constants
$\alpha$
and
$l_s$
determine the damping intensity and length of the buffer zone, respectively. To further enhance numerical stability, following the methodology of Yamouni et al. (Reference Yamouni, Sipp and Jacquin2013) and Fani et al. (Reference Fani, Citro, Giannetti and Auteri2018), a grid stretching technique is employed to enhance dissipation near the boundaries and an artificial viscosity component scaling with the mesh element size is introduced. This involves progressively coarsening the mesh near the boundaries, further mitigating wave reflections. The artificial viscosity is defined as:
$\nu _{art}=max(\Delta /{N}, 1{Re})$
, where
$\Delta$
represents the local mesh element size and
$N$
is a tuning parameter that controls the strength of the dissipative effect. This formulation ensures that in high-resolution regions, the artificial viscosity remains negligible, preserving the physical accuracy of the simulation. These boundary conditions ensure minimal acoustic reflections while preserving the reliability of the numerical approach.
Appendix C. Mean flow LNSE including all first-order nonlinear terms related to coherent fluctuations
\begin{align} \boldsymbol{E}(\overline {\varrho },\overline {\boldsymbol{u}}, \overline {T}) & = -2A^2Re\{\overline {\rho }\boldsymbol{\widetilde {u}}^*\boldsymbol{\cdot }\boldsymbol{\nabla }\boldsymbol{\widetilde {T}} + \widetilde {\rho }^*\boldsymbol{\overline {u}}\boldsymbol{\cdot }\boldsymbol{\nabla }\widetilde {T} + \widetilde {\rho }^*\boldsymbol{\widetilde {u}}\boldsymbol{\cdot }\boldsymbol{\nabla }\overline {T}\nonumber \\[3pt]& \quad +(\gamma -1)[\overline {\varrho }\widetilde {T}^*\boldsymbol{\nabla }\boldsymbol{\cdot }\boldsymbol{\widetilde {u}} + \widetilde {\varrho }^*\widetilde {T}\boldsymbol{\nabla }\boldsymbol{\cdot }\boldsymbol{\overline {u}} + \widetilde {\varrho }^*\overline {T}\boldsymbol{\nabla }\boldsymbol{\cdot }\boldsymbol{\widetilde {u}}]\nonumber \\[3pt]& \quad + \widetilde {\varrho }^*i\lambda _i\widetilde {T} - \gamma (\gamma -1) \frac {M^2}{Re}[\boldsymbol{\tau }(\widetilde {\boldsymbol{u}}^*):\boldsymbol{d}(\widetilde {\boldsymbol{u}})] \} ,\\[-28pt] \nonumber \end{align}



ls
u¯
(a)
Ub=55 m s−1
H=25
(b)
5%
10%
Ub=65 m s−1
H=25
Ub=65
−1
H=25
(a−c)
5%
(a
b)
10%
(c)
(d)
5%
(a)
Ub=65
−1
H=25
(b)
(a−c)
Af
Ub=68
−1
H=25
(d)
Af
σ=0
−1
Af=0.3
A(T)
σ
A
Rλj
A(T)
Ub=65
−1
H=25
Ub=65
−1
H=25
(a)
(b)
Ub=80
−1
H=21
Ub=72 m s−1
H=25
Ub=74
−1
u¯
H=25
Ub=75
−1
Ub=75ms−1
H=25cm
ω′
ω¯
A
σ(A)
A
NE
L1
L2
ls
α
σ
ω