Estabilidad estructural, Peixoto y Morse–Smale

Una trayectoria individual cambia cuando se perturban coeficientes; la pregunta estructural es si cambia la organización completa de las órbitas. Un flujo es estructuralmente estable cuando todos los campos suficientemente cercanos tienen un retrato topológicamente equivalente. En superficies compactas, el teorema de Peixoto convierte esta pregunta infinita en condiciones geométricas verificables: hiperbolicidad de los elementos recurrentes, finitud y ausencia de conexiones frágiles entre sillas.

Topología en el espacio de campos

Sea $M$ una variedad compacta y $\mathfrak X^1(M)$ el espacio de campos vectoriales $C^1$. Una distancia $C^1$ controla tanto las componentes del campo como sus primeras derivadas en un atlas finito. Controlar sólo valores $C^0$ no basta para preservar hiperbolicidad, porque los autovalores dependen de las derivadas.

Un campo $X$ es estructuralmente estable si existe una vecindad $\mathcal U$ en $\mathfrak X^1(M)$ tal que cada $Y\in\mathcal U$ es topológicamente equivalente a $X$: existe un homeomorfismo $h:M\to M$ que lleva órbitas orientadas de $X$ a órbitas orientadas de $Y$. La equivalencia de flujos suele permitir una reparametrización positiva del tiempo a lo largo de cada órbita. Exigir

$$h\circ\Phi_t^X=\Phi_t^Y\circ h$$

para el mismo $t$ sería conjugación temporal y es una condición más fuerte.

La estabilidad estructural no afirma que posiciones, periodos o autovalores sean iguales. Afirma que persisten los tipos de órbita y sus conexiones bajo una equivalencia definida. Guckenheimer y Holmes distinguen esta persistencia topológica de la estabilidad de Lyapunov de un equilibrio Guckenheimer, 1983 John Guckenheimer y Philip Holmes (1983) Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields Springer Ubicación consultada: cap. 1, equivalencia y estabilidad estructural de flujos .

Persistencia de equilibrios y ciclos hiperbólicos

Un equilibrio $p$ es hiperbólico si $DX(p)$ no tiene autovalores con parte real cero. El teorema de la función implícita asegura que, bajo perturbaciones $C^1$ pequeñas, existe un equilibrio cercano con el mismo índice estable e inestable. Sus variedades locales también persisten con regularidad apropiada.

Una órbita periódica es hiperbólica si los multiplicadores no triviales de su mapa de Poincaré no están sobre el círculo unitario. El multiplicador uno asociado a la dirección del flujo se elimina al pasar a una sección transversal. Un ciclo hiperbólico persiste y conserva su tipo atractor, repulsor o silla.

Los centros planos no son hiperbólicos: están rodeados por una familia continua de órbitas periódicas. Una disipación arbitrariamente pequeña puede convertir el centro en foco y destruir la familia. La estabilidad lineal neutral del centro no produce estabilidad estructural.

Wiggins usa la hiperbolicidad como condición que permite continuar objetos invariantes y controlar sus variedades; sin una brecha espectral, pequeñas perturbaciones pueden cambiar el retrato Wiggins, 2003 Stephen Wiggins (2003) Introduction to Applied Nonlinear Dynamical Systems and Chaos 2.ª ed., Texts in Applied Mathematics, vol. 2 · Springer-Verlag New York Ubicación consultada: caps. 2-4, hiperbolicidad y persistencia de objetos invariantes Abrir fuente .

Transversalidad y conexiones entre sillas

Si $p$ y $q$ son elementos hiperbólicos, una intersección

$$W^u(p)\cap W^s(q)$$

es transversal en $z$ cuando

$$T_zW^u(p)+T_zW^s(q)=T_zM.$$

Las intersecciones transversales persisten bajo perturbaciones pequeñas. Una conexión de silla planar es diferente: las separatrices que comparten una órbita tienen la misma dirección tangente, de modo que la conexión es no transversal y puede romperse al modificar el campo. La ruptura cambia qué regiones se comunican y puede crear o destruir un ciclo límite.

La ausencia de conexiones entre sillas en el criterio de Peixoto elimina este mecanismo frágil. No elimina toda órbita heteroclínica: conexiones desde una fuente hacia un sumidero pueden formar familias dimensionalmente compatibles. Lo prohibido son los ciclos y conexiones de separatrices de silla que violan la estructura genérica requerida.

Teorema de Peixoto en una superficie compacta

Para un campo $C^1$ sobre una superficie compacta, conexa y orientable sin frontera, una formulación habitual del teorema de Peixoto caracteriza la estabilidad estructural mediante estas condiciones:

1. el conjunto no errante contiene sólo un número finito de equilibrios y órbitas periódicas;
2. todos esos elementos son hiperbólicos;
3. no hay conexiones entre puntos silla;
4. las intersecciones relevantes de variedades invariantes satisfacen la condición de transversalidad.

Además, los campos estructuralmente estables forman un conjunto abierto y denso en $\mathfrak X^1(M)$. La formulación exacta debe adaptarse si la superficie tiene frontera, no es orientable o el campo posee singularidades impuestas. El plano $\mathbb R^2$ no es compacto; para usar Peixoto se restringe a una región compacta con comportamiento controlado en la frontera o se compactifica verificando qué ocurre en el infinito.

“Abierto y denso” no significa que toda perturbación grande conserve el retrato. Abierto significa que cada campo estable tiene un radio de perturbación admisible; denso significa que cualquier campo puede aproximarse por uno estable. Los campos degenerados siguen siendo decisivos porque forman las fronteras donde ocurren bifurcaciones.

Sistemas Morse–Smale

Un flujo Morse–Smale tiene conjunto no errante finito, formado por equilibrios y órbitas periódicas hiperbólicas, y sus variedades estables e inestables se intersectan transversalmente. En dimensiones mayores, esta definición proporciona una clase estructuralmente estable, pero no todo sistema estructuralmente estable necesita describirse con la versión más elemental del cuadro planar.

Para un flujo gradiente

$$\dot x=-\nabla V(x),$$

se tiene

$$\frac{d}{dt}V(x(t))=-\|\nabla V(x(t))\|^2\le0.$$

No hay órbitas periódicas no constantes. Si $V$ es una función de Morse —todos sus puntos críticos son no degenerados— y las variedades estable e inestable se intersectan transversalmente, el flujo es Morse–Smale. Los índices de Morse determinan dimensiones de las variedades inestables y organizan un complejo de conexiones.

Ejemplo trabajado: flujo gradiente sobre la esfera

En la esfera unitaria usemos coordenadas esféricas con ángulo polar $\theta\in[0,\pi]$ y función altura

$$V(\theta,\phi)=\cos\theta.$$

La métrica estándar da

$$\nabla V=-\sin\theta\,\frac{\partial}{\partial\theta}.$$

Tomemos el gradiente negativo:

$$X=-\nabla V=\sin\theta\,\frac{\partial}{\partial\theta}.$$

Los únicos equilibrios son el polo norte $N$ con $\theta=0$ y el sur $S$ con $\theta=\pi$. Cerca de $N$, $\sin\theta=\theta+O(\theta^3)$, así que las dos direcciones tangentes se expanden: $N$ es una fuente hiperbólica. Cerca de $S$ definimos $\eta=\pi-\theta$; entonces

$$\dot\eta=-\sin\eta=-\eta+O(\eta^3),$$

por lo que $S$ es un sumidero hiperbólico.

Cada meridiano orientado va de $N$ a $S$. La función $V$ disminuye estrictamente fuera de los polos:

$$\dot V=-\sin^2\theta<0.$$

No existen ciclos ni otros puntos no errantes. Las variedades son

$$W^u(N)=S^2\setminus\{S\}, \qquad W^s(S)=S^2\setminus\{N\},$$

y sus intersecciones son transversales porque ambas tienen dimensión completa donde coinciden. El flujo satisface el cuadro Morse–Smale y el criterio de Peixoto.

Como verificación topológica, los índices de la fuente y del sumidero son ambos $+1$. Su suma vale dos, igual a la característica de Euler de $S^2$. Esta igualdad es un caso del teorema de Poincaré–Hopf.

Índice y restricciones topológicas

Para un equilibrio aislado de un campo planar, el índice mide cuántas vueltas da la dirección normalizada del campo alrededor de una curva pequeña. Nodos, focos y centros tienen índice $+1$; una silla hiperbólica tiene índice $-1$. En una variedad compacta,

$$\sum_{p:X(p)=0}\operatorname{ind}_p(X)=\chi(M).$$

La esfera exige suma dos; el toro tiene característica cero. Esta restricción descarta inventarios imposibles antes de integrar. Por ejemplo, una esfera no puede sostener un campo con una única silla hiperbólica y ningún otro cero.

El índice no decide estabilidad ni conexiones. Dos campos pueden compartir la misma lista de índices y tener grafos de separatrices distintos. Es un control global necesario, no una clasificación completa.

Grafo de conexión y orden dinámico

En un sistema Morse–Smale puede representarse cada elemento crítico como un nodo y cada familia de conexiones como una arista dirigida desde mayor hacia menor dimensión inestable. Una función de Lyapunov estricta ordena los nodos y prohíbe ciclos dirigidos. El grafo registra quién puede alcanzar a quién, pero no contiene periodos, velocidades ni geometría métrica.

Para construirlo numéricamente se localizan primero todos los equilibrios y ciclos en la región compacta. Después se continúan ramas de variedades, se identifican límites $\alpha$ y $\omega$ y se repite bajo perturbaciones. Una gráfica de pocas trayectorias no prueba que la lista no errante sea completa; hacen falta argumentos de exclusión, regiones atrapantes o teoremas planares.

Hirsch, Smale y Devaney usan Poincaré–Bendixson y regiones invariantes para limitar los conjuntos límite en el plano, herramientas necesarias antes de declarar que un inventario de críticos es exhaustivo 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. 9-11, dinámica planar y Poincaré-Bendixson .

Mecanismos elementales de inestabilidad estructural

Hay tres fallos recurrentes:

• un equilibrio pierde hiperbolicidad cuando un autovalor cruza el eje imaginario;
• un ciclo pierde hiperbolicidad cuando un multiplicador cruza el círculo unitario;
• dos separatrices de silla forman una conexión o tangencia no transversal.

Los dos primeros son mecanismos locales y se estudian con formas normales. El tercero es global: depende del recorrido completo de las variedades. Un centro combina infinitas órbitas periódicas no hiperbólicas y también es inestable estructuralmente.

Una perturbación observada debe clasificarse en la topología adecuada. Cambiar el campo mucho en derivada aunque poco en valor puede alterar hiperbolicidad; cambiarlo sólo fuera de la región observada puede modificar conexiones globales sin afectar el retrato local.

Policiclos y pérdida de robustez

Un policiclo es una cadena cerrada formada por puntos silla y órbitas separatrices que conectan una silla con la siguiente. Aunque el dibujo puede parecer persistente, cada conexión exacta impone una condición: una perturbación pequeña separa normalmente las ramas estable e inestable. Por eso los policiclos están excluidos de los flujos estructuralmente estables de Peixoto salvo configuraciones que no dependan de una conexión silla–silla frágil.

La aplicación de retorno cerca de un policiclo combina mapas locales de paso por las sillas con mapas globales a lo largo de las conexiones. Si en la silla $p_i$ los autovalores son $\lambda_i^u>0>\lambda_i^s$, el exponente característico $\rho_i=-\lambda_i^s/\lambda_i^u$ aparece en una ley local aproximada $y_{i+1}=C_i y_i^{\rho_i}$. El producto $\rho=\prod_i\rho_i$ ayuda a distinguir contracción y expansión del retorno compuesto, pero no restaura la conexión cuando ésta se rompe. Una familia paramétrica puede desplegar el policiclo, crear o destruir ciclos límite y producir periodos que crecen al acercarse a la conexión.

La robustez debe comprobarse en el espacio de campos $C^1$: hiperbolicidad de equilibrios y ciclos, finitud del conjunto no errante, y transversalidad de intersecciones permitidas. El tomo II sitúa policiclos y ciclos dentro de la discusión del problema 16 de Hilbert, donde las cotas globales no se deducen de un único retrato o truncamiento perturbativo. 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, estabilidad estructural, policiclos y ciclos límite Abrir fuente

Procedimiento de auditoría estructural

1. Fija la superficie compacta, la regularidad y la topología $C^r$ usada.
2. Localiza equilibrios y ciclos candidatos y prueba que la lista no errante sea completa.
3. Calcula autovalores y multiplicadores con márgenes respecto de las fronteras espectrales.
4. Continúa variedades estables e inestables en coordenadas completas.
5. Busca conexiones de silla, tangencias y ciclos de conexiones.
6. Comprueba índices y la igualdad de Poincaré–Hopf.
7. Construye el grafo de conexiones y verifica que sea compatible con una función de Lyapunov cuando corresponda.
8. Repite con perturbaciones $C^1$ acotadas y registra qué homeomorfismo orbital se espera, sin exigir igualdad métrica.

Ejercicios de estabilidad estructural

1. Compara $\dot r=r(1-r^2)$ y una perturbación pequeña de sus coeficientes. Identifica los elementos críticos hiperbólicos y construye la equivalencia orbital cualitativa.
2. Añade amortiguamiento $\varepsilon>0$ al centro lineal. Explica con multiplicadores o divergencia por qué la familia de órbitas cerradas no persiste.
3. Construye un campo gradiente Morse–Smale sobre el toro con el número mínimo compatible de fuentes, sumideros y sillas. Verifica la suma de índices.
4. Analiza una conexión heteroclínica entre dos sillas planas y diseña una perturbación localizada que la rompa. Describe los dos grafos resultantes.
5. Para un ciclo límite conocido, calcula el multiplicador transversal mediante la integral de la divergencia a lo largo de una vuelta y decide hiperbolicidad.
6. Audita si un campo en un disco puede tratarse con Peixoto: especifica comportamiento en la frontera o una duplicación/compactificación válida.
7. Construye el grafo Morse–Smale del flujo de altura en $S^2$ y de una perturbación que introduzca un par silla-nodo. Comprueba Poincaré–Hopf antes y después.

La estabilidad estructural es una propiedad del retrato completo en un espacio de campos. Hiperbolicidad protege los elementos críticos, transversalidad protege sus encuentros y Peixoto explica por qué esas condiciones bastan en superficies compactas.