A Global Existence Theorem for Large Eddy Simulation Turbulence Model (Q4353973)

The paper deals with various aspects of the large eddy simulation (LES) turbulence model. An LES averages Navier-Stokes equations over space using Gaussian spatial filter and then approximates nonlinear terms using a Taylor expansion with respect to the filter width. A global existence theorem for the solution of the LES model is given provided that the initial data and forces are small enough. In order to deal with the high order nonlinear term introduced by the LES model, the author uses norms on Sobolev spaces of high order and accepts initial data only with a small \(H^3 (\Omega)\)-norm. The last section provides a uniqueness theorem for small solutions and shows the existence of periodic asymptotically stable solutions and therefore the existence of stationary solutions for external forces independent of time.