रीमान जीटा फलन

सम्मिश्र तल के आयताकार क्षेत्र में प्रस्तुत किया गया रीमान जीटा फलन <math>\zeta(z)</math>; यह प्रक्षेत्र रंगने की विधि से मैटप्लोटलिब आरेख के रूप में बनाया गया है।

ध्रुव <math>z=1</math> और क्रान्तिक रेखा पर दो शून्य के साथ रीमान जीटा फलन।

रीमान जीटा फलन अथवा आयलर–रीमान जीटा फलन, ζ(s), उन सम्मिश्र चर s का फलन है जो अनन्त श्रेणी के संकलन में वैश्लेषिक हैं

<math>\sum_{n=1}^\infty\frac{1}{n^s}</math>

जो s के वास्तविक मान के 1 से अधिक होने पर अभिसारी होती है। सभी s के लिए ζ(s) व्यापक निरूपण नीचे दिया गया है। रीमान जीटा फलन विश्लेषी संख्या सिद्धान्त में मुख्य फलन के रूप में प्रयुक्त होता है और इसके अनुप्रयोग भौतिकी, प्रायिकता सिद्धांत और अनुप्रयुक्त सांख्यिकी में मिलते हैं।

वास्तविक तर्क के फलन के रूप में, यह फलन १८वीं सदी के पूर्वार्द्ध में सम्मिश्र विश्लेषण का उपयोग किये बिना (क्योंकि उस समय यह उपलब्ध नहीं थी) पहली बार लियोनार्ड आयलर ने किया था। बर्नहार्ड रीमान ने 1859 में प्रकाशित अपने लेख "दिये गये परिमाण से छोटी अभाज्य संख्याओं पर" (मूल जर्मन: Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse) आयलर की परिभाषा सम्मिश्र चरों के लिए विस्तारित किया तथा फलनिक समीकरण और अनंतकी अनुवर्ती सिद्ध किया एवं शून्य व अभाज्य संख्याओं के बंटन में सम्बन्ध स्थापित किया।

धनात्मक सम संख्याओं पर रीमान जीटा फलन के मान आयलर द्वारा अभिकलित किये गये। इनमें प्रथम ζ(2) बेसल समस्या का हल प्रदान करता है। सन् १९७९ में एपेरी ने ζ(3) की अपरिमेयता सिद्ध की। नकारात्मक पूर्णांक बिन्दुओं के लिए भी आयलर के अनुसार परिमेय संख्यायें प्रतिरूपक के रूप में महत्त्वपूर्ण स्थान रखती हैं। डीरिख्ले श्रेणी, डीरिख्ले एल-फलन और एल-फलन के रूप में रीमान जीटा फलन के विभिन्न व्यापकीकरण ज्ञात हैं।

निरूपण

डीरिख्ले श्रेणी के रूप में

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

<math>\zeta(s)=\frac{1}{s-1}\sum_{n=1}^\infty \left(\frac{n}{(n+1)^s}-\frac{n-s}{n^s}\right)</math>

<math>\Re s> 0</math> के लिए अभिसारी होगी, जहाँ कि

<math>\zeta(s) =\frac{1}{s-1}\sum_{n=1}^\infty\frac{n(n+1)}{2}\left(\frac{2n+3+s}{(n+1)^{s+2}}-\frac{2n-1-s}{n^{s+2}}\right)</math>

<math>\Re s> -1</math> के लिए भी अभिसारी है। इस तरह से, अभिसरण क्षेत्र को <math>\Re s>-k</math> किसी भी <math>k\in \{1,2,3,\dots\}</math> के लिए विस्तारित किया जा सकता है।