Existence of stationary solutions of the Navier–Stokes equations in the presence of a wall

We consider the problem of a body moving within an incompressible fluid at constant speed parallel to a wall, in an otherwise unbounded domain. This situation is modeled by the incompressible Navier–Stokes equations in an exterior domain in a half space, with appropriate boundary conditions on the wall, the body, and at infinity. Here, we prove existence of stationary solutions for this problem for the simplified situation where the body is replaced by a source term of compact support.