कार्यात्मक निर्धारक: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
[[कार्यात्मक विश्लेषण]] में, गणित की शाखा, कभी-कभी परिमित क्रम के [[वर्ग मैट्रिक्स]] के | [[कार्यात्मक विश्लेषण|क्रियात्मक विश्लेषण]] में, गणित की शाखा, कभी-कभी परिमित क्रम के [[वर्ग मैट्रिक्स|वर्ग आव्यूह]] के विश्लेषण की धारणा को सामान्य बनाना संभव होता है (एक परिमित-आयामी वेक्टर अंतरिक्ष से स्वयं में [[रैखिक परिवर्तन]] का प्रतिनिधित्व करता है) के अनंत-आयामी स्थिति में [[ रैखिक ऑपरेटर | रैखिक संचालक]] S [[कार्य स्थान|सदिश स्पेस]] V को स्वयं मैप कर रहा है। संगत मात्रा det(S) को 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|ऑसगूड|फिलिप्स|सरनाक|1988}} ने दिखाया है कि क्यूएफटी औपचारिकता में दो क्रियात्मक निर्धारकों की तुलना करके प्राप्त परिणाम जीटा क्रियात्मक विश्लेषण द्वारा प्राप्त परिणामों से सहमत हैं। | ||
==सूत्रों को परिभाषित करना== | ==सूत्रों को परिभाषित करना== | ||
===पथ अभिन्न संस्करण=== | ===पथ अभिन्न संस्करण=== | ||
एक परिमित-आयामी [[यूक्लिडियन स्थान]] V पर सकारात्मक स्व- | एक परिमित-आयामी [[यूक्लिडियन स्थान]] 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 | जहां 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> | ||
कार्यों के आधार पर | कार्यों के आधार पर 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 अनंत स्थिरांक है जिसे कुछ नियमितीकरण प्रक्रिया द्वारा निपटाने की आवश्यकता है। सभी | जहां 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> उदाहरण के लिए, यह मिनाक्षीसुंदरम-प्लीजेल ज़ेटा फलन का उपयोग करके [[रीमैनियन मैनिफोल्ड]] पर लाप्लास और डिराक ऑपरेटरों के विश्लेषण की गणना करने की अनुमति देता है। अन्यथा, दो निर्धारकों के भागफल पर विचार करना भी संभव है, जिससे अपसारी स्थिरांक निरस्त हो जाते हैं। | ||
===ज़ेटा | ===ज़ेटा फलन संस्करण=== | ||
मान लीजिए कि S सुचारू गुणांक वाला अण्डाकार अंतर | मान लीजिए कि 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 पर | सभी कॉम्पैक्ट रूप से समर्थित सुचारू कार्यों के लिए φ। तब 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 का जीटा | फिर 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>.}} गणितीय शब्दजाल नियमित है | |||
औपचारिक रूप से, इस श्रृंखला को शब्द-दर-अवधि विभेदित करने से पता चलता है | औपचारिक रूप से, इस श्रृंखला को शब्द-दर-अवधि विभेदित करने से पता चलता है | ||
:<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> [[हर्विट्ज़ ज़ेटा फ़ंक्शन|हर्विट्ज़ ज़ेटा फलन]] है। | ||
==व्यावहारिक उदाहरण== | ==व्यावहारिक उदाहरण == | ||
[[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 कुएं की लंबाई है। हम इस | जहां 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> यह निम्नलिखित अभिव्यक्ति पर विचार पर आधारित है: | ||
:<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 | जहाँ 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 का मेरोमोर्फिक फलन भी है, हम देखते हैं कि इसमें पूर्णतया वही ध्रुव और शून्य हैं जो निर्धारकों के भागफल के रूप में हम गणना करने का प्रयास कर रहे हैं: यदि 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 के सभी मानों के लिए 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) का पालन करते हैं | ||
:<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 क्षमता की गहराई है और 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) का पालन करते हैं
निम्नलिखित समाधान दे रहे हैं:
यह अंतिम अभिव्यक्ति देता है
यह भी देखें
- फ्रेडहोम विश्लेषण
- फुजिकावा विधि
- फद्दीव-पोपोव भूत
टिप्पणियाँ
- ↑ (Branson 1993); (Osgood, Phillips & Sarnak 1988)
- ↑ See Osgood, Phillips & Sarnak (1988). For a more general definition in terms of the spectral function, see Hörmander (1968) or Shubin (1987).
- ↑ 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).
- ↑ 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