cn con igual Schwarziana de

Sobre curvas en R
Ahlfors
Ignacio Tejeda
Facultad de Matematicas
Pontificia Universidad Catolica de Chile

1. Indroduccion
La derivada Schwarziana de una funcion analtica : C C con 0 6= 0 es
0 2
00 00 000 3 00
   
1
S = = 0 . (1)
0 2 0 2 0

Este operador fue introducido por Lagrange, y ha mostrado estar ntimamente relacionado
con las transformaciones de Mobius del plano complejo extendido C,b a saber, aquellas de
la forma
az + b
M (z) = ,
cz + d
donde a, b, c, d C y ad bc = 1. Especficamente, se sabe que si y son funciones
analticas localmente inyectivas definidas en un subconjunto abierto y conexo de C, la
existencia de una transformacion de Mobius M : Cb C b tal que = M es equivalente
a la condicion S = S.

La Schwarziana ha encontrado una de sus principales aplicaciones en la obtencion de

criterios para la univalencia de funciones analticas (ver, por ejemplo, [1]). Estos criterios
se basan principalmente en el estudio de Sf para el caso en que f es de la forma

f : (1, 1) C,

donde Sf se calcula tal como en la ecuacion 1. Ahlfors presenta en [2] un nuevo operador
que generaliza esta nocion de Sf para el caso en que f es una curva en R b n , es decir, un
mapeo de la forma f : (a, b) Rcn . Esta nueva version de la Schwarziana, que denomina-
remos Schwarziana de Ahlfors, es utilizada en [3] para la obtencion de un criterio para la
inyectividad de curvas en Rcn .

En este trabajo haremos una revision de las principales caractersticas de la Schwarziana,

tanto en su formulacion clasica como en la version de Ahlfors. Luego presentaremos parte
del resultado expuesto en [3] ya referido, y finalmente estudiaremos la manera en que la
Schwarziana de Ahlfors se relaciona con las transformaciones de Mobius de R cn ; especfica-
mente, intentaremos determinar si es posible establecer una correspondencia como la que
existe entre la Schwarziana de funciones analticas y las transformaciones de Mobius de
b mencionada arriba.
C,

1
2. Generalidades de la Schwarziana y la ecuacion u00 + pu = 0
A lo largo de esta seccion, hasta que se indique algo distinto, sera una funcion
analtica con valores en C, definida en un subconjunto abierto y conexo C, con 0 6= 0
en . Comenzaremos deduciendo la relacion que hay entre la Schwarziana de funciones
analticas y las transformaciones de Mobius de C,
b descrita en la introduccion. Para esto
haremos uso de la siguiente propiedad, cuya verificacion es inmediata.

Proposicion 1. Sea con Schwarziana S = 2p y sea u = (0 )1/2 . Entonces u es

solucion de la ecuacion
u00 + pu = 0. (2)

Nota: Es evidente que esta propiedad tambien es valida cuando : (a, b) R R.

Dado que toma valores en C, podemos asumir que si (z) = az+b cz+d , con ad bc = 1,
entonces d/c / . En esta situacion tenemos = (cz+d)2 , y por lo tanto u00 = 0. As, la
0 1

ecuacion 2 implica
1 0 1/2
( ) S = 0,
2
lo cual solo es posible si S = 0 en . Por otra parte, si es tal que S = 0 en , entonces
la ecuacion 2 se traduce en u00 = 0, que tiene solucion general u = cz + d. De aqu sigue
que
1
0 (z) = ,
(cz + d)2
de modo que (z) = az+b
cz+d , donde a, b C pueden escogerse de modo tal que se tenga
ad bc = 1. Con esto hemos probado lo siguiente.

Proposicion 2. : C C es de Mobius si y solo si S = 0 en .

Para dos funciones analticas arbitrarias f, g con derivada no nula, un calculo directo
arroja la siguiente formula para la Schwarziana de f g:

S(f g) = {(Sf ) g}(g 0 )2 + Sg. (3)

En particular, si f es invertible y g = f 1 , entonces obtenemos

0 = {(Sf ) f 1 }(f 0 f 1 )2 + Sf 1 ,

o escrito de otra manera,

Sf 1 () = {Sf (z)}(f 0 (z))2 , = f (z). (4)

Sea ahora : C otra funcion analtica satisfaciendo las mismas condiciones que
. Con miras a obtener la relacion que buscamos desde el comienzo de esta seccion, si
suponemos que existe una transformacion de Mobius M de C b tal que = M , entonces
la proposicion 2 y la ecuacion 3 muestran de inmediato que S = S. De modo que solo
falta establecer el recproco. Para esto observemos lo siguiente:

Nuestras hipotesis conllevan de manera implcita la suposicion de que es continua,

de manera que () es conexo.

2
 La condicion 6= 0 asegura que () es abierto y que es localmente inyectiva, es
decir, para cada () existe un entorno (que podemos suponer abierto y conexo)
V de en () tal que la restriccion de a W := 1 (V ) es una biyeccion entre
W y V . Llamemos 1 1
a la inversa de la restriccion de a W . Entonces es
analtica y tiene derivada no nula.
Puesto que () es conexo y por otras razones que no detallaremos aqu, S podemos
asumir que existe un subconjunto numerable {1 , 2 , . . .} () tal que () = nN Vn
y
n
[
Vj Vn+1 6= , para todo n N. (5)
j=1

Para cada n N, la ecuacion 4 aplicada a f 1 = 1

n se convierte en

S1 0 2
n () = {S(z)}( (z)) , = (z) Vn .
Luego, con esto y la igualdad 3 obtenemos
S( 1 0
n )() = {S(z)}( (z))
2
+ S1
n ()
= {S(z) S(z)}(0 (z))2 .

Por lo tanto, si suponemos que S = S en , entonces S( 1 n ) = 0 en Vn . Como

1
n es una funcion analtica con derivada no nula en el abierto conexo Vn , sigue de
la proposicion 2 que existe una transformacion de Mobius Mn de Cb tal que 1 = Mn
n
en Vn , es decir,
= Mn en Wn . (6)
Afirmamos que para todo n N se tiene Mn = M1 . En efecto, para n = 2 tenemos que
W1 W2 es un abierto no vaco que contiene al menos tres puntos distintos u1 , u2 , u3 tales
que (u1 ), (u2 ) y (u3 ) son todos distintos entre s. Aplicando la ecuacion 6 a n = 1 y
n = 2 vemos que M1 ((ui )) = M2 ((ui )) para i {1, 2, 3}, lo cual implica que M1 = M2 .
Si ahora asumimos que Mj = M1 para todo j {1, . . . , n}, entonces se tiene = M1
en nj=1 Wj , y puesto que
S Sn
j=1 Wj Wn+1 6= como consecuencia de la ecuacion 5,
el mismo argumento anterior prueba que Mn+1 = M1 .

Como resultado, hemos obtenido una transformacion de Mobius de C,

b a saber, M1 ,
que verifica
= M1 ,
lo que termina por probar la implicancia que faltaba. En resumen, tenemos este resultado:
Proposicion 3. Sean , : C C funciones analticas con derivada no nula,
definidas en un abierto conexo . Entonces la existencia de una transformacion de Mobius
M de C b tal que = M en , es equivalente a la condicion

S = S en .

Como mostraremos a continuacion, para que esta equivalencia entre las transformacio-
nes de Mobius y la Schwarziana sea valida en el caso en que se permite que o tomen
el valor , basta con dar una definicion apropiada de la Schwarziana que sea aplicable en
este contexto mas general. La definicion que usaremos es la siguiente.

3
Definicion 1. Sea f : Cb una funcion tal que f (z0 ) = para algun z0 y sea M
b que lleve en algun punto de C. Si S(M f )(z0 )
una transformacion de Mobius de C
existe, entonces se define
Sf (z0 ) = S(M f )(z0 ).

En virtud de lo que ya hemos probado, esta definicion es independiente de la transfor-

macion de Mobius M elegida. En efecto, si M1 y M2 son como en la definicion, entonces
M1 f (z0 ) C y M2 M11 es de Mobius, por lo tanto
S(M1 f )(z0 ) = S(M2 M11 M1 f )(z0 ) = S(M2 f )(z0 ).
az+b
Observacion: Si M (z) = cz+d , entonces SM (d/c) = 0.

Si Sf (z) existe en todo punto z , tanto para aquellos z donde f (z) 6= como
para aquellos donde f (z) = , diremos que f es una funcion con Schwarziana definida en
. Ahora podemos formular el resultado principal de esta seccion, en lo que refiere a la
Schwarziana.
Teorema 1. Sean , : C b funciones no sobreyectivas con Schwarziana definida en
bC
. Entonces la existencia de una transformacion de Mobius M : C b tal que = M
es equivalente a la condicion S = S.
Demostracion. Sean M1 , M2 transformaciones de Mobius de C
b tales que

M1 (()), M2 (()) C.
Entonces = M1 y = M2 estan definidas en y toman valores en C. Por
la definicion 1, la condicion S = S es equivalente a la condicion S = S . Pero la
proposicion 3 dice que esto ultimo es equivalente a la existencia de una transformacion de
Mobius M de C b tal que = M . Esto, a su vez, es equivalente a la existencia de una
transformacion de Mobius M de C b que satisface

= M ,
a saber, M = M11 M M2 .

Para concluir esta seccion revisamos algunas de las caractersticas de la ecuacion u00 +
pu = 0. Para nuestros propositos, p sera de la forma 2p = S, siendo una funcion a
valores reales con al menos tres derivadas continuas; en particular, p sera una funcion
continua. En este contexto consideraremos los siguientes resultados, cuyas demostraciones
no incluiremos aqu.
Proposicion 4. Sea p : (a, b) R una funcion continua y sea t0 (a, b). Entonces, para
y0 , y1 R, la unica solucion al problema
00
u + pu = 0
u0 (t0 ) = y1 . (7)
u(t0 ) = y0

esta definida en todo (a, b).

Proposicion 5. [Teorema de comparacion de Sturm] Sean u, v funciones positivas de-
finidas en un intervalo (a, b), tales que u00 + pu = 0 y v 00 + qv = 0, donde p y q son
funciones continuas verificando p q en (a, b). Si para t0 (a, b) se tiene u(t0 ) = v(t0 ) y
u0 (t0 ) = v 0 (t0 ), entonces u v en (a, b).

4
3. La Schwarziana de Ahlfors
Para f : (a, b) Rn de clase C 3 con f 0 6= 0, se definen

hf 0 , f 000 i hf 0 , f 00 i2 3 |f 00 |2
S1 f = 3 + , (8)
|f 0 |2 |f 0 |4 2 |f 0 |2
y
f 0 f 000 hf 0 , f 00 i 0
S2 f = 3 f f 00 . (9)
|f 0 |2 |f 0 |4
Aqu, para a = (ai )ni=1 y b = (bj )nj=1 denotamos
1/2
X X
ha, bi = ak bk , a b = (ai bj aj bi )ni,j=1 y |a b| = (ai bj aj bi )2 .
k i<j

Por razones que explicaremos mas adelante, llamamos Schwarziana de Ahlfors al operador

S1 + i|S2 |.

Estas definiciones aparentemente arbitrarias responden a la idea de identificar las par-

tes real e imaginaria de la Schwarziana de una funcion del tipo f : (a, b) C. Especfica-
mente, si usamos la correspondencia

z = x + iy C z = (x, y) R2 ,

entonces para una tal f tenemos que

S1 f = Re(Sf ) y |S2 f | = | Im(Sf )|,

de modo que
Sf = S1 f i|S2 f |. (10)
En efecto, como
f 000 hf 0 , f 000 i
 
1 000 0
Re = Re(f f ) =
f0 |f 0 |2 |f 0 |2
y
( 2 ) 2   00 2
f 00 f 00
 
f
Re = Re Im
f0 f 0 f0
  00 2  00  0 00 2 00 2
f   = 2 hf , f i |f | ,
f 
= 2 Re
f0  f0  |f 0 |4 |f 0 |2
000
 00 2
sigue directamente de la formula Sf = ff 0 32 ff 0 que Re(Sf ) = S1 f . Los calculos que
permiten obtener la otra igualdad son similares, y se dejan propuestos al lector.

A continuacion mostraremos una formulacion de un objeto que denotaremos Sf , dada

por los autores de [3] para el caso mas general en que n 2, y que de alguna manera
generaliza la nocion de Sf ya definida para el caso en que f : (a, b) C. Como veremos,
esta formulacion permite obtener una ecuacion similar a 10, pero mas precisa. En adelante,
Sf sera nuestro principal objeto de estudio.

5
 Supongamos que f : (a, b) Rn es de clase C 3 y que f 0 6= 0 en t0 (a, b), con n 3.
Sea K(t0 ) la esfera osculadora de dimension 2 de f en el punto f (t0 ). Sabemos que existe
g : (a, b) K(t0 ) tal que
g(t) = f (t) + o(|t t0 |3 ) , t t0 ,
de modo que, en virtud del orden de las derivadas involucradas en la definicion de S1 y
S2 , en t0 se tiene
S1 f = S1 g y S2 f = S2 g. (11)
En el caso en que K(t0 ) es una esfera no degenerada, podemos aplicar la proyeccion
estereografica de K(t0 ) en C, asignando f (t0 ) K(t0 ) a 0 C y dando a C la orientacion
usual de R2 R3 que queda determinada si llamamos (0, 0, R), R > 0, al vector que va
desde f (t0 ) al centro de K(t0 ). Bajo esta proyeccion, a la curva g le corresponde una curva
: (a, b) C, para la cual es posible calcular la Schwarziana tradicional. Entonces se
define
Sf (t0 ) = S(t0 ). (12)
Si K(t0 ) es un plano, entonces asignamos f (t0 ) K(t0 ) a 0 C, hacemos coincidir a con
g, damos a C la orientacion que haga que S tenga parte imaginaria positiva, y definimos
Sf como en 12.

Es importante notar algunos puntos:

Observacion 1. Tanto si la esfera K(t0 ) es degenerada como si no, el unico aspecto
relevante en la eleccion de la forma en que C se situa con respecto a K(t0 ) es la orientacion
ya referida; traslaciones y rotaciones corresponden a transformaciones de Mobius de C,
bajo las cuales S es invariante.
Observacion 2. La eleccion exacta de la curva g : (a, b) K(t0 ) es irrelevante puesto
que, para efectos de nuestro interes, solo las derivadas de orden no mayor a 3 entran en
juego.
Proposicion 6. Con la definicion recien dada para Sf , se tiene
Sf (t0 ) = S1 f (t0 ) + i|S2 f (t0 )|. (13)
En virtud de la definicion de Sf y de la propiedad 11, para probar lo anterior basta
con verificar que S(t0 ) = S1 g(t0 ) + i|S2 g(t0 )|, siendo y g las curvas ya descritas. Ahora
bien, de la definicion de S1 y S2 es posible observar que S1 g(t0 ) y |S2 g(t0 )| son invariantes
bajo cualquier transformacion de Rn de la forma x 7 Ox+a, con > 0, a Rn , y siendo
O una transformacion lineal ortogonal de Rn , es decir, una transformacion que satisface
hOu, Ovi = hu, vi para todos u, v Rn . Por esta razon podemos asumir que
K(t0 ) = {(x1 , x1 , x3 , 0, . . . , 0) Rn : x21 + x22 + x23 = 1},
y considerar la aplicacion de C = R2 : {(x1 , x2 , 0, . . .) Rn : xi R} en K(t0 ) R3 va
proyeccion estereografica, dada por
 
2x 2y 2
P (x + iy) = , , 1 . (14)
1 + x2 + y 2 1 + x2 + y 2 1 + x2 + y 2
Un calculo extenso pero directo muestra que S1 (P )(t0 ) = Re(S(t0 )) y que las compo-
nentes cij de S2 (P )(t0 ) son c13 = c23 = 0 y c12 = Im(S(t0 )). De esto y de la definicion
de Sf (t0 ) como numero complejo con parte imaginaria no negativa, sigue la ecuacion 13.

6
4. cn y la Schwarziana de
Transformaciones de Mobius de R
Ahlfors
Recordemos que las transformaciones de Mobius de C b = C {} son aquellas de la
forma
az + b a, b, c, d C
M (z) = , .
cz + d ad bc 6= 0

Para una transformacion de este tipo definida en C,b M (z) se calcula mediante las opera-
ciones usuales de numeros complejos cuando z / { dc , }, mientras que M ( dc ) = y
M () = ac por definicion. En cualquier caso, se adoptan las convenciones usuales para las
operaciones algebraicas entre y numeros de C.

La condicion ad bc 6= 0 asegura que M no es identicamente constante. Esto queda

en evidencia si se escribe
az + b a ad bc
= . (15)
cz + d c c(cz + d)
Mas aun, puesto que para todo K C con K 6= 0 se tiene
az + b Kaz + Kb
= ,
cz + d Kcz + Kd
podemos asumir sin perdida de generalidad que a, b, c y d son tales que

ad bc = 1. (16)

La ecuacion 15 ademas refleja el hecho de que toda transformacion de Mobius de C

b es
composicion de mapeos de la forma
1
z 7 z + , z 7 z y z 7 z = , z C,
b
z
donde , C y 6= 0, con la convencion de que + = , = , 0 = y = 0.

cn = Rn {} usamos las siguientes

Para definir transformaciones de Mobius de R
versiones de los tres mapeos anteriores:
x
x 7 x + a , x 7 Ox , x 7 x = cn ,
, xR (17)
|x|2
donde a Rn , > 0 y O es una transformacion lineal ortogonal de Rn ; adoptamos la
convencion de que + a = , O = , 0 = y = 0. Decimos que una transfor-
cn es cualquier composicion de mapeos como los dados en 17.
macion de Mobius de R

Para a Rn , r > 0 y S(a, r) = { Rn : | a| = r} Rn , se suele llamar reflexion

en la esfera S(a, r) a la transformacion de Mobius
 2
r
x 7 a + (x a).
|x a|

Un mapeo de este tipo siempre revierte orientacion, y un calculo directo muestra que su
diferencial es una aplicacion lineal conforme. Otra propiedad interesante es que los puntos
fijos de la reflexion en S(a, r) son exactamente los puntos de S(a, r).

7
Por otra parte, las traslaciones, dadas por x 7 x + a, evidentemente son conformes y
preservan orientacion, mientras que las trasformaciones lineales conformes x 7 Ox son
claramente conformes, y preservan o revierten orientacion segun det O sea 1 o 1, respec-
tivamente.

Tambien es sencillo comprobar que las transformaciones de Mobius de C

b actuan exac-
tamente de la misma manera en que lo hacen las transformaciones de Mobius de Rc2 que
preservan orientacion.

Podemos resumir esta discusion un dos puntos:

1. Todas las transformaciones de Mobius de C

b preservan orientacion, mientras que no
n
todas aquellas de R lo hacen.
c

2. Existe una correspondencia biunvoca entre las transformaciones de Mobius de C

b y
2
la familia de aquellas de R que preservan orientacion.
c

El siguiente teorema es parte de un resultado expuesto en [5] que describe explcita-

cn . Aqu enunciamos
mente la forma que pueden tomar las transformaciones de Mobius de R
una parte de el que sera util mas adelante en esta seccion.
cn .
Teorema 2. Sea M una transformacion de Mobius de R

1. Si M () = , entonces
M (x) = Ox + a,
para algunos > 0, a Rn , y O transformacion linal ortogonal.

2. Si M () 6= , entonces
M (x) = O(x) + a,
con , a y O como en el punto 1, y alguna reflexion.

Recordemos que un asunto del que nos queremos ocupar es el de determinar si las
transformaciones de Mobius de R cn son exactamente las transformaciones bajo las cuales
la Schwarziana de Ahlfors es invariante. En este contexto, en virtud de la primera observa-
cion y de la naturaleza vectorial de S2 , es esperable que esta ultima no sea invariante por
transformaciones de Mobius de R cn . Por otra parte, S1 no se ve modificada por cambios
de orientacion. Por lo tanto es razonable esperar que, si hay algun tipo de invariancia de
(S1 , S2 ) bajo transformaciones de Mobius de Rcn , esta encuentre su realizacion en S1 y |S2 |.
De este modo, resulta natural centrar nuestra atencion, de aqu en adelante, en el analisis
de S = S1 +i|S2 |, objeto para el cual ya tenemos una interpretacion geometrica interesante.

En consideracion con la idea de invarianza mencionada en el parrafo anterior, y dado

que el contenido de la proposicion 6 lleva implcito el hecho de que S es invariante por la
proyeccion estereografica de una esfera de dimension 2 en un plano, es relevante tener en
cuenta el siguiente hecho.

Proposicion 7. Sea K R cn una esfera de dimension 2 y centro C. Sea P : K

la proyeccion estereografica en K desde un plano que pasa por C. Entonces P es la
cn .
restriccion a de una transformacion de Mobius de R

8
Demostracion. Sin perdida de generalidad, podemos asumir que

K = {(x1 , x2 , x3 , 0, . . . , 0) Rn : x21 + x22 + x23 = 1}

y = {(x1 , x2 , 0, 0, . . . , 0) : x1 , x2 R}.

Si el caso fuera otro, entonces es posible hallar una transformacion de Mobius de Rcn que
lleve K y en aquellos senalados arriba. En la situacion dada arriba basta con verificar
que P , cuya formula esta dada en la ecuacion 14, es la restriccion a de la aplicacion
cn R
P : R cn dada por P (x) = M1 M2 M3 (x), donde
x
M3 (x) = , M 2 (y) = 2y y M1 (z) = z + e3 , (18)
|x|2

de modo que P es de Mobius. La verificacion de que P  = P es directa.

Nota: Se sugiere revisar [5], donde se muestra como escribir la proyeccion estereografica
de Rn en Sn R
c [ n+1 como una transformacion de Mobius, para cualquier n N. Tambien

se muestra explcitamente como extender cualquier transformacion de Mobius M de R cn a

una transformacion de Mobius M particular de R [n+1 , llamada extension de Poincare, y

en cuya formulacion se inspira la eleccion de las transformaciones dadas en 18.

Ahora estamos en condiciones de probar que S es invariante por transformaciones de

cn .
Mobius de R
Proposicion 8. Sea f : (a, b) Rn una curva de clase C 3 con f 0 (t0 ) 6= 0, t0 (a, b), y
cn tal que M (f (t0 )) 6= . Entonces
sea M una transformacion de Mobius de R

S(M f )(t0 ) = Sf (t0 ).

Demostracion. Sea K(t0 ) la esfera osculadora de f en f (t0 ), que puede ser degenerada, y
sea g1 : (a, b) K(t0 ) como en la construccion previa a la ecuacion 12. Entonces M enva
K(t0 ) en una esfera K 0 (t0 ) posiblemente degenerada que tiene orden de contacto 3 con
M f en el punto M f (t0 ), y por lo tanto es la esfera osculadora de dicha curva en ese
punto. Mas aun, la curva g2 : (a, b) M (K(t0 )) dada por g2 (t) = M (g1 (t)), es tal que

g2 (t) = M f (t) + o(|t t0 |3 ) , t t0 .

En virtud de la observacion 2, podemos designar a g2 como la curva asociada a M f segun

la construccion ya mencionada. Sean p1 y p2 las proyecciones dadas por tal construccion,
y denotemos
1 (t) = p1 (g1 (t)) y 2 (g2 (t)).
Entonces la proposicion 7 implica que existe una transformacion de Mobius M0 de Rcn tal
que
2 (t) = M0 1 (t) , t (a, b).

Para concluir, basta con mostrar que M0 1 : 1 2 actua como una transforma-
c2 . En efecto, si esto es as, entonces S2 (t0 ) = S1 (t0 ) o bien
cion de Mobius de R
S2 (t0 ) = S1 (t0 ), concibiendo j como curvas en C. Pero como S1 y S2 son construi-
das con parte imaginaria no negativa, necesariamente debe tenerse S1 (t0 ) = S2 (t0 ).

El hecho de que M0 1 tiene esta caracterstica es una consecuencia del teorema 2. Si

9
M0 () = , entonces la conclusion es directa, mientras que si M0 () 6= , entonces la
reflexion involucrada en M0 debe llevarse a cabo en una esfera centrada en un punto de
1 , ya que en otro caso M0 (1 ) no sera un plano.

Esta propiedad permite dar una definicion de Sf (t0 ) para el caso en que f (t0 ) =
siguiendo el mismo espritu de la forma en que esto fue hecho para el caso f : C C.
b

cn tal que f (t0 ) = para algun t0 (a, b) y sea M una

Definicion 2. Sea f : (a, b) R
b que lleve en algun punto de Rn . Si S(M f )(t0 ) existe,
transformacion de Mobius de C
entonces se define
Sf (t0 ) = S(M f )(t0 ).

Gracias a la proposicion 8, esta definicion no depende de la eleccion particular de M .

Decimos que f es una curva con Sf definida en (a, b) si Sf (t) existe para todo t (a, b),
es decir, tanto para aquellos t donde f (t) 6= como para aquellos donde f (t) = . Ahora
podemos dar una version mas general de la proposicion 8:

Proposicion 9. Sea f : (a, b) R cn una curva con Sf definida en (a, b). Si M es una
cn , entonces
transformacion de Mobius de R

S(M f ) = Sf.

5. cn
Criterio para la inyectividad de una curva en R
Aqu mostramos parte del resultado principal presentado en [3], que fue mencionado
en la introduccion.

Teorema 3. Sea p : (1, 1) R una funcion continua tal que ninguna solucion no trivial
de la ecuacion u00 + pu = 0 tiene mas de un cero. Sea f : (1, 1) R
cn una curva con Sf
definida en (1, 1). Si

S1 f 2p en (1, 1), (19)

entonces f es inyectiva.

Demostracion. Supongamos que existen puntos distintos t1 < t2 en (a, b) tales que f (t1 ) =
f (t2 ) y f es inyectiva en [t1 , t2 ). Sea M una transformacion de Mobius de R cn que lleve
f (t1 ) = f (t2 ) en y sea g = M f , que tiene Sg definidaRen (1, 1) y satisface g 0 6= 0 en
s
(1, 1). Consideremos : (a, b) R definida por (s) = a |g 0 (t)|dt, s (a, b). Entonces
es de clase C 3 y tenemos

hg 0 , g 00 i hg 0 , g 000 i |g 00 |2 hg 0 , g 00 i2
0 = |g 0 | , 00 = y 000 = + 0 .
|g 0 | |g 0 | |g | |g 0 |3

La primera igualdad es obvia, mientras que para obtener la segunda y la tercera basta con
derivar con respecto a s en las igualdades 02 = hg 0 , g 0 i y 0 00 = hg 0 , g 00 i, respectivamente.
As, por la proposicion 1 sigue que v = (0 )1/2 es solucion de v 00 + qv = 0, donde

1 |g 00 |2 hg 0 , g 00 i2
 
2q = S = S1 g S1 g = S1 f 2p,
2 |g 0 |2 |g 0 |4

10
de modo que q p. Aqu hemos usado que |g 00 |2 /|g 0 |2 hg 0 , g 00 i2 /|g 0 |4 por Cauchy-Schwarz,
y que S1 g = S1 f puesto que M es de Mobius. Sea t0 (x1 , x2 ) y sea u la solucion al
problema 00
u + pu = 0
u(t0 ) = v(t0 ) .
0
u (t0 ) = v 0 (t0 )
El teorema de comparacion de Sturm implica que v u en el intervalo que contiene a
t0 donde u es no negativa. Pero por hipotesis, u tiene como maximo un cero en (a, b), de
modo que existe una vecindad de t1 o bien t2 donde u tiene una cota inferior positiva, y
entonces lo mismo sucede para v. Pero esto es ultimo una contradiccion, pues en tal caso
|g 0 | estara acotada superiormente en dicha vecindad.

6. cn con igual S1 + i|S2 |

Curvas en R
Ahora centramos nuestra atencion en determinar si es posible establecer una equiva-
lencia entre las siguientes condiciones:

1. Dadas f, g : (1, 1) Rcn con Sf y Sg definidas en (1, 1), existe una transforma-
cn tal que g = M f .
cion de Mobius de R

2. Sf = Sg en (1, 1).

Dado que la implicancia de 1 hacia 2 ya fue establecida en la proposicion 9, solo falta

estudiar el recproco.

Para comenzar estudiamos el caso en que n = 2, que esta provisto de la identificacion

de R2 con C. Consideramos dos curvas f, g : (1, 1) Cb con Schwarziana definida en
(1, 1) y suponemos que
Sf = Sg en (1, 1), (20)
donde Sf y Sg se calculan como en 13, considerando, con un cierto abuso de notacion, a
f (t) y g(t) como puntos en R2 para efectos de este calculo.

Gracias a la proposicion 9 podemos asumir sin perdida de generalidad (va aplicacion

de una transformacion de Mobius apropiada) que f y g no pasan por , es decir, f, g :
(1, 1) C, donde f y g son de clase C 3 y tienen derivada no nula en (1, 1). Recordemos
ademas que para : (1, 1) C se tiene S = S1 |S2 |. Por lo tanto, podemos aplicar
una reflexion con respecto al eje real a f y g de modo tal que se tenga

Sf = Sf y Sg = Sg,

siendo S la Schwarziana calculada en su forma original. Puesto que la version correspon-

c2 de tal reflexion es, en efecto, una transformacion de Mobius de R
diente a R c2 , podemos
asegurar que llevar a cabo esta transformacion no conlleva perdida de generalidad alguna
para efectos de la obtencion de una transformacion M con la propiedad del punto 1. En
estas condiciones, las igualdades Sf = Sg y Sf = Sg son equivalentes.

11
 Bajo las condiciones anteriores, afirmamos que para cada t (1, 1) existe alguna
transformacion de Mobius de C
b
a(t)z + b(t)
Mt (z) = (21)
c(t)z + d(t)
tal que
Mt (f (t)) = g(t)
s Ms s=t (f (t)) = 0 (22)
s Ms0 s=t (f (t)) = 0,

d
donde Mt0 = Mt (z).
dz
En efecto, las igualdades dadas en 22 se reescriben como

af + b

=g
cf + d





,

(a0 f + b0 )(cf + d) (af + b)(c0 f + d0 ) = 0



(cf + d)(c0 f + d0 ) = 0

donde todas las cantidades estan evaluadas en t (1, 1). La ultima ecuacion implica que
cf + d = 0 o bien c0 f + d0 = 0. El primer caso es incompatible con la primera ecuacion,
pues g no pasa por . Por lo tanto

c0 f + d0 = 0, (23)

de manera que de la segunda ecuacion se desprende

a0 f + b0 = 0. (24)

Lo que nos gustara probar es que Mt puede tomarse independiente de t. Si bien existen
funciones a(t), b(t), c(t) y d(t) que satisfacen las ecuaciones anteriores y la identidad ad
bc = 1, no hay, a priori, una manera de asegurar que dichas funciones sean constantes.
Lo que haremos a continuacion sera mostrar que la suposicion adicional de que Sf = Sg
implica que, de hecho, las funciones a, b, c y d deben ser necesariamente constantes.
Lema 1. Si Sf = Sg en (1, 1) y {Mt }t(1,1) es una familia de transformaciones de
Mobius de C
b dadas como en 21 y 22, entonces

s Ms00 s=t (f (t)) = 0 , t (1, 1).


(25)

Demostracion. Consideramos la ecuacion g(t) = Mt (f (t)) y derivamos con respecto a t,

teniendo en cuenta las dos ecuaciones restantes en 22. Entonces en t (1, 1) obtenemos

g 0 = f 0 Mt0 f
g 00 = (f 0 )2 Mt00 f + f 00 Mt0 f
g 000 = (f 0 )3 Mt000 f + 3f 0 f 00 Mt00 f + f 000 Mt0 f + (f 0 )2 s Ms00 s=t f.


A partir de esto, un calculo directo muestra que

f0
Sg = Sf + (f 0 )2 S(Mt ) f + s Ms00 s=t f.

0 (26)
Mt

12
Como Mt es de Mobuis en C, b entonces S(Mt ) = 0. Por lo tanto, si Sf = Sg, segun la
discusion anterior al lema tenemos Sf = Sg, y luego de 26 se desprende que
s Ms00  (f (t)) = 0.

s=t

Puesto que
2c(s)
Ms00 (z) = ,
(c(s)z + d(s))3
es directo comprobar que la ecuacion 25 implica que en t se cumple
(cz + d)2 {c0 (cz + d) 3c(c0 z + d0 )} = 0 , z C. (27)
Tomando z = f (t), considerando que cf + d 6= 0 dado que g no pasa por , y usando la
ecuacion 23, vemos que la igualdad 27 solo es posible si
c0 = 0. (28)
Entonces de la ecuacion 23 se desprende que
d0 = 0. (29)
Finalmente, observemos que como ad bc = 1 entonces
a0 d b0 c = 0. (30)
b0
La ecuacion 24 muestra que en aquellos t donde f (t) = 0 se tiene = 0, y que en aquellos
t donde f (t) 6= 0 se tiene, por 30, que
   
0 0 0 0 d 0 d 0 d
0 = a d b c = (a f + b ) b + c = b +c .
f f f
Por lo tanto, como cf + d 6= 0, necesariamente se verifica
b0 = 0, (31)
y luego, por 24,
a0 = 0. (32)
En resumen, hemos probado que si Sf = Sg en (1, 1) entonces los coeficientes a, b, c y d
son efectivamente constantes en (1, 1). Esto concluye la demostracion de que si Sf = Sg
entonces existe una transformacion de Mobius M de Cb verificando
g = M f.

Referencias
[1] Z. Nehari, Univalence criteria depending on the Schwarzian derivative,
Illinois J. Math. 23 (1979), 345-351.
[2] L. V. Ahlfors, Cross-ratios and Schwarzian derivatives in Rn , Complex Analy-
sis, 1-15, Birkhauser, Basel, 1988.
[3] M. Chuaqui, J. Gevirtz, Simple curves in Rn and Ahlfors Schwarzian deriva-
tive, Proceedings of the American Mathematical Society, vol. 132, n.1, 223-230.
[4] G. Teschl, Ordinary differential equations and Dynamical Systems.
[5] A. Beardon, The Geometry of Discrete Groups, Graduate Texts in Mathematics,
Springer-Verlag

13