En las matemáticas de sistemas en evolución, el concepto de variedad central se desarrolló originalmente para determinar la estabilidad de los equilibrios degenerados. Posteriormente, se descubrió que el concepto de variedad central era fundamental para el modelado matemático .
Las variedades centrales juegan un papel importante en la teoría de la bifurcación porque en ellas se produce un comportamiento interesante y en las matemáticas multiescala porque la dinámica a largo plazo de la microescala a menudo se ve atraída por una variedad central relativamente simple que involucra las variables de escala gruesa.
Los anillos de Saturno capturan gran parte de la geometría de la variedad central. Las partículas de polvo en los anillos están sujetas a fuerzas de marea , que actúan característicamente para "comprimir y estirar". Las fuerzas comprimen las órbitas de las partículas en los anillos, estiran las partículas a lo largo de los anillos e ignoran pequeños cambios en el radio de los anillos. La dirección de compresión define la variedad estable , la dirección de estiramiento define la variedad inestable y la dirección neutra es la variedad central.
Si bien son geométricamente precisos, una diferencia importante distingue a los anillos de Saturno de una variedad central física. Como la mayoría de los sistemas dinámicos, las partículas en los anillos están regidas por leyes de segundo orden . Para comprender las trayectorias es necesario modelar la posición y una variable de velocidad/momento, para dar una estructura de variedad tangente llamada espacio de fases . Físicamente hablando, las variedades estable, inestable y neutra del sistema de anillos de Saturno no dividen el espacio de coordenadas para la posición de una partícula; en cambio, dividen análogamente el espacio de fases.
La variedad central se comporta típicamente como una colección extendida de puntos de silla . Algunos pares de posición-velocidad son impulsados hacia la variedad central, mientras que otros son arrojados lejos de ella. Pequeñas perturbaciones que generalmente los empujan aleatoriamente y a menudo los expulsan de la variedad central. Sin embargo, existen contraejemplos dramáticos de inestabilidad en la variedad central, llamados estructuras coherentes lagrangianas . Toda la dinámica de cuerpo rígido no forzado de una pelota es una variedad central. [1]
Un ejemplo mucho más sofisticado es el flujo de Anosov sobre fibrados tangentes de superficies de Riemann. En ese caso, el espacio tangente se divide de forma muy explícita y precisa en tres partes: los fibrados inestables y estables, con la variedad neutra encajada entre ellos.
La variedad central de un sistema dinámico se basa en un punto de equilibrio de ese sistema. Una variedad central del equilibrio consiste entonces en aquellas órbitas cercanas que ni decaen ni crecen exponencialmente rápido.
Matemáticamente, el primer paso al estudiar los puntos de equilibrio de los sistemas dinámicos es linealizar el sistema y luego calcular sus valores propios y vectores propios . Los vectores propios (y vectores propios generalizados si existen) correspondientes a valores propios con parte real negativa forman una base para el espacio propio estable . Los vectores propios (generalizados) correspondientes a valores propios con parte real positiva forman el espacio propio inestable.
Algebraicamente, sea un sistema dinámico , linealizado respecto del punto de equilibrio x * . La matriz jacobiana ( D f )( x * ) define tres subespacios principales:
Dependiendo de la aplicación, pueden ser de interés otros subespacios invariantes de la ecuación linealizada, incluidos los subespacios centro-estable, centro-inestable, subcentro, lentos y rápidos.
Si el punto de equilibrio es hiperbólico (es decir, todos los valores propios de la linealización tienen una parte real distinta de cero), entonces el teorema de Hartman-Grobman garantiza que estos valores propios y vectores propios caracterizan completamente la dinámica del sistema cerca del equilibrio. Sin embargo, si el equilibrio tiene valores propios cuya parte real es cero, entonces los vectores propios correspondientes (generalizados) forman el espacio propio central . Yendo más allá de la linealización, cuando tenemos en cuenta las perturbaciones por no linealidad o forzamiento en el sistema dinámico, el espacio propio central se deforma hacia la variedad central cercana. [3]
Si los valores propios son exactamente cero (como lo son para la pelota), en lugar de que solo la parte real sea cero, entonces el espacio propio correspondiente da lugar más específicamente a una variedad lenta . El comportamiento en la variedad central (lenta) generalmente no está determinado por la linealización y, por lo tanto, puede ser difícil de construir.
De manera análoga, la no linealidad o forzamiento en el sistema perturba los espacios propios estables e inestables a una variedad estable cercana y una variedad inestable cercana . [4] Estos tres tipos de variedades son tres casos de una variedad invariante .
En correspondencia con el sistema linealizado, el sistema no lineal tiene variedades invariantes , cada una de las cuales consiste en conjuntos de órbitas del sistema no lineal. [5]
El teorema de existencia de la variedad central establece que si la función del lado derecho es ( veces continuamente diferenciable), entonces en cada punto de equilibrio existe un vecindario de un tamaño finito en el que hay al menos uno de [6]
En aplicaciones de ejemplo, una transformación de coordenadas no lineal a una forma normal puede separar claramente estas tres variedades. [7]
En el caso en que no exista la variedad inestable, las variedades centrales suelen ser relevantes para el modelado. El teorema de emergencia de la variedad central dice entonces que el vecindario puede elegirse de modo que todas las soluciones del sistema que permanezcan en el vecindario tiendan exponencialmente rápido a alguna solución en la variedad central; en fórmulas, para alguna tasa β . [8] Este teorema afirma que para una amplia variedad de condiciones iniciales las soluciones del sistema completo decaen exponencialmente rápido a una solución en la variedad central de dimensión relativamente baja.
Un tercer teorema, el teorema de aproximación, afirma que si una expresión aproximada para tales variedades invariantes, digamos , satisface la ecuación diferencial para el sistema con residuos como , entonces la variedad invariante se aproxima mediante a un error del mismo orden, es decir .
Sin embargo, algunas aplicaciones, como la dispersión en tubos o canales, requieren una variedad central de dimensión infinita. [9] La teoría más general y poderosa fue desarrollada por Aulbach y Wanner. [10] [11] [12] Abordaron sistemas dinámicos no autónomos en dimensiones infinitas, con variedades estables, inestables y centrales potencialmente de dimensión infinita. Además, generalizaron útilmente la definición de las variedades de modo que la variedad central está asociada con valores propios tales que , la variedad estable con valores propios y la variedad inestable con valores propios . Probaron la existencia de estas variedades y la aparición de una variedad central mediante transformadas de coordenadas no lineales.
Potzsche y Rasmussen establecieron un teorema de aproximación correspondiente para tales sistemas no autónomos de dimensión infinita. [13]
Toda la teoría existente mencionada anteriormente busca establecer propiedades de variedad invariante de un problema específico dado. En particular, se construye una variedad que se aproxima a una variedad invariante del sistema dado. Un enfoque alternativo es construir variedades invariantes exactas para un sistema que se aproxima al sistema dado, lo que se denomina teoría inversa. El objetivo es aplicar la teoría de manera útil a una gama más amplia de sistemas y estimar errores y tamaños del dominio de validez. [14] [15]
Este enfoque es similar al análisis de errores hacia atrás bien establecido en el modelado numérico.
Como la estabilidad del equilibrio se correlaciona con la "estabilidad" de sus variedades, la existencia de una variedad central plantea la cuestión de la dinámica en la variedad central. Esto se analiza mediante la reducción de la variedad central, que, en combinación con algún parámetro del sistema μ, conduce a los conceptos de bifurcaciones .
La entrada de Wikipedia sobre variedades lentas ofrece más ejemplos.
Considere el sistema
La variedad inestable en el origen es el eje y , y la variedad estable es el conjunto trivial {(0, 0)}. Cualquier órbita que no esté en la variedad estable satisface una ecuación de la forma para alguna constante real A . De ello se deduce que para cualquier A real , podemos crear una variedad central juntando la curva para x > 0 con el eje x negativo (incluido el origen). [16] Además, todas las variedades centrales tienen esta no unicidad potencial, aunque a menudo la no unicidad solo ocurre en valores complejos no físicos de las variables.
Otro ejemplo muestra cómo una variedad central modela la bifurcación de Hopf que ocurre para el parámetro en la ecuación diferencial de retardo . Estrictamente, el retardo hace que esta ED sea de dimensión infinita.
Afortunadamente, podemos aproximarnos a dichos retrasos con el siguiente truco que mantiene la dimensionalidad finita. Defina y aproxime la variable con retraso temporal, , utilizando los intermediarios y .
Para el parámetro cercano al crítico, , la ecuación diferencial de retardo se aproxima entonces mediante el sistema
En términos de una amplitud compleja y su conjugado complejo , la variedad central es
y la evolución en el colector central es
Esta evolución muestra que el origen es linealmente inestable para , pero la no linealidad cúbica estabiliza los ciclos límite cercanos como en la bifurcación de Hopf clásica .