arxiv: v1 [physics.flu-dyn] 11 Feb 2017

Transcription

1 This draft was prepared using the LaTeX stle file belonging to the Journal of Fluid Mechanics 1 arxiv: v1 [phsics.flu-dn] 11 Feb 2017 Optimal heat transfer enhancement in plane Couette flow Shingo Motoki 1, Genta Kawahara 1 and Masaki Shimizu 1 1 Graduate School of Engineering Science, Osaka Universit, 1-3 Machikaneama, Toonaka, Osaka , Japan (Received xx; revised xx; accepted xx) Optimal heat transfer enhancement has been explored theoreticall in plane Couette flow. The velocit field to be optimised is time-independent and incompressible, and temperature is determined in terms of the velocit as a solution to an advection-diffusion equation. The Prandtl number is set to unit, and consistent boundar conditions are imposed on the velocit and the temperature fields. The excess of a wall heat flux (or equivalentl total scalar dissipation) over total energ dissipation is taken as an objective functional, and b using a variational method the Euler Lagrange equations are derived, which are solved numericall to obtain the optimal states in the sense of maximisation of the functional. The laminar conductive field is an optimal state at low Renolds number Re At higher Renolds number Re 10 1, however, the optimal state exhibits a streamwise-independent two-dimensional velocit field. The two-dimensional field consists of large-scale circulation rolls that pla a role in heat transfer enhancement with respect to the conductive state as in thermal convection. A further increase of the Renolds number leads to a three-dimensional optimal state at Re In the three-dimensional velocit field there appear smaller-scale hierarchical quasi-streamwise vortex tubes near the walls in addition to the large-scale rolls. The streamwise vortices are tilted in the spanwise direction so that the ma produce the anticclonic vorticit antiparallel to the mean-shear vorticit, bringing about significant three-dimensionalit. The isotherms wrapped around the tilted anticclonic vortices undergo the cross-axial shear of the mean flow, so that the spacing of the wrapped isotherms is narrower and so the temperature gradient is steeper than those around a purel streamwise (twodimensional) vortex tube, intensifing scalar dissipation and so a wall heat flux. Moreover, the tilted anticclonic vortices induce the flow towards the wall to push low- (or high-) temperature fluids on the hot (or cold) wall, enhancing a wall heat flux. The optimised three-dimensional velocit fields achieve a much higher wall heat flux and much lower energ dissipation than those of plane Couette turbulence. Ke words: Mixing enhancement, variational methods 1. Introduction The improvement of the performance of heat exchangers has alwas been crucial to efficientenerguse.whatisaflowfieldwiththeabilitofthemostefficientheattransfer? This ma be a naive question in the development of flow control technique aimed at heat address for correspondence: kawahara@me.es.osaka-u.ac.jp

2 2 S. Motoki et al transfer enhancement. If we can find an optimal state in which heat transfer will be enhanced while suppressing energ loss, it will serve as the target of flow control. For buoanc-driven convection, Malkus (1954) raised a question of an upper limit to heat transfer and an optimal state realising it, and Howard (1963) formulated a variational problem to derive a theoretical upper bound on a heat flux. In the case of velocit fields satisfing the equation of continuit, Howard obtained the upper bound under the assumption that an optimal state has a single horizontal wavenumber, and subsequentl Busse (1969) considered the same problem b using a multipleboundar-laer approach to derive an asmptotic upper bound in a large-raleighnumber limit. Moreover, b using the same method, Busse (1970) found an upper bound on momentum transfer (or equivalentl energ dissipation and so enstroph), and conjectured an optimal velocit field consisting of hierarchical streamwise vortices in plane Couette flow with the aid of the so-called attached-edd hpothesis (Townsend 1976). Later Doering and Constantin developed a new variational approach called the background method and obtained a rigorous upper bound on energ dissipation in plane Couette flow (Doering & Constantin 1992, 1994) and a heat flux in Raleigh Bénard convection (Doering & Constantin 1996). The development of this method has triggered remarkable advancements in identification of optimal momentum transfer in shear flows (Nicodemus et al. 1997, 1998a,b; Plasting & Kerswell 2003) and optimal heat transfer in thermal convection (Kerswell 2001; Otero et al. 2002; Doering et al. 2006). Recentl, Hassanzadeh et al. (2014) have reported optimal velocit fields for twodimensional thermal convection without taking account of the Navier Stokes equation as a constraint on fluid motion. The considered two-dimensional divergence-free velocit fields under one of the two tpes of constraints on velocit fields (fixed kinetic energ or fixed enstroph). On the other hand, Sondak et al.(2015) have taken another approach to optimal heat transfer in the two-dimensional thermal convection, in which the optimised the aspect ratio of the two-dimensional domain for their stead solutions to the Navier Stokes equation to achieve maximal heat transfer. To our knowledge, however, the velocit field for optimal heat transfer has not been determined in shear flows as et. Shear flow turbulence has an abilit of significantl high heat transfer in comparison with laminar flow, but it results in friction loss as a consequence of simultaneous promotion of momentum transfer. This is well known as the similarit between heat and momentum transfer in engineering (Renolds 1874; Chilton & Colburn 1934). Especiall, when the Prandtl number, the ratio between thermal and momentum diffusivit, is close to unit, the heat and momentum transfer exhibit strong similarit (Dippre & Sabersk 1963). Although one of the ultimate goals in turbulence control is more heat transfer and less friction, their achievement has been extremel difficult due to the similarit. Recentl, however, control strategies to break the similarit have been proposed. Momentum transfer b viscous flow obes the Navier Stokes equation, whereas heat transfer is governed b the energ equation, i.e. an advection-diffusion equation for temperature. B appling the feedback control using the adjoint equations (Bewle et al. 2001; Kasagi et al. 2012) to heat transfer in turbulent channel flow with blowing and suction on the wall, Hasegawa & Kasagi (2011) and Yamamoto et al. (2013) have numericall achieved the dissimilarit even when the Prandtl number is equal to unit. Experimentall, several practicable passive or active control techniques have been developed using riblet (Sasamori et al. 2014), permeable wall (Suga et al. 2011), micro actuator and sensor (Kasagi et al. 2009), and so on. Hence, the accomplishment of dissimilar heat transfer enhancement b flow control might be expected in the near future. The aim of this stud is to find an optimal velocit field which will provide new insight

3 Optimal heat transfer enhancement in plane Couette flow 3 U T =+T 0 z x 2h u T U T = T 0 Figure 1. Configuration of the velocit and temperature fields. into such flow control. We focus on optimal heat transfer in plane Couette flow. In this flow, the temperature and velocit field exhibit complete similarit in a laminar and conductive state, when a constant temperature difference is imposed between the two parallel walls. Furthermore, when the Prandtl number is set to unit, a turbulent state shows strong similarit between heat and momentum transfer. B taking the excess of the scalar dissipation (or equivalentl, a total wall heat flux) over the energ dissipation as an objective functional, an optimal velocit field is determined b maximising the functional under the constraint of the continuit equation for the velocit and the advection-diffusion equation for the temperature. This paper is organized as follows. In 2 we describe the flow configuration and the mathematical relation between scalar (or energ) dissipation and a wall heat (or momentum) flux, and then present the formulation of a variational problem. In 3, the details of numerical procedures and the parameter dependence of optimal velocit fields are explained. The spatial structures and the statistics of the optimal states are presented in 4, and the hierarchical structure of the optimal fields is discussed in 5. In 6 we discuss the significant effects of three-dimensional vortical structures on heat transfer enhancement in the optimal state. Section 7 is devoted to summar and discussion. Properties of the external bod force to be added for the achievement of the optimal velocit field are described in Appendix A. An analtical interpretation of heat transfer intensification mechanisms through the spanwise inclination of a quasistreamwise tubular vortex is given in Appendix B. 2. Mathematical formulation 2.1. Flow configuration Figure 1 shows the configuration of the velocit and temperature fields. The flow is driven b the two parallel plates moving in the opposite directions at a constant speed U. The upper (or lower) wall surface is held at higher (or lower) constant temperature +T 0 (or T 0 ). The coordinates, x, and z (or x 1, x 2 and x 3 ), are used for the representation of the streamwise, the wall-normal and the spanwise directions, respectivel, and their origin is on the midplane of the two plates separatedb a distance 2h. The corresponding components of the velocit u(x,,z) are given b u, v and w (or u 1, u 2 and u 3 ) in the streamwise, the wall-normal and the spanwise directions, respectivel. Let us consider heat transfer in an incompressible time-independent velocit field fulfilling the continuit equation u i x i = 0. (2.1) We suppose that the temperature field T(x,, z) is determined as a solution to an

4 4 S. Motoki et al advection-diffusion equation (u j T) = κ 2 T x j x 2, (2.2) j where κ denotes thermal diffusivit. The velocit and temperature fields are supposed to be periodic in the x- and z-directions with the periods, L x and L z. The boundar conditions u( = ±h) = ±U, v( = ±h) = w( = ±h) = 0; T( = ±h) = ±T 0 (2.3) are imposed on the walls Scalar dissipation and heat flux We introduce the xz-average and the xz-average given respectivel b xz = 1 L x L z 1 xz = 2hL x L z Lx Lz 0 0 Lx h Lz We take the xz-average of equation (2.2) to obtain the -integration of which gives us the total heat flux 0 h dxdz, (2.4) 0 dxddz. (2.5) d d vt xz = κ d2 d 2 T xz, (2.6) vt xz κ d d T xz = κ d d T xz ( = h) = const. (2.7) at an wall-normal position. B further taking the average of equation (2.7) in the -direction we have vt xz κ T 0 h = κ d d T xz ( = h). (2.8) Now we decompose the temperature into a conductive state and a fluctuation about it as T = T 0 +θ. (2.9) h The boundar conditions of the temperature fluctuation θ are The substitution of decomposition (2.9) in (2.8) ields θ( = ±h) = 0. (2.10) vθ xz = κ d d θ xz ( = h). (2.11) We substitute decomposition (2.9) for equation (2.2) to have (u j θ)+v T 0 x j h = θ κ 2. (2.12) The product of equation (2.12) with θ gives us ( ) 1 u j x j 2 θ2 +vθ T 0 h = κ ( θ θ ) ( ) 2 θ κ. (2.13) x j x j x j x 2 j

5 Optimal heat transfer enhancement in plane Couette flow 5 B further taking the xz-average of equation (2.13) and taking into account boundar conditions (2.10), we obtain T 0 h vθ xz = κ θ 2, (2.14) xz where the right-hand side represents the dissipation of variance θ 2, hereafter referred to as scalar dissipation. As a consequence, we have the expression of the wall heat flux κ d d T xz ( = +h) = κ d d T xz ( = h) = κh θ 2 T κt 0 0 xz h. (2.15) 2.3. Energ dissipation and momentum flux The stead motion of a viscous fluid is described b the Navier Stokes equation (u i u j ) = 1 p +ν 2 u i +f i, (2.16) x j ρ x i where p, ρ, ν and f i are pressure, mass densit, kinematic viscosit, and the i-th component of external bod force per unit mass, respectivel. The inner product of equation (2.16) with the velocit ields the local energ budget equation x j ( u j 1 2 u 2 ) = 1 (pu i )+ν ρ x i x j x 2 j ( u i u i x j ) ν ( ) 2 ui +u i f i. (2.17) B taking the xz-average of equation(2.17) and taking into account boundar conditions (2.3), we obtain the total energ budget equation [ ν d 2 d u xz ( = +h)+ d ] d u xz ( = h) = νh u 2 U h xz U u if i xz, (2.18) where we have supposed a null mean pressure gradient in the wall-parallel (x- and z-) directions. The left-hand side of equation (2.18) is mean wall shear stress, while the first and second terms in the right-hand side originate from energ dissipation and an energ input b the external force, respectivel. x j 2.4. Objective functional and Euler-Lagrange equation Let us now consider the optimisation problem of a functional to find an optimal state for the dissimilarit between momentum and heat transfer. As can be seen from equation (2.15) and (2.18), the wall heat flux corresponds to the total scalar dissipation, and the wall momentum flux (i.e. the skin friction) is related with the total energ dissipation. Therefore, we shall search for an optimal state which maximises the functional J{θ,u,p,θ } given b J = 1 2 ǫc pκ 1 2 ν u 2 xz T 0 θ 2 xz + 1 ρ p u i x i xz +ǫ c p T 0 θ ( u j θ x j +v T 0 h κ 2 θ x 2 j ) xz, (2.19) where ǫ (> 0) is the dimensionless weight of the contribution from the heat transfer against the momentum transfer, c p is specific heat at constant pressure, and p (x,,z) and θ (x,,z) represent Lagrangian multipliers. We suppose that θ satisfies boundar conditions on the walls, θ ( = ±1) = 0. (2.20)

6 6 S. Motoki et al B introducing the following dimensionless quantities x i = x i h, J = J U 3 /h, θ = θ T 0, u i = u i U, p = p ρu 2, θ = θ T 0, (2.21) we rewrite the objective functional (2.19) in a dimensionless form as J = 1 2 λ 1 θ 2 RePr 1 1 u 2 xz 2Re + p u j xz x j xz ( ) +λ θ θ u j +v 1 2 θ x j RePr x 2, (2.22) j xz where we have dropped the primes attached to the dimensionless quantities, λ = ǫ Ec is new dimensionless weight, and (2.23) Re = Uh ν, Pr = ν U2, Ec = (2.24) κ c p T 0 are the Renolds number, the Prandtl number, and the Eckert number, respectivel. Usuall Ec 1, and thus we suppose that ǫ 1 so that we ma take λ We decompose u,θ,p and θ into references and infinitesimal perturbations as θ = θ+δθ, u = u+δu, p = p +δp, θ = θ +δθ. (2.25) Substituting (2.25) into (2.22), using integration b parts and recalling boundar conditions (2.3), (2.10) and (2.20), we obtain the first variation of J as ( δj = p u i x i Re x 2 +λθ θ +λθ j x δ i2 )δu i i xz ( ) θ λ u j θ x j RePr x θ j RePr x 2 δθ j xz ( θ + λ u j +v 1 2 θ )δθ x j RePr x 2 j xz ( ui + )δp. (2.26) x i xz A stationar point, at which the first variation of J vanishes, i.e. δj = 0, for an perturbation δu,δθ,δθ and δp, is determined b the Euler Lagrange equations δj p u i δu i x i Re x 2 +λθ θ +λθ δ i2 = 0, (2.27) j x i δj δθ u θ j + 1 x j RePr 2 θ x 2 j θ RePr x 2 j = 0, (2.28) δj δθ u θ j +v 1 2 θ x j RePr x 2 = 0, j (2.29) δj δp u i = 0. x i (2.30)

7 Optimal heat transfer enhancement in plane Couette flow 7 3. Numerical procedures 3.1. Finding initial guesses We find velocit fields which give a maximal value of the objective functional J with a combination of the steepest ascent method and the Newton Krlov method. To globall seek a maximal point of J, we start with finding initial guesses in the following procedure. Step. 1 Start from an arbitrar velocit field u which satisfies the continuit equation (2.1) and boundar condition (2.3). Step. 2 For given u, solve equation (2.29) to obtain θ. Step. 3 For given u and obtained θ from Step. 2, solve equation (2.28) to find θ. Step. 4 Since u, θ, and θ respectivel satisf the Euler Lagrange equations (2.28) (2.30), the first variation δj can be expressed, in terms of the onl functional derivative û i δj/δu i, as Using the functional derivative û, renew the velocit field as where s is a small positive constant to be taken as s Step. 5 Repeat Step. 2 Step. 4. Since (3.2) implies that δj = û i δu i xz. (3.1) u new = u+sû, (3.2) u new i x i = u i x i +s û i x i = s û i x i, (3.3) in order that u new is incompressible we invoke the continuit for û, û i x i = 0. (3.4) Taking the double curl, the single curl and the xz-averageof equation (2.27), we have the equations for the wall-normal velocit v, the wall-normal vorticit ω, and the averaged velocities, 2 v x 2 j = 1 Re 2 x 2 j 2 v x 2 j ( ) 2 +λh v +λ x z 2 θ, (3.5) with H v = H ω = z ω = 1 2 ω Re x 2 +λh ω, (3.6) j û xz = 1 Red 2 u xz d 2 +λ ŵ xz = 1 Red 2 w xz d 2 +λ [ ( x ( θ θ x θ θ x θ θ z θ θ ) + ( θ θ x z z ) ( θ θ x z, (3.7) xz xz (3.8) )] ( )( 2 + x z 2 θ θ ), (3.9) ), (3.10)

8 8 S. Motoki et al from which p has been eliminated. The corresponding boundar conditions are v( = ±1) = v ( = ±1) = 0, (3.11a) ω ( = ±1) = 0, u xz ( = ±1) = ±1, w xz ( = ±1) = 0, θ( = ±1) = 0, θ ( = ±1) = 0. (3.11b) (3.11c) (3.11d) (3.11e) (3.11f) In the periodic streamwise and spanwise directions, u, vorticit ω = u, θ, and θ are approximated b truncated Fourier series (u,ω,θ,θ ) = K M k= K m= M ( ũ km, ω km, θ km, θ km) e i2πkx/lx e i2πmz/lz, (3.12) where K and M are positive integers. Note that the Fourier coefficients of u and w for (k,m) (0,0) are given b ṽ km and ω km through ũ km = i (2πk/L x)dṽ km km /d +(2πm/L z ) ω 4π 2 (k 2 /L 2 x +m 2 /L 2, (3.13) z) w km = i (2πm/L z)dṽ km /d +(2πk/L x ) ω km 4π 2 (k 2 /L 2 x +m2 /L 2 z ). (3.14) In the wall-normal direction, ṽ km, ω km, u xz, w xz, θ km and θ km are expanded, in terms of the polnomials which satisf boundar conditions (3.11), as N 4 ( ṽ km = c kmn v T n 2 n+2 n+3 T n+2 + n+1 ) n+3 T n+4, ( ω km, θ km, θ km) = ( u xz, w xz ) = 3 2 n=0 N 2 n=0 ( c kmn ω,c kmn θ,c kmn θ ) (Tn T n+2 ), ( u xz, w xz ) (1 2 ) + d d { N 4 n=0 ( (c n u,c n w) T n 2 n+2 n+3 T n+2 + n+1 ) } n+3 T n+4, (3.15a) (3.15b) (3.15c) where T n () represents the n-th order Chebshev polnomial. The nonlinear terms are evaluated using a spectral collocation method. Aliasing errors are removed with the aid of the 2/3 rule for the Fourier transform and the 1/2 rule for the Chebshev transform Newton Krlov iteration In nonlinear dnamical sstems stemming from the Navier Stokes equation, a combination of the Newton Raphson method and the Krlov subspace method has been used to efficientl obtain nonlinear equilibrium and periodic solutions (Viswanath 2007, 2009). In this stud, emploing the initial guesses obtained as mentioned in 3.1, we perform

9 Optimal heat transfer enhancement in plane Couette flow 9 the Newton Krlov iteration to find nonlinear solutions to the Euler Lagrange equations (2.27) (2.30). Introducing pseudo-time derivative terms ( )/ τ into equations (3.5) (3.8), the xzaverage of equation (2.27), equations (2.28) and (2.29), we have the following nonlinear evolution equations 2 v τ x 2 j = 1 Re 2 x 2 j 2 v x 2 j ( ) 2 +λh v +λ x z 2 θ, (3.16) τ ω = 1 2 ω Re x 2 +λh ω, (3.17) j τ u xz = 1 d 2 u xz Re d 2 +λ τ w xz = 1 d 2 w xz Re τ u xz = 1 τ w xz = 1 2Re θ θ x d 2 +λ θ θ z [ ] =+1 d u xz +λ θ θ 2Re d = 1 x [ ] =+1 d w xz +λ θ θ d z = 1, (3.18) xz, (3.19) xz, (3.20) xz, (3.21) xz θ τ θ = u j θ x j RePr x θ j RePr x 2, j (3.22) τ θ = u θ j +v 1 2 θ x j RePr x 2, j (3.23) stead solutions to which satisf the Euler Lagrange equations (2.27) (2.30). B using a spectral Galerkin method, we can convert equations (3.16) (3.23) into a nonlinear autonomous dnamical sstem dx dτ = F(X;Re,Pr,λ), (3.24) where X(τ) represents a state point in the phase space spanned b the Fourier Chebshev coefficients of v,ω, u xz, w xz,θ and θ. The time advancement is carried out b the Crank Nicholson scheme for the diffusion terms and the 2nd-order Adams Bashforth scheme for the others. Let X be an initial guess to find a maximal point of J. Integrating equation (3.24), we define the flow map as X = G(X,τ) (3.25) for an time τ, where G(X,0) = X. Supposing that X is sufficientl close to a stationar point and thus δx is a small correction vector, we linearise equation (3.25) at X = X to obtain where AδX = B, (3.26) A = G (X) I, B = X G(X), (3.27) X I being an identit matrix with the same dimension as the Jacobian matrix G/ X. B

10 10 S. Motoki et al 2 J ( 10-2 ) A B Iteration number Figure 2. Objective functional J against the number of the iteration described in 3.1 for various initial guesses at Re = 100 for Pr = 1 and λ = initial guesses (10 each) are taken from turbulent flow fields at Re = 1000, Re = 2000 and Re = of them converge to a local maximum A, and the others tend to a local maximum B. solving the linear equation (3.26) the correction vector δx is obtained to renew X as We iterate the procedure until a termination criterion X new = X +δx. (3.28) G(X) X 2 X 2 < (3.29) is satisfied, where 2 denotesan L 2 -norm.to solveequation (3.26) we use the GMRES method (Saad & Schultz 1986) which is one of the Krlov subspace methods. In this method, an approximation of a correction vector δx can be got without calculating matrix A, b minimising the norm of a residual vector in a Krlov subspace Direct numerical simulation of turbulent plane Couette flow For comparison with optimal states obtained b the maximisation of the functional J, direct numerical simulations are also performed for turbulent momentum and heat transfer in plane Couette flow. In the simulations we numericall integrate the incompressible Navier Stokes equation and the advection-diffusion equation for a passive scalar, i.e. temperature, supplemented b boundar conditions (2.3). The evolution equations are discretised emploing a spectral Galerkin method based on the expansions (3.12) and (3.15). Time marching of the equations is done with a combination of the Crank Nicholson and 2nd-order Adams Bashforth scheme. The Prandtl number P r is set to unit. Turbulence data are accumulated in the range of the Renolds number, Re = , in a computational domain of (L x,l,l z ) = (2π,2,π) Global convergence and dependence on domain size We perform the maximisation of the functional J starting with 30 different initial guesses extracted from turbulent flow fields in order to examine the dependence of a computed local maximum on the initial guesses. Figure 2 shows the functional J against the number of the iteration mentioned in 3.1 for the distinct 30 initial guesses at Re = 100 for Pr = 1 and λ = 1. For all the initial guesses, the value of J rapidl

11 Optimal heat transfer enhancement in plane Couette flow 11 Label J ε S ε E A B Table 1. Two local maxima of objective functional J at Re = 100 for Pr = 1 and λ = 1. Re Pr λ L x L z (N x,n,n z) J ε S ε E π π (32,128,256) π π (32,128,256) π π (64,128,256) π 0.5π (32,128,256) π 1.5π (64,128,256) π 2π (64,128,512) Table 2. Dependence on computational domain size approaches the vicinit of the two local maxima to be mentioned just below. We have eventuall obtained the two different local maxima (the larger local maximum is labeled as A, and the smaller one as B). Table 1 compares the values of J together with the total scalar dissipation ε S and the total energ dissipation ε E, ε S = 1 RePr T 2 xz, ε E= 1 Re u 2 xz, (3.30) between the local maxima A and B. The present objective functional J has multimodalit, but there appear onl two local maxima for man initial guesses. The optimal velocit fields exhibit three-dimensional structures which consist of largescale streamwise circulation rolls and smaller-scale quasi-streamwise vortex tubes near the wall (see figures 5 and 6). The size of the large rolls corresponds to half the spanwise period L z /2. Table 2 summarises each maximal state obtained in the various domains at Re = 1000forPr = 1andλ = 0.1.ItisfoundthatJ takesthelargestvaluefor(l x,l z ) = (2π,π) among (L x,l z ) = (π,π), (2π,π), (3π,π); (2π,0.5π), (2π,π), (2π,1.5π), (2π,2π), suggesting that there exist finite values of the streamwise and spanwise periods which lead to the global optimal. However, our goal in this paper is not to identif the optimal domain for all the parameters including Re. As will be described below, the velocit fields, which are realised as a solution to the Euler Lagrange equations (2.27)-(2.30), have extremel high performance for heat transfer and exhibit qualitativel similar flow structures being roughl independent of (L x,l z ). In the following, therefore, we shall choose the domain size (L x,l,l z ) = (2π,2,π) to discuss characteristic flow structures and the mechanism of heat transfer enhancement. The effects of the domain size on the scalar dissipation and the energ dissipation can be seen to be minor Effects of weight λ on optimal state We next consider the effects on the optimal state of the weight λ of the scalar dissipation in the objective functional J. Let us first note that in the special case of a streamwise-independent two-dimensional velocit field the weight λ can be removed from the Euler Lagrange equations (2.27)

12 12 S. Motoki et al 10-1 εs,εe λ Figure 3. Total scalar and energ dissipation as a function of the weight λ for the optimal state at Re = 1000 for Pr = 1:, the total scalar dissipation ε S;, the energ dissipation ε E. The long-dashed line indicates ε S or ε E in a laminar state, 1/Re = The solid and short-dashed line respectivel represent the time-averaged ε S and ε E in turbulent flow at Re = 1000 for Pr = 1. (2.30) as follows. Taking the curl of equation (2.27), we have where 1 2 ω x λre x 2 + (θ,θ) j (,z) + θ = 0, (3.31) z (β, γ) (,z) = β γ z β γ z (3.32) is the Jacobian determinant. The streamwise-independent velocit field can be expressed, in terms of the streamfunction ψ(,z), as ( (u,v,w) =, ψ ) z, ψ, (3.33) where the streamwise velocit u has been uniquel determined from the x-component of equation (2.27) and its independence of the x-direction ( u/ x = 0). The streamfunction is related to the streamwise vorticit via the Poisson equation 2 ψ x 2 j = ω x. (3.34) Using ψ, equations (2.28) and (2.29) are respectivel rewritten as [ RePr (ψ,θ ) ]+ 2 (, z) The boundar conditions of ψ are [ RePr (ψ,θ) (,z) + ψ z x 2 (θ +θ) = 0, (3.35) j ] 2 θ x 2 j = 0. (3.36) ψ( = ±1) = ψ ( = ±1) = 0. (3.37)

13 Optimal heat transfer enhancement in plane Couette flow 13 Introducing the new variable and the new parameter as ψ = ψ λ, Re = λre (3.38) and using equation (3.34), the Euler Lagrange equations can be rewritten in the streamwise-independent case as 1 Re 2 Re Pr x 2 j 2 ψ x 2 j [ (ψ,θ ) (, z) + (θ,θ) (,z) + θ = 0, (3.39) z ]+ 2 [ Re Pr (ψ,θ) (,z) + ψ z x 2 (θ +θ) = 0, (3.40) j ] 2 θ x 2 j which are supplemented b the boundar conditions of ψ, ψ z = 0, (3.41) ψ ( = ±1) = ( = ±1) = 0. (3.42) Figure 3 shows the total scalar dissipation ε S and the energ dissipation ε E as a function of λ for the optimal state at Re = 1000, which will turn out to be threedimensional for λ = 0.1 in 4.1. Note that in the case of λ = 0, a laminar state indicated b the long-dashed line is optimal since laminar flow gives lower bound for the energ dissipation of an arbitrar velocit field, that is, ε E = 1 Re u 2 xz 1 Re. (3.43) The weight λ is a factor to control the contribution of the scalar dissipation against the energ dissipation in the optimisation of J. Decreasing λ means that the weight of the energ dissipation is increased relative to the scalar dissipation. As a result, an optimal state has the smaller energ dissipation (in other words, the smaller enstroph). For large λ, the significantl high scalar dissipation (i.e., high heat flux) is achieved with the larger energ dissipation. In light of heat transfer enhancement, we should find an optimal state with a higher heat flux and smaller energ dissipation than uncontrolled turbulent flow. In plane Couette flow at Re = 1000, a sustained turbulent state can be observed. In figure 3, the solid and short-dashed line respectivel represent the time-averaged scalar and energ dissipation of turbulent flow at Re = 1000 for Pr = 1. Their consistenc is attributed to the similarit between turbulent heat and momentum transfer. In the range of 2 < λ < 0.4, we can find the optimal states of higher heat transfer and lower energ dissipation than the turbulent state. In this range of the weight λ we have confirmed that the optimised velocit fields do not exhibit significantl different flow structures depending on λ. In the following sections we shall present the optimal states in the domain (L x,l,l z ) = (2π,2,π) for Pr = 1 and λ = 0.1. The numerical solutions have been obtained on grid points (N x,n,n z ) = (32,128,256) at Re = and (N x,n,n z ) = (32,256,512) at Re =

14 14 S. Motoki et al 00 J ( 10-3 ) Re Figure 4. The maximal value of J as a function of Re for λ = 0.1. Filled circles represent the value of J for the optimal states, and open circles denote maximised J onl within a streamwise-independent two-dimensional velocit field. The solid curve represents the value of J for the laminar solution, J = 1/(2Re). 4. Characteristics of optimal states 4.1. Flow and temperature field Figure 4 shows the maximal value of J as a function of Re for λ = 0.1. The maximised J onl within a streamwise-independent two-dimensional velocit field is also plotted for comparison purposes. The solid curve represents the value of J for the laminar solution u = e x, which is the lower bound of J. At low values of Re, the optimal state exhibits a streamwise-independent two-dimensional velocit field as seen in figure 5, where the isosurfaces of the positive and negative streamwise vorticit ω x are shown for the optimal states at Re = 50, 200, 1000 and At the higher Renolds numbers Re= 1000, 5000, streamwise-dependent three-dimensional structures, i.e. spanwise-inclined vortex tubes, with stronger ω x appear near the wall. We shall discuss the onset of the spanwise inclination of the structures and its effects on heat transfer in 6. In figure 5(c,d), onl the isosurfaces in the lower half of the channel ( < 0) are shown for visualization of the near-wall vortices. At Re= 5000 a large number of smaller vortex structures with much stronger ω x are observed in the close vicinit of the wall. Note that such small-scale intense vortices do not emerge near the wall in the two-dimensional optimal velocit fields (figure 5a,b). Although the formation of the small-scale structures increases the energ dissipation, it also significantl enhances the scalar dissipation. As a result of these counteractions, the three-dimensional fields could be an optimal state at higher Re. Even when the domain size or the weight λ is changed, we have obtained the optimal states which represent qualitativel similar three-dimensional structures. Figure 6(a-d) shows the cross-stream velocit field (w, v) and the temperature field T in the optimal states at Re = 50, 200, 1000 and The two-dimensional optimal states at Re = 50,200 (figure 6a,b) consist of the two large-scale circulation rolls which are reminiscent of thermal convection and pla a role in heat transfer from the upper wall to the lower wall. Near the walls, the regions with the high temperature gradient are formed b the effects of the circulation rolls, and the gradient gets higher as Re increases. Meanwhile, the three-dimensional optimal state at Re = 1000, 5000 (figure 6c,d) exhibit the more complicated flow and temperature field. Similar to the two-dimensional states,

15 (a) Optimal heat transfer enhancement in plane Couette flow 15 (b) x x z z (c) (d) x x z z Figure 5. Isosurfaces of the streamwise vorticit in the optimal states at (a) Re = 50, (b) Re = 200, (c) Re = 1000 and (d) Re = 5000, for λ = 0.1. In (c) and (d), onl the isosurfaces in the lower half of the channel ( < 0) are shown for visualization of the small-scale vortex structures near the lower wall. Light (or dark) gre objects represent isosurfaces of (a) ω x = (or 0.25), (b) ω x = (or 0.25), (c) ω x = +0.5 (or 0.5), (d) ω x = +2 (or 2). there are the large-scale circulation rolls with the width of half the spanwise period L z (= π). The wall-normal component of the velocit is dominant in between the circulation rolls. Small-scale vortices are observed onl in the near-wall regions. The produce the regions with high temperature gradient b pushing the hotter (or colder) fluid onto the lower (or upper) wall. In figure 6(e,f) are shown the streamwise-averaged cross-stream velocit fields at Re = 1000 and Even in the averaged fields, the effects of the small-scale vortices can be seen close to the wall at Re = The mean temperature and the mean streamwise velocit profiles of the optimal states are shown in figure 7(a). As Re increases, the mean temperature profile is more flattened in the central region of the channel, while the temperature gradient at the walls is higher. On the other hand, the mean velocit profile is almost consistent with a laminar profile. For the streamwise-independent case (i.e., ( )/ x = 0) seen in the optimal state at Re =

16 16 S. Motoki et al (a) (b) z z (c) (d) z z (e) (f) z z Figure 6. (Colour online) Velocit and temperature fields in the optimal state at (a) Re = 50, (b) Re = 200, (c,e) Re = 1000 and (d,f) Re = 5000, for λ = 0.1. (a,b,c,d) The cross-stream velocit vectors (w,v) and contours of the temperature field T in the plane x = 0. In (c) and (d), the enlarged views of the near-wall region are also shown. (e,f) The streamwise-averaged cross-stream velocit vectors ( w x, v x ). 200, the streamwise velocit u is strictl consistent with the laminar profile u =, which is a consequence of the x-component of the Euler Lagrange equation (2.27). At large Re, the three-dimensional vortex structure has appeared to bring about the deviation from the laminar profile, shown in figure 7(b), although the deviation is small even at Re = Wall heat flux and energ dissipation Let us now consider the Stanton number St and the friction coefficient C f which are

17 Optimal heat transfer enhancement in plane Couette flow 17 (a) 0.5 u xz T xz Re = 200 Re = 300 Re = 500 Re = 1000 Re = (b) u xz Re = 200 Re = 300 Re = 500 Re = 1000 Re = Figure 7. Mean temperature and velocit profiles in the optimal state for λ = 0.1. (a) The mean temperature T xz and the mean streamwise velocit u xz. (b) The deviation of the mean streamwise velocit from the laminar flow, u xz. respectivel defined as St = 1 [ d RePr d T xz ( = +1)+ d ] d T xz ( = 1), (4.1) C f = 1 [ d Re d u xz ( = +1)+ d ] d u xz ( = 1). (4.2) Note that the similarit between heat and momentum transfer implies that St C f for Pr = 1. Figure 8(a) shows St and C f in the optimal state for λ = 0.1. The solid line and the dashed curve represent the theoretical formula for laminar flow and the empirical formula (Robertson & Johnson 1970) for turbulent flow, respectivel. The time-averaged St and C f in turbulent flow are also plotted as a reference. In turbulent flow, St and C f are almost the same due to the similarit between momentum and heat transfer. In

18 18 S. Motoki et al (a) St,Cf Re (b) 10-1 εs, εe, uifi xz Re Figure 8. (a) Stanton number St and friction coefficient C f as a function of Re. The optimal state for λ = 0.1:, St;, C f. The turbulent flow:, St; +, C f. The solid line and dashed curve represent C f = 2/Re for the laminar flow and the empirical formula C f = 2(0.2/log(Re)) 2 for the turbulent flow, respectivel. (b) Total scalar dissipation ε S, energ dissipation ε E and energ input u if i xz. The optimal state for λ = 0.1:, ε S;, ε E;, u if i xz. The turbulent flow:, ε S; +, ε E. The solid line and dashed curve represent 1/Re and C f /2 for the laminar flow and the turbulent flow, respectivel. contrast, in the optimal state extremel high St is achieved in comparison with turbulence whilst C f is comparabl low to the laminar flow, decreasing as Re 1 with increasing Re. The dimensionless versions of budget equations (2.15) and (2.18) are given respectivel b ε S = 1 St, (4.3) 2 ε E = 1 2 C f + u i f i xz. (4.4) The optimal states found in this work require the external force f i to satisf the Navier Stokes equation, since we have imposed onl the divergence-free condition on the velocit field. Theexternalforceleadstotheadditionalenerginput u i f i xz whichhasappeared

19 (a) Optimal heat transfer enhancement in plane Couette flow 19 (b) R vv R vv r z/h /h r z/h /h+1 Figure 9. Two-point spanwise correlation of the wall-normal velocit R vv for λ = 0.1. (a) Re = 1000, (b) Re = in equation (4.4). Figure 8(b) shows the total scalardissipation ε S, the energ dissipation ε E and the energ input u i f i xz. Note that in the case of no external force, the energ budget implies ε E = C f /2. The solid line represents the energ dissipation in the laminar flow, and provides the lower bound of ε E. As Re increases, ε E for the optimal state graduall deviates from that of the laminar flow, because of the relativel greater contribution of the energ input u i f i xz. The energ input is positive (or zero for a laminarsolution)atanre,butitisquitesmallincomparisontoε E intheturbulentflow. The significant heat transfer enhancement with small energ dissipation can be confirmed for the optimal state (e.g. ε S /ε E 24.6 at Re = 10000). The spatial distribution of the external force and the local energ input are depicted in Appendix A. 5. Hierarchical structure in optimal state Let us discuss the hierarchical structure and its scaling for the optimal state. Just in this section, we restore the dimensional variables, such as x,u,t. As mentioned in 4.1, a number of quasi-streamwise vortex tubes appear near the walls at large Re. In order to quantitativel evaluate their size at each distance to the wall, we introduce a two-point spanwise correlation function of the wall-normal velocit defined b R vv (r z ;) = v(x,,z)v(x,,z +r z) xz v(x,,z) 2 xz, (5.1) where r z indicates the spacing between two points separated in the z-direction. The correlation R vv is shown for the optimal states at Re = 1000 and 5000 in figure 9, where r z and the distance from the lower wall, +h, are normalized b the channel half height h. At the midplane ofthe channel,/h+1= 1,R vv hasonlonelocalminimum, sincethe wall-normal velocit component is predominantl induced b the large-scale circulation rolls in the central region of the channel. At the smaller values of /h+1, i.e. the closer positions to the wall, however, oscillator behaviour can be seen in R vv. The wavelength of the oscillation corresponds to the size of the spanwise-arranged quasi-streamwise vortex tubes. The spanwise wavelength is found to be smaller at smaller height /h+1. Figure 10 shows the one-dimensional spectral densities of the wall-normal velocit at Re = 1000, 2000, 3000, 4000, The lateral axis denotes the spanwise wavelength l andthelongitudinaloneisthedistance+h.infigure10(a),thebothaxesarenormalized b h. The spectral peak at /h+1 = 1 is relevant to the large-scale circulation. In the

20 20 S. Motoki et al (a) ( +h)/h Re = 1000 Re = 2000 Re = 3000 Re = 4000 Re = l/h π (b) ( +h)/δt l/δ T Re = 1000 Re = 2000 Re = 3000 Re = 4000 Re = 5000 Figure 10. Spectral densities of the wall-normal velocit in the optimal states as a function of the spanwise wavelength l for λ = 0.1. The distance to the lower wall + h and the wavelength l are normalized b (a) the channel half width h and (b) the inner length δ T =T 0/(d T xz /d)( = h), respectivel. The thick dashed line denotes l = π( +h). near-wall region, /h , meanwhile, a lot of peaks are observed along the ridge represented b the thick dashed line l = π( + h). That is to sa, the near-wall quasi-streamwise vortical structures possess hierarchical self similarit. Notice that the peaks are discretel located on the ridge unlike the continuousl hierarchical structure statisticall observed in wall turbulence, because in a time-independent optimal field, there are no temporal fluctuations, i.e. jittering, of vortical structures. The length scale of the largestvorticesscaleswith the outerlengthh,and theirheightisaround/h+1 = 0.2 regardless of Re. In figure 10(b), l and +h are normalized b the inner length ( 1 d T xz δ T = T 0 ( = h)) (5.2) d which characterises the near-wall temperature profile. In the close vicinit of the wall,

21 Optimal heat transfer enhancement in plane Couette flow T xz /T Re = 1000 Re = 2000 Re = 3000 Re = 4000 Re = Nu 1 Figure 11. Mean temperature profile in the optimal states for λ = 0.1. The distance to the wall + h and the temperature T are normalized b the inner length and the wall temperature T 0, respectivel. The solid curve and dashed line denote T xz /T 0+1 = (+h)/δ T and the logarithmic fit T xz /T = 86ln[( +h)/δ T] determined in the range 1 < ( +h)/δ T < 10, respectivel Re = 1000 Re = 2000 Re = 3000 Re = 4000 Re = 5000 vθ xz /[κt 0 /δ T ] (d T xz /d)/[t 0 /δ T ] ( +h)/δ T Figure 12. Convective and conductive heat fluxes in the optimal states as a function of the distance to the wall for λ = 0.1. The heat fluxes and the distance are normalized b the inner length. the spectral densit distribution can be seen to scale with the inner length. The vortex structures exist in the range of δ T +h 0.2h for an Re. Figure 11 shows the mean temperature profile as a function of the distance to the wall, (+h)/δ T. At (+h)/δ T 1, the mean temperature is expressed b T xz /T 0 +1 = (+ h)/δ T, since thermal conduction dominants over convection (see figure 12). On the other hand, the hierarchical vortex structures lead to the logarithmic-like temperature profile in the intermediate region 1 (+h)/δ T 10. The dashed line represents the logarithmic fit T xz /T 0 +1 = 86ln[( +h)/δ T ]+0.81determinedintherange1 < (+h)/δ T < 10. It is well known that a logarithmic mean temperature profile appears as a consequence

22 22 S. Motoki et al 20 εs 1/(RePr) ( 10-2) Re Figure 13. Scalar dissipation as a function of Re for λ = 0.1. Filled circles denote the scalar dissipation for the optimal state and open circles stand for that obtained from the optimisation onl within a streamwise-independent two-dimensional velocit field. (a) 2π (b) 2π (c) 2π x 1 z 0 π x 1 z 0 π x 1 z 0 π Figure 14. The optimal flow fields for λ = 0.1. (a) Re = 247.4, (b) Re = 247.5, (c) Re = 249. Light (or dark) gre objects represent isosurfaces of ω x = +0.4 (or 0.4). of heat transfer in near-wall turbulence where self-similar hierarchical vortical structures are commonl observed. Recentl the logarithmic temperature distribution has also been found numericall and experimentall in thermal convection turbulence (Ahlers et al. 2012, 2014). The temperature profiles are nearl uniform in the central region /h+1 1 further awa from the wall because of almost complete mixing of the scalar T b the large-scale circulation. The convective heat flux and the conductive heat flux are shown in figure 12. Note that the total heat flux is strictl unit at an height (see equation (2.7)). It can be seen that around (+h)/δ T 1 the two fluxes are comparable. The convective heat flux is significant at ( + h)/δ T 1, where the logarithmic-like mean temperature profile has been observed. At ( +h)/δ T 10 there is almost no contribution from the conduction, i.e. no temperature gradient. 6. Effects of flow three-dimensionalit on local scalar dissipation Figure 13 shows the scalar dissipation in the optimal state as a function of Re for λ = 0.1 to present a bifurcation diagram of the solution to the Euler Lagrange equation. The two-dimensional solution emerges from supercritical pitchfork bifurcation on the laminar solution at Re = 35. The two-dimensional solution exhibits a streamwise-independent velocit field representing a pair of streamwise convection rolls shown in figure 5(a,b),

23 Optimal heat transfer enhancement in plane Couette flow 23 and satisfing two spatial smmetries [u,v,w](x,,z) = [u,v, w](x,, z), (6.1) [u,v,w](x,,z) = [ u,v, w](x,,z). (6.2) As Re increases further, the secondar pitchfork bifurcation occurs on the twodimensional solution branch at Re = to create a three-dimensional solution with a shift-and-reflection smmetr [u,v,w](x,,z) = [u,v, w](x+l x /2,, z), (6.3) and the smmetr (6.2), which brings about the significantl higher scalar dissipation. When λ is changed, the corresponding bifurcation arises at different values of Re, but the qualitative characteristics of the bifurcation diagram is not changed (the pitchfork bifurcation occurs at larger Re as λ increases). Figure 14 shows the isosurface of the streamwise vorticitω x at the Renolds numbers close to the onset ofthe three-dimensionalsolution, Re = 247.4, and 249. As shown in figure 6, the optimal state has the streamwise large-scale circulation rolls. The generate sheet-like distribution of strong vorticit on the walls due to the no-slip condition, and just above the sheets the opposite-signed tubelike (or ribbon-like) streamwise vortices appear. At Re = 247.5, the near-wall tubular structures exhibit streamwise dependence, that is three-dimensionalit. At Re = 249 tubular vortices bear spanwise inclination as alread seen in figure 5(c,d) at higher Re. It is important to recall that the scalar dissipation is enhanced with the appearance of the three-dimensional structures as shown in figure 13. Figure 15 visualises isosurfaces of a positive value of the second invariant of the velocit gradient tensor Q = u i x j u j x i (6.4) for the optimal state at Re = 249. The spanwise vorticit fluctuation ω z = ω z ω z xz is also shown on the Q isosurfacesb grescale.it can be seen that most of all the extracted tube-like structures exhibits ω z > 0. That is, the vortex tubes are tilted in the spanwise direction so that the ma produce the spanwise vorticit antiparallel to the vorticit of the background shear flow. In the figures, the regions with significant increase of the local dissipation from the two-dimensional solution at the same value of Re are also shown. The local scalar and energ dissipation are given respectivel b D S = 1 ( ) 2 T, D E = 1 ( ) 2 ui, (6.5) RePr x j Re x j and thus it follows that D S xz = ε S and D E xz = ε E. In figure 15, the regions of D E DE 2D > 0 are found to appear just below the vortextubes which are flankedwith the regions of D S DS 2D > 0, where the superscript 2D means the two-dimensional solution. The mechanism responsible for the increase in the local scalar dissipation in the flanks of the tilted quasi-streamwise vortex tube can be explained in terms of the following simple model. Figure 16 shows illustrations of the scalar field around a vortex tube in shear flow. Suppose that the vortex tube is inclined at an angle α from the streamwise (X-) direction on the plane Y = 0. If α > 0 (or α < 0), the vortex has the spanwise (Z-) vorticit component with the same (or opposite) sign as that of the shear flow. Hereafter, the tilted vortex tubes of the same (or opposite) signed spanwise vorticit as that of the shear flow is referred to as a cclonic (or anticclonic) vortex. Figures 16(d,e,f) show the isocontours of the scalar in the (ˇY,Ž)-plane normal to the central axis of the vortex tube. As illustrated in these figures, the vortex tube spirall wraps the

24 24 S. Motoki et al (a) (b) 2π 2π x 1 z 0 π x 1 z 0 π Figure 15. Vortical structures and significant increases in the local scalar and energ dissipation for the three-dimensional optimal velocit field against the two-dimensional optimal velocit field at Re = 249 for λ = 0.1. The dark gre (or black) objects represent isosurfaces, Q = +3, of the second invariant of velocit gradient tensor, on which the positive (or negative) spanwise vorticit fluctuation ω z are shown. Light gre objects indicate isosurfaces of (a) an increase in the local scalar dissipation, D S DS 2D = +01, (b) an increase in the local energ dissipation, D E DE 2D = +01. The frame in the figures indicates the plane z = 0.8. (a) (b) (c) (d) (e) (f) Figure 16. Illustration of scalar fields around cclonic, neutral and ani-cclonic vortex tubes in shear flow. (a,b,c) Configuration of the vortex tube in the shear flow. The vortex tube is inclined at an angle α from the X-axis on the plane Y = 0. (d,e,f) Isocontours of the scalar in the (Ž,ˇY)-plane normal to the central axis of the vortex tube. (a,d) the cclonic case (α > 0), (b,e) the neutral case (α = 0), (c,f) the anticclonic case (α < 0).

25 Optimal heat transfer enhancement in plane Couette flow 25 (a) (b) (c) (d) x x x x Figure 17. (Colour online) Two-dimensional cuts of the vorticit field, the velocit field, and the local scalar and energ dissipation fields at Re = 249 for λ = 0.1 at z = 0.8. (a) Isocontours of the spanwise vorticit fluctuation ω z and the velocit vectors (u+1,v) relative to the lower moving wall in the plane z = 0.8 shown in figure 15. (b) Isocontours of the second invariant of velocit gradient tensor Q, (c) a difference in the local scalar dissipation D S DS 2D, (d) a difference in the local energ dissipation D E DE 2D in the plane z =