Méthodes de Lyapunov pour la stabilité entrée-état de équations d'évolution variant dans le temps

Informations de base

• ID de l'article: 2510.14057
• Titre: Lyapunov methods for input-to-state stability of time-varying evolution equations
• Auteurs: Rahma Heni, Andrii Mironchenko, Fabian Wirth, Hanen Damak, Mohamed Ali Hammami
• Classification: math.OC (Optimisation et Contrôle)
• Date de publication: 15 octobre 2025 (prépublication arXiv)
• Lien de l'article: https://arxiv.org/abs/2510.14057

Résumé

Cet article démontre que la stabilité entrée-état (locale) ((L)ISS) et la stabilité entrée-état intégrale (iISS) des systèmes variant dans le temps en dimension infinie dans des espaces abstraits peuvent être garanties par l'existence de fonctions de Lyapunov correspondantes. En particulier, on discute de la stabilité entrée-état des systèmes de contrôle linéaires variant dans le temps dans les espaces de Hilbert avec des opérateurs d'entrée bornés. Pour une certaine classe d'équations d'évolution semi-linéaires variant dans le temps, on propose une méthode de construction de fonctions de Lyapunov LISS/iISS non coercitives. L'efficacité des résultats obtenus est vérifiée par deux exemples.

Contexte de recherche et motivation

Problèmes de recherche

Cet article traite principalement de l'analyse de la stabilité entrée-état des systèmes variant dans le temps en dimension infinie, en particulier:

1. Comment caractériser les propriétés ISS et iISS des systèmes variant dans le temps en dimension infinie par la méthode des fonctions de Lyapunov
2. Comment construire des fonctions de Lyapunov non coercitives pour analyser les systèmes variant dans le temps avec des opérateurs non bornés
3. Comment étendre la théorie ISS classique des systèmes invariants dans le temps au cas variant dans le temps

Analyse de l'importance

1. Signification théorique: La théorie ISS est l'un des concepts fondamentaux du contrôle non linéaire robuste et est importante pour analyser la robustesse des systèmes face aux perturbations externes
2. Applications pratiques: De nombreux systèmes réels (tels que les systèmes à paramètres distribués décrits par des équations aux dérivées partielles) sont intrinsèquement variant dans le temps et nécessitent un support théorique correspondant
3. Défis techniques: L'analyse des systèmes variant dans le temps est beaucoup plus complexe que celle des systèmes invariants dans le temps, en particulier lorsque les opérateurs du système sont non bornés

Limitations des méthodes existantes

1. Théorie insuffisante des systèmes variant dans le temps: Comparée à la théorie ISS des systèmes en dimension infinie invariants dans le temps, la recherche sur le cas variant dans le temps est relativement limitée
2. Difficultés de traitement des opérateurs non bornés: Pour les systèmes variant dans le temps avec des opérateurs non bornés A(t), il existe peu de résultats ISS et iISS
3. Construction complexe de fonctions de Lyapunov: La construction de fonctions de Lyapunov ISS dans les systèmes variant dans le temps est plus difficile que dans le cas invariant dans le temps

Contributions principales

1. Établissement de la caractérisation de Lyapunov pour ISS/iISS des systèmes variant dans le temps en dimension infinie: Démonstration que l'existence de fonctions de Lyapunov correspondantes est équivalente aux propriétés ISS/iISS du système
2. Proposition d'une méthode de construction de fonctions de Lyapunov non coercitives: Pour les systèmes linéaires variant dans le temps avec des opérateurs non bornés, fourniture d'une construction explicite de fonctions de Lyapunov ISS non coercitives
3. Extension du cadre d'analyse pour les systèmes semi-linéaires: Établissement d'une méthode de construction de fonctions de Lyapunov LISS/iISS pour les équations d'évolution semi-linéaires variant dans le temps
4. Perfectionnement de la théorie du bien-posé des systèmes variant dans le temps: Fourniture de conditions suffisantes pour le bien-posé des équations d'évolution semi-linéaires variant dans le temps
5. Fourniture d'instances d'application concrètes: Vérification de l'efficacité des résultats théoriques par l'équation de Kuramoto-Sivashinsky et l'équation de la chaleur

Détails des méthodes

Définition de la tâche

Étude de la stabilité du système de contrôle abstrait Σ = (X, U, φ), où:

• X: espace d'état (espace linéaire normé)
• U: ensemble des valeurs d'entrée
• φ: application de transition

On considère spécifiquement l'équation d'évolution semi-linéaire variant dans le temps:

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

Cadre théorique fondamental

1. Définitions ISS/iISS

Stabilité entrée-état (ISS): Il existe β ∈ KL, γ ∈ K, tels que

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

Stabilité entrée-état intégrale (iISS): Il existe α ∈ K∞, μ ∈ K, β ∈ KL, tels que

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

2. Définition des fonctions de Lyapunov

Fonction de Lyapunov ISS non coercitive: Fonction continue V : ℝ₊ × D → ℝ₊ satisfaisant:

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

où la dérivée de Lie est définie comme:

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

Points d'innovation technique

1. Caractérisation de la stabilité des familles d'évolution

Établissement de la relation d'équivalence entre la stabilité exponentielle uniforme de la famille d'évolution {W(t, s)} et la propriété ISS du système:

Théorème 4.5: Pour le système linéaire ẋ = A(t)x + B(t)u, les conditions suivantes sont équivalentes:

• Le système est ISS
• Le système est 0-UGAS
• Le système est iISS
• La famille d'évolution est asymptotiquement stable uniformément
• La famille d'évolution est exponentiellement stable uniformément

2. Construction de fonctions de Lyapunov non coercitives

Pour la famille d'évolution exponentiellement stable uniformément, construction d'une fonction de Lyapunov ISS non coercitive explicite:

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

et preuve qu'elle satisfait l'inégalité de dissipation:

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

3. Traitement des systèmes semi-linéaires

Extension des résultats des systèmes linéaires au cas semi-linéaire par l'hypothèse de bornitude locale linéaire (H2) et l'hypothèse de croissance bilinéaire (H3).

Configuration expérimentale

Instances d'application

1. Équation de Kuramoto-Sivashinsky

Considération de l'équation KS contrôlée variant dans le temps:

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

sous les conditions aux limites de Dirichlet homogènes.

2. Équation de la chaleur contrôlée

Considération du système:

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

où R(t) est une famille d'opérateurs linéaires bornés.

Méthode d'analyse

1. Analyse de la théorie des opérateurs: Utilisation de la théorie des semi-groupes d'opérateurs pour analyser le bien-posé du système
2. Construction de fonctions de Lyapunov: Construction de fonctions de Lyapunov concrètes basées sur les résultats théoriques
3. Vérification de la stabilité: Vérification des conditions de stabilité par calcul de la dérivée de Lie

Résultats expérimentaux

Résultats principaux

1. Propriété iISS de l'équation KS

Proposition 6.1: Lorsque ϱ < 4π², l'équation KS (43)-(44) est iISS.

La preuve procède par construction d'une fonction de Lyapunov:

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

2. Propriété ISS de l'équation de la chaleur

Pour l'équation de la chaleur contrôlée, lorsque la condition est satisfaite:

r + ω < νπ²/ℓ²

le système est ISS, où r = supt≥0 ‖R(t)‖.

Vérification théorique

Les deux exemples vérifient:

1. Les fonctions de Lyapunov construites théoriquement satisfont effectivement les inégalités de dissipation correspondantes
2. La relation entre les conditions de stabilité et les paramètres physiques est conforme à l'intuition
3. La méthode s'applique à différents types d'équations aux dérivées partielles

Travaux connexes

Développement de la théorie ISS

1. Théorie ISS classique: Sontag a introduit le concept ISS à la fin des années 1980, suivi du développement d'un système théorique complet
2. Extension en dimension infinie: Récemment, la théorie ISS a été étendue aux systèmes en dimension infinie, principalement pour le cas invariant dans le temps
3. Systèmes variant dans le temps: La théorie ISS des systèmes variant dans le temps en dimension infinie est relativement limitée; cet article comble cette lacune

Méthodes de Lyapunov

1. Fonctions coercitives: Les méthodes traditionnelles considèrent principalement les fonctions de Lyapunov coercitives
2. Fonctions non coercitives: Récemment, la théorie des fonctions de Lyapunov non coercitives a été développée, plus adaptée aux systèmes en dimension infinie
3. Méthodes de construction: Cet article fournit une méthode de construction systématique, particulièrement pour le cas variant dans le temps

Conclusions et discussion

Conclusions principales

1. Perfectionnement théorique: Établissement d'une caractérisation complète de Lyapunov pour ISS/iISS des systèmes variant dans le temps en dimension infinie
2. Innovation méthodologique: Proposition d'une méthode de construction systématique de fonctions de Lyapunov non coercitives
3. Vérification d'application: Démonstration de l'applicabilité pratique de la théorie par des exemples concrets d'EDP

Limitations

1. Conditions d'hypothèse: Les conditions d'hypothèse sur les termes non linéaires sont relativement fortes (continuité locale de Lipschitz, etc.)
2. Complexité de construction: Dans certains cas, la construction de la fonction de Lyapunov reste relativement complexe
3. Complexité de calcul: L'application pratique de la vérification des conditions de stabilité peut impliquer des calculs complexes

Directions futures

1. Perturbations aux limites: Extension à l'analyse ISS et iISS des EDP paraboliques non linéaires variant dans le temps avec perturbations aux limites
2. Systèmes en réseau: Application des résultats aux systèmes en réseau en dimension infinie variant dans le temps
3. Systèmes stochastiques: Considération de la théorie ISS pour les systèmes stochastiques variant dans le temps en dimension infinie

Évaluation approfondie

Avantages

1. Contribution théorique significative: Première établissement systématique de la théorie de Lyapunov ISS pour les systèmes variant dans le temps en dimension infinie
2. Forte innovativité méthodologique: La méthode de construction de fonctions de Lyapunov non coercitives possède une valeur théorique importante
3. Rigueur mathématique élevée: Les processus de preuve sont rigoureux et les résultats théoriques sont complets
4. Valeur pratique claire: Démonstration de la valeur d'application pratique de la méthode par des exemples d'EDP

Insuffisances

1. Portée d'application limitée: Les conditions d'hypothèse sur les catégories de systèmes sont relativement strictes
2. Complexité de calcul: La complexité de calcul de certains résultats théoriques dans les applications pratiques est relativement élevée
3. Vérification numérique insuffisante: Manque d'expériences numériques à grande échelle pour la vérification

Influence

1. Valeur académique: Fourniture d'outils théoriques importants pour l'analyse de la stabilité des systèmes variant dans le temps en dimension infinie
2. Perspectives d'application: Potentiel d'application important dans le domaine du contrôle des systèmes à paramètres distribués
3. Avancement théorique: Promotion de l'extension de la théorie ISS vers des catégories de systèmes plus générales

Scénarios applicables

1. Systèmes à paramètres distribués: Applicable aux systèmes de contrôle décrits par des EDP variant dans le temps
2. Conception de contrôle robuste: Fourniture de fondations théoriques pour la conception de contrôleurs robustes pour systèmes variant dans le temps
3. Analyse de stabilité: Fourniture de méthodes systématiques pour l'analyse de la stabilité de systèmes complexes variant dans le temps

Références

L'article cite 50 références importantes couvrant la théorie ISS, les équations d'évolution, la théorie des semi-groupes d'opérateurs et d'autres domaines connexes, reflétant la compréhension approfondie et la maîtrise complète de l'auteur des domaines connexes.