Poisson Hamiltonian Pontryagin Dynamics and Optimal Control of Mechanical Systems on Lie Groupoids

यहाँ घोरबनाली हकिकतदोस्त के शोध पत्र "Poisson–Hamiltonian Pontryagin Dynamics and Optimal Control of Mechanical Systems on Lie Groupoids" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र उन यांत्रिक प्रणालियों (mechanical systems) के इष्टतम नियंत्रण (optimal control) को संबोधित करता जिनमें स्थानीय (local), विन्यास-निर्भर (configuration-dependent), या आंशिक रूप से परिभाषित सममिति (symmetries) होती हैं।

• शास्त्रीय सिद्धांत की सीमा: शास्त्रीय ज्यामितीय इष्टतम नियंत्रण वैश्विक ली समूह (global Lie group) सममितिओं पर निर्भर करता है। इस परिवेश में, पोंट्रियागिन मैक्सिमम प्रिंसिपल (PMP) ड्यूल ली बीजगणित ($\mathfrak{g}^*$) पर हैमिल्टनियन गतिकी (Hamiltonian dynamics) की ओर ले जाता है, जहाँ कम किए गए प्रक्षेपवक्र (reduced trajectories) को-एडजॉइंट ऑर्बिट्स (coadjoint orbits) पर विकसित होते हैं।
• अंतराल (The Gap): कई यांत्रिक प्रणालियाँ (जैसे कि रोबोटिक्स, बाधित गतिकी और स्थानिक रूप से संरचित जनसंख्या मॉडल में) वैश्विक ली समूह सममिति स्वीकार नहीं करती हैं। उनकी सममिति आधार विन्यास (base configuration) पर निर्भर करती है या केवल स्थानीय रूप से परिभाषित होती है।
• उद्देश्य: ली ग्रुपॉइड्स (Lie groupoids) और उनके संबद्ध ली अल्जेब्रॉइड्स (Lie algebroids) पर इष्टतम नियंत्रण के लिए एक एकीकृत, अंतर्निहित ज्यामितीय ढांचा विकसित करना, जो ब्लॉक और क्रौच (Bloch and Crouch) के पॉइसन-हैमिल्टनियन दृष्टिकोण का सामान्यीकरण करता है (जो ली समूहों तक ही सीमित है) ताकि स्थानीय सममिति वाले तंत्रों को शामिल किया जा सके।

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

लेखक ली ग्रुपॉइड्स और ली अल्जेब्रॉइड्स की संरचनाओं का उपयोग करते हुए एक ज्यामितीय यांत्रिकी दृष्टिकोण अपनाते हैं।

• ज्यामितीय परिवेश:

  • प्रणाली को एक ली अल्जेब्रॉइड $A \to M$ पर परिभाषित किया गया है जिसमें एंकर (anchor) $\rho: A \to TM$ और ली ब्रैकेट $[\cdot, \cdot]$ है।
  • ड्यूल बंडल $A^*$ एक कैनोनिकल लीनियर पॉइसन संरचना से सुसज्जित है, जो ली बीजगणित के ड्यूल में पाई जाने वाली ली-पॉयसन संरचना का सामान्यीकरण है।
  • नियंत्रण इनपुट को एक बंडल मैप $\Phi: E \to A$ के माध्यम से मॉडल किया गया है, जहाँ $E$ नियंत्रण बंडल है।

• इष्टतम नियंत्रण समस्या का सूत्रीकरण:

  • वैरिएशनल सूत्रीकरण (समस्या I): एक लैग्रेंजियन $L: E \to \mathbb{R}$ को स्वीकार्य वक्रों $a(t) \in A$ पर न्यूनतम किया जाता है जो $\dot{x} = \rho(a(t))$ को संतुष्ट करते हैं। यह नियंत्रित यूलर-लैग्रेंज या यूलर-पोइनकेरे प्रकार के समीकरणों की ओर ले जाता है।
  • हैमिल्टनियन सूत्रीकरण (समस्या II): पोंट्रियागिन मैक्सिमम प्रिंसिपल को पोंट्रियागिन बंडल $A^* \times_M E$ पर लागू किया जाता है। पोंट्रियागिन हैमिल्टनियन को $H(\alpha_x, u_x) = \langle \alpha_x, \Phi(u_x) \rangle - L(u_x)$ के रूप में परिभाषित किया गया है।
  • न्यूनीकरण (Reduction): नियमितता धारणाओं के तहत, स्टेशनरी स्थिति $\partial H / \partial u = 0$ के माध्यम से नियंत्रण $u$ को समाप्त कर दिया जाता है, जिससे $A^*$ पर एक कम किया गया (reduced) हैमिल्टनियन $H(\alpha_x)$ प्राप्त होता है।

• गतिकी (Dynamics): विकास $A^*$ पर कैनोनिकल पॉइसन ब्रैकेट के संबंध में कम किए गए हैमिल्टनियन द्वारा उत्पन्न हैमिल्टनियन वेक्टर फील्ड $X_H$ द्वारा शासित होता है।

3. मुख्य योगदान (Key Contributions)

यह शोध पत्र सैद्धांतिक और संरचनात्मक योगदान देता है:

1. न्यूनीकरण किए गए फेज़ स्पेस की पहचान: यह शोध पत्र स्थापित करता है कि ड्यूल ली अल्जेब्रॉइड $A^*$ के सिम्प्लेक्टिक लीव्स (symplectic leaves), न कि को-एडजॉइंट ऑर्बिट्स, ली ग्रुपॉइड्स पर पोंट्रियागिन गतिकी के लिए प्राकृतिक न्यूनीकरण किए गए फेज़ स्पेस हैं। यह दिखाया गया है कि को-एडजॉइंट ऑर्बिट्स एक विशेष मामला हैं (केवल तभी घटित होते हैं जब ग्रुपॉइड एक वैश्विक ली समूह क्रिया को एकीकृत करता है)।
2. तुल्यता प्रमेय (Equivalence Theorem): लेखक एक केंद्रीय प्रमेय सिद्ध करते हैं जो निम्नलिखित के बीच तुल्यता स्थापित करता है:
   • ली अल्जेब्रॉइड पर वैरिएशनल इष्टतम नियंत्रण समस्या (प्रतिबंधित विचलन)।
   • ड्यूल ली अल्जेब्रॉइड $A^*$ पर पॉइसन-हैमिल्टनियन पोंट्रियागिन सिस्टम।
3. अंतर्निहित सूत्रीकरण: ढांचा अंतर्निहित रूप से अल्जेब्रॉइड स्तर पर विकसित किया गया है, जो वैश्विक एकीकृत ली ग्रुपॉइड के अस्तित्व से स्वतंत्र है। यह उन प्रणालियों के उपचार की अनुमति देता जहाँ वैश्विक सममिति अनुपस्थित या अनिर्धारित होती है।
4. यूलर-पोइनकेरे न्यूनीकरण का सामान्यीकरण: यह कार्य ग्रुपॉइड-इनवेरिएंट लैग्रेंजियन्स को ली ग्रुपॉइड्स पर यूलर-पोइनकेरे प्रकार के कम किए गए इष्टतम स्थितियों से जोड़ता है, जो पिछले परिणामों का विस्तार करता है जो ली समूहों तक सीमित थे।

4. मुख्य परिणाम (Key Results)

• प्रमेय 1 (तुल्यता): एक नियमित लैग्रेंजियन और सर्वव्यापी नियंत्रण मानचित्र के लिए, वैरिएशनल समस्या का प्रत्येक क्रिटिकल प्रक्षेपवक्र $A^*$ पर हैमिल्टनियन वेक्टर फील्ड के एक इंटीग्रल कर्व पर प्रोजेक्ट होता है, और इसके विपरीत भी। प्रवाह एक पॉइसन प्रवाह है जो सिम्प्लेक्टिक लीव्स तक सीमित है।
• उपप्रमेय 2 (यूलर-पोइनकेरे रूप): यदि अल्जेब्रॉइड एक ली ग्रुपॉइड को एकीकृत करता है और लैग्रेंजियन इनवेरिएंट है, तो इष्टतमता की स्थितियाँ नियंत्रित यूलर-पोइनकेरे समीकरणों में कम हो जाती हैं।
• उपप्रमेय 3 और 4 (शास्त्रीय मामलों की प्राप्ति):
  • यदि $A = \mathfrak{g}$ (ली बीजगणित) है, तो परिणाम ली समूहों पर शास्त्रीय ब्लॉक-क्रौच सिद्धांत (सिम्प्लेक्टिक लीव्स = को-एडजॉइंट ऑर्बिट्स) में बदल जाते हैं।
  • यदि अल्जेब्रॉइड एक ग्रुपॉइड को एकीकृत करता है, तो गतिकी को उस ग्रुपॉइड के को-एडजॉइंट ऑर्बिट्स पर साकार किया जा सकता है, जिससे पिछले विशिष्ट परिणाम प्राप्त होते हैं।
• बेस-मोमेंटम कपलिंग: ली ग्रुपॉइड सेटिंग में, कम की गई गतिकी में बेस कॉन्फ़िगरेशन $x(t)$ और मोमेंटम $\alpha(t)$ के बीच एक कपलिंग दिखाई देती है जो शास्त्रीय ली समूह मामले में अनुपस्थित होती है। सिम्प्लेक्टिक लीव्स स्पष्ट रूप से बेस पॉइंट पर निर्भर करते हैं।

5. दृष्टांत उदाहरण (Illustrative Examples)

शोध पत्र कई यांत्रिक और जैविक उदाहरणों के माध्यम से सिद्धांत को मान्य करता है:

• एक्शन ली ग्रुपॉइड ($G \ltimes M$): यह प्रदर्शित करता है कि प्रक्षेपवط (trajectories) बेस पॉइंट $x \in M$ पर निर्भर सिम्प्लेक्टिक लीव्स पर विकसित होते हैं, न कि $G$ के निश्चित को-एडजॉइंट ऑर्बिट्स पर।
• ट्रिवियल ली ग्रुपॉइड ($M \times G \times M$): यह कॉन्फ़िगरेशन-निर्भर जड़त्व (inertia) वाले तंत्रों (जैसे परिवर्तनशील द्रव्यमान वितरण वाला एक दृढ़ पिंड) को मॉडल करता है। परिणामी गतिकी बेस स्थिति और कोणीय संवेग के बीच कपलिंग दिखाती है।
• $S^2$ पर स्टीयरिंग विद $SO(3)$ एक्चुएशन: एक विशिष्ट अनुप्रयोग जहाँ बेस एक गोले पर विकसित होता है जबकि आंतरिक कोणीय संवेग एक को-एडजॉइंट ऑर्बिट पर रहता है, जो "लीफ-वाइज" (leaf-wise) सीमितकरण को दर्शाता है।
• जैव गणित (स्थानिक रूप से संरचित जनसंख्या): एक नवीन अनुप्रयोग जहाँ एक जनसंख्या एक विषम आवास (जिसे पेयर ग्रुपॉइड $M \times M$ के रूप में मॉडल किया गया है) में मौजूद होती है। यहाँ वैश्विक सममिति नहीं होती है; पैच के बीच स्थानीय सममिति ग्रुपॉइड संरचना बनाती है। इष्टतम नियंत्रण (जैसे कटाई/टीकाकरण) कॉन्फ़िगरेशन-निर्भर सिम्प्लेक्टिक लीव्स पर विकसित होता है, जो एक ऐसी स्थिति है जिसे वैश्विक ली समूहों के साथ मॉडल करना असंभव है।

6. महत्व (Significance)

• सैद्धांतिक प्रगति: यह कार्य ली समूहों पर ज्यामितीय यांत्रिकी और स्थानीय सममिति वाले व्यापक वर्ग के तंत्रों के बीच के अंतर को पाटता है। यह विशेष रूप से ली ग्रुपॉइड्स के लिए पोंट्रियागिन गतिकी का पहला व्यवस्थित सूत्रीकरण प्रदान करता है।
• व्यावहारिक प्रयोज्यता: वैश्विक सममिति धारणाओं से आगे बढ़कर, यह ढांचा रोबोटिक्स (नॉन-होलोनोमिक बाधाएं), एयरोस्पेस (परिवर्तनीय ज्यामिति), और जैव गणित (स्थानिक रूप से विषम जनसंख्या) में पाए जाने वाले जटिल वास्तविक दुनिया के तंत्रों के इष्टतम नियंत्रण को सक्षम बनाता है।
• ज्यामितीय स्पष्टता: यह स्पष्ट करता है कि कम किए गए इष्टतम नियंत्रण को नियंत्रित करने वाले मौलिक ज्यामितीय ऑब्जेक्ट्स ड्यूल अल्जेब्रॉइड के सिम्प्लेक्टिक लीव्स हैं। यह इस गलत धारणा को सुधारता है कि को-एडजॉइंट ऑर्बिट्स सार्वभौमिक न्यूनीकरण किए गए फेज़ स्पेस हैं, और दिखाता है कि वे केवल ली समूह सममितिओं का एक विशेष मामला हैं।
• संख्यात्मक सत्यापन: शोध पत्र में $T^*M$ पर फेज़ पोर्ट्रेट्स के संख्यात्मक चित्रण शामिल हैं जो पुष्टि करते हैं कि इष्टतम प्रक्षेपवक्र कॉन्फ़िगरेशन-निर्भर सिम्प्लेक्टिक लीव्स के भीतर ही सीमित रहते हैं, जो सैद्धांतिक भविष्यवाणियों को मान्य करते हैं।

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