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

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
गणित और भौतिकी को  [[विल्हेम मैग्नस]] (1907-1990) के नाम पर रखा गया था।मैग्नस विस्तार एक रेखीय ऑपरेटर के रूप में जाना जाता है। पहले क्रम के सजातीय [[रैखिक अंतर समीकरण]] के समाधान में एक घातीय निरूपण के रूप  में प्रदान करता है। विशेष रूप से यह अलग-अलग गुणांकों के साथ रैखिक अंतर समीकरणों की एक प्रणाली  [[मौलिक मैट्रिक्स (रैखिक अंतर समीकरण)]] को प्रस्तुत करता हैं। {{mvar|n}} विभिन्न गुणांकों के साथ  रैखिक निरूपण में सामान्य प्रस्तुत करता है, एक्सपोनेंट को एक अनंत श्रृंखला के रूप में एकत्रित किया जाता है, जिसकी शर्तों में एकाधिक इंटीग्रल और नेस्टेड कम्यूटेटर के रूप में शामिल होते हैं।   
गणित और भौतिकी को  [[विल्हेम मैग्नस]] (1907-1990) के नाम पर रखा गया था।मैग्नस विस्तार एक रेखीय ऑपरेटर के रूप में जाना जाता है। पहले क्रम के सजातीय [[रैखिक अंतर समीकरण]] के समाधान में एक घातीय निरूपण के रूप  में प्रदान करता है। विशेष रूप से यह अलग-अलग गुणांकों के साथ रैखिक अंतर समीकरणों की एक प्रणाली  [[मौलिक मैट्रिक्स (रैखिक अंतर समीकरण)|मौलिक आव्यूह  (रैखिक अंतर समीकरण)]] को प्रस्तुत करता हैं। {{mvar|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'')}}.
अज्ञात के लिए {{mvar|n}}-आयामी वेक्टर फलन  {{math|''Y''(''t'')}}.


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


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


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


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


=== मैग्नस जनरेटर ===
=== मैग्नस जनरेटर ===
Line 67: Line 65:
जबकि {{math|''B''<sub>''j''</sub>}} के साथ Bernoulli नंबर हैं {{math|1=''B''<sub>1</sub> = −1/2}}.
जबकि {{math|''B''<sub>''j''</sub>}} के साथ Bernoulli नंबर हैं {{math|1=''B''<sub>1</sub> = −1/2}}.


अंत में, जब इस पुनरावर्तन पर स्पष्ट रूप से काम किया जाता है, तो इसे व्यक्त करना संभव है {{math|Ω<sub>''n''</sub>(''t'')}} एन -1 नेस्टेड कम्यूटेटर के एन-फोल्ड इंटीग्रल के रैखिक संयोजन के रूप में शामिल है {{mvar|n}} मैट्रिक्स {{mvar|A}}:
अंत में, जब इस पुनरावर्तन पर स्पष्ट रूप से काम किया जाता है, तो इसे व्यक्त करना संभव है {{math|Ω<sub>''n''</sub>(''t'')}} एन -1 नेस्टेड कम्यूटेटर के एन-फोल्ड इंटीग्रल के रैखिक संयोजन के रूप में शामिल है {{mvar|n}} आव्यूह  {{mvar|A}}:
: <math>
: <math>
  \Omega_n(t) =
  \Omega_n(t) =
Line 81: Line 79:
=== स्टोकेस्टिक साधारण अंतर समीकरणों का विस्तार ===
=== स्टोकेस्टिक साधारण अंतर समीकरणों का विस्तार ===
स्टोकेस्टिक मामले के विस्तार के लिए चलो <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 169: Line 167:
== अनुप्रयोग ==
== अनुप्रयोग ==


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 20:40, 29 April 2023

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

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

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

अज्ञात के लिए n-आयामी वेक्टर फलन Y(t).

जब n = 1, समाधान केवल पढ़ता है

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

आव्यूह प्रारंभिक-मूल्य समस्या को हल करने के लिए मैग्नस द्वारा प्रस्तुत किया गया दृष्टिकोण है,यह एक निश्चित 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) के माध्यम से पुनरावर्ती रूप से परिभाषित किया गया

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

वह पढ़ा रहा हैक</सुप>Ω पुनरावर्तक कम्यूटेटर के लिए एक आशुलिपि है (झूठे बीजगणित का संलग्न प्रतिनिधित्व देखें):

जबकि Bj के साथ Bernoulli नंबर हैं B1 = −1/2.

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

जो अधिक जटिल हो जाता है n.

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

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

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

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