This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Revisiting Crossflow-Based Stabilization in Channel Flows

Muhammad Abdullah muhabd@seas.upenn.edu    George I. Park Corresponding author gipark@seas.upenn.edu Department of Mechanical Engineering & Applied Mechanics, University of Pennsylvania.
Abstract

Stabilization schemes in wall-bounded flows often invoke fluid transpiration through porous boundaries. While these have been extensively validated for external flows, their efficacy in channels, particularly from the standpoint of non-modal perturbations, is yet to be demonstrated. Here, we show that crossflow strengths previously considered “ideal” for optimizing stability in channels in fact admit strong non-modal energy amplification. We begin by supplementing existing modal calculations and then show via the resolvent that extremely strong and potentially unfeasible crossflows are required to suppress non-modal growth in linearly stable regimes. Investigation of unforced algebraic growth paints a similar picture. Here, a component-wise budget analysis reveals that energy redistribution through pressure-velocity correlations plays an important role in driving energy growth/decay. The superposition of a moving wall is also considered, and it is shown that while energy amplification generally worsens, it can potentially be suppressed beyond critical strengths of the crossflow. However, these flow regimes are marred by rapidly declining mass transport, rendering their ultimate utility questionable. Our results suggest that crossflow-based stabilization might not be useful in internal flows.

preprint: APS/123-QED

I Introduction

The control of fluid flows in channels is among the most complex open problems in classical theory, a precise understanding of which is yet to be established despite multiple decades of research. The shift from a benign laminar state to the complex chaos of turbulence is, to all appearances, highly non-linear, and incurs key structural and mechanistic changes in the processes driving mass and momentum transport. These modifications, depending on the exact setting, can be both desirable or undesirable, so that strategies to suppress – or even instigate – them are typically of significant interest. In this work, our aim is to reassess the efficacy of one such scheme: the superposition of a homogeneous, vertical (i.e., in the wall-normal direction) crossflow, such as that generated by a steady, spatially uniform transpiration of fluid through a porous boundary (or boundaries). Such systems have widespread utility, for example, in filtration processes, medical apparatus, and various geophysical and astrophysical phenomena, although, surprisingly, it is applications in external flows that are more frequently cited in the literature (e.g. modulating flow separation or delaying inflectional instabilities over swept wings; see [1] or [2]).

To preface with a broader perspective, the debate on transition and instability in fluid flows has undoubtedly been a long-standing one. Here, the standard analysis proceeds by deriving an eigenvalue problem from the equations of motion linearized around some base state of interest, usually laminar. Eigenmodes with positive growth rates suffer exponential amplification in time, and a critical value, RecRe_{c}, of the Reynolds number defines the threshold below which such an instability cannot survive. For simple parabolic profiles, such as those encountered in rectilinear pressure-driven flows, this approach predicts Rec5772Re_{c}\approx 5772, with the Reynolds number defined based on the channel half-height hh and the center-line velocity UpU_{p}. As expected, the inclusion of crossflow, described by its own Reynolds number, say RvR_{v}, dramatically alters the picture, and the first few treatments may perhaps be attributed to [3] and [4]. Both authors resolved, at least for small to moderate RvR_{v}, a significant increase in RecRe_{c} (again based on UpU_{p}), suggesting that the overarching influence of a net throughflow was very much stabilizing. Evidently, this remained the prevailing opinion until [5] proposed an alternative non-dimensionalization of the dynamical variables, setting the “actual” streamwise maximum as opposed to UpU_{p} as the reference velocity unit. Because the injected wall-normal flux dampens the base streamwise component, this framework, they argued, preserved the distinction between the base velocity magnitude and the base velocity distribution when investigating stability. With this scaling, [5] demonstrated pockets of stabilization and destabilization, called “branches” in their terminology. To recount their example of choice, the wavenumber α=1\alpha=1 at Re=6000Re=6000, known to exhibit a positive growth rate for Poiseuille flow, becomes increasingly stable until a turning point of Rv3.4R_{v}\approx 3.4. Thereafter, the trend reverses and the instability is restored for Rv42.5R_{v}\gtrapprox 42.5, only to be suppressed once again for Rv𝒪(102)R_{v}\approx\mathcal{O}(10^{2}).

Apart from the initial study by [3], the work of [6] appears to be the first to provide a rigorous extension to the case of moving (upper) boundaries, the so-called Couette-Poiseuille flows, which present interesting stability characteristics in and of themselves. In particular, adopting the dimensionless ratio ξ=Uc/Up\xi=U_{c}/U_{p} (the equivalent proxy in [6] is kk), where UcU_{c} is the wall speed, [7] showed that complete linear stability – RecRe_{c}\to\infty – could be achieved for ξ0.7\xi\gtrapprox 0.7, termed the “cutoff”. This is, of course, not surprising since the Couette flow itself is known to be linearly stable to infinitesimal perturbations for various rheological models; see, for example, [8]. At any rate, in the presence of crossflow, [6] reported trends largely similar to the ξ=0\xi=0 case, except that the cutoff threshold could now be reduced to, say, ξ0.2\xi\approx 0.2 using intermediate RvR_{v} (a claim that, as they noted, was only valid for Re106Re\leq 10^{6}, the upper limit of their numerical study). As special instances of this base flow, “generalized” Couette-like profiles have also been investigated by [9]; these are precisely linear and develop when the influence of the crossflow in the streamwise momentum budget is neutralized by a suitably chosen pressure gradient. In the presence of viscosity, these profiles exhibit complete linear stability up to Rv24R_{v}\approx 24, beyond which the critical Reynolds number can descend to as low as the relatively mild Rec725Re_{c}\approx 725 [9]. Even in the inviscid (Rayleigh) limit, excellently treated by [10], a perturbation has the potential to grow. Finally, we remark that the spatially developing (i.e., in the streamwise direction) analog has also been of interest and has been rigorously explored using Berman-type similarity solutions in the works of [11] and [12].

Consequently, crossflow-laden channel flows demonstrate rich stability portraits and form an interesting testbed for studying transition and disturbance amplification. From a purely application-oriented point of view, previous work, particularly on spatially non-developing cases, can be summarized in the statement by [6], who posited that modest wall velocities ξ\xi coupled with weak-to-moderate crossflows strike the optimal balance between stability and practicality. We argue here – and this is our main contribution – that this is not necessarily the case. In particular, we cite the non-normality of the linearized operator, typical of inertia-dominated flows, as the main culprit. Since the unstable eigenvalues are only really relevant at sufficiently large time horizons, when all other modal contributions have more or less decayed, one can rarely accurately judge the stability of a system from its spectrum alone. In shear flows, non-modal growth mechanisms are generally more dominant and therefore more informative, which is a well-established result in hydrodynamic stability theory [13, 14, 15, 16]. Surprisingly, despite their apparent simplicity, a comprehensive analysis on non-modal perturbations in (internal) crossflow-laden flows is yet to be performed, at least to the best of our knowledge. One relevant work in this regard seems to be that of [17], who investigated transient, unforced, energy amplification using the base flow of [5]. However, the scope of their study was rather narrow, and, as we discuss below, leaves much room for further investigation. On the other hand, the single-plate, zero-pressure-gradient, analog – the so-called asymptotic suction boundary layer (ASBL) – has received much more attention [18, 19, 20], and we make comparisons where appropriate.

We structure this paper as follows.  Section II introduces the base flow and describes our analysis frameworks. Section III augments previous discussion on eigenvalues, while Section IV presents a systematic summary of our non-modal calculations, with a particular focus on the purely pressure-driven case. Section V investigates the effects of wall motion, while Section VI offers conclusions.

II Problem Formulation

II.1 The Base Flow

We begin our analysis with the standard Navier-Stokes equations. In dimensional terms, these read

D𝒖Dt\displaystyle\dfrac{\mathrm{D}\bm{u}}{\mathrm{D}t} =1ρ(𝖳),\displaystyle=\dfrac{1}{\rho}\left(\nabla\cdot\mathsf{T}\right), (1)
𝒖\displaystyle\nabla\cdot\bm{u} =0.\displaystyle=0. (2)

where D/Dt/t+(𝒖)\mathrm{D}/\mathrm{D}t\equiv\partial/\partial t+\left(\bm{u}\cdot\nabla\right) is the total derivative, 𝖳=p𝖨+2μ𝖾\mathsf{T}=-p\mathsf{I}+2\mu\mathsf{e} is the Cauchy stress, and 𝖾=(𝒖+(𝒖))/2\mathsf{e}=\left(\nabla\bm{u}+\left(\nabla\bm{u}\right)^{\intercal}\right)/2 is the symmetric rate-of-strain tensor.  Here, Equation (2) encodes the usual incompressibility constraint. The system of interest in this study can be summarized in the schematic presented in Figure 1(a)(a). An incompressible Newtonian fluid, confined between two rigid, porous, infinite boundaries positioned at y=±hy=\pm h, is driven by a constant streamwise pressure gradient dp/dx>0-\mathrm{d}p/\mathrm{d}x>0. A vertical crossflow is imposed by introducing a uniform injection, ViV_{i}, and suction, VsV_{s}, of fluid through the lower and upper walls, respectively. We assume a fully-developed flow, so that /x=/z0\partial/\partial x=\partial/\partial z\equiv 0 and the compatibility of the boundary conditions with the continuity equation demands Vi=Vs=V0V_{i}=V_{s}=V_{0}.

Refer to caption
Figure 1: (a)(a), a diagram of the present flow geometry; (b)(b), streamwise velocity profiles for Rv=0R_{v}=0 (dashed line) to Rv=15R_{v}=15 in increments of 2.5. Lighter to darker shades represent increasing RvR_{v}. Note that, contrary to the convention adopted by [5], the direction of the crossflow here is from bottom to top.

As noted earlier, the sensible selection of a reference velocity for this system is rather nuanced. The usual (and admittedly immediate) choice is UpU_{p}, the center-line velocity for the Poiseuille flow in the absence of crossflow. However, since the streamwise velocity is directly coupled to – and decreases – with the crossflow strength, for sufficiently large V0V_{0}, UpU_{p} is not a physically meaningful metric. Therefore, following [5], we adopt UmU_{m}, the streamwise maximum, as our characteristic velocity. With the channel half-width hh as our length scale, the associated Reynolds number becomes Re=Umh/νRe=U_{m}h/\nu, where ν\nu is the kinematic viscosity, and the dimensionless form of the governing equations can be written as

𝒖t+(𝒖)𝒖\displaystyle\bm{u}_{t}+\left(\bm{u}\cdot\nabla\right)\bm{u} =p+1Re2𝒖,\displaystyle=-\nabla p+\dfrac{1}{Re}\nabla^{2}\bm{u}, (3)
𝒖\displaystyle\nabla\cdot\bm{u} =0.\displaystyle=0. (4)

Furthermore, with the crossflow Reynolds number Rv=V0h/νR_{v}=V_{0}h/\nu, the stationary laminar profile becomes

𝑼=(U(y,Rv)V0/Um0)=(U(y,Rv)Rv/Re0),\bm{U}=\begin{pmatrix}U\left(y,R_{v}\right)&V_{0}/U_{m}&0\end{pmatrix}^{\intercal}=\begin{pmatrix}U\left(y,R_{v}\right)&R_{v}/Re&0\end{pmatrix}^{\intercal}, (5)

where

U(y,Rv)=Rv(ycschRveRvy+cothRv)RvcothRv1log(RvcschRv).U\left(y,R_{v}\right)=\frac{R_{v}(y-\operatorname{csch}R_{v}e^{R_{v}y}+\coth R_{v})}{R_{v}\coth R_{v}-1-\log\left(R_{v}\operatorname{csch}R_{v}\right)}. (6)

Figure 1(b)(b) illustrates UU plotted against the non-dimensional yy-coordinate for some representative values of RvR_{v}. Since the (non-dimensional) streamwise maximum has been fixed to unity, the primary effect of a stronger crossflow is to skew the profile in the positive wall-normal direction. Consequently, as noted by [5], a very thin boundary layer develops near the upper (suction) wall, leaving an approximately linear profile throughout the remainder of the channel. In fact, one can show that

limRvU(y,Rv)=12(1+y),\lim_{R_{v}\to\infty}U\left(y,R_{v}\right)=\dfrac{1}{2}\left(1+y\right), (7)

in the channel bulk, which, save for the different top-wall boundary condition, is precisely the well-known Couette profile for viscous flow between two parallel surfaces in relative motion. Thus, as RvR_{v}\to\infty, complete linear stability may be expected. On the other hand, the absence of crossflow, Rv=0R_{v}=0, yields the Poiseuille flow, although establishing this directly from Equation (6) requires additional care, since U(y,Rv)U\left(y,R_{v}\right) is not defined in this limit. In fact, Rv=0R_{v}=0 is a removable singularity for UU, and the appropriate power expansion

U(y,Rv)=(1y2)+Rv3(yy3)+O(Rv2),U\left(y,R_{v}\right)=(1-y^{2})+\dfrac{R_{v}}{3}(y-y^{3})+O(R_{v}^{2}), (8)

informs the smooth continuation of U(y,Rv)U\left(y,R_{v}\right) over all RvR_{v}\in\mathbb{R}.

II.2 The Linearized Equations

To formulate the stability problem, we rewrite the Navier-Stokes equations in operator format

𝝌t=g(𝝌)\dfrac{\partial\bm{\chi}}{\partial t}=g\left(\bm{\chi}\right) (9)

where 𝝌\bm{\chi} is the state vector and gg is a non-linear differential operator. Representing the base profile as 𝝌¯\overline{\bm{\chi}}, we consider a set of infinitesimal fluctuations 𝝌\bm{\chi}^{\prime} and perform a Jacobian linearization of gg around 𝝌¯\overline{\bm{\chi}}. The result is a system of linearized evolution equations for 𝝌\bm{\chi}^{\prime}, which, in the traditional fourth-order formulation involving perturbations around the base state of the wall-normal velocity/vorticity (v,η)\left(v^{\prime},\eta^{\prime}\right), reads

[(t+Ux+Vy)2d2Udy2x1Re4]v\displaystyle\left[\left(\dfrac{\partial}{\partial t}+U\dfrac{\partial}{\partial x}+V\dfrac{\partial}{\partial y}\right)\nabla^{2}-\dfrac{\mathrm{d}^{2}U}{\mathrm{d}y^{2}}\dfrac{\partial}{\partial x}-\dfrac{1}{Re}\nabla^{4}\right]v^{\prime} =0,\displaystyle=0, (10)
[t+Ux+Vy1Re2]η+dUdyvz\displaystyle\left[\dfrac{\partial}{\partial t}+U\dfrac{\partial}{\partial x}+V\dfrac{\partial}{\partial y}-\dfrac{1}{Re}\nabla^{2}\right]\eta^{\prime}+\dfrac{\mathrm{d}U}{\mathrm{d}y}\dfrac{\partial v^{\prime}}{\partial z} =0.\displaystyle=0. (11)

Here, 4=2(2)\nabla^{4}\left\langle\cdot\right\rangle=\nabla^{2}\left(\nabla^{2}\left\langle\cdot\right\rangle\right) is the standard bi-harmonic operator acting in Cartesian space, and UU and VV are the streamwise and wall-normal components of the background flow, Equation (5). The appropriate boundary conditions follow from the non-slip and impermeability restrictions at the wall

v|y=±1=η|y=±1=v/y|y=±1=0.\left.v^{\prime}\right|_{y=\pm 1}=\left.\eta^{\prime}\right|_{y=\pm 1}=\left.\partial v^{\prime}/\partial y\right|_{y=\pm 1}=0. (12)

In what follows, the prime notation is dropped with the understanding that all discussion is based on the disturbance field, unless explicitly noted. We exploit the spatial homogeneity in the wall-parallel directions by applying a wave-like ansatz

(v,η)=(v~(y,t),η~(y,t))ei(αx+βz),\left(v,\eta\right)=\left(\widetilde{v}\left(y,t\right),\widetilde{\eta}\left(y,t\right)\right)e^{i\left(\alpha x+\beta z\right)}, (13)

where α,β\alpha,\beta\in\mathbb{R} represent the spatial wavenumbers. The result is the Orr-Sommerfeld-Squire initial-value problem

𝖫𝒒=t𝖬𝒒𝒒t=(𝖬1𝖫)𝒒𝒒t=𝖲𝒒.\mathsf{L}\bm{q}=-\dfrac{\partial}{\partial t}\mathsf{M}\bm{q}\implies\dfrac{\partial\bm{q}}{\partial t}=(-\mathsf{M}^{-1}\mathsf{L})\bm{q}\implies\dfrac{\partial\bm{q}}{\partial t}=\mathsf{S}^{\prime}\bm{q}. (14)

In Equation (14), 𝒒=(v~η~)\bm{q}=\begin{pmatrix}\widetilde{v}&\widetilde{\eta}\end{pmatrix}^{\intercal} and, by denoting 𝖣/y\mathsf{D}\equiv\partial/\partial y and k2=α2+β2k^{2}=\alpha^{2}+\beta^{2}, the block operators 𝖫\mathsf{L} and 𝖬\mathsf{M} are

𝖫=(𝖫OS0iβ𝖣U𝖫SQ),𝖬=(𝖣2k2001),\mathsf{L}=\begin{pmatrix}\mathsf{L}_{\mathrm{OS}}&0\\ i\beta\mathsf{D}U&\mathsf{L}_{\mathrm{SQ}}\end{pmatrix},\quad\mathsf{M}=\begin{pmatrix}\mathsf{D}^{2}-k^{2}&0\\ 0&1\end{pmatrix}, (15)

where

𝖫OS\displaystyle\mathsf{L}_{\mathrm{OS}} =(iαU+V𝖣)(𝖣2k2)iα𝖣2U1Re(𝖣2k2)2,\displaystyle=\left(i\alpha U+V\mathsf{D}\right)(\mathsf{D}^{2}-k^{2})-i\alpha\mathsf{D}^{2}U-\dfrac{1}{Re}(\mathsf{D}^{2}-k^{2})^{2}, (16)
𝖫SQ\displaystyle\mathsf{L}_{\mathrm{SQ}} =iαU+V𝖣1Re(𝖣2k2).\displaystyle=i\alpha U+V\mathsf{D}-\dfrac{1}{Re}(\mathsf{D}^{2}-k^{2}). (17)

The condition for Hurwitz stability can then be written as (λ)<0\mathfrak{R}\left(\lambda\right)<0 for all λΛ(𝖲)\lambda\in\Lambda\left(\mathsf{S}^{\prime}\right), where Λ(𝖲)\Lambda\left(\mathsf{S}^{\prime}\right) denotes the spectrum of 𝖲\mathsf{S}^{\prime}. Typically, these eigenvalues are subsequently related to a set of complex circular frequencies ω=ωr+iωi\omega=\omega_{r}+i\omega_{i}, such that λ=iω\lambda=-i\omega, rephrasing the stability constraint as ωi<0\omega_{i}<0 [21]. This completes the definition of the normal mode in Equation (13), that is,

(v,η)=(v~(y,t),η~(y,t))ei(αx+βz)=(v^(y),η^(y))ei(αx+βzωt).\left(v,\eta\right)=\left(\widetilde{v}\left(y,t\right),\widetilde{\eta}\left(y,t\right)\right)e^{i\left(\alpha x+\beta z\right)}=\left(\hat{v}\left(y\right),\hat{\eta}\left(y\right)\right)e^{i\left(\alpha x+\beta z-\omega t\right)}. (18)

In this approach, we are particularly interested in the manifold of neutral stability, defined here by the locus

ωi(α,β,Re,Rv)=0.\omega_{i}\left(\alpha,\beta,Re,R_{v}\right)=0. (19)

It is well-known, however, that a naive analysis of the spectral abscissa in this way is often very limiting, especially in shear flows, because it provides predictions of flow stability only at asymptotically long times. In contrast, significant energy growth can be initiated by non-modal mechanisms operating on much shorter time scales, potentially violating the linear assumption prior to the emergence of the unstable eigenmode, if any, and encouraging the onset of non-linear interactions (possibly even turbulence). This amplification usually supersedes the often weak growth rates associated with modal solutions and therefore evades identification in a treatment based solely on eigenvalues [13, 21]. In fact, even in the simplest examples of shear flows, the transition to turbulence is highly sub-critical, that is, it occurs well below any threshold for the Reynolds number as predicted by eigenvalue theory. A model for this behavior lies in the non-normality of 𝖲\mathsf{S}^{\prime}, whose commutator with its adjoint 𝖲{\mathsf{S}^{\prime}}^{\dagger} need not vanish

[𝖲,𝖲]=𝖲𝖲𝖲𝖲𝟢.[\mathsf{S}^{\prime},{\mathsf{S}^{\prime}}^{\dagger}]=\mathsf{S}^{\prime}{\mathsf{S}^{\prime}}^{\dagger}-{\mathsf{S}^{\prime}}^{\dagger}\mathsf{S}^{\prime}\neq\mathsf{0}. (20)

As a corollary, 𝖲\mathsf{S}^{\prime} admits oblique (non-orthogonal) eigenfunctions that, in a basis expansion, can allow for finite-time energy growth, evidently in both sub- and super-critical parameter regimes. This (purely linear) mechanism is often identified as a likely motivator for the so-called bypass route to turbulence [22, 16], and has even found utility in elucidating key physical mechanisms driving fully turbulent flows; see, for example, [23, 24, 25].

To explore the potential for non-modal growth here, we work from the most general case, that is, when the initial-value problem in Equation (14) is driven by a time-harmonic forcing 𝖥(y,t)=𝖿(y)eiυt\mathsf{F}\left(y,t\right)=\mathsf{f}\left(y\right)e^{-i\upsilon t}. Thus, we write

𝒒t=i𝖲𝒒+𝖥𝒒t=i𝖲𝒒+𝖿(y)eiυt,\dfrac{\partial\bm{q}}{\partial t}=-i\mathsf{S}\bm{q}+\mathsf{F}\implies\dfrac{\partial\bm{q}}{\partial t}=-i\mathsf{S}\bm{q}+\mathsf{f}\left(y\right)e^{-i\upsilon t}, (21)

where υ\upsilon\in\mathbb{C} and 𝖲=i𝖲\mathsf{S}=i\mathsf{S}^{\prime}. Since 𝖲\mathsf{S}^{\prime} is time-independent, the system response is

𝒒(t)=Φ(t,0)𝒒(0)ieiυt(𝖲υ𝖨)1𝖿(y),\bm{q}\left(t\right)=\mathsf{\Phi}\left(t,0\right)\bm{q}\left(0\right)-ie^{-i\upsilon t}\left(\mathsf{S}-\upsilon\mathsf{I}\right)^{-1}\mathsf{f}\left(y\right), (22)

where Φ(t,0)ei𝖲t\mathsf{\Phi}\left(t,0\right)\equiv e^{-i\mathsf{S}t} is the solution propagator, which maps the initial state of the system 𝒒0\bm{q}_{0} at t=0t^{\prime}=0 to its value at t=tt^{\prime}=t, and 𝖱(𝖲υ𝖨)1\mathsf{R}\equiv\left(\mathsf{S}-\upsilon\mathsf{I}\right)^{-1} is the resolvent of 𝖲\mathsf{S}. Consider now the special case where 𝖥=𝟢\mathsf{F}=\mathsf{0}; under appropriate norms in the input and output spaces, the gain can be defined as

G(α,β,Re,Rv,t)=sup𝒒00𝒒out2𝒒0in2,G\left(\alpha,\beta,Re,R_{v},t\right)=\sup_{\bm{q}_{0}\neq 0}\dfrac{\left\lVert\bm{q}\right\rVert_{\mathrm{out}}^{2}}{\left\lVert\bm{q}_{0}\right\rVert_{\mathrm{in}}^{2}}, (23)

and represents, at time tt, the largest energy growth optimized over all possible initial conditions having unit norm [15]. As a physically meaningful metric, the energy norm is adopted here (see, for example, [22]), so that in=out=E\left\lVert\cdot\right\rVert_{\mathrm{in}}=\left\lVert\cdot\right\rVert_{\mathrm{out}}=\left\lVert\cdot\right\rVert_{E} and

𝒒E2=11v~v~+1k2(η~η~+𝖣v~𝖣v~)dy,\left\lVert\bm{q}\right\rVert_{E}^{2}=\int_{-1}^{1}\widetilde{v}^{\dagger}\widetilde{v}+\dfrac{1}{k^{2}}\left(\widetilde{\eta}^{\dagger}\widetilde{\eta}+\mathsf{D}\widetilde{v}^{\dagger}\mathsf{D}\widetilde{v}\right)\,\mathrm{d}y, (24)

where we have restricted attention to the real component of the disturbance. Therefore, it follows that G=Φ(t,0)E2G=\left\lVert\mathsf{\Phi}\left(t,0\right)\right\rVert_{E}^{2}. Hereafter, there are two equally valid approaches: (i), convert directly to a weighted 2-norm through a similarity transformation incorporating information on the non-uniform grid spacing [14] or (ii), project onto the space of eigenfunctions using the Gramian matrix 𝖬=𝖶𝖶0\mathsf{M}=\mathsf{W}^{\dagger}\mathsf{W}\succ 0 [15]. At any rate, only a standard singular value decomposition is required. In this setting, the right and left singular functions represent, respectively, the initial condition and response pair that achieve the gain GG at time tt.

On the other hand, if 𝖥𝟢\mathsf{F}\neq\mathsf{0}, then assuming asymptotic stability of 𝖲\mathsf{S}^{\prime}, the long-time response reduces to

𝒒(t)=ieiυt(𝖲υ𝖨)1𝖿(y)\bm{q}\left(t\right)=-ie^{-i\upsilon t}\left(\mathsf{S}-\upsilon\mathsf{I}\right)^{-1}\mathsf{f}\left(y\right) (25)

Here, the resolvent 𝖱\mathsf{R} becomes the quantity of interest, encoding important information about the spectral properties of the system. In particular, if the excitation frequency is resonant, so that υΛ(𝖲)\upsilon\in\Lambda\left(\mathsf{S}\right), the resolvent is ill-defined and its norm 𝖱E\left\lVert\mathsf{R}\right\rVert_{E} tends to infinity. However, for systems whose dynamics are governed by non-normal operators, this norm may be large even when υ\upsilon is merely pseudoresonant, that is, υΛ(𝖲)\upsilon\notin\Lambda\left(\mathsf{S}\right). If υ\upsilon is restricted to real frequencies, the analysis can, in a sense, be physically motivated, with the resolvent describing the perturbed linear operator resulting from, for example, exogeneous vibrations or experimental imperfections [13]. Generalizing to the complex plane allows for the definition of the so-called ϵ\epsilon-pseudospectrum, the set of values given by

Λϵ(𝖲)={υ:𝖱E1/ϵ}\Lambda_{\epsilon}\left(\mathsf{S}\right)=\left\{\upsilon\in\mathbb{C}\colon\left\lVert\mathsf{R}\right\rVert_{E}\geq 1/\epsilon\right\} (26)

For normal operators, the ϵ\epsilon-pseudospectra, at least under an appropriate 2-norm as chosen here, correspond to closed ϵ\epsilon-balls centered around the spectrum. Non-normality, on the other hand, allows for more complicated pseudospectral boundaries, and the extent to which they protrude into the stable half of the complex plane can have important implications for energy growth in the unforced initial-value problem – see, for example, [26] or [14].

To discretize the stability operators, we implement a standard Chebyshev pseudospectral method written in Python.  Our in-house solver has been extensively validated against classical rectilinear geometries, including the (Newtonian and Oldroyd-B) Poiseuille flow, the Couette flow, and the Couette-Poiseuille flow, and has recently been used in the linear analysis of three-dimensional boundary layers [27]. In most of the calculations presented here, unless specifically noted, we employed N=256N=256 Chebyshev modes, resulting in a (2N+2)×(2N+2)\left(2N+2\right)\times\left(2N+2\right) matrix system. We determined that this resolution was sufficient – and occasionally necessary – to achieve convergence for the values of RvR_{v} treated here. All modal and non-modal calculations were performed in SciPy. To accelerate our output, we additionally scaled to an embarrassingly parallel workload using the Python module Ray [28]. Finally, the ϵ\epsilon-pseudospectra were created using Eigentools [29].

III Modal Analysis

We begin by supplementing classical perspectives on the modal stability of this flow. We define the critical Reynolds number, RecRe_{c}, as the smallest value of the Reynolds number below which the flow is linearly stable. At this threshold, a disturbance, described by the critical wavenumber (αc,βc)\left(\alpha_{c},\beta_{c}\right) must achieve neutral stability. Despite a non-zero mean velocity component in the wall-normal direction, Squire’s transformation [30] remains applicable, allowing us to set βc=0\beta_{c}=0 a priori and restrict attention to transversal modes. In contrast to the purely streamwise (V=0V=0) case, however, the Squire operator (see Equations (15) and (17)) cannot be ignored, since the associated eigenmodes need not be damped. To confirm this, we follow [15] by converting to a formulation involving the complex phase speed, c=ω/α=cr+icic=\omega/\alpha=c_{r}+ic_{i}, and multiplying the homogeneous Squire problem by η\eta. Integrating across yy, leveraging the associated Dirichlet conditions, and isolating imaginary components, we find

ci11|η^|2dy=[11η^𝖣η^dy]Vα1αRe11|𝖣η^|2+k2|η^|2dyc_{i}\int_{-1}^{1}\left|\hat{\eta}\right|^{2}\mathrm{d}y=-\mathfrak{R}\left[\int_{-1}^{1}\hat{\eta}^{\dagger}\mathsf{D}\hat{\eta}\,\mathrm{d}y\right]\dfrac{V}{\alpha}-\dfrac{1}{\alpha Re}\int_{-1}^{1}\left|\mathsf{D}\hat{\eta}\right|^{2}+k^{2}\left|\hat{\eta}\right|^{2}\,\mathrm{d}y (27)

Assuming α>0\alpha>0, the second term on the right-hand side of Equation (27) is necessarily negative, although the first may or may not be. The latter, of course, vanishes when V=0V=0, ensuring ci<0c_{i}<0. Thus, for our purposes, we consider the complete Orr-Sommerfeld-Squire system when investigating modal stability.

Refer to caption
Figure 2: At Re=6000Re=6000, the growth rates ωi\omega_{i} versus RvR_{v} for the most unstable eigenmode corresponding to α{0.5,1,1.5,2}\alpha\in\left\{0.5,1,1.5,2\right\}. The gray dashed line denotes the stability boundary ωi=0\omega_{i}=0. For α=1\alpha=1, the Branch-I and Branch-II RvR_{v} have been emphasized through circles.

To preface the ensuing discussion, we cite a key finding from [5], referring in the process to Figure 2, which plots at Re=6000Re=6000 the growth rate ωi\omega_{i} corresponding to the least stable eigenmode for various representative choices of the streamwise wavenumber α\alpha. [5] focused specifically on the case α=1\alpha=1, which is unstable for the Poiseuille flow (Rv=0R_{v}=0), and showed that it experienced stabilization followed by destabilization for small to intermediate RvR_{v}, see Figure 2. Subsequently, at the so-called “Branch-I” RvR_{v} (42.91\approx 42.91), exponential growth could be re-established (cf. [5], the mode became unstable “again”) and sustained until the “Branch-II” RvR_{v} (636.16\approx 636.16), which initiated yet another region of stability.

Evidently, as verified in Figure 2, this classification is not appropriate for all combinations of (α,Re)\left(\alpha,Re\right). As a simple example, the wavenumber α=0.5\alpha=0.5 does not exhibit instability at Re=6000Re=6000 for the Poiseuille flow, rendering the notion of a Branch-I RvR_{v} inherently ill-defined. Indeed, since the upper and lower branches of the Poiseuille neutral curve decay as Re1/11Re^{-1/11} and Re1/7Re^{-1/7} at large ReRe (see, for example, [31, 32]), such a RvR_{v} cannot be demarcated for any ReRe at even smaller wavelengths, say α1.5\alpha\geq 1.5. [6] recognized this and circumvented the problem by introducing a third branch (which marked the transition from unstable to stable when RvR_{v} initially increases from zero) whose existence was predicated on the stability of (α,Re,Rv=0)\left(\alpha,Re,R_{v}=0\right). In summary, a more refined characterization was needed, and here we attempt to add to the discussion.

Refer to caption
Figure 3: The critical flow parameters versus the crossflow Reynolds number RvR_{v}; (a)(a), the critical Reynolds number RecRe_{c}, and (b)(b), the critical streamwise wavenumber, αc\alpha_{c}. In each panel, the dotted lines elucidate points of discontinuity, with Rv=RvdR_{v}=R_{v}^{d} being common to both RecRe_{c} and αc\alpha_{c}. Furthermore, a circle indicates the flow parameters minimizing RecRe_{c}. Finally, in (a)(a), the dashed line represents the scaling RecRv1.26Re_{c}\sim R_{v}^{1.26}.

Figure 3 summarizes a numerical search for the critical parameters (αc,Rec)\left(\alpha_{c},Re_{c}\right) for the range 0Rv2500\leq R_{v}\leq 250. Similarly to previous studies, we ignore Rv<0R_{v}<0 due to the invariance of the eigenproblem under the transformation (y,Rv)(y,Rv)\left(y,R_{v}\right)\to\left(-y,-R_{v}\right). Consistent with the narrative suggested by Figure 2, we observe a rather sharp, monotonic increase in the critical Reynolds number RecRe_{c} through Rv1R_{v}\lessapprox 1. This trend persists beyond this interval, adjusting, however, to an approximate power-law behavior, RecRv1.26Re_{c}\sim R_{v}^{1.26}. Throughout the latter range, the value of RecRe_{c} increases rapidly to Rec𝒪(106)Re_{c}\approx\mathcal{O}\left(10^{6}\right), before abruptly descending to Rec𝒪(103)Re_{c}\approx\mathcal{O}\left(10^{3}\right) at Rv=Rvd22.175R_{v}=R_{v}^{d}\approx 22.175. Shortly thereafter, the minimum of Rec667.48730Re_{c}\approx 667.48730 is achieved at the turning point Rv38.75R_{v}\approx 38.75, which is in good agreement with the findings of [5]. Meanwhile, the critical streamwise wavenumber αc\alpha_{c} initially experiences a brief drop from its value at Rv=0R_{v}=0 (αc1.02\alpha_{c}\approx 1.02), before recovering at Rv1R_{v}\approx 1 – note that such a discontinuity does not exist for RecRe_{c}. Following this, with stronger crossflows, we observe an increasing preference for short-wavelength instabilities up to the critical value of Rv=RvdR_{v}=R_{v}^{d}. Here, in conjunction with RecRe_{c}, another discontinuity is encountered and αc\alpha_{c} rapidly descends to near-zero (𝒪(102)\approx\mathcal{O}\left(10^{-2}\right) with the extent of our computation) before rising to what appears to be an asymptote. We remark here that for 20.8Rv2220.8\lessapprox R_{v}\lessapprox 22, [6] report an unconditional linear stability for the crossflow-laden Poiseuille flow (in fact, even for the Couette-Poiseuille flow ξ0\xi\neq 0 – see Section V), which is in contrast to Figure 3. According to our understanding, this discrepancy appears to be due to a combination of insufficient numerical resolution (they used N=120N=120 collocation points) and a restriction of their search space to Re106Re\leq 10^{6}. We verified that our calculations remained robust even when the resolution was doubled, indicating genuine instability.

Refer to caption
Figure 4: Movement of the neutral curves in the (α,Re)\left(\alpha,Re\right)-plane for (a)(a), Rv<RvdR_{v}<R_{v}^{d} and (b)(b), RvRvdR_{v}\geq R_{v}^{d}. Where appropriate, Type-I and Type-II instabilities have been labeled. For (b)(b), specifically, an inset zooms in on the development of the Type-II NSCs; in the same panel, the dashed contours correspond to Rv=RvdR_{v}=R_{v}^{d}.

To unravel the discontinuous nature of the critical parameters, Figure 4 details the movement of the neutral stability curves (NSCs) in the (α,Re)\left(\alpha,Re\right)-plane, particularly before and after Rv=RvdR_{v}=R_{v}^{d}. Focusing first on Rv<RvdR_{v}<R_{v}^{d}, Figure 3(a)(a) indicates that the presence of crossflow is exclusively stabilizing, and this is verified in Figure 4(a)(a) by a net displacement of the NSCs in the direction of increasing ReRe. A secondary minimum develops at intermediate RvR_{v} in this range, which quickly coalesces with the primary one and appears to signal a small jump in the NSC towards larger wavenumbers, consistent with the first discontinuity for αc\alpha_{c} observed in Figure 3(b)(b). Henceforth, the NSCs continue to shift deeper into the upper-right corner of the (α,Re)\left(\alpha,Re\right)-plane.

Beyond Rv=RvdR_{v}=R_{v}^{d}, more dynamic behavior can be resolved. Specifically, two different NSCs begin to co-exist. The first set of unstable modes, relegated to ReO(106)Re\geq O\left(10^{6}\right), can effectively be traced back to the (sole) NSC that occurs for Rv<RvdR_{v}<R_{v}^{d} and, as such, can be interpreted as its continuation into this RvR_{v} regime. Neither [5] nor [6] reported this, instead implying the presence of a single NSC for all unstable RvR_{v}; we label these (and their counterparts in Rv<RvdR_{v}<R_{v}^{d}) as “Type-I” instabilities and note that in both RvR_{v} regimes, they generally exhibit a monotonic displacement toward increasing ReRe as the crossflow becomes stronger. The second group of instabilities, deemed “Type-II” and active only in RvRvdR_{v}\geq R_{v}^{d}, manifest in the form of an NSC emerging from α0\alpha\approx 0 and are, of course, precisely those reported in previous work since they formally define criticality for this RvR_{v} regime. As highlighted in the inset of Figure 4(b)(b) these modes temporarily destabilize before stabilizing, defining in the process the turning point observed for RecRe_{c} in Figure 3(a)(a).

To dissect the physical mechanism driving the instability, one can turn to the perturbation energy budget. By writing the energy density as ukuk/2u_{k}u_{k}/2, where a repeated index implies Einstein summation, the total disturbance energy can be written as

𝖤=12VukukdV\mathsf{E}=\dfrac{1}{2}\int_{V}u_{k}u_{k}\,\mathrm{d}V (28)

where V[0,2π/α]×[1,1]×[0,2π/β]V\equiv\left[0,2\pi/\alpha\right]\times\left[-1,1\right]\times\left[0,2\pi/\beta\right] is taken as one full disturbance wavelength. Using the normal mode ansatz, Equation (13), evolution equations for 𝖤\mathsf{E} then take the form

d𝖤dt=𝖯𝖱𝖵𝖣\dfrac{\mathrm{d}\mathsf{E}}{\mathrm{d}t}=\left\langle\mathsf{PR}\right\rangle-\left\langle\mathsf{VD}\right\rangle (29)

where

f(y)=11f(y)dy\left\langle f\left(y\right)\right\rangle=\int_{-1}^{1}f\left(y\right)\,\mathrm{d}y (30)

Here, 𝖯𝖱\mathsf{PR} represents production against the background shear (contributed to only by 𝖣U\mathsf{D}U) and is responsible for the transfer of energy from the base flow to the disturbance through the action of the Reynolds stress. The second term 𝖵𝖣0\mathsf{VD}\geq 0 instead denotes viscous dissipation. In general, a (positive) production destabilizes, whereas dissipation stabilizes the disturbance field, although for a marginally stable mode, as we will discuss here, these contributions must exactly cancel.

Refer to caption
Figure 5: Distributions of the energy production 𝖯𝖱\mathsf{PR} (left) and dissipation 𝖵𝖣\mathsf{VD} (right) for Type-I and Type-II modes at criticality. Here, for Rv<RvdR_{v}<R_{v}^{d}, we consider Rv{0.5,2.5,5,7.5,10,12.5,15,17.5,20}R_{v}\in\left\{0.5,2.5,5,7.5,10,12.5,15,17.5,20\right\}, whereas for RvRvdR_{v}\geq R_{v}^{d}, Rv{22.24,26,32,45,95}R_{v}\in\left\{22.24,26,32,45,95\right\}. Darker to lighter shades represent stronger crossflows in the labeled regimes.

Figure 5 explores for Type-I and Type-II instabilities the spatial variation of terms that contribute to the energy budget at criticality. For Type-I modes below RvdR_{v}^{d}, energy production 𝖯𝖱\mathsf{PR} operates primarily near the suction boundary, its peak becoming sharper in tandem with RvR_{v}. For the weakest crossflow strengths in this range, an additional small positive hump (not shown here) can also be resolved near the lower wall, although it decays very rapidly as RvR_{v} increases. Similarly, viscous dissipation 𝖵𝖣\mathsf{VD} remains confined to the upper wall and also increases in conjunction with 𝖯𝖱\mathsf{PR}, as required to ensure neutral growth. As highlighted in the second row of Figure 5, these trends appear to translate well to a Type-I criticality in RvRvdR_{v}\geq R_{v}^{d}, which provides further evidence that they are, in fact, a continuation of Type-I modes from Rv<RvdR_{v}<R_{v}^{d}. However, for Type-II instabilities, the picture changes dramatically. Here, 𝖯𝖱\mathsf{PR} develops noticeable regions of energy negation and, more importantly, a wide positive peak in the lower (injection) half of the channel. We find the latter behavior quite intriguing, particularly in light of recent work showing that it is, in fact, the boundary inflow (outflow) that supports destabilization (stabilization); see [10]. Equally important to mention here is that for moderate to large crossflows (such as those found in RvRvdR_{v}\geq R_{v}^{d}), variations in the streamwise shear 𝖣U\mathsf{D}U are primarily located near the upper wall (with 𝖣U1/2\mathsf{D}U\to 1/2, the Couette value, elsewhere). However, since the amplitude of positive production instead peaks specifically near the lower wall, we conclude that the crossflow influences Type-II modes predominantly through modification of the Reynolds stress distribution.

Formally, the last row in Figure 5 corresponds to the regime explored in Section 5 of [6]. In their Figure 17, for example, they reported that the dissipation at criticality for (ξ,Rv)=(0.5,25)\left(\xi,R_{v}\right)=\left(0.5,25\right) was completely overshadowed by the energy production throughout the channel width. Therefore, any removal of energy from the perturbation field arose directly from energy negation, rendering the movement of the critical layers, as they say, “irrelevant”. Clearly, as highlighted in Figure 5, this is not an entirely robust mechanism, at least for ξ=0\xi=0, since, despite neutrality, 𝖵𝖣\mathsf{VD} for RvRvdR_{v}\geq R_{v}^{d} operates at least one order of magnitude higher than 𝖯𝖱\mathsf{PR} (though only very close to the wall) and generally intensifies with RvR_{v}. In other words, investigating the critical layers, the set of points where U(y)=crU\left(y\right)=c_{r}, could be instructive here. These points constitute regular singularities for the stability equations in the Rayleigh limit, but are smoothed over with the addition of viscosity in the Orr-Sommerfeld-Squire formulation. More importantly, it is well known that peaks in the amplitude of energy production are usually located within these layers [33, 15, 6, 34].

Refer to caption
Figure 6: Movement of the critical layers with RvR_{v}; (a)(a), the real part of the phase speed at criticality (note that ci=0c_{i}=0 by definition of neutral stability), (b)(b), ysy_{s}, the critical layer near the suction (upper) wall, and (c)(c), yby_{b}, the critical layer near the blowing (lower) wall.

Figure 6(a)(a) presents the variation of crc_{r} at criticality versus RvR_{v}; we immediately observe discontinuities synonymous with those of αc\alpha_{c}, Figure 3(b)(b). The exact location of the associated critical layers can be explicitly determined as the solution(s) to the following transcendental equation

U(y)=crycschRveRvy=Π1,U\left(y\right)=c_{r}\implies y-\operatorname{csch}R_{v}e^{R_{v}y}=\Pi_{1}, (31)

where we have elected to set

Π1\displaystyle\Pi_{1} =Π2crRvcothRv,\displaystyle=\dfrac{\Pi_{2}c_{r}}{R_{v}}-\coth R_{v}, (32)
Π2\displaystyle\Pi_{2} =RvcothRv1log(RvcschRv).\displaystyle=R_{v}\coth R_{v}-1-\log\left(R_{v}\operatorname{csch}R_{v}\right). (33)

Equation (31) is satisfied by

y=Π11RvWn(Π3).y=\Pi_{1}-\dfrac{1}{R_{v}}W_{n}(\Pi_{3}). (34)

where WnW_{n} is the nthn^{\mathrm{th}}-branch of Lambert’s WW-function and Π3=RvcschRveΠ2Rv\Pi_{3}=-R_{v}\operatorname{csch}R_{v}e^{\Pi_{2}R_{v}}. Here, since 1/eΠ3<0-1/e\leq\Pi_{3}<0, there exist two distinct critical layers (which can alternatively be concluded by noting that cr<1c_{r}<1 and inspecting the velocity profiles in Figure 1(b)(b)), and we only need to consider n{1,0}n\in\left\{-1,0\right\}. We observe that, as Rv0R_{v}\to 0, the symmetry of the resulting profile requires the absolute values of these roots to coalesce, despite being in opposite halves of the channel. Thus, the solutions, which we label ysy_{s} and yby_{b}, respectively, can be naturally identified with the suction (top) and blowing (lower) boundaries. On the other hand, due to the asymmetry inflicted upon UU by the crossflow, one can expect both critical layers to eventually shift toward the upper half of the channel, an intuition that is verified in Figures 6(b(bc)c). Specifically, commensurate with the movement of the peak in energy production for Type-I modes, ysy_{s} generally increases, effectively approaching ys=1y_{s}=1 for sufficiently large RvR_{v}. Separately, beyond Rv=RvdR_{v}=R_{v}^{d}, yby_{b} undergoes a sudden jump into the suction half of the channel, which is consistent with the wide production peaks (spanning almost the entire lower half-width) observed for Type-II modes in the last row of Figure 5.

IV Non-Modal Analysis

We now direct our focus toward non-modal energy amplification. As shown in Section III, an increase in the crossflow component starting from Rv=0R_{v}=0 generally has a stabilizing effect, at least in the sense of the critical Reynolds number. Following a paradigm shift at Rv=RvdR_{v}=R_{v}^{d}, however, positive growth rates can be achieved for Reynolds numbers as low as Re700Re\approx 700. When operating solely on this information, one would conclude that the most optimal (and practical) stabilization is granted by weak to, at best, modest RvR_{v}. In this section, we show that non-normality indicates an entirely different story.

Refer to caption
Figure 7: For various wavenumber pairs at Re=500Re=500, plots of \mathcal{R}, the maximum resolvent norm over all real forcing frequencies; (a)(a), β=1\beta=1 and α\alpha increased from α=0\alpha=0 to α=0.75\alpha=0.75 in increments of 0.25 and (b)(b), α=1\alpha=1, with β\beta varied in a similar manner. The insets show the maximizing frequency υmax\upsilon_{\max} and, for each wavenumber combination, an associated dashed line represents the lower bound of Equation (35) evaluated at υ=υmax\upsilon=\upsilon_{\max}.

We begin with the resolvent 𝖱\mathsf{R}. In particular, the following bounds on the norm 𝖱E\left\lVert\mathsf{R}\right\rVert_{E} are standard

1dist(υ,Λ(𝖲))𝖱Eκ(𝖶)dist(υ,Λ(𝖲))\dfrac{1}{\mathrm{dist}\left(\upsilon,\Lambda\left(\mathsf{S}\right)\right)}\leq\left\lVert\mathsf{R}\right\rVert_{E}\leq\dfrac{\kappa\left(\mathsf{W}\right)}{\mathrm{dist}\left(\upsilon,\Lambda\left(\mathsf{S}\right)\right)} (35)

where dist(υ,Λ(𝖲))\mathrm{dist}\left(\upsilon,\Lambda\left(\mathsf{S}\right)\right) is the shortest distance between υ\upsilon and the spectrum Λ(𝖲)\Lambda\left(\mathsf{S}\right) (equivalent to the spectral radius of 𝖱\mathsf{R}) and κ(𝖶)\kappa\left(\mathsf{W}\right) is the 2-norm condition number of 𝖶\mathsf{W} [13, 26, 15]. For systems governed by normal operators, κ=1\kappa=1, so that the bounds in Equation (35) coalesce into equality. On the other hand, for non-normal linear dynamics, κ1\kappa\gg 1 and the eigenfunctions of the underlying operator can be highly oblique, so that even pseudoresonant υ\upsilon far from an eigen-frequency are capable of generating a substantial response. Thus, to probe the potential for this energy growth, we define the following quantity

(α,β,Re,Rv)=maxυ𝖱E(α,β,Re,Rv,υ)\mathcal{R}\left(\alpha,\beta,Re,R_{v}\right)=\max_{\upsilon\in\mathbb{R}}\left\lVert\mathsf{R}\right\rVert_{E}\left(\alpha,\beta,Re,R_{v},\upsilon\right) (36)

which, if the resolvent is interpreted as a transfer function between the excitation and its response, represents an HH_{\infty}-norm. In Figure 7, we visualize \mathcal{R}, along with the maximizing frequency υ=υmax\upsilon=\upsilon_{\max}, for some sample wavenumbers at Re=500Re=500, which is sub-critical and, therefore, admits no modal instability for all RvR_{v} treated here. The dashed lines denote the lower bound in Equation (35), plotted for υmax\upsilon_{\max}; the significant discrepancy observed with \mathcal{R} is entirely a consequence of non-normality.

We first comment on longitudinal (α=0\alpha=0) and transverse (β=0\beta=0) perturbations. The former class typically elicits the strongest resolvent response for purely streamwise base flows. Therefore, we expect this trend to persist at least for weak RvR_{v}, and this is verified in Figure 7(a)(a). In fact, we see that the amplification of streamwise-independent modes can even be intensified in the presence of small amounts of crossflow. As an example, for Rv2R_{v}\approx 2, for which Figure 3(a)(a) predicts Rec48500Re_{c}\approx 48500, 2000\mathcal{R}\approx 2000, so that a unit norm forcing can produce 𝒪(103)\mathcal{O}(10^{3}) energy growth (compare this with 1000\mathcal{R}\approx 1000 at Rv=0R_{v}=0). This is the first indication of the unreliability of eigenvalues; when the effects of non-normality are taken into account, weak crossflows are, in fact, the most prone to excitation.

Interestingly, for relatively large RvR_{v}, Figure 7(a)(a) indicates that \mathcal{R} tends to decay for longitudinal perturbations; in contrast; an increasingly stronger response from spanwise-independent modes is seen in Figure 7(b)(b), a gap that appears to peak at Rv40R_{v}\approx 40. More generally, in intermediate RvR_{v} regimes, oblique disturbances constitute the main preference. Compared to the crossflow-independent case, these trends are inherently distinct but not unexpected, since the addition of a third-order inertial term in the Orr-Sommerfeld-Squire system fundamentally alters its anatomy and, therefore, that of the underlying non-normality (see Appendix A). However, what is crucial to note here is that \mathcal{R} is only truly attenuated when RvR_{v} becomes very large, say Rv70R_{v}\geq 70. In other words, it is, in fact, the weakest crossflows that instigate the strongest linear growth, possibly transition arising from subsequent non-linear processes. Given that most practical applications are typically noise-heavy and that such (relatively) strong crossflows are often not even feasible, we begin to see that crossflow-based modulation in channels might not be as appropriate a choice as suggested in the previous literature.

Refer to caption
Figure 8: Pseudospectral contours, log𝖱1E\log\,\,\lVert\mathsf{R}^{-1}\rVert_{-E}, calculated at Rv=0.5,1,1.5,2R_{v}=0.5,1,1.5,2 (left-to-right) for some representative wavenumber pairs. Darker to lighter (or, alternatively, outer to inner) shades correspond to decreasing contour values, i.e., increasing amplification. Top row, (α,β)=(1,0)(\alpha,\beta)=(1,0), with contours in each panel ranging from 0.5-0.5 to 4.5-4.5 in decrements of 0.5-0.5; middle row, (α,β)=(0,1.5)(\alpha,\beta)=(0,1.5), with contours ranging from 0.6-0.6 to 3-3 in decrements of 0.6-0.6; and bottom row, (α,β)=(0.5,1.5)(\alpha,\beta)=(0.5,1.5), with contours ranging from 0.5-0.5 to 4.5-4.5 in decrements of 0.5-0.5. The associated spectra (in terms of ω\omega) have been denoted by circles. A red cross marks the υ\upsilon\in\mathbb{C} maximizing 𝒦\mathcal{K}, the latter quantity displayed in the upper right corner of each panel.
Refer to caption
Figure 9: Plots of GmaxG_{\max} versus RvR_{v}, normalized against Gmax(Re,Rv=0)G_{\max}\left(Re,R_{v}=0\right), for Re=200Re=200 to Re=600Re=600 in increments of 100. Rv=RvmaxR_{v}=R_{v}^{\max}, marked appropriately, denotes the crossflow strength that suffers the largest algebraic growth. Top: the wavenumbers (αmax,βmax)\left(\alpha_{\max},\beta_{\max}\right) and the time t=tmaxt=t_{\max} corresponding to GmaxG_{\max}.

Moving to the complex plane, υ\upsilon\in\mathbb{C}, in Figure 8, we illustrate, as is customary, the contours of 𝖱1E\lVert\mathsf{R}^{-1}\rVert_{-E}, where

𝖱1E=σmin(𝖶𝖱1𝖶1)\lVert\mathsf{R}^{-1}\rVert_{-E}=\sigma_{\min}(\mathsf{W}\mathsf{R}^{-1}\mathsf{W}^{-1}) (37)

and σmin\sigma_{\min} represents the minimum singular value of the operator 𝖶𝖱1𝖶1\mathsf{W}\mathsf{R}^{-1}\mathsf{W}^{-1}. To interpret this in the context of the ϵ\epsilon-pseudospectra, we note that 𝖱E=𝖱1E1\left\lVert\mathsf{R}\right\rVert_{E}=\lVert\mathsf{R}^{-1}\rVert_{-E}^{-1}, so that

Λϵ={υ:𝖱1Eϵ}\Lambda_{\epsilon}=\left\{\upsilon\in\mathbb{C}\colon\lVert\mathsf{R}^{-1}\rVert_{-E}\leq\epsilon\right\} (38)

Thus, within the level set 𝖱1E=ϵ\lVert\mathsf{R}^{-1}\rVert_{-E}=\epsilon, amplification of the order of 1/ϵ1/\epsilon can be induced as a consequence of harmonic forcing. The pseudospectra are extremely informative, revealing crucial insight on the sensitivity of the spectrum to operator-level perturbations (see [35] and [36]) or, as is more relevant here, energy growth in the unforced initial-value problem. More specifically, the Hille-Yosida Theorem states that G1G\leq 1 if and only if the pseudospectra lie sufficiently close to the lower (stable) half-plane [26]. This condition can be made explicit through either the pseudospectral abscissa or, alternatively, the Kreiss constant 𝒦\mathcal{K}, defined as follows

𝒦=sup(υ)>0(υ)𝖱E\mathcal{K}=\sup_{\mathfrak{I}\left(\upsilon\right)>0}\mathfrak{I}\left(\upsilon\right)\left\lVert\mathsf{R}\right\rVert_{E} (39)

which in turn provides the following lower bound

maxt>0G(α,β,Re,Rv,t)𝒦2\max_{t>0}G\left(\alpha,\beta,Re,R_{v},t\right)\geq\mathcal{K}^{2} (40)

Hence, substantial transient growth can be achieved if the pseudospectra protrude significantly into the unstable half-plane. Returning to Figure 8, we immediately observe strong pseudo-resonance down to ϵ105\epsilon\approx 10^{-5}, indicative yet again of the strong non-normality pervading the linear dynamics of this system. Reminiscent of the trends shown in Figure 7, this amplification evidently worsens in tandem with the crossflow strength, eventually decaying only in the intermediate to large RvR_{v} range (which is not shown here). Variations in the Kreiss constant suggest that, at least for weak crossflows, streamwise-independent disturbances remain the most relevant for the unforced problem, although oblique modes appear to be not too far behind. This is indeed representative of the ground truth, as we now proceed to discuss.

In particular, for various ReRe, Figure 9 summarizes a numerical sweep for GmaxG_{\max}, defined as the maximum admissible transient gain in energy over time and across wavenumber space, i.e.

Gmax(Re,Rv)=maxα,β,tG(α,β,Re,Rv,t)G_{\max}\left(Re,R_{v}\right)=\max_{\alpha,\beta,t}G\left(\alpha,\beta,Re,R_{v},t\right) (41)

Here, to concentrate specifically on amplification that occurs in the absence of exponential instability, we have limited our analysis to Reynolds numbers that are globally sub-critical, Re650Re\lessapprox 650. In doing so, we readily observe a familiar pattern: for all ReRe considered here, peak energy growth is only enhanced by small levels of crossflow, with Rv=Rvmax4.5R_{v}=R_{v}^{\max}\approx 4.5 consistently characterizing the worst-case scenario. Furthermore, it is precisely at very large RvR_{v} that GmaxG_{\max} begins to appreciably weaken relative to the Poiseuille flow. Note that for the asymptotic suction boundary layer, [18] reported a similarly declining – but still significant – amplification relative to the Blasius (no suction) case, although this conclusion could very well be specific to the Reynolds number they opted to focus on.

Regardless, as predicted by Figure 8, the optimal gain is indeed achieved for streamwise-elongated perturbations for small RvR_{v} (say, Rv2R_{v}\leq 2), after which oblique modes become the norm (note that [17] apparently did not see the former for Re=1000Re=1000). Interestingly, however, at the lower end of the Reynolds numbers treated here, sufficiently strong crossflows can once again establish a preference for streamwise-independent disturbances; we conjecture that expanding the range of RvR_{v} investigated might lead to similar behavior at larger ReRe, although we did not attempt to verify this. Finally, the optimal time tmaxt_{\max} also temporarily increases and then decreases monotonically in conjunction with RvR_{v} (equivalently GmaxG_{\max}), although its peak was found instead at Rv2RvmaxR_{v}\approx 2\neq R_{v}^{\max}. The immediate implication is that algebraic growth operates on much longer timescales in the presence of crossflow. [18] concluded similarly for ASBL but the effect is, in a sense, more pronounced here, since GmaxG_{\max} also increases.

Refer to caption
Figure 10: Cross-stream (yyzz) view of (a)(a), the initial perturbation and (b)(b), the response at optimal time associated with GmaxG_{\max} for Rv=RvmaxR_{v}=R_{v}^{\max}. Color and arrows represent, respectively, the streamwise and cross-stream components.
Refer to caption
Figure 11: Budgets for the perturbation energy contained in each velocity component; left column, Rv=RvmaxR_{v}=R_{v}^{\max} and right column, Rv=20R_{v}=20. In each panel, a dashed line indicates energy production, dotted, pressure redistribution, dash-dot, viscous dissipation, and solid, total. The insets show the variation of the perturbation energies 𝖤u,𝖤v\mathsf{E}_{u},\mathsf{E}_{v}, and 𝖤w\mathsf{E}_{w} in time.

Figure 10 shows the initial condition and response pair attached to the optimal gain calculated for Rv=RvmaxR_{v}=R_{v}^{\max}. Streaky structures, supported in both xx and zz, develop at initial time and are then subsequently tilted and advected toward the suction boundary. A crucial question here is the precise mechanism driving the variation in the disturbance energy. It is well-known that longitudinal perturbations develop primarily via the lift-up effect, whereby strong streamwise streaks develop as a consequence of mean momentum transport in the wall-normal direction [37, 38, 39]. On the other hand, for perturbations with finite streamwise wavenumbers, the tilting mechanism of Orr dominates instead [40, 41]. In oblique disturbances, these processes operate simultaneously and [17] argued using a decomposition of the energy production proposed by [42] that at larger RvR_{v}, the Orr mechanism became increasingly relevant. When juxtaposed with Figure 9, this result should not be too surprising, since αmax\alpha_{\max} generally also increases with RvR_{v}. To refine this approach, however, we consider the time variation of the perturbation energy contained in each velocity component

d𝖤udt\displaystyle\dfrac{\mathrm{d}\mathsf{E}_{u}}{\mathrm{d}t} =𝖯𝖱u+𝖯𝖵𝖢u+𝖵𝖣u\displaystyle=\left\langle\mathsf{PR}_{u}\right\rangle+\left\langle\mathsf{PVC}_{u}\right\rangle+\left\langle\mathsf{VD}_{u}\right\rangle (42)
d𝖤vdt\displaystyle\dfrac{\mathrm{d}\mathsf{E}_{v}}{\mathrm{d}t} =𝖯𝖵𝖢v+𝖵𝖣v\displaystyle=\left\langle\mathsf{PVC}_{v}\right\rangle+\left\langle\mathsf{VD}_{v}\right\rangle (43)
d𝖤wdt\displaystyle\dfrac{\mathrm{d}\mathsf{E}_{w}}{\mathrm{d}t} =𝖯𝖵𝖢w+𝖵𝖣w\displaystyle=\left\langle\mathsf{PVC}_{w}\right\rangle+\left\langle\mathsf{VD}_{w}\right\rangle (44)

where 𝖯𝖱i\mathsf{PR}_{i} represents energy production, 𝖯𝖵𝖢i=𝖯𝖲i+𝖯𝖣i\mathsf{PVC}_{i}=\mathsf{PS}_{i}+\mathsf{PD}_{i} the pressure-velocity correlation, 𝖯𝖲i\mathsf{PS}_{i} the pressure-rate-of-strain, 𝖯𝖣i\mathsf{PD}_{i} the pressure diffusion, and 𝖵𝖣i\mathsf{VD}_{i} the viscous dissipation; see, for example, [43]. One can further relate the terms in Equations (42)–(44) to those in Equation (29) as follows

𝖤u+𝖤v+𝖤w\displaystyle\mathsf{E}_{u}+\mathsf{E}_{v}+\mathsf{E}_{w} =𝖤\displaystyle=\mathsf{E} (45)
𝖯𝖱u\displaystyle\left\langle\mathsf{PR}_{u}\right\rangle =𝖯𝖱\displaystyle=\left\langle\mathsf{PR}\right\rangle (46)
𝖯𝖵𝖢u+𝖯𝖵𝖢v+𝖯𝖵𝖢w\displaystyle\left\langle\mathsf{PVC}_{u}\right\rangle+\left\langle\mathsf{PVC}_{v}\right\rangle+\left\langle\mathsf{PVC}_{w}\right\rangle =0\displaystyle=0 (47)
𝖵𝖣u+𝖵𝖣v+𝖵𝖣w\displaystyle\left\langle\mathsf{VD}_{u}\right\rangle+\left\langle\mathsf{VD}_{v}\right\rangle+\left\langle\mathsf{VD}_{w}\right\rangle =𝖵𝖣\displaystyle=-\left\langle\mathsf{VD}\right\rangle (48)

From here, we note that when α=0\alpha=0, 𝖯𝖵𝖢u\mathsf{PVC}_{u} vanishes, so that 𝖤v\mathsf{E}_{v} and 𝖤w\mathsf{E}_{w} decay simply due to a combination of the inter-variance pressure redistribution and viscous dissipation. As a result, we have 𝖤𝖤u\mathsf{E}\approx\mathsf{E}_{u}, whose growth in turn depends on the injection of energy from the mean shear through 𝖯𝖱u\mathsf{PR}_{u}. In other words, any changes in the amplification of streamwise-independent modes can be primarily attributed to modifications in the base shear and, by extension, to the Reynolds stresses. On the other hand, when β=0\beta=0, the off-diagonal term in the Orr-Sommerfeld-Squire operator vanishes, so that the impact of non-normality is anyway diminished. Thus, we are left to deal primarily with oblique disturbances. In what follows, the pressure diffusion term 𝖯𝖣i\mathsf{PD}_{i} was found to contribute negligibly to 𝖯𝖵𝖢i\mathsf{PVC}_{i} and has therefore been omitted for the sake of clarity.

Using the energy-optimal initial conditions associated with Rv=RvmaxR_{v}=R_{v}^{\max} and Rv=20R_{v}=20 (note that these disturbances are both oblique), Figure 11 compares the development of the energy budget over time for each component of the velocity. The primary motivator for the discrepancy in GmaxG_{\max} can be immediately identified as the significantly attenuated production term, which evidently tapers around t=45t=45 for Rv=20R_{v}=20. In contrast, 𝖯𝖱u\left\langle\mathsf{PR}_{u}\right\rangle for Rv=RvmaxR_{v}=R_{v}^{\max} operates longer and achieves much larger amplitudes. Furthermore, pressure redistribution remains active in both cases, although its influence is much more pronounced for the sub-optimal Rv=20R_{v}=20. On inspection, this energy is transferred to both the wall-normal and the spanwise perturbations, and it is interesting to note that 𝖤v\mathsf{E}_{v} ultimately achieves a slightly larger amplitude for Rv=20R_{v}=20, so that a stronger amplification of the streaks observed in Figure 10 might be expected due to the lift-up process. However, we see that this effect is negated not only by a moderate increase in dissipation, but also by the rapid extraction of energy from 𝖤v\mathsf{E}_{v} to 𝖤w\mathsf{E}_{w} through a strongly negative pressure redistribution term starting from, say, t12.5t\approx 12.5. Consequently, any increase in the wall-normal perturbations is quickly eroded and energy production suffers. The net influx of energy into 𝖤w\mathsf{E}_{w} appears to primarily dissipate away, in part, due to the lack of a feedback mechanism (e.g., a mean spanwise shear) to amplify it.

V The Presence of Wall Velocity

RvR_{v} ξ\xi RecRe_{c} (×106)(\times 10^{6}) αc\alpha_{c} NconvN_{\mathrm{conv}}
21.9 0.015 1.083334 3.956539 512
20.9 0.025 1.080632 3.956539 512
21.75 0.03 1.175339 4.144285 512
21 0.05 1.272604 4.037017 512
21.25 0.075 1.569059 4.340941 512
21.5 0.1 2.043112 4.546928 512
21.55 0.125 2.859688 5.225415 1024
21.3 0.16 6.950775 8.307361 2560
Table 1: Flow parameters at criticality for select pairs (ξ,Rv)\left(\xi,R_{v}\right) such that 20.8Rv2220.8\leq R_{v}\leq 22; NconvN_{\mathrm{conv}} represents the resolution (number of Chebyshev modes) that was required for resolving the instability (i.e., that the instability remained robust to further increases in numerical fidelity).

If either wall is translated in the streamwise direction with some finite velocity, say Uc0U_{c}\neq 0, we recover the base flow of [3] and [6]. More specifically, if this moving boundary is taken to be the upper (suction) one, the dimensionless streamwise velocity becomes

U(y,ξ,Rv)={Rv(ξRv+4y+(4ξRv)cothRveRvy(4ξRv)cschRv)/(ξRv24+Ξ1),ξRvΞ2,(ξRv+4y+(4ξRv)cothRveRvy(4ξRv)cschRv)/2ξRv,ξRv>Ξ2.U\left(y,\xi,R_{v}\right)=\begin{cases}R_{v}\left(\xi R_{v}+4y+\left(4-\xi R_{v}\right)\coth R_{v}-e^{R_{v}y}\left(4-\xi R_{v}\right)\operatorname{csch}R_{v}\right)/\left(\xi R_{v}^{2}-4+\Xi_{1}\right),&\xi R_{v}\leq\Xi_{2},\\[7.5pt] \left(\xi R_{v}+4y+\left(4-\xi R_{v}\right)\coth R_{v}-e^{R_{v}y}\left(4-\xi R_{v}\right)\operatorname{csch}R_{v}\right)/2\xi R_{v},&\xi R_{v}>\Xi_{2}.\\ \end{cases} (49)

where ξ=Uc/Up\xi=U_{c}/U_{p} and we have adopted a non-dimensionalization similar to that in Section II.1. Furthermore, we have denoted

Ξ1\displaystyle\Xi_{1} =Rv(4ξRv)cothRv4log(Rv(4ξRv)cschRv/4),\displaystyle=R_{v}\left(4-\xi R_{v}\right)\coth R_{v}-4\log\left(R_{v}\left(4-\xi R_{v}\right)\operatorname{csch}R_{v}/4\right), (50)
Ξ2\displaystyle\Xi_{2} =4(1sinhRv/RveRv)\displaystyle=4\left(1-\sinh R_{v}/R_{v}e^{R_{v}}\right) (51)

We note two distinct scenarios in Equation (49), the need for which arises from the fact that both the crossflow and the Couette component skew the velocity profile towards the upper half of the channel [6]. Thus, for strong enough crossflows (alternatively, large enough wall speeds), the maximum of the streamwise velocity will necessarily occur at the moving boundary, that is, Um=UcU_{m}=U_{c} and y(U=Um)=hy\left(U=U_{m}\right)=h. If the pair (ξ,Rv)\left(\xi,R_{v}\right) is chosen such that ξRv=4>Ξ2\xi R_{v}=4>\Xi_{2}, one recovers U(y,ξ,Rv)=yU\left(y,\xi,R_{v}\right)=y, which constitutes the “generalized” Couette profile of [9]. Throughout this section, we limit our attention to wall speeds ξ[0,1]\xi\in\left[0,1\right], as in the prior literature.

V.1 Modal Instability Between 20.8Rv2220.8\leq R_{v}\leq 22 for ξ>0\xi>0

Although not the primary focus in this work, we begin by reporting in Table 1 samples from a set of novel instabilities that we were able to compute for crossflow-laden Couette-Poiseuille flow for 20.8Rv2220.8\leq R_{v}\leq 22. Previous work in this range by [6] posited unconditional linear stability for all ξ0\xi\geq 0. However, as demonstrated in Section III and as is now apparent here, this is clearly an inaccurate conclusion arising again from a combination of a lack of polynomial resolution and a truncated search region. Despite this, we determined that the instability was short-wavelength, roughly consistent with the trends they calculated as Rv20.8R_{v}\to 20.8 (cf. Figure 20 in their paper). Although we did not conduct a detailed investigation to verify this, our numerical experiments suggest that the bounds offered in the stability phase diagram of [6] might not be robust and could potentially be tightened if spatial discretization is refined.

V.2 Transient Growth

Refer to caption
Figure 12: (a)(a), plots of GmaxG_{\max}, the maximal energy gain, in the presence of wall motion versus RvR_{v} for ξ>0\xi>0 and Re=500Re=500; the reference case, ξ=0\xi=0, is depicted with a dashed line. All curves have been normalized by GmaxG_{\max} at this ReRe for Poiseuille flow, ξ=0=Rv\xi=0=R_{v}. The yellow circles depict the minimal crossflow Reynolds number RvshiftR_{v}^{\mathrm{shift}} such that ξRv>Ξ2\xi R_{v}>\Xi_{2}, cf. Equation (49); these have been separately visualized in (b)(b).

For various choices of the non-dimensional wall speed ξ\xi, Figure 12(a)(a) illustrates how the optimal gain GmaxG_{\max} is modified in the presence of both crossflow and wall motion at Re=500Re=500 (which remains globally sub-critical for ξ>0\xi>0). Two main regions of development can be identified, related, respectively, to the two cases defined in Equation (49). In particular, when ξRvΞ2\xi R_{v}\leq\Xi_{2}, the effect of wall motion is evidently minor, because while the maximum energy growth generally increases, it does so only to remain around the same order as GmaxG_{\max} for crossflow-laden Poiseuille flow (that is, without wall motion). The most noticeable change occurs in a short range around Rv=RvmaxR_{v}=R_{v}^{\mathrm{max}}, which is highlighted in the inset, although the details here are ultimately immaterial. Despite the substantial increase in RecRe_{c} afforded by small RvR_{v} coupled with modest wall speeds (as seen, for example, in Figure 3), deemed by [6] as the most relevant parameters for control purposes, non-modal mechanisms nevertheless remain significant and are sometimes even amplified. Of course, the situation can only worsen as ReRe increases.

Refer to caption
Figure 13: (a(a) For the initial condition associated with GmaxG_{\max}, the evolution of the energy production in time at Rv=45R_{v}=45 for the ξ\xi treated in Figure 12(a)(a) (note that ξRv>4\xi R_{v}>4 is always satisfied for this choice of the crossflow). (b)(b) The flow rate 𝒬\mathcal{Q}; for each wall speed, the value RvshiftR_{v}^{\mathrm{shift}} is marked with a circle, whereas the dashed lines correspond to the regime ξRv>Ξ2\xi R_{v}>\Xi_{2}. The asymptotic result derived in Equation (52) is also illustrated (dotted lines). In each panel, ξ\xi increases in the direction of the arrow.

Theoretically, one could then look towards flow parameters such that ξRv>Ξ2\xi R_{v}>\Xi_{2} (Figure 12(b)(b) plots Rv=RvshiftR_{v}=R_{v}^{\mathrm{shift}} initiating this regime) and, indeed, Figure 12(a)(a) indicates that for sufficiently large wall speeds, successively weaker crossflows can considerably suppress algebraic growth. At first glance, this is encouraging, but it is not without its own caveats. Specifically, an increase in RvR_{v} (or ξ\xi) for this regime is equivalent to a decrease in the background shear 𝖣U\mathsf{D}U, which asymptotically behaves as 𝖣U2/(ξRv)\mathsf{D}U\sim 2/\left(\xi R_{v}\right). Consequently, as we highlight in Figure 13(a)(a), the energy production must also decrease. However, what is alarming is that, in this limit, the flow itself is, in fact, being killed off. To verify this, it is easiest to consider the non-dimensional volumetric flow rate 𝒬\mathcal{Q} which, for ξRv>Ξ2\xi R_{v}>\Xi_{2}, behaves as

𝒬1Rv+4ξRv\mathcal{Q}\sim\dfrac{1}{R_{v}}+\dfrac{4}{\xi R_{v}} (52)

so that counter-productively, 𝒬0\mathcal{Q}\to 0 at large RvR_{v}; see Figure 13 (b)(b).

VI Discussion & Conclusion

We have performed a detailed re-assessment of stability in channel flows with crossflow. Previous work has attempted to determine parameter regimes supposedly ideal for delaying transition, and our primary contribution in this work has been to show that non-modal growth may preclude this apparent suitability.

The main focus of our study has been the crossflow-laden Poiseuille flow. Beginning with an eigenvalue (modal) analysis, we provide a global perspective on modal instability by tracking the trajectory of the neutral stability curves in the (α,Re)\left(\alpha,Re\right)-space. We show that beyond a discontinuity in the critical parameters, two individual neutral curves begin to co-exist, with distinct properties exemplified through consideration of the corresponding linear energetics. The movement of the critical layers is shown to be highly relevant in shaping the development of this budget.

From a non-modal perspective, which forms the crux of this paper, the resolvent is first inspected for real frequencies, and later the more general complex case through the ϵ\epsilon-pseudospectra. Substantial amplification is recovered even at relatively mild sub-critical ReRe, and is only damped for large, possibly unfeasible, crossflows. Similar patterns are observed when treating unforced algebraic growth, with non-modal interactions lasting longer (relative to the reference Poiseuille flow) and being more dangerous at weak RvR_{v} – touted in the previous literature as the “ideal” stability configuration. The precise mechanism driving (and suppressing) energy growth is explored by considering a component-wise energy budget. The additional stability provided by large RvR_{v} is shown to be due to a combination of decreased energy production and a more active velocity-pressure gradient term, which forces inter-component redistribution of energy in a way that significantly dampens the wall-normal fluctuations and, therefore, the lift-up effect.

This analysis has been extended to account for wall motion, cf. the flow of [6]. Here, we present novel instabilities for a region of parameter space previously thought to be unconditionally linearly stable. These instabilities occur at very high ReRe but are physically genuine and of the short-wavelength type. Optimal growth is found to only worsen with the inclusion of wall motion, except beyond a regime change in the parameter space defined by Rv=Rvshift(ξ)R_{v}=R_{v}^{\mathrm{shift}}\left(\xi\right), where the background shear decays as 1/(ξRv)1/(\xi R_{v}) in the channel bulk. Here, the decrease in energy production is nonetheless counter-productive, since it is shown to be accompanied by an impractical cessation of mass transport brought on by a skewing of the velocity profile due to the combined effect of crossflow and wall motion. Collectively, our results suggest that crossflow-based stabilization schemes, at least in internal flows, are unlikely to be effective.

Acknowledgements.
M.A. wishes to thank Professor Jeffrey Oishi for helpful comments that improved the clarity of the material presented here, as well as for providing access to high-performance computing time on the Bates College Leavitt Cluster.

Appendix A Effect of the Mean Wall-Normal Velocity

Refer to caption
Figure 14: The gain GG plotted against time for Rv=1R_{v}=1 (top) and Rv=15R_{v}=15 (bottom) for (left to right), (α,β)=(1,0)\left(\alpha,\beta\right)=\left(1,0\right), (α,β)=(0,1)\left(\alpha,\beta\right)=\left(0,1\right), and (α,β)=(1,1)\left(\alpha,\beta\right)=\left(1,1\right). Solid lines indicate calculations with the crossflow term and dashed lines without. The dotted line in each panel represents Poiseuille flow.

An intriguing assertion put forward by [18] for the asymptotic suction boundary layer was that the reduction in GG relative to the reference Blasius case was primarily a consequence of variations in the streamwise velocity profile and not due to the auxiliary terms introduced in the Orr-Sommerfeld-Squire system by the non-zero mean wall-normal velocity. In contrast, [6] determined that the influence of these auxiliary terms on the spectra was, in fact, relevant, although only when RvR_{v} was large. In a similar manner, here, we wish to categorize the impact of crossflow on algebraic growth between its two main contributions, that is, the inertial operator \mathcal{I}

Vy2\mathcal{I}\equiv V\dfrac{\partial}{\partial y}\nabla^{2} (53)

cf. Equations (10) and (11) and the asymmetry imposed on the streamwise velocity profile UU. We follow the previous approaches. In particular, for some sample wavenumber pairs, Figure 14 plots the gain GG as a function of time for Rv=1R_{v}=1, Rv=15R_{v}=15, and the Poiseuille flow (Rv=0R_{v}=0). For Rv0R_{v}\neq 0, two sets of stability equations are considered, one with and the other without the operator \mathcal{I}, although both retain the UU derived in the presence of crossflow. Therefore, the latter case is equivalent to setting V=0V=0 a posteriori. Interesting phenomena are observed; specifically, in all cases, including the crossflow term dampens the energy gain relative to when it is excluded. However, in line with the findings of [6], this disparity only becomes significant for Rv=15R_{v}=15. In particular, for the latter, it is apparent that the crossflow-laden UU by itself can generate a much stronger response for streamwise-independent disturbances compared to not only Poiseuille flow but also the equivalent profile at Rv=1R_{v}=1 (which, as suggested in Figure 9 should, in fact, be the more “dangerous” scenario). This potential for growth is, of course, significantly suppressed when the inertial operator is taken into account.

Thus, we conclude that the crossflow has a dual impact on non-modal stability. At small RvR_{v}, its influence is felt predominantly through changes in the background streamwise flow (hence the negligible differences observed in Figure 14). However, for large RvR_{v}, the third-order differential term in Equation (53) is of greater relevance, likely impacting energy amplification directly through variations in the perturbations themselves (and, by extension, the energy budget; see the discussion toward the end of Section IV).

References

  • Joslin [1998] R. D. Joslin, Aircraft Laminar Flow Control, Annual Review of Fluid Mechanics 30, 1 (1998).
  • Krishnan et al. [2017] K. Krishnan, O. Bertram, and O. Seibel, Review of Hybrid Laminar Flow Control Systems, Progress in Aerospace Sciences 93, 24 (2017).
  • Hains [1971] F. D. Hains, Stability of Plane Couette‐-Poiseuille Flow with Uniform Crossflow, Physics of Fluids 14, 1620 (1971).
  • Sheppard [1972] D. M. Sheppard, Hydrodynamic Stability of the Flow between Parallel Porous Walls, The Physics of Fluids 15, 241 (1972).
  • Fransson and Alfredsson [2003] J. H. M. Fransson and P. H. Alfredsson, On the hydrodynamic stability of channel flow with cross flow, Physics of Fluids 15, 436 (2003).
  • Guha and Frigaard [2010] A. Guha and I. A. Frigaard, On the stability of plane Couette–Poiseuille flow with uniform crossflow, Journal of Fluid Mechanics 656, 417 (2010).
  • Potter [1966] M. C. Potter, Stability of plane Couette–Poiseuille flow, Journal of Fluid Mechanics 24, 609–619 (1966).
  • Romanov [1973] V. A. Romanov, Stability of Plane-Parallel Couette flow, Functional Analysis and Its Applications 7, 137 (1973).
  • Nicoud and Angilella [1997] F. Nicoud and J. R. Angilella, Effects of uniform injection at the wall on the stability of Couette-like flows, Phys. Rev. E 56, 3000 (1997).
  • Kerswell [2015] R. R. Kerswell, Instability driven by boundary inflow across shear: a way to circumvent rayleigh’s stability criterion in accretion disks?, Journal of Fluid Mechanics 784, 619–663 (2015).
  • Zaturska et al. [1988] M. B. Zaturska, P. G. Drazin, and W. H. H. Banks, On the flow of a viscous fluid driven along a channel by suction at porous walls, Fluid Dynamics Research 4, 151 (1988).
  • Watson et al. [1990] E. B. B. Watson, W. H. H. Banks, M. B. Zaturska, and P. G. Drazin, On transition to chaos in two-dimensional channel flow symmetrically driven by accelerating walls, Journal of Fluid Mechanics 212, 451–485 (1990).
  • Trefethen et al. [1993] L. N. Trefethen, A. E. Trefethen, S. C. Reddy, and T. A. Driscoll, Hydrodynamic Stability Without Eigenvalues, Science 261, 578 (1993).
  • Trefethen and Embree [2005] L. N. Trefethen and M. Embree, Spectra and Pseudospectra: The Behavior of Nonnormal Matrices and Operators (Princeton University Press, Princeton, 2005).
  • Schmid and Henningson [2001] P. Schmid and D. Henningson, Stability and Transition in Shear Flows, Applied Mathematical Sciences (Springer New York, 2001).
  • Brandt [2014] L. Brandt, The lift-up effect: The linear mechanism behind transition and turbulence in shear flows, European Journal of Mechanics - B/Fluids 47 (2014).
  • Chen et al. [2021] C. Chen, J.-T. Huang, and W.-G. Zhang, Optimal perturbations in viscous channel flow with crossflow, Fluid Dynamics Research 53, 025502 (2021).
  • Fransson and Corbett [2003] J. H. Fransson and P. Corbett, Optimal linear growth in the asymptotic suction boundary layer, European Journal of Mechanics - B/Fluids 22, 259 (2003).
  • Kurian and Fransson [2011] T. Kurian and J. Fransson, Transient growth in the asymptotic suction boundary layer, Experiments in Fluids 51, 771 (2011).
  • Cherubini et al. [2015] S. Cherubini, P. De Palma, and J.-C. Robinet, Non-linear optimal perturbations in the asymptotic suction boundary-layer, Procedia IUTAM 14, 246 (2015), iUTAM Symposium on Laminar Turbulent Transition.
  • Schmid [2007] P. J. Schmid, Nonmodal Stability Theory, Annual Review of Fluid Mechanics 39, 129 (2007).
  • Butler and Farrell [1992] K. M. Butler and B. F. Farrell, Three‐dimensional optimal perturbations in viscous shear flow, Physics of Fluids A: Fluid Dynamics 4, 1637 (1992).
  • Cossu et al. [2009] C. Cossu, G. Pujals, and S. Depardon, Optimal transient growth and very large–scale structures in turbulent boundary layers, Journal of Fluid Mechanics 619, 79 (2009).
  • Cossu and Hwang [2017] C. Cossu and Y. Hwang, Self-sustaining processes at all scales in wall-bounded turbulent shear flows, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 375, 20160088 (2017).
  • Variale et al. [2024] D. Variale, E. Parente, J. C. Robinet, and S. Cherubini, Modal and nonmodal stability analysis of turbulent stratified channel flows, Phys. Rev. Fluids 9, 013904 (2024).
  • Reddy et al. [1993] S. C. Reddy, P. J. Schmid, and D. S. Henningson, Pseudospectra of the orr-sommerfeld operator, SIAM Journal on Applied Mathematics 53, 15 (1993).
  • Abdullah and Park [2024] M. Abdullah and G. I. Park, Linear Stability Analysis of Oblique Couette-Poiseuille flows (2024), arXiv:2402.07112 [physics.flu-dyn] .
  • Moritz et al. [2018] P. Moritz, R. Nishihara, S. Wang, A. Tumanov, R. Liaw, E. Liang, M. Elibol, Z. Yang, W. Paul, M. I. Jordan, and I. Stoica, Ray: A Distributed Framework for Emerging AI Applications (USA, 2018) p. 561–577.
  • Oishi et al. [2021] J. S. Oishi, K. J. Burns, S. E. Clark, E. H. Anders, B. P. Brown, G. M. Vasil, and D. Lecoanet, eigentools: A python package for studying differential eigenvalue problems with an emphasis on robustness, J. Open Source Softw. 6, 3079 (2021).
  • Squire [1933] H. B. Squire, On the Stability for Three-Dimensional Disturbances of Viscous Fluid Flow between Parallel Walls, Proceedings of the Royal Society of London. Series A, Containing Papers of a Mathematical and Physical Character 142, 621 (1933).
  • Lin [1946] C. C. Lin, On the stability of two-dimensional parallel flows. iii. stability in a viscous fluid, Quarterly of Applied Mathematics 3, 277 (1946).
  • Cowley and Smith [1985] S. J. Cowley and F. T. Smith, On the stability of poiseuille-couette flow: a bifurcation from infinity, Journal of Fluid Mechanics 156, 83–100 (1985).
  • Mack [1984] L. M. Mack, Boundary-Layer Linear Stability Theory, In AGARD Spec. Course on Stability and Transition of Laminar Flow 81 p (SEE N84-33757 23-34,   (1984).
  • McKeon and Sharma [2010] B. J. McKeon and A. S. Sharma, A critical-layer framework for turbulent pipe flow, Journal of Fluid Mechanics 658, 336–382 (2010).
  • Trefethen and Bau [1997] L. N. Trefethen and D. Bau, Numerical Linear Algebra (SIAM, 1997).
  • Symon et al. [2018] S. Symon, K. Rosenberg, S. T. M. Dawson, and B. J. McKeon, Non-normality and classification of amplification mechanisms in stability and resolvent analysis, Phys. Rev. Fluids 3, 053902 (2018).
  • Ellingsen and Palm [1975] T. Ellingsen and E. Palm, Stability of linear flow, The Physics of Fluids 18, 487 (1975).
  • Landahl [1975] M. T. Landahl, Wave breakdown and turbulence, SIAM Journal on Applied Mathematics 28, 735 (1975).
  • Landahl [1980] M. T. Landahl, A note on an algebraic instability of inviscid parallel shear flows, Journal of Fluid Mechanics 98, 243–251 (1980).
  • Orr [1907] W. M. Orr, The stability or instability of the steady motions of a perfect liquid and of a viscous liquid. part ii: A viscous liquid, Proceedings of the Royal Irish Academy. Section A: Mathematical and Physical Sciences 27, 69 (1907).
  • Jiao et al. [2021] Y. Jiao, Y. Hwang, and S. I. Chernyshenko, Orr mechanism in transition of parallel shear flow, Phys. Rev. Fluids 6, 023902 (2021).
  • Farrell and Ioannou [1993] B. F. Farrell and P. J. Ioannou, Optimal excitation of three‐dimensional perturbations in viscous constant shear flow, Physics of Fluids A: Fluid Dynamics 5, 1390 (1993).
  • Hack and Zaki [2015] M. J. P. Hack and T. A. Zaki, Modal and non-modal stability of boundary layers forced by spanwise wall oscillations, Journal of Fluid Mechanics 778, 389–427 (2015).