Global Linearization of Parameterized Nonlinear Systems with Stable Equilibrium Point Using the Koopman Operator

यहाँ शोध पत्र "Global Linearization of Parameterized Nonlinear Systems with Stable Equilibrium Point Using the Koopman Operator" का विस्तृत तकनीकी सारांश दिया गया है:

1. समस्या विवरण (Problem Statement)

यह शोध पत्र इनपुट वाले नॉनलीनियर डायनेमिकल सिस्टम्स के विश्लेषण और नियंत्रण की चुनौती को संबोधित करता है। जबकि कोपमान ऑपरेटर (Koopman operator) स्वायत्त प्रणालियों (autonomous systems) के लिए अच्छी तरह से स्थापित है (आइजनफंक्शंस के माध्यम से वैश्विक रैखिकीकरण प्रदान करता है), कंट्रोल इनपुट्स वाले सिस्टम्स के लिए इसका अनुप्रयोग सैद्धांतिक रूप से कम विकसित रहा है।

विशेष रूप से, लेखक निम्नलिखित लक्ष्यों को प्राप्त करना चाहते हैं:

1. उन कोपमान ऑपरेटरों के स्पेक्ट्रल गुणों को स्पष्ट करना जहाँ इनपुट्स को पैरामीटर्स के रूप में माना जाता है।
2. यह निर्धारित करना कि किन परिस्थितियों में एक नॉनलीनियर सिस्टम को एक परिमित-आयामी रैखिक प्रणाली (finite-dimensional linear system) में परिवर्तित किया जा सकता है (वैश्विक रैखिकीकरण), जो इनपुट पैरामीटर पर निरंतर निर्भर करती है।
3. यह पहचानना कि किन स्थितियों में यह रूपांतरण इनपुट से स्वतंत्र हो जाता है, जिससे कंट्रोल-एफ़ाइन (control-affine) प्रणालियों के लिए वैश्विक द्वै-रैखिकीकरण (global bilinearization) सक्षम होता है। यह अत्यंत महत्वपूर्ण है क्योंकि मानक पैरामीटर-निर्भर रैखिकीकरण अक्सर कंट्रोल डिज़ाइन के लिए उपयुक्त नहीं होते (क्योंकि रूपांतरण मैट्रिक्स कंट्रोल इनपुट के साथ बदल जाता है)।

2. कार्यप्रणाली (Methodology)

लेखक स्पेक्ट्रल थ्योरी (spectral theory), लीनियर ऑपरेटर्स की परटर्बेशन थ्योरी (perturbation theory), और ली अलजेब्रिक तर्क (Lie algebraic arguments) के संयोजन का उपयोग करते हैं।

• इनपुट्स का पैरामीट्राइजेशन: कंट्रोल इनपुट $u$ को एक पीसवाइज़ कांस्टेंट पैरामीटर के रूप में माना जाता है। सिस्टम को $\dot{x} = F_u(x)$ के रूप में मॉडल किया गया है, जहाँ $F_u$ एक $u$ पर निर्भर वेक्टर फील्ड है।
• कोपमान ऑपरेटर विश्लेषण:
  • कोपमान जनरेटर $L_F$ को वेक्टर फील्ड के अनुदिश ली डेरिवेटिव (Lie derivative) के रूप में परिभाषित किया गया है।
  • लेखक पैरामीटराइज्ड जनरेटर $L_{F_u}$ के रिजोल्वेंट सेट (resolvent set) और आइजनफंक्शंस (eigenfunctions) का विश्लेषण करते हैं।
  • वे यह सिद्ध करने के लिए परटर्बेशन थ्योरी (विशेष रूप से रिजोल्वेंट्स और आइजनप्रोजेक्शन्स के स्ट्रॉन्ग कन्वर्जेंस के संबंध में) का उपयोग करते हैं कि यदि सिस्टम में मूल बिंदु (origin) पर एक ग्लोबली एक्सपोनेंशियलली स्टेबल (GES) इक्विलिब्रियम पॉइंट (EP) है, तो कोपमान आइजनफंक्शंस $u$ के पैरामीटर पर निरंतर (continuously) निर्भर करते हैं।
• स्पेक्ट्रल स्थितियाँ: विश्लेषण जैकोबियन $D_x F_u(0)$ के आइजनवैल्यू $\lambda_i$ के लिए दो प्रमुख शर्तों पर निर्भर करता है:
  1. $k$-नॉनरेजोनेंट (nonresonant) स्थिति: कोई भी लीनियर कॉम्बिनेशन दूसरे आइजनवैल्यू के बराबर नहीं होता (क्रम $k$ तक)।
  2. $k$-स्पेक्ट्रल स्प्रेड (spectral spread) स्थिति: आइजनवैल्यूज के रियल पार्ट्स पर्याप्त रूप से अलग (separated) होने चाहिए।
• द्वै-रैखिकीकरण (Bilinearization) के लिए ली अलजेब्रिक दृष्टिकोण: इनपुट-स्वतंत्र रूपांतरण प्राप्त करने के लिए, लेखक स्थानीय परिणामों को वैश्विक सेटिंग में विस्तारित करते हैं। वे नॉनलीनियर वेक्टर फील्ड्स $\{F, G_1, \dots, G_d\}_L$ द्वारा उत्पन्न ली अलजेब्रा की तुलना मूल बिंदु पर उनके रैखिकीकरण $\{A, B_1, \dots, B_d\}_L$ द्वारा उत्पन्न ली अलजेब्रा से करते हैं।

3. मुख्य योगदान और परिणाम (Key Contributions and Results)

A. निरंतर पैरामीटर निर्भरता के साथ वैश्विक रैखिकीकरण (Global Linearization with Continuous Parameter Dependence)

थ्योरम 4 यह स्थापित करता है कि एक पैरामीटराइज्ड सिस्टम $\dot{x} = F_u(x)$ के लिए जिसमें GES EP है:

• यदि जैकोबियन के आइजनवैल्यूज नॉनरेजोनेंट और स्पेक्ट्रल स्प्रेड स्थितियों को संतुष्ट करते हैं, तो एक डिफ़ियोमॉर्फिज्म (diffeomorphism) $\psi_u: X \to \mathbb{R}^n$ मौजूद है जो सिस्टम को रैखिकीकृत करता है:
  $$\frac{d}{dt}\psi_u(x) = A_u \psi_u(x)$$
  जहाँ $A_u = D_x F_u(0)$ है।
• निरंतरता (Continuity): महत्वपूर्ण रूप से, रूपांतरण $\psi_u$, $C^k$ नॉर्म में पैरामीटर $u$ पर निरंतर निर्भर करता है।
• महत्व: यह कंट्रोल सिस्टम्स के लिए डेटा-ड्रिवन विधियों (जैसे एक्सटेंडेड डायनेमिक मोड डीकंपोजिशन - EDMD) के उपयोग को न्यायसंगत बनाता है, क्योंकि यह गारंटी देता है कि एक निरंतर मैप $(x, u) \mapsto \psi_u(x)$ मौजूद है जिसे यूनिवर्सल एप्रोक्सिमेटर्स (जैसे न्यूरल नेटवर्क) द्वारा अनुमानित किया जा सकता है।

B. कंट्रोल-एफ़ाइन सिस्टम्स के लिए वैश्विक द्वै-रैखिकीकरण (Global Bilinearization for Control-Affine Systems)

थ्योरम 5 कंट्रोल-एफ़ाइन सिस्टम्स $\dot{x} = F(x) + \sum u_i G_i(x)$ को संबोधित करता है।

• शर्त: यदि वेक्टर फील्ड्स $\{F, G_1, \dots, G_d\}$ द्वारा उत्पन्न ली अलजेब्रा, उनके मूल बिंदु पर रैखिकीकरण $\{A, B_1, \dots, B_d\}$ द्वारा उत्पन्न ली अलजेब्रा के आइसोमॉर्फिक (isomorphic) है, तो एक वैश्विक द्वै-रैखिकीकरण (global bilinearization) मौजूद होता है।
• परिणाम: एक डिफियोमॉर्फिज्म $\psi$ (जो $u$ से स्वतंत्र है) मौजूद है जिससे रूपांतरित स्टेट $z = \psi(x)$ इस प्रकार संतुष्ट होता है:
  $$\dot{z} = Az + \sum_{i=1}^d u_i B_i z$$
• वैश्विक बनाम स्थानीय: पिछले ज्यामितीय कंट्रोल परिणामों (जैसे पेपर में प्रोपोज़िशन 4) के विपरीत, जो अक्सर स्थानीय होते हैं (टेलर सीरीज़ कन्वर्जेंस के कारण केवल इक्विलिब्रियम के पास मान्य), यह परिणाम वैश्विक है क्योंकि यह स्थानीय एनालिटिक विस्तार के बजाय कोपमान ऑपरेटर के स्पेक्ट्रल गुणों पर निर्भर करता है।

C. रिजोल्वेंट और आइजनप्रोजेक्शन कन्वर्जेंस (Resolvent and Eigenprojection Convergence)

पेपर थ्योरम 2 और 3 के माध्यम से कठोर प्रमाण प्रदान करता है कि जैसे-जैसे पैरामीटर $u$ एक संदर्भ मान $u_0$ के करीब पहुँचता है, रिजोल्वेंट $R(\zeta, L_{F_u})$ और संबंधित आइजनप्रोजेक्शन्स $P_{\lambda_u}$ स्ट्रॉन्गली कन्वर्ज (strongly converge) होते हैं। यह गणितीय आधार सुनिश्चित करता है कि पैरामीटर परिवर्तन के तहत कोपमान आइजनफंक्शंस स्थिर रहते हैं।

4. महत्व और निहितार्थ (Significance and Implications)

1. डेटा-ड्रिवन कंट्रोल के लिए सैद्धांतिक आधार: निरंतरता का परिणाम (थ्योरम 4) कंट्रोल अनुप्रयोगों में EDMD और इसके वेरिएंट्स के उपयोग के लिए सैद्धांतिक औचित्य प्रदान करता है। यह पुष्टि करता है कि परिमित-आयामी रैखिक प्रतिनिधित्व मौजूद हैं और इनपुट्स के साथ सुचारू रूप से बदलते हैं, जो "ब्लैक-बॉक्स" लर्निंग दृष्टिकोण को वैध बनाता है।
2. वैश्विक द्वै-रैखिकीकरण (Global Bilinearization): यह पेपर ज्यामितीय नॉनलीनियर कंट्रोल (ली अलजेब्रिक विधियों) और कोपमान ऑपरेटर थ्योरी के बीच के अंतर को पाटता है। यह एक वैश्विक द्वै-मॉडल (bilinear model) प्राप्त करने के लिए एक रचनात्मक शर्त (ली अलजेब्रा आइसोमॉर्फिज्म) प्रदान करता है, जो कंट्रोल डिज़ाइन (जैसे मॉडल प्रेडिक्टिव कंट्रोल) के लिए अत्यधिक वांछनीय है क्योंकि द्वै-प्रणालियाँ सामान्य नॉनलीनियर सिस्टम्स की तुलना में अधिक आसानी से संभाली जा सकती हैं।
3. इनपुट्स को संभालना: इनपुट्स को पैरामीटर्स के रूप में मानकर, लेखक स्पष्ट करते हैं कि कंट्रोल की उपस्थिति में कोपमान आइजनफंक्शंस कैसे व्यवहार करते हैं, जो शुद्ध स्वायत्त सिस्टम विश्लेषण की सीमाओं से आगे जाता है।
4. स्थिर करने योग्य (Stabilizable) सिस्टम्स तक विस्तार: रिमार्क 5 सुझाव देता है कि इन परिणामों को उन सिस्टम्स तक विस्तारित किया जा सकता है जो स्वाभाविक रूप से स्थिर नहीं हैं लेकिन फीडबैक के माध्यम से स्थिर किए जा सकते हैं, जिससे द्वै-प्रणालियों के लिए ऑप्टिमल कंट्रोल समस्याओं के लिए इसकी प्रयोज्यता बढ़ जाती है।

5. उदाहरण सत्यापन (Example Verification)

पेपर एक 2D उदाहरण के साथ सिद्धांत को सत्यापित करता है:

• एक सिस्टम $\dot{x} = F(x) + uG(x)$ का विश्लेषण किया गया है।
• यह प्रदर्शित करता है कि जब नॉनरेजोनेंस की स्थिति बनी रहती है, तो आइजनफंक्शंस $u$ पर निरंतर निर्भर करते हैं।
• यह दिखाता है कि जब $a=1$ (जो ली अलजेब्रा आइसोमॉर्फिज्म शर्त $[F, G] = 0$ को संतुष्ट करता है) हो, तो एक वैश्विक द्वै-रैखिकीकरण प्राप्त किया जाता है, जिसमें एक रूपांतरण $\psi$ मौजूद है जो $u$ से स्वतंत्र है, और सफलतापूर्वक नॉनलीनियर सिस्टम को द्वै-रैखिक (bilinear) में बदल देता है।

संक्षेप में, यह शोध पत्र कोपमान ऑपरेटर फ्रेमवर्क को पैरामीटराइज्ड और कंट्रोल-एफ़ाइन सिस्टम्स तक कठोरता से विस्तारित करता है, वैश्विक रैखिकीकरण और द्वै-रैखिकीकरण के लिए आवश्यक और पर्याप्त स्थितियाँ प्रदान करता है, और आधुनिक डेटा-ड्रिवन कंट्रोल रणनीतियों के सैद्धांतिक आधार को मजबूत करता है।