डीरिख्ले परीक्षण

गणित में डीरिख्ले परीक्षण (Dirichlet's test) किसी श्रेणी के अभिसरण के परीक्षण की एक विधि है। इसका नामकरण इसके लेखक पीटर गुस्ताफ लजन डीरिक्ले के 'जर्नल डी मैथेमेटिक्स प्योर एट अप्पलिक़्यीक्स' (एक फ्रांसीसी जर्नल जिसकी शब्दावली का हिन्दी अनुवाद "शुद्ध और अनुप्रयुक्त गणित के जर्नल" है।) में प्रकाशन के बाद उनके मरणोपरान्त किया गया।

कथन

परीक्षण के कथन के अनुसार यदि <math>\{a_n\}</math> एक वास्तविक अनुक्रम है और <math>\{b_n\}</math> सम्मिश्र अनुक्रम है जो निम्न सम्बंधों को सन्तुष्ट करते हैं:

• <math>a_n \geq a_{n+1} > 0</math>

• <math>\lim_{n \rightarrow \infty}a_n = 0</math>

• <math>\left|\sum^{N}_{n=1}b_n\right|\leq M</math> for every positive integer N

जहाँ M एक नियतांक है, तब श्रेणी

<math>\sum^{\infty}_{n=1}a_n b_n</math>

अभिसारी होगी।

उपपत्ति

माना <math>S_n = \sum_{k=0}^n a_k b_k</math> और <math>B_n = \sum_{k=0}^n b_k</math> है।

घटकों में संकलन से हम <math>S_n = a_{n + 1} B_{n} + \sum_{k=0}^n B_k (a_k - a_{k+1})</math> प्राप्त करते हैं।

चूँकि <math>a_n \rightarrow 0</math> के लिए <math>B_n</math> M से परिबद्ध है, n→∞ के लिए ये पद शून्य की ओर अग्रसर <math>a_{n + 1}B_{n} \to 0</math> होंगे।

अन्य विधि से, चूँकि अनुक्रम <math>a_n</math> ह्रसमान है, <math>a_k - a_{k+1}</math> सभी k के लिए धनात्मक है, अतः <math>|B_k (a_k - a_{k+1})| \leq M(a_k - a_{k+1})</math> द्वारा परिबद्ध है। अतः B_n का आंशिक योग और उसके गुणक का मान B_n का आंशिक योग (एक मान M) और समान गुणज से कम होगा।

लेकिन <math> \sum_{k=0}^n M(a_k - a_{k+1}) = M\sum_{k=0}^n (a_k - a_{k+1})</math>, जो एक अंतर्वेधन श्रेणी है और इसका मान <math>M(a_0 - a_{n+1})</math> के बराबर है अतः n→∞ के लिए <math>Ma_0</math> की ओर अग्रसर है। अतः <math> \sum_{k=0}^\infty M(a_k - a_{k+1})</math> अभिसारी है।

इसी तरह <math> \sum_{k=0}^\infty |B_k(a_k - a_{k+1})|</math> भी सीधे तुलना परीक्षण से अभिसरित होती है। श्रेणी <math> \sum_{k=0}^\infty B_k(a_k - a_{k+1})</math> निरपेक्ष अभिसरण से अभिसरित होती है। इसिलिए <math>S_n</math> अभिसारी है।

अनुप्रयोग

डीरिख्ले परीक्षण की एक विशेष स्थिति सामान्यतः प्रत्यावर्ती श्रेणी परीक्षण के लिए निम्न स्थिति में काम में ली जाती है

<math>b_n = (-1)^n \Rightarrow\left|\sum_{n=1}^N b_n\right| \leq 1</math>.

इसकी अन्य उपप्रमेय यह है कि <math> \sum_{n=1}^\infty a_n \sin n </math> अभिसारी है जब <math>\{a_n\}</math> एक ह्रसमान अनुक्रम है जो शून्य की ओर अग्रसर है।

अनन्त समाकल

अनन्त समाकल में भी अभिसरण के लिए इस परीक्षण को प्रयुक्त किया जाता है।

सन्दर्भ

• Hardy, G. H., A Course of Pure Mathematics, Ninth edition, Cambridge University Press, 1946. (pp. 379–380).

• Voxman, William L., Advanced Calculus: An Introduction to Modern Analysis, Marcel Dekker, Inc., New York, 1981. (§8.B.13-15) ISBN 0-8247-6949-X.

बाहरी कड़ियाँ

• Proof at PlanetMath.org