2025-11-16T11:16:12.220203

Lyapunov methods for input-to-state stability of time-varying evolution equations

Heni, Mironchenko, Wirth et al.
We prove that (local) input-to-state stability ((L)ISS) and integral input-to-state stability (iISS) of time-varying infinite-dimensional systems in abstract spaces follows from the existence of a {corresponding} Lyapunov function. In particular, input-to-state stability of linear time-varying control systems in Hilbert spaces with bounded input operators is discussed. Methods for the construction of non-coercive LISS/iISS Lyapunov functions are presented for a certain class of time-varying semi-linear evolution equations. Two examples are given to illustrate the effectiveness of the results.
academic

Lyapunov-Methoden für Input-to-State-Stabilität zeitvarianter Evolutionsgleichungen

Grundlegende Informationen

  • Papier-ID: 2510.14057
  • Titel: Lyapunov methods for input-to-state stability of time-varying evolution equations
  • Autoren: Rahma Heni, Andrii Mironchenko, Fabian Wirth, Hanen Damak, Mohamed Ali Hammami
  • Klassifizierung: math.OC (Optimierung und Regelung)
  • Veröffentlichungsdatum: 15. Oktober 2025 (arXiv-Preprint)
  • Papierlink: https://arxiv.org/abs/2510.14057

Zusammenfassung

Dieses Papier beweist, dass die (lokale) Input-to-State-Stabilität ((L)ISS) und integrale Input-to-State-Stabilität (iISS) zeitvarianter unendlichdimensionaler abstrakter Raumsysteme durch die Existenz entsprechender Lyapunov-Funktionen garantiert werden können. Insbesondere wird die Input-to-State-Stabilität linearer zeitvarianter Kontrollsysteme in Hilbert-Räumen mit beschränkten Eingabeoperatoren diskutiert. Für eine bestimmte Klasse zeitvarianter semilinearer Evolutionsgleichungen wird eine Konstruktionsmethode für nicht-erzwungene LISS/iISS-Lyapunov-Funktionen vorgestellt. Die Gültigkeit der erhaltenen Ergebnisse wird durch zwei Beispiele verifiziert.

Forschungshintergrund und Motivation

Forschungsfragen

Dieses Papier befasst sich hauptsächlich mit der Analyse der Input-to-State-Stabilität zeitvarianter unendlichdimensionaler Systeme, insbesondere:

  1. Wie können die ISS- und iISS-Eigenschaften zeitvarianter unendlichdimensionaler Systeme durch Lyapunov-Funktionsmethoden charakterisiert werden?
  2. Wie konstruiert man nicht-erzwungene Lyapunov-Funktionen zur Analyse zeitvarianter Systeme mit unbeschränkten Operatoren?
  3. Wie erweitert man die klassische ISS-Theorie von zeitinvarianten Systemen auf den zeitvarianten Fall?

Bedeutungsanalyse

  1. Theoretische Bedeutung: Die ISS-Theorie ist eines der Kernkonzepte der robusten nichtlinearen Regelung und hat große Bedeutung für die Analyse der Robustheit von Systemen gegenüber externen Störungen
  2. Praktische Anwendung: Viele reale Systeme (wie verteilte Parametersysteme, die durch partielle Differentialgleichungen beschrieben werden) sind von Natur aus zeitvariant und erfordern entsprechende theoretische Unterstützung
  3. Technische Herausforderungen: Die Analyse zeitvarianter Systeme ist wesentlich komplexer als die zeitinvarianter Systeme, besonders wenn die Systemoperatoren unbeschränkt sind

Einschränkungen bestehender Methoden

  1. Unzureichende Theorie zeitvarianter Systeme: Im Vergleich zur ISS-Theorie zeitinvarianter unendlichdimensionaler Systeme ist die Forschung zum zeitvarianten Fall relativ begrenzt
  2. Schwierigkeiten bei der Behandlung unbeschränkter Operatoren: Für zeitvariante Systeme mit unbeschränkten Operatoren A(t) existieren kaum ISS- und iISS-Ergebnisse
  3. Komplexe Konstruktion von Lyapunov-Funktionen: Die Konstruktion von ISS-Lyapunov-Funktionen in zeitvarianten Systemen ist schwieriger als im zeitinvarianten Fall

Kernbeiträge

  1. Etablierung der Lyapunov-Charakterisierung von ISS/iISS für zeitvariante unendlichdimensionale Systeme: Beweis der Äquivalenz zwischen der Existenz entsprechender Lyapunov-Funktionen und den ISS/iISS-Eigenschaften des Systems
  2. Vorschlag einer Konstruktionsmethode für nicht-erzwungene Lyapunov-Funktionen: Für lineare zeitvariante Systeme mit unbeschränkten Operatoren wird eine explizite Konstruktion von nicht-erzwungenen ISS-Lyapunov-Funktionen angegeben
  3. Erweiterung des Analyserahmens für semilineare Systeme: Etablierung einer Konstruktionsmethode für LISS/iISS-Lyapunov-Funktionen zeitvarianter semilinearer Evolutionsgleichungen
  4. Verbesserung der Wohlgestelltheitheorie für zeitvariante Systeme: Bereitstellung hinreichender Bedingungen für die Wohlgestelltheit zeitvarianter semilinearer Evolutionsgleichungen
  5. Bereitstellung konkreter Anwendungsbeispiele: Verifikation der Gültigkeit der theoretischen Ergebnisse durch die Kuramoto-Sivashinsky-Gleichung und die Wärmegleichung

Methodische Erläuterung

Aufgabendefinition

Untersuchung der Stabilität des abstrakten Kontrollsystems Σ = (X, U, φ), wobei:

  • X: Zustandsraum (normierter linearer Raum)
  • U: Menge der Eingabewerte
  • φ: Übergangsfunktion

Konkrete Betrachtung zeitvarianter semilinearer Evolutionsgleichungen:

ẋ(t) = A(t)x(t) + Ψ(t, x(t), u(t)), t ≥ t₀ ≥ 0
x(t₀) = x₀

Theoretischer Kernrahmen

1. ISS/iISS-Definitionen

Input-to-State-Stabilität (ISS): Es existieren β ∈ KL, γ ∈ K, so dass

‖φ(t, t₀, x₀, u)‖ₓ ≤ β(‖x₀‖ₓ, t - t₀) + γ(‖u‖ᵤ)

Integrale Input-to-State-Stabilität (iISS): Es existieren α ∈ K∞, μ ∈ K, β ∈ KL, so dass

‖φ(t, t₀, x₀, u)‖ₓ ≤ β(‖x₀‖ₓ, t - t₀) + α(∫ᵗₜ₀ μ(‖u(s)‖ᵤ)ds)

2. Lyapunov-Funktionsdefinition

Nicht-erzwungene ISS-Lyapunov-Funktion: Eine stetige Funktion V : ℝ₊ × D → ℝ₊ erfüllt:

  • V(t, 0) = 0
  • 0 < V(t, x) ≤ α₂(‖x‖ₓ), ∀x ∈ D{0}
  • ‖x‖ₓ ≥ κ(‖u‖ᵤ) ⟹ V̇ᵤ(t, x) ≤ -μ(V(t, x))

wobei die Lie-Ableitung definiert ist als:

V̇ᵤ(t, x) := lim sup[h→0⁺] (1/h)[V(t+h, φ(t+h, t, x, u)) - V(t, x)]

Technische Innovationspunkte

1. Stabilitätscharakterisierung von Evolutionsfamilien

Etablierung der Äquivalenzbeziehung zwischen gleichmäßiger exponentieller Stabilität der Evolutionsfamilie {W(t, s)} und ISS-Eigenschaften des Systems:

Satz 4.5: Für das lineare System ẋ = A(t)x + B(t)u sind die folgenden Bedingungen äquivalent:

  • System ist ISS
  • System ist 0-UGAS
  • System ist iISS
  • Evolutionsfamilie ist gleichmäßig asymptotisch stabil
  • Evolutionsfamilie ist gleichmäßig exponentiell stabil

2. Konstruktion nicht-erzwungener Lyapunov-Funktionen

Für gleichmäßig exponentiell stabile Evolutionsfamilien wird eine explizite nicht-erzwungene ISS-Lyapunov-Funktion konstruiert:

V(t, x) = ∫^∞ₜ ‖W(τ, t)x‖²ₓ dτ

und es wird bewiesen, dass sie die Dissipativitätsungleichung erfüllt:

V̇ᵤ(t, x) ≤ -‖x‖²ₓ + (ηk²)/(2w)‖x‖²ₓ + (k²)/(2ηw)‖B‖²∞‖u(t)‖²ᵤ

3. Behandlung semilinearer Systeme

Durch die Annahmen der lokalen linearen Beschränktheit (H2) und des bilinearen Wachstums (H3) werden die Ergebnisse linearer Systeme auf den semilinearen Fall erweitert.

Experimentelle Einrichtung

Anwendungsbeispiele

1. Kuramoto-Sivashinsky-Gleichung

Betrachtung der geregelten zeitvarianten KS-Gleichung:

∂x/∂t = -∂⁴x/∂z⁴ - ϱ∂²x/∂z² - μ(t)x + (x|sin(t)|)/(1 + e^(-zt)x²)u

unter homogenen Dirichlet-Randbedingungen.

2. Geregelte Wärmegleichung

Betrachtung des Systems:

∂x/∂t = ν∂²x/∂z² + R(t)x + ωsin(z)x + u

wobei R(t) eine Familie beschränkter linearer Operatoren ist.

Analysemethoden

  1. Operatortheorie-Analyse: Nutzung der Operatorhalbgruppen-Theorie zur Analyse der Wohlgestelltheit des Systems
  2. Lyapunov-Funktionskonstruktion: Konstruktion konkreter Lyapunov-Funktionen basierend auf theoretischen Ergebnissen
  3. Stabilitätsverifikation: Verifikation von Stabilitätsbedingungen durch Berechnung der Lie-Ableitung

Experimentelle Ergebnisse

Hauptergebnisse

1. iISS-Eigenschaft der KS-Gleichung

Proposition 6.1: Wenn ϱ < 4π² ist, dann ist die KS-Gleichung (43)-(44) iISS.

Der Beweis erfolgt durch Konstruktion der Lyapunov-Funktion:

V(t, x) = ln(1 + Z(t, x))
Z(t, x) = (1 + e^(-t))∫₀¹ x²(z)dz

2. ISS-Eigenschaft der Wärmegleichung

Für die geregelte Wärmegleichung ist das System ISS, wenn die Bedingung erfüllt ist:

r + ω < νπ²/ℓ²

wobei r = supt≥0 ‖R(t)‖.

Theoretische Verifikation

Beide Beispiele verifizieren:

  1. Die theoretisch konstruierte Lyapunov-Funktion erfüllt tatsächlich die entsprechende Dissipativitätsungleichung
  2. Die Stabilitätsbedingungen stehen in Einklang mit den physikalischen Parametern
  3. Die Methode ist auf verschiedene Arten von partiellen Differentialgleichungen anwendbar

Verwandte Arbeiten

Entwicklung der ISS-Theorie

  1. Klassische ISS-Theorie: Sontag führte das ISS-Konzept Ende der 1980er Jahre ein und entwickelte anschließend ein vollständiges theoretisches System
  2. Unendlichdimensionale Erweiterung: In den letzten Jahren wurde die ISS-Theorie auf unendlichdimensionale Systeme erweitert, hauptsächlich für den zeitinvarianten Fall
  3. Zeitvariante Systeme: Die ISS-Theorie für zeitvariante unendlichdimensionale Systeme ist relativ begrenzt; dieses Papier füllt diese Lücke

Lyapunov-Methoden

  1. Erzwungene Funktionen: Traditionelle Methoden konzentrieren sich hauptsächlich auf erzwungene Lyapunov-Funktionen
  2. Nicht-erzwungene Funktionen: In den letzten Jahren wurde die Theorie nicht-erzwungener Lyapunov-Funktionen entwickelt, die besser für unendlichdimensionale Systeme geeignet ist
  3. Konstruktionsmethoden: Dieses Papier bietet systematische Konstruktionsmethoden, besonders für den zeitvarianten Fall

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

  1. Theoretische Verbesserung: Etablierung einer vollständigen Lyapunov-Charakterisierung von ISS/iISS für zeitvariante unendlichdimensionale Systeme
  2. Methodische Innovation: Vorschlag systematischer Konstruktionsmethoden für nicht-erzwungene Lyapunov-Funktionen
  3. Anwendungsverifikation: Verifikation der Praktikabilität der Theorie durch konkrete PDE-Beispiele

Einschränkungen

  1. Annahmebedingungen: Die Annahmen an die nichtlinearen Terme sind relativ stark (lokale Lipschitz-Stetigkeit usw.)
  2. Konstruktionskomplexität: In einigen Fällen ist die Konstruktion der Lyapunov-Funktion immer noch relativ komplex
  3. Rechenkomplexität: Die praktische Anwendung zur Verifikation von Stabilitätsbedingungen kann komplexe Berechnungen beinhalten

Zukünftige Richtungen

  1. Randstörungen: Erweiterung auf zeitvariante nichtlineare parabolische PDEs mit Randstörungen für ISS- und iISS-Analyse
  2. Netzwerksysteme: Anwendung der Ergebnisse auf zeitvariante unendlichdimensionale Netzwerksysteme
  3. Stochastische Systeme: Betrachtung der ISS-Theorie für stochastische zeitvariante unendlichdimensionale Systeme

Tiefgreifende Bewertung

Stärken

  1. Signifikante theoretische Beiträge: Erste systematische Etablierung der ISS-Lyapunov-Theorie für zeitvariante unendlichdimensionale Systeme
  2. Starke methodische Innovation: Die Konstruktionsmethode für nicht-erzwungene Lyapunov-Funktionen hat wichtigen theoretischen Wert
  3. Hohe mathematische Strenge: Rigide Beweise und vollständige theoretische Ergebnisse
  4. Klarer praktischer Wert: Demonstration des praktischen Anwendungswerts der Methode durch PDE-Beispiele

Mängel

  1. Begrenzte Anwendungsreichweite: Die Annahmebedingungen an Systemklassen sind relativ streng
  2. Rechenkomplexität: Die Rechenkomplexität einiger theoretischer Ergebnisse in praktischen Anwendungen ist relativ hoch
  3. Unzureichende numerische Verifikation: Mangel an großflächigen numerischen Experimenten zur Verifikation

Einflussfähigkeit

  1. Akademischer Wert: Bereitstellung wichtiger theoretischer Werkzeuge für die Stabilitätsanalyse zeitvarianter unendlichdimensionaler Systeme
  2. Anwendungsperspektiven: Wichtiges Anwendungspotenzial im Bereich der Regelung verteilter Parametersysteme
  3. Theoretischer Fortschritt: Förderung der Erweiterung der ISS-Theorie auf allgemeinere Systemklassen

Anwendungsszenarien

  1. Verteilte Parametersysteme: Anwendbar auf Kontrollsysteme, die durch zeitvariante PDEs beschrieben werden
  2. Robuste Regelungsauslegung: Bereitstellung theoretischer Grundlagen für die Auslegung robuster Regler für zeitvariante Systeme
  3. Stabilitätsanalyse: Bereitstellung systematischer Methoden für die Stabilitätsanalyse komplexer zeitvarianter Systeme

Literaturverzeichnis

Das Papier zitiert 50 wichtige Referenzen, die klassische und neueste Forschungsergebnisse in den Bereichen ISS-Theorie, Evolutionsgleichungen und Operatorhalbgruppen-Theorie abdecken und die tiefe Kenntnis und umfassende Beherrschung der relevanten Felder durch die Autoren widerspiegeln.