Decay of solutions and bilinear control to trajectories of a 1D degenerate parabolic system

Resumen Técnico: Decaimiento de Soluciones y Control Bilineal a Trayectorias de un Sistema Parabólico Degenerado 1D

Planteamiento del Problema
Este artículo investiga las propiedades de controlabilidad de una clase de sistemas parabólicos no lineales unidimensionales caracterizados por coeficientes de difusión débilmente degenerados. El sistema, denotado como (1), consiste en dos ecuaciones acopladas para las variables de estado $y$ y $z$ definidas en el dominio $(0, 1) \times (0, T)$. El término de difusión involucra un coeficiente $a(x)$ que degenera en la frontera $x=0$ (específicamente, $a(0)=0$), modelando medios heterogéneos donde los mecanismos de transporte se debilitan cerca de regiones críticas. El sistema es no autónomo, con coeficientes dependientes del tiempo $b(t)$ y términos de orden inferior $B_i(x,t)$.

El mecanismo de control principal es bilineal, actuando a través del término de reacción como $h(x,t)\omega(x)y$, donde $h$ es la función de control soportada en un subconjunto abierto no vacío $\omega \subset (0, 1)$. A diferencia de los controles aditivos, esta estructura bilineal modula las tasas de crecimiento o decaimiento proporcionalmente al estado actual. El artículo aborda dos objetivos principales:

1. Control Exacto Local a Trayectorias: Determinar si, para cualquier estado inicial cercano a una trayectoria de referencia $(\bar{y}, \bar{z})$ (solución del sistema no controlado), existe un control $h$ que dirija el sistema para coincidir con la trayectoria en el tiempo $T$.
2. Control Exacto Global a Trayectorias: Determinar si este direccionamiento es posible para cualquier estado inicial, siempre que el tiempo $T$ sea suficientemente grande.

Metodología
Los autores emplean una combinación de técnicas de análisis funcional, estimaciones de energía e desigualdades de Carleman adaptadas al entorno degenerado.

1. Reformulación y Linealización:
   Para estudiar la controlabilidad a una trayectoria $(\bar{y}, \bar{z})$, el problema se reformula introduciendo las variables de error $w_1 = y - \bar{y}$ y $w_2 = z - \bar{z}$. Esto transforma el problema de control exacto en un problema de controlabilidad nula para el sistema de error (6). El sistema no lineal se descompone entonces en una parte lineal y un resto no lineal.

2. Decaimiento de Soluciones (Estrategia de Controlabilidad Global):
   Para lograr la controlabilidad global, los autores primero analizan el sistema no controlado ($h \equiv 0$). Bajo supuestos estructurales específicos sobre los términos no lineales $F_i$ (específicamente una condición de monotonicidad), demuestran que las soluciones del sistema de error exhiben un decaimiento exponencial en el tiempo. Este decaimiento asegura que, para cualquier dato inicial, el estado del sistema entra en una pequeña vecindad del origen tras un tiempo $\tilde{T}$ suficientemente grande.

3. Inversión Local vía el Teorema de Liusternik:
   El núcleo de la prueba de controlabilidad local reside en el Teorema de la Función Inversa de Liusternik en espacios de Banach. Los autores definen un mapeo $\mathcal{A}$ desde un espacio de estados y controles ($V$) hacia un espacio de residuales y datos iniciales ($W$). Para aplicar el teorema, deben verificar que:

   • $\mathcal{A}$ es continuamente diferenciable ($C^1$).
   • La derivada de Fréchet $\mathcal{A}'(0)$ es sobreyectiva (sobre).

4. Controlabilidad Nula Lineal y Estimaciones de Carleman:
   La sobreyectividad del operador linealizado se establece demostrando la controlabilidad nula del sistema linealizado asociado (14). Esto se logra mediante desigualdades de Carleman (Proposición 1), que proporcionan estimaciones de observabilidad para el sistema adjunto. Estas estimaciones permiten la construcción de un control $h$ que lleva el sistema lineal a cero. Los autores utilizan espacios de energía ponderados con funciones de peso específicas $\rho_j$ (dependientes del tiempo y el espacio) para manejar la degeneración y la naturaleza bilineal del control.

5. Regularidad y Estimaciones:
   La prueba implica derivar estimaciones a priori detalladas para el sistema linealizado y la función de control. Específicamente, el Corolario 3 establece la regularidad del control $h$ en espacios de Sobolev ponderados, lo cual es crucial para manejar el término multiplicativo $h \omega y$ en el análisis no lineal.

Contribuciones Clave y Resultados

• Teorema 1 (Control Exacto Local): El artículo establece que el sistema degenerado no lineal (1) es localmente exactamente controlable a cualquier trayectoria $(\bar{y}, \bar{z})$ en cualquier tiempo $T > 0$. Esto se cumple para datos iniciales suficientemente cercanos a la trayectoria en la norma $H^1_a(0,1)$. La prueba se basa en la aplicación exitosa del teorema de Liusternik, supeditada a la solvabilidad del problema de controlabilidad nula linealizado.
• Teorema 2 (Control Exacto Global): Los autores demuestran que el sistema es globalmente exactamente controlable a trayectorias para cualquier dato inicial, siempre que el horizonte temporal $T$ sea suficientemente grande. Este resultado es una consecuencia directa del decaimiento exponencial del sistema no controlado (Teorema 2 en la Sección 1.A) combinado con el resultado de controlabilidad local. El decaimiento permite que el sistema entre en el régimen "local" donde aplica el Teorema 1.
• Estimaciones de Decaimiento: Una contribución técnica significativa es la demostración del decaimiento exponencial para las soluciones del sistema degenerado no lineal sin control (Teorema 2), bajo el supuesto de una condición de signo específica en las no linealidades.
• Extensión de Trabajos Previos: Los resultados mejoran estudios anteriores (específicamente [28]) al incorporar controles bilineales (multiplicativos) en lugar de solo controles aditivos, e incluir términos semilineales $F_i(x,t,y,z)$. El artículo también aborda los desafíos específicos de los coeficientes no autónomos y la degeneración débil.

Significancia y Reivindicaciones
El artículo afirma proporcionar un marco riguroso para controlar sistemas parabólicos degenerados donde la difusión se anula en la frontera y el control actúa multiplicativamente sobre el estado. Los autores posicionan su trabajo como un avance en el control de sistemas acoplados no autónomos y degenerados, que modelan fenómenos del mundo real como procesos térmicos en materiales no homogéneos, sedimentación y difusión en medios anisotrópicos.

La significancia radica en la combinación de:

1. Control Bilineal: Abordar el mecanismo realista donde el control modula las tasas de reacción (por ejemplo, catalizadores en reacciones químicas o tasas de reproducción en ecología) en lugar de simplemente añadir un término de fuente.
2. Manejo de la Degeneración: Adaptar con éxito las desigualdades de Carleman y las herramientas de análisis funcional al entorno débilmente degenerado ($a(x) \sim x^\alpha$).
3. Resultados Globales: Cerrar la brecha entre la controlabilidad local (válida para datos pequeños) y la controlabilidad global (válida para datos arbitrarios) mediante el análisis del decaimiento de la solución.

Los autores señalan que estos resultados pueden extenderse a sistemas con términos no locales (por ejemplo, dependencia de $\int y$) y problemas de frontera libre (problemas tipo Stefan), aunque estas extensiones se reservan para trabajos futuros. El estudio está sustentado por supuestos estándar sobre la regularidad y acotación de los coeficientes y la no degeneración de la región de control $\omega$.