Backstepping Control of PDEs on Domains with Graph-Monotone Boundaries

Titolo: Controllo Backstepping di PDE su Domini con Bordi a Monotonia Grafica

1. Il Problema

La maggior parte dei fenomeni fisici modellabili tramite equazioni alle derivate parziali (PDE) paraboliche unidimensionali è relativamente rara e si verifica solo in geometrie speciali (es. fluidi in cilindri concentrici o densità di veicoli su strade). Nella maggior parte dei casi reali, come la diffusione del calore in una piastra sottile, è necessario considerare PDE multidimensionali.

Il problema affrontato in questo lavoro è il controllo al bordo di sistemi PDE multidimensionali (specificamente l'equazione del calore) su domini geometrici complessi e non parallelepipedi.

• Stato dell'arte: Esiste un vasto corpus di lavoro sul controllo backstepping per PDE 1D, ma i risultati per dimensioni superiori sono limitati.
• Limiti delle metodologie attuali:
  • I metodi esistenti sfruttano spesso simmetrie specifiche o sono limitati a domini parallelepipedi.
  • L'unico approccio noto per domini non parallelepipedi senza assunzioni di simmetria è la tecnica di estensione del dominio (Vazquez, 2024, 2025).
  • Svantaggi dell'estensione del dominio: Richiede la simulazione di una PDE su un dominio esteso per calcolare l'input di controllo in tempo reale (non è una legge di feedback chiusa basata solo sullo stato istantaneo). Inoltre, rende difficile l'implementazione di controllo a retroazione dell'uscita, adattivo o robusto.

L'obiettivo è trovare un'alternativa che preservi i vantaggi del backstepping 1D (calcolo in forma chiusa, indipendenza dal tempo del kernel) anche su domini asimmetrici.

2. Metodologia

L'autore propone un nuovo approccio basato su un esempio motivante: il controllo dell'equazione del calore su un dominio a forma di pianoforte (rappresentato nella Figura 1 del testo), dove l'attuazione avviene sulla "coda" del pianoforte.

• Equazione del Sistema:
  $$v_t = v_{xx} + v_{yy} + \lambda v$$
  su un dominio $\Omega$ a forma di pianoforte, con condizioni al bordo di Dirichlet.
• Trasformazione Backstepping:
  Viene introdotta una trasformazione di backstepping che mappa lo stato $v(x,y,t)$ in un nuovo stato target $w(x,y,t)$:
  $$w(x, y, t) := v(x, y, t) - \int_0^y K(y, \xi)v(x, \xi, t)d\xi$$
• Innovazione Chiave (Bordi a Monotonia Grafica):
  A differenza della tecnica di estensione del dominio, l'autore dimostra che il kernel $K$ può essere definito su un dominio fisso e indipendente dalla variabile spaziale $x$.
  Si definisce un dominio di integrazione $T$ tale che $T(x) \subset T$, dove $T = \{(y, \xi) \in \mathbb{R}^2 : 0 \le \xi \le y \le 1\}$. Questo permette di scegliere un kernel $K(y, \xi)$ definito su $T$, rendendo il dominio del kernel indipendente da $x$.
• Derivazione:
  Sostituendo la trasformazione nell'equazione originale e utilizzando l'integrazione per parti, si derivano le equazioni per il kernel. L'obiettivo è far sì che $w$ soddisfi un sistema target esponenzialmente stabile:
  $$w_t = w_{xx} + w_{yy} \quad \text{su } \text{int}(\Omega)$$
  con condizioni al bordo omogenee.

3. Risultati Principali

L'analisi matematica porta ai seguenti risultati fondamentali:

1. Equazioni del Kernel: Le equazioni che il kernel $K$ deve soddisfare sono esattamente le stesse del caso unidimensionale (Smyshlyaev e Krstic, 2004):

   • $K_{yy} - K_{\xi\xi} - \lambda K = 0$
   • $K(y, y) = -\frac{\lambda}{2} y$
   • $K(y, 0) = 0$
     Poiché $\lambda$ è costante, il kernel può essere ottenuto esplicitamente in forma chiusa utilizzando la funzione di Bessel modificata di ordine 1 ($I_1$):
     $$K(y, \xi) = -\frac{\lambda \xi I_1(\sqrt{\lambda(y^2 - \xi^2)})}{\sqrt{\lambda(y^2 - \xi^2)}}$$

2. Legge di Controllo in Forma Chiusa:
   Gli input di controllo $U_1$ e $U_2$ possono essere calcolati direttamente come feedback dello stato istantaneo, senza simulazioni PDE aggiuntive:

   • Su $\Gamma_1$: $U_1(x, t) = \int_0^1 K(1, \xi)v(x, \xi, t)d\xi$
   • Su $\Gamma_2$: $U_2(x, y, t) = \int_0^{\phi(x)} K(\phi(x), \xi)v(x, \xi, t)d\xi$
     dove $\phi(x)$ definisce il bordo superiore del dominio.

3. Generalizzazione:
   Il lavoro dimostra che la tecnica di estensione del dominio non è necessaria per questo tipo di geometria. Invece, si può adottare una strategia simile a quella usata per i domini parallelepipedi, estendendo il dominio di definizione del kernel piuttosto che quello della PDE stessa.

4. Contributi Chiave

• Superamento della tecnica di estensione del dominio: Dimostrazione che per domini a forma di pianoforte (e simili), è possibile evitare la complessità computazionale della simulazione su domini estesi.
• Introduzione dei "Domini con Bordi a Monotonia Grafica": Definizione di una nuova classe di domini in $\mathbb{R}^n$ ($n>1$) caratterizzati da bordi che permettono di separare la variabile spaziale nella definizione del kernel.
• Estensione del Backstepping 1D: Sviluppo di un quadro teorico che estende i risultati noti per la geometria parallelepipeda a regioni "amorfe" (non parallelepipede) mantenendo la struttura del controllo 1D.
• Calcolo in forma chiusa: Mantenimento della proprietà fondamentale del backstepping 1D, ovvero la capacità di calcolare l'input di controllo in tempo reale basandosi solo sullo stato corrente, rendendo il metodo applicabile anche a problemi di controllo adattivo e robusto.

5. Significato e Impatto

Questo lavoro rappresenta un passo significativo verso l'applicazione pratica del controllo backstepping a sistemi fisici reali che non possiedono simmetrie perfette o geometrie rettangolari.

• Efficienza Computazionale: Elimina la necessità di risolvere PDE ausiliarie in tempo reale per calcolare il controllo, riducendo drasticamente il carico computazionale.
• Versatilità: Apre la strada all'applicazione del backstepping a una vasta gamma di geometrie complesse (definite come "domini con bordi a monotonia grafica"), superando le limitazioni imposte dalle simmetrie o dai domini parallelepipedi.
• Fondamento Teorico: Fornisce la base per futuri sviluppi in controllo a retroazione dell'uscita, adattivo e robusto per PDE multidimensionali su domini irregolari, come dettagliato nel lavoro completo di Belhadjoudja (2026).

In sintesi, l'autore dimostra che la complessità geometrica non richiede necessariamente una complessità metodologica estrema, purché si identifichino le proprietà strutturali corrette (monotonia grafica) che permettono di mantenere la semplicità del backstepping unidimensionale.