Stability of a finite element method for 3D exterior stationary Navier-Stokes flows

We consider numerical approximations of stationary incompressible Navier-Stokes flows in 3D exterior domains, with nonzero velocity at infinity. It is shown that a P1-P1 stabilized finite element method proposed by C. Rebollo: A term by term stabilization algorithm for finite element solution of incompressible flow problems, Numer. Math. 79 (1998), 283–319, is stable when applied to a Navier-Stokes flow in a truncated exterior domain with a pointwise boundary condition on the artificial boundary.