लूप इंटीग्रल

क्वांटम क्षेत्र सिद्धांत और सांख्यिकीय यांत्रिकी में, लूप इंटीग्रल इंटीग्रल होते हैं जो आंतरिक संवेग पर एक या अधिक लूप के साथ फेनमैन आरेख का मूल्यांकन करते समय दिखाई देते हैं। इन इंटीग्रल्स का उपयोग काउंटरटर्म निर्धारित करने के लिए किया जाता है, जो बदले में बीटा फ़ंक्शन (भौतिकी) के मूल्यांकन की अनुमति देता है, जो युग्मन की निर्भरता को एन्कोड करता है $$g$$ ऊर्जा पैमाने पर बातचीत के लिए $$\mu$$.

सामान्य सूत्र
एक सामान्य एक-लूप इंटीग्रल, उदाहरण के लिए जो क्वांटम इलेक्ट्रोडायनामिक्स या क्यूसीडी के एक-लूप पुनर्सामान्यीकरण में दिखाई देते हैं, उन्हें फॉर्म में शब्दों के एक रैखिक संयोजन के रूप में लिखा जा सकता है।
 * $$\int \frac{d^dk}{(2\pi)^d}\frac{k_{\mu_1}\cdots k_{\mu_n}}{((k+q_1)^2 + m_1^2)\cdots((k+q_b)^2 + m_b^2)}$$

जहां $$q_i$$ 4-संवेग हैं जो बाहरी संवेग के रैखिक संयोजन हैं, और $$m_i$$ परस्पर क्रिया करने वाले कणों का समूह है। यह अभिव्यक्ति यूक्लिडियन हस्ताक्षर का उपयोग करती है। लोरेंत्ज़ियन हस्ताक्षर में हर रूप की अभिव्यक्ति का एक उत्पाद होगा $$(k+q)^2 - m^2 + i\epsilon$$.

फेनमैन पैरामीट्रिजेशन का उपयोग करके, इसे फॉर्म के इंटीग्रल्स के रैखिक संयोजन के रूप में फिर से लिखा जा सकता है
 * $$\int \frac{d^dl}{(2\pi)^d}\frac{l_{\mu_1}\cdots l_{\mu_n}}{(l^2 + \Delta)^b},$$

जहां 4-वेक्टर $$l$$ और $$\Delta$$ के कार्य हैं $$q_i, m_i$$ और फेनमैन पैरामीटर। यह अभिन्न अंग फेनमैन मापदंडों के डोमेन पर भी एकीकृत है। इंटीग्रल एक आइसोट्रोपिक टेंसर है और इसलिए इसे बिना आइसोट्रोपिक टेंसर के रूप में लिखा जा सकता है $$l$$ निर्भरता (लेकिन संभवतः आयाम पर निर्भर है $$d$$), अभिन्न से गुणा किया गया
 * $$\int \frac{d^dl}{(2\pi)^d}\frac{(l^2)^a}{(l^2 + \Delta)^b}.$$

ध्यान दें कि यदि $$n$$ विषम थे, फिर अभिन्न लुप्त हो जाता है, इसलिए हम परिभाषित कर सकते हैं $$n = 2a$$.

कटऑफ नियमितीकरण
विल्सनियन पुनर्सामान्यीकरण में, कटऑफ पैमाने को निर्दिष्ट करके अभिन्न को सीमित बना दिया जाता है $$\Lambda>0$$. तब मूल्यांकन किया जाने वाला अभिन्न अंग है
 * $$\int^\Lambda \frac{d^dl}{(2\pi)^d}\frac{(l^2)^a}{(l^2 + \Delta)^b},$$

कहाँ $$\int^\Lambda$$ डोमेन पर एकीकरण के लिए आशुलिपि है $$\{l\in \mathbb{R}^d: |l|<\Lambda\}$$. अभिव्यक्ति सीमित है, लेकिन सामान्य तौर पर $$\Lambda\rightarrow\infty$$, अभिव्यक्ति अलग हो जाती है।

आयामी नियमितीकरण
संवेग कटऑफ के बिना अभिन्न का मूल्यांकन इस प्रकार किया जा सकता है
 * $$I_d(b,a,\Delta) := \int_{\mathbb{R}^d} \frac{d^dl}{(2\pi)^d}\frac{(l^2)^a}{(l^2 + \Delta)^b} = \frac{1}{(4\pi)^{d/2}}\frac{1}{\Gamma(d/2)}B\left(b-a-\frac{d}{2}, a + \frac{d}{2}\right)\Delta^{-(b-a-d/2)},$$

कहाँ $$B$$ बीटा फ़ंक्शन है. QED या QCD के पुनर्सामान्यीकरण में गणना के लिए, $$a$$ मान लेता है $$0,1$$ और $$2$$.

QFT में लूप इंटीग्रल्स के लिए, $$B$$ वास्तव में प्रासंगिक मूल्यों के लिए एक ध्रुव है $$a,b$$ और $$d$$. उदाहरण के लिए अदिश राशि में $$\phi^4$$ 4 आयामों में सिद्धांत, इंटरेक्शन वर्टेक्स के एक-लूप पुनर्सामान्यीकरण की गणना में लूप इंटीग्रल है $$(a,b,d) = (0,2,4)$$. हम विश्लेषणात्मक रूप से जारी रखते हुए आयामी नियमितीकरण की 'ट्रिक' का उपयोग करते हैं $$d$$ को $$d = 4 - \epsilon$$ साथ $$\epsilon$$ एक छोटा पैरामीटर.

काउंटरटर्म की गणना के लिए, लूप इंटीग्रल को लॉरेंट श्रृंखला के रूप में व्यक्त किया जाना चाहिए $$\epsilon$$. ऐसा करने के लिए, गामा फ़ंक्शन के लॉरेंट विस्तार का उपयोग करना आवश्यक है,
 * $$\Gamma(\epsilon) = \frac{1}{\epsilon} - \gamma + \mathcal{O}(\epsilon)$$

कहाँ $$\gamma$$ यूलर स्थिरांक है|यूलर-माशेरोनी स्थिरांक। व्यवहार में लूप इंटीग्रल आम तौर पर अलग हो जाता है $$\epsilon\rightarrow 0$$ फेनमैन आरेख के पूर्ण मूल्यांकन के लिए, बीजगणितीय कारक हो सकते हैं जिनका मूल्यांकन किया जाना चाहिए। उदाहरण के लिए QED में, इंटीग्रल के टेंसर सूचकांकों को गामा मैट्रिक्स के साथ अनुबंधित किया जा सकता है, और इंटीग्रल का मूल्यांकन करने के लिए इनसे जुड़ी पहचान की आवश्यकता होती है। क्यूसीडी में, अतिरिक्त लाई बीजगणित कारक हो सकते हैं, जैसे कि आसन्न प्रतिनिधित्व के कासिमिर तत्व के साथ-साथ सिद्धांत में परिवर्तन के तहत मायने रखने वाले किसी भी प्रतिनिधित्व (स्केलर या स्पिनर फ़ील्ड)।

एफ4सिद्धांत
आरंभिक बिंदु के लिए कार्रवाई है $$\phi^4$$ सिद्धांत में $$\mathbb{R}^d$$ है
 * $$S[\phi_0]=\int d^dx\frac{1}{2}(\partial \phi_0)^2 + \frac{1}{2}m_0\phi_0^2 + \frac{1}{4!}\lambda_0\phi_0^4.$$

कहाँ $$(\partial\phi_0)^2 = \nabla\phi_0\cdot\nabla\phi_0 = \sum_{i = 1}^d \partial_i\phi_0\partial_i\phi_0$$. डोमेन को जानबूझकर अस्पष्ट छोड़ दिया गया है, क्योंकि यह नियमितीकरण योजना के आधार पर भिन्न होता है।

संवेग स्थान में यूक्लिडियन हस्ताक्षर प्रचारक है
 * $$\frac{1}{p^2 + m_0^2}.$$

दो-बिंदु सहसंबंधक में एक-लूप योगदान $$\langle \phi(x)\phi(y) \rangle$$ (या बल्कि, गति स्थान के लिए दो-बिंदु सहसंबंधक या दो-बिंदु सहसंबंधक का फूरियर रूपांतरण) एक एकल फेनमैन आरेख से आता है और है
 * $$\frac{\lambda_0}{2}\int \frac{d^dk}{(2\pi)^d}\frac{1}{k^2 + m_0^2}.$$

यह लूप इंटीग्रल का एक उदाहरण है।

अगर $$d\geq 2$$ और एकीकरण का क्षेत्र है $$\mathbb{R}^d$$, यह अभिन्न विचलन करता है। यह विचलन की पहेली की खासियत है जिसने क्वांटम क्षेत्र सिद्धांत को ऐतिहासिक रूप से परेशान किया है। सीमित परिणाम प्राप्त करने के लिए, हम एक नियमितीकरण (भौतिकी) योजना चुनते हैं। उदाहरण के लिए, हम दो योजनाएँ देते हैं।

कटऑफ नियमितीकरण: ठीक करें $$\Lambda > 0$$. नियमितीकृत लूप इंटीग्रल डोमेन पर इंटीग्रल है $$k = |\mathbf{k}| < \Lambda,$$ और इस अभिन्न को इसके द्वारा निरूपित करना विशिष्ट है
 * $$\frac{\lambda_0}{2}\int^\Lambda \frac{d^dk}{(2\pi)^d}\frac{1}{k^2 + m_0^2}.$$

यह अभिन्न अंग परिमित है और इस मामले में इसका मूल्यांकन किया जा सकता है।

आयामी नियमितीकरण: हम सभी को एकीकृत करते हैं $$\mathbb{R}^d$$, लेकिन विचार करने के बजाय $$d$$ एक सकारात्मक पूर्णांक होने के लिए, हम विश्लेषणात्मक रूप से जारी रखते हैं $$d$$ को $$d = n - \epsilon$$, कहाँ $$\epsilon$$ छोटा है। उपरोक्त गणना से, हमने दिखाया कि अभिन्न को उन अभिव्यक्तियों के संदर्भ में लिखा जा सकता है जिनमें पूर्णांकों से एक अच्छी तरह से परिभाषित विश्लेषणात्मक निरंतरता होती है $$n$$ पर कार्य करने के लिए $$\mathbb{C}$$: विशेष रूप से गामा फ़ंक्शन में एक विश्लेषणात्मक निरंतरता और शक्तियाँ होती हैं, $$x^d$$, एक ऑपरेशन है जिसे विश्लेषणात्मक रूप से जारी रखा जा सकता है।