Un estudio de la familia

f,,z0 (z) = sen(z) + zz

o
Josue Vazquez Rodrguez
FCFM-BUAP

Primavera 2015

SEGUNDO FORO DE AVANCE DE TESIS.

DIRECTOR DE TESIS: DRA. PATRICIA DOMINGUEZ SOTO.

Josu
e V
azquez Rodrguez (FCFM-BUAP) Un estudio de la familia f,,z (z) = sen(z) + zz

Primavera 2015

1 / 25

Muchos de los trabajos han sido hechos acerca de la teora de iteracion

de funciones racionales, pero existe ademas un considerable numero
de documentos relacionados a funciones trascendentes enteras, por
ejemplo los trabajos de A. Eremenko y M. Lyubich [12]-[15].
En las ultimas decadas trabajos sobre iteracion de funciones trascendentes meromorfas han sido tambien llevados a cabo, por mencionar a
I.N. Baker [2]-[7] y W. Bergweiler [8], entre otros.

Josu
e V
azquez Rodrguez (FCFM-BUAP) Un estudio de la familia f,,z (z) = sen(z) + zz

Primavera 2015

2 / 25

Un primer estudio del plano de parametros para la familia

G = {g (z) = sen(z), C \ {0}}
buscando propiedades que no haban sido investigadas, se realizo en
2002 por P.Domnguez y G. Sienra [10].

Josu
e V
azquez Rodrguez (FCFM-BUAP) Un estudio de la familia f,,z (z) = sen(z) + zz

Primavera 2015

3 / 25

La clase de funciones M
Definicion
Se define la siguiente clase de funciones:
b | f es una funcion trascendente meromorfa con
M = {f : C C
al menos un polo que no es un valor omitido}
Ejemplo
1
f (z) = sen(z) + , g (z) = tan(z) M
z

Josu
e V
azquez Rodrguez (FCFM-BUAP) Un estudio de la familia f,,z (z) = sen(z) + zz

Primavera 2015

4 / 25

En el caso de nuestra familia de funciones:

F,,z0 = {f (z) = sen(z) +

,
zzo

, C {0}, z0 C}

Como es distinto de cero, f,,z0 es analtica en el plano complejo

salvo en el punto z0 donde cada una de la funciones de la familia F tiene
un polo simple, ademas poseen una singularidad esencial en infinito.
Esto es, F,,z0 es una familia de funciones trascendentes meromorfas.

Josu
e V
azquez Rodrguez (FCFM-BUAP) Un estudio de la familia f,,z (z) = sen(z) + zz

Primavera 2015

5 / 25

Geometra

Un primer aspecto a analizar es la geometra que guarda cada una de

las funciones de la familia
F = {f,,z0 (z) = sen(z) +

, , , z0 C}
z z0

Para ello, empezaremos cuando = = 1 y a partir de esto ver

que modificaciones sobre la geometra al variar los parametros.

Josu
e V
azquez Rodrguez (FCFM-BUAP) Un estudio de la familia f,,z (z) = sen(z) + zz

Primavera 2015

6 / 25

Figura: Transformaci
on del plano bajo la funcion sen(z)

Josu
e V
azquez Rodrguez (FCFM-BUAP) Un estudio de la familia f,,z (z) = sen(z) + zz

Primavera 2015

7 / 25

Figura: Transformaci
on del plano bajo la funci
on sen(z) + 1/z

Josu
e V
azquez Rodrguez (FCFM-BUAP) Un estudio de la familia f,,z (z) = sen(z) + zz

Primavera 2015

8 / 25

Figura: Transformacion del plano bajo la funci

on (5 + 3i) sen(z) +

Josu
e V
azquez Rodrguez (FCFM-BUAP) Un estudio de la familia f,,z (z) = sen(z) + zz

5+3i
z

Primavera 2015

9 / 25

Figura: Transformacion del plano bajo la funci

on 3 sen(z) +

Josu
e V
azquez Rodrguez (FCFM-BUAP) Un estudio de la familia f,,z (z) = sen(z) + zz

2+4i
z

Primavera 2015

10 / 25

Puntos crticos y valores crticos de

la familia f

Teorema
La familia F = {f (z) = sen(z) + z1 , , z C {0}} tiene una
infinidad de puntos crticos y de valores crticos. Mas aun, y
son puntos de acumulacion de los valores crticos.

Josu
e V
azquez Rodrguez (FCFM-BUAP) Un estudio de la familia f,,z (z) = sen(z) + zz

Primavera 2015

11 / 25

Puntos crticos y valores crticos de

la familia f,,z0

Teorema

La familia F = {f,,z0 (z) = sen(z) + zz

, , z C {0}} tiene
0
una infinidad de puntos crticos y de valores crticos. Mas aun, y
son puntos de acumulacion de los valores crticos.

Josu
e V
azquez Rodrguez (FCFM-BUAP) Un estudio de la familia f,,z (z) = sen(z) + zz

Primavera 2015

12 / 25

Familias Normales

Definicion
Sea F una familia de funciones. Decimos que F es normal sobre un
conjunto abierto C si cada sucesion {fn } F contiene una subsucesion tal que
1

Converge uniformente a una funcion f sobre cada conjunto compacto de , o bien

Converge uniformemente a sobre cada conjunto compacto de
.

Josu
e V
azquez Rodrguez (FCFM-BUAP) Un estudio de la familia f,,z (z) = sen(z) + zz

Primavera 2015

13 / 25

Conjuntos de Fatou y Julia

Definicion
Se define el conjunto de Fatou de una funcion f M como:
b : {f n : n N} esta bien definida
F(f ) = {z C
y es normal en alguna vecindad de z}.

Josu
e V
azquez Rodrguez (FCFM-BUAP) Un estudio de la familia f,,z (z) = sen(z) + zz

Primavera 2015

14 / 25

Conjuntos de Fatou y Julia

Definicion
Se define el conjunto de Fatou de una funcion f M como:
b : {f n : n N} esta bien definida
F(f ) = {z C
y es normal en alguna vecindad de z}.
Definicion
Se define el conjunto de Julia de una funcion f M como:
b \ F (f )
J(f ) = C

Josu
e V
azquez Rodrguez (FCFM-BUAP) Un estudio de la familia f,,z (z) = sen(z) + zz

Primavera 2015

14 / 25

Conjuntos de Fatou y Julia

Definicion
Se define el conjunto de Fatou de una funcion f M como:
b : {f n : n N} esta bien definida
F(f ) = {z C
y es normal en alguna vecindad de z}.
Definicion
Se define el conjunto de Julia de una funcion f M como:
b \ F (f )
J(f ) = C
Algunas de sus propiedades pueden ser consultadas en [8].

Josu
e V
azquez Rodrguez (FCFM-BUAP) Un estudio de la familia f,,z (z) = sen(z) + zz

Primavera 2015

14 / 25

Clasificacion de las componentes de Fatou

Teorema
Sea f una funcion meromorfa y U una componente periodica de F (f )
de periodo n. Entonces se tiene alguna de las siguients 5 posibilidades:
A) La componente U contiene un punto z0 tractor de periodo n. Entonces f nk (z) z0 para toda z en U cuando k tiende a infinito. La
componente U se llama la cuenca inmediata de atraccion de z0 .
B) La frontera de U contiene un punto periodico z0 de periodo n,
tal que f nk (z) z0 para toda z en U cuando k tiende a infinito.
Entonces |f n 0(z0 ])| = 1. En este caso a U se le llama dominio de
Leau o dominio parabolico.

Josu
e V
azquez Rodrguez (FCFM-BUAP) Un estudio de la familia f,,z (z) = sen(z) + zz

Primavera 2015

15 / 25

C) Existe un homeomorfismo analtico : U D, con D el disco

unitario, tal que conjuga a f n con exp2 z para irracional, es
decir, una rotacion irracional. En tal caso, U se llama disco de Siegel.
D) Existe un homeomorfismo analtico : U A, donde A es un
anillo, A = {z : 0 < |z| < r },con r > 1, tal que conjuga a f n con
exp2 z para irracional, es decir, una rotacion irracional. En tal caso,
U se llama anillo de Herman.
E) Existe un punto z0 en la frontera de U tal que f nk (z) z0 para
toda z en U cuando k tiende a infinito, pero f n (z0 ) no esta definida.
En este caso U se llama dominio de Baker.

Josu
e V
azquez Rodrguez (FCFM-BUAP) Un estudio de la familia f,,z (z) = sen(z) + zz

Primavera 2015

16 / 25

Caracterizacion de las componentes atractoras

Para que la familia
F = {f,,0 (z) = sen(z) +

, , , C}
z

pueda poseer una componente atractora con punto atractor w C,

debe cumplirse que:
1) w12 sen(w )
2) = ( w1

c
w

1
w

cos(w ) 6= 0

)/(

1
w2

sen(w )

3) = (c sen(w ) w cos(w ) )/(

1
w
1
w2

cos(w ) )
sen(w )

1
w

cos(w ) )

donde c C, |c| < 1.

Josu
e V
azquez Rodrguez (FCFM-BUAP) Un estudio de la familia f,,z (z) = sen(z) + zz

Primavera 2015

17 / 25

Ejemplo de componente atractora

Ejemplo

Figura: Plano dinamico de f,,0 para w = , = 1, = 2

Josu
e V
azquez Rodrguez (FCFM-BUAP) Un estudio de la familia f,,z (z) = sen(z) + zz

Primavera 2015

18 / 25

Caracterizacion de los Dominios de Leau

Para que la familia
F = {f,,0 (z) = sen(z) +

, , , C}
z

pueda poseer un Dominio de Leau con punto fijo indiferente racional

w C, debe cumplirse que:
1) w12 sen(w )
2) = ( w1

c
w

1
w

cos(w ) 6= 0

)/(

1
w2

sen(w )

3) = (c sen(w ) w cos(w ) )/(

1
w
1
w2

cos(w ) )
sen(w )

1
w

cos(w ) )

donde c C, |c| = 1 y |f 0 (c)| es raz de la unidad.

Josu
e V
azquez Rodrguez (FCFM-BUAP) Un estudio de la familia f,,z (z) = sen(z) + zz

Primavera 2015

19 / 25

Ejemplo de Dominio de Leau

Ejemplo

Figura: Plano dinamico de f,,0 para w = 2 , = 1 , = 4

Josu
e V
azquez Rodrguez (FCFM-BUAP) Un estudio de la familia f,,z (z) = sen(z) + zz

Primavera 2015

20 / 25

Caracterizacion de los Dominios de Leau

Para que la familia
F = {f,,0 (z) = sen(z) +

, , , C}
z

pueda poseer un Disco de Siegel con punto fijo indiferente irracional

w C, debe cumplirse que:
1) w12 sen(w )
2) = ( w1

c
w

1
w

cos(w ) 6= 0

)/(

1
w2

sen(w )

3) = (c sen(w ) w cos(w ) )/(

1
w
1
w2

cos(w ) )
sen(w )

1
w

cos(w ) )

donde c C, |c| = 1 y |f 0 (c)| no es raz de la unidad.

Josu
e V
azquez Rodrguez (FCFM-BUAP) Un estudio de la familia f,,z (z) = sen(z) + zz

Primavera 2015

21 / 25


, 0 < < 1,  > 0
Para la funcion f (z) = sen(z) z
esta demostrado que el conjunto de Fatou F (f ) es una sola
componente completamente invariante de conectividad infinita [9].

Figura: Plano dinamico def (z) = sen(z)


z

para = 12 ,  = 0,1

Josu
e V
azquez Rodrguez (FCFM-BUAP) Un estudio de la familia f,,z (z) = sen(z) + zz

Primavera 2015

22 / 25

Referencias
1

Ahlfors L.V., Complex Analysis an introduction to the theory of analytic

functions of one complex variable, McGraw Hill International, 1983.

Baker I.N., Fix Points and Iterates of Entire Functions, Math. Z. 71 (1959),
146-153.

Baker I.N., The Domains of Normality of an Entire Funtion, Ann. Acad.

Sci. Fenn. Ser. A. I. Math. 1 (1975), 277-283.

Baker I.N., Kotus J. and Yinian L

u., Iterates of Meromorphic Functions I,
Ergodic Theory Dynamical Systems 11 (1991), 241-248.

Baker I.N., Kotus J. and Yinian L

u., Iterates of Meromorphic Functions II:
Examples of Wandering Domains, J. London. Math. Soc. 42 (1990),
267-278.

Baker I.N., Kotus J. and Yinian L

u., Iterates of Meromorphic Functions III:
Preperiodic Domains,Ergod. Th. Dynam. Sys. 11 (2) (1991), 603-6188.

Baker I.N., Kotus J. and Yinian L

u., Iterates of Meromorphic Functions IV:
Critically Finite Functions, Results in Mathematics 22 (1992), 651-656.

Josu
e V
azquez Rodrguez (FCFM-BUAP) Un estudio de la familia f,,z (z) = sen(z) + zz

Primavera 2015

23 / 25

Bergweiler W., Iteration of Meromorphic Functions, Bull. Amer. Math. Soc.

(N.S.) 29 (1993), 151-188.

Dominguez P., Dynamics of Trascendental Meromorphix Functions, Annales

Academia Scientarum Fennice 23 (1998), 225-250.

10

Dominguez P. and Sienra G., A study of the dynamics of sin z, Int. Journal
of Bifurcation and Chaos 12 (2002), 2869-2883.

11

Douady A. and Hubbard H. Iteration des polin

omes quadratiques
complexes, C.R. Acad. Sci. Paris Ser. I 294 (1982), 123-126.

12

Eremenko A.E., On the iteration of entire functions Dynamical Systems and

Ergodic Theory, Banach Center Publ., vol 23, Polish Scientific Publishers,
Warsaw, 1989, pp. 339-345.

13

Eremenko A. E. and Lyubich M., Iterates of entire functions, Soviet Math.

Dokl. 30 (1984) 592-594.

14

Eremenko A. E. and Lyubich M. Examples of entire functions with

pathological dynamics, J. London Math. Soc. (2) 36 (1987), 458-468.

Josu
e V
azquez Rodrguez (FCFM-BUAP) Un estudio de la familia f,,z (z) = sen(z) + zz

Primavera 2015

24 / 25

15

16

Eremenko A. E. and Lyubich M. Dynamical propierties of some classses of

entire functions, Ann. Inst. Fourier (Grenoble) 4 (1992), 989-1020.

Fonctionnelles (Deuxieme memoire), Bull. Sci.

Fatou P., Sur les Equations
Math. France 47 (1919), 161-271 and 48 (1920) 208-314.

17

Fatou P., Sur L iteration des Fonctions Transcendentes Entier`es, Acta

Math. 47 (1926), 337-370.

18

Julia G., Sur literation des fonctions rationelles,J. Math. Pures Appl. (7)4
(1918), 47-245.

19

Needham T., Visual complex analysis, Oxford University Press, 1997.

20

Mandelbrot B., The fractal geometry of nature, Henry Holt, 1982.

21

Sullivan Iteration des fonctions analytiques complexes C.R. Acad. Sci. Paris
Ser. I Math. 294 (1982), 301-303

Josu
e V
azquez Rodrguez (FCFM-BUAP) Un estudio de la familia f,,z (z) = sen(z) + zz

Primavera 2015

25 / 25