1. Introduction
When probing the fluctuating fields in stably stratified turbulence, whether it is in the upper ocean, the laboratory or in simulations, there is always the possibility of internal gravity waves (IGWs) contributing a non-negligible proportion to the variances (e.g. kinetic and potential energy). In such situations, it is of interest to separate wave and turbulence contributions since waves do not directly contribute to irreversible mixing and entrainment.
The concept of a ‘triple decomposition’ of flow variables into a mean, wave-component and turbulence goes back to the work of Hussain & Reynolds (Reference Hussain and Reynolds1970, Reference Hussain and Reynolds1972) and Reynolds & Hussain (Reference Reynolds and Hussain1972) who studied turbulent channel flow superimposed with low-amplitude wave-like disturbances produced by oscillating taut ribbons of phosphor bronze. The exact waveform of the oscillating ribbons being known, they were able to develop a wave–turbulence decomposition based on the phase-averaged fields. The velocity field in their study was decomposed as
$u_i = \overline {u}_i + \tilde {u}_i + u_i'$
, where
$\overline {u}_i$
is a time-average,
$\tilde {u}_i = \langle u_i \rangle -\overline {u}_i$
is the wave-component,
$\langle u_i \rangle$
is the phase-averaged component based on the known period of the disturbances and
$u_i' = u_i - \overline {u}_i-\tilde {u}_i$
is the turbulence.
Of course, phase-averaging is only suitable if the period of the dominant wave disturbance is known a priori, or can be reliably estimated, and so realistic situations require a more general approach. A number of more sophisticated wave–turbulence decomposition techniques have been proposed to study near-surface turbulence in the presence of surface gravity waves. These include the linear filtering technique of Kitaigorodskii et al. (Reference Kitaigorodskii, Donelan, Lumley and Terray1983) and the closely related nonlinear version presented in Thais & Magnaudet (Reference Thais and Magnaudet1995) and Thais & Magnaudet (Reference Thais and Magnaudet1996). These studies leverage the kinematic and dynamic boundary conditions at the free surface to derive a decomposition, the former using the linearized boundary conditions under a small-amplitude assumption, and the latter two relaxing this constraint to accommodate finite-amplitude nonlinear effects. Bricker & Monismith (Reference Bricker and Monismith2007) proposed a phase-based spectral decomposition of the waves and turbulence that works quite well for their field measurements. In each study it is assumed, among other things, that waves and turbulence are uncorrelated.
While the free surface boundary conditions can be used for surface gravity waves, other techniques must be devised for IGWs. A number of decompositions have been proposed based on the fact that Ertel’s potential vorticity (PV)
$\varPi$
is a conserved scalar for the three-dimensional inviscid/non-diffusive Boussinesq equations (Gill Reference Gill1982). Here
$\varPi$
is defined as
where
$\boldsymbol{\omega } = \boldsymbol{\nabla }\times \boldsymbol{u}$
is the vorticity,
$\boldsymbol{u}$
the velocity,
$\rho = \rho _r + \rho _h(z) + \rho _{nh}(x,y,z,t)$
the total density with
$\rho _r$
,
$\rho _h$
and
$\rho _{nh}$
the constant reference density, hydrostatic base-state and non-hydrostatic variation, respectively. Consistent with the Boussinesq approximation
$|\rho _{nh}| \ll \rho _r$
(Spiegel & Veronis Reference Spiegel and Veronis1960). Staquet & Riley (Reference Staquet and Riley1989) showed that a fluctuating velocity field can be decomposed into a vortical component and a propagating, internal-wave component based on
$\varPi$
where the vortical component possesses all the PV and hence is called the PV-component. The PV-wave decomposition is exact so long as isopycnals do not overturn. Despite this formal requirement, decompositions based on the PV-wave framework have been applied to turbulent flows.
Riley & Lelong (Reference Riley and Lelong2000) developed a normal-mode decomposition assuming that
$\varPi \sim \omega _z$
where
$\omega _z$
is the vertical vorticity (Riley et al. Reference Riley, Metcalfe and Weissman1981). The approximation is exact in the limit of horizontal isopycnals. Bartello (Reference Bartello1995) generalized Riley’s decomposition to the setting where
$\varPi$
is not proportional to
$\omega _z$
based on the eigenvectors of the linear perturbation equations. Waite & Bartello (Reference Waite and Bartello2004) then applied this decomposition to their three-dimensional homogeneous stratified direct numerical simulation (DNS) to understand turbulence (taken as the vortical component in the decomposition) dynamics in the strongly stratified regime.
Often, the linear decomposition into a vortical and wave component is formulated geometrically in wave space using the so-called Craya–Herring reference frame (see e.g. Cambon (Reference Cambon2001), Godeferd & Staquet (Reference Godeferd and Staquet2003) and references therein). Maffioli (Reference Maffioli2017) utilized this framework to construct a forcing scheme in his DNS study such that only the vortical
$k_z=0$
mode is forced. Physically, this corresponds to columnar vortices analogous to the experiments of Billant & Chomaz (Reference Billant and Chomaz2000). The utility of such a forcing scheme is that the linear wave field is not excited directly and no vertical structure is imposed on the turbulent field but is an outcome of instabilities and ensuing three-dimensional turbulence.
The validity of using the wave–vortex decomposition in highly nonlinear flows where the time scale separation between waves and turbulence (implicitly assumed in the PV-wave decomposition originally proposed in Staquet & Riley (Reference Staquet and Riley1989)) does not exist is questionable. In an effort to shed light on its utility, Maffioli et al. (Reference Maffioli, Delache and Godeferd2020) conducted DNS of forced homogeneous stratified turbulence at high Reynolds number and conducted a spatiotemporal analysis of the dynamics. They showed clear peaks in the spectra corresponding to the dispersion relation of linear IGWs. They then validated the wave–vortex decomposition by doing a similar spatiotemporal analysis on the linearly decomposed velocity field. The close correspondence being in a region of the
$\theta$
–
$\omega$
plane where the time scale separation between turbulence and waves is likely to hold (
$\theta$
being the orientation angle in spectral space between the horizontal and vertical wavevector components; see figure 1 in Maffioli et al. (Reference Maffioli, Delache and Godeferd2020);
$\omega$
in this context is the Fourier-space angular frequency, not to be confused with vorticity defined above.). The results suggested that the PV-wave decomposition, formally valid for non-turbulent flows, is a viable decomposition in highly nonlinear flows where turbulence and waves coexist.
Lam et al. (Reference Lam, Delache and Godeferd2021) go beyond the purely spatial wave-PV decomposition and extract the wave component by applying a spatiotemporal filter to the poloidal velocity (determined from a Craya–Herring frame decomposition) based on the dispersion relation. The dispersion relation in this case is numerically computed by solving the linear equations subject to an inhomogeneous advection velocity, forced by delta functions in time and space. They then extract the wave component as the portion of the poloidal velocity that follows the dispersion relation. The remainder of the poloidal velocity is added to the toroidal component and attributed to the eddy field. Such a decomposition allows for eddy motions that vertically overturn density isocontours, motions that would otherwise be absorbed in the poloidal/wave field if a space-only decomposition were considered.
In inhomogeneous settings, where a three-dimensional Fourier decomposition is not valid (therefore preventing a PV-wave decomposition in terms of the Craya–Herring reference frame) other, more pragmatic, decompositions have been employed. Often, this corresponds to a spatial or temporal filtering operation based on the assumption that a scale-separation between waves and turbulence exists. In certain contexts, however, the IGWs and turbulence fields have overlapping horizontal and temporal scales, as occurs in submesoscale fronts, which significantly contribute to vertical transport in the upper ocean. To remedy this issue, Torres et al. (Reference Torres, Klein, D’Asaro, Wang, Thompson, Siegelman, Menemenlis, Rodriguez, Wineteer and Perkovic-Martin2022) postulated a scale separation in the vertical dimension between waves and turbulence based on the assumption that the IGWs were dominated by low baroclinic modes (which have large vertical spatial structure). They found that a crude linear fit of the velocity field at the surface to a region above the thermocline worked well at separating IGWs and submesoscale fronts in their simulations. This vertical filtering is an attractive prospect when their assumptions are valid, namely that the IGWs are dominated by low-order baroclinic modes. This method, however, can only provide a meaningful decomposition for the velocity field, but if scalar or pressure statistics are of interest, the IGW contribution to these still remains unaddressed. Furthermore, as will be shown in detail below, whereas the low-order baroclinic velocity modes have large vertical structure, the temperature modes do not, given the relatively thin interface defining the thermocline.
Based on field measurements using neutrally buoyant Lagrangian floats, D’Asaro & Lien (Reference D’Asaro and Lien1999) and D’Asaro & Lien (Reference D’Asaro and Lien2000) proposed that the Lagrangian frequency spectra naturally separates waves and turbulence based on a cutoff frequency of
$\omega _{L,c} = N_L$
. Subscript ‘
$L$
’ denotes that the frequencies are measured in Lagrangian coordinates. For frequencies below
$N_L$
, the spectra were consistent with internal wave theory, whereas for
$\omega _L \gt N$
, the measured spectra showed a
$\omega _L^{-2}$
decay, consistent with homogeneous turbulence. However, as far as we know, this insight has not been leveraged in an attempt to develop a practical framework for decomposing Eulerian-frame measurements into wave and turbulence components.
More recently, Chávez-Dorado et al. (Reference Chávez-Dorado, Scherl and DiBenedetto2025) utilized dynamic mode decomposition of time-series (point-measurements) data from a variety of data sets. They showed good results compared with a wavelet-based decomposition and the empirical mode decomposition method of Huang et al. (Reference Huang, Shen and Long1999). Demonstration of their method was limited to one-dimensional time series contaminated by surface gravity waves, but there is nothing intrinsic preventing its extension to higher dimensions and IGWs.
Kaminski & Flynn (Reference Kaminski and Flynn2020), motivated to study internal wave generation due to tidal sloshing over bottom-surface topography, utilized a linear decomposition of the flow field based on the eigenmodes of the linearized governing equations. In their problem, the frequency is set by the tidal forcing, and so the horizontal wavenumber and vertical structure become the eigenvalue and eigenfunction of the problem. Using the orthogonal functions, they developed a projection algorithm with which to map a given vertical velocity field onto each mode, thereby determining the relative mode strengths.
Finally, we want to emphasize the intimate connection between turbulence and interfacial waves in oscillating grid turbulence experiments. The existence of these interfacial waves in the two-layer experiments of the middle-to-late twentieth century was acknowledged by a number of authors (Long Reference Long1978; Hannoun et al. Reference Hannoun, Fernando and List1988; Fernando & Hunt Reference Fernando and Hunt1997). Hannoun & List (Reference Hannoun and List1988) were the first to try and quantify these waves and their role in entrainment and mixing. They found that their experimental results were consistent with the theory of internal waves in a thin thermocline developed by Phillips (Reference Phillips1977) under a few plausible assumptions. Namely, they assumed that the wavelength of the lowest baroclinic mode was proportional to the large-eddy length scale and that the wave amplitude could be approximated from dye concentration fluctuations. The result of the theory, and corroborated by their experimental data, was a physical picture where mixing and entrainment are primarily due to internal wave breaking and local shear instabilities as postulated by Phillips. This mixing mechanism is intermittent and much less efficient than the eddy engulfment mechanism thought to be dominant prior to this study (Linden Reference Linden1973). Hannoun & List suggest that mixing in the two-layer experiments is due to turbulence only indirectly through the excitation of the internal wave field by large eddies. Many of the results of the Hannoun–List experiment were extended into a detailed theory for interfacial turbulence and waves by Fernando & Hunt (Reference Fernando and Hunt1997) and subsequently confirmed in a series of experiments by McGrath et al. (Reference Mcgrath, Fernando and Hunt1997).
1.1. Paper outline
Clearly, a statistical analysis of turbulence and waves in the interfacial region requires some sort of decomposition. While the above-mentioned protocols suggest possible avenues to pursue, none can be directly applied to the fully turbulent, inhomogeneous setting. We pursue a decomposition based on the linearized equations which shares some similarities to the study by Kaminski & Flynn (Reference Kaminski and Flynn2020). We go beyond the results of that study by proposing a projection of all five primitive variables (
$u$
,
$v$
,
$w$
,
$T$
and
$p$
) based on the computed mode strengths (called ‘projection coefficients’ below) effectively separating waves and turbulence.
Schematic of the computational domain. Dimensions are to scale and representative of the stratified simulations SM123, SM124, SM125 and SM126 (see table 1).

The numerical database is described in § 2. The decomposition method is introduced in § 3 where we motivate the use of a linear model based on a spatiotemporal analysis of the strongly stratified cases (
$\textit{Fr} = 1.25$
and 3.5). In § 4 we validate the projection procedure based on linear dynamics for the two lowest-
$\textit{Fr}$
cases and argue on empirical grounds that the orthogonal basis provided by the linearized equations is optimal for filtering nonlinear waves in the remaining cases. We then analyse a number of statistical quantities after applying the decomposition across all four datasets in § 5. Section 6 is devoted to analysing our data from the perspective of the strongly stratified turbulence (SST) theory. A detailed analysis of kinetic and potential energy budgets is presented in § 7. We conclude our findings in § 8.
2. Problem set-up
As in Hass & Lele (Reference Hass and Lele2026), we are interested in studying turbulent mixing and entrainment at a stable density interface where mean shear is negligible. Such a model problem is reminiscent of oscillating grid turbulence experiments popular in the latter-half of the twentieth century (see Hass & Lele (Reference Hass and Lele2026) for a discussion of some of these experiments). A schematic of the computational domain is given in figure 1 where the forcing layer locally generates homogeneous isotropic turbulence which diffuses away and eventually interacts with a stable density interface, initialized as a hyperbolic tangent temperature profile.
The flow is modelled by the incompressible Navier–Stokes equations under the Boussinesq approximation. These are given in non-dimensional form as
Equations (2.1) describe fluid flow in a Cartesian coordinate system where
$x\equiv x_1$
and
$y \equiv x_2$
are the horizontal directions and
$z \equiv x_3$
is vertical. The velocity vector components are
$u \equiv u_1$
,
$v \equiv u_2$
and
$w \equiv u_3$
. Here
$T$
is temperature and
$T_{nh}$
is the non-hydrostatic component with reference to a constant reference value
$T_r$
and a hydrostatic base-state
$T_h(z)$
. The latter is exactly balanced by
$\textit{Fr}^2 {\rm d} p_h/ {\rm d}z$
and hence only the non-hydrostatic components of temperature and pressure contribute to momentum transport equation (2.1b
). The Einstein summation convention for repeated indices is implied throughout.
Here
$\textit{Pr} = {\nu }^*/{\kappa }^*$
is the Prandtl number with
${\kappa }^*$
the thermal diffusivity and
${\nu }^*$
the kinematic viscosity. Here
$\textit{Re} = {U}^* {L}^* / {\nu }^*$
and
$\textit{Fr} ={U}^*/\sqrt {\Delta {b}^*{L}^*}$
is a Reynolds and Froude number based on a characteristic velocity scale
${U}^*$
, length scale
${L}^*$
and the buoyancy jump across the domain
$\Delta {b}^* = {\alpha }_r^* {g}^* \Delta {T}^*$
where
${\alpha }_r^*$
is the thermal expansion coefficient at the reference state and
${g}^*$
the magnitude of gravitational acceleration which points in the negative
$z$
direction, i.e.
$\boldsymbol{g^*} = (0,0,-g^*)$
. Dimensional variables are denoted with an asterisk, otherwise the quantity is non-dimensional. The scales
${U}^*$
and
${L}^*$
are characteristic of the forcing layer turbulence (Hass & Lele Reference Hass and Lele2026).
A momentum source
$S_i$
(with zero net momentum) is localized in the forcing layer inspired by that used in Briggs et al. (Reference Briggs, Ferziger, Koseff and Monismith1996, Reference Briggs, Ferziger, Koseff and Monismith1998). Furthermore, a heat source
$S_T$
is added in (2.1c
) to maintain a fixed temperature in the forcing layer. Details of both terms are provided in Hass & Lele (Reference Hass and Lele2026).
In practice, (2.1) are solved on a computational grid too coarse to resolve all continuum scales and so the large-eddy simulation (LES) formalism is adopted, where a filtering operation, denoted with an overline
$\overline {(\boldsymbol{\cdot })}$
, is applied to the governing equations. The result of such an operation is the addition of two terms: the divergence of the subgrid stress tensor
$\tau _{ij}^{\textit{SGS}} = \overline {u_iu}_{\!j}-\overline {u}_i \overline {u}_{\!j}$
in the momentum equation and the divergence of the subgrid heat flux vector
$q_{\!j} \equiv \overline {u_{\!j} T} - \overline {u}_{\!j} \overline {T}$
. The trace of
$\tau _{ij}^{\textit{SGS}}$
is implicitly absorbed into pressure and so in fact, only the deviatoric component is modelled which we denote simply as
$\tau _{ij}$
. The overline operator is dropped from now on understanding that all instantaneous quantities are LES variables.
The resulting governing equations are given by
which is solved in a high-order code developed in our group (Ghate Reference Ghate2018) that uses a pseudospectral method in the horizontal directions and a sixth-order compact difference scheme (Padé) for vertical derivatives. Time stepping is accomplished by a fourth-order strong stability preserving Runge–Kutta scheme (Gottlieb et al. Reference Gottlieb, Shu and Tadmor2001).
Here
$\tau _{ij}$
is modelled via the Sigma model of Nicoud & Ducros (Reference Nicoud and Ducros1999), and
$q_{\!j}$
is related to
$\tau _{ij}$
through a constant turbulent Prandtl number where scalar fluctuations do not exceed physical bounds. Where they do, a localized artificial diffusivity model similar to that proposed in Cook (Reference Cook2007) is adopted. Further details are provided in Hass & Lele (Reference Hass and Lele2026).
The initial temperature profile is defined as
with
$z_i = -1.75$
the initial interface position and
$d = 0.125$
its thickness.
2.1. Statistical analysis
Statistics in this paper, as in Hass & Lele (Reference Hass and Lele2026), are based on horizontal and limited time-averaging, denoted by
$\langle \boldsymbol{\cdot }\rangle$
. The time-average is restricted over a short enough time where statistics are approximately stationary. This quasistationary approximation is key to the wave–turbulence decomposition introduced below and is verified a posteriori. Based on this average, each dependent variable is decomposed into a mean and fluctuating component. The fluctuations are further divided into a wave and turbulence contribution. The nomenclature for this decomposition is given by
where
$h \in \{u_i, p_{nh}, T_{nh}, S_i, S_T, \tau _{ij}, q_{\!j}\}$
, subscript ‘
$f$
’ denotes a fluctuation about the horizontal and temporal average
$\langle h \rangle$
, a tilde
$\tilde {h}$
is the wave component and a prime
$h'$
is the turbulence. Given the forcing protocol,
$\langle S_i \rangle = 0$
and we verified a posteriori there is negligible mean flow in the domain as a result. Because of this, we drop the subscript ‘
$f$
’ on velocity fluctuations from now on, i.e.
$u_i = u_{i,f}$
. The mean temperature is of course non-zero,
$\langle T \rangle (z) \ne 0$
. In the following, we refer to ‘waves’ specifically as large-scale sloshing motions, so they do not contribute to fluctuations in
$\tau _{ij}$
,
$q_{\!j}$
,
$S_i$
or
$S_T$
, i.e.
$\tilde {\tau }_{ij} = \tilde {q}_{\!j} = \tilde {S}_i = \tilde {S}_T = 0$
.
A subscript ‘
$I$
’ denotes an interfacial quantity which is measured at the location where
$\langle T \rangle =0.5$
. The coordinate associated with this location is denoted
$z_I$
. Here
$\langle T \rangle$
is averaged over the quasistationary period and so
$z_I \lt z_i$
where
$z_i$
is the initial interface location in (2.3) and reported in table 1. Both
$z_i$
and
$z_I$
are marked on a number of figures throughout the paper to orient the reader.
Domain size parameters. See figure 1 for definitions. Two mesh resolution levels are considered: medium (M) and fine (F). These represent mesh spacings of
$3/128$
and
$3/256$
, respectively. Statistics reported in this paper are computed from F-mesh results. However, all F-mesh simulations are initialized from M-mesh runs to efficiently bypass the early transient (propagation of the turbulent front from the forcing region to the density interface). Also, M-mesh simulations are used to obtain long time records for wavenumber–frequency analysis of interfacial waves.

Table 1. Long description
A table comparing domain size parameters for different simulation runs. The table has 3 rows and 11 columns. Column headers are Run I D, L x comma L y, z b, z t, z i, d, L s p, L f, N x comma N y, N z, and Resolution level. Row 1: Run I D, S M 74; L x comma L y, 6; z b, negative 4; z t, 2; z i, blank; d, blank; L s p, 0.6; L f, 1.5; N x comma N y, 512; N z, 512; Resolution level, F. Row 2: Run I D, S M 123 comma S M 124; L x comma L y, 9; z b, negative 5.025; z t, 1.35; z i, negative 1.75; d, 0.125; L s p, 0.6; L f, 1.5; N x comma N y, 384; N z, 272; Resolution level, M. Row 3: Run I D, S M 125 comma S M 126; L x comma L y, blank; z b, blank; z t, blank; z i, blank; d, blank; L s p, blank; L f, blank; N x comma N y, 768; N z, 544; Resolution level, F.
Input and output parameters of the simulations. Here
$\textit{Re}$
and
$\textit{Fr}$
depend on the reference length and velocity scales,
$L^*$
and
$U^*$
. More meaningful output parameters are reported as well where
$\textit{Re}_t = \textit{Re} k^2/\epsilon$
,
$\textit{Fr}_t = \epsilon /Nk$
,
$\textit{Re}_b = \textit{Re} \epsilon /N^2$
and
$N^2 = \partial _z\langle T \rangle /\textit{Fr}^2$
. Here
$z_I$
is defined as the location where
$\langle T \rangle = 0.5$
or
$z_I=-1.75$
for SM74 (i.e. the initial density interface location). The output parameters are computed from time and planar-averages. The last column documents the amount of time-averaging used to compute statistics in terms of
$\tau _{0.7}$
, the eddy turnover time where
$\langle T \rangle = 0.7$
(stratified runs) or where
$z' = 1.75$
(SM74).

Table 2. Long description
The table has five rows and eight columns. The columns are labeled as follows: Run ID, Re, Fr, Pr, Maximum Re(z), Fr(t), Re(t), Reb(z(t)), and Averaging window t(avg)/t(0.7). The rows present data for different simulation runs: SM74, SM123, SM124, SM125, and SM126. Each row lists specific values for the input and output parameters. For example, Row 1: Run ID, SM74; Re, 100 000; Maximum Re(z), 24 694; Fr(t), 1,659; Averaging window t(avg)/t(0.7), 4.90. Row 2: Run ID, SM123; Re, 100 000; Fr, 14; Pr, 7.2; Maximum Re(z), 25 319; Fr(t), 0.568; Re(t), 425; Averaging window t(avg)/t(0.7), 6.83. Row 3: Run ID, SM124; Re, 100 000; Fr, 7; Pr, 7.2; Maximum Re(z), 25 462; Fr(t), 0.227; Re(t), 99.5; Averaging window t(avg)/t(0.7), 5.80. Row 4: Run ID, SM125; Re, 100 000; Fr, 3.5; Pr, 7.2; Maximum Re(z), 25 359; Fr(t), 0.079; Re(t), 16.3; Averaging window t(avg)/t(0.7), 5.79. Row 5: Run ID, SM126; Re, 100 000; Fr, 1.25; Pr, 7.2; Maximum Re(z), 25 397; Fr(t), 0.009; Re(t), 1.01; Averaging window t(avg)/t(0.7), 2.49.
Plots of statistical quantities are truncated based on sufficient time-averaging. As in Hass & Lele (Reference Hass and Lele2026), at least two eddy turnover times are required to consider a statistical quantity reasonably converged.
2.2. Parameter space
The focus of the present paper is on five simulations: one unstratified and four of varying strengths of stratification. Each stratified simulation is initialized using a hyperbolic tangent temperature profile to approximate two-layer oscillating grid turbulence experiments as shown in figure 1. Also depicted in the schematic are two sponge layers that are used to damp turbulent fluctuations before reaching the domain boundary. (Note, IGWs, a large focus of the present paper, are confined to the interface and so thin sponge layers can be used without concern of reflecting IGWs off the domain boundary.) Dimensions of the computational domain are given in table 1, which refers to the dimensions depicted in figure 1.
Two mesh resolutions are reported in table 1, medium resolution (M) and fine resolution (F). Statistics are computed from F-mesh simulations whereas M-mesh runs are used to obtain long time records to resolve low-frequency interfacial modes. Also, F-mesh simulations are initialized from quasistationary M-mesh simulations to bypass the early transient. See Hass (Reference Hass2025) and Hass & Lele (Reference Hass and Lele2026) for further information including a detailed mesh-convergence study.
The parameter space spanned by the simulations is recorded in table 2. The input parameters result in outputs that give a sense of the overall stability (stratification) and turbulence level in the domain. The turbulent Reynolds number
$\textit{Re}_t = \textit{Re} k^2/\epsilon$
is the ratio of inertial-to-viscous forces and characterizes the range of isotropic scales in unstratified turbulence. Here
$k\equiv \langle u_i u_i \rangle /2$
is the (non-dimensional) fluctuating kinetic energy and
$\epsilon \equiv 2 \langle s_{ij} s_{ij} \rangle /\textit{Re}$
the kinetic energy dissipation rate where
$s_{ij} = (\partial _{\!j} u_i + \partial _i u_{\!j})/2$
is the strain rate tensor. The turbulent Froude number
$\textit{Fr}_t = \epsilon /Nk$
is the ratio of the buoyancy time scale
$\tau _b = 1/N$
to the turbulence time scale
$\tau _t = k/\epsilon$
where
$N = \sqrt {\partial _z \langle T \rangle } / \textit{Fr}$
is the dimensionless buoyancy frequency. Small
$\textit{Fr}_t$
indicates that buoyancy effects are dominant. The Reynolds number
$\textit{Re}_t$
is maximum in the forcing region and then relaxes to a nearly constant value for unstratified simulations (Hass & Lele Reference Hass and Lele2026). As defined,
$\textit{Re}_t$
is sensitive to interfacial waves and so interfacial turbulence is best characterized by the buoyancy Reynolds number
$\textit{Re}_b = \textit{Re} \epsilon /N^2$
which quantifies the time scale separation between buoyancy (
$\tau _b = 1/N$
) and the viscous time scale
$\tau _{\eta } = 1/\sqrt {\textit{Re} \epsilon }$
. (Here
$\textit{Re}_b$
is a ratio of a molecular quantity
$\epsilon$
and a mean quantity
$N^2$
, neither of which are contaminated by large-scale wave motion.) For buoyancy-dominated regions,
$\textit{Re}_b$
characterizes the dynamic range of turbulent eddies. For weakly stratified regions, it is not physically meaningful (Mater & Venayagamoorthy Reference Mater and Venayagamoorthy2014) and so we only report
$\textit{Re}_b$
at the interface.
3. Flow field decomposition based on the linearized equations
In this section, we first provide an illustrative example from our simulations as to the confounding role of IGWs on statistical analysis in § 3.1. Use of the linearized equations is motivated by comparing the dispersion relation governing linear dynamics with the wavenumber–frequency spectra of the LES in § 3.2. And finally, a filtering protocol to separate sloshing motions and turbulence is proposed in § 3.3 based on eigenmodes of the linearized system.
3.1. Unforced evolution of the interface
Consider case SM126 (
$\textit{Fr} = 1.25$
) which is the most strongly stratified simulation (see table 2). We turned the forcing off at a late time when turbulence was fully developed and the system was quasistationary and allowed the system to evolve under its own inertia. Turbulence rapidly decayed, but interfacial modes continued oscillating long after small scale mixing all but shut off. Figure 2(a) shows instantaneous contours of vertical velocity and temperature fluctuations at a time just before turning off the forcing and a much later time. Note the magnitude of the large-scale
$w$
oscillations are largely unchanged between the two snapshots whereas small scale turbulence has almost completely dissipated. As noted in § 1, the vertical structure of the temperature modes is much smaller than the velocity modes, which indicates that using a vertical filter to separate waves and turbulence as proposed in Torres et al. (Reference Torres, Klein, D’Asaro, Wang, Thompson, Siegelman, Menemenlis, Rodriguez, Wineteer and Perkovic-Martin2022) is not appropriate for the temperature field.
To quantify the energy of interfacial waves we integrated the fluctuating kinetic energy below the forcing layer edge and plotted its time evolution in figure 2(b). Overlayed is the integrated dissipation rate (dashed black line), where each quantity has been normalized by its initial value (i.e. the value before turning the forcing off). These domain-integrated quantities are defined as follows:
where
$z_{\!f}$
corresponds to the bottom edge of the forcing region (
$z_{\!f} = -0.75$
in all simulations reported here) and
$z_b$
is the bottom boundary of the domain.
Time in figure 2(b) is normalized by
$\tau _I$
, the initial eddy turnover time measured at the interface. (This was calculated based on the kinetic energy and dissipation rate measured where
$\langle T \rangle =0.5$
before the forcing was turned off. This gives an overestimate of the eddy turnover time since the sloshing modes contain significant kinetic energy. We therefore took 40 % of
$k/\epsilon$
to estimate
$\tau _I$
in these plots which is the value of the ratio
$k'/k$
at
$z_I$
as demonstrated in § 5.2.) At five eddy turnover times, the total kinetic energy in the domain has dropped to 7.3 % of its initial value whereas the dissipation rate decreased to 0.056 % demonstrating that the sloshing motions persist long after the majority of the turbulence has been dissipated. If we assume that viscous dissipation is negligible for the sloshing modes then this suggests that the waves contribute approximately 7 % to the integrated kinetic energy. The local contribution near the interface is even greater (approximately 60 % for this case – see § 5.2) highlighting the difficulty in interpreting statistics near the interface.
System evolution without external forcing. (a) Instantaneous contours of (i,iii) vertical velocity and (ii,iv) temperature fluctuations. Subpanels (i) and (ii) are at the initial condition and (iii) and (iv) are at a later time when almost all of the turbulence has decayed providing an approximate representation of the interfacial sloshing motions. (b) Time history of integrated kinetic energy and the kinetic energy dissipation rate. Each quantity is integrated over the subdomain below the bottom edge of the forcing region and normalized by its value at
$t=0$
(subscript `0’).

Further evidence of the sloshing modes comes courtesy of the two-point correlation of quasistationary data (forcing turned ‘on’). We can define an autocorrelation coefficient as
\begin{align} c_{ij,k}(r,z) &= \frac {\langle u_i(\boldsymbol{x},t)u_{\!j}(\boldsymbol{x} + r\boldsymbol{e}_k,t) \rangle }{\sqrt {\langle u_i^2(\boldsymbol{x},{t}) \rangle \langle u_{\!j}^2(\boldsymbol{x} + r\boldsymbol{e}_{k},t) \rangle }} \end{align}
where the bracket
$\langle \boldsymbol{\cdot }\rangle$
denotes an average in
$x$
,
$y$
and time (see § 2.1). The correlation of vertical velocity with vertical separation
$c_{33,3}$
is particularly sensitive to sloshing motions and an ideal diagnostic for their presence. Figure 3 shows this quantity for the SM126 case at various
$z$
-locations. Due to statistical inhomogeneity in
$z$
, the correlation is not symmetric and negative
$r$
values show the correlation with points below the observation point. Each of the observation points plotted in the figure are above the density interface (see figure 3
b) and so negative
$r$
values show the correlation with points in the direction of the interface. The effect of interfacial sloshing is manifest as large plateaus in the negative
$r$
direction. As the observation location gets closer to the interface, the magnitude of these plateaus increases, consistent with the picture of large-scale interfacial motions.
(a) Two-point correlation
$c_{33,3}(r,z)$
for SM126 (
$\textit{Fr} = 1.25$
). Three observer locations above the density interface are shown. Circles mark the location where
$\langle T \rangle =0.5$
. (b) Observer locations visualized relative to the mean temperature profile (black curve). Line colours correspond to the legend in (a). For reference, the initial interface location is at
$z = -1.75$
.

3.2. Linearized equations as a model for interfacial waves
The essentially inviscid nature of the interface sloshing suggests that oscillating modes may be well-approximated by the linearized equations governing small-amplitude, inviscid perturbations. This approximation becomes exact as
$\textit{Fr} \to 0$
. Neglecting nonlinear and viscous/diffusive terms in (2.1), the linear model is given by
Where the dependent variables are understood to be small-amplitude perturbations. Here
$\textit{Fr}$
and
$N^2$
are defined in § 2. The equations can be reduced to a fourth-order partial differential equation for the vertical velocity perturbation
$w$
(Gill Reference Gill1982),
where
${\nabla} _h^2 = {\partial ^2 }/{\partial x^2} + {\partial ^2 }/{\partial y^2}$
is the horizontal Laplacian operator. Assuming normal mode solutions
results in a linear homogeneous ordinary differential equation (ODE) for
$\hat {w}(z)$
,
Here
$\alpha$
and
$\beta$
are the wave-vector components in the
$x$
and
$y$
directions respectively,
$\omega$
is the angular frequency, and
$\kappa _h = \sqrt {\alpha ^2 + \beta ^2}$
is the horizontal wavenumber. ‘c.c.’ denotes the complex conjugate in (3.8) which was omitted in (3.9) for simplicity and will be dropped from now on.
The depth dependence of
$N^2$
is made explicit in equation (3.9) demonstrating that it is valid for arbitrary background density profiles. When the boundary conditions are homogeneous Dirichlet conditions (i.e.
$\hat {w} = 0$
at the boundaries, the so-called ‘rigid-lid approximation’ (Gill Reference Gill1982)), this becomes a regular Sturm–Liouville eigenvalue problem, solutions of which yield an infinite set of eigenfunctions
$\hat {w}_n$
and eigenfrequencies
$\omega _n$
for each horizontal wavenumber
$\kappa _h$
, i.e.
$\omega _n = \omega _n(\kappa _h, N^2(z))$
and
$\hat {w}_n = \hat {w}_n(z; \kappa _h, N^2(z))$
$\forall n \in \{1, 2, \ldots \}$
. Sturm–Liouville theory guarantees that the eigenfrequencies are unique and the eigenfunctions are orthogonal under the weighting function
$N^2(z)$
, i.e.
where
$\mathcal{W}_n = [\hat {w}_n, \hat {w}_n]_{N^2}$
,
$\delta _{nm}$
is the Kronecker delta and, abusing notation,
$*$
henceforth denotes the complex conjugate (dimensional quantities will not be used from now on). (Solutions to (3.9) are real-valued, but inner products of complex-valued functions are used below and so the general definition is presented here.) We have ordered the set of eigenfrequencies and eigenfunctions such that
$\omega _1 \gt \omega _2 \gt \ldots$
. The eigenfunction
$\hat {w}_n$
represents the vertical structure of a wave associated with frequency
$\omega _n$
. Note, the no-penetration boundary condition on
$w$
, while an approximation for the ocean free surface, is the logical choice for our numerical simulations.
When
$N^2$
is an arbitrary function of
$z$
, the equations must be solved numerically. This was done using a pseudospectral method:
$\hat {w}$
is expanded as a sine series to enforce the no-penetration boundary conditions, i.e.
\begin{align} \hat {w}_n(z) &= \sum \limits _{j=1}^{N_z} W_{\!j} \sin {\bigg ( j \pi \frac {z-z_b}{z_t - z_b} \bigg )}. \end{align}
Substitution of this ansatz into (3.9), for each discrete
$z_k$
(
$k \in \{1, \ldots , N_z\}$
) results in a linear system of equations for the eigenfrequencies
$\omega _n$
and eigenvectors
$\boldsymbol{W}$
, from which the function
$\hat {w}_n$
can be reconstructed according to (3.11). The method is pseudo-spectral because
$N^2$
was not represented in a sine basis, rather its pointwise values at each
$z_k$
were used. This results in a full coefficient matrix which is easily inverted on a personal laptop given the size of our problem.
The mode shapes for the first two modes of
$\kappa _h = \sqrt {2} (2\pi /L_x)$
are shown in figure 4 where the eigenmodes
$\hat {u}$
and
$\hat {T}$
are related to
$\hat {w}$
through the linearized equations. Substituting normal mode representations into (3.4)–(3.6), the following equations, known as polarization relations, are easily derived:
where
$\hat {p}_n(z_b)$
is imaginary and determined by solving the Poisson equation for pressure. Because
$\hat {w}$
is real-valued,
$\hat {p}$
,
$\hat {T}$
,
$\hat {u}$
and
$\hat {v}$
are imaginary, hence the imaginary components of
$\hat {T}$
and
$\hat {u}$
are plotted in figure 4. The normalization condition employed in this paper is
$\max \limits _z \{|\hat {w}_n|\} = 1$
.
Mode shapes for
$\kappa _h L_x/2\pi = \sqrt {2}$
and
$n=1$
(solid) and
$n=2$
(dashed) for SM126. For reference, the initial interface location is at
$z = -1.75$
.

Figure 4. Long description
Panel A: A line graph shows velocity data with the z-axis ranging from −5 to 1. The x-axis represents velocity values from -1 to 2. The graph includes two lines: a solid blue line labeled w-hat and a dashed orange line labeled Imaginary-u-hat. The solid blue line shows a peak around 0 on the x-axis and then decreases sharply. The dashed orange line also peaks around 0 but with a different pattern, showing a more pronounced dip before stabilizing. Panel B: Another line graph displays temperature data with the z-axis ranging from −5 to 1. The x-axis represents temperature values from −10 to 10. This graph features a solid blue line labeled Imaginary-T-hat. The line shows a significant dip around 0 on the x-axis and then stabilizes, with a dashed blue line indicating another component of the data.
3.2.1. Linear model comparison with nonlinear dynamics
We now ask the question: How well do solutions to (3.9) represent interfacial motions seen in the simulations? To help answer this, we compute
$E_{ww}(\kappa _h,z,\omega )$
, the vertical kinetic energy wavenumber–frequency spectra for the two most strongly stratified cases SM125 and SM126 (
$\textit{Fr} = 3.5$
and 1.25). Here
$E_{ww}$
is defined as
where the averaging is taken over annuli in the
$\alpha$
–
$\beta$
plane, and
$\check {w}$
is the horizontal and time Fourier transform of vertical velocity. The result of this calculation is shown in figure 5 for a
$z$
-location below the interface midline where turbulence has been significantly attenuated due to buoyancy. Overlayed in white is the dispersion relation from solving (3.9). Apparently, the interface sloshing is well-approximated by the
$n=1$
and
$n \in \{1,2\}$
modes for SM125 and SM126, respectively.
Dispersion relation comparison from the LES data and solutions to (3.9): (a) SM125 (
$\textit{Fr} = 3.5$
); (b) SM126 (
$\textit{Fr} = 1.25$
). The coloured contours are the
$\kappa _h$
–
$\omega$
spectra computed from the LES data and the white lines are the dispersion relations for the first mode and the first two modes (a and b, respectively) from solving (3.9). Spectra are visualized at
$z = -1.9664$
which is below the
$\langle T \rangle =0.5$
location in both cases:
$z_I = -1.8351$
for SM125 and
$-1.7648$
for SM126 where
$z_I$
is defined as
$\langle T \rangle (z_I)=0.5$
.

Instantaneous eigenfrequencies. Frequencies are plotted for the first four horizontal wavenumbers and the
$n=1$
mode over the quasistationary time record. Time is normalized by the eigenperiod.

Figure 6. Long description
The image contains four line graphs, each representing the relationship between normalized frequencies and time for different horizontal wavenumbers and Froude numbers. Panel A: The line graph shows the normalized frequency (ω1/Nmax) over time (t〈ω〉/2π) for κhLx/2π = 1. The x-axis represents time normalized by the eigenperiod, and the y-axis represents the normalized frequency. Different lines represent different Froude numbers (Fr = 14, 7, 3.5, 1.25). Panel B: The line graph shows the normalized frequency (ω2/Nmax) over time for κhLx/2π = √2. The axes and lines are labeled similarly to Panel A. Panel C: The line graph shows the normalized frequency (ω3/Nmax) over time for κhLx/2π = 2. The axes and lines are labeled similarly to Panel A. Panel D: The line graph shows the normalized frequency (ω4/Nmax) over time for κhLx/2π = √5. The axes and lines are labeled similarly to Panel A. Each graph shows how the normalized frequency varies over time for different Froude numbers and horizontal wavenumbers.
3.2.2. The quasistationary approximation
Implicit in the normal-mode representation is an assumed time scale separation between perturbations and the mean state. This is consistent with our assumption in Hass & Lele (Reference Hass and Lele2026) that the dynamics are quasistationary. To see how well this approximation is respected, we solved (3.9) using the instantaneous planar-averaged definition of
$N^2$
and plotted the time evolution of the eigenfrequencies in figure 6. Clearly, the instantaneous value does not change much over the time record, although there is a slight drift seen in the
$\textit{Fr} = 7$
case. Also note that we only have enough time history for the
$\textit{Fr} = 3.5$
and
$1.25$
cases to resolve the sloshing modes. Extending the length of the time record will not remedy the issue for the two higher
$\textit{Fr}$
cases because the quasistationary assumption would be violated. Because of this, subsequent analysis will be limited to the
$\textit{Fr} = 3.5$
and
$1.25$
cases and the moderate
$\textit{Fr}$
situation will be revisited later.
3.3. Projection procedure using orthogonal eigen-functions
Solutions to (3.9) are orthogonal, as already discussed. Using (3.12) it is easy to show that
$\hat {T}$
is also orthogonal under the weight
$1/N^2$
, i.e.
$[{\hat {T}}_n, {\hat {T}}_m]_{{1}/{N^2}} = [{\hat {T}}_n, {\hat {T}}_n]_{ {1}/{N^2}} \delta _{nm}$
where the temperature inner product is defined as
Using
$\hat {w}$
and
$\hat {T}$
as a basis, the wave component of velocity and temperature can be represented as eigenfunction expansions,
where
$\boldsymbol{\check {\tilde {u}}}$
and
$\check {\tilde {T}}$
are the horizontal Fourier transforms of
$\boldsymbol{\tilde {u}}\equiv (\tilde {u}, \tilde {v}, \tilde {w})$
and
$\tilde {T}$
. We explicitly show the parametric dependence of
$a_n^{(w)}$
,
$a_n^{(T)}$
,
$\hat {\boldsymbol{u}}_n$
and
$\hat {T}_n$
on the horizontal wavevector components (and/or magnitude) as a reminder that a projection must be done for each Fourier mode resulting in different coefficients for each.
The expansion coefficients
$a_n^{(w)}$
and
$a_n^{(T)}$
are computed by projecting the LES data onto the eigenbasis:
\begin{align} a_n^{(T)}(t;\alpha ,\beta ) &= \frac {[\check {T}, \hat {T}_n]_{\frac {1}{N^2}}}{[\hat {T}_n, \hat {T}_n]_{\frac {1}{N^2}}}. \end{align}
Note,
$a_n^{(w)}$
is vertical velocity projected onto
$\hat {w}_n$
which is then used to expand all velocity components in (3.18a
), thus
$a_n^{(w)}$
is a scalar coefficient in the vector expansion. To reiterate,
$\check {w}$
and
$\check {T}$
in the inner products in (3.19) and (3.20) are the full nonlinear LES data.
The existence of two sets of expansion coefficients to represent the wave fields is natural. We noted previously the vertical structure of the
$\hat {w}$
modes, which is set by the mixed layer depth, is much larger than the temperature modes which are proportional to the interface thickness (see figures 2
a and 4) and so both modes are required to fully describe wave dynamics. Furthermore, we show in Appendix B that the
$a_n^{(w)}$
coefficients are the kinetic energy mode amplitudes while the
$a_n^{(T)}$
are proportional to the potential energy mode amplitudes, so both are required for a total accounting of the energy.
Equations (3.18)–(3.20) are well-defined and consistent mathematical operations. The question is whether the result has anything to do with the linearized equations and, more importantly, with the interfacial waves we posit are modelled by such equations.
4. Validation of the projection procedure
The projection protocol just introduced is a mathematically well-defined procedure. However, its effectiveness in meaningfully isolating sloshing oscillations of the interface in the full nonlinear simulations needs to be evaluated. In this section we address this by first deriving a system of first-order ODEs relating the two sets of projection coefficients. The ODEs govern two harmonic oscillators with frequency
$\omega _n$
(i.e. the eigenfrequency), assuming the projected data satisfies the linearized equations. We then show empirically that this is the case for a particular subset of eigenmodes for the
$\textit{Fr}=3.5$
and 1.25 cases. Finally, we motivate the need to extend the projection protocol to the
$\textit{Fr}=7$
and 14 cases and argue on empirical grounds that the projection primarily captures wave-like motions and excludes turbulence.
4.1.
Relating the projection coefficients
$a_n^{(w)}$
and
$a_n^{(T)}$
We begin by taking the time derivative of
$a_n^{(T)}$
(3.20),
\begin{align} \dfrac {{\rm d} a_n^{(T)}}{{\rm d}t} = \dfrac {\int _z \dfrac {1}{N^2} \dfrac {\partial T}{\partial t} \hat {T}^*_n {\rm d}z}{\int _z \dfrac {1}{N^2}\hat {T}_n \hat {T}^*_n {\rm d}z} = \dfrac {\int _z \dfrac {1}{N^2} \bigg ( -w \dfrac {\partial \langle T \rangle }{\partial z} \bigg ) \bigg ( \dfrac {i \textit{Fr}^2 N^2}{\omega _n} \hat {w}_n \bigg ) {\rm d}z}{\int _z \dfrac {1}{N^2} \bigg ( \dfrac {-i\textit{Fr}^2 N^2}{\omega _n} \hat {w}_n\bigg ) \bigg ( \dfrac {i\textit{Fr}^2 N^2}{\omega _n} \hat {w}_n\bigg ) {\rm d}z} = -i\omega _n a_n^{(w)}, \end{align}
where the second equality is the result of using (3.6) to replace
$\partial _t T$
(assuming linear dynamics) and (3.12) to eliminate
$\hat {T}_n$
. Similarly, we show in Appendix B that
This gives a set of simple first-order ODEs relating the two projection coefficients:
The system (4.3) can be decoupled by taking another time-derivative of each ODE and using (4.3) to eliminate first-order derivatives:
In words, both sets of coefficients are harmonic oscillators with frequency
$\omega _n$
. Therefore, the projection procedure does in fact sift out the eigenmodes of the linearized equations: they have the right spatial structure by using the eigenfunction basis and they have the right temporal dynamics. This assertion is true to the extent that the projected data satisfy the linearized equations which was assumed in the derivation of (4.4). In other words, we can test the validity of this result by computing the left- and right-hand sides of (4.3) for our data and seeing whether the equality holds. Figure 7 shows this result for the first mode of the first horizontal wavenumber and for the two low-
$\textit{Fr}$
cases. The coefficients are complex-valued and so only the real component is shown, but similar curves are obtained for the imaginary component.
Error metrics for the curves shown in figure 7.

Table 3. Long description
A table with two rows and three columns comparing error metrics for two cases. The columns are labeled Case, E1W (2π/Lx), and E1T (2π/Lx). The first row represents Case SM125 with values 0.4138 and 0.0381. The second row represents Case SM126 with values 0.1891 and 0.0168.
Panels (i) and (iii) compare the left- and right-hand sides of
$\dot {a}_n^{(w)}=-i\omega _n a_n^{(T)}$
; panels (ii) and (iv) compare the left- and right-hand sides of
$\dot {a}_n^{(T)} = -i\omega _n a_n^{(w)}$
. The time derivative terms (left-hand sides) are plotted as solid blue lines and the dashed red lines correspond to the right-hand sides. Only the real component computed using the
$\kappa _hL_x/2\pi = 1$
and
$n=1$
mode is shown: (a) SM125 (
$\textit{Fr} = 3.5$
); (b) SM126 (
$\textit{Fr} = 1.25$
).

Clearly, the linearized model represents our LES data very well. Interestingly, the equation for
$a_1^{(T)}$
has better agreement with the data than that for
$a_1^{(w)}$
. This suggests that the projected data satisfies the linearized heat equation better than that for vertical momentum. However, drawing general conclusions from a single curve can be misleading. Defining an error metric enables quantification of the disagreement between all curves. First, we define the complex residuals,
\begin{align} r_n^w &\equiv \dot{a}_n^{(w)} + i\omega_n a_n^{(T)} \nonumber\\r_n^T &\equiv \dot{a}_n^{(T)} + i\omega_n a_n^{(w)}. \end{align}
We then define a real-valued error metric that quantifies the disagreement separately for the real and imaginary parts of the curves depicted in figure 7:
\begin{align} E_n^w(\kappa_h) &= \bigg \langle{\frac{\sqrt{\langle{[\mathcal{P}(r_n^w)]^2}\rangle_t}}{\langle{| \mathcal{P}(\dot{a}^{(w)}_n)|} \rangle_t}}\bigg \rangle_{\boldsymbol{\kappa}_h, \mathcal{P}} \nonumber\\ E_n^T(\kappa_h) &= \bigg \langle{\frac{\sqrt{\langle{[\mathcal{P}(r_n^T)]^2}\rangle_t}}{\langle{| \mathcal{P}(\dot{a}^{(T)}_n)|}\rangle_t}}\bigg \rangle_{\boldsymbol{\kappa}_h, \mathcal{P}}. \end{align}
Dots denote time differentiation, and the particular average is indicated by a subscript. A subscript ‘
$t$
’ denotes a time average and ‘
$\boldsymbol{\kappa }_h$
’ an azimuthal average in the
$\alpha$
–
$\beta$
plane (one error metric for each horizontal wavenumber). The operator
$\mathcal{P} \in \{\text{Re}, \text{Im}\}$
extracts the real or imaginary part, while a subscript
$\mathcal{P}$
denotes an arithmetic average over the errors obtained from the two parts, yielding a real-valued error metric.
For the present data, the numerical value is non-negative and approximately bounded above by unity. Table 3 shows the value for each curve in figure 7 to assist in interpreting the numerical value. To get a broader perspective, the metrics are computed for the first 60 wavenumbers and four modes and visualized in figure 8. The metrics corresponding to the curves in figure 7 can be located at the bottom-left-hand corner of each figure. Consistent with our expectation, the error metric is smallest across the board for SM126 compared with SM125. In fact, only SM126 has reasonably low error for the
$n=2$
mode consistent with the existence of a second band of spectral peaks seen in figure 5(b). It is clear that the higher-order modes are not relevant to the LES data (high error for larger
$n$
). It is interesting that for low wavenumbers and
$n=1$
,
$E^T_n \lt E_n^w$
and is quite low for both levels of stratification as seen in the individual curves of figure 7, again, suggesting that the linearized temperature equation is a better model for our projected data than the linearized vertical momentum equation.
Error metrics quantifying the disagreement with the linearized equations for the first four modes and 60 horizontal wavenumbers: (a) SM125 (
$\textit{Fr} = 3.5$
); (b) SM126 (
$\textit{Fr} = 1.25$
).

By only considering the error, we get the impression that the accuracy (and thereby, the utility) of the projection procedure is sensitive to which modes are included in the basis. However, if a particular mode results in large error, but the projection captures negligible energy, then the turbulence has not been affected. This suggests looking at the ratio of the variance of the
$n$
th projected component to the total variance of the corresponding field contained in the Fourier modes at each
$\kappa _h$
:
\begin{align} R_n^f(\kappa _h) &= \bigg \langle \frac {\int _z \langle |\tilde {f}_{n}(\alpha ,\beta ,z,t)|^2 \rangle _{\phi _k} {\rm d}z}{\int _z \langle |\check {f}(\alpha ,\beta ,z,t)|^2 \rangle _{\phi _k} {\rm d}z} \bigg \rangle _t. \\[-12pt]\nonumber \end{align}
Where
$f$
generically represents any of the five field variables and
$\tilde {f}_{n}$
is the
$n$
th term in the eigenfunction expansion (3.18). This quantity is visualized for
$w$
and
$T$
for each mode–wavenumber pair in figure 9. (The ratios for
$u$
,
$v$
and
$p$
are similar to, or smaller than those for
$w$
.) The high-energy modes are correlated with low errors suggesting that the projection procedure is robust to the particular subset of basis functions included. Also striking about figure 9 is that the ratio of projected temperature variance to the total variance is typically higher than the vertical kinetic energy ratio, indicating that the sloshing motions contain a larger portion of the potential energy than the kinetic.
4.2. Determining the set of basis functions
Based on the spectral peaks seen in the wavenumber–frequency spectra in figure 5 it is clear that only the first two modes should be included for SM126 and the first mode for SM125. A clear cutoff in terms of the wavenumber is less obvious but based on the error metrics and energy ratios reported in the previous section, a reasonable choice is the first 20 wavenumbers. This choice is somewhat arbitrary, but the results are not sensitive beyond approximately 10 wavenumbers as shown in Appendix E of Hass (Reference Hass2025).
In light of these observations, we propose the values in table 4 as a reasonable choice for the low-Fr cases.
Projection parameter selection for low-Fr cases.

Table 4. Long description
A table with two rows and three columns comparing projection parameter selections for low-Fr cases. The columns are labeled Case, n max, and κ h,maxL x/2π. The first row under Case is labeled SM125 with values 1 and √40 under n max and κ h,maxL x/2π respectively. The second row under Case is labeled SM126 with values 2 and √40 under n max and κ h,maxL x/2π respectively.
Variance ratios
$R_n^w$
and
$R_n^T$
defined by (4.7): (a) SM125 (Fr = 3.5); (b) SM126 (Fr = 1.25).

Figure 9. Long description
Panel A: Two heat maps showing energy ratios for different modes and wave numbers. The x-axis represents (κhLx/2π)² ranging from 1 to 146, and the y-axis represents modes ranging from 1 to 4. The color scale on the right indicates values from 0 to 1, with blue representing lower values and red representing higher values. The left heat map shows Rwn(kh) with higher values concentrated in the lower left corner, indicating a higher energy ratio for lower modes and wave numbers. The right heat map shows Rtn(kh) with a similar pattern but with slightly different distributions. Panel B: Two heat maps showing energy ratios for different modes and wave numbers. The x-axis represents (κhLx/2π)² ranging from 1 to 146, and the y-axis represents modes ranging from 1 to 4. The color scale on the right indicates values from 0 to 1, with blue representing lower values and red representing higher values. The left heat map shows Rwn(kh) with higher values concentrated in the lower left corner, indicating a higher energy ratio for lower modes and wave numbers. The right heat map shows Rtn(kh) with a similar pattern but with slightly different distributions.
4.3. Moderate-Fr regime
Because SM123 and SM124 do not have adequate time records to resolve the low-
$\kappa _h$
eigenmodes, we cannot analyse their dynamics with the same rigour as the low-Fr cases. Furthermore, these cases do not satisfy the
$\textit{Fr} \ll 1$
limit implied by the linearized equations, and so the linear model is unlikely capable of representing the interfacial dynamics. We confirmed this by computing the error metrics for each case and saw that they are substantial for all modes (see Appendix E in Hass Reference Hass2025).
In spite of the poor detailed correspondence with the linear model, we maintain that a wave–turbulence decomposition is still desirable for two reasons. One, the inhomogeneous longitudinal correlation
$c_{33,3}$
still shows a prominent plateau due to organized interfacial sloshing motions as seen in figure 10. Two, when we turn the turbulence forcing off, the interface remains energetically active for a long time despite negligible mixing. In this scenario, however, the nonlinear nature of the waves is visually evident in movies of temperature contours and we observe wave breaking and localized shear instabilities leading to small scale turbulence production (not shown here).
Because of these observations, we used the first nine wavenumbers of the first baroclinic mode as our projection basis to filter out wave-like motions. This choice is conservative, but somewhat arbitrary. See § 4.4.3 in Hass (Reference Hass2025) for more details regarding this selection.
5. Application of the projection procedure
We now turn to specific statistical quantities and look at how they change before and after projection and how this impacts our interpretation. For the remainder of the paper, statistical quantities are computed from fine resolution simulations. The medium resolution was used up to this point given its long time record and the ability to (relatively) rapidly try different projection protocols. The resolution effects are irrelevant to the conclusions drawn thus far since large-scale quantities such as kinetic energy and temperature variance are grid-converged at the medium resolution (Hass & Lele Reference Hass and Lele2026). For a more detailed analysis of budgets, length scales and non-dimensional parameters, we turn to the high resolution database. As a reminder, the protocol we are applying to each case is summarized in table 5.
Projection protocol for high-resolution data.

Table 5. Long description
A table summarizing projection protocol for high-resolution data. The table has four rows and three columns. The columns are labeled Case, k_h,maxL_x/2π, and n_max. The rows are labeled with different cases: SM123, SM124, SM125, and SM126. The values in the table are as follows: Row 1: Case SM123, k_h,maxL_x/2π 4, n_max 1. Row 2: Case SM124, k_h,maxL_x/2π 4, n_max 1. Row 3: Case SM125, k_h,maxL_x/2π √40, n_max 1. Row 4: Case SM126, k_h,maxL_x/2π √40, n_max 2.
Two-point correlation
$c_{33,3}(r,z)$
defined in (3.3) for case SM123 (
$\textit{Fr} = 14$
). Circles show the location where
$\langle T \rangle = 0.5$
.

In the statistical analysis that follows, we find it advantageous to normalize the depth coordinate
$z$
by two different vertical scales imposed by the stratification, depending on the quantity of interest. These scales are the mixed-layer depth
$H$
and the depth of the weakly stratified region
$h_1$
. Here
$H$
is the distance from the forcing layer edge
$z_{\!f}$
to where
$\langle T \rangle =0.5,$
and
$h_1$
is defined as the distance from
$z_{\!f}$
to where
$\textit{Fr}_t =\epsilon /kN= 1$
. Here
$h_1$
is insensitive to the choice of
$k$
or
$k'$
(where
$k'\equiv \langle u_i' u_i' \rangle /2$
) in defining
$\textit{Fr}_t$
.
5.1. Qualitative demonstration
Before analysing the statistics, we begin with a qualitative demonstration by looking at instantaneous contours
$w$
,
$p_{\!f}$
and
$T_{\!f}$
. These are shown in figure 11 for the
$\textit{Fr} = 1.25$
case. It is visually evident that the protocol is able to extract organized sloshing motions.
Wave–turbulence decomposition for the
$\textit{Fr}=1.25$
case. Columns (i) – (iii) show instantaneous contours of the
$w$
,
$p$
and
$T$
fluctuations, respectively. Panel (a) is the raw LES data. Panel (b) shows the result of the eigenprojection, and (c) is the difference of the two, i.e. turbulence.

5.2. Fluctuating kinetic energy
The total kinetic energy can be written in terms of a wave contribution, turbulence and a cross-correlation:
$k = \tilde {k} + k' + 2 \tilde {k}'$
where
$\tilde {k} \equiv \langle \tilde {u}_i\tilde {u}_i \rangle /2$
,
$k' \equiv \langle u_i'u_i' \rangle /2$
and
$\tilde {k}' \equiv \langle u_i' \tilde {u}_i \rangle /2$
. The ratios
$k'/k$
and
$\tilde {k}/k$
are shown in figures 12(a) and 12(b). The kinetic energy ratios in figure 12(a) are plotted against depth whereas in figure 12(b) depth is scaled by
$h_1$
resulting in a significant collapse of the profiles, demonstrating that buoyancy effects become significant for
$\textit{Fr}_t \gtrsim 1$
. The collapsed profiles indicate that we can parameterize
$k'$
in terms of
$k$
since
$h_1$
can reliably be determined by using the unfiltered fluctuations in the definition of
$\textit{Fr}_t$
(not shown here, but demonstrated in Hass (Reference Hass2025)).
In the lowest-
$\textit{Fr}$
case, SM126, nearly 60 % of the kinetic energy just above the interface is due to interfacial waves emphasizing the necessity of handling these in a systematic way. While the ratios of the other cases may seem unexpectedly high, the high ratios occur below the interface midline (where
$\langle T \rangle = 0.5$
, marked by circles in figure 12) where we expect the wave contribution to dominate.
Ratios of turbulent kinetic energy (TKE)
$k'$
and wave kinetic energy (WKE)
$\tilde{k}$
to the fluctuating kinetic energy
$k$
. Open circles mark where
$\langle T \rangle =0.5$
and closed circles (panel a only) mark where
$\textit{Fr}_t = 1$
. (a) Kinetic energy ratios versus depth. (b) Kinetic energy ratios versus scaled depth.

Figure 12. Long description
The image contains four line graphs. Panel A shows kinetic energy ratios versus depth, while Panel B shows kinetic energy ratios versus scaled depth. Each graph has two y-axes: the left y-axis represents the ratio of TKE to fluctuating kinetic energy, and the right y-axis represents the ratio of wave kinetic energy to fluctuating kinetic energy. The x-axis in Panel A represents depth, and the x-axis in Panel B represents scaled depth. The graphs include data series for different Froude numbers (Fr = 14, Fr = 7, Fr = 3.5, Fr = 1.25), each represented by different colored lines. Open circles mark where the ratio of TKE to fluctuating kinetic energy is 0.5, and closed circles (in Panel A only) mark where the ratio of wave kinetic energy to fluctuating kinetic energy is 0.5. The graphs show how these ratios vary with depth and scaled depth for different Froude numbers.
5.3. Large-scale anisotropy and velocity variance
The ratio of the vertical to horizontal velocity root-mean-square (RMS), known as the isotropy factor
$I$
, is a measure of the large-scale anisotropy of a flow where
$I=1$
indicates isotropy. This quantity is plotted in figure 13. Dashed lines in figure 13(b) are computed using the full fluctuating fields and solid lines are computed after projecting out the eigenmodes. Overlayed on the plot of
$I$
is the unstratified data which sets the baseline for our simulations which is
$1.125 \lesssim I \lesssim 1.2$
. Clearly, the effect of the density interface is to suppress vertical velocity relative to horizontal as evidenced by the reduction in
$I$
with increasing stratification. However, this effect is significantly more pronounced with the projected data since the sloshing interface acts to increase
$w$
relative to its turbulent value (see figure 4.18 in Hass (Reference Hass2025)).
Isotropy factor,
$I = w_{rms}/u_{h,rms}$
. (a) Unfiltered fluctuations. (b) Solid lines are after sloshing modes have been removed and dashed lines are from the unfiltered data (same as solid lines in a). Open circles mark where
$\langle T \rangle =0.5$
. Closed circles show the location where
$\textit{Fr}_t = 1$
.

5.4. Two-point correlations
Previously, we have seen that the inhomogeneous longitudinal correlation
$c_{33,3}$
is sensitive to interfacial sloshing. In this section, we re-evaluate this correlation and one other correlation relevant for length scale estimation namely the longitudinal autocorrelation coefficients defined as
Figure 14 shows
$c_{33,3}$
at a number of observer locations before (dashed lines) and after (solid lines) the sloshing modes are removed. It is interesting that for nearly all the cases, the large plateau was replaced by a persistent, albeit smaller, negative correlation. The existence of a non-zero plateau suggests that the projection procedure did not completely separate waves and turbulence which is not surprising considering a perfect decomposition is likely unattainable. However, the much improved decorrelation (over the full fluctuating field) makes the prospect of computing a vertical length scale a viable option. Prior to the eigenprojection, we could not estimate a meaningful vertical length scale due to the large plateau.
Inhomogeneous longitudinal autocorrelation coefficient
$c_{33,3}$
at various
$z$
-locations. Line colours correspond to the legend in figure 15. Dashed lines are computed from the full fluctuating variables and solid lines are after the eigenmodes have been filtered out.

Figure 14. Long description
The image contains four line graphs side by side, each depicting the inhomogeneous longitudinal autocorrelation coefficient at various locations. The x-axis is labeled ’r’ and the y-axis is labeled ’c333 (r, z)’. Each graph has a range from −2 to 2 on the x-axis and 0 to 1 on the y-axis. The graphs are titled with different Froude numbers: Fr = 14, Fr = 7, Fr = 3.5, and Fr = 1.25. Line colors correspond to a legend, with dashed lines representing full fluctuating variables and solid lines representing data after eigenmodes have been filtered out. Each graph shows a peak at r = 0, with varying patterns and amplitudes for different Froude numbers. The trends indicate how the autocorrelation coefficient changes with different Froude numbers and filtering methods.
Longitudinal autocorrelation coefficient
$f$
. Dashed lines are computed from the full fluctuating variables and solid lines are after the eigenmodes have been filtered out.

A horizontal length scale can be computed from the longitudinal autocorrelation coefficient defined in (5.1). This is plotted in figure 15 for each level of stratification and multiple
$z$
-locations. Fortunately, from a turbulence modelling and diagnostic perspective, the horizontal correlation is robust in the presence of interfacial sloshing as evidenced by the close correspondence between solid and dashed curves. The one exception is very close to the density interface in the strongest stratified case (SM126,
$\textit{Fr} = 1.25$
). However, at this location the turbulent Froude number and buoyancy Reynolds numbers are 0.01 and 1.74, respectively, indicating that the flow is likely laminar here and so attempting to define a ‘turbulence’ length scale is erroneous. We therefore conclude that sloshing motions have negligible impact on horizontal two-point correlations, and thereby the horizontal integral length scales.
6. Relationship with the SST theory
The SST theory describes a flow in the simultaneous limit
$\textit{Re}_h \gg 1$
and
$\textit{Fr}_h \ll 1$
such that
$\textit{Re}_h \textit{Fr}_h^2 \gg 1$
(Billant & Chomaz Reference Billant and Chomaz2001; Lindborg Reference Lindborg2006; Brethouwer et al. Reference Brethouwer, Billant, Lindborg and Chomaz2007; Riley & Lindborg Reference Riley and Lindborg2010), believed to be representative of geophysical-scale turbulence. Here
$\textit{Re}_h= \textit{Re} U_h l_h$
and
$\textit{Fr}_h = U_h/N l_h$
are horizontal Reynolds and Froude numbers in terms of the non-dimensional variables
$U_h$
and
$l_h$
which are characteristic horizontal velocity and length scales of the turbulence. From now on, we use
$U_h = \sqrt {2 k_h'}$
and
$l_h=L_{hl}$
where
$k_h' = \langle{u^{\prime 2} + v^{\prime 2}}\rangle/4$
is the horizontal TKE. (All quantities reported in this and subsequent sections are computed after filtering out sloshing motions unless otherwise specified.) Here
$L_{hl}$
is the longitudinal integral length scale defined as
where
$f(r,z)$
is the longitudinal autocorrelation coefficient (5.1) and
$r_c$
is defined by
$f(r_c, z)=0.1$
. Using these definitions for
$U_h$
and
$l_h$
the dissipation rate
$\epsilon (z) \sim U_h^3(z)/l_h(z)$
(see figure 4.23b in Hass (Reference Hass2025)) so that
$\textit{Fr}_h^2 \textit{Re}_h \sim \textit{Re}_b$
.
Figure 16 shows the trajectories of our simulations in the
$\textit{Re}_h$
–
$\textit{Fr}_h$
plane. It is clear from figure 16 that high
$\textit{Re}_h$
and small
$\textit{Fr}_h$
can be achieved in such a flow. However, the two lowest
$\textit{Fr}$
simulations have
$\textit{Fr}_h^2 \textit{Re}_h \lt 10$
in the interfacial region, so in order to achieve
$\textit{Re}_b \gg 1$
while
$\textit{Fr}_h \ll 1$
, the initial Reynolds number would need to be very large indeed.
Trajectories in the
$\textit{Re}_h$
–
$\textit{Fr}_h$
plane. For reference, the locations where
$\langle T \rangle = 0.9$
and
$\langle T \rangle = 0.75$
are marked with circles and triangles, respectively. The dashed black line marks
$\textit{Fr}_h=1$
, approximately where buoyancy begins to influence the large-scale turbulence. Grey diagonal lines mark constant values of
$\textit{Fr}_h^2\textit{Re}_h$
, a good approximation for
$\textit{Re}_b$
and hence an indication of the turbulence level.

Figure 16. Long description
A line graph depicting the relationship between the Froude number (F r h) on the vertical axis and the Reynolds number (R e h) on the horizontal axis. The graph includes multiple colored lines representing different Froude numbers: orange for F r = 14, yellow for F r = 7, purple for F r = 3.5, and green for F r = 1.25. The lines show trajectories with circles and triangles marking specific points where the average temperature (T) is 0.9 and 0.75, respectively. A dashed black line indicates where buoyancy effects begin to influence large-scale turbulence. Grey diagonal lines mark constant values of F r h squared multiplied by R e h, providing an approximation for the turbulence level. The graph spans a range of R e h from 10^1 to 10^5 and F r h from 10^−1 to 10^2.
Previous studies have demonstrated that the numerical value of
$\textit{Re}_b$
required to observe the predicted features of SST turns out to be fairly low (see e.g. Maffioli et al. (Reference Maffioli, Brethouwer and Lindborg2016) and references therein). In light of this, we are interested in whether our data is consistent with particular aspects of the SST theory, despite low
$\textit{Re}_b$
in the interfacial region. Specifically, the theory requires
${\alpha _l} \sim \textit{Fr}_h$
: the aspect ratio
${\alpha _l} = l_v/l_h$
scales with the horizontal Froude number
$\textit{Fr}_h = U_h/N l_h$
. This is the fundamental assumption which leads to the so-called primitive equations governing SST dynamics (Riley & Lindborg Reference Riley and Lindborg2010).
A plot of
$\alpha _l$
versus
$\textit{Fr}_h$
is shown in figure 17 where
$l_v$
is estimated as the Ellison length scale
$L_E' = \sqrt {\langle T^{\prime 2} \rangle }/\partial _z\langle T \rangle$
. There is excellent collapse across cases, but with a modified scaling
${\alpha _l} \sim \textit{Fr}_h^{3/4}$
, slightly less than that required by the SST theory. The implication is that
$\textit{Fr}_h/{\alpha _l} \to 0$
as
$\textit{Fr}_h \to 0$
and the resulting (leading-order) dynamics are two-dimensional for horizontal velocity, coupled vertically through the buoyancy distribution (see e.g. Lilly Reference Lilly1983; Billant & Chomaz Reference Billant and Chomaz2001). This is a fundamentally different regime than that described by the SST theory. However, in our simulations
$\textit{Fr}_h \gtrsim 0.1$
, so the observed scaling
$\alpha_l\sim\textit{Fr}_h^{3/4}$
gives
$\textit{Fr}_h/\alpha_l \sim\textit{Fr}_h^{1/4} \gtrsim 0.56$
. Thus, our simulations have not reached the
$\textit{Fr}_h / \alpha_l \to 0$
limit considered by Lilly (Reference Lilly1983), and the vertical-advection term
$w \partial _z \boldsymbol{u}_h$
, whose relative magnitude scales as
$(\textit{Fr}_h/\alpha_l)^2$
, cannot be neglected.
Aspect ratio
${\alpha _l}= l_v/l_h$
versus the horizontal Froude number
$\textit{Fr}_h = U_h/N l_h$
. We used
$l_v = L_E'$
,
$l_h = L_{hl}$
and
$U_h = \sqrt {2k_h'}$
. Open circles mark the location where
$\langle T \rangle= 0.5$
.

The location where
$\langle T \rangle =0.5$
is marked with coloured circles in figure 17. The region below this point (
$\langle T \rangle \lt 0.5$
) departs drastically from the mixed-layer scaling. This can be due, in part, to strong wave–turbulence coupling in this region (see next section on budgets) which results in complicated dynamics. It is also likely a feature of intermittency where the horizontal average is capturing strong- and weak-turbulence regions due to the sloshing interface, local wave breaking and, occasionally, energetic eddies penetrating the interface.
To get a better understanding of the local
${\alpha _l}(z)$
versus
$\textit{Fr}_h(z)$
behaviour in our inhomogeneous problem, we plot
$\textit{Fr}_h$
,
$I \equiv U_v/U_h$
and
$\alpha _l$
as a function of depth in figure 18 where
$U_v \equiv \sqrt {\langle w^{\prime 2} \rangle}$
is a vertical velocity scale. Figure 18(a i,b i,c i) shows their spatial distribution from the forcing layer edge
$z_{\!f}$
whereas the bottom row scales the vertical coordinate by
$h_1$
. Each quantity collapses under this scaling roughly until the location where
$\langle T \rangle = 0.5$
(marked with coloured circles) consistent with the cusps seen in figure 17. Note that
$\textit{Fr}_h$
has a clear exponential relationship with depth above the interface, but the depth dependence of
$\alpha _l$
is not so clear.
Before concluding that
${\alpha _l} \sim \textit{Fr}_h^{3/4}$
is fundamental to externally forced, inhomogeneous flows, we note that
$\textit{Fr}_v = U_h/N l_v$
appears to asymptote to an order one constant. This is most clearly seen by plotting
$\textit{Fr}_v$
versus
$\textit{Re}_v = \textit{Re} \,U_h l_v$
in figure 19. Only if
${\alpha _l} \sim \textit{Fr}_h$
do we expect
$\textit{Fr}_v \sim {O}(1)$
regardless of
$U_h$
and
$N$
. In other words, the SST theory predicts
$l_v \sim U_h/N$
. (This is easily shown by writing
${\alpha _l}\sim \textit{Fr}_h$
, i.e.
$l_v/l_h \sim U_h/N l_h$
.) Given the excellent collapse in figure 19, a transition to SST scaling at more extreme parameters remains possible. Whether the asymptotic portion of the curves shift to the right for larger initial
$\textit{Re}_v$
remains to be seen but is worth investigating in the future.
Spatial profiles of
$\textit{Fr}_h$
(a), isotropy factor
$I = U_v/U_h$
(b) and the aspect ratio
${\alpha _l} = l_v/l_h$
(c). Subpanels (i) show the profiles versus unscaled depth where the origin is shifted to the forcing layer edge
$z_{\!f}$
. Subpanels (ii) scale the vertical coordinate by
$h_1$
, the distance from
$z_{\!f}$
to where
$\textit{Fr}_t = \epsilon /(N k') = 1$
. Open circles mark where
$\langle T \rangle =0.5$
. Black dotted lines show the initial interface position. Line colours identify
$Fr$
as in figure 17.

Vertical Reynolds–Froude number trajectories. These are defined as
$\textit{Re}_v = \textit{Re}\,U_h l_v$
and
$\textit{Fr}_v = U_h/N l_v$
. Specifically, we used
$l_v = L_E'$
and
$U_h = \sqrt {2 k_h'}$
. Line colours correspond to the legend in figure 17. Open circles mark where
$\langle T \rangle =0.5$
. The dashed horizontal line marks
$\textit{Fr}_v=1$
.

The spatial profiles of
$\textit{Re}_v$
and
$\textit{Fr}_v$
were also plotted (not shown here) and a similar level of collapse was achieved when scaling
$z$
by
$h_1$
as that observed in figure 18 – see figure 4.28 in Hass (Reference Hass2025).
It is clear that our data does not possess the fundamental feature of SST, namely
${\alpha _l} \sim \textit{Fr}_h$
. One final point we want to emphasize is that such a detailed analysis of turbulence dynamics and its connection to various theories is only possible due to our wave–turbulence decomposition. To emphasize this, we plot
$\textit{Fr}_v$
–
$\textit{Re}_v$
trajectories using the full fluctuating variables in figure 20. There is no apparent asymptotic value for
$\textit{Fr}_v$
and so the connection to SST is obscured. This should be kept in mind when interpreting oceanographic measurements where such a decomposition is very difficult.
Vertical Reynolds–Froude number trajectories using the fluctuating (wave + turbulence) data. Line colours correspond to the legend in figure 17, and the dashed horizontal line marks
$\textit{Fr}_v=1$
.

7. Kinetic and potential energy budgets
Due to the wave–turbulence decomposition, the variance equations contain many terms which must be defined. As such, we first introduce the equations and define all terms in § 7.1. Results are presented in §§ 7.2 and 7.3. Section 7.3 also contains a discussion on mixing parameterizations that have been proposed by homogeneous turbulence studies and their connection to the present simulations. The observations are distilled into an energy flow diagram and discussed in § 7.4. Evidence of the wave-breaking entrainment mechanism is presented in § 7.5.
7.1. Budget equations
Contracting the equation for
$u_i$
(2.2b
) with
$u_i'$
and averaging results in an equation for the TKE
$k'$
. Similarly, contracting (2.2b
) with
$\tilde {u}_i$
and averaging yields an equation for WKE
$\tilde {k}$
. These are given symbolically as
The fluxes are defined as
\begin{align} F'_w &= -\langle wu_i'u_i' \rangle /2, & F'_{\!p} &= -\langle p'w' \rangle , & F'_{\nu } &= \frac {2}{\textit{Re}}\langle u_i' s_{i3}' \rangle - \langle u_i' \tau _{i3} \rangle, \nonumber \\[3pt] \tilde {F}'_{w1} &= -\langle u_i' \tilde {u}_i \tilde {w} \rangle , & \tilde {F}'_{\!p1} &= -\langle \tilde {p}w' \rangle , & \tilde {F}'_{\nu 1} &= \frac {2}{\textit{Re}}\langle u_i' \tilde {s}_{i3} \rangle, \nonumber \\[3pt] \tilde {F}_w &= -\langle w\tilde {u}_i \tilde {u}_i \rangle /2, & \tilde {F}_{\!p} &= -\langle \tilde {p} \tilde {w} \rangle , & \tilde {F}_{\nu } &= \frac {2}{\textit{Re}} \langle {\tilde {u}}_i \tilde {s}_{i3} \rangle, \nonumber \\[3pt] \tilde {F}'_{w2} &= -\langle \tilde {u}_i u_i' w' \rangle , & \tilde {F}'_{\!p2} &= -\langle p' \tilde {w} \rangle , & \tilde {F}'_{\nu 2} &= \frac {2}{\textit{Re}}\langle {\tilde {u}}_i s_{i3}' \rangle - \langle {\tilde {u}}_i \tau _{i3} \rangle. \end{align}
Below, we also employ the symbol
$\mathcal{T}$
to denote the
$z$
derivative of each flux, i.e.
$\mathcal{T}_w' = \partial _z F'_w$
is the turbulent transport of TKE. The buoyancy fluxes and dissipation rates are given by
\begin{align} \mathcal{B}' &= -\langle w'b' \rangle , & \tilde {\mathcal{B}}'_1 &= -\langle w'\tilde {b} \rangle, \nonumber \\[3pt] \tilde {\mathcal{B}} &= -\langle {\tilde {w}} \tilde {b} \rangle , & \tilde {\mathcal{B}}'_2 &= -\langle {\tilde {w}} b' \rangle ,\nonumber \\[3pt] \epsilon ' &= \frac {2}{\textit{Re}}\langle s_{ij}'s_{ij}' \rangle - \langle \tau _{ij}s_{ij}' \rangle , & \tilde {\epsilon }'_1 &= \frac {2}{\textit{Re}}\langle s'_{ij} \tilde {s}_{ij} \rangle, \nonumber \\[3pt] \tilde {\epsilon } &= \frac {2}{\textit{Re}} \langle \tilde {s}_{ij} \tilde {s}_{ij} \rangle , & \tilde {\epsilon }'_2 &= \frac {2}{\textit{Re}} \langle s_{ij}'\tilde {s}_{ij} \rangle - \langle \tau _{ij} \tilde {s}_{ij} \rangle .\end{align}
Finally, the unsteady cross-correlations are
In (7.1) and (7.2), cross-correlations between turbulence and wave quantities are shown in blue to highlight the difference between these and the traditional TKE equation. In addition to cross-correlation terms, there is a term
$\mathcal{I}$
which shows up in both equations but with opposite sign, and therefore is responsible for the transfer of kinetic energy between waves and turbulence:
The form of the term is directly analogous to the interscale transfer term in Wyngaard’s thought experiment during his introduction of LES (Wyngaard Reference Wyngaard2010). It is the difference between the turbulent stress working against wave strain and the wave stress working against turbulent strain. Only when these two processes are unequal can there be a transfer of energy from one component to the other.
For maximum transparency, we also decompose the kinetic energies
$k'$
and
$\tilde {k}$
into horizontal and vertical components:
$k' = 2k_h' + k_w'$
and
$\tilde {k} = 2\tilde {k}_h + \tilde {k}_w$
. These are defined as
\begin{align} k_h' &= \langle u^{\prime 2} + v^{\prime 2} \rangle /4, & k_w' &= \langle w^{\prime 2} \rangle /2 ,\nonumber \\[3pt] \tilde {k}_h &= \langle {\tilde {u}}^2 + {\tilde {v}}^2 \rangle /4, & \tilde {k}_w &= \langle {\tilde {w}}^{\prime 2} \rangle /2.\end{align}
The budget equations for horizontal kinetic energy are
and vertical kinetic energy


The
$\phi$
-terms are pressure-strain correlations responsible for kinetic energy redistribution between vertical and horizontal motions. The remaining terms are componentwise analogues to the TKE budget terms such as dissipation (
$\epsilon _w$
and
$\epsilon _h$
) and fluxes (
$F$
-terms). In the interest of space, all terms are defined in Appendix A. Due to their importance in the following analysis, we define the pressure-strain correlations and wave–turbulence transfer terms here:
\begin{align} \phi '_h &= \langle p'( s_{11}' + s_{22}') \rangle /2 ,\nonumber \\ \tilde {\phi }_h &= \langle {\tilde {p}} (\tilde {s}_{11} + \tilde {s}_{22}) \rangle /2, \nonumber \\ \phi _w' &= \langle p' s_{33}' \rangle, \nonumber \\ \tilde {\phi }_w &= \langle {\tilde {p}} \tilde {s}_{33} \rangle ,\nonumber \\ \mathcal{I}_h &= \langle {\tilde {u}} {\tilde {u}}_{\!j} \partial _{\!j} u' + {\tilde {v}} {\tilde {u}}_{\!j} \partial _{\!j} v' \rangle /2 - \langle u' u_{\!j}' \partial _{\!j} {\tilde {u}} + v' u_{\!j}' \partial _{\!j} {\tilde {v}} \rangle /2, & & \nonumber \\ \mathcal{I}_w &= \langle {\tilde {w}} {\tilde {u}}_{\!j} \partial _{\!j} w' \rangle - \langle w' u_{\!j}' \partial _{\!j} {\tilde {w}} \rangle. & & \end{align}
Due to incompressibility
$\phi ' \equiv \phi _h' = -\phi'_{w}/2$
and
$\tilde {\phi } \equiv \tilde {\phi }_h = -\tilde {\phi }_{w}/2$
.
The fluctuating potential energy is defined as
which can further be decomposed via the wave–turbulence decomposition:
$k_{\!p} = k_{\!p}' + \tilde {k}_{\!p} + 2\tilde {k}_{\!p}'$
where
$k_{\!p}' = \langle T'T' \rangle / 2\textit{Fr}^4 N^2$
is the turbulent potential energy (TPE),
$\tilde {k}_{\!p} = \langle \tilde {T} \tilde {T} \rangle /2\textit{Fr}^4N^2$
is the wave potential energy (WPE) and
$\tilde {k}'_{\!p} = \langle \tilde {T} T' \rangle /2\textit{Fr}^4N^2$
is the cross-correlation. The potential energy budget equations are derived by multiplying (2.2c
) by
$T'/\textit{Fr}^4$
(for the
$k_{\!p}'$
equation) and
$\tilde {T}/\textit{Fr}^4$
(for the
$\tilde {k}_{\!p}$
equation), averaging, and dividing by
$N^2$
(consistent with the quasistationary approximation used in computing averages,
$N^2$
can be brought into the time-derivative on the left-hand side):
Where the buoyancy variance flux
$F_b$
and potential energy destruction rates
$\chi$
are defined as
\begin{align} F_b' &= -\langle b' b' w \rangle /2 + \frac {1}{\textit{Re} {\textit{Pr}}} \bigg \langle b' \frac {\partial b'}{\partial z} \bigg \rangle -\frac{1}{\textit{Fr}^2} \langle b' q_3' \rangle & \tilde {F}_{b2}' &= - \langle b' {\tilde {b}} {\tilde {w}} \rangle + \frac {1}{\textit{Re} {\textit{Pr}}}\bigg \langle b' \frac {\partial {\tilde {b}}}{\partial z} \bigg \rangle, \nonumber \\[5pt] \tilde {F}_{b} &= - \langle {\tilde {b}} {\tilde {b}} w \rangle /2 + \frac {1}{\textit{Re} {\textit{Pr}}} \bigg \langle {\tilde {b}} \frac {\partial {\tilde {b}}}{\partial z} \bigg \rangle & \tilde {F}'_{b1} &= - \langle {\tilde {b}} b' w' \rangle + \frac {1}{\textit{Re} {\textit{Pr}}}\bigg \langle {\tilde {b}} \frac {\partial b'}{\partial z} \bigg \rangle -\frac{1}{\textit{Fr}^2} \langle {\tilde {b}} q_3' \rangle, \nonumber \\[5pt] \chi ' &= \frac {1}{N^2} \bigg [\frac {1}{\textit{Re} {\textit{Pr}}}\bigg \langle \frac {\partial b'}{\partial x_{\!j}}\frac {\partial b'}{\partial x_{\!j}} \bigg \rangle - \frac {1}{\textit{Fr}^2}\bigg \langle q_{\!j}' \frac {\partial b'}{\partial x_{\!j}} \bigg \rangle \bigg ] & \tilde {\chi }'_2 &= \frac {1}{N^2}\frac {1}{\textit{Re} {\textit{Pr}}}\bigg \langle \frac {\partial b'}{\partial x_{\!j}}\frac {\partial {\tilde {b}}}{\partial x_{\!j}} \bigg \rangle, \nonumber \\[5pt] \tilde {\chi } &= \frac {1}{N^2}\frac {1}{\textit{Re} {\textit{Pr}}}\bigg \langle \frac {\partial {\tilde {b}}}{\partial x_{\!j}}\frac {\partial {\tilde {b}}}{\partial x_{\!j}} \bigg \rangle & \tilde {\chi }'_1 &= \frac {1}{N^2} \bigg [\frac {1}{\textit{Re} {\textit{Pr}}}\bigg \langle \frac {\partial {\tilde {b}}}{\partial x_{\!j}}\frac {\partial b'}{\partial x_{\!j}} \bigg \rangle - \frac {1}{\textit{Fr}_2}\bigg \langle q_{\!j}' \frac {\partial {\tilde {b}}}{\partial x_{\!j}} \bigg \rangle \bigg ] ,\end{align}
where
$b\equiv T/\textit{Fr}^2$
is the non-dimensional buoyancy. The wave–turbulence transfer of potential energy is quantified by
$\mathcal{I}_{k_{\!p}}$
:
Kinetic energy budgets of the turbulence
$k'$
and wave components
$\tilde {k}$
: (a) SM123 (
$\textit{Fr} = 14$
); (b) SM126 (
$\textit{Fr} = 1.25$
). Dashed horizontal grey lines depict the
$\langle T \rangle =0.5$
location and the dash–dot line is where
$\textit{Fr}_t = 1$
. All terms are normalized by the total transport of
$k'$
. All cross-correlations are shown in dashed lines.

7.2. Kinetic energy
The non-negligible terms in (7.1) are plotted in figure 21 where each has been normalized by the total TKE transport (
$\mathcal{T}' = \mathcal{T}'_w + \mathcal{T}_{\!p}' + \mathcal{T}_{\nu }'$
). (In every case and for each budget viscous transport is negligible.) Also overlayed in each figure is a grey dashed line corresponding to the
$\langle T \rangle =0.5$
location and a grey dash–dot line marking where
$\textit{Fr}_t = 1$
, approximately where buoyancy effects first begin to become important. Only budgets for the limiting cases SM123 and SM126 (
$\textit{Fr} = 14$
and 1.25) are shown in this section for brevity, but budgets for the other simulations are included in Appendix A.
Conveniently, it turns out that the cross-correlation terms (blue terms) in (7.1) are nearly in balance with each other and so we can simply analyse the ‘pure’ turbulence terms (this was verified, but not shown here). We do include the cross-correlations as thin dashed lines to demonstrate that, in general, wave–turbulence correlations are non-zero.
There is a balance between total transport and dissipation above the
$\textit{Fr}_t=1$
line for each case where
$\mathcal{T}_{\!p}' \simeq -\mathcal{T}_w'/3$
, see figure 21. Just below the
$\textit{Fr}_t=1$
line, the buoyancy flux begins to be a non-negligible contribution to the overall budget. As we move farther down, the relative contribution of turbulent and pressure transport begins to change noticeably. At this location the covariance terms
$\tilde {\mathcal{U}}'$
and
$\tilde {\mathcal{B}}'$
also become significant, but again, are in balance with each other.
The WKE budgets have negligibly small terms above the
$\textit{Fr}_t=1$
line. Once the budget terms become active, the two wave-pure terms that are substantial are the buoyancy flux
$-\langle {\tilde {w}} {\tilde {b}} \rangle$
and pressure transport
$\partial _z\langle {\tilde {w}} {\tilde {p}} \rangle$
. For waves governed by linear dynamics
$\langle {\tilde {w}} \tilde {b} \rangle$
is identically zero since
$\tilde {w}$
and
$\tilde {b}$
are
$90^{\circ }$
out of phase. However, for the wave-breaking mechanism to be active, nonlinear interactions must be important and so a non-zero buoyancy flux is expected.
It is interesting to note that the unsteady terms,
$\partial _t k'$
and
$\partial _t \tilde {k}$
, are required to balance the budget for SM123 in the interfacial region (figure 21
a) indicating a breakdown in the quasistationary assumption at this weakest level of stratification.
7.2.1. Horizontal and vertical kinetic energy
The horizontal and vertical kinetic energy budgets for SM123 and SM126 (
$\textit{Fr} = 14$
and 1.25) are shown in figures 22 and 23 with budgets for the remaining cases in Appendix A. Dissipation and transport are in balance above the
$\textit{Fr}_t=1$
line for both vertical and horizontal TKE. Below this line, buoyancy begins to tax
$k_w'$
at the expense of spatial transport. For high stratification strengths, pressure transport changes sign near the interface becoming a source of TKE similar to the near wall behaviour of wall-bounded shear flows (Pope Reference Pope2001). The
$k_h'$
reservoir also taxes
$k_w'$
in this region via the pressure-strain correlation which is most evident in figure 23.
Looking at the wave budgets
$\tilde {k}_h$
and
$\tilde {k}_w$
below the
$\textit{Fr}_t=1$
location, energy flows from horizontal motions to vertical via the pressure-strain correlation
$\tilde {\phi }$
. Furthermore, the wave–turbulence transfer term is a significant source of energy for horizontal WKE in the interfacial region.
$\tilde {k}_w$
is significantly taxed by the wave buoyancy flux, feeding the WPE reservoir as seen in figure 24 in the next section.
Kinetic energy budgets for SM123 (
$\textit{Fr} = 14$
). (a) Horizontal kinetic energy. (b) Vertical kinetic energy. Horizontal dash–dot and dashed lines correspond to the location where
$\textit{Fr}_t = 1$
and
$\langle T \rangle =0.5$
, respectively.

Figure 22. Long description
The image contains four line graphs depicting kinetic energy budgets. Panel A shows the horizontal kinetic energy budget on the left and the modified horizontal kinetic energy budget on the right. Panel B shows the vertical kinetic energy budget on the left and the modified vertical kinetic energy budget on the right. Each graph has the vertical axis labeled ’z’ with units ranging from −2.5 to −1.0. The horizontal axis for the left graphs in both panels ranges from −1 to 1, while the horizontal axis for the right graphs ranges from −0.2 to 0.1 in Panel A and from −0.5 to 0.5 in Panel B. The graphs include multiple lines representing different components of the kinetic energy budget, as indicated by the legend on the right. The legend includes labels such as ∂t k’, ε’, T’w, T’p, −B’Ŭ, I, Ŭk1, Ŭk2, T’w1, T’w2, T’p1, T’p2, −B1, −B2, and Residual, each represented by different colors and line styles. The graphs show various trends and interactions between these components across different depths (z values).
Kinetic energy budgets for SM126 (
$\textit{Fr} = 1.25$
). (a) Horizontal kinetic energy. (b) Vertical kinetic energy. Horizontal dash–dot and dashed lines correspond to the location where
$\textit{Fr}_t = 1$
and
$\langle T \rangle =0.5$
, respectively. Line colours and styles correspond to the legends in figure 22.

7.3.
Potential energy and the mixing coefficient
$\varGamma$
The
$k_{\!p}'$
budgets show a dominant balance between buoyancy flux and destruction (i.e.
$\mathcal{B}\simeq \chi$
) above the
$\langle T \rangle =0.5$
line. This simple expression underlies the arguments of Garanaik & Venayagamoorthy (Reference Garanaik and Venayagamoorthy2019) and is exact in triply periodic statistically homogeneous and stationary simulations of stratified turbulence. The fact that we have an inherently inhomogeneous flow and yet this balance holds suggests that the scaling relationships from homogeneous stratified shear-free DNS may carry over to our problem, e.g. the
$\varGamma \sim \textit{Fr}_t^{-n}$
relationships reported in Maffioli et al. (Reference Maffioli, Brethouwer and Lindborg2016), Garanaik & Venayagamoorthy (Reference Garanaik and Venayagamoorthy2019) and Yi & Koseff (Reference Yi and Koseff2022). To test this, we plot a locally defined mixing coefficient
$\varGamma (z)=\chi (z)/\epsilon (z)$
versus the turbulent Froude number
$\textit{Fr}_t(z) = \epsilon (z)/N(z)k'(z)$
in figure 25. (Note that
$\chi \simeq \chi '$
and
$\epsilon \simeq \epsilon '$
and so the total destruction rates can be considered.) The functional dependence of each variable on depth
$z$
is explicitly written to contrast this coefficient from the volume-averaged
$\varGamma$
typically used to parameterize oceanographic measurements.
Potential energy budgets of the turbulence
$k_{\!p}'$
and wave components
$\tilde {k}_{\!p}$
: (a) SM123 (
$\textit{Fr} = 14$
); (b) SM126 (
$\textit{Fr} = 1.25$
). Dashed horizontal grey lines depict the
$\langle T \rangle =0.5$
location and the dash–dot line is where
$\textit{Fr}_t = 1$
. All cross-correlations are shown in dashed lines.

Figure 24. Long description
The image contains four line graphs depicting potential energy budgets of turbulence and wave components. The graphs are divided into two rows, each with two panels. Panel A and Panel B in each row show different budgets. Panel A in the top row shows the k’p budget and kp budget, while Panel B in the bottom row shows the k’p budget and kp budget. Each graph has a vertical axis labeled ’z’ and a horizontal axis with different units. The graphs include multiple lines representing different components of the budgets, such as −χ’, χ’, Tw,b/N^2, and B. The lines are color-coded and labeled accordingly. The graphs show various trends and patterns, with lines intersecting and diverging at different points. The dashed horizontal grey lines depict specific locations, and the dashdot line indicates where certain conditions are met. All cross-correlations are shown in dashed lines.
Mixing coefficient
$\varGamma = \chi /\epsilon$
. Symbol colours denote
$\textit{Fr} = 14$
, 7, 3.5, and 1.25 in red, yellow, purple, and green, respectively.

It is striking that this inhomogeneous flow possesses two regimes
$\textit{Fr}^{-2}$
and
$\textit{Fr}_t^0$
for
$\textit{Fr}_t \gg 1$
and
$\textit{Fr}_t \ll 1$
consistent with the scaling arguments and DNS results of Maffioli & Davidson (Reference Maffioli and Davidson2016), Garanaik & Venayagamoorthy (Reference Garanaik and Venayagamoorthy2019) and Yi & Koseff (Reference Yi and Koseff2022) for homogeneous stratified turbulence. Issaev et al. (Reference Issaev, Williamson and Armfield2023) also computed a local mixing coefficient in an inhomogeneous flow (radiatively heated half-channel) and found similar power laws relating
$\varGamma$
and
$\textit{Fr}_t$
when intermittency was not accounted for. When averaging was restricted to turbulent-only regions the
$\textit{Fr}_t^{-1}$
scaling persisted to the smallest values of
$\textit{Fr}_t$
suggesting that the low-
$\textit{Fr}_t$
plateau is a signature of intermittency. Whether such a conclusion is supported in our simulations would be interesting to investigate in the future.
Energy conversion pathways. Arrow colours correspond to the line colours in the budget figures.

In the present case, each point in figure 25 can be interpreted as representing a small horizontal control volume where the influx of
$k_{\!p}'$
is roughly balanced by its efflux resulting in no net transport.
The data plotted in figure 25 is restricted to locations above the interface midline (i.e. where
$\langle T \rangle =0.5$
). Below this location, there are rare events where an energetic turbulent eddy penetrates the interface carrying warm fluid into the cold quiescent layer below. In this scenario the buoyancy gradients become larger than the momentum gradients and
$\chi \gt \epsilon$
within the eddy. When averaged over the plane, these mixing events result in large values of
$\varGamma$
(
$1 \leqslant \varGamma \lt 2$
) and result in a departure from the scaling seen in figure 25. One such turbulent eddy is visualized in figure 32 for case SM123 (
$\textit{Fr}=14$
).
The key to connecting our data to homogeneous turbulence simulations is the approximate balance
$\mathcal{B}\simeq \chi$
. Other inhomogeneous flows may not possess such a balance and in those cases it seems unlikely that local mixing coefficients would follow the scaling reported here and in previous studies.
7.4. Wave–turbulence coupling and the flow of energy
Based on the observations noted in §§ 7.2 and 7.3, and a close inspection of the six budget equations for the remaining cases in Appendix A, we propose the energy flow diagram in figure 26 as a general description of the interfacial region (i.e. in the neighbourhood of
$\langle T \rangle = 0.5$
). The diagram does not exactly describe any one simulation, but the general path is a reliable approximation for the observed budgets in this region. In particular, cross-correlations do not internally balance for the wave budgets and can be a source or sink. For example,
$\tilde {\phi }'_{h2} = \langle p'( \tilde {s}_{11} + \tilde {s}_{22}) \rangle /2$
is a significant source for
$\tilde {k}_h$
in the
$\textit{Fr} = 1.25$
case (SM126) near the density interface, but not so for the other cases. Clearly, the detailed picture is more complicated than the diagram in figure 26, yet the figure is a general description of the processes involved.
Kinetic energy is injected into the domain via the forcing term. Beneath the forcing layer, this corresponds to feeding the
$k_h'$
and
$k_w'$
reservoirs through turbulent transport
$\mathcal{T}_{w,h}'$
and
$\mathcal{T}_{w,w}'$
. Vertical kinetic energy is converted to horizontal and potential energy (via
$\phi _w'$
and
$\mathcal{B}'$
, respectively) near the density interface as well as dissipated throughout the water column via
$\epsilon _w'$
. Horizontal kinetic energy that is not dissipated drives wave motions through
$\mathcal{I}_h$
which in turn produces vertical motions by the pressure-strain correlation
$\tilde {\phi }$
. Here
$\tilde {k}_w$
is fed via the pressure field by the pressure-strain redistribution from
$\tilde {k}_h$
as well as the divergence of the wave pressure flux
$\tilde {T}_{\!p,w} = -\partial _z\langle {\tilde {w}} {\tilde {p}} \rangle$
. The WPE is primarily driven by the wave buoyancy flux
$\tilde {\mathcal{B}}$
which is then transferred to TPE via the transfer term
$\mathcal{I}_{k_{\!p}}$
and ultimately destroyed by molecular diffusion
$\chi '$
.
To validate the energy flow diagram in figure 26 we plot the integral of each term (arrow in the diagram) normalized by the integral of all sources for each reservoir (e.g.
$k_h'$
,
$\tilde {k}_h$
, etc.). Specifically, we define the operator
$\mathcal{R}[\boldsymbol{\cdot }]$
acting on the budget terms as
\begin{align} \mathcal{R} \big[T_i^{({E_{\textit{bdg}}})}\big] &\equiv \dfrac {\int _{z_{co}}^{z_1} T_i^{({E_{\textit{bdg}}})} {\rm d}z}{\int _{z_{co}}^{z_1} \dfrac {1}{2} \sum \limits _{i} |T_i^{({E_{\textit{bdg}}})}| {\rm d}z} \end{align}
where
${E_{\textit{bdg}}} \in \{k_h', k_w', k_{\!p}', \tilde {k}_h, \tilde {k}_w, \tilde {k}_{\!p}\}$
labels the energy budget and the
$T_i$
are individual terms in the respective equation (i.e. (7.8)–(7.11) and (7.14)–(7.15)). Here
$z_{co}$
is the cutoff coordinate based on sufficient time averaging (see § 2.1 and Hass & Lele (Reference Hass and Lele2026)) and
$z_1$
is defined as
$\textit{Fr}_t(z_1) \equiv 1$
which can be visualized as a dash–dot line in the budget figures above (and in Appendix A). This is where buoyancy effects begin to influence the large scales. One half the sum of the magnitudes of
$T_i$
is a proxy for the total of all sources of energy since the residuals (sum of sources and sinks) are nearly zero (black lines in budget figures). This normalization allows for an objective calculation of the amount of ‘source’ even if individual terms change sign.
These ratios are plotted in figure 27. The takeaway is that the qualitative flow described in figure 26 is supported by the data with one notable exception occurring for simulation SM126 (
$\textit{Fr}=1.25$
) for the
$\tilde {k}_h$
budget (lower left-hand corner of figure 27) where the wave–turbulence transfer term appears to be a sink for horizontal WKE. Close inspection of the horizontal WKE budget in figure 23(a) reveals that near the interface midline
$\mathcal{I}_{h}$
changes sign and
$\tilde {\phi }_{h2}' \equiv \langle p'(\tilde {s}_{11} + \tilde {s}_{22}) \rangle /2$
becomes the predominant source suggesting that there is still a transfer of energy from horizontal TKE to WKE. This term is difficult to interpret as it does not show up in the
$k_h'$
budget and so is not a true ‘transfer’ term. Regardless, the other arrows in figure 26 are supported by the rest of the data in figure 27.
In general, the flow of energy between turbulence and waves follows
$k_w' \to k_h' \to \tilde {k}_h \to \tilde {k}_w \to \tilde {k}_{\!p} \to k_{\!p}'$
. The transfer from waves to turbulence by
$\mathcal{I}_{k_{\!p}}$
generally happens below the
$\langle T \rangle =0.5$
location. This is clearly seen by plotting the ratio
$\mathcal{I}_{k_{\!p}}/\mathcal{B}'$
as a function of depth in figure 28 which quantifies the relative contribution of waves to the TPE reservoir compared with the TKE contribution. The ratio is significant in the neighbourhood
$(z-z_{\!f})/H = 1$
and increases with increasing stratification. This is consistent with the experimental observations of Hannoun & List (Reference Hannoun and List1988) and McGrath et al. (Reference Mcgrath, Fernando and Hunt1997) where in the limit of strong stratification, entrainment is due almost entirely to internal wave breaking (i.e. a transfer from wave motions to turbulence). We provide further evidence of the wave breaking mechanism in the following section.
Ratio of wave-to-turbulence transfer of potential energy to the buoyancy flux
$\mathcal{I}_{k_{\!p}}/\mathcal{B}'$
. Depth is normalized by the mixed-layer depth
$H$
, defined as the distance from the forcing layer edge
$z_{\!f}$
and the location where
$\langle T \rangle =0.5$
.

7.5. Wave breaking and entrainment
It has been experimentally demonstrated that the primary entrainment mechanism at high stratification is interfacial waves breaking. The statistical analysis of the previous section reinforces this picture as the ratio
$\mathcal{I}_{k_{\!p}}/\mathcal{B}'$
is
${O}(10)$
for the highest level of stratification. The term
$\mathcal{I}_{k_{\!p}}$
is a difference of correlations (7.17) and does not prove by itself that waves are breaking and so we present further evidence in this section. Figure 29 shows a sequence in time of temperature contours in the
$x$
–
$z$
plane to visualize a wave breaking event. Two waves are moving towards each other which is visualized by tracking two interfacial disturbances. As they collide, the wave steepens and appears to break generating small scale turbulence and localized mixing.
Visualizing a wave breaking event on the interface. Instantaneous contours of temperature are shown in the
$x$
–
$z$
plane where blue-to-red corresponds to increasing temperature (bounded by 0 and 1). Snapshots proceed from top to bottom; the white boxes track two interfacial disturbances, and the arrows indicate their directions of travel. The time spanned by the snapshots is 0.16 eddy turnover times measured at the interface.

We expect the location of this mixing event to have significant magnitudes of either
$\tilde {b} \tilde {u}_{\!j} \partial _{\!j} b'$
,
$-b' u_{\!j}' \partial _{\!j} \tilde {b}$
or both. Figures 30 and 31 demonstrate this to be the case where the first figure visualizes pointwise values in the
$x$
–
$z$
plane and the latter in the
$x$
–
$y$
plane. Figure 31 demonstrates that at this time instant there are multiple such breaking events.
Pointwise values of wave–turbulence terms contributing to
$\mathcal{I}_{k_{\!p}}$
in the
$x$
–
$z$
plane for simulation SM126 (
$\textit{Fr}=1.25$
). A vertical white or black line marks the location of the breaking event and a horizontal line marks the
$z$
-plane visualized in figure 31.

Figure 30. Long description
Panel A: A heatmap shows temperature distribution in a fluid. The horizontal axis is labeled ’x’ with a range from 0 to 9. The vertical axis is labeled ’z’ with a range from −2.5 to −1.0. The color scale on the right ranges from 0 to 1, with blue indicating lower temperatures and red indicating higher temperatures. A vertical white line marks the location of a breaking event, and a horizontal line marks the plane visualized in another figure. Panel B: A heatmap displays the product of velocity and buoyancy fluctuation gradients. The horizontal axis is labeled ’x’ with a range from 0 to 9. The vertical axis is labeled ’z’ with a range from −2.5 to −1.0. The color scale on the right ranges from −1 to 1 times 10^−6, with blue indicating negative values and red indicating positive values. A vertical black line marks the location of the breaking event, and a horizontal line marks the plane visualized in another figure. Panel C: A heatmap shows the product of buoyancy and velocity fluctuation gradients. The horizontal axis is labeled ’x’ with a range from 0 to 9. The vertical axis is labeled ’z’ with a range from −2.5 to −1.0. The color scale on the right ranges from −1 to 1 times 10^−6, with blue indicating negative values and red indicating positive values. A vertical black line marks the location of the breaking event, and a horizontal line marks the plane visualized in another figure.
Pointwise values of wave–turbulence terms contributing to
$\mathcal{I}_{k_{\!p}}$
in the
$x$
–
$y$
plane for simulation SM126 (
$\textit{Fr}=1.25$
). A vertical line marks the
$x$
-location of the breaking event in figure 30 and the horizontal line marks the
$y$
-location of the
$x$
-
$z$
plane visualized in figure 30.

The peak value of
$\mathcal{I}_{k_{\!p}}/\mathcal{B}'$
for the weakest stratified case, SM123 is 0.97 (red curve in figure 28) suggesting that wave breaking may be in play for this case as well. Instantaneous
$x$
–
$z$
contours of
$T$
,
$\tilde {b}\tilde {u}_{\!j} \partial _{\!j} b'$
and
$-b' u_{\!j}' \partial _{\!j} \tilde {b}$
are visualized in figure 32 for this simulation. Here, there is a large energetic turbulent eddy penetrating the interface engulfing quiescent cold fluid as it rebounds due to the stabilizing buoyancy force. This eddy registers large magnitudes of
$\tilde {b} \tilde {u}_{\!j} \partial _{\!j} b'$
and yet is clearly not a wave-breaking event. In this case, the turbulent eddy has steep buoyancy gradients due to the relatively cold surrounding fluid. The large value of
$|\boldsymbol{\nabla }b'|$
results in moderate values of
$ \langle \tilde {b} \tilde {u}_{\!j} \partial _{\!j} b' \rangle$
so long as
$\tilde {b} \tilde {u}_{\!j}$
is non-zero.
Pointwise values of wave–turbulence terms contributing to
$\mathcal{I}_{k_{\!p}}$
in the
$x$
–
$z$
plane for simulation SM123 (
$\textit{Fr}=14$
). Vertical and horizontal white/black lines mark the location of a turbulent eddy penetrating the interface.

It is clear that while the decomposition proposed in this work provides a meaningful separation between wave and turbulent fluctuations, caution must be taken when interpreting statistics for cases that depart too far from the linear model used to derive the decomposition. It is fascinating that while the physical mechanism of entrainment changes from the
$\textit{Fr}=14$
simulation to
$\textit{Fr}=1.25$
, the measured entrainment rate continues to follow a simple power law with the Richardson number (Hass & Lele Reference Hass and Lele2026).
8. Conclusion
Interfacial waves possess a significant proportion of the fluctuating kinetic and potential energy. We presented evidence that these waves are reasonably modelled by the linearized equations, the solution of which yields a set of orthogonal functions. Using these functions, a wave–turbulence decomposition was proposed. The resulting set of coefficients are governed by simple ODEs describing harmonic oscillation with characteristic frequency equal to the eigenfrequency. This analytical manipulation demonstrated that the projection procedure accurately extracts the eigenmodes of the system assuming that the linearized equations are satisfied by the projected data. This was verified a posteriori for the
$\textit{Fr} = 3.5$
and 1.25 simulations.
Based on observation, we claimed that the moderate-
$\textit{Fr}$
cases (
$\textit{Fr} = 7$
and 14) were affected by nonlinear interfacial waves and hypothesized that the eigenmodes provide the most efficient basis for capturing the dynamics. The effect of filtering out the eigenmodes greatly reduced the plateau seen in the two-point correlation
$c_{33,3}$
suggesting that we are able to capture the majority of wave energy present in the domain using our protocol.
Large-scale anisotropy is under-measured when evaluating the full fluctuating fields. This is because the sloshing modes possess more vertical than horizontal kinetic energy. In the most weakly stratified case (SM123), WKE is roughly 15 % at the interface centreline which increases to more than 60 % for the most strongly stratified case (SM126).
The formal limit required by the SST theory
$\textit{Fr}_h \ll 1$
and
$\textit{Re}_b \gg 1$
is not met in our simulations, but it does appear that such a limit is accessible to externally forced stratified systems. Our data suggest that we are approaching such a limit based on the vertical Froude number approaching an order one constant. Although, a definitive statement can only be made by probing higher Reynolds numbers. However, it should be appreciated that at the forcing-layer Reynolds number simulated here and the computational grid used, the Kolmogorov scale in the interfacial region is slightly under-resolved, not to mention the Batchelor scale. An increase in forcing-layer Reynolds number would therefore require increased mesh resolution or an increased reliance on subgrid models. The former option drives down the stable time step size, increasing time scale separation between the Nyquist scale and large-scale interfacial turbulence which sets the total integration time for obtaining reasonably converged statistical estimates. The latter option, relying on subgrid closure models to carry more of the load, decreases reliability of the data. All this to say, ‘probing higher Reynolds numbers’ may not be feasible in simulations. (But is likely attainable in experiments, e.g. Fernando & Long (Reference Fernando and Long1983), Xuequan & Hopfinger (Reference Xuequan and Hopfinger1986) and Nokes (Reference Nokes1988) – see figure 3 in Hass & Lele (Reference Hass and Lele2026).) While the relationship between SST and our simulations was not established, it is clear that such an analysis is only possible once the wave contribution has been filtered out.
The kinetic energy budgets demonstrated that, as stratification effects become important, the buoyancy flux transfers energy from the kinetic to potential reservoir. For strong overall stratification, this is accompanied by a change of sign in pressure transport similar to wall-bounded shear flows near the wall. Somewhat surprisingly we saw that
$\mathcal{B} \simeq \chi$
in the TPE budgets despite significant inhomogeneity. This suggested that parameterizations for
$\varGamma$
obtained from homogeneous DNS may apply to our problem. The large and small
$\textit{Fr}_t$
limits for
$\varGamma =\chi /\epsilon$
reported from triply periodic DNS of stratified turbulent flows were observed in our simulations based on a locally defined mixing coefficient and
$\textit{Fr}_t$
.
A detailed accounting of energy conversion between the kinetic and potential reservoirs and between turbulence and waves demonstrated that in the quasistationary state, kinetic energy is transferred from horizontal turbulent fluctuations to horizontal wave motions. These in turn drive vertical wave motions which produce WPE via the wave buoyancy flux. We interpret the existence of a non-zero wave buoyancy flux as a manifestation of nonlinearly interacting waves. Consistent with this, there is a significant transfer from WPE to TPE due to nonlinear wave breaking quantified by the transfer term
$\mathcal{I}_{k_{\!p}}$
which is a statistical measure of wave breaking for strong stratifications as demonstrated in § 7.5.
Acknowledgements
We would like to thank Professor J. Koseff and Dr Y. Yi for their insightful feedback on the technical details presented in this manuscript. We also want to thank Dr A. Ghate, the primary developer of PadeOps, the computational fluid dynamics code used to generate our database, for his help in setting up the shear-free problem described in this paper.
Funding
This research was funded through the National Aeronautics and Space Administration (NASA) Pathways Internship Program. Simulations were conducted on Stampede2 and Stampede3 at the Texas Advanced Computing Center at the University of Texas at Austin through allocation TG-EVE230007 from the Advanced Cyberinfrastructure Coordination Ecosystem: Services & Support (ACCESS) program, which is supported by U.S. National Science Foundation grants #2138259, #2138286, #2138307, #2137603 and #2138296 (Boerner et al. Reference Boerner, Deems, Furlani, Knuth and Towns2023).
Declaration of interests
The authors report no conflict of interest.
Appendix A. Variance budgets for cases SM124 and SM125
Budget equations for fluctuating kinetic and potential energy were presented in § 7 where each was decomposed into a wave and turbulence contribution and kinetic energy was further subdivided into horizontal and vertical components. Only budgets for the weakest and strongest stratifications were shown (cases SM123 and SM126, respectively). This appendix shows the budgets for the other two cases, SM124 and SM125 (
$\textit{Fr} = 7$
and 3.5, respectively).
A.1. Kinetic energy
Equations governing the TKE and WKE are provided in § 7 where the terms are plotted for cases SM124 and SM125 in figure 33.
A.2. Vertical and horizontal kinetic energy
The equations for vertical and horizontal TKE and WKE were presented in § 7 and are reproduced here for reference:


Kinetic energy budgets of the turbulence
$k'$
and wave components
$\tilde {k}$
. Dashed horizontal grey lines depict the
$\langle T \rangle =0.5$
location and the dash–dot line is where
$\textit{Fr}_t = 1$
. All terms are normalized by the total transport of
$k'$
. All cross-correlations are shown in dashed lines. Line colours correspond to the legend in figure 21(a). (a) Simulation SM124 with
$\textit{Fr} = 7$
. (b) Simulation SM125 with
$\textit{Fr} = 3.5$
.

Figure 33. Long description
The image contains four line graphs, two for each simulation, labeled (a) and (b). Each simulation has two graphs: one for the k’ budget and one for the k budget. Panel (a) represents Simulation SM124 with Re = 124, and Panel (b) represents Simulation SM125 with Re = 125. Each graph plots z on the vertical axis and various budget terms on the horizontal axis. The dashed horizontal grey lines depict the location z = 0, and the dashdot line indicates where z = −1.5. Line colors correspond to the legend in figure 21(a). In both simulations, the k’ budget graphs show multiple lines with different colors representing various terms, and the k budget graphs also display multiple colored lines. The trends and patterns vary across the graphs, indicating differences in the kinetic energy budgets for the turbulence and wave components in the two simulations.
Due to the proliferation of terms, we did not explicitly define each term in the equations. Each term is defined here:
\begin{align} F'_{w,h} &= -\langle w (u^{\prime 2} + v^{\prime 2}) \rangle /4, \qquad \quad \,\, F'_{\nu ,h} = \frac {1}{\textit{Re}} \frac {\partial \langle u^{\prime 2} + v^{\prime 2} \rangle /4}{\partial z} - \langle u' \tau _{13} + v' \tau _{23} \rangle /2,\nonumber \\[3pt] \tilde {F}'_{w,h1} &= -\langle {\tilde {w}} (u'{\tilde {u}} + v' {\tilde {v}}) \rangle /2, \qquad \,\,\, \, \tilde {F}'_{\nu ,h1} = \frac {1}{2\textit{Re}} \bigg \langle u' \frac {\partial {\tilde {u}}}{\partial z} + v' \frac {\partial {\tilde {v}}}{\partial z} \bigg \rangle, \nonumber \\[3pt] \tilde {F}_{w,h} &= -\langle w ({\tilde {u}}^2 + {\tilde {v}}^2) \rangle /4, \qquad \quad \,\,\,\,\, \tilde {F}_{\nu ,h} = \frac {1}{\textit{Re}} \frac {\partial \langle {\tilde {u}}^2 + {\tilde {v}}^2 \rangle /4}{\partial z}, \nonumber \\[3pt] \tilde {F}'_{w,h2} &= -\langle w' (u'{\tilde {u}} + v' {\tilde {v}}) \rangle /2, \qquad \ \ \tilde {F}'_{\nu ,h2} = \frac {1}{2\textit{Re}} \bigg \langle {\tilde {u}} \frac {\partial u'}{\partial z} + {\tilde {v}} \frac {\partial v'}{\partial z} \bigg \rangle - \langle {\tilde {u}} \tau _{13} + {\tilde {v}} \tau _{23} \rangle /2,\nonumber \\[3pt] F'_{w,w} &= -\langle w w^{\prime 2} \rangle /2, \qquad \qquad \quad F'_{\nu ,w} = \frac {1}{\textit{Re}} \frac {\partial \langle w^{\prime 2} \rangle /2}{\partial z} - \langle w' \tau _{33} \rangle, \nonumber \\[3pt] \tilde {F}'_{w,w1} &= -\langle {\tilde {w}}^2 w' \rangle , \qquad \qquad \quad \,\,\, \tilde {F}'_{\nu ,w1} = \frac {1}{\textit{Re}} \bigg \langle w' \frac {\partial {\tilde {w}}}{\partial z} \bigg \rangle, \nonumber \\[3pt] \tilde {F}_{w,w} &= -\langle w {\tilde {w}}^2 \rangle /2, \qquad \qquad \quad \,\, \tilde {F}_{\nu ,w} = \frac {1}{\textit{Re}} \frac {\partial \langle {\tilde {w}}^{2} \rangle /2}{\partial z}, \nonumber \\[3pt] \tilde {F}'_{w,w2} &= -\langle w^{\prime 2} {\tilde {w}} \rangle , \qquad \qquad \quad \,\,\, \tilde {F}'_{\nu ,w2} = \frac {1}{\textit{Re}} \bigg \langle {\tilde {w}} \frac {\partial w'}{\partial z} \bigg \rangle - \langle {\tilde {w}} \tau _{33} \rangle;\\[-8pt] \nonumber \end{align}
\begin{align} \phi '_h &= \langle p'( s_{11}' + s_{22}') \rangle /2, \qquad \tilde {\phi }'_{h1} = \langle {\tilde {p}} (s_{11}' + s_{22}') \rangle /2, \nonumber \\[3pt] \tilde {\phi }_h &= \langle {\tilde {p}} (\tilde {s}_{11} + \tilde {s}_{22}) \rangle /2, \qquad \, \tilde {\phi }'_{h2} = \langle p' (\tilde {s}_{11} + \tilde {s}_{22}) \rangle /2, \nonumber \\[3pt] \phi _w' &= \langle p' s_{33}' \rangle , \qquad \qquad \quad \,\,\,\, \tilde {\phi }'_{w1} = \langle {\tilde {p}} s_{33}' \rangle , \nonumber \\[3pt] \tilde {\phi }_w &= \langle {\tilde {p}} \tilde {s}_{33} \rangle , \qquad \qquad \qquad \tilde {\phi }'_{w2} = \langle p' \tilde {s}_{33} \rangle; \\[-2pt] \nonumber \end{align}
\begin{align} \epsilon '_h &= \frac {1}{2\textit{Re}}\bigg \langle \frac {\partial u'}{\partial x_{\!j}}\frac {\partial u'}{\partial x_{\!j}} + \frac {\partial v'}{\partial x_{\!j}}\frac {\partial v'}{\partial x_{\!j}} \bigg \rangle - \frac {1}{2}\bigg \langle \tau _{1j}\frac {\partial u'}{\partial x_{\!j}} + \tau _{2j} \frac {\partial v'}{\partial x_{\!j}} \bigg \rangle, \nonumber \\[3pt] \tilde {\epsilon }'_{h1} &= \frac {1}{2\textit{Re}}\bigg \langle \frac {\partial {\tilde {u}}}{\partial x_{\!j}}\frac {\partial u'}{\partial x_{\!j}} + \frac {\partial {\tilde {v}}}{\partial x_{\!j}}\frac {\partial v'}{\partial x_{\!j}} \bigg \rangle, \nonumber \\[3pt] \tilde {\epsilon }_h &= \frac {1}{2\textit{Re}}\bigg \langle \frac {\partial {\tilde {u}}}{\partial x_{\!j}}\frac {\partial {\tilde {u}}}{\partial x_{\!j}} + \frac {\partial {\tilde {v}}}{\partial x_{\!j}}\frac {\partial {\tilde {v}}}{\partial x_{\!j}} \bigg \rangle, \nonumber \\[3pt] \tilde {\epsilon }'_{h2} &= \frac {1}{2\textit{Re}}\bigg \langle \frac {\partial {\tilde {u}}}{\partial x_{\!j}}\frac {\partial u'}{\partial x_{\!j}} + \frac {\partial {\tilde {v}}}{\partial x_{\!j}}\frac {\partial v'}{\partial x_{\!j}} \bigg \rangle - \frac {1}{2}\bigg \langle \tau _{1j}\frac {\partial {\tilde {u}}}{\partial x_{\!j}} + \tau _{2j} \frac {\partial {\tilde {v}}}{\partial x_{\!j}} \bigg \rangle, \nonumber \\[3pt] \epsilon _w' &= \frac {1}{\textit{Re}}\bigg \langle \frac {\partial w'}{\partial x_{\!j}}\frac {\partial w'}{\partial x_{\!j}} \bigg \rangle - \bigg \langle \tau _{3j}\frac {\partial w'}{\partial x_{\!j}} \bigg \rangle, \nonumber \\[3pt] \tilde {\epsilon }_{w1}' &= \frac {1}{\textit{Re}} \bigg \langle \frac {\partial {\tilde {w}}}{\partial x_{\!j}}\frac {\partial w'}{\partial x_{\!j}} \bigg \rangle, \nonumber \\[3pt] \tilde {\epsilon }_w &= \frac {1}{\textit{Re}}\bigg \langle \frac {\partial {\tilde {w}}}{\partial x_{\!j}} \frac {\partial {\tilde {w}}}{\partial x_{\!j}} \bigg \rangle ,\nonumber \\[3pt] \tilde {\epsilon }_{w2}' &= \frac {1}{\textit{Re}} \bigg \langle \frac {\partial {\tilde {w}}}{\partial x_{\!j}}\frac {\partial w'}{\partial x_{\!j}} \bigg \rangle - \bigg \langle \tau _{3j}\frac {\partial {\tilde {w}}}{\partial x_{\!j}} \bigg \rangle; \\[-2pt] \nonumber \end{align}
\begin{align} \mathcal{I}_h &= \langle {\tilde {u}} {\tilde {u}}_{\!j} \partial _{\!j} u' + {\tilde {v}} {\tilde {u}}_{\!j} \partial _{\!j} v' \rangle /2 - \langle u' u_{\!j}' \partial _{\!j} {\tilde {u}} + v' u_{\!j}' \partial _{\!j} {\tilde {v}} \rangle /2,\nonumber \\[3pt] \mathcal{I}_w &= \langle {\tilde {w}} {\tilde {u}}_{\!j} \partial _{\!j} w' \rangle - \langle w' u_{\!j}' \partial _{\!j} {\tilde {w}} \rangle. \end{align}
Figures 34 and 35 show each budget for simulations SM124 and SM125.
Horizontal (panel a) and vertical (panel b) kinetic energy budgets for SM124 (
$\textit{Fr} = 7$
). The dashed horizontal line marks where
$\langle T \rangle =0.5$
and the dash-dot line where
$\textit{Fr}_t = 1$
.

Horizontal (panel a) and vertical (panel b) kinetic energy budgets for SM125 (
$\textit{Fr} = 3.5$
). The dashed horizontal line marks where
$\langle T \rangle =0.5$
and the dash-dot line where
$\textit{Fr}_t = 1$
. Line colours correspond to the legends in figure 34.

Figure 35. Long description
The image contains four line graphs depicting kinetic energy budgets for different variables. Panel (a) shows two graphs labeled k’_h budget and k_h budget. The x-axis ranges from −1 to 1 for k’_h budget and from −0.1 to 0.2 for k_h budget. The y-axis, labeled z, ranges from −2.0 to −0.8 for both graphs. Each graph contains multiple colored lines representing different data series. Panel (b) shows two graphs labeled k’_w budget and k_w budget. The x-axis ranges from −1 to 1 for k’_w budget and from −0.4 to 0.2 for k_w budget. The y-axis, labeled z, ranges from −2.0 to −0.8 for both graphs. Each graph contains multiple colored lines representing different data series. The graphs illustrate the relationship between different variables in the kinetic energy budgets.
A.3. Potential energy
Finally, we report the potential energy budgets for cases SM124 and SM125 in figure 36. Equations governing
$k_{\!p}'$
and
$\tilde {k}_{\!p}$
are found in § 7.
Potential energy budgets of the turbulence
$k_{\!p}'$
and wave components
$\tilde {k}_{\!p}$
. Dashed horizontal grey lines depict the
$\langle T \rangle =0.5$
location and the dash–dot line is where
$\textit{Fr}_t = 1$
. All cross-correlations are shown in dashed lines. (a) Simulation SM124 with
$\textit{Fr} = 7$
. (b) Simulation SM125 with
$\textit{Fr} = 3.5$
. Line colours and styles correspond to the legend in figure 24.

Appendix B. Sturm–Liouville projection coefficients and the energy norm
In this paper, we formulated a projection procedure based on the interdependent orthogonal eigenfunctions
$\hat {w}$
and
$\hat {T}$
. These coefficients can be connected to the energy norm demonstrating that
$a_n^{(w)}$
and
$a_n^{(T)}$
quantify the kinetic and potential energy mode strengths, respectively. This appendix is included to derive that connection. The linearized equations are
\begin{align} \frac {\partial u}{\partial x} + \frac {\partial v}{\partial y} + \frac {\partial w}{\partial z} &= 0, \nonumber \\ \frac {\partial u}{\partial t} + \frac {\partial p}{\partial x} &= 0 ,\nonumber \\ \frac {\partial v}{\partial t} + \frac {\partial p}{\partial y} &= 0, \nonumber \\ \frac {\partial w}{\partial t} + \frac {\partial p}{\partial z} - \frac {T}{Fr^2} &= 0 \nonumber, \\ \frac {\partial T}{\partial t} + w Fr^2 N^2 &= 0, \end{align}
with
$w = T = 0$
and
$\partial _z u = \partial _z v = \partial _z p = 0$
at the boundaries.
Assuming a normal mode ansatz
$(u,v,w,T,p)(x,y,z,t) = (\hat {u},\hat {v},\hat {w},\hat {T},\hat {p})(z) e^{i(\alpha x + \beta y - \omega t)} + \text{c.c.}$
, yields a coupled system of ODEs:
A primed variable in this context is a derivative, not a turbulent fluctuation, i.e.
$\hat {u}' \equiv {\rm d}\hat {u}/{\rm d}z$
. The associated boundary conditions are
$\hat {w} = \hat {T} = 0$
and
$\hat {u}' = \hat {v}' = \hat {p}' = 0$
(at the boundaries).
Take two modes
$n$
and
$m$
, contract (B3)–(B5) for the
$n$
modes with
$\boldsymbol{\hat {u}}_m^*\equiv ({\hat {u}^*}_m, {\hat {v}^*}_m, {\hat {w}^*}_m)$
and multiply (B6) by
$\hat {T}_m^*/(Fr^4 N^2)$
. Integrate over
$z$
, and add the resulting equations:
\begin{align} I_{n \to m} &= -i\omega _n \underbrace {\int _z \bigg ( {\hat {u}}_n {\hat {u}^*}_m + {\hat {v}}_n {\hat {v}^*}_m + {\hat {w}}_n {\hat {w}^*}_m + \frac {{\hat {b}}_n {\hat {b}^*}_m}{N^2}\bigg ) {\rm d}z}_{[\boldsymbol{q}_n, \boldsymbol{q}_m]_{E}} + \nonumber \\&\;\;\;\;\;\;\; \int _z \bigg ( i \alpha {\hat {p}}_n {\hat {u}^*}_m + i\beta {\hat {p}}_n {\hat {v}^*}_m + {\hat {p}}_n'{\hat {w}^*}_m \underbrace {- {\hat {b}}_n {\hat {w}^*}_m + {\hat {b}^*}_m {\hat {w}}_n}_{B_{nm}} \bigg ) {\rm d}z = 0 . \end{align}
The first underbrace defines the energy norm
$[\boldsymbol{q}_n, \boldsymbol{q}_m]_{E}$
where
$\boldsymbol{q} = [{\hat {u}},{\hat {v}},{\hat {w}},{\hat {b}}]^T$
. Now, compute
$I_{m\to n}^*$
:
\begin{align} I_{m \to n}^* &= i \omega _m [\boldsymbol{q}_n, \boldsymbol{q}_m]_{E} + \nonumber \\&\;\;\;\;\;\;\; \int _z \bigg (\! -i \alpha {{\hat {p}}^*}_m {\hat {u}}_n - i\beta {{\hat {p}}^*}_m {\hat {v}}_n + {{\hat {p}}^{*\prime }}_m{\hat {w}}_n - B_{nm} \bigg ) {\rm d}z = 0 . \end{align}
Adding the two integrals
$I = I_{n\to m} + I_{m \to n}^*$
cancels the buoyancy terms.
Using the boundary condition
${\hat {w}} = 0$
and continuity, we get the following:
\begin{align} \int _{z_b}^{z_t} {\hat {p}}_n' {\hat {w}^*}_m {\rm d}z &= \Big [{\hat {p}}_n {\hat {w}^*}_m \Big ]_{z_b}^{z_t} - \int _{z_b}^{z_t} {\hat {p}}_n {{\hat {w}}^{*\prime }}_m {\rm d}z \nonumber \\ &= -\int _z {\hat {p}}_n (i\alpha {\hat {u}^*}_m + i \beta {\hat {v}^*}_m) {\rm d}z \end{align}
where
$z_b$
and
$z_t$
are the bottom and top boundaries of the domain. This term exactly cancels the other pressure terms in
$I_{n\to m}$
. Identical algebra shows the pressure terms in
$I_{m \to n}^*$
sum to zero. This leaves the following:
In other words,
$[\boldsymbol{q}_n, \boldsymbol{q}_m]_{E} = 0$
for
$n \ne m$
.
Writing the energy norm out explicitly, we can connect it to our projection coefficients:
The potential energy term has been written in terms of temperature and, from the Sturm–Liouville problem analysis above, it is zero for
$n\ne m$
and is related to the projection coefficient
$a_n^{(T)}$
. And so, the energy norm can be written as the sum of a kinetic and potential energy norm, each of which defines an orthogonality property,
again, the second equation follows from the Sturm–Liouville analysis. So, the eigenfunction expansion can be reformulated in light of these norms,
Here
$a_n^{(T)}$
is the same as what is computed in the main body of this paper, and is related to the potential energy norm. Here
$a_n^{({\mathcal{K}})}$
appears to be a different coefficient altogether and can be computed by contracting
$\boldsymbol{\check {u}}_{{\textit{LES}}}$
with
$\boldsymbol{{\hat {u}^*}}_n$
and integrating (a subscript ‘LES’ has been added to remind the reader that
$\boldsymbol{\check {u}}$
and
$\check {T}$
are the fully turbulent fields from the LES),
We say ‘appears’ to be different because it can be shown that
$a_n^{({\mathcal{K}})} = a_n^{(w)}$
,
\begin{align} &= \frac {1}{\omega _n^2} \underbrace {\int _z N^2\check {w}_{{\textit{LES}}} {\hat {w}}_n^* {\rm d}z}_{ \equiv \mathcal{N}_w}. \end{align}
Equation (B18)
$\to$
(B19) uses the polarization relations connecting horizontal velocity to pressure ((3.14) and (3.15)). Equation (B19)
$\to$
(B20) uses continuity of the LES field. Equation (B20)
$\to$
(B21) uses integration by parts and the boundary condition
$\check {w}_{{\textit{LES}}}=0$
. Equation (B21)
$\to$
(B22) uses the vertical eigenmode momentum equation, (B22)
$\to$
(B23) follows by cancellation, and (B23)
$\to$
(B24) uses the polarization relation (3.12). Using the same identities we can show
\begin{align} &= \frac {1}{\omega _n^2} \underbrace {\int _zN^2 {\hat {w}}_n {\hat {w}}_n^* {\rm d}z}_{\equiv \mathcal{D}_w} \\[-12pt]\nonumber \end{align}
B.1. Proof of (4.2)
Equation (4.2) says
which can now be proved using the identity
${a_n^{(w)}} = {a_n^{(\mathcal{K})}}$
just derived:
\begin{align} &= \frac {1}{\mathcal{D}_{\textit{KE}}} \int _z {\check {p}_{{\textit{LES}}}} \bigg (\underbrace {i \alpha {\hat {u}}_n + i \beta {\hat {v}}_n + \frac {{\rm d} {\hat {w}}_n}{{\rm d} z}}_{=0} \bigg )^* + \frac {-i \omega _n}{\textit{Fr}^4} \frac {1}{N^2} {\check {T}_{{\textit{LES}}}} {\hat {T}^*}_n{\rm d}z \\[-12pt]\nonumber \end{align}
where
$\textit{Fr}^4 \mathcal{D}_{\textit{KE}} = \int _z {\hat {T}}_n {\hat {T}^*}_n /N^2 {\rm d}z$
has been used in (B37)
$\to$
(B38). This is easily verified by using
$\mathcal{D}_{\textit{KE}} = \mathcal{D}_w/\omega _n^2$
(B26) and the polarization relation (3.12).





3/128
3/256
Re
Fr
L∗
U∗
Ret=Rek2/ϵ
Frt=ϵ/Nk
Reb=Reϵ/N2
N2=∂z⟨T⟩/Fr2
zI
⟨T⟩=0.5
zI=−1.75
τ0.7
⟨T⟩=0.7
z′=1.75
t=0
c33,3(r,z)
Fr=1.25
⟨T⟩=0.5
z=−1.75
κhLx/2π=2
n=1
n=2
z=−1.75
Fr=3.5
Fr=1.25
κh
ω
z=−1.9664
⟨T⟩=0.5
zI=−1.8351
−1.7648
zI
⟨T⟩(zI)=0.5
n=1
a˙n(w)=−iωnan(T)
a˙n(T)=−iωnan(w)
κhLx/2π=1
n=1
Fr=3.5
Fr=1.25
Fr=3.5
Fr=1.25
Rnw
RnT

c33,3(r,z)
Fr=14
⟨T⟩=0.5
Fr=1.25
w
p
T
k′
k~
k
⟨T⟩=0.5
Frt=1
I=wrms/uh,rms
⟨T⟩=0.5
Frt=1
c33,3
z
f
Reh
Frh
⟨T⟩=0.9
⟨T⟩=0.75
Frh=1
Frh2Reh
Reb
αl=lv/lh
Frh=Uh/Nlh
lv=LE′
lh=Lhl
Uh=2kh′
⟨T⟩=0.5
Frh
I=Uv/Uh
αl=lv/lh
zf
h1
zf
Frt=ϵ/(Nk′)=1
⟨T⟩=0.5
Fr
Rev=ReUhlv
Frv=Uh/Nlv
lv=LE′
Uh=2kh′
⟨T⟩=0.5
Frv=1
Frv=1
k′
k~
Fr=14
Fr=1.25
⟨T⟩=0.5
Frt=1
k′
Fr=14
Frt=1
⟨T⟩=0.5
Fr=1.25
Frt=1
⟨T⟩=0.5
kp′
k~p
Fr=14
Fr=1.25
⟨T⟩=0.5
Frt=1
Γ=χ/ϵ
Fr=14

Ikp/B′
H
zf
⟨T⟩=0.5
x
z
Ikp
x
z
Fr=1.25
z
Ikp
x
y
Fr=1.25
x
y
x
z
Ikp
x
z
Fr=14
k′
k~
⟨T⟩=0.5
Frt=1
k′
Fr=7
Fr=3.5
Fr=7
⟨T⟩=0.5
Frt=1
Fr=3.5
⟨T⟩=0.5
Frt=1
kp′
k~p
⟨T⟩=0.5
Frt=1
Fr=7
Fr=3.5