The main objective of this paper is to review and report on
key mathematical issues related to the
theory of Large Eddy Simulation of turbulent flows.
We review several LES models for which we
attempt to provide mathematical justifications.
For instance, some filtering techniques and nonlinear viscosity
models are found to be regularization techniques that transform the possibly
ill-posed Navier-Stokes equation into a well-posed set of PDE’s.
Spectral eddy-viscosity methods are also considered.
We show that these methods are not spectrally accurate, and,
being quasi-linear, that they fail to be
regularizations of the Navier-Stokes equations.
We then propose a new spectral hyper-viscosity model that
regularizes the Navier-Stokes equations while being spectrally accurate.
We finally review scale-similarity models and two-scale
subgrid viscosity models. A new energetically coherent
scale-similarity model is proposed
for which the filter does not require any commutation property
nor solenoidality of the advection field.
We also show that two-scale methods are mathematically justified
in the sense that, when applied to linear non-coercive PDE’s, they
actually yield convergence in the graph norm.