मैग्नस विस्तार: Difference between revisions
No edit summary |
No edit summary |
||
Line 3: | Line 3: | ||
=== मैग्नस दृष्टिकोण और इसकी व्याख्या === | === मैग्नस दृष्टिकोण और इसकी व्याख्या === | ||
हम {{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 के लिए मान्य है यदि मैट्रिक्स {{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 के लिए मान्य है यदि मैट्रिक्स {{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}}. हालाँकि, सामान्य स्थिति में, उपरोक्त अभिव्यक्ति अब समस्या का समाधान नहीं है। |
Revision as of 00:47, 29 April 2023
गणित और भौतिकी को विल्हेम मैग्नस (1907-1990) के नाम पर रखा गया था।मैग्नस विस्तार एक रेखीय ऑपरेटर के रूप में जाना जाता है। पहले क्रम के सजातीय रैखिक अंतर समीकरण के समाधान में एक घातीय निरूपण के रूप में प्रदान करता है। विशेष रूप से यह अलग-अलग गुणांकों के साथ रैखिक अंतर समीकरणों की एक प्रणाली मौलिक मैट्रिक्स (रैखिक अंतर समीकरण) को प्रस्तुत करता हैं। n विभिन्न गुणांकों के साथ रैखिक निरूपण में सामान्य प्रस्तुत करता है, एक्सपोनेंट को एक अनंत श्रृंखला के रूप में एकत्रित किया जाता है, जिसकी शर्तों में एकाधिक इंटीग्रल और नेस्टेड कम्यूटेटर के रूप में शामिल होते हैं।
मैग्नस दृष्टिकोण और इसकी व्याख्या
हम n × n गुणांक मैट्रिक्स A(t), को देखते हुए रैखिक सरल अंतर समीकरण से जुड़ी प्रारंभिक-मूल्य समस्या को हल करना चाहते है।
अज्ञात के लिए n-आयामी वेक्टर फ़ंक्शन Y(t).
जब n = 1, समाधान केवल पढ़ता है
यह अभी भी n > 1 के लिए मान्य है यदि मैट्रिक्स A(t) संतुष्ट करता है A(t1) A(t2) = A(t2) A(t1) टी, टी के मूल्यों की किसी भी जोड़ी के लिए1 और टी2. विशेष रूप से, यह स्थिति है यदि मैट्रिक्स A से स्वतंत्र है t. हालाँकि, सामान्य स्थिति में, उपरोक्त अभिव्यक्ति अब समस्या का समाधान नहीं है।
मैट्रिक्स प्रारंभिक-मूल्य समस्या को हल करने के लिए मैग्नस द्वारा प्रस्तुत किया गया दृष्टिकोण एक निश्चित के घातांक के माध्यम से समाधान को व्यक्त करना है n × n मैट्रिक्स फ़ंक्शन
Ω(t, t0):
जिसे बाद में श्रृंखला (गणित) विस्तार के रूप में बनाया गया है:
जहां सादगी के लिए लिखने की प्रथा है Ω(t) के लिए Ω(t, t0) और टी लेने के लिए0= 0।
मैग्नस ने इसकी सराहना की, तब से d/dt (eΩ) e−Ω = A(t), एक्सपोनेंशियल मैप के डेरिवेटिव का उपयोग करके | पॉइनकेयर-हॉसडॉर्फ मैट्रिक्स पहचान, वह समय व्युत्पन्न से संबंधित हो सकता है Ω Bernoulli नंबर # जनरेटिंग फ़ंक्शन के जनरेटिंग फ़ंक्शन के लिए और के झूठ बीजगणित का संलग्न प्रतिनिधित्व Ω,
हल करने के लिए Ω पुनरावर्ती रूप से A बेकर-कैंपबेल-हॉसडॉर्फ सूत्र के निरंतर अनुरूप में, जैसा कि बाद के खंड में बताया गया है।
मैट्रिक्स रैखिक प्रारंभिक-मूल्य समस्या के समाधान के लिए उपरोक्त समीकरण मैग्नस विस्तार या मैग्नस श्रृंखला का गठन करता है। इस श्रृंखला के पहले चार पदों को पढ़ें
कहाँ [A, B] ≡ A B − B 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
विस्तार का अभिसरण
स्टोकेस्टिक सेटिंग में अभिसरण अब रुकने के समय के अधीन होगा और पहला अभिसरण परिणाम इसके द्वारा दिया जाता है:[2] गुणांकों पर पिछली धारणा के अनुसार एक मजबूत समाधान उपलब्ध है , साथ ही एक सख्ती से सकारात्मक रुकने का समय ऐसा है कि:
- एक वास्तविक लघुगणक है समय तक , अर्थात
- निम्नलिखित प्रतिनिधित्व धारण करता है -लगभग निश्चित रूप से:
- कहाँ है n-वाँ शब्द स्टोचैस्टिक मैग्नस विस्तार में जैसा कि उपखंड मैग्नस विस्तार सूत्र में नीचे परिभाषित किया गया है;
- एक सकारात्मक स्थिरांक उपलब्ध है C, मात्र पर निर्भर है , साथ , ऐसा कि
मैग्नस विस्तार सूत्र
स्टोचैस्टिक मैग्नस विस्तार के लिए सामान्य विस्तार सूत्र द्वारा दिया गया है:
जहां सामान्य शब्द प्रपत्र की एक इटो-प्रक्रिया है:
शर्तें पुनरावर्ती के रूप में परिभाषित किया गया है
साथ
और ऑपरेटरों के साथ S के रूप में परिभाषित किया जा रहा है
अनुप्रयोग
1960 के दशक के बाद से, परमाणु भौतिकी और आणविक भौतिकी से लेकर परमाणु चुंबकीय अनुनाद तक, भौतिकी और रसायन विज्ञान के कई क्षेत्रों में मैग्नस विस्तार को एक प्रेरक उपकरण के रूप में सफलतापूर्वक लागू किया गया है।[3] और क्वांटम इलेक्ट्रोडायनामिक्स। इसका उपयोग 1998 से मैट्रिक्स रैखिक अंतर समीकरणों के संख्यात्मक एकीकरण के लिए व्यावहारिक एल्गोरिदम बनाने के लिए एक उपकरण के रूप में भी किया गया है। जैसा कि वे मैग्नस विस्तार से प्राप्त करते हैं समस्या के गुणात्मक लक्षणों का संरक्षण, संबंधित योजनाएं ज्यामितीय इंटीग्रेटर के प्रोटोटाइपिक उदाहरण हैं।
यह भी देखें
- बेकर-कैंपबेल-हॉसडॉर्फ सूत्र
- घातीय मानचित्र का व्युत्पन्न
टिप्पणियाँ
- ↑ Kamm, Pagliarani & Pascucci 2020
- ↑ Kamm, Pagliarani & Pascucci 2020, Theorem 1.1
- ↑ Haeberlen, U.; Waugh, J.S. (1968). "चुंबकीय अनुनाद में सुसंगत औसत प्रभाव". Phys. Rev. 175 (2): 453–467. Bibcode:1968PhRv..175..453H. doi:10.1103/PhysRev.175.453.
संदर्भ
- Magnus, W. (1954). "On the exponential solution of differential equations for a linear operator". Comm. Pure Appl. Math. VII (4): 649–673. doi:10.1002/cpa.3160070404.
- Blanes, S.; Casas, F.; Oteo, J.A.; Ros, J. (1998). "Magnus and Fer expansions for matrix differential equations: The convergence problem". J. Phys. A: Math. Gen. 31 (1): 259–268. Bibcode:1998JPhA...31..259B. doi:10.1088/0305-4470/31/1/023.
- Iserles, A.; Nørsett, S. P. (1999). "On the solution of linear differential equations in Lie groups". Phil. Trans. R. Soc. Lond. A. 357 (1754): 983–1019. Bibcode:1999RSPTA.357..983I. CiteSeerX 10.1.1.15.4614. doi:10.1098/rsta.1999.0362. S2CID 90949835.
- Blanes, S.; Casas, F.; Oteo, J.A.; Ros, J. (2009). "The Magnus expansion and some of its applications". Phys. Rep. 470 (5–6): 151–238. arXiv:0810.5488. Bibcode:2009PhR...470..151B. doi:10.1016/j.physrep.2008.11.001. S2CID 115177329.
- Kamm, K.; Pagliarani, S.; Pascucci, A. (2021). "On the Stochastic Magnus Expansion and Its Application to SPDEs". Journal of Scientific Computing. 89 (3): 56. arXiv:2001.01098. doi:10.1007/s10915-021-01633-6. S2CID 211259118.