मल्टीसिंपलेक्टिक इंटीग्रेटर: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
गणित में, बहुआयामी इंटीग्रेटर आंशिक अंतर समीकरणों के निश्चित वर्ग के समाधान के लिए [[संख्यात्मक विश्लेषण]] है, जिसे बहुआयामी कहा जाता है। मल्टीसिंपलेक्टिक इंटीग्रेटर्स [[ज्यामितीय | गणित में, एक बहुआयामी इंटीग्रेटर आंशिक अंतर समीकरणों के निश्चित वर्ग के समाधान के लिए एक [[संख्यात्मक विश्लेषण]] है, जिसे बहुआयामी कहा जाता है। मल्टीसिंपलेक्टिक इंटीग्रेटर्स [[ज्यामितीय इंटीग्रेटर्स]] हैं, जिसका अर्थ है कि वे समस्याओं की ज्यामिति को संरक्षित करते हैं; विशेष रूप से, संख्यात्मक विधि आंशिक अंतर समीकरण के समान कुछ अर्थों में ऊर्जा और संवेग को संरक्षित करती है। मल्टीसिम्प्लेक्टिक इंटीग्रेटर्स के उदाहरणों में यूलर बॉक्स स्कीम और प्रीसमैन बॉक्स स्कीम शामिल हैं। | ||
== बहुआयामी समीकरण == | == बहुआयामी समीकरण == | ||
एक आंशिक अंतर समीकरण (पीडीई) को बहुआयामी समीकरण कहा जाता है | यदि इसे इस रूप में लिखा जा सकता है, तो एक आंशिक अंतर समीकरण (पीडीई) को एक बहुआयामी समीकरण कहा जाता है, | ||
:<math> Kz_t + Lz_x = \nabla S(z), </math> | :<math> Kz_t + Lz_x = \nabla S(z), </math> | ||
जहाँ <math> z(t,x) </math> अज्ञात है, <math> K </math> और <math> L </math> (स्थिर) [[विषम-सममित आव्यूह]] हैं और <math> \nabla S </math>, <math> S </math> की प्रवणता को दर्शाता है।<ref>{{harvnb|Bridges|1997}}, p. 1374; {{harvnb|Leimkuhler|Reich|2004}}, p. 335–336.</ref> [[हैमिल्टनियन यांत्रिकी]] ODE का रूप तथा यह <math> Jz_t = \nabla H(z) </math> का एक प्राकृतिक सामान्यीकरण है।<ref>{{harvnb|Bridges|Reich|2001}}, p. 186.</ref> | |||
बहुआयामी पीडीई के उदाहरणों में | |||
2-रूपों | बहुआयामी पीडीई के उदाहरणों में अरैखिक क्लेन-गॉर्डन समीकरण <math> u_{tt} - u_{xx} = V'(u) </math>, या अधिक सामान्यतः अरैखिक तरंग समीकरण <math> u_{tt} = \partial_x \sigma'(u_x) - f'(u) </math>,<ref name=":0" /> और [[केडीवी समीकरण]] <math> u_t + uu_x + u_{xxx} = 0 </math><ref name="BR187" /> शामिल हैं। | ||
2-रूपों <math> \omega </math> और <math> \kappa </math> को परिभाषित करें, | |||
:<math> \omega(u,v) = \langle Ku, v \rangle \quad\text{and}\quad \kappa(u,v) = \langle Lu, v \rangle </math> | :<math> \omega(u,v) = \langle Ku, v \rangle \quad\text{and}\quad \kappa(u,v) = \langle Lu, v \rangle </math> | ||
जहां <math> \langle \,\cdot\, , \,\cdot\, \rangle </math> [[डॉट उत्पाद]] को दर्शाता है। विभेदक समीकरण इस अर्थ में सहानुभूति को संरक्षित करता है, | |||
:<math> \partial_t \omega + \partial_x \kappa = 0. </math><ref>{{harvnb|Bridges|Reich|2001}}, p. 186; {{harvnb|Leimkuhler|Reich|2004}}, p. 336.</ref> | :<math> \partial_t \omega + \partial_x \kappa = 0. </math><ref name=":0">{{harvnb|Bridges|Reich|2001}}, p. 186; {{harvnb|Leimkuhler|Reich|2004}}, p. 336.</ref> | ||
पीडीई के डॉट उत्पाद को | पीडीई के डॉट उत्पाद को <math> u_t </math> के साथ लेने से ऊर्जा के लिए स्थानीय [[संरक्षण कानून (भौतिकी)|संरक्षण नियम (भौतिकी)]] प्राप्त होता है: | ||
:<math> \partial_t E(u) + \partial_x F(u) = 0 \quad\text{where}\quad E(u) = S(u) - \tfrac12 \kappa(u_x,u) ,\, F(u) = \tfrac12 \kappa(u_t,u). </math><ref name=BR187>{{harvnb|Bridges|Reich|2001}}, p. 187; {{harvnb|Leimkuhler|Reich|2004}}, p. 337–338.</ref> | :<math> \partial_t E(u) + \partial_x F(u) = 0 \quad\text{where}\quad E(u) = S(u) - \tfrac12 \kappa(u_x,u) ,\, F(u) = \tfrac12 \kappa(u_t,u). </math><ref name="BR187">{{harvnb|Bridges|Reich|2001}}, p. 187; {{harvnb|Leimkuhler|Reich|2004}}, p. 337–338.</ref> | ||
संवेग के लिए स्थानीय संरक्षण नियम इसी प्रकार व्युत्पन्न किया गया है: | संवेग के लिए स्थानीय संरक्षण नियम इसी प्रकार व्युत्पन्न किया गया है: | ||
:<math> \partial_t I(u) + \partial_x G(u) = 0 \quad\text{where}\quad I(u) = \tfrac12 \omega(u_x,u) ,\, G(u) = S(u) - \tfrac12 \omega(u_t,u). </math><ref name=BR187 /> | :<math> \partial_t I(u) + \partial_x G(u) = 0 \quad\text{where}\quad I(u) = \tfrac12 \omega(u_x,u) ,\, G(u) = S(u) - \tfrac12 \omega(u_t,u). </math><ref name=BR187 /> | ||
== यूलर बॉक्स स्कीम == | |||
मल्टीसिम्प्लेक्टिक इंटीग्रेटर मल्टीसिम्प्लेक्टिक पीडीई को हल करने के लिए एक संख्यात्मक विधि है जिसका संख्यात्मक समाधान सहानुभूति के असतत रूप को संरक्षित करता है।<ref>{{harvnb|Bridges|Reich|2001|p=187}}; {{harvnb|Leimkuhler|Reich|2004|p=341}}.</ref> एक उदाहरण यूलर बॉक्स स्कीम है, जो प्रत्येक स्वतंत्र चर के लिए [[सिम्पलेक्टिक यूलर विधि]] लागू करके प्राप्त की जाती है।<ref name="MR">{{harvnb|Moore|Reich|2003}}.</ref> | |||
यूलर बॉक्स स्कीम विषम सममित आव्यूहों <math> K </math> और <math> L </math> फॉर्म के विभाजन का उपयोग करती है: | |||
:<math> \begin{align} | :<math> \begin{align} | ||
K &= K_+ + K_- \quad\text{with}\quad K_- = -K_+^T, \\ | K &= K_+ + K_- \quad\text{with}\quad K_- = -K_+^T, \\ | ||
L &= L_+ + L_- \quad\text{with}\quad L_- = -L_+^T. | L &= L_+ + L_- \quad\text{with}\quad L_- = -L_+^T. | ||
\end{align} </math> | \end{align} </math> | ||
उदाहरण के लिए, कोई | उदाहरण के लिए, कोई <math> K_+ </math> और <math> L_+ </math> को क्रमशः <math> K </math> और <math> L </math> का ऊपरी त्रिकोणीय भाग ले सकता है।<ref>{{harvnb|Moore|Reich|2003}}; {{harvnb|Leimkuhler|Reich|2004|p=337}}.</ref> | ||
अब [[नियमित ग्रिड]] का परिचय दें और | |||
अब एक [[नियमित ग्रिड]] का परिचय दें और <math> u_{n,i} </math> को सन्निकटन को इंगित करें <math> u(n\Delta{t}, i\Delta{x}) </math> समय में और समष्टि- दिशा में जहां <math> \Delta{t} </math> और <math> \Delta{x} </math> ग्रिड हैं, फिर यूलर बॉक्स स्कीम यह है। | |||
:<math> K_+ \partial_t^+ u_{n,i} + K_- \partial_t^- u_{n,i} + L_+ \partial_x^+ u_{n,i} + L_- \partial_x^- u_{n,i} = \nabla{S}(u_{n,i}) </math> | :<math> K_+ \partial_t^+ u_{n,i} + K_- \partial_t^- u_{n,i} + L_+ \partial_x^+ u_{n,i} + L_- \partial_x^- u_{n,i} = \nabla{S}(u_{n,i}) </math> | ||
जहां [[परिमित अंतर]] ऑपरेटरों द्वारा परिभाषित किया गया | जहां [[परिमित अंतर]] ऑपरेटरों द्वारा परिभाषित किया गया है। | ||
:<math> \begin{align} | :<math> \begin{align} | ||
\partial_t^+ u_{n,i} &= \frac{u_{n+1,i} - u_{n,i}}{\Delta{t}}, & \partial_x^+ u_{n,i} &= \frac{u_{n,i+1} - u_{n,i}}{\Delta{x}}, \\[1ex] | \partial_t^+ u_{n,i} &= \frac{u_{n+1,i} - u_{n,i}}{\Delta{t}}, & \partial_x^+ u_{n,i} &= \frac{u_{n,i+1} - u_{n,i}}{\Delta{x}}, \\[1ex] | ||
\partial_t^- u_{n,i} &= \frac{u_{n,i} - u_{n-1,i}}{\Delta{t}}, & \partial_x^- u_{n,i} &= \frac{u_{n,i} - u_{n,i-1}}{\Delta{x}}. | \partial_t^- u_{n,i} &= \frac{u_{n,i} - u_{n-1,i}}{\Delta{t}}, & \partial_x^- u_{n,i} &= \frac{u_{n,i} - u_{n,i-1}}{\Delta{x}}. | ||
\end{align} </math> <ref>{{harvnb|Moore|Reich|2003}}; {{harvnb|Leimkuhler|Reich|2004|p=342}}.</ref> | \end{align} </math> <ref>{{harvnb|Moore|Reich|2003}}; {{harvnb|Leimkuhler|Reich|2004|p=342}}.</ref> | ||
यूलर बॉक्स योजना प्रथम-क्रम विधि है,<ref name=MR />जो असतत संरक्षण | यूलर बॉक्स योजना एक प्रथम-क्रम विधि है,<ref name="MR" /> जो असतत संरक्षण नियम को संतुष्ट करती है। | ||
:<math> \partial_t^+ \omega_{n,i} + \partial_x^+ \kappa_{n,i} = 0 \quad\text{where}\quad \omega_{n,i} = \mathrm{d}u_{n,i-1} \wedge K_+ \, \mathrm{d}u_{n,i} \quad\text{and}\quad \kappa_{n,i} = \mathrm{d}u_{n-1,i} \wedge L_+ \, \mathrm{d}u_{n,i}. </math><ref>{{harvnb|Moore|Reich|2003}}; {{harvnb|Leimkuhler|Reich|2004|p=343}}.</ref> | :<math> \partial_t^+ \omega_{n,i} + \partial_x^+ \kappa_{n,i} = 0 \quad\text{where}\quad \omega_{n,i} = \mathrm{d}u_{n,i-1} \wedge K_+ \, \mathrm{d}u_{n,i} \quad\text{and}\quad \kappa_{n,i} = \mathrm{d}u_{n-1,i} \wedge L_+ \, \mathrm{d}u_{n,i}. </math><ref>{{harvnb|Moore|Reich|2003}}; {{harvnb|Leimkuhler|Reich|2004|p=343}}.</ref> | ||
== प्रीसमैन बॉक्स स्कीम == | == प्रीसमैन बॉक्स स्कीम == | ||
एक अन्य मल्टीसिम्प्लेक्टिक इंटीग्रेटर प्रीसमैन बॉक्स स्कीम है, जिसे प्रीसमैन द्वारा हाइपरबॉलिक पीडीई के संदर्भ में पेश किया गया था।<ref>{{harvtxt|Bridges|Reich|2001|p=190}} refers to {{harvtxt|Abbott|Basco|1989}} for the work by Preissman.</ref> इसे केन्द्रित कोशिका योजना के रूप में भी जाना जाता है।<ref>{{harvnb|Islas|Schober|2004|pp=591–593}}.</ref> | एक अन्य मल्टीसिम्प्लेक्टिक इंटीग्रेटर प्रीसमैन बॉक्स स्कीम है, जिसे प्रीसमैन द्वारा हाइपरबॉलिक पीडीई के संदर्भ में पेश किया गया था।<ref>{{harvtxt|Bridges|Reich|2001|p=190}} refers to {{harvtxt|Abbott|Basco|1989}} for the work by Preissman.</ref> इसे केन्द्रित कोशिका योजना के रूप में भी जाना जाता है।<ref>{{harvnb|Islas|Schober|2004|pp=591–593}}.</ref> प्रिसमैन बॉक्स स्कीम को इंप्लिक्ट मिडपॉइंट नियम लागू करके प्राप्त किया जा सकता है, जो प्रत्येक स्वतंत्र चर के लिए एक सहानुभूतिपूर्ण इंटीग्रेटर है।<ref name="BR190">{{harvnb|Bridges|Reich|2001|p=190}}; {{harvnb|Leimkuhler|Reich|2004|p=344}}.</ref> यह योजना की ओर जाता है, | ||
:<math> K \partial_t^+ u_{n,i+1/2} + L \partial_x^+ u_{n+1/2,i} = \nabla{S}(u_{n+1/2,i+1/2}), </math> | :<math> K \partial_t^+ u_{n,i+1/2} + L \partial_x^+ u_{n+1/2,i} = \nabla{S}(u_{n+1/2,i+1/2}), </math> | ||
जहां परिमित अंतर | जहां परिमित अंतर संकारक <math> \partial_t^+ </math> और <math> \partial_x^+ </math> ऊपर बताए अनुसार परिभाषित किए गए हैं और अर्ध-पूर्णांक पर मान निम्न द्वारा परिभाषित किए गए है। | ||
:<math> | :<math> | ||
u_{n,i+1/2} = \frac{u_{n,i}+u_{n,i+1}}{2}, \quad u_{n+1/2,i} = \frac{u_{n,i}+u_{n+1,i}}{2}, | u_{n,i+1/2} = \frac{u_{n,i}+u_{n,i+1}}{2}, \quad u_{n+1/2,i} = \frac{u_{n,i}+u_{n+1,i}}{2}, | ||
u_{n+1/2,i+1/2} = \frac{u_{n,i}+u_{n,i+1}+u_{n+1,i}+u_{n+1,i+1}}{4}. | u_{n+1/2,i+1/2} = \frac{u_{n,i}+u_{n,i+1}+u_{n+1,i}+u_{n+1,i+1}}{4}. | ||
</math> <ref name=BR190 /> | </math> <ref name=BR190 /> | ||
प्रीसमैन बॉक्स स्कीम दूसरे क्रम का मल्टीसिमप्लेक्टिक इंटीग्रेटर है जो असतत संरक्षण | प्रीसमैन बॉक्स स्कीम एक दूसरे क्रम का मल्टीसिमप्लेक्टिक इंटीग्रेटर है जो असतत संरक्षण नियम को संतुष्ट करता है। | ||
:<math> \partial_t^+ \omega_{n,i} + \partial_x^+ \kappa_{n,i} = 0 \quad\text{where}\quad \omega_{n,i} = \mathrm{d}u_{n,i+1/2} \wedge K \, \mathrm{d}u_{n,i+1/2} \quad\text{and}\quad \kappa_{n,i} = \mathrm{d}u_{n+1/2,i} \wedge L \, \mathrm{d}u_{n+1/2,i}. </math><ref>{{harvnb|Bridges|Reich|2001|loc=Thm 1}}; {{harvnb|Leimkuhler|Reich|2004|p=345}}.</ref> | :<math> \partial_t^+ \omega_{n,i} + \partial_x^+ \kappa_{n,i} = 0 \quad\text{where}\quad \omega_{n,i} = \mathrm{d}u_{n,i+1/2} \wedge K \, \mathrm{d}u_{n,i+1/2} \quad\text{and}\quad \kappa_{n,i} = \mathrm{d}u_{n+1/2,i} \wedge L \, \mathrm{d}u_{n+1/2,i}. </math><ref>{{harvnb|Bridges|Reich|2001|loc=Thm 1}}; {{harvnb|Leimkuhler|Reich|2004|p=345}}.</ref> | ||
Revision as of 22:49, 25 May 2023
गणित में, एक बहुआयामी इंटीग्रेटर आंशिक अंतर समीकरणों के निश्चित वर्ग के समाधान के लिए एक संख्यात्मक विश्लेषण है, जिसे बहुआयामी कहा जाता है। मल्टीसिंपलेक्टिक इंटीग्रेटर्स ज्यामितीय इंटीग्रेटर्स हैं, जिसका अर्थ है कि वे समस्याओं की ज्यामिति को संरक्षित करते हैं; विशेष रूप से, संख्यात्मक विधि आंशिक अंतर समीकरण के समान कुछ अर्थों में ऊर्जा और संवेग को संरक्षित करती है। मल्टीसिम्प्लेक्टिक इंटीग्रेटर्स के उदाहरणों में यूलर बॉक्स स्कीम और प्रीसमैन बॉक्स स्कीम शामिल हैं।
बहुआयामी समीकरण
यदि इसे इस रूप में लिखा जा सकता है, तो एक आंशिक अंतर समीकरण (पीडीई) को एक बहुआयामी समीकरण कहा जाता है,
जहाँ अज्ञात है, और (स्थिर) विषम-सममित आव्यूह हैं और , की प्रवणता को दर्शाता है।[1] हैमिल्टनियन यांत्रिकी ODE का रूप तथा यह का एक प्राकृतिक सामान्यीकरण है।[2]
बहुआयामी पीडीई के उदाहरणों में अरैखिक क्लेन-गॉर्डन समीकरण , या अधिक सामान्यतः अरैखिक तरंग समीकरण ,[3] और केडीवी समीकरण [4] शामिल हैं।
2-रूपों और को परिभाषित करें,
जहां डॉट उत्पाद को दर्शाता है। विभेदक समीकरण इस अर्थ में सहानुभूति को संरक्षित करता है,
पीडीई के डॉट उत्पाद को के साथ लेने से ऊर्जा के लिए स्थानीय संरक्षण नियम (भौतिकी) प्राप्त होता है:
संवेग के लिए स्थानीय संरक्षण नियम इसी प्रकार व्युत्पन्न किया गया है:
यूलर बॉक्स स्कीम
मल्टीसिम्प्लेक्टिक इंटीग्रेटर मल्टीसिम्प्लेक्टिक पीडीई को हल करने के लिए एक संख्यात्मक विधि है जिसका संख्यात्मक समाधान सहानुभूति के असतत रूप को संरक्षित करता है।[5] एक उदाहरण यूलर बॉक्स स्कीम है, जो प्रत्येक स्वतंत्र चर के लिए सिम्पलेक्टिक यूलर विधि लागू करके प्राप्त की जाती है।[6]
यूलर बॉक्स स्कीम विषम सममित आव्यूहों और फॉर्म के विभाजन का उपयोग करती है:
उदाहरण के लिए, कोई और को क्रमशः और का ऊपरी त्रिकोणीय भाग ले सकता है।[7]
अब एक नियमित ग्रिड का परिचय दें और को सन्निकटन को इंगित करें समय में और समष्टि- दिशा में जहां और ग्रिड हैं, फिर यूलर बॉक्स स्कीम यह है।
जहां परिमित अंतर ऑपरेटरों द्वारा परिभाषित किया गया है।
यूलर बॉक्स योजना एक प्रथम-क्रम विधि है,[6] जो असतत संरक्षण नियम को संतुष्ट करती है।
प्रीसमैन बॉक्स स्कीम
एक अन्य मल्टीसिम्प्लेक्टिक इंटीग्रेटर प्रीसमैन बॉक्स स्कीम है, जिसे प्रीसमैन द्वारा हाइपरबॉलिक पीडीई के संदर्भ में पेश किया गया था।[10] इसे केन्द्रित कोशिका योजना के रूप में भी जाना जाता है।[11] प्रिसमैन बॉक्स स्कीम को इंप्लिक्ट मिडपॉइंट नियम लागू करके प्राप्त किया जा सकता है, जो प्रत्येक स्वतंत्र चर के लिए एक सहानुभूतिपूर्ण इंटीग्रेटर है।[12] यह योजना की ओर जाता है,
जहां परिमित अंतर संकारक और ऊपर बताए अनुसार परिभाषित किए गए हैं और अर्ध-पूर्णांक पर मान निम्न द्वारा परिभाषित किए गए है।
प्रीसमैन बॉक्स स्कीम एक दूसरे क्रम का मल्टीसिमप्लेक्टिक इंटीग्रेटर है जो असतत संरक्षण नियम को संतुष्ट करता है।
टिप्पणियाँ
- ↑ Bridges 1997, p. 1374; Leimkuhler & Reich 2004, p. 335–336.
- ↑ Bridges & Reich 2001, p. 186.
- ↑ 3.0 3.1 Bridges & Reich 2001, p. 186; Leimkuhler & Reich 2004, p. 336.
- ↑ 4.0 4.1 4.2 Bridges & Reich 2001, p. 187; Leimkuhler & Reich 2004, p. 337–338.
- ↑ Bridges & Reich 2001, p. 187; Leimkuhler & Reich 2004, p. 341.
- ↑ 6.0 6.1 Moore & Reich 2003.
- ↑ Moore & Reich 2003; Leimkuhler & Reich 2004, p. 337.
- ↑ Moore & Reich 2003; Leimkuhler & Reich 2004, p. 342.
- ↑ Moore & Reich 2003; Leimkuhler & Reich 2004, p. 343.
- ↑ Bridges & Reich (2001, p. 190) refers to Abbott & Basco (1989) for the work by Preissman.
- ↑ Islas & Schober 2004, pp. 591–593.
- ↑ 12.0 12.1 Bridges & Reich 2001, p. 190; Leimkuhler & Reich 2004, p. 344.
- ↑ Bridges & Reich 2001, Thm 1; Leimkuhler & Reich 2004, p. 345.
संदर्भ
- Abbott, M.B.; Basco, D.R. (1989), Computational Fluid Dynamics, Longman Scientific.
- Bridges, Thomas J. (1997), "A geometric formulation of the conservation of wave action and its implications for signature and the classification of instabilities" (PDF), Proc. R. Soc. Lond. A, 453 (1962): 1365–1395, Bibcode:1997RSPSA.453.1365B, doi:10.1098/rspa.1997.0075, S2CID 122524451.
- Bridges, Thomas J.; Reich, Sebiastian (2001), "Multi-Symplectic Integrators: Numerical schemes for Hamiltonian PDEs that conserve symplecticity", Phys. Lett. A, 284 (4–5): 184–193, Bibcode:2001PhLA..284..184B, CiteSeerX 10.1.1.46.2783, doi:10.1016/S0375-9601(01)00294-8.
- Leimkuhler, Benedict; Reich, Sebastian (2004), Simulating Hamiltonian Dynamics, Cambridge University Press, ISBN 978-0-521-77290-7.
- Islas, A.L.; Schober, C.M. (2004), "On the preservation of phase space structure under multisymplectic discretization", J. Comput. Phys., 197 (2): 585–609, Bibcode:2004JCoPh.197..585I, doi:10.1016/j.jcp.2003.12.010.
- Moore, Brian; Reich, Sebastian (2003), "Backward error analysis for multi-symplectic integration methods", Numer. Math., 95 (4): 625–652, CiteSeerX 10.1.1.163.8683, doi:10.1007/s00211-003-0458-9, S2CID 9669195.