Upload
others
View
1
Download
0
Embed Size (px)
Citation preview
Annales Academie Scientiarum FenniceSeries A. I. MathematicaVolumen 10, 1985, 561-562
Commentationes in honoremOlli Lehto
LX annos nato
A REMARK ON I.QUASICONFORMAL MAPS
P. TUKrA ana .r. vÄrsÄr,Ä
I. Introduction. It is well known that if n>3, every l-quasiconformal map ofa domain DcRn is the restriction of a Möbius transformation. For C3-maps this
was already proved by Liouville in 1850. The general result is due to Gehring [Get]and ReSetnjak [Re]. Their proofs are very deep; a more elementary proof has recently
been given by Bojarski and Iwaniec [BI]. Mostow [Mo, (12.2)] pointed out that the
case D:Rn is much easier; another proof for this case has been given by Gehring
[Gel. The purpose of this note is to give a new and simple proof for this special case.
It is based on the compactness properties of quasiconformal maps and on the factthat the l-quasiconformal maps of Än form a group. It is also valid for n:2.
2. Notation. For x€Rn and r>0 we let S(.r, r) denote the sphere
{ler?' lY-xl:r}.3. Lemma. Let f: Rn*Äo be a homeomorphism such that the image of each
sphere ^S(x,
r) is a sphere S("f("), r). Then f is a similarity.
Proof. Let x,.y€R" with lx-yl:2r=O, and let z:(x*y)/2. Consider the
sphere So of radius rl2 whtch touches the spheres &:S(x, r) and Ss:S(x,2r)at z and y. Since /So touches "fst and fSr, f(") lies on the line segment f(x)f(y).Since/S(2, r) is a sphere centered at f(z), f(z):(f(r)+f(DY2.Hencefpreserves themidpoint of every line segment. By iteration and continuity, this implies that f is
affine on every line. For each line L, there is thus a number ,1,">0 such that
lf@)-f(b)l:),rla-bl for all a,b€L. Moreover, if the lines L and M intersect,
1r.:1ar. It follows that )"":),' is independent of L. n
4. Theorem. Let n>2 andlet f: R"-N be |-quasiconformal. Thenf is asimilarity.
Proof. By the preceding lemma, it suffices to show that f maps every sphere
S(x, r) onto a sphere centered atf(x). With the aid of auxiliary similarity maps, we
may assume that x:O:f(x), that r:I, tltat f("r\:rt, and that the open unit ballå' is contain ed n fB". Let W be the family of all I -quasiconformal maps g : Ao*Änsuch that g(0):0, g(er\:et, and B"cgBn. Since llt is a closed nonempfy normalfamily lvä, 19.4, 21.3, 37.47, there is h(Ia for which
m(hB") - max {m(gB"): g€W): M < oc
s62
It suffices to show that M:m(E). If M=m(B"), Bn is a proper subset of hB",
and hence hP is a proper subset of hhB", which implies m(hhB")>M. Since hh<Wthis is a contradiction. !
5. Remark. The preceding theorem is also trivially true for n:1, if we, as
usual, interpret the K-quasisymmetric functions /: Rl*R1 as one-dimensional K-quasiconformal maps. On the other hand, the same proof gives the following more
general result, which is nontrivial also for n:1. We allow the possibility that a quasi-
conformal map is sense-reversing.
6. Theorem. Let n>1, let K>1, and let G be a group of K-quasiconformal
maps of N such that G contains all similarity maps. Then G is precisely the group of allsimilmity maps of N.
In the proof, we may assume that G.is closed, replacing it by G. !
Acfually, it is sufficient to assume that G contains a group S of similarities such
that for each pair of distinct points x,y€R" there is g€S such that g(O):x,g(e):y. The proof shows that every element of G is then a similarity.
References
[BI] Bor.l,nsxr, B., and T. IweNrsc: Another approach to Liouville theorem. - Math' Nachr. 107,
1982, 253-262.[Ger] Genmxc, F. W.: Rings and quasiconformal mappings in space. - Trans' Amer' Math. Soc.
lo3, 1962, 353-393.[Gez] GBnnnc, F. W.: Quasiconformal mappings. - Complex analysis and its applications, vol.
. 2, International Atomic Energy Agency, Vienna, 1976,213-268.
[Mo] Mosrow, G. D.: Quasi-conformal mappings in z-space and the rigidity of hyperbolic space
forms. - Inst. Hautes Etudes Sci. Publ. Math. 34, 1968,53-104.
[Re] Rr3rrNrm, Ju. G.: Stability of conformal mappings in multi-dimensional spaces. - Sibirsk.Mat. Z. 8, 1967, 9l-ll4 (Russian).
tVä] VÄrsÄLÄ, J.: Lectures on z-dimensional quasiconformal mappings. - Lecture Notes in Mathe-
malics 229. Springer-Verlag, Berlin-Heidelberg-New York' 1971.
University of HelsinkiDepartment of MathematicsSF-00100 Helsinki l0Finland
Received 3l October 1983