डिरिक्लेट समाकलन

Not to be confused with डिरिचलेट ऊर्जा.

पीटर गुस्ताव लेज्यून डिरिचलेट

गणित में, विभिन्न समाकलन हैं जिन्हें जर्मन गणितज्ञ पीटर गुस्ताव लेज्यून डिरिचलेट के पश्चात् डिरिचलेट समाकलन के नाम से जाना जाता है, जिनमें से धनात्मक वास्तविक रेखा पर सिन फलन का अनुचित समाकलन है:

$$\int _{0}^{\infty }{\frac {\sin x}{x}}\,dx={\frac {\pi }{2}}.$$

यह समाकलन पूर्णतया अभिसारी नहीं है, अर्थात् $\left|{\frac {\sin x}{x}}\right|$ धनात्मक वास्तविक रेखा पर अनंत लेब्सग्यू या रीमैन अनुचित समाकलन है, इसलिए साइन फलन धनात्मक वास्तविक रेखा पर लेब्सग्यू पूर्णांक नहीं है। चूंकि, सिन फलन अनुचित रीमैन समाकलन या सामान्यीकृत रीमैन या हेनस्टॉक-कुर्जवील समाकलन के अर्थ में एकीकृत है। इसे डिरिचलेट के अनुचित समाकलन के परीक्षण का उपयोग करके देखा जा सकता है।

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

मूल्यांकन

लाप्लास परिवर्तन

मान लीजिए कि $f(t)$ एक फलन है जिसे $t\geq 0.$ द्वारा परिभाषित किया गया है तब इसका लाप्लास रूपांतरण द्वारा दिया जाता है

$${\mathcal {L}}\{f(t)\}=F(s)=\int _{0}^{\infty }e^{-st}f(t)\,dt,$$

इस प्रकार यदि समाकलन उपस्थित है. लाप्लास रूपांतरण का गुण या अनुचित समाकलन का मूल्यांकन करना है

$${\mathcal {L}}\left[{\frac {f(t)}{t}}\right]=\int _{s}^{\infty }F(u)\,du,$$

किन्तु $\lim _{t\to 0}{\frac {f(t)}{t}}$ उपस्थित हो

निम्नलिखित में, किसी को परिणाम ${\mathcal {L}}\{\sin t\}={\frac {1}{s^{2}+1}},$ की आवश्यकता होती है जो फलन $\sin t$ का लाप्लास रूपांतरण है (व्युत्पत्ति के लिए 'समाकलन साइन के अंतर्गत विभेदीकरण' अनुभाग देखें) साथ ही एबेल के प्रमेय का संस्करण (अंतिम मान प्रमेय का परिणाम या अनुचित रूप से पूर्णांकित कार्यों के लिए अंतिम मान प्रमेय (समाकलन के लिए एबेल का प्रमेय))।

इसलिए,

$${\begin{aligned}\int _{0}^{\infty }{\frac {\sin t}{t}}\,dt&=\lim _{s\to 0}\int _{0}^{\infty }e^{-st}{\frac {\sin t}{t}}\,dt=\lim _{s\to 0}{\mathcal {L}}\left[{\frac {\sin t}{t}}\right]\\[6pt]&=\lim _{s\to 0}\int _{s}^{\infty }{\frac {du}{u^{2}+1}}=\lim _{s\to 0}\arctan u{\Biggr |}_{s}^{\infty }\\[6pt]&=\lim _{s\to 0}\left[{\frac {\pi }{2}}-\arctan(s)\right]={\frac {\pi }{2}}.\end{aligned}}$$

दोहरा समाकलन

इस प्रकार लाप्लास रूपांतरण का उपयोग करके डिरिचलेट समाकलन का मूल्यांकन करना समाकलन के क्रम (गणना) को परिवर्तित करके उसी दोहरे निश्चित समाकलन की गणना करने के समान है, अर्थात्,

$$\left(I_{1}=\int _{0}^{\infty }\int _{0}^{\infty }e^{-st}\sin t\,dt\,ds\right)=\left(I_{2}=\int _{0}^{\infty }\int _{0}^{\infty }e^{-st}\sin t\,ds\,dt\right),$$

$$\left(I_{1}=\int _{0}^{\infty }{\frac {1}{s^{2}+1}}\,ds={\frac {\pi }{2}}\right)=\left(I_{2}=\int _{0}^{\infty }{\frac {\sin t}{t}}\,dt\right),{\text{ provided }}s>0.$$

आदेश में परिवर्तन इस तथ्य से स्पष्ट है कि सभी के लिए $s>0$, समाकलन पूर्णतः अभिसरण है।

समाकलन साइन के अंतर्गत विभेदन (फेनमैन की विधि)

पहले समाकलन को अतिरिक्त वेरिएबल $s,$ के एक फलन के रूप में पुनः लिखें, अर्थात् ${\frac {\sin t}{t}}.$ का लाप्लास रूपांतरण

$$f(s)=\int _{0}^{\infty }e^{-st}{\frac {\sin t}{t}}\,dt.$$

इस प्रकार डिरिचलेट समाकलन का मूल्यांकन करने के लिए, हमें $f(0).$ निर्धारित करने की आवश्यकता है। भागों द्वारा समाकलन के पश्चात् प्रभुत्व अभिसरण प्रमेय को प्रयुक्त करके $f$ की सततता को सही किया जा सकता है। इस प्रकार $s>0$ के संबंध में अंतर करें और प्राप्त करने के लिए समाकलन साइन के अनुसार अंतर करने के लिए लीबनिज समाकलन नियम प्रयुक्त करें

$${\begin{aligned}{\frac {df}{ds}}&={\frac {d}{ds}}\int _{0}^{\infty }e^{-st}{\frac {\sin t}{t}}\,dt=\int _{0}^{\infty }{\frac {\partial }{\partial s}}e^{-st}{\frac {\sin t}{t}}\,dt\\[6pt]&=-\int _{0}^{\infty }e^{-st}\sin t\,dt.\end{aligned}}$$

अब यूलर के सूत्र $e^{it}=\cos t+i\sin t,$ का उपयोग करके कोई साइन फलन को सम्मिश्र घातांक के संदर्भ में व्यक्त कर सकता है:

$$\sin t={\frac {1}{2i}}\left(e^{it}-e^{-it}\right).$$

इसलिए,

$${\begin{aligned}{\frac {df}{ds}}&=-\int _{0}^{\infty }e^{-st}\sin t\,dt=-\int _{0}^{\infty }e^{-st}{\frac {e^{it}-e^{-it}}{2i}}dt\\[6pt]&=-{\frac {1}{2i}}\int _{0}^{\infty }\left[e^{-t(s-i)}-e^{-t(s+i)}\right]dt\\[6pt]&=-{\frac {1}{2i}}\left[{\frac {-1}{s-i}}e^{-t(s-i)}-{\frac {-1}{s+i}}e^{-t(s+i)}\right]_{0}^{\infty }\\[6pt]&=-{\frac {1}{2i}}\left[0-\left({\frac {-1}{s-i}}+{\frac {1}{s+i}}\right)\right]=-{\frac {1}{2i}}\left({\frac {1}{s-i}}-{\frac {1}{s+i}}\right)\\[6pt]&=-{\frac {1}{2i}}\left({\frac {s+i-(s-i)}{s^{2}+1}}\right)=-{\frac {1}{s^{2}+1}}.\end{aligned}}$$

इस प्रकार $s$ के संबंध में समाकलन देता है

$$f(s)=\int {\frac {-ds}{s^{2}+1}}=A-\arctan s,$$

जहां $A$ समाकलन का एक स्थिरांक है जिसे निर्धारित किया जाना है। चूँकि $\lim _{s\to \infty }f(s)=0,$ $A=\lim _{s\to \infty }\arctan s={\frac {\pi }{2}},$ मूल मान का उपयोग कर रहा है। इसका कारण यह है कि $s>0$ के लिए

$$f(s)={\frac {\pi }{2}}-\arctan s.$$

अंत में $s=0,$ पर सततता से हमारे निकट पहले की तरह $f(0)={\frac {\pi }{2}}-\arctan(0)={\frac {\pi }{2}},$ है।

सम्मिश्र कंटूर समाकलन

विचार कीजिये

$$f(z)={\frac {e^{iz}}{z}}.$$

इस प्रकार सम्मिश्र वैरिएबल $z,$ के एक फलन के रूप में इसके मूल में एक सरल पोल है, जो जॉर्डन के लेम्मा के अनुप्रयोग को रोकता है, जिसकी अन्य परिकल्पनाएँ संतुष्ट हैं।

पुनः नया फलन परिभाषित करें

$$g(z)={\frac {e^{iz}}{z+i\varepsilon }}.$$

इस प्रकार पोल को ऋणात्मक काल्पनिक अक्ष पर ले जाया गया है जिससे $g(z)$ को $z=0$ पर केन्द्रित त्रिज्या $z=0$ के अर्धवृत्त $\gamma$ के साथ धनात्मक काल्पनिक दिशा में विस्तार करते हुए एकीकृत किया जा सके और वास्तविक अक्ष के साथ संवृत किया जा सके। अवशेष प्रमेय $\varepsilon \to 0.$ द्वारा सम्मिश्र समाकलन शून्य है, पुनः एक सीमा $\gamma$ लेता है

$$0=\int _{\gamma }g(z)\,dz=\int _{-R}^{R}{\frac {e^{ix}}{x+i\varepsilon }}\,dx+\int _{0}^{\pi }{\frac {e^{i(Re^{i\theta }+\theta )}}{Re^{i\theta }+i\varepsilon }}iR\,d\theta .$$

जैसे ही $R$ अनंत तक जाता है, दूसरा पद लुप्त हो जाता है। जहां तक पहले समाकलन का है, कोई सम्मिश्र-मान फलन f के लिए वास्तविक रेखा पर समाकलन के लिए सोखोटस्की-प्लेमेलज प्रमेय के एक संस्करण का उपयोग कर सकता है और वास्तविक रेखा और वास्तविक स्थिरांक $a$ और $b$ पर $a<0<b$ एक खोज के साथ सतत भिन्न हो सकता है।

$$\lim _{\varepsilon \to 0^{+}}\int _{a}^{b}{\frac {f(x)}{x\pm i\varepsilon }}\,dx=\mp i\pi f(0)+{\mathcal {P}}\int _{a}^{b}{\frac {f(x)}{x}}\,dx,$$

जहाँ ${\mathcal {P}}$ कॉची प्रमुख मान को दर्शाता है। उपरोक्त मूल गणना पर पुनः कोई भी लिख सकता है

$$0={\mathcal {P}}\int {\frac {e^{ix}}{x}}\,dx-\pi i.$$

दोनों पक्ष के काल्पनिक भाग को लेने और ध्यान देने पर कि फलन $\sin(x)/x$ सम है, हमें प्राप्त होता है

$$\int _{-\infty }^{+\infty }{\frac {\sin(x)}{x}}\,dx=2\int _{0}^{+\infty }{\frac {\sin(x)}{x}}\,dx.$$

अंत में,

$$\lim _{\varepsilon \to 0}\int _{\varepsilon }^{\infty }{\frac {\sin(x)}{x}}\,dx=\int _{0}^{\infty }{\frac {\sin(x)}{x}}\,dx={\frac {\pi }{2}}.$$

वैकल्पिक रूप से, $f$ के लिए समाकलन कंटूर के रूप में त्रिज्या $\varepsilon$ और $R$ के ऊपरी अर्ध-समतल अर्धवृत्तों के मिलन को वास्तविक रेखा के दो खंडों के साथ चुनें जो उन्हें जोड़ते हैं। एक ओर कंटूर समाकलन $\varepsilon$ और $R;$ से स्वतंत्र रूप से शून्य है, दूसरी ओर $\varepsilon \to 0$ और $R\to \infty$ समाकलित का काल्पनिक भाग $2I+\Im {\big (}\ln 0-\ln(\pi i){\big )}=2I-\pi$ में परिवर्तित होता है (यहां $\ln z$ ऊपरी अर्ध तल पर लघुगणक की कोई शाखा है) जो $I={\frac {\pi }{2}}.$ की ओर ले जाता है

डिरिचलेट कर्नेल

डिरिचलेट कर्नेल के प्रसिद्ध सूत्र पर विचार करें:

$$D_{n}(x)=1+2\sum _{k=1}^{n}\cos(2kx)={\frac {\sin[(2n+1)x]}{\sin(x)}}.$$

यह तुरंत इस प्रकार है:

$$\int _{0}^{\frac {\pi }{2}}D_{n}(x)\,dx={\frac {\pi }{2}}.$$

परिभाषित करना

$$f(x)={\begin{cases}{\frac {1}{x}}-{\frac {1}{\sin(x)}}&x\neq 0\\[6pt]0&x=0\end{cases}}$$

स्पष्ट रूप से $f$ सतत है जब $x\in (0,\pi /2];$ 0 पर इसकी सततता देखने के लिए एल'होपिटल का नियम प्रयुक्त करें:

$$\lim _{x\to 0}{\frac {\sin(x)-x}{x\sin(x)}}=\lim _{x\to 0}{\frac {\cos(x)-1}{\sin(x)+x\cos(x)}}=\lim _{x\to 0}{\frac {-\sin(x)}{2\cos(x)-x\sin(x)}}=0.$$

इस तरह, $f$ रीमैन-लेबेस्गु लेम्मा की आवश्यकताओं को पूर्ण करता है। इसका कारण यह है:

$$\lim _{\lambda \to \infty }\int _{0}^{\pi /2}f(x)\sin(\lambda x)dx=0\quad \Longrightarrow \quad \lim _{\lambda \to \infty }\int _{0}^{\pi /2}{\frac {\sin(\lambda x)}{x}}dx=\lim _{\lambda \to \infty }\int _{0}^{\pi /2}{\frac {\sin(\lambda x)}{\sin(x)}}dx.$$

(यहां प्रयुक्त रीमैन-लेब्सग लेम्मा का रूप उद्धृत लेख में सिद्ध है।)

हम गणना करना चाहेंगे:

$${\begin{aligned}\int _{0}^{\infty }{\frac {\sin(t)}{t}}dt=&\lim _{\lambda \to \infty }\int _{0}^{\lambda {\frac {\pi }{2}}}{\frac {\sin(t)}{t}}dt\\[6pt]=&\lim _{\lambda \to \infty }\int _{0}^{\frac {\pi }{2}}{\frac {\sin(\lambda x)}{x}}dx\\[6pt]=&\lim _{\lambda \to \infty }\int _{0}^{\frac {\pi }{2}}{\frac {\sin(\lambda x)}{\sin(x)}}dx\\[6pt]=&\lim _{n\to \infty }\int _{0}^{\frac {\pi }{2}}{\frac {\sin((2n+1)x)}{\sin(x)}}dx\\[6pt]=&\lim _{n\to \infty }\int _{0}^{\frac {\pi }{2}}D_{n}(x)dx={\frac {\pi }{2}}\end{aligned}}$$

चूंकि हमें $\lambda$ में वास्तविक सीमा को $n,$ में समाकलित सीमा में परिवर्तित किया जाना चाहिए, जो यह दिखाने से पता चलेगा कि सीमा उपस्थित है।

हमारे निकट उपस्थित भागों द्वारा समाकलन का उपयोग किया जाता है

$$\int _{a}^{b}{\frac {\sin(x)}{x}}dx=\int _{a}^{b}{\frac {d(1-\cos(x))}{x}}dx=\left.{\frac {1-\cos(x)}{x}}\right|_{a}^{b}+\int _{a}^{b}{\frac {1-\cos(x)}{x^{2}}}dx$$

अब चूँकि $a\to 0$ और $b\to \infty$ बाईं ओर का शब्द बिना किसी समस्या के अभिसरण करता है। पोल त्रिकोणमितीय फलनों की सीमाओं की सूची देखें। अब हम दिखाते हैं कि$\int _{-\infty }^{\infty }{\frac {1-\cos(x)}{x^{2}}}dx$ पूर्णतः समाकलनीय है, जिसका अर्थ है कि सीमा उपस्थित है सर्व प्रथम, हम मूल के निकट समाकलन को बाउंड करते हैं। शून्य के बारे में कोसाइन के टेलर-श्रृंखला विस्तार का उपयोग करते हुए,

$$1-\cos(x)=1-\sum _{k\geq 0}{\frac {{(-1)^{(k+1)}}x^{2k}}{2k!}}=\sum _{k\geq 1}{\frac {{(-1)^{(k+1)}}x^{2k}}{2k!}}.$$

इसलिए,

$$\left|{\frac {1-\cos(x)}{x^{2}}}\right|=\left|-\sum _{k\geq 0}{\frac {x^{2k}}{2(k+1)!}}\right|\leq \sum _{k\geq 0}{\frac {|x|^{k}}{k!}}=e^{|x|}.$$

समाकलन को भागो में विभाजित करना, हमारे निकट है

$$\int _{-\infty }^{\infty }\left|{\frac {1-\cos(x)}{x^{2}}}\right|dx\leq \int _{-\infty }^{-\varepsilon }{\frac {2}{x^{2}}}dx+\int _{-\varepsilon }^{\varepsilon }e^{|x|}dx+\int _{\varepsilon }^{\infty }{\frac {2}{x^{2}}}dx\leq K,$$

कुछ स्थिरांक $K>0.$ के लिए इससे पता चलता है कि समाकलन पूर्णतः समाकलनीय है, जिसका अर्थ है कि मूल समाकलन उपस्थित है, और $\lambda$ से $n$ पर संवृत करना वास्तव में सही था और प्रमाण पूर्ण हो गया है।

यह भी देखें

• डिरिचलेट वितरण
• डिरिचलेट सिद्धांत
• सिंक फलन
• फ़्रेज़नेल समाकलन

बाहरी संबंध

• Weisstein, Eric W. "Dirichlet Integrals". MathWorld.