Órbitas homoclínicas y bifurcaciones globales

La geometría local de una silla se prolonga mediante variedades estable e inestable. Una órbita homoclínica sale de una silla siguiendo su variedad inestable y regresa a la misma silla por la estable. Cuando esas variedades se cortan transversalmente en un mapa de Poincaré, las iteraciones repiten el cruce y generan un entramado de estiramiento y plegamiento. La afirmación requiere todos esos elementos: punto hiperbólico, variedades identificadas, intersección real y transversalidad.

Dos sistemas son topológicamente conjugados si existe un homeomorfismo $h$ que respeta la evolución:

$$h\circ F=G\circ h.$$

La conjugación conserva la organización de órbitas aunque cambien distancias y ángulos. En flujos, conservar velocidades o periodos exige precisar qué ocurre con el reloj. La semiconjugación relaja la correspondencia uno a uno y aparece al codificar regiones mediante símbolos: varios puntos pueden producir el mismo itinerario.

En la herradura, cada punto que permanece en el conjunto invariante puede asociarse con una secuencia de símbolos que registra qué banda visita. El desplazamiento

$$\sigma(\ldots s_{-1}.s_0s_1\ldots) =\ldots s_0.s_1s_2\ldots$$

ofrece un modelo de la dinámica. Una secuencia periódica corresponde a un punto periódico; dos sucesiones que coinciden durante muchos símbolos y luego difieren representan órbitas que permanecen próximas un tiempo y después se separan. Devaney desarrolla la conjugación y la dinámica simbólica antes de aplicar la codificación a puntos homoclínicos y herraduras. Devaney, 2022 Robert L. Devaney (2022) An Introduction to Chaotic Dynamical Systems 3.ª ed. · CRC Press Ubicación consultada: caps. 6–9, 15 y 28

El grado topológico ofrece una forma de contar ceros que resiste deformaciones continuas cuando la imagen de la frontera permanece alejada del origen. En el ejemplo, la circunferencia del dominio se recorre una vez y el campo complejo $F(z)=z^2+0.35z$ rodea el origen dos veces. Esa vuelta total da grado dos y anticipa, contando multiplicidad y orientación, la suma de ceros en el interior.

El cálculo de grado aporta información topológica que puede sobrevivir a una deformación. Una conclusión sobre intersección homoclínica o sensibilidad requiere, además, identificar el objeto invariante exacto y verificar sus hipótesis geométricas. El grado puede certificar existencia algebraico-topológica de ceros; no reemplaza la construcción de variedades.

Alcance de la conjugación topológica

Si $h\circ F=G\circ h$ y $A$ es invariante para $F$, entonces

$$G(h(A))=h(F(A))=h(A).$$

Puntos fijos, ciclos de periodo mínimo, conjuntos invariantes y recurrencia se transportan. Longitudes, ángulos, áreas y curvaturas pueden deformarse. En una equivalencia orbital de flujos, incluso los periodos pueden cambiar. Por eso una conjugación topológica arbitraria no determina el valor de un exponente de Lyapunov.

La semiconjugación $h\circ F=\sigma\circ h$ hacia un espacio simbólico conserva la secuencia de regiones, pero puede identificar puntos distintos. Para obtener una conjugación se necesita que cada itinerario admisible determine un único punto del conjunto invariante y que la codificación y su inversa sean continuas. Hirsch, Smale y Devaney muestran cómo contracción y expansión en la herradura proporcionan esa unicidad. Hirsch, 2013 Morris W. Hirsch, Stephen Smale y Robert L. Devaney (2013) Differential Equations, Dynamical Systems, and an Introduction to Chaos 3.ª ed. · Academic Press Ubicación consultada: caps. 15–16, pp. 329–384

Conjugación de mapas lineales contractivos

Considera $F(x)=ax$ y $G(y)=by$ en $x,y>0$, con $0<a,b<1$. Busca $h(x)=x^p$. La condición $h(F(x))=G(h(x))$ exige

$$(ax)^p=bx^p,$$

por lo que $p=\log b/\log a>0$. Así, $h$ transforma las órbitas de una contracción en las de la otra, aunque sus tasas métricas sean distintas. El ejemplo muestra que una conjugación conserva el orden de iteración y el destino; las tasas de relajación se expresan en sus propias unidades físicas.

Para $a=1/2$ y $b=1/4$, $p=2$ y $h(x)=x^2$. La verificación completa incluye más que la identidad:

$$h(F(x))=(x/2)^2=x^2/4=G(h(x)).$$

En $(0,\infty)$, $h$ es continua, biyectiva y tiene inversa continua $h^{-1}(y)=\sqrt y$. Si se amplía el dominio a toda la recta, $x^2$ deja de ser inyectiva; habría que usar $h(x)=\operatorname{sgn}(x)|x|^2$. El dominio forma parte de la conjugación.

Las derivadas en el punto fijo son $F'(0)=1/2$ y $G'(0)=1/4$. Sus valores no coinciden aunque los mapas sean topológicamente conjugados. La rapidez métrica por iteración no es un invariante topológico.

Cruces homoclínicos y codificación binaria

Una gráfica discretizada sugiere transversalidad cuando la integración, la localización de las variedades y el ángulo de cruce sostienen la misma lectura. El teorema de Smale–Birkhoff vincula, en el contexto de un difeomorfismo y un punto periódico hiperbólico, una intersección homoclínica transversal con una herradura para alguna iteración. La conclusión no dice que todo punto del espacio sea caótico; identifica un subconjunto invariante con dinámica simbólica.

En la construcción ideal, dos rectángulos $R_0$ y $R_1$ sobreviven al corte de una región con su imagen. Para un punto $x$, se define $s_n=i$ cuando $F^n(x)\in R_i$. Las sucesiones futuras restringen la dirección estable y las pasadas la inestable. La intersección de bandas anidadas determina un punto cuando la expansión y contracción cumplen las hipótesis.

Alligood, Sauer y Yorke conectan herradura, hiperbolicidad y ensombrecimiento: una órbita computada puede seguir una órbita verdadera cercana bajo condiciones hiperbólicas, pero el teorema no autoriza cualquier cálculo ni cualquier horizonte. Alligood, 1996 Kathleen T. Alligood, Tim D. Sauer y James A. Yorke (1996) Chaos: An Introduction to Dynamical Systems Springer Ubicación consultada: cap. 5, pp. 193–230

Grado de un polinomio sobre una frontera

Sea $F(z)=z^2+0.35z=z(z+0.35)$ en el disco unidad. Sus ceros son $z=0$ y $z=-0.35$, ambos interiores. Sobre $|z|=1$,

$$|z^2|=1, \qquad |0.35z|=0.35.$$

La homotopía $F_s(z)=z^2+0.35s z$, $0\le s\le1$, nunca alcanza cero en la frontera porque $|z^2|>|0.35s z|$. Por invariancia homotópica, $F$ y $z^2$ tienen el mismo grado respecto de $0$. La curva $z^2$ da dos vueltas positivas cuando $z$ recorre una, de modo que el grado es $2$.

El argumento explica la figura sin limitarse a contar vueltas visualmente. Si durante una deformación la imagen de la frontera cruzara el origen, el grado podría cambiar y la conclusión sobre ceros interiores tendría que revisarse.

Codificación simbólica y elección de particiones

Usa Duffing–Ueda y la sección estroboscópica definida en la unidad anterior. Conserva $\delta=0.2$, $\alpha=-1$, $\beta=1$, $\omega=1.2$, $(0.1,0)$, RK4, $dt=0.005$, tiempo $600$ y transitorio $100$. Compara $\gamma=0.2$, $0.3$ y $0.37$.

Divide la sección con una regla declarada, por ejemplo $x<0\mapsto L$ y $x\ge0\mapsto R$, y escribe los primeros cien símbolos. Cuenta palabras de longitud tres y compara su diversidad entre parámetros. El resultado describe esa partición; el análisis de variedades aporta la evidencia geométrica complementaria. Amplía una región donde parezcan aproximarse ramas y repite con $dt=0.0025$.

Una secuencia rica no prueba una herradura. Si la frontera $x=0$ corta una misma región dinámica de manera arbitraria, el código puede producir palabras sin correspondencia estable con bandas invariantes. Repite después de desplazar levemente la partición; una codificación geométricamente significativa debe justificarse mediante el mapa y sus regiones, no sólo por equilibrio entre ceros y unos.

Para evaluar un posible cruce, conserva coordenadas completas, no sólo la proyección. Aproxima tangentes con varios tamaños de ventana, calcula el ángulo y verifica que no tienda a cero al refinar. Guckenheimer y Holmes distinguen bifurcaciones homoclínicas y estructura hiperbólica dentro de un análisis global, lo cual sirve de límite para la evidencia numérica. Guckenheimer, 1983 John Guckenheimer y Philip Holmes (1983) Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields Springer Ubicación consultada: caps. 5–6, herraduras y bifurcaciones homoclínicas

En una familia, una conexión no transversal suele ocupar una superficie de codimensión uno en el espacio de parámetros. Su despliegue puede producir ciclos largos, cambiar la organización de cuencas o combinarse con otra degeneración en codimensión dos. El tomo II relaciona estas conexiones con policiclos y con el estudio global de ciclos límite; el parámetro debe formar parte de la hipótesis y no sólo del pie de una figura. Rosas, 2021 Jessica Angélica Jaurez Rosas, Laura Ortiz Bobadilla, Jesús Alberto Palma Márquez y Ernesto Rosales González (2021) Teoría geométrica de ecuaciones diferenciales II Papirhos Textos 14 · Instituto de Matemáticas, UNAM Ubicación consultada: cap. 11, policiclos y bifurcaciones globales Abrir fuente

Movimiento regular y caótico a energía fija

En un sistema hamiltoniano, una sección de Poincaré suele preservar área. Esto cambia la lectura aprendida con flujos disipativos: no hay contracción neta que lleve una región abierta hacia un atractor de área nula. Pueden coexistir curvas invariantes, islas alrededor de órbitas elípticas y capas caóticas cerca de separatrices. El volumen editado por Velo y Wightman reúne el paso del péndulo regular al movimiento no acotado y el análisis de Newhouse sobre dinámica conservativa, donde las intersecciones homoclínicas de Poincaré aparecen como estructura central, no como una irregularidad del dibujo. Velo, 1985 Giuliano Velo y Arthur S. Wightman, editores (1985) Regular and Chaotic Motions in Dynamic Systems Plenum Press Ubicación consultada: Kadanoff, conferencia II, pp. 27–44; Newhouse, pp. 103–184, esp. pp. 103–105

El mapa estándar ofrece un caso calculable:

$$p_{n+1}=p_n+K\sin q_n\pmod{2\pi}, \qquad q_{n+1}=q_n+p_{n+1}\pmod{2\pi}.$$

Para $K=0$, $p_n=p_0$ y $q_n=q_0+np_0$: cada recta horizontal es invariante. Si $p_0/(2\pi)$ es racional, la órbita es periódica; si es irracional, recorre densamente esa curva. Al activar $K$, algunas curvas sobreviven deformadas y otras se rompen cerca de resonancias. La mezcla de regiones regulares y caóticas impide describir toda la sección con una única trayectoria.

En coordenadas $(q,p)$, el jacobiano es

$$DP_K(q,p)= \begin{pmatrix} 1+K\cos q & 1\\ K\cos q & 1 \end{pmatrix}, \qquad \det DP_K=1.$$

La igualdad del determinante verifica preservación de área. En el punto fijo $(0,0)$ la traza es $2+K$; para $K>0$ es hiperbólico y tiene direcciones estable e inestable. En $(\pi,0)$ la traza es $2-K$; para $0<K<4$ el punto es elíptico y organiza una isla regular. Ambos tipos de movimiento aparecen con el mismo valor de $K$.

Las ramas $W^s(0,0)$ y $W^u(0,0)$ pueden cruzarse de forma transversal. Una rama que sale del punto hiperbólico se estira alrededor del cilindro y vuelve a cortar la que entra; las iteraciones repiten el cruce y forman el entramado homoclínico. La animación de la herradura al inicio de la unidad muestra el mecanismo topológico de estirar y plegar. En el mapa estándar, la contracción en una dirección se compensa exactamente con expansión en la otra, porque el área total se conserva.

Este caso también fija el alcance del teorema homoclínico. Un cruce transversal permite localizar un subconjunto invariante con dinámica simbólica para alguna iteración. No convierte toda la sección en una región ergódica ni elimina las islas elípticas. Para sostener el cruce numéricamente se parametrizan ambas variedades desde el autovector correspondiente, se refinan las semillas y se comprueba que el ángulo de intersección permanezca separado de cero.

Pruebas de estructura topológica

La topología permite reconocer una misma organización bajo deformaciones profundas. Cada conclusión debe indicar la relación verificada —conjugación, semiconjugación, grado o transversalidad— y las hipótesis bajo las cuales se conserva.