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

Revision as of 08:19, 7 July 2023

गणित में, डिरिचलेट 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,

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

अभाज्य गुण

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

\chi (n)={\begin{cases}\chi ^{\star }(n),&\mathrm {if} \gcd(n,q)=1\\0,&\mathrm {if} \gcd(n,q)\neq 1\end{cases}}

(यहाँ, q χ का मापांक है।) यूलर गुणनफल का एक अनुप्रयोग संबंधित एल-फंक्शन के बीच एक सरल संबंध देता है:^[4]^[5]

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-फंक्शन के बराबर है जो χ को प्रेरित करता है, केवल सीमित संख्या में कारकों से गुणा किया जाता है।^[6]

विशेष स्तिथि के रूप में, मुख्य गुण का L-फंक्शन $\chi _{0}$ मॉड्यूलो क्यू को रीमैन ज़ेटा फंक्शन के संदर्भ में व्यक्त किया जा सकता है:^[7]^[8]

L(s,\chi _{0})=\zeta (s)\prod _{p\,|\,q}(1-p^{-s})

कार्यात्मक समीकरण

डिरिचलेट एल-फंक्शन एक कार्यात्मक समीकरण को संतुष्ट करते हैं, जो उन्हें पूरे जटिल विमान में विश्लेषणात्मक रूप से जारी रखने का एक तरीका प्रदान करता है। कार्यात्मक समीकरण के मान से संबंधित है $L(s,\chi )$ के मूल्य के लिए $L(1-s,{\overline {\chi }})$ . मान लीजिए कि χ एक आदिम वर्ण मॉड्यूलो q है, जहां q > 1. कार्यात्मक समीकरण को व्यक्त करने का एक तरीका यह है:^[9]: $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}}}}

जहां τ ( χ) एक गॉस योग है:

\tau (\chi )=\sum _{n=1}^{q}\chi (n)\exp(2\pi in/q).

यह गॉस सम्स की एक संपत्ति है जो |τ ( χ) | = क्यू^1/2, तो |e ( χ) | = 1.^[10]^[11] कार्यात्मक समीकरण को बताने का दूसरा तरीका है

\xi (s,\chi )=\left({\frac {q}{\pi }}\right)^{(s+a)/2}\operatorname {\Gamma } \left({\frac {s+a}{2}}\right)L(s,\chi ).

कार्यात्मक समीकरण को इस प्रकार व्यक्त किया जा सकता है:^[9]^[11]: $\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 पर एक ध्रुव है।)^[9]^[11]

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

शून्य

डिरिचलेट एल-फंक्शन एल(एस, χ) = 1 − 3^−s+5^−s − 7^−s + ⋅⋅⋅ (कभी-कभी विशेष नाम डिरिचलेट बीटा फंक्शन दिया जाता है), ऋणात्मक विषम पूर्णांकों पर तुच्छ शून्य के साथ

मान लीजिए χ 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}})$ .^[12]
यदि χ(−1) = −1, तो Re(s) < 0 के साथ L(s, χ) के एकमात्र शून्य −1, −3, −5, .... पर सरल शून्य हैं। के ध्रुव $\textstyle \Gamma ({\frac {s+1}{2}})$ .^[12]इन्हें तुच्छ शून्य कहा जाता है।^[9]

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

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

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

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

हर्विट्ज़ ज़ेटा फंक्शन से संबंध

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

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).

यह भी देखें

↑ Apostol 1976, Theorem 11.7
↑ Davenport 2000, chapter 5
↑ Davenport 2000, chapter 5, equation (2)
↑ Davenport 2000, chapter 5, equation (3)
↑ Montgomery & Vaughan 2006, p. 282
↑ Apostol 1976, p. 262
↑ Ireland & Rosen 1990, chapter 16, section 4
↑ Montgomery & Vaughan 2006, p. 121
↑ ^9.0 ^9.1 ^9.2 ^9.3 ^9.4 Montgomery & Vaughan 2006, p. 333
↑ Montgomery & Vaughan 2006, p. 332
↑ ^11.0 ^11.1 ^11.2 Iwaniec & Kowalski 2004, p. 84
↑ ^12.0 ^12.1 Davenport 2000, chapter 9
↑ Montgomery, Hugh L. (1994). विश्लेषणात्मक संख्या सिद्धांत और हार्मोनिक विश्लेषण के बीच इंटरफेस पर दस व्याख्यान. Regional Conference Series in Mathematics. Vol. 84. Providence, RI: American Mathematical Society. p. 163. ISBN 0-8218-0737-4. Zbl 0814.11001.
↑ Apostol 1976, p. 249

संदर्भ

Apostol, Tom M. (1976), Introduction to analytic number theory, Undergraduate Texts in Mathematics, New York-Heidelberg: Springer-Verlag, ISBN 978-0-387-90163-3, MR 0434929, Zbl 0335.10001
Apostol, T. M. (2010), "डिरिचलेट L-फलन", in Olver, Frank W. J.; Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W. (eds.), NIST Handbook of Mathematical Functions, Cambridge University Press, ISBN 978-0-521-19225-5, MR 2723248
Davenport, H. (2000). Multiplicative Number Theory (3rd ed.). Springer. ISBN 0-387-95097-4.
Dirichlet, P. G. L. (1837). "Beweis des Satzes, dass jede unbegrenzte arithmetische Progression, deren erstes Glied und Differenz ganze Zahlen ohne gemeinschaftlichen Factor sind, unendlich viele Primzahlen enthält". Abhand. Ak. Wiss. Berlin. 48.
Ireland, Kenneth; Rosen, Michael (1990). A Classical Introduction to Modern Number Theory (2nd ed.). Springer-Verlag.
Montgomery, Hugh L.; Vaughan, Robert C. (2006). Multiplicative number theory. I. Classical theory. Cambridge tracts in advanced mathematics. Vol. 97. Cambridge University Press. ISBN 978-0-521-84903-6.
Iwaniec, Henryk; Kowalski, Emmanuel (2004). Analytic Number Theory. American Mathematical Society Colloquium Publications. Vol. 53. Providence, RI: American Mathematical Society.
"Dirichlet-L-function", Encyclopedia of Mathematics, EMS Press, 2001 [1994]

[1] Apostol 1976, Theorem 11.7

[2] Davenport 2000, chapter 5

[3] Davenport 2000, chapter 5, equation (2)

[4] Davenport 2000, chapter 5, equation (3)

[5] Montgomery & Vaughan 2006, p. 282

[6] Apostol 1976, p. 262

[7] Ireland & Rosen 1990, chapter 16, section 4

[8] Montgomery & Vaughan 2006, p. 121

[MontgomeryVaughan333-9] 9.0 ^9.1 ^9.2 ^9.3 ^9.4 Montgomery & Vaughan 2006, p. 333

[MontgomeryVaughan332-10] Montgomery & Vaughan 2006, p. 332

[IwaniecKowalski84-11] 11.0 ^11.1 ^11.2 Iwaniec & Kowalski 2004, p. 84

[DavenportCh9-12] 12.0 ^12.1 Davenport 2000, chapter 9

[13] Montgomery, Hugh L. (1994). विश्लेषणात्मक संख्या सिद्धांत और हार्मोनिक विश्लेषण के बीच इंटरफेस पर दस व्याख्यान. Regional Conference Series in Mathematics. Vol. 84. Providence, RI: American Mathematical Society. p. 163. ISBN 0-8218-0737-4. Zbl 0814.11001.

[14] Apostol 1976, p. 249

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

@@ Line 4: / Line 4: @@
 :<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''(''s'', ''χ'') भी दर्शाया जाता है।
-इन फ़ंक्शंस का नाम [[पीटर गुस्ताव लेज्यून डिरिचलेट]] के नाम पर रखा गया है जिन्होंने अंकगणितीय प्रगति में अभाज्य पर प्रमेय को साबित करने के लिए इन्हें (डिरिचलेट 1837) में पेश किया था जिसमें उनका नाम भी शामिल है। प्रमाण के क्रम में, डिरिचलेट दर्शाता है कि ''s = 1'' पर {{Nowrap|''L''(''s'', ''χ'')}} गैर-शून्य है। इसके अलावा, यदि ''χ'' प्रिंसिपल है, तो संबंधित डिरिचलेट एल-फ़ंक्शन में ''s = 1'' पर एक सरल ध्रुव होता है। अन्यथा, एल-फ़ंक्शन संपूर्ण होता है।
+इन फ़ंक्शंस का नाम [[पीटर गुस्ताव लेज्यून डिरिचलेट]] के नाम पर रखा गया है जिन्होंने अंकगणितीय प्रगति में अभाज्य पर प्रमेय को साबित करने के लिए इन्हें (डिरिचलेट 1837) में पेश किया था जिसमें उनका नाम भी शामिल है। प्रमाण के क्रम में, डिरिचलेट दर्शाता है कि ''s = 1'' पर {{Nowrap|''L''(''s'', ''χ'')}} गैर-शून्य है। इसके अलावा, यदि ''χ'' प्रिंसिपल है, तो संबंधित डिरिचलेट एल-फंक्शन में ''s = 1'' पर एक सरल ध्रुव होता है। अन्यथा, एल-फंक्शन संपूर्ण होता है।
-==[[यूलर उत्पाद]]==
+==[[यूलर उत्पाद|यूलर गुणनफल]]==
-चूंकि डिरिचलेट वर्ण χ पूरी तरह से गुणक है, इसलिए इसके एल-फ़ंक्शन को [[पूर्ण अभिसरण]] के आधे-तल में यूलर उत्पाद के रूप में भी लिखा जा सकता है:
+चूँकि डिरिचलेट वर्ण χ पूरी तरह से गुणक है, इसलिए इसका एल-फंक्शन [[पूर्ण अभिसरण]] के आधे-तल में यूलर गुणनफल के रूप में भी लिखा जा सकता है:
 :<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>
+==अभाज्य गुण==
-==आदिम वर्ण==
+''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>
-एल-फ़ंक्शन के बारे में परिणाम अक्सर अधिक सरलता से बताए जाते हैं यदि चरित्र को आदिम माना जाता है, हालांकि परिणाम आमतौर पर छोटी जटिलताओं के साथ अप्रभावी वर्णों तक बढ़ाए जा सकते हैं।<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>
    \chi(n) =
@@ Line 24: / Line 23: @@
      \end{cases}
 </math>
-(यहाँ, q χ का मापांक है।) यूलर उत्पाद का एक अनुप्रयोग संबंधित एल-फ़ंक्शन के बीच एक सरल संबंध देता है:<ref>{{harvnb|Davenport|2000|loc=chapter 5, equation (3)}}</ref><ref>{{harvnb|Montgomery|Vaughan|2006|p=282}}</ref>
+(यहाँ, q χ का मापांक है।) यूलर गुणनफल का एक अनुप्रयोग संबंधित एल-फंक्शन के बीच एक सरल संबंध देता है:<ref>{{harvnb|Davenport|2000|loc=chapter 5, equation (3)}}</ref><ref>{{harvnb|Montgomery|Vaughan|2006|p=282}}</ref>
 :<math>
    L(s,\chi) = L(s,\chi^\star) \prod_{p \,|\, q}\left(1 - \frac{\chi^\star(p)}{p^s} \right)
 </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>
-एक विशेष मामले के रूप में, मुख्य चरित्र का एल-फ़ंक्शन <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> मॉड्यूलो क्यू को [[रीमैन ज़ेटा फ़ंक्शन|रीमैन ज़ेटा फंक्शन]] के संदर्भ में व्यक्त किया जा सकता है:<ref>{{harvnb|Ireland|Rosen|1990|loc=chapter 16, section 4}}</ref><ref>{{harvnb|Montgomery|Vaughan|2006|p=121}}</ref>
 :<math>
    L(s,\chi_0) = \zeta(s) \prod_{p \,|\, q}(1 - p^{-s})
 </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>
+डिरिचलेट एल-फंक्शन एक कार्यात्मक समीकरण को संतुष्ट करते हैं, जो उन्हें पूरे जटिल विमान में विश्लेषणात्मक रूप से जारी रखने का एक तरीका प्रदान करता है। कार्यात्मक समीकरण के मान से संबंधित है <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>
-इस समीकरण में, Γ [[गामा फ़ंक्शन]] को दर्शाता है; यदि χ(−1) = 1 है तो a 0 है, या यदि χ(−1) = −1 है तो 1 है; और
+इस समीकरण में, Γ [[गामा फ़ंक्शन|गामा फंक्शन]] को दर्शाता है; यदि χ(−1) = 1 है तो a 0 है, या यदि χ(−1) = −1 है तो 1 है; और
 ::::::::::::::::::::<math>\varepsilon(\chi) = \frac{\tau(\chi)}{i^a \sqrt{q}}</math>
 जहां τ&hairsp;(&hairsp;χ) एक गॉस योग है:
@@ Line 48: / Line 47: @@
 कार्यात्मक समीकरण का तात्पर्य यह है <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" />
-सामान्यीकरण के लिए, देखें: [[कार्यात्मक समीकरण (एल-फ़ंक्शन)]]।
+सामान्यीकरण के लिए, देखें: [[कार्यात्मक समीकरण (एल-फ़ंक्शन)|कार्यात्मक समीकरण (एल-फंक्शन)]]।
 ==शून्य==
-[[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|डिरिचलेट एल-फंक्शन एल(एस, χ) = 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, χ) के एकमात्र शून्य −1, −3, −5, .... पर सरल शून्य हैं। के ध्रुव <math>\textstyle \Gamma(\frac{s+1}{2})</math>.<ref name="DavenportCh9" />इन्हें तुच्छ शून्य कहा जाता है।<ref name="MontgomeryVaughan333"/>
@@ Line 59: / Line 58: @@
 शेष शून्य क्रांतिक पट्टी 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 का अवास्तविक चरित्र, हमारे पास है
+[[सीगल शून्य]] के संभावित अस्तित्व तक, रीमैन ज़ेटा फंक्शन के समान रेखा Re(s) = 1 सहित और उससे परे शून्य-मुक्त क्षेत्र सभी डिरिचलेट एल-फंक्शन के लिए मौजूद माने जाते हैं: उदाहरण के लिए, χ ए के लिए मापांक q का अवास्तविक चरित्र, हमारे पास है
 :<math> \beta < 1 - \frac{c}{\log\!\!\; \big(q(2+|\gamma|)\big)} \ </math>
@@ Line 65: / Line 64: @@
-== [[हर्विट्ज़ ज़ेटा फ़ंक्शन]] से संबंध ==
+== [[हर्विट्ज़ ज़ेटा फ़ंक्शन|हर्विट्ज़ ज़ेटा फंक्शन]] से संबंध ==
-डिरिचलेट एल-फ़ंक्शन को तर्कसंगत मूल्यों पर हर्विट्ज़ ज़ेटा फ़ंक्शन के रैखिक संयोजन के रूप में लिखा जा सकता है। एक पूर्णांक k ≥ 1 को निश्चित करते हुए, मॉड्यूल k वर्णों के लिए डिरिचलेट L-फ़ंक्शन ζ(s,a) के स्थिर गुणांकों के साथ रैखिक संयोजन हैं, जहां a = r/k और r = 1, 2, ..., k . इसका मतलब यह है कि तर्कसंगत ए के लिए हर्विट्ज़ ज़ेटा फ़ंक्शन में विश्लेषणात्मक गुण हैं जो डिरिचलेट एल-फ़ंक्शन से निकटता से संबंधित हैं। विशेष रूप से, मान लीजिए कि χ एक वर्ण मॉड्यूलो k है। तब हम इसके डिरिचलेट एल-फ़ंक्शन को इस प्रकार लिख सकते हैं:<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}
 = \frac{1}{k^s} \sum_{r=1}^k \chi(r) \operatorname{\zeta}\left(s,\frac{r}{k}\right).</math>
@@ Line 74: / Line 73: @@
 *सामान्यीकृत रीमैन परिकल्पना
-*[[एल-फ़ंक्शन]]
+*[[एल-फ़ंक्शन|एल-फंक्शन]]
 *[[मॉड्यूलैरिटी प्रमेय]]
-*[[आर्टिन अनुमान (एल-फ़ंक्शन)]]
+*[[आर्टिन अनुमान (एल-फ़ंक्शन)|आर्टिन अनुमान (एल-फंक्शन)]]
-*[[एल-फ़ंक्शन के विशेष मान]]
+*[[एल-फ़ंक्शन के विशेष मान|एल-फंक्शन के विशेष मान]]
 ==टिप्पणियाँ==

v t e L-functions in number theory
Analytic examples	Riemann zeta function Dirichlet L-functions L-functions of Hecke characters Automorphic L-functions Selberg class
Algebraic examples	Dedekind zeta functions Artin L-functions Hasse–Weil L-functions Motivic L-functions
Theorems	Analytic class number formula Riemann–von Mangoldt formula Weil conjectures
Analytic conjectures	Riemann hypothesis Generalized Riemann hypothesis Lindelöf hypothesis Ramanujan–Petersson conjecture Artin conjecture
Algebraic conjectures	Birch and Swinnerton-Dyer conjecture Deligne's conjecture Beilinson conjectures Bloch–Kato conjecture Langlands conjecture
p-adic L-functions	Main conjecture of Iwasawa theory Selmer group Euler system

Anonymous

Search

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

Namespaces

More

Page actions

Revision as of 08:19, 7 July 2023

Contents

यूलर गुणनफल

अभाज्य गुण

कार्यात्मक समीकरण

शून्य

हर्विट्ज़ ज़ेटा फंक्शन से संबंध

यह भी देखें

टिप्पणियाँ

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

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

Revision as of 08:19, 7 July 2023

यूलर गुणनफल

अभाज्य गुण

कार्यात्मक समीकरण

शून्य

हर्विट्ज़ ज़ेटा फंक्शन से संबंध

यह भी देखें

टिप्पणियाँ

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories