Some application of the implicit function theorem to the stationary Navier-Stokes equations
Tom 54 / 1991
Annales Polonici Mathematici 54 (1991), 93-109
DOI: 10.4064/ap-54-2-93-109
Streszczenie
We prove that - in the case of typical external forces - the set of stationary solutions of the Navier-Stokes equations is the limit of the (full) sequence of sets of solutions of the appropriate Galerkin equations, in the sense of the Hausdorff metric (for every inner approximation of the space of velocities). Then the uniqueness of the N-S equations is equivalent to the uniqueness of almost every of these Galerkin equations.
