Symplectic Transversality and Endpoint Green Estimates for Finite-Horizon Pontryagin Systems

तकनीकी सारांश: परिमित-क्षितिज पोंट्रियागिन प्रणालियों के लिए सिम्प्लेक्टिक ट्रांसवर्सलिटी और एंडपॉइंट ग्रीन अनुमान

समस्या विवरण
यह शोध पत्र नियंत्रण चरों के स्थानीय विलोपन (local elimination) के बाद विश्लेषण किए गए परिमित-क्षितिज (finite-horizon) असतत-समय पोंट्रियागिन सीमा मान प्रणालियों (boundary value systems) को संबोधित करता है। शास्त्रीय इष्टतम नियंत्रण सिद्धांत प्रथम-क्रम स्थिरता की स्थितियाँ प्रदान करता है, लेकिन एक महत्वपूर्ण कठिनाई दो-अंत बिंदु (two-endpoint) वाले रैखिकीकृत तंत्र को उलटने (inverting) में आती है, जिसके स्थिरांक क्षितिज $T$ से स्वतंत्र रहते हैं। मानक परिमित-आयामी अपरोक्ष फलन तर्क (implicit function arguments) क्षितिज पर निर्भरता को व्युत्क्रम के मान (norm of the inverse) में छिपाकर इस समस्या को अस्पष्ट कर देते हैं। इसके अतिरिक्त, जबकि एक्सपोनेंशियल डिकोटॉमी (exponential dichotomy) आंतरिक फोर्सिंग को नियंत्रित करती है, परिमित अंत बिंदु स्थितियाँ विपरीत अंत बिंदु से क्षय (decay) होने वाले सजातीय सुधारों (homogeneous corrections) को भी प्रस्तुत करती हैं। ये सुधार, हालांकि छोटे हैं, कठोर गैररेखीय भारित अनुमान स्थापित करने के लिए आवश्यक हैं। यह शोध पत्र इन प्रणालियों के लिए स्थानीय अस्तित्व, अद्वितीयता, लिप्सचिट्ज़ निर्भरता और प्रथम-क्रम विस्तार स्थापित करने का प्रयास करता है, जिनके स्थिरांक क्षितिज के संबंध में समान (uniform) हैं, बिना वैश्विक इष्टतमता, निश्चितता (definiteness), या विपाच्यता (dissipativity) की धारणा किए।

कार्यप्रणाली
लेखक "दो-बिंदु अंत बिंदु व्युत्क्रम" (two-point endpoint inverse) के माध्यम से एक श्रृंखला विकसित करते हैं, जिसे सिम्प्लेक्टिक ट्रांसवर्सलिटी द्वारा सत्यापित किया जाता है।

1. नियंत्रण विलोपन और रैखिकीकरण: एक असतत-समय पोंट्रियागिन प्रणाली से शुरू करते हुए, लेखक एक आंतरिक स्थिर संदर्भ (interior stationary reference) मानते हैं और नियंत्रण चर $u_t$ को अवस्था (state) और अग्रवर्ती को-स्टेट (forward costate) के फलन के रूप में स्थानीय रूप से विलोपित करने के लिए अपरोक्ष फलन प्रमेय (Implicit Function Theorem) का उपयोग करते हैं ($u_t = \nu(x_t, p_{t+1})$)। यह प्रणाली को दो-बिंदु अवस्था-को-स्टेट सीमा मान समस्या में बदल देता है।
2. एंडपॉइंट-सुधारित व्युत्क्रम गुण: मुख्य इनपुट परिभाषा 4.1 है, जो रैखिकीकृत प्रणाली के लिए एक "एंडपॉइंट-सुधारित व्युत्क्रम गुण" का प्रस्ताव करती है। यह गुण यह दावा करता है कि रैखिक समस्या एक विशिष्ट ग्रीन अनुमान (Green estimate) को संतुष्ट करते हुए एक अद्वितीय समाधान स्वीकार करती है। महत्वपूर्ण रूप से, इस अनुमान में "एंडपॉइंट सुधार" पद (कर्नेल के रूप में $e^{-\gamma(t+T-s)}$ और $e^{-\gamma(T-t+s)}$) शामिल हैं, ताकि एक छोर के पास फोर्सिंग द्वारा दूसरे छोर से क्षय होने वाले मोडों को समायोजित किया जा सके।
3. स्केल्ड ट्रांसवर्सलिटी: प्रस्ताव 4.3 स्थापित करता है कि यह व्युत्क्रम गुण तब मान्य होता है जब प्रणाली एक हाइपरबोलिक विभाजन (hyperbolic splitting) और एक "स्केल्ड बाउंड्री मैट्रिक्स" (स्थिर/अस्थिर उपस्थानों और सीमा पंक्तियों से निर्मित) को स्वीकार करती है जो समान रूप से व्युत्क्रमणीय (invertible) है। यह एक्सपोनेंशियल डिकोटॉमी दृष्टिकोण का एक असतत, परिमित-क्षितिज संस्करण है।
4. गैररेखीय पुनर्निर्माण: एंडपॉइंट-सुधारित ग्रीन अनुमानों का उपयोग करते हुए, लेखक क्षितिज-निर्भर भारित स्थानों (weighted spaces) ($w_T(t) = e^{-\alpha t} + e^{-\alpha(T-t)}$) में एक फिक्स्ड-पॉइंट तर्क लागू करते हैं। लेम्मा 4.5 एक भारित कॉन्वोल्यूशन अनुमान प्रदान करता है जो द्विघात आंतरिक अवशेषों (quadratic interior residuals) को नियंत्रित करता है। प्रमेय 4.7 और 4.8 दोनों एफाइन और सुचारू गैररेखीय अंत-मान मानचित्रों के लिए स्थानीय अस्तित्व, अद्वितीयता और प्रथम-क्रम विस्तार को सिद्ध करने के लिए इन्हें संयोजित करते हैं।
5. सिम्प्लेक्टिक और LQ सत्यापन: मैट्रिक्स डेटा के स्तर पर इस व्युत्क्रम परिकल्पना को सत्यापित करने के लिए, लेखक सिम्प्लेक्टिक ज्यामिति का उपयोग करते हैं। लीनियर-क्वाड्रेटिक (LQ) प्रणालियों के लिए, ट्रांजिशन मैट्रिक्स सिम्प्लेक्टिक होता है। प्रमेय 6.2 और कोरोलरी 6.3 दिखाते हैं कि यदि सीमित बाउंड्री मैट्रिक्स (स्थिर उपस्थान और टर्मिनल को-स्टेट स्थिति से निर्मित) गैर-शून्य (nonsingular) है, तो व्युत्क्रम गुण बना रहता है। प्रमेय 7.2 सिद्ध करता है कि प्रत्येक स्थिर योग्य (stabilizable) LQ प्रणाली के लिए, जिसमें व्युत्क्रमणीय गतिकी और निश्चित भार (definite weights) हैं, यह ट्रांसवर्सलिटी स्थिति संतुष्ट होती है, जो गैर-कम्यूटिंग युग्मित डेटा (noncommuting coupled data) वाले मामलों को भी कवर करती है।

मुख्य योगदान और परिणाम

• क्षितिज-समान अनुमान: यह शोध पत्र परिमित-क्षितिज पोंट्रियागिन प्रणालियों के लिए स्थानीय स्थिर शाखाओं के अस्तित्व को सिद्ध करता है, जिनके स्थिरांक (अस्तित्व, अद्वितीयता, लिप्सचिट्ज़ बाउंड्स) क्षितिज $T$ के बढ़ने के साथ खराब नहीं होते हैं।
• एंडपॉइंट-सुधारित ग्रीन अनुमान: लेखक स्पष्ट ग्रीन अनुमान प्राप्त करते हैं जिनमें सीमा फोर्सिंग के लिए विशिष्ट सुधार पद शामिल हैं, जो गैररेखीय विश्लेषण के लिए आवश्यक हैं।
• सिम्प्लेक्टिक ट्रांसवर्सलिटी प्रमाणन: शोध पत्र सिम्प्लेक्टिक मैट्रिसेस का उपयोग करके एक सत्यापन योग्य, डेटा-स्तरीय प्रमाण प्रदान करता है। यह दर्शाता है कि यह स्थिति खुली (open) है और उन सभी स्थिर योग्य LQ प्रणालियों के लिए सत्य है जिनमें व्युत्क्रमणीय गतिकी और निश्चित भार हैं, भले ही डेटा युग्मित और गैर-कम्यूटिंग हो।
• स्थानीय स्थिरता बनाम इष्टतमता: परिणाम विशुद्ध रूप से स्थानीय स्थिरता परिणाम हैं। उन्हें द्वितीय-क्रम पर्याप्त स्थितियों, वैश्विक इष्टतमता, या विपाच्यता की आवश्यकता नहीं है। सिम्प्लेक्टिक/रिकैटी (Riccities) सामग्री एक ट्रांसवर्सलिटी प्रमाण के रूप में कार्य करती है, न कि इष्टतमता परिकल्पना के विकल्प के रूप में।
• संख्यात्मक चित्रण: खंड 8 एक युग्मित स्थिर योग्य LQ प्रणाली के लिए संख्यात्मक प्रमाण प्रदान करता है, जो स्केल्ड बाउंड्री मैट्रिक्स अंतर के क्षय, अनुभवजन्य ग्रीन स्थिरांक की सीमा, और गैररेखीय शाखा के द्विघात अभिसरण (quadratic convergence) को सत्यापित करता है।

महत्व और दावे
शोध पत्र का दावा है कि यह परिमित-क्षितिज पोंट्रियागिन प्रणालियों के स्थानीय स्थिर शाखाओं के लिए एक सत्यापन योग्य मार्ग प्रदान करता है जहाँ मात्रात्मक सीमाएँ क्षितिज बढ़ने के साथ बिगड़ती नहीं हैं। इसका महत्व निम्नलिखित में निहित है:

• क्षितिज निर्भरता का पृथक्करण: एंडपॉइंट सुधारों को स्पष्ट रूप से संभालकर और भारित स्थानों का उपयोग करके, लेखक "क्षितिज-निर्भर व्युत्क्रम" के मान संबंधी मुद्दे से बचते हैं जो मानक परिमित-आयामी तर्कों में बाधा उत्पन्न करता है।
• गैर-इष्टतम शाखाओं की प्रयोज्यता: यह ढांचा गैर-इष्टतम शाखाओं के लिए भी लागू होता है, जिससे यह शूटिंग विधियों (shooting methods), निरंतरता (continuation), और स्थिर पोंट्रियागिन ट्रिपल्स के पास संवेदनशीलता विश्लेषण के लिए उपयुक्त बन जाता है।
• मजबूती (Robustness): व्युत्क्रम परिकल्पना को गतिकी और सीमा पंक्तियों के छोटे परिवर्तनों के तहत मजबूत दिखाया गया है (प्रस्ताव 4.4)।
• डेटा-स्तरीय सत्यापन क्षमता: अमूर्त व्युत्क्रम स्थिति को सिम्प्लेक्टिक ट्रांजिशन मैट्रिसेस के विशिष्ट ब्लॉकों की व्युत्क्रमणीयता जैसे जांच योग्य मैट्रिक्स गुणों में बदल दिया गया है, जिससे यह सिद्धांत वैश्विक संरचनात्मक धारणाओं की आवश्यकता के बिना ठोस नियंत्रण समस्याओं के लिए लागू करने योग्य बन जाता है।

लेखक इस बात पर जोर देते हैं कि उनका कार्य विपाच्यता या वैश्विक इष्टतमता पर आधारित टर्नकी (turnpike) तंत्र के पूरक के रूप में कार्य करता है, न कि उनके विकल्प के रूप में; उनके क्षय परिणाम चयनित स्थानीय शाखा और विशिष्ट ट्रांसवर्सलिटी से उत्पन्न होते हैं।