Herradura de Smale y dinámica simbólica

Los capítulos anteriores han ido desplazando el análisis desde propiedades locales hacia estructuras globales. C64 introdujo el mapa de Hénon como ejemplo de dinámica bidimensional disipativa. C65 mostró que los autovectores de una silla solo describen las tangentes locales a variedades estables e inestables. C66 estudió qué ocurre cuando esas variedades se conectan, con una diferencia importante entre una coincidencia no transversal y una intersección transversal. La herradura de Smale permite convertir esa geometría en una descripción explícita de la complejidad orbital.

La idea básica suele resumirse en dos palabras, estirar y plegar. Esa fórmula es correcta, aunque demasiado incompleta para servir como explicación. Una transformación puede deformar fuertemente una región sin generar una herradura. Lo específico es que, después de estirar, contraer y reinyectar, varias franjas de la imagen vuelven a cruzar una región de referencia. La repetición de ese mecanismo produce una jerarquía de franjas cada vez más finas. Los puntos que nunca abandonan la región, ni hacia el futuro ni hacia el pasado, forman un conjunto invariante con una estructura que puede codificarse mediante secuencias de símbolos.

El objetivo de este capítulo es hacer explícita esa construcción. Se trabajará con un modelo afín idealizado, suficientemente simple para resolver su geometría. Después se conectará con el teorema de Birkhoff–Smale anticipado en C66. La dinámica simbólica no se presentará como una metáfora. Se construirá una correspondencia entre puntos del conjunto invariante y secuencias biinfinitas, para mostrar por qué aplicar la herradura equivale, sobre ese conjunto, a desplazar la secuencia una posición.

67.1. De una intersección transversal a un mecanismo repetible

Supongamos un difeomorfismo bidimensional con un punto periódico hiperbólico de tipo silla. Sus variedades estable e inestable pueden encontrarse fuera de una vecindad local. Si el encuentro es transversal, C66 mostró que no desaparece ante perturbaciones suficientemente pequeñas y que la invariancia de las variedades obliga a reproducir la geometría mediante imágenes y preimágenes.

La herradura abstrae esa situación. En vez de comenzar con una ecuación diferencial concreta y reconstruir numéricamente sus variedades, tomamos una región cuadrada $Q=[0,1]\times[0,1]$ y diseñamos una transformación que realiza tres operaciones geométricas. Expande una dirección, contrae la otra y devuelve parte de la imagen al cuadrado. La imagen completa puede imaginarse como una banda larga que se curva hasta adquirir una forma de herradura. Lo importante no es la silueta exterior, sino que la intersección entre la imagen y el cuadrado contenga dos franjas separadas.

Para estudiar la dinámica dentro de $Q$, podemos sustituir la curva suave por un modelo afín por tramos que conserva la estructura relevante. Consideremos las franjas verticales

En ellas definimos

La primera franja se convierte en una banda horizontal inferior,

y la segunda en una banda superior,

La inversión de orientación de la segunda rama representa el plegamiento. Fuera de $V_0\cup V_1$ no necesitamos especificar aquí la expresión. Una herradura suave completa puede extenderse a un difeomorfismo en una región mayor; el modelo afín sirve para estudiar el conjunto invariante que permanece en las dos franjas.

Esta distinción es importante. La fórmula anterior no pretende ser el único mapa llamado herradura de Smale. Es un representante exacto y pedagógicamente útil de la estructura hiperbólica y simbólica que interesa analizar.

67.2. Expansión, contracción y orientación

En cada rama el jacobiano es constante. Para $V_0$,

mientras que en $V_1$,

En ambos casos los módulos de los factores principales son

Por tanto, un vector horizontal pequeño se amplifica por un factor 3 en una iteración, mientras que un vector vertical se contrae por un factor 4. El determinante tiene módulo

por lo que el área se contrae localmente en este modelo. Sin embargo, lo que define a la herradura es la coexistencia persistente de una dirección expansiva y otra contractiva dentro de un conjunto invariante. La disipación por sí sola no basta.

Este punto conecta con C64. El mapa de Hénon clásico también combina plegamiento y contracción de área, aunque su geometría global no se reduce a dos ramas afines. La herradura ofrece un modelo canónico donde la arquitectura puede verse sin la interferencia de curvaturas adicionales. No se sigue de aquí que todo atractor de Hénon sea una herradura completa, ni que detectar visualmente dos lóbulos demuestre conjugación con un desplazamiento simbólico.

La linealización tampoco es suficiente. Dos sillas pueden tener autovalores con módulos mayor y menor que uno y, pese a ello, sus variedades no organizar una herradura. La información local especifica cómo se deforman perturbaciones cerca de una órbita hiperbólica. La herradura requiere además un retorno global que repliegue la dirección expandida sobre la región de referencia.

67.3. Qué puntos permanecen dentro del cuadrado

La mayoría de los puntos de $Q$ no pertenece a la herradura invariante. Si un punto comienza en la franja central

no entra siquiera en el dominio de las dos ramas retenidas. Entre los puntos que comienzan en $V_0\cup V_1$, muchos regresan después a la franja central y escapan en una iteración posterior.

Definamos primero el conjunto de puntos que permanecen en $Q$ durante $n$ iteraciones hacia adelante. Cada condición adicional elimina la franja central de cada intervalo superviviente. Después de una iteración quedan dos franjas verticales. Después de dos, quedan cuatro franjas de anchura $3^{-2}$. Después de $n$, quedan $2^n$ franjas de anchura

En el límite, la coordenada horizontal pertenece a un conjunto tipo Cantor. La palabra «tipo» es deliberada, porque la inversión en una de las ramas hace que la parametrización concreta difiera de la construcción escolar más simple, aunque la topología sea la misma.

La condición hacia el pasado restringe la coordenada vertical. Como las imágenes de las dos ramas ocupan las bandas inferior y superior, exigir preimágenes dentro de $Q$ produce dos bandas horizontales. Repetir la condición genera $2^n$ bandas de altura $4^{-n}$. En el límite aparece otro conjunto totalmente disconexo.

El conjunto invariante completo es

entendiendo $H^n(Q)$ en la región donde las iteraciones y preiteraciones pertinentes están definidas. Topológicamente, $\Lambda$ es el producto de dos conjuntos de Cantor.

Esta construcción permite precisar una expresión habitual. La herradura no «llena» el cuadrado. El conjunto que permanece atrapado bajo todas las iteraciones tiene área nula en el modelo ideal y está compuesto por una colección no numerable de puntos organizada a todas las escalas. La complejidad orbital no exige ocupar un gran volumen del espacio de estados.

67.4. Palabras finitas y rectángulos cada vez más pequeños

Asignemos el símbolo 0 cuando una órbita visita $V_0$ y el símbolo 1 cuando visita $V_1$. Si conocemos los primeros $n$ símbolos futuros

no conocemos un punto único. Conocemos una franja vertical específica entre las $2^n$ franjas supervivientes. Su anchura es $3^{-n}$.

Del mismo modo, conocer $m$ símbolos del pasado restringe la coordenada vertical a una banda de altura $4^{-m}$. Si conocemos un bloque bilateral

el punto está localizado dentro de un rectángulo cuya anchura y altura son, respectivamente,

A medida que aumentan $m$ y $n$, el diámetro de esos rectángulos tiende a cero. Por tanto, una secuencia biinfinita completa determina un único punto de $\Lambda$.

La implicación inversa también vale en este modelo, ya que cada punto de $\Lambda$ genera una secuencia biinfinita bien definida según la franja visitada en cada tiempo entero. La separación entre las franjas evita ambigüedades de codificación.

Esto aclara por qué el pasado y el futuro cumplen funciones distintas. Los símbolos futuros determinan con precisión creciente la posición en la dirección inestable. Los símbolos pasados determinan la posición en la dirección estable. Una condición inicial completa contiene ambas informaciones.

No hay contradicción con la causalidad del mapa. Para evolucionar hacia adelante basta conocer el estado actual. La secuencia pasada aparece porque estamos clasificando geométricamente qué punto actual ocupa cada posición dentro del conjunto invariante.

67.5. El espacio simbólico

Introduzcamos el espacio de todas las secuencias binarias biinfinitas

Sobre este espacio definimos el desplazamiento bilateral

Aplicar $\sigma$ mueve el punto de separación temporal una posición hacia la derecha. Si

entonces

La secuencia no ha sido alterada como lista ordenada de símbolos. Ha cambiado cuál símbolo representa el estado presente.

La codificación geométrica define una aplicación

que asigna a cada secuencia el único punto que posee ese itinerario. Para la herradura ideal, $\pi$ es un homeomorfismo y satisface

Esta identidad es la afirmación central del capítulo. Significa que la dinámica de $H$ restringida a $\Lambda$ es topológicamente conjugada al desplazamiento bilateral sobre dos símbolos.

No estamos diciendo que los puntos del plano sean símbolos. Estamos diciendo que existe una correspondencia continua, invertible y compatible con la evolución. Las propiedades topológicas de las órbitas pueden estudiarse entonces en el espacio simbólico y trasladarse de regreso al conjunto geométrico.

Para que la palabra «homeomorfismo» tenga contenido es necesario precisar también qué significa que dos secuencias sean cercanas. Una elección estándar consiste en definir una distancia como

Dos secuencias son cercanas cuando coinciden en un bloque largo alrededor del índice cero. Una diferencia en un símbolo muy lejano hacia el futuro o hacia el pasado contribuye poco a la distancia actual. Esta topología refleja exactamente la construcción geométrica por rectángulos. Coincidir en muchos símbolos futuros obliga a compartir una franja vertical muy estrecha; coincidir en muchos símbolos pasados obliga a compartir una banda horizontal muy estrecha.

Así, si dos secuencias coinciden para $|k|\le N$, los puntos correspondientes quedan confinados a un mismo rectángulo cuya anchura decrece como $3^{-N}$ y cuya altura decrece como $4^{-N}$. A la inversa, dos puntos suficientemente próximos dentro de $\Lambda$ y alejados de las fronteras de los cilindros pertinentes comparten un bloque simbólico largo alrededor del presente. La continuidad de $\pi$ expresa que la noción simbólica de proximidad reproduce la geometría de la herradura.

También se entiende así una característica aparentemente paradójica del desplazamiento. Aplicar $\sigma$ no cambia ningún símbolo, aunque sí cambia su relevancia temporal. Un símbolo que antes estaba lejos en el futuro se acerca al presente con cada iteración. Por eso dos secuencias inicialmente cercanas pueden dejar de serlo después de suficientes desplazamientos. La sensibilidad aparece en el lenguaje simbólico sin necesidad de introducir ruido ni pérdida de determinismo.

67.6. Por qué la conjugación importa

El espacio simbólico transforma preguntas geométricas difíciles en operaciones combinatorias precisas. Consideremos una palabra finita de longitud $n$, por ejemplo $01011.$

Existe un conjunto de puntos cuyos próximos cinco símbolos coinciden con esa palabra. Ese conjunto es un cilindro simbólico y corresponde geométricamente a una franja estrecha de $\Lambda$. Hay exactamente $2^n$ palabras binarias de longitud $n$. Por ello la cantidad de itinerarios distinguibles crece exponencialmente.

Este crecimiento conduce a una entropía topológica

No es necesario desarrollar aquí la teoría general de entropía para entender la afirmación. El factor $\log 2$ resume que en cada paso aparece una elección simbólica binaria compatible con la dinámica sobre $\Lambda$. Lo relevante es que la complejidad surge de la estructura determinista del mapa, sin ruido añadido.

La conjugación también permite construir órbitas con propiedades específicas. Una secuencia periódica genera una órbita periódica. Una secuencia no periódica genera una órbita no periódica. Dos secuencias que comparten un bloque central largo corresponden a puntos geométricamente próximos, aunque pueden diferir en símbolos suficientemente lejanos y separarse después.

La dinámica simbólica no sustituye a la geometría. Resume una estructura geométrica previamente demostrada. Si la partición simbólica se elige arbitrariamente en un sistema cualquiera, la aparición de cadenas complicadas no demuestra que exista una herradura.

67.7. Órbitas periódicas de todos los períodos

Tomemos una palabra de longitud $n$

y repitámosla indefinidamente hacia ambas direcciones. La secuencia resultante satisface $\sigma^n(s)=s.$

Por conjugación, el punto correspondiente verifica $H^n(\pi(s))=\pi(s).$

Por tanto, cada palabra repetida define un punto fijo de $H^n$ dentro de $\Lambda$. Hay $2^n$ secuencias fijas de $\sigma^n$, de modo que

Esto no significa que existan $2^n$ órbitas distintas de período mínimo $n$. Algunas palabras son repeticiones de palabras más cortas. Por ejemplo, $0101$ genera una órbita cuyo período mínimo es 2, no 4. La distinción entre ser fijo de $H^n$ y poseer período mínimo $n$ es la misma que ya apareció en C52 al estudiar ciclos de mapas.

Aun con esa corrección, la conclusión cualitativa es fuerte, porque existen órbitas periódicas de períodos arbitrariamente grandes. Además, las secuencias periódicas son densas en $\Sigma_2$. Dado cualquier bloque finito de símbolos, podemos construir una secuencia periódica que contenga ese bloque. Por conjugación, los puntos periódicos son densos en $\Lambda$.

Esta densidad no debe interpretarse como convergencia hacia órbitas periódicas. Los puntos periódicos de una herradura son hiperbólicos y están inmersos en un conjunto con una gran diversidad de itinerarios. «Denso» significa que cualquier vecindad relativa dentro de $\Lambda$ contiene puntos periódicos, no que una trayectoria genérica termine sobre ellos.

67.8. Sensibilidad sin recurrir todavía a exponentes de Lyapunov

C56 introdujo sensibilidad a las condiciones iniciales como una propiedad topológica que requiere cuantificadores precisos. La herradura permite entender su mecanismo geométrico.

Dos puntos pueden compartir muchos símbolos alrededor del presente. Entonces pertenecen al mismo rectángulo de una partición fina y están muy próximos. Si sus itinerarios futuros difieren por primera vez en la posición $N$, durante las primeras iteraciones permanecen en las mismas ramas. La expansión horizontal multiplica las diferencias pequeñas aproximadamente por 3 en cada paso mientras la descripción lineal por ramas siga siendo válida. Cuando llega el símbolo discrepante, ambos puntos son enviados a franjas distintas y quedan separados a escala macroscópica.

El detalle cuantitativo de las tasas de expansión pertenece a C68, donde se estudiarán espectros de Lyapunov. En C67 basta distinguir dos niveles. La dinámica simbólica demuestra que existen itinerarios arbitrariamente próximos en el presente con futuros diferentes. La hiperbolicidad geométrica explica cómo una discrepancia en la dirección inestable puede hacerse observable.

Un error frecuente sería concluir que $\log 3$ es «el» exponente de Lyapunov de cualquier herradura. Solo lo es para la dirección expansiva de este modelo afín particular. Una herradura suave general puede tener tasas que varían a lo largo de la órbita. La conjugación topológica conserva la organización de itinerarios, aunque no conserva las magnitudes métricas de expansión.

67.9. La herradura no es necesariamente un atractor

La palabra «caos» se asocia a menudo con atractores extraños. La herradura obliga a separar ambos conceptos.

El conjunto $\Lambda$ es invariante y contiene dinámica compleja, aunque la herradura clásica no tiene por qué atraer un conjunto abierto de condiciones iniciales. Muchos puntos cercanos terminan escapando del cuadrado porque, después de algunas iteraciones, caen en la región central eliminada. Para pertenecer a $\Lambda$, un punto debe satisfacer simultáneamente una secuencia infinita de restricciones hacia adelante y hacia atrás.

Por ello la existencia de una herradura demuestra la existencia de un subconjunto invariante con dinámica simbólica rica. No demuestra por sí sola que esa dinámica describa el comportamiento asintótico típico de todas las condiciones iniciales cercanas.

Esta distinción es relevante al interpretar modelos como Lorenz, Rössler o Hénon. En ellos pueden coexistir conjuntos invariantes con papeles dinámicos distintos. Un conjunto hiperbólico tipo herradura puede organizar parte del retorno sin coincidir con todo el atractor observado. La inferencia debe especificar qué conjunto se ha identificado y qué condiciones iniciales lo visitan o se aproximan a él.

67.10. Qué afirma el teorema de Birkhoff–Smale

C66 terminó con una afirmación que ahora puede formularse con mayor precisión conceptual. Si un difeomorfismo suficientemente regular posee un punto periódico hiperbólico y una intersección homoclínica transversal entre sus variedades estable e inestable, entonces, en una vecindad adecuada de la estructura homoclínica, alguna iteración del mapa contiene un conjunto hiperbólico invariante cuya dinámica incluye una herradura. En una formulación estándar, la dinámica restringida a ese conjunto es conjugada a un desplazamiento sobre un número finito de símbolos.

La necesidad de considerar una iteración es importante. La geometría puede requerir varios pasos antes de que las franjas regresen a la región elegida con la disposición necesaria. El mapa original no tiene que dibujar una herradura evidente en una sola aplicación.

El resultado tampoco convierte cualquier conexión homoclínica en una herradura. La transversalidad es central. El lazo homoclínico integrable del Duffing conservativo estudiado en C66 es una coincidencia de variedades en un sistema planar autónomo. No posee la estructura repetida de cruces transversales que activa el mecanismo de Birkhoff–Smale.

La implicación conceptual es fuerte y específica. Una sola intersección homoclínica transversal puede certificar una organización orbital mucho más rica que el cruce local observado. Las imágenes y preimágenes generan nuevas intersecciones que permiten codificar la dinámica mediante itinerarios simbólicos. Esa riqueza procede de una estructura geométrica estable bajo iteración, no de que una curva «se vea complicada».

67.11. Qué abarca el término «dinámica simbólica»

El término puede referirse a situaciones de distinta fuerza. En la herradura ideal existe una conjugación uno a uno con el desplazamiento completo sobre dos símbolos. En otros sistemas puede haber solo una semiconjugación, de modo que varias condiciones iniciales comparten la misma secuencia simbólica. También puede ocurrir que no todas las secuencias estén permitidas. En ese caso la dinámica simbólica está restringida por reglas de transición y se obtiene un subdesplazamiento.

Por ejemplo, si una geometría permite el tránsito $0\to0$, $0\to1$ y $1\to0$, pero prohíbe $1\to1$, no tenemos el desplazamiento binario completo. La información puede representarse mediante una matriz de adyacencia

Las secuencias admisibles son aquellas cuyos pares consecutivos corresponden a entradas iguales a uno. Esta extensión será importante más adelante, cuando la geometría de un sistema real no genere dos ramas totalmente independientes.

La moraleja metodológica es que simbolizar no equivale a demostrar. Antes de asignar letras a una trayectoria hay que justificar que la partición retiene la estructura dinámica que se quiere estudiar. Una codificación puede ser útil para resumir datos y, aun así, carecer de una relación conjugada con el sistema subyacente.

67.12. Un modelo exacto y sus límites

El modelo afín de este capítulo tiene ventajas poco comunes. Las tasas de expansión y contracción son constantes. Las franjas tienen fronteras rectas. Los cilindros simbólicos pueden contarse exactamente. La relación con el desplazamiento binario es transparente.

Por eso mismo no debe confundirse con un sistema genérico observado. En una herradura suave real las franjas se curvan. Las tasas de expansión dependen del punto. Las particiones útiles pueden requerir construcción cuidadosa. En sistemas no uniformemente hiperbólicos pueden aparecer tangencias, regiones con expansión débil y comportamientos que el modelo afín no representa.

Tampoco puede inferirse una herradura a partir de una serie temporal finita observando solamente alternancias entre dos regiones. Una secuencia binaria aparentemente irregular puede surgir de ruido, de una partición mal elegida o de un proceso estocástico. La herradura es una afirmación sobre la geometría y la invariancia de un sistema dinámico, no sobre la apariencia visual de una cadena de símbolos.

La simulación ayuda a comprobar un modelo ya especificado. No reemplaza la identificación matemática del mecanismo.

67.13. Verificación computacional

El paquete reproducible implementa el modelo afín definido al comienzo del capítulo. La primera serie de pruebas comprueba las imágenes exactas de las dos franjas, los jacobianos, los factores de expansión y contracción y el determinante de cada rama. También se verifican las fórmulas inversas sobre las dos bandas horizontales.

Una segunda serie construye aproximaciones finitas al conjunto invariante. Para profundidades $n=1,\ldots,6$, el código verifica que existen $2^n$ franjas supervivientes hacia adelante, de anchura $3^{-n}$, junto con $2^n$ bandas compatibles con el pasado, de altura $4^{-n}$.

La tercera serie usa palabras binarias periódicas. Para cada palabra de longitud hasta seis se compone exactamente la transformación afín correspondiente, se resuelve el punto fijo de $H^n$ y se comprueba que la órbita sigue el itinerario esperado y regresa a la condición inicial dentro de tolerancia numérica. Se distingue además el período mínimo de la palabra respecto del período usado para construirla.

Por último, se generan secuencias biinfinitas finitas suficientemente largas, se aproxima el punto determinado por sus símbolos pasados y futuros y se verifica la identidad de conjugación en la ventana computada, donde aplicar $H$ desplaza el itinerario una posición. Como toda verificación finita, esto no demuestra el teorema para secuencias infinitas; comprueba que la implementación reproduce la construcción analítica.

Se ejecutaron 268 comprobaciones y todas resultaron satisfactorias. El número elevado proviene principalmente de la verificación independiente de palabras periódicas e itinerarios simbólicos, no de repetir una misma comparación con tolerancias arbitrarias.

67.14. De la herradura a las tasas de expansión

C66 mostró que una intersección homoclínica transversal puede reproducirse globalmente. C67 ha convertido esa repetición en una estructura explícita. El conjunto invariante se descompone en rectángulos cada vez más finos y sus órbitas pueden etiquetarse mediante secuencias. Sobre la herradura, la evolución geométrica es topológicamente equivalente al desplazamiento bilateral.

Queda una pregunta distinta. La conjugación describe qué itinerarios existen y cómo se organizan, sin cuantificar de manera general a qué velocidad se expanden o contraen las perturbaciones en cada dirección. En el modelo afín esas tasas son constantes, mientras que Lorenz, Rössler y Hénon no poseen esa simplicidad.

C68 introducirá los espectros de Lyapunov para medir tasas asintóticas de crecimiento de perturbaciones en varias direcciones. Será el paso desde la organización simbólica y topológica hacia una descripción métrica de la predictibilidad.

Referencias

Guckenheimer, J., & Holmes, P. (1983). Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields. Springer. https://doi.org/10.1007/978-1-4612-1140-2

Katok, A., & Hasselblatt, B. (1995). Introduction to the Modern Theory of Dynamical Systems. Cambridge University Press. https://doi.org/10.1017/CBO9780511809187

Smale, S. (1967). Differentiable dynamical systems. Bulletin of the American Mathematical Society, 73(6), 747–817. https://doi.org/10.1090/S0002-9904-1967-11798-1

Wiggins, S. (2003). Introduction to Applied Nonlinear Dynamical Systems and Chaos (2nd ed.). Springer. https://doi.org/10.1007/b97481

Recursos reproducibles

Descargar recursos del capítulo (ZIP, 226 kB).

1 archivo CSV · 4 figuras · 1 programa Python.

El programa se ha ejecutado en una carpeta vacía y genera los archivos de datos y figuras incluidos en el paquete.

Ver instrucciones y contenido del paquete.