अपरिवर्तनीय अंतर ऑपरेटर: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(6 intermediate revisions by 3 users not shown)
Line 1: Line 1:
गणित और [[सैद्धांतिक भौतिकी]] में, अपरिवर्तनीय अंतर ऑपरेटर कुछ वस्तुओं से समान प्रकार की वस्तु तक का प्रकार का [[मानचित्र (गणित)]] होता है। ये ऑब्जेक्ट आमतौर पर Function (गणित) पर होते हैं <math>\mathbb{R}^n</math>, [[ कई गुना |कई गुना]] पर कार्य, [[वेक्टर (ज्यामितीय)]] मूल्यवान फ़ंक्शन, [[वेक्टर फ़ील्ड]], या, अधिक सामान्यतः, [[वेक्टर बंडल]] का [[अनुभाग (श्रेणी सिद्धांत)]]।
गणित और [[सैद्धांतिक भौतिकी]] में, '''अपरिवर्तनीय अवकलन ऑपरेटर''' कुछ वस्तुओं से समान प्रकार की वस्तु तक का प्रकार का गणितीय मानचित्र होता है। यह ऑब्जेक्ट सामान्यतः <math>\mathbb{R}^n</math> पर फलन, मैनिफ़ोल्ड पर फलन, सदिश मान फलन, सदिश क्षेत्र, या, अधिक सामान्यतः, सदिश बंडल के अनुभाग होते हैं।


एक अपरिवर्तनीय अंतर ऑपरेटर में <math>D</math>, [[ विभेदक ऑपरेटर |विभेदक ऑपरेटर]] शब्द इंगित करता है कि मूल्य <math>Df</math> मानचित्र का केवल पर निर्भर करता है <math>f(x)</math> और के व्युत्पन्न <math>f</math> में <math>x</math>. इनवेरिएंट (गणित) शब्द इंगित करता है कि ऑपरेटर में गणित में कुछ समरूपता शामिल है। इसका मतलब है कि समूह है (गणित) <math>G</math> फ़ंक्शंस (या प्रश्न में अन्य ऑब्जेक्ट) पर [[समूह क्रिया (गणित)]] के साथ और यह क्रिया ऑपरेटर द्वारा संरक्षित है:
अपरिवर्तनीय अवकलन ऑपरेटर <math>D</math> में, शब्द [[ विभेदक ऑपरेटर |अवकलन ऑपरेटर]] संकेत करता है कि मानचित्र का मान <math>Df</math> केवल <math>f(x)</math> और <math>x</math> में <math>f</math> के डेरिवेटिव पर निर्भर करता है। अपरिवर्तनीय शब्द संकेत करता है कि ऑपरेटर में कुछ समरूपता सम्मिलित है। इसका कारण यह है कि फलन (या प्रश्न में अन्य वस्तुओं) पर समूह फलन के साथ समूह <math>G</math> है और यह क्रिया ऑपरेटर द्वारा संरक्षित है:


:<math>D(g\cdot f)=g\cdot (Df).</math>
:<math>D(g\cdot f)=g\cdot (Df).</math>
आमतौर पर, समूह की कार्रवाई में निर्देशांक के परिवर्तन (पर्यवेक्षक के परिवर्तन) का अर्थ होता है और अपरिवर्तनीयता का अर्थ है कि ऑपरेटर के पास सभी स्वीकार्य निर्देशांक में समान अभिव्यक्ति होती है।
सामान्यतः, समूह की फलन में निर्देशांक के परिवर्तन (पर्यवेक्षक के परिवर्तन) का अर्थ होता है और अपरिवर्तनीयता का अर्थ है कि ऑपरेटर के पास सभी स्वीकार्य निर्देशांक में समान अभिव्यक्ति होती है।


==[[सजातीय स्थान]]ों पर अपरिवर्तनीयता==
==[[सजातीय स्थान|सजातीय समिष्ट]] पर अपरिवर्तनीयता==
मान लीजिए M = G/H Lie समूह G और Lie उपसमूह H के लिए सजातीय स्थान है। प्रत्येक [[प्रतिनिधित्व (गणित)]] <math>\rho:H\rightarrow\mathrm{Aut}(\mathbb{V})</math> वेक्टर बंडल को जन्म देता है
मान लीजिए M = G/H Lie समूह G और Lie उपसमूह H के लिए सजातीय समिष्ट है। प्रत्येक [[प्रतिनिधित्व (गणित)]] <math>\rho:H\rightarrow\mathrm{Aut}(\mathbb{V})</math> सदिश बंडल को जन्म देता है


:<math>V=G\times_{H}\mathbb{V}\;\text{where}\;(gh,v)\sim(g,\rho(h)v)\;\forall\;g\in G,\;h\in H\;\text{and}\;v\in\mathbb{V}.</math>
:<math>V=G\times_{H}\mathbb{V}\;\text{where}\;(gh,v)\sim(g,\rho(h)v)\;\forall\;g\in G,\;h\in H\;\text{and}\;v\in\mathbb{V}.</math>
धारा <math>\varphi\in\Gamma(V)</math> से पहचाना जा सकता है
अनुभागों को <math>\varphi\in\Gamma(V)</math> से पहचाना जा सकता है


:<math>\Gamma(V)=\{\varphi:G\rightarrow\mathbb{V}\;:\;\varphi(gh)=\rho(h^{-1})\varphi(g)\;\forall\;g\in G,\; h\in H\}.</math>
:<math>\Gamma(V)=\{\varphi:G\rightarrow\mathbb{V}\;:\;\varphi(gh)=\rho(h^{-1})\varphi(g)\;\forall\;g\in G,\; h\in H\}.</math>
इस रूप में समूह जी अनुभागों पर कार्य करता है
इस रूप में समूह G अनुभागों पर कार्य करता है


:<math>(\ell_g \varphi)(g')=\varphi(g^{-1}g').</math>
:<math>(\ell_g \varphi)(g')=\varphi(g^{-1}g').</math>
अब मान लीजिए कि V और W, M के ऊपर दो वेक्टर बंडल हैं। फिर डिफरेंशियल ऑपरेटर
अब मान लीजिए कि V और W, M के ऊपर दो सदिश बंडल हैं। फिर अवकलन ऑपरेटर


:<math>d:\Gamma(V)\rightarrow\Gamma(W)</math>
:<math>d:\Gamma(V)\rightarrow\Gamma(W)</math>
Line 22: Line 22:


:<math>d(\ell_g \varphi) = \ell_g (d\varphi).</math>
:<math>d(\ell_g \varphi) = \ell_g (d\varphi).</math>
सभी वर्गों के लिए <math>\varphi</math> में <math>\Gamma(V)</math> और जी में तत्व जी। सजातीय [[परवलयिक ज्यामिति (विभेदक ज्यामिति)]] पर सभी रैखिक अपरिवर्तनीय अंतर ऑपरेटर, यानी जब जी अर्ध-सरल है और एच परवलयिक उपसमूह है, [[सामान्यीकृत वर्मा मॉड्यूल]] के समरूपता द्वारा दोहरे रूप से दिए गए हैं।
सभी वर्गों के लिए <math>\varphi</math> में <math>\Gamma(V)</math> और G में अवयव G सजातीय [[परवलयिक ज्यामिति (विभेदक ज्यामिति)|परवलयिक ज्यामिति (अवकलन ज्यामिति)]] पर सभी रैखिक अपरिवर्तनीय अवकलन ऑपरेटर, अर्थात जब G अर्ध-सरल है और H परवलयिक उपसमूह है, [[सामान्यीकृत वर्मा मॉड्यूल]] के समरूपता द्वारा दोहरे रूप से दिए गए हैं।


==अमूर्त सूचकांकों के संदर्भ में अपरिवर्तनीयता==
==एब्स्ट्रेक्ट सूचकांकों के संदर्भ में अपरिवर्तनीयता==
दो कनेक्शन दिए गए (गणित) <math>\nabla</math> और <math>\hat{\nabla}</math> और रूप <math>\omega</math>, अपने पास
दो सम्बन्ध दिए गए हैं <math>\nabla</math> और <math>\hat{\nabla}</math> और रूप <math>\omega</math>, हमारे पास है
:<math>\nabla_{a}\omega_{b}=\hat{\nabla}_{a}\omega_{b}-Q_{ab}{}^{c}\omega_{c}</math>
:<math>\nabla_{a}\omega_{b}=\hat{\nabla}_{a}\omega_{b}-Q_{ab}{}^{c}\omega_{c}</math>
कुछ टेंसर के लिए <math>Q_{ab}{}^{c}</math>.<ref>{{cite book|author=Penrose and Rindler|title=स्पिनर्स और स्पेस टाइम|publisher=Cambridge Monographs on Mathematical Physics|year=1987}}</ref> कनेक्शनों का समतुल्य वर्ग दिया गया है <math>[\nabla]</math>, हम कहते हैं कि ऑपरेटर अपरिवर्तनीय है यदि समतुल्य वर्ग में कनेक्शन से दूसरे कनेक्शन में बदलने पर ऑपरेटर का रूप नहीं बदलता है। उदाहरण के लिए, यदि हम सभी [[ मरोड़ टेंसर |मरोड़ टेंसर]] कनेक्शनों के समतुल्य वर्ग पर विचार करते हैं, तो टेंसर Q अपने निचले सूचकांकों में सममित है, अर्थात। <math>Q_{ab}{}^{c}=Q_{(ab)}{}^{c}</math>. इसलिए हम गणना कर सकते हैं
कुछ टेंसर के लिए <math>Q_{ab}{}^{c}</math> <ref>{{cite book|author=Penrose and Rindler|title=स्पिनर्स और स्पेस टाइम|publisher=Cambridge Monographs on Mathematical Physics|year=1987}}</ref> सम्बन्ध के समतुल्य वर्ग <math>[\nabla]</math> को देखते हुए, हम कहते हैं कि ऑपरेटर अपरिवर्तनीय है यदि समतुल्य वर्ग में सम्बन्ध से दूसरे सम्बन्ध में परिवर्तित करने पर ऑपरेटर का रूप नहीं परिवर्तित होता है। उदाहरण के लिए, यदि हम सभी टोशन मुक्त सम्बन्ध के समतुल्य वर्ग पर विचार करते हैं, तो टेंसर Q अपने निचले सूचकांक अर्थात <math>Q_{ab}{}^{c}=Q_{(ab)}{}^{c}</math> में सममित है। इसलिए हम गणना कर सकते हैं
:<math>\nabla_{[a}\omega_{b]}=\hat{\nabla}_{[a}\omega_{b]},</math>
:<math>\nabla_{[a}\omega_{b]}=\hat{\nabla}_{[a}\omega_{b]},</math>
जहां कोष्ठक तिरछा समरूपता दर्शाते हैं। यह किसी रूप पर कार्य करते समय बाहरी व्युत्पन्न की अपरिवर्तनीयता को दर्शाता है।
जहां कोष्ठक विषम समरूपता दर्शाते हैं। यह किसी रूप पर कार्य करते समय बाहरी व्युत्पन्न की अपरिवर्तनीयता को दर्शाता है। अवकलन ज्यामिति में सम्बन्ध के समतुल्य वर्ग स्वाभाविक रूप से उत्पन्न होते हैं, उदाहरण के लिए:
अंतर ज्यामिति में कनेक्शन के समतुल्य वर्ग स्वाभाविक रूप से उत्पन्न होते हैं, उदाहरण के लिए:


* [[अनुरूप ज्यामिति]] में अनुरूप वर्ग में सभी मीट्रिक (गणित) के लेवी सिविता कनेक्शन द्वारा कनेक्शन का समतुल्य वर्ग दिया जाता है;
* [[अनुरूप ज्यामिति|कांफोर्मल ज्यामिति]] में कांफोर्मल वर्ग में सभी मीट्रिक (गणित) के लेवी सिविता सम्बन्ध द्वारा सम्बन्ध का समतुल्य वर्ग दिया जाता है;
* [[प्रक्षेप्य ज्यामिति]] में कनेक्शन का समतुल्य वर्ग उन सभी कनेक्शनों द्वारा दिया जाता है जिनकी [[जियोडेसिक्स]] समान होती है;
* [[प्रक्षेप्य ज्यामिति]] में सम्बन्ध का समतुल्य वर्ग उन सभी सम्बन्ध द्वारा दिया जाता है जिनकी [[जियोडेसिक्स]] समान होती है;
* [[सीआर ज्यामिति]] में स्यूडोहर्मिटियन संरचना के प्रत्येक विकल्प के लिए तनाका-वेबस्टर कनेक्शन द्वारा कनेक्शन का समतुल्य वर्ग दिया जाता है
* [[सीआर ज्यामिति]] में स्यूडोहर्मिटियन संरचना के प्रत्येक विकल्प के लिए तनाका-वेबस्टर सम्बन्ध द्वारा सम्बन्ध का समतुल्य वर्ग दिया जाता है


==उदाहरण==
==उदाहरण==
# सामान्य [[ ग्रेडियेंट |ग्रेडियेंट]] ऑपरेटर <math>\nabla</math> यूक्लिडियन अंतरिक्ष पर वास्तविक मूल्यवान कार्यों पर कार्य करना सभी [[यूक्लिडियन परिवर्तन]]ों के संबंध में अपरिवर्तनीय है।
#यूक्लिडियन समिष्ट पर वास्तविक मूल्यवान कार्यों पर कार्य करने वाला सामान्य ग्रेडिएंट ऑपरेटर <math>\nabla</math> सभी [[यूक्लिडियन परिवर्तन]] के संबंध में अपरिवर्तनीय है।
# [[बाहरी व्युत्पन्न]] एक-रूप में मानों के साथ कई गुना कार्यों पर कार्य करता है # विभेदक एक-रूप | 1-रूप (इसकी अभिव्यक्ति <br> है)<math>d=\sum_j \partial_j \, dx_j</math> <br>किसी भी स्थानीय निर्देशांक में) मैनिफोल्ड के सभी सुचारू परिवर्तनों के संबंध में अपरिवर्तनीय है ([[विभेदक रूप]]ों पर परिवर्तन की क्रिया केवल [[पुलबैक (विभेदक ज्यामिति)]] है)।
#1-रूपों में मानो के साथ मैनिफोल्ड पर कार्य करने वाला अवकलन इसकी अभिव्यक्ति है<br><math>d=\sum_j \partial_j \, dx_j</math> <br>किसी भी स्थानीय निर्देशांक में) मैनिफोल्ड के सभी स्मूथ परिवर्तनों के संबंध में अपरिवर्तनीय है ([[विभेदक रूप|अवकलन रूप]] पर परिवर्तन की क्रिया केवल [[पुलबैक (विभेदक ज्यामिति)|पुलबैक (अवकलन ज्यामिति)]] है)।
# अधिक सामान्यतः, बाहरी व्युत्पन्न <br><math>d:\Omega^n(M)\rightarrow\Omega^{n+1}(M)</math> <br>जो किसी भी स्मूथ मैनिफोल्ड एम के एन-रूपों पर कार्य करता है, वह सभी स्मूथ परिवर्तनों के संबंध में अपरिवर्तनीय है। यह दिखाया जा सकता है कि बाहरी व्युत्पन्न उन बंडलों के बीच एकमात्र रैखिक अपरिवर्तनीय अंतर ऑपरेटर है।
# अधिक सामान्यतः, बाहरी व्युत्पन्न <br><math>d:\Omega^n(M)\rightarrow\Omega^{n+1}(M)</math> <br>जो किसी भी स्मूथ मैनिफोल्ड m के n-रूपों पर कार्य करता है, वह सभी स्मूथ परिवर्तनों के संबंध में अपरिवर्तनीय है। यह दिखाया जा सकता है कि बाहरी व्युत्पन्न उन बंडलों के मध्य एकमात्र रैखिक अपरिवर्तनीय अवकलन ऑपरेटर है।
# भौतिकी में [[डिराक ऑपरेटर]] पोंकारे समूह के संबंध में अपरिवर्तनीय है (यदि हम स्पिनर मूल्यवान कार्यों पर पोंकारे समूह की उचित समूह कार्रवाई (गणित) चुनते हैं। हालांकि, यह सूक्ष्म प्रश्न है और यदि हम इसे गणितीय रूप से कठोर बनाना चाहते हैं, तो हमें कहना चाहिए कि यह उस समूह के संबंध में अपरिवर्तनीय है जो पोंकारे समूह का डबल कवरिंग समूह है)
# भौतिकी में [[डिराक ऑपरेटर]] पोंकारे समूह के संबंध में अपरिवर्तनीय है (यदि हम स्पिनर मूल्यवान कार्यों पर पोंकारे समूह की उचित समूह फलन (गणित) चुनते हैं। चूँकि, यह सूक्ष्म प्रश्न है और यदि हम इसे गणितीय रूप से कठोर बनाना चाहते हैं, तो हमें कहना चाहिए कि यह उस समूह के संबंध में अपरिवर्तनीय है जो पोंकारे समूह का डबल कवरिंग समूह है)
# [[अनुरूप हत्या समीकरण]] <br><math>X^a \mapsto \nabla_{(a}X_{b)}-\frac{1}{n}\nabla_c X^c g_{ab}</math><br> वेक्टर फ़ील्ड और सममित ट्रेस-मुक्त टेंसर के बीच अनुरूप रूप से अपरिवर्तनीय रैखिक अंतर ऑपरेटर है।
# [[अनुरूप हत्या समीकरण|कांफोर्मल किलिंग समीकरण]] <br><math>X^a \mapsto \nabla_{(a}X_{b)}-\frac{1}{n}\nabla_c X^c g_{ab}</math><br> सदिश क्षेत्र और सममित ट्रेस-मुक्त टेंसर के मध्य कांफोर्मल रूप से अपरिवर्तनीय रैखिक अवकलन ऑपरेटर है।


==अनुरूप अपरिवर्तन==
==कांफोर्मल अपरिवर्तन==
<gallery>
<gallery>
Image:conformalsphere.jpg|गोला (यहां एक लाल वृत्त के रूप में दिखाया गया है) एक अनुरूप सजातीय मैनिफोल्ड के रूप में।
Image:conformalsphere.jpg|गोला (यहां एक लाल वृत्त के रूप में दिखाया गया है) एक अनुरूप सजातीय मैनिफोल्ड के रूप में।
Line 49: Line 48:
एक मीट्रिक दिया गया
एक मीट्रिक दिया गया
:<math>g(x,y)=x_{1}y_{n+2}+x_{n+2}y_{1}+\sum_{i=2}^{n+1}x_{i}y_{i}</math>
:<math>g(x,y)=x_{1}y_{n+2}+x_{n+2}y_{1}+\sum_{i=2}^{n+1}x_{i}y_{i}</math>
पर <math>\mathbb{R}^{n+2}</math>, हम गोला लिख ​​सकते हैं <math>S^{n}</math> नल शंकु के जनरेटर के स्थान के रूप में
<math>\mathbb{R}^{n+2}</math> पर, हम गोले <math>S^{n}</math> को शून्य शंकु के जनरेटर के स्थान के रूप में लिख सकते हैं


:<math>S^{n}=\{[x]\in\mathbb{RP}_{n+1}\; :\; g(x,x)=0 \}.</math>
:<math>S^{n}=\{[x]\in\mathbb{RP}_{n+1}\; :\; g(x,x)=0 \}.</math>
इस प्रकार अनुरूप ज्यामिति का समतल मॉडल गोला है <math>S^{n}=G/P</math> साथ <math>G=SO_{0}(n+1,1)</math> और पी बिंदु का स्टेबलाइजर है <math>\mathbb{R}^{n+2}</math>. गोले पर सभी रैखिक अनुरूप रूप से अपरिवर्तनीय अंतर ऑपरेटरों का वर्गीकरण ज्ञात है (ईस्टवुड और राइस, 1987)।<ref>{{cite journal|last=M.G. Eastwood and J.W. Rice|title=मिन्कोव्स्की स्पेस और उनके घुमावदार एनालॉग्स पर अनुरूप रूप से अपरिवर्तनीय अंतर ऑपरेटर|journal=Commun. Math. Phys. |volume=109 |year=1987 |issue=2 |pages=207–228|doi=10.1007/BF01215221 |bibcode=1987CMaPh.109..207E |s2cid=121161256 |url=http://projecteuclid.org/euclid.cmp/1104116840 }}</ref>


इस प्रकार, अनुरूप ज्यामिति का समतल मॉडल गोला <math>S^{n}=G/P</math> है जिसमें <math>G=SO_{0}(n+1,1)</math> और P बिंदु का स्टेबलाइजर है। <math>\mathbb{R}^{n+2}</math> गोले पर सभी रैखिक अनुरूप रूप से अपरिवर्तनीय अंतर ऑपरेटरों का वर्गीकरण ज्ञात है (ईस्टवुड और राइस, 1987)।<ref>{{cite journal|last=M.G. Eastwood and J.W. Rice|title=मिन्कोव्स्की स्पेस और उनके घुमावदार एनालॉग्स पर अनुरूप रूप से अपरिवर्तनीय अंतर ऑपरेटर|journal=Commun. Math. Phys. |volume=109 |year=1987 |issue=2 |pages=207–228|doi=10.1007/BF01215221 |bibcode=1987CMaPh.109..207E |s2cid=121161256 |url=http://projecteuclid.org/euclid.cmp/1104116840 }}</ref>
==यह भी देखें==
==यह भी देखें==
*विभेदक ऑपरेटर
*अवकलन ऑपरेटर
*[[लाप्लास अपरिवर्तनीय]]
*[[लाप्लास अपरिवर्तनीय]]
*[[एलपीडीओ का अपरिवर्तनीय गुणनखंडन]]
*[[एलपीडीओ का अपरिवर्तनीय गुणनखंडन]]
Line 64: Line 62:


<ref>{{cite journal|last1=Dobrev|first1=Vladimir|title=Canonical construction of intertwining differential operators associated with representations of real semisimple Lie groups|journal=Rep. Math. Phys.|date=1988|volume=25|issue=2|pages=159–181|doi=10.1016/0034-4877(88)90050-X|url=http://www.journals.elsevier.com/reports-on-mathematical-physics/|bibcode=1988RpMP...25..159D}}</ref>
<ref>{{cite journal|last1=Dobrev|first1=Vladimir|title=Canonical construction of intertwining differential operators associated with representations of real semisimple Lie groups|journal=Rep. Math. Phys.|date=1988|volume=25|issue=2|pages=159–181|doi=10.1016/0034-4877(88)90050-X|url=http://www.journals.elsevier.com/reports-on-mathematical-physics/|bibcode=1988RpMP...25..159D}}</ref>
==संदर्भ==
==संदर्भ==
*{{cite book|last=Slovák|first=Jan|title=[ftp://www.math.muni.cz/pub/math/people/Slovak/papers/vienna.ps Invariant Operators on Conformal Manifolds]|year=1993|publisher=Research Lecture Notes, University of Vienna (Dissertation)}}
*{{cite book|last=Slovák|first=Jan|title=[ftp://www.math.muni.cz/pub/math/people/Slovak/papers/vienna.ps Invariant Operators on Conformal Manifolds]|year=1993|publisher=Research Lecture Notes, University of Vienna (Dissertation)}}
Line 72: Line 68:
*{{cite journal|last=Kroeske|first=Jens|title=Invariant bilinear differential pairings on parabolic geometries |year=2008|journal=PhD Thesis from the University of Adelaide|arxiv=0904.3311|bibcode=2009PhDT.......274K}}
*{{cite journal|last=Kroeske|first=Jens|title=Invariant bilinear differential pairings on parabolic geometries |year=2008|journal=PhD Thesis from the University of Adelaide|arxiv=0904.3311|bibcode=2009PhDT.......274K}}


{{DEFAULTSORT:Invariant Differential Operator}}[[Category: विभेदक ज्यामिति]] [[Category: विभेदक संचालक]]
{{DEFAULTSORT:Invariant Differential Operator}}
 
 


[[Category: Machine Translated Page]]
[[Category:CS1 errors|Invariant Differential Operator]]
[[Category:Created On 25/07/2023]]
[[Category:Created On 25/07/2023|Invariant Differential Operator]]
[[Category:Machine Translated Page|Invariant Differential Operator]]
[[Category:Templates Vigyan Ready|Invariant Differential Operator]]
[[Category:विभेदक ज्यामिति|Invariant Differential Operator]]
[[Category:विभेदक संचालक|Invariant Differential Operator]]

Latest revision as of 15:30, 10 August 2023

गणित और सैद्धांतिक भौतिकी में, अपरिवर्तनीय अवकलन ऑपरेटर कुछ वस्तुओं से समान प्रकार की वस्तु तक का प्रकार का गणितीय मानचित्र होता है। यह ऑब्जेक्ट सामान्यतः पर फलन, मैनिफ़ोल्ड पर फलन, सदिश मान फलन, सदिश क्षेत्र, या, अधिक सामान्यतः, सदिश बंडल के अनुभाग होते हैं।

अपरिवर्तनीय अवकलन ऑपरेटर में, शब्द अवकलन ऑपरेटर संकेत करता है कि मानचित्र का मान केवल और में के डेरिवेटिव पर निर्भर करता है। अपरिवर्तनीय शब्द संकेत करता है कि ऑपरेटर में कुछ समरूपता सम्मिलित है। इसका कारण यह है कि फलन (या प्रश्न में अन्य वस्तुओं) पर समूह फलन के साथ समूह है और यह क्रिया ऑपरेटर द्वारा संरक्षित है:

सामान्यतः, समूह की फलन में निर्देशांक के परिवर्तन (पर्यवेक्षक के परिवर्तन) का अर्थ होता है और अपरिवर्तनीयता का अर्थ है कि ऑपरेटर के पास सभी स्वीकार्य निर्देशांक में समान अभिव्यक्ति होती है।

सजातीय समिष्ट पर अपरिवर्तनीयता

मान लीजिए M = G/H Lie समूह G और Lie उपसमूह H के लिए सजातीय समिष्ट है। प्रत्येक प्रतिनिधित्व (गणित) सदिश बंडल को जन्म देता है

अनुभागों को से पहचाना जा सकता है

इस रूप में समूह G अनुभागों पर कार्य करता है

अब मान लीजिए कि V और W, M के ऊपर दो सदिश बंडल हैं। फिर अवकलन ऑपरेटर

जो V के अनुभागों को W के अनुभागों में मैप करता है उसे अपरिवर्तनीय कहा जाता है यदि

सभी वर्गों के लिए में और G में अवयव G सजातीय परवलयिक ज्यामिति (अवकलन ज्यामिति) पर सभी रैखिक अपरिवर्तनीय अवकलन ऑपरेटर, अर्थात जब G अर्ध-सरल है और H परवलयिक उपसमूह है, सामान्यीकृत वर्मा मॉड्यूल के समरूपता द्वारा दोहरे रूप से दिए गए हैं।

एब्स्ट्रेक्ट सूचकांकों के संदर्भ में अपरिवर्तनीयता

दो सम्बन्ध दिए गए हैं और और रूप , हमारे पास है

कुछ टेंसर के लिए [1] सम्बन्ध के समतुल्य वर्ग को देखते हुए, हम कहते हैं कि ऑपरेटर अपरिवर्तनीय है यदि समतुल्य वर्ग में सम्बन्ध से दूसरे सम्बन्ध में परिवर्तित करने पर ऑपरेटर का रूप नहीं परिवर्तित होता है। उदाहरण के लिए, यदि हम सभी टोशन मुक्त सम्बन्ध के समतुल्य वर्ग पर विचार करते हैं, तो टेंसर Q अपने निचले सूचकांक अर्थात में सममित है। इसलिए हम गणना कर सकते हैं

जहां कोष्ठक विषम समरूपता दर्शाते हैं। यह किसी रूप पर कार्य करते समय बाहरी व्युत्पन्न की अपरिवर्तनीयता को दर्शाता है। अवकलन ज्यामिति में सम्बन्ध के समतुल्य वर्ग स्वाभाविक रूप से उत्पन्न होते हैं, उदाहरण के लिए:

  • कांफोर्मल ज्यामिति में कांफोर्मल वर्ग में सभी मीट्रिक (गणित) के लेवी सिविता सम्बन्ध द्वारा सम्बन्ध का समतुल्य वर्ग दिया जाता है;
  • प्रक्षेप्य ज्यामिति में सम्बन्ध का समतुल्य वर्ग उन सभी सम्बन्ध द्वारा दिया जाता है जिनकी जियोडेसिक्स समान होती है;
  • सीआर ज्यामिति में स्यूडोहर्मिटियन संरचना के प्रत्येक विकल्प के लिए तनाका-वेबस्टर सम्बन्ध द्वारा सम्बन्ध का समतुल्य वर्ग दिया जाता है

उदाहरण

  1. यूक्लिडियन समिष्ट पर वास्तविक मूल्यवान कार्यों पर कार्य करने वाला सामान्य ग्रेडिएंट ऑपरेटर सभी यूक्लिडियन परिवर्तन के संबंध में अपरिवर्तनीय है।
  2. 1-रूपों में मानो के साथ मैनिफोल्ड पर कार्य करने वाला अवकलन इसकी अभिव्यक्ति है

    किसी भी स्थानीय निर्देशांक में) मैनिफोल्ड के सभी स्मूथ परिवर्तनों के संबंध में अपरिवर्तनीय है (अवकलन रूप पर परिवर्तन की क्रिया केवल पुलबैक (अवकलन ज्यामिति) है)।
  3. अधिक सामान्यतः, बाहरी व्युत्पन्न

    जो किसी भी स्मूथ मैनिफोल्ड m के n-रूपों पर कार्य करता है, वह सभी स्मूथ परिवर्तनों के संबंध में अपरिवर्तनीय है। यह दिखाया जा सकता है कि बाहरी व्युत्पन्न उन बंडलों के मध्य एकमात्र रैखिक अपरिवर्तनीय अवकलन ऑपरेटर है।
  4. भौतिकी में डिराक ऑपरेटर पोंकारे समूह के संबंध में अपरिवर्तनीय है (यदि हम स्पिनर मूल्यवान कार्यों पर पोंकारे समूह की उचित समूह फलन (गणित) चुनते हैं। चूँकि, यह सूक्ष्म प्रश्न है और यदि हम इसे गणितीय रूप से कठोर बनाना चाहते हैं, तो हमें कहना चाहिए कि यह उस समूह के संबंध में अपरिवर्तनीय है जो पोंकारे समूह का डबल कवरिंग समूह है)
  5. कांफोर्मल किलिंग समीकरण

    सदिश क्षेत्र और सममित ट्रेस-मुक्त टेंसर के मध्य कांफोर्मल रूप से अपरिवर्तनीय रैखिक अवकलन ऑपरेटर है।

कांफोर्मल अपरिवर्तन

एक मीट्रिक दिया गया

पर, हम गोले को शून्य शंकु के जनरेटर के स्थान के रूप में लिख सकते हैं

इस प्रकार, अनुरूप ज्यामिति का समतल मॉडल गोला है जिसमें और P बिंदु का स्टेबलाइजर है। गोले पर सभी रैखिक अनुरूप रूप से अपरिवर्तनीय अंतर ऑपरेटरों का वर्गीकरण ज्ञात है (ईस्टवुड और राइस, 1987)।[2]

यह भी देखें

टिप्पणियाँ

  1. Penrose and Rindler (1987). स्पिनर्स और स्पेस टाइम. Cambridge Monographs on Mathematical Physics.
  2. M.G. Eastwood and J.W. Rice (1987). "मिन्कोव्स्की स्पेस और उनके घुमावदार एनालॉग्स पर अनुरूप रूप से अपरिवर्तनीय अंतर ऑपरेटर". Commun. Math. Phys. 109 (2): 207–228. Bibcode:1987CMaPh.109..207E. doi:10.1007/BF01215221. S2CID 121161256.

[1]

संदर्भ