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

From Vigyanwiki
No edit summary
No edit summary
 
(31 intermediate revisions by 3 users not shown)
Line 1: Line 1:
गणित और भौतिकी को  [[विल्हेम मैग्नस]] (1907-1990) के नाम पर रखा गया था।मैग्नस विस्तार एक रेखीय ऑपरेटर के रूप में जाना जाता है। पहले क्रम के सजातीय [[रैखिक अंतर समीकरण]] के समाधान में एक घातीय निरूपण के रूप  में प्रदान करता है। विशेष रूप से यह अलग-अलग गुणांकों के साथ रैखिक अंतर समीकरणों की एक प्रणाली [[मौलिक मैट्रिक्स (रैखिक अंतर समीकरण)]] को प्रस्तुत करता हैं। {{mvar|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>
अज्ञात के लिए {{mvar|n}}-आयामी वेक्टर फ़ंक्शन {{math|''Y''(''t'')}}.
यदि फलन {{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 के लिए मान्य है यदि मैट्रिक्स {{math|''A''(''t'')}} संतुष्ट करता है {{math|''A''(''t''<sub>1</sub>) ''A''(''t''<sub>2</sub>) {{=}} ''A''(''t''<sub>2</sub>) ''A''(''t''<sub>1</sub>)}} टी, टी के मूल्यों की किसी भी जोड़ी के लिए<sub>1</sub> और टी<sub>2</sub>. विशेष रूप से, यह स्थिति है यदि मैट्रिक्स {{mvar|A}} से स्वतंत्र है {{mvar|t}}. हालाँकि, सामान्य स्थिति में, उपरोक्त अभिव्यक्ति अब समस्या का समाधान नहीं है।
यदि n > 1 के लिए मान्य रूप में है, यदि आव्यूह At1 At2 = At2 At1 को t t1 और t2 के मानों के किसी भी जोड़े के लिए संतुष्ट करता है। यदि आव्यूह A t के रूप में स्वतंत्र है। चूकि सामान्य स्थिति में उपरोक्त अभिव्यक्ति की समस्या का समाधान नहीं है।
 
आव्यूह प्रारंभिक-मूल्य समस्या को हल करने के लिए मैग्नस द्वारा प्रस्तुत किया गया दृष्टिकोण है, यह एक निश्चित n × n आव्यूह Ω(t, t0) को घातांक के माध्यम से समाधान के रूप में  व्यक्त करता है


मैट्रिक्स प्रारंभिक-मूल्य समस्या को हल करने के लिए मैग्नस द्वारा प्रस्तुत किया गया दृष्टिकोण एक निश्चित के घातांक के माध्यम से समाधान को व्यक्त करना है {{math|''n''&nbsp;&times;&nbsp;''n''}} मैट्रिक्स फ़ंक्शन
  {{math|Ω(''t'', ''t''<sub>0</sub>)}}:
: <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>)}} और टी लेने के लिए<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'')}}, एक्सपोनेंशियल मैप के डेरिवेटिव का उपयोग करके | पॉइनकेयर-हॉसडॉर्फ मैट्रिक्स पहचान, वह समय व्युत्पन्न से संबंधित हो सकता है {{mvar|Ω}} Bernoulli नंबर # जनरेटिंग फ़ंक्शन के जनरेटिंग फ़ंक्शन के लिए और
मैग्नस ने इसकी सराहना की {{math|{{sfrac|''d''|''dt''}} (''e''<sup>Ω</sup>) ''e''<sup>−Ω</sup> {{=}} ''A''(''t'')}}, पॉइनकेयर हौसडॉर्फ आव्यूह इकाई का उपयोग करते है, इसलिए वह Ω के व्युत्पन्न समय को बर्नौली संख्याओं के निर्माण फलन और Ω के आसन्न एंडोमोर्फिज्म से संबंधित होता है।   
के [[झूठ बीजगणित का संलग्न प्रतिनिधित्व]] {{mvar|Ω}}, 


: <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|Ω}} पुनरावर्ती रूप से {{mvar|A}} बेकर-कैंपबेल-हॉसडॉर्फ सूत्र के निरंतर अनुरूप में, जैसा कि बाद के खंड में बताया गया है।
सीबीएच विस्तार के निरंतर एनालॉग {{mvar|A}} के संदर्भ में {{mvar|Ω}} को आवर्ती रूप में  हल करने के लिए बनाया गया है, जैसा कि बाद के खंड में बताया गया है।


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


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


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


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


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


[[अभिसरण श्रृंखला]] के लिए इस श्रृंखला के लिए एक पर्याप्त स्थिति {{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>
जो फिर प्रस्तुत करता है
जो फिर प्रस्तुत करता है
: <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>
वह पढ़ा रहा है<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>}} के साथ Bernoulli नंबर हैं {{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'')}} एन -1 नेस्टेड कम्यूटेटर के एन-फोल्ड इंटीग्रल के रैखिक संयोजन के रूप में शामिल है {{mvar|n}} मैट्रिक्स {{mvar|A}}:
अंत में जब इस पुनर्चक्रण पर स्पष्ट रूप से काम किया जाता है तो {{math|Ω<sub>''n''</sub>(''t'')}} को n आव्यूह A वाले n- 1 नेस्टेड कम्यूटेटर के n-फोल्ड इंटीग्रल के रैखिक संयोजन के रूप में व्यक्त किया जा सकता हैं,
: <math>
: <math>
  \Omega_n(t) =
  \Omega_n(t) =
Line 74: 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>
\begin{align}
\begin{align}
Line 97: 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">\tau\leq T</math> ऐसा है कि:
और इस प्रकार गुणांकों पर पिछली आस्था के अनुसार एक मजबूत समाधान उपलब्ध होता है <math display="inline">X=(X_t)_{t\in[0,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> आवर्ती के रूप में परिभाषित किया गया है
: <math>
: <math>
\begin{align}
\begin{align}
Line 140: Line 145:
\end{align}
\end{align}
</math>
</math>
और ऑपरेटरों के साथ {{math|''S''}} के रूप में परिभाषित किया जा रहा है
और ऑपरेटरों के साथ {{math|''S''}} के रूप में परिभाषित किया जाता है
: <math>
: <math>
\begin{align}
\begin{align}
Line 168: 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 से मैट्रिक्स रैखिक अंतर समीकरणों के संख्यात्मक एकीकरण के लिए व्यावहारिक कलन विधि बनाने के लिए एक उपकरण के रूप में उपयोग किया गया है। जैसा कि वे मैग्नस विस्तार से प्राप्त करते हैं और इस प्रकार समस्या के गुणात्मक लक्षणों के संरक्षण से संबंधित योजनाएं [[ज्यामितीय संख्यात्मक समाकलक]] के प्रोटोटाइपिक के रूप में उदाहरण हैं।
समस्या के गुणात्मक लक्षणों का संरक्षण, संबंधित योजनाएं [[ज्यामितीय इंटीग्रेटर]] के प्रोटोटाइपिक उदाहरण हैं।


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


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


== टिप्पणियाँ==
== टिप्पणियाँ==
Line 187: Line 191:
* {{cite journal | doi = 10.1016/j.physrep.2008.11.001 | title = The Magnus expansion and some of its applications| year = 2009 |first1=S. |last1=Blanes |first2=F. |last2=Casas |first3=J.A. |last3=Oteo |first4=J. |last4=Ros | journal = Phys. Rep. | volume = 470 | issue = 5–6 | pages = 151–238|arxiv=0810.5488 |bibcode=2009PhR...470..151B| s2cid = 115177329}}
* {{cite journal | doi = 10.1016/j.physrep.2008.11.001 | title = The Magnus expansion and some of its applications| year = 2009 |first1=S. |last1=Blanes |first2=F. |last2=Casas |first3=J.A. |last3=Oteo |first4=J. |last4=Ros | journal = Phys. Rep. | volume = 470 | issue = 5–6 | pages = 151–238|arxiv=0810.5488 |bibcode=2009PhR...470..151B| s2cid = 115177329}}
* {{cite journal | title = On the Stochastic Magnus Expansion and Its Application to SPDEs| year = 2021 |first1=K. |last1=Kamm |first2=S. |last2=Pagliarani |first3=A. |last3=Pascucci | journal = Journal of Scientific Computing | volume = 89 | issue = 3 | page = 56 | doi = 10.1007/s10915-021-01633-6 |arxiv=2001.01098 | s2cid = 211259118 }}
* {{cite journal | title = On the Stochastic Magnus Expansion and Its Application to SPDEs| year = 2021 |first1=K. |last1=Kamm |first2=S. |last2=Pagliarani |first3=A. |last3=Pascucci | journal = Journal of Scientific Computing | volume = 89 | issue = 3 | page = 56 | doi = 10.1007/s10915-021-01633-6 |arxiv=2001.01098 | s2cid = 211259118 }}
{{refend}}[[Category: सामान्य अवकल समीकरण]] [[Category: स्टोचैस्टिक अंतर समीकरण]] [[Category: बीजगणित झूठ बोलो]] [[Category: गणितीय भौतिकी]]
{{refend}}
 
 


[[Category: Machine Translated Page]]
[[Category:Created On 27/04/2023]]
[[Category:Created On 27/04/2023]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:गणितीय भौतिकी]]
[[Category:बीजगणित झूठ बोलो]]
[[Category:सामान्य अवकल समीकरण]]
[[Category:स्टोचैस्टिक अंतर समीकरण]]

Latest revision as of 10:37, 4 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 काम करते है