Vorticity and stream function formulations for the 2d Navier-Stokes equations in a bounded domain

Julien Lequeurre (1, 2) , Alexandre Munnier (2, 1)

1 IECL - Institut Élie Cartan de Lorraine
2 SPHINX - Systems with physical heterogeneities : inverse problems, numerical simulation, control and stabilization

The main purpose of this work is to provide a Hilbertian functional framework for the analysis of the planar Navier-Stokes (NS) equations either in vorticity or in stream function formulation. The fluid is assumed to occupy a bounded possibly multiply connected domain. The velocity field satisfies either homogeneous (no-slip boundary conditions) or prescribed Dirichlet boundary conditions. We prove that the analysis of the 2D Navier-Stokes equations can be carried out in terms of the so-called nonprimitive variables only (vorticity field and stream function) without resorting to the classical NS theory (stated in primitive variables, i.e. velocity and pressure fields). Both approaches (in primitive and nonprimitive variables) are shown to be equivalent for weak (Leray) and strong (Kato) solutions. Explicit, Bernoulli-like formulas are derived for recovering the pressure field from the vorticity fields or the stream function. In the last section, the introduction of suitable function spaces leads to a simplified rephrasing of the vorticity dynamics, as introduced by Maekawa in [50]. New existence and uniqueness results are obtained for the related system.

Domaines: Equations aux dérivées partielles [math.AP]

Julien Lequeurre, Alexandre Munnier. Vorticity and stream function formulations for the 2d Navier-Stokes equations in a bounded domain. 2018. ⟨hal-01891763v2⟩