डिरिचलेट L-फलन

गणित में, डिरिचलेट L-श्रृंखला फॉर्म का एक फंक्शन (फलन) है।


 * $$L(s,\chi) = \sum_{n=1}^\infty \frac{\chi(n)}{n^s}.$$

जहां $$ \chi $$ एक डिरिचलेट वर्ण है और एक जटिल चर है जिसका वास्तविक भाग 1 से अधिक है। यह डिरिचलेट श्रृंखला का एक विशेष स्तिथि है। विश्लेषणात्मक निरंतरता द्वारा, इसे पूरे जटिल समतल पर एक मेरोमोर्फिक फ़ंक्शन तक बढ़ाया जा सकता है और फिर इसे डिरिचलेट एल-फ़ंक्शन कहा जाता है और L(s, χ) भी दर्शाया जाता है।

इन फ़ंक्शंस का नाम पीटर गुस्ताव लेज्यून डिरिचलेट के नाम पर रखा गया है जिन्होंने अंकगणितीय प्रगति में अभाज्य पर प्रमेय को साबित करने के लिए इन्हें (डिरिचलेट 1837) में पेश किया था जिसमें उनका नाम भी शामिल है। प्रमाण के क्रम में, डिरिचलेट दर्शाता है कि s = 1 पर L(s, χ) गैर-शून्य है। इसके अलावा, यदि χ प्रिंसिपल है, तो संबंधित डिरिचलेट एल-फ़ंक्शन में s = 1 पर एक सरल ध्रुव होता है। अन्यथा, एल-फ़ंक्शन संपूर्ण होता है।

यूलर उत्पाद
चूंकि डिरिचलेट वर्ण χ पूरी तरह से गुणक है, इसलिए इसके एल-फ़ंक्शन को पूर्ण अभिसरण के आधे-तल में यूलर उत्पाद के रूप में भी लिखा जा सकता है:
 * $$L(s,\chi)=\prod_p\left(1-\chi(p)p^{-s}\right)^{-1}\text{ for }\text{Re}(s) > 1,$$

जहां उत्पाद सभी अभाज्य संख्याओं से अधिक है।

आदिम वर्ण
एल-फ़ंक्शन के बारे में परिणाम अक्सर अधिक सरलता से बताए जाते हैं यदि चरित्र को आदिम माना जाता है, हालांकि परिणाम आमतौर पर छोटी जटिलताओं के साथ अप्रभावी वर्णों तक बढ़ाए जा सकते हैं। यह एक आदिम चरित्र के बीच संबंध के कारण है $$\chi$$ और आदिम चरित्र $$\chi^\star$$ जो इसे प्रेरित करता है:

\chi(n) = \begin{cases} \chi^\star(n), & \mathrm{if} \gcd(n,q) = 1 \\ 0, & \mathrm{if} \gcd(n,q) \ne 1 \end{cases} $$ (यहाँ, q χ का मापांक है।) यूलर उत्पाद का एक अनुप्रयोग संबंधित एल-फ़ंक्शन के बीच एक सरल संबंध देता है:

L(s,\chi) = L(s,\chi^\star) \prod_{p \,|\, q}\left(1 - \frac{\chi^\star(p)}{p^s} \right) $$ (यह सूत्र विश्लेषणात्मक निरंतरता द्वारा सभी s के लिए मान्य है, भले ही यूलर उत्पाद केवल तभी मान्य है जब Re(s) > 1.) सूत्र से पता चलता है कि χ का L-फ़ंक्शन आदिम चरित्र के L-फ़ंक्शन के बराबर है जो χ को प्रेरित करता है, जो केवल कारकों की एक सीमित संख्या से गुणा होता है। एक विशेष मामले के रूप में, मुख्य चरित्र का एल-फ़ंक्शन $$\chi_0$$ मॉड्यूलो क्यू को रीमैन ज़ेटा फ़ंक्शन के संदर्भ में व्यक्त किया जा सकता है:

L(s,\chi_0) = \zeta(s) \prod_{p \,|\, q}(1 - p^{-s}) $$

कार्यात्मक समीकरण
डिरिचलेट एल-फ़ंक्शन एक कार्यात्मक समीकरण को संतुष्ट करते हैं, जो उन्हें पूरे जटिल विमान में विश्लेषणात्मक रूप से जारी रखने का एक तरीका प्रदान करता है। कार्यात्मक समीकरण के मान से संबंधित है $$L(s,\chi)$$ के मूल्य के लिए $$L(1-s, \overline{\chi})$$. मान लीजिए कि χ एक आदिम वर्ण मॉड्यूलो q है, जहां q > 1. कार्यात्मक समीकरण को व्यक्त करने का एक तरीका यह है: :$$L(s,\chi) = \varepsilon(\chi) 2^s \pi^{s-1} q^{1/2-s} \sin \left( \frac{\pi}{2} (s + a) \right) \Gamma(1-s) L(1-s, \overline{\chi}).$$ इस समीकरण में, Γ गामा फ़ंक्शन को दर्शाता है; यदि χ(−1) = 1 है तो a 0 है, या यदि χ(−1) = −1 है तो 1 है; और
 * $$\varepsilon(\chi) = \frac{\tau(\chi)}{i^a \sqrt{q}}$$

जहां τ&hairsp;(&hairsp;χ) एक गॉस योग है:
 * $$\tau(\chi) = \sum_{n=1}^q \chi(n)\exp(2\pi in/q).$$

यह गॉस सम्स की एक संपत्ति है जो |τ&hairsp;(&hairsp;χ)&hairsp;| = क्यू1/2, तो |e&hairsp;(&hairsp;χ)&hairsp;| = 1. कार्यात्मक समीकरण को बताने का दूसरा तरीका है
 * $$\xi(s,\chi) = \left(\frac{q}{\pi}\right)^{(s+a)/2} \operatorname{\Gamma}\left(\frac{s+a}{2}\right) L(s,\chi).$$

कार्यात्मक समीकरण को इस प्रकार व्यक्त किया जा सकता है: :$$\xi(s,\chi) = \varepsilon(\chi) \xi(1-s,\overline{\chi}).$$ कार्यात्मक समीकरण का तात्पर्य यह है $$L(s,\chi)$$ (और $$\xi(s,\chi)$$) s का संपूर्ण कार्य है। (फिर, यह मानता है कि χ q > 1 के साथ आदिम वर्ण मॉड्यूल q है। यदि q = 1 है, तो $$L(s,\chi) = \zeta(s)$$ s = 1 पर एक ध्रुव है।)

सामान्यीकरण के लिए, देखें: कार्यात्मक समीकरण (एल-फ़ंक्शन)।

शून्य
मान लीजिए χ q > 1 के साथ एक आदिम वर्ण मॉड्यूल q है।

Re(s) > 1 के साथ L(s, χ) के फ़ंक्शन का कोई शून्य नहीं है। Re(s) < 0 के लिए, कुछ नकारात्मक पूर्णांक s पर शून्य होते हैं:
 * यदि χ(−1) = 1, तो Re(s) < 0 के साथ L(s, χ) के एकमात्र शून्य −2, −4, −6, ... पर सरल शून्य हैं। (एक शून्य भी है) s = 0 पर) ये के ध्रुवों के अनुरूप हैं $$\textstyle \Gamma(\frac{s}{2})$$.
 * यदि χ(−1) = −1, तो Re(s) < 0 के साथ L(s, χ) के एकमात्र शून्य −1, −3, −5, .... पर सरल शून्य हैं। के ध्रुव $$\textstyle \Gamma(\frac{s+1}{2})$$. इन्हें तुच्छ शून्य कहा जाता है।

शेष शून्य क्रांतिक पट्टी 0 ≤ Re(s) ≤ 1 में स्थित होते हैं, और गैर-तुच्छ शून्य कहलाते हैं। गैर-तुच्छ शून्य क्रांतिक रेखा Re(s) = 1/2 के बारे में सममित हैं। अर्थात यदि $$L(\rho,\chi)=0$$ तब $$L(1-\overline{\rho},\chi)=0$$ कार्यात्मक समीकरण के कारण भी। यदि χ एक वास्तविक वर्ण है, तो गैर-तुच्छ शून्य भी वास्तविक अक्ष के बारे में सममित हैं, लेकिन यदि χ एक जटिल वर्ण है तो नहीं। सामान्यीकृत रीमैन परिकल्पना यह अनुमान है कि सभी गैर-तुच्छ शून्य महत्वपूर्ण रेखा Re(s) = 1/2 पर स्थित हैं।

सीगल शून्य के संभावित अस्तित्व तक, रीमैन ज़ेटा फ़ंक्शन के समान रेखा Re(s) = 1 सहित और उससे परे शून्य-मुक्त क्षेत्र सभी डिरिचलेट एल-फ़ंक्शन के लिए मौजूद माने जाते हैं: उदाहरण के लिए, χ ए के लिए मापांक q का अवास्तविक चरित्र, हमारे पास है


 * $$ \beta < 1 - \frac{c}{\log\!\!\; \big(q(2+|\gamma|)\big)} \ $$

β + iγ के लिए एक अवास्तविक शून्य।

हर्विट्ज़ ज़ेटा फ़ंक्शन से संबंध
डिरिचलेट एल-फ़ंक्शन को तर्कसंगत मूल्यों पर हर्विट्ज़ ज़ेटा फ़ंक्शन के रैखिक संयोजन के रूप में लिखा जा सकता है। एक पूर्णांक k ≥ 1 को निश्चित करते हुए, मॉड्यूल k वर्णों के लिए डिरिचलेट L-फ़ंक्शन ζ(s,a) के स्थिर गुणांकों के साथ रैखिक संयोजन हैं, जहां a = r/k और r = 1, 2, ..., k. इसका मतलब यह है कि तर्कसंगत ए के लिए हर्विट्ज़ ज़ेटा फ़ंक्शन में विश्लेषणात्मक गुण हैं जो डिरिचलेट एल-फ़ंक्शन से निकटता से संबंधित हैं। विशेष रूप से, मान लीजिए कि χ एक वर्ण मॉड्यूलो k है। तब हम इसके डिरिचलेट एल-फ़ंक्शन को इस प्रकार लिख सकते हैं:
 * $$L(s,\chi) = \sum_{n=1}^\infty \frac{\chi(n)}{n^s}

= \frac{1}{k^s} \sum_{r=1}^k \chi(r) \operatorname{\zeta}\left(s,\frac{r}{k}\right).$$

यह भी देखें

 * सामान्यीकृत रीमैन परिकल्पना
 * एल-फ़ंक्शन
 * मॉड्यूलैरिटी प्रमेय
 * आर्टिन अनुमान (एल-फ़ंक्शन)
 * एल-फ़ंक्शन के विशेष मान