On convergence of solutions to nonlocal optimal control problems with quasi-minimization constraints

Resumen Técnico: Convergencia de Soluciones a Problemas de Control Óptimo No Locales con Restricciones de Cuasi-Minimización

Planteamiento del Problema
Este artículo investiga una clase de problemas de control óptimo no locales e mal planteados, donde las restricciones de estado no están definidas por minimizadores globales, sino por $\epsilon$-cuasi-minimizadores de un funcional de energía cuasicóncava. El problema está parametrizado por un orden de diferenciabilidad fraccional $s \in (0, 1)$ y un parámetro de horizonte $\delta > 0$. Se busca el estado $u$ y el control $g$ para minimizar un funcional de costo $F(u, g)$ sujeto a la restricción de que el estado $u$ es un $\epsilon$-cuasi-minimizador de una energía no local $W^{\delta,s}_g$.

Se asume que la densidad de energía $W$ es cuasicóncava (o policonvexa), un entorno común en la elasticidad no lineal donde los minimizadores pueden no ser únicos. El operador de gradiente no local $D^\delta_s$ incorpora interacciones de largo alcance mediante un núcleo integral, lo que distingue este marco de los problemas de control de EDP clásicos. El desafío principal abordado es la falta de unicidad en el problema de minimización de la restricción, lo cual impidió anteriormente la prueba de convergencia para problemas de control no locales (como se vio en el trabajo previo [20], que utilizaba restricciones de minimización global).

Metodología
El análisis se lleva a cabo dentro del marco de los espacios de funciones no locales $H^{s,p,\delta}_0(\Omega-\delta; \mathbb{R}^n)$, que son los cierres de funciones suaves de soporte compacto bajo una norma que involucra el gradiente no local. La metodología se apoya en tres pilares principales:

1. Teoría de Existencia: Los autores establecen la existencia de soluciones al problema de control no local utilizando el método directo del cálculo de variaciones. Clave para esto es demostrar la clausura débil del conjunto de pares admisibles $T^\epsilon_{\delta,s}$ y la semicontinuidad inferior del funcional de costo. A diferencia de los problemas de control estándar, no se puede definir un mapeo de solución debido a la potencial no unicidad de los minimizadores de la energía; en su lugar, se demuestra que el conjunto de $\epsilon$-cuasi-minimizadores es acotado y débilmente cerrado.
2. $\Gamma$-Convergencia: Para analizar el comportamiento asintótico, el artículo emplea la teoría de $\Gamma$-convergencia. Los autores demuestran que la familia de funcionales de energía no locales $\{W^{\delta,s}_g\}$ $\Gamma$-converge al funcional de energía local correspondiente $W^{\text{loc}}_g$ en la topología fuerte de $L^p$ bajo dos límites distintos:
   • $s \to 1^-$ (el orden fraccional aproximándose a la diferenciabilidad clásica).
   • $\delta \to 0^+$ (el horizonte desvaneciéndose).
3. Construcción de Secuencias de Recuperación: Una contribución técnica crítica es la construcción de secuencias de recuperación para la convergencia de los minimizadores. Debido a que la restricción involucra una desigualdad ($W(u) - \min W \le \epsilon$) en lugar de una igualdad, los autores deben manejar cuidadosamente los casos en que la diferencia de energía es estrictamente menor que $\epsilon$ frente a cuando es igual a $\epsilon$. En este último caso, construyen secuencias de recuperación utilizando combinaciones convexas del estado límite candidato y los minimizadores locales para asegurar que la restricción $\epsilon$ se satisfaga en el límite.

Resultados Clave
El artículo establece sus teoremas principales:

• Existencia (Teorema 3.4): Para parámetros fijos $\delta, s, \epsilon$, existe un par $(u_{\delta,s}, g_{\delta,s})$ que resuelve el problema de control óptimo no local con una restricción de $\epsilon$-cuasi-minimización.
• Convergencia cuando $s \to 1^-$ (Teorema 4.10): Las soluciones al problema no local convergen (salvo por una subsucesión) a una solución del correspondiente problema de control óptimo local (donde la restricción depende del gradiente clásico $\nabla u$). La convergencia incluye la convergencia fuerte del estado en $L^p$ y la convergencia débil del control en $L^{p'}$.
• Convergencia cuando $\delta \to 0^+$ (Teorema 4.20): Resultados de convergencia análogos se mantienen cuando el parámetro de horizonte se desvanece, siempre que el núcleo satisfaga supuestos de escalamiento específicos.
• Convergencia Fuerte de Controles (Corolarios 4.13 & 4.21): Bajo la convergencia establecida de los funcionales de costo, las variables de control $g_{\delta,s}$ convergen fuertemente en espacios $L^r$.

Significancia y Reivindicaciones
El artículo afirma que la introducción de la restricción de $\epsilon$-cuasi-minimización resuelve una limitación específica encontrada en la literatura previa (específicamente [20]), donde la falta de unicidad en los minimizadores globales impedía la prueba de convergencia de problemas de control no locales hacia los locales. Al relajar la restricción para permitir minimizadores aproximados, los autores pueden:

1. Probar la existencia de soluciones para una clase más amplia de energías cuasicóncavas donde la unicidad no está garantizada.
2. Establecer la convergencia rigurosa de soluciones desde entornos no locales a locales para funcionales de costo generales que dependen del gradiente no local.
3. Proporcionar una técnica analítica novedosa para construir secuencias de recuperación en problemas de control óptimo parametrizados, aprovechando la tolerancia $\epsilon$ para gestionar la oscilación de las diferencias de energía.

Los autores señalan que sus resultados no dependen fuertemente del marco de espacio de funciones elegido y sugieren que las técnicas son aplicables a otras familias de problemas de control óptimo parametrizados, particularmente aquellos que están mal planteados pero admiten al menos una solución. El artículo evita explícitamente reclamar aplicaciones a sistemas físicos específicos más allá del modelado general de la mecánica de sólidos y la difusión, y no propone nuevos esquemas numéricos, aunque hace referencia al trabajo reciente sobre métodos de Galerkin Descontinuos para dar contexto.