Sign up ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Hello ,we know that for given $h:S^1\to S^1$, we can solve the Dirichlet problem on $\bar{D} $ with the boundary value $h$ and in fact this extension, which is the complex harmonic extension $H=E(h) $ of $h$, is a diffeomorphism of $D$ and homeomorphism of $\bar{D}$.

My question is : suppose $h:S^1\to S^1$ is a k-quasisymmetric homeomorphism, then is the complex harmonic extension $H=E(h)\hspace{2mm} K$-quasiconformal with $K$ depending only on $k$ ?

Answers/resources/papers related to this would be greatly appreciated !

share|cite|improve this question

6 Answers 6

up vote 2 down vote accepted

For the unit disk see: For the halp-plane: For a generalization to Jordan domains: (see also my paper in MATH z)

share|cite|improve this answer
@ David : Could you send me the link to the paper on quasiconformal harmonic extension for the upper half plane again ? I think you attached the one for the unit disk in place of the upper half plane. Thanks a lot ! –  Analysis Now Dec 12 '11 at 15:05

The answer to the question depends on the Riemannian metric you choose in the target space (but only on the conformal class of the domain). One possibility is to choose the Euclidean metric, as in David's answer, but a more natural one is to consider the hyperbolic plane, as mentioned by Deane Yang. In this second case the question is still open. It was conjectured by Schoen that any quasisymmetric homeomorphism of the circle has a unique quasiconformal harmonic extension to the hyperbolic plane, see Richard M. Schoen, The role of harmonic mappings in rigidity and deformation problems, Complex geometry (Osaka, 1990), Lecture Notes in Pure and Appl. Math., vol. 143, Dekker, New York, 1993, pp. 179–200. MR MR1201611. The uniqueness is known, as for the existence there are newer results than those mentioned in other answers, see Vladimir Markovic, Harmonic diffeomorphisms of noncompact surfaces and Teichm¨uller spaces, J. London Math. Soc. (2) 65 (2002), no. 1, 103–114. MR MR1875138, but no complete answer.

share|cite|improve this answer

This is true, if you use the hyperbolic metric on $D$ and the map $h$ is near the identity. See Hardt, Robert(1-RICE); Wolf, Michael(1-RICE), "Harmonic extensions of quasiconformal maps to hyperbolic space.", Indiana Univ. Math. J. 46 (1997), no. 1, 155–163. But I'm not sure whether more is known for dimension 2.

ADDED: The Douady-Earle extension is an elegant way to extend a map of the boundary to a map of the interior, and I believe that it does extend a quasisymmetric map to a quasiconformal one.

share|cite|improve this answer
@ Prof. Yang : Thanks, I have taken a look at the main theorem of Wolf's paper. But I guess by "complex harmonic extension", I meant the solution to the Dirichlet prolem on $\bar{D}$ with $h$ as a boundary value on $S^1$, which is a particular harmonic map, and which is also a diffeomorphism in $D$ if $h$ is a homeomorphism on $S^1$.I was wondering whether this is quasi-conformal if the boundary data $h$ is quasi-symmetric. For the Douady-Earle ( or Barycentric ) extension, which is conformally natural,it is $K$ quasiconformal,$K$ depending only on $k$, where $h$ is $k$-q.s. –  Analysis Now Apr 28 '11 at 11:19

An earlier reference than the ones given by @Deane is:

MR0086869 (19,258c) Beurling, A.; Ahlfors, L. The boundary correspondence under quasiconformal mappings. Acta Math. 96 (1956), 125–142.

share|cite|improve this answer
@ Dr Rivin : Thanks ! –  Analysis Now Apr 28 '11 at 14:15

A function f of the unit circle onto itself can be extended to a harmonic quasiconformal mapping if and only if f is bi-lipschitz, see Pavlovic and Kalaj's results... Here we have in mind the euclidean harmonic mappings...

share|cite|improve this answer
@ david : could you please post a link to the paper ? Is it in English ? I went to your homepage but I am unable to download. –  Analysis Now May 11 '11 at 21:01

Correction: A function f of the unit circle onto itself can be extended to a harmonic quasiconformal mapping if and only if f is bi-lipschitz and Hilbert transform H(f') is in L^\infty(S^1).

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.