Navier-Stokes convergence analysis

We compare different types of obstacle approximation for the steady
incompressible Navier-Stokes equations. We compare a standard penalization
approximation with approximation by high viscosity in the obstacle region and
composition of both methods. For all cases we provide analytical results on the rate of
convergence and results of numerical experiments.