Методы Ляпунова для входо-состояния устойчивости нестационарных эволюционных уравнений

Основная информация

• ID статьи: 2510.14057
• Название: Lyapunov methods for input-to-state stability of time-varying evolution equations
• Авторы: Rahma Heni, Andrii Mironchenko, Fabian Wirth, Hanen Damak, Mohamed Ali Hammami
• Категория: math.OC (Оптимизация и управление)
• Дата публикации: 15 октября 2025 г. (препринт arXiv)
• Ссылка на статью: https://arxiv.org/abs/2510.14057

Аннотация

В данной работе доказано, что (локальная) входо-состояния устойчивость ((L)ISS) и интегральная входо-состояния устойчивость (iISS) нестационарных бесконечномерных абстрактных систем могут быть гарантированы существованием соответствующих функций Ляпунова. В частности, рассматривается входо-состояния устойчивость линейных нестационарных управляемых систем в гильбертовых пространствах с ограниченными входными операторами. Для определённого класса нестационарных полулинейных эволюционных уравнений предложены методы конструирования некоэрцитивных функций Ляпунова LISS/iISS. Эффективность полученных результатов проверена на двух примерах.

Исследовательский контекст и мотивация

Исследуемые проблемы

Данная работа решает следующие задачи анализа входо-состояния устойчивости нестационарных бесконечномерных систем:

1. Как охарактеризовать свойства ISS и iISS нестационарных бесконечномерных систем через методы функций Ляпунова
2. Как конструировать некоэрцитивные функции Ляпунова для анализа нестационарных систем с неограниченными операторами
3. Как расширить классическую теорию ISS с нестационарных систем на нестационарный случай

Анализ значимости

1. Теоретическое значение: Теория ISS является одной из ключевых концепций робастного нелинейного управления и имеет важное значение для анализа робастности систем к внешним возмущениям
2. Практическое применение: Многие реальные системы (такие как системы с распределёнными параметрами, описываемые дифференциальными уравнениями в частных производных) по своей природе являются нестационарными и требуют соответствующей теоретической поддержки
3. Технические вызовы: Анализ нестационарных систем значительно сложнее, чем анализ стационарных систем, особенно когда операторы системы неограничены

Ограничения существующих методов

1. Недостаточность теории нестационарных систем: По сравнению с теорией ISS для стационарных бесконечномерных систем, исследования нестационарного случая относительно немногочисленны
2. Трудности в обработке неограниченных операторов: Для нестационарных систем с неограниченными операторами A(t) практически отсутствуют результаты ISS и iISS
3. Сложность конструирования функций Ляпунова: Конструирование функций Ляпунова ISS в нестационарных системах значительно более сложно, чем в стационарном случае

Основные вклады

1. Установлена характеризация ISS/iISS нестационарных бесконечномерных систем через функции Ляпунова: Доказано, что существование соответствующих функций Ляпунова эквивалентно свойствам ISS/iISS системы
2. Предложены методы конструирования некоэрцитивных функций Ляпунова: Для линейных нестационарных систем с неограниченными операторами даны явные конструкции некоэрцитивных функций Ляпунова ISS
3. Расширена аналитическая база для полулинейных систем: Установлены методы конструирования функций Ляпунова LISS/iISS для нестационарных полулинейных эволюционных уравнений
4. Совершенствована теория корректной постановки нестационарных систем: Даны достаточные условия корректной постановки нестационарных полулинейных эволюционных уравнений
5. Предоставлены конкретные примеры приложений: Эффективность теоретических результатов проверена на уравнении Курамото-Сивашинского и уравнении теплопроводности

Детальное описание методов

Определение задачи

Исследуется устойчивость абстрактной управляемой системы Σ = (X, U, φ), где:

• X: пространство состояний (нормированное линейное пространство)
• U: множество входных значений
• φ: отображение переходов

Конкретно рассматривается нестационарное полулинейное эволюционное уравнение:

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

Основная теоретическая база

1. Определения ISS/iISS

Входо-состояния устойчивость (ISS): существуют β ∈ KL, γ ∈ K такие, что

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

Интегральная входо-состояния устойчивость (iISS): существуют α ∈ K∞, μ ∈ K, β ∈ KL такие, что

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

2. Определение функций Ляпунова

Некоэрцитивная функция Ляпунова ISS: непрерывная функция V : ℝ₊ × D → ℝ₊, удовлетворяющая:

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

где производная Ли определяется как:

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

Технические инновации

1. Характеризация устойчивости эволюционных семейств

Установлена эквивалентность между равномерной экспоненциальной устойчивостью эволюционного семейства {W(t, s)} и свойствами ISS системы:

Теорема 4.5: Для линейной системы ẋ = A(t)x + B(t)u следующие условия эквивалентны:

• система ISS
• система 0-UGAS
• система iISS
• эволюционное семейство равномерно асимптотически устойчиво
• эволюционное семейство равномерно экспоненциально устойчиво

2. Конструирование некоэрцитивных функций Ляпунова

Для равномерно экспоненциально устойчивого эволюционного семейства построена явная некоэрцитивная функция Ляпунова ISS:

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

и доказано, что она удовлетворяет неравенству диссипации:

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

3. Обработка полулинейных систем

Через предположения локальной линейной ограниченности (H2) и билинейного роста (H3) результаты для линейных систем расширены на полулинейный случай.

Экспериментальная установка

Примеры приложений

1. Уравнение Курамото-Сивашинского

Рассматривается управляемое нестационарное уравнение КС:

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

с однородными граничными условиями Дирихле.

2. Управляемое уравнение теплопроводности

Рассматривается система:

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

где R(t) — семейство ограниченных линейных операторов.

Методы анализа

1. Анализ теории операторов: использование теории полугрупп операторов для анализа корректной постановки системы
2. Конструирование функций Ляпунова: конструирование конкретных функций Ляпунова на основе теоретических результатов
3. Проверка устойчивости: проверка условий устойчивости через вычисление производной Ли

Результаты экспериментов

Основные результаты

1. Свойство iISS уравнения КС

Предложение 6.1: Когда ϱ < 4π², уравнение КС (43)-(44) обладает свойством iISS.

Доказательство проводится через конструирование функции Ляпунова:

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

2. Свойство ISS уравнения теплопроводности

Для управляемого уравнения теплопроводности при выполнении условия:

r + ω < νπ²/ℓ²

система обладает свойством ISS, где r = supt≥0 ‖R(t)‖.

Теоретическая проверка

Оба примера подтверждают:

1. Теоретически построенные функции Ляпунова действительно удовлетворяют соответствующим неравенствам диссипации
2. Условия устойчивости согласуются с физическими параметрами системы
3. Методология применима к различным типам дифференциальных уравнений в частных производных

Связанные работы

Развитие теории ISS

1. Классическая теория ISS: Концепция ISS была предложена Sontag в конце 1980-х годов, впоследствии была развита полная теоретическая система
2. Расширение на бесконечномерный случай: В последние годы теория ISS была расширена на бесконечномерные системы, в основном для стационарного случая
3. Нестационарные системы: Теория ISS для нестационарных бесконечномерных систем относительно малоизучена, данная работа заполняет этот пробел

Методы Ляпунова

1. Эрцитивные функции: Традиционные методы в основном рассматривали эрцитивные функции Ляпунова
2. Некоэрцитивные функции: В последние годы была развита теория некоэрцитивных функций Ляпунова, более подходящая для бесконечномерных систем
3. Методы конструирования: Данная работа предоставляет систематические методы конструирования, особенно для нестационарного случая

Заключение и обсуждение

Основные выводы

1. Совершенствование теории: Установлена полная характеризация ISS/iISS нестационарных бесконечномерных систем через функции Ляпунова
2. Инновация методов: Предложены систематические методы конструирования некоэрцитивных функций Ляпунова
3. Проверка приложений: Практическая применимость теории проверена на конкретных примерах дифференциальных уравнений в частных производных

Ограничения

1. Условия предположений: Предположения на нелинейные члены относительно строгие (локальная липшицевость и т.д.)
2. Сложность конструирования: В некоторых случаях конструирование функций Ляпунова остаётся достаточно сложным
3. Вычислительная сложность: Практическая проверка условий устойчивости может включать сложные вычисления

Направления будущих исследований

1. Граничные возмущения: Расширение на анализ ISS и iISS нестационарных нелинейных параболических дифференциальных уравнений в частных производных с граничными возмущениями
2. Сетевые системы: Применение результатов к нестационарным бесконечномерным сетевым системам
3. Стохастические системы: Рассмотрение теории ISS для стохастических нестационарных бесконечномерных систем

Глубокая оценка

Преимущества

1. Значительный теоретический вклад: Впервые систематически установлена теория Ляпунова ISS для нестационарных бесконечномерных систем
2. Высокая инновационность методов: Методы конструирования некоэрцитивных функций Ляпунова имеют важное теоретическое значение
3. Высокая математическая строгость: Доказательства строги, теоретические результаты полны
4. Ясная практическая ценность: Примеры дифференциальных уравнений в частных производных демонстрируют практическую применимость методов

Недостатки

1. Ограниченная область применения: Предположения на классы систем относительно строгие
2. Высокая вычислительная сложность: Вычислительная сложность некоторых теоретических результатов при практическом применении высока
3. Недостаточная численная проверка: Отсутствуют масштабные численные эксперименты для проверки

Влияние

1. Академическая ценность: Предоставляет важные теоретические инструменты для анализа устойчивости нестационарных бесконечномерных систем
2. Перспективы применения: Имеет важный потенциал применения в области управления системами с распределёнными параметрами
3. Продвижение теории: Способствует расширению теории ISS на более общие классы систем

Применимые сценарии

1. Системы с распределёнными параметрами: Применима к управляемым системам, описываемым нестационарными дифференциальными уравнениями в частных производных
2. Проектирование робастного управления: Предоставляет теоретическую базу для проектирования робастных регуляторов нестационарных систем
3. Анализ устойчивости: Предоставляет систематические методы анализа устойчивости сложных нестационарных систем

Библиография

Статья цитирует 50 важных источников, охватывающих теорию ISS, эволюционные уравнения, теорию полугрупп операторов и другие смежные области, что отражает глубокое понимание авторами соответствующих областей и полное овладение материалом.