🔢 mathematics

Nash-Stackelberg controllability for coupled systems of degenerate equations in non-cylindrical domains

यह शोध पत्र लियुस्टर्निक के इनवर्स फंक्शन थ्योरम को लागू करके और गैर-स्वायत्त डिजेनरेट समीकरणों के लिए पूर्व विकसित कारलेमन अनुमान को अनुकूलित करके, समय-निर्भर डोमेन में एक युग्मित अर्ध-रैखिक डिजेनरेट पैराबोलिक प्रणाली की स्थानीय पदानुक्रमित शून्य नियंत्रणीयता (local hierarchical null controllability) की जांच करता है।

मूल लेखक: Alfredo S. Gamboa, Juan Limaco, Luis P. Yapu

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

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

CC BY 4.0

मूल लेखक: Alfredo S. Gamboa, Juan Limaco, Luis P. Yapu

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

कल्पना कीजिए कि आप एक बहुत ही जटिल, उच्च-दांव वाले ऑर्केस्ट्रा के कंडक्टर हैं। यह ऑर्केस्ट्रा एक कॉन्सर्ट हॉल में संगीत बजा रहा है जहाँ की दीवारें लगातार हिल रही हैं, आकार बदल रही हैं और बदल रही हैं। इसे और भी जटिल बनाने के लिए, संगीतकार केवल बजा ही नहीं रहे हैं; वे एक-दूसरे के प्रभाव के एक जटिल जाल में एक-दूसरे पर प्रतिक्रिया भी दे रहे हैं।

यह शोध पत्र इस बात का गणितीय ब्लूप्रिंट है कि उस ऑर्केस्ट्रा को कैसे "नियंत्रित" किया जाए ताकि वे सभी ठीक एक ही समय पर एक पूर्ण, शांत विराम (silent pause) ले सकें।

यहाँ रोजमर्रा की अवधारणाओं का उपयोग करके इस शोध पत्र का विवरण दिया गया है:

1. चलता हुआ मंच (Non-cylindrical Domains)

अधिकांश गणितीय समस्याओं में, "मंच" (वह क्षेत्र जहाँ चीजें होती हैं) स्थिर होता है। इस शोध पत्र में, मंच नॉन-सिलिंड्रिकल (non-cylindrical) है, जिसका अर्थ है कि इसकी सीमाएं हिल रही हैं।

उपमा: कल्पना कीजिए कि आप फुटबॉल का खेल खेलने की कोशिश कर रहे हैं, लेकिन मैदान आपके दौड़ते समय फैल और सिकुड़ रहा है। आप केवल एक निश्चित गोलपोस्ट के लिए निशाना नहीं लगा सकते; आपको यह हिसाब लगाना होगा कि जब तक गेंद वहां पहुंचेगी, तब तक गोलपोस्ट कहाँ होगा।

2. क्षीण संगीत (Degenerate Equations)

इस प्रणाली में "ध्वनि" या भौतिकी डिजेनरेट (degenerate) है। गणित में, इसका अर्थ है कि कुछ बिंदुओं पर (जैसे कि मंच के बिल्कुल किनारे पर), भौतिकी के नियम "फीके" पड़ जाते हैं या शून्य हो जाते हैं।

उपमा: एक पियानो की कल्पना करें जिसके कीबोर्ड के बिल्कुल निचले हिस्से की चाबियाँ कोई आवाज नहीं करती हैं। यदि आप एक विशिष्ट धुन बजाना चाहते हैं, तो आपको उन "शांत क्षेत्रों" की भरपाई करने के लिए अतिरिक्त मेहनत करनी होगी ताकि संगीत बिखर न जाए।

3. बॉस और कर्मचारी (Nash-Stackelberg Control)

यही इस शोध पत्र का केंद्र है। शोधकर्ता केवल एक व्यक्ति को सब कुछ नियंत्रित करने के लिए नहीं देख रहे हैं। वे एक पदानुक्रमित (hierarchical) प्रणाली को देख रहे हैं:

नेता (Stackelberg): यह "बॉस" है। उनके पास एक मुख्य नियंत्रण नॉब (control knob) है। वे पहले चलते हैं, एक निर्णय लेते हैं ताकि पूरे सिस्टम को एक लक्ष्य की ओर मोड़ा जा सके।
अनुगामी (Nash): ये "कर्मचारी" हैं। वे देखते हैं कि बॉस क्या करता है, और फिर वे अपने स्वयं के व्यक्तिगत लक्ष्यों तक पहुँचने के लिए अपने स्वयं के छोटे नियंत्रण नॉब का उपयोग करते हैं। वे एक "नैश इक्विलिब्रियम" (Nash Equilibrium) में हैं, जिसका अर्थ है कि उन्होंने बॉस के कार्यों के आधार पर कार्य करने का सबसे अच्छा तरीका ढूंढ लिया है।
लक्ष्य: बॉस चाहता है कि "नल कंट्रोलेबिलिटी" (Null Controllability) प्राप्त हो—जो कि एक फैंसी तरीका है यह कहने का कि वे पूरे सिस्टम को एक विशिष्ट समय पर पूर्ण शांति (शून्य) की स्थिति में पहुँचने के लिए मजबूर करना चाहते हैं।

4. गणितीय "जादुई ट्रिक" (Carleman Estimates & Inverse Function Theorem)

आप वास्तव में यह कैसे सिद्ध करेंगे कि यह संभव है? लेखक दो भारी-भरकम गणितीय उपकरणों का उपयोग करते हैं:

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

सारांश

संक्षेप में, यह शोध पत्र सिद्ध करता है कि भले ही आप एक बदलते परिवेश (moving domains) में हों, फीकी पड़ती भौतिकी (degenerate equations) से जूझ रहे हों, और प्रतिस्पर्धी हितों के एक जटिल पदानुक्रम (Stackelberg-Nash) का प्रबंधन कर रहे हों, एक चतुर नेता विशिष्ट गणितीय रणनीतियों का उपयोग करके पूरे अराजक सिस्टम को एक पूर्ण, नियंत्रित ठहराव पर ला सकता है।

तकनीकी सारांश: गैर-बेलनाकार डोमेन में डिजेनरेट समीकरणों के युग्मित प्रणालियों के लिए नैश-स्टैकेलबर्ग नियंत्रणीयता (Nash-Stackelberg Controllability)

1. समस्या विवरण

यह शोध पत्र सेमीलीनियर डिजेनरेट पैराबोलिक समीकरणों की एक युग्मित प्रणाली के पदानुक्रमित (स्टैकेलबर्ग-नैश) नल नियंत्रणीयता (null controllability) को संबोधित करता है। गणितीय जटिलता तीन अलग-अलग स्रोतों से उत्पन्न होती है:

डिसजेनेरेसी (Degeneracy): प्रसार गुणांक (diffusion coefficient) $a(x)$ , सीमा ( $x=0$ ) पर शून्य हो जाता है, जिससे ऑपरेटर डिजेनरेट हो जाता है। लेखक विशेष रूप से "कमजोर रूप से डिजेनरेट" मामले का उपचार करते हैं जहाँ $a(x) \approx x^\alpha$ है, $\alpha \in (0, 1)$ के लिए।
गैर-बेलनाकार डोमेन (Non-Cylindrical Domains): स्थानिक डोमेन $\Omega_t$ स्थिर नहीं है बल्कि समय के साथ बदलता (विकृत होता) है। इसके लिए समय-निर्भर गुणांकों और सीमाओं को संभालना आवश्यक है।
पदानुक्रमित नियंत्रण संरचना (Hierarchical Control Structure): इस प्रणाली में एक लीडर (जो $u_1$ को नियंत्रित करता है) और दो फॉलोअर्स (जो क्रमशः $u_2$ और $u_1$ को नियंत्रित करते हैं) शामिल हैं। फॉलोअर्स अपने विशिष्ट लागत फलन (cost functionals) को न्यूनतम करने के लिए एक नैश इक्विलिब्रियम (Nash equilibrium) तक पहुँचने का प्रयास करते हैं, जबकि लीडर का लक्ष्य (फॉलोअर्स की इष्टतम प्रतिक्रियाओं को देखते हुए) संपूर्ण अवस्था को शून्य तक पहुँचाना (नल नियंत्रणीयता प्राप्त करना) है।

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

लेखक एक बहु-चरणीय विश्लेषणात्मक ढांचे का उपयोग करते हैं:

डोमेन रूपांतरण (Domain Transformation): गैर-बेलनाकार डोमेन $\text{b}Q$ को संभालने के लिए, वे एक $C^2$ डिफ़ियोमॉर्फिज्म (diffeomorphism) $\tau_t$ का उपयोग करते हैं जो चलते हुए डोमेन $\Omega_t$ को एक निश्चित बेलनाकार डोमेन $Q = (0,1) \times (0,T)$ पर मैप करता है। यह रूपांतरण पैराबोलिक ऑपरेटर में नए समय-निर्भर, गैर-स्वायत्त (non-autonomous) गुणांकों को पेश करता है।
नैश इक्विलिब्रियम का अभिलक्षण (Characterization of Nash Equilibrium): वे प्रथम-क्रम इष्टतमता स्थितियों (variational inequalities) का उपयोग करके नैश अर्ध-इक्विलिब्रियम (quasi-equilibrium) को परिभाषित करते हैं। वे सिद्ध करते हैं कि पर्याप्त बड़े दंड मापदंडों (penalty parameters) $\mu_i$ के लिए, लागत फलन उत्तल (convex) होते हैं, जो यह सुनिश्चित करते हैं कि अर्ध-इक्विलिब्रियम एक वास्तविक नैश इक्विलिब्रियम है।
कारलेमैन अनुमान (Carleman Estimates): यह शोध पत्र का तकनीकी केंद्र है। लेखक गैर-स्वायत्त डिजेनरेट पैराबोलिक समीकरणों के लिए एक विशिष्ट कारलेमैन असमानता (Carleman inequality) व्युत्पन्न करते हैं। इस अनुमान का उपयोग एडजॉइंट सिस्टम (adjoint system) के लिए एक अवलोकन असमानता (observability inequality) स्थापित करने के लिए किया जाता है, जो नियंत्रणीयता के लिए एक आवश्यक शर्त है।
लियुस्टर्निक का व्युत्क्रम फलन प्रमेय (Liusternik’s Inverse Function Theorem): रैखिककृत (linearized) प्रणाली से मूल सेमीलीनियर प्रणाली तक जाने के लिए, लेखक लियुस्टर्निक (राइट) व्युत्क्रम फलन प्रमेय को लागू करते हैं। इसके लिए यह सिद्ध करना आवश्यक है कि रैखिककृत इष्टतमता प्रणाली वैश्विक रूप से नल नियंत्रणीय है और मैपिंग उपयुक्त भारित बानाच स्थानों (weighted Banach spaces) में $C^1$ है।

3. मुख्य योगदान

डिसजेनरेट प्रणालियों का विस्तार: जबकि पदानुक्रमित नियंत्रण का अध्ययन गैर-डिसजेनरेट प्रणालियों के लिए किया गया है, यह शोध पत्र युग्मित डिजेनरेट पैराबोलिक समीकरणों के लिए स्टैकेलबर्ग-नैश रणनीति को विस्तारित करने वाले पहले अध्ययनों में से एक है।
चलती सीमाओं को संभालना: डिजेनरेट ऑपरेटरों को समय-परिवर्तित डोमेन के साथ एकीकृत करना गैर-स्वायत्त विकास समीकरणों (evolution equations) के नियंत्रण में एक महत्वपूर्ण प्रगति का प्रतिनिधित्व करता है।
नए कारलेमैन वेट्स (Carleman Weights): लेखक विशिष्ट वेट फंक्शन $\rho(t)$ पेश करते हैं जो $t=0$ और $t=T$ पर अनंत (blow up) की ओर जाते हैं ताकि यह सुनिश्चित किया जा सके कि गैर-स्वायत्त, डिजेनरेट मामले के लिए अवलोकन असमानता बनी रहे।

4. मुख्य परिणाम

प्रमेय 1 (स्थानीय नल नियंत्रणीयता): भारित स्थान $H^1_a(\Omega)$ में पर्याप्त छोटे प्रारंभिक डेटा $(u_1^0, u_2^0)$ के लिए, एक लीडर नियंत्रण $h$ और एक संबद्ध नैश अर्ध-इक्विलिब्रियम $(\hat{v}_1, \hat{v}_2)$ मौजूद होता है, जिससे प्रणाली समय $T$ पर शून्य अवस्था तक पहुँच जाती है।
प्रमेय 2 (उत्तलता/इक्विलिब्रियम): वे सिद्ध करते हैं कि यदि लागत मापदंड $\mu_i$ पर्याप्त बड़े हैं, तो लागत फलनों की सख्त उत्तलता (strict convexity) के कारण नैश अर्ध-इक्विलिब्रियम एक वास्तविक नैश इक्विलिब्रियम है।
प्रमेय 4 (रैखिककृत नियंत्रणीयता): वे रैखिककृत इष्टतमता प्रणाली की वैश्विक नल नियंत्रणीयता स्थापित करते हैं, जो गैर-रैखिक परिणाम के लिए आवश्यक आधार प्रदान करती है।

5. महत्व

यह कार्य वितरित पैरामीटर प्रणालियों (distributed parameter systems) के गणितीय सिद्धांत के लिए महत्वपूर्ण है। यह उन जटिल अंतःक्रियाओं को मॉडल करने के लिए एक कठोर ढांचा प्रदान करता है जहाँ विभिन्न एजेंट (लीडर और फॉलोअर्स) एक ऐसी भौतिक प्रणाली के भीतर अलग-अलग उद्देश्यों के अनुसार कार्य करते हैं जो स्वाभाविक रूप से अस्थिर (डिसजेनरेट) और गतिशील (चलते हुए डोमेन) है। ऐसे मॉडल द्रव गतिज (fluid dynamics), विकसित माध्यमों में ऊष्मा स्थानांतरण (heat transfer), और जैविक जनसंख्या मॉडल में प्रासंगिक हैं जहाँ सीमाएँ और प्रसार दरें गैर-समान और समय-निर्भर होती हैं।