Constructive Description of Hardy-Sobolev Spaces on Strictly Pseudoconvex Domains

Let Omega subset of C-n be a strictly pseudoconvex Runge domain with C-2-smooth defining function, l is an element of N, p is an element of (1, infinity). We prove that a holomorphic function f has derivatives of order l in H-p (Omega) if and only if there is a sequence {P(2)k} such that P(2)k is a polynomial of degree 2(k) and Sigma(infinity)(k=1) 2(2lk) vertical bar f (z) - P(2)k (z)vertical bar(2) is an element of L-p (partial derivative Omega).