Secciones
Referencias
Resumen
Servicios
Descargas
HTML
ePub
PDF
Buscar
Fuente


Estudio de una familia de funciones de periodo tres y su dinámica caótica
Study of a family of period three functions and its chaotic dynamics
Entreciencias: Diálogos en la Sociedad del Conocimiento, vol. 7, núm. 19, 2019
Universidad Nacional Autónoma de México

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 f

  • 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


Figura 1.
Típica forma de una función tipo Zeta
Fuente: elaboración propia.

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.


Figura 2.
Dual de la función tipo Zeta
Fuente: elaboración propia.

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:

  1. 1. es la función identidad .
  2. 2. para cada .

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.


Figura 3.
Representación de los puntos de periodo 3 de una función tipo Zeta y su respectiva función dual
Fuente: elaboración propia.

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.


Figura 4.
Ausencia de puntos de periodo tres según las condiciones de la proposición 4
Fuente: elaboración propia.

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.


Figura 5.
Puntos de periodo tres dadas las condiciones de la proposición 5
Fuente: elaboración propia.

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


Figura 6.
Representación de la presencia o ausencia de puntos de periodo tres según las condiciones del teorema 2
Fuente: elaboración propia.

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


Figura 7.
Primeros 40 elementos de la órbita del punto (19/16)
Fuente: elaboración propia.


Figura 8.
Primeros 100 elementos de la órbita del punto (19.00001/36)
Fuente: elaboración propia.


Figura 9.
Evaluación del punto (164/1575)
Fuente: elaboración propia.


Figura 10.
Primeros 200 elementos de la órbita del punto (164/1575)
Fuente: elaboración propia.


Figura 11.
Primeros 200 elementos de la órbita del punto (164/1575.0001)
Fuente: elaboración propia.

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.


Figura 12.
Primeros 300 elementos de la órbita del punto (136/2179)
Fuente: elaboración propia.


Figura 13.
Primeros 6 elementos de la órbita de (136/2179.000001)

Fuente: elaboración propia.


Figura 14.
Primeros 300 elementos de la órbita del punto (136/2179.00001)
Fuente: elaboración propia.

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.

Tabla 1.
Secuencia generada por el punto inicial 1/451

Fuente: elaboración propia.

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


Figura 15.
Secuencia asociada al punto inicial 1/451
Fuente: elaboración propia.

En la tabla 2 se presentan los resultados de las pruebas de aleatoriedad (Coss Bu, 2003) a la secuencia.

Tabla 2.
Resultados de las pruebas de aleatoriedad para la secuencia 1

Fuente: elaboración propia.

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:

  1. 1. Defina una función continua de la forma con un intervalo cerrado y acotado.
  2. 2. Construya la función y resuelva la ecuación sujeta a . Si existen puntos que verifican la ecuación y la restricción entonces tiene puntos de periodo tres y por lo tanto se tiene un sistema dinámico caótico.

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”.

A continuación se enumera el procedimiento básico a seguir:

  1. 1. Iniciar con un número arbitrario en el intervalo unitario.
  2. 2. Elegir una de las funciones tipo Zeta que satisfaga las condiciones de periodo tres (el teorema de Li-Yorke garantiza que el sistema inducido es caótico).
  3. 3. Generar la órbita de tamaño conveniente; por ejemplo, () sería la cantidad de números deseados para la lista).
  4. 4. Con un procesador comparar si hay una repetición en la lista de tamaño L, en caso de existir repetición se desecha la lista (en este caso se tiene un punto de periodo L o preperiódico); en caso contrario se continua con el paso 5.
  5. 5. Aplicar las pruebas estadísticas para validar “la aleatoriedad” de la lista.

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

1 Una aplicación inmediata que proponemos para trabajos futuros sería la generación de números pseudoaleatorios que a su vez sería la base para otras aplicaciones.
2 Se utilizó una computadora portátil Toshiba con procesador Intel Core i7-2630QM a 2.0 GHz y para llevar a cabo la programación y los experimentos se utilizó MATLAB R2014a y Maple 13.

Notas de autor

a Licenciado en Matemáticas Aplicadas por la Universidad Autónoma de Aguascalientes (UAA), Maestro y Doctor en Ciencias con orientación en Matemáticas Aplicadas por el Centro de Investigación en Matemáticas (CIMAT); Profesor de tiempo completo en el Departamento de Matemáticas y Física en la UAA. Candidato en el Sistema Nacional de Investigadores. Sus áreas de interés son: Optimización, Modelación Matemática, Sistemas Dinámicos, Teoría de Juegos y Economía Matemática.
b Licenciado en Matemáticas Aplicadas y Maestro en Ciencias con orientación en Matemáticas Aplicadas por la Universidad Autónoma de Aguascalientes (UAA); Profesor investigador asociado y Técnico académico asistente en el Departamento de Matemáticas y Física en la UAA. Sus líneas de investigación son: Topología Algebraica, Métodos Numéricos, Ecuaciones Diferenciales, Investigación de Operaciones y Simulación.


Buscar:
Ir a la Página
IR
Visor de artículos científicos generados a partir de XML-JATS4R por