1. Introduction
Integral analysis offers a powerful framework for deriving simplified, yet physically insightful, formulations that capture the essential characteristics of boundary-layer flows. In incompressible regimes, classical integral methods–originally developed by von Kármán (Reference von Kármán1921) and Pohlhausen (Reference Pohlhausen1921)–have been applied extensively to turbulent boundary layers and are now standard material in fluid mechanics textbooks.
Extending integral methods to compressible boundary layers introduces substantial complexity due to spatial variations in density, viscosity and temperature. Starting in the 1940s and 1950s, researchers began adapting these methods to compressible flow regimes (see reviews by Bertram Reference Bertram1968; Schlichting Reference Schlichting1979). For instance, Schlichting (Reference Schlichting1979) presented integral forms of the momentum and energy equations for compressible laminar boundary layers. A widely used strategy involves applying compressibility transformations–such as those proposed by Crocco, Van Driest and Stewartson–to recast the governing equations into an incompressible-like form, thereby enabling the application of classical integral techniques (Bertram Reference Bertram1968).
More recently, Wenzel, Gibis & Kloker (Reference Wenzel, Gibis and Kloker2022) conducted an integral analysis of the mean momentum and total enthalpy equations to investigate the effects of compressibility, heat transfer and pressure gradients in turbulent boundary layers. Their study derived integral identities for the skin-friction and heat-transfer coefficients, providing quantitative insight into the cumulative influence of transport processes within the boundary layer.
Most existing integral analyses focus on the streamwise velocity, treating the mean wall-normal velocity only indirectly. In such formulations, the continuity equation is typically used to relate the wall-normal velocity to an integral of the streamwise velocity profile, without explicitly resolving its distribution. Recently, Wei and co-workers addressed this gap by deriving analytical expressions for the mean wall-normal velocity in incompressible turbulent boundary layers with and without pressure gradients (Wei, Li & Wang Reference Wei, Li and Wang2023a ,Reference Wei, Li and Wang b ).
Building on this foundation, the present study extends the integral analysis framework to compressible turbulent boundary layers. Generalised integral relations are derived directly from the governing equations, without relying on compressibility transformations. Section 2 first presents an analytical expression for the mean wall-normal velocity at the boundary-layer edge, followed by its distribution across the wall-normal direction, and finally an expression for the mean wall shear stress. The analytical results are validated against direct numerical simulation data and further employed to gain physical insight into compressible boundary-layer flows. Section 3 summarises the main findings.
2. Integral analysis of compressible boundary-layer flows
Many terms in the analytical equations derived in this work can be accurately evaluated only using direct numerical simulation (DNS) data. Accordingly, the present formulations are validated against high-fidelity DNS results from Ceci et al. (Reference Ceci, Palumbo, Larsson and Pirozzoli2023), which investigate the interaction between an impinging shock wave and a turbulent boundary layer. The boundary layer is injected through the inflow plane at
$x$
= 0 and an oblique shock wave (
$\beta$
is the shock angle) is introduced by deflecting the flow by an angle
$\theta$
, which nominally impinges on the boundary layer at
$x_{\textit{imp}}$
= 64
$\delta _0$
, where
$\delta _0$
represents the boundary-layer thickness at the inflow. A mesh with
$N_x \times N_y \times N_z=1920 \times 240 \times 2016$
nodes is used for the DNS. The streamwise, wall-normal and spanwise domain sizes are set to
$(L_x \times L_y \times L_z)/\delta _0=96 \times 20 \times 96$
. An in-house solver, available as an open-source code (Bernardini et al. Reference Bernardini, Modesti, Salvadore and Pirozzoli2021; Salvadore et al. Reference Salvadore2025), is used for all the DNS. Numerical boundary conditions at the far-field boundaries are managed according to a characteristic relaxation strategy (Pirozzoli & Colonius Reference Pirozzoli and Colonius2013). The recycling–rescaling procedure is used to generate the target flow at the inflow, as described by Ceci et al. (Reference Ceci, Palumbo, Larsson and Pirozzoli2022). The impinging shock is generated through local enforcement of the Rankine–Hugoniot jump relations at the top boundary, and periodic boundary conditions are applied to the spanwise boundaries. The wall is assumed to be isothermal, with temperature set to the nominal adiabatic value. The resulting simulations show good agreement with previous DNS by Pirozzoli & Bernardini (Reference Pirozzoli and Bernardini2011) and with experimental measurements by Piponniau et al. (Reference Piponniau, Dussauge, Debieve and Dupont2009), supporting the reliability of the set-up. A summary of the flow parameters is provided in table 1, while further details of the configuration are available in Ceci et al. (Reference Ceci, Palumbo, Larsson and Pirozzoli2023).
Flow parameters for the DNS database of Ceci et al. (Reference Ceci, Palumbo, Larsson and Pirozzoli2023). Here
$M_\infty$
is the free stream Mach number,
$\theta$
is the shock generator incidence angle;
$Re_{\theta 0}$
and
$Re_{\delta 0}$
represent the Reynolds numbers based on the momentum thickness and boundary-layer thickness at the inflow, respectively.

Flow structure in a supersonic shock/boundary-layer interaction using DNS data from Ceci et al. (Reference Ceci, Palumbo, Larsson and Pirozzoli2023): (a) instantaneous flow organisation highlighting coherent vortical structures and shock-induced separation, (b) time-averaged density field.

As shown in figure 1, the nominal shock impingement point in the DNS occurs at
$x_{\textit{imp}} = 64 \delta _0$
. Figure 2 presents the streamwise variation of several key quantities extracted from the DNS dataset, including the skin-friction coefficient, wall pressure, boundary-layer thickness (
$\delta _{99}$
), mass displacement thickness (
$\delta _1$
) and momentum thickness (
$\delta _2$
). The boundary-layer thickness is defined using the
$99\,\%$
criterion. The results demonstrate that
$\delta _{99}$
varies smoothly outside the separation region but changes rapidly within it. Similarly, the mass displacement thickness and momentum thickness, integral measures of the boundary-layer profile, exhibit significant variation within the separation region.
Friction coefficient
$C_f$
, mean wall pressure
$\overline{p}_{w\textit{all}}$
, boundary-layer thickness, mass displacement thickness and momentum thickness variation in the streamwise direction in the DNS of shock/boundary-layer interaction by Ceci et al. (Reference Ceci, Palumbo, Larsson and Pirozzoli2023).

2.1. Mean wall-normal velocity at the boundary-layer edge
For a statistically steady compressible turbulent boundary layer, the mean continuity equation is (see Huang, Coleman & Bradshaw Reference Huang, Coleman and Bradshaw1995)
In this study, the Reynolds decomposition of a general flow variable
$\varphi$
is expressed as
$\varphi = \overline {\varphi } + {\varphi '}$
, where
$\overline{\varphi}$
denotes the Reynolds-averaged value and
$\varphi'$
its fluctuation. The Favre (density-weighted) decomposition is written as
$\varphi = \widetilde {\varphi } + \varphi ''$
, where
$\widetilde{\varphi}$
is the Favre-averaged quantity and
$\varphi{''}$
the corresponding fluctuation. In this notation,
$\overline{\rho}$
is the Reynolds averaged density, and
$\widetilde{u}$
and
$\widetilde{v}$
are the Favre-averaged streamwise (
$x$
) and wall-normal (
$y$
) velocity components, respectively. Integrating the mean continuity (2.1) from the wall to the boundary-layer edge gives an expression for the Favre averaged mean wall-normal velocity at the boundary-layer edge as (see Appendix A for details)
where the subscript
$e$
indicates evaluation at the boundary-layer edge. For example,
$\widetilde{u}_e, \widetilde{v}_e$
are the Favre-averaged streamwise and wall-normal velocity compoents at the boundary layer edge, respectively.
$\delta_e$
is the boundary layer thickness, and
$\overline{\rho}_e$
is the mean density at the boundary layer edge. Here, the mass displacement thickness for compressible boundary-layer flows is defined as
$\delta _1 \mathrel {\stackrel {\scriptscriptstyle{\textrm{def}}}{=}} \int _0^{\delta _e} (1 - ((\overline {\rho }\, \widetilde {u})/(\overline {\rho }_e \widetilde {u}_e)))\, \textrm {d}y$
(Schlichting Reference Schlichting1979). At the boundary-layer edge, terms
$\overline {\rho ' u'}$
and
$\overline {\rho ' v'}$
vanish, leading to
$\widetilde {u}_e = \overline {u}_e + \overline {\rho ' u'\!}_e/\overline {\rho }_e = \overline {u}_e$
and
$\widetilde {v}_e = \overline {v}_e + \overline {\rho ' v'\!}_e/\overline {\rho }_e = \overline {v}_e$
. Consequently, (2.2) also applies to the Reynolds-averaged velocities.
Figure 3 compares the ratio
${\widetilde {v}_e}/{\widetilde {u}_e}$
obtained from simulations with the analytical prediction of (2.2). The agreement is excellent throughout most of the domain, with noticeable discrepancies only near the impingement point. In this region, sharp streamwise variations in
$\delta _e$
and
$\delta _1$
(see figure 2) make accurate evaluation of the
$\textrm {d}/\textrm {d}x$
terms particularly challenging in the postprocessing.
Comparison of the mean wall-normal velocity at the boundary-layer edge (red triangles) and analytical (2.2) (black plus symbols). The DNS data are from Ceci et al. (Reference Ceci, Palumbo, Larsson and Pirozzoli2023).

Ratio of the final two terms in (2.2), based on DNS data from Ceci et al. (Reference Ceci, Palumbo, Larsson and Pirozzoli2023).

Figure 3 also shows that
$\widetilde {v}_e$
remains much smaller than
$\widetilde {u}_e$
(of the order of 0.5 %) away from the impingement point, specifically for
$x/\delta _0 \lt 55$
or
$x/\delta _0 \gt 80$
in the simulations of Ceci et al. (Reference Ceci, Palumbo, Larsson and Pirozzoli2023). In contrast, near the impingement point, the ratio
$\widetilde {v}_e/\widetilde {u}_e$
increases sharply, reaching values of approximately
$-13\,\%$
at
$x/\delta _0 \approx 64$
. These larger values are omitted from the figure to maintain clarity in the regions away from the impingement point.
Compared with the incompressible analytical solution of Wei et al. (Reference Wei, Li, Knopp and Vinuesa2023a
), the key distinction in compressible flow is the last term in (2.2) that accounts for streamwise variations in
$\overline {\rho }_e$
. This density-gradient term is negligible far from the impingement point (
$x/\delta _0 \lesssim 55$
or
$x/\delta _0 \gtrsim 80$
), where
$\widetilde {v}_e/\widetilde {u}_e$
can be accurately approximated by
$\textrm {d} \delta _1/\textrm {d}x$
.
Upstream of the impingement point, the last two terms in (2.2) are negligibly small. Downstream of the impingement point, however, these terms become significant, and their profiles are closely correlated, as shown in figure 3. Their relationship can be quantified through the ratio, which, under the assumption of isentropic compressible flow, becomes
\begin{equation} \dfrac {\dfrac {1}{\overline {\rho }_e} \dfrac {\textrm {d} \overline {\rho }_e}{\textrm {d}x}}{ \dfrac {1}{\widetilde {u}_e} \dfrac {\textrm {d} \widetilde {u}_e}{\textrm {d}x} } \; \approx - {M}^2_e, \end{equation}
where
${M}_e$
denotes the local Mach number at the boundary-layer edge (see Appendix B for details). This is checked in figure 4, where data upstream of the impingement point are omitted as both numerator and denominator are negligibly small (see figure 3). Downstream of the impingement point, we find that (2.3) applies with good accuracy.
From equations (2.3) and (2.2), the mean wall-normal velocity at the boundary-layer edge is directly related to the outer-flow Mach number. Specifically, we find that
In the incompressible limit, where the density is constant and
${M}_e \to 0$
, (2.4) reduces to the mean wall-normal velocity relation for incompressible flows (Wei et al. Reference Wei, Li, Knopp and Vinuesa2023a
). This confirms that (2.4) provides a unified description that consistently extends the incompressible theory to compressible supersonic boundary layers.
2.2. Mean wall-normal velocity distribution
To derive an analytical equation for the mean wall-normal velocity, we begin by transforming the mean continuity equation into a dimensionless form. This transformation is achieved by introducing the following normalised variables:
where
$L$
is a length scale in the
$x\hbox{-}$
direction and
$\delta _e$
is the boundary-layer thickness. It is important to emphasise that the use of these normalised variables does not imply the presence or absence of self-similarity in the flow. Instead, it provides a mathematical framework that facilitates the derivation and analysis of the mean wall-normal velocity.
Using the defined normalised variables, the terms in the mean continuity (2.1) can be expressed as
Simple mathematics produces a dimensionless continuity equation in the form of
\begin{align} \dfrac {\partial V^*}{\partial y^*} = & - \dfrac {\delta _e}{\overline {\rho }_e \widetilde {v}_e} \dfrac {\mathrm{d} \big(\overline {\rho }_e \widetilde {u}_e\big)}{\mathrm{d} x} \;+\; \left [ \dfrac {1}{\widetilde {v}_e} \dfrac {\mathrm{d} \big(\widetilde {u}_e \delta _e\big)}{\mathrm{d} x} + \dfrac {\widetilde {u}_e \delta _e}{\widetilde {v}_e} \dfrac {1}{\overline {\rho }_e} \dfrac {\textrm {d} \overline {\rho }_e}{\textrm {d}x} \right ] U^* \nonumber \\ & \;-\; \dfrac {\widetilde {u}_e}{\widetilde {v}_e} \dfrac {\mathrm{d} \delta _e}{\mathrm{d} x}\dfrac {\partial (y^* U^*)}{\partial y^*} \;+\; \dfrac {\widetilde {u}_e}{\widetilde {v}_e} \dfrac {\delta _e}{L}\dfrac {\partial U^*}{\partial x^*} . \end{align}
Integrating (2.8) with respect to
$y^*$
yields an analytical equation for the mean wall-normal velocity distribution:
\begin{align} V^* = & \underbrace {-\left [ \dfrac {\delta _e}{ \widetilde {v}_e} \dfrac {\mathrm{d} \widetilde {u}_e}{\mathrm{d} x} \right ]}_{a_{{_I}}}y^* \; \underbrace {- \left [ \dfrac {\widetilde {u}_e}{\widetilde {v}_e} \dfrac {\textrm {d} \delta _e}{\textrm {d}x} \right ]}_{a_{{_{\textit{II}}}}}y^* U^* \; + \; \underbrace {\left [ \dfrac {1}{\widetilde {v}_e} \dfrac {\textrm {d} \big(\widetilde {u}_e \delta _e\big)}{\textrm {d}x} \right ]}_{-(a_{{_{I}}}+a_{{_{\textit{II}}}})} \int _0^{y^*} U^* \textrm {d}y^* \nonumber \\ & + \; \underbrace {\left [ \dfrac {\widetilde {u}_e}{\widetilde {v}_e} \dfrac {\delta _e}{L} \right ]}_{a_{{_{\textit{III}}}}} \int _0^{y^*} \dfrac {\partial U^*}{\partial x^*}\textrm {d}y^* \; \underbrace {-\left [ \dfrac {\widetilde {u}_e }{\widetilde {v}_e} \dfrac {\delta _e}{\overline {\rho }_e} \dfrac {\textrm {d} \overline {\rho }_e}{\textrm {d}x} \right ]}_{a_{{_{_{\textit{IV}}}}}} \int _0^{y^*} (1-U^*)\, \textrm {d}y^* . \end{align}
Evaluation of (2.9) at
$y^* = 1$
yields (2.2), providing the mean wall-normal velocity at the boundary-layer edge.
Comparison of the simulated mean wall-normal velocity profile with the analytical prediction from (2.9). Black plus symbols represent the sum of the five components in (2.9): (a)
$x/\delta _0 = 32.467$
, (b)
$x/\delta _0 = 67.485$
. The DNS data are from Ceci et al. (Reference Ceci, Palumbo, Larsson and Pirozzoli2023).

As an illustration, figure 5 compares the analytical solution from (2.9) with the simulated
$V^*$
profiles at two streamwise locations: one upstream of the impingement point and one near the impingement point. In both cases, the analytical prediction shows good agreement with the simulations, accurately capturing the mean wall-normal velocity distribution across the boundary layer.
The last term in (2.9) arises from density variations and is absent in incompressible flows. As shown in figure 5, this term plays a crucial role in shaping the mean wall-normal velocity distribution in compressible boundary layers. It can be further decomposed into two contributions: a linear growth component (
$a_{{_{\textit{IV}}}} y^*$
), and an integral component (
$a_{{_{\textit{IV}}}} \int _0^{y^*} U^*\, \textrm {d}y^*$
). The latter approaches a constant value of
$a_{{_{\textit{IV}}}} \delta _1/\delta _e$
at the boundary-layer edge. Consequently, (2.9) yields two distinct linear growth terms: the first term and the linear contribution from the density-gradient term. These linear behaviours are clearly visible in figure 5, particularly beyond the boundary-layer edge. Notably, the slope ratio of these two components,
$a_{{_{\textit{IV}}}}/a_{{_{I}}}$
, matches that defined in (2.3). Since this ratio exceeds unity, the density-variation-induced contribution exhibits a steeper slope than the first term.
2.3. Analytical equation for the wall shear stress
The mean streamwise momentum equation for compressible boundary-layer flows is given by (Huang et al. Reference Huang, Coleman and Bradshaw1995)
where
$\overline{p}$
is the mean pressure,
$\overline{\rho}\,\widetilde{u'' u''}$
and
$\overline{\rho}\widetilde{u'' v''}$
are the Favre-averaged Reynolds normal and shear stresses, respectively, and
$\overline {\tau }_{xy}$
is the mean viscous shear stress. Integrating the momentum (2.10) from the wall to the boundary-layer edge and applying the corresponding boundary conditions yields
Through a sequence of mathematical manipulations (see Appendix C), the momentum integral equation is derived:
\begin{align} \tau _{w\textit{all}} \;= & \; \underbrace {\overline {\rho }_e \widetilde {u}_e \delta _1 \dfrac {\textrm {d} \widetilde {u}_e}{\textrm {d}x}}_{\mathrm{I}} \;+\ \underbrace {\overline {\rho }_e \dfrac {\textrm {d}\big( \widetilde {u\,}^2_e\delta _2 \big)}{\textrm {d}x}}_{\mathrm{II}} \; \underbrace {- \dfrac {\textrm {d}}{\textrm {d}x} \left ( \int _0^{\delta _e} (\overline {\rho }\, \widetilde {u'' u''})\, \textrm {d}y\right )}_{\mathrm{III}} \nonumber \\[10pt] & \underbrace {- \int _0^{\delta _e} \left ( \dfrac {\partial \overline {p}}{\partial x} + \overline {\rho }_e \widetilde {u}_e \dfrac {\textrm {d} \widetilde {u}_e}{\textrm {d}x} \right ) \textrm {d} y }_{\mathrm{IV}} \; +\; \underbrace { \widetilde {u}^2_e \delta _2 \dfrac {\textrm {d} \overline {\rho }_e}{\textrm {d}x}}_{\mathrm{V}} , \end{align}
where
$\delta _2 = \int _0^{\delta _e} (\overline {\rho } \widetilde {u})/( \overline {\rho }_e \widetilde {u}_e) ( 1- \widetilde {u}/\widetilde {u}_e)\, \textrm {d}y$
is the momentum thickness defined for compressible flows (Schlichting Reference Schlichting1979).
For incompressible flow, where the density is constant, the first two terms on the right-hand side of (2.12) reduce to the classical Kármán–Pohlhausen momentum integral equation (von Kármán Reference von Kármán1921; Pohlhausen Reference Pohlhausen1921; Gruschwitz Reference Gruschwitz1931).
In studies of incompressible boundary layers with pressure gradients, Wei, Li & Wang (Reference Wei, Li and Wang2024) demonstrated that the commonly assumed relation
$\partial \overline {p}/\partial x = - \rho \overline {u}_e \, \textrm {d}\overline {u}_e/\textrm {d}x$
fails under strong pressure gradients, as
$\partial \overline {p}/\partial x$
exhibits pronounced wall-normal variation. To account for this effect, Wei et al. (Reference Wei, Li, Knopp and Vinuesa2023a
) introduced an additional contribution (term IV) into the momentum integral formulation, thereby extending the classical Kármán–Pohlhausen formulation.
In compressible turbulent boundary layers, the streamwise pressure gradient
$\partial \overline {p}/\partial x$
also exhibits pronounced wall-normal variation when the flow is subjected to strong pressure gradients, as shown in figure 6. The figure presents profiles of
$\partial \overline {p}/\partial x$
at four streamwise locations. Away from the impingement region (e.g.
$x/\delta _0 = 40$
and
$x/\delta _0 = 80$
), the pressure gradient remains nearly uniform in the wall-normal direction. In contrast, closer to the impingement point (e.g.
$x/\delta _0 = 60$
and
$x/\delta _0=64$
),
$\partial \overline {p}/\partial x$
shows significant wall-normal variation. The inclusion of term IV in (2.12) explicitly accounts for these wall-normal variations of
$\partial \overline {p}/\partial x$
, thereby improving the prediction of wall shear stress near the impingement point.
Wall-normal distributions of the streamwise pressure gradient
$\partial \overline {p}/\partial x$
at four
$x$
-locations.

For compressible turbulent boundary layers, the general form of the momentum integral (2.12) introduces an additional term V, which arises from density variations, hence not present in the incompressible case (Wei et al. Reference Wei, Li and Wang2024). Note that the ratio of term V to term I in the momentum integral (2.12) is directly connected to the ratio given in (2.3), namely
\begin{equation} \dfrac { \widetilde {u\,}^2_e \delta _2 \dfrac {\textrm {d} \overline {\rho }_e}{\textrm {d}x} }{ \overline {\rho }_e \widetilde {u}_e \delta _1 \dfrac {\textrm {d} \widetilde {u}_e}{\textrm {d}x} } \; = \; \dfrac {1}{H_{12}} \dfrac {\dfrac {1}{\overline {\rho }_e} \dfrac {\textrm {d} \overline {\rho }_e}{\textrm {d}x}}{ \dfrac {1}{\widetilde {u}_e} \dfrac {\textrm {d} \widetilde {u}_e}{\textrm {d}x} } , \end{equation}
where
$H_{12} = \delta_1/\delta_2$
is the shape factor. Figure 7 evaluates the momentum integral (2.12) using DNS data from Ceci et al. (Reference Ceci, Palumbo, Larsson and Pirozzoli2023). The analytical predictions, shown as black plus symbols, demonstrate excellent agreement with the DNS results. The scatter observed in the comparison arises primarily from numerical errors introduced during the numerical evaluation of the streamwise derivatives. Upstream of the impingement point (
$x/\delta _0 \lesssim 55$
), the second term on the right-hand side of (2.12) dominates the wall shear stress, while all other contributions remain negligible. In contrast, downstream of the impingement point, term I (associated with the pressure gradient) and term IV (arising from pressure-gradient variations in the wall-normal direction) become significant. Term V (arising from density gradient) in (2.12) plays a crucial role downstream of the impingement point, as illustrated in figure 7. In contrast, DNS data from Ceci et al. (Reference Ceci, Palumbo, Larsson and Pirozzoli2023) indicate that the contribution from the turbulent normal stress,
$\overline {\rho }\,\widetilde {u'' u''}$
(term III), remains small throughout the domain, including the region around the impingement point.
Comparison of the mean momentum integral (2.12) with DNS data from Ceci et al. (Reference Ceci, Palumbo, Larsson and Pirozzoli2023).

Schlichting (Reference Schlichting1979) presented a momentum integral equation for compressible laminar boundary-layer flows, assuming that pressure remains constant across the boundary layer. As a result, his formulation is limited to laminar flows subjected to zero or weak pressure gradients. In contrast, (2.12) is more general and applicable to both laminar and turbulent compressible boundary layers under arbitrary pressure-gradient conditions.
By substituting the analytical expression for
$\widetilde {v}_e$
from (2.2) into the integral momentum (2.12), the latter can be recast into an alternative form, as detailed in the Appendix C:
\begin{align} \dfrac {\overline {\rho }_e \, \widetilde {u}_e \, \widetilde {v}_e}{\tau _{w\textit{all}}} = & \; H_{_{12}} \;+\; \dfrac { \overline {\rho }_e \, \widetilde {u\,}^2_e \,\delta _1 }{\tau _{w\textit{all}}}\, \dfrac {1}{H_{_{12}}} \dfrac {\textrm {d} H_{_{12}}}{\textrm {d}x} \; + \; \dfrac {H_{_{12}}}{\tau _{w\textit{all}}} \dfrac {\textrm {d}}{\textrm {d}x} \left ( \int _0^{\delta _e} (\overline {\rho }\, \widetilde {u'' u''\ }) \textrm {d}y\right ) \nonumber \\[10pt] & \; + \; \dfrac {H_{_{12}}}{\tau _{w\textit{all}}} \int _0^{\delta _e} \left ( \dfrac {\partial \overline {p}}{\partial x} + \overline {\rho }_e \widetilde {u}_e \dfrac {\textrm {d} \widetilde {u}_e}{\textrm {d}x} \right ) \textrm {d} y \; - \ \left ( 1 + \dfrac {\delta _e}{\delta _1} + H_{_{12}} \right ) \dfrac { \overline {\rho }_e \, \widetilde {u}_e \, \delta _1}{\tau _{w\textit{all}}} \, \dfrac {\textrm {d} \widetilde {u}_e}{\textrm {d}x} \; - \; \dfrac { \widetilde {u\,}^2_e \delta _e }{\tau _{w\textit{all}}}\, \dfrac {\textrm {d}\overline {\rho }_e}{\textrm {d}x}. \end{align}
Comparison of the analytical expression for wall shear stress, (2.14), with DNS data from Ceci et al. (Reference Ceci, Palumbo, Larsson and Pirozzoli2023).

Figure 8 presents a comparison between the analytical (2.14) and the DNS data from Ceci et al. (Reference Ceci, Palumbo, Larsson and Pirozzoli2023). Overall, the analytical predictions show good agreement with the DNS results, demonstrating the accuracy of the derived equation.
For compressible boundary-layer flows subjected to weak pressure gradients, only the term
$H_{_{12}}$
on the right side of (2.14) remains significant, while the contributions of the other terms become negligible. Consequently, for such flows, (2.14) simplifies to
$(\overline {\rho }_e \, \widetilde {u}_e \, \widetilde {v}_e)/\tau _{w\textit{all}} \approx \; H_{_{12}}$
, as illustrated in figure 8 for
$x/\delta _0 \lt 55$
. Note that the counterpart for incompressible zero-pressure-gradient turbulent boundary layer is
$({\overline {u}_e \, \overline {v}_e})/{u^2_\tau } \approx \; H_{_{12}}$
(see Wei & Klewicki Reference Wei and Klewicki2016, Reference Wei and Klewicki2023).
By straightforward manipulation, (2.14) can be recast into a form suitable for evaluating the skin-friction coefficient,
$C_f = \tau _{w\textit{all}}/(0.5 \, \overline {\rho }_e \, \widetilde {u\,}^2_e)$
, as
\begin{align} C_f = & \dfrac {2}{H_{12}} \left \{\, \dfrac {\widetilde {v}_e}{\widetilde {u}_e} - \dfrac {\delta _1}{H_{12}}\dfrac {\textrm {d}H_{12} }{\textrm {d}x} + \left ( 1 + \dfrac {\delta _e}{\delta _1} + H_{_{12}} \right ) \dfrac {\delta _1}{\widetilde {u}_e}\dfrac {\textrm {d}\widetilde {u}_e }{\textrm {d}x} \right. \nonumber \\[8pt] & - \left. \dfrac {H_{12}}{\overline {\rho }_e\, \widetilde {u\,}^2_e}\left ( \dfrac {\textrm {d}}{\textrm {d}x} \int _0^{\delta _e} \big(\overline {\rho }\, \widetilde {u'' u''} \big) \textrm {d}y + \int _0^{\delta _e} \left ( \dfrac {\partial \overline {p}}{\partial x} + \overline {\rho }_e \widetilde {u}_e \dfrac {\textrm {d} \widetilde {u}_e}{\textrm {d}x} \right ) \textrm {d} y\right ) \, + \dfrac {\delta _e}{\overline {\rho }_e} \dfrac {\textrm {d} \overline {\rho }_e}{\textrm {d}x} \right \}\!.\end{align}
This formulation expresses the skin-friction coefficient as a function of key boundary-layer parameters, including
$\widetilde {u}_e$
,
$\widetilde {v}_e$
,
$H_{_{12}}$
and others, which evolve along the streamwise direction. Figure 9 compares the simulated friction coefficient
$C_f$
with the analytical prediction from (2.15) and its individual components, showing good overall agreement.
Under weak pressure-gradient conditions,
$C_f$
is governed primarily by the first term on the right-hand side of (2.15). Downstream of the impingement point, where the DNS results indicate flow separation,
$C_f$
becomes more strongly influenced by the terms involving
$\widetilde {v}_e$
(first term on the right-hand side),
$\textrm {d}H_{_{12}}/\textrm {d}x$
(second term), the pressure gradient (third term) and the density gradient (last term). During and following boundary-layer separation,
$\widetilde {v}_e$
(or the first term) becomes negative–indicating entrainment of free-stream fluid into the boundary layer. At the same time,
$H_{_{12}}$
decreases rapidly in the streamwise direction, leading to a positive contribution from the second term. In compressible boundary-layer flows, density variations (last term) also play a significant role in determining the skin-friction coefficient, particularly in regions of strong pressure gradients.
Comparison of the analytical expression for the friction coefficient, (2.15), with DNS data from Ceci et al. (Reference Ceci, Palumbo, Larsson and Pirozzoli2023).

In free-shear turbulent flows, such as wakes and jets, the mean transverse velocity is much smaller than the mean axial velocity. Nevertheless, studies have demonstrated that it plays a key role in scaling turbulence quantities, including the turbulent shear stress (Wei & Livescu Reference Wei and Livescu2021; Wei, Livescu & Liu Reference Wei, Livescu and Liu2022). A similar situation arises in turbulent boundary-layer flows, where the mean wall-normal velocity is also much smaller than the streamwise velocity and is virtually impossible to measure directly in physical experiments. Consequently, the mean wall-normal velocity has often been overlooked in previous studies of boundary layers. Despite its small magnitude, the mean wall-normal velocity at the boundary-layer edge,
$\widetilde {v}_e$
, is closely related to the skin-friction coefficient, as shown in (2.15).
3. Summary
This study develops analytical expressions for the mean wall-normal velocity and a generalised Kármán–Pohlhausen momentum integral formulation that extends to compressible turbulent flows with arbitrary pressure gradients. In the limit of vanishing density variations, the incompressible relations are naturally recovered, demonstrating the generality of the formulation.
The derived analytical equations are validated against high-fidelity DNS data of shock-wave/boundary-layer interactions, demonstrating both accuracy and robustness. These formulations provide valuable tools for assessing and verifying numerical simulations of compressible flows.
Beyond validation, the analytical framework provides clear physical insight into how streamwise density gradients influence both the mean wall-normal velocity and the wall shear stress. The analysis explicitly demonstrates the impact of compressibility on the wall-normal velocity, emphasising the distinct dynamics of compressible turbulent boundary layers compared with their incompressible counterparts. The analytical equations further elucidate the relationship between the skin-friction coefficient and the mean wall-normal velocity in compressible turbulent boundary-layer flows.
Acknowledgements
We acknowledge that the results reported in this paper have been achieved with computational resources from EuroHPC JU Research Infrastructure resource Leonardo Booster based at CINECA, Casalecchio di Reno, Italy.
Funding
T.W. gratefully acknowledges support from the New Mexico Space Grant Consortium (NMSGC). Z.L. gratefully acknowledges support from the U.S. Department of Education under Award No. P116H240026. A.C. gratefully acknowledges financial support by Sapienza University of Rome under `Add SAPI Excellence Fellowship 2024’.
Declaration of interests
The authors report no conflict of interest.
Appendix A. Derivation of wall-normal velocity
Integrating (2.1) from
$y=0$
to
$y=\delta _e$
results in
\begin{align} 0 = & \int _0^{\delta _e} \dfrac {\partial (\overline {\rho }\, \widetilde {u})} {\partial x} \textrm {d} y + (\overline {\rho }\, \widetilde {v})\big |_0^{\delta _e} \nonumber \\[5pt] = & \frac {\textrm {d}}{\textrm {d}x} \int _0^{\delta _e} (\overline {\rho }\, \widetilde {u}) \textrm {d} y - (\overline {\rho }_e \, \widetilde {u}_e) \frac {\textrm {d}\delta _e}{\textrm {d}x} \; + \; \overline {\rho }_e \, \widetilde {v}_e \nonumber \\[5pt] = & \frac {\textrm {d}}{\textrm {d}x} \big ( \overline {\rho }_e \, \widetilde {u}_e (\delta _e - \delta _1) \big ) - \big(\overline {\rho }_e \, \widetilde {u}_e\big) \frac {\textrm {d}\delta _e}{\textrm {d}x} \; + \; \overline {\rho }_e \, \widetilde {v}_e, \nonumber \\[5pt] = & \frac {\textrm {d}}{\textrm {d}x} \big( \overline {\rho }_e \, \widetilde {u}_e \delta _e \big) - \frac {\textrm {d}}{\textrm {d}x} \big( \overline {\rho }_e \, \widetilde {u}_e \delta _1\big) - \big(\overline {\rho }_e \, \widetilde {u}_e\big) \frac {\textrm {d}\delta _e}{\textrm {d}x} \; + \; \overline {\rho }_e \, \widetilde {v}_e, \nonumber \\[5pt] = & \overline {\rho }_e \delta _e \frac {\textrm {d} \widetilde {u}_e}{\textrm {d}x} + \widetilde {u}_e \delta _e \frac {\textrm {d} \overline {\rho }_e}{\textrm {d}x} - \overline {\rho }_e \frac {\textrm {d}\big( \widetilde {u}_e \delta _1\big) }{\textrm {d}x} -\widetilde {u}_e \delta _1 \frac {\textrm {d} \overline {\rho }_e}{\textrm {d}x} \; + \; \overline {\rho }_e \, \widetilde {v}_e, \end{align}
where the Leibniz integral rule has been applied to interchange the derivative and integral operations. Through straightforward algebraic manipulation, (2.2) can be derived for
$\widetilde {v}_e$
.
Appendix B. Ratio of
$\boldsymbol{\mathrm{d} \overline {\rho }_e/\mathrm{d} x}$
and
$\boldsymbol{\mathrm{d} \widetilde {u}_e/\mathrm{d} x}$
At the boundary-layer edge, the streamwise mean momentum equation reduces to
Assuming that the flow at the boundary-layer edge can be approximated as isentropic, the relation
$ {\overline {p}_e}/{\overline {\rho }_e^\gamma } = \text{constant}$
holds, where
$\gamma = {C_p}/{C_v}$
is the ratio of specific heats, with
$C_p$
and
$C_v$
denoting the specific heats at constant pressure and constant volume, respectively. Differentiating this expression with respect to
$x$
yields
where
$R$
is the specific gas constant, and
$\widetilde {T}_e$
is the temperature at the boundary-layer edge. Substituting (B2) into (B1) gives
\begin{equation} \dfrac {\dfrac {1}{\overline {\rho }_e} \dfrac {\textrm {d} \overline {\rho }_e}{\textrm {d}x}}{ \dfrac {1}{\widetilde {u}_e} \dfrac {\textrm {d} \widetilde {u}_e}{\textrm {d}x} } \; \approx \; - {M}^2_e \end{equation}
where
${M}_e = \widetilde {u}_e/\sqrt {\vphantom{^{^2}}\gamma R \widetilde {T}_e}$
is the local Mach number at the boundary-layer edge. This expression establishes a relation between the density variations in supersonic boundary layers to the square of the edge Mach number (see Schlichting & Gersten Reference Schlichting and Gersten2016).
Appendix C. Derivation of momentum integral equation
The integral of the advective term
$\partial (\overline {\rho } \, \widetilde {u}\, \widetilde {u})/\partial x$
can be rearranged as
\begin{align} & \quad \int _0^{\delta _e} \dfrac {\partial (\overline {\rho } \, \widetilde {u}\, \widetilde {u})}{\partial x} \textrm {d}y \nonumber \\[5pt]& = \dfrac {\textrm {d}}{\textrm {d}x} \int _0^{\delta _e} (\overline {\rho } \, \widetilde {u}\, \widetilde {u}) \textrm {d}y - \overline {\rho }_e\widetilde {u\,}^2_e \dfrac {\textrm {d} \delta _e}{\textrm {d}x} \nonumber \\[5pt]& = \dfrac {\textrm {d}}{\textrm {d}x} \big ( \big( \overline {\rho }_e\widetilde {u\,}^2_e \big) \big(\delta _e - \delta _1 - \delta _2 \big)\big ) - \overline {\rho }_e\widetilde {u\,}^2_e \dfrac {\textrm {d} \delta _e}{\textrm {d}x} \nonumber \\[5pt]& = \delta _e \dfrac {\textrm {d}\big(\overline {\rho }_e\widetilde {u\,}^2_e \big)}{\textrm {d}x} - \dfrac {\textrm {d}\big( \overline {\rho }_e \,\widetilde {u\,}^2_e \delta _1 \big) }{\textrm {d}x} - \dfrac {\textrm {d} \big( \overline {\rho }_e \,\widetilde {u\,}^2_e \delta _2 \big) }{\textrm {d}x}\nonumber \\[5pt]& = 2 \overline {\rho }_e \widetilde {u}_e \delta _e \dfrac {\textrm {d} \widetilde {u}_e}{\textrm {d}x} + \widetilde {u\,}^2_e \delta _e \dfrac {\textrm {d} \overline {\rho }_e}{\textrm {d}x} - \widetilde {u}_e \delta _1 \dfrac {\textrm {d} \big(\overline {\rho }_e \widetilde {u}_e \big)}{\textrm {d}x} - \overline {\rho }_e \widetilde {u}_e \dfrac {\textrm {d} \big(\widetilde {u}_e \delta _1 \big)}{\textrm {d}x} - \dfrac {\textrm {d} \big( \overline {\rho }_e \,\widetilde {u\,}^2_e \delta _2 \big) }{\textrm {d}x}. \end{align}
Here, the definition of
$\delta _2$
and the Leibniz integral rule are applied to simplify the expression.
By applying the boundary condition and utilising (2.2) to express
$\widetilde {v}_e$
, the integral of the advective term
$\partial (\overline {\rho } \, \widetilde {u}\, \widetilde {v})/\partial x$
becomes
\begin{align} \overline {\rho }_e \widetilde {u}_e \widetilde {v}_e & = \overline {\rho }_e \widetilde {u}_e \left \{ - {\delta _e} \dfrac {\mathrm{d} \widetilde {u}_e}{\mathrm{d} x} \;+\; \dfrac {\mathrm{d} (\widetilde {u}_e\delta _1)}{\mathrm{d} x} - \dfrac {\big(\delta _e - \delta _1 \big) \widetilde {u}_e}{\overline {\rho }_e} \dfrac {\textrm {d} \overline {\rho }_e}{\textrm {d}x} \right \} \nonumber \\[5pt]& = - \overline {\rho }_e \widetilde {u}_e \delta _e \dfrac {\mathrm{d} \widetilde {u}_e}{\mathrm{d} x} + \overline {\rho }_e \widetilde {u}_e \dfrac {\mathrm{d} {\big(\widetilde {u}_e \delta _1 \big)}}{\mathrm{d} x} - \widetilde {u}^2_e \delta _e \dfrac {\mathrm{d} \overline {\rho }_e}{\mathrm{d} x} + \widetilde {u}^2_e \delta _1 \dfrac {\mathrm{d} \overline {\rho }_e}{\mathrm{d} x}. \end{align}
Combining (C1) and (C2) leads to the momentum integral (2.12).
To derive (2.14) for
$\overline {\rho }_e \, \widetilde {u}_e \, \widetilde {v}_e/H_{_{12}}$
, we rewrite the term
\begin{align} \dfrac {\textrm {d}}{\textrm {d}x} \big(\overline {\rho }_e\, \widetilde {u\,}^2_e \, \delta _2 \big) & = \dfrac {\textrm {d}}{\textrm {d}x} \left ( \dfrac {\overline {\rho }_e\, \widetilde {u\,}^2_e \, \delta _1}{H_{_{12}}} \right ) \nonumber \\[8pt] & = \dfrac {H_{_{12}}\dfrac {\textrm {d} \big(\overline {\rho }_e\, \widetilde {u\,}^2_e \, \delta _1 \big)}{\textrm { d}x} - \overline {\rho }_e\, \widetilde {u\,}^2_e \, \delta _1 \dfrac {\textrm {d} H_{_{12}}}{\textrm {d}x} }{ H^2_{_{12}}} \nonumber \\[8pt] & = \dfrac {\overline {\rho }_e \, \widetilde {u}_e \, \widetilde {v}_e}{H_{_{12}}} + \dfrac {\widetilde {u}_e \big(\delta _e + \delta _1 \big) }{ H_{_{12}}} \dfrac {\textrm {d} \big(\overline {\rho }_e \widetilde {u}_e \big)}{\textrm {d}x} - \dfrac {\widetilde {u\,}^2_e \delta _1}{ H_{_{12}}} \dfrac {\textrm {d} \overline {\rho }_e}{\textrm {d}x} - \dfrac {\overline {\rho }_e \widetilde {u\,}^2_e \delta _1}{ H^2_{_{12}} } \dfrac {\textrm {d}H_{_{12}}}{\textrm {d}x}. \end{align}
The remaining steps in the derivation follow straightforwardly.














