Documente Academic
Documente Profesional
Documente Cultură
David Vivas
September 2015
Introduction
=
f
2 f0
f0
2 f0
(1)
(af (x) + b)
(cf (x) + d)
(2)
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:
(4)
f 000 (x0 )
<0
f 0 (x0 )
(5)
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)
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
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