Rotational Forms of Large Eddy Simulation Turbulence Models

In this paper the authors present a derivation of a back-scatter rotational Large Eddy Simulation model, which is the extension of the Baldwin & Lomax model to nonequilibrium problems. The model is particularly designed to mathematically describe a fluid filling a domain with solid walls and consequently the differential operators appearing in the smoothing terms are degenerate at the boundary. After the derivation of the model, the authors prove some of the mathematical properties coming from the weighted energy estimates, which allow to prove existence and uniqueness of a class of regular weak solutions.