A priori error estimates for optimal control problems governed by the transient Stokes equations and subject to state constraints pointwise in time

Resumo Técnico: Estimativas de Erro a Priori para Controle Ótimo de Equações de Stokes Transientes com Restrições de Estado Pontuais no Tempo

Formulação do Problema
Este artigo aborda um problema de controle ótimo com restrições de estado governado pelas equações de Stokes transientes. O objetivo é minimizar um funcional de custo quadrático que compreende o desvio do estado em relação a um perfil desejado e um termo de regularização para o controle. O sistema está sujeito a:

1. Equação de Estado: As equações de Stokes transientes com condições iniciais e de contorno homogêneas.
2. Restrições de Controle: Limites pontuais na variável de controle $q(t,x)$ no espaço e no tempo.
3. Restrições de Estado: Uma restrição sobre um funcional $L^2(\Omega)$ do estado, exigido para satisfazer um limite pontual no tempo. Especificamente, $\int_\Omega u(t,x) \cdot w(x) \, dx \leq \beta$ para todo $t \in [0, T]$.

O domínio $\Omega \subset \mathbb{R}^d$ ($d=2,3$) é assumido como um domínio poligonal ou poliedral convexo.

Metodologia e Discretização
Os autores empregam uma estratégia de discretização completa combinando aproximações espaciais e temporais:

• Discretização Espacial: Elementos finitos estáveis Inf-sup (por exemplo, elementos Taylor-Hood ou MINI) são utilizados para os espaços de velocidade e pressão. A análise utiliza uma formulação discreta livre de divergência para simplificar a notação.
• Discretização Temporal: Um método de Galerkin descontínuo (dG) de ordem zero (constante por partes no tempo) é aplicado.
• Discretização do Controle: Duas abordagens são analisadas:
  1. Discretização Variacional: O espaço de controle não é discretizado a priori; apenas a equação de estado é discretizada.
  2. Totalmente Discreto: O controle é discretizado usando funções constantes por partes tanto no espaço quanto no tempo, correspondendo à malha das variáveis de estado e adjuntas.

A análise baseia-se em estimativas de erro do tipo melhor aproximação recentemente estabelecidas para as equações de Stokes transientes na norma $L^\infty(I; L^2(\Omega))$. Um requisito técnico chave é uma condição de acoplamento suave entre o tamanho da malha espacial $h$ e o passo de tempo $k$, especificamente que $\ln(T/k)h \to 0$ quando $h \to 0$, para garantir a existência de um ponto discreto de Slater.

Contribuições Principais e Resultados Teóricos

1. Regularidade do Controle Ótimo: O artigo estabelece regularidade aprimorada para o controle ótimo $\bar{q}$. Sem suposições adicionais sobre os dados, mostra-se que $\bar{q}$ pertence a $L^2(I; H^1(\Omega)^d) \cap C(\bar{I}; L^2(\Omega)^d)$. Sob condições específicas (por exemplo, ausência de restrições de controle ou propriedades específicas da função de peso $w$), mostra-se que o multiplicador de Lagrange associado à restrição de estado não contém contribuições de Dirac, implicando maior regularidade para o estado adjunto e o controle.
2. Estimativas de Erro a Priori: O resultado teórico primário é uma estimativa de erro a priori para o controle ótimo na norma $L^2(I \times \Omega)$. Para o problema totalmente discreto, o erro entre o controle ótimo contínuo $\bar{q}$ e a solução discreta $\bar{q}_\sigma$ satisfaz:
   $$\|\bar{q} - \bar{q}_\sigma\|_{L^2(I \times \Omega)} \leq C \frac{\ln(T/k)}{\sqrt{\alpha}} (k^{1/2} + h)$$
   onde $C$ é independente de $k$ e $h$, e $\alpha$ é o parâmetro de regularização. Esta estimativa vale para o caso com controle restrito e baseia-se na regularidade derivada do sistema de optimalidade, em vez de assumir alta regularidade da solução a priori.
3. Bem-postura Discreta: Os autores provam a existência e unicidade de soluções para os problemas de controle ótimo discretizados variacionalmente e totalmente discretos, utilizando a condição de Slater discreta derivada da condição contínua.

Resultados Numéricos
As descobertas teóricas são complementadas por experimentos numéricos em duas e três dimensões:

• Dados Suaves: Um exemplo com dados analíticos suaves demonstra a ordem de convergência teórica de $O(h)$ no espaço e aproximadamente $O(k^{1/2})$ no tempo. Os resultados destacam que os erros de discretização espacial podem dominar se o passo de tempo não for suficientemente refinado em relação ao tamanho da malha.
• Dados de Baixa Regularidade: Um exemplo com dados rugosos (estado desejado e função de peso não suaves) mostra uma taxa de convergência reduzida no tempo (aproximadamente $O(k^{0.6})$), o que se alinha melhor com a expectativa teórica de $O(k^{1/2})$ do que o caso suave, onde efeitos de superconvergência podem obscurecer a taxa real.
• Restrições de Controle: Um terceiro exemplo incorpora restrições de controle ativas. Os resultados numéricos confirmam que a presença de restrições de controle não degrada as taxas de convergência derivadas para o caso sem restrições.

Significado e Escopo
O artigo afirma que sua principal contribuição é a derivação de estimativas de erro para problemas de controle ótimo de Stokes transientes com restrições de estado pontuais no tempo, um cenário que anteriormente carecia de tal análise rigorosa. O trabalho estende resultados existentes de equações parabólicas (equação do calor) para o sistema de Stokes. Os autores enfatizam que sua análise não requer suposições fortes de regularidade sobre o controle ótimo, derivando em vez disso a regularidade necessária das condições de optimalidade. As estimativas de erro derivadas fornecem uma base teórica para o desempenho numérico observado nos exemplos, particularmente no que diz respeito à interação entre o parâmetro de regularização $\alpha$, o passo de tempo $k$ e o tamanho da malha $h$. O artigo nota explicitamente que, embora analise os problemas contínuo e discreto, não deriva estimativas de erro para as equações de Navier-Stokes estacionárias, nem propõe novas aplicações além do quadro matemático do controle de fluidos sob restrições de estado.