डिरिचलेट L-फलन: Difference between revisions

From Vigyanwiki
No edit summary
 
(7 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{DISPLAYTITLE:Dirichlet ''L''-function}}
{{DISPLAYTITLE:Dirichlet ''L''-function}}


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


:<math>L(s,\chi) = \sum_{n=1}^\infty \frac{\chi(n)}{n^s}.</math>
:<math>L(s,\chi) = \sum_{n=1}^\infty \frac{\chi(n)}{n^s}.</math>
जहां <math> \chi </math> एक [[डिरिचलेट चरित्र|डिरिचलेट]] वर्ण है और एक [[जटिल चर]] है जिसका वास्तविक भाग 1 से अधिक है। यह [[डिरिचलेट श्रृंखला]] का एक विशेष स्तिथि है। [[विश्लेषणात्मक निरंतरता]] द्वारा, इसे पूरे जटिल समतल पर एक [[मेरोमोर्फिक फ़ंक्शन|मेरोमोर्फिक फंक्शन]] तक बढ़ाया जा सकता है और फिर इसे डिरिचलेट एल-फंक्शन कहा जाता है और ''L''(''s'', ''χ'') भी दर्शाया जाता है।
जहां <math> \chi </math> [[डिरिचलेट चरित्र|डिरिचलेट]] वर्ण है और [[जटिल चर]] है जिसका वास्तविक भाग 1 से अधिक है। यह [[डिरिचलेट श्रृंखला]] का एक विशेष स्तिथि है। [[विश्लेषणात्मक निरंतरता]] द्वारा, इसे पूरे जटिल समतल पर [[मेरोमोर्फिक फ़ंक्शन|मेरोमोर्फिक फलन]] तक बढ़ाया जा सकता है और फिर इसे डिरिचलेट ''L''-फलन कहा जाता है और ''L''(''s'', ''χ'') भी दर्शाया जाता है।


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


==[[यूलर उत्पाद|यूलर गुणनफल]]==
==[[यूलर उत्पाद|यूलर गुणनफल]]==
चूँकि डिरिचलेट वर्ण χ पूरी तरह से गुणक है, इसलिए इसका एल-फंक्शन [[पूर्ण अभिसरण]] के आधे-तल में यूलर गुणनफल के रूप में भी लिखा जा सकता है:
चूँकि डिरिचलेट वर्ण χ पूरी तरह से गुणक है, इसलिए इसका ''L''-फलन [[पूर्ण अभिसरण]] के आधे-तल में यूलर गुणनफल के रूप में भी लिखा जा सकता है:
:<math>L(s,\chi)=\prod_p\left(1-\chi(p)p^{-s}\right)^{-1}\text{ for }\text{Re}(s) > 1,</math>
:<math>L(s,\chi)=\prod_p\left(1-\chi(p)p^{-s}\right)^{-1}\text{ for }\text{Re}(s) > 1,</math>
जहां गुणनफल सभी [[अभाज्य संख्या]]ओं से अधिक है।<ref>{{harvnb|Apostol|1976|loc=Theorem 11.7}}</ref>
जहां गुणनफल सभी [[अभाज्य संख्या]]ओं से अधिक है।<ref>{{harvnb|Apostol|1976|loc=Theorem 11.7}}</ref>
Line 15: Line 15:
==अभाज्य गुण==
==अभाज्य गुण==


''L''-फंक्शन के बारे में परिणाम अक्सर अधिक सरलता से बताए जाते हैं यदि गुण को अभाज्य माना जाता है, हालांकि परिणाम आम तौर पर छोटी जटिलताओं के साथ अप्रभावी गुणों तक बढ़ाए जा सकते हैं।<ref>{{harvnb|Davenport|2000|loc=chapter 5}}</ref> इसका कारण अभाज्य गुण के बीच का संबंध है  <math>\chi</math> और अभाज्य गुण <math>\chi^\star</math> मैं जो इसे प्रेरित करता है:<ref>{{harvnb|Davenport|2000|loc=chapter 5, equation (2)}}</ref>
''L''-फलन के बारे में परिणाम प्रायः अधिक सरलता से बताए जाते हैं यदि गुण को अभाज्य माना जाता है, हालांकि परिणाम सामान्यतः छोटी जटिलताओं के साथ अप्रभावी गुणों तक बढ़ाए जा सकते हैं।<ref>{{harvnb|Davenport|2000|loc=chapter 5}}</ref> इसका कारण अभाज्य गुण के बीच का संबंध है  <math>\chi</math> और अभाज्य गुण <math>\chi^\star</math> मैं जो इसे प्रेरित करता है:<ref>{{harvnb|Davenport|2000|loc=chapter 5, equation (2)}}</ref>
:<math>
:<math>
   \chi(n) =
   \chi(n) =
Line 23: Line 23:
     \end{cases}
     \end{cases}
</math>
</math>
(यहाँ, q χ का मापांक है।) यूलर गुणनफल का एक अनुप्रयोग संबंधित एल-फंक्शन के बीच एक सरल संबंध देता है:<ref>{{harvnb|Davenport|2000|loc=chapter 5, equation (3)}}</ref><ref>{{harvnb|Montgomery|Vaughan|2006|p=282}}</ref>  
(यहाँ, q χ का मापांक है।) यूलर गुणनफल का अनुप्रयोग संबंधित ''L''-फलन के बीच सरल संबंध देता है:<ref>{{harvnb|Davenport|2000|loc=chapter 5, equation (3)}}</ref><ref>{{harvnb|Montgomery|Vaughan|2006|p=282}}</ref>  
:<math>
:<math>
   L(s,\chi) = L(s,\chi^\star) \prod_{p \,|\, q}\left(1 - \frac{\chi^\star(p)}{p^s} \right)
   L(s,\chi) = L(s,\chi^\star) \prod_{p \,|\, q}\left(1 - \frac{\chi^\star(p)}{p^s} \right)
</math>
</math>
(यह सूत्र विश्लेषणात्मक निरंतरता द्वारा सभी s के लिए मान्य है, भले ही यूलर गुणनफल केवल तभी मान्य है जब Re(s) > 1.)  सूत्र से पता चलता है कि χ का ''L''-फंक्शन आदिम चरित्र के ''L''-फंक्शन के बराबर है जो χ को प्रेरित करता है, केवल सीमित संख्या में कारकों से गुणा किया जाता है।<ref>{{harvnb|Apostol|1976|p=262}}</ref>
(यह सूत्र विश्लेषणात्मक निरंतरता द्वारा सभी s के लिए मान्य है, भले ही यूलर गुणनफल केवल तभी मान्य है जब Re(s) > 1.)  सूत्र से पता चलता है कि χ का ''L''-फलन आदिम चरित्र के ''L''-फलन के बराबर है जो χ को प्रेरित करता है, केवल सीमित संख्या में कारकों से गुणा किया जाता है।<ref>{{harvnb|Apostol|1976|p=262}}</ref>


विशेष स्तिथि के रूप में, मुख्य गुण का ''L''-फंक्शन <math>\chi_0</math> मॉड्यूलो क्यू को [[रीमैन ज़ेटा फ़ंक्शन|रीमैन ज़ेटा फंक्शन]] के संदर्भ में व्यक्त किया जा सकता है:<ref>{{harvnb|Ireland|Rosen|1990|loc=chapter 16, section 4}}</ref><ref>{{harvnb|Montgomery|Vaughan|2006|p=121}}</ref>
विशेष स्तिथि के रूप में, मुख्य गुण का ''L''-फलन <math>\chi_0</math> मॉड्यूलो q को [[रीमैन ज़ेटा फ़ंक्शन|रीमैन ज़ेटा फलन]] के संदर्भ में व्यक्त किया जा सकता है:<ref>{{harvnb|Ireland|Rosen|1990|loc=chapter 16, section 4}}</ref><ref>{{harvnb|Montgomery|Vaughan|2006|p=121}}</ref>
:<math>
:<math>
   L(s,\chi_0) = \zeta(s) \prod_{p \,|\, q}(1 - p^{-s})
   L(s,\chi_0) = \zeta(s) \prod_{p \,|\, q}(1 - p^{-s})
</math>
</math>


==[[कार्यात्मक समीकरण]]==
==[[कार्यात्मक समीकरण|फलनीय समीकरण]]==


डिरिचलेट एल-फंक्शन एक कार्यात्मक समीकरण को संतुष्ट करते हैं, जो उन्हें पूरे जटिल विमान में विश्लेषणात्मक रूप से जारी रखने का एक तरीका प्रदान करता है। कार्यात्मक समीकरण के मान से संबंधित है <math>L(s,\chi)</math> के मूल्य के लिए <math>L(1-s, \overline{\chi})</math>. मान लीजिए कि χ एक आदिम वर्ण मॉड्यूलो q है, जहां q > 1. कार्यात्मक समीकरण को व्यक्त करने का एक तरीका यह है:<ref name="MontgomeryVaughan333" />:<math>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}).</math>
डिरिचलेट ''L''-फलन फलनीयसमीकरण को संतुष्ट करते हैं, जो उन्हें पूरे जटिल समतल में विश्लेषणात्मक रूप से प्रवृत्त रखने की विधि प्रदान करता है। फलनीयसमीकरण <math>L(s,\chi)</math> के मान को <math>L(1-s, \overline{\chi})</math> के मान से संबंधित करता है। मान लीजिए कि χ अभाज्य गुण मॉड्यूलो q है, जहां q > 1. फलनीयसमीकरण को व्यक्त करने की एक विधि है:<ref name="MontgomeryVaughan333" />
इस समीकरण में, Γ [[गामा फ़ंक्शन|गामा फंक्शन]] को दर्शाता है; यदि χ(−1) = 1 है तो a 0 है, या यदि χ(−1) = −1 है तो 1 है; और
 
::::::::::::::::::::<math>\varepsilon(\chi) = \frac{\tau(\chi)}{i^a \sqrt{q}}</math>
<math>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}).</math>
 
इस समीकरण में, Γ [[गामा फ़ंक्शन|गामा फलन]] को दर्शाता है; a 0 है यदि χ(−1) = 1,या 1 यदि χ(−1) = −1; और
::<math>\varepsilon(\chi) = \frac{\tau(\chi)}{i^a \sqrt{q}}</math>
जहां τ&hairsp;(&hairsp;χ) एक गॉस योग है:
जहां τ&hairsp;(&hairsp;χ) एक गॉस योग है:
:<math>\tau(\chi) = \sum_{n=1}^q \chi(n)\exp(2\pi in/q).</math>
:<math>\tau(\chi) = \sum_{n=1}^q \chi(n)\exp(2\pi in/q).</math>
यह गॉस सम्स की एक संपत्ति है जो |τ&hairsp;(&hairsp;χ)&hairsp;| = क्यू<sup>1/2</sup>, तो |e&hairsp;(&hairsp;χ)&hairsp;| = 1.<ref name="MontgomeryVaughan332">{{harvnb|Montgomery|Vaughan|2006|p=332}}</ref><ref name="IwaniecKowalski84">{{harvnb|Iwaniec|Kowalski|2004|p=84}}</ref>
यह गॉस योग की एक गुण है जो |''τ'' ( ''χ'') | = ''q''<sup>1/2</sup>, so |''ɛ'' ( ''χ'') | = 1.<ref name="MontgomeryVaughan332">{{harvnb|Montgomery|Vaughan|2006|p=332}}</ref><ref name="IwaniecKowalski84">{{harvnb|Iwaniec|Kowalski|2004|p=84}}</ref>
कार्यात्मक समीकरण को बताने का दूसरा तरीका है
 
फलनीयसमीकरण को ज्ञात करने की दूसरी विधि है:
:<math>\xi(s,\chi) = \left(\frac{q}{\pi}\right)^{(s+a)/2} \operatorname{\Gamma}\left(\frac{s+a}{2}\right) L(s,\chi).</math>
:<math>\xi(s,\chi) = \left(\frac{q}{\pi}\right)^{(s+a)/2} \operatorname{\Gamma}\left(\frac{s+a}{2}\right) L(s,\chi).</math>
कार्यात्मक समीकरण को इस प्रकार व्यक्त किया जा सकता है:<ref name="MontgomeryVaughan333" /><ref name="IwaniecKowalski84" />:<math>\xi(s,\chi) = \varepsilon(\chi) \xi(1-s,\overline{\chi}).</math>
फलनीयसमीकरण को इस प्रकार व्यक्त किया जा सकता है:<ref name="MontgomeryVaughan333" /><ref name="IwaniecKowalski84" />:
कार्यात्मक समीकरण का तात्पर्य यह है <math>L(s,\chi)</math> (और <math>\xi(s,\chi)</math>) s का संपूर्ण कार्य है। (फिर, यह मानता है कि χ q > 1 के साथ आदिम वर्ण मॉड्यूल q है। यदि q = 1 है, तो <math>L(s,\chi) = \zeta(s)</math> s = 1 पर एक ध्रुव है।)<ref name="MontgomeryVaughan333">{{harvnb|Montgomery|Vaughan|2006|p=333}}</ref><ref name="IwaniecKowalski84" />


सामान्यीकरण के लिए, देखें: [[कार्यात्मक समीकरण (एल-फ़ंक्शन)|कार्यात्मक समीकरण (एल-फंक्शन)]]।
<math>\xi(s,\chi) = \varepsilon(\chi) \xi(1-s,\overline{\chi}).</math>
 
फलनीयसमीकरण का तात्पर्य यह है <math>L(s,\chi)</math> (और <math>\xi(s,\chi)</math>) s का संपूर्ण फलन है। (फिर से, यह माना जाता है कि χ q > 1 के साथ अभाज्य गुण मॉड्यूलो q है।
 
यदि q = 1 है, तो <math>L(s,\chi) = \zeta(s)</math> s = 1 पर एक ध्रुव है।)<ref name="MontgomeryVaughan333">{{harvnb|Montgomery|Vaughan|2006|p=333}}</ref><ref name="IwaniecKowalski84" />
 
सामान्यीकरण के लिए, देखें: [[कार्यात्मक समीकरण (एल-फ़ंक्शन)|फलनीयसमीकरण (''L''-फलन)]]।


==शून्य==
==शून्य==
[[Image:Mplwp dirichlet beta.svg|thumb|right|300px|डिरिचलेट एल-फंक्शन एल(एस, χ) = 1 − 3<sup>−s</sup>+5<sup>−s</sup> − 7<sup>−s</sup> + ⋅⋅⋅ (कभी-कभी विशेष नाम [[डिरिचलेट बीटा फ़ंक्शन|डिरिचलेट बीटा फंक्शन]] दिया जाता है), ऋणात्मक विषम पूर्णांकों पर तुच्छ शून्य के साथ]]मान लीजिए χ q > 1 के साथ एक आदिम वर्ण मॉड्यूल q है।
[[Image:Mplwp dirichlet beta.svg|thumb|right|300px|डिरिचलेट ''L''-फलन एल(एस, χ) = 1 − 3<sup>−s</sup>+5<sup>−s</sup> − 7<sup>−s</sup> + ⋅⋅⋅ (कभी-कभी विशेष नाम [[डिरिचलेट बीटा फ़ंक्शन|डिरिचलेट बीटा फलन]] दिया जाता है), ऋणात्मक विषम पूर्णांकों पर तुच्छ शून्य के साथ]]मान लीजिए χ q > 1 के साथ अभाज्य गुण मॉड्यूल q है।


Re(s) > 1 के साथ L(s, χ) के फंक्शन का कोई शून्य नहीं है। Re(s) < 0 के लिए, कुछ नकारात्मक [[पूर्णांक]] s पर शून्य होते हैं:
Re(s) > 1 के साथ L(s, χ) के फलन का कोई शून्य नहीं है। Re(s) < 0 के लिए, कुछ ऋणात्मक [[पूर्णांक]] s पर शून्य होते हैं:
* यदि χ(−1) = 1, तो Re(s) < 0 के साथ L(s, χ) के एकमात्र शून्य −2, −4, −6, ... पर सरल शून्य हैं। (एक शून्य भी है) s = 0 पर) ये के ध्रुवों के अनुरूप हैं <math>\textstyle \Gamma(\frac{s}{2})</math>.<ref name="DavenportCh9">{{harvnb|Davenport|2000|loc=chapter 9}}</ref>
* यदि χ(−1) = 1, तो Re(s) < 0 के साथ L(s, χ) के एकमात्र शून्य −2, −4, −6, ... पर साधारण शून्य हैं। (s = 0 पर भी शून्य होता है।) ये <math>\textstyle \Gamma(\frac{s}{2})</math> के ध्रुवों के अनुरूप हैं।<ref name="DavenportCh9">{{harvnb|Davenport|2000|loc=chapter 9}}</ref>
* यदि χ(−1) = −1, तो Re(s) < 0 के साथ L(s, χ) के एकमात्र शून्य −1, −3, −5, .... पर सरल शून्य हैं। के ध्रुव <math>\textstyle \Gamma(\frac{s+1}{2})</math>.<ref name="DavenportCh9" />इन्हें तुच्छ शून्य कहा जाता है।<ref name="MontgomeryVaughan333"/>
*यदि χ(−1) = 1, तो Re(s) < 0 के साथ L(s, χ) के एकमात्र शून्य −1, −3, −5, .... पर साधारण शून्य हैं। (s = 0 पर भी शून्य होता है।) ये <math>\textstyle \Gamma(\frac{s+1}{2})</math> के ध्रुवों के अनुरूप हैं।<ref name="DavenportCh9" />


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


[[सीगल शून्य]] के संभावित अस्तित्व तक, रीमैन ज़ेटा फंक्शन के समान रेखा Re(s) = 1 सहित और उससे परे शून्य-मुक्त क्षेत्र सभी डिरिचलेट एल-फंक्शन के लिए मौजूद माने जाते हैं: उदाहरण के लिए, χ ए के लिए मापांक q का अवास्तविक चरित्र, हमारे पास है
शेष शून्य क्रांतिक पट्टी 0 ≤ Re(s) ≤ 1 में स्थित होते हैं और इन्हें गैर-नगण्य शून्य कहा जाता है। गैर-नगण्य शून्य महत्वपूर्ण रेखा Re(s) = 1/2 के बारे में सममित हैं। अर्थात्, यदि <math>L(\rho,\chi)=0</math> तो कार्यात्मक समीकरण के कारण <math>L(1-\overline{\rho},\chi)=0</math> भी। यदि χ वास्तविक गुण है, तो गैर-नगण्य शून्य भी वास्तविक अक्ष के बारे में सममित हैं, लेकिन यदि χ जटिल गुण है तो नहीं। [[सामान्यीकृत रीमैन परिकल्पना]] यह अनुमान है कि सभी गैर-तुच्छ शून्य महत्वपूर्ण रेखा Re(s) = 1/2 पर स्थित हैं।<ref name="MontgomeryVaughan333" />
 
[[सीगल शून्य]] के संभावित अस्तित्व तक, रीमैन ज़ेटा फलन के समान रेखा Re(s) = 1 सहित और उससे परे शून्य-मुक्त क्षेत्र सभी डिरिचलेट एल-फ़ंक्शंस के लिए उपस्थित हैं: उदाहरण के लिए, χ के लिए हमारे पास मापांक q का गैर-वास्तविक गुण है


:<math> \beta < 1 - \frac{c}{\log\!\!\; \big(q(2+|\gamma|)\big)} \ </math>
:<math> \beta < 1 - \frac{c}{\log\!\!\; \big(q(2+|\gamma|)\big)} \ </math>
β + iγ के लिए एक अवास्तविक शून्य।<ref>{{cite book |last=Montgomery |first=Hugh L. |author-link=Hugh Montgomery (mathematician) |title=विश्लेषणात्मक संख्या सिद्धांत और हार्मोनिक विश्लेषण के बीच इंटरफेस पर दस व्याख्यान|series=Regional Conference Series in Mathematics |volume=84 |location=Providence, RI |publisher=[[American Mathematical Society]] |year=1994 |isbn=0-8218-0737-4 |zbl=0814.11001 |page=163}}</ref>
β + iγ के लिए अवास्तविक शून्य।<ref>{{cite book |last=Montgomery |first=Hugh L. |author-link=Hugh Montgomery (mathematician) |title=विश्लेषणात्मक संख्या सिद्धांत और हार्मोनिक विश्लेषण के बीच इंटरफेस पर दस व्याख्यान|series=Regional Conference Series in Mathematics |volume=84 |location=Providence, RI |publisher=[[American Mathematical Society]] |year=1994 |isbn=0-8218-0737-4 |zbl=0814.11001 |page=163}}</ref>
 
== [[हर्विट्ज़ ज़ेटा फ़ंक्शन|हर्विट्ज़ ज़ेटा फलन]] से संबंध ==
 
डिरिचलेट ''L''-फलन को तर्कसंगत मूल्यों पर हर्विट्ज़ ज़ेटा फलन के रैखिक संयोजन के रूप में लिखा जा सकता है। पूर्णांक k ≥ 1 को निश्चित करते हुए, मॉड्यूल k वर्णों के लिए डिरिचलेट ''L''-फलन ζ(s,a) के स्थिर गुणांकों के साथ रैखिक संयोजन हैं, जहां a = r/k और r = 1, 2, ..., k . इसका मतलब यह है कि तर्कसंगत ए के लिए हर्विट्ज़ ज़ेटा फलन में विश्लेषणात्मक गुण हैं जो डिरिचलेट ''L-''फलन से निकटता से संबंधित हैं। विशेष रूप से, मान लीजिए कि χ वर्ण मॉड्यूलो k है। तब हम इसके डिरिचलेट ''L''-फलन को इस प्रकार लिख सकते हैं:<ref>{{harvnb|Apostol|1976|p=249}}</ref>
== [[हर्विट्ज़ ज़ेटा फ़ंक्शन|हर्विट्ज़ ज़ेटा फंक्शन]] से संबंध ==
डिरिचलेट एल-फंक्शन को तर्कसंगत मूल्यों पर हर्विट्ज़ ज़ेटा फंक्शन के रैखिक संयोजन के रूप में लिखा जा सकता है। एक पूर्णांक k ≥ 1 को निश्चित करते हुए, मॉड्यूल k वर्णों के लिए डिरिचलेट L-फंक्शन ζ(s,a) के स्थिर गुणांकों के साथ रैखिक संयोजन हैं, जहां a = r/k और r = 1, 2, ..., k . इसका मतलब यह है कि तर्कसंगत ए के लिए हर्विट्ज़ ज़ेटा फंक्शन में विश्लेषणात्मक गुण हैं जो डिरिचलेट एल-फंक्शन से निकटता से संबंधित हैं। विशेष रूप से, मान लीजिए कि χ एक वर्ण मॉड्यूलो k है। तब हम इसके डिरिचलेट एल-फंक्शन को इस प्रकार लिख सकते हैं:<ref>{{harvnb|Apostol|1976|p=249}}</ref>
:<math>L(s,\chi) = \sum_{n=1}^\infty \frac{\chi(n)}{n^s}
:<math>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).</math>
= \frac{1}{k^s} \sum_{r=1}^k \chi(r) \operatorname{\zeta}\left(s,\frac{r}{k}\right).</math>
==यह भी देखें==
==यह भी देखें==


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


==टिप्पणियाँ==
==टिप्पणियाँ==
Line 118: Line 125:


{{L-functions-footer}}
{{L-functions-footer}}
[[Category: ज़ेटा और एल-फ़ंक्शन]]


[[Category: Machine Translated Page]]
[[Category:Collapse templates]]
[[Category:Created On 30/06/2023]]
[[Category:Created On 30/06/2023]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with ignored display titles]]
[[Category:Pages with script errors]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:ज़ेटा और एल-फ़ंक्शन]]

Latest revision as of 16:36, 7 July 2023


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

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

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

यूलर गुणनफल

चूँकि डिरिचलेट वर्ण χ पूरी तरह से गुणक है, इसलिए इसका L-फलन पूर्ण अभिसरण के आधे-तल में यूलर गुणनफल के रूप में भी लिखा जा सकता है:

जहां गुणनफल सभी अभाज्य संख्याओं से अधिक है।[1]

अभाज्य गुण

L-फलन के बारे में परिणाम प्रायः अधिक सरलता से बताए जाते हैं यदि गुण को अभाज्य माना जाता है, हालांकि परिणाम सामान्यतः छोटी जटिलताओं के साथ अप्रभावी गुणों तक बढ़ाए जा सकते हैं।[2] इसका कारण अभाज्य गुण के बीच का संबंध है और अभाज्य गुण मैं जो इसे प्रेरित करता है:[3]