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

समय-परिवर्तनशील विकास समीकरणों के इनपुट-टू-स्टेट स्थिरता के लिए लायपुनोव विधियाँ

मूल जानकारी

  • पेपर 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. कुरामोतो-सिवाशिंस्की समीकरण

नियंत्रित समय-परिवर्तनशील KS समीकरण पर विचार करें:

∂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. KS समीकरण की iISS गुणवत्ता

प्रस्ताव 6.1: जब ϱ < 4π² हो, तो KS समीकरण (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 सिद्धांत: सोंटाग ने 1980 के दशक के अंत में ISS अवधारणा प्रस्तावित की, बाद में पूर्ण सैद्धांतिक प्रणाली विकसित की गई
  2. अनंत-आयामी विस्तार: हाल के वर्षों में ISS सिद्धांत को अनंत-आयामी प्रणालियों तक विस्तारित किया गया है, मुख्य रूप से समय-अपरिवर्तनीय स्थिति पर केंद्रित
  3. समय-परिवर्तनशील प्रणालियाँ: समय-परिवर्तनशील अनंत-आयामी प्रणालियों का ISS सिद्धांत अपेक्षाकृत कम है, यह पेपर इस रिक्ति को भरता है

लायपुनोव विधि

  1. बाध्यकारी फलन: पारंपरिक विधि मुख्य रूप से बाध्यकारी लायपुनोव फलनों पर विचार करती है
  2. गैर-बाध्यकारी फलन: हाल के वर्षों में गैर-बाध्यकारी लायपुनोव फलन सिद्धांत विकसित किया गया है, जो अनंत-आयामी प्रणालियों के लिए अधिक उपयुक्त है
  3. निर्माण विधि: यह पेपर व्यवस्थित निर्माण विधि प्रदान करता है, विशेष रूप से समय-परिवर्तनशील स्थिति के लिए

निष्कर्ष और चर्चा

मुख्य निष्कर्ष

  1. सिद्धांत पूर्णता: समय-परिवर्तनशील अनंत-आयामी प्रणालियों के ISS/iISS का पूर्ण लायपुनोव लक्षण वर्णन स्थापित किया गया है
  2. विधि नवाचार: गैर-बाध्यकारी लायपुनोव फलनों की व्यवस्थित निर्माण विधि प्रस्तावित की गई है
  3. अनुप्रयोग सत्यापन: ठोस PDE उदाहरणों के माध्यम से सिद्धांत की व्यावहारिकता सत्यापित की गई है

सीमाएँ

  1. धारणा शर्तें: गैर-रैखिक पदों पर धारणा शर्तें काफी मजबूत हैं (स्थानीय लिप्सचिट्ज़ निरंतरता आदि)
  2. निर्माण जटिलता: कुछ स्थितियों में लायपुनोव फलन का निर्माण अभी भी जटिल है
  3. गणना जटिलता: व्यावहारिक अनुप्रयोग में स्थिरता शर्तों का सत्यापन जटिल गणना में शामिल हो सकता है

भविष्य की दिशाएँ

  1. सीमा व्यवधान: समय-परिवर्तनशील गैर-रैखिक परवलयिक PDE की ISS और iISS विश्लेषण तक विस्तार जिनमें सीमा व्यवधान हैं
  2. नेटवर्क प्रणालियाँ: परिणामों को समय-परिवर्तनशील अनंत-आयामी नेटवर्क प्रणालियों पर लागू करना
  3. यादृच्छिक प्रणालियाँ: यादृच्छिक समय-परिवर्तनशील अनंत-आयामी प्रणालियों के ISS सिद्धांत पर विचार करना

गहन मूल्यांकन

लाभ

  1. सैद्धांतिक योगदान महत्वपूर्ण: पहली बार समय-परिवर्तनशील अनंत-आयामी प्रणालियों के ISS लायपुनोव सिद्धांत को व्यवस्थित रूप से स्थापित किया गया है
  2. विधि नवाचार शक्तिशाली: गैर-बाध्यकारी लायपुनोव फलनों की निर्माण विधि महत्वपूर्ण सैद्धांतिक मूल्य रखती है
  3. गणितीय कठोरता उच्च: प्रमाण प्रक्रिया कठोर है, सैद्धांतिक परिणाम पूर्ण हैं
  4. व्यावहारिक मूल्य स्पष्ट: PDE उदाहरणों के माध्यम से विधि का व्यावहारिक अनुप्रयोग मूल्य प्रदर्शित किया गया है

कमियाँ

  1. अनुप्रयोग सीमा सीमित: प्रणाली वर्गों पर धारणा शर्तें काफी कठोर हैं
  2. गणना जटिलता: कुछ सैद्धांतिक परिणाम व्यावहारिक अनुप्रयोग में गणना जटिलता अधिक है
  3. संख्यात्मक सत्यापन अपर्याप्त: बड़े पैमाने पर संख्यात्मक प्रयोगों का अभाव है

प्रभाव

  1. शैक्षणिक मूल्य: समय-परिवर्तनशील अनंत-आयामी प्रणालियों की स्थिरता विश्लेषण के लिए महत्वपूर्ण सैद्धांतिक उपकरण प्रदान करता है
  2. अनुप्रयोग संभावना: वितरित पैरामीटर प्रणाली नियंत्रण क्षेत्र में महत्वपूर्ण अनुप्रयोग संभावना है
  3. सैद्धांतिक प्रगति: ISS सिद्धांत को अधिक सामान्य प्रणाली वर्गों तक विस्तारित करने में प्रगति करता है

लागू परिदृश्य

  1. वितरित पैरामीटर प्रणालियाँ: समय-परिवर्तनशील PDE द्वारा वर्णित नियंत्रण प्रणालियों पर लागू
  2. मजबूत नियंत्रण डिजाइन: समय-परिवर्तनशील प्रणालियों के मजबूत नियंत्रक डिजाइन के लिए सैद्धांतिक आधार प्रदान करता है
  3. स्थिरता विश्लेषण: जटिल समय-परिवर्तनशील प्रणालियों की स्थिरता विश्लेषण के लिए व्यवस्थित विधि प्रदान करता है

संदर्भ ग्रंथ

पेपर 50 महत्वपूर्ण संदर्भ ग्रंथों का हवाला देता है, जो ISS सिद्धांत, विकास समीकरण, ऑपरेटर अर्ध-समूह सिद्धांत आदि संबंधित क्षेत्रों के शास्त्रीय और नवीनतम अनुसंधान परिणामों को शामिल करते हैं, जो लेखकों की संबंधित क्षेत्रों की गहन समझ और व्यापक ज्ञान को प्रदर्शित करता है।