तकनीकी सारांश: आकार-संरचित परिवहन समीकरणों में अंतर्जात फीडबैक (Endogenous Feedback)

1. समस्या का निरूपण (Problem Formulation)

यह शोधपत्र एक गैर-रैखिक आकार-संरचित परिवहन समीकरण की जांच करता है जहाँ प्रणाली की गतिशीलता एक अंतर्जात स्केलर फीडबैक (endogenous scalar feedback) तंत्र द्वारा नियंत्रित होती है। अवस्था चर (state variable) $x(t, l)$ आकार $l \in \Omega = [l_0, l_m]$ द्वारा संरचित व्यक्तियों के घनत्व को दर्शाता है। इस घनत्व का विकास परिवहन समीकरण द्वारा वर्णित है:
$$\partial_t x + \partial_l (g(E(t), l)x) = -(\mu(E(t), l) + u(t, l))x$$
जहाँ $g$ वेग (वृद्धि दर) है और $\mu$ मृत्यु दर है। महत्वपूर्ण रूप से, $g$ और $\mu$ दोनों एक स्केलर आउटपुट $E(t)$ पर निर्भर करते हैं, जो जनसंख्या घनत्व के भारित समाकलन (weighted integral) द्वारा परिभाषित होता है:
$$E(t) = \int_{l_0}^{l_m} \chi(l) x(t, l) \, dl$$
यह एक क्लोज्ड-लूप आर्किटेक्चर बनाता है जहाँ अवस्था $x$, आउटपुट $E$ को निर्धारित करती है, जो बदले में परिवहन ऑपरेटर के मुख्य गुणांकों (principal coefficients) में फीडबैक प्रदान करता है। प्रणाली एक इनफ्लो फ्लक्स (भर्ती) सीमा स्थिति $g(E(t), l_0)x(t, l_0) = p(t)$ और एक प्रारंभिक स्थिति $x(0, l) = x_0(l)$ के अधीन है।

मुख्य गणितीय चुनौती यह है कि फीडबैक मुख्य गुणांक $g$ में प्रवेश करता है, जो इस प्रणाली को गैर-सेमिलिनियर (non-semilinear) बनाता है। सेमिलिनियर समीकरणों के लिए मानक विचलन ढांचे (perturbation frameworks) अपर्याप्त हैं क्योंकि परिवहन ज्यामिति स्वयं अवस्था पर निर्भर करती है। लेखक वेल-पोज़्डनेस (well-posedness) स्थापित करने, स्थिर साम्यावस्था (stationary equilibria) का विश्लेषण करने, स्पेक्ट्रल स्थिरता (spectral stability) निर्धारित करने और इष्टतम हार्वेस्टिंग के लिए एडजॉइंट सिस्टम को चरित्रित करने का लक्ष्य रखते हैं।

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

लेखक फिक्स्ड-पॉइंट दृष्टिकोण को वोल्टेरा इंटीग्रल इक्वेशन थ्योरी और सेमीग्रुप विधियों के साथ नियोजित करते हैं।

• फ्रोजन-पाथ ऑपरेटर (Frozen-Path Operator): क्लोज्ड-लूप समस्या को एक स्केलर फिक्स्ड-पॉइंट समस्या $E = \mathcal{K}(E)$ में कम किया जाता है। यहाँ, $\mathcal{K}$ एक ऑपरेटर है जो एक निर्धारित फीडबैक पथ $E$ लेता है, परिणामी रैखिक गैर-अनौनामिक (non-autonomous) परिवहन समीकरण (जिसे "फ्रोजन" समस्या कहा जाता है) को हल करता है, और नया आउटपुट कंप्यूट करता है।
• आंतरिक फीडबैक अंतराल (Intrinsic Feedback Interval): उन दृष्टिकोणों के विपरीत जो बाहरी कॉम्पैक्टनेस धारणाएं लागू करते हैं, लेखक द्रव्यमान संतुलन सिद्धांतों (mass balance principles) से सीधे एक आंतरिक फीडबैक अंतराल $[0, M_T]$ प्राप्त करते हैं। यह अंतराल प्रारंभिक द्रव्यमान और संचयी इनफ्लो द्वारा निर्धारित होता है, जिससे यह सुनिश्चित होता है कि फीडबैक कृत्रिम बाधाओं के बिना सीमित रहे।
• कॉन्ट्रैक्शन मैपिंग (Contraction Mapping): वेल-पोज़्डनेस को बीलेकी नॉर्म (Bielecki norm) (एक भारित $L^\infty$ नॉर्म) में ऑपरेटर $\mathcal{K}$ को एक कॉन्ट्रैक्शन सिद्ध करके स्थापित किया जाता है। यह फ्रोजन परिवहन समाधानों के लिए $L^1$ और $BV$ (बाउंडेड वेरिएशन) अनुमानों पर निर्भर करता है।
• रिन्यूअल समीकरण और रेखीयकरण (Linearization and Renewal Equations): स्थिरता विश्लेषण के लिए, प्रणाली को एक स्थिर साम्यावस्था के चारों ओर रेखीय किया जाता है। लेखक प्रदर्शित करते हैं कि रेखीयकृत गतिशीलता एक परिमित-मेमोरी स्केलर रिन्यूअल समीकरण (एक वोल्टेरा कॉन्वोल्यूशन समीकरण) में बदल जाती है जिसका एक विशेषता फलन (characteristic function) $\mathcal{E}(\lambda)$ है।
• एडजॉइंट विश्लेषण (Adjoint Analysis): इष्टतम हार्वेस्टिंग समस्या का विश्लेषण एक एडजॉइंट सिस्टम का उपयोग करके किया जाता है। लेखक दिखाते हैं कि फीडबैक निर्भरता एक फ्रोजन एडजॉइंट ऑपरेटर का रैंक-वन परटर्बेशन (rank-one perturbation) परिणाम देती है, जिससे शेरमन-मोरिसन-प्रकार का एक स्पष्ट सूत्र प्राप्त होता है।

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

A. वेल-पोज़्डनेस (Well-Posedness)

यह शोधपत्र किसी भी परिमित समय अंतराल $[0, T]$ पर क्लोज्ड-लूप प्रणाली के लिए एक गैर-ऋणात्मक कमजोर समाधान (nonnegative weak solution) के अस्तित्व और अद्वितीयता को सिद्ध करता है।

• प्रमेय 4.4: गुणांकों और डेटा पर मानक नियमितता धारणाओं के तहत, मानचित्र $\mathcal{K}$ बीलेकी नॉर्म में एक कॉन्ट्रैक्शन है, जो एक अद्वितीय फिक्स्ड पॉइंट $E_{cl}$ की गारंटी देता है।
• निरंतरता मानदंड (Continuation Criterion): समाधान को वैश्विक रूप से विस्तारित किया जा सकता है यदि फीडबैक आंतरिक सीमाओं के भीतर रहता है और वेग $g$ सख्ती से धनात्मक बना रहता है।

B. स्थिर क्लोजर और अनुनाद (Stationary Closure and Resonance)

स्थिर नियंत्रण और इनफ्लो के लिए, प्रणाली एक स्केलर क्लोजर समीकरण $E = \Phi(E)$ में बदल जाती है।

• अद्वितीयता: लेखक सिद्ध करते हैं कि यदि क्लोजर मैप का व्युत्पन्न $\Phi'(E) < 1$ है, तो साम्यावस्था अद्वितीय है।
• फोल्ड बिफर्केशन (Fold Bifurcation): स्थिति $\Phi'(E^*) = 1$ को एक गैर-अपभ्रष्ट फोल्ड थ्रेशोल्ड के रूप में पहचाना गया है। इस बिंदु पर, क्लोजर मैप इनवर्टिबिलिटी खो देता है, जिससे सैडल-नोड बिफर्केशन होता है।
• विघटन (Decomposition): $\Phi'(E)$ को दो प्रतिस्पर्धी पदों में विभाजित किया गया है: एक निवास-समय प्रवर्धन पद ($\mathcal{R}$) और एक संचयी उत्तरजीविता क्षीणन पद ($\mathcal{C}$)। यह ढलान (slope) के बीजगणितीय चिह्न को स्पष्ट करता है।

C. स्पेक्ट्रल स्थिरता (Spectral Stability)

साम्यावस्था की स्थिरता रिन्यूअल समीकरण से प्राप्त विशेषता समीकरण $\mathcal{E}(\lambda) = 1$ के मूलों (roots) द्वारा निर्धारित होती है।

• हेडलाइन आइडेंटिटी: एक केंद्रीय परिणाम पहचान है $\mathcal{E}(0) = \Phi'(E^*) = B(0)$, जहाँ $B(0)$ शून्य डिस्काउंट पर रैंक-वन एडजॉइंट सिस्टम का लूप गेन है।
• स्थिरता मानदंड:
  • यदि $\Phi'(E^*) < 1$, तो शून्य मूल बाएं अर्ध-तल (left half-plane) में स्थित होता है, और प्रणाली रैखिक रूप से स्थिर होती है (बशर्ते कोई अन्य मूल काल्पनिक अक्ष को पार न करे)।
  • यदि $\Phi'(E^*) > 1$, तो एक धनात्मक वास्तविक मूल मौजूद होता है, जो रैखिक अस्थिरता को दर्शाता है।
  • स्थिति $\Phi'(E^*) = 1$ एक शून्य आइजनवैल्यू (zero eigenvalue) के अनुरूप है, जो अस्थिरता की शुरुआत और फोल्ड बिफर्केशन को चिह्नित करती है।
• गैर-रैखिक स्थिरता: एक द्विघात शेष अनुमान (quadratic remainder estimate) के तहत (जो द्वितीय-क्रम नियमितता धारणाओं के तहत सत्यापित है), रेखीय स्थिरता गैर-रैखिक प्रणाली के लिए स्थानीय घातांकीय स्पर्शोन्मुख स्थिरता (local exponential asymptotic stability) को दर्शाती है।

D. इष्टतम हार्वेस्टिंग और एडजॉइंट संरचना (Optimal Harvesting and Adjoint Structure)

शोधपत्र एक डिस्काउंटेड यील्ड फंक्शनल के साथ स्थिर इष्टतम हार्वेस्टिंग समस्या का विश्लेषण करता है।

• रैंक-वन परटर्बेशन: दिखाया गया है कि पूर्ण एडजॉइंट समीकरण फ्रोजन एडजॉइंट समीकरण का एक रैंक-वन परटर्बेसन है। यह एडजॉइंट चर $\lambda$ के लिए एक स्पष्ट सूत्र प्रदान करता है:
  $$\lambda = \lambda_{red} + \frac{\langle \sigma, \lambda_{red} \rangle}{1 - B(r)} \psi_r$$
  जहाँ $\lambda_{red}$ फ्रोजन समस्या का समाधान है, और हर $1 - B(r)$ फीडबैक लूप गेन को दर्शाता है।
• स्विचिंग ज्योमेट्री (Switching Geometry): इष्टतम नियंत्रण "बैंग-बैंग" (bang-bang) प्रकार का होता है, जो स्विचिंग फंक्शन $S(l) = \pi(l) - \lambda(l)$ के चिह्न द्वारा निर्धारित होता है। रैंक-वन सुधार स्विचिंग थ्रेशोल्ड को स्थानांतरित कर देता है। लेखक ऐसी स्थितियाँ प्रदान करते हैं जिनमें स्विचिंग संरचना एक एकल थ्रेशोल्ड बनी रहती है और इस थ्रेशोल्ड के विस्थापन को चरित्रित करती हैं।

4. महत्व और दावे (Significance and Claims)

शोधपत्र का दावा है कि यह अंतर्जात फीडबैक वाले आकार-संरचित प्रणालियों के लिए एक कठोर गणितीय ढांचा स्थापित करता है, जहाँ फीडबैक मुख्य परिवहन गुणांक में प्रवेश करता है। इसका महत्व तीन मुख्य क्षेत्रों में निहित है:

1. आंतरिक फीडबैक सीमाएँ: द्रव्यमान संरक्षण से फीडबैक अंतराल $[0, M_T]$ का व्युत्पन्न बाहरी कॉम्पैक्टनेस धारणाओं की आवश्यकता को समाप्त करता है, जिससे वेल-पोज़्डनेस परिणाम अधिक सुदृढ़ और भौतिक रूप से आधारित बनता है।
2. एकीकृत स्केलर मार्जिन: लेखक एक एकल स्केलर मात्रा, $1 - \Phi'(E^*)$, की पहचान करते हैं जो एक साथ निम्नलिखित को नियंत्रित करती है:
   • स्थिर क्लोजर मैप की इनवर्टिबिलिटी (स्थैतिक बिफर्केशन)।
   • रेखीयकृत गतिशील प्रणाली के शून्य विशेषता मूल का स्थान (गतिक स्थिरता)।
   • रैंक-वन एडजॉइंट समीकरण की समाधान क्षमता (इष्टतम नियंत्रण संवेदनशीलता)।
     यह "क्लोजर-रेजोनेंस" घटना एक स्पष्ट रूप से गणना योग्य स्केलर के माध्यम से स्थिर बिफर्केशन सिद्धांत को सीधे गतिक स्पेक्ट्रल विश्लेषण से जोड़ती है।
3. स्पष्ट एडजॉइंट रिडक्शन: जटिल फीडबैक एडजॉइंट सिस्टम को रैंक-वन परटर्बेशन में कम करके, शोधपत्र संरचित जनसंख्याओं के लिए इष्टतम नियंत्रण समस्याओं के लिए एक सुलभ सूत्र प्रदान करता है, जिससे यह स्पष्ट होता है कि फीडबैक हार्वेस्टिंग नीतियों में स्विचिंग थ्रेशोल्ड को कैसे संशोधित करता है।

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