Primary 35N15; Secondary 32W05.
On a bounded strongly pseudo-convex domain in with a Lipschitz boundary, we prove that the Neumann operator can be extended as a bounded operator from Sobolev spaces to the Sobolev spaces. In particular, is compact operator on Sobolev spaces.