Algunos ejemplos de sistemas dinmicos discretos 1

Algunos ejemplos de sistemas dinmicos discretos

INTRODUCCIN
QU ES UN SISTEMA DINMICO DISCRETO?
PARA QU SE UTILIZAN LOS SISTEMAS DINMICOS DISCRETOS?
MODELOS DINMICOS DISCRETOS
ALGUNOS EJEMPLOS DE SISTEMAS DINMICOS
LA RUINA DEL JUGADOR (SISTEMA DINMICO LINEAL DE SEGUNDO ORDEN)
REA Y PERMETRO DE LA ITERACIN k DEL TRINGULO DE SIERPINSKI (SISTEMA DINMICO NO
HOMOGNEO DE PRIMER ORDEN)
CONJUNTO DE CANTOR A PARTIR DE UN SISTEMA DINMICO CATICO


Introduccin

El estudio de la dinmica de sistemas es un campo importante de la
investigacin matemtica actual. Sin embargo, se puede introducir a partir de
conocimientos elementales de clculo y de lgebra. En este trabajo definimos, en primer
lugar, sistema dinmico discreto y consideramos algunas de sus aplicaciones. A
continuacin consideramos cul es el procedimiento para tratar una situacin mediante
un modelo dinmico discreto y cmo el anlisis de este modelo involucra conceptos
matemticos fundamentales (sucesiones de nmeros reales, composicin de funciones).
El ncleo de este trabajo consiste en el anlisis de algunos ejemplos de sistemas
dinmicos: el problema de la ruina del jugador, el clculo del rea y permetro de un
fractal autosemejante y el estudio de la dinmica de un sistema catico que conduce al
conjunto de Cantor.


Qu es un sistema dinmico discreto?

El estudio de la dinmica de sistemas es el estudio de cmo ciertas cantidades
cambian en funcin de otra, tambin variable, que suele ser el tiempo. Matemticamente
se puede definir como el estudio de iteraciones de funciones , donde es un
conjunto. Si consideramos que esas cantidades cambian a pequeos saltos tenemos un
sistema dinmico discreto.
S S f : S

Curso de Formacin Continua en Matemticas. Mdulo I. UAM, 2004-05
Araceli Gutirrez Llorente
Algunos ejemplos de sistemas dinmicos discretos 2

Informalmente, un sistema dinmico discreto es una sucesin de nmeros
definidos mediante una relacin de recurrencia, es decir, existe una regla que relaciona
cada nmero de la sucesin con los anteriores.

Dada una funcin un ) (x f y = sistema dinmico discreto de primer orden es
una sucesin de nmeros para tal que cada nmero se relaciona con el
anterior:
) (n a K , 1 , 0 = n

( ) ) ( ) 1 ( n a f n a = +

La expresin

( ) ) ( ) ( ) 1 ( n a g n a n a = +

se denomina ecuacin en diferencias de primer orden. Definiendo os
conceptos de sistema dinmico discreto y ecuacin en diferencias son equivalentes.
x x g x f + = ) ( ) ( l

Algunos ejemplos de sistemas dinmicos (discretos) son

) ( 5 1 ) 1 ( n a n a + = +
) ( 1
) ( 2
) 1 (
n a
n a
n
+
= + a

Un sistema dinmico de la forma

( ) ) ( , ), 2 ( ), 1 ( ) ( n a m n a m n a f m n a K + + = +

se denomina sistema dinmico de orden m ya que cada trmino depende de los m
anteriores.


Curso de Formacin Continua en Matemticas. Mdulo I. UAM, 2004-05
Araceli Gutirrez Llorente
Algunos ejemplos de sistemas dinmicos discretos 3

Para qu se utilizan los sistemas dinmicos discretos?

1. Para resolver numricamente ecuaciones

La iteracin de punto fijo es una tcnica de gran importancia en la resolucin de
todo tipo de ecuaciones que surgen al modelar matemticamente los fenmenos del
mundo real. En la iteracin de punto fijo para la resolucin numrica de : 0 ) ( = x f
- se generan aproximaciones sucesivas a la raz buscada con la
esperanza de que para , lo cual garantiza que fijada una tolerancia
existe un valor finito de para el que las iteraciones distan de
menos que la tolerancia.
K , , ,
2 1 0
x x x

n
x n
n K , ,
1 + n n
x x
- cada aproximacin x , se obtiene como funcin de la precedente
. Es decir, siendo la llamada funcin de iteracin (que no hay
que confundir con la funcin cuyos ceros queremos hallar). El mtodo de
Newton puede considerarse como un mtodo de iteracin de punto fijo con una
funcin de iteracin
1 + n
)
n
x
K , 2 , 1 , 0 =
g
f
n
x (
1 n
g x =
+
) (
) (
x f
x f

) x = ( g x .

Suponiendo la continuidad de y que se verifica que g
n
x

) ( ) (lim ) ( lim lim
1
g x g x g x
n n n
= = = =
+


Esto muestra una condicin necesaria para que la iteracin tenga xito: que ,
es decir, que sea un punto fijo de . Esto significa que si llegamos a una iteracin
que coincide con la solucin buscada , entonces, la siguiente iteracin
tambin coincide con . La siguiente figura muestra la convergencia del mtodo segn
los valores de : si
= ) ( g
) (
n
x g
g
n
x
) ( g 1 ) ( > g el mtodo de iteracin no converge a
.
) (
1 n n
x g x =
+

Curso de Formacin Continua en Matemticas. Mdulo I. UAM, 2004-05
Araceli Gutirrez Llorente
Algunos ejemplos de sistemas dinmicos discretos 4
g'()<-1 g'()>1
x
2
-1<g'()<0
y=x
y=g(x)
x
2
x
1
x
0

0<g'()<1
y
x
y=g(x)
y=x
x
2
x
1
x
0


x
y


x
y y=x y=g(x)
y=x

x
3
x
0
x
1


x
y y=g(x)
x
0
x
1
x
2
x
3





2. Para la resolucin numrica de ecuaciones diferenciales

El mtodo de Euler se emplea frecuentemente en la resolucin numrica de
ecuaciones diferenciales ordinarias no lineales. Consideramos el problema de resolver
con en el intervalo . Dividimos dicho intervalo en
subintervalos de la misma longitud
) , ( y x f y =
a
y a y = ) ( | b a, |
k a)
y
b h ( = . Entonces, ,
. La solucin, que desconocemos, es . La condicin inicial es
. Si es una funcin continua y diferenciable en | |
podemos aplicar el teorema del valor medio
k
x b x x a = = , , ,
1 0
K
h x x +
nh a x
n
+ =
y x y = = ) (
0 0
) (x g =
a
y = g a y ) ( ) (x ,

) ( ) ( ) ( z g h x g h x g = + , ) , ( h x x z +

Si h es un nmero muy pequeo y es continua, podemos escribir ) (x g

) ( ) ( ) ( x g h x g h x g + +

Obtenemos, entonces, la expresin de la iteracin

) , (
1 n n n n
y x f h y y + =
+



Curso de Formacin Continua en Matemticas. Mdulo I. UAM, 2004-05
Araceli Gutirrez Llorente
Algunos ejemplos de sistemas dinmicos discretos 5

3. Para hacer modelos matemticos

Uno de los ejemplos ms estudiados es el modelo logstico para el crecimiento
de poblaciones que no se modelizan bien por un modelo exponencial de crecimiento
natural. Se asume que el ritmo de crecimiento no es constante sino que depende del
tamao de la poblacin. Se tiene, entonces, el sistema dinmico no lineal:
n
n
n n
x
L
x
r x x ) 1 (
1
=
+
2
1
) 1 (
n n n
x b x r x + =
+
, donde r suele denominarse ritmo de crecimiento no restringido
y L es el nmero mximo de individuos de la poblacin. Se suele escribir como
, donde b=r/L.


Modelos dinmicos discretos

Modelizar un fenmeno real mediante un sistema dinmico supone, en primer
lugar, expresar el problema mediante una relacin matemtica, asumiendo ciertas
condiciones o aproximaciones. En segundo lugar, resolver o analizar la relacin
matemtica planteada (el sistema dinmico). En tercer lugar, trasladar esta solucin a la
situacin real.

La solucin de un sistema dinmico discreto puede hacerse de varias formas:

i. Podemos obtener a como funcin de . ) (n n
ii. Podemos computar a K ), 2 ( ), 1 ( ), 0 ( a a
iii. Podemos analizar grficamente el sistema dinmico planteado

Desde un punto de vista pedaggico cada uno de estos mtodos de solucin tiene
sus ventajas y puede servir para introducir otros conceptos:

i. La mayora de los mtodos de resolucin de sistemas dinmicos discretos son
anlogos a los mtodos de resolucin de ecuaciones diferenciales
ii. Las sucesiones de nmeros reales definidas mediante una relacin de recurrencia
son una generalizacin de las progresiones aritmticas y geomtricas. Adems,
constituyen un buen ejemplo para introducir la utilizacin de hojas de clculo
iii. El anlisis grfico de un sistema dinmico, la representacin grfica de una
iteracin, puede presentarse como el estudio grfico de la composicin de funciones.


Curso de Formacin Continua en Matemticas. Mdulo I. UAM, 2004-05
Araceli Gutirrez Llorente
Algunos ejemplos de sistemas dinmicos discretos 6

Algunos ejemplos de sistemas dinmicos


LA RUINA DEL JUGADOR (SISTEMA DINMICO LINEAL DE SEGUNDO ORDEN)

Comenzamos a jugar en un juego de azar con las siguientes condiciones:
apostamos cada vez 1 euro; si ganamos recibimos el euro apostado y uno ms; si
perdemos no recibimos nada. La probabilidad de ganar 1 euro es y la de perderlo es
. Suponemos que una vez que hemos ganado N euros nos retiramos del juego.
Por tanto, nos retiraremos del juego cuando tengamos 0 o N euros (se puede demostrar
que el juego acaba en uno de esos resultados con probabilidad 1). Suponemos que al
inicio del juego contamos con n euros ( ).Cul es la probabilidad de ganar N
y retirarse como ganador? cul es la probabilidad de perderlo todo?
p
p q =1
N n < < 0

Denotamos por la probabilidad de retirarnos con 0 euros (es decir, perder
todo) cuando partimos con n euros. Entonces, y . Cul es la
probabilidad , ( )?. Puesto que podemos ganar
1 euro con probabilidad y perderlo con probabilidad
) (n P
0 < n
p
1 ) 0 ( = P
2 , N
q =
0 ) ( = N P
p 1 ,
) 1 ( + n P , 1 , 0 1 = < + n N K

2 , , 1 , 0 ) ( ) 2 ( ) 1 ( = + + = + N n n P q n P p n P K

) ( ) 1 (
1
) 2 ( n P
p
q
n P
p
n P + = + (I)
1 ) 0 ( = P y 0 ) ( = N P

La ecuacin caracterstica de la ecuacin de recurrencia (I) es

0
1
2
= +
q
p
x
p
x

Escribiendo q p r = , las dos races de la ecuacin caracterstica son q p x x = =
2 1
, 1 . Si
1 = q p r las dos races son distintas y la solucin est dada por

n
r B A n P + = ) (

las constantes A y B se fijan a partir de las condiciones y : 1 ) 0 ( = P 0 ) ( = N P

Curso de Formacin Continua en Matemticas. Mdulo I. UAM, 2004-05
Araceli Gutirrez Llorente
Algunos ejemplos de sistemas dinmicos discretos 7

N
N
N N
r
r
B
r
A
r B A
B A

=
)
`

= +
= +
1
,
1
1
0
1


Por tanto,
) 1 (
1 1
) (

= r
r
r
r
r
n P
N
N
N
n


Si y la solucin est dada por . Ajustando las constantes C
y D a partir de las condiciones iniciales tenemos que en este caso
1 , = = r q p n D C n P + = ) (

) 1 ( ) ( =

= r
N
n N
n P

Las siguientes grficas muestran el comportamiento de para y
cuando decidimos retirarnos con o con .
) (n P 1 = r 03 , 1 = r
25 = N 250 = N

5 10 15 20 25
n
0.2
0.4
0.6
0.8
1
PHnL
8N=25<


50 100 150 200 250
n
0.2
0.4
0.6
0.8
1
PHnL
8N=250<



El cambio del comportamiento de en funcin de n al aumentar el valor de r un 3%
es espectacular cuando aumenta el valor de N. Pasar de a supone
que la probabilidad de arruinarse cuando tenemos 125 euros pase de 0,5 a 0,976 !!!!!
) (n P
5 , 0 = p 507 , 0 = p

Curso de Formacin Continua en Matemticas. Mdulo I. UAM, 2004-05
Araceli Gutirrez Llorente
Algunos ejemplos de sistemas dinmicos discretos 8


REA Y PERMETRO DE LA ITERACIN k DEL TRINGULO DE SIERPINSKI (SISTEMA
DINMICO NO HOMOGNEO DE PRIMER ORDEN)

El tringulo de Sierpinski es un fractal autosemejante originado por la iteracin
infinita del proceso geomtrico reflejado en la siguiente figura:



Se construye un tringulo equiltero de longitud 1. En la primera iteracin se unen los
puntos medios de cada lado, formando un tringulo equiltero que se elimina. En la
segunda iteracin se eliminan los tringulos equilteros que resultan de unir los puntos
medios de los tringulos resultantes de la primera iteracin, y as sucesivamente. A la
figura resultante despus de cada una de estas iteraciones la denominamos T .
La dimensin de esta figura es
n
T T , , ,
1 0
K
2 log
3 log
.

Denotamos por el rea de la figura T . El rea de un tringulo equiltero de
lado est dada por
n
a
n
l
2
4
3
l . Inicialmente partimos de un tringulo con . En cada
iteracin cada tringulo equiltero se divide en cuatro tringulos de igual rea.
Entonces,
1 = l


Curso de Formacin Continua en Matemticas. Mdulo I. UAM, 2004-05
Araceli Gutirrez Llorente
Algunos ejemplos de sistemas dinmicos discretos 9
n n
a a
a a a a
a
4
3
4
3
4
1
4
3
1
0 0 0 1
0
=
= =
=
+
M


El rea de la figura correspondiente a la iteracin k ser

4
3
4
3
k
k
a
|
.
|

\
|
= (II)

Vamos a calcular el permetro de la figura T . Tenemos que . Para
calcular tenemos que aadir el permetro del tringulo que hemos eliminado, cuyo
lado es . Por tanto,
n
p
n
3
0
= p
1
p
2
1
0 1
3 + = p p . Para calcular a partir de tenemos que aadir
el permetro de los tres tringulos que hemos eliminado cuyo lado es
2
p
1
p
4
1
:
4
1
1 2
3 = p p 3 + .

En general, para calcular el permetro de la figura de la iteracin n en
funcin de la de la iteracin tenemos que conocer el nmero de tringulos que se
eliminan y el lado de stos. Denotamos por la longitud del lado de los tringulos que
se eliminan en la iteracin n:
1 +
n
n
s
( )
k
k n
A s s
2
1
2
1
1
= =
n
s
+
. Como
2
1
1
= s , la constante
. Por tanto, 1 = A

( )
k
k
s
2
1
=

Denotamos por el nmero de tringulo que se eliminan en cada iteracin (cuyo
permetro hay que sumar al de la figura anterior): . Puesto
que
n
N
k
k n n
B N N N 3 3
1
= =
+
3
1
1
1 = = N B : Entonces,

1
3

=
k
k
N

Ahora podemos escribir la recurrencia para
1 + n
p


Curso de Formacin Continua en Matemticas. Mdulo I. UAM, 2004-05
Araceli Gutirrez Llorente
Algunos ejemplos de sistemas dinmicos discretos 10
1 1 1
3
+ + +
+ =
n n n n
s N p p
1
1
2
1
3 3
+
+
|
.
|

\
|
+ =
n
n
n n
p p
n
n n
p p
|
.
|

\
|
+ =
+
2
3
2
3
1
(III)

La ecuacin anterior es un sistema dinmico no homogneo de primer orden. La
solucin es de la forma

k
k
k
d c p
|
.
|

\
|
+ =
2
3
1

donde c y d son constantes que dependen del valor inicial y del sistema,
respectivamente. Para encontrar la solucin general sustituimos en (II):

3
2
3
2
3
2
3
2
3
1
=
|
.
|

\
|
+
|
.
|

\
|
+ =
|
.
|

\
|
+
+
d d c d c
n n n


Para hallar la solucin particular tenemos en cuenta el valor inicial

0 3 3
0
= = + = c c p

as, la solucin particular de (II) es

k
k
p |
.
|

\
|
=
2
3
3 (IV)

De las expresiones (II) y (IV) para el rea y el permetro, respectivamente, de la
iteracin del tringulo de Sierpinski deducimos que y cuando
.
k
k
p 0
k
a
k


Curso de Formacin Continua en Matemticas. Mdulo I. UAM, 2004-05
Araceli Gutirrez Llorente
Algunos ejemplos de sistemas dinmicos discretos 11

CONJUNTO DE CANTOR A PARTIR DE UN SISTEMA DINMICO CATICO

Dado el sistema

=
2
1
2
1
3 3
3
) (
x x
x x
x T vamos a estudiar el conjunto de puntos
cuyas rbitas no escapan a infinito.

-0.2 0.2 0.4 0.6 0.8 1 1.2
-0.5
0.5
1
1.5


A partir de la grfica de la funcin vemos que si , entonces
. Adems, si , entonces T . Por tanto, slo
necesitamos considerar el intervalo 0 . Sin embargo, hay puntos del intervalo
cuya rbita sale de este intervalo despus de la primera iteracin. Si
0 < x

n n
x T ) (
1 0 x
1 > x
n n
x) (
1 x
3
2
3
1
< < x , entonces T . Por tanto, partiendo de cualquier punto del intervalo 1 ) ( > x
3
2
3
1
< < x despus de la primera iteracin estaremos fuera de 0 y la rbita se ir
a infinito.
1 x

Comenzamos por calcular los puntos fijos de T .
4 3 2
, , , T T T

Puntos fijos de T :
4
3
, 0

Puntos fijos de T :
2
10
9
,
4
3
,
10
3
, 0

Puntos fijos de T :
3
28
27
,
13
12
,
4
3
,
13
9
,
28
9
,
13
3
,
28
3
, 0

Puntos fijos de T :
4
82
81
,
40
39
,
82
75
,
10
9
,
82
63
,
4
3
,
82
57
,
40
27
,
82
27
,
10
3
,
82
21
,
40
9
,
82
9
,
40
3
,
82
3
, 0


Curso de Formacin Continua en Matemticas. Mdulo I. UAM, 2004-05
Araceli Gutirrez Llorente
Algunos ejemplos de sistemas dinmicos discretos 12
T tiene 2 puntos fijos, T tiene 4 puntos fijos, T tiene 8 puntos fijos. En
general, T tendr puntos fijos.
2 2
2 =
3 3
2 =
n n
2

Si estudiamos las rbitas de este sistema vemos que hay ciclos de periodo 2, de
periodo 3, de periodo 4,....Por tanto, segn el Teorema de Sarkovskii la existencia de
ciclos de periodo 3 implica la existencia de ciclos de cualquier otro periodo.

Ciclos de periodo 2:
10
3
10
9
10
3

T T


Ciclos de periodo 3:

28
3
28
27
28
9
28
3

T T T


13
3
13
12
13
9
13
3

T T T


Ciclos de periodo 4:

40
3
40
39
40
27
40
9
40
3

T T T T


82
3
82
81
82
27
82
9
82
3

T T T T


82
21
82
75
82
57
82
63
82
21

T T T T


Todos ellos son ciclos inestables. La inestabilidad de estos ciclos puede razonarse de
varias formas. Se puede comprobar calculando las 50 primeras iteraciones para algn
valor suficientemente cercano a ellos.
0
a
Las siguientes figuras muestran las grficas de la primera, segunda y tercera
iteraciones de este sistema:


Curso de Formacin Continua en Matemticas. Mdulo I. UAM, 2004-05
Araceli Gutirrez Llorente
Algunos ejemplos de sistemas dinmicos discretos 13
1

3
2

3
1
1

1

9
2

9
1

3
2

3
7

9
8

9
1
1

1

27
7

27
19

27
25

27
1
1


Los intervalos marcados en lnea gruesa en cada una de las iteraciones son aquellos para
los cuales la iteracin realizada vuelve a caer dentro de . Precisamente, los
intervalos sealados constituyen el conjunto de Cantor:
1 0 x

0 1
1 0
1/3 2/3
1/9 2/9 1/3 2/3 7/9 8/9



Curso de Formacin Continua en Matemticas. Mdulo I. UAM, 2004-05
Araceli Gutirrez Llorente
Algunos ejemplos de sistemas dinmicos discretos 14
Por tanto, dado el sistema dinmico T los puntos cuyas rbitas no se van a infinito al
iterar sucesivamente constituyen el conjunto de Cantor.


Bibliografa

MISIUREWICZ M. :Remarks on Sharkovskys Theorem The American
Mathematical Monthly, 104 (1997),846-847

SANDEFUR J.T: Discrete Dynamical Modeling The College Mathematics Journal,
22 (1991) 13-22 (este mismo volumen contiene otras referencias interesantes)

SANDEFUR J.T: Discrete Dynamical Systems. Oxford University Press (1990)


Curso de Formacin Continua en Matemticas. Mdulo I. UAM, 2004-05
Araceli Gutirrez Llorente