Optimal bounds with semidefinite programming: An application to stress-driven shear flows.

We introduce an innovative numerical technique based on convex optimization to solve a range of infinite-dimensional variational problems arising from the application of the background method to fluid flows. In contrast to most existing schemes, we do not consider the Euler-Lagrange equations for the minimizer. Instead, we use series expansions to formulate a finite-dimensional semidefinite program (SDP) whose solution converges to that of the original variational problem. Our formulation accounts for the influence of all modes in the expansion, and the feasible set of the SDP corresponds to a subset of the feasible set of the original problem. Moreover, SDPs can be easily formulated when the fluid is subject to imposed boundary fluxes, which pose a challenge for the traditional methods. We apply this technique to compute rigorous and near-optimal upper bounds on the dissipation coefficient for flows driven by a surface stress. We improve previous analytical bounds by more than 10 times and show that the bounds become independent of the domain aspect ratio in the limit of vanishing viscosity. We also confirm that the dissipation properties of stress-driven flows are similar to those of flows subject to a body force localized in a narrow layer near the surface. Finally, we show that SDP relaxations are an efficient method to investigate the energy stability of laminar flows driven by a surface stress.

[1]  M. Giaquinta,et al.  Calculus of Variations I , 1995 .

[2]  Kazuo Murota,et al.  Exploiting Sparsity in Semidefinite Programming via Matrix Completion I: General Framework , 2000, SIAM J. Optim..

[3]  Colm-cille Caulfield,et al.  Bounds on dissipation in stress-driven flow , 2004, Journal of Fluid Mechanics.

[4]  Jos F. Sturm,et al.  A Matlab toolbox for optimization over symmetric cones , 1999 .

[5]  Samuel Burer,et al.  Computational enhancements in low-rank semidefinite programming , 2006, Optim. Methods Softw..

[6]  Andrew Wynn,et al.  Construction of an optimal background profile for the Kuramoto–Sivashinsky equation using semidefinite programming , 2015 .

[7]  Eberhard Zeidler,et al.  Applied Functional Analysis: Applications to Mathematical Physics , 1995 .

[8]  S. Grossmann,et al.  The background flow method. Part 1. Constructive approach to bounds on energy dissipation , 1998, Journal of Fluid Mechanics.

[9]  J. Dougall,et al.  The Product of Two Legendre Polynomials , 1953, Proceedings of the Glasgow Mathematical Association.

[10]  K. Abbink,et al.  24 , 1871, You Can Cross the Massacre on Foot.

[11]  R. Stephenson A and V , 1962, The British journal of ophthalmology.

[12]  Renato D. C. Monteiro,et al.  Digital Object Identifier (DOI) 10.1007/s10107-004-0564-1 , 2004 .

[13]  Constantin,et al.  Energy dissipation in shear driven turbulence. , 1992, Physical review letters.

[14]  Constantin,et al.  Variational bounds on energy dissipation in incompressible flows. III. Convection. , 1996, Physical review. E, Statistical physics, plasmas, fluids, and related interdisciplinary topics.

[15]  Stephen P. Boyd,et al.  Convex Optimization , 2004, Algorithms and Theory of Computation Handbook.

[16]  R. Wittenberg,et al.  Conservative bounds on Rayleigh-Bénard convection with mixed thermal boundary conditions , 2010 .

[17]  Charles R. Doering,et al.  Bounds on Surface Stress-Driven Shear Flow , 2014, J. Nonlinear Sci..

[18]  Constantin,et al.  Variational bounds on energy dissipation in incompressible flows: Shear flow. , 1994, Physical review. E, Statistical physics, plasmas, fluids, and related interdisciplinary topics.

[19]  R. Courant,et al.  Methods of Mathematical Physics , 1962 .

[20]  Navid Dianati,et al.  Computational approaches to aspect-ratio-dependent upper bounds and heat flux in porous medium convection , 2013 .

[21]  Baole Wen,et al.  Time-stepping approach for solving upper-bound problems: Application to two-dimensional Rayleigh-Bénard convection. , 2015, Physical review. E, Statistical, nonlinear, and soft matter physics.

[22]  Charles R. Doering,et al.  Variational bounds in dissipative systems , 1995 .

[23]  Yifan Sun,et al.  Decomposition in Conic Optimization with Partially Separable Structure , 2013, SIAM J. Optim..

[24]  Katsuki Fujisawa,et al.  Exploiting sparsity in semidefinite programming via matrix completion II: implementation and numerical results , 2003, Math. Program..

[25]  Charles R Doering,et al.  Ultimate state of two-dimensional Rayleigh-Bénard convection between free-slip fixed-temperature boundaries. , 2011, Physical review letters.

[26]  Wotao Yin,et al.  Alternating direction augmented Lagrangian methods for semidefinite programming , 2010, Math. Program. Comput..

[27]  Charles R Doering,et al.  Bounds on heat transport in Bénard-Marangoni convection. , 2010, Physical review. E, Statistical, nonlinear, and soft matter physics.

[28]  Renato D. C. Monteiro,et al.  A nonlinear programming algorithm for solving semidefinite programs via low-rank factorization , 2003, Math. Program..

[29]  Stephen P. Boyd,et al.  Semidefinite Programming , 1996, SIAM Rev..

[30]  B. M. Fulk MATH , 1992 .

[31]  S. Grossmann,et al.  The background flow method. Part 2. Asymptotic theory of dissipation bounds , 1998, Journal of Fluid Mechanics.