Spectral separation of variables from equivalent Lagrangian systems

तकनीकी सारांश: समतुल्य लैग्रेंजियन प्रणालियों से स्पेक्ट्रल पृथक्करण (Spectral Separation)

समस्या विवरण
यह शोध पत्र इस समस्या को संबोधित करता है कि किन शर्तों के तहत एक लैग्रेंजियन प्रणाली चरों का पृथक्करण (separation of variables) स्वीकार करती है। जबकि चरों के पृथक्करण के लिए शास्त्रीय दृष्टिकोण पारंपरिक रूप से हैमिल्टन-जौबी ढांचे के भीतर तैयार किए जाते हैं—जो स्टैकेल मैट्रिसेस (Stäckel matrices), किलिंग टेंसरों (Killing tensors) और रिमानियन मेट्रिक की विशिष्ट ज्यामितीय संरचनाओं पर निर्भर करते हैं—यह कार्य एक विशुद्ध रूप से लैग्रग्रेंजियन तंत्र की जांच करता है। केंद्रीय प्रश्न यह है कि क्या दो भिन्न द्विघाती लैग्रेंजियन (quadratic Lagrangians) के बीच गतिशील तुल्यता, जो एक मानक यूक्लिडियन गतिज पद (kinetic term) और एक स्थिर सममित गतिज मैट्रिक्स (constant symmetric kinetic matrix) वाले दूसरे के साथ है, उन बीजगणितीय बाधाओं को लागू करती है जो सिस्टम को स्वतंत्र उप-प्रणालियों में विघटित करने के लिए मजबूर करती हैं।

कार्यप्रणाली
लेखक $\mathbb{R}^n$ पर दो स्वायत्त द्विघाती लैग्रेंजियनों पर विचार करते हैं:

1. $L(q, \dot{q}) = \frac{1}{2}|\dot{q}|^2 - U(q)$
2. $\tilde{L}(q, \dot{q}) = \frac{1}{2}\dot{q}^T A \dot{q} - \tilde{U}(q)$

जहाँ $A$ एक स्थिर, व्युत्क्रमणीय (invertible), सममित मैट्रिक्स है, और $U, \tilde{U}$ $C^2$ विभव (potentials) हैं। कार्यप्रणाली यह आवश्यक मानकर आगे बढ़ती है कि ये दोनों ऑयलर-लैग्रेंज समीकरणों को समान रूप से उत्पन्न करें।

1. तुल्यता की स्थिति: लेखक व्युत्पन्न करते हैं कि ऑयलर-लैग्रेंज समीकरण तभी समान होते हैं जब विभवों के ग्रेडिएंट्स इस प्रकार हों: $\nabla \tilde{U} = A \nabla U$।
2. क्रमपरिवर्तन संबंध (Commutation Relation): इस स्थिति का अवकलन करके, यह दिखाया गया है कि ऐसे विभव $\tilde{U}$ का अस्तित्व $U$ के हेसियन (Hessian) के साथ मैट्रिक्स $A$ के क्रमपरिवर्तन (commutation) के समतुल्य है: $[\partial^2_{qq}U, A] = 0$।
3. स्पेक्ट्रल अपघटन (Spectral Decomposition): सममित मैट्रिसेस के स्पेक्ट्रल प्रमेय का उपयोग करते हुए, विन्यास स्थान (configuration space) को $A$ के लंबवत आइगेनस्पेस (eigenspaces) में विभाजित किया जाता है। लेखक "स्पेक्ट्रल निर्देशांक" $x = Q^T q$ पेश करते हैं, जहाँ $Q$, $A$ को विकर्णित (diagonalize) करता है।
4. ब्लॉक पृथक्करण: इन स्पेक्ट्रल निर्देशांकों में, क्रमपरिवर्तन की स्थिति यह दर्शाती है कि विशिष्ट आइगेनस्पेस के अंतर्गत आने वाले निर्देशांकों के बीच मिश्रित आंशिक अवकलज (mixed partial derivatives) शून्य हो जाते हैं। फलस्वरूप, $U$ और $\tilde{U}$ विशिष्ट आइगेनस्पेस के निर्देशांकों पर निर्भर कार्यों के योग में विघटित हो जाते हैं।

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

• स्पेक्ट्रल पृथक्करण प्रमेय: यह शोध पत्र स्थापित करता है कि यदि दो द्विघाती लैग्रेंजियन गतिशील रूप से तुल्य हैं, तो विभव $U$ को गतिज मैट्रिक्स $A$ के आइगेनस्पेस अपघटन के अनुसार विभाजित होना चाहिए।

  • दुर्बल पृथक्करण (Weak Separation - प्रमेय 3.3): यदि $A$ के आइगेनमान $m_k$ बहुलता के साथ भिन्न हैं, तो सिस्टम $r$ स्वतंत्र ब्लॉकों में विघटित हो जाता है, जहाँ प्रत्येक ब्लॉक एक $m_k$ आयाम वाले आइगेनस्पेस के अनुरूप होता है। प्रत्येक ब्लॉक के गति के समीकरण दूसरों से स्वतंत्र होते हैं।
  • पूर्ण पृथक्करण (Full Separation - प्रमेय 3.4): यदि $A$ का स्पेक्ट्रम सरल है (सभी आइगेनमान भिन्न हैं, $m_k=1$), तो सिस्टम पूर्ण चर पृथक्करण प्राप्त करता है। गति के समीकरण $n$ स्वतंत्र एक-आयामी दोलकों (oscillators) में विघटित हो जाते हैं, और सिस्टम के पास $n$ स्वतंत्र द्विघाती प्रथम समाकल (first integrals/block energies) होते हैं।

• समाकलों का स्पष्ट निर्माण: यह ढांचा किलिंग टेंसरों को पूर्व-निर्धारित किए बिना या पृथक्करण को पूर्व-मान्यता दिए बिना, सीधे लैग्रेंजियन स्तर पर पृथक निर्देशांकों और संरक्षित राशियों का निर्माण करने के लिए एक स्पष्ट तंत्र प्रदान करता है। संरक्षित राशियाँ ब्लॉक ऊर्जाओं के रैखिक संयोजन हैं।

• एकीकृत प्रणालियों (Integrable Systems) पर अनुप्रयोग:

  • सावादा-कोटोरा (Sawada–Kotera) प्रणाली: सिद्धांत को दो-आयामी सावादा-कोटोरा प्रणाली पर लागू किया गया है। घन (cubic) विभव के हेसियन के साथ क्रमपरिवर्तित होने वाले एक स्थिर सममित मैट्रिक्स $A$ को खोजकर, लेखक ज्ञात पूर्ण चर पृथक्करण और संबद्ध प्रथम समाकलों को पुनः प्राप्त करते हैं।
  • n-आयामी हेनॉन-हील्स (Hénon–Heiles) मॉडल: यह शोध पत्र हेनॉन-हील्स मॉडल के $n$-आयामी विस्तार का विश्लेषण करता है। यह प्रदर्शित करता है कि एक स्थिर क्रमपरिवर्तित मैट्रिक्स $A$ के लिए आवश्यकता अत्यधिक प्रतिबंधात्मक है। विश्लेषण यह पुनः प्राप्त करता है कि शास्त्रीय एकीकृत पैरामीटर शासन (जैसे हार्मोनिक आवृत्तियों के विशिष्ट अनुपात) ही एकमात्र मामले हैं जहाँ मैट्रिक्स $A$ स्थिर रहता है और सिस्टम विभाज्य होता है। सामान्य पैरामीटर शासन में, मैट्रिक्स $A$ विन्यास-निर्भर हो जाता है, और स्पेक्ट्रल पृथक्करण विफल हो जाता है।
  • ट्रांसेंडेंटल विभव (Transcendental Potentials): $\mathbb{R}^4$ में एक ट्रांसेंडेंटल विभव के साथ एक उदाहरण दिया गया है, जो दिखाता है कि यह विधि गैर-बहुपद प्रणालियों पर भी लागू होती है, जिससे ब्लॉक-पृथक गतिकी प्राप्त होती है।

• विपरीत लक्षण वर्णन (गैर-सममित मामला): यह शोध पत्र गैर-सममित स्थिर गतिज मैट्रिसेस वाली प्रणालियों के लिए विपरीत समस्या को संबोधित करता है। यह सिद्ध करता है कि एक गैर-सममित $A$ वाली प्रणाली के पूर्णतः पृथक प्रणाली के रूप में गतिशील रूप से तुल्य होने के लिए, प्रभावी विभव द्विघाती (एक हार्मोनिक दोलकों का संग्रह) होना चाहिए। यह रेखांकित करता है कि गैर-सममित मामले में पृथक्करण एक अत्यंत प्रतिबंधात्मक स्थिति है।

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

यह कार्य स्वयं को शास्त्रीय स्टैकेल-बेनीटी (Stäckel–Beniti) सिद्धांत के पूरक के रूप में प्रस्तुत करता है। जहाँ शास्त्रीय सिद्धांत पृथक निर्देशांक खोजने के लिए एक विशिष्ट ज्यामितीय संरचना को मानता है, वहीं यह दृष्टिकोण दो लैग्रेंजियन की गतिशील तुल्यता से शुरू होकर एक ऐसे स्पेक्ट्रल अपघटन के अस्तित्व को व्युत्पन्न करता है जो गतिकी को विघटित करने के लिए मजबूर करता है। इस ढांचे को गैर-रेखीय प्रणालियों में एकीकृत शासन की पहचान करने के लिए एक रचनात्मक उपकरण के रूप में प्रस्तुत किया गया है, विशेष रूप से जहाँ दूसरे द्विघाती समाकल का अस्तित्व गतिज पद के स्पेक्ट्रल गुणों से जुड़ा होता है।