Está en la página 1de 4

Derivada de Schwarz

David Vivas
September 2015

Introduction

Siendo f una funci


on analtica, se define la derivada de Schwarz como:
 2  00 0
 2
f 000
3 f 00
1 f 00
f
S(f (x)) = 0

=
f
2 f0
f0
2 f0

(1)

Aqu, f (x) es una funci


on en una variable (real o compleja) y f 0 (x), f 00 (x),...
son sus derivadas.
La ecuaci
on (1) tiende a aparecer en campos aparentemente sin relacion a las
matem
aticas: an
alisis complejo, ecuaciones diferenciales y en dinamica unidimensional.
Propiedades

1. S(f ) = S(g) si y solo si se cumple que:


g(x) =

(af (x) + b)
(cf (x) + d)

(2)

donde a,b,c,d son constantes (reales o complejas) que cumplen con la


condici
on: ad bc 6= 0
De manera particular, S(f ) = 0 si y solo si f es una transformacion fraccional lineal, es decir que:
f (x) =
1

ax + b
cx + d

(3)

Demostraci
on. sea f (x) como la ecuacion (3), entonces S(f ) queda:
f 0 (x) =

adbc
(cx+d)2

f 00 (x) =

2c(adbc)
(cx+d)3

f 000 (x) =

6c2 (adbc)
(cx+d)4

Aplicando la ecuaci
on (1) a f nos queda que S(f (x)) = 0

2. Si g es una funci
on analtica, para la cual la composicion f g esta definida,
entonces:

S(f g) = (S(f (x)) g)(g 0 ) + S(g(x))

(4)

Note la consecuencia de que si S(f ) = S(g) entonces f es una transformaci


on de Mobius de h y viceversa.
Si suponemos que S(f ) < 0 y S(g) < 0, entonces S(f g) < 0.
Una de las aplicaciones mas interesantes de la derivada de Schwarz es el
Principio Schwarziano Max-Min: Suponga que S(f ) < 0, entonces f 0
no puede tener un punto local positivo mnimo o un punto local negativo
m
aximo.
Demostraci
on: sea x0 un punto critico de f 0 . Esto significa que f 00 (x0 ) =
0. Suponga que f 0 (x0 ) 6= 0, entonces:
S(f (x0 )) =

f 000 (x0 )
<0
f 0 (x0 )

(5)

Ahora, suponiendo que f 0 tiene un mnimo local positivo en x0 , entonces,


f 000 (x0 ) , pero si x0 es un mnimo local entonces f 0 (x0 ) > 0, lo cual
podra causar que S(f (x0 )) 0, lo cual genera una contradiccion y estara
demostrada la hip
otesis.
Proposici
on.- Suponga que P(x) es un polinomio y todas las races de P(x)
son reales y distintas, entonces S(P (x)) < 0.
2

Demostraci
on.- ya que P(x) tiene races distintas se puede escribir:P 0 (x) =
PN
(x1 )...(xN ), por lo tanto log(P 0 (x)) = log()+ i=1 (x 1 )...(x N ),
si derivamos usando la regla de la cadena, encontramos que:
N

P 00 (x) X 1
=
P 0 (x)
x ai
i=1

(6)

derivando otra vez con la regla del cociente se tiene:

P 000 (x)P 0 (x) (P 00 (x))


(P 0 (x))

P 000 (x)

P 0 (x)

P 00 (x)
P 0 (x)

2
=

N
X

1
2

i=1

(x ai )

(7)

Por lo tanto:
!2
 00
2

2 X
N
N
1 X 1
P (x)
1 P 00 (x)
1
P 000 (x)

=
S(P (x)) = 0
2 2
P (x)
P 0 (x)
2 P 0 (x)
x i
i=1 (x ai )
i=1
(8)
lo que demuestra que S(P (x)) < 0
Teorema.- Si el mapa de f en R tiene una derivada negativa de Schwarz
y si p es un punto fijo o un punto periodico para f , entonces: a) p tiene una
cuenca atractora infinita, b) existe un punto crtico de f en la cuenca de p o c)
p es una fuente.
Demostraci
on.- Asumiremos que p no es una fuente ni una cuenca infinita y
probaremos que existe un punto crtico c de f en la cuenca de p.
Primero consideremos el caso basico f (p) = p, f 0 (p) 0. Si p es por si mismo
un punto crtico de f , entonces esta demostrado, pero si 0 < f 0 (p) 1, ya que p
no es una fuente. Es claro que p no tiene una cuenca infinita, entonces podemos
concluir que, ya sea que f tiene un punto crtico en la cuenca de p, en cuyo caso
esta demostrado, o existe un intervalo (a,b) que contiene a p tal que f 0 (a) 1
y f 0 (b) 1. Ya que f 0 (p) 1, existe un mnimo local m para f 0 en la cuenca
de p. Note que f 00 (m) = 0 y f 000 (m) > 0, por lo que la derivada de Schwarz
negativa implica que f 0 (m) < 0. Por el teorema del valor intermedio existe un
n
umero c entre p y m talque f 0 (c) = 0. Ya que el intervalo (a,b) esta contenido
3

en la cuenca de p y a < c < b, se ha encontrado un punto crtico en la cuenca


de p.
Ahora describiendo el caso general, en el cual p es un punto periodico de periodo
k. Ya que p no es una fuente ni una orbita con cuenca infinita para el mapa
de f , lo mismo es cierto para el punto fijo p del mapa f 2k . Ya que (f 2k )0 (p) =
(f k )0 (p)2 , sabemos que 0 ()f 2k0 (p) 1.
Si (f 2k )0 (p) = 0, entonces existe un punto crtico en la orbita de p y por lo tanto
en la cuenca de p. Nos queda el caso 0 < (f 2k )0 (p) 1, este tambien tiene
derivada negativa de Schwarz. Por lo tanto concluimos que f 2k tiene un punto
crtico en la cuenca de p y por lo tanto tambien f tiene un punto crtico en la
cuenca de p.

Referencias
1. The Schwarzian Derivative. Valentin Ovsienko y Sergei Tabachnikov
2. Old and new on the Schwarzian Derivative. Brad Osgood
3. Generalized Chain rule for Schwarzian Derivatives and its applications