Sphere Constraints and Harmonic Map Flow: Controllability and Reachability by Low-Mode Forcing

Resumen Técnico: Controlabilidad y Alcanzabilidad de Flujos Restringidos a la Esfera mediante Forzamiento de Modos Bajos

Planteamiento del Problema
Este artículo investiga la controlabilidad y la alcanzabilidad de ecuaciones de evolución restringidas a la esfera unidad $S^2 \subset \mathbb{R}^3$, utilizando el flujo de calor de mapas armónicos como la aplicación principal. El desafío central radica en la naturaleza geométrica del sistema: el estado $M(t, x)$ evoluciona sobre la variedad no lineal $L^2(O; S^2)$ en lugar de un espacio vectorial lineal, y la dinámica es generada por campos vectoriales tangentes a la esfera. El estudio se centra en el forzamiento degenerado de modos bajos, donde las entradas de control están restringidas a un subespacio de dimensión finita de modos de Fourier (típicamente frecuencias bajas). La cuestión central es si tal actuación limitada puede influir en la dinámica global e impulsar el sistema hacia configuraciones arbitrarias a través de interacciones de modos no lineales, a pesar de que el sistema es no holonómico.

Metodología
Los autores emplean un enfoque de teoría de control geométrico, específicamente aprovechando métodos de álgebra de Lie adaptados a sistemas de dimensión infinita. La metodología procede a través de los siguientes pasos:

1. Reformulación de Fourier: La ecuación en derivadas parciales (EDP) restringida a la esfera se reformula como un sistema de control-afín de dimensión infinita en variables de Fourier. Al expandir la solución en los eigenfunciones del Laplaciano (base de coseno para condiciones de contorno de Neumann), la EDP se transforma en un sistema de ecuaciones diferenciales ordinarias (EDO) acopladas para los coeficientes de Fourier $m_k(t)$.
2. Identificación de Campos Vectoriales: Las entradas de control se identifican como campos vectoriales específicos $G_{k,l}$ que actúan sobre el espacio de estados de dimensión infinita. El sistema se visualiza como un sistema de control sobre el fibrado tangente de la variedad de mapas con valores en la esfera.
3. Análisis de Álgebra de Lie: Los autores analizan el álgebra de Lie generado por los campos vectoriales controlados. Computan corchetes de Lie iterados para determinar si estas operaciones generan nuevas direcciones admisibles que propaguen la influencia del control desde los modos bajos forzados hacia los modos superiores no forzados. Esto se basa en la propiedad de "generación de corchetes" (teorema de Chow-Rashevskii) extendida a dimensiones infinitas.
4. Construcción Recursiva: Se derivan fórmulas recursivas explícitas para las direcciones admisibles utilizando familias auxiliares de campos vectoriales ($H_{g^*_l, k}$). Estas fórmulas demuestran cómo los conmutadores desplazan la información entre celdas de Fourier adyacentes.
5. Inclusión de la Deriva (Drift): Para el flujo de calor de mapas armónicos, se añade un término de deriva (el operador de calor geométrico). Los autores analizan la interacción entre la deriva y los campos vectoriales de control, mostrando que la deriva no obstruye las propiedades de alcanzabilidad establecidas en el caso sin deriva.

Contribuciones Clave
El artículo realiza varias contribuciones técnicas específicas:

• Marco de Control Geométrico: Establece un marco de álgebra de Lie para controlar ecuaciones de evolución con valores en variedades donde las velocidades admisibles son tangentes a la esfera. Esto contrasta con los problemas de control parabólico clásicos que a menudo dependen de direcciones de control lineales.
• Caracterización Explícita del Álgebra de Lie: Los autores proporcionan un cálculo completo del álgebra de Lie generado por controles degenerados. Demuestran que los conmutadores sucesivos generan nuevas direcciones admisibles que conectan celdas de Fourier adyacentes, propagando efectivamente el control desde rotaciones locales dentro de un solo modo hacia interacciones globales a través de infinitos modos.
• Teoremas de Alcanzabilidad Finita:
  • Teorema 2.4: Para el conjunto de control $K = \{(0, 1), (0, 2), (1, 1)\}$ (incluyendo el modo cero), el sistema es finitamente alcanzable si y solo si el estado inicial es no constante. Si el estado inicial es constante, las direcciones generadas por el álgebra de Lie fallan en cubrir el espacio tangente, dejando ciertas proyecciones de dimensión finita inalcanzables.
  • Teorema 2.5: Para el conjunto de control $K = \{(1, 1), \dots, (2, 3)\}$ (excluyendo el modo cero pero incluyendo modos superiores), el sistema es globalmente controlable. Las direcciones generadas por el álgebra de Lie se propagan mediante el acoplamiento no lineal para generar toda la distribución tangente, independientemente de si el estado inicial es constante o no constante.
• Identificación de la Obstrucción Geométrica: El artículo identifica una obstrucción geométrica específica: las configuraciones iniciales constantes poseen una estructura de Fourier donde los modos superiores se anulan, confinando las direcciones generadas por el álgebra de Lie a un subespacio propio del fibrado tangente. Las configuraciones no constantes proporcionan los coeficientes de Fourier independientes necesarios para iniciar el mecanismo de propagación recursiva.

Resultados Principales
Los resultados principales se resumen en dos teoremas y sus corolarios aplicados al flujo de calor de mapas armónicos:

1. Sistema Sin Deriva: La controlabilidad del sistema está determinada por la interacción entre los modos de control y la geometría intrínseca del estado inicial.
   • Con forzamiento de modos bajos que incluye el modo cero, la controlabilidad se logra para datos iniciales no constantes, pero falla para datos constantes.
   • Con el forzamiento restringido a modos superiores (excluyendo el modo cero), se logra la controlabilidad global para todos los datos iniciales en $H^1$.
2. Flujo de Calor de Mapas Armónicos: Al combinar la caracterización explícita de las direcciones admisibles con el marco de soporte geométrico, los autores establecen que la evolución disipativa completa (flujo de calor de mapas armónicos) retiene las propiedades de control aproximado del sistema sin deriva. El término de deriva no altera las direcciones instantáneas generadas por el corchete en equilibrios constantes, y para estados no constantes, la distribución accesible sigue siendo al menos tan grande como en el caso sin deriva.

Significancia y Reivindicaciones
El artículo afirma proporcionar el primer resultado que demuestra que un forzamiento degenerado puramente de alta frecuencia puede generar una controlabilidad completa para una ecuación de evolución de dimensión infinente restringida a la esfera. Destaca que la controlabilidad en tales sistemas geométricos no es únicamente una función del número de modos de control, sino que depende críticamente de las interacciones de modos no lineales y de la geometría intrínseca del estado inicial.

Los autores posicionan este trabajo como un paso fundacional en el control geométrico de las EDP con valores en variedades. Señalan que la metodología se espera sea aplicable a otros flujos geométricos, como la ecuación de Landau–Lifshitz–Gilbert, los mapas de Schrödinger y los mapas de onda, donde las direcciones admisibles surgen de campos vectoriales tangentes no lineales en lugar de un forzamiento lineal. El artículo enmarca modestamente estos hallazgos como el establecimiento de un marco de álgebra de Lie e identificación de condiciones específicas para la alcanzabilidad, en lugar de reclamar soluciones universales para todas las EDP geométricas.