🔢 mathematics

Weak KAM theorems for subriemannian Lagrangians depending on the unknown function

यह शोधपत्र वीक काम (weak KAM) सिद्धांत को उन सब-रीमानियन लैग्रेंजियन्स (sub-Riemannian Lagrangians) तक विस्तारित करता है जो क्षैतिज वितरण (horizontal distribution) पर परिभाषित हैं और स्पष्ट रूप से अज्ञात फलन पर निर्भर करते हैं।

मूल लेखक: Renato Iturriaga, Héctor Sánchez Morgado

प्रकाशित 2026-07-10

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Renato Iturriaga, Héctor Sánchez Morgado

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप एक विशाल, अदृश्य भूलभुलैया (maze) में रास्ता खोज रहे हैं। आप सीधे नहीं चल सकते; आपको केवल विशिष्ट "राजमार्गों" (जिसे क्षैतिज वितरण या horizontal distribution कहा जाता है) के साथ चलने के लिए मजबूर किया जाता है जो शहर के माध्यम से मुड़ते और घूमते हैं। यह सब-रीमानियन ज्यामिति (sub-Riemannian geometry) की दुनिया है। अब, कल्पना कीजिए कि आप बिंदु A से बिंदु B तक सबसे अच्छा रास्ता खोजने की कोशिश कर रहे हैं, लेकिन इसमें एक मोड़ है: चलने की "लागत" (cost) न केवल इस पर निर्भर करती है कि आप कितनी तेजी से चलते हैं, बल्कि एक गुप्त चर (variable) पर भी निर्भर करती है जो आपके चलते रहने के दौरान बदलता रहता है—जैसे कि एक छिपा हुआ ऊर्जा स्तर जो इस बात पर बदलता है कि आप कहाँ हैं और आपने अब तक क्या किया है।

यह पहेली रेनाटो इटुरियागा (Renato Ituriaqa) और हेक्टर सांचेज़ मोरगाडो (Héctor Sánchez Morgado) के एक शोध पत्र द्वारा हल की गई है। वे एक प्रसिद्ध गणितीय उपकरण जिसे वीक KAM थ्योरी (Weak KAM theory) कहा जाता है (जो आमतौर पर प्रणालियों के दीर्घकालिक व्यवहार की भविष्यवाणी करने में मदद करता है) को इस जटिल, भूलभुलैया जैसी दुनिया में विस्तारित कर रहे हैं, जहाँ सड़क के नियम यात्री की वर्तमान स्थिति पर निर्भर करते हैं।

मुख्य खोज: "परफेक्ट" पथ खोजना

लेखक सिद्ध करते हैं कि इस जटिल भूलभुलैया में भी, इन बदलते नियमों के साथ, सिस्टम के व्यवहार का वर्णन करने का एक अद्वितीय, उत्तम तरीका (unique, perfect way) मौजूद है।

इसे एक वीडियो गेम की तरह समझें जहाँ आप जानना चाहते हैं कि बहुत लंबे समय तक खेलने के बाद आप सबसे अच्छा स्कोर क्या प्राप्त कर सकते हैं। लेखक दिखाते हैं कि यदि आप किसी प्रारंभिक मानचित्र (एक फलन $\phi$ ) से शुरू करते हैं, और आप इस खेल को चलने देते हैं, तो "सर्वश्रेष्ठ पथ" का स्कोर एक विशिष्ट, स्थिर पैटर्न में स्थिर हो जाता है। वे इसे विस्कोसिटी सॉल्यूशन (viscosity solution) कहते हैं। यह भूलभुलैया के "ग्राउंड ट्रुथ" को खोजने जैसा है: एक एकल, अडिग नियम जो आपको बताता है कि कहीं भी होने की लागत क्या है, चाहे आप कितनी भी देर से चल रहे हों।

वे सिद्ध करते हैं कि यदि आप इस "खेल" को चलाते रहते हैं (गणितीय रूप से, एक ऑपरेटर $T_t$ लागू करके), तो परिणाम अंततः इधर-उधर उछलना बंद कर देते हैं और एक विशिष्ट आकार में लॉक हो जाते हैं। यह आकार एक जटिल समीकरण (हैमिल्टन-जैकोबी समीकरण) का समाधान है जो सिस्टम की ऊर्जा का वर्णन करता है।

वे किसे खारिज करते हैं ( "नो-गो" ज़ोन)

यह शोध पत्र इस बारे में बहुत सावधान है कि क्या काम नहीं करता है या किसके लिए गारंटी नहीं दी जा सकती है।

आप केवल अनुमान नहीं लगा सकते: लेखक दिखाते हैं कि आप किसी भी यादृच्छिक पथ को चुनकर यह उम्मीद नहीं कर सकते कि वह काम करेगा। पथ "क्षैतिज" (राजमार्गों पर रहना) और "एब्सोल्यूटली कंटीन्यूअस" (इतने सुचारू कि लगभग हर जगह एक परिभाषित गति हो) होने चाहिए। यदि आप कूदने या टेलीपोर्ट करने की कोशिश करते हैं, तो गणित टूट जाता है।
"गुप्त चर" बहुत अनियंत्रित नहीं हो सकता: लागत फलन एक अज्ञात मान (मान लीजिए $u$ ) पर निर्भर करता है। लेखक सिद्ध करते हैं कि यह मान सुव्यवस्थित होना चाहिए। विशेष रूप से, वे इस विचार को खारिज करते हैं कि लागत $u$ के बदलने के साथ बहुत अधिक जंगली या अप्रत्याशित हो सकती है। वे आवश्यक बनाते हैं कि लागत फलन "स्ट्रिक्टली कॉनवेक्स" (जैसे एक चिकना कटोरा, न कि एक ऊबड़-खाबड़ पहाड़) और "मोनोटोन" (यदि आप $u$ को एक दिशा में बदलते हैं, तो लागत एक अनुमानित दिशा में बदलती है) हो। यदि लागत फलन ऊबड़-खाबड़ या उतार-चढ़ाव वाला होता, तो अद्वितीय समाधान के अस्तित्व का उनका प्रमाण विफल हो जाता।
यह हमेशा एक सीधी रेखा नहीं होती: सामान्य ज्यामिति में, सबसे छोटा रास्ता एक सीधी रेखा होती है। यहाँ, लेखक दिखाते हैं कि "सर्वश्रेष्ठ" पथ अक्सर एक घुमावदार वक्र होता है जो अदृश्य राजमार्गों के साथ चलता है। आप यह मान नहीं सकते कि एक सीधी रेखा मौजूद है या इष्टतम है।

वे कितने आश्वस्त हैं? ( "प्रमाण" का स्तर)

लेखक अत्यंत आश्वस्त हैं। वे इसे केवल कंप्यूटर पर सिम्युलेट नहीं करते हैं या यह सुझाव नहीं देते कि यह सच हो सकता है; वे एक कठोर गणितीय प्रमाण (proof) प्रदान करते हैं।

अस्तित्व और विशिष्टता (Existence and Uniqueness): वे सिद्ध करते हैं कि एक समाधान मौजूद है और वह एकमात्र है। यहाँ "शायद" के लिए कोई जगह नहीं है।
अभिसरण (Convergence): वे सिद्ध करते हैं कि यदि आप एक मोटे मानचित्र से शुरू करते हैं और उसे बार-बार परिष्कृत करते हैं, तो यह उस पूर्ण, स्थिर समाधान की ओर गणितीय रूप से अभिसरित (converge) होगा।
"Assumption 1" की चेतावनी: एक छोटी सी शर्त है जिसका वे उल्लेख करते हैं। यह गारंटी देने के लिए कि अंतिम समाधान दीर्घकाल में अद्वितीय है, उन्हें स्थिति (position) के साथ "लागत" कैसे बदलती है, इसके बारे में एक विशिष्ट तकनीकी शर्त (जिसे "Assumption 1" कहा जाता है) मानने की आवश्यकता है। वे यह सिद्ध नहीं करते कि यह धारणा हर संभावित भूलभुलैया के लिए हमेशा सत्य है, लेकिन वे सिद्ध करते हैं कि यदि यह स्थिति लागू होती है, तो समाधान अद्वितीय है। इस शर्त के बिना, वे विशिष्टता का वादा नहीं कर सकते, लेकिन वे अभी भी समाधान के अस्तित्व को सिद्ध कर सकते हैं।

प्रमाण का "जादू"

वहाँ पहुँचने के लिए, वे एक चतुर युक्ति का उपयोग करते हैं जिसमें एक "लैक्स सेमीग्रुप" (Lax semigroup) शामिल है। एक मशीन की कल्पना करें जो आपके वर्तमान मानचित्र को लेती है, उसे थोड़े समय के लिए भूलभुलैया के माध्यम से चलाती है, और एक नया, थोड़ा बेहतर मानचित्र बाहर निकालती है। लेखक दिखाते हैं कि यदि आप इस मशीन के आउटपुट को बार-बार अपने आप में फीड करते हैं, तो मानचित्र अंततः बदलना बंद कर देते हैं। वे इसे यह दिखाकर सिद्ध करते हैं कि पथों की "ऊर्जा" (एक्शन) एक रबर बैंड की तरह व्यवहार करती है जो हमेशा एक विशिष्ट लंबाई की ओर वापस खिंचता है, जिससे पथ अनियंत्रित होने से बच जाते हैं।

वे "टोनेली के प्रमेय" (Tonelli's Theorem) नामक एक अवधारणा का भी उपयोग करते हैं, जो इस गारंटी की तरह है कि यदि आपके पास कई पथ हैं जो सर्वश्रेष्ठ के करीब आते जा रहे हैं, तो वास्तव में एक वास्तविक, भौतिक पथ मौजूद है जो उन सभी अनुमानों की सीमा (limit) है। यह सुनिश्चित करता है कि "परफेक्ट पथ" केवल एक गणितीय भूत नहीं है; यह वास्तव में भूलभुलैया में मौजूद है।

संक्षेप में

इटुरियागा और सांचेज़ मोरगाडो ने एक प्रतिबंधित, बदलते संसार में नेविगेट करने के जटिल नियमों को लिया है और सिद्ध किया है कि, अराजकता के बावजूद, एक एकल, स्थिर और अनुमानित तरीका है जिससे सिस्टम दीर्घकाल में व्यवहार करता है। उन्होंने केवल एक पथ नहीं खोजा; उन्होंने सिद्ध किया कि पथ अद्वितीय है और किसी भी प्रयास को अंततः वहीं ले जाएगा, बशर्ते भूलभुलैया के नियम बहुत अधिक अजीब न हों। यह इस प्रश्न के लिए एक ठोस, गणितीय "हाँ" है: "क्या हम इस जटिल प्रणाली के दीर्घकालिक व्यवहार की भविष्यवाणी कर सकते हैं?" उत्तर एक निश्चित, सिद्ध "हाँ" है।

तकनीकी सारांश: अज्ञात फलन पर निर्भर सबरीमैनियन लैग्रेंजियन के लिए वीक KAM प्रमेय

समस्या विवरण

यह शोध पत्र एक विशिष्ट वर्ग के परिवर्तनीय समस्याओं (variational problems) के लिए वीक KAM (कोलमोगोरोव-अर्नोल्ड-मोसर) सिद्धांत के विस्तार को संबोधित करता है जो एक सबरीमैनियन मैनिफोल्ड $(M, D, \langle \cdot, \cdot \rangle)$ के क्षैतिज वितरण (horizontal distribution) $D$ पर परिभाषित हैं। मुख्य चुनौती शास्त्रीय सेटिंग में दो साथ-साथ सामान्यीकरणों के कारण उत्पन्न होती है:

ज्यामितीय बाधा (Geometric Constraint): लैग्रेंजियन पूर्ण टेंगेंट बंडल $TM $के बजाय केवल क्षैतिज वितरण$ D$ पर परिभाषित है। यह स्वीकार्य वक्रों (admissible curves) को "क्षैतिज" (लगभग हर जगह $D$ के स्पर्शरेखीय) होने के लिए प्रतिबंधित करता है।
कार्यात्मक निर्भरता (Functional Dependence): लैग्ररेजियन $L(v, u)$ वेग $v$ के अतिरिक्त, अज्ञात फलन $u$ (संबंधित हैमिल्टन-जैकोबी समीकरण के समाधान के रूप में) पर स्पष्ट रूप से निर्भर करता है। यह एक ऐसी अरैखिकता (nonlinearity) पेश करता है जो मानक स्वायत्त (autonomous) लैग्रेंजियन तकनीकों के सीधे अनुप्रयोग को रोकता है।

लेखक इन बाधाओं के तहत संबद्ध कॉची समस्या (Cauchy problem) के विस्कोसिटी समाधानों (viscosity solutions) के अस्तित्व और अद्वितीयता को स्थापित करने और लैक्स-ओलीनिक सेमग्रुप (Lax-Oleinik semigroup) के एक स्टेशनरी समाधान की ओर अभिसरण (convergence) को सिद्ध करने का लक्ष्य रखते हैं (एक वीक KAM प्रमेय)।

कार्यप्रणाली

1. परिवर्तनीय ढांचा और परिभाषाएं

लेखक क्षैतिज पूर्णतः निरंतर वक्रों (horizontal absolutely continuous curves) के स्थान, जिसे $W^{1,1}_D([a, b])$ द्वारा दर्शाया गया है, और सबरीमैनियन लंबाई को परिभाषित करते हैं। वे लेजेंड्रे-फेंचेल रूपांतरण (Legendre-Fenchel transform) के माध्यम से सबरीमैनियन संपर्क हैमिल्टनियन $H: T^*M \times \mathbb{R} \to \mathbb{R}$ को इस प्रकार परिभाषित करते हैं:
$H(p, u) = \max \{ p(v) - L(v, u) : v \in D, \pi(v) = \pi^*(p) \}$
माना गया है कि लैग्रेंजियन $L \in C^2(D \times \mathbb{R})$ तीन महत्वपूर्ण शर्तों को पूरा करता है:

समान सुपरलिनियरिटी (Uniform Superlinearity): सभी $k \geq 0$ के लिए $L(v, 0) \geq k\|v\| + C(k)$ ।
सीमित एकतलता (Bounded Monotonicity): $-\lambda \leq \partial_u L(v, u) < 0$ , जो यह सुनिश्चित करता है कि $u$ पर निर्भरता सख्त रूप से घटती हुई लेकिन बद्ध (bounded) है।
कठोर उत्तलता (Strict Convexity): $\partial^2_{vv} L(v, u)(w, w) \geq \kappa \|w\|^2$ ।

2. गैर-स्वायत्त लैग्रेंजियन के लिए टोनेली का प्रमेय

कार्यप्रणाली का एक महत्वपूर्ण हिस्सा $A_L(\gamma) = \int L(t, \dot{\gamma}(t)) dt$ के लिए एक टोनेली-प्रकार के प्रमेय को सिद्ध करने के लिए समर्पित है।

समान समाकलनीयता (Uniform Integrability): लेखक सिद्ध करते हैं कि सीमित एक्शन वाले वक्रों के परिवार के वेग समान रूप से समाकलनीय (uniformly integrable) होते हैं (लेम्मा 1)। यह $W^{1,1}$ में कॉम्पैक्टनेस तर्क लगाने के लिए अत्यंत महत्वपूर्ण है।
निम्न अर्ध-निरंतरता (Lower Semicontinuity): वे सिद्ध करते हैं कि एक्शन फलन यूनिफॉर्म कन्वर्जेंस के संबंध में निम्न अर्ध-निरंतर है (प्रमेय 4)। प्रमाण में समस्या को स्थानीय चार्ट्स में कम करना शामिल है जहाँ क्षैतिज वितरण {trivial} है और $L$ की सख्त उत्तलता का उपयोग करना शामिल है।
न्यूनतमकर्ताओं का अस्तित्व (Existence of Minimizers): अर्ज़ेला-एस्कोली प्रमेय (Arzelà-Ascoli theorem) और एक्शन की निम्न अर्ध-निरंतरता का उपयोग करते हुए, वे किन्हीं दो बिंदुओं के बीच एक्शन के न्यूनतमीकरणकर्ताओं (minimizers) के अस्तित्व को सिद्ध करते हैं (उपप्रमेय 3)।

3. लैक्स सेमग्रुप और फिक्स्ड पॉइंट तर्क

लेखक एक लैक्स-ओलीनिक सेमग्रुप $T_t$ को निरंतर फलनों $\phi \in C(M)$ पर परिभाषित करते हैं:
$T_t[\phi](x) = \inf \left\{ \phi(\gamma(0)) + \int_0^t L(\dot{\gamma}(s), u(s, \gamma(s))) ds : \gamma \in W^{1,1}_D([0, t]), \gamma(t) = x \right\}$
जहाँ $u$ वह समाधान है जिसे खोजा जा रहा है।

फिक्स्ड पॉइंट निर्माण: वे $C([0, T] \times M)$ पर एक ऑपरेटर $A_\phi$ को परिभाषित करते हैं और सिद्ध करते हैं कि यह एक सामान्यीकृत अर्थ में एक संकुचन (contraction) है (लेम्मा 3)। इस ऑपरेटर को दोहराकर, वे एक अद्वितीय फिक्स्ड पॉइंट $u$ स्थापित करते हैं, जो कॉची समस्या के विस्कोसिटी समाधान के अनुरूप है।
सेमग्रुप गुण: वे सेमग्रुप गुण $T_{s+t} = T_s \circ T_t$ को सिद्ध करते हैं (उपप्रमेय 4) और धारणा (monotonicity) तथा गैर-विस्तारशीलता (non-expansiveness) के गुणों को स्थापित करते हैं (प्रस्ताव 3 और 4)।

4. स्टेशनरी समाधानों की ओर अभिसरण

वीक KAM प्रमेय को सिद्ध करने के लिए, लेखक $T_t[\phi]$ के एसिम्प्टोटिक व्यवहार का विश्लेषण करते हैं।

समान बद्धता और इक्वी-लिप्सिट्ज़ निरंतरता: वे दिखाते हैं कि लिप्सिट्ज़ प्रारंभिक डेटा $\phi$ के लिए, परिवार $T_t[\phi] + c_0 t$ समान रूप से बद्ध और इक्वी-लिप्सिट्ज़ (equi-Lipschitz) है (लेम्मा 4 और लेम्मा 5), जहाँ $c_0$ माने क्रिटिकल वैल्यू (Mañé critical value) से संबंधित एक क्रिटिकल स्थिरांक है।
सीमा अस्तित्व (Limit Existence): हैमिल्टनियन के स्थानिक अवकलज (spatial derivative) के विकास पर एक अतिरिक्त धारणा (Assumption 1) के तहत, वे सिद्ध करते हैं कि अनुक्रम $T_t[\phi] + c_0 t$ जैसे-जैसे $t \to \infty$ होता है, यूनिफॉर्म रूप से एक फलन $\psi$ की ओर अभिसरित होता है। यह सीमा स्टेशनरी हैमिल्टन-जैकोबी समीकरण $H(x, D_x \psi, \psi) = c_0$ का एक विस्कोसिटी समाधान है।

मुख्य परिणाम

अस्तित्व और अद्वितीयता (प्रमेय 1): किसी भी निरंतर प्रारंभिक स्थिति $\phi$ के लिए, कॉची समस्या के लिए एक अद्वितीय विस्कोसिटी समाधान $u \in C([0, \infty) \times M)$ मौजूद है:
$\begin{cases} u_t + H(x, D_x u, u) = 0 \\ u(0, x) = \phi(x) \end{cases}$
यह समाधान लैक्स-ओलीनिक सूत्र द्वारा परिवर्तनशील रूप से प्रस्तुत किया जाता है।
वीक KAM प्रमेय (प्रमेय 2):
- एक क्रिटिकल स्थिरांक $c_0 \in \mathbb{R}$ मौजूद है जिससे लिप्सिट्ज़ $\phi$ के लिए परिवार $T_t[\phi] + c_0 t$ समान रूप से बद्ध और इक्वी-लिप्सिट्ज़ है।
- एक स्टेशनरी समाधान $\psi \in \text{Lip}(M, d)$ मौजूद है जो $H(x, D_x \psi, \psi) = c_0$ को संतुष्ट करता है।
- Assumption 1 के तहत, सीमा $\lim_{t \to \infty} (T_t[\phi] + c_0 t)$ यूनिफॉर्म रूप से अस्तित्व में है और एक स्टेशनरी समाधान प्रदान करती है।
टोनेली मिनिमाइज़र: यह शोध पत्र स्थापित करता है कि $u$ पर निर्भर सबरीमैनियन लैग्रेंजियन के लिए, किन्हीं दो बिंदुओं के बीच एक्शन-मिनिमाइजिंग वक्र मौजूद हैं, जो शास्त्रीय टोनेली परिणामों को इस बाधित (constrained), गैर-स्वायत्त परिवेश में विस्तारित करता है।

महत्व और दावे

यह शोध पत्र सबरीमैनियन ज्यामिति के संदर्भ में वीक KAM सिद्धांत के विस्तार का दावा करता है जहाँ लैग्रेंजियन अज्ञात फलन पर निर्भर करता है।

ज्यामितीय विस्तार: लेखक प्रदर्शित करते हैं कि वितरण $D$ पर ब्रैकेट-जनरेटिंग (bracket-generating) स्थिति यह सुनिश्चित करने के लिए पर्याप्त है कि प्रेरित कार्नोट-कैरोथी डो距離 (Carnot-Caratheodory distance) मैनिफोल्ड टोपोलॉजी उत्पन्न करता है, जिससे विस्कोसिटी समाधानों को परिभाषित करना और सबरीमैनियन संदर्भ में कॉम्पैक्टनेस तर्कों (Arzelà-Ascoli) को लागू करना संभव हो पाता है।
कार्यात्मक निर्भरता: $u$ पर निर्भरता (विशेष रूप से एकतलता की स्थिति $-\lambda \leq \partial_u L < 0$ ) को संभालकर, लेखक उस कठिनाई को दूर करते हैं जो गैर-स्वायत्तता के कारण उत्पन्न होती है। यह उन हैमिल्टन-जैकोबी समीकरणों के उपचार की अनुमति देता जहाँ हैमिल्टनियन स्वयं समाधान पर निर्भर करता है, जो कंट्रोल थ्योरी और मीन फील्ड गेम्स में आम है लेकिन सबरीमैनियन सेटिंग्स में पहले कम से कम खोजा गया है।
परिवर्तनीय विधियों की सुदृढ़ता: यह कार्य इस बात को पुष्ट करता है कि परिवर्तनीय दृष्टिकोण (लैक्स-ओलीनिक सेमग्रुप्स) समाधानों के अस्तित्व, अद्वितीयता और अभिसरण को सिद्ध करने के लिए एक शक्तिशाली उपकरण बना हुआ है, भले ही अंतर्निहित ज्यामिति गैर-एकीकृत (non-integrable) हो और गतिकी (dynamics) गैर-स्वायत्त हो।

लेखक लिप्सिट्ज़ निरंतरता से परे समाधानों की रेगुलरिटी (regularity) के संबंध में खुले प्रश्नों को हल करने का दावा नहीं करते हैं, न ही वे नए प्रयोगात्मक अनुप्रयोग प्रस्तावित करते हैं। योगदान विशुद्ध रूप से सैद्धांतिक है, जो इस विशिष्ट वर्ग के हैमिल्टन-जैकोबी समीकरणों को संभालने के लिए आवश्यक विश्लेषणात्मक ढांचा प्रदान करता है।