Bilinear control to trajectories of 1D degenerate parabolic equations in moving domains

Resumen Técnico: Control Bilinear a Trayectorias de Ecuaciones Parabólicas Degeneradas Unidimensionales en Dominios Móviles

Planteamiento del Problema
Este artículo investiga las propiedades de controlabilidad local de ecuaciones parabólicas degeneradas semilineales unidimensionales definidas en dominios acotados que evolucionan en el tiempo. El sistema específico bajo consideración está gobernado por un control bilineal que actúa a través del coeficiente del término de reacción. El dominio $\Omega_t$ se define como $(0, \ell(t))$, donde la frontera $\ell(t)$ es una función continuamente diferenciable del tiempo, creando un dominio espacio-temporal no cilíndrico $\hat{Q}$. El coeficiente de difusión $a(x)$ degenera en la frontera $x=0$ (por ejemplo, $a(x) = x^\alpha$ para $\alpha \in (0,1)$).

El objetivo principal es establecer la controlabilidad exacta local a una trayectoria positiva. Específicamente, dada una trayectoria positiva $\tilde{u}$ que satisface la ecuación no controlada, los autores buscan determinar si, para datos iniciales suficientemente cercanos al estado inicial de la trayectoria, existe una función de control $h$ soportada en un conjunto abierto arbitrariamente pequeño $\hat{\omega} \times (0, T)$ tal que el estado controlado $u$ alcance el estado de la trayectoria $\tilde{u}$ en el tiempo $T$.

Metodología
Los autores emplean una estrategia de múltiples pasos que combina transformaciones geométricas, linealización y análisis funcional:

1. Transformación del Dominio: Para manejar la frontera móvil, los autores construyen un difeomorfismo $\tau_t$ que mapea el dominio no cilíndrico $\hat{Q}$ sobre un dominio cilíndrico fijo $Q = (0, 1) \times (0, T)$. Esta transformación reescala la variable espacial, convirtiendo el problema original en una ecuación parabólica con coeficientes dependientes del tiempo y términos adicionales de orden inferior en un dominio fijo.
2. Linealización y Análisis Adjoint: La controlabilidad del sistema no lineal se aborda mediante la linealización del sistema transformado alrededor del estado cero (después de desplazar por la trayectoria objetivo). Los autores analizan el sistema linealizado asociado, que incluye un término de difusión degenerado y un término de control bilineal.
3. Estimadas de Carleman: Un componente crítico de la prueba es la derivación de estimadas globales de Carleman para el sistema adjunto linealizado. Estas estimadas utilizan funciones de peso específicas que dependen del tiempo y el espacio, diseñadas para manejar la degeneración en $x=0$ y la dependencia temporal del dominio. Estas estimadas conducen a una desigualdad de observabilidad.
4. Controlabilidad Nula del Sistema Lineal: Utilizando la desigualdad de observabilidad y el Método de Unicidad de Hilbert (HUM) adaptado a espacios ponderados, los autores prueban la controlabilidad nula global del sistema linealizado. Establecen la existencia de un control que lleva la solución a cero en el tiempo $T$, junto con estimadas de regularidad específicas para el control y el estado.
5. Teorema de la Función Inversa: Finalmente, los autores aplican el Teorema de la Función Inversa de Liusternik en espacios de Banach. Al verificar que el mapeo definido por el sistema no lineal es $C^1$ y que su linealización en el origen es sobreyectiva (basado en los resultados de controlabilidad lineal), deducen la controlabilidad exacta local del sistema no lineal original a la trayectoria positiva.

Contribuciones y Resultados Clave

• Teorema Principal: El artículo demuestra que el sistema parabólico degenerado no lineal (1) es localmente exactamente controlable a cualquier trayectoria positiva $\tilde{u}$ en cualquier tiempo $T > 0$, siempre que los datos iniciales estén suficientemente cerca de los datos iniciales de la trayectoria en la norma $H^1_a$.
• Manejo de Dominios Móviles: El trabajo extiende los resultados de controlabilidad desde dominios fijos a dominios móviles no cilíndricos para ecuaciones degeneradas, un escenario que introduce complejidad significativa debido a la geometría variable en el tiempo y la degeneración del coeficiente de difusión.
• Mecanismo de Control Bilinear: El estudio se centra en controles bilineales (controles multiplicativos) que actúan sobre el término de reacción, los cuales modulan tasas de crecimiento o decaimiento proporcionales al estado. Esto es distinto de los controles aditivos y se demuestra que es efectivo para el seguimiento de trayectorias en este contexto.
• Estimadas de Regularidad: Los autores derivan estimadas ponderadas detalladas para el control y el estado del sistema linealizado, asegurando que el control posea regularidad suficiente (específicamente en espacios $L^2$ y $H^1$ ponderados) para manejar los términos no lineales en el argumento de punto fijo.

Significado y Afirmaciones
Los autores posicionan este trabajo como una contribución a la teoría de control de ecuaciones en derivadas parciales (EDP) degeneradas en geometrías no estándar. Señalan que, si bien la controlabilidad para ecuaciones no degeneradas y degeneradas de dominio fijo está bien desarrollada, la combinación de degeneración, no linealidad y fronteras móviles presenta un desafío más complejo que requiere técnicas específicas.

El artículo afirma proporcionar los primeros resultados sobre la controlabilidad bilineal de tales sistemas degenerados en dominios móviles. El significado radica en demostrar que el sistema puede ser guiado hacia una trayectoria positiva deseada, lo que corresponde a regular sistemas dinámicos complejos (como aquellos en transiciones de fase o dinámica de poblaciones) bajo restricciones realistas donde la difusión se anula en las fronteras y el dominio evoluciona. Los autores declaran explícitamente que sus resultados son locales (requiriendo desviaciones iniciales pequeñas) y dependen del Teorema de la Función Inversa de Liusternik, un enfoque estándar pero riguroso para establecer controlabilidad local en sistemas de dimensión infinita.

El artículo concluye sugiriendo extensiones potenciales a sistemas con no linealidades no locales y problemas tipo Stefan de una fase, indicando que las técnicas desarrolladas aquí podrían servir como base para estos escenarios más complejos.