Métodos de Lyapunov para la estabilidad entrada-estado de ecuaciones de evolución variantes en el tiempo

Información Básica

• ID del Artículo: 2510.14057
• Título: Métodos de Lyapunov para la estabilidad entrada-estado de ecuaciones de evolución variantes en el tiempo
• Autores: Rahma Heni, Andrii Mironchenko, Fabian Wirth, Hanen Damak, Mohamed Ali Hammami
• Clasificación: math.OC (Optimización y Control)
• Fecha de Publicación: 15 de octubre de 2025 (preimpresión arXiv)
• Enlace del Artículo: https://arxiv.org/abs/2510.14057

Resumen

El presente artículo demuestra que la estabilidad entrada-estado (local) ((L)ISS) e integral entrada-estado (iISS) de sistemas variantes en el tiempo en espacios abstractos de dimensión infinita puede garantizarse mediante la existencia de funciones de Lyapunov correspondientes. En particular, se analiza la estabilidad entrada-estado de sistemas de control lineales variantes en el tiempo en espacios de Hilbert con operadores de entrada acotados. Se proponen métodos de construcción de funciones de Lyapunov LISS/iISS no coercitivas para una clase de ecuaciones de evolución semilineales variantes en el tiempo. Se valida la efectividad de los resultados obtenidos mediante dos ejemplos.

Antecedentes de Investigación y Motivación

Problemas de Investigación

El artículo aborda principalmente el análisis de estabilidad entrada-estado de sistemas de dimensión infinita variantes en el tiempo, específicamente:

1. Cómo caracterizar las propiedades ISS e iISS de sistemas de dimensión infinita variantes en el tiempo mediante métodos de funciones de Lyapunov
2. Cómo construir funciones de Lyapunov no coercitivas para analizar sistemas variantes en el tiempo con operadores no acotados
3. Cómo extender la teoría clásica de ISS de sistemas invariantes en el tiempo a casos variantes en el tiempo

Análisis de Importancia

1. Significado Teórico: La teoría ISS es uno de los conceptos fundamentales del control no lineal robusto, con importancia crucial para analizar la robustez del sistema ante perturbaciones externas
2. Aplicaciones Prácticas: Muchos sistemas reales (como sistemas de parámetros distribuidos descritos por ecuaciones diferenciales parciales) son inherentemente variantes en el tiempo, requiriendo apoyo teórico correspondiente
3. Desafíos Técnicos: El análisis de sistemas variantes en el tiempo es considerablemente más complejo que el de sistemas invariantes en el tiempo, especialmente cuando los operadores del sistema son no acotados

Limitaciones de Métodos Existentes

1. Teoría Insuficiente de Sistemas Variantes en el Tiempo: Comparado con la teoría ISS de sistemas de dimensión infinita invariantes en el tiempo, la investigación en casos variantes en el tiempo es relativamente limitada
2. Dificultad en el Manejo de Operadores No Acotados: Para sistemas variantes en el tiempo con operadores no acotados A(t), prácticamente no existen resultados ISS e iISS relacionados
3. Construcción Compleja de Funciones de Lyapunov: La construcción de funciones de Lyapunov ISS en sistemas variantes en el tiempo es más difícil que en casos invariantes en el tiempo

Contribuciones Principales

1. Establecimiento de Caracterización de Lyapunov para ISS/iISS de Sistemas de Dimensión Infinita Variantes en el Tiempo: Se demuestra que la existencia de funciones de Lyapunov correspondientes es equivalente a las propiedades ISS/iISS del sistema
2. Propuesta de Métodos de Construcción de Funciones de Lyapunov No Coercitivas: Para sistemas lineales variantes en el tiempo con operadores no acotados, se proporcionan construcciones explícitas de funciones de Lyapunov ISS no coercitivas
3. Extensión del Marco de Análisis para Sistemas Semilineales: Se establece un método de construcción de funciones de Lyapunov LISS/iISS para ecuaciones de evolución semilineales variantes en el tiempo
4. Perfeccionamiento de la Teoría de Buena Formulación de Sistemas Variantes en el Tiempo: Se proporcionan condiciones suficientes para la buena formulación de ecuaciones de evolución semilineales variantes en el tiempo
5. Provisión de Instancias de Aplicación Concretas: Se validan los resultados teóricos mediante la ecuación de Kuramoto-Sivashinsky y la ecuación del calor

Explicación Detallada de Métodos

Definición de Tareas

Se estudia la estabilidad del sistema de control abstracto Σ = (X, U, φ), donde:

• X: espacio de estados (espacio lineal normado)
• U: conjunto de valores de entrada
• φ: aplicación de transición

Se considera específicamente la ecuación de evolución semilineal variante en el tiempo:

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

Marco Teórico Fundamental

1. Definiciones de ISS/iISS

Estabilidad Entrada-Estado (ISS): Existen β ∈ KL, γ ∈ K, tales que

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

Estabilidad Integral Entrada-Estado (iISS): Existen α ∈ K∞, μ ∈ K, β ∈ KL, tales que

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

2. Definición de Función de Lyapunov

Función de Lyapunov ISS No Coercitiva: Una función continua V : ℝ₊ × D → ℝ₊ que satisface:

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

donde la derivada de Lie se define como:

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

Puntos de Innovación Técnica

1. Caracterización de Estabilidad de Familias de Evolución

Se establece la relación de equivalencia entre la estabilidad exponencial uniforme de la familia de evolución {W(t, s)} y las propiedades ISS del sistema:

Teorema 4.5: Para el sistema lineal ẋ = A(t)x + B(t)u, las siguientes condiciones son equivalentes:

• El sistema es ISS
• El sistema es 0-UGAS
• El sistema es iISS
• La familia de evolución es uniformemente asintóticamente estable
• La familia de evolución es uniformemente exponencialmente estable

2. Construcción de Funciones de Lyapunov No Coercitivas

Para familias de evolución uniformemente exponencialmente estables, se construye explícitamente una función de Lyapunov ISS no coercitiva:

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

y se demuestra que satisface la desigualdad de disipación:

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

3. Tratamiento de Sistemas Semilineales

Mediante la hipótesis de acotación local lineal (H2) y la hipótesis de crecimiento bilineal (H3), se extienden los resultados de sistemas lineales al caso semilineal.

Configuración Experimental

Instancias de Aplicación

1. Ecuación de Kuramoto-Sivashinsky

Se considera la ecuación KS controlada variante en el tiempo:

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

bajo condiciones de frontera Dirichlet homogéneas.

2. Ecuación del Calor Controlada

Se considera el sistema:

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

donde R(t) es una familia de operadores lineales acotados.

Metodología de Análisis

1. Análisis de Teoría de Operadores: Se utiliza la teoría de semigrupos de operadores para analizar la buena formulación del sistema
2. Construcción de Funciones de Lyapunov: Se construyen funciones de Lyapunov concretas basadas en resultados teóricos
3. Verificación de Estabilidad: Se verifica la estabilidad mediante el cálculo de la derivada de Lie

Resultados Experimentales

Resultados Principales

1. Propiedad iISS de la Ecuación KS

Proposición 6.1: Cuando ϱ < 4π², la ecuación KS (43)-(44) es iISS.

La demostración se realiza mediante la construcción de la función de Lyapunov:

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

2. Propiedad ISS de la Ecuación del Calor

Para la ecuación del calor controlada, cuando se satisface la condición:

r + ω < νπ²/ℓ²

el sistema es ISS, donde r = supt≥0 ‖R(t)‖.

Verificación Teórica

Ambos ejemplos validan que:

1. Las funciones de Lyapunov construidas teóricamente satisfacen efectivamente las desigualdades de disipación correspondientes
2. Las condiciones de estabilidad guardan relación con los parámetros físicos de manera intuitiva
3. El método es aplicable a diferentes tipos de ecuaciones diferenciales parciales

Trabajos Relacionados

Desarrollo de la Teoría ISS

1. Teoría ISS Clásica: Sontag introdujo el concepto de ISS a finales de los años 1980, con posterior desarrollo de un sistema teórico completo
2. Extensión a Dimensión Infinita: En años recientes, la teoría ISS se ha extendido a sistemas de dimensión infinita, principalmente en casos invariantes en el tiempo
3. Sistemas Variantes en el Tiempo: La teoría ISS de sistemas de dimensión infinita variantes en el tiempo es relativamente limitada; este artículo llena este vacío

Métodos de Lyapunov

1. Funciones Coercitivas: Los métodos tradicionales se enfocaban principalmente en funciones de Lyapunov coercitivas
2. Funciones No Coercitivas: Recientemente se ha desarrollado la teoría de funciones de Lyapunov no coercitivas, más adecuadas para sistemas de dimensión infinita
3. Métodos de Construcción: Este artículo proporciona métodos de construcción sistemáticos, particularmente para casos variantes en el tiempo

Conclusiones y Discusión

Conclusiones Principales

1. Perfeccionamiento Teórico: Se establece una caracterización completa de Lyapunov para ISS/iISS de sistemas de dimensión infinita variantes en el tiempo
2. Innovación Metodológica: Se proponen métodos de construcción sistemáticos para funciones de Lyapunov no coercitivas
3. Verificación de Aplicación: Se valida la practicidad de la teoría mediante ejemplos concretos de EDP

Limitaciones

1. Condiciones de Hipótesis: Las condiciones sobre términos no lineales son relativamente restrictivas (continuidad Lipschitz local, etc.)
2. Complejidad de Construcción: En ciertos casos, la construcción de funciones de Lyapunov sigue siendo relativamente compleja
3. Complejidad Computacional: La verificación de condiciones de estabilidad en aplicaciones prácticas puede implicar cálculos complejos

Direcciones Futuras

1. Perturbaciones de Frontera: Extensión a análisis ISS e iISS de EDP parabólicas no lineales variantes en el tiempo con perturbaciones de frontera
2. Sistemas de Red: Aplicación de resultados a sistemas de red de dimensión infinita variantes en el tiempo
3. Sistemas Estocásticos: Consideración de la teoría ISS para sistemas estocásticos de dimensión infinita variantes en el tiempo

Evaluación Profunda

Ventajas

1. Contribución Teórica Significativa: Primera construcción sistemática de la teoría de Lyapunov ISS para sistemas de dimensión infinita variantes en el tiempo
2. Fuerte Innovación Metodológica: El método de construcción de funciones de Lyapunov no coercitivas posee importante valor teórico
3. Rigor Matemático Elevado: Los procesos de demostración son rigurosos y los resultados teóricos son completos
4. Valor Práctico Claro: Se demuestra el valor de aplicación práctica del método mediante ejemplos de EDP

Insuficiencias

1. Rango de Aplicación Limitado: Las condiciones de hipótesis sobre clases de sistemas son relativamente restrictivas
2. Complejidad Computacional: Ciertos resultados teóricos presentan complejidad computacional elevada en aplicaciones prácticas
3. Verificación Numérica Insuficiente: Carencia de experimentos numéricos a gran escala para validación

Influencia

1. Valor Académico: Proporciona herramientas teóricas importantes para el análisis de estabilidad de sistemas de dimensión infinita variantes en el tiempo
2. Perspectivas de Aplicación: Posee potencial de aplicación importante en el campo del control de sistemas de parámetros distribuidos
3. Avance Teórico: Impulsa la extensión de la teoría ISS hacia clases de sistemas más generales

Escenarios Aplicables

1. Sistemas de Parámetros Distribuidos: Aplicable a sistemas de control descritos por EDP variantes en el tiempo
2. Diseño de Control Robusto: Proporciona base teórica para el diseño de controladores robustos para sistemas variantes en el tiempo
3. Análisis de Estabilidad: Proporciona métodos sistemáticos para el análisis de estabilidad de sistemas complejos variantes en el tiempo

Referencias Bibliográficas

El artículo cita 50 referencias importantes que abarcan la teoría ISS, ecuaciones de evolución, teoría de semigrupos de operadores y otros campos relacionados, reflejando la comprensión profunda y el dominio integral del autor sobre los campos relevantes.