Optimal spanwise-periodic control for recirculation length in a backward-facing step flow
Optimal spanwise-periodic control for recirculation length in a backward-facing step flow
Yim, E.;Shukla, I.;Gallaire, F.;Boujo, E.
Three-dimensional control is considered in the ﬂow past a backward-facing step (BFS). The BFS ﬂow at Reynolds number Re = 500 (deﬁned with the step height and the maximum inlet velocity) is two-dimensional and linearly stable but increasingly receptive to disturbances, with a potential for ampliﬁcation as the recirculation length increases. We compute optimal spanwise-periodic control (steady wall blowing/suction or wall deformation) for decreasing the recirculation length, based on a second-order sensitivity analysis. Results show that wall-normal velocity control is always more eﬃcient than wall-tangential control. The most eﬃcient spanwise wavelength for the optimal control depends on the location: = 0:6 on the upper wall and = 1 on the upstream part of the lower wall. The linear ampliﬁcation of the optimal control resembles the maximum linear gain, which conﬁrms the link between recirculation length and ampliﬁcation potential in this ﬂow. Sensitivity predictions for blowing/suction amplitudes up to O(10 ) and wall deformation amplitudes up to O(10 ) are in good agreement with three-dimensional direct numerical simulations. For larger wall deformation amplitudes, the ﬂow becomes unsteady. This study illustrates how the concept of second-order sensitivity and the associated optimization method allow for a systematic exploration of the best candidates for spanwise-periodic control. arXiv:1907.01774v3 [physics.flu-dyn] 11 Aug 2020 I. INTRODUCTION The ﬂow over a backward facing step (BFS) is a quintessential example of a noise ampli- ﬁer ﬂow. Any small perturbation initially applied either decays in time or is progressively convected downstream of the perturbation source, letting the ﬂow eventually return to its base ﬂow conﬁguration. In terms of global linear stability properties, the BFS ﬂow for an expansion ratio of 2 was found globally stable to two-dimensional (2D) perturbations regard- less of the Reynolds number. In contrast, three-dimensional (3D) perturbations periodic in the spanwise direction ﬁrst become statically unstable, for Re 714  (Re 748 with a short inlet channel ), where the Reynolds number Re = U h= is deﬁned with the in maximum incoming velocity U , the step height h and the kinematic viscosity . Despite in their asymptotic decay, 2D perturbations can undergo large ampliﬁcation in space and time due to non-normal eﬀects , in accordance with the locally convectively unstable nature of the ﬂow . From a practical point of view, the ﬂow over a BFS is of importance since it serves as a prototype of several non-parallel ﬂows in complex geometries such as in airfoils, cavities diﬀusers, and combustors [6–8]. The BFS geometry facilitates the study of both the ﬂow separation and the ﬂow reattachment, thus incorporating the two most prominent features of separated ﬂows. While several techniques based on a practical approach exist for ﬂow control in such geometries, the application of the theory of optimal ﬂow control to separated ﬂows has only started quite recently. Among the empirical ﬂow control approaches, the use of spanwise-periodic structures is particularly promising. In the context of ﬂow separation,  have demonstrated that using arrays of suitably shaped cylindrical roughness elements, streaks can be artiﬁcially forced on the roof of a generic car model, the so-called Ahmed body, which suppress the separation around the rear-end. More generally, spanwise wavy modulations have been recognized, mainly through an iterative trial and error method, as an eﬃcient method of control in several ﬂow conﬁgurations: for ﬂows past bluﬀ bodies to regulate vortex shedding [10–14], for circular cylinders [15–19], for rectangular cylinders  and in airfoils [21, 22], to name a few. The eﬀectiveness of steady spanwise waviness to control nominally two-dimensional ﬂows has been rationalized through the generalization of linear sensitivity analysis [23, 24] to 2 second order. In the case of spanwise-periodic control of 2D ﬂows, the linear sensitivity indeed vanishes at ﬁrst order and the leading-order variation eventually depends quadrat- ically on the 3D control amplitude [25–27]. This dependence has been already established through the works of Hwang et al. , Del Guercio et al. [29, 30, 31] and Tammisola et al. . The control eﬀectiveness relies on two main features: the linear ampliﬁcation po- tential of spanwise-periodic disturbances through ampliﬁcation mechanisms like the lift-up mechanism, and the quadratic sensitivity of the ﬂow on the resulting ﬂow modiﬁcations. In this study, we use the reattachment length as proxy for the noise amplifying potential of the separated ﬂow in conjunction with a quadratic sensitivity analysis. The signiﬁcance of the reattachment location as an indicator of the ﬂow stability has already been substantiated through the works of Sinha et al.  and Armaly et al. . More recently, Boujo and Gallaire [5, 35] investigated the link between recirculation length and stability properties in separated ﬂows. They found that the reattachment point was highly sensitive to the control, with its sensitivity map deeply resembling that of the backﬂow area and recirculation area. Further, these three sensitivity maps resembled closely that of the optimal harmonic gain, implying that the ﬂow becomes a weaker ampliﬁer as the recirculation length decreases, i.e. as the reattachment point moves upstream. The presence of an upper wall and the appearance of a secondary recirculation region on that upper wall for Re & 275 [2, 4] tend to increase the overall spatial ampliﬁcation. In this paper, we focus on the primary recirculation region on the lower wall. In this direction, we aim to exploit the ampliﬁcation potential of the stable ﬂow in a 3D BFS to design optimal control strategies, such that the smallest required control amplitude is capable of inﬂuencing the recirculation strength, here quantiﬁed by the recirculation length. We thereby build on the framework of Boujo et al. , designed to control optimally the growth rate of a nominally 2D ﬂow using steady spanwise-periodic perturbations, which we extend here to the optimal quadratic control of the recirculation length. We derive a second- order sensitivity tensor, whose scalar product with any small-amplitude control yields the modiﬁcation in reattachment location. Figure 1 shows the optimal spanwise-harmonic control in a BFS of expansion ratio 2. The geometry is bounded by x 2 [ 5 50] and y 2 [0 2]. The spanwise width is ﬁxed at z = [0 2= ] where is the wavenumber of the control. We aim at optimizing the reattachment location using wall actuation (Fig. 1(a)) or wall deformation (Fig. 1(b)). The 3 Wall deformation control Wall blowing/suction control Upper wall Upst. lower wall Downstr. lower wall (a) (b) y = 2 y = 1 y = 0 x = x min x = 0 z = 0 2π x = x , z = max FIG. 1. Sketches of steady spanwise-periodic control (wavenumber ) in a backward facing step: (a) wall blowing/suction applied on the upper wall and (b) wall deformation applied on the upstream lower wall. Reynolds number is ﬁxed at Re = 500 throughout the analysis. This ensures that the ﬂow is linearly stable to the steady 3D instability that occurs at Re = 714 (Re = 748 with a short inlet channel) with spanwise wavenumber = 0:9 [1, 2]. The paper is organized as follows. Section II describes the problem formulation, the general expression of the second-order sensitivity tensor, and the optimization procedure used to compute the optimal control. Section III presents the numerical methods used for the sensitivity analysis and the optimization, as well as for 3D direct numerical simulations dedicated to validation. Global stability properties of the 2D uncontrolled ﬂow are discussed in Sec. IV. The optimal wall actuation and wall deformation for minimizing the lower reat- Outlet Inlet step tachment location are detailed in Sec. V. We brieﬂy discuss the limitations of the approach in Sec. VI, before concluding in Sec. VII. II. PROBLEM FORMULATION A. Governing equations Using h, h=U and h as reference scales for length, time and mass, we consider a steady in T T 2D base ﬂow Q(x; y) = (U; P ) (x; y) = (U; V; P ) (x; y) in a domain of boundary , that satisﬁes the dimensionless incompressible steady Navier-Stokes equations r U = 0 N (Q) = 0 in ; (1) U = 0; on ; (2) with N (Q) UrU +rP Re r U, and Re= U h= the Reynolds number deﬁned in with the maximum incoming velocity U , the step height h and the kinematic viscosity . in If there is a recirculation region, with reattachment occurring on a wall deﬁned by y = y (x), then the reattachment location x is characterized by vanishing wall shear stress, w r @U = 0; (3) @n x=x ;y=y (x ) r w r i.e. vanishing normal derivative of the tangential velocity. For the sake of simplicity, we now focus on the BFS ﬂow: at the horizontal wall y = 0, the reattachment location reduces to @ U (x ; 0) = 0; in addition, the ﬂow separates at the step corner x = 0, so the recirculation y r s length l = x x is simply l = x . c r s c r We assume that a 3D steady control of small amplitude is applied on a boundary with actuation velocity U (x; y; z), and possibly in the volume with body force C(x; y; z): r U = 0; N (Q) = C in ; (4) U = U on ; (5) c c U = 0 on n : (6) This 3D control modiﬁes the 2D base ﬂow as Q(x; y; z) = Q (x; y) + Q (x; y; z) + Q (x; y; z) + ; (7) 0 1 2 5 0 1 2 where the Q are solutions of the modiﬁed base ﬂow equations at orders , and : N (Q ) = 0 in ; U = 0 on ; (8) 0 0 A Q = (C; 0) in ; U = U on ; U = 0 on n ; (9) 0 1 1 c c 1 c A Q = ( U rU ; 0) in ; U = 0 on ; (10) 0 2 1 1 2 and where A is the Navier-Stokes operator linearized about the zeroth-order base ﬂow Q , 0 0 2 3 1 2 U r() + ()rU Re r () r() 0 0 4 5 A = : (11) r () 0 The control and the resulting ﬂow modiﬁcation alter the reattachment location as x (z) = x + x (z) + x (z) + : (12) r r0 r1 r2 In this expression, x is the reattachment location of the uncontrolled ﬂow Q , r0 0 @U = 0: (13) @y x=x ;y=0 r0 Similarly, the ﬁrst-order variation x (z) is the reattachment location of the ﬁrst-order ﬂow r1 modiﬁcation Q , characterized implicitly by a vanishing wall shear stress condition, @U = 0; (14) @y x=x ;y=0; r1 and expressed explicitly as [5, 35, 37]: @ U y 1 x (z) = : (15) r1 @ U xy 0 x=x ;y=0 r0 The explicit dependence on z in the notation x (z) in (14)-(15) is meant to emphasize that r1 the reattachment line is modulated in the spanwise direction. When the control is harmonic in z, as considered in this study, it can actually be shown that Q and x are purely 1 r1 harmonic too. As a result, the ﬁrst-order variation x (z) has a zero mean. In contrast, the r1 second-order variation x (z) has a non-zero mean in general: as detailed in Appendix A, it r2 reads " # @ U (@ U ) (@ U ) (@ U ) (@ U ) y 2 y 1 xy 1 xxy 0 y 1 x (z) = + (16) r2 2 3 @ U xy 0 (@ U ) 2 (@ U ) xy 0 xy 0 x=x ;y=0 r0 = x + x + x : (17) r2;I r2;II r2;III This expression shows that the reattachment location is modiﬁed at second order via two eﬀects: x depends linearly on the second-order ﬂow modiﬁcation Q , and x and x r2;I 2 r2;II r2;III depend quadratically on the ﬁrst-order ﬂow modiﬁcation Q . 6 B. Sensitivity of the reattachment length: general expression We introduce the ﬁeld S and the operators S and S such that the second-order I II III variation x can be expressed with scalar products, r2 x (z) = (S j U ) + (U j S U ) + (U j S U ) ; (18) r2 I 2 1 II 1 1 III 1 where the three terms of the right-hand side correspond to the three terms of (16)-(17), respectively, and (j ) is the Hermitian scalar product in the domain deﬁned as (aj b) a b d , with the superscript indicating complex conjugate. For integration along a boundary , an angled bracket is used: haj bi a b d . Omitting the notation y = 0, one identiﬁes from (16)-(17): S = (x )e @ ; (19) I r0 x y @ U (x ) xy 0 r0 S = (x ) (e @ ) (e @ ) ; (20) II r0 x y x xy (@ U (x )) xy 0 r0 @ U (x ) xxy 0 r0 y S = (x ) (e @ ) (e @ ) ; (21) III r0 x y x y 2 (@ U (x )) xy 0 r0 where (x; y) is the 2D Dirac delta function, and the superscript denotes the adjoint of an operator deﬁned as (aj Sb) = S a b . Note that S , S and S depend only on U . I II III 0 From (10), Q is uniquely determined by Q , such that the ﬁrst term of the right-hand side 2 1 of (18) can be expressed as 1 y x = S j A (U rU ) = A S U rU = U U rU r2;I I 1 1 I 1 1 1 1 0 0 = (U j S U ) ; (22) 1 I 1 where we have introduced the 2D adjoint base ﬂow U (x; y), deﬁned by A U = S ; (23) with A the adjoint Navier-Stokes operator. The adjoint base ﬂow, depicted in Fig. 2, depends only on U , and is the same adjoint base ﬂow U as in [5, 37] where it represents the ﬁrst-order sensitivity of the reattachment location x to a steady 2D volume forcing. In the last equality of (22), we were allowed to introduce an operator S (dependent on U ) because the expression is quadratic in U . The second-order variation can therefore be 7 2 500 (a) † 1.5 1 0 0.5 2D Sensitivity 0 −500 (b) † 100 1.5 1 0 0.5 −100 −4 −2 0 2 4 6 8 10 12 14 16 18 20 y y FIG. 2. 2D adjoint base ﬂow (a) U and (b) V . Dashed lines indicate lower and upper recirculation regions, each of them delimited by a wall and a separating streamline (separatrix). expressed quadratically in any ﬂow modiﬁcation U via a single operator for second-order sensitivity to ﬂow modiﬁcation: x (z) = (U j S U ) where S = S 0 + S + S : (24) r2 1 2;U 1 2;U I II III 1 1 Finally, using (9), one can introduce operators for the second-order sensitivity to control, dependent only on the uncontrolled ﬂow U , and such that for any control: x (z) = (Cj S C) +hU j S U i ; (25) r2 2;C c 2;U c where T 1 S = P A S A P; (26) 2;C 2;U 0;C 0;C 1 T 1 and S = P A S A P: (27) 2;U 2;U 0;U c 0;U 1 c Here P is the prolongation matrix that converts the velocity-only space to velocity-pressure T T space such that PU = (U; 0) and P Q = U, and A and A are deﬁned by the 0;C 0;U volume-control-only and wall-control-only versions of (9), respectively: A Q = (C; 0) in ; U = 0 on ; (28) 0;C 1 1 A Q = 0 in ; U = U on ; U = 0 on n : (29) 0;U 1 1 c c 1 c y y C. Simpliﬁcation: spanwise-harmonic control Let us now assume a spanwise-harmonic control of the form 0 1 0 1 e e U (x; y) cos( z) C (x; y) cos( z) c x B C B C B C B C e e U (x; y; z) = ; C(x; y; z) = : (30) B V (x; y) cos( z) C B C (x; y) cos( z) C c y @ A @ A f e W (x; y) sin( z) C (x; y) sin( z) c z The ﬁrst-order ﬂow modiﬁcation is also spanwise-harmonic, of same wavenumber : 0 1 U (x; y) cos( z) B C B C V (x; y) cos( z) B C Q (x; y; z) = : (31) B C B C W (x; y) sin( z) @ A P (x; y) cos( z) The quadratic term U rU in (10) is then the sum of 2D terms (spanwise-invariant 1 1 2D terms, of wavenumber 0) and 3D terms (of wavenumber 2 ), which we denote f (x; y) + 3D 2D f (x; y; z). As a result, the second-order ﬂow modiﬁcation has the same form: Q (x; y) + 3D Q (x; y; z). Similarly, the second and third terms in (16)-(17) and (18) have the same form too, and ﬁnally the second-order reattachment location modiﬁcation reads 2D 3D x (z) = x + x (z) (32) r2 r2 r2 where 2 3 e e e 2D @ U @ U (@ U ) @ U y 1 xy 1 xxy 0 y 1 @ U 6 7 2D 2 x = + (33) 4 5 r2 2 3 @ U xy 0 2 (@ U ) 4 (@ U ) xy 0 xy 0 x=x ;y=0 r0 2D 2D 2D = x + x + x : (34) r2;I r2;II r2;III 3D Because x (z) is harmonic of zero mean, we now focus on the spanwise-invariant component r2 2D x . Its expression can be simpliﬁed, taking advantage of the speciﬁc form (30) of the control: r2 D E 2D e e e e e e x = C S C + U S U ; (35) e c e c r2 2;C 2;U e e where S and S are spanwise-invariant versions of the second-order sensitivity operators e e 2;C 2;U (26)-(27) (see detailed expressions in Appendix B). The advantage of this simpliﬁcation 9 is that calculating the sensitivity operators (and, later, ﬁnding the optimal control) can be performed with 2D ﬁelds and tensors, rather than 3D ones, which greatly reduces the computational cost and memory requirements. Figure 3(a) visualizes a 3D ﬂow obtained with spanwise-periodic control. The optimal wall normal blowing/suction control for = 1 is applied on the upstream part (x < 0, y = 1) of the lower wall, with amplitude = 0:003 (see Fig. 8 for the actuation vector). As shown in the sketch of Fig. 3(b), the reattachment location x (z) is decomposed into zeroth-order x (uncontrolled), ﬁrst-order x (z) (of zero mean), and second-order x . As mentioned r0 r1 r2 3D earlier, the second-order component is further divided into a zero-mean 3D part x (z) and r2 2D a mean 2D part x . Therefore, the spanwise-averaged reattachment location is r2 2 2D x = x + x ; (36) r r0 r2 2D which is our control interest. The second-order variation x is now referred to as mean r2 correction. D. Optimal spanwise-periodic control In this section, we show how the spanwise-harmonic control can be optimized so as to yield the largest possible eﬀect on the reattachment location. The formulation is similar to , where the control was optimized for the largest eﬀect on the linear stability properties (growth rate or frequency, i.e. real or imaginary part of the complex eigenvalue), except that here all quantities are real. We only describe the optimization procedure for boundary e e control U ; the derivation for volume control C is similar. 1. Optimal spanwise-periodic wall actuation If the recirculation length is to be reduced, the mean correction can be minimized by solving the following problem: D E 1 T e e e e U S + S U c e c 2;U e 2 c 1 2;U 2D T e e D E min x = min = S + S : (37) min e r2 e 2;U c 2;U e 2 e e jjU jj=1 U U c c This indicates that, for any given wavenumber , the smallest (largest negative) eigenvalue 1 T e e of the symmetric operator S + S is the smallest (largest negative) mean correc- 2;U e 2 c 2;U 10 1 (a) 0.8 0.6 0.4 0.2 (b) 2π/β π/β + + x x x 2 r r0 r1 r2 2 2D 3D = (x + x ) r2 r2 FIG. 3. (a) An example of 3D base ﬂow modiﬁed by a wall blowing/suction control (using the same control as in Fig. 8 with = 0:003). Streamlines start at (x; y) = ( 5; 1:05) at diﬀerent spanwise positions z. The iso-surface indicates the lower zero streamwise velocity U = 0 (the upper recirculation region is not shown here). The thick red line indicates the lower reattachment location characterized by a vanishing wall shear stress @ U = 0. (b) Decomposition of the reattachment location x into zeroth, ﬁrst and second-order components x , x and x . The spanwise-averaged r r0 r1 r2 2 2D reattachment location is x = x + x . r r0 r2 tion, and the corresponding eigenvector U is the optimal wall control. Similarly, if the recirculation length is to be increased, the mean correction can be maximized by ﬁnding the largest positive eigenvalue and the associated eigenvector. 2. Optimal spanwise-periodic wall deformation For open-loop control, deforming the geometry can be more interesting than using a steady wall velocity actuation. It is possible to compute the optimal wall deformation, noting that an equivalent wall deformation can be deduced from a given wall blowing/suction control . On wall boundaries, the velocity should vanish; for a small-amplitude wall- 11 normal deformation y , this condition yields (with a Taylor expansion): U(y + y ) = U (y + y ) + U (y + y ) + 0 1 0 0 1 1 0 1 = U (y ) + [y @ U (y ) + U (y )] + = 0: (38) 0 0 1 y 0 0 1 0 Noting that U (y ) = 0, this gives the relation between wall-normal deformation y and 0 0 1 equivalent tangential velocity U : @U (y ) 0 0 U (y ) = y = U : (39) 1 0 1 c @y Therefore, considering spanwise-harmonic wall-normal deformations of the form y (z) = y ~ cos( z); (40) 1 1 the mean correction can now be expressed as D E D E 2D e e e e x = U jS U = y ~ @ U (y )jS @ U (y )y ~ c e c 1 y 0 0 e y 0 0 1 r2 2;U 2;U c c D E D E e e = y ~ jM S My ~ = y ~ jS y ~ ; (41) 1 1 1 2;y ~ 1 2;U 1 where M is a weight matrix accounting for the wall shear stress @ U (y ) of the uncontrolled y 0 0 ﬂow. Finally, the optimization for wall-normal deformation reads D E 1 T e e y ~ S + S y ~ 1 2;y ~ 1 1 2;y ~ 2 1 2D T e e min x = min = S + S : (42) min 2;y ~ r2 1 2;y ~ jjy ~ jj=1 hy ~ jy ~ i 2 1 1 III. NUMERICAL METHOD A. Linear analysis and optimization The sensitivity analysis and the optimization are conducted using the method described in [5, 36, 37]. The problem is discretized with a ﬁnite-element method using FreeFem++  with P2 and P1 Taylor-Hood elements for velocity and pressure, respectively. Mesh points are clustered near the reattachment point, yielding a typical number of elements of 5 6 1:6 10 and 10 degrees of freedom. The uncontrolled base ﬂow (8) is obtained with a Newton method. Eigenvalues are solved with a restarted Arnoldi method. At the inlet (x = 5), a Poiseuille ﬂow proﬁle is imposed with maximum velocity U = 1, in and a stress-free condition is applied at the outlet (x = 50). At Re = 500, the reattachment 12 location on the lower wall is x = 10:87 (recall Re = U h= with h = 1 the step height r0 in and the kinematic viscosity). It is well converged: x = 10:88 on a coarser mesh with r0 4:5 10 elements. B. Three-dimensional DNS Direct numerical simulations (DNS) are also carried out for validation of the optimiza- tion method, using the open-source code NEK5000 . This parallel code is based on the spectral element method where spatial domain is discretized using hexahedral elements. The unknown parameters are obtained using Nth-order Lagrange polynomial interpolants, based on the Gauss-Lobatto-Legendre quadrature points in each spectral element with N 6. A third order backward diﬀerentiation formula (BDF3) is employed for time discretization. For the spatial discretization, the diﬀusive terms are treated implicitly whereas the convec- tive terms are estimated using a third order explicit extrapolation formula (EXT3). Since the explicit extrapolations of the convective terms in the BDF3-EXT3 scheme enforce a restriction on the time step for iterative stability , we chose the time step so as to have a Courant number CFL 0:5. The computational domain and the boundary conditions are in accordance with the speciﬁcations of the BFS used in the sensitivity analysis. Additionally, we impose periodic boundary conditions in the spanwise direction, where the spanwise width z 2 [0 2= ] captures one wavelength for the purpose of validation. Certain cases employing optimal spanwise modulation required the analysis of a domain with two wavelengths, z 2 [0 4= ]. The domain is discretized with a structured multiblock grid consisting of 36200 and 72400 spectral elements for the spanwise widths 2= and 4= , respectively. In both cases, the minimum and maximum distances between the adjacent grid points are 2:4 10 (near the step corner and the reattachment point) and 2:2 10 (at the outlet), respectively. IV. LINEAR STABILITY PROPERTIES OF THE 2D UNCONTROLLED BASE FLOW In this section, we investigate the characteristics of the uncontrolled base ﬂow. The BFS ﬂow separates at the step corner and reattaches downstream, thus forming a recirculation 13 region. For the BFS of expansion ratio 2 at Re = 500, there are two recirculation regions: one on the lower wall developing for x 2 [0 10:87], and another one on the upper wall for x 2 [8:7 17:5]. In this section, we discuss some linear characteristics of the uncontrolled 2D base ﬂow. A. Global linear stability We ﬁrst investigate the eigenvalues of the system. We assume normal mode perturba- tions q = q(x; y) exp(t + i z) of small-amplitude, complex eigenvalue , and real spanwise wavenumber . We use the subscript to denote the eigenmode wavenumber (to be distin- 0 0 guished from the control wavenumber ). We solve the generalized eigenvalue problem qb = A qb (43) associated with the linearized equation for perturbations around the uncontrolled 2D base ﬂow, with no-slip boundary conditions at the walls. Leading eigenvalues for Re = 500 are shown in Fig. 4 as a function of the spanwise wavenumber . For the purpose of later comparison, we plot the inverse of the absolute value of . For all wavenumbers, the leading eigenvalue has a negative growth rate (stable, decaying modes), and zero frequency (steady modes; ﬁlled circles) except near = 0:4 0:5 (oscillating modes; empty circles). There are two local maxima of 1=jj (least stable modes) near = 0:1 and = 1, in line with the results of  for Re = 450. 0 0 Some selected global modes are shown in Fig. 5 for = 0:1, 0:5 and 1. For = 0:1, 0 0 the mode is localized around x = 10, near the lower reattachment and upper separation points. For = 0:5, the mode is largest farther downstream (x > 10), while for = 1 it 0 0 is localized in the lower recirculation region x < 10 . B. Optimal 3D steady forcing For linearly stable ﬂows, it is interesting to investigate what kind of disturbances un- dergo the largest ampliﬁcation. Here we consider in particular a steady spanwise-harmonic forcing f = f (x; y) exp(i z) acting on the wall boundaries, and resulting linearly in a steady spanwise-periodic response q = q(x; y) exp(i z) via e b A q = B f; (44) 0 f 14 400 |λ| 0 0.2 0.4 0.6 0.8 1 1.2 1.4 1.6 1.8 2 β, β FIG. 4. Leading eigenvalue (inverse distance from the origin 1=jj) and steady optimal gain G, as a function of spanwise wavenumber. Filled circles: steady modes (zero frequency = 0); empty circles: oscillating modes (non-zero frequency). Highlighted wavenumbers: see Figs. 5-6. 0.4 (a) 1.5 β = 0.1 0.2 1 0 −0.2 0.5 Global mode −0.4 0.2 (b) 1.5 β = 0.5 1 0 0.5 −0.2 (c) 0.2 1.5 β = 1 1 0 0.5 −0.2 −4 −2 0 2 4 6 8 10 12 14 16 18 20 FIG. 5. Streamwise velocity of the least stable global eigenmode for (a) = 0:1, (b) = 0:5 0 0 and (c) = 1. In (a) and (c) u ^ is represented (steady modes) while in (b) the real part Re(u ^) is shown (oscillating mode). where B limits active forcing regions to the walls. The linear ampliﬁcation eﬃciency can be measured with a linear gain, for instance as the ratio of the norms of the forcing velocity and response velocity: jjqbjj G = : (45) jjfjj y y y G, |λ| 2 (a) 1.5 β = 0.1 1 0 0.5 Optimal response −100 (b) 1.5 β = 0.5 1 0 0.5 −50 2 100 (c) β = 1 1.5 1 0 0.5 0 −100 −4 −2 0 2 4 6 8 10 12 14 16 18 20 FIG. 6. Streamwise velocity (real part Re(u ^)) of the optimal response to steady forcing for (a) = 0:1, (b) = 0:5 and (c) = 1. This ratio can be maximized: the linear optimal gain is given by the largest singular value of the resolvent operator (here with zero frequency) and the optimal forcing is the associated singular vector [5, 41]. The optimal gain for steady wall actuation is shown in Fig. 4 as function of the forcing spanwise wavenumber. The maximum optimal gain G = 326 is reached for = 0:1, the same wavenumber as the least stable eigenmode. Qualitatively, the optimal gain varies with the spanwise wavenumber like 1=jj for the leading global mode. This result illustrates the "-pseudospectral property [42, 43]. Some selected optimal responses are depicted in Fig. 6. As expected, the optimal responses for = 0:1 and = 1 are similar to the eigenmodes at the same wavenumbers. For = 0:5, the optimal response is slightly diﬀerent from the global mode since the latter has a non-zero frequency while the response is steady. V. RESULTS: OPTIMAL CONTROL FOR LOWER REATTACHMENT LOCA- TION We now turn our attention to the optimal spanwise-harmonic control: wall actuation (blowing/suction) in Sec. V A, and wall deformation in Sec. V B. All results are given for Re = 500. y y y A. Optimal wall actuation 2D Figure 7(a) shows the optimal negative mean correction x as a function of . Several r2 wall actuation scenarios are considered: on the upper wall, with normal velocity V ; on the upstream lower wall, with normal velocity V ; on the upstream lower wall, with tangential velocity U . Recall that 3D velocity controls are deﬁned as (U ; V ; W )(x; y; z) = (U (x; y) cos( z); c c c c e f V (x; y) cos( z); W (x; y) sin( z)). The wall restriction is implemented by modifying the c c prolongation matrix P. Wall-normal control V is most eﬃcient on the upper wall at = 0:6, and on the upstream lower wall at = 1. Wall-tangential actuation U on the upstream lower wall has a much smaller eﬀect on the reattachment length than normal actuation. This holds for other types of wall controls (not shown): actuating with normal velocity V is generally more eﬃcient e f than with wall-tangential velocity components U and W . c c The individual contributions of terms I, II and III in (34) are shown in Fig. 7(b)-(c) for normal actuation V on the upper wall and upstream lower wall, respectively. In both cases, term I (a linear function of the second-order ﬂow modiﬁcation) contributes the most on the mean correction, while terms II and III (quadratic functions to the ﬁrst-order ﬂow modiﬁcation) have negligible or counteracting eﬀects. Control vectors for the upper wall ( = 0:6) and upstream lower wall ( = 1) are shown in Fig. 8. The control is largest near x = 6 and x = 0, respectively. The linear gain G for these controls is shown in Fig. 9(a) (solid lines). Here the gain is e e calculated as the ratio between the response jjU jj and the control jjU jj. The optimal gain 1 c obtained when maximizing (45) with wall restriction is also shown in Fig. 9(a) (dashed lines). The gain obtained by maximizing x and G itself are close each other, except for lowest r2 values. The corresponding ﬂow modiﬁcations U and ub (not shown) are very similar to each other too. This indicates that the ampliﬁcation potential of the system is closely related to the recirculation length x , as reported in . Figure 9(b) shows the spanwise-averaged reattachment location x computed from 3D 2 2D DNS along with the sensitivity prediction for the reattachment location x = x + x as r 0 r2 17 5,000 20,000 (a) (b) e Upper wall, V −20,000 −40,000 −20,000 Total term I −60,000 term II term III 10,000 −40,000 (c) −20,000 −40,000 −60,000 Total Upper wall, Ve −60,000 Upst. lower wall, V II Upst. lower wall, Ue III Upst. lower wall, Ve c c −80,000 0 0.5 1 1.5 2 0 0.5 1 1.5 2 β β 2D FIG. 7. (a) Mean correction x induced by the optimal wall blowing/suction minimizing the mean r2 reattachment length x (spanwise wavenumber , diﬀerent walls). The individual contributions of the terms I, II and III in (34) (their 2D components) on the total mean correction are detailed in e e (b) for upper wall, V and (c) for upstream lower wall, V controls. c c −5 0 5 10 15 −5 0 5 (a) (b) |V | = 0.5 c e |V | = 0.5 FIG. 8. Optimal control (0; V ; 0) (a) on the upper wall for = 0:6 and (b) on the upstream lower wall for = 1. a function of the actuation amplitude , for the upstream lower wall case. The agreement is good up to ' 0:001. For this amplitude (equal to 0.1% of the maximum inlet velocity), the optimal control on the upstream lower wall reduces the reattachment location by 0.55%. For larger amplitudes in the investigated range, DNS results start to diﬀer due to strong nonlinear eﬀects, but x continues to decrease. 2D r2 400 10.9 Opt. G upper (a) (b) DNS r0 Opt. x upper Prediction Opt. G upst. low. Opt. x upst. low. 200 10.8 Upst. lower wall V 0 10.7 −4 0 0.5 1 1.5 2 0 0.001 0.0015 0.002 5 × 10 FIG. 9. (a) Linear gain G for steady spanwise-periodic wall blowing/suction: control V minimizing x (solid lines) and control f maximizing G (dashed lines). (b) Mean reattachment location x as r r a function of the control amplitude for upstream lower wall actuation for = 1. Line: sensitivity prediction; symbols: 3D DNS. B. Optimal wall deformation We now investigate the optimal wall deformation for minimizing the lower reattachment point. We focus on the upstream lower wall. The wall deformation is computed using (42), and we apply to y the smoothing ﬁlter F = 1=(exp(2C (x + x )) + 1), with C = 250 and 1 w k S k x = 0:02, to avoid singularity at the step corner where @ U goes to inﬁnity. This amounts S y 0 to regularizing the sensitivity (we note that one could also regularize the geometry with a small chamfer at the corner). 2D Figure 10 shows the eﬀect of the optimal control x as a function of . The most r2 eﬀective spanwise wavenumber is = 1:1, similar to the wall blowing/suction case, but the 2D eﬃciency is much lower (minimum x about 15 times smaller). This is due to the fact that r2 wall deformation is equivalent to a tangential velocity U , which has a much smaller eﬀect than normal velocity V on x (recall Fig. 7). Although less eﬀective, wall deformation on c r2 2D 3 the upstream lower wall still results in the mean correction x = 3:7 10 . r2 Figure 10(b)-(c) show the optimal wall deformation y and its 2D proﬁle y ~ (recall 1 1 y = y ~ cos( z)). The wall deformation is maximum just before the step corner, where 1 1 the ﬂow separates. The mean reattachment location from 3D DNS is shown in Fig. 11(a). A good agreement is found until = 0:0075. At this point, x is decreased to 10:7: a de- formation amplitude equal to 0.75% of the inlet channel and step heights reduces the mean Gain, G r 0 (a) (b) −1,000 x = −5 x = 0 −2,000 β = 1.1 Upst. lower wall (c) −3,000 −4,000 0.2 0.4 0.6 0.8 1 1.2 1.4 1.6 1.8 2 −3 −2 −1 0 FIG. 10. (a) Eﬀect of the optimal upstream lower wall deformation as a function of spanwise wavenumber . (b) 3D visualization of the optimal upstream lower wall deformation y = y ~ cos( z) 1 1 and (c) 2D proﬁle y ~ for = 1:1. 10.9 = 0.005 (a) β = 1.1 (b) Prediction DNS 10.8 10.85 10.6 10.8 Prediction DNS 10.4 10.75 0 0.002 0.004 0.006 0.008 0.01 0.012 0.5 1 1.5 2 FIG. 11. Eﬀect of the optimal wall deformation on the mean reattachment point (a) as a function of for ﬁxed = 1:1 and (b) as a function of for ﬁxed = 0:005. reattachment location by 1.5% . For larger deformation amplitudes ( > 0:01), DNS results depart from the sensitivity prediction. Figure 11(b) shows x as a function of for a ﬁxed deformation amplitude = 0:005. Overall, sensitivity predictions and 3D DNS results are in good agreement, with a maximum 2D error jx x j=x ' 0:2% for = 1:1. r r DNS r DNS For a larger deformation amplitude = 0:015, the ﬂow becomes unstable. Figure 12 shows an instantaneous ﬂow ﬁeld with iso-contours of spanwise velocity W = 0:03. Because the 2D r2 y˜ 1 4π (a) 2π 0 10 30 40 50 −5 20 4π (b) Top view 2π −5 0 10 20 30 40 50 Side view (c) −5 0 10 20 30 40 50 FIG. 12. Iso-surfaces of instantaneous spanwise velocity W = 0:03 for the optimal wall deforma- tion on the upstream lower, with amplitude = 0:015. (a) oblique view, (b) top view and (c) side view. uncontrolled base ﬂow has no spanwise velocity component, W is a good indicator of velocity perturbations. Those perturbations develop just after the step corner and are sustained in the region x 2 [5 40]. From the top view in Fig. 12(b), clear lines of vanishing W are observed at the nodal points of sin( z). Chevron patterns appear in the side view in Fig. 12(c). Perturbations oscillate in time at a fundamental frequency ! = 0:55 (St = 0:088). Boujo, Fani and Gallaire  reported the destabilizing eﬀect of spanwise-periodic control in parallel shear ﬂow. They showed that both fundamental and sub-harmonic =2 modes can be excited due to a sub-harmonic resonance mechanism [28, 44]. In our DNS with a spanwise domain extended to two control wavelengths (z 2 [0 4= ]), and thus able to accommodate perturbations of wavenumber as small as =2, perturbations do not show any sub-harmonic component. Instead, only harmonics of n (n = 1; 2; 3:::) exist, as observed in Fig. 12(b). 21 VI. DISCUSSION Although the optimization procedure ﬁnds the most eﬃcient spanwise-harmonic control, the eﬀect on the mean recirculation length appears relatively small. In light of this ob- servation, it is worth comparing the optimal 2D and 3D blowing/suction. One can show that the optimal 2D wall control is equal to the sensitivity to 2D wall control, given by the y y y y adjoint stress at the wall P I + Re rU n, where (U ; P ) is the adjoint base ﬂow (see Sec. II B) and n the outward unit normal vector [5, 35, 37]. Since the tangential component is generally much smaller than the normal one, we simply consider the sensitivity to 2D normal actuation as the optimal control (0; V ). Figure 13 compares the 3D control optimized on the upstream lower wall ( = 1) to its 2D counterpart, both normalized to 1. The linear response U to the 2D control is largest and positive near the lower reattachment point, resulting in a positive wall shear stress @ U at that location, as expected if x is to be minimized. Via the spanwise-periodic y r ﬁrst-order ﬂow modiﬁcation U (not shown), the optimal 3D control induces a mean second- 2D order ﬂow modiﬁcation U that is qualitatively similar to U, resulting in a positive 2D wall shear stress @ U , and therefore a negative x (we do not investigate x and y r2;I r2;II x since they are much smaller, as shown in Fig. 7). Fig. 14 shows the same quantities r2;III optimized on the upper wall ( = 0:6 for the 3D control), and again a qualitatively similar 2D wall shear stress. Although U is much larger than U, it must be kept in mind that 2D and 3D controls of the same amplitude yield a 2D modiﬁcation that scales linearly 2 2D ( U) and a 3D modiﬁcation that scales quadratically ( U ), respectively. Spanwise- periodic controls should therefore become more eﬃcient for large enough amplitudes, as previously observed for ﬂow stabilization [27, 29–31], and as shown in Fig. 15. In practice, when the control amplitude increases, it may happen that the actual eﬃciency is limited by deviation from the sensitivity prediction (Sec. V A) or by the ﬂow becoming linearly unstable (Sec. V B). This can be tested on a case-by-case basis, once promising control candidates have been identiﬁed. In this respect, the concept of second-order sensitivity and the associated optimization method allow for a systematic exploration of the best candidates for spanwise-periodic control. This study has focused on Re = 500. In order to investigate the eﬀect of the Reynolds number, the optimal control has also been computed for other Reynolds numbers up to 22 FIG. 13. (a) Optimal 2D and 3D ( = 1) vertical controls on the upstream lower wall. (b) Leading- order mean ﬂow modiﬁcations (streamwise component). (c) Corresponding wall shear stress on the lower wall. Re = 700 (just below the 3D instability threshold). Figure 16(a) shows the second-order 2D variation x for the optimal vertical blowing/suction V on the upstream lower wall. The r2 mean correction reaches a maximum for a peak wavenumber that slightly decreases with Re, but remains close to = 1 1:5. The largest mean correction increases exponentially with Re. For instance at = 1, the mean correction for Re = 700 (x = 12:68) is r0 2D 7 x = 1:35 10 , which is between two and three orders of magnitude larger than for r2 2D 4 Re = 500 (x = 10:88): x = 5:95 10 . This exponential increase in control authority is r0 r2 similar to the exponential increase in optimal transient growth  and optimal harmonic gain , and can be ascribed to the exponential increase in ampliﬁcation via a shear mechanism, itself related to the linear increase in recirculation length (e.g. ). We note that the proﬁle of the optimal control is very similar at Re = 500 (Fig. 8b) and 700 (not shown). Figure 16(b) shows a DNS validation for Re = 700, = 1. The eﬀect is indeed much stronger than 23 FIG. 14. (a) Optimal 2D and 3D ( = 0:6) vertical controls on the upper wall. (b) Leading-order mean ﬂow modiﬁcations (streamwise component). (c) Corresponding wall shear stress on the lower wall. 0/x 2 2D 0 x r2 -0.1 -0.2 0 0.5 1 1.5 2 -3 #10 FIG. 15. Eﬀect on the reattachment location x of the optimal vertical 2D control and optimal vertical 3D control ( = 1) of amplitude , on the upstream lower wall. 24 0 −10 12.7 Re = 700, β = 1 (a) (b) Prediction r0 DNS Re = 100 −10 Re = 200 12.65 −10 12.6 −10 Upst. lower wall V 12.55 −10 −5 −5 −4 0 0.5 1 1.5 2 2.5 3 0 4 × 10 8 × 10 1.2 × 10 2D FIG. 16. (a) Mean correction x induced by the optimal wall blowing/suction V minimiz- r2 ing the mean reattachment length x (spanwise wavenumber , upstream lower wall) for Re = 100; 200; :::; 700 with the interval Re = 100. The thick line indicates Re = 500. (b) Mean reat- tachment location x as a function of the control amplitude for upstream lower wall actuation for = 1 and Re = 700. Line: sensitivity prediction; symbols: 3D DNS. for Re = 500 (Fig. 9b) but higher-order eﬀects appear at a smaller control amplitude. VII. CONCLUSION Initially motivated by the link between recirculation length and stability properties in separated ampliﬁer ﬂows, we have focused on the mean reattachment location as an indi- cator for the noise amplifying potential in a 3D backward facing step of expansion ratio of 2 and ﬁxed Reynolds number Re = 500. In this context, our goal was to control the reat- tachment location on the BFS lower wall with optimal spanwise-periodic control (steady wall blowing/suction or wall deformation) based on the second-order sensitivity analysis introduced by  for the linear stability properties of the circular cylinder ﬂow. A second-order sensitivity tensor for the reattachment location has been derived, such that modiﬁcation of the reattachment location is obtained as a scalar product of this tensor and any arbitrary control. For the speciﬁc case of spanwise-harmonic control, the sensitivity tensor was then further simpliﬁed, i.e. made independent of z. When the control is spanwise harmonic, the ﬁrst-order reattachment modiﬁcation takes the same wavenumber with zero mean value, while the second-order modiﬁcation has a non-zero mean value. Thereby, we Re = 700 2D r2 r have looked for optimal controls that minimize the second-order mean correction. For wall blowing/suction, we have shown that tangential control has a negligible inﬂuence while normal control is the most eﬀective. The optimal wavenumber depends on the control location: = 0:6 is optimal when controlling on the upper wall, and = 1 when controlling on the upstream lower wall control. The linear gain for this actuation resembles the optimal gain for 3D steady forcing, indicating that the ampliﬁcation potential of the BFS is indeed linked to the recirculation length, as also observed in . Three-dimensional direct numerical simulations have validated the quadratic behaviour of the mean reattachment length modiﬁcation. The sensitivity prediction is valid until a control amplitude ' 0:001; for larger amplitudes, DNS results start to deviate from the quadratic prediction. Optimal wall deformation has been studied too. We have focused on deformation of the upstream lower wall, restricting the wall deformation to be null at the step corner. The optimal wall control is generally less eﬀective than wall optimal blowing/suction, and its optimal wavenumber is = 1:1. DNS validation has shown that the sensitivity prediction is valid until a deformation amplitude ' 0:008; beyond that, the optimal control destabilizes the ﬂow. Finally, the optimal 3D spanwise-periodic control was compared to the optimal 2D con- trol. The resulting wall shear stress (directly linked to the modiﬁcation of the reattachment location) is two or three orders of magnitude larger for 3D controls than for 2D ones. Since 2D and 3D controls depend linearly and quadratically on the control amplitude, respectively, the 3D control is more eﬃcient for large enough control amplitudes. In order to determine which of the two controls is best at which amplitude, additional studies are required once the optimal 3D control has been identiﬁed. This limitation can be tackled if the mean ﬂow modiﬁcation is taken into account in the optimization, for instance with a semi-linear approach [45, 46]. We have not systematically investigated the stability of the controlled ﬂow. Although the spanwise-periodic ﬁrst-order ﬂow modiﬁcation does not induce any mean variation of x , it may still alter the ﬂow stability. Clarifying whether this is the case or not would be possible, for a given control, using linear stability analysis (Floquet or 3D global), or non-linear DNS. 26 ACKNOWLEDGMENTS The authors are grateful to Dr. Lorenzo Siconolﬁ for his help with the direct numerical simulations. Appendix A: Appendix: Second-order reattachment location modiﬁcation Recall the deﬁnition of the reattachment location [5, 35, 37]: x = H ( @ U (x; 0)) dx; (A1) r y where H is the Heaviside function such that H ( < 0) = 0 and H ( > 0) = 1. This expression yields indeed the reattachment location since the wall shear stress @ U (x; 0) is negative in the recirculation region. Hereafter, we omit y = 0 for brevity. Substituting 2 3 U = U + U + U + O (A2) 0 1 2 into (A1), one obtains: 2 3 x = H @ U @ U @ U + O dx r y 0 y 1 y 2 2 3 0 2 00 = H ( @ U ) @ U + @ U + O H ( @ U ) + @ U + O H ( @ U ) dx y 0 y 1 y 2 y 0 y 1 y 0 = H ( @ U ) dx y 0 (@ U ) H ( @ U ) dx y 1 y 0 2 0 00 3 + ( @ U ) H ( @ U ) + (@ U ) H ( @ U ) dx + O : (A3) y 2 y 0 y 1 y 0 The zeroth-order term is the reattachment location x of the uncontrolled ﬂow. The ﬁrst- r0 order term x is linear in U and is therefore zero when averaging over z. The second-order r1 1 term contains derivatives of H, that can be obtained deﬁning G(x) = H ( @ U (x; 0)) = H () 27 and using the relations d(H ()) dH d 0 0 G (x) = = = H ()@ U; (A4) xy dx d dx 00 0 G (x) = ( H ()@ U ) xy dx d d(H ()) = H () (@ U ) @ U xy xy dx dx d H d = H ()@ U @ U xxy xy d dx 0 00 = H ()@ U + H () (@ U ) ; (A5) xxy xy which yields G (x) (x x ) H () = = ; (A6) @ U @ U xy xy 1 1 (x x ) 00 0 00 0 H () = (H ()@ U + G (x)) = @ U (x x ) ; (A7) xxy xxy r 2 2 @ U (@ U ) (@ U ) xy xy xy with (x) the Dirac delta function. The second-order term thus becomes: 0 00 x = ( @ U ) H ( ) + (@ U ) H ( ) dx r2 y 2 0 y 1 0 ( ) (x x ) 1 (@ U ) (x x ) r y 1 r = ( @ U ) + @ U (x x ) dx y 2 xxy 0 r @ U 2 @ U (@ U ) xy 0 xy 0 0 xy 0 " # 2 2 @ U (x ) 1 (@ U ) @ U 1 d (@ U ) y 2 r0 y 1 xxy 0 y 1 = + + 2 2 @ U (x ) 2 @ U 2 dx (@ U ) (@ U )) xy 0 r0 xy 0 xy 0 xy 0 x x r0 r0 @ U (@ U ) (@ U ) (@ U ) (@ U ) y 2 y 1 xy 1 xxy 0 y 1 = + : (A8) 2 3 @ U xy 0 (@ U ) 2 (@ U ) x xy 0 xy 0 r0 x x r0 r0 Appendix B: Appendix: Simpliﬁcation of the sensitivity operators With a spanwise-periodic control of the form 0 1 0 1 e e U (x; y) cos( z) C (x; y) cos( z) c x B C B C B C B C e e U (x; y; z) = B C ; C(x; y; z) = B C ; (B1) V (x; y) cos( z) C (x; y) cos( z) c y @ A @ A f e W (x; y) sin( z) C (x; y) sin( z) c z the 1st-order ﬂow modiﬁcation is of the form 0 1 U (x; y) cos( z) B C B C V (x; y) cos( z) B C Q (x; y; z) = B C : (B2) B C W (x; y) sin( z) @ A P (x; y) cos( z) 28 Let us consider the ﬁrst term x in (16)-(18). Given the form of Q , the right-hand r2;I 1 side U rU of (10) is the sum of 2D and 3D terms: 1 1 0 1 e e f e (U @ + V @ W )U 1 x 1 y 1 1 B C B C 2D e e f e f (x; y) = B C ; (B3) (U @ + V @ W )V 1 x 1 y 1 1 2 @ A 0 1 e e f e (U @ + V @ + W )U cos(2 z) 1 x 1 y 1 1 B C B C 3D e e f e f (x; y; z) = : (B4) B (U @ + V @ + W )V cos(2 z) C 1 x 1 y 1 1 2 @ A e e f f (U @ + V @ + W )W sin(2 z) 1 x 1 y 1 1 3D 3D The spanwise-harmonic forcing f (x; y; z) induces a 3D spanwise-harmonic response Q (x; y; z) 3D 2D that yields a zero-mean variation x (z). By contrast, the 2D forcing term f (x; y) induces r2;I the 2D response 0 1 2D U (x; y) B C B 2D C V (x; y) B C 2D Q (x; y) = (B5) B C B C @ A 2D P (x; y) 2D that yields a non-zero mean x . Recalling (22), one can therefore write r2;I 2D y 2D x = U f (B6) r2;I ZZ y y e e f e e e f e = U (U @ + V @ W )U + V (U @ + V @ W )V (B7) 1 x 1 y 1 1 1 x 1 y 1 1 ZZ y y y y y y e e e f e e e f = U (U @ U + V @ V W U ) + V (U @ U + V @ V W V ) (B8) 1 x 1 x 1 1 1 y 1 y 1 1 e e e = U S U ; (B9) 1 I 1 where the simpliﬁed second-order sensitivity operator 2 3 y y U @ V @ 0 x x 6 7 6 7 e y y S 0 = (B10) 6 U @ V @ 0 7 y y 2 4 5 y y U V 0 y T can be seen formally as a 2D restriction of the operator U r() . Let us now consider the second and third terms x and x in (16)-(18). Given (B2), r2;II r2;III it is straightforward to show that 2D 2D e e e e e e x = U S U ; x = U S U ; (B11) 1 II 1 1 III 1 r2;II r2;III 29 where the simpliﬁed second-order sensitivity operators are S = (x ) (e @ ) (e @ ) ; (B12) II r0 x y x xy 2 (@ U (x )) xy 0 r0 @ U (x ) xxy 0 r0 y S = (x ) (e @ ) (e @ ) ; (B13) III r0 x y x y 4 (@ U (x )) xy 0 r0 Finally, the mean second-order variation is 2D e e e e e e e x = U S U where S = S + S + S ; (B14) e e 1 1 I II III r2 2;U 2;U 1 1 and the second-order sensitivities to control deﬁned by (35) read 1 1 e e e e e S = P A S A P (volume-forcing-only A ); (B15) e e e e 2;C e 2;U 0;C 0;C 0;C 1 1 T y e e e e e S = P A S A P (wall-forcing-only A ); (B16) e e e e 2;U e 2;U 0;U 0;U c 1 c c 0;U with 2 3 U @ + V @ + @ U D @ U 0 @ 0 x 0 y x 0 y 0 x 6 7 6 7 @ V U @ + V @ + @ V D 0 @ x 0 0 x 0 y y 0 y 6 7 A = ; 6 7 6 7 0 0 U @ + V @ D 0 x 0 y 4 5 @ @ 0 x y (B17) 1 2 D = Re (@ + @ ): (B18) xx yy  D. Lanzerstorfer and H. Kuhlmann, “Global stability of the two-dimensional ﬂow over a backward-facing step,” J. Fluid Mech. 693, 1–27 (2012).  D. Barkley, M. G. M. Gomes, and R. D. Henderson, “Three-dimensional instability in ﬂow over a backward-facing step,” J. Fluid Mech. 473, 167–190 (2002).  O. Marquet and D. Sipp, “Global sustained perturbations in a backward-facing step ﬂow,” in Seventh IUTAM Symposium on Laminar-Turbulent Transition (Springer Netherlands, Dor- drecht, 2010) pp. 525–528.  H. M. Blackburn, D. Barkley, and S. J. Sherwin, “Convective instability and transient growth in ﬂow over a backward-facing step,” J. Fluid Mech. 603, 271–304 (2008). 30  E. Boujo and F. Gallaire, “Sensitivity and open-loop control of stochastic response in a noise ampliﬁer ﬂow: the backward-facing step,” J. Fluid Mech. 762, 361–392 (2015).  K. R. McManus, U. Vandsburger, and C. T. Bowman, “Combustor performance enhancement through direct shear layer excitation,” Combust. Flame. 82, 75–92 (1990).  K. R. McManus and C. T. Bowman, “Eﬀects of controlling vortex dynamics on the performance of a dump combustor,” in Proc. Combust. Inst., Vol. 23 (Elsevier, 1991) pp. 1093–1099.  A. F. Ghoniem, A. Annaswamy, D. Wee, T. Yi, and S. Park, “Shear ﬂow-driven combustion instability: Evidence, simulation, and modeling,” Proc. Combust. Inst. 29, 53–60 (2002).  G Pujals, S Depardon, and C Cossu, “Transient growth of coherent streaks for control of turbulent ﬂow separation,” Int. J. Aerodyn. 1, 318–336 (2011).  M Tanner, “A method for reducing the base drag of wings with blunt trailing edge,” Aeronau- tical Quarterly 23, 15–23 (1972).  M.M. Zdravkovich, “Review and classiﬁcation of various aerodynamic and hydrodynamic means for suppressing vortex shedding,” J. Wind Eng. Ind. Aerod. 7, 145–189 (1981).  N. Tombazis and P.W. Bearman, “A study of three-dimensional aspects of vortex shedding from a bluﬀ body with a mild geometric disturbance,” J. Fluids Struct. 330, 85–112 (1997).  P.W. Bearman and J.C. Owen, “Reduction of bluﬀ-body drag and suppression of vortex shed- ding by the introduction of wavy separation lines,” J. Fluid Mech. 12, 123–130 (1998).  H. Choi, W.-P. Jeon, and J. Kim, “Control of ﬂow over a bluﬀ body,” Annu. Rev. Fluid Mech. 40, 113–139 (2008).  A. Ahmed and B. Bays-Muchmore, “Transverse ﬂow over a wavy cylinder,” Phys. Fluids A 4, 1959–1967 (1992).  A. Ahmed, M.J. Khan, and B. Bays-Muchmore, “Experimental investigation of a three- dimensional bluﬀ-body wake,” AIAA 31, 559–563 (1993).  S.-J. Lee and A.-T. Nguyen, “Experimental investigation on wake behind a wavy cylinder having sinusoidal cross-sectional area variation,” Fluid Dyn. Res. 39, 292 (2007).  K. Lam and Y.F. Lin, “Large eddy simulation of ﬂow around wavy cylinders at a subcritical reynolds number,” Int. J. Heat Fluid Fl. 29, 1071–1088 (2008).  K. Zhang, H. Katsuchi, D. Zhou, H. Yamada, and Z. Han, “Numerical study on the eﬀect of shape modiﬁcation to the ﬂow around circular cylinders,” J. Wind Eng. Ind. Aerod. 152, 23–40 (2016). 31  K. Lam, Y.F. Lin, and Y. Zou, L .and Liu, “Numerical study of ﬂow patterns and force characteristics for square and rectangular cylinders with wavy surfaces,” J. Fluids Struct. 28, 359–377 (2012).  Y.F. Lin, K. Lam, L. Zou, and Y. Liu, “Numerical study of ﬂows past airfoils with wavy surfaces,” J. Fluids Struct. 36, 136–148 (2013).  D. Serson, J.R. Meneghini, and S.J. Sherwin, “Direct numerical simulations of the ﬂow around wings with spanwise waviness,” J. Fluid Mech. 826, 714–731 (2017).  D.C. Hill, “A theoretical approach for analyzing the restabilization of wakes,” in AIAA (1992) pp. 92–0067.  O. Marquet, D. Sipp, and L. Jacquin, “Sensitivity analysis and passive control of cylinder ﬂow,” J. Fluid Mech. 615, 221–252 (2008).  E.J. Hinch, Perturbation Methods (Cambridge University Press, 1991).  C. Cossu, “On the stabilizing mechanism of 2D absolute and global instabilities by 3D streaks,” arXiv preprint arXiv:1404.3191 (2014).  E. Boujo, A. Fani, and F. Gallaire, “Second-order sensitivity of parallel shear ﬂows and optimal spanwise-periodic ﬂow modiﬁcations,” J. Fluid Mech. 782, 491–514 (2015).  Y. Hwang, J. Kim, and H. Choi, “Stabilization of absolute instability in spanwise wavy two- dimensional wakes,” J. Fluid Mech. 727, 346–378 (2013).  G. Del Guercio, C. Cossu, and G. Pujals, “Optimal perturbations of non-parallel wakes and their stabilizing eﬀect on the global instability,” Phys. Fluids 26, 024110 (2014).  G. Del Guercio, C. Cossu, and G. Pujals, “Optimal streaks in the circular cylinder wake and suppression of the global instability,” J. Fluid Mech. 752, 572–588 (2014).  G. Del Guercio, C. Cossu, and G. Pujals, “Stabilizing eﬀect of optimally ampliﬁed streaks in parallel wakes,” J. Fluid Mech. 739, 37–56 (2014).  O. Tammisola, F. Giannetti, V. Citro, and M.P. Juniper, “Second-order perturbation of global modes and implications for spanwise wavy actuation,” J. Fluid Mech. 755, 314–335 (2014).  S.N. Sinha, A.K. Gupta, and M. Oberai, “Laminar separating ﬂow over backsteps and cavities. Part I: Backsteps,” AIAA 19, 1527–1530 (1981).  B. F. Armaly, F. Durst, J.C.F. Pereira, and B. Schönung, “Experimental and theoretical investigation of backward-facing step ﬂow,” J. Fluid Mech. 127, 473–496 (1983).  E. Boujo and F. Gallaire, “Manipulating ﬂow separation: sensitivity of stagnation points, 32 separatrix angles and recirculation area to steady actuation,” Proc. Roy. Soc. Lond. A 470, 20140365 (2014).  E. Boujo, A. Fani, and F. Gallaire, “Second-order sensitivity in the cylinder wake: Optimal spanwise-periodic wall actuation and wall deformation,” Phys. Rev. Fluids 4, 053901 (2019).  E. Boujo and F. Gallaire, “Controlled reattachment in separated ﬂows: a variational approach to recirculation length reduction,” J. Fluid Mech. 742, 618–635 (2014).  F. Hecht, “New development in freefem++,” J. Numer. Math. 20, 251–265 (2012).  P. F. Fischer, J. W. Lottes, and S. G. Kerkemeier, “Nek5000 Web page,” (2008), http://nek5000.mcs.anl.gov.  G. E. Karniadakis, M. Israeli, and S. A. Orszag, “High-order splitting methods for the incom- pressible navier-stokes equations,” J. Comp. Phys. 97, 414–443 (1991).  X. Garnaud, L. Lesshaﬀt, P. J. Schmid, and P. Huerre, “The preferred mode of incompressible jets: linear frequency response analysis,” J. Fluid Mech. 716, 189–202 (2013).  L. N. Trefethen, A. E. Trefethen, S. C. Reddy, and T. A. Driscoll, “Hydrodynamic stability without eigenvalues,” Science 261, 578–584 (1993).  P. J. Schmid, “Nonmodal stability theory,” Annu. Rev. Fluid Mech. 39, 129–162 (2007).  T. Herbert, “Secondary instability of boundary layers,” Annu. Rev. Fluid Mech. 20, 487–526 (1988).  V. Mantič-Lugo, C., C. Arratia, and F. Gallaire, “Self-consistent mean ﬂow description of the nonlinear saturation of the vortex shedding in the cylinder wake,” Phys. Rev. Lett. 113, 084501 (2014).  P. Meliga, E. Boujo, and F. Gallaire, “A self-consistent formulation for the sensitivity analysis of ﬁnite-amplitude vortex shedding in the cylinder wake,” J. Fluid Mech. 800, 327–357 (2016).
http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.pngPhysicsarXiv (Cornell University)http://www.deepdyve.com/lp/arxiv-cornell-university/optimal-spanwise-periodic-control-for-recirculation-length-in-a-1ZjBRstWwq
Optimal spanwise-periodic control for recirculation length in a backward-facing step flow