Torus Bifurcation in the Hopf-Langford system through Averaging Theory

तकनीकी सारांश: औसत सिद्धांत के माध्यम से हॉप-लैंगफोर्ड प्रणाली में टॉरस द्विभाजन (Torus Bifurcation)

समस्या विवरण
यह शोध हॉप-लैंगफोर्ड प्रकार के तीन-आयामी स्वायत्त अवकल प्रणालियों (autonomous differential systems) के एक विशिष्ट वर्ग के स्थानीय गतिक व्यवहार की जांच करता है। मुख्य ध्यान शून्य-हॉप (zero-Hopf) संतुलन बिंदु (एक ऐसा संतुलन जिसके आइगेन मान $0$और$\pm i\omega$ हैं) से निकलने वाले आवर्ती समाधानों (periodic solutions) और इनवेरिएंट टॉरी (invariant tori) के उद्भव पर केंद्रित है। जबकि पिछले अध्ययनों ने संबंधित प्रणालियों में इनवेरिएंट टॉरी के अस्तित्व को स्थापित किया है और वैश्विक ज्यामितीय संरचनाओं का वर्णन किया है, शून्य-हॉप संतुलन के आसपास की गतिकी का पूर्ण वर्णन करने के लिए कोई सामान्य सिद्धांत मौजूद नहीं है। विशेष रूप से, यह कार्य उन स्थितियों को संबोधित करता है जिनमें एक आवर्ती कक्षा (periodic orbit) से एक द्वितीयक द्विभाजन (नेइमार्क-सैकर) होता है, जिससे एक इनवेरिएंट टॉरस का निर्माण होता है, और हॉप-लैंगफोर्ड ढांचे के भीतर ऐसी संरचनाओं के स्थिरता गुणों को निर्धारित करता है।

कार्यप्रणाली
यह अध्ययन अपने मापदंडों के एक नियमित विक्षोभ (regular perturbation) के तहत प्रणाली का विश्लेषण करने के लिए द्वितीय-क्रम औसत सिद्धांत (second-order averaging theory) का उपयोग करता है। लेखक हॉप-लैंगफोर्ड प्रणाली पर विचार करते हैं:
$$\begin{cases} \dot{x} = x(\mu - \alpha) - \beta y + xz \\ \dot{y} = \beta x + y(\mu - \alpha) + yz \\ \dot{z} = \mu z - \gamma(x^2 + y^2 + z^2) \end{cases}$$
मापदंडों $(\alpha, \beta, \gamma, \mu)$ को एक छोटे विक्षोभ पैरामीटर $\varepsilon$ के पावर सीरीज़ के रूप में विस्तारित किया गया है। कार्यप्रणाली दो मुख्य चरणों में आगे बढ़ती है:

1. आवर्ती समाधानों का अस्तित्व और स्थिरता: प्रणाली को बेलनाकार निर्देशांकों (cylindrical coordinates) में परिवर्तित किया जाता है और औसत सिद्धांत के लिए आवश्यक मानक रूप में पुनर्गठित किया जाता है। प्रथम और द्वितीय-क्रम के औसत फलनों (averaged functions) की गणना स्पष्ट रूप से की जाती है। मूल बिंदु के पास एक पृथक आवर्ती समाधान का अस्तित्व प्रथम-क्रम के औसत फलन के सरल शून्यों को खोजने द्वारा स्थापित किया जाता है। इस समाधान की स्थिरता प्रथम-क्रम के औसत फलन के जैकोबियन (Jacobian) के आइगेन मानों द्वारा निर्धारित की जाती है।
2. टोरस द्विभाजन विश्लेषण: इनवेरिएंट टॉरस के द्विभाजन का पता लगाने के लिए, लेखक संबद्ध पोइनकेरे मानचित्र (Poincaré map) के नेइमार्क-सैकर द्विभाजन से जुड़े हालिया परिणामों को लागू करते हैं। इसमें औसत फलनों के संबंध में विशिष्ट परिकल्पनाओं (विशेष रूप से, औसत प्रणाली में एक हॉप बिंदु की उपस्थिति और एक गैर-शून्य ट्रांसवर्सलिटी स्थिति) को सत्यापित करना शामिल है। विश्लेषण का मुख्य भाग पोइनकेरे मानचित्र के प्रथम लयापुनोव गुणांक ($\ell_1$) को $\varepsilon$ के पावर सीरीज़ के रूप में संगणित करना है। इस गुणांक के अग्रणी गैर-शून्य पद का चिह्न उभरते हुए टॉरस की स्थिरता और द्विभाजन की दिशा निर्धारित करता है।

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

• आवर्ती समाधानों के लिए स्पष्ट मापदंड स्थितियाँ: यह शोध विक्षोभ गुणांकों (विशेष रूप से $\alpha_1, \gamma_0, \mu_1, \alpha_2, \mu_2$, आदि) पर स्पष्ट बीजगणितीय स्थितियों को स्थापित करता है जो मूल बिंदु से निकलने वाले एक अद्वितीय आवर्ती समाधान की गारंटी देते हैं। इस आवर्ती समाधान की स्थिरता प्रथम-क्रम के औसत फलन के जैकोबियन के $2\gamma_0(\mu_1 - \alpha_1) + \mu_1$ व्यंजक के चिह्न द्वारा निर्धारित होती है: यदि यह व्यंजक ऋणात्मक है तो समाधान स्पर्शोन्मुख रूप से स्थिर (asymptotically stable) है, और यदि धनात्मक है तो अस्थिर है।
• टोरस द्विभाजन का लक्षण वर्णन: लेखक मापदंड स्थान (parameter space) में एक सहज द्विभाजन वक्र $\mu(\varepsilon)$ व्युत्पन्न करते हैं। इस वक्र के अनुदिश, आवर्ती समाधान एक नेइमार्क-सैकर द्विभाजन से गुजरता है, जिससे एक अद्वितीय इनवेरिएंट टॉरस उत्पन्न होता है।
• इनवेरिएंट टॉरस की स्थिरता: एक केंद्रीय निष्कर्ष प्रथम लयापुनोव गुणांक, $\ell_{1,2}$, की स्पष्ट गणना है, जो गुणांक के विस्तार का अग्रणी पद है। लेखक सिद्ध करते हैं कि मानी गई स्थितियों के तहत (विशेष रूप से $\gamma_0 > 0$), यह गुणांक पूर्णतः धनात्मक ($\ell_{1,2} > 0$) है।
• संरचनात्मक बाधा (Structural Obstruction): फलस्वरूप, जब भी इनवेरिएंट टॉरस मौजूद होता है, वह अस्थिर होता है। शोध निष्कर्ष निकालता है कि जब टॉरस मौजूद होता है (अर्थात विशिष्ट मापदंड स्थिति $2\gamma_0(\mu_1 - \alpha_1) + \mu_1 < 0$ पूरी होती है), तो द्विभाजित आवर्ती समाधान स्पर्शोन्मुख रूप से स्थिर होता है, लेकिन टॉरस स्वयं आस-पास के प्रक्षेप पथों (trajectories) को प्रतिकर्षित करता है। यह परिणाम इस विशिष्ट प्रकार की हॉप-लैंगफोर्ड प्रणालियों में स्पर्शोन्मुख रूप से स्थिर इनवेरिएंट टॉरी के अस्तित्व के लिए एक संरचनात्मक बाधा प्रदान करता है।

संख्यात्मक सत्यापन
सैद्धांतिक परिणामों को दो संख्यात्मक उदाहरणों के माध्यम से स्पष्ट किया गया है:

1. उदाहरण 1: एक ऐसा मापदंड सेट प्रदर्शित करता है जहाँ प्रणाली एक पृथक, स्पर्शोन्मुख रूप से स्थिर आवर्ती समाधान रखती है जिसमें कोई द्विभाजित टॉरस नहीं है।
2. उदाहरण 2: एक ऐसा मापदंड सेट प्रदर्शित करता है जो व्युत्पन्न स्थितियों को संतुष्ट करता है, जहाँ एक आवर्ती समाधान एक अस्थिर इनवेरिएंट टॉरस से घिरा होता है। गतिशीलता को प्रक्षेप पथ प्लॉट्स और एक पोइनकेरे मानचित्र के माध्यम से विज़ुअलाइज़ किया गया है, जो टॉरस की अस्थिरता की सैद्धांतिक भविष्यवाणी की पुष्टि करता है।

महत्व
यह शोध शून्य-हopf द्विभाजन के मामले में तीन-आयामी प्रणालियों की समझ में योगदान देता है, जो इनवेरिएंट टॉरी की ओर ले जाने वाले द्वितीयक द्विभाजन का एक कठोर, स्पष्ट विश्लेषण प्रदान करता है। प्रथम लयापुनोट गुणांक की स्पष्ट गणना करके और यह दिखाकर कि यह अध्ययन की गई परिकल्पनाओं के तहत हमेशा धनात्मक होता है, यह कार्य इन प्रणालियों के स्थिरता परिदृश्य को स्पष्ट करता है। यह प्रदर्शित करता है कि, उन परिदृश्यों के विपरीत जहाँ स्थिर टॉरी उभर सकते हैं, यह विशिष्ट हॉप-लैंगफोर्ड प्रणाली संरचनात्मक रूप से इस तंत्र के माध्यम से शून्य-हॉप संतुलन से निकलने वाले स्पर्शोन्मुख रूप से स्थिर टॉरी के अस्तित्व को रोकती है। इसके परिणाम डायनेमिकल सिस्टम्स की समान समस्याओं के लिए एक ठोस विश्लेषणात्मक ढांचा प्रदान करते हुए, पोइनकेरे मानचित्रों के लिए औसत सिद्धांत और नेइमार्क-सैकर द्विभाजन सिद्धांत के संयोजन के अनुप्रयोग पर निर्भर करते हैं।