En las matemáticas de los sistemas en evolución, el concepto de variedad central se desarrolló originalmente para determinar la estabilidad de los equilibrios degenerados. Posteriormente, se comprendió que el concepto de variedades centrales era fundamental para el modelado matemático .
Las variedades centrales juegan un papel importante en la teoría de la bifurcación porque tiene lugar un comportamiento interesante en la variedad central y en matemáticas multiescala porque la dinámica de largo tiempo 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 del centro-colector. 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 neutral es la variedad central.
Si bien son geométricamente precisos, una diferencia importante distingue los anillos de Saturno de una variedad central física. Como la mayoría de los sistemas dinámicos, las partículas de los anillos se rigen por leyes de segundo orden . Comprender las trayectorias requiere modelar la posición y una variable de velocidad/momento, para dar una estructura múltiple tangente llamada espacio de fase . Físicamente hablando, las variedades estables, inestables y neutrales del sistema de anillos de Saturno no dividen el espacio de coordenadas para la posición de una partícula; en su lugar, dividen de manera análoga el espacio de fase.
El colector central normalmente se comporta como una colección extendida de puntos silla . Algunos pares posición-velocidad son impulsados hacia el colector central, mientras que otros son arrojados lejos de él. Pequeñas perturbaciones que generalmente los empujan al azar y, a menudo, los empujan fuera del colector central. Sin embargo, existen contraejemplos dramáticos de la inestabilidad en la variedad central, llamados estructuras coherentes lagrangianas . Toda la dinámica del cuerpo rígido no forzado de una bola es una variedad central. [1]
Un ejemplo mucho más sofisticado es el flujo de Anosov sobre haces tangentes de superficies de Riemann. En ese caso, el espacio tangente se divide de manera muy explícita y precisa en tres partes: los haces inestable y estable, 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 no decaen ni crecen exponencialmente rápidamente.
Matemáticamente, el primer paso al estudiar los puntos de equilibrio de sistemas dinámicos es linealizar el sistema y luego calcular sus valores y vectores propios . Los vectores propios (y los vectores propios generalizados si ocurren) 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
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, lento y rápido.
Si el punto de equilibrio es hiperbólico (es decir, todos los valores propios de la linealización tienen 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 tomamos 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 precisamente cero (como lo son para la pelota), en lugar de que simplemente la parte real sea cero, entonces el espacio propio correspondiente da lugar más específicamente a una variedad lenta . El comportamiento en el colector central (lento) 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 el forzamiento en el sistema perturba los espacios propios estables e inestables de una variedad estable cercana y una variedad inestable cercana . [4] Estos tres tipos de variedades son tres casos de una variedad invariante .
Correspondiente al sistema linealizado, el sistema no lineal tiene variedades invariantes , cada una de las cuales consta de conjuntos de órbitas del sistema no lineal. [5]
El teorema de existencia del centro múltiple establece que si la función del lado derecho es ( veces continuamente diferenciable), entonces en cada punto de equilibrio existe una vecindad de algún tamaño finito en la 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 de que la variedad inestable no exista, las variedades centrales suelen ser relevantes para el modelado. El teorema de emergencia de la variedad central dice entonces que la vecindad puede elegirse de modo que todas las soluciones del sistema que permanecen en la vecindad tiendan exponencialmente rápidamente a alguna solución en la variedad central; en fórmulas,
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 del sistema con residuos como , entonces la variedad invariante se aproxima a un error del mismo orden, a saber .
Sin embargo, algunas aplicaciones, como la dispersión en tubos o canales, requieren un colector central de dimensiones infinitas. [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 centrales, inestables y estables de dimensiones potencialmente infinitas. 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 transformaciones de coordenadas no lineales.
Potzsche y Rasmussen establecieron un teorema de aproximación correspondiente para sistemas no autónomos de dimensiones infinitas. [13]
Toda la teoría existente mencionada anteriormente busca establecer múltiples propiedades invariantes de un problema dado específico. 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 hacia atrás. El objetivo es aplicar la teoría de manera útil a una gama más amplia de sistemas y estimar errores y tamaños de dominio de validez. [14] [15]
Este enfoque es similar al bien establecido análisis de errores hacia atrás 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 de la variedad central. Esto se analiza mediante la reducción del colector 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 uniendo 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 sólo 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 retraso hace que este DE sea de dimensión infinita.
Afortunadamente, podemos aproximarnos a dichos retrasos mediante el siguiente truco que mantiene la dimensionalidad finita. Defina y aproxima la variable retardada en el tiempo, , utilizando los intermediarios y .
Para el parámetro casi crítico, el sistema aproxima la ecuación diferencial de retardo
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 , pero la no linealidad cúbica luego estabiliza los ciclos límite cercanos como en la bifurcación clásica de Hopf .