कार्यात्मक निर्धारक: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
[[कार्यात्मक विश्लेषण]] में, गणित की शाखा, कभी-कभी परिमित क्रम के [[वर्ग मैट्रिक्स]] के निर्धारक की धारणा को सामान्य बनाना संभव होता है (एक परिमित-आयामी वेक्टर अंतरिक्ष से स्वयं में [[रैखिक परिवर्तन]] का प्रतिनिधित्व करता है) के अनंत-आयामी मामले में [[ रैखिक ऑपरेटर ]] S [[कार्य स्थान]] V को स्वयं मैप कर रहा है। संगत मात्रा det(S) को S का 'कार्यात्मक निर्धारक' कहा जाता है।
[[कार्यात्मक विश्लेषण|क्रियात्मक विश्लेषण]] में, गणित की शाखा, कभी-कभी परिमित क्रम के [[वर्ग मैट्रिक्स|वर्ग आव्यूह]] के विश्लेषण की धारणा को सामान्य बनाना संभव होता है (एक परिमित-आयामी वेक्टर अंतरिक्ष से स्वयं में [[रैखिक परिवर्तन]] का प्रतिनिधित्व करता है) के अनंत-आयामी स्थिति में [[ रैखिक ऑपरेटर | रैखिक संचालक]] S [[कार्य स्थान|सदिश स्पेस]] V को स्वयं मैप कर रहा है। संगत मात्रा det(S) को S का 'क्रियात्मक विश्लेषण' कहा जाता है।


कार्यात्मक निर्धारक के लिए कई सूत्र हैं। वे सभी इस तथ्य पर आधारित हैं कि परिमित [[मैट्रिक्स (गणित)]] का निर्धारक मैट्रिक्स के [[eigenvalue]]s ​​​​के उत्पाद के बराबर है। गणितीय रूप से कठोर परिभाषा ज़ेटा फ़ंक्शन (ऑपरेटर) के माध्यम से है,
क्रियात्मक विश्लेषण के लिए कई सूत्र हैं। वे सभी इस तथ्य पर आधारित हैं कि परिमित [[मैट्रिक्स (गणित)|आव्यूह (गणित)]] का विश्लेषण आव्यूह के [[eigenvalue|ईजेनवैल्यू]] ​​​​के उत्पाद के सामान्य है। गणितीय रूप से कठोर परिभाषा ज़ेटा फलन (संचालक) के माध्यम से है,
:<math> \zeta_S(a) = \operatorname{tr}\, S^{-a} \,, </math>
:<math> \zeta_S(a) = \operatorname{tr}\, S^{-a} \,, </math>
जहां tr ट्रेस वर्ग के लिए है: तब निर्धारक को परिभाषित किया जाता है
जहां tr ट्रेस वर्ग के लिए है: तब विश्लेषण को परिभाषित किया जाता है
:<math> \det S = e^{-\zeta_S'(0)} \,, </math>
:<math> \det S = e^{-\zeta_S'(0)} \,, </math>
जहां बिंदु s = 0 में जीटा फ़ंक्शन को [[विश्लेषणात्मक निरंतरता]] द्वारा परिभाषित किया गया है। अन्य संभावित सामान्यीकरण, जिसे अक्सर [[क्वांटम क्षेत्र सिद्धांत]] (क्यूएफटी) में [[फेनमैन पथ अभिन्न]] औपचारिकता का उपयोग करते समय भौतिकविदों द्वारा उपयोग किया जाता है, [[कार्यात्मक एकीकरण]] का उपयोग करता है:
जहां बिंदु s = 0 में जीटा फलन को [[विश्लेषणात्मक निरंतरता]] द्वारा परिभाषित किया गया है। अन्य संभावित सामान्यीकरण, जिसे अधिकांशतः [[क्वांटम क्षेत्र सिद्धांत]] (क्यूएफटी) में [[फेनमैन पथ अभिन्न]] औपचारिकता का उपयोग करते समय भौतिकविदों द्वारा उपयोग किया जाता है, [[कार्यात्मक एकीकरण|क्रियात्मक एकीकरण]] का उपयोग करता है:
:<math> \det S \propto \left( \int_V \mathcal D \phi \; e^{- \langle \phi, S\phi\rangle} \right)^{-2} \,. </math>
:<math> \det S \propto \left( \int_V \mathcal D \phi \; e^{- \langle \phi, S\phi\rangle} \right)^{-2} \,. </math>
यह पथ समाकलन केवल कुछ भिन्न गुणक स्थिरांक तक ही अच्छी तरह से परिभाषित है। इसे कठोर अर्थ देने के लिए इसे किसी अन्य कार्यात्मक निर्धारक द्वारा विभाजित किया जाना चाहिए, इस प्रकार समस्याग्रस्त 'स्थिरांक' को प्रभावी ढंग से रद्द किया जाना चाहिए।
यह पथ समाकलन केवल कुछ भिन्न गुणक स्थिरांक तक ही अच्छी तरह से परिभाषित है। इसे कठोर अर्थ देने के लिए इसे किसी अन्य क्रियात्मक विश्लेषण द्वारा विभाजित किया जाना चाहिए, इस प्रकार समस्याग्रस्त 'स्थिरांक' को प्रभावी विधि से निरस्त किया जाना चाहिए।


ये अब, स्पष्ट रूप से, कार्यात्मक निर्धारक के लिए दो अलग-अलग परिभाषाएँ हैं, क्वांटम क्षेत्र सिद्धांत से आ रही है और [[वर्णक्रमीय सिद्धांत]] से आ रही है। प्रत्येक में किसी प्रकार का [[नियमितीकरण (भौतिकी)]] शामिल है: भौतिकी में लोकप्रिय परिभाषा में, दो निर्धारकों की तुलना केवल दूसरे से की जा सकती है; गणित में जीटा फ़ंक्शन का उपयोग किया जाता था।  {{harvtxt|Osgood|Phillips|Sarnak|1988}} ने दिखाया है कि क्यूएफटी औपचारिकता में दो कार्यात्मक निर्धारकों की तुलना करके प्राप्त परिणाम जीटा कार्यात्मक निर्धारक द्वारा प्राप्त परिणामों से सहमत हैं।
ये अब, स्पष्ट रूप से, क्रियात्मक विश्लेषण के लिए दो अलग-अलग परिभाषाएँ हैं, क्वांटम क्षेत्र सिद्धांत से आ रही है और [[वर्णक्रमीय सिद्धांत]] से आ रही है। प्रत्येक में किसी प्रकार का [[नियमितीकरण (भौतिकी)]] सम्मिलित है: भौतिकी में लोकप्रिय परिभाषा में, दो निर्धारकों की तुलना केवल एक दूसरे से की जा सकती है; गणित में जीटा फलन का उपयोग किया जाता था।  {{harvtxt|ऑसगूड|फिलिप्स|सरनाक|1988}} ने दिखाया है कि क्यूएफटी औपचारिकता में दो क्रियात्मक निर्धारकों की तुलना करके प्राप्त परिणाम जीटा क्रियात्मक विश्लेषण द्वारा प्राप्त परिणामों से सहमत हैं।


==सूत्रों को परिभाषित करना==
==सूत्रों को परिभाषित करना==


===पथ अभिन्न संस्करण===
===पथ अभिन्न संस्करण===
एक परिमित-आयामी [[यूक्लिडियन स्थान]] V पर सकारात्मक स्व-सहायक ऑपरेटर S के लिए, सूत्र
एक परिमित-आयामी [[यूक्लिडियन स्थान]] V पर सकारात्मक स्व-संयुक्त संचालक S के लिए, सूत्र
:<math>\frac{1}{\sqrt{\det S}} = \int_V e^{-\pi\langle x,Sx\rangle}\, dx</math>
:<math>\frac{1}{\sqrt{\det S}} = \int_V e^{-\pi\langle x,Sx\rangle}\, dx</math>
धारण करता है.
धारण करता है.


समस्या अनंत आयामी फ़ंक्शन स्पेस पर ऑपरेटर एस के निर्धारक को समझने का तरीका ढूंढना है। क्वांटम क्षेत्र सिद्धांत में पसंदीदा दृष्टिकोण, जिसमें फ़ंक्शन स्पेस में बंद अंतराल पर निरंतर पथ होते हैं, औपचारिक रूप से अभिन्न की गणना करने का प्रयास करना है
समस्या अनंत आयामी फलन स्पेस पर संचालक एस के विश्लेषण को समझने की विधि खोजना है। क्वांटम क्षेत्र सिद्धांत में पसंदीदा दृष्टिकोण, जिसमें फलन स्पेस में बंद अंतराल पर निरंतर पथ होते हैं, औपचारिक रूप से अभिन्न की गणना करने का प्रयास करना है


:<math>\int_V e^{-\pi\langle \phi,S\phi\rangle}\, \mathcal D\phi</math>
:<math>\int_V e^{-\pi\langle \phi,S\phi\rangle}\, \mathcal D\phi</math>
जहां V फ़ंक्शन स्पेस है और <math>\langle \cdot,\cdot\rangle</math> एल2 मानदंड|एल<sup>2</sup>आंतरिक उत्पाद, और <math>\mathcal D\phi</math> [[वीनर माप]]. एस पर मूल धारणा यह है कि इसे स्व-सहायक होना चाहिए, और इसमें अलग [[ऑपरेटर स्पेक्ट्रम]] λ होना चाहिए<sub>1</sub>, एल<sub>2</sub>, एल<sub>3</sub>, ... [[eigenfunctions]] f के संगत सेट के साथ<sub>1</sub>, एफ<sub>2</sub>, एफ<sub>3</sub>, ... जो एलपी स्पेस|एल में पूर्ण हैं<sup>2</sup> (जैसा कि, उदाहरण के लिए, कॉम्पैक्ट अंतराल Ω पर दूसरे व्युत्पन्न ऑपरेटर के मामले में होगा)। इसका मोटे तौर पर मतलब है कि सभी फ़ंक्शन φ को फ़ंक्शन f के [[रैखिक संयोजन]] के रूप में लिखा जा सकता है<sub>''i''</sub>:
जहां V फलन स्पेस है और <math>\langle \cdot,\cdot\rangle</math> आंतरिक उत्पाद है और <math>\mathcal D\phi</math> [[वीनर माप]] है। एस पर मूल धारणा यह है कि इसे स्व-संयुक्त होना चाहिए, और इसमें अलग-अलग [[ऑपरेटर स्पेक्ट्रम|संचालक स्पेक्ट्रम]] λ<sub>1</sub>, λ<sub>2</sub>, λ<sub>3</sub> ... होना चाहिए, जो कि आइगेनफ़ंक्शन f<sub>1</sub>, f<sub>2</sub>, f<sub>3</sub>, ... के संगत सेट के साथ है, जो L<sup>2</sup> में पूर्ण हैं (उदाहरण के लिए होगा) कॉम्पैक्ट अंतराल Ω पर दूसरे व्युत्पन्न संचालक के लिए स्थिति)। इसका सामान्यतः कारण है कि सभी फलन φ को फलन के [[रैखिक संयोजन]] के रूप में लिखा जा सकता है:


:<math> |\phi\rangle = \sum_i c_i |f_i\rangle \quad \text{with } c_i = \langle f_i | \phi \rangle. </math>
:<math> |\phi\rangle = \sum_i c_i |f_i\rangle \quad \text{with } c_i = \langle f_i | \phi \rangle. </math>
Line 27: Line 27:


:<math> \langle\phi|S|\phi\rangle = \sum_{i,j} c_i^*c_j \langle f_i|S|f_j\rangle = \sum_{i,j}c_i^*c_j \delta_{ij}\lambda_i  = \sum_i |c_i|^2 \lambda_i.</math>
:<math> \langle\phi|S|\phi\rangle = \sum_{i,j} c_i^*c_j \langle f_i|S|f_j\rangle = \sum_{i,j}c_i^*c_j \delta_{ij}\lambda_i  = \sum_i |c_i|^2 \lambda_i.</math>
कार्यों के आधार पर एफ<sub>''i''</sub>, कार्यात्मक एकीकरण सभी आधार कार्यों पर एकीकरण को कम कर देता है। औपचारिक रूप से, यह मानते हुए कि परिमित आयामी मामले से हमारा अंतर्ज्ञान अनंत आयामी सेटिंग में चला जाता है, तब माप बराबर होना चाहिए
कार्यों के आधार पर f<sub>''i''</sub>, क्रियात्मक एकीकरण सभी आधार कार्यों पर एकीकरण को कम कर देता है। औपचारिक रूप से, यह मानते हुए कि परिमित आयामी स्थिति से हमारा अंतर्ज्ञान अनंत आयामी सेटिंग में चला जाता है, तब माप सामान्य होना चाहिए


:<math> \mathcal D \phi = \prod_i \frac{dc_i}{2\pi}. </math>
:<math> \mathcal D \phi = \prod_i \frac{dc_i}{2\pi}. </math>
यह कार्यात्मक इंटीग्रल को [[ गाऊसी अभिन्न ]]्स का उत्पाद बनाता है:
यह क्रियात्मक इंटीग्रल को [[ गाऊसी अभिन्न | गाऊसी अभिन्न]] का उत्पाद बनाता है:


:<math> \int_V \mathcal D \phi \; e^{-\langle \phi|S|\phi\rangle} = \prod_i \int_{-\infty}^{+\infty} \frac{dc_i}{2\pi} e^{-\lambda_ic_i^2}. </math>
:<math> \int_V \mathcal D \phi \; e^{-\langle \phi|S|\phi\rangle} = \prod_i \int_{-\infty}^{+\infty} \frac{dc_i}{2\pi} e^{-\lambda_ic_i^2}. </math>
Line 36: Line 36:


:<math> \int_V \mathcal D \phi \; e^{-\langle \phi|S|\phi\rangle} = \prod_i \frac1{2\sqrt{\pi\lambda_i}} = \frac N{\sqrt{\prod_i\lambda_i}} </math>
:<math> \int_V \mathcal D \phi \; e^{-\langle \phi|S|\phi\rangle} = \prod_i \frac1{2\sqrt{\pi\lambda_i}} = \frac N{\sqrt{\prod_i\lambda_i}} </math>
जहां N अनंत स्थिरांक है जिसे कुछ नियमितीकरण प्रक्रिया द्वारा निपटाने की आवश्यकता है। सभी eigenvalues ​​का उत्पाद परिमित-आयामी स्थानों के लिए निर्धारक के बराबर है, और हम औपचारिक रूप से इसे हमारे अनंत-आयामी मामले में भी परिभाषित करते हैं। इसका परिणाम सूत्र में होता है
जहां N अनंत स्थिरांक है जिसे कुछ नियमितीकरण प्रक्रिया द्वारा निपटाने की आवश्यकता है। सभी ईजेनवैल्यू ​​का उत्पाद परिमित-आयामी स्थानों के लिए विश्लेषण के सामान्य है, और हम औपचारिक रूप से इसे हमारे अनंत-आयामी स्थिति में भी परिभाषित करते हैं। इसका परिणाम सूत्र में होता है
:<math> \int_V \mathcal D \phi \; e^{-\langle\phi|S|\phi\rangle} \propto \frac{1}{\sqrt{\det S}}. </math>
:<math> \int_V \mathcal D \phi \; e^{-\langle\phi|S|\phi\rangle} \propto \frac{1}{\sqrt{\det S}}. </math>
यदि सभी मात्राएँ उचित अर्थ में अभिसरण होती हैं, तो कार्यात्मक निर्धारक को शास्त्रीय सीमा (वाटसन और व्हिटेकर) के रूप में वर्णित किया जा सकता है। अन्यथा, किसी प्रकार की भिन्न श्रृंखला का प्रदर्शन करना आवश्यक है। कार्यात्मक निर्धारकों की गणना के लिए सबसे लोकप्रिय ज़ेटा फ़ंक्शन नियमितीकरण है।<ref>{{harv|Branson|1993}}; {{harv|Osgood|Phillips|Sarnak|1988}}</ref> उदाहरण के लिए, यह मिनाक्षीसुंदरम-प्लीजेल ज़ेटा फ़ंक्शन का उपयोग करके [[रीमैनियन मैनिफोल्ड]] पर लाप्लास और डिराक ऑपरेटरों के निर्धारक की गणना करने की अनुमति देता है। अन्यथा, दो निर्धारकों के भागफल पर विचार करना भी संभव है, जिससे अपसारी स्थिरांक रद्द हो जाते हैं।
यदि सभी मात्राएँ उचित अर्थ में अभिसरण होती हैं, तो क्रियात्मक विश्लेषण को शास्त्रीय सीमा (वाटसन और व्हिटेकर) के रूप में वर्णित किया जा सकता है। अन्यथा, किसी प्रकार की भिन्न श्रृंखला का प्रदर्शन करना आवश्यक है। क्रियात्मक निर्धारकों की गणना के लिए सबसे लोकप्रिय ज़ेटा फलन नियमितीकरण है।<ref>{{harv|Branson|1993}}; {{harv|Osgood|Phillips|Sarnak|1988}}</ref> उदाहरण के लिए, यह मिनाक्षीसुंदरम-प्लीजेल ज़ेटा फलन का उपयोग करके [[रीमैनियन मैनिफोल्ड]] पर लाप्लास और डिराक ऑपरेटरों के विश्लेषण की गणना करने की अनुमति देता है। अन्यथा, दो निर्धारकों के भागफल पर विचार करना भी संभव है, जिससे अपसारी स्थिरांक निरस्त हो जाते हैं।


===ज़ेटा फ़ंक्शन संस्करण===
===ज़ेटा फलन संस्करण===
मान लीजिए कि S सुचारू गुणांक वाला अण्डाकार अंतर ऑपरेटर है जो [[कॉम्पैक्ट समर्थन]] के कार्यों पर सकारात्मक है। अर्थात्, स्थिरांक c > 0 मौजूद है
मान लीजिए कि S सुचारू गुणांक वाला अण्डाकार अंतर संचालक है जो [[कॉम्पैक्ट समर्थन]] के कार्यों पर सकारात्मक है। अर्थात्, स्थिरांक c > 0 उपस्थित है
:<math>\langle\phi,S\phi\rangle \ge c\langle\phi,\phi\rangle</math>
:<math>\langle\phi,S\phi\rangle \ge c\langle\phi,\phi\rangle</math>
सभी कॉम्पैक्ट रूप से समर्थित सुचारू कार्यों के लिए φ। तब S के पास L पर ऑपरेटर के लिए स्व-सहायक एक्सटेंशन है<sup>2</sup>निचली सीमा के साथ सी। S के eigenvalues ​​को क्रम में व्यवस्थित किया जा सकता है
सभी कॉम्पैक्ट रूप से समर्थित सुचारू कार्यों के लिए φ। तब S के पास L पर संचालक के लिए स्व-संयुक्त एक्सटेंशन है<sup>2</sup>निचली सीमा के साथ सी। S के ईजेनवैल्यू ​​को क्रम में व्यवस्थित किया जा सकता है
:<math>0<\lambda_1\le\lambda_2\le\cdots,\qquad\lambda_n\to\infty.</math>
:<math>0<\lambda_1\le\lambda_2\le\cdots,\qquad\lambda_n\to\infty.</math>
फिर S का जीटा फ़ंक्शन श्रृंखला द्वारा परिभाषित किया गया है:<ref>See {{harvtxt|Osgood|Phillips|Sarnak|1988}}.  For a more general definition in terms of the spectral function, see {{harvtxt|Hörmander|1968}} or {{harvtxt|Shubin|1987}}.</ref>
फिर S का जीटा फलन श्रृंखला द्वारा परिभाषित किया गया है:<ref>See {{harvtxt|Osgood|Phillips|Sarnak|1988}}.  For a more general definition in terms of the spectral function, see {{harvtxt|Hörmander|1968}} or {{harvtxt|Shubin|1987}}.</ref>
:<math>\zeta_S(s) = \sum_{n=1}^\infty \frac{1}{\lambda_n^s}.</math>
:<math>\zeta_S(s) = \sum_{n=1}^\infty \frac{1}{\lambda_n^s}.</math>
ज्ञातव्य है कि ζ<sub>''S''</sub> पूरे विमान में [[मेरोमोर्फिक निरंतरता]] है।<ref>For the case of the generalized Laplacian, as well as regularity at zero, see {{harvtxt|Berline|Getzler|Vergne|2004|loc=Proposition 9.35}}.  For the general case of an elliptic pseudodifferential operator, see {{harvtxt|Seeley|1967}}.</ref> इसके अलावा, हालांकि कोई अधिक सामान्य स्थितियों में जीटा फ़ंक्शन को परिभाषित कर सकता है, अण्डाकार अंतर ऑपरेटर (या स्यूडोडिफरेंशियल ऑपरेटर) का जीटा फ़ंक्शन गणितीय शब्दजाल #नियमित है {{nowrap|<math>s = 0</math>.}}
ज्ञात है कि ζ<sub>''S''</sub> पूरे विमान में [[मेरोमोर्फिक निरंतरता]] है।<ref>For the case of the generalized Laplacian, as well as regularity at zero, see {{harvtxt|Berline|Getzler|Vergne|2004|loc=Proposition 9.35}}.  For the general case of an elliptic pseudodifferential operator, see {{harvtxt|Seeley|1967}}.</ref> इसके अतिरिक्त, चूँकि कोई अधिक सामान्य स्थितियों में जीटा फलन को परिभाषित कर सकता है, अण्डाकार अंतर संचालक (या स्यूडोडिफरेंशियल संचालक) का जीटा फलन {{nowrap|<math>s = 0</math>.}} गणितीय शब्दजाल नियमित है


औपचारिक रूप से, इस श्रृंखला को शब्द-दर-अवधि विभेदित करने से पता चलता है
औपचारिक रूप से, इस श्रृंखला को शब्द-दर-अवधि विभेदित करने से पता चलता है
:<math>\zeta_S'(s) = \sum_{n=1}^\infty \frac{-\ln\lambda_n}{\lambda_n^s},</math>
:<math>\zeta_S'(s) = \sum_{n=1}^\infty \frac{-\ln\lambda_n}{\lambda_n^s},</math>
और इसलिए यदि कार्यात्मक निर्धारक अच्छी तरह से परिभाषित है, तो इसे इसके द्वारा दिया जाना चाहिए
और इसलिए यदि क्रियात्मक विश्लेषण अच्छी तरह से परिभाषित है, जिससे इसे इसके द्वारा दिया जाना चाहिए
:<math>\det S = \exp\left(-\zeta_S'(0)\right).</math>
:<math>\det S = \exp\left(-\zeta_S'(0)\right).</math>
चूँकि ज़ेटा फ़ंक्शन की विश्लेषणात्मक निरंतरता शून्य पर नियमित है, इसलिए इसे निर्धारक की परिभाषा के रूप में कठोरता से अपनाया जा सकता है।
चूँकि ज़ेटा फलन की विश्लेषणात्मक निरंतरता शून्य पर नियमित है, इसलिए इसे विश्लेषण की परिभाषा के रूप में कठोरता से अपनाया जा सकता है।


इस प्रकार का ज़ेटा-नियमित कार्यात्मक निर्धारक फॉर्म के योगों का मूल्यांकन करते समय भी प्रकट होता है {{nowrap|<math display="inline"> \sum_{n=0}^{\infty} \frac{1}{(n+a)} </math>}}. देता पर एकीकरण <math display="inline"> \sum_{n=0}^{\infty}\ln(n+a) </math> जिसे [[लयबद्ध दोलक]] के लिए निर्धारक का लघुगणक माना जा सकता है। यह अंतिम मान बिल्कुल बराबर है <math> -\partial _s \zeta_H(0,a) </math>, कहाँ <math> \zeta_H(s,a) </math> [[हर्विट्ज़ ज़ेटा फ़ंक्शन]] है।
इस प्रकार का ज़ेटा-नियमित क्रियात्मक विश्लेषण फॉर्म {{nowrap|<math display="inline"> \sum_{n=0}^{\infty} \frac{1}{(n+a)} </math>}} के योगों का मूल्यांकन करते समय भी प्रकट होता है . एकीकरण <math display="inline"> \sum_{n=0}^{\infty}\ln(n+a) </math> जिसे [[लयबद्ध दोलक]] के लिए विश्लेषण का लघुगणक माना जा सकता है। यह अंतिम मान <math> -\partial _s \zeta_H(0,a) </math> पूर्णतया सामान्य है , जहाँ <math> \zeta_H(s,a) </math> [[हर्विट्ज़ ज़ेटा फ़ंक्शन|हर्विट्ज़ ज़ेटा फलन]] है।


==व्यावहारिक उदाहरण==
==व्यावहारिक उदाहरण                                                                                                                                                                                                                               ==
[[Image:Infinite potential well.svg|thumb|A = 0 के साथ अनंत विभव कुँआ।]]
[[Image:Infinite potential well.svg|thumb|A = 0 के साथ अनंत विभव कुँआ।]]


===अनंत क्षमता कुँआ===
===अनंत क्षमता वेल===
हम बॉक्स में कण में [[क्वांटम यांत्रिकी]] कण की गति का वर्णन करने वाले निम्नलिखित ऑपरेटर के निर्धारक की गणना करेंगे:
हम बॉक्स में कण में [[क्वांटम यांत्रिकी]] कण की गति का वर्णन करने वाले निम्नलिखित संचालक के विश्लेषण की गणना करेंगे:


:<math> \det \left(-\frac{d^2}{dx^2} + A\right) \qquad (x\in[0,L]), </math>
:<math> \det \left(-\frac{d^2}{dx^2} + A\right) \qquad (x\in[0,L]), </math>
जहां A क्षमता की गहराई है और L कुएं की लंबाई है। हम इस निर्धारक की गणना ऑपरेटर को विकर्ण करके और eigenvalues ​​​​को गुणा करके करेंगे। ताकि निर्बाध अपसारी स्थिरांक से परेशान न होना पड़े, हम गहराई A वाले ऑपरेटर के निर्धारकों और गहराई A = 0 वाले ऑपरेटर के बीच भागफल की गणना करेंगे। इस क्षमता के eigenvalues ​​​​के बराबर हैं
जहां A क्षमता की गहराई है और L कुएं की लंबाई है। हम इस विश्लेषण की गणना संचालक को विकर्ण करके और ईजेनवैल्यू ​​​​को गुणा करके करेंगे। जिससे निर्बाध अपसारी स्थिरांक से परेशान न होना पड़े, हम गहराई A वाले संचालक के निर्धारकों और गहराई A = 0 वाले संचालक के बीच भागफल की गणना करेंगे। इस क्षमता के ईजेनवैल्यू ​​​​के सामान्य हैं


:<math> \lambda_n = \frac{n^2\pi^2}{L^2} + A \qquad (n \in \mathbb N \setminus \{0\}). </math>
:<math> \lambda_n = \frac{n^2\pi^2}{L^2} + A \qquad (n \in \mathbb N \setminus \{0\}). </math>
इस का मतलब है कि
इस का कारण है कि


:<math> \frac{\det \left(-\frac{d^2}{dx^2} + A\right)}{\det \left(-\frac{d^2}{dx^2}\right)} = \prod_{n=1}^{+\infty} \frac{\frac{n^2\pi^2}{L^2} + A}{\frac{n^2\pi^2}{L^2}} = \prod_{n=1}^{+\infty} \left(1 + \frac{L^2A}{n^2\pi^2}\right). </math>
:<math> \frac{\det \left(-\frac{d^2}{dx^2} + A\right)}{\det \left(-\frac{d^2}{dx^2}\right)} = \prod_{n=1}^{+\infty} \frac{\frac{n^2\pi^2}{L^2} + A}{\frac{n^2\pi^2}{L^2}} = \prod_{n=1}^{+\infty} \left(1 + \frac{L^2A}{n^2\pi^2}\right). </math>
अब हम [[त्रिकोणमितीय कार्य]]ों के लिए [[लियोनहार्ड यूलर]] के अनंत उत्पाद # कार्यों के उत्पाद प्रतिनिधित्व का उपयोग कर सकते हैं:
अब हम [[त्रिकोणमितीय कार्य]] के लिए [[लियोनहार्ड यूलर]] के अनंत उत्पाद कार्यों के उत्पाद प्रतिनिधित्व का उपयोग कर सकते हैं:


:<math> \sin z = z \prod_{n=1}^{\infty} \left(1 - \frac{z^2}{n^2\pi^2}\right) </math>
:<math> \sin z = z \prod_{n=1}^{\infty} \left(1 - \frac{z^2}{n^2\pi^2}\right) </math>
Line 76: Line 76:


:<math> \sinh z = - i\sin iz = z \prod_{n=1}^{\infty} \left(1 + \frac{z^2}{n^2\pi^2}\right). </math>
:<math> \sinh z = - i\sin iz = z \prod_{n=1}^{\infty} \left(1 + \frac{z^2}{n^2\pi^2}\right). </math>
इसे लागू करने पर, हम वह पाते हैं
इसे प्रयुक्त करने पर, हम वह पाते हैं


:<math> \frac{\det \left(-\frac{d^2}{dx^2} + A\right)}{\det \left(-\frac{d^2}{dx^2}\right)} = \prod_{n=1}^{+\infty} \left(1 + \frac{L^2A}{n^2\pi^2}\right) = \frac{\sinh L\sqrt A}{L\sqrt A}. </math>
:<math> \frac{\det \left(-\frac{d^2}{dx^2} + A\right)}{\det \left(-\frac{d^2}{dx^2}\right)} = \prod_{n=1}^{+\infty} \left(1 + \frac{L^2A}{n^2\pi^2}\right) = \frac{\sinh L\sqrt A}{L\sqrt A}. </math>




===कार्यात्मक निर्धारक की गणना करने का दूसरा तरीका===
===क्रियात्मक विश्लेषण की गणना करने का दूसरा विधि===
एक-आयामी संभावनाओं के लिए, कार्यात्मक निर्धारक प्रदान करने वाला शॉर्ट-कट मौजूद है।<ref>S. Coleman, ''The uses of instantons'', Int. School of Subnuclear Physics, (Erice, 1977)</ref> यह निम्नलिखित अभिव्यक्ति पर विचार पर आधारित है:
एक-आयामी संभावनाओं के लिए, क्रियात्मक विश्लेषण प्रदान करने वाला शॉर्ट-कट उपस्थित है।<ref>S. Coleman, ''The uses of instantons'', Int. School of Subnuclear Physics, (Erice, 1977)</ref> यह निम्नलिखित अभिव्यक्ति पर विचार पर आधारित है:


:<math> \frac{\det \left(-\frac{d^2}{dx^2} + V_1(x) - m\right)}{\det \left(-\frac{d^2}{dx^2} + V_2(x) - m\right)} </math>
:<math> \frac{\det \left(-\frac{d^2}{dx^2} + V_1(x) - m\right)}{\det \left(-\frac{d^2}{dx^2} + V_2(x) - m\right)} </math>
जहाँ m सम्मिश्र संख्या स्थिरांक है। यह अभिव्यक्ति m का [[मेरोमोर्फिक फ़ंक्शन]] है, जिसमें शून्य होता है जब m संभावित V के साथ ऑपरेटर के eigenvalue के बराबर होता है<sub>1</sub>(x) और पोल जब m संभावित V वाले ऑपरेटर का आइगेनवैल्यू है<sub>2</sub>(एक्स)। अब हम फलन ψ पर विचार करते हैं{{su|p=''m''|b=1}} और ψ{{su|p=''m''|b=2}} साथ
जहाँ m सम्मिश्र संख्या स्थिरांक है। यह अभिव्यक्ति m का [[मेरोमोर्फिक फ़ंक्शन|मेरोमोर्फिक फलन]] है, जिसमें शून्य होता है जब m संभावित V<sub>1</sub>(x) के साथ संचालक के ईजेनमूल्य के सामान्य होता है और पोल जब m संभावित V वाले संचालक का आइगेनवैल्यू है। अब हम फलन ψ{{su|p=''m''|b=1}} और ψ{{su|p=''m''|b=2}} साथ पर विचार करते हैं


:<math> \left(-\frac{d^2}{dx^2} + V_i(x) - m\right) \psi_i^m(x) = 0 </math>
:<math> \left(-\frac{d^2}{dx^2} + V_i(x) - m\right) \psi_i^m(x) = 0 </math>
सीमा शर्तों का पालन करना
सीमा नियमो का पालन करना


:<math> \psi_i^m(0) = 0, \quad\qquad \frac{d\psi_i^m}{dx}(0) = 1. </math>
:<math> \psi_i^m(0) = 0, \quad\qquad \frac{d\psi_i^m}{dx}(0) = 1. </math>
यदि हम फ़ंक्शन का निर्माण करते हैं
यदि हम फलन का निर्माण करते हैं


:<math> \Delta(m) = \frac{\psi_1^m(L)}{\psi_2^m(L)}, </math>
:<math> \Delta(m) = \frac{\psi_1^m(L)}{\psi_2^m(L)}, </math>
जो m का मेरोमोर्फिक फ़ंक्शन भी है, हम देखते हैं कि इसमें बिल्कुल वही ध्रुव और शून्य हैं जो निर्धारकों के भागफल के रूप में हम गणना करने का प्रयास कर रहे हैं: यदि m ऑपरेटर नंबर का आइगेनवैल्यू है, तो {{nowrap|''ψ''{{su|p=''m''|b=1}}(''x'')}} उसका eigenfunction होगा, जिसका अर्थ है {{nowrap|1=''ψ''{{su|p=''m''|b=1}}(''L'') = 0}}; और हर के लिए अनुरूप रूप से। लिउविले के प्रमेय (जटिल विश्लेषण) द्वारा|लिउविले के प्रमेय, समान शून्य और ध्रुवों वाले दो मेरोमोर्फिक फ़ंक्शन दूसरे के समानुपाती होने चाहिए। हमारे मामले में, आनुपातिकता स्थिरांक हो जाता है, और हमें मिलता है
जो m का मेरोमोर्फिक फलन भी है, हम देखते हैं कि इसमें पूर्णतया वही ध्रुव और शून्य हैं जो निर्धारकों के भागफल के रूप में हम गणना करने का प्रयास कर रहे हैं: यदि m संचालक नंबर का आइगेनवैल्यू है, तो {{nowrap|''ψ''{{su|p=''m''|b=1}}(''x'')}} उसका ईजेनफंक्शन होगा, जिसका अर्थ है {{nowrap|1=''ψ''{{su|p=''m''|b=1}}(''L'') = 0}}; और हर के लिए अनुरूप रूप से लिउविले के प्रमेय (जटिल विश्लेषण) द्वारा|लिउविले के प्रमेय, समान शून्य और ध्रुवों वाले दो मेरोमोर्फिक फलन दूसरे के समानुपाती होने चाहिए। हमारे स्थिति में, आनुपातिकता स्थिरांक हो जाता है, और हमें मिलता है


:<math> \frac{\det \left(-\frac{d^2}{dx^2} + V_1(x) - m\right)}{\det \left(-\frac{d^2}{dx^2} + V_2(x) - m\right)} = \frac{\psi_1^m(L)}{\psi_2^m(L)} </math>
:<math> \frac{\det \left(-\frac{d^2}{dx^2} + V_1(x) - m\right)}{\det \left(-\frac{d^2}{dx^2} + V_2(x) - m\right)} = \frac{\psi_1^m(L)}{\psi_2^m(L)} </math>
m के सभी मानों के लिए। m = 0 के लिए हमें प्राप्त होता है
m के सभी मानों के लिए m = 0 के लिए हमें प्राप्त होता है


:<math> \frac{\det \left(-\frac{d^2}{dx^2} + V_1(x)\right)}{\det \left(-\frac{d^2}{dx^2} + V_2(x)\right)} = \frac{\psi_1^0(L)}{\psi_2^0(L)}. </math>
:<math> \frac{\det \left(-\frac{d^2}{dx^2} + V_1(x)\right)}{\det \left(-\frac{d^2}{dx^2} + V_2(x)\right)} = \frac{\psi_1^0(L)}{\psi_2^0(L)}. </math>
Line 103: Line 103:


===अनंत क्षमता का अच्छी तरह से पुनरावलोकन===
===अनंत क्षमता का अच्छी तरह से पुनरावलोकन===
इस औपचारिकता से पिछले अनुभाग की समस्या को अधिक आसानी से हल किया जा सकता है। कार्य ψ{{Su|b=''i''|p=0}}(x) आज्ञा मानो
इस औपचारिकता से पिछले अनुभाग की समस्या को अधिक सरलता से हल किया जा सकता है। फलन ψ{{Su|b=''i''|p=0}}(x) का पालन करते हैं


:<math> \begin{align} & \left(-\frac{d^2}{dx^2} + A\right) \psi_1^0 = 0,\qquad \psi_1^0(0) = 0 \quad,\qquad \frac{d\psi_1^0}{dx}(0) = 1, \\ & -\frac{d^2}{dx^2}\psi_2^0 = 0,\qquad \psi_2^0(0) = 0,\qquad \frac{d\psi_2^0}{dx}(0) = 1, \end{align} </math>
:<math> \begin{align} & \left(-\frac{d^2}{dx^2} + A\right) \psi_1^0 = 0,\qquad \psi_1^0(0) = 0 \quad,\qquad \frac{d\psi_1^0}{dx}(0) = 1, \\ & -\frac{d^2}{dx^2}\psi_2^0 = 0,\qquad \psi_2^0(0) = 0,\qquad \frac{d\psi_2^0}{dx}(0) = 1, \end{align} </math>
Line 114: Line 114:




== यह भी देखें ==
== यह भी देखें                                                                                                                                                                                                                       ==


* [[फ्रेडहोम निर्धारक]]
* [[फ्रेडहोम निर्धारक|फ्रेडहोम विश्लेषण]]
* फुजिकावा विधि
* फुजिकावा विधि
* फद्दीव-पोपोव भूत
* फद्दीव-पोपोव भूत


==टिप्पणियाँ==
==टिप्पणियाँ                                                                                                                                                                                                                                   ==
<references/>
<references/>



Revision as of 10:00, 8 July 2023

क्रियात्मक विश्लेषण में, गणित की शाखा, कभी-कभी परिमित क्रम के वर्ग आव्यूह के विश्लेषण की धारणा को सामान्य बनाना संभव होता है (एक परिमित-आयामी वेक्टर अंतरिक्ष से स्वयं में रैखिक परिवर्तन का प्रतिनिधित्व करता है) के अनंत-आयामी स्थिति में रैखिक संचालक S सदिश स्पेस V को स्वयं मैप कर रहा है। संगत मात्रा det(S) को S का 'क्रियात्मक विश्लेषण' कहा जाता है।

क्रियात्मक विश्लेषण के लिए कई सूत्र हैं। वे सभी इस तथ्य पर आधारित हैं कि परिमित आव्यूह (गणित) का विश्लेषण आव्यूह के ईजेनवैल्यू ​​​​के उत्पाद के सामान्य है। गणितीय रूप से कठोर परिभाषा ज़ेटा फलन (संचालक) के माध्यम से है,

जहां tr ट्रेस वर्ग के लिए है: तब विश्लेषण को परिभाषित किया जाता है

जहां बिंदु s = 0 में जीटा फलन को विश्लेषणात्मक निरंतरता द्वारा परिभाषित किया गया है। अन्य संभावित सामान्यीकरण, जिसे अधिकांशतः क्वांटम क्षेत्र सिद्धांत (क्यूएफटी) में फेनमैन पथ अभिन्न औपचारिकता का उपयोग करते समय भौतिकविदों द्वारा उपयोग किया जाता है, क्रियात्मक एकीकरण का उपयोग करता है:

यह पथ समाकलन केवल कुछ भिन्न गुणक स्थिरांक तक ही अच्छी तरह से परिभाषित है। इसे कठोर अर्थ देने के लिए इसे किसी अन्य क्रियात्मक विश्लेषण द्वारा विभाजित किया जाना चाहिए, इस प्रकार समस्याग्रस्त 'स्थिरांक' को प्रभावी विधि से निरस्त किया जाना चाहिए।

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

सूत्रों को परिभाषित करना

पथ अभिन्न संस्करण

एक परिमित-आयामी यूक्लिडियन स्थान V पर सकारात्मक स्व-संयुक्त संचालक S के लिए, सूत्र

धारण करता है.

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

जहां V फलन स्पेस है और आंतरिक उत्पाद है और वीनर माप है। एस पर मूल धारणा यह है कि इसे स्व-संयुक्त होना चाहिए, और इसमें अलग-अलग संचालक स्पेक्ट्रम λ1, λ2, λ3 ... होना चाहिए, जो कि आइगेनफ़ंक्शन f1, f2, f3, ... के संगत सेट के साथ है, जो L2 में पूर्ण हैं (उदाहरण के लिए होगा) कॉम्पैक्ट अंतराल Ω पर दूसरे व्युत्पन्न संचालक के लिए स्थिति)। इसका सामान्यतः कारण है कि सभी फलन φ को फलन के रैखिक संयोजन के रूप में लिखा जा सकता है:

इसलिए घातांक में आंतरिक उत्पाद को इस प्रकार लिखा जा सकता है

कार्यों के आधार पर fi, क्रियात्मक एकीकरण सभी आधार कार्यों पर एकीकरण को कम कर देता है। औपचारिक रूप से, यह मानते हुए कि परिमित आयामी स्थिति से हमारा अंतर्ज्ञान अनंत आयामी सेटिंग में चला जाता है, तब माप सामान्य होना चाहिए

यह क्रियात्मक इंटीग्रल को गाऊसी अभिन्न का उत्पाद बनाता है:

तब अभिन्नों का मूल्यांकन, देकर किया जा सकता है

जहां N अनंत स्थिरांक है जिसे कुछ नियमितीकरण प्रक्रिया द्वारा निपटाने की आवश्यकता है। सभी ईजेनवैल्यू ​​का उत्पाद परिमित-आयामी स्थानों के लिए विश्लेषण के सामान्य है, और हम औपचारिक रूप से इसे हमारे अनंत-आयामी स्थिति में भी परिभाषित करते हैं। इसका परिणाम सूत्र में होता है

यदि सभी मात्राएँ उचित अर्थ में अभिसरण होती हैं, तो क्रियात्मक विश्लेषण को शास्त्रीय सीमा (वाटसन और व्हिटेकर) के रूप में वर्णित किया जा सकता है। अन्यथा, किसी प्रकार की भिन्न श्रृंखला का प्रदर्शन करना आवश्यक है। क्रियात्मक निर्धारकों की गणना के लिए सबसे लोकप्रिय ज़ेटा फलन नियमितीकरण है।[1] उदाहरण के लिए, यह मिनाक्षीसुंदरम-प्लीजेल ज़ेटा फलन का उपयोग करके रीमैनियन मैनिफोल्ड पर लाप्लास और डिराक ऑपरेटरों के विश्लेषण की गणना करने की अनुमति देता है। अन्यथा, दो निर्धारकों के भागफल पर विचार करना भी संभव है, जिससे अपसारी स्थिरांक निरस्त हो जाते हैं।

ज़ेटा फलन संस्करण

मान लीजिए कि S सुचारू गुणांक वाला अण्डाकार अंतर संचालक है जो कॉम्पैक्ट समर्थन के कार्यों पर सकारात्मक है। अर्थात्, स्थिरांक c > 0 उपस्थित है

सभी कॉम्पैक्ट रूप से समर्थित सुचारू कार्यों के लिए φ। तब S के पास L पर संचालक के लिए स्व-संयुक्त एक्सटेंशन है2निचली सीमा के साथ सी। S के ईजेनवैल्यू ​​को क्रम में व्यवस्थित किया जा सकता है

फिर S का जीटा फलन श्रृंखला द्वारा परिभाषित किया गया है:[2]

ज्ञात है कि ζS पूरे विमान में मेरोमोर्फिक निरंतरता है।[3] इसके अतिरिक्त, चूँकि कोई अधिक सामान्य स्थितियों में जीटा फलन को परिभाषित कर सकता है, अण्डाकार अंतर संचालक (या स्यूडोडिफरेंशियल संचालक) का जीटा फलन . गणितीय शब्दजाल नियमित है

औपचारिक रूप से, इस श्रृंखला को शब्द-दर-अवधि विभेदित करने से पता चलता है

और इसलिए यदि क्रियात्मक विश्लेषण अच्छी तरह से परिभाषित है, जिससे इसे इसके द्वारा दिया जाना चाहिए

चूँकि ज़ेटा फलन की विश्लेषणात्मक निरंतरता शून्य पर नियमित है, इसलिए इसे विश्लेषण की परिभाषा के रूप में कठोरता से अपनाया जा सकता है।

इस प्रकार का ज़ेटा-नियमित क्रियात्मक विश्लेषण फॉर्म के योगों का मूल्यांकन करते समय भी प्रकट होता है . एकीकरण जिसे लयबद्ध दोलक के लिए विश्लेषण का लघुगणक माना जा सकता है। यह अंतिम मान पूर्णतया सामान्य है , जहाँ हर्विट्ज़ ज़ेटा फलन है।

व्यावहारिक उदाहरण

A = 0 के साथ अनंत विभव कुँआ।

अनंत क्षमता वेल

हम बॉक्स में कण में क्वांटम यांत्रिकी कण की गति का वर्णन करने वाले निम्नलिखित संचालक के विश्लेषण की गणना करेंगे:

जहां A क्षमता की गहराई है और L कुएं की लंबाई है। हम इस विश्लेषण की गणना संचालक को विकर्ण करके और ईजेनवैल्यू ​​​​को गुणा करके करेंगे। जिससे निर्बाध अपसारी स्थिरांक से परेशान न होना पड़े, हम गहराई A वाले संचालक के निर्धारकों और गहराई A = 0 वाले संचालक के बीच भागफल की गणना करेंगे। इस क्षमता के ईजेनवैल्यू ​​​​के सामान्य हैं

इस का कारण है कि

अब हम त्रिकोणमितीय कार्य के लिए लियोनहार्ड यूलर के अनंत उत्पाद कार्यों के उत्पाद प्रतिनिधित्व का उपयोग कर सकते हैं:

जिससे अतिशयोक्तिपूर्ण कार्य के लिए समान सूत्र प्राप्त किया जा सकता है:

इसे प्रयुक्त करने पर, हम वह पाते हैं


क्रियात्मक विश्लेषण की गणना करने का दूसरा विधि

एक-आयामी संभावनाओं के लिए, क्रियात्मक विश्लेषण प्रदान करने वाला शॉर्ट-कट उपस्थित है।[4] यह निम्नलिखित अभिव्यक्ति पर विचार पर आधारित है:

जहाँ m सम्मिश्र संख्या स्थिरांक है। यह अभिव्यक्ति m का मेरोमोर्फिक फलन है, जिसमें शून्य होता है जब m संभावित V1(x) के साथ संचालक के ईजेनमूल्य के सामान्य होता है और पोल जब m संभावित V वाले संचालक का आइगेनवैल्यू है। अब हम फलन ψm
1
और ψm
2
साथ पर विचार करते हैं

सीमा नियमो का पालन करना

यदि हम फलन का निर्माण करते हैं

जो m का मेरोमोर्फिक फलन भी है, हम देखते हैं कि इसमें पूर्णतया वही ध्रुव और शून्य हैं जो निर्धारकों के भागफल के रूप में हम गणना करने का प्रयास कर रहे हैं: यदि m संचालक नंबर का आइगेनवैल्यू है, तो ψm
1
(x)
उसका ईजेनफंक्शन होगा, जिसका अर्थ है ψm
1
(L) = 0
; और हर के लिए अनुरूप रूप से लिउविले के प्रमेय (जटिल विश्लेषण) द्वारा|लिउविले के प्रमेय, समान शून्य और ध्रुवों वाले दो मेरोमोर्फिक फलन दूसरे के समानुपाती होने चाहिए। हमारे स्थिति में, आनुपातिकता स्थिरांक हो जाता है, और हमें मिलता है

m के सभी मानों के लिए m = 0 के लिए हमें प्राप्त होता है


अनंत क्षमता का अच्छी तरह से पुनरावलोकन

इस औपचारिकता से पिछले अनुभाग की समस्या को अधिक सरलता से हल किया जा सकता है। फलन ψ0
i
(x) का पालन करते हैं

निम्नलिखित समाधान दे रहे हैं:

यह अंतिम अभिव्यक्ति देता है


यह भी देखें

टिप्पणियाँ

  1. (Branson 1993); (Osgood, Phillips & Sarnak 1988)
  2. See Osgood, Phillips & Sarnak (1988). For a more general definition in terms of the spectral function, see Hörmander (1968) or Shubin (1987).
  3. For the case of the generalized Laplacian, as well as regularity at zero, see Berline, Getzler & Vergne (2004, Proposition 9.35). For the general case of an elliptic pseudodifferential operator, see Seeley (1967).
  4. S. Coleman, The uses of instantons, Int. School of Subnuclear Physics, (Erice, 1977)


संदर्भ

  • Berline, Nicole; Getzler, Ezra; Vergne, Michèle (2004), Heat Kernels and Dirac Operators, ISBN 978-3-540-20062-8
  • Branson, Thomas P. (2007), "Q-curvature, spectral invariants, and representation theory", Symmetry, Integrability and Geometry: Methods and Applications, 3: Paper 090, 31, arXiv:0709.2471, Bibcode:2007SIGMA...3..090B, doi:10.3842/SIGMA.2007.090, ISSN 1815-0659, MR 2366932, S2CID 14629173
  • Branson, Thomas P. (1993), The functional determinant, Lecture Notes Series, vol. 4, Seoul: Seoul National University Research Institute of Mathematics Global Analysis Research Center, MR 1325463
  • Hörmander, Lars (1968), "The spectral function of an elliptic operator", Acta Mathematica, 121: 193–218, doi:10.1007/BF02391913, ISSN 0001-5962, MR 0609014
  • Osgood, B.; Phillips, R.; Sarnak, Peter (1988), "Extremals of determinants of Laplacians", Journal of Functional Analysis, 80 (1): 148–211, doi:10.1016/0022-1236(88)90070-5, ISSN 0022-1236, MR 0960228
  • Ray, D. B.; Singer, I. M. (1971), "R-torsion and the Laplacian on Riemannian manifolds", Advances in Mathematics, 7 (2): 145–210, doi:10.1016/0001-8708(71)90045-4, MR 0295381
  • Seeley, R. T. (1967), "Complex powers of an elliptic operator", Singular Integrals (Proc. Sympos. Pure Math., Chicago, Ill., 1966), Providence, R.I.: American Mathematical Society, pp. 288–307, MR 0237943
  • Shubin, M. A. (1987), Pseudodifferential operators and spectral theory, Springer Series in Soviet Mathematics, Berlin, New York: Springer-Verlag, ISBN 978-3-540-13621-7, MR 0883081