Approximate Feedback Linearization for a Nonlinear Hyperbolic PDE Class -- Part I: Volterra Truncation

Sintesi Tecnica: Linearizzazione di Feedback Approssimata per una Classe di PDE Iperboliche Non Lineari — Parte I: Troncamento di Volterra

Formulazione del Problema
Questo articolo affronta il controllo di confine per una classe di equazioni alle derivate parziali (PDE) iperboliche unidimensionali non lineari caratterizzate da non linearità di Volterra spaziali. Il sistema è definito da un'equazione di trasporto $u_t = u_x + F[u]$, dove la non linearità $F[u]$ è una serie di Volterra infinita nello stato $u$. Il lavoro precedente (Krष्टि, 2026, riferito come [6]) ha stabilito che la linearizzazione di feedback esatta per questo sistema è ottenibile tramite una trasformazione di backstepping di serie di Volterra infinita. Tale controllore esatto mappa il sistema non lineare in un'equazione di trasporto target stabile. Tuttavia, il controllore esatto richiede la valutazione di una cascata infinita di integrali annidati e la risoluzione di PDE di trasporto su simplessi di dimensione illimitata, rendendo impossibile l'implementazione su hardware digitale.

Il problema centrale è determinare se un troncamento di ordine finito di questo controllore di Volterra infinito possa preservare le proprietà di stabilizzazione della legge esatta. Nello specifico, l'articolo indaga se l'errore "residuo" introdotto dallo scarto dei termini di ordine superiore (la coda di Volterra) possa essere gestito per garantire la stabilità in ciclo chiuso e come la regione di attrazione scala rispetto all'ordine di troncamento.

Metodologia
L'articolo impiega un'analisi quantitativa nella norma sup ($L^\infty$) per stabilire la stabilità in ciclo chiuso per la legge di feedback troncata. La metodologia diverge dall'analisi basata su $L^2$ del controllore esatto in [6] a causa della mancanza di limiti puntuali per i kernel di Volterra.

1. Troncamento e Analisi del Residuo: Il controllore esatto $K[u]$ è sostituito da una somma finita $K_N[u]$ di ordine $N$. Questo troncamento lascia un residuo di confine non nullo $b(t) = K_N[u] - K[u]$ al confine target. L'articolo caratterizza questo residuo come un termine di ordine superiore che decade geometricamente con l'ordine di troncamento $N$ all'interno di una specifica palla di stato.
2. Limiti dei Kernel via Cauchy–Schwarz: Una sfida tecnica primaria è che i limiti disponibili per i kernel da [6] sono limiti integrali su simplessi crescenti, mentre il residuo di troncamento è una quantità puntuale. Gli autori colmano questo divario applicando la disuguaglianza di Cauchy–Schwarz sui simplessi. Ciò converte i limiti del kernel in $L^2$ in limiti $L^1$, che vengono poi utilizzati per derivare i limiti della norma sup dell'operatore $K$ e della sua coda di troncamento senza richiedere stime puntuali dei kernel.
3. Ben Determinatezza tramite Punto Fisso: A differenza del controllore esatto, che mappa il sistema verso un target trivialmente ben determinato, il controllore troncato produce un problema di punto fisso realmente accoppiato a causa del residuo di confine. L'articolo stabilisce la ben determinatazza locale e l'invarianza in avanti mediante un argomento di contrazione su una palla chiusa in $L^\infty([0, \tau]; L^\infty(0, 1))$.
4. Dimostioni di Stabilità: L'analisi di stabilità procede in due fasi:
   • Stabilità Pratica: Si dimostra che il sistema è praticamente stabile, con lo stato che converge verso una palla residua la cui dimensione dipende dall'ordine di troncamento.
   • Stabilità Asintotica: Sfruttando il fatto che il residuo è un termine di ordine superiore (che svanisce all'avvicinarsi dello stato a zero), gli autori dimostrano la stabilità asintotica locale caratterizzata da una stima di classe-$\mathcal{KL}$. Il decadimento è mostrato essere supra-esponenziale vicino all'origine.

Contributi Chiave

• Stabilità Quantitativa dei Controllori Troncati: L'articolo dimostra che il troncamento del linearizzatore di Volterra infinito esatto a qualsiasi ordine finito $N \ge 2$ preserva la stabilità in ciclo chiuso, a condizione che la condizione iniziale sia sufficientemente piccola.
• Analisi della Norma Sup: Stabilisce i primi risultati di stabilità $L^\infty$ per questa classe di PDE iperboliche non lineari sotto backstepping di Volterra. Ciò è significativo poiché i limiti $L^\infty$ sono spesso più rilevanti per i vincoli fisici rispetto ai limiti $L^2$.
• Caratterizzazione della Regione di Attrazione: L'articolo fornisce stime esplicite per la regione di attrazione. Dimostra che la dimensione di questa regione cresce con l'ordine di troncamento $N$ e il raggio di analiticità della non linearità del sistema, diminuendo all'aumentare del tasso di crescita della non linearità.
• Risoluzione della Ben Determinatezza: L'analisi risolve la ben determinatazza del sistema non lineare in ciclo chiuso sotto troncamento, mostrando che l'accoppiamento introdotto dal residuo non impedisce l'esistenza di una soluzione mite unica.
• Alternativa $L^2$: Un contributo secondario è una dimostrazione di stabilità nella norma $L^2$. Gli autori mostrano che, sebbene la stabilità $L^2$ sussista, il risultato della norma sup è matematicamente più fine e praticamente più rilevante, poiché l'analisi $L^2$ richiede costanti più conservative a causa della parziale simmetrizzazione delle stime Lipschitz.

Risultati
Il risultato principale, Teorema 1, stabilisce quattro proprietà per il sistema in ciclo chiuso sotto il feedback troncato $U(t) = K_N[u](1, t)$:

1. Invarianza in Avanti: Lo stato rimane entro una palla di norma sup fissa per tutto il tempo.
2. Stabilità Pratica: Lo stato è limitato da una funzione della condizione iniziale e da un termine residuo proporzionale all'errore di troncamento $\varepsilon_N(r_0)$.
3. Attrattività in Tempo Finito: Dopo un tempo di attraversamento del trasporto ($t=1$), lo stato entra e rimane all'interno di una palla residua determinata dall'ordine di troncamento.
4. Stabilità Asintotica: Il sistema converge all'origine con una stima di classe-$\mathcal{KL}$. Il termine residuo decade geometricamente con $N$ (come $(C_K r_0)^N$), il che significa che il comportamento di stabilizzazione esatto viene recuperato quando $N \to \infty$.

L'articolo presenta anche il Teorema 2, che rispecchia questi risultati nella norma $L^2$, notando che le costanti $L^2$ sono più conservative (ad esempio, le costanti Lipschitz coinvolgono un fattore $\sqrt{2}$) e il limite del residuo è additivo piuttosto che un massimo.

Significato e Rivendicazioni
L'articolo sostiene che approssimazioni di ordine finito sorprendentemente semplici catturano l'essenza della linearizzazione di feedback per PDE non lineari. Argomenta che, sebbene la linearizzazione di feedback esatta sia teoricamente elegante, essa è praticamente impraticabile. L'approccio del troncamento offre una strategia di implementazione praticabile dove la perdita di linearizzazione esatta è compensata da una regione di attrazione più piccola, ma comunque quantificabile.

Gli autori sottolineano che il "vanire di ordine superiore" del residuo di troncamento è il meccanismo chiave che concilia la stabilità pratica con la stabilità asintotica. Man mano che lo stato diminuisce, il residuo diventa trascurabile, permettendo al sistema di convergere a zero nonostante il controllore non sia un linearizzatore esatto.

L'articolo si pone come Parte I di uno studio in due parti. Stabilisce le garanzie analitiche per il controllore troncato, mentre la Parte II (citata come [5]) ha il compito di sostituire la costosa valutazione dei kernel con un surrogato di operatore neurale appreso, eliminando così la necessità di risolvere la PDE online e l'integrazione annidata. Il presente lavoro non propone validazioni sperimentali o specifiche applicazioni ingegneristiche oltre al quadro teorico del controllo di confine per PDE iperboliche.