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

Technische Samenvatting: Benaderende Feedback-linearisatie voor een Klasse van Nietlineaire Hyperbolische PDE's — Deel I: Volterra-truncatie

Probleemformulering
Dit artikel behandelt de randcontrole (boundary control) van een klasse van eendimensionale nietlineaire hyperbolische partiële differentiaalvergelijkingen (PDE's) die ruimtelijke Volterra-nietlineariteiten vertonen. De plant wordt gedefinieerd door een transportvergelijking $u_t = u_x + F[u]$, waarbij de nietlineariteit $F[u]$ een oneindige Volterra-reeks is in de toestand $u$. Vorig werk (Krstic, 2026, vermeld als [6]) heeft vastgesteld dat exacte feedback-linearisatie voor dit systeem haalbaar is via een one-infinite Volterra-reeks backstepping-transformatie. Deze exacte controller brengt de nietlineaire plant naar een stabiele doel-transportvergelijking. Echter, de exacte controller vereist de evaluatie van een oneindige cascade van geneste integralen en de oplossing van transport-PDE's op simplexen van onbegrensde dimensie, wat de implementatie op digitale hardware onmogelijk maakt.

De kern van het probleem is bepalen of een eindige-orde truncatie van deze exacte one-infinite Volterra-controller de stabiliserende eigenschappen van de exacte wet kan behouden. Specifiek onderzoekt het artikel of de "residuele" fout die wordt geïntroduceerd door het verwerpen van hogere-orde termen (de Volterra-staart) beheersbaar is om gesloten-lus stabiliteit te garanderen, en hoe het gebied van attractie schaalt met de truncatie-orde.

Methodologie
Het artikel maakt gebruik van een kwantitatieve analyse in de sup-norm ($L^\infty$) om gesloten-lus stabiliteit voor de getrunceerde feedbackwet vast te stellen. De methodologie wijkt af van de $L^2$-gebaseerde analyse van de exacte controller in [6] vanwege het gebrek aan puntvormige grenzen op de Volterra-kernels.

1. Truncatie en Residuele Analyse: De exacte controller $K[u]$ wordt vervangen door een eindige som $K_N[u]$ van orde $N$. Deze truncatie laat een niet-nul rand-residue $b(t) = K_N[u] - K[u]$ achter bij de doelrand. Het artikel karakteriseert dit residue als een hogere-orde term die geometrisch afneemt met de truncatie-orde $N$ binnen een specifieke toestandsbal.
2. Kernel-grenzen via Cauchy–Schwarz: Een primaire technische uitdaging is dat de beschikbare kernel-grenzen uit [6] integrale grenzen zijn op groeiende simplexen, terwijl het truncatie-residue een puntvormige grootheid is. De auteurs overbruggen deze kloof door de Cauchy–Schwarz-ongelijkheid op de simplexen toe te passen. Dit zet de $L^2$ kernel-grenzen om in $L^1$ grenzen, die vervolgens worden gebruikt om sup-norm grenzen voor de operator $K$ en zijn truncatie-staart af te leiden zonder puntvormige kernel-schattingen te vereisen.
3. Vast-punt Wel-gesteltheid: In tegenstelling tot de exacte controller, die de plant naar een triviaal wel-gestelde doelstelling brengt, resulteert de getrunceerde controller in een werkelijk gekoppeld vast-punt probleem door het rand-residue. Het artikel stelt lokale wel-gesteltheid en voorwaartse invariantie vast met behulp van een contractie-mapping argument op een gesloten bal in $L^\infty([0, \tau]; L^\infty(0, 1))$.
4. Stabiliteitsbewijzen: De stabiliteitsanalyse verloopt in twee stadia:
   • Praktische Stabiliteit: Er wordt aangetoond dat het systeem praktisch stabiel is, waarbij de toestand convergeert naar een residuele bal waarvan de grootte afhangt van de truncatie-orde.
   • Asymptotische Stabiliteit: Door gebruik te maken van het feit dat het residue een hogere-orde term is (die verdwijnt wanneer de toestand naar nul nadert), bewijzen de auteurs lokale asymptotische stabiliteit gekarakteriseerd door een klasse-$\mathcal{KL}$ schatting. De afname is aangetoond als superexponentieel nabij de oorsprong.

Belangrijkste Bijdragen

• Kwantitatieve Stabiliteit van Getrunceerde Controllers: Het artikel bewijst dat het trunceren van de exacte one-infinite Volterra-linearizer naar een willekeurige eindige orde $N \ge 2$ de gesloten-lus stabiliteit behoudt, mits de beginvoorwaarde voldoende klein is.
• Sup-Norm Analyse: Het vestigt de eerste $L^\infty$ stabiliteitsresultaten voor deze klasse van nietlineaire hyperbolische PDE's onder Volterra backstepping. Dit is significant omdat $L^\infty$ grenzen vaak relevanter zijn voor fysieke beperkingen dan $L^2$ grenzen.
• Karakterisering van het Gebied van Attractie: Het artikel biedt expliciete schattingen voor het gebied van attractie. Het demonstreert dat de grootte van dit gebied groeit met de truncatie-orde $N$ en de analytische radius van de plant-nietlineariteit, en krimpt naarmate de groeivoet van de nietlineariteit toeneemt.
• Resolutie van Wel-gesteltheid: De analyse lost de wel-gesteltheid van de nietlineaire gesloten-lus onder truncatie op, waarbij wordt aangetoond dat de koppeling geïntroduceerd door het residue de existentie van een unieke milde oplossing niet verhindert.
• $L^2$ Alternatief: Een secundaire bijdrage is een bewijs van stabiliteit in de $L^2$-norm. De auteurs tonen aan dat hoewel $L^2$ stabiliteit standhoudt, het sup-norm resultaat wiskundig scherper en praktisch relevanter is, aangezien de $L^2$ analyse meer conservatieve constanten vereist door partiële symmetrisatie van de Lipschitz-schattingen.

Resultaten
Het hoofdbestek, Stelling 1, stelt vier eigenschappen vast voor het gesloten-lus systeem onder de getrunceerde feedback $U(t) = K_N[u](1, t)$:

1. Voorwaartse Invariantie: De toestand blijft voor alle tijd binnen een vaste sup-norm bal.
2. Praktische Stabiliteit: De toestand is begrensd door een functie van de beginvoorwaarde en een residueel term proportioneel aan de truncatie-fout $\varepsilon_N(r_0)$.
3. Eindige-tijd Attractiviteit: Na een transport-kruistijd ($t=1$), betreedt de toestand een residuele bal bepaald door de truncatie-orde en blijft daarin.
4. Asymptotische Stabiliteit: Het systeem convergeert naar de oorsprong met een klasse-$\mathcal{KL}$ schatting. De residuele term neemt geometrisch af met $N$ (als $(C_K r_0)^N$), wat betekent dat de exacte stabilisatie gedraging wordt hersteld als $N \to \infty$.

Het artikel presenteert ook Stelling 2, die deze resultaten spiegelt in de $L^2$-norm, waarbij wordt opgemerkt dat de $L^2$ constanten conservatiever zijn (bijv. de Lipschitz-constanten bevatten een factor $\sqrt{2}$) en de residuele grens additief in plaats van maximaal is.

Betekenis en Claims
Het artikel claimt dat verrassend eenvoudige eindige-orde benaderingen de essentie van nietlineaire PDE feedback-linearisatie vatten. Het voert aan dat hoewel exacte feedback-linearisatie theoretisch elegant is, het praktisch onhaalbaar is. De truncatie-aanpak biedt een levensvatbare implementatiestrategie waarbij het verlies van exacte linearisatie wordt gecompenseerd door een kleiner, maar kwantificeerbaar gebied van attractie.

De auteurs benadrukken dat de "hogere-orde verdwijnende" natuur van het truncatie-residue de sleutelmechanisme is die praktische stabiliteit met asymptotische stabiliteit verzoent. Naarmate de toestand kleiner wordt, wordt het residue verwaarloosbaar, waardoor het systeem naar nul kan convergeren ondanks dat de controller geen exacte linearizer is.

Het artikel positioneert zichzelf als Deel I van een tweeledige studie. Het stelt de analytische garanties vast voor de getrunceerde controller, terwijl Deel II (geciteerd als [5]) de taak heeft om de computationeel dure kernel-evaluaties te vervangen door een geleerde neural-operator surrogate, waardoor de noodzaak voor online PDE-oplossing en geneste integratie wordt geëlimineerd. Het huidige werk stelt geen experimentele validatie of specifieke engineering toepassingen voor buiten het theoretische kader van randcontrole voor hyperbolische PDE's.