...

1 downloads
15 Views
1MB Size

No documents

Comment. Math. Helvetici 53 (1978) 301-321

O n quasicontormal mappings ot o p e n R i e m a n n surfaces KURT STREBEL,Ziirich Herrn Prof. Dr. A. Pfluger zum 70 Geburtstag gewidmet

Inlroduction Let f be a quasiconformal mapping of the disk D :lzl < 1 onto D':lw [< 1. It induces a certain boundary homeomorphism f] OD. We denote by ff the family of all quasiconformal mappings of D onto D' which agree with f on OD. Let fo be an extremal mapping in ~, i.e. a mapping with smallest maximal dilatation Ko. Then, the following inequality was proved by E. Reich and K. Strebel (see [2], p. 376): ,

,

,p(z)

ax ay.

(1)

D

Here, K is the complex dilatation of f, and q~ is an arbitrary holomorphic quadratic differential of norm Ilq~tl= jfflq~(z)l

dxdy: 1

D

in D. This inequality has a number of consequences, one of them being the converse, for the disk, of a theorem proved by R. S. Hamilton in [1] for arbitrary hyperbolic Riemann surfaces. It says: Let ~ be a class of quasiconformal mappings of a hyperbolic Riemann surface R onto a surface R' which are homotopic modulo the boundary, and let f0 with complex dilatation Ko be extremal in ~. Then

supl lI IKoq~dx dyl = ko, ii,ptl=

(2)

R

301

302

KURT STREBEL

where

ko--IIKoll= = go- 1 Ko+l

and where the supremum is taken over all holomorphic quadratic differentials on R normed by I1~11-- 1. The theorem by E. Reich and the present author says: Let f be a quasiconformal selfmapping of the disk D, with complex dilatation K, and let

sup [I IKq~dx dy[ = k =llKIIoo,

~t,pll=1

D

where q~ ranges over the normed holomorphic quadratic differentials of the disk. Then f is extremal in the class g: defined by the boundary values of f. The two theorems combined also provide an existence theorem for extremal mappings of Teichmiiller type (see [7], theorem 2 and [8], theorem 1) which goes as follows: If there is, in the class g:, a mapping g, and a compact set C c D, such that the maximal dilatation of the restriction of g to D \ C (i.e. the maximal dilatation of g in a neighborhood of 0D) is smaller than Ko, then there is a Teichmiiller extremal in g:, associated with a quadratic differential of finite norm (and hence also unique extremal, [3] p. 82). The inequality (1) is proved in the following way: Let f and f be two mappings in the class g:. Then flof with f~ =f-1 is a qc selfmapping of D which keeps the boundary pointwise fixed. Now up to a negligible set of trajectories every trajectory a of q~ is a cross cut, and it is the shortest line, in the metric of the line element Iq~(z)l '/= Idzl, between its two endpoints. Therefore, the length inequality

I I (z)l'21dzl ,~

I I (z)l'21dzl

(3)

Gof(a)

holds. By means of a decomposition of D into horizontal strips (see [2], p. 82-87) this inequality can be integrated over D and an application of the length area method eventually leads to (I). In [5], the procedure was generalized to compact bordered Riemann surfaces. The crucial part consisted in a detailed study of the trajectory structure of a holomorphic quadratic differential of finite norm on such a surface. There are essentially three kinds of trajectories: Closed trajectories, cross cuts and recurrent trajectories. It is then possible to partition R, for any given ~, into certain subsets characteriscd by the trajectory structure of ~, and to carry over the length area method of the original proof.

On quasiconformalmappings of open Riemann surfaces

303

It is the purpose of this paper to generalize inequality (1) to arbitrary hyperbolic Riemann surfaces. The main object is of course the trajectory structure of a holomorphic quadratic differential. It turns out, that for a differential of finite norm the " b a d " trajectories only cover a set of measure zero. The " g o o d " ones then can be partitioned into subsets of the three characteristic types. Then, of course, the length inequality must be proved for cross cuts, whereas it is well known for closed trajectories as well as for closed curves composed of horizontal and vertical arcs. The applications, like the converse of Hamiltons theorem for arbitrary hyperbolic Riemann surfaces, unique extremality of Teichmiiller mappings associated with quadratic differentials of finite norm in their homotopy class etc. then follow in the same way as in the case of the disk: The proofs can be taken over almost word by word.

w Exceptional trajectories I. Some definitions. Let q~ be a holomorphic quadratic differential on an arbitrary Riemann surface R. The zeroes of q~ are called the critical points, all the others are the regular points of q~. In the neighborhood of a regular point Po we can introduce the natural parameter ( = q~(z) = S~&p(z) dz. It is determined up to the sign and an arbitrary additive constant, which we can choose such that @(Po) = 0. The analytic continuation of the inverse ~-1 along the real axis defines the trajectory a through Po in its natural parametrization ~-1(~), ff=~+i~/. Unless a is a Jordan curve on R (closed trajectory), it is subdivided by Po into two rays a + and a - , the images of maximal subintervals of the positive respectively the negative real axis. The initial point Po is always considered to be a point of the ray. Of course the two rays on a non closed trajectory a depend on the point P o e a and on its orientation, which is determined by the choice of the sign in q~; but the properties to be considered in the sequel will not depend on Po. Length and area will always be measured in the q~-metric, i.e. with the length element I~(z)l 1'= Idzl and the area element, respectively, I~(z)l dx dy. But nullsets then are of course the same as nullsets in the Euclidean measure of the local parameter. A ray a + (or a - ) is called critical, if it tends to a zero of ~. A trajectory a is called critical, if it carries at least one critical ray. As there are only n + 2 trajectories ending in a zero of q~ of order n, the set of critical trajectories is denumerable and hence of zero area. A ray a + is called a boundary ray if P = q~-l(~) tends to the boundary of R for ~---~ r where (g_o~, ~oo) is the interval on the real axis where @-1 is defined and

304

KURT STREBEL

locally univalent. Tending to the boundary of course means that the point P eventually leaves every compact set of R for ~---~~ . A trajectory, both rays of which are boundary rays is called a cross cut of R. The limit set of a trajectory ray a § is the set

A + = lim

{PI P =

I~)-1(~), ~ > ~1}.

It is empty, if[ a § is a boundary ray. For a critical ray a § A § is its critical limiting point. In all the other cases A § is a closed set of trajectories and their limiting critical endpoints. If P o ~ A § in which case A § c~, the closure of the trajectory a, a § is called recurrent. A recurrent trajectory ray will be called a spiral ray, and a trajectory both rays of which are recurrent is called a spiral. Any trajectory of q~ which is neither d o s e d nor a cross cut nor a spiral is called exceptional. The main theorem of this w will be that for a holomorphic quadratic differential ~ of finite norm on an arbitrary Riemann surface R the exceptional trajectories cover a set of measure zero. 2. From now on we always assume that q~ is holomorphic on R, not identically zero and of finite norm II II=$ R I (z)l dx dy. Consider an oriented open vertical interval (open subinterval of a vertical trajectory)/3 on R. The set of points on R which lie on closed trajectories is open, the complement therefore dosed. We will always only consider points of /3 which lie in this complement, without further mentioning, even if we just speak of P e/3. Every such P splits the trajectory a through P into two rays: a § = a§ which leaves/3 to the right, and a - = a-(P), which leaves it to the left. Of course, any such ray can m e e t / 3 again at some point P1, and therefore contain a~(P1) or a~(P~), depending on the direction in which it cuts /3 at P1.

T H E O R E M 1. Let q~ be of finite norm on R. Then the set E of all points P ~ B for which the ray a+(P) has q~-length l a § = ~o without being recurrent has measure zero.

Proof. Let a > 0. If a~ with initial point Poe/3 has length greater than a, this is true for all rays ot + with initial point P e / 3 in some neighborhood of Po. This follows from the fact, that there is, for some 3 > 0 , a rectangle 0---~---a, l~/[<~ which is mapped by ~ - 1 homeomorphically into R. The image is a rectangular strip S on R which contains the subinterval of a~- of length a with initial point Po as middle line. S is (for sufficiently small 8 > 0) schlicht on R.

On quasiconformal mappings of open Riemann surfaces

305

T h e r e f o r e the set of all points P c/3 with la +(P)I > a is relatively open, and the set E~ = { P I P c / 3 , la+(P)l = o~} is a G~ set (intersection of d e n u m e r a b l y m a n y relatively o p e n sets). Let PocE= and assume that a ~ with initial point /90 cuts /3 in at least one other point P~. T h e n this is (by a similar argument) true for all rays a ~ with initial point P c E= in a neighborhood of Po. T h e r e f o r e the set of all points P c E= for which the ray a+(P) has at least one m o r e point in c o m m o n with/3 is relatively open, and the set E ' ( / 3 ) ----E " = {P[ P c / 3 ,

tc~+(P)[ = 0% a+(p) f313 = P}

is a relatively closed subset of E=. Let now a > 0. On every ray a§ with P c E " we m a r k the subinterval of length a, with initial point P. This set is evidently schlicht on R and measurable, and its area is a 9 IE'I-< It~oll, with lEVI the q~-length of the set E ' . As this is true for every a > 0, E " has measure zero. Now, given n c ~, we cover /3 by finitely m a n y o p e n intervals /3i, of length I/3i1< 1/n. For every/3i the corresponding set E'(/3~) is a nullset and therefore the union of all these sets, for all n, also is a nullset. If P c / 3 is arbitrary with la+(p)[ = 0% a+(p) not recurrent, P c E'(/3i) for at least one of the subintervals/3i, for some n. T h e r e f o r e E, which is actually equal to the union of the sets E'(/3~) for all n, has measure zero. 3. We now pass to the trajectories which are composed of a recurrent ray and a boundary ray. T H E O R E M 2. Let E be the set of points P on a vertical interval [3 such that the trajectory a through P is split into a recurrent ray and a boundary ray. Then IEI = 0.

Proof. First we consider the set E~ consisting of all those points P c/3, for which a+(P) is recurrent and a - ( P ) is a boundary ray which does not have any other point in c o m m o n with/3 besides P. W e want to show that E g is measurable. T h e set of points P c/3 for which [ot+(P)l= ~ is a G~ set. E v e r y a+(P) is either recurrent or not. But we have seen that the points P with non recurrent a+(P) of infinite length form a nullset. Thus the set Eg of points P c / 3 with a+(P) recurrent is measurable. T h e set of all those points P c / 3 for which la-(P)[ > a is relatively o p e n for every a. T h e r e f o r e the set of points P c/3 for which la-(P)l <- a is relatively closed

306

KURT

STREBEL

on/3. The set of points P with [`x-(P)[

E-~, E~, E~ . . . . are disjoint subsets of /3 and have the same measure. Thus lEVI = tE~I = lEVI = . . . . 0, and hence IE~ U E~ U E~ U - . . t = 0. Similarly, the set E o of points P c / 3 for which `x-(P) is recurrent and `x+(P) is a boundary ray which does not meet/3 again has measure zero, and so do the sets of next intersections E~-, E ] . . . . . Finally, E is the union of all the sets E~ and E~- and therefore also has measure zero. 4. Bringing theorems one and two together, we now can show that the trajectory structure of a holomorphic quadratic differential ~0 of finite norm on an arbitrary Riemann surface R is in fact quite simple, apart from a set of measure zero. T H E O R E M 3. Almost all trajectories of a holomorphic quadratic differential q~

of finite norm on an arbitrary Riemann surface are either closed, cross cuts or spirals. Remember. A spiral is a non d o s e d trajectory both rays of which are recurrent. "Almost all trajectories" means that the trajectories which are not of the indicated kind (i.e. which are exceptional) cover a set of measure zero on R.

Proof. L e t / 3 be a vertical arc and let E be a,set of measure zero on/3. T h e n the set of trajectories a (P) through the points P c E cover a set of measure zero. For the proof we map the vertical arc/3 by a branch of s = ~ ( z ) onto a vertical straight interval/3' in the ~-plane. Let E ' be the image set of E. The holomorphic

On quasiconformalmappings of open Riemann surfaces

307

function q0-1 is now continued along the horizontals through the points of E ' in both directions, as long as it stays locally o n e - o n e . Evidently, the set of horizontals through the points of E ' has Euclidean area zero. Its image by qb-~ on R is the set of trajectories a (P), P ~ E. The q~-measure of this set is at most equal to the Euclidean measure of the preimage (because of possible overlappings on R), hence also zero. Let now E c / 3 be the set of points P such that a ( P ) is neither closed, nor a cross cut nor a spiral. Such a trajectory a(P) is either critical, has a non recurrent ray of infinite length or else a recurrent ray and a boundary ray. Therefore IEI = 0 and the set of exceptional trajectories t h r o u g h / 3 has area zero. In order to get the result, we choose an everywhere dense, denumerable set of regular points P, ~ R. Let/3, be the maximal open vertical interval of q~-length-< 1 with midpoint P,. Let a be any exceptional trajectory, P c a. In any neighborhood of P there is a point P,, and evidently a is contained in the set of exceptional trajectories of some /3,. But the union of all these sets has measure zero.

w

Strips of horizontal cross cuts

5. D E F I N I T I O N . Let /3 be a vertical interval. The set of cross cuts (i.e. horizontal trajectories both rays of which tend to the boundary) which cut /3 exactly once is called the (horizontal) strip S = S(/3) defined by/3. S is considered to be a pointset on R rather than a set of individual curves. Let E = E ( / 3 ) be the set of points P e / 3 such that the trajectory a = a ( P ) through P is in S. Clearly, E is measurable, and it is assumed to be non empty. The strip S is now represented in the following way: We choose a branch of qO on /3. It maps /3 onto a vertical interval /3' in the ~-plane, taking E into E'. We continue the inverse function q0-1 analytically along each horizontal through the points of E ' as long as it stays locally o n e - o n e (i.e. its derivative at the points of the horizontal is different from zero). The intervals of definition of ~-1 define the horizontal strip S'. It is of course a measurable set, since E ' is measurable and the amplitude of the horizontals, measured from /3' in both directions, is a lower semicontinuous function. The ~ - l - i m a g e s of these open horizontal intervals are exactly the trajectories a through the points of E. Moreover, ~ - 1 is o n e - o n e and continuous on S': If ~oe S', the continuation of ~-1 along the horizontal interval b e t w e e n / 3 ' and ~o can be performed in an open horizontal rectangle containing this interval. This shows, that it is in fact a conformal mapping. Let ~-~(~o)= ~--1(~1) for ~'o~ ~1 ~ S'. T h e n the two horizontals through ~'o and ~1 correspond to

308

KURT STREBEL

the same trajectory in S. As it cuts /3 once, by assumption, we must have l m ~ o = I m ~ l . But then we have a closed trajectory in S, which is again impossible. Clearly, the q~-measure of S is equal to the Euclidean measure of S% 6. We are now going to partition the set of all horizontal cross cuts on R into horizontal strips. To this end, we pick a denumerable, everywhere dense set of regular points P1, P2, P3 . . . . on R. To each Pn we assign the sequence of open vertical intervals/3,k of length 1/k, k >-ko(P,~), with midpoint Pn. Here ko(P,~)~ is chosen to be smallest possible, i.e. we start with the largest possible vertical interval for every P,. The horizontal strips S,k associated with the intervals /3,k contain all the horizontal cross cuts. For, let a be such a trajectory and let P ~ a. Then, there is a neighborhood U(P) through which a passes only once. Evidently, there exists an interval /3,k in U(P) which is cut exactly once by a. Thus, a c S~k. Let /31, /32, /33 . . . . be a new numbering of the intervals /3nk, with associated strips S1, $2, $3 etc. Let E1 =/31 N $1, E2 = / 3 2 ('~ S2- We want to show that $1 \ $2 is a measurable substrip of $1. Let P c $1 AS2. Then the trajectory through P belongs to both strips. The set of points P2e E2, for which cz(P2) cuts /31 at least twice is relatively open, and so is the set of points for which it cuts /31 at least once. Therefore the set of points P2 ~ E2 for which a(P2) cuts/31 exactly once is a difference of relatively open subsets of E2. We conclude that the set $2\ $1 consists of the trajectories through a measurable subset of E 2 and hence is measurable itself. Clearly this argument can be repeated, and we get the following partition of the set of all horizontal cross cuts:

S~ O (S2\ SO o (S3\ S1\ S2) o . - . , where the general term is the substrip

s n \ s l \ s 2 \ . . "\s._l of $..

w

Spiral sets

7. DEFINITION. Let /3 be an oriented vertical interval. By the spiral set determined by/3 we mean the set of spirals a which have a point in common with /3. It is denoted by b~

On quasiconformal mappings of open Riemann surfaces

309

We do not always make a clear linguistic distinction between the set of spirals (whose elements are curves) and the set of points of R on these spirals. Usually we mean the latter. Let E = fi(/3)n/3. We want to show that E is measurable. The set of points P ~ / 3 such that a(P) is not d o s e d and a+(P) has infinite length is a relative G~-set. Now, every ray a§ of infinite length is either recurrent or not. The set of points P c/3 where the second case occurs has measure zero, therefore the set E § of points P c / 3 with recurrent a§ is measurable, and so is the set E of P ~ / 3 with a-(P) recurrent. As E = E § it is measurable. Any spiral a ~fi(/3) is subdivided by its intersection points with /3 into denumerably many subintervals an. We say that an is of the first kind, if its two endpoints are on the two different edges of/3; otherwise it is called of the second kind. In the second case we denote it by a ,+, if its endpoints are on the edge/3 § of /3, otherwise by a~,. Every interval a , is contained in a rectangular strip, i.e. the q~-l-image S of a horizontal rectangle S' of the ~'= ff+i~-plane, S' : ~o-< ~-< ~l = ~n+ a,,

no

where a. = la. [ is the ~0-1ength of the interval an. Its vertical sides are subintervals of/3, and the ordinates r/o, r/l, can be chosen in such a way that S is schlicht on R, except possibly for its sides on/3, which may overlap (they lie on the two different edges /3~ and /3- of /3). T h e r e evidently is a largest such rectangular strip: It is called the rectangular strip S. associated with the interval a.. The same thing is true for the intervals a .+ and ot~ of the second kind: They determine strips S.+ resp. S~ which are schlicht on R and which have both their vertical sides on/3+ or o n /3-.

Let or. and &.~ be two intervals on spirals ct and & in fi(/3). Then their strips Sn and S.~ either have no interior point in common or they coincide. We thus get a well determined, denumerable set of non overlapping (except on /3) associated strips of the first and of the second kind. 8. Consider an arbitrary strip S, of this collection. The intersection S, n fi(/3) consists of all the subintervals of the spirals of fi(/3) which are in S,. This is the ~-1 image of a certain set of horizontal straight intervals in S',. Let the Euclidean measure of the ordinates of these horizontals be denoted by b,. Then a, 9 b, is the ~o-measure of the set S, n fi(/3) of spiral intervals of fi(/3) in Sn, and the total ~0-measure of fie(0) evidently is the sum

310

KURT

STREBEL

Consider/3 +. Every strip Sn has one of its vertical sides on [3+, and every strip S~+ has both its vertical sides on [3+. Therefore the q~-measure of E is

IEI = Y~

+ 2 Z b + = Z b. + 2 Z b~.

Moreover, as every strip of the first kind has one vertical side on [3+, the other on /3-, and the measures of Sn A 5r on these two sides are the same, we have

Eb+=Xb~. In other words: If we split E c/3 in two identical copies E § and E - on/3 + and/3-, the total measure of the set of points in E § which are on the vertical sides of the strips S,+ is the same as the total measure of the points of the strips S~ on [3-. This fact allows, after a horizontal subdivision of the strips of the second kind, a pairing S,+

4---~

S,- -

such that b,+ _ _- b ~ . One simply starts with the strips with largest ordinate sets, say (by change of the numbering)

S~:b~, S~:bT. If b~ > b~-, we cut off a part Si~of S~-, by a horizontal arc in S~, such that b~ = bT. The first pair now is S~, S,~. We continue likewise with the rest. 9. What is the intersection of two spiral sets determined by vertical intervals /31 and/327 Let E1 and E2 be the sets of points on spiral trajectories on/31 resp. [32. Let PleE1 be such that the spiral otI through P1 cuts [32, which means oq c ~1 A ,9~ Then the same is true for every spiral a through a point P e E1 in some neighborhood of P1. Therefore the set E~ of points P~eEi with a l c

On quasiconformalmappingsof open Riemannsurfaces

311

5r Nb~ is relatively open, and the spirals of the difference 5el\Se 2 cut /31 is a relatively closed, hence measurable subset of El. We can then do the same with the corresponding set of spirals as we did above for the total set: Subdivide it into strips of the first kind and pairs of strips of the second kind. In other words, it does not matter, for the procedure, whether we take the full spiral set determined by /3 or a subset of it.

w Boundary correspondence and the length inequality

10. Let R and R' be hyperbolic Riemann surfaces. The universal covering surfaces are the unit disks D :[zt < 1 and D':lw t < 1, together with the projection mappings. Any quasiconformal mapping f:R---~R' can be lifted to a quasiconformal homeomorphism [ : D - - * D ' . If a second quasiconformal mapping g:R--*R' is homotopic to f, the deformation h, which is a one parameter family of mappings of R onto R', can be lifted to a deformation/~ of [ into a lift ~ of g. The mappings [ and g are said to be homotopic modulo the boundary, if there is a deformation h such that its lift/~ is constant on OD. (For an equivalent definition see [2], section

3). The composition g-lo[ is a quasiconformal selfmapping of R which is homotopic to the identity modulo the boundary. It is the purpose of this w to show that the trajectories of a holomorphic quadratic differential q~ of finite norm, in particular the cross cuts of finite length, are mapped by g - l o [ into curves which have at least the same length. 11. Let S be the horizontal strip of cross cuts determined by the open vertical interval/3. It consists of all the cross cuts o~ of tr which have exactly one point in common with /3. Its g - i m a g e S' is a substrip of the open Euclidean horizontal strip So defined b y / 3 ' = 4(/3) in the l-plane. S can be lifted to a horizontal strip of the lifted quadratic differential i in the unit disk D:lzl < 1. It should be noted that the q~-length of an arc is equal to the i - l e n g t h of any one of its individual lifts. For a fixed branch of the lifting on S we look at the mapping ~ ~ z, composed of ~-1 and that branch of the lifting, which is of course equal to the corresponding branch of ~-1. We get a 1-1-conformal mapping of the strip S' onto ~ c D. The Euclidean area Is'l of s' is equal to the q~-area lair of s (which is in turn equal to the if-area of S). We conclude that IS'l< o. o n the other hand, the Euclidean area [S[ of ~ c D is ---,r. A simple application of the Schwarz inequality (see [3], section 11, p. 86) shows that a.e. cross section 8 in S has finite

312

KURT STREBEL

Euclidean length and therefore converges on its two ends to well determined boundary points to1 and to2 of D.

12. Let E =/3 n S and let Po be a point of density of the set E. The set E is of course assumed to have positive ~0-1ength (otherwise S could be neglected). Moreover, we assume that the lift c~ of a, passing through the point z0 e/3 above Po, has finite Euclidean length. Both assumptions hold for a.a. points of E. Of course, Zo is a point of density of the lift /~ of E on /3.

Cot)

Let /31 be a vertical trajectory ray of q3 with initial point z I (: •. We want to show, by contradiction, that/31 cannot converge towards an endpoint to of &. For, let it converge to to (Fig.). As J31 has only the point Zl in common with &, it bounds, together with a subinterval of tl and the point to, a Jordan domain (~ c D. There is a set S~ of horizontal rays, starting at a s u b s e t / ~ c / ~ c/~, which enters through/31, and for which I/~],~ = d > 0. All the rays of $1 necessarily tend to to. We now consider the subarcs 8, of the circles ]z-tol = r which lie in D. Let /~l(r) be the intersection of 8r with S~. C l e a r l y , / ~ ( r ) is a measurable set and its if-length is - d . This follows readily by an application of the mapping r S~/~(z) dz to the open horizontal strip So determined by /3: The set q~(~, nSo) consists of at most denumerably many open analytic arcs which pass through the horizontal half lines of ~(;~1), the Euclidean height of which is equal to d. For the if-measure of/31(r) we get

~(r)

O n quasiconformal mappings of open R i e m a n n surfaces

313

An application of the Schwarz inequality yields Iq3(r#~ 1/2 rdO

d 2 <-

<-rrr

~(r)

[if(re'~ rdO. ~(r)

Therefore, for any sufficiently small positive to, we have ro

ro

r dr<0

I 0

Iq3(re'~

rdrdx9 < IN,

INI = Isl

t1 11 <

/~(r)

which evidently is impossible. We conclude, in particular, that the two endpoints r I and r 2 of (~ are distinct. For, if 031 r r then the vertical rays entering the domain 0 bounded by & O {to} would necessarily tend to to. =

13. For an arbitrary cross cut a which satisfies the conditions of section 12, let 7 = g-l~ 9 Let ~/be a lift of y which has common endpoints with the lift & of a. Such a lift exists because of the assumptions about the boundary correspondence (section 10). Pick two arbitrary points zl and z2 of & which lie on non critical vertical trajectories/31 and/32. Then, since none of the four rays of/31 and /32 converges to an endpoint of &, the curve ~, cuts both vertical trajectories /~1 and/32. Therefore, by the divergence principle ([6] I, p. 2), 1~[~ -> ][zl, z2][~, where [z~, z2] is the subinterval of & with endpoints z~ and z2. As these two points are arbitrary, and with Ivl = = we get the desired inequality.

w Proof of the main inequality 14. The proof of the main inequality consists in an integration of the length inequality over the whole surface. The proof is, in principle, the same as in [2] and [5], but because of the spiral sets it is a bit more complicated and therefore repeated here in full detail for this general situation. We also keep considering horizontal trajectories instead of switching to vertical ones. Let f and f be quasiconformal mappings of R onto R ' which are homotopic modulo the boundary. The differential of f in terms of local parameters z and w near P ~ R and P ' = f(P)~ R' is denoted by dw = p(z) dz + q(z) d~..

314

KURT STREBEL

Let fl = f-1 and denote its differential in terms of a local parameter 2 near by

fl(P')

d~. = pl(w) dw + ql(w) d~,. We get

d~. =(ppl +(tql) dz +(qP~+PqO d~. Let now q~ be a holomorphic quadratic differential of norm [Iq~[[= 1 on R, and let S be the horizontal strip defined by the vertical interval/3. We map S by q~ onto a horizontal strip S' in the ~-plane and we use ~ = if+ i~/ as the parameter of integration in S. The length inequality for a trajectory a in S reads:

I

faof(~)

a

I

a'

with ~ = qb(z), d~ = qb'(z) dz, d~ = ~'(~.) d~. The S,~,dlj is meant to extend over the horizontal interval a ' = q~(a); it is of course nothing but the length of this interval. As the inequality holds for a.a. ~/ in S', integration over rl gives

S'

S'

The integrals can be transplanted to S c R by the mapping q~, the Jacobian being d~d~ = I (z)l dx dy. We get

ii,~lls=_I Il,p(z) ldx dy

(5)

S

_<

ffl~(~)l'/2l,~(z)ll/2 IPP~-((lql+(qP~+-P q ~, ) ~

Idx dy. !

S

By the exhaustion given in section 6 we can sum up this inequality over denumerably many non overlapping horizontal strips S, which contain all horizontal cross sections up to a null set. We get Ik011us~ - ~ - . ' d x

dy

(6)

us~

with the same integrand as in (5).

15. T o deal with the spiral sets, let e > 0 and choose a compact set C c R which does not contain any critical points of q~ (cut out little holes around the

On quasiconformal mappings of open Riemann surfaces

315

zeroes of q~) and such that IIq~llR\ c < e. Every point P e C is the center of an open tp-square (the 1-1-image of a Euclidean square with sides parallel to the axes by ~-1). C is then covered by finitely many of these squares. Let their centers be the points P~ and denote the vertical diameters of the squares with midpoints P~ by/3~. These arcs are now kept fixed. Let B = ~ b,, with b, =1/3,1, the q~-length of /3i" Evidently, every spiral which meets C also cuts one of the intervals /3~ and therefore belongs to the spiral set of one at least of these intervals. We can now subdivide the vertical intervals/3, into intervals /3,k such that the image flof(/3,k)=/3"k lies in some neighborhood of q~-radius e, for every i and k. (The /3~k can be choosen open and the finitely many points of separation discarded.) Let now /3 be any one of these intervals, with 9~ the spiral set determined by/3 (or any measurable subset of it, see final remark of section 9). We apply to it the procedure developed in sections 7 and 8, using the length inequality for closed curves composed of horizontal and vertical arcs (see [4], p. 364). Let S, be a horizontal strip of the first kind. Any horizontal interval a , of S, can be closed, by a subinterval of/3, to become a Jordan curve. The length of its fl of-image, being homotopic to it, is at least equal to a, = la, [. As the endpoints of flof(a,) can be joined by arcs of l e n g t h < 2 e , we get r

an

<_ )

''2 last.

(7)

r~.f(a.)

Introducing, as in (3'), ~ = ~ ( z ) as parameter in S, and then integrating over ~/in S" we get

s"

s.

with the same integrands as in (4) respectively (5). We now do the same for a pair of strips of the second kind S +, S~. Any pair of arcs ot+ c S + O 5r ot~ c S~ n b~ can be completed with subintervals of/3 to form a closed curve which is homotopic to a Jordan curve on R. Therefore, we get, by the same argument, the length inequality

a+"+a;-4e<-

I flof(~. +)

[q~(z)ll/21dz[+

I

I~(z)lln[dz[

(9)

flof(an -)

This still holds if we replace the last integral by its infimum over all intervals a~ c S~ 05~(/3). We then get, introducing the C-parameter in S,+ and integrating

316

KURT STREBEL

over the ordinates

(a+"+a"-4e)b+"<- I f " " d'd~+b+" inf

f

(S.+) '

flof(~.-)

Iq)(z)ll/2ldff'l

(lO)

But, because b~+ = b2, the last member is not greater than the integral I I " ' " d~ dT1

(11)

(S~-)'

with the same integrand as in (4). We can now sum up over all the strips of the first and the second kind determined by /3 to get Z b . - 4 e y~ b +< - fI""

Hq~lls~

dxdy

(12)

5e(13)

with the same integrand as in (5). But 2e )--"bn + 4 e ~, b + <-2eb, with b = 1/31 the q>length of /3. Inequality (12) is applied to all the spiral sets of the intervals/3ik, or rather to the differences, in some fixed ordering, as for the horizontal strips (but of course, here we only have finitely many of them). We get for the integral over the set u

~e(/30: II~011u~,(.,)-2eB <- f f " " dxdy

(13)

u 5~

with the same integrand as in (5). Now, for fixed C, the e in this inequality can be made arbitrarily small, by proper subdivision of the fixed vertical intervals /3~. Therefore, the e-term in (13) can be cancelled.

16. We still have to do the same thing for the annuli Ri of the trajectory structure. But this offers no difficulty at all, and we get (see e.g. [9], theorem 1, p. 535).

II-

(14)

u~

Summing up (6), (13) (without the e-term) and (14) we get, as the annuli,

On quasiconformalmappingsof open Riemann surfaces

317

horizontal strips and spiral sets together cover C up to at most a null set, the inequality

I--E <- I~p(z)['/2[q~(z)l~/2 pp~+glq~+(qpl+Oql) ~

dxdy,

(15)

R which is now true for arbitrary e > 0 . Therefore, the e-term in (15) can be dropped. 17. We have to remember that p and q have to be evaluated at the point z, whereas pl and q~ at the point w = f ( z ) , and that 2 =fl(w). In order to compute the integral in (15) we introduce the Jacobians J ( w / z ) = I p ( z ) 1 2 - 1 q ( z ) l 2,

J ( ~ / w ) = l p l ( w ) 1 2 - t q , ( w ) l 2.

We get, as in ([2], p. 378), the inequality

~(z)

IPP, + gtql+ (qPl + Oq,) [-~] ] | ~ If[~(ff.)ll/ajl/2(ff./w)Jl/2(W/Z)]~(z)[l/2

j(~/w)l/2j(w/z)l/2

dx dy

R Applying the Schwarz inequality and using /'r ~r 11 ]q~(~)t J(2/w)J(w/z)dx d y = 1/1~(~)[ d$ R R

dg=l

we get

+-

, ~(z)12

l <-IIko(z)l lPP' +glq' +(qPl Pq"lq~(z)[ ] dxdy. (Ipl 2 -tql2)(Ipd z -Iq,I 2) R

Replacing q~ by -q~ (which is equivalent to working with the vertical trajectories of ~r rather than with the horizontal ones) gives the inequality (1.2.7), p. 378 of [2]. Inequalities (1.2.8), (1.5.1) and (1.2.11) are simple transformations.

w Applications

18. The

main inequality has some almost immediate consequences, proved in [2], [7] and [8], which can now be generalized to arbitrary hyperbolic Riemann

318

KURTSTREBEL

surfaces. The first one, where one needs the unabbreviated form of the inequality, is the generalization of the unique extremality of Teichmiiller mappings associated with quadratic differentials of finite norm (see [3], where the theorem was first proved for the disk). T H E O R E M 4. [Unique extremality]. Let [: R ~ R' be a Teichmiiller mapping, i.e. a mapping with a complex dilatation of the form K = k ~o/Iq~t, 0 < k < 1, and let the quadratic differential ~o be holomorphic and of finite norm. Then, every quasicon[ormal mapping [:R---~R',[#[, which is homotopic to 1c modulo the boundary has a maximal dilatation/~ > K = (1 + k)/(1 - k). The proof is as in [2], p. 380. The second consequence is the sufficiency of R. S. Hamiltons necessary condition for a quasiconformal mapping to be extremal. T H E O R E M 5. [Sufficient condition for extremality]. Let R and R' be hyperbolic Riemann surfaces. Let ]:: R---~ R' be a quasicon[ormal homeomorphism of R onto R', with complex dilatation K, k = IIKIL. I/

sup l[~Kq~dxdyl= k, tl,ptl=x R

then every quasicon[ormal mapping [ : R--} R ' which is homotopic to [ modulo the boundary has a maximal dilatation K >- K = (1 + k)/(1 - k), i.e. [ is extremal in its class. Proof. (See also [2], p. 381): For the proof we only need the main inequality in the form (1), where Ko is now the smallest maximal dilatation in the class defined by f. We define a Hamilton sequence for the complex dilatation K to be a sequence of holomorphic quadratic differentials ~, on R of fform tko,ll= 1 and such that limffK~o, d x d y = k .

n..-.oo

(16)

R

By assumption there exists such a sequence for the complex dilatation K of f. We

get

-Ko -1~ 1'2-1k 2 fl I~o.It I+IKI~-2ReK R

2Re jr d x d y ~1+k2 1- -- k s 1 - k 2 Kq~. dx ay.

On quasiconformalmappings of open Riemann surfaces

319

As tS~RKq~, dx dyl <- k, it follows from (16) that the last term of the inequality tends to 2k/(1 - k2). Thus 1

1-k

1

Ko

l+k

K'

proving the theorem. A Hamilton sequence (q~n) is called degenerating if it tends to zero locally uniformly in R. For such a sequence, there is a variant of T h e o r e m 5, where only the dilatation in the neighborhood of the boundary comes in. T H E O R E M 6. Let there exist a degenerating Hamilton sequence (q~,) for the complex dilatation K of[. Let t e ~ and C c R compact. Then K <- 11, where t2I is the maximal dilatation of f t ( R \ C). A s this is true for every f e ~ and every compact subset C of R, it is also true for the infimum H = inf { / 4 ; / ~ ,~, C c R, C compact}. The proof is the same as in [8], p. 467, following an idea due to E. Reich.

19. The next theorems need both, the necessity and sufficiency part of theorem 5. T H E O R E M 7. [Existence of Teichmiiller mappings]. Let :~ be a family of quasiconformal homeomorphisms of R onto R' which are homotopic modulo the boundary. Let fo with maximal dilatation K o > 1 be extremal in ~ (there always exists an extremal mapping in ~;). If there exists a quasiconformal mapping t ~ which has a maximal dilatation ISI < Ko in some neighborhood of OR, then fo is a Teichmiiller mapping associated with a holomorphic quadratic differential q~ of finite norm and hence is unique extremal.

Proof. The complex dilatation ro of /Co does not admit any degenerating Hamilton sequence. It is therefore of the form ro = k0 ko--- (Ko- 1)/(Ko + 1). (For details see [8], theorem 1.) Corollary. Let there exist, to every e > O, a quasiconformal homeomorphism f e ~: and a compact set C c R such that the maximal dilatation ISI of the restriction of f to R \ C is smaller than 1 + e. Then the family ~; contains a unique extremal element, which is either conformal or a Teichmiiller mapping associated with a holomorphic quadratic differential of finite norm.

320

KURT STREBEL

Proof. T h e r e is an extremal element fo ~ ~. If Ko = 1, fo is conformal and of course unique. If Ko > 1, theorem 7 applies. The next theorem shows that there are, in every class ~;, Teichmiiller mappings associated with quadratic differentials of finite norm with at most one (first order) pole and with a dilatation which is arbitrarily close to the maximal dilatation Ko of the extremal mappings in ~: (see also [8], theorem 7, p. 479). To this end, let P be an arbitrary fixed point of R. We call the set V(P) c R' of images of P by the extremal mappings f e ~ the set of variation of P:

V(P) = {P' = f(P); f extremal in ~}. T h e set V(P) is compact, because the subfamily of all extremal mappings of ~: is normal. Pick an extremal mapping fo e ~ which maps P onto a boundary point P~ of V(P). Choose a neighborhood U of P. T h e r e are points P'~ V(P) in U ' = fo(U), arbitrarily close to P~. Let f be a qc mapping which agrees with fo outside of U and takes P into P'. It defines a certain h o m o t o p y class ~ of mappings of the surface R = R \ { P } onto the surface R ' = R ' \ { P ' } . Clearly, the smallest maximal dilatation /~o of the mappings in ~ is greater than Ko, for all points sufficiently close to P~, and tends to Ko for P'---~P~. On the other hand, we can find a mapping g e ~ which is conformal in a small neighborhood Uo c U of P and agrees with fo outside of U. The set C = U \ Uo is compact on R and the maximal dilatation of g on R \ C is not greater than Ko. Applying theorem 7 to the class ~ we get the desired result: T H E O R E M 8. Let ~; be a class of qc mappings of R onto R' which are homotopic modulo the boundary. Let Ko be the smallest maximal dilatation of the mappings in ~;. Then there are TeichmfiUer mappings in ~;, associated with quadratic differentials of finite norm and with at most one simple pole, the dilatation of which is arbitrarily close to Ko.

REFERENCES

[1] HAMILTON,R. S., Extremal quasiconformal mappings with prescribed boundary values. Trans. Amer. Math. Soc. 138 (1969), 399-406. [2] REICH, E. and STg~BEL,K., Extremal quasiconformal mappings with given boundary values. Contributions to Analysis. A Collection of Papers Dedicated to Lipman Bers, Academic Press (1974) 375-391. [3] S'r~BEL, K., Zur Frage tier Eindeutigkeit extremaler quasikonformer Abbildungen des Einheitskreises II, Comment. Math. Helv. 39 (1964) 77-89.

On quasiconformal mappings of open Riemann surfaces

321

[4] STREBEL, K., Quadratische Differentiale mit divergierenden Trajektorien. Topics in Analysis. Springer Lecture Notes 419 (1973) 352-369. [5] STREBEL, K., On the trajectory structure of quadratic differentials. Discontinuous Groups and Riemann surfaces. Annals of Math. Studies 79 (1974) 419-438. [6] STREBEL,K., On the geometry of the metric induced by a quadratic differential I and II. Bulletin de la soci6t6 des sciences et des lettres de ~Sd~, Vol. XXV, 2 and 3 (1975). [7] STREBEL,K., On quadratic differentials and extremal quasiconformal mappings. Proceedings of the International Congress of Mathematicians, Vancouver 1974. [8] STREBEL, K., On the existence of extremal TeichmiJller mappings. Journal d'Analyse Math. 30 (1976) 464-480. [9] STREBEL,K., On quadratic differentials with closed trajectories on open Riemann surfaces. Ann. Acad. Sci. Fen. Vol. 2 (1976) 533-551. Received August 18, 1977