मैग्नस विस्तार: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
1907-1990 में, गणित और भौतिकी को  [[विल्हेम मैग्नस]] के नाम पर रखा गया था। मैग्नस विस्तार एक रेखीय ऑपरेटर के रूप में जाना जाता है। पहले क्रम के सजातीय [[रैखिक अंतर समीकरण]] के समाधान में एक घातीय निरूपण के रूप  में प्रदान करता है। और यह विशेष रूप से यह भिन्न -भिन्न गुणांक वाले क्रम n के [[रैखिक अवकलन समीकरणों|रैखिक अवकल समीकरणों]] की एक प्रणाली के मौलिक [[मौलिक मैट्रिक्स (रैखिक अंतर समीकरण)|आव्यूह]] को प्रस्तुत करता है और  घातांक को एक अनंत श्रृंखला के रूप में प्रदर्शित करता है, जिसकी शर्तों में एकाधिक समाकलन और नेस्टेड कम्यूटेटर के रूप में सम्मिलत होता हैं।   
1907-1990 में, गणित और भौतिकी को [[विल्हेम मैग्नस]] के नाम पर रखा गया था। मैग्नस विस्तार एक रेखीय ऑपरेटर के रूप में जाना जाता है। पहले क्रम के सजातीय [[रैखिक अंतर समीकरण]] के समाधान में एक घातीय निरूपण के रूप में प्रदान करता है। और यह विशेष रूप से यह भिन्न -भिन्न गुणांक वाले क्रम n के [[रैखिक अवकलन समीकरणों|रैखिक अवकल समीकरणों]] की एक प्रणाली के मौलिक [[मौलिक मैट्रिक्स (रैखिक अंतर समीकरण)|आव्यूह]] को प्रस्तुत करता है और घातांक को एक अनंत श्रृंखला के रूप में प्रदर्शित करता है, जिसकी शर्तों में एकाधिक समाकलन और नेस्टेड कम्यूटेटर के रूप में सम्मिलत होता हैं।   


=== मैग्नस दृष्टिकोण और इसकी व्याख्या ===
=== मैग्नस दृष्टिकोण और इसकी व्याख्या ===


यदि {{math|''n'' × ''n''}} गुणांक आव्यूह {{math|''A''(''t'')}}, के रूप में होते है और रैखिक अवकल समीकरण से जुड़ी [[प्रारंभिक-मूल्य समस्या]] को हल करते है।     
यदि {{math|''n'' × ''n''}} गुणांक आव्यूह {{math|''A''(''t'')}}, के रूप में होते है और रैखिक अवकल समीकरण से जुड़ी [[प्रारंभिक-मूल्य समस्या]] को हल करते है।     


: <math>Y'(t) = A(t) Y(t), \quad Y(t_0) = Y_0</math>
: <math>Y'(t) = A(t) Y(t), \quad Y(t_0) = Y_0</math>
यदि फलन {{math|''Y''(''t'')}}.के लिए {{mvar|n}}-आयामी सदिश के रूप में होता है  
यदि फलन {{math|''Y''(''t'')}}.के लिए {{mvar|n}}-आयामी सदिश के रूप में होता है  


जहाँ n = 1, समाधान के रूप में पढ़ता है   
जहाँ n = 1, समाधान के रूप में पढ़ता है   
: <math>Y(t) = \exp \left( \int_{t_0}^t A(s)\,ds \right) Y_0.</math>
: <math>Y(t) = \exp \left( \int_{t_0}^t A(s)\,ds \right) Y_0.</math>
यदि n > 1 के लिए मान्य रूप में है, यदि आव्यूह At1 At2 = At2 At1 को t t1 और t2 के मानों के किसी भी जोड़े के लिए संतुष्ट करता है। यदि आव्यूह A t के रूप में स्वतंत्र है। चूकि सामान्य स्थिति में उपरोक्त अभिव्यक्ति की समस्या का समाधान नहीं है।
यदि n > 1 के लिए मान्य रूप में है, यदि आव्यूह At1 At2 = At2 At1 को t t1 और t2 के मानों के किसी भी जोड़े के लिए संतुष्ट करता है। यदि आव्यूह A t के रूप में स्वतंत्र है। चूकि सामान्य स्थिति में उपरोक्त अभिव्यक्ति की समस्या का समाधान नहीं है।


आव्यूह प्रारंभिक-मूल्य समस्या को हल करने के लिए मैग्नस द्वारा प्रस्तुत किया गया दृष्टिकोण है, यह एक निश्चित n × n आव्यूह Ω(t, t0) के घातांक के माध्यम से समाधान को व्यक्त करता है
आव्यूह प्रारंभिक-मूल्य समस्या को हल करने के लिए मैग्नस द्वारा प्रस्तुत किया गया दृष्टिकोण है, यह एक निश्चित n × n आव्यूह Ω(t, t0) के घातांक के माध्यम से समाधान को व्यक्त करता है


: <math>Y(t) = \exp\big(\Omega(t, t_0)\big) \, Y_0,</math>
: <math>Y(t) = \exp\big(\Omega(t, t_0)\big) \, Y_0,</math>
जिसे बाद में [[श्रृंखला (गणित)]] के विस्तार रूप में बनाया गया है  
जिसे बाद में [[श्रृंखला (गणित)]] के विस्तार रूप में बनाया गया है  
: <math>\Omega(t) = \sum_{k=1}^\infty \Omega_k(t),</math>
: <math>\Omega(t) = \sum_{k=1}^\infty \Omega_k(t),</math>
जहां सरलता से लिखने का अभ्यास {{math|Ω(''t'')}} के लिए {{math|Ω(''t'', ''t''<sub>0</sub>)}} और ''t''<sub>0</sub> = 0.के रूप में बनाया गया है।
जहां सरलता से लिखने का अभ्यास {{math|Ω(''t'')}} के लिए {{math|Ω(''t'', ''t''<sub>0</sub>)}} और ''t''<sub>0</sub> = 0.के रूप में बनाया गया है।


मैग्नस ने इसकी सराहना की {{math|{{sfrac|''d''|''dt''}} (''e''<sup>Ω</sup>) ''e''<sup>−Ω</sup> {{=}} ''A''(''t'')}}, पॉइनकेयर हौसडॉर्फ आव्यूह इकाई का उपयोग करते है, इसलिए वह Ω के व्युत्पन्न समय को बर्नौली संख्याओं के निर्माण फलन और Ω के आसन्न एंडोमोर्फिज्म से संबंधित होता है।     
मैग्नस ने इसकी सराहना की {{math|{{sfrac|''d''|''dt''}} (''e''<sup>Ω</sup>) ''e''<sup>−Ω</sup> {{=}} ''A''(''t'')}}, पॉइनकेयर हौसडॉर्फ आव्यूह इकाई का उपयोग करते है, इसलिए वह Ω के व्युत्पन्न समय को बर्नौली संख्याओं के निर्माण फलन और Ω के आसन्न एंडोमोर्फिज्म से संबंधित होता है।     


: <math>\Omega' = \frac{\operatorname{ad}_\Omega}{\exp(\operatorname{ad}_\Omega) - 1} A,</math>
: <math>\Omega' = \frac{\operatorname{ad}_\Omega}{\exp(\operatorname{ad}_\Omega) - 1} A,</math>
सीबीएच विस्तार के निरंतर एनालॉग {{mvar|A}} के संदर्भ में {{mvar|Ω}} के लिए आवर्ती रूप से हल करने के लिए बनाया गया है, जैसा कि बाद के खंड में बताया गया है।
सीबीएच विस्तार के निरंतर एनालॉग {{mvar|A}} के संदर्भ में {{mvar|Ω}} के लिए आवर्ती रूप से हल करने के लिए बनाया गया है, जैसा कि बाद के खंड में बताया गया है।


आव्यूह के रैखिक प्रारंभिक-मूल्य समस्या के समाधान के लिए उपरोक्त समीकरण मैग्नस विस्तार या मैग्नस श्रृंखला का गठन करता है। इस श्रृंखला के पहले चार पदों को इस रूप में दर्शाते है  
आव्यूह के रैखिक प्रारंभिक-मूल्य समस्या के समाधान के लिए उपरोक्त समीकरण मैग्नस विस्तार या मैग्नस श्रृंखला का गठन करता है। इस श्रृंखला के पहले चार पदों को इस रूप में दर्शाते है  


: <math>
: <math>
Line 39: Line 39:
  \end{align}
  \end{align}
</math>
</math>
जहां {{math|[''A'', ''B''] ≡ ''A'' ''B'' − ''B'' ''A''}} है। A और B का आव्यूह कम्प्यूटटेर के रूप में होता है।  
जहां {{math|[''A'', ''B''] ≡ ''A'' ''B'' − ''B'' ''A''}} है। A और B का आव्यूह कम्प्यूटटेर के रूप में होता है।  


इन समीकरणों की व्याख्या इस प्रकार की जा सकती है कि {{math|Ω<sub>1</sub>(''t'')}} अदिश घातांक के (n = 1) स्थिति में सामंजस्यपूर्ण मेल खाता है, लेकिन यह समीकरण समस्त समाधान के रूप में नहीं होता है। यदि कोई घातीय प्रतिनिधित्व [[लही समूह]] पर जोर देता है, तो घातांक को सही करने की आवश्यकता होती है। मैग्नस श्रृंखला के शेष भागो में यह सुधार व्यवस्थित रूप से किया जाता है। और इस प्रकार Ω या इसके कुछ भागो के समाधान में लही समूह के अस्तित्व को बीजगणित रूप प्रदान करता है।
इन समीकरणों की व्याख्या इस प्रकार की जा सकती है कि {{math|Ω<sub>1</sub>(''t'')}} अदिश घातांक के (n = 1) स्थिति में सामंजस्यपूर्ण मेल खाता है, लेकिन यह समीकरण समस्त समाधान के रूप में नहीं होता है। यदि कोई घातीय प्रतिनिधित्व [[लही समूह]] पर जोर देता है, तो घातांक को सही करने की आवश्यकता होती है। मैग्नस श्रृंखला के शेष भागो में यह सुधार व्यवस्थित रूप से किया जाता है। और इस प्रकार Ω या इसके कुछ भागो के समाधान में लही समूह के अस्तित्व को बीजगणित रूप प्रदान करता है।


अनुप्रयोगों में संभवतया कभी मैग्नस श्रृंखला का योग किया जा सकता है और अनुमानित समाधान प्राप्त करने के लिए इसे कम करना पड़ता है। मैग्नस प्रस्ताव का मुख्य लाभ यह है ,कि काट-छाँट की गई श्रृंखला अधिकांशतः महत्वपूर्ण गुणात्मक गुणों को सटीक समाधान के रूप में साझा करती है, जो अन्य पारंपरिक [[क्वांटम यांत्रिकी]] के साथ भिन्न रूप में होती है। उदाहरण के लिए, [[मौलिक यांत्रिकी]] में समय के विकास के [[संसुघटित]] गुण को सन्निकटन के हर क्रम में संरक्षित किया जाता है। इसी तरह, [[क्वांटम यांत्रिकी]] में [[ समय विकास |समय विस्तार]] ऑपरेटर के एकात्मक गुण को भी इसके विपरीत संरक्षित किया जाता है, उदाहरण के लिए, उसी समस्या को हल करने वाली डायसन श्रृंखला के लिए उपयोग  किया जाता है।   
अनुप्रयोगों में संभवतया कभी मैग्नस श्रृंखला का योग किया जा सकता है और अनुमानित समाधान प्राप्त करने के लिए इसे कम करना पड़ता है। मैग्नस प्रस्ताव का मुख्य लाभ यह है ,कि काट-छाँट की गई श्रृंखला अधिकांशतः महत्वपूर्ण गुणात्मक गुणों को सटीक समाधान के रूप में साझा करती है, जो अन्य पारंपरिक [[क्वांटम यांत्रिकी]] के साथ भिन्न रूप में होती है। उदाहरण के लिए, [[मौलिक यांत्रिकी]] में समय के विकास के [[संसुघटित]] गुण को सन्निकटन के हर क्रम में संरक्षित किया जाता है। इसी तरह, [[क्वांटम यांत्रिकी]] में [[ समय विकास |समय विस्तार]] ऑपरेटर के एकात्मक गुण को भी इसके विपरीत संरक्षित किया जाता है, उदाहरण के लिए, उसी समस्या को हल करने वाली डायसन श्रृंखला के लिए उपयोग किया जाता है।   


=== विस्तार का अभिसरण ===
=== विस्तार का अभिसरण ===
Line 51: Line 51:
{{math|''t'' ∈  [0,''T'')}} के लिए [[अभिसरण]] करने के लिए इस श्रृंखला के लिए एक पर्याप्त शर्त है।
{{math|''t'' ∈  [0,''T'')}} के लिए [[अभिसरण]] करने के लिए इस श्रृंखला के लिए एक पर्याप्त शर्त है।
: <math>\int_0^T \|A(s)\|_2 \, ds < \pi,</math>
: <math>\int_0^T \|A(s)\|_2 \, ds < \pi,</math>
यहाँ   <math>\| \cdot \|_2</math> एक [[मैट्रिक्स मानदंड|आव्यूह विशिष्ट गुण]] को दर्शाता है। यह परिणाम इस अर्थ में सामान्य है, कि कोई विशिष्ट आव्यूह का निर्माण कर सकता है जिसके लिए {{math|''A''(''t'')}} श्रृंखला किसी के लिए भिन्न हो जाती है {{math|''t'' > ''T''}}.  
यहाँ <math>\| \cdot \|_2</math> एक [[मैट्रिक्स मानदंड|आव्यूह विशिष्ट गुण]] को दर्शाता है। यह परिणाम इस अर्थ में सामान्य रूप में है, कि कोई विशिष्ट आव्यूह का निर्माण करता है जिसके लिए {{math|''A''(''t'')}} श्रृंखला किसी के लिए भिन्न रूप में हो जाती है {{math|''t'' > ''T''}}.  


=== मैग्नस जनरेटर ===
=== मैग्नस जनरेटर ===


मैग्नस विस्तार में सभी शर्तों को उत्पन्न करने के लिए एक आवर्ती प्रक्रिया मेट्रिसेस का उपयोग करती है {{math| ''S''<sub>''n''</sub><sup>(''k'')</sup>}} के माध्यम से आवर्ती रूप को परिभाषित किया गया है।
मैग्नस विस्तार में सभी अवस्था को उत्पन्न करने के लिए एक आवर्ती प्रक्रिया मेट्रिसेस का उपयोग करती है {{math| ''S''<sub>''n''</sub><sup>(''k'')</sup>}} के माध्यम से आवर्ती रूप को परिभाषित किया जाता है।
:<math>S_n^{(j)} = \sum_{m=1}^{n-j} \left[\Omega_m, S_{n-m}^{(j-1)}\right], \quad 2 \leq j \leq n - 1,</math>
:<math>S_n^{(j)} = \sum_{m=1}^{n-j} \left[\Omega_m, S_{n-m}^{(j-1)}\right], \quad 2 \leq j \leq n - 1,</math>
: <math>S_n^{(1)} = \left[\Omega_{n-1}, A\right], \quad S_n^{(n-1)} = \operatorname{ad}_{\Omega_1}^{n-1}(A),</math>
: <math>S_n^{(1)} = \left[\Omega_{n-1}, A\right], \quad S_n^{(n-1)} = \operatorname{ad}_{\Omega_1}^{n-1}(A),</math>
Line 61: Line 61:
: <math>\Omega_1 = \int_0^t A(\tau) \, d\tau,</math>
: <math>\Omega_1 = \int_0^t A(\tau) \, d\tau,</math>
: <math>\Omega_n = \sum_{j=1}^{n-1} \frac{B_j}{j!} \int_0^t S_n^{(j)}(\tau) \, d\tau , \quad n \geq 2.</math>
: <math>\Omega_n = \sum_{j=1}^{n-1} \frac{B_j}{j!} \int_0^t S_n^{(j)}(\tau) \, d\tau , \quad n \geq 2.</math>
यहाँ ad<sup>''k''</sup><sub>Ω</sub> एक आवृत्ति है ,यहाँ उच्चारण के लिए एक संक्षिप्त लिपि है,अनुमानित अन्तःआकृतिक देखे जा सकते  है।  
यहाँ ad<sup>''k''</sup><sub>Ω</sub> एक आवृत्ति है ,यहाँ पुनरावृत्त कम्यूटेटर के लिए एक संक्षिप्त आशुलिपि के रूप में है और इस प्रकार इसके निकटवर्ती एंडोमोर्फिज़्म देखे जा सकते है।  
: <math>\operatorname{ad}_{\Omega}^0 A = A, \quad \operatorname{ad}_{\Omega}^{k+1} A = [\Omega, \operatorname{ad}_\Omega^k A],</math>
: <math>\operatorname{ad}_{\Omega}^0 A = A, \quad \operatorname{ad}_{\Omega}^{k+1} A = [\Omega, \operatorname{ad}_\Omega^k A],</math>
जबकि {{math|''B''<sub>''j''</sub>}} के साथ एक बर्नूली नंबर हैं {{math|1=''B''<sub>1</sub> = −1/2}}.
जबकि {{math|''B''<sub>''j''</sub>}} के साथ एक बर्नूली नंबर के रूप में हैं {{math|1=''B''<sub>1</sub> = −1/2}}.


अंत में जब इस पुनर्चक्रण पर स्पष्ट रूप से काम किया जाता है तो {{math|Ω<sub>''n''</sub>(''t'')}} को n आव्यूह A वाले n- 1 नेस्टेड कम्यूटेटर के n-फोल्ड इंटीग्रल के रैखिक संयोजन के रूप में व्यक्त किया जा सकता हैं.
अंत में जब इस पुनर्चक्रण पर स्पष्ट रूप से काम किया जाता है तो {{math|Ω<sub>''n''</sub>(''t'')}} को n आव्यूह A वाले n- 1 नेस्टेड कम्यूटेटर के n-फोल्ड इंटीग्रल के रैखिक संयोजन के रूप में व्यक्त किया जा सकता हैं,
: <math>
: <math>
  \Omega_n(t) =
  \Omega_n(t) =
Line 73: Line 73:
   \int_0^t \operatorname{ad}_{\Omega_{k_1}(\tau)} \operatorname{ad}_{\Omega_{k_2}(\tau )} \cdots
   \int_0^t \operatorname{ad}_{\Omega_{k_1}(\tau)} \operatorname{ad}_{\Omega_{k_2}(\tau )} \cdots
           \operatorname{ad}_{\Omega_{k_j}(\tau)} A(\tau) \, d\tau, \quad n \ge 2,</math>
           \operatorname{ad}_{\Omega_{k_j}(\tau)} A(\tau) \, d\tau, \quad n \ge 2,</math>
जो अधिक जटिल हो जाता है {{mvar|n}}.
जहाँ {{mvar|n}}.अधिक जटिल रूप में होता है


== स्टोकेस्टिक केस ==
== स्टोकेस्टिक केस ==


=== स्टोकेस्टिक साधारण अंतर समीकरणों का विस्तार ===
=== स्टोकेस्टिक साधारण अवकलन समीकरणों का विस्तार ===
स्टोकेस्टिक स्थितिके विस्तार के लिए अनुमति <math display="inline">\left(W_t\right)_{t\in [0,T]}</math> एक प्रणाली है। <math display="inline">\mathbb{R}^q</math>-आयामी [[एक प्रकार कि गति]],है। <math display="inline">q\in \mathbb{N}_{>0}</math>, प्रायिकता के स्थान पर <math display="inline">\left(\Omega,\mathcal{F},\mathbb{P}\right)</math>को रखा गया है,  
स्टोकेस्टिक स्थिति के विस्तार के लिए अनुमति <math display="inline">\left(W_t\right)_{t\in [0,T]}</math> एक प्रणाली है। <math display="inline">\mathbb{R}^q</math>-आयामी [[एक प्रकार कि गति]],है। <math display="inline">q\in \mathbb{N}_{>0}</math>, प्रायिकता के स्थान पर <math display="inline">\left(\Omega,\mathcal{F},\mathbb{P}\right)</math>को रखा गया है,  


परिमित समय क्षितिज के साथ <math display="inline">T>0</math> प्राकृतिक निस्पंदन को दर्शाती  है।अब, रैखिक आव्यूह -मूल्यवान स्टोचैस्टिक इटो डिफरेंशियल समीकरण (आइंस्टीन सूचकांक के समीकरण सम्मेलन  {{math|''j''}} के साथ विचार कर रहे थे
परिमित समय क्षितिज के साथ <math display="inline">T>0</math> प्राकृतिक निस्पंदन को दर्शाती है।अब, रैखिक आव्यूह -मूल्यवान स्टोचैस्टिक इटो अवकलन समीकरण आइंस्टीन सूचकांक के समीकरण के रूप में {{math|''j''}} के क्रियान्वित किया जाता है।
: <math> dX_t = B_t X_t dt + A_t^{(j)} X_t dW_t^j,\quad X_0=I_d,\qquad d\in\mathbb{N}_{>0},</math>
: <math> dX_t = B_t X_t dt + A_t^{(j)} X_t dW_t^j,\quad X_0=I_d,\qquad d\in\mathbb{N}_{>0},</math>
जहाँ <math display="inline">B_{\cdot},A_{\cdot}^{(1)},\dots,A_{\cdot}^{(j)}</math>क्रमिक रूप से मापने योग्य हैं <math display="inline">d\times d</math>-वैल्यूड बाउंड [[स्टचास्तिक प्रोसेसेज़|स्टचास्तिक प्रक्रिया]] और <math display="inline">I_d</math> इकाई आव्यूह है। स्टोचैस्टिक समायोजन के कारण परिवर्तन के साथ नियतात्मक स्थितिभी उसी दृष्टिकोण का पालन करते है <ref>{{harvnb|Kamm|Pagliarani|Pascucci|2020}}</ref> संबंधित आव्यूह लघुगणक एक इटो-प्रक्रिया के रूप में निकलते है, जिसके पहले दो प्रसार आदेश द्वारा दिए गए हैं <math display="inline">Y_t^{(1)}=Y_t^{(1,0)}+Y_t^{(0,1)}</math> और <math display="inline">Y_t^{(2)}=Y_t^{(2,0)}+Y_t^{(1,1)}+Y_t^{(0,2)}</math>
जहाँ <math display="inline">B_{\cdot},A_{\cdot}^{(1)},\dots,A_{\cdot}^{(j)}</math>क्रमिक रूप से मापने योग्य हैं <math display="inline">d\times d</math> वैल्यूड बाउंड [[स्टचास्तिक प्रोसेसेज़|स्टचास्तिक प्रक्रिया]] और <math display="inline">I_d</math> इकाई आव्यूह के रूप में होता है। स्टोचैस्टिक समायोजन के कारण परिवर्तन के साथ नियतात्मक स्थिति भी उसी दृष्टिकोण की स्वीकृति प्रदान करती है <ref>{{harvnb|Kamm|Pagliarani|Pascucci|2020}}</ref> और इस प्रकार संबंधित आव्यूह लघुगणक एक इटो-प्रक्रिया के रूप में निकलते है, जिसके पहले दो प्रसार क्रमबद्ध द्वारा दिए गए हैं <math display="inline">Y_t^{(1)}=Y_t^{(1,0)}+Y_t^{(0,1)}</math> और <math display="inline">Y_t^{(2)}=Y_t^{(2,0)}+Y_t^{(1,1)}+Y_t^{(0,2)}</math>


जहाँआइंस्टीन के योग सम्मेलन के साथ {{math|''i''}} और {{math|''j''}} काम करते है.
जहाँ आइंस्टीन के योग कन्वेंशन के साथ {{math|''i''}} और {{math|''j''}} काम करते है


: <math>
: <math>
Line 99: Line 99:


=== विस्तार का अभिसरण ===
=== विस्तार का अभिसरण ===
स्टोकेस्टिक समायोजन में अभिसरण अब रुकने के समय के अधीन होगा <math display="inline">\tau</math> और पहला अभिसरण परिणाम इसके द्वारा दिया जाता है:<ref>{{harvnb|Kamm|Pagliarani|Pascucci|2020|loc=Theorem 1.1}}</ref>
स्टोकेस्टिक समायोजन में अभिसरण अब रुकने के समय के अधीन होता है <math display="inline">\tau</math> पहला अभिसरण परिणाम इसके द्वारा दिया जाता है<ref>{{harvnb|Kamm|Pagliarani|Pascucci|2020|loc=Theorem 1.1}}</ref>


गुणांकों पर पिछली धारणा के अनुसार एक मजबूत समाधान उपलब्ध है <math display="inline">X=(X_t)_{t\in[0,T]}</math>, साथ ही एक सख्ती से सकारात्मक  
और इस प्रकार गुणांकों पर पिछली आस्था के अनुसार एक मजबूत समाधान उपलब्ध होता है <math display="inline">X=(X_t)_{t\in[0,T]}</math>, साथ ही एक सख्ती से सकारात्मक  


रुकने का समय <math display="inline">\tau\leq T</math> ऐसा है कि:
रुकने का समय <math display="inline">\tau\leq T</math> इस रूप मेंइस प्रकार दिखाया जाता है  


# <math display="inline">X_t</math> एक वास्तविक लघुगणक है <math display="inline">Y_t</math> समय तक <math display="inline">\tau</math>, अर्थात<br />
# <math display="inline">X_t</math> एक वास्तविक लघुगणक है <math display="inline">Y_t</math> समय तक <math display="inline">\tau</math>, अर्थात<br />
#: <math>X_t = e^{Y_t},\qquad 0\leq t<\tau; </math>
#: <math>X_t = e^{Y_t},\qquad 0\leq t<\tau; </math>
# निम्नलिखित प्रतिनिधित्व धारण करता है <math display="inline">\mathbb{P}</math>-लगभग निश्चित रूप से:<br />
# निम्नलिखित प्रतिनिधित्व धारण करता है <math display="inline">\mathbb{P}</math>-लगभग निश्चित रूप से इस प्रकार व्यक्त किया जाता है <br />
#: <math>Y_t = \sum_{n=0}^{\infty} Y^{(n)}_t,\qquad 0\leq t<\tau,</math><br />
#: <math>Y_t = \sum_{n=0}^{\infty} Y^{(n)}_t,\qquad 0\leq t<\tau,</math><br />
#:कहाँ <math display="inline">Y^{(n)}</math> है {{math|''n''}}-वाँ शब्द स्टोचैस्टिक मैग्नस विस्तार में जैसा कि उपखंड मैग्नस विस्तार सूत्र में नीचे परिभाषित किया गया है;
#:जहाँ <math display="inline">Y^{(n)}</math>, {{math|''n''}}-वाँ शब्द स्टोचैस्टिक मैग्नस विस्तार के रूप में है, जैसा कि उपखंड मैग्नस विस्तार सूत्र में नीचे परिभाषित किया गया है
# एक सकारात्मक स्थिरांक उपलब्ध है {{math|''C''}}, मात्र पर निर्भर है <math display="inline">\|A^{(1)}\|_{T},\dots,\|A^{(q)}\|_{T}, \|B\|_{T}, T, d</math>, साथ <math display="inline">\|A_{\cdot}\|_T=\|\|A_t\|_{F}\|_{L^{\infty}(\Omega\times [0,T])}</math>, ऐसा कि<br />
# एक सकारात्मक स्थिरांक {{math|''C''}}, पर निर्भर है <math display="inline">\|A^{(1)}\|_{T},\dots,\|A^{(q)}\|_{T}, \|B\|_{T}, T, d</math>, साथ <math display="inline">\|A_{\cdot}\|_T=\|\|A_t\|_{F}\|_{L^{\infty}(\Omega\times [0,T])}</math>, ऐसा कि<br />
#: <math> \mathbb{P} (\tau \leq t) \leq C t,\qquad t\in[0,T].</math>
#: <math> \mathbb{P} (\tau \leq t) \leq C t,\qquad t\in[0,T].</math> इस प्रकार व्यक्त किया जाता है




=== मैग्नस विस्तार सूत्र ===
=== मैग्नस विस्तार सूत्र ===
स्टोचैस्टिक मैग्नस विस्तार के लिए सामान्य विस्तार सूत्र द्वारा दिया गया है:
स्टोचैस्टिक मैग्नस विस्तार के लिए सामान्य विस्तार सूत्र द्वारा दिया गया है
: <math>Y_t = \sum_{n=0}^{\infty} Y^{(n)}_t \quad \text{with}\quad Y^{(n)}_t  := \sum_{r=0}^{n} Y^{(r,n-r)}_t,</math>
: <math>Y_t = \sum_{n=0}^{\infty} Y^{(n)}_t \quad \text{with}\quad Y^{(n)}_t  := \sum_{r=0}^{n} Y^{(r,n-r)}_t,</math>
जहां सामान्य शब्द <math display="inline">Y^{(r,n-r)}</math> प्रपत्र की एक इटो-प्रक्रिया है:
जहां सामान्य शब्द <math display="inline">Y^{(r,n-r)}</math> प्रपत्र की एक इटो-प्रक्रिया के रूप में होते है
: <math> Y^{(r,n-r)}_t = \int_0^t \mu^{r,n-r}_s d s + \int_0^t \sigma^{r,n-r,j}_s d W^j_s, \qquad n\in \mathbb{N}_0, \ r=0,\dots,n, </math>
: <math> Y^{(r,n-r)}_t = \int_0^t \mu^{r,n-r}_s d s + \int_0^t \sigma^{r,n-r,j}_s d W^j_s, \qquad n\in \mathbb{N}_0, \ r=0,\dots,n, </math>
शर्तें <math display="inline">\sigma^{r,n-r,j},\mu^{r,n-r}</math> आवर्ती के रूप में परिभाषित किया गया है
शर्तें <math display="inline">\sigma^{r,n-r,j},\mu^{r,n-r}</math> आवर्ती के रूप में परिभाषित किया गया है
Line 145: Line 145:
\end{align}
\end{align}
</math>
</math>
और ऑपरेटरों के साथ {{math|''S''}} के रूप में परिभाषित किया जा रहा है
और ऑपरेटरों के साथ {{math|''S''}} के रूप में परिभाषित किया जाता है
: <math>
: <math>
\begin{align}
\begin{align}
Line 173: Line 173:
== अनुप्रयोग ==
== अनुप्रयोग ==


1960 के दशक के बाद से, [[परमाणु भौतिकी]] और [[आणविक भौतिकी]] से लेकर परमाणु चुंबकीय अनुनाद तक, भौतिकी और रसायन विज्ञान के कई क्षेत्रों में मैग्नस विस्तार को एक प्रेरक उपकरण के रूप में सफलतापूर्वक लागू किया गया है।<ref>{{cite journal |last1=Haeberlen |first1=U. |last2=Waugh |first2=J.S. |title=चुंबकीय अनुनाद में सुसंगत औसत प्रभाव|journal=Phys. Rev. |volume=175 |issue=2 |pages=453–467 |year=1968 |doi=10.1103/PhysRev.175.453|bibcode=1968PhRv..175..453H }}</ref> और [[क्वांटम इलेक्ट्रोडायनामिक्स]]। इसका उपयोग 1998 से आव्यूह  रैखिक अंतर समीकरणों के संख्यात्मक एकीकरण के लिए व्यावहारिक एल्गोरिदम बनाने के लिए एक उपकरण के रूप में भी किया गया है। जैसा कि वे मैग्नस विस्तार से प्राप्त करते हैं
1960 के दशक के बाद से, मैग्नस विस्तार को [[परमाणु]] और [[आणविक भौतिकी]] से लेकर परमाणु चुंबकीय अनुनाद और [[क्वांटम इलेक्ट्रोडायनामिक्स|क्वांटम विद्युत् गतिकी]] तक भौतिकी और रसायन विज्ञान के कई क्षेत्रों में एक प्रेरक उपकरण के रूप में सफलतापूर्वक लागू किया गया है।<ref>{{cite journal |last1=Haeberlen |first1=U. |last2=Waugh |first2=J.S. |title=चुंबकीय अनुनाद में सुसंगत औसत प्रभाव|journal=Phys. Rev. |volume=175 |issue=2 |pages=453–467 |year=1968 |doi=10.1103/PhysRev.175.453|bibcode=1968PhRv..175..453H }}</ref> और इसका उपयोग 1998 से मैट्रिक्स रैखिक अंतर समीकरणों के संख्यात्मक एकीकरण के लिए व्यावहारिक कलन विधि बनाने के लिए एक उपकरण के रूप में किया गया है। जैसा कि वे मैग्नस विस्तार से प्राप्त करते हैं और इस प्रकार समस्या के गुणात्मक लक्षणों के संरक्षण से संबंधित योजनाएं [[ज्यामितीय संख्यात्मक समाकलक]] के प्रोटोटाइपिक के रूप में उदाहरण हैं।
 
समस्या के गुणात्मक लक्षणों के संरक्षण से संबंधित योजनाएं [[ज्यामितीय इंटीग्रेटर]] प्रोटोटाइपिक इसके उदाहरण हैं।  


== यह भी देखें ==
== यह भी देखें ==


* बेकर-कैंपबेल-हॉसडॉर्फ सूत्र
* बेकर-कैंपबेल-हॉसडॉर्फ सूत्र
* [[घातीय मानचित्र का व्युत्पन्न]]
* [[घातीय मानचित्र का व्युत्पन्न|घातांकी मानचित्र का अवकलज]]


== टिप्पणियाँ==
== टिप्पणियाँ==

Revision as of 00:51, 1 May 2023

1907-1990 में, गणित और भौतिकी को विल्हेम मैग्नस के नाम पर रखा गया था। मैग्नस विस्तार एक रेखीय ऑपरेटर के रूप में जाना जाता है। पहले क्रम के सजातीय रैखिक अंतर समीकरण के समाधान में एक घातीय निरूपण के रूप में प्रदान करता है। और यह विशेष रूप से यह भिन्न -भिन्न गुणांक वाले क्रम n के रैखिक अवकल समीकरणों की एक प्रणाली के मौलिक आव्यूह को प्रस्तुत करता है और घातांक को एक अनंत श्रृंखला के रूप में प्रदर्शित करता है, जिसकी शर्तों में एकाधिक समाकलन और नेस्टेड कम्यूटेटर के रूप में सम्मिलत होता हैं।

मैग्नस दृष्टिकोण और इसकी व्याख्या

यदि n × n गुणांक आव्यूह A(t), के रूप में होते है और रैखिक अवकल समीकरण से जुड़ी प्रारंभिक-मूल्य समस्या को हल करते है।

यदि फलन Y(t).के लिए n-आयामी सदिश के रूप में होता है

जहाँ n = 1, समाधान के रूप में पढ़ता है

यदि n > 1 के लिए मान्य रूप में है, यदि आव्यूह At1 At2 = At2 At1 को t t1 और t2 के मानों के किसी भी जोड़े के लिए संतुष्ट करता है। यदि आव्यूह A t के रूप में स्वतंत्र है। चूकि सामान्य स्थिति में उपरोक्त अभिव्यक्ति की समस्या का समाधान नहीं है।

आव्यूह प्रारंभिक-मूल्य समस्या को हल करने के लिए मैग्नस द्वारा प्रस्तुत किया गया दृष्टिकोण है, यह एक निश्चित n × n आव्यूह Ω(t, t0) के घातांक के माध्यम से समाधान को व्यक्त करता है

जिसे बाद में श्रृंखला (गणित) के विस्तार रूप में बनाया गया है

जहां सरलता से लिखने का अभ्यास Ω(t) के लिए Ω(t, t0) और t0 = 0.के रूप में बनाया गया है।

मैग्नस ने इसकी सराहना की d/dt (eΩ) e−Ω = A(t), पॉइनकेयर हौसडॉर्फ आव्यूह इकाई का उपयोग करते है, इसलिए वह Ω के व्युत्पन्न समय को बर्नौली संख्याओं के निर्माण फलन और Ω के आसन्न एंडोमोर्फिज्म से संबंधित होता है।

सीबीएच विस्तार के निरंतर एनालॉग A के संदर्भ में Ω के लिए आवर्ती रूप से हल करने के लिए बनाया गया है, जैसा कि बाद के खंड में बताया गया है।

आव्यूह के रैखिक प्रारंभिक-मूल्य समस्या के समाधान के लिए उपरोक्त समीकरण मैग्नस विस्तार या मैग्नस श्रृंखला का गठन करता है। इस श्रृंखला के पहले चार पदों को इस रूप में दर्शाते है

जहां [A, B] ≡ A BB A है। A और B का आव्यूह कम्प्यूटटेर के रूप में होता है।

इन समीकरणों की व्याख्या इस प्रकार की जा सकती है कि Ω1(t) अदिश घातांक के (n = 1) स्थिति में सामंजस्यपूर्ण मेल खाता है, लेकिन यह समीकरण समस्त समाधान के रूप में नहीं होता है। यदि कोई घातीय प्रतिनिधित्व लही समूह पर जोर देता है, तो घातांक को सही करने की आवश्यकता होती है। मैग्नस श्रृंखला के शेष भागो में यह सुधार व्यवस्थित रूप से किया जाता है। और इस प्रकार Ω या इसके कुछ भागो के समाधान में लही समूह के अस्तित्व को बीजगणित रूप प्रदान करता है।

अनुप्रयोगों में संभवतया कभी मैग्नस श्रृंखला का योग किया जा सकता है और अनुमानित समाधान प्राप्त करने के लिए इसे कम करना पड़ता है। मैग्नस प्रस्ताव का मुख्य लाभ यह है ,कि काट-छाँट की गई श्रृंखला अधिकांशतः महत्वपूर्ण गुणात्मक गुणों को सटीक समाधान के रूप में साझा करती है, जो अन्य पारंपरिक क्वांटम यांत्रिकी के साथ भिन्न रूप में होती है। उदाहरण के लिए, मौलिक यांत्रिकी में समय के विकास के संसुघटित गुण को सन्निकटन के हर क्रम में संरक्षित किया जाता है। इसी तरह, क्वांटम यांत्रिकी में समय विस्तार ऑपरेटर के एकात्मक गुण को भी इसके विपरीत संरक्षित किया जाता है, उदाहरण के लिए, उसी समस्या को हल करने वाली डायसन श्रृंखला के लिए उपयोग किया जाता है।

विस्तार का अभिसरण

गणितीय दृष्टिकोण से अभिसरण समस्या के लिए एक विशिष्ट आव्यूह A(t) के रूप में दिया गया है, जब घातांक Ωt को मैग्नस श्रृंखला के योग के रूप में प्राप्त किया जाता है।

t ∈ [0,T) के लिए अभिसरण करने के लिए इस श्रृंखला के लिए एक पर्याप्त शर्त है।

यहाँ एक आव्यूह विशिष्ट गुण को दर्शाता है। यह परिणाम इस अर्थ में सामान्य रूप में है, कि कोई विशिष्ट आव्यूह का निर्माण करता है जिसके लिए A(t) श्रृंखला किसी के लिए भिन्न रूप में हो जाती है t > T.

मैग्नस जनरेटर

मैग्नस विस्तार में सभी अवस्था को उत्पन्न करने के लिए एक आवर्ती प्रक्रिया मेट्रिसेस का उपयोग करती है Sn(k) के माध्यम से आवर्ती रूप को परिभाषित किया जाता है।

जो फिर प्रस्तुत करता है

यहाँ adkΩ एक आवृत्ति है ,यहाँ पुनरावृत्त कम्यूटेटर के लिए एक संक्षिप्त आशुलिपि के रूप में है और इस प्रकार इसके निकटवर्ती एंडोमोर्फिज़्म देखे जा सकते है।

जबकि Bj के साथ एक बर्नूली नंबर के रूप में हैं B1 = −1/2.

अंत में जब इस पुनर्चक्रण पर स्पष्ट रूप से काम किया जाता है तो Ωn(t) को n आव्यूह A वाले n- 1 नेस्टेड कम्यूटेटर के n-फोल्ड इंटीग्रल के रैखिक संयोजन के रूप में व्यक्त किया जा सकता हैं,

जहाँ n.अधिक जटिल रूप में होता है

स्टोकेस्टिक केस

स्टोकेस्टिक साधारण अवकलन समीकरणों का विस्तार

स्टोकेस्टिक स्थिति के विस्तार के लिए अनुमति एक प्रणाली है। -आयामी एक प्रकार कि गति,है। , प्रायिकता के स्थान पर को रखा गया है,

परिमित समय क्षितिज के साथ प्राकृतिक निस्पंदन को दर्शाती है।अब, रैखिक आव्यूह -मूल्यवान स्टोचैस्टिक इटो अवकलन समीकरण आइंस्टीन सूचकांक के समीकरण के रूप में j के क्रियान्वित किया जाता है।

जहाँ क्रमिक रूप से मापने योग्य हैं वैल्यूड बाउंड स्टचास्तिक प्रक्रिया और इकाई आव्यूह के रूप में होता है। स्टोचैस्टिक समायोजन के कारण परिवर्तन के साथ नियतात्मक स्थिति भी उसी दृष्टिकोण की स्वीकृति प्रदान करती है [1] और इस प्रकार संबंधित आव्यूह लघुगणक एक इटो-प्रक्रिया के रूप में निकलते है, जिसके पहले दो प्रसार क्रमबद्ध द्वारा दिए गए हैं और

जहाँ आइंस्टीन के योग कन्वेंशन के साथ i और j काम करते है