MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

$Qn#1 $

: Let $f:U\to V$ be a $K$ quasiconformal homeomorphism ( NOT diffeomorphism ) of plane open subsets of $C$. By my definition of quasiconformality, I mean 1)$f$ is continuous, 2)the weak derivatives $f_z,f_\bar{z}$ exist and are $L^2_{loc}(U)$ functions and 3) $ |\frac{f_\bar{z}}{f_z}| \leq k < 1$.

I am trying to prove that $f$ maps sets of measure zero to sets of measure zero.

Any hints ? Just in case :

I am trying to use Lemma 7.25 [ Chapter : Differentiation ] from Walter Rudin's Real and Complex Analysis which states that :

If $E$ is a Lebesgue measurable subset of $C$ of Lebesgue measure 0,i.e. $m(E)=0$ and if the continuous map $f:E\to C$ has the property that :

$lim sup_{z\to w} |\frac{f(z)-f(w)}{z-w} |<\infty \forall w \in E$, where $z\to w $ reamining within $E$, then $m(f(E))=0$. Also I am trying to use the upper bound of $L^2$ norms for the difference quotients of $W^{1,2}(U)$ functions in terms of the $L^2$ norms of their gradients . ( L.C. Evans : 5.8.2 ).Acording to conditon 2) gradients are locally $L^2$-bounded. I am not having much success, though !

My guess is I would not need to use condition 3) of quasiconformality, may be I just need to use the weak differentiaility ahthough I am not sure !


Also, is there a change-of-variable formula for homeomorphisms in Sobolev spaces ? What is a reference for it ?

share|cite|improve this question
up vote 2 down vote accepted

For the first question, see Theorem 3 of Ahlfors' book "Lectures on quasiconformal mappings."

share|cite|improve this answer

In order to have the Lusin condition N (the property that sets of Lebesgue measure zero get mapped to sets of Lebesgue measure zero) for a Sobolev homeomorphism in the plane the assumption you need on the integrability of the differential is slightly less than power 2. Namely, it is sufficient to assume $$ \frac{|Df|^2}{\log(e+|Df|)} \in L_{\text{loc}}^1(U). $$

See [J. Kauhanen, P. Koskela and J. Malý, Mappings of finite distortion: condition N, Michigan Math. J. 49 (2001), no. 1, 169$-$181]

There are change of variables formulas for Sobolev homeomorphisms. See for example [P. Hajĺasz, Change of variables formula under minimal assumptions, Colloq. Math. 64 (1993), 93$-$101] and the references in it.

share|cite|improve this answer

See page 37 of "lecture notes on qusiconformal and quasisymmetric mappings" at for a simple proof of this fact. (The proof uses the metric definition of a quasiconformal mapping.)

For general Sobolev homeomorphisms, one has to follow the above references pointed out by Tapio above.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.