Quasiconformal Mappings with Sobolev Boundary Values

We consider quasiconformal mappings in the upper half space R(+)(n+1) of R(n+1), n >= 2, whose almost everywhere defined trace in R(n) has distributional differential in L(n) (R(n)). We give both geometric and analytic characterizations for this possibility, resembling the situation in the classical Hardy space H(1). More generally, we consider certain positive functions defined on R(+)(n+1), called conformal densities. These densities mimic the averaged derivatives of quasiconformal mappings, and we prove analogous trace theorems for them. The abstract approach of general conformal densities sheds new light to the mapping case as well.