Quantitative rapid stabilization for parabolic equations via the linear quadratic theory

Resumen Técnico: Estabilización Rápida Cuantitativa para Ecuaciones Parabólicas mediante la Teoría Cuadrática Lineal

Planteamiento del Problema
Este artículo aborda el problema de la estabilización rápida cuantitativa para ecuaciones parabólicas, centrándose específicamente en sistemas no autoadjuntos en dominios multidimensionales. Si bien la estabilización rápida cualitativa de tales sistemas (lograr tasas de decaimiento arbitrarias) es conocida, la dependencia del costo de estabilización respecto a la tasa de decaimiento prescrita $\lambda$ sigue siendo un problema abierto crítico. Los autores pretenden construir leyes de retroalimentación que estabilicen el sistema con una tasa de decaimiento $\lambda$ proporcionando, al mismo tiempo, estimaciones explícitas sobre el costo de estabilización $M_\lambda$. Un desafío principal es que los métodos cuantitativos existentes (por ejemplo, backstepping, desigualdades espectrales) a menudo dependen de estructuras autoadjuntas o de límites de núcleos específicos que no se extienden fácilmente a ecuaciones parabólicas no autoadjuntas con términos de convección.

Metodología
Los autores desarrollan un marco basado en la teoría de control óptimo Cuadrática Lineal (LQ) combinada con desigualdades de observabilidad cuantitativas. La metodología procede a través de los siguientes pasos:

1. Formulación LQ Ponderada: En lugar de los problemas LQ estándar, los autores introducen un funcional de costo ponderado:
   $$J(y, u; y_0) = \frac{1}{2} \int_0^\infty e^{2\lambda t} \left( \|(-\Delta)^\alpha y(t)\|_{L^2}^2 + \|u(t)\|_{L^2}^2 \right) dt$$
   donde $\alpha \in [0, 1]$. Al seleccionar $\alpha = 1/2$, aseguran que el funcional de costo capture la norma $L^2$ del estado, lo cual es esencial para derivar cotas inferiores explícitas.

2. Transformación y Equivalencia: Mediante la transformación $z(t) = e^{\lambda t}y(t)$ y $v(t) = e^{\lambda t}u(t)$, el problema de la estabilización rápida para el sistema original se convierte en un problema de estabilización exponencial estándar para un sistema transformado con un operador desplazado.

3. Cotas Cuantitativas vía Dualidad:

   • Cota Superior: Los autores utilizan una desigualdad de observabilidad cuantitativa para el sistema adjunto. Mediante el principio de dualidad clásico entre observabilidad y controlabilidad nula, construyen un control factible con una estimación de costo explícita. Esto proporciona una cota superior para el valor óptimo del problema LQ.
   • Cota Inferior: Utilizando estimaciones de energía y la estructura específica del funcional de costo (con $\alpha=1/2$), derivan una cota inferior coercitiva para el costo óptimo.

4. Solución de la Ecuación de Riccati: La existencia de un par óptimo implica la existencia de una solución $P_\lambda$ a una ecuación de operador de Riccati. Las cotas cuantitativas sobre el costo óptimo se traducen directamente en cotas sobre la norma del operador $\|P_\lambda\|$, la cual determina la magnitud de la ley de control de retroalimentación $u = -B^*P_\lambda y$.

Contribuciones Clave y Resultados

1. Estabilización Rápida Cuantitativa para Sistemas No Autoadjuntos (Teorema 1.1):
   El artículo establece el primer resultado de estabilización rápida cuantitativa para ecuaciones parabólicas no autoadjuntas multidimensionales (por ejemplo, con términos de convección $b \cdot \nabla y$).

   • Resultado: Para cualquier tasa de decaimiento $\lambda > 1$, existe una ley de retroalimentación estacionaria $K_\lambda$ tal que el sistema de lazo cerrado satisface:
     $$\|u(t)\| + \|y(t)\| \leq e^{\tilde{C}\sqrt{\lambda}} e^{-\lambda t} \|y_0\|$$
   • Significancia: El costo de estabilización crece, como máximo, del tipo $e^{C\sqrt{\lambda}}$, lo cual es crucial para asegurar la robustez frente a perturbaciones y la factibilidad en intervalos de tiempo cortos.

2. Teorema de Equivalencia Abstracta (Teorema 1.5):
   Los autores demuestran una equivalencia general entre la estabilización rápida cuantitativa y la observabilidad cuantitativa para sistemas lineales abstractos.

   • Resultado: Un sistema es e^{O(\lambda^{\frac{p}{p+1}})-rápidamente estabilizable si y solo si es $e^{O(T^{-p})}$-observable.
   • Significancia: Esto tiende un puente entre las estimaciones de costo de control y las desigualdades de observabilidad, aclarando las dependencias de los parámetros que anteriormente no estaban claras en la literatura.

3. Aplicación a las Ecuaciones de Navier–Stokes (Teorema 1.7):
   El marco se extiende a las ecuaciones no lineales de Navier–Stokes alrededor de estados estacionarios no triviales.

   • Resultado: Al linealizar alrededor de un estado estacionario $y_e$ y utilizar la observabilidad cuantitativa del sistema de Oseen asociado, los autores construyen una ley de retroalimentación que logra la estabilización rápida cuantitativa local.
   • Condición: La perturbación inicial debe ser suficientemente pequeña, específicamente $\|y_0 - y_e\| \leq e^{-C\sqrt{\lambda}}$.

4. Extensión de Dimensión Finita para Casos Autoadjuntos (Teorema 5.2):
   Para la ecuación del calor (caso autoadjunto), los autores demuestran que el marco LQ cuantitativo puede adaptarse a leyes de retroalimentación de dimensión finita.

   • Método: Emplean el método de frecuencia-Lyapunov, separando las frecuencias bajas y altas. La dinámica de baja frecuencia se controla mediante una ecuación de Riccati de dimensión finita, mientras que las altas frecuencias son amortiguadas por la disipación natural del operador.
   • Resultado: Esto recupera y refina resultados cuantitativos previos (por ejemplo, Xiang [43]) utilizando la perspectiva LQ.

Significancia y Reivindicaciones
El artículo sostiene que su enfoque ofrece una alternativa distinta a los métodos constructivos explícitos como el backstepping o las desigualdades espectrales.

• Derivación Indirecta: A diferencia de los métodos que dependen de límites de núcleos explícitos o descomposiciones espectrales, este enfoque deriva estimaciones cuantitativas indirectamente a partir de desigualdades de observabilidad global a través del marco LQ. Esto hace que el método sea aplicable a sistemas no autoadjuntos donde las propiedades espectrales no se comportan bien.
• Robustez: La dependencia explícita del costo respecto a $\lambda$ ($e^{C\sqrt{\lambda}}$) proporciona información necesaria para evaluar la robustez del sistema de lazo cerrado frente a perturbaciones acotadas.
• Generalidad: El teorema de equivalencia abstracta (Teorema 1.5) sugiere que el problema de la estabilización rápida cuantitativa puede resolverse para cualquier sistema donde esté disponible una desigualdad de observabilidad cuantitativa, incluyendo potenciales dependientes del tiempo y problemas de control de frontera (mencionados como trabajo futuro).

Los autores señalan que, si bien la extensión de dimensión finita funciona para casos autoadjuntos, establecer una ley de retroalimentación de dimensión finita para la ecuación parabólica no autoadjunta general sigue siendo un problema abierto, ya que requeriría estimaciones espectrales que actualmente no están disponibles para tales sistemas.