A mathematical formulation of the boundary integral equations for a compressible stokes flow