Sobolev spaces for the weighted partial derivative-Neumann operator

We discuss compactness of the partial derivative-Neumann operator in the setting of weighted L-2-spaces on C-n. In addition we describe an approach to obtain the compactness estimates for the partial derivative-Neumann operator. For this purpose we have to define appropriate weighted Sobolev spaces and prove an appropriate Rellich-Kondrachov lemma.