मैग्नस विस्तार: Difference between revisions
No edit summary |
No edit summary |
||
(14 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
गणित और भौतिकी को | 1907-1990 में, गणित और भौतिकी को [[विल्हेम मैग्नस]] के नाम पर रखा गया था। मैग्नस विस्तार एक रेखीय ऑपरेटर के रूप में जाना जाता है। पहले क्रम के सजातीय [[रैखिक अंतर समीकरण]] के समाधान में एक घातीय निरूपण के रूप में प्रदान करता है। और यह विशेष रूप से यह भिन्न -भिन्न गुणांक वाले क्रम n के [[रैखिक अवकलन समीकरणों|रैखिक अवकल समीकरणों]] की एक प्रणाली के मौलिक [[मौलिक मैट्रिक्स (रैखिक अंतर समीकरण)|आव्यूह]] को प्रस्तुत करता है और घातांक को एक अनंत श्रृंखला के रूप में प्रदर्शित करता है, जिसकी शर्तों में एकाधिक समाकलन और नेस्टेड कम्यूटेटर के रूप में सम्मिलत होता हैं। | ||
=== मैग्नस दृष्टिकोण और इसकी व्याख्या === | === मैग्नस दृष्टिकोण और इसकी व्याख्या === | ||
यदि {{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}}-आयामी सदिश के रूप में होता है | |||
जहाँ 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 × 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|{{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''}} है। | जहां {{math|[''A'', ''B''] ≡ ''A'' ''B'' − ''B'' ''A''}} है। A और B का आव्यूह कम्प्यूटटेर के रूप में होता है। | ||
इन समीकरणों की व्याख्या इस प्रकार की जा सकती है | इन समीकरणों की व्याख्या इस प्रकार की जा सकती है कि {{math|Ω<sub>1</sub>(''t'')}} अदिश घातांक के (n = 1) स्थिति में सामंजस्यपूर्ण मेल खाता है, लेकिन यह समीकरण समस्त समाधान के रूप में नहीं होता है। यदि कोई घातीय प्रतिनिधित्व [[लही समूह]] पर जोर देता है, तो घातांक को सही करने की आवश्यकता होती है। मैग्नस श्रृंखला के शेष भागो में यह सुधार व्यवस्थित रूप से किया जाता है। और इस प्रकार Ω या इसके कुछ भागो के समाधान में लही समूह के अस्तित्व को बीजगणित रूप प्रदान करता है। | ||
अनुप्रयोगों में | अनुप्रयोगों में संभवतया कभी मैग्नस श्रृंखला का योग किया जा सकता है और अनुमानित समाधान प्राप्त करने के लिए इसे कम करना पड़ता है। मैग्नस प्रस्ताव का मुख्य लाभ यह है ,कि काट-छाँट की गई श्रृंखला अधिकांशतः महत्वपूर्ण गुणात्मक गुणों को सटीक समाधान के रूप में साझा करती है, जो अन्य पारंपरिक [[क्वांटम यांत्रिकी]] के साथ भिन्न रूप में होती है। उदाहरण के लिए, [[मौलिक यांत्रिकी]] में समय के विकास के [[समाकलित|संसुघटित]] गुण को सन्निकटन के हर क्रम में संरक्षित किया जाता है। इसी तरह, [[क्वांटम यांत्रिकी]] में [[ समय विकास |समय विस्तार]] ऑपरेटर के एकात्मक गुण को भी इसके विपरीत संरक्षित किया जाता है, उदाहरण के लिए, उसी समस्या को हल करने वाली डायसन श्रृंखला के लिए उपयोग किया जाता है। | ||
=== विस्तार का अभिसरण === | === विस्तार का अभिसरण === | ||
गणितीय दृष्टिकोण से अभिसरण समस्या के लिए एक विशिष्ट आव्यूह {{math|''A''(''t'')}} | गणितीय दृष्टिकोण से अभिसरण समस्या के लिए एक विशिष्ट आव्यूह {{math|''A''(''t'')}} के रूप में दिया गया है, जब घातांक Ω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| ''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|''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}}.अधिक जटिल रूप में होता है | |||
== स्टोकेस्टिक केस == | == स्टोकेस्टिक केस == | ||
=== स्टोकेस्टिक साधारण | === स्टोकेस्टिक साधारण अवकलन समीकरणों का विस्तार === | ||
स्टोकेस्टिक | स्टोकेस्टिक स्थिति के विस्तार के लिए अनुमति <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 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|''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\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>-लगभग निश्चित रूप से | # निम्नलिखित प्रतिनिधित्व धारण करता है <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|''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 142: | Line 145: | ||
\end{align} | \end{align} | ||
</math> | </math> | ||
और ऑपरेटरों के साथ {{math|''S''}} के रूप में परिभाषित किया | और ऑपरेटरों के साथ {{math|''S''}} के रूप में परिभाषित किया जाता है | ||
: <math> | : <math> | ||
\begin{align} | \begin{align} | ||
Line 170: | Line 173: | ||
== अनुप्रयोग == | == अनुप्रयोग == | ||
1960 के दशक के बाद से, [[परमाणु | 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 189: | 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}} | {{refend}} | ||
[[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 B − B 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 काम करते है
विस्तार का अभिसरण
स्टोकेस्टिक समायोजन में अभिसरण अब रुकने के समय के अधीन होता है पहला अभिसरण परिणाम इसके द्वारा दिया जाता है[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.