Metodi di Lyapunov per la stabilità ingresso-stato di equazioni di evoluzione tempo-varianti

Informazioni Fondamentali

• ID Articolo: 2510.14057
• Titolo: Lyapunov methods for input-to-state stability of time-varying evolution equations
• Autori: Rahma Heni, Andrii Mironchenko, Fabian Wirth, Hanen Damak, Mohamed Ali Hammami
• Classificazione: math.OC (Ottimizzazione e Controllo)
• Data di Pubblicazione: 15 ottobre 2025 (preprint arXiv)
• Link dell'Articolo: https://arxiv.org/abs/2510.14057

Riassunto

Questo articolo dimostra che la stabilità ingresso-stato (locale) ((L)ISS) e la stabilità ingresso-stato integrale (iISS) di sistemi astratti a dimensione infinita tempo-varianti possono essere garantite dall'esistenza di corrispondenti funzioni di Lyapunov. In particolare, si discute la stabilità ingresso-stato di sistemi di controllo lineari tempo-varianti in spazi di Hilbert con operatori di ingresso limitati. Per una classe di equazioni di evoluzione semilineari tempo-varianti, si propone un metodo di costruzione di funzioni di Lyapunov LISS/iISS non coercitive. L'efficacia dei risultati ottenuti è verificata attraverso due esempi.

Contesto di Ricerca e Motivazione

Problemi di Ricerca

L'articolo affronta principalmente i problemi di analisi della stabilità ingresso-stato di sistemi a dimensione infinita tempo-varianti, in particolare:

1. Come caratterizzare le proprietà ISS e iISS di sistemi a dimensione infinita tempo-varianti attraverso metodi di funzioni di Lyapunov
2. Come costruire funzioni di Lyapunov non coercitive per analizzare sistemi tempo-varianti con operatori illimitati
3. Come estendere la teoria ISS classica da sistemi invarianti nel tempo a sistemi tempo-varianti

Analisi dell'Importanza

1. Significato Teorico: La teoria ISS è uno dei concetti fondamentali del controllo non lineare robusto ed è di grande importanza per l'analisi della robustezza dei sistemi rispetto a perturbazioni esterne
2. Applicazioni Pratiche: Molti sistemi reali (come i sistemi a parametri distribuiti descritti da equazioni differenziali parziali) sono intrinsecamente tempo-varianti e richiedono un supporto teorico corrispondente
3. Sfide Tecniche: L'analisi di sistemi tempo-varianti è molto più complessa rispetto ai sistemi invarianti nel tempo, specialmente quando gli operatori del sistema sono illimitati

Limitazioni dei Metodi Esistenti

1. Insufficienza della Teoria dei Sistemi Tempo-Varianti: Rispetto alla teoria ISS di sistemi a dimensione infinita invarianti nel tempo, la ricerca nel caso tempo-variante è relativamente scarsa
2. Difficoltà nel Trattamento di Operatori Illimitati: Per sistemi tempo-varianti con operatori A(t) illimitati, esistono quasi nessun risultato ISS e iISS
3. Complessità della Costruzione di Funzioni di Lyapunov: La costruzione di funzioni di Lyapunov ISS in sistemi tempo-varianti è più difficile rispetto al caso invariante nel tempo

Contributi Principali

1. Caratterizzazione di Lyapunov per ISS/iISS di Sistemi a Dimensione Infinita Tempo-Varianti: Si dimostra che l'esistenza di corrispondenti funzioni di Lyapunov è equivalente alle proprietà ISS/iISS del sistema
2. Metodo di Costruzione di Funzioni di Lyapunov Non Coercitive: Per sistemi lineari tempo-varianti con operatori illimitati, si fornisce una costruzione esplicita di funzioni di Lyapunov ISS non coercitive
3. Estensione del Quadro Analitico per Sistemi Semilineari: Si stabilisce un metodo di costruzione di funzioni di Lyapunov LISS/iISS per equazioni di evoluzione semilineari tempo-varianti
4. Perfezionamento della Teoria di Buona Posizione per Sistemi Tempo-Varianti: Si forniscono condizioni sufficienti per la buona posizione di equazioni di evoluzione semilineari tempo-varianti
5. Fornitura di Istanze Applicative Concrete: L'efficacia dei risultati teorici è verificata attraverso l'equazione di Kuramoto-Sivashinsky e l'equazione del calore

Spiegazione Dettagliata dei Metodi

Definizione del Compito

Si studia la stabilità del sistema di controllo astratto Σ = (X, U, φ), dove:

• X: spazio degli stati (spazio lineare normato)
• U: insieme dei valori di ingresso
• φ: mappa di transizione

Si considera specificamente l'equazione di evoluzione semilineare tempo-variante:

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

Quadro Teorico Fondamentale

1. Definizioni di ISS/iISS

Stabilità Ingresso-Stato (ISS): Esistono β ∈ KL, γ ∈ K, tali che

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

Stabilità Ingresso-Stato Integrale (iISS): Esistono α ∈ K∞, μ ∈ K, β ∈ KL, tali che

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

2. Definizioni di Funzioni di Lyapunov

Funzione di Lyapunov ISS Non Coercitiva: Una funzione continua V : ℝ₊ × D → ℝ₊ che soddisfa:

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

dove la derivata di Lie è definita come:

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

Punti di Innovazione Tecnica

1. Caratterizzazione della Stabilità di Famiglie di Evoluzione

Si stabilisce la relazione di equivalenza tra la stabilità esponenziale uniforme della famiglia di evoluzione {W(t, s)} e la proprietà ISS del sistema:

Teorema 4.5: Per il sistema lineare ẋ = A(t)x + B(t)u, le seguenti condizioni sono equivalenti:

• Sistema ISS
• Sistema 0-UGAS
• Sistema iISS
• Famiglia di evoluzione asintoticamente stabile uniformemente
• Famiglia di evoluzione esponenzialmente stabile uniformemente

2. Costruzione di Funzioni di Lyapunov Non Coercitive

Per famiglie di evoluzione esponenzialmente stabili uniformemente, si costruisce una funzione di Lyapunov ISS non coercitiva esplicita:

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

e si dimostra che soddisfa la disuguaglianza di dissipazione:

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

3. Trattamento di Sistemi Semilineari

Attraverso l'ipotesi di limitatezza lineare locale (H2) e l'ipotesi di crescita bilineare (H3), si estendono i risultati dei sistemi lineari al caso semilineare.

Configurazione Sperimentale

Istanze Applicative

1. Equazione di Kuramoto-Sivashinsky

Si considera l'equazione KS controllata tempo-variante:

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

sotto condizioni al contorno di Dirichlet omogenee.

2. Equazione del Calore Controllata

Si considera il sistema:

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

dove R(t) è una famiglia di operatori lineari limitati.

Metodo di Analisi

1. Analisi della Teoria degli Operatori: Si utilizza la teoria dei semigruppi di operatori per analizzare la buona posizione del sistema
2. Costruzione di Funzioni di Lyapunov: Basata sui risultati teorici, si costruiscono funzioni di Lyapunov concrete
3. Verifica della Stabilità: Attraverso il calcolo della derivata di Lie si verificano le condizioni di stabilità

Risultati Sperimentali

Risultati Principali

1. Proprietà iISS dell'Equazione KS

Proposizione 6.1: Quando ϱ < 4π², l'equazione KS (43)-(44) è iISS.

La dimostrazione procede attraverso la costruzione della funzione di Lyapunov:

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

2. Proprietà ISS dell'Equazione del Calore

Per l'equazione del calore controllata, quando sono soddisfatte le condizioni:

r + ω < νπ²/ℓ²

il sistema è ISS, dove r = supt≥0 ‖R(t)‖.

Verifica Teorica

Entrambi gli esempi verificano che:

1. Le funzioni di Lyapunov costruite teoricamente soddisfano effettivamente le corrispondenti disuguaglianze di dissipazione
2. Le condizioni di stabilità sono coerenti con la relazione tra i parametri fisici
3. Il metodo è applicabile a diversi tipi di equazioni differenziali parziali

Lavori Correlati

Sviluppo della Teoria ISS

1. Teoria ISS Classica: Sontag ha introdotto il concetto di ISS alla fine degli anni '80, seguito da uno sviluppo completo della teoria
2. Estensione a Dimensione Infinita: Negli ultimi anni la teoria ISS è stata estesa a sistemi a dimensione infinita, principalmente nel caso invariante nel tempo
3. Sistemi Tempo-Varianti: La teoria ISS per sistemi a dimensione infinita tempo-varianti è relativamente scarsa; questo articolo colma questa lacuna

Metodi di Lyapunov

1. Funzioni Coercitive: I metodi tradizionali si concentrano principalmente su funzioni di Lyapunov coercitive
2. Funzioni Non Coercitive: Negli ultimi anni è stata sviluppata la teoria delle funzioni di Lyapunov non coercitive, più adatta ai sistemi a dimensione infinita
3. Metodi di Costruzione: Questo articolo fornisce metodi di costruzione sistematici, in particolare per il caso tempo-variante

Conclusioni e Discussione

Conclusioni Principali

1. Perfezionamento Teorico: Si stabilisce una caratterizzazione completa di Lyapunov per ISS/iISS di sistemi a dimensione infinita tempo-varianti
2. Innovazione Metodologica: Si propone un metodo sistematico di costruzione di funzioni di Lyapunov non coercitive
3. Verifica Applicativa: L'utilità pratica della teoria è verificata attraverso esempi concreti di equazioni differenziali parziali

Limitazioni

1. Condizioni di Ipotesi: Le condizioni sulle nonlinearità sono relativamente forti (continuità di Lipschitz locale, ecc.)
2. Complessità di Costruzione: In alcuni casi la costruzione della funzione di Lyapunov rimane relativamente complessa
3. Complessità Computazionale: L'applicazione pratica della verifica delle condizioni di stabilità può comportare calcoli complessi

Direzioni Future

1. Perturbazioni al Contorno: Estensione all'analisi ISS e iISS di equazioni differenziali parziali paraboliche non lineari tempo-varianti con perturbazioni al contorno
2. Sistemi di Rete: Applicazione dei risultati a sistemi di rete a dimensione infinita tempo-varianti
3. Sistemi Stocastici: Considerazione della teoria ISS per sistemi stocastici a dimensione infinita tempo-varianti

Valutazione Approfondita

Punti di Forza

1. Contributo Teorico Significativo: Per la prima volta si stabilisce sistematicamente la teoria di Lyapunov ISS per sistemi a dimensione infinita tempo-varianti
2. Forte Innovazione Metodologica: Il metodo di costruzione di funzioni di Lyapunov non coercitive ha importante valore teorico
3. Elevato Rigore Matematico: I processi di dimostrazione sono rigorosi e i risultati teorici sono completi
4. Valore Pratico Evidente: Attraverso esempi di equazioni differenziali parziali si dimostra il valore applicativo pratico del metodo

Insufficienze

1. Ambito Applicativo Limitato: Le condizioni di ipotesi sulla classe di sistemi sono relativamente ristrette
2. Complessità Computazionale: Alcuni risultati teorici presentano elevata complessità computazionale nell'applicazione pratica
3. Verifica Numerica Insufficiente: Mancano esperimenti numerici su larga scala per la verifica

Impatto

1. Valore Accademico: Fornisce importanti strumenti teorici per l'analisi della stabilità di sistemi a dimensione infinita tempo-varianti
2. Prospettive Applicative: Presenta importante potenziale applicativo nel campo del controllo di sistemi a parametri distribuiti
3. Avanzamento Teorico: Promuove l'estensione della teoria ISS a classi di sistemi più generali

Scenari Applicabili

1. Sistemi a Parametri Distribuiti: Applicabile a sistemi di controllo descritti da equazioni differenziali parziali tempo-varianti
2. Progettazione di Controllo Robusto: Fornisce fondamenti teorici per la progettazione di controllori robusti per sistemi tempo-varianti
3. Analisi di Stabilità: Fornisce metodi sistematici per l'analisi della stabilità di sistemi complessi tempo-varianti

Bibliografia

L'articolo cita 50 importanti riferimenti bibliografici, che coprono la teoria ISS, equazioni di evoluzione, teoria dei semigruppi di operatori e altri campi di ricerca correlati, riflettendo la profonda comprensione e la conoscenza completa dell'autore dei campi pertinenti.