PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE

TEOR IA GEOMETRICA DE FUNCIONES

A P U N T E S S E M I N A R I O

Martin Chuaqui

Santiago de Chile Oto no 2007

ii

Prefacio
Estos apuntes se basan en el seminario introductorio de Teor a Geom etrica de Funciones impartido por el profesor Mart n Chuaqui el a no 2007 en la Ponticia Universidad Cat olica de Chile (PUC). El curso estaba dirigido a estudiantes de postgrado que comenzar an su trabajo de graduaci on. En el primer cap tulo encontrar a la construcci on de m etricas hiperb olicas para dominios simplemente conexos distintos del plano complejo y para dominios cubiertos por el disco unitario. Se naliza con la prueba del Lema de Ahlfors que es una generalizaci on del famoso lema de Schwarz. El siguiente cap tulo es un barniz en resultados de funciones univalentes en el disco unitario. Abordaremos la conjetura de Bieberbach junto con los cl asicos resultados de crecimiento y distorsi on para funciones univalentes. En el cap tulo 3 deniremos la derivada Schwarziana y examinaremos su relaci on con las funciones univalentes. Veremos el importante teorema de Sturm de ecuaciones diferenciales ordinarias que permite comparar la frecuencia de los ceros de soluciones, para adaptarlo al caso anal tico y nalizaremos con el p-criterio de Nehari. Los manuscritos originales est an formados por los apuntes de Rodrigo Vargas alumno de mag ster de la PUC. Los apuntes fueron complementados por las notas del profesor Mart n Chuaqui preparadas para el IV Simposio Chileno de Matem aticas. Se han incluido problemas propuestos que fueron incluidos como tareas durante el desarrollo del seminario.

iii

iv

 Indice general
1. La m etrica hiperb olica 1.1. Introducci on . . . . . . . . . . . . . . . . . . . . . . . 1.2. M etricas conformes en dominios C . . . . . . . . 1.3. El concepto de pull-back . . . . . . . . . . . . . . . . 1.4. M etrica hiperb olica en dominios simplemente conexos tos de C . . . . . . . . . . . . . . . . . . . . . . . . . 1.5. M etrica hiperb olica en dominios cubiertos por D . . . 1.6. El Lema de Ahlfors . . . . . . . . . . . . . . . . . . . 1.7. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 1 1 2 4

. . . . . . . . . . . . distin. . . . . . . . . . . . . . . .

. . .

. 5 . 7 . 9 . 11

2. Funciones Univalentes 15 2.1. La Clase S . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 2.2. Teoremas de distorsi on y crecimiento . . . . . . . . . . . . . . 21 2.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 3. La Derivada Schwarziana 3.1. Deniciones y Propiedades B asicas 3.2. La Ecuaci on Lineal y Univalencia . 3.3. La Schwarziana y la clase S . . . . 3.4. Teoremas de comparaci on de Sturm 3.5. Adaptaci on al caso Anal tico . . . . 3.6. Aplicaciones del TCC . . . . . . . . 3.7. El p-criterio de Nehari . . . . . . . 3.8. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 25 29 30 32 34 36 41 46

4. Funciones Cuasiconformes y Cuasidiscos 49 4.1. Deniones B asicas . . . . . . . . . . . . . . . . . . . . . . . . 49 4.2. Criterios de Univalencia y Extensiones Cuasiconformes . . . . 52 4.3. Cuasidiscos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53

vi

INDICE GENERAL

Cap tulo 1 La m etrica hiperb olica

El Lema de Schwarz es uno de los resultados m as simple y bello en toda la teor a de funciones complejas. Gracias en parte a la geometrizaci on de Lars Ahlfors de la demostraci on, el Lema de Schwarz asume un rol central y poderoso en la geometr a compleja. Ahlfors demuestra que el Lema de Schwarz se puede interpretar en t erminos de curvatura. En este cap tulo veremos el Lema de Schwarz y exploraremos la generalizaci on de Ahlfors introduciendo m etricas conformes.

1.1.

Introducci on
T (z ) =

az + b cz + d se llama una transformaci on de M obius. En muchos casos esta transformaci on 2 2 se piensa como una aplicaci on de la esfera S en S , con los convenios obvios relativos al punto . Lema 1.1 (Lema de Schwarz). Sea f : D D anal tica con f (0) = 0. Entonces |f (0)| 1 y |f (z )| |z | en D. Hay desigualdad estricta en ambas estimaciones a no ser que f sea una rotaci on del disco: f (z ) = ei z . Parte de la conclusi on es que f es una rotaci on, o bien f acerca cada z D \ {0} al origen m as de lo que inicialmente estaba. Es posible obtener muchas variantes del lema de Schwartz, como el lema de Schwartz-Pick (ver ejercicio 1.2), con la ayuda de los automorsmos de D, para cada D denimos z+ T (z ) = . 1 + z 1

Si a, b, c y d son n umeros complejos tales que ad bc = 1, la aplicaci on

T opicos en Teor a Geom etrica de Funciones - Martin Chuaqui

1.2.

M etricas conformes en dominios C

Dados dos puntos z, w contenidos en el plano complejo, denimos la distancia euclideana como el nmo de los largos de todas las curvas que unen z con w , esto es de (z, w ) = nf
z,w

ds .

Similarmente podemos denir una M etrica Euclideana Interna de un dominio como el nmo de todos los largos de curvas contenidas en que unen dos puntos dados: d, e (z, w ) =
z,w ()

nf

ds

Pensamos en otro modelo donde existe un factor conforme ( ) > 0 denido en que induce la m etrica d (z, w ) = nf ( ) d

z,w ()

Hay una sutiliza unida con la manera de denir distancia. Si ( ) 1, la m etrica Euclideana, y si es el plano complejo, entonces d (z, w ) es la distancia euclideana ordinaria entre los puntos z y w . La curva peque na desde z a w en este sentido es el segmento recto usual. Pero si , z y w son como en la siguiente gura

entonces no hay curva m nima en uniendo z y w . La distancia de z a w est a en la curva punteada, pero note que esta curva no est a en . El asunto crucial aqu es si el dominio es completo en la m etrica. Sea R2 un dominio con m etrica (z ) = |dz | = e(z ) |dz | . Sea un geod esica que une z1 con z2 en . Vamos a suponer que es de clase C 2 .

Cap tulo 1. La m etrica Hiperb olica

Sea = (s) una parametrizaci on por arcoparametro, t = (s). Por las ecuaciones de Frenet-Serret dt = n ds donde es la curvatura de la curva . Vamos a considerar variaciones (s) = (s) + h(s)n(s) con h(0) = h(L) = 0, entonces L ( ) =

e |dz | L ( ) = L (0 ),

(0 , 0)

obteniendo que d d

d d
L 0

L ( ) = 0 y
=0

e( (s)) | (s)|ds =

Ahora bien, la derivada de la variaci on y la norma de la derivada son

(s) = t(s) + h (s)n(s) h(s)(s)t(s) = (1 h)t + h n | | = (1 h)2 + 2 (h )2 = 1 2h + 2 (h2 2 + (h )2 .

d ( (s)) e d d = e( (s)) (e( (s)) ) d = e( (s)) ( (s)) h(s)n .

Notemos que d d
=0

2 | | = 2h(s)(s) = 2| |=0

d d

=0

(| |) = 2

d d

=0

(| |)

lo que implica d d Por lo tanto

L 0 =0 (| |) = h(s)(s) .

e( (s)) h(s) n e( (s)) h(s)(s) ds = 0

L 0

e( (s)) h(s)[ n (s)]ds = 0

como h(s) es arbitrario (salvo h(0) = h(L) = 0) se tiene la igualdad que es llamada la ecuaci on de equilibrio. n = (s) (1.1)

T opicos en Teor a Geom etrica de Funciones - Martin Chuaqui

1.3.

El concepto de pull-back

Hablaremos de este concepto en el contexto de m etricas conformes, en el plano y transformaciones conformes (anal ticas). Buscamos una m etrica (z ) e |dz | con la propiedad de que d (z1 , z2 ) = d (f (z1 ), f (z2 )) Si se quiere (1.2) obtenemos que d (f (z1 ), f (z2 )) |f (z2 ) f (z1 )| d (z1 , z2 ) = |z2 z1 | |z2 z1 | |f (z2 ) f (z1 )| e(z ) = e(f (z )) |f (z )| (1.3) (1.2)

se deduce entonces que

la llamada m etrica pull-back y la cual denotaremos por e(z ) |dz | = f (e(w) |dw |). Denici on 1.1. La M etrica de Hiperb olica (Poincar e) en D es denida por e(z ) |dz | = |dz | . 1 |z |2

Sabemos que el lema de Schwarz dice que si f : D D es anal tica entonces | f (z )| 1 2 1 | f (z )| 1 |z |2 con igualdad en alg un punto distinto de cero si y s olo si f = T es una transformaci on de M obius (en cuyo caso hay igualdad en todas partes). En otras palabras, tenemos que f Notemos que |dw | 1 |w |2 |dz | . 1 |z |2

lh (f ( )) =

|dw | 2 f ( ) 1 |w | |dw | = f 1 |w |2 |dz | 2 1 |z | = lh ( )

luego cuando f = T es una transformaci on de M obius entonces los largos hip erbolicos de curvas son preservados.

Cap tulo 1. La m etrica Hiperb olica

1.4.

M etrica hiperb olica en dominios simplemente conexos distintos de C

Sea un dominio simplemente conexo distinto de C entonces existe un mapeo de Riemann f : D , el cual es u nico salvo por automorsmos del disco D. Denici on 1.2. Se dene la m etrica hiperb olica en como g |dz | 1 |z |2 .

Ejemplo 1.1. Sea = H = {z C : Im z > 0} el semi plano superior y consideremos g : H D inversa de un mapeo de Riemann dado por: g (w ) = con g (w ) = 2i wi =1 w+i w+1 2i (w + i)2

entonces la m etrica hiperb olica de H es | g (w )| |w +i|2 = (w ) = 2 i 2 1 | g (w )| 1 w w +i 2 = 2 |w + i| |w i|2 2 = |w |2 + 1 + 2Re{wi} |w |2 1 + 2Re{wi} 1 1 = = . 2Im{w } 2Re{wi} Teorema 1.1. Si 1 2 son simplemente conexos, entonces 2 (w ) 1 (w ) , w 1 .
2

Si hay igualdad en un punto entonces 1 = 2 Demostraci on: Sean f, g son mapeos de Riemann de D en 1 , 2 , respectivamente con f (0) = g (0) = w0 . Notemos que (f (z ))|f (z )| = 1 1 ( w ) = . 0 1 |z |2 |f (0)|

T opicos en Teor a Geom etrica de Funciones - Martin Chuaqui

Sea h = f 1 g : D D, h(0) = 0 entonces por Lema de Schwartz |h (0)| 1, entonces 1 h (0) = (f 1 ) (g (0))g (0) = g (0) f (0) luego 1 |f (0)| = 2 (w 0 ) 1 |g (0)| = 1 (w 0 ) .

Por otro lado, igualdad en un punto w0 implica por el Lema de Schwarz que h(z ) = ei z y h es sobre, se concluye que g (D) = 2 = 1 . Corolario 1.1. Sea simplemente conexo, entonces (w ) donde d (w ) = dist(w, ) Demostraci on: La densidad hiperb olica en D (z0 , r ) es (z ) = r2 r . |z z0 |2 1 d (w )

Dado w0 consideremos D = D (w0 , d (w0 )) el disco de centro en w0 y radio la distancia de w0 a la frontera de w0

claramente tenemos que D y por el teorema anterior obtenemos que (w 0 ) D (w 0 ) = 1 . d (w 0 )

Cap tulo 1. La m etrica Hiperb olica

1.5.

M etrica hiperb olica en dominios cubiertos por D

En resumidas cuentas, existe una densidad (w ) bien denida tal que bajo cualquier inversa local (p 1 ) |dz | 1 |z |2 = (w )|dw | p (p1 ) |dz | 1 |z |2 = p ((w )|dw |) .

Todo subdominio C es cubierto por D, con la excepci on de = C z {0}, que es cubierto por C mediante z e . Podemos usar los recubrimientos p(z ) para denir una m etrica hiperb olica en , como la m etrica esta denida en D habr a que tra ersela de vuelta a por la inversade p. No hay inversa global, si m ultiples inversas locales. Pero distintas inversas locales dieren entre si en un elemento de G Aut(D), que es una isometr a hiperb olica. Luego, |dz | |dz | 1 1 (p = (p . 0 ) 1 ) 2 1 |z | 1 |z |2

Se puede probar que si h : 1 2 , g : 2 3 tal que h = 0, g = 0 y en 3 : e() |d |, entonces h (g (e |d |)) = (g h) (e |d |) , por lo que p ((w )|dw |) = |dz | . 1 |z |2

Ejemplo 1.2. Sea = {z C : 0 < |z | < 1} podemos hallar una m etrica hiperb olica para este dominio. Considere la aplicaci on exponencial denida en el dominio {z C : Re z < 0} sobre . y w=e
z

x 1 4 0

T opicos en Teor a Geom etrica de Funciones - Martin Chuaqui

1 Entonces basta hallar (w )|dw | de modo que p ((w )|dw |) = esto 2Re {z } es 1 1 (ez )|ez | = (w )| w | = 2x 2 log |w | por lo que (w ) = 1 2|w | log
1 |w |

Denici on 1.3. Todo dominio equivalente a o cubierto por D se dira hiperb olico. Teorema 1.2. Sea f : 1 2 anal tica localmente univalente. Entonces f ( 2 (w )|dw |) 2 (z )|dz | . Demostraci on: Si p : D 1 y q : D 2 son recubrimientos entonces, existe un levantamiento F : D D que hace que el diagrama conmute D
p F

D
q

? f

1 es decir, f p = q F . Entonces

(f p) (2 (w )|dw |) = (q F ) (2 (w )|dw |) p (f (2 (w )|dw |)) = F (q (2 (w )|dw |)) |d | 2 (f (z ))|f (z )||dz |)) = F 1 | |2 |d | 2 (f (p( )))|f (p( ))||p( )||d |)) = p (1 (z )|dz |) = 1 (p( ))|p( )||d | 1 | |2 2 (f (p( )))|f (p( ))| 1 (p( )) 2 (f (z ))|f (z )| 1 (z ) f (2 (w )|dw |) 1 (z )|dz |

Cap tulo 1. La m etrica Hiperb olica

1.6.

El Lema de Ahlfors

Un hecho bien sabido es que la curvatura Gaussiana de una m etrica e |dz | viene dada por: K = e2 . Lema 1.2. En D, tenemos |dz | y la curvatura gaussiana es 4 1 |z |2 (1.4)

Demostraci on: Tenemos que = log(1 x2 y 2 ) = log(1 |z |2 ) = log(1 r 2 ) . Recordemos que 1 = z 2 entonces = 4z z [log(1 zz )] = 4z z 1 zz (1 zz )1 z (z ) 4 = = 4e2 = 4 2 (1 zz ) (1 |z |2 )2 i x y , 1 = z 2 +i x y

de donde se obtiene que K = e2 4 .

Teorema 1.3. Sea f : 1 2 anal tica con f = 0, sea e(w) |dw | una m etrica en 2 y e(z ) |dz | = f (e(w) |dw |) . Entonces, K(z ) = K (f (z )) . Demostraci on: Sabemos que: e(z ) = e(f (z )) |f (z )| entonces 1 1 (z ) = (f (z )) + log|f (z )| = (f (z )) + logf (z ) + logf (z ) 2 2

10 luego

T opicos en Teor a Geom etrica de Funciones - Martin Chuaqui

z ((z )) = = = = z = por lo tanto

z ( (f (z ))) 4z z (f (z )) 4z [w f + w 0] 4[ww 0 + ww f ]f w |f |2

K = e2 z = e2 |f |2 w |f |2 = e2 w = K . Lema 1.3 (Lema de Ahlfors). Sea e |dz | una m etrica en D con K 4. Entonces, 1 . e(z ) 1 |z |2 Demostraci on: Por demostrar (z ) log(1 |z |2 ), es decir, que (z ) + log(1 |z |2 ) 0 . Supongamos que existe m aximo interior en z0 , entonces |z =z0 ( + log(1 |z |2 )) 0 = K e2(z0 ) + Kh 1 0 (1 |z0 |2 )2 1 = K e2(z0 ) 4 (1 |z0 |2 )2 1 . = e2(z0 ) (1 |z0 |2 )2

Sea Dr = {z : |z | < r < 1}, vamos a probar que r e 2 , z Dr . r |z |2 La funci on e es regular en Dr , esto garantiza que la funci on h(z ) = (z ) log r2 r |z |2

tiene un m aximo interior z0 Dr (ya que cerca Dr , h(z ) cuando |z | r ). El mismo c alculo que hicimos al suponer que exist a m aximo interior muestra que 2 r e2(z0 ) . r 2 |z0 |2

Cap tulo 1. La m etrica Hiperb olica Entonces h(z0 ) 0. Ahora veremos que e(z ) Para cada r (|z |, 1) se tiene e(z ) 1 r (z ) = e . r 2 |z |2 1 |z |2 1 , 1 |z |2 z D .

11

Teorema 1.4. Sean 1 2 dominios hiperb olicos. Entonces 2 (z ) 1 (z ), z 1 . |d | y que 1 | |2

Demostraci on: Sabemos que p 1 (1 (z )|dz |) =

K [p (2 (z )|dz |)] = K (2 (z )|dz |) = 4 4 . Por el Lema de Ahlfors p (2 (z )|dz |) |d | = p (1 (z )|dz |) = 2 (z ) 1 (z ), 1 | |2 z 1 .

Corolario 1.2. Si es hiperb olico entonces (z ) 1 . d (z )

1.7.

Ejercicios

1.1. Sea f : D D anal tica tal que f (0) = 0 y f no es una rotaci on, es i n decir, f (z ) = e z . Demostrar que fn (z ) = f (z ) = (f ... f )(z ) 0 localmente uniforme. 1.2. Usar composici on con M obius para probar que si f : D D entonces (a) 1 f (z0 )f (z ) f (z ) f (z0 ) z z0 , 1 z0 z

12 (b)

T opicos en Teor a Geom etrica de Funciones - Martin Chuaqui

|f (z0 )| 1 . 1 |f (z0 )|2 1 |z0 |2

Si hay igualdad en (a) para alg un z = z0 o en (b) para alg un z0 entonces f es M obius y se tendr a igualdad en (a) y (b) para todo z, z0 . 1.3. Determinar condiciones necesarias y sucientes para que una transformaci on anal tica f : 1 C no incremente la distancia euclideana. Es suciente esta condici on? 1.4. Demostrar que d (z2 , z1 ) = e(z1 ) . z2 z1 |z2 z1 | l m 1.5. Probar que bajo pull-back se preservan largos de curvas: e(z ) |dz | = e(z ) |dz | .

f ()

1.6. Probar que para cada z1 , z2 D existe T Aut(D) tal que T (z1 ) = 0, T (z2 ) (0, 1). 1.7. Probar que dh (0, a) se realiza cuando 0,a (D) se toma como = [0, a] (Hint: Dada una curva = (t), escribala en coordenadas polares (t) = r (t)ei(t) .) 1.8. Calcular dh (z1 , z2 ). 1.9. Demostrar que si g1 , g2 son inversas de dos mapeos de Riemann, entonces
g1

|dz | 1 |z |2

= g2

|dz | 1 |z |2

1.10. Calcular la densidad de Poincare en una franja paralela. 1.11. Qu e pasa si hay igualdad en: (w ) = con simplemente conexo? 1.12. Demuestre que la densidad hiperb olica en D (z0 , r ) es (z ) = r2 r . |z z0 |2 1 d (w )

Cap tulo 1. La m etrica Hiperb olica 1.13. Demuestre que si es convexo, entonces (w ) 1 . 2 d (w )

13

1.14. Sean h : 1 2 , g : 2 3 , h = 0, g = 0 y en 3 : e() |d |. Probar que: h (g (e |d |)) = (g h) (e |d |) . 1.15. Calcular (w )|dw | para: (b) = {w C | Re w, Im w > 0}. 1.16. Demuestre que dos anillos {a < |z | < b} y {A < |z | < B } son equivalentes en el sentido anal tico (es decir, existe f anal tica biyectiva entre uno y otro) si y s olo si B/A = b/a. 1.17. Pruebe que f = u + iv satisface las ecuaciones de Cauchy-Riemann si y f f = 0. En este caso, = f (z ). s olo si z z 1.18. Sean w = f (z ), = g (w ) = g (f (z )). Probar que: g w g w = + , z w z w z g w g w = + . z w z w z 1.19. Pruebe que = 4z z . 1.20. En R2 considere |dz | . Probar que K 4. 1 + |z |2 (a) = {w C | 1 < |w | < R},

1.21. Demuestre que la (inversa) de la proyecci on esterogr aca es conforme y la m etrica anterior corresponde a traerse de la esfera unitaria de vuelta la m etrica euclideana de R3 restringuida a la esfera. 1.22. Deducir del Lema de Ahlfors como corolario el Lema de Schwarz para el caso de f : D D con f = 0.

14

T opicos en Teor a Geom etrica de Funciones - Martin Chuaqui

Cap tulo 2 Funciones Univalentes

La teor a de funciones univalentes en dominios simplemente conexos distintos de C es un t opico que ha sido sujeto de estudio en el u ltimo siglo. En virtud del teorema del mapeo de Riemann, es suciente estudiar muchas cuestiones que involucran univalencia en el disco unitario antes que sobre un dominio simplemente conexo general.

2.1.

La Clase S

Denici on 2.1. Sean C un dominio y f : C una funci on anal tica. Decimos que f es univalente en si f (z1 ) = f (z2 ) cuando z1 y z2 son puntos en con z1 = z2 . Introducimos la clase S dada por S = {f : D C | f es univalente y f (0) = 0, f (0) = 1}. Si f es cualquier funci on univalente en D y g (z ) = (f (z ) f (0))/f (0), entonces g S , as el estudio de la clase S proporciona informaci on acerca de cualquier funci on univalente en D. Una funci on f en la clase S tiene un desarrollo en serie de potencias de la forma f (z ) = z + a2 z 2 + . . . + an z n + . . . , z D. Uno de los problemas centrales en este tema fue la famosa conjetura de Bieberbach. Guiado por el ejemplo de una funci on extremal (la funci on de Koebe), Bieberbach pregunt o en 1916 si |an | n 15

16

T opicos en Teor a Geom etrica de Funciones - Martin Chuaqui

para todo n. La funci on de Koebe, que veremos con alguna frecuencia en este cap tulo viene dada por k (z ) = z = z + 2z 2 + + nz n + , 2 (1 z )

y es extremal en varios aspectos. La conjetura de Bieberbach motiv o gran inter es, y permiti o el desarrollo de importantes t ecnicas en la Teor a Geom etrica de Funciones. Este problema fue nalmente resuelto armativamente en 1985 por L. des Branges, en una celebrada demostraci on. Algunas de las t ecnicas desarrolladas fueron: el m etodo param etrico de Loewner el m etodo de Milin y FitzGerald de exponenciaci on de las desigualdades de Grunsky, el m etodo de Baerstein de funciones maximales, y los importantes m etodos variacionales. Con varios de estos m etodos es posible establecer |an | < en, |an | < 1, 243n, |an | < 7/6n, e |an | < n. 2

Hist oricamente, |a2 | 2 fue la primera en demostrarse. En 1923 Loewner prob o que |a3 | 3 usando su m etodo param etrico y m as de treinta a nos m as tarde, en 1955 |a4 | 4 fue demostrada por Garabedian y Schier. La clase S no es cerrada bajo la adici on y la multiplicaci on, sin embargo es invariante o cerrada bajo una de serie de transformaciones: i) Conjugaci on: Si f S entonces g (z ) = f (z ) = z + a2 z 2 + . . . + an z n + . . . S . ii) Rotaci on: Si f S entonces g (z ) = ei f (ei z ) S . iii) Dilataci on: 1 Si f S entonces g (z ) = f (rz ) S para todo 0 < r 1. r

iv) Ra z Cuadrada: Si f S entonces g (z ) = v) Valor Omitido:

f (z 2 ) S .

Si f S y w / f (D) entonces g (z ) =

wf (z ) S. w f (z )

Cap tulo 2. Funciones Univalentes vi) Transformaci on de Koebe: Si f S para cada |a| < 1 g (z ) =
z +a f 1+ f (a) az S. (1 |a|2 )f (a)

17

Intimamente ligada a la clase S est a la clase que consiste en todas las funciones g univalentes en el complemento = {|z | > 1} normalizadas de modo que g (z ) = z + b0 + b1 z 1 + b2 z 2 + ... . As , g () = es un polo simple con residuo 1. Cada f S produce una g v a la inversi on g (z ) = 1 f
1 z

Sin embargo, la funci on g as denida no asume el valor 0, lo cual resulta una condici on necesaria para poder denir f S en t erminos de una g . Observaci on 2.1. Si consideramos = {h : 0 h()} Se tiene que si g f (z ) =
1 g (1/z )

La univalencia de g impone una severa restricci on sobre los coecientes bn en su desarrollo de Laurent. Teorema 2.1 (Teorema del Area). Si g entonces
n=1

n|bn |2 1.

Este teorema es original de Gronwall (1914) Demostraci on. Sea E el conjunto omitido por g . Para r > 1 sea Cr = g ({z : |z | = r }). Dado que g es univalente, Cr es una curva cerrada simple que encierra un conjunto Er que contiene a E , entonces el area encerrada por la curva Cr cumple que A(r ) > 0.

18

T opicos en Teor a Geom etrica de Funciones - Martin Chuaqui

Cr g

1 r

El terorema de Green establece que el area de Er es A(r ) = = Aqu w = g (rei ), 1 2i r 2 wdw =

g (cr ) 2 i 0

1 2i

g (rei )riei g (rei )d

0

e g (rei )g (rei )d

dw = riei g (rei ) y tenemos que d

k =1

g (z ) = z + b0 + Entonces e g (re
i i

bk z

g (z ) = 1

k =1

kbk z (k+1) .

)g (rei )

k =1

kbk r (k+1) e(k+1)i re

i

+ b0 +

k =1

bk r k eki

ei

k =1

kbk r (k+1) e(k+1)i r + b0 e +

i j =1 2

bj r j e(j +1)i d
0

= r

k =1

k |bk |2 r (2k+1) + algo que tiene

Cap tulo 2. Funciones Univalentes Dado que A(r ) 0, obtenemos que

2

19

k =1

k |bk | r

2 (2k +1)

d 0

k =1

k |bk |2 r r 2k+1

Por lo tanto, haciendo tender r 1 se obtiene el resultado. Corolario 2.1. Si g entonces 1 (a) |bn | n (b) |b1 | 1 con igualdad si y s olo si g (z ) = z + b0 + ei . z

Las funciones con |b1 | = 1 mapean al complemento de un segmento de l nea de largo 1/4. Cuando b1 = 1 y b0 = 2, la funci on g no toma el valor 0, y v a inversi on produce f (z ) = 1 g
1 z

z = k (z ), (1 z )2

la funci on de Koebe. Del Teorema del Area es posible tambi en deducir la primera desigualdad en la Conjetura de Bibierbach. Teorema 2.2 (Bieberbach). Si f S entonces |a2 | 2 con igualdad si y s olo si f (z ) = ei k (ei z ). Demostraci on. Consideremos la funci on impar h(z ) = entonces, g (z ) = 1 h
1 z

f (z 2 )

1 f
1 z2

=z

a2 2

+ ... .

Luego por el corolario del Teorema del area, se tiene que |a2 | 2. Si hay igualdad entonces ei g (z ) = z . z

20

T opicos en Teor a Geom etrica de Funciones - Martin Chuaqui

1 Un importante corolario de esta desigualdad es el Teorema 4 de Koebe, 1 que establece qe toda f S cubre al menos un disco de radio 4 centrado en el origen. El resultado original de Koebe demostraba el teorema para un cierto > 0 jo pero que no determino (1907). M as tarde fue Bieberbach . qui en prob o el teorema para el valor optimo de = 1 4

Teorema 2.3 ( 1 de Koebe). La imagen de toda f S contiene el disco 4 1 }. {|w | < 4 Demostraci on. Vamos a probar que si w0 / f (D) entonces |w0 | 1/4. Sea w0 / f (D) y consideremos h(z ) = w 0 f (z ) f (z ) f (z ) f (z )2 + ... . = = f ( z ) 1 + + 2 (z ) w 0 f (z ) w0 w0 1 fw 0 1 w0

Entonces, a2 (h) = a2 (f ) +

1 1 1 1 |a2 (f )| a2 (f ) + 2 |a2 (f )| + 2 4 |w0 | . |w0 | w0 |w0 | 4 Si existe w0 / f (D) con |w0| = 1/4 entonces f es rotaci on de Koebe. Teorema 2.4. Sea simplemente conexo, = C. Entonces (z ) 1 . 4 d (z )

Demostraci on. Sea f : D , f (0) = z0 entonces f ((z )|dz |) = (f ( ))|f ( )| = Si = 0 entonces (z0 ) = 1 . 1 | |2

1 , por el Teorema de 1/4, f cubre el disco |f (0)| D0 = {z : |z z0 | < } con = |f (0)|, entonces 4 1 1 d (z0 ) (z0 ) = . 4 4d (z0 )

Si hay igualdad en alg un z0 entonces f (z ) = aei k (ei z ) + b .

Cap tulo 2. Funciones Univalentes

21

2.2.

Teoremas de distorsi on y crecimiento

Veremos en esta secci on otras dos consecuencias de la desigualdad | a2 | 2 para la clase S . Teorema 2.5. Si f S entonces f (z ) 2z 4 . 2 f (z ) 1 |z | 1 |z |2 f h(z ) = Entonces h (z ) = 1 f (1 |z0 |2 )f (z0 )
z +z 0 1+z0 z z +z 0 1+z0 z z +z 0 1+z0

Demostraci on. Sea f S , z0 D y consideremos (1 |z0 |2 )f (z0 ) f (z0 ) S. 1 |z0 |2 (1 + z0 z )2

z + z0 1 + z0 z

f h (z ) = h (z ) f

(1 |z0 |2 ) 2z0 2 (1 + z0 z ) 1 + z0 z

h (0) f (z0 ) = (1 |z0 |2 ) 2z0 . h (0) f (z0 ) f (z0 ) 2z0 f (z0 ) 1 |z0 |2 2|z0 |2 f (z0 ) z0 f (z0 ) 1 |z0 |2

Como |a2 (h)| 2 entonces |h (0)| 4, por lo tanto 4 1 |z0 |2 4|z0 | . 1 |z0 |2

Ahora bien, si f S tenemos que 4|z | f (z ) 2| z | 2 Re z 1 |z |2 f (z ) 1 |z |2 2r 2 4r f (z ) Re z 1 r2 f (z ) 4| z | 1 |z |2

Consideremos (r ) = log|f (rei )|, (0) = 0 (r ) = Re{logf (rei )}, entonces 2r 4 2r + 4 i f ( r ) = Re e (rei ) 2 1r f 1 r2

2 r 2 + 4r . 1 r2

22

T opicos en Teor a Geom etrica de Funciones - Martin Chuaqui log 1+r 1r log|f (rei )| log 3 (1 + r ) (1 r )3 (2.1)

Teorema 2.6 (Distorsi on).

Observaci on 2.2.

1 |z | 1 + |z | | f (z )| . 3 (1 + |z |) (1 |z |)3 z (1 z )2 k (z ) = 1+z (1 z )3

k (z ) =

La demostraci on muestra que igualdad en (2.1) en alguna desigualdad para z0 = 0 implica que f es rotaci on de Koebe. Teorema 2.7 (Crecimiento y Cubrimiento). Si f S entonces |z | |z | | f (z )| 2 (1 + |z |) (1 |z |)2

con igualdad en un z = 0 si y s olo si f (z ) = ei k (ei z ). Demostraci on. Tenemos que:

z

f (z ) = f (z ) f (0) =
z

f ( )d
0

| f (z )|

|f ( )||d |

|z | 0

k (x)dx = k (|z |) =

Si hay igualdad en z = 0 debio haber habido igualdad en | f ( )| k (| | )

|z | . (1 |z |)2

para todo [0, z ]. Eso da f (z ) = ei k (ei z ). Sea 0 < r < 1 y consideremos zr con |zr | = r tal que |f (zr )| = m n |f (z )| . y zr r 0 r x
| z | =r

v f (zr )

f 0

Cap tulo 2. Funciones Univalentes Esto garantiza que = [0, f (zr )] f {|z | r } . Sea = f 1 () entonces f (z ) =

23

f ( )d =

| f (z )| =

d =

|d | =

|f ( )||d |

k (| |)|d |

k (|x|)dx = k (|z |)

Observaci on 2.3. Una importante consecuencia de los teoremas de crecimiento y distorsi on es que la clase S es normal en la topolog a de convergencia localmente uniforme. Esto es, dada una sucesi on {fn } en S existe una subsucesi on {fnk } y una f S tal que fnk f localmente uniforme en D. En efecto, los teoremas muestran que las funciones de S y sus derivadas est an localmente, uniformemente acotadas en el disco, por ende S es una familia equicontinua y localmente acotada. El teorema de Arzela-Ascoli garantiza que existen l mites continuos. Pero estos l mites deben ser de hecho anal ticos y debido a la normalizaci on fn (0) = 1, el teorema de Hurwitz garantiza ahora que el l mite tambi en ser a univalente.

2.3.

Ejercicios

2.1. Sea f : C anal tica. Entonces existe n f (z ) bien denida si y s olo si 1 f (z ) dz nZ 2i f (z ) para toda curva cerrada que no pase por ceros de f . 2.2. Demostrar que k (D) es C (, 1/4], donde k es la transformaci on de Koebe. 2.3. Probar que si se tiene igualdad |bn | = resultante no es univalente.
1 n

para alg un n 2 el g (z )

24

T opicos en Teor a Geom etrica de Funciones - Martin Chuaqui ei entonces z

2.4. Probar que si g (z ) = z + b0 +

g () = C {} \ [w1 , w2 ] con |w1 w2 | = 4. 2.5. Probar que efectivamente b1 (g ) = a22 si g (z ) = 1 . 1 f z2

2.6. Si g (z ) = z

ei . Probar que entonces f (z ) es una rotaci on de Koebe. z

2.7. Probar que si f es una rotaci on de Koebe entonces |b1 (g )| = 1.

Cap tulo 3 La Derivada Schwarziana

3.1. Deniciones y Propiedades B asicas

Sea f una funci on anal tica denida en un dominio del plano complejo. Si f = 0 entonces se dene la derivada Schwarziana de f como Sf = f f

1 2

f f

(3.1)

La notaci on cl asica m as com un es {f, z }, que fue introducida por Caley en 1880. El nombre de derivada Schwarziana fue en honor a Schwarz. Existen dos puntos de vista generales de acuerdo a los cuales la Schwarziana se ha desarrollado hist oricamente. Estos puntos de vista est an motivados por un lado por la relaci on de este operador diferencial con las transformaciones de M obius, y por otro, por su conecci on con ecuaciones diferenciales. Nosotros daremos ac a m as enfasis al segundo punto de vista. Primero que nada, si f (z ) = az + b , cz + d ad bc = 1 (3.2)

es una transformaci on de M obius, entonces Sf se anula id enticamente, y vice versa. Recordemos que las transformaciones de M obius pueden ser caracterizados por propiedades globales como la de mapear c rculos en c rculos, o la de ser los u nicos homeomorsmos conformes de la esfera en s . La anulaci on de la Schwarziana resulta por otro lado una caracterizaci on innitesimal. Para demostrar la armaci on anterior vemos que si f es como en (3.2) entonces f (z ) = 1 (cd + d)2 25

26 y luego

T opicos en Teor a Geom etrica de Funciones - Martin Chuaqui

f (z ) 2 = cz + d . Por otro lado se puede demostrar que para f arbitraria

1 d2 1 1 f (z ) 2 = f (z ) 2 Sf (z ) . 2 dz 2

Se deduce de esto que si f es de M obius entonces Sf = 0, y vice versa. M as a un, si f es de M obius se tiene S (f h) = Sh (3.3)

es decir, la Schwarziana es invariante ante tales composiciones por la izquierda. Si se compone con transformaciones de M obius por la derecha se tiene S (h f ) = ((Sh) f )(f )2 . Estas dos ecuaciones son casos particulares de una misma f ormula que calcula la Schwarziana de una composici on arbitraria: S (f g ) = ((Sf ) g )(g )2 + Sg . (3.4)

Llamaremos a esta propiedad la f ormula de adici on de la Schwarziana. Veamos ahora la relaci on con ecuaciones diferenciales. Si u1 , u2 son soluciones linealmente independientes de u + pu = 0 entonces un c alculo directo muestra que la funci on u1 f= u2 satisface Sf = 2p . (3.6) (3.5)

Es decir, para resolver la ecuaci on Sf = 2p basta con tomar el cuociente de dos soluciones linealmente independientes de (3.5). La invariancia dada por (3.3) muestra que la soluci on f no es u nica, por lo menos podemos tomar cualquier T f con T de M obius. Por otro lado, si Sf = Sg = 2p entonces una simple aplicaci on de la f ormula de adici on muestra que S (g f 1 ) = 0, de modo que en efecto g = T f con T de M obius. En conclusi on, dadas las dos soluciones u1 , u2 entonces la funci on m as general que resuelve (3.6) es g= af + b au1 + bu2 = . cf + d cu1 + du2 (3.7)

Cap tulo 3. La derivada Schwarziana Teorema 3.1. Si u1 y u2 son soluciones linealmente independientes de u + pu = 0 , u1 entonces Sf = 2p si y s olo si f = . u2 Demostraci on: Si f = u2u1 u1 u2 c u1 f = = 2 y tenemos que 2 u2 u2 u2 f f

27

f u2 = 2 , f u2

= 2
2

u 2 +2 u2

u2 u2
2

u u2 Sf = 2 2 + 2 u2 u2 u0 = (f )1/2 En efecto, Si

u2 2 u2

= 2p

Rec procamente, sea f con Sf = 2p se puede vericar que satisface u + pu = 0

u 1 f 1 = log u = logf u = (f )1/2 u 2f 2 u + pu + qu = 0

Por otro lado, Si u1 es soluci on de

tomando u2 = c(x)u1 obtenemos que

c u1 + 2c u1 + cu 1 + p(c u1 + cu1 ) + qcu1 = 0

u1 c + (2u1 + pu1 )c = 0

c u1 = 2 p c u1 p

log c = 2logu1 c = 1 e u2 1
p

u2 (x) = u1 (x) Luego, u1 = (f )1/2 u2 = u1 1 dz = u1 u2 1

1 u2 1 (x)

p(x)dx

dx

f dz = u1 f f =

u1 . u2

28

T opicos en Teor a Geom etrica de Funciones - Martin Chuaqui

Ejemplo 3.1. Si Sf 1 , u + 1 u = 0 entonces 2 u1 = sin 1 z , 2 u2 = cos 1 z 2 f (z ) = tan 1 z 2

Sea g (z ) = f (ei z ) entonces Sg (z ) = Sf (ei z )e2i + 0 = e2i . La relaci on de la Schwarziana con la ecuaci on lineal (3.5) no es tan sorprendente si se mira a Sf = f f

1 2

f f

= 2p

como una ecuaci on de Ricatti en y = f /f . As , 1 y y 2 = 2p 2 (3.8)

y es una t ecnica est andar la de transformar una ecuaci on de Ricatti a una lineal de un orden mayor. Si y = f /f es soluci on de (3.8) entonces u = 1/2 (f ) es soluci on de la ecuaci on lineal (3.5). Finalizamos esta secci on con algunas notas hist oricas. El operador diferencial denido en (3.1) apareci o en la literatura por primera vez en un trabajo de Kummer en 1836. El observ o que si u1 , u2 eran soluciones de u + qu + pu = 0 entonces f = u1 /u2 tiene 1 Sf = 2p q 2 q . 2 En lo que Kummer realmente estaba interesado era en la ecuaci on hipergeom etrica z (1 z )u + (c (a + b + 1)z )u abu = 0 . (3.9)

Esta ecuaci on y el estudio de sus soluciones es de mucha importancia en an alisis, dado que es posible reducir muchas otras ecuaciones a esta. Para (3.9) la correspondiente ecuaciones Schwarziana es Sf = 1 2 1 2 1 2 2 2 + + 2z 2 2(1 z 2 ) 2z (1 z ) (3.10)

Cap tulo 3. La derivada Schwarziana

29

donde = 1 c, = c a b, = a b. La ecuaci on hipergeom etrica aparece en el mapeo de Riemann a un tri angulo cuyos lados son arcos de c rculos (o rectas), mapeo cuya Schwarziana vendr a dada por (3.10). M as generalmente, y siguiendo un an alisis similar, se puede considerar la funci on de Riemann a un pol gono cuyos lados son arcos de c rculos. El caso particular de lados rectos lleva a la bien conocida f ormula de Schwarz-Christoel. Un excelente tratamiento de este t opico puede encontrarse en el libro de Nehari, Conformal Mapping (Dover). Dado que el coeciente de u en (3.9) se anula en 0 y 1, es de esperar que las soluciones u sean singulares en tales puntos. Kummer estaba interesado en este aspecto de las soluciones, en particular, el de su continuaci on anal tica alrededor de dichos puntos. Esto lo llev o a considerar ciertos grupos as llamados de monodrom a, grupos de transformaciones de M obius asociados a dichas continuaciones anal ticas. La Schwarziana apareci o entonces de manera natural como un invariante es este estudio. El desarrollo de este problema sigui o con Fuchs, quien en 1886 formul o un problema central: Cu ando son las soluciones (3.9) funciones algebraicas? Esta pregunta fue respondida en 1872 por Schwarz, quien us o su vasto conocimiento de mapeos conformes y continuaci on anal tica, junto con su principio de reexi on recientemente desarrollado.

3.2.

La Ecuaci on Lineal y Univalencia

Sea un dominio en el plano, y sea f una funci on anal tica, localmente univalente en . El siguiente resultado es la caracterizaci on fundamental de univalencoa en t erminos de la Schwarziana. Teorema 3.2. Sea simplemente conexo y sea f : C con f = 0. Entonces f es univalente en si y s olo si la ecuaci on u + 1 (Sf )u = 0 es 2 disconjugada (es decir, toda soluci on no trivial posee a lo m as un cero). Demostraci on: Supongamos que existe u1 = 0 soluci on con u1 (z1 ) = u1 (z2 ) = 0. Sea u2 una segunda soluci on linealmente independiente y consideremos u1 g= u2 (a) (b) g (z1 ) = g (z2 ) = 0 g no 1 1 Sg = 2p = Sf f no 1 1 f (z1 ) = f (z2 ) =

Rec procamente, supongamos que f no es univalente.

30 Pero f =

T opicos en Teor a Geom etrica de Funciones - Martin Chuaqui u1 y tenemos que u2 u(z ) = u1 (z ) u2 (z )

vale 0 en z = z1 y z = z2 Sabemos qie si Sf = 0 entonces f es de M obius, i.e., f es univalente no s olo en sino que en todo el plano complejo. Esto lleva a la idea intuitiva de que si Sf es peque na en , entonces f ser a univalente ah . De manera equivalente, el Teorema anterior dice que para probar univalencia, basta demostrar la ausencia de soluciones de la ecuaci on lineal que tengan m ultiples ceros. Cuando Sf = 0 entonces las u son de la forma az + b, y se anulan s olo en un punto. Desde este punto de vista es concebible nuevamente pensar que con Sf peque na las soluciones de la ecuaci on lineal no tendr an m as de un cero. Dos preguntas importantes son entonces: 1. De qu e tipo son las condiciones Sf peque na que implican la univalencia? 2. De qu e manera inuye la geometr a del dominio ? En el transcurso de este cap tulo daremos respuestas bastantes precisas a ambas preguntas.

3.3.

La Schwarziana y la clase S

Veremos es esta secci on algunas condiciones necesarias y otras sucientes para la univalencia de una funci on anal tica, localmente inyectiva en D. Estas condiciones dependen del tama no de la Schwarziana. Teorema 3.3 (Krauss, Nehari). Si f S entonces |Sf (z )| 6 (1 |z |2 )2 z D

Demostraci on. Esta estimaci on es consecuencia del Teorema del Area. Dada f S consideramos f F (z ) = y luego G (z ) = F
z + 1+z

(1

| | 2 )f ( ) 1
1 z

f ( )

= z + A2 a2 + A3 z 3 +

= z + B0 + B1 z 1 + ,

Cap tulo 3. La derivada Schwarziana

31

que pertenece a . Se calcula que B1 = A2 2 A3 y sabemos que |B1 | 1. Por otro lado, se puede demostrar tambi en que 1 B1 = (1 | |2)2 Sf ( ) , 6 de donde se deduce el teorema. Este teorema fue demostrado originalmente por Kraus en 1932 y redescubierto en 1949 por Nehari. El resultado es optimo dado que la funci on de Koebe tiene 6 Sk (z ) = . (1 z 2 )2 Teorema 3.4 (Nehari). Si f es anal tica, localmente univalente en D y |Sf (z )| entonces f es univalente en D. El 2 y el 6 son optimos. Si una f univalente tiene |Sf (z0 )| para alg un z0 entonces f (z ) = T k (z ) donde T es M obius, : D D automorsmo. Este u ltimo teorema tambi en fue demostrado en 1949 y di o inicio a un extenso estudio de m as condiciones sucientes para univalencia. (3.11) tambi en es optima dado que para todo > 0 existen funciones no univalentes en D con 2+ |Sf (z )| . (1 |z |2 )2 Por ejemplo, se puede tomar f (z ) = Sf (z ) = 1+z 1z
i

2 (1 |z |2 )2

(3.11)

6 (1 |z0 |2 )2

que tiene

2(1 + 2 ) . (1 z 2 )2

La demostraci on de que (3.11) implica la univalencia de f se basa en el Teorema 3.2. En otras palabras, se prueba que su |p(z )| (1|z |2 )2 entonces u + pu = 0 no admite soluciones no triviales con m as de un cero en D.

32

T opicos en Teor a Geom etrica de Funciones - Martin Chuaqui

Otras dos condiciones de univalencia que pueden ser demostradas de manaera similar son |Sf (z )| y |Sf (z )| 4 . 1 |z |2 (3.13) 2 2 (3.12)

Ambas son optimas. La primera se debe a Nehari nuevamente mientras que (3.13) fue anunciada por Pokornyi. En la siguiente secci on daremos una demostraci on diferente de estas tres condiciones sucientes para univalencia. No usaremos el Teorema 3.2 sino que estimaciones basadas en m etodos de comparaci on para ecuaciones diferenciales.

3.4.

Teoremas de comparaci on de Sturm

Este teorema de alguna manera cuantica la frecuencia con que soluciones de ecuaciones u (x) + p(x)u(x) = 0 se pueden anular. El caso interesante (que permite solucines con ceros) es cuando p(x) 0 u (x) = p(x)u(x) El ejemplo m as sencillo es u (x) + 2 u(x) = 0 con soluciones cos(x), sin(x) y = p(x) q (x) continuas u(x) + p(x)u(x) = 0 u (x) + q (x)u(x) = 0 : frecuencia de ceros. u(x0 ) = v (x0 ) = a > 0 u (x0 ) = v (x0 ) = b

Teorema 3.5 (Teorema de Sturm). Supongamos que que v (x1 ) = 0 para un x1 (x0 , b) (a) Entonces u(x) v (x) para todo x (x0 , x1 ) En particular, u(x) no se anula antes de v (x).

Cap tulo 3. La derivada Schwarziana

33

(b) Si u(x1 ) = 0 entonces u(x) v (x) en (x0 , x1 ), con lo que p(x) q (x) en (x0 , x1 ). Demostraci on: Sea W (x) = u (x)v (x) u(x)v (x) entonces W (x) = u (x)v (x) u(x)v (x) = p(x)u(x)v (x) + q (x)u(x)v (x) = (q (x) p(x))u(x)v (x) Entonces, W (x0 ) = 0 y por continuidad, existe > 0 tal que u(x), v (x) > 0 en (x0 , x0 + ) W (x0 ) 0 en (x0 , x0 + ) W (x) 0 en (x0 , x0 + ) u (x) v (x) en (x0 , x0 + ) u(x) v (x) x logu(x)|x x0 logv (x)|x0 x (x0 , x0 + ) u(x) v (x) x (x0 , x0 + ) u(x0 ) v (x0 ) u(x) v (x) x (x0 , x0 + ) Esto implica que el siguiente cero de u(x) no puede estar antes de x1 y este argumento entonces muestra que en (x0 , x1 ) u, v > 0, luego u(x) v (x) ah . Si al nal de la integraci on tenemos igualdad, debe ser que W (x) 0 en (x0 , x1 ), luego W (x) = 0 por ser W (x0 ) = 0 luego u(x) v (x) en (x0 , x1 ). Teorema 3.6 (Teorema de Intercalaci on). Sean u1 , u2 soluciones de u (x) + p(x)u(x) = 0 y sean x1 < x2 dos ceros consecutivos de u1 . Entonces i) u2 (x1 ) = u2 (x1 ) = 0 y es linealmente dependiente con u1 . o bien ii) existe x3 (x1 , x2 ) con u2 (x3 ) = 0 Demostraci on: Supongamos no (ii), es decir, u2 (x) = 0 para todo x (x1 , x2 ). Por linealidad de la ecuaci on, podemos suponer u1 (x), u2 (x) > 0 en (x1 , x2 ), entonces W (x) = u2 (x)u1 (x) u2 (x)u1 (x) W (x) = 0 W (x) =

34

T opicos en Teor a Geom etrica de Funciones - Martin Chuaqui W (x1 ) = 0 u2 (x1 )u1 (x1 ) 0 W (x2 ) = 0 u2 (x2 )u1 (x2 ) 0 =0

Entonces u1 , u2 son linealmente independientes y u2 (x1 ) = u2 (x2 ) = 0, ya que u1 (x1 ) > 0 y u1 (x2 ) < 0.

3.5.

Adaptaci on al caso Anal tico

Veremos ahora una versi on compleja del teorema de comparaaci on, para luego dar diversas aplicaciones en la secci on siguiente. Sea q = q (x) 0 continua en (1, 1) y sea p = p(z ) anal tica en D. Supongamos que | p (z )| q (| z | ) , y consideremos las soluciones u, v de u + pu = 0 , u(0) = 1 , u (0) = 0 , v + pv = 0 , v (0) = 1 , v (0) = 0 . (3.15) (3.16) (3.14)

La primera de ellas es una ecuaci on compleja en S , mientras que la segunda es real. El punto de partida es una respuesta armativa a una pregunta, algo ingenua si se quiere, de si es posible comparar |u| con v en vista de la estimaci on (3.14). Teorema 3.7 (Teorema Complejo de Comparaci on). Sea a > 0 el n umero mayor tal que v (x) > 0 para todo x (a, a). Entonces para todo |z | < a se tiene | u (z )| v (| z | ) . En particular, u = 0 en el disco {|z | < a}. La demostraci on del teorema est a basada en el siguiente lema. Consideramos la funci on |u(z )| restringida a rectas por el origen. As , |u| signicar a diferenciaci on con respecto al par ametro de arco de la recta. Lema 3.1. Sea u(z ) soluci on compleja de u (z ) + p(z )u(z ) = 0, z

y sea z = z (s) una arcoparametrizaci on de un segmento lineal [a, b] . Sea v (s) = |u(z (s))|. Supongamos qye u(z (s)) = 0 en s (a.b). Entonces v (s) + |p(z (s))|v (s) 0 .

Cap tulo 3. La derivada Schwarziana Demostraci on: Tenemos v 2 (s) = |u(z (s))|2 = u(z (s))u(z (s)) 2vv = u z u + uuz = 2Re{u z u} Entonces de donde usando (3.16) se obtiene |vv | |uz u| |u ||u| = |v | |u|

35

vv + (v )2 = Re{u(z )2 u + u z u z } = Re{p|u|2(z )2 } + |u |2 = Re{p(z )2 }v 2 + |u |2 Notemos que vv + Re{p(z )2 }v 2 = |u|2 (v )2 0 = v + Re{p(z )2 }v 0 = v (s) + |p(z (s))|v (s) 0 . Demostraci on: (del Teorema Complejo de Comparaci on). Tenemos v + qv = 0 , v (0) = 1 , v (0) = 0 , |u| + |p||u| 0 , |u|(0) = 1 , |u|(0) = 0 ,

la segunda de ellas en una vecindad del origen. La demostraci on del teorema real de comparaci on y su corolario, se pueden aplicar ahora paso a paso: se considera = |u|v |u|v , la que satisface = |u| v |u|v (q |p|)|u|v . De aqu la demostraci on es tal como en el caso del teorema real. El Teorema de Complejo de Comparaci on (TCC) nos da una cota inferior para |u| en t erminos de una cota superior para el coeciente |p|. T ecnicas de comparaci on similares permiten establecer la siguiente cota superior para |u|. La demostraci on ser a omitida. Lema 3.2. Sea w la soluci on de w qw = 0 , w (0) = 1 , w (0) = 0 . Entonces |u(z )| w (|x|) . (3.17)

36

T opicos en Teor a Geom etrica de Funciones - Martin Chuaqui

3.6.

Aplicaciones del TCC

u + pu = 0 (3.18)

Obviamente estamos interesados en el estudio de la ecuaci on compleja

en su relaci on ya descrita con la derivada Schwarziana Sf = 2p. Si u1 es soluci on de (3.18) entonces el m etodo de variaci on de par ametros de una segunda soluci on como
z

u 2 (z ) = u 1 (z )
0

2 u 1 ( )d .

De este modo, el cuociente u2 /u1 viene dado por

z

f (z ) =
0

2 u 1 ( )d .

(3.19)

Esta funci on, sin embargo, tendr a polos donde u1 se anule, pero Sf = 2p en todas partes. Para que esta u ltima ecuaci on tenga sentido es necesario extender la denici on de Schwarziana a funciones meromorfas, localmente univalentes. Si f (z0 ) = es un polo simple entonces g (z ) = 1/f (z ) tiene un cero simple cuando z = z0 . Como g es una transformaci on de M obius de f denimos Sf (z0 ) = Sg (z0 ) . Consideremos soluciones de (3.18) normalizadas en el origen de modo que u(0) = 1 y u (0) = 0. Si el coeciente p no es muy grande, entonces tal soluci on u no tendr a cero en D y la representaci on (3.19) dar a una f regular (sin polos). Trataremos en detalle el teorema original de Nehari, en el cual se consideran funciones tal que |Sf (z )| 2 . (1 |z |2 )2 1 , (1 x2 )2

De este modo, la funci on de comparaci on q en (3.16) viene dada por q= y la correspondiente soluci on v es v (x) = 1 x2 .

Cap tulo 3. La derivada Schwarziana Esta u ltima es positiva en (1, 1), y de acuerdo al TCC, si | p (z )| 1 (1 |z |2 )2 1 |z |2 .
z

37

entonces la soluci on normalizada de u de (3.18) satisface | u (z )| (3.20)

En particular, u no se anula en D y la funci on f (z ) =

0

u2 ( )d

(3.21)

es regular, con Sf = 2p. Es claro que f (0) = 0, y las normalizaciones de u se traducen en que f (0) = 1 y f (0) = 0. Para obtener cotas superiores para |u| debemos considerar la soluci on w de (3.17). Esta funci on viene dada por 1 1 x2 w (x) = 2 donde = 1+x 1x

1x 1+x

2/2. De acuerdo al Lema 3.2, | u (z )| w (| z | ) . (3.22)

x

De manera an aloga a (3.21) consideramos las funciones

x

F (x) =
0

v 2 (t)dt ,

G(x) =
0

w 2(t)dt ,

las que pueden ser calculadas expl citamente, dando 1 1+x F (x) = log , 2 1x 1 (1 + x) 2 (1 x) 2 . G(x) = 2 (1 + x) 2 + (1 x) 2

N otese que de hecho, F y G son anal ticas en D. Teorema 3.8 (Teorema Schwarziano de Distorsi on y crecimiento). Si |Sf (z )| 2(1 |z |2 )2 y f (0) = 0, f (0) = 1, f (0) = 0 entonces 4(1 |z |2 ) 21 1 | f (z )| , 1 |z |2 ((1 + |z |) 2 + (1 |z |) 2 )2

(3.23) (3.24)

1 (1 + |z |) 2 (1 |z |) 2 1 1 + |z | | f (z )| log . 2 1 |z | 2 (1 + |z |) 2 + (1 |z |) 2

Si en alguna de estas desigualdades se tiene igualdad para un z = 0 entonces f es una rotaci on de F o G, como sea el caso.

38

T opicos en Teor a Geom etrica de Funciones - Martin Chuaqui

Demostraci on: Las desigualdades en (3.23) son inmediatas de (3.20) y (3.22). La desigualda de la derecha en (3.24) se obtiene por simple estimaci on integral. mientras que la otra desigualdad requiere de un poco m as de trabajo. Sea 0 < r < 1 dado, y sea z0 = rei un punto donde se asume m n|z |=r |f (z )|. Entonces el segmento lineal desde 0 hasta f (z0 ) est a totalmente contenido en la imagen de {|z | r }, y |f (z0 )| =
|f (z0 )| 0 r r

|d | =

|f (xe )|dx

w 2 (x)dx = G(r ) .
0

Para demostrar las aseveraciones relacionadas a los casos de igualdad, es necesario volver a la demostraci on del Teorema de Comparaci on de Sturm y analizar cu ando puede haber igualdad en la desigualdad entonces conclu da. Esto s olo puede suceder si la funci on se anula id enticamente en el intervalo correspondiente. En nuestro caso ahora, las cantidades son anal ticas, de modo que 0. El mismo principio es v alido para el caso de igualdad en el Lema 3.2. De esto se deducen las armaciones hechas. Corolario 3.1. Si |Sf (z )| 2(1 |z |2 )2 y f (0) = 0, f (0) = 1, f (0) = 0 entonces 1 f (D ) . | | < 2 Demostraci on: Esto se deduce f acilmente de la primera desigualdad en (3.24). Recordemos que el teorema de univalencia de Nehari arma que si |Sf (z )| 2(1 |z |2 )2 entonces f es univalente en D. Como mencionamos en su oportunidad, la demostraci on original de Nehari ocupa la caracterizaci on de univalencia dada por el Teorema 1. En nuestro caso, la prueba estar a basada en la desigualdad de la izquierda en (3.24) y en la invariancia de la condici on de Nehari ante composiciones f T , con T un automorsmo del disco. Lema 3.3. Sea T un automorsmo de D y supongamos que |Sf (z )| 2(1 |z |2 )2 . Entonces 2 |S (f T )( )| . (1 | |2)2 Demostraci on: La f ormula de adicci on (3.4) implica que S (f T )( ) = Sf (T )(T )2 de modo que (1 | |2 )2 |S (f T )( )| = (1 | |2 )2 |Sf (T )||(T )2| = (1 |T |2 )2 |Sf (T )| .

Cap tulo 3. La derivada Schwarziana

39

La u ltima igualdad es consecuencia del hecho que los automorsmos del disco son isometr as hiperb olicas, es decir, son isometr as de D provisto con la m etrica |dz |2 2 ds = . (1 |z |2 )2 Se deduce entonces que (1 | |2|S (f T )( )| 2. . Estamos ahora en condiciones de dar una demostraci on del Teorema de Nehari. Supongamos que f satisface la hip otesis, y que f (z1 ) = f (z2 ). Sea T la transformaci on dada por T (z ) = z + z1 , 1 + z1 z

que manda 0 a z1 . Sea z3 = T 1 (z2 ). Mostraremos que z3 = 0 de lo cual z1 = z2 . Sabemos que g = f T tambi en satisface la hip otesis Schwarziana y g (0) = g (z3 ). Mediante una composici on de M obius por la izquierda, se puede asumir que g (0) = 0, g (0) = 1, g (0) = 0. Entonces por (3.24), 0 = |g (0)| = |g (z3)| |G(z3 )|, lo cual implica z3 = 0. Las otras dos condiciones sucientes para univalencia, (3.12) y (3.13), admiten demostraciones similares una vez establecidos los correspondientes teoremas de distorsi on y crecimiento. Finalizamos esta secci on con importantes notas en relaci on a la normal izaci on f (0) = 0, f (0) = 1, f (0) = 0, y al segundo coeciente. Como sabemos, dada p, la soluci on f de Sf = 2p es u nica, salvo por composiciones con transformaciones de M obius T f . En otras palabras, es posible especicar en la soluci on tres par ametros complejos, tales como f (0) = a0 , f (0) = a1 y f (0) = 2a2 . Los cambios en f (0) y f (0) se pueden obtener mediante transformaciones anes f f + , las cuales no afectan el hecho que si f tiene polos o no en D. Por lo tanto, para pr opositos de saber si la soluci on de Sf = 2p es regular, podemos asumir que f (0) = 0, f (0) = 1. El subgrupo de M obius que ja esta normalizaci on parcial y que act ua sobre el segundo coeciente, viene dado por los cambios de la forma f g =T f = f . 1 af

40

T opicos en Teor a Geom etrica de Funciones - Martin Chuaqui

As , si f (0) = 0, f (0) = 1 y f (0) = 2b entonces g (0) = 0, g (0) = 1 y g (0) = 2(a + b). La funci on g no tendr a polos en D si y s olo si f no asume el valor 1 . a Con esto dicho. volvemos al caso en que | p (z )| 1 . (1 |z |2 )2

Teorema 3.9 (Teorema del Segundo coeciente). Sea g meromorfa, localmente univalente en D con g (0) = 0, g (0) = 1. Si |Sg (z )| 2(1 |z |2 )2 entonces g no asume el valor 1/a2 , donde g (0) = 2a2 . Demostraci on: Sea p = (1/2)Sg . Sabemos que la soluci on de Sf = 2p con f (0) = 0, f (0) = 1, f (0) = 0 es regular en D. Por otro lado, g viene dada por 1 g= 1 a2 f f= g . 1 + a2 g

de donde

Pero f no tiene polos en D, y se deduce la conclusi on del teorema. Es posible dar la siguiente generalizaci on del Teorema del Segundo coeciente (TSC). Sea f dada con |Sf (z )| 2(1 |z |2 )2 . Para aplicar el TSC es necesario asumir que f (0) = 0, f (0) = 1. En otras palabras, en general debemos considerar la funci on g= y deducimos que En t erminos de f , f (0) f f (0) , f (0)

2 g (0)

/ g (D ) .

f (0)2 / f (D ) . f (0)

El lema 3 nos permite, sin embargo, cambiar el origen a cualquier otro punto de D. En efecto, sea T el automorsmo de D dado por T (z ) = z+a , 1 + az |a| < 1 ,

Cap tulo 3. La derivada Schwarziana y sea f1 = f T . Entonces f1 (0) la cual se traduce en que f (a) + 2(1 |a|2 )f (a)2 / f (D ) . 2af (a) (1 |a|2 )f (a) 2(1 |z |2 )f (z )2 . 2zf (z ) (1 |z |2 )f (z )

41

f1 (0)2 / f1 (D) = f (D) , f1 (0)

Denotaremos a h a la expresi on de la izquierda, o sea, h(z ) = f (z ) + (3.25)

y enunciamos el resultado como: Teorema 3.10. Si |Sf (z )| 2(1 |z |2 )2 entonces para todo z D h(z ) / f (D ) . Volveremos a la funci on h en el siguiente cap tulo, donde aparecer a en relaci on a extensiones cuasiconformes.

3.7.

El p-criterio de Nehari
u (x) + c u(x) = 0, c > 0, x [0, 1) (1 x2 )2 1 1+x log cuya inversa es x = 2 1x

Ejemplo 3.2.

Sea s : [0, 1) [0, ) denida por s(x) = x(s) = e2s 1 . Considere la funci on e2s + 1 w (s ) =

u(x(s)) , 1 x2 (s)

s [0, )

es posible probar que w (s) = (1 c)w (s). Si c > 1 entonces w = (c1)w entonces w (s) = sen( c 1s), cos( c 1s) por lo que 1 1+x c 1 log sen 2 1x u(x) = 1 x2 1 1 +x c 1 log cos 2 1x

42

T opicos en Teor a Geom etrica de Funciones - Martin Chuaqui

Si c = 1 entonces w = 0 luego w (s) = s + por lo que u(x) = en particular, 1 1+x log + 1 x2 2 1x 1 u(x) = 0. (1 x2 )2

Si c < 1 entonces w (1 c)w luego

1 x2 es soluci on de u(x) +

w (s ) = por lo que

1cs e 1cs 1cs 1cs = e + e = e (e(1c)s + ) e 1cs

u(x) =

Teorema 3.11 (Nehari). Si

1 x2

1+x 1x

1c 2

1x 1+x

1c 2

|Sf (z )|

2 2

en D

entonces f es univalente. La constante es optima. Hay funciones extremales que satisfacen el criterio que no son 1-1 en D. Observaci on 3.1. Cualquier clase A de funciones denidas por : f = 0, |Sf (z )| c(z )} A = {f : R C es invariante bajo composici on f T f . Teorema 3.12. |Sf (z )| entoces f es univalente en D. Demostraci on: Supongamos que no. existe f satisfaciendo (3.26) no univalente, entonces existe z1 = z2 , f (z1 ) = f (z2 ). Sea : D D tal que (0) = z1 , (x0 ) = z2 , 0 < x0 < 1. Pero, g = f tambi en satisface u1 (3.26) y g (0) = g (x0 ). Una traslaci on permite suponer que g (0) = 0, g = , u2 2 (1 |z |2 )2 en D (3.26)

Cap tulo 3. La derivada Schwarziana

43

1 u + 2 Sg u = 0 entonces u1 (0) = u(x0 ) = 0. Miramos, v (x) = |u1 (x)|, 1 v + 2 |Sg (x)|v 0 entonces

v +

1 v0 (1 x2 )2

Por comparaci on (Sturm) y el ejemplo que las soluciones de h (x) + c h(x) = 0, (con c = 1) (1 x2 )2

implica una contradicci on. Observaci on 3.2. 1) u (z ) + Entonces 1 u (z ) = 0 , (1 z 2)2

z

u (z ) =

1 z2

F (z ) =
0

u2 ( )d 2 (1 z 2 )2 2(1 + ) (1 |z |2 )2

satisface SF (z ) =

2) La misma construcci on muestra que hay funciones g : D C con |Sg (z )| que son innita-valente. El Teorema de crecimiento | f (z )| k (| z | ) = |z | (1 |z |)2

para funciones en la clase S muestra que S es compacta, en la topolog a de convergencia localmente uniforme. Luego, sup |Sf (0)| = sup
f S f S f S

f f

1 (0) 2

f f

(0)

= sup |6a3 6a2 2| = 6 sup |a3 a2 2| = A <

f S

44

T opicos en Teor a Geom etrica de Funciones - Martin Chuaqui

Teorema 3.13. Si f : D C es univalente entonces |Sf (z )| Demostraci on: f g= f f (0) S Sf = Sg f (0) A (1 |z |2 )2

Luego basta probar el Teorema en f S . Fijemos z = z0 f F (z ) = Sabemos que |SF (0)| A SF (z ) = Sf ( (z )) (z )2 + S (z ) = 1 |z0 |2 y SF (0) = Sf (z0 )(1 |z0 |2 )2 entonces (1 + z0 z )2 (1 |z0 |2 )2 |Sf (z0 )| A
z +z 0 1+z0 z

(1 |z0 |2 )f (z0 )

f (z0 )

Teorema 3.14. El valor de A = 6, es decir, sup |a3 a2 2| = 1

f S

Demostraci on: Sea f S y tomamos g (z ) = = = = = 1 b1 bn = z + b0 + + . . . n + . . . f (1/z ) z z 1 |z | > 1 a2 1 3 + z2 + a + ... z z3 1 1 z , = 1 + a2 + a3 2 + . . . z 2 z [1 h() + h ( ) + . . .] 2 z [1 a2 + a3 2 + . . . + a2 2 + . . . + . . .]

Entonces, b1 = a3 + a2 area |b1 | 1. El extremal es 2 , por el teorema del u nico.

Cap tulo 3. La derivada Schwarziana Ejemplo 3.3. La transformaci on de Koebe satisface Sk (z ) = 6 . (1 z 2 )2

45

Teorema 3.15 (Pokorny-Nehari). |Sf (z )| es criterio de univalencia optimo. Este Teorema es corolorio del p-criterio Teorema 3.16 (p-Criterio de Nehari). Sea p = p(x) 0 una funci on continua y par en (1, 1), con las dos propiedades 4 1 |z |2

(i) la soluci on par de u (x) + p(x)u(x) = 0 no posee ceros en (1, 1);

(ii) (1 x2 )2 p(x) es no creciente en [0, 1). Entonces |Sf (z )| 2p(|z |) univalencia Demostraci on: Supongamos que existen z1 , z2 D, z1 = z2 y una f con |Sf (z )| 2p(|z |) con f (z1 ) = f (z2 ) = w . Podemos suponer que w = 0. Tambi en, despu es de una rotaci on g (z ) = f (ei z ) podemos suponer que z1 , z2 tienen Im{z1 }, Im{z2 } 0 y que la geod esica hiperb olica que los une es sim etrica con respecto al eje Y . Caso I. u1 Si = (1, 1), f = , u (z )+( 1 Sf (z ))u1 (z ) = 0 entonces u1 (z1 ) = u1 (z2 ) = 2 u2 1 1 0, pero v (x) = |u(x)| satisface v + | 2 Sf (x)|v 0 entonces v tiene menos ceros que las soluciones de w (x) + p(x)w (x) = 0 lo que contradice (ii). Caso II.

46

T opicos en Teor a Geom etrica de Funciones - Martin Chuaqui y T x1 0

|

x2

x 1

z1 0

z2

Sea T : D D que lleva (1, 1) en dada por T ( ) = + i . 1 i

Sea g ( ) = f (T ( )), g (x1 ) = g (x2 ) = 0 con xi = T 1 (zi ). Armamos que |Sg (x)| 2p(x) , En efecto, tenemos que (1 x2 )2 |Sg (x)| = = = (1 x2 )2 |T (x)|2 |Sf (T (x))| (1 |T (x)|2 )2 |Sf (T (x))| (1 |T (x)|2 )2 2p(|T (x)|) 2(1 |w |2)2 p(|w |) , w = T (x) x (1, 1) .

Para concluir que (1 x2 )2 |Sg (x)| 2(1 x2 )2 p(x). Para concluir la prueba x2 + rho2 debemos probar que |T (x)| |x| lo que es equivalente a x2 lo 1 + 2 x2 que equivale a x2 + 2 x2 + 2 x4 lo cual es cierto. Ejemplo 3.4. El teorema de Pokorny es caso particular de p-criterio en donde 2 p(x) = , u (x) + p(x)u(x) = 0, u(x) = 1 x2 . 1 x2

3.8.

Ejercicios
d2 1/2 1 f (z ) = f (z )1/2 Sf (z ). 2 dz 2

3.1. Pruebe que para f arbitraria, se tiene la siguiente identidad:

Cap tulo 3. La derivada Schwarziana 3.2. Demuestre la f ormula de adici on para la Schwarziana S (f g ) = ((Sf ) g )(g )2 + Sg . 3.3. Pruebe que Sf = 0 si y s olo si f (z ) =

47

az + b , con ad bc = 1. Deduzca cz + d que S (T f ) = Sf si T es una transformaci on de m obius. ((Sf ) g ) . (f g )2

3.4. Pruebe que si g = f 1 entonces Sg =

3.5. Pruebe qe si Sf = Sg entonces existe una transformaci on T de M obius tal que g = T f . 3.6. Use el Teorema 3.1 para probar (de otra manera) que Sf = 0 f (z ) = az + b , ad bc = 1. cz + d

3.7. Adaptar la demostraci on del Teorema de Sturm al caso u(x0 ) = v (x0 ) = 0, u (x0 ) = v (x0 ) > 0. 3.8. Sea 1 1+x s = s(x) = log : [0, 1) [0, ) 2 1x x = x(s) = Sea w (s ) = u(x(s)) 1 x2 (s) e2s 1 e2s + 1 , s [0, )

La inversa es

Probar que w (s) = (1 c)w (s). 3.9. Sea p(x) continua y par en (a, a). Sean u, v las soluciones de u (x) + p(x)u(x) = 0, u(0) = , u (0) = 0 v (x) + p(x)v (x) = 0, v (0) = 0, u (0) =

Probar que u(x) = u(x), v (x) = v (x).

48

T opicos en Teor a Geom etrica de Funciones - Martin Chuaqui

3.10. Sean u, v soluciones de u (x) + p(x)u(x) 0 u (x) + p(x)u(x) = 0 u(x0 ) = v (x0 ) = > 0 u (x0 ) = v (x0 ) =

Probar que el primer cero de u(x) despu es de x0 no sucede antes que aquel de v (x), y que en este lapso u(x) v (x). 3.11. Sea convexo y f : C anal tica tal que |Sf (z )| 2 . (diam())2

Demuestre que f es univalente y que la constante es optima. 3.12. Mostrar que las clases F = f : D C : f = 0, |Sf (z )| (1 |z |2 )2

son adem as invariantes ante composici on f , : D D automorsmo. 1 1+z 3.13. (a) Mostrar que F (z ) = log 2 1z 2 (b) Mostrar que |SF (z )| (1 |z |2 )2 3.14. Mostrar que una tal funci on es g (z ) = 2(1 + 2 ) (1 z 2 )2 (b) D onde g es innito valente? (a) Sg (z ) = 1+z 1z
i

Cap tulo 4 Funciones Cuasiconformes y Cuasidiscos

Resulta natural preguntar para qu e otros dominios del plano es posible obtener teoremas de univalencia y distorsi on asociados a la derivada Schwarziana. Estudiaremos en este cap tulo una importante clase de dominios simplemente conexos que son precisamente aqu ellos para los cuales es posible establecer el teorema de univalencia correspondiente a la condici on de Nehaari. Estos dominios son los cuasidiscos y dejaremos propeusto el interesante problema de estudiar en ellos teoremas Schwarzianos de distorsi on.

4.1.

Deniones B asicas

Para denir lo que es un cuasidisco es necesario primero hablar de funciones cuasiconformales. Trataremos primero el caso de homeomorsmos sucientemente diferenciables, de clase C 1 ser a suciente. Desde un punto de vista geom etrico, una funci on anal tica, localmente univalente, est a caracterizada por el hecho de que innitesimalmente preserva tanta a ngulos como distancias. Un c rculo innitesimal de radio r en el punto z0 es transformado en uno innitesimal de radio |f (z0 )|r , rotado en arg{f (z0 )}. En general, una transformaci on s olo diferenciable mapea c rculos innitesimales en elipses. Un homeomorsmo f : C de clase C 1 se dir a cuasiconforme si para todo z tales elipses en f (z ) tienen la raz on de su eje mayor por su menor uniformemente acotada. Esto puede ser expresado de manera siguiente. Usaremos para ello las derivaciones complejas 1 = z 2 i x y , 49 1 = z 2 +i x y

50

T opicos en Teor a Geom etrica de Funciones - Martin Chuaqui

en t erminos de las cuales es posible calcular la dilataci on innitesimal m axima y m nima por f . Si Df denota el diferencial de f en un punto dado, entonces tales distorsiones m aximas y m nimas vienen dadas por
|X |=1

m ax |Df (X )| = |fz | + |fz | ,

|X |=1

m n |Df (X )| = ||fz | |fz || .

(4.1)

As por ejemplo, si fz = 0 entonces f dilata innitesimalmente lo mismo en todas las direcciones, es decir, la elipse en la imagen es en efecto un c rculo. No sorprende entonces que fz = 0 sea una manera distinta de escribir las ecuaciones de Cauchy-Riemann ux = uy , uy = vx

para las componentes u, v de f . El jacobiano de f (el determinante de su diferencial) viene dado por |fz |2 |fz |2 , (4.2)

que asumiremos es positivo (es decir, |fz | > |fz |). En otras palabras, trataremos el caso de homeomorsmos que preserven la orientaci on. Denimos la dilataci on de f por |fz | + |fz | 1 + || = , |fz | |fz | 1 || la que es 1. Ac a = (4.3)

fz fz es una funci on compleja con || < 1. Podemos decir entonces que f es cuasiconforme si existe una constante K tal que 1 + || K 1 || (4.4)

en todo punto del dominio . M as precisamente diremos en este caso que f es K -cuasiconforme. Notemos que f es 1-cuasiconforme si y s olo si = 0 si y s olo si fz = 0 si y s olo si f es anal tica, y que f ser a cuasiconforme en cada compacto de . De (4.4) se deduce que || k = K1 <1. K +1 (4.5)

La funci on es llamada el coeciente de Beltrami y el resultado central en la teor a de funciones cuasiconformes es el hecho de que puede ser prescrito

Cap tulo 4. Funciones Cuasiconformes y Cuasidiscos

51

arbitrariamente, con la condici on de que || k < 1. Es decir, dado tal se puede encontrar una transformaci on f tal que fz = fz , (4.6)

la llamada ecuaci on de Beltrami. Esta ecuaci on tiene una larga historia. Para coecientes de clase C (4.6) ya hab a sido considerada por Gauss en 1820 en relaci on al problema de encontrar coordenadas isotermales para una supercie dada. M as tarde, alrededor de los a nos cuarenta del siglo pasado, fue Morrey quien estudi o dicha ecuaci on en forma sistem atica, buscando soluciones f con el menor grado de regularidad posible. Fue, sin embargo, Bers quien complet o este estudio en 1957. Sin entrar en mayores detalles de este dif cil trabajo en an alisis, indicaremos los puntos m as salientes de las transformaciones cuasiconformes. Si f es 1 de clase C es claro que ser a una funci on continua. El resultado rec proco es falso en general, es decir, dado continua la soluci on f no tiene por qu e ser 1 de clase C . Otro problema serio que presenta al trabajar con funciones f de clase C 1 es que tal clase no est a cerrada bajo l mites localmente uniformes (lo cual s sucede con las funciones anal ticas). El l mite no ser a C 1 pero tendr a cierta regularidad m as all a de la mera continuidad. Tal es la regularidad que puede ser demostrada para la soluci on f en el caso de que el coeciente sea lo m as general posible en (4.6). Teorema 4.1. Sea una funci on compleja medible en con < 1. Entonces existe un homeomorsmo f : C, diferenciable a.e. y que satisface (4.6) a.e. La regularidad de f en realidad es mayor. Esta funci on ser a ACL (absolutamente continua en casi todas las l neas) y tendr a derivadas parciales 2 localmente en L . La soluci on f es u nica m odulo composiciones por la izquierda con transformaciones conformes. La unicidad se deduce de la siguiente f ormula que calcula el coeciente de Beltrami de una composici on: si f, g son funciones cuasiconformales denidas en un mismo dominio, y f , g son los correspondientes coecientes de Beltrami, entonces casi en todas partes f g1 ( ) = f (z ) g (z ) 1 f (z ) g (z ) g z (z ) | g z (z )|
2

= g (z ) .

Se deduce de esto que si f, g son soluciones de la misma ecuaci on de Beltrami, 1 entonces f g1 = 0 a.e., de donde f g debe ser conforme. La clase de transformaciones cuasiconformes posee tambi en importantes propiedades de compacidad. Para enunciar este resultado consideremos homeomorsmos cuasiconformales de la esfera S 2 = C {} que jen los puntos

52

T opicos en Teor a Geom etrica de Funciones - Martin Chuaqui

0, 1 e . Tal normalizaci on siempre es posible dado que el grupo de M obius de la esfera act ua de manera transitiva sobre ternas de puntos. Teorema 4.2. Sea F una familia de funciones K -cuasiconformales del plano extendido, que jan 0, 1, . Entonces F es una familia equicontinua y normal. La demostraci on se basa en la noci on de m odulo de un dominio anular y en la distirsi on de este m odulo bajo una transformaci on cuasiconforme. El teorema puede generalizarse al caso de un dominio arbitrario si se reemplaza la normalizaci on de las f F por la condici on de que para tres puntos z1 , z2 , z3 fjos y cada f F , las distancias esf ericas s(f (zi ), f (zj )) est an uniformementes acotadas por debajo por un n umero positivo. Damos a continuaci on la denici on de cuasidisco. Denici on 4.1. Un cuasidisco es la imagen de D bajo una transformaci on cuasiconforme del plano. As , todo cuasidisco ser a simplemente conexo y su frontera ser a una curva de Jordan (curva cerrada simple) que llamaremos un cuasic rculo. Pero no toda curva de Jordan es un cuas disco. M as adelante daremos tres caracterizaciones anal ticas y geom etricas de cuasidiscos, tanto en t erminos de su frontera como de propiedades del dominio mismo.

4.2.

Criterios de Univalencia y Extensiones Cuasiconformes

Hemos visto que si en D la derivada Schwarziana Sf es sucientemente peque na entonces f ser a univalente. Tales criterios de univalencia est an ntimamente relacionados a su vez con posible extensiones de f a un homeomorsmo del plano que sea cuasiconforme. Un teorema notable al respecto se debe a Gehring y Pommerenke, quienes demostraron que si = (z ) > 0 en una funci on tal qie la desigualdad |Sf (z )| (z ) implica la univalencia de f en D, entonces para cualquier 0 t < 1 |Sf (z )| t(z ) (4.8) (4.7)

implica adem as la existencia de una extensi on K -cuasiconforme de f al plano. Ac a, K = K (t).

Cap tulo 4. Funciones Cuasiconformes y Cuasidiscos

53

La demostraci on de este teorema usa, entre otras cosas, una caracterizaci on geom etrica de cuasic rculo. Hist oricamente la primera instancia conocida del resultado de Gehring y Pommerenke es original de Ahlfors y Weill. Ellos mostraron en 1962 que si |Sf (z )| 2t (1 |z |2 )2 (4.9)

1+t -cuasiconforme. 1t La demostraci on de este teorema se divide en dos partes. Primero se asume que f es regular en la clausura D del disco, en cuyo caso se demuestra en forma m as o menos directa que la funci on h en (??) es la deseada extensi on. En el caso general se considera una aproximaci on de f por las funciones fr (z ) = f (rz ), r < 1. Por el resultado anterior, estas pueden ser extendidas cuasiconformemente y usando un teorema de compacidad apropiado es posible extraer una sucesi on {rn } converfente a 1 tal que las funciones frn extendidas convergen localmente uniformemente a un l mite cuasiconforme. Esta u ltima funci on representa la extensi on de la f original. para alg un 0 t < 1 entonces f admite una extensi on

4.3.

Cuasidiscos

Los resultados de la secci on anterior muestran que en ciertos casos la imagen = f (D) bajo una funci on anal tica ser a un cuasidisco. Pero dado un dominio de Jordan nos gustar a saber si es un cuasidisco sin apelar necesariamente al mapeo de Riemann. He aqu tres importantes caracterizaciones equivalentes de cuasidisco. La demostraci on de tal equivalencia representa un arduo trabajo, cuyos detalles no vemos obligados nuevamente a omitir. Una excelente presentaci on de este tema puede ser encontrada en el libro de O. Lehto, Univalent Functions and Teichm uller Spaces, mientras que el libro cl asico de Lehto y Virtanen sobre transformaciones cuasiconformes del plano sigue siendo una referencia fundamental. Ambos libros son de SpringerVerlag. Denici on 4.2 (Dominio Uniforme). Un dominio de Jordan se dice ser un dominio uniforme si existen constantes a, b tales que todo par z1 , z2 puede ser conectado por una curva en con las propiedades: (i) el largo de la curva satisface () a|z1 z2 | , (4.10)

54

T opicos en Teor a Geom etrica de Funciones - Martin Chuaqui

(ii) para todo z m n{(1 ), (2 )} bd(z, ) , donde 1 , 2 son las componentes de \ {z }. Denici on 4.3 (Condici on de Raz on Doble). Una curva de Jordan C se dice que satisface la condici on de Ahlfors de la raz on doble si existe una constante c tal que para toda 4-tupla ordenada z1 , z2 , z3 , z4 se tiene |z1 z2 | |z3 z4 | c. |z1 z3 | |z2 z4 | (4.12) (4.11)

Antes de dar la u ltima denici on debemos hablar de la m etrica hiperb olica (o as llamada de Poincar e) en dominios simplemente conexos. Sea un dominio tal y sea f : D un mapeo de Riemann. Como vimos hace alg un tiempo, en D es posible considerar |dz |2 ds = (1 |z |2 )2
2

como una distinta manera de medir distancias. El largo de una curva ser a ahora |dz | , 2 1 |z |

con lo cual las l neas rectas (l neas de largo menor que unen a dos puntos dados) resultan ser arcos de c rculos ortogonals a D . Dado que esta m etrica es invariante bajo el grupo de automorsmos conformes de D, es posible trasladar a : la distancia hiperb olica entre w1 , w2 es igual a aqu ella 1 1 entre las preim agenes z1 = f (w1 ), z2 = f (w2 ). Esta u ltima distancia no depende de la elecci on particular del mapeo de Riemann debido a la invariancia de la m etrica en D anteriormente aludida. El nuevo elemento de arco en viene dado por ds2 = (w )2 |dw |2 donde (f (z ))|f (z )| = 1 1 |z |2 (4.13)

Denici on 4.4 (Dominio de Univalencia). Sea un dominio simplemente conexo. Diremos que es un dominio de univalencia si existe > 0 tal que la desigualdad |Sf (z )| (z )2 implica la univalencia de f . (4.14)

Cap tulo 4. Funciones Cuasiconformes y Cuasidiscos

55

Como mencionamos antes, una concatenaci on de varios resultados muestra que en efecto las nociones de cuasidisco, dominio uniforme, dominio de univalencia y dominio con frontera que satisface la condici on de raz on doble, son equivalentes. En todas estas deniciones, la evaluaci on de las constantes optimas es posible en contados casos. En la denici on 4, la constante se llama radio interno de inyectividad del dominio y se denota 1 (). As por ejemplo, 1 (D) = 2 y es posible demostrar que 1 () < 2 a menos que el dominio sea la imagen de D bajo una transformaci on de M obius. Consideramos que ser a de mucho inter es el estudiar los teoremas Schwarzianos de distorsi on en dominios que sean cuasidiscos. Creemos que para tal efecto las nociones que pueden resultar m as u tiles son las de dominio uniforme y de univalencia.

56

T opicos en Teor a Geom etrica de Funciones - Martin Chuaqui

Bibliograf a
[1] M. Chuaqui and B. Osgood, Sharp distortion theorems associated with the Schwarzian derivative, Jour. London Math. Soc. (2) 48 (1994), 289-298. [2] P. Duren, Univalent Functions, Springer-Verlag: New York, 1983. [3] M. Ess en and F. Keogh, The Schwarzian derivative and estimates of function analytic in the unit disk, Math. Proc. Cambridge Philos. Soc. 78 (1975), 501-511. [4] E. Kamke, Dierentialgleichungen, Chelsea, New York, 1948. [5] Z. Nehari, The Schwarzian derivative and schlicht functions, Bull. Amer. Math. Soc 55 (1949), 545-551. [6] Ch. Pommerenke, Boundary Behavior of Conformal Maps, SpringerVerlag, Berlin, 1992. [7] Ch. Pommerenke, Univalent Functions, with a chapter on quadratic dierentials by Gerd Jensen. Vandenhoeck & Ruprecht, G ottingen 1975

57