Lagrange Stability for Reversible Duffing Equations with Quasi-Periodic Coefficients

तकनीकी सारांश: अर्ध-आवर्ती (Quasi-periodic) गुणांकों वाले प्रतिवर्ती डफिंग समीकरणों के लिए लैग्रेंज स्थिरता

समस्या विवरण
यह शोध पत्र अर्ध-आवर्ती गुणांकों वाले प्रतिवर्ती डफिंग समीकरण के लैग्रेंज स्थिरता समस्या को संबोधित करता है:
$$\ddot{x} + f(x, \omega t)\dot{x} + g(x, \omega t) = 0$$
जहाँ डैम्पिंग पद $f$ और रिस्टोरिंग फोर्स $g$, $x$ के बहुपद हैं जिनके गुणांक वास्तविक विश्लेषिक (real analytic), सम (even), और अर्ध-आवर्ती (quasi-periodic) हैं। विशेष रूप से:
$$f(x, \theta) = \sum_{j=0}^m a_j(\theta)x^{2j+1}, \quad g(x, \theta) = x^{2n+1} + \sum_{j=0}^{n-1} b_j(\theta)x^{2j+1}$$
आवृत्ति वेक्टर $\omega \in \mathbb{R}^d$ एक डायोफेंटाइन (Diophantine) स्थिति का पालन करता है। प्राथमिक उद्देश्य यह सिद्ध करना है कि सभी समाधानों का अस्तित्व सभी समय के लिए बना रहता है और वे फेज स्पेस में सीमित (bounded) रहते हैं (लैग्रेंज स्थिरता), तथा अनंत की ओर संचित होने वाले इनवेरिएंट टोई (invariant tori) के एक धनात्मक-माप परिवार की उपस्थिति स्थापित करना है।

यह प्रणाली गैर-हैमिल्टनियन (non-Hamiltonian) है क्योंकि इसमें डैम्पिंग पद मौजूद है, फिर भी इसमें एक प्रतिवर्ती संरचना (reversible structure) है। यह शोध पत्र तीव्र डिग्री रेंज $n \ge 2(m+1)$ को लक्षित करता है, जो कि समय-आवर्ती (time-periodic) प्रतिवर्ती प्रणालियों के लिए पहले से स्थापित शर्त है, लेकिन इसे गैर-हैमिल्टनियन डैम्पिंग वाले वास्तविक अर्ध-आवर्ती मामले में अभी तक विस्तारित नहीं किया गया था।

कार्यप्रणाली (Methodology)
प्रमाण समन्वय रूपांतरणों (coordinate transformations) और एक परिमित सामान्यीकरण प्रक्रिया (finite normalization procedure) के अनुक्रम के माध्यम से आगे बढ़ता है, जो एक प्रतिवर्ती KAM प्रमेय के अनुप्रयोग पर समाप्त होता है।

1. एक्शन-एंगल निर्देशांक (Action-Angle Coordinates): प्रणाली को सबसे पहले अनंत के पास एक्शन-एंगल वेरिएबल्स $(\rho, \phi, \theta)$ में परिवर्तित किया जाता है। यह रूपांतरण अनपर्टर्ब्ड भाग (जो $x^{2n+1}$ पद द्वारा नियंत्रित है) को एक ट्विस्ट मैप (twist map) में मैप करता है। परिणामी वेक्टर फील्ड प्रतिवर्ती इनवोल्यूशन (reversing involution) $R_0(\rho, \phi, \theta) = (\rho, -\phi, -\theta)$ के तहत विशिष्ट पैरिटी गुणों को प्रदर्शित करता है।

2. परिमित सामान्यीकरण (मुख्य नवाचार): मानक KAM दृष्टिकोणों के विपरीत, जो अनंत अभिसारी श्रृंखलाओं (infinite convergent series) पर निर्भर करते हैं, यह शोध पत्र एक परिमित-चरण सामान्यीकरण प्रक्रिया (finite-step normalization procedure) का उपयोग करता है।

   • बहुपद न्यूनीकरण (Polynomial Reduction): लेखक पहले निम्न-क्रम के अनुनाद पदों (low-order resonant terms) को हटाने के लिए एक प्रतिवर्ती बहुपद न्यूनीकरण (Liu और Zanolin से प्रेरित) लागू करते हैं।
   • लॉगारिदमिक फूरियर कट-ऑफ (Logarithmic Fourier Cut-off): फूरियर मोड को अलग करने के लिए एक लॉगारिदमिक कट-ऑफ $K = c^* \log A$ (जहाँ $A$ एक बड़ा आयाम पैरामीटर है) पेश किया जाता है।
   • गैर-अनुनादी अंतराल (Non-Resonant Intervals): स्पष्ट रूप से निर्मित गैर-अनुनादी एक्शन अंतरालों पर, लेखक खंडित होमोलॉजिकल समीकरणों (truncated homological equations) को हल करते हैं। महत्वपूर्ण रूप से, इन अंतरालों पर स्मॉल डिविजर (small divisors) को नियंत्रित किया जाता है, और "मिक्स्ड डिविजर" $D_{k\ell}(\rho) = k\nu(\rho) + \langle \ell, \omega \rangle$ शून्य से दूर रहते हैं।
   • पुनरावृत्ति और समाप्ति (Recurrence and Termination): त्रुटि पद (error terms) एक मात्रात्मक पुनरावृत्ति संबंध का पालन करते हैं। $M$ चरणों (जहाँ $M$ वांछित क्षय दर पर निर्भर करता है) को निष्पादित करके, शेष भाग को एक्शन $A$ के एक अनिश्चित लघु ऋणात्मक घात तक कम कर दिया जाता है। यह बड़े अर्ध-आवर्ती विक्षोभ (quasi-periodic perturbations) की उपस्थिति में अनंत KAM पुनरावृत्तियों की विशिष्ट स्मॉल-डिविसर अभिसरण समस्याओं से बचता है।

3. प्रतिवर्तीता का संरक्षण (Preservation of Reversibility): यह एक महत्वपूर्ण तकनीकी बिंदु है कि प्रत्येक समन्वय परिवर्तन (बहुपद न्यूनीकरण, फूरियर ट्रंकेशन, और एवरेजिंग) को प्रतिवर्ती इनवोल्यूशन के साथ कम्यूट (commute) करने के लिए बनाया गया है। यह सुनिश्चित करता है कि प्रतिवर्ती संरचना हर परिमित चरण में संरक्षित रहे, न कि केवल अंतिम नॉर्मल फॉर्म में।

4. एवरेज्ड पदों को हटाना (Removal of Averaged Terms): परिमित सामान्यीकरण के बाद, रेडियल और एंगुलर समीकरणों में शेष औसत अर्ध-आवर्ती पदों को आगे के प्रतिवर्ती समन्वय परिवर्तनों के माध्यम से हटा दिया जाता है, जिसके परिणामस्वरूप एक ऐसी प्रणाली प्राप्त होती है जहाँ विक्षोभ पर्याप्त रूप से छोटा ($O(A^{-L})$) है और फ्रीक्वेंसी मैप एक ट्विस्ट कंडीशन को संतुष्ट करता है।

5. प्रतिवर्ती KAM प्रमेय (Reversible KAM Theorem): अंतिम प्रणाली एक इंटीग्रेबल ट्विस्ट मैप का एक छोटा प्रतिवर्ती विक्षोभ है। लेखक विस्तारित फेज स्पेस में एक धनात्मक-माप परिवार के इनवेरिएंट $(d+1)$-टोई की उपस्थिति को सिद्ध करने के लिए एक मानक प्रतिवर्ती KAM प्रमेय लागू करते हैं।

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

• अर्ध-आवर्ती गैर-हैमिल्टनियन प्रणालियों का विस्तार: यह शोध पत्र समय-आवर्ती प्रतिवर्ती प्रणालियों के लिए तीव्र बहुपद स्थिरता परिणाम ($n \ge 2(m+1)$) को वास्तविक अर्ध-आवर्ती सेटिंग तक विस्तारित करता है।
• परिमित सामान्यीकरण तकनीक: लेखक एक परिमित-चरण सामान्यीकरण प्रक्रिया पेश करते है जो बहुपद न्यूनीकरण को लॉगारिदमिक फूरियर कट-ऑफ के साथ जोड़ती है। यह बड़े अर्ध-आवर्ती विक्षोभों को एक छोटे नॉर्मल फॉर्म में कम करने की अनुमति देता है, जिसमें अनंत श्रृंखला के अभिसरण की आवश्यकता नहीं होती, बल्कि एक स्पष्ट परिमित-चरण पुनरावृत्ति पर निर्भरता होती है।
• को-डायमेंशन-वन बाधाएं (Codimension-One Barriers): निर्मित इनवेरिएंट टोई विस्तारित फेज स्पेस में को-डायमेंशन-वन ग्राफ हैं। समय-आवर्ती प्रणालियों के विपरीत जहाँ पोइनकेरे मैप का उपयोग किया जाता है, ये टोई विस्तारित सिलेंडर में बाधाओं के रूप में कार्य करते हैं, जो ऑर्बिट्स को अनंत से बाहर निकलने से रोकते हैं।

मुख्य परिणाम
इस धारणा के तहत कि गुणांक वास्तविक विश्लेषिक और सम हैं, $\omega$ डायोफेंटाइन है, और $n \ge 2(m+1)$:

1. लैग्रेंज स्थिरता: समीकरण का प्रत्येक समाधान सभी $t \in \mathbb{R}$ के लिए अस्तित्व रखता है और सीमित रहता है:
   $$\sup_{t \in \mathbb{R}} (|x(t)| + |\dot{x}(t)|) < \infty$$
2. इनवेरिएंट टोई की उपस्थिति: विस्तारित प्रणाली में इनवेरिएंट $(d+1)$-टोई का एक धनात्मक-माप परिवार मौजूद है जो अनंत की ओर संचित होता है। इस टोई पर आवृत्ति वेक्टर $(\omega, \Omega)$ है, जहाँ इस परिवार के साथ $|\Omega| \to \infty$ होता है।

महत्व और दावे
शोध पत्र का दावा है कि गैर-हैमिल्टनियन प्रतिवर्ती डैम्पिंग टर्म, वास्तविक अर्ध-आवर्ती गुणांकों, और तीव्र डिग्री रेंज $n \ge 2(m+1)$ का संयोजन पिछले परिणामों द्वारा कवर नहीं किया गया था। यह कार्य बहुपद न्यूनीकरण तकनीकों (जो आवर्ती प्रणालियों के लिए उपयोग की जाती हैं) और अर्ध-आवर्ती प्रणालियों के लिए आवश्यक फूरियर विश्लेषण तकनीकों के बीच के अंतर को पाटता है।

लेखक इस बात पर जोर देते हैं कि उनका दृष्टिकोण पोइनकेरे मैप पर निर्भर नहीं है (जो $d > 1$ के लिए मौजूद नहीं होता है), बल्कि विस्तारित फेज स्पेस में इनवेरिएंट टोई के ज्यामितीय अवरोध गुण (geometric barrier property) पर आधारित है। यह परिणाम पुष्टि करता है कि प्रतिवर्ती बहुपद प्रणालियों के लिए स्थिरता की "तीव्र" डिग्री शर्त अर्ध-आवर्ती सेटिंग में भी बनी रहती है, बशर्ते कि डैम्पिंग और रिस्टोरिंग फोर्स विशिष्ट पैरिटी और डिग्री बाधाओं को पूरा करते हों।