CIENCIAS EXACTAS E INGENIERÍAS
Recepción: 13 Agosto 2018
Aprobación: 17 Marzo 2019
DOI: https://doi.org/10.22201/enesl.20078064e.2018.19.65822
Resumen:
Objetivo - construir sistemas dinámicos caóticos unidimensionales mediante el estudio de una familia de funciones con dominio y contradominio en el intervalo [0,1] la cual se define en términos de cuatro parámetros.
Método - con base a los parámetros que definen a cada función que proponemos, se identificaron aquellas que tienen periodo tres, las cuales inducen un sistema caótico en el contexto de Li-Yorke. Los teoremas del punto fijo y de Sharkovskii fueron la herramienta fundamental de nuestro trabajo.
Resultados - se obtuvo un conjunto de sistemas dinámicos caóticos, se describió un procedimiento sencillo para obtener sistemas dinámicos caóticos (adicionales a los obtenidos) y se sugiere como primera aplicación la obtención de números pseudoaleatorios.
Limitaciones - los sistemas dinámicos construidos son caóticos en el sentido de Li-Yorke, -no necesariamente en el sentido de Devaney.
Principales hallazgos - las funciones estudiadas tienen una gráfica en forma de Zeta, y para cada una de ellas se identifica a su respectiva dual (las gráficas que se obtienen presentan una relación de simetría), de esta manera se muestran las condiciones que deben verificar los parámetros -primal y dual- para obtener (y no obtener) período tres.
Palabras clave: caos, Sharkovskii, sistemas dinámicos, órbita.
Abstract:
Purpose - to build one-dimensional chaotic dynamical systems through the study of functions with domain and codomain in the interval [0, 1] which is defined in terms of four parameters.
Methodology - based on the parameters that define each function that is proposed, those which have period three were identified and which induce a chaotic system in the context of Li-Yorke. The fixed point and Sharkovskii theorems were the fundamental tools in this work.
Results - we obtained a set of chaotic dynamic systems. In turn, we described a simple process in order to obtain chaotic dynamic systems (additional to those obtained) and we suggest, as a first application, the obtainment of pseudo-random numbers.
Limitations - the dynamic systems that were built are chaotic in the Li-Yorke sense -not necessarily in the Devaney sense-.
Findings - the functions that were studied have a Zeta form graphic, and for each of those we identified its respective dual (the obtained graphics present a symmetric relation) and that is how we show the conditions that must verify the parameters -primal and dual- in order to obtain (or not) period three.
Keywords: chaos, Sharkovskii, dynamic systems, orbit.
Introducción
En Ramírez de La Cruz (2004) se relata lo siguiente:
A finales del siglo xix, Henri Poincaré cuestionó la perfección newtoniana en relación con las órbitas planetarias, lo que se conoce como el problema de los tres cuerpos. Planteaba una atracción gravitatoria múltiple, que hasta entonces se resolvía con las leyes de Newton y la suma de un pequeño valor que compensara la atracción del tercer elemento.
Poincaré descubrió que, en situaciones críticas, ese tirón gravitatorio mínimo podía realimentarse hasta producir un efecto de resonancia que modificara la órbita o incluso lanzara el planeta fuera del sistema solar. Los procesos de retroalimentación se corresponden en física con las ecuaciones iterativas, donde el resultado del proceso es utilizado nuevamente como punto de partida para el mismo proceso. El ideal clásico sólo contemplaba sistemas lineales, en los que efecto y causa se identifican plenamente; se sumaban las partes y se obtenía la totalidad. Poincaré introdujo el fantasma de la no linealidad, donde origen y resultado divergen y las fórmulas lineales no sirven para resolver el sistema. Se había dado el primer paso para la teoría del caos (p.16).
Hoy en día, apoyándose en los avances tecnológicos muchos matemáticos se dedican al estudio, generación y aplicación de modelos caóticos, en este trabajo nos restringiremos al estudio de sistemas dinámicos discretos unidimensionales y construiremos modelos inéditos.
El alcance de este trabajo es explicativo, proporciona una familia de sistemas dinámicos inédita, cuyas propiedades se demuestran con el debido rigor matemático; en este sentido, se pueden tomar los ejemplos expuestos para utilizarlos en contextos pertinentes relativos a los sistemas dinámicos discretos.
Debido a que la composición de una función consigo mismo será mencionada con frecuencia; para el resto del trabajo denotaremos con -donde
es un entero positivo- a la
composición de
consigo misma
veces. Así, estamos en condiciones de dar la definición de punto periódico que será de utilidad en el desarrollo del trabajo.
Definición 1. Sea , decimos que
es de periodo
si
, para algún
, y
, para
. Al conjunto de
puntos periódicos se le denotará como
(Devaney, 1989).
La definición matemática más aceptada en la teoría del caos se debe a Devaney (1989) y es la siguiente:
Definición 2. Decimos que una función es caótica si
Existe una tal que, para cualquier
y cualquier vecindad
de
, existe una
y
tal que
. A esta condición se le conoce como sensibilidad a condiciones iniciales.
Para cualquier par de conjuntos abiertos existe
tal que
. Si esto sucede, se dice que la función es topológicamente transitiva.
es denso en
.
Sin embargo, en Aulbach y Kieninger (2000) se encuentra otra definición que se atribuye a Li y Yorke (una década anterior a la definición de Devaney, 1989), misma que tendrá prioridad en nuestro trabajo:
Definición 3. Una función es un espacio métrico compacto
es caótica en el sentido de Li y Yorke si existe un conjunto no contable
con las siguientes condiciones:
para todo
para todo
para todo
.
En Aulbach y Kieninger (2000) se estudia la relación entre estas definiciones, en particular se tiene que la primera definición (Devaney, 1989 ) implica la segunda (pero la otra implicación no es válida). En lo que resta del trabajo nos referiremos -cuando el contexto se preste a confusión- a la primera definición usando simplemente “caos” mientras que la segunda se enunciará como “caos en el sentido de Li-Yorke”.
En Devaney (1989) encontramos diversos sistemas dinámicos discretos que son caóticos, algunos unidimensionales y otros de dos o más dimensiones, en este trabajo nos restringimos a los primeros, podemos citar la función tienda, la función logística y la función “recorrimiento” (King y Mendez, 2015), éstas han sido tratadas desde ilustración para los conceptos relativos al caos hasta la aplicación en modelos de encriptación (Li y Yorke, 1975), así como modelos económicos (Tarasova y Tarasov, 2017). En el presente trabajo nos enfocamos en construir modelos y exhibir sus propiedades caóticas dejando en segunda prioridad la aplicación,1 en particular presentamos una familia de sistemas dinámicos que dependen de un conjunto de parámetros y buscamos condiciones entre estos, de manera que los sistemas sean caóticos en el sentido de Li-Yorke. La forma de proceder se sustenta fuertemente en los teoremas de Sharkovskii (Devaney, 1989) y del punto fijo para funciones unidimensionales; el primero de ellos se presenta a continuación.
El teorema de Sharkovskii es de gran utilidad para estudiar la existencia de puntos periódicos, para enunciarlo necesitamos “listar” a los números naturales como sigue, que es el orden de Sharkovskii (De Melo y Van Strien, 1993).
Como se observa primero se
enlistan los números impares excepto el uno, después se continúa multiplicando
estos números por las potencias de dos, y para terminar se agregan las
potencias de dos en orden decreciente. Se utiliza la notación para presentar "a precede a b"
Ahora bien, el teorema de Sharkovskii enuncia lo siguiente:
Teorema 1. Sea una función continua donde
es un intervalo cerrado y
acotado. Suponga que
tiene un punto periódico de periodo
si
en el orden de
Sharkovskii, entonces
también tiene un punto
periódico de periodo
(Devaney,
1989).
El teorema argumenta, que las funciones con puntos de periodo tres tienen puntos periódicos de cualquier orden; luego, a partir del trabajo de (Li y Yorke, 1975) “periodo tres implica caos” -Li y Yorke argumentan que la existencia de puntos con periodo tres implica que se verifican las condiciones de su definición de caos-, los sistemas dinámicos unidimensionales son susceptibles a observarse desde la perspectiva del periodo tres. Luego, el procedimiento para “construir caos” es sencillo, basta con definir funciones continuas con dominio y contradominio un intervalo cerrado y acotado y encontrar puntos fijos de la función compuesta consigo misma tres veces (estos serán los candidatos a ser puntos de periodo tres).
En particular cada función que se presenta en este trabajo tiene una “forma de Z”, su gráfica consiste de 3 rectas que “se pegan bien” definidas en el intervalo unitario y con rango el mismo intervalo. Además de la gráfica de cada función en forma de Zeta, se presentan las gráficas de dicha función compuesta tres veces consigo misma para identificar los puntos fijos de esta última los cuales corresponde a candidatos de puntos de periodo tres de la función original. Luego entonces mostramos matemáticamente las condiciones que deben satisfacer los valores de los parámetros, de manera, que se garantice la existencia de periodo tres, y por tanto de caos.
El artículo se encuentra dividido en tres secciones. En la primera, se refieren los aspectos metodológicos, se presenta la definición de la familia de funciones que se abordarán y se presentan los resultados teóricos, con las demostraciones correspondientes, que garantizan la existencia del caos. En la segunda sección se presentan diversos ejemplos donde se exhiben los resultados teóricos y computacionales obtenidos, también se muestra una lista de números generados con una función tipo Zeta junto con los resultados de las pruebas estadísticas pertinentes. La tercera y última sección expone las conclusiones, primero se describe un procedimiento para construir sistemas caóticos y posteriormente una estrategia para generar secuencias de números susceptibles a pruebas de aleatoriedad.
Aspectos metodológicos
Comenzamos definiendo una familia de funciones que por la forma de la gráfica le llamaremos Funciones tipo Zeta y a partir de éstas obtendremos sistemas dinámicos los cuales podrán ser (o no) caóticos.
Definición 4. Sean con
, definimos una Función tipo Zeta
como:
En la figura 2
presentamos la forma de la gráfica de una función tipo Zeta con parámetros
Para cada arreglo de parámetros que definen a una función tipo Zeta
identificamos a otra función de la misma familia a la que llamaremos la función
dual.
Definición 5. Dada
una función tipo Zeta definimos la función dual de
como la función dada por
Note
pues que la función será la función dada por:
En la figura 2 se visualiza la gráfica de la función dual asociada a la función representada en la figura 1.
Cuando no se
preste a confusión omitiremos los parámetros y nos referiremos simplemente a las funciones como
y
donde una es la función dual de la otra (obsérvese que
).
El siguiente
resultado será útil para trabajar de manera operativa con las funciones y
.
Proposición 1. Dada
la función tipo Zeta y su función dual
se tiene que
para todo
.
Demostración: particionando el dominio de la función tenemos lo siguiente:
Si , tendremos que
Para el
caso , tenemos que
El caso equivale a
, luego
Cuando se sigue que
, y así obtenemos
Obsérvese
que equivale a
, por tanto
Corolario 1. Dada la función
tipo Zeta y su función dual
se tiene que
para todo
y para todo
.
Demostración: por inducción matemática.
Como dijimos anteriormente, las funciones tipo Zeta son fundamentales en el desarrollo de nuestro trabajo, ya que a partir de estas generaremos sistemas dinámicos discretos y los estudiamos en el contexto del caos. A continuación presentamos los conceptos básicos relativos a los sistemas y su dinámica.
Para el resto de este trabajo, si es un subconjunto del dominio de una función
denotaremos con
a la imagen del conjunto
bajo la función
.
Las siguientes definiciones son esenciales para el desarrollo de este trabajo.
Definición 6. Sea una función real de variable real
con
y
definimos y denotamos la órbita de
bajo
como sigue
Donde ademas, un punto
es fijo si
.
La siguiente definición se debe a Hirsch,
Smale, y Devaney (2004) y habla de un sistema dinámico general pero
redefiniendo el dominio se tiene la definición que necesitamos en nuestro
contexto: basta sustituir por
en el dominio de la función
.
Definición 7. Un
sistema dinámico en es una función continuamente diferenciable
, donde
satisface:
En el contexto de la definición 7,
recordemos que para
sistemas unidimensionales y estamos usando supraíndices para la función
. Abusando del
lenguaje, estamos escribiendo “
es caótica” para referirnos al respectivo
sistema dinámico discreto inducido por
la función
donde
.
Además, para nuestro propósito se puede relajar la condición de continuamente
diferenciable por continua.
En la definición
anterior tenemos que pueden existir puntos a los que conoceremos como
preperiódicos: un punto es preperiódico si existe un
tal que
.
En este orden de ideas, el resultado más importante para el objetivo
corresponde a Li y Yorke “Period Three Implies Chaos” (Li y Yorke, 1975), pues basta mostrar que tiene puntos de periodo tres (y por tanto de
todos los periodos) para afirmar que
es caótica en el sentido de Li-Yorke.
Proposición 2. Dada y su respectiva función dual
, entonces
tiene un punto de periodo 3 si y solo si
posee un punto de periodo 3.
Demostración:
Sea
un punto de periodo 3 y que no es punto
fijo de
,
entonces mostraremos que
es punto de periodo 3 para
.
Por el corolario 1 se tiene que
veamos ahora que no es un punto fijo de
lo tendrá.
Supongamos que
posee un
punto de periodo 3, por la parte anterior entonces
posee
también un punto de periodo 3.
En la figura 3 podemos observar las gráficas de
las funciones y
asociadas
a una función tipo Zeta con parámetros
, donde los puntos de periodo 3, además de los
posibles puntos fijos (de
) son aquellos donde se
intersecta la gráfica de la función
correspondiente con la de la función identidad.
Ahora identificaremos un punto en el dominio de la función tipo Zeta que será relevante en el resto del trabajo.
Proposición 3. Sea una función tipo Zeta, entonces
es un punto fijo de la función
Demostración: sabemos que por lo que obtienen las siguientes desigualdades
Y a su vez
Además, claramente por lo que
, y así
Proposición 4. Si es una función
tipo Zeta tal que
y
entonces
no tiene puntos de periodo 3.
Demostración: bajo la condiciones
anteriores es claro que para todo
y
si
así pues note que
Si
La figura 4
presenta la gráfica de para dos funciones
tipo Zeta que poseen los parámetros indicados y que cumplen las condiciones de
la proposición 4,
como se observa, la gráfica de
no intersecta a la gráfica de la función
identidad -a excepción del punto fijo
- por lo que no
poseen puntos de periodo 3.
Proposición 5. Sea una función tipo Zeta tal que
entonces
posee un punto de periodo 3 en el intervalo
.
Demostración: primeramente notamos
que si se tiene que
y
.
Dado que es continua entonces existen puntos
tales que
y
,
además debido a que
es creciente en el intervalo
tendremos que
. Observe que
y
.
Definamos ahora la función sobre el intervalo
dada por
.
Debido a que la función es continua en el intervalo
tendremos que
es continua también en este intervalo.
Nótese que y
entonces por el teorema del valor intermedio existe
un punto
tal que
o
equivalentemente
.
Verifiquemos finalmente que no es un punto fijo de
:
Puesto que y debido a que
es creciente en
tendremos que
.
En la figura 5
presentamos la gráfica de para dos funciones que cumplen la condición dada
en la proposición 5. Igual que en la figura 3 las intersecciones de la gráfica
de la función
con la de la identidad representan
además de los dos puntos fijos, los puntos de periodo 3 de ambas funciones.
Corolario 2. Sea una función tipo Zeta, si
entonces
posee un punto de periodo 3 en el intervalo
.
Demostración: ya que entonces
,
luego la proposición 5 implica que
posee un punto de periodo 3 en
por tanto
posee un punto de periodo 3 en
debido a la proposición 2.
Antes de
enunciar el siguiente resultado mostraremos dos puntos en el dominio de la función
tipo Zeta particularmente ubicados en el intervalo que nos serán de mucha utilidad.
Por la
continuidad de la función tipo Zeta tenemos que y
por lo que existen puntos
y
tales que
y
, aún
más, es sencillo encontrar el valor de estos dos puntos en términos de los
parámetros de la función, estos son
y
.
Entonces tenemos la relación .
Una vez conocidos los puntos y sus propiedades presentamos nuestro
resultado más importante ya que nos brinda las condiciones necesarias y
suficientes para identificar si una función tipo Zeta poseerá o no puntos de
periodo 3.
Teorema 2. Dada una función
tipo Zeta entonces se tiene que
Si entonces
posee un punto de periodo 3.
Si entonces
no posee
puntos de periodo 3.
Demostración:
Analicemos primero el caso en que .
Recordando que y puesto que
, luego existen dos puntos
tales que
y
donde
pues
es creciente en el intervalo
.
Así pues, tendremos
que y
.
Al igual que en la demostración
de la proposición 5, se define la función continua
sobre el intervalo
la cual cumple que
, por lo que al igual que antes
existe un punto
tal que
.
Aún más, puesto que y debido a que
es creciente en
tendremos que
, así que
no es un punto fijo de
y por tanto es un punto de
periodo 3 de
.
Continuemos ahora en
el caso .
Note que implica que
donde utilizando la función dual de
se tiene que
.
Es decir cumple las condiciones del primer caso que
analizamos, luego
posee un punto de periodo 3, y por la
proposición 2 tenemos que
tiene un punto de periodo 3.
Dividiremos la demostración en 4 casos:
Caso 1:
La demostración está dada en la proposición 4.
Caso 2:
Primeramente notamos que se cumplen las desigualdades y
.
Además , por lo que existe un punto
que cumple las relaciones
.
Ahora bien, observe que:
Además sabemos que es una recta creciente en
el intervalo
y es una recta
decreciente en los intervalos
y
por lo cual
es una recta creciente en
el intervalo
, luego
no posee puntos de
periodo 3 en
pues
.
Continuando, se tiene que:
Por lo cual no posee puntos de
periodo 3 en
.
Ahora, se observa que y consecuentemente existe
un punto
tal que
, aún más
.
Para el intervalo tenemos que:
Recordando que es una recta decreciente
en los intervalos
y
, además de una recta creciente
en el intervalo
entonces
no posee puntos de
periodo 3 en
pues tendremos que
es una recta creciente en
el intervalo
donde
y
.
Luego,
para el intervalo se cumple:
Por lo que no posee puntos de
periodo 3 en
.
Prosiguiendo, tampoco posee puntos de
periodo 3 en el intervalo
pues:
Siguiendo
ahora con el intervalo , evaluando en el intervalo se tiene que
por lo cual
y por tanto existe un punto
tal que
.
Realizando las evaluaciones para el intervalo obtenemos:
Consecuentemente no posee puntos de
periodo 3 en
.
Para se cumple:
Cumpliéndose pues que ,
y que
es una recta decreciente
en los intervalos
y
además de una recta
creciente en el intervalo
por lo que
es una recta creciente en
el intervalo
; luego
no posee puntos de periodo 3 en el intervalo
.
Finalmente para el intervalo :
Por lo tanto no posee
puntos de periodo 3 en tal intervalo
Caso 3:
Comencemos notando que y
donde se sabe que
es el punto fijo de
.
Además, se verifica que ; con lo cual
está satisfaciendo las condiciones del caso
anterior, de esta manera
no posee puntos de periodo 3 y por la
proposición 2 tampoco
tiene puntos de periodo 3.
Caso 4: y
Iniciemos notando que se satisfacen las desigualdades y
.
Además esto pues:
De manera semejante se tiene
que , esto pues se cumple:
Seguidamente por lo que existe
con
.
De manera análoga al caso 2 se puede mostrar que no posee puntos de periodo 3 en el intervalo
y para el intervalo
tampoco los hay pues
con lo cual
y
.
Evaluando el intervalo obtenemos
y por tanto
, por lo cual se tiene la
existencia de un punto
tal que
.
Así, tendremos que:
Y debido a que es una recta decreciente
en los intervalos
y
y una recta creciente en
el intervalo
tendremos que
es una recta creciente en
el intervalo
, lo cual, aunado con el hecho de que
y
, indica que
no posee puntos de
periodo 3 en el intervalo
.
Para tendremos que
de lo cual se sigue que
y con lo cual
no posee puntos de
periodo 3 en tal intervalo.
En el intervalo no existen puntos de
periodo 3, la demostración es equivalente a la mostrada en el caso 2. Hemos
mostrado que
no posee puntos de
periodo 3 en
para las condiciones
y
.
Continuando, es claro que , donde
es el punto fijo de
y se cumplen las igualdades
.
Es decir no posee puntos de periodo 3 para el intervalo
por lo ya demostrado anteriormente en este
caso para la función
, lo cual por la proposición 2 nos
conduce a que
no tiene puntos de periodo 3 en el intervalo
.
En la figura 6 podemos apreciar dos gráficas, la
del lado izquierdo muestra que la gráfica de para una
función que cumple las hipótesis de la parte i) del teorema 2 si posee puntos de periodo 3 pues hay
intersecciones (contando el punto fijo) con la gráfica de la función identidad,
en cambio la figura del lado derecho muestra que la gráfica de
de una
función que cumple las hipótesis de la parte ii) del teorema no presenta intersecciones con la gráfica de la
función identidad (además del punto fijo) por lo que no posee puntos de periodo
3
Resultados
Para los ejemplos que a continuación mostramos, se generó una aplicación computacional que permite la generación de modelos inéditos de funciones caóticas. Las funciones evaluadas están limitadas por la capacidad computacional,2 referente a componentes irracionales.
Funciones tipo Zeta
A
continuación, basados en los resultados teóricos obtenidos presentamos algunos
ejemplos de funciones tipo Zeta con
valores particulares en los parámetros cuya dinámica es caótica en el sentido
Li-Yorke, y de manera computacional pretendemos ilustrar la sensibilidad a
condiciones iniciales (correspondiente a la definición de Devaney).
En
la figura 7, tenemos en color azul, la gráfica de la función -las
condiciones del teorema 2 se verifican- a su vez, la línea vertical
en color rojo ilustra la evaluación del punto fijo 19/36. Mientras que en la figura 8 evaluamos la
función en el punto 19.00001/36, pero la órbita es totalmente diferente a la
del punto fijo: el sistema presenta sensibilidad a condiciones iniciales.
A su vez, en las figuras 9 y 10 identificamos un punto que en la segunda evaluación se obtiene un punto fijo -un punto preperiódico-, pero en la figura 11 se observa que una pequeña modificación en la condición inicial genera órbitas diferentes
En
la figura 12, tenemos la gráfica de la función -las
condiciones del teorema 2 se verifican- y se ilustra la evaluación de
un punto de periodo 3; observemos que en la figuras 13 y 14 se ha
modificado la condición inicial y por tanto la órbita para los primeros puntos
parece ser la misma que la figura 12, sin embargo cuando se muestran más puntos
de la órbita, se aprecia la sensibilidad a condiciones iniciales.
Aplicación a generación de números pseudoaleatorios
Consideremos una función tipo Zeta con parámetros
Los
siguientes son puntos de periodo tres:
Si
consideramos como punto inicial al número , se
obtiene la secuencia
que aparece en la tabla 1.
Cabe señalar que los números presentados aquí han sido truncados, no redondeados, para facilitar la lectura.
La gráfica de la secuencia generada se presenta en la figura 15
En la tabla 2 se presentan los resultados de las pruebas de aleatoriedad (Coss Bu, 2003) a la secuencia.
Conclusiones
Hemos construido una familia de sistemas caóticos en el sentido Li-Yorke y al mismo tiempo estamos sugiriendo un “proceso para generar caos” el cual lo podemos sintetizar en dos instrucciones:
La teoría que fundamenta la validez del proceso son los teoremas de Sharkovskii, del punto fijo y el trabajo de Li y Yorke. Es muy frecuente que se vuelva difícil demostrar directamente con la definición que un sistema dinámico es caótico; sin embargo, el encontrar puntos de periodo tres, tendríamos la respuesta si lo que buscamos es caos.
En este trabajo se mostró analíticamente las condiciones que deben verificar los parámetros para las funciones tipo Zeta que garantizan la existencia de caos en el sentido de Li-Yorke. En particular mostramos una familia de Z´s con puntos de periodo tres - y por tanto caóticas en el sentido mencionado-.
Si existe interés en una aplicación de los modelos construidos, se sugiere como primera opción la construcción de listas de números “pseudoaleatorios”.
Este trabajo fue una propuesta adicional a las existentes en la literatura relativa a los sistemas dinámicos caóticos unidimensionales, así como para identificar la generación de números pseudoaleatorios como una primera aplicación.
Agradecimientos
Los autores agradecen el apoyo de la Universidad Autónoma de Aguascalientes con el proyecto PIM18-4
Referencias
Aulbach, B., y Kieninger, B (2000). On Three Definitions of Chaos. Nonlinear Dynamics and Systems Theory, 1(1), 23-37.
Coss Bu, R. (2003). Simulación Un enfoque práctico. México: Limusa
De Melo, W., y Van Strien, S. (1993). One dimensional dynamics. Alemania: Springer-Verlag Berlin Heidelberg
Devaney, R. L. (1989). An Introduction to Chaotic Dynamical Systems (Segunda ed.). United States: Adison-Wesley Publishing Company Inc.
Hirsch, M. W., Smale, S., y Devaney, R. L. (2004). Differential Eqiations, Dynamical Systems & An Introduction to Chaos (Segunda ed.). USA: Elsevier .
King, J., y Mendez, H. (2015). Sistemas dinámicos discretos. México: Las prensas de Ciencias.
Li, T., y Yorke, J. (Diciembre de 1975). Period Three Implies Chaos. The American Mathematical Monthly, 82(10), 985-992.
Ramírez de La Cruz, M. A. (2004). Generación de un sistema caótico mediante la aplicación del teorema de Sarkowskii y del teorema del punto fijo. (Tesis de licenciatura). Universidad Autónoma de Aguascalientes, Aguascalientes.
Tarasova, V. V., y Tarasov, V. E. (2017). Logistic map with memory from economic model. Chaos, Solitons and Fractals, 95, 84-91.
Notas
Notas de autor