B. Kellogg et By. Liu, The analysis of a finite element method for the Navier-Stokes equations with compressibility, NUMER MATH, 87(1), 2000, pp. 153-170
A finite element formulation is developed for the two dimensional nonlinear
time dependent compressible Navier-Stokes equations on a bounded domain. T
he existence and uniqueness of the solution to the numerical formulation is
proved. An error estimate for the numerical solution is obtained. Mathemat
ics Subject Classification (1991): 65M60, 65M15, 76N10, 76M10.