51³Ô¹ÏÍø

Polynomial sum of squares in fluid mechanics

Jump to a dedicated website

Non-linear stability analysis of fluid flows using polynomial sum of squares

Lyapunov function

 [Formulae defining a Lyapunov function for an ODE]

 [Definition of a Lyapunov function]

In the majority of applications steady flows are better than unsteady flows. Steady flows are usually associated with smaller fuel consumption, less fatigue, and less noise. Theoretically, a steady flow always exists as a solution of the governing equations. However, in engineering applications fluid flows are usually unsteady, or even turbulent, because the corresponding steady flow is unstable, that is, if disturbed it will never return to the steady state. In the bulk of the work on flow stability the flow velocity is represented as a sum of the steady solution and a small perturbation, and the non-linear terms are neglected. The resulting linear problem is much easier to solve. However, steady flows are often stable with respect to infinitesimally small perturbations but unstable with respect to finite perturbations. Moreover, the finite amplitude required to destabilise the flow is often small. Hence, it is the stability with respect to finite disturbances, which represents major practical interest.

Polynomial Lyapunov function

 [some text]

Stability of a dynamical system with respect to finite perturbations can be established by finding a Lyapunov function. However, there is no general systematic method for constructing Lyapunov functions -- the discovery of such a function is dependent on the ingenuity and creativity of the investigator. Fortunately, in 2000 a breakthrough in control theory, made in a PhD thesis by P.Parrilo, has provided a constructive method for generating Lyapunov functions for systems whose dynamics can be described by polynomial functions. This method is based on sum-of-squares (SOS) optimization, which reduces the problem of finding a Lyapunov function for a polynomial system to one of constructing a polynomial function that satisfies a selection of algebraic conditions. Using a number of key results from semialgebraic geometry, in particular the Positivestellensatz theorem, the resulting problem can be reformulated as an optimization problem in the form of a Semi-Definite Programme (SDP). This is particularly promising since SDP optimization problems are convex and tractable (e.g. solvable in a number of operations that is a polynomial function of the problem size). A variety of well-supported software codes for solving such problems are freely available.

Polynomial being a SOS is equivalent to a matrix being positive-definite

 [some text]

It is well known that the Galerkin approximation of the incompressible Navier-Stokes equations leads to an ODE with quadratic non-linearity. The SOS approach can be applied to such a system since the dynamics are represented by polynomials. SOS was applied to a hydrodynamic-type ODE system of the 9th order. A method of exploiting in the SOS approach the energy-invariance property of the bilinear component of the systems of hydrodynamic type was developed. This allowed the construction of a Lyapunov function for the value of the Reynolds number about seven times larger than the largest value for which non-linear stability of this system can be proven by the standard energy stability approach. This demonstrates the strong potential of applying SOS in fluid dynamics.

Accurate approximation of a fluid flow requires considering systems with a large number of Galerkin modes. However, application of conventional SOS methods to very large systems is problematic, since the SDP problems to be solved in such cases are prohibitively large. A method of reducing the order of the system in SOS studies, based on representing the higher modes with their energy only, has been developed. The method is guaranteed always to give results at least as good as the standard energy stability analysis. Moreover, it has also been proven mathematically that if the flow remains globally stable for the Reynolds number range beyond that given by the energy stability analysis, then there exists a polynomial Lyapunov function giving a better stability bound than the energy stability theory.

More information:

  • Goulart, P.J. and Chernyshenko, S. 2012. Global stability analysis of fluid flows using sum-of-squares. Physica D - Nonlinear Phenomena, Vol:241, 692-704.
  • A dedicated website

Try it, it is easy and !

Timeline:

  • Will be in Lille 11-12 December 2025. On 12th, will give a talk at (Note the non-standard time, 2pm!).
  • Attended and gave a plenary talk at , Aligarh (U.P), India, 20-23 December 2024.
  • Attended the at the , Germany 28 July - 2 August 2024.
  • Gave a talk on at the .
  • Gave a talk on Bounding time averages: a road to solving the problem of turbulence at Institut de Mathématiques de Bordeaux, Bordeaux, May 4, 2023.
  • Gave a talk on at Institut Pprime, Bordeaux on May 3, 2023.
  • Talk at Department of Engineering, University of Cambridge, 4 November 2022, as part of the CUED Fluids seminar series, video: Joint work with Owen Tutty and Hanying Yang.
  • On August 15, 2022, gave (online) an invited talk "On the path to solving the problem of turbulence" at the
  • On July 22, 2022, gave (online) a talk "Bounds for time averages: towards solving the problem of turbulence" at the
  • In January-April 2022 was a long-term participant of the . Gave two talks: and .
  • Gave a talk Auxiliary functionals: a path to solving the problem of turbulence at on March 4, 2021. Links to and .
  • Gave a talk on at IPAM, Wednesday, January 13, 2021, as part of the workshop on Transport and Mixing in Complex and Turbulent Flows. Great talks, all recorded, highly recommended.
  • Gave a talk Accelerating time averaging at 73rd Annual Meeting of the APS Division of Fluid Dynamics, November 22, 2020: and video.
  • 2020: the virus ... living online ... most of the year working on additional administration and teaching related to the pandemic ...
  • Gave a talk at , Snowbird, Utah, U.S, May 19 - 23, 2019.
  • Gave a keynote lecture at the workshop , The Fields Institute, Toronto, April 15-18, 2019.
  • Gave a talk at 26-29 March 2019, Haus der Kirche, Bad Herrenalb, Germany.
  • Gave a seminar talk on Accelerating time averaging using auxiliary functions at the Aerodynamics and Flight Mechanics group seminar, University of Southampton, on 6 February 2019
  • Visited the in September 13-30, 2018.
  • Attended , London, August 29-31, 2018, with a talk Large-scale motions for the QSQH theory (with Chi Zhang).
  • Gave a talk on Questions concerning quasi-steady mechanism of the Reynolds number, pressure gradient, and geometry effect on drag reduction at the Aachen, Germany, 15-16 March 2018.
  • Gave a lecture course , with Giovanni Fantuzzi providing exercise sessions, at
  •  

    Sergei Chernyshenko