Backstepping Control of PDEs on Domains with Graph-Monotone Boundaries

Resumo Técnico: Controle Backstepping de EDPs em Domínios com Fronteiras Monótonas em Gráfico

1. Problema e Motivação
O artigo aborda o problema de controle de fronteira para equações diferenciais parciais (EDPs) parabólicas de dimensão superior (especificamente a equação do calor em 2D). Embora o controle backstepping seja bem estabelecido para EDPs unidimensionais, sua aplicação em dimensões superiores é limitada.

• Limitações Atuais: Métodos existentes geralmente dependem de simetrias específicas do domínio ou são restritos a domínios paralelepipédicos (retangulares).
• Abordagem Alternativa Recente: Uma técnica de "extensão de domínio" (Vazquez, 2024, 2025) permite lidar com domínios não retangulares, mas possui desvantagens significativas: o sinal de controle deve ser calculado simulando uma EDP em um domínio estendido (sem forma fechada) e não suporta facilmente projetos de realimentação de saída ou controle adaptativo.
• Objetivo: O trabalho busca uma alternativa que preserve as vantagens do backstepping unidimensional (cálculo em forma fechada do controle) para domínios assimétricos e não retangulares, utilizando o exemplo de um domínio em forma de piano.

2. Metodologia
Os autores propõem uma estratégia de backstepping que evita a extensão do domínio da EDP. Em vez disso, eles expandem o domínio de definição do núcleo da transformação (kernel).

• Transformação Proposta: Define-se uma transformação integral de Volterra que mapeia o sistema original (instável) para um sistema alvo (exponencialmente estável). A transformação é dada por:
  $$w(x, y, t) = v(x, y, t) - \int_0^y K(y, \xi)v(x, \xi, t)d\xi$$
• Inovação Geométrica: Para um domínio em forma de piano (onde a fronteira superior $\Gamma_1 \cup \Gamma_2$ é descrita por uma função $\phi(x)$), o núcleo $K$ é definido em um domínio retangular fixo $T = \{(y, \xi) : 0 \le \xi \le y \le 1\}$, que contém o domínio variável $T(x)$ necessário para cada $x$.
• Derivação: Ao diferenciar a transformação e substituir na EDP original, os autores derivam as equações para o núcleo $K$. O resultado crucial é que, devido à estrutura do domínio e da transformação, as equações do núcleo dependem apenas das variáveis $y$ e $\xi$, e não de $x$.

3. Resultados Principais

• Equações do Núcleo: As equações diferenciais parciais para o núcleo $K$ são idênticas às encontradas no caso unidimensional clássico (Smyshlyaev e Krstic, 2004):
  $$K_{yy} - K_{\xi\xi} - \lambda K = 0$$
  com condições de contorno $K(y, y) = -\frac{\lambda}{2}y$ e $K(y, 0) = 0$.
• Solução Analítica: Como $\lambda$ é constante, o núcleo pode ser obtido explicitamente usando a função de Bessel modificada de primeira ordem ($I_1$):
  $$K(y, \xi) = -\frac{\lambda\xi}{\sqrt{\lambda(y^2 - \xi^2)}} I_1\left(\sqrt{\lambda(y^2 - \xi^2)}\right)$$
• Lei de Controle em Forma Fechada: Diferentemente do método de extensão de domínio, o sinal de controle $U$ é calculado diretamente a partir do estado atual do sistema, sem necessidade de simulação de EDP adicional:
  • Na fronteira $\Gamma_1$ (onde $y=1$): $U_1(x, t) = \int_0^1 K(1, \xi)v(x, \xi, t)d\xi$
  • Na fronteira curva $\Gamma_2$ (onde $y=\phi(x)$): $U_2(x, y, t) = \int_0^{\phi(x)} K(\phi(x), \xi)v(x, \xi, t)d\xi$
• Estabilidade: O sistema em malha fechada é garantido como exponencialmente estável na norma $L^2$.

4. Contribuições Chave

1. Generalização para Domínios "Amorfos": O trabalho demonstra que a restrição a domínios paralelepipédicos não é necessária para o backstepping em dimensões superiores.
2. Conceito de Fronteiras Monótonas em Gráfico: Introduz uma nova classe de domínios em $\mathbb{R}^n$ ($n>1$) onde a fronteira de controle pode ser descrita como um gráfico monótono, permitindo a aplicação da metodologia.
3. Superação da Extensão de Domínio: Demonstra que, para certos casos (como o domínio em forma de piano), o método de extensão de domínio é desnecessário. A estratégia proposta mantém a vantagem computacional do backstepping 1D (cálculo em tempo real baseado apenas no estado atual).
4. Fundamento Teórico: Estabelece que as propriedades do núcleo podem ser abstraídas de geometrias simples para geometrias complexas, desde que o domínio de integração do núcleo seja adequadamente definido para cobrir todas as variações espaciais.

5. Significância
Este trabalho representa um avanço significativo na teoria de controle de sistemas distribuídos. Ao permitir o projeto de controladores backstepping em forma fechada para geometrias assimétricas e complexas sem recorrer a simulações numéricas onerosas em tempo real, ele abre caminho para aplicações práticas em engenharia (como trocadores de calor com geometrias complexas ou dinâmica de fluidos em canais irregulares) que anteriormente eram tratadas apenas com métodos aproximados ou restritos a geometrias simples. O método apresentado serve como um protótipo para uma estrutura mais ampla de controle de EDPs em dimensões superiores, conforme detalhado na tese completa do autor (Belhadjoudja, 2026).