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

Resumo Técnico: Convergência de Soluções para Problemas de Controle Ótimo Não Locais com Restrições de Quase-Minimização

Enunciado do Problema
Este artigo investiga uma classe de problemas de controle ótimo não locais e mal postos, onde as restrições de estado são definidas não por minimizadores globais, mas por $\epsilon$-quase-minimizadores de um funcional de energia quasiconvexo. O problema é parametrizado por uma ordem de diferenciabilidade fracionária $s \in (0, 1)$ e um parâmetro de horizonte $\delta > 0$. Busca-se o estado $u$ e o controle $g$ para minimizar um funcional de custo $F(u, g)$ sujeito à restrição de que o estado $u$ é um $\epsilon$-quase-minimizador de uma energia não local $W^{\delta,s}_g$.

Assume-se que a densidade de energia $W$ é quasiconvexa (ou policonvexa), um cenário comum na elasticidade não linear onde os minimizadores podem não ser únicos. O operador de gradiente não local $D^\delta_s$ incorpora interações de longo alcance por meio de um núcleo integral, distinguindo este arcabouço dos problemas clássicos de controle de EDPs. O principal desafio abordado é a falta de unicidade no problema de minimização da restrição, o que anteriormente impedia a prova de convergência para problemas de controle não locais (como visto no trabalho anterior [20], que utilizava restrições de minimização global).

Metodologia
A análise é conduzida dentro do arcabouço dos espaços de funções não locais $H^{s,p,\delta}_0(\Omega-\delta; \mathbb{R}^n)$, que são os fechamentos de funções suaves com suporte compacto sob uma norma envolvendo o gradiente não local. A metodologia baseia-se em três pilares principais:

1. Teoria da Existência: Os autores estabelecem a existência de soluções para o problema de controle não local utilizando o método direto do cálculo de variações. Fundamental para isso é provar o fechamento fraco do conjunto de pares admissíveis $T^\epsilon_{\delta,s}$ e a semicontinuidade inferior do funcional de custo. Diferente de problemas de controle padrão, um mapeamento de solução não pode ser definido devido à potencial não unicidade dos minimizadores de energia; em vez disso, mostra-se que o conjunto de $\epsilon$-quase-minimizadores é limitado e fracamente fechado.
2. $\Gamma$-Convergência: Para analisar o comportamento assintótico, o artigo emprega a teoria da $\Gamma$-convergência. Os autores provam que a família de funcionais de energia não locais $\{W^{\delta,s}_g\}$ $\Gamma$-converge para o correspondente funcional de energia local $W^{\text{loc}}_g$ na topologia forte de $L^p$ sob dois limites distintos:
   • $s \to 1^-$ (ordem fracionária aproximando-se da diferenciabilidade clássica).
   • $\delta \to 0^+$ (horizonte evanescente).
3. Construção de Sequência de Recuperação: Uma contribuição técnica crítica é a construção de sequências de recuperação para a convergência de minimizadores. Como a restrição envolve uma desigualdade ($W(u) - \min W \le \epsilon$) em vez de uma igualdade, os autores devem lidar cuidadosamente com os casos em que a diferença de energia é estritamente menor que $\epsilon$ versus quando ela é igual a $\epsilon$. No último caso, eles constroem sequências de recuperação usando combinações convexas do estado limite candidato e dos minimizadores locais para garantir que a $\epsilon$-restrição seja satisfeita no limite.

Principais Resultados
O artigo estabelece os seguintes teoremas principais:

• Existência (Teorema 3.4): Para parâmetros fixos $\delta, s, \epsilon$, existe um par $(u_{\delta,s}, g_{\delta,s})$ que resolve o problema de controle ótimo não local com uma restrição de $\epsilon$-quase-minimização.
• Convergência conforme $s \to 1^-$ (Teorema 4.10): As soluções do problema não local convergem (até uma subsequência) para uma solução do problema de controle ótimo local correspondente (onde a restrição depende do gradiente clássico $\nabla u$). A convergência inclui a convergência forte do estado em $L^p$ e a convergência fraca do controle em $L^{p'}$.
• Convergência conforme $\delta \to 0^+$ (Teorema 4.20): Resultados de convergência análogos ocorrem quando o parâmetro de horizonte se anula, desde que o núcleo satisfaça pressupostos de escala específicos.
• Convergência Forte de Controles (Corolários 4.13 & 4.21): Sob a convergência estabelecida dos funcionais de custo, as variáveis de controle $g_{\delta,s}$ convergem fortemente em espaços $L^r$.

Significância e Alegações
O artigo alega que a introdução da restrição de $\epsilon$-quase-minimização resolve uma limitação específica encontrada na literatura anterior (especificamente [20]), onde a falta de unicidade nos minimizadores globais impedia a prova de convergência de problemas de controle não locais para os locais. Ao relaxar a restrição para permitir aproximadores de minimização, os autores conseguem:

1. Provar a existência de soluções para uma classe mais ampla de energias quasiconvexas onde a unicidade não é garantida.
2. Estabelecer a convergência rigorosa de soluções de configurações não locais para locais para funcionais de custo gerais que dependem do gradiente não local.
3. Fornecer uma técnica analítica inovadora para construir sequências de recuperação em problemas de controle ótimo parametrizados, aproveitando a tolerância $\epsilon$ para gerenciar a oscilação das diferenças de energia.

Os autores observam que seus resultados não dependem fortemente do arcabouço de espaço de funções escolhido e sugerem que as técnicas são aplicáveis a outras famílias de problemas de controle ótimo parametrizados, particularmente aqueles que são mal postos, mas admitem pelo menos uma solução. O artigo evita explicitamente alegar aplicações a sistemas físicos específicos além da modelagem geral de mecânica de sólidos e difusão, e não propõe novos esquemas numéricos, embora faça referência ao trabalho recente sobre métodos de Galerkin Descontínuos para contexto.