Feedback Linearization of Hyperbolic PDEs with Volterra Nonlinearities

1. Formulação do Problema

O artigo aborda a linearização por realimentação de uma classe específica de sistemas não lineares de dimensão infinita: equações diferenciais parciais (EDPs) hiperbólicas de primeira ordem perturbadas por não linearidades de Volterra espaciais.

A planta é modelada como uma equação de transporte com um termo fonte não linear:
$$u_t(x, t) = u_x(x, t) + F[u](x, t), \quad x \in [0, 1), \ t \ge 0$$
sujeita ao controle de fronteira $u(1, t) = U(t)$ e à condição inicial $u(x, 0) = u_0(x)$.

A não linearidade $F[u]$ é uma série de Volterra infinita na variável espacial, começando na segunda ordem:
$$F[u](x, t) = \sum_{n=2}^{\infty} \int_{T_n(x)} f_n(x, \xi_1, \dots, \xi_n) \prod_{i=1}^n u(\xi_i, t) \, d\xi_n \dots d\xi_1$$
onde $T_n(x)$ é o domínio simplex $0 \le \xi_n \le \dots \le \xi_1 \le x$. Assume-se que os núcleos $f_n$ satisfazem limites específicos de crescimento (crescimento fatorial) para garantir a convergência.

O Objetivo: Construir uma transformação de estado não linear (série de Volterra) e uma lei de realimentação de fronteira de modo que o sistema em malha fechada seja transformado em uma equação de transporte linear estável com condições de fronteira homogêneas ($w_t = w_x, w(1,t)=0$), alcançando assim estabilidade exponencial local na norma $L^2$.

2. Metodologia

A abordagem estende a metodologia Backstepping, anteriormente aplicada a EDPs parabólicas e EDOs, ao cenário não linear hiperbólico. A estratégia central envolve:

1. Transformação de Volterra: Propõe-se uma mudança de variáveis não linear:
   $$w(x, t) = u(x, t) - K[u](x, t)$$
   onde $K[u]$ é um operador de Volterra com núcleos desconhecidos $k_n$.
2. Condição de Casamento: Substituindo a transformação na dinâmica da planta e impondo a dinâmica alvo ($w_t = w_x$), deriva-se uma hierarquia de EDPs lineares para os núcleos $k_n$.
3. Equações dos Núcleos: Para cada ordem $n \ge 2$, os núcleos satisfazem uma equação de transporte linear de primeira ordem no simplex $T_n(1)$:
   $$\partial_x k_n + \sum_{i=1}^n \partial_{\xi_i} k_n = -f_n + \text{termos de acoplamento de núcleos de ordem inferior}$$
   Estas equações são resolvidas recursivamente, começando por $n=2$.
4. Análise de Convergência:
   • Transformação Direta: Os autores estabelecem limites $L^2$ nos núcleos $k_n$ usando uma desigualdade recursiva derivada da representação característica da equação de transporte. Empregam argumentos de séries majorantes (comparando as normas dos núcleos a uma série de potências convergente) para provar que a série de Volterra para $K[u]$ converge em uma vizinhança da origem.
   • Transformação Inversa: Diferentemente de trabalhos anteriores que usavam inversão formal de séries, este artigo utiliza um argumento de aplicação contrativa em $L^2$ para provar a existência e unicidade da transformação inversa, fornecendo limites explícitos de Lipschitz e um raio de invertibilidade.
5. Prova de Estabilidade: A estabilidade do sistema alvo (convergência em tempo finito a zero) é transferida de volta ao sistema original usando as propriedades bi-Lipschitz da transformação e de sua inversa.

3. Contribuições Principais

A. Extensão a EDPs Hiperbólicas

Esta é a primeira extensão bem-sucedida da linearização por realimentação de EDPs não lineares da classe parabólica (Vazquez & Krstic, 2008) para a classe hiperbólica.

• Diferença Estrutural: Enquanto as equações de núcleo parabólicas são EDPs de segunda ordem que requerem estimativas de energia, as equações de núcleo hiperbólicas são equações de transporte de primeira ordem.
• Vantagem Técnica: Isso permite soluções explícitas ao longo das características, simplificando a derivação de limites de núcleos via desigualdades do tipo Grönwall, em vez de métodos de energia complexos.

B. Transformação Inversa Rigorosa

O artigo substitui a inversão formal da série Boyd–Chua usada em casos parabólicos por um argumento direto de aplicação contrativa.

• Resultado: Isso produz estimativas quantitativas explícitas para a constante de Lipschitz do mapa inverso e o raio da região de atração, que são cruciais para garantias práticas de estabilidade.

C. Diferenciabilidade de Fréchet

O artigo prova que a transformação backstepping $T = I - K$ e sua inversa são diferenciáveis de Fréchet (especificamente $C^1$) em uma vizinhança da origem em $L^2$. Isso estabelece a transformação como um verdadeiro difeomorfismo de dimensão infinita, análogo às mudanças de coordenadas usadas na linearização por realimentação de EDOs de dimensão finita.

D. Construção Livre de EDPs (Subclasse Chen–Fliess)

Um avanço teórico significativo é apresentado na Seção 11 para uma subclasse "adaptada ao transporte" de não linearidades de Volterra (relacionada às séries Chen–Fliess).

• Redução: Para plantas cujos núcleos admitem uma expansão específica em base de lacunas polinomiais, a cascata infinita de EDPs simplex reduz-se a uma cascata triangular de EDOs escalares em $[0, 1]$.
• Quadratura: Os núcleos podem ser computados via quadratura escalar (integração) sem resolver qualquer EDP. Isso demonstra que, para certas classes de dimensão infinita, o problema de linearização por realimentação é fundamentalmente unidimensional na variável espacial.

4. Resultados Principais

1. Estabilidade Exponencial Local: O sistema em malha fechada é provado ser localmente exponencialmente estável na norma $L^2$. A região de atração é caracterizada explicitamente por condições de ganho pequeno envolvendo as constantes de Lipschitz da transformação.
2. Convergência da Série de Volterra: O artigo fornece limites rigorosos sobre o crescimento dos núcleos backstepping, garantindo que a série de Volterra convirja para condições iniciais dentro de uma bola $L^2$ específica.
3. Validação Numérica: Um exemplo não linear de Equação Diferencial-Algebraica Parcial (EDAP) é simulado. Os resultados mostram que:
   • Sistemas em malha aberta explodem em tempo finito.
   • A realimentação truncada (baixa ordem) atrasa, mas não impede a explosão.
   • A linearização por realimentação de Volterra completa (ou de ordem suficientemente alta) estabiliza com sucesso o sistema.
4. Solução Analítica para Classe Específica: Para a subclasse Chen–Fliess, o artigo fornece um algoritmo explícito para calcular os coeficientes do controlador usando apenas integrais escalares, contornando a necessidade de integração simplex de alta dimensão.

5. Significado

• Marco Teórico: Resolve um desafio de décadas na teoria de controle: a linearização por realimentação de EDPs hiperbólicas não lineares. Confirma que a abordagem de série de Volterra é o quadro correto para o controle não linear de dimensão infinita.
• Mudança Metodológica: Ao utilizar a estrutura de transporte das EDPs hiperbólicas, o artigo simplifica a maquinaria analítica necessária para limites de núcleos em comparação com o caso parabólico.
• Insight Computacional: A descoberta de que uma classe específica de dimensão infinita admite uma realização livre de EDPs (via EDOs escalares) desafia a suposição de que o controle de EDPs não lineares deve envolver a resolução de EDPs de alta dimensão. Abre uma nova via para o projeto de controladores para sistemas dominados por transporte com não linearidades.
• Homenagem a Isidori: O trabalho serve como uma homenagem à teoria de controle geométrico fundamental de Alberto Isidori, traduzindo com sucesso conceitos como linearização por realimentação e difeomorfismos de EDOs de dimensão finita para o domínio de EDPs de dimensão infinita.

Em resumo, este artigo fornece um quadro completo, rigoroso e computacionalmente perspicaz para estabilizar uma ampla classe de EDPs hiperbólicas não lineares, preenchendo a lacuna entre a teoria de controle não linear geométrico e sistemas de dimensão infinita.