Stackelberg-Nash controllability for a multi-objective Stefan problem

1. Formulação do Problema

O artigo investiga um problema de controle hierárquico multi-objetivo para um sistema de Stefan unidimensional, que modela transições de fase (fusão/solidificação) com uma fronteira móvel.

• O Sistema: O estado é descrito pela temperatura $y(x,t)$ em um domínio dependente do tempo $Q_\ell = \{(x,t) : 0 < x < \ell(t), 0 < t < T\}$. A evolução é governada por uma equação parabólica com uma fronteira móvel $\ell(t)$ determinada pela condição de Stefan:
  $$\ell'(t) = -\frac{1}{\beta} y_x(\ell(t), t)$$
  onde $\beta$ é o coeficiente de calor latente.
• Os Controles: O sistema envolve três funções de controle:
  1. Líder ($f$): Atua em um subdomínio $\mathcal{O}$. Seu objetivo é a controllabilidade nula (conduzir a temperatura $y$ a zero no tempo $T$).
  2. Seguidores ($v_1, v_2$): Atuam em subdomínios $\mathcal{O}_1$ e $\mathcal{O}_2$. Seus objetivos são de rastreamento: minimizar o desvio de $y$ em relação a perfis-alvo desejados $y_{i,d}$ em subregiões $\mathcal{O}_{i,d}$, penalizando simultaneamente o esforço de controle.
• A Estrutura do Jogo: O problema adota uma estrutura Stackelberg-Nash:
  • Stackelberg: $f$ é o "líder" que escolhe um controle primeiro, antecipando a reação dos seguidores.
  • Nash: Os seguidores $v_1$ e $v_2$ reagem de forma não cooperativa. Dado $f$, eles buscam um equilíbrio de Nash onde nenhum pode melhorar seu funcional de custo alterando unilateralmente seu controle.
• O Objetivo: Provar a existência de um controle líder $f$ tal que o sistema atinja a controllabilidade nula no tempo $T$, sujeito à restrição de que $(v_1, v_2)$ formam um equilíbrio de Nash.

2. Metodologia

Os autores empregam uma abordagem analítica rigorosa combinando teoria de controle ótimo, teoria dos jogos e equações diferenciais parciais (EDPs) em domínios não cilíndricos. A estratégia de prova é dividida em três etapas principais:

Etapa 1: Redução a um Sistema de Optimalidade

Os autores caracterizam primeiro o equilíbrio de Nash para os seguidores. Ao analisar as derivadas de Gâteaux dos funcionais de custo convexos $J_1$ e $J_2$, eles mostram que um equilíbrio de Nash $(v_1, v_2)$ existe e é único para parâmetros de penalidade $\mu_i$ suficientemente grandes.
Crucialmente, os controles de equilíbrio são expressos explicitamente em termos dos estados adjuntos $\phi_1, \phi_2$:
$$v_i = -\frac{1}{\mu_i} \phi_i \mathbb{1}_{\mathcal{O}_i}$$
Substituindo estes de volta na equação de estado, transforma-se o problema multi-objetivo original em um sistema de optimalidade não linear (um sistema acoplado de equações parabólicas diretas e inversas) onde o controle do líder $f$ deve conduzir o estado $y$ a zero.

Etapa 2: Linearização e Controllabilidade Aproximada

Para lidar com a não linearidade e a fronteira móvel, os autores linearizam o sistema de optimalidade. Eles estabelecem a controllabilidade aproximada para este sistema linearizado usando um argumento de dualidade.

• Sistema Adjunto: Eles derivam o sistema adjunto associado ao sistema de optimalidade linearizado.
• Desigualdade de Observabilidade: O cerne da prova depende do estabelecimento de uma desigualdade de observabilidade global para o sistema adjunto. Esta desigualdade limita a energia inicial do estado adjunto pela observação do estado na região de controle $\mathcal{O}$.
• Estimativas de Carleman: Para provar a desigualdade de observabilidade, os autores derivam estimativas de Carleman adaptadas para a fronteira móvel.
  • Eles constroem funções de peso do tipo Fursikov específicas que se adaptam à fronteira móvel $\ell(t)$.
  • Eles lidam com duas configurações geométricas para os domínios de controle e observação:
    1. Caso (G1): Os domínios de observação dos seguidores coincidem ($\mathcal{O}_{1,d} = \mathcal{O}_{2,d}$).
    2. Caso (G2): Os domínios de observação diferem ($\mathcal{O}_{1,d} \neq \mathcal{O}_{2,d}$).
  • A construção envolve casar duas funções de peso diferentes para lidar com o acoplamento no sistema adjunto, um desafio técnico significativo quando o domínio é não cilíndrico.

Etapa 3: Argumento de Ponto Fixo para o Sistema Não Linear

Uma vez estabelecida a controllabilidade aproximada para o sistema linearizado, os autores utilizam o teorema do ponto fixo de Schauder para provar a controllabilidade do problema de Stefan não linear original.

• Eles definem um operador $\Lambda_\epsilon$ que mapeia uma fronteira móvel candidata $\ell$ para uma nova fronteira gerada pela solução do sistema linearizado com um controle aproximado.
• Compacidade: Um grande obstáculo técnico é provar a compacidade deste operador. Os autores utilizam estimativas de regularidade de Hölder parabólica para a derivada normal $y_x$ na fronteira móvel. Eles mostram que, para dados iniciais e alvos pequenos, o operador mapeia um conjunto limitado, fechado e convexo nele mesmo e é contínuo.
• Processo de Limite: Ao tomar o limite quando o parâmetro de aproximação $\epsilon \to 0$, eles obtêm uma solução que satisfaz a condição exata de controllabilidade nula $y(\cdot, T) = 0$.

3. Contribuições Principais

1. Primeiro Tratamento Stackelberg-Nash de Problemas de Stefan: Este é o primeiro trabalho a aplicar estratégias hierárquicas Stackelberg-Nash a um problema de Stefan de fronteira livre, estendendo resultados anteriores sobre equações parabólicas em domínios fixos.
2. Novas Funções de Peso para Fronteiras Móveis: Os autores constroem novas funções de peso de Fursikov compatíveis com a condição de fronteira móvel. Isso permite a derivação de estimativas de Carleman em domínios não cilíndricos, superando as limitações de pesos existentes projetados para domínios fixos.
3. Resolução de Conflitos Multi-objetivo: O artigo resolve com sucesso o conflito entre o objetivo do líder (controllabilidade nula) e os objetivos dos seguidores (rastreamento) reduzindo o problema à controllabilidade nula de um sistema de optimalidade acoplado.
4. Flexibilidade Geométrica: Os resultados valem sob duas configurações geométricas distintas relacionadas à sobreposição das regiões de controle e observação, fornecendo robustez à configuração do domínio.

4. Resultados Principais

• Teorema 1.1 (Resultado Principal): Sob condições geométricas adequadas nas regiões de controle e assumindo dados iniciais e funções-alvo pequenos, existe um controle líder $f$ e um equilíbrio de Nash único $(v_1, v_2)$ tal que a temperatura $y$ atinge zero no tempo $T$.
• Teorema 1.2: Estabelece a controllabilidade nula do sistema de optimalidade não linear (o motor matemático central do problema).
• Teoremas 1.3 e 1.4: Fornecem a controllabilidade aproximada do sistema linearizado e a crucial desigualdade de observabilidade derivada via estimativas de Carleman.

5. Significado e Direções Futuras

• Avanço Teórico: O trabalho preenche a lacuna entre estratégias de controle baseadas em teoria dos jogos (Stackelberg-Nash) e problemas de fronteira livre, uma classe de problemas conhecida por sua complexidade matemática devido à interface móvel.
• Aplicações: O framework é aplicável a vários processos físicos e biológicos envolvendo mudanças de fase, como fundição de metais, derretimento de gelo e modelagem de crescimento de tumores, onde múltiplas partes interessadas (por exemplo, diferentes zonas de aquecimento) têm objetivos concorrentes.
• Questões Abertas: Os autores destacam vários problemas em aberto, incluindo:
  • Estender os resultados para equações parabólicas quasi-lineares e degeneradas.
  • Investigar o caso onde os papéis de líder e seguidor são invertidos.
  • Abordar o controle do problema de Stefan em domínios em forma de estrela ou em dimensões superiores.

Em resumo, este artigo fornece uma base matemática rigorosa para o controle de sistemas complexos multiagente governados por EDPs de fronteira móvel, utilizando técnicas avançadas em estimativas de Carleman e teoria de ponto fixo.