अंकगणितीय कार्य: Difference between revisions
No edit summary |
No edit summary |
||
(8 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
{{short description|Function whose domain is the positive integers}} | {{short description|Function whose domain is the positive integers}} | ||
[[संख्या सिद्धांत]] में, एक अंकगणितीय, अंकगणितीय, या संख्या-सैद्धांतिक कार्य <ref>{{harvtxt|Long|1972|p=151}}</ref><ref>{{harvtxt|Pettofrezzo|Byrkit|1970|p=58}}</ref> अधिकांश लेखकों के लिए | [[संख्या सिद्धांत]] में, एक अंकगणितीय, अंकगणितीय, या संख्या-सैद्धांतिक कार्य <ref>{{harvtxt|Long|1972|p=151}}</ref><ref>{{harvtxt|Pettofrezzo|Byrkit|1970|p=58}}</ref> अधिकांश लेखकों के लिए है।<ref>Niven & Zuckerman, 4.2.</ref><ref>Nagell, I.9.</ref><ref>Bateman & Diamond, 2.1.</ref> कोई भी फलन (गणित) f(n) जिसका प्रांत प्राकृत संख्या है और जिसका विस्तार सम्मिश्र संख्याओं का उपसमुच्चय है। हार्डी एंड राइट ने अपनी परिभाषा में इस आवश्यकता को सम्मिलित किया है कि एक अंकगणितीय फलन n की कुछ अंकगणितीय संपत्ति को व्यक्त करता है।<ref>Hardy & Wright, intro. to Ch. XVI</ref> एक अंकगणितीय फलन का एक उदाहरण विभाजक फलन है। जिसका मान धनात्मक पूर्णांक n पर n के विभाजकों की संख्या के समान है। | ||
संख्या-सैद्धांतिक कार्यों का एक बड़ा वर्ग | संख्या-सैद्धांतिक कार्यों का एक बड़ा वर्ग है। जो उपरोक्त परिभाषा में फिट नहीं होता है, उदाहरण के लिए, अभाज्य-गणना कार्य यह आलेख दोनों वर्गों के कार्यों के लिंक प्रदान करता है। | ||
अंकगणितीय कार्य अधिकांशतः अत्यंत अनियमित होते हैं (कुछ अंकगणितीय कार्यों के पहले 100 मान देखें), किन्तु उनमें से कुछ में रामानुजन के योग के संदर्भ में श्रृंखला विस्तार है। | अंकगणितीय कार्य अधिकांशतः अत्यंत अनियमित होते हैं (कुछ अंकगणितीय कार्यों के पहले 100 मान देखें), किन्तु उनमें से कुछ में रामानुजन के योग के संदर्भ में श्रृंखला विस्तार है। | ||
== गुणक और योगात्मक कार्य == | == गुणक और योगात्मक कार्य == | ||
एक अंकगणितीय फलन a | एक अंकगणितीय फलन a है। | ||
* 'पूर्ण योग फलन' यदि a(mn) = a(m) + a(n) सभी प्राकृत संख्याओं m और n के लिए | * 'पूर्ण योग फलन' यदि a(mn) = a(m) + a(n) सभी प्राकृत संख्याओं m और n के लिए है। | ||
* 'पूरी तरह से गुणा फलन' यदि a(mn) = a(m)a(n) सभी प्राकृत संख्याओं m और n के लिए | * 'पूरी तरह से गुणा फलन' यदि a(mn) = a(m)a(n) सभी प्राकृत संख्याओं m और n के लिए है। | ||
दो पूर्ण संख्याएँ m और n सहअभाज्य कहलाती हैं यदि उनका सबसे बड़ा सामान्य भाजक 1 है, अर्थात यदि कोई [[अभाज्य संख्या]] नहीं | दो पूर्ण संख्याएँ m और n सहअभाज्य कहलाती हैं यदि उनका सबसे बड़ा सामान्य भाजक 1 है, अर्थात यदि कोई [[अभाज्य संख्या]] नहीं है। जो दोनों को विभाजित करती है। | ||
तब एक अंकगणितीय फलन a है | तब एक अंकगणितीय फलन a है | ||
* 'योगात्मक फलन' यदि a(mn) = a(m) + a(n) सभी [[coprime|कोप्राइम]] प्राकृत संख्याओं m और n के लिए | * 'योगात्मक फलन' यदि a(mn) = a(m) + a(n) सभी [[coprime|कोप्राइम]] प्राकृत संख्याओं m और n के लिए है। | ||
* 'गुणात्मक फलन' यदि a(mn) = a(m)a(n) सभी सहअभाज्य प्राकृतिक संख्याओं m और n के लिए है। | * 'गुणात्मक फलन' यदि a(mn) = a(m)a(n) सभी सहअभाज्य प्राकृतिक संख्याओं m और n के लिए है। | ||
== नोटेशन == | == नोटेशन == | ||
इस आलेख में, <math display="inline">\sum_p f(p)</math> और <math display="inline">\prod_p f(p)</math> इसका कारण है कि योग या उत्पाद सभी अभाज्य संख्याओं से अधिक | इस आलेख में, <math display="inline">\sum_p f(p)</math> और <math display="inline">\prod_p f(p)</math> इसका कारण है कि योग या उत्पाद सभी अभाज्य संख्याओं से अधिक है। | ||
<math display="block">\sum_p f(p) = f(2) + f(3) + f(5) + \cdots</math> | <math display="block">\sum_p f(p) = f(2) + f(3) + f(5) + \cdots</math> | ||
और | और | ||
<math display="block">\prod_p f(p)= f(2)f(3)f(5)\cdots.</math> | <math display="block">\prod_p f(p)= f(2)f(3)f(5)\cdots.</math> | ||
इसी प्रकार, <math display="inline">\sum_{p^k} f(p^k)</math> और <math display="inline">\prod_{p^k} f(p^k)</math> इसका कारण है कि योग या उत्पाद पूरी तरह से सकारात्मक एक्सपोनेंट के साथ सभी प्रमुख शक्तियों से अधिक | इसी प्रकार, <math display="inline">\sum_{p^k} f(p^k)</math> और <math display="inline">\prod_{p^k} f(p^k)</math> इसका कारण है कि योग या उत्पाद पूरी तरह से सकारात्मक एक्सपोनेंट के साथ सभी प्रमुख शक्तियों से अधिक है। (इसलिए {{math|1=''k'' = 0}} सम्मिलित नहीं है): | ||
<math display="block">\sum_{p^k} f(p^k) = \sum_p\sum_{k > 0} f(p^k) = f(2) + f(3) + f(4) +f(5) +f(7)+f(8)+f(9)+\cdots.</math> | <math display="block">\sum_{p^k} f(p^k) = \sum_p\sum_{k > 0} f(p^k) = f(2) + f(3) + f(4) +f(5) +f(7)+f(8)+f(9)+\cdots.</math> | ||
अंकन <math display="inline">\sum_{d\mid n} f(d)</math> और <math display="inline">\prod_{d\mid n} f(d)</math> इसका अर्थ है कि योग या गुणनफल n के सभी धनात्मक विभाजकों से अधिक है, जिसमें 1 और n सम्मिलित हैं। उदाहरण के लिए, यदि {{math|1=''n'' = 12}}, तब | अंकन <math display="inline">\sum_{d\mid n} f(d)</math> और <math display="inline">\prod_{d\mid n} f(d)</math> इसका अर्थ है कि योग या गुणनफल n के सभी धनात्मक विभाजकों से अधिक है, जिसमें 1 और n सम्मिलित हैं। उदाहरण के लिए, यदि {{math|1=''n'' = 12}}, तब | ||
<math display="block">\prod_{d\mid 12} f(d) = f(1)f(2) f(3) f(4) f(6) f(12). </math> | <math display="block">\prod_{d\mid 12} f(d) = f(1)f(2) f(3) f(4) f(6) f(12). </math> | ||
नोटेशन <math display="inline">\sum_{p\mid n} f(p)</math> और <math display="inline">\prod_{p\mid n} f(p)</math> | नोटेशन <math display="inline">\sum_{p\mid n} f(p)</math> और <math display="inline">\prod_{p\mid n} f(p)</math> को जोड़ा जा सकता है। इसका कारण है कि योग या उत्पाद n के सभी प्रमुख विभाजकों से अधिक है। उदाहरण के लिए, यदि n = 18, तब | ||
<math display="block">\sum_{p\mid 18} f(p) = f(2) + f(3), </math> | <math display="block">\sum_{p\mid 18} f(p) = f(2) + f(3), </math> | ||
और इसी तरह <math display="inline">\sum_{p^k\mid n} f(p^k)</math> और <math display="inline">\prod_{p^k\mid n} f(p^k)</math> इसका कारण यह है कि योग या उत्पाद n को विभाजित करने वाली सभी प्रमुख शक्तियों से अधिक है। उदाहरण के लिए, यदि n = 24, तब | और इसी तरह <math display="inline">\sum_{p^k\mid n} f(p^k)</math> और <math display="inline">\prod_{p^k\mid n} f(p^k)</math> इसका कारण यह है कि योग या उत्पाद n को विभाजित करने वाली सभी प्रमुख शक्तियों से अधिक है। उदाहरण के लिए, यदि n = 24, तब | ||
<math display="block">\prod_{p^k\mid 24} f(p^k) = f(2) f(3) f(4) f(8). </math> | <math display="block">\prod_{p^k\mid 24} f(p^k) = f(2) f(3) f(4) f(8). </math> | ||
==Ω(n), ω(n), एन<sub>''p''</sub>(n) मूल शक्ति अपघटन == | ==Ω(n), ω(n), एन<sub>''p''</sub>(n) मूल शक्ति अपघटन == | ||
अंकगणित के मौलिक प्रमेय में कहा गया है कि किसी भी सकारात्मक पूर्णांक n को अभाज्य की शक्तियों के उत्पाद के रूप में विशिष्ट रूप से दर्शाया जा सकता | अंकगणित के मौलिक प्रमेय में कहा गया है कि किसी भी सकारात्मक पूर्णांक n को अभाज्य की शक्तियों के उत्पाद के रूप में विशिष्ट रूप से दर्शाया जा सकता है। <math> n = p_1^{a_1}\cdots p_k^{a_k} </math> जहां ''p''<sub>1</sub> < ''p''<sub>2</sub> < ... < ''p<sub>k</sub>'' अभाज्य हैं और ''a<sub>j</sub>'' सकारात्मक पूर्णांक हैं। (1 खाली उत्पाद द्वारा दिया गया है।) | ||
इसे सभी अभाज्य संख्याओं पर अनंत गुणनफल के रूप में लिखना अधिकांशतः सुविधाजनक होता | इसे सभी अभाज्य संख्याओं पर अनंत गुणनफल के रूप में लिखना अधिकांशतः सुविधाजनक होता है। जहां परिमित संख्या को छोड़कर सभी में शून्य घातांक होता है। p-एडिक मूल्यांकन 'ν<sub>''p''</sub>(n)' परिभाषित करें मूल p की उच्चतम शक्ति का प्रतिपादक होना जो n को विभाजित करता है। अर्थात, यदि p, p<sub>''i''</sub> में से एक है फिर ν<sub>''p''</sub>(n) = a<sub>''i''</sub>, अन्यथा यह शून्य है। तब | ||
<math display="block">n = \prod_p p^{\nu_p(n)}.</math> | <math display="block">n = \prod_p p^{\nu_p(n)}.</math> | ||
उपरोक्त के संदर्भ में [[प्राइम ओमेगा फ़ंक्शन|प्राइम ओमेगा फलन]] ω और Ω द्वारा परिभाषित किया गया | उपरोक्त के संदर्भ में [[प्राइम ओमेगा फ़ंक्शन|प्राइम ओमेगा फलन]] ω और Ω द्वारा परिभाषित किया गया है। | ||
{{block indent | em = 1.5 | text = ''ω''(''n'') = ''k'',}} | {{block indent | em = 1.5 | text = ''ω''(''n'') = ''k'',}} | ||
{{block indent | em = 1.5 | text = Ω(''n'') = ''a''<sub>1</sub> + ''a''<sub>2</sub> + ... + ''a''<sub>''k''</sub>.}} | {{block indent | em = 1.5 | text = Ω(''n'') = ''a''<sub>1</sub> + ''a''<sub>2</sub> + ... + ''a''<sub>''k''</sub>.}} | ||
Line 46: | Line 43: | ||
=== p<sub>''k''</sub>(n), τ(n), d(n) - विभाजक राशि=== | === p<sub>''k''</sub>(n), τ(n), d(n) - विभाजक राशि=== | ||
σ<sub>''k''</sub>(n) 1 और n सहित n के सकारात्मक विभाजकों की k वीं शक्तियों का योग | σ<sub>''k''</sub>(n) 1 और n सहित n के सकारात्मक विभाजकों की k वीं शक्तियों का योग है। जहां k एक सम्मिश्र संख्या है। | ||
'σ<sub>1</sub>(n)', n के (सकारात्मक) विभाजकों का योग, सामान्यतः 'σ(n)' द्वारा दर्शाया जाता है। | 'σ<sub>1</sub>(n)', n के (सकारात्मक) विभाजकों का योग, सामान्यतः 'σ(n)' द्वारा दर्शाया जाता है। | ||
चूँकि शून्य घात की एक धनात्मक | चूँकि शून्य घात की एक धनात्मक 'σ<sub>0</sub>(n)' संख्या एक है। इसलिए n के (सकारात्मक) विभाजकों की संख्या है। इसे सामान्यतः 'd(n)' या 'τ(n)' (जर्मन टेयलर = विभाजक के लिए) द्वारा दर्शाया जाता है। | ||
<math display="block">\sigma_k(n) = \prod_{i=1}^{\omega(n)} \frac{p_i^{(a_i+1)k}-1}{p_i^k-1}= \prod_{i=1}^{\omega(n)} \left(1 + p_i^k + p_i^{2k} + \cdots + p_i^{a_i k}\right).</math> | <math display="block">\sigma_k(n) = \prod_{i=1}^{\omega(n)} \frac{p_i^{(a_i+1)k}-1}{p_i^k-1}= \prod_{i=1}^{\omega(n)} \left(1 + p_i^k + p_i^{2k} + \cdots + p_i^{a_i k}\right).</math> | ||
दूसरे गुणनफल में k = 0 सेट करने पर प्राप्त होता | दूसरे गुणनफल में k = 0 सेट करने पर प्राप्त होता है। | ||
<math display="block">\tau(n) = d(n) = (1 + a_{1})(1+a_{2})\cdots(1+a_{\omega(n)}).</math> | <math display="block">\tau(n) = d(n) = (1 + a_{1})(1+a_{2})\cdots(1+a_{\omega(n)}).</math> | ||
===φ(n) - यूलर टोटिएंट फलन === | ===φ(n) - यूलर टोटिएंट फलन === | ||
'यूलर टोटिएंट फलन φ(n)', फलन, धनात्मक पूर्णांकों की वह संख्या | 'यूलर टोटिएंट फलन φ(n)', फलन, धनात्मक पूर्णांकों की वह संख्या है। जो n से अधिक नहीं है। जो n के सहअभाज्य हैं। | ||
<math display="block">\varphi(n) = n \prod_{p\mid n} \left(1-\frac{1}{p}\right) | <math display="block">\varphi(n) = n \prod_{p\mid n} \left(1-\frac{1}{p}\right) | ||
= n \left(\frac{p_1 - 1}{p_1}\right)\left(\frac{p_2 - 1}{p_2}\right) \cdots \left(\frac{p_{\omega(n)} - 1}{p_{\omega(n)}}\right) | = n \left(\frac{p_1 - 1}{p_1}\right)\left(\frac{p_2 - 1}{p_2}\right) \cdots \left(\frac{p_{\omega(n)} - 1}{p_{\omega(n)}}\right) | ||
.</math> | .</math> | ||
=== J<sub>''k''</sub>(n) - जॉर्डन कुल फलन === | === J<sub>''k''</sub>(n) - जॉर्डन कुल फलन === | ||
'जॉर्डन कुल फलन J<sub>''k''</sub>(n) | 'जॉर्डन कुल फलन J<sub>''k''</sub>(n) n से कम या उसके समान सकारात्मक पूर्णांकों के k-टुपल्स की संख्या है। जो n के साथ मिलकर एक कोप्राइम (k + 1)-ट्यूपल बनाता है। यह यूलर के टोटेंट {{math|1=φ(''n'') = J<sub>1</sub>(''n'')}} का सामान्यीकरण है। | ||
<math display="block">J_k(n) = n^k \prod_{p\mid n} \left(1-\frac{1}{p^k}\right) | <math display="block">J_k(n) = n^k \prod_{p\mid n} \left(1-\frac{1}{p^k}\right) | ||
= n^k \left(\frac{p^k_1 - 1}{p^k_1}\right)\left(\frac{p^k_2 - 1}{p^k_2}\right) \cdots \left(\frac{p^k_{\omega(n)} - 1}{p^k_{\omega(n)}}\right) | = n^k \left(\frac{p^k_1 - 1}{p^k_1}\right)\left(\frac{p^k_2 - 1}{p^k_2}\right) \cdots \left(\frac{p^k_{\omega(n)} - 1}{p^k_{\omega(n)}}\right) | ||
.</math> | .</math> | ||
===μ(n) - मोबियस फलन === | ===μ(n) - मोबियस फलन === | ||
'मोबियस फलन μ(n) मोबियस उलटा सूत्र के कारण महत्वपूर्ण है। नीचे डिरिक्लेट कनवल्शन देखें। | 'मोबियस फलन μ(n) मोबियस उलटा सूत्र के कारण महत्वपूर्ण है। नीचे डिरिक्लेट कनवल्शन देखें। | ||
Line 79: | Line 70: | ||
0&\text{if }\;\omega(n) \ne \Omega(n). | 0&\text{if }\;\omega(n) \ne \Omega(n). | ||
\end{cases}</math> | \end{cases}</math> | ||
इसका तात्पर्य है कि μ(1) = 1. (क्योंकि Ω(1) = ω(1) = 0.) | इसका तात्पर्य है कि μ(1) = 1. (क्योंकि Ω(1) = ω(1) = 0.) है। | ||
===τ(n) – रामानुजन ताऊ फलन=== | ===τ(n) – रामानुजन ताऊ फलन=== | ||
'रामानुजन ताऊ फलन τ(n)' इसकी जनक फलन पहचान द्वारा परिभाषित | 'रामानुजन ताऊ फलन τ(n)' इसकी जनक फलन पहचान द्वारा परिभाषित है। | ||
<math display="block">\sum_{n\geq 1}\tau(n)q^n=q\prod_{n\geq 1}(1-q^n)^{24}.</math> | <math display="block">\sum_{n\geq 1}\tau(n)q^n=q\prod_{n\geq 1}(1-q^n)^{24}.</math> | ||
चूँकि यह कहना कठिन है कि वास्तव में n का अंकगणितीय गुण क्या व्यक्त करता है,<ref>Hardy, ''Ramanujan'', § 10.2</ref> (τ(n) | चूँकि यह कहना कठिन है कि वास्तव में n का अंकगणितीय गुण क्या व्यक्त करता है,<ref>Hardy, ''Ramanujan'', § 10.2</ref> (τ(n) है। (2π) मॉड्यूलर डिस्क्रिमिनेंट#मॉड्यूलर डिस्क्रिमिनेंट फलन के q-विस्तार में 12 गुना n वां फूरियर गुणांक) <ref>Apostol, ''Modular Functions ...'', § 1.15, Ch. 4, and ch. 6</ref> इसे अंकगणितीय कार्यों में सम्मिलित किया गया है। क्योंकि यह गुणक है और यह कुछ σ<sub>''k''</sub>(n) और आर<sub>''k''</sub>(n) वाली सर्वसमिकाओं में होता है। (क्योंकि ये भी [[मॉड्यूलर रूप]] के विस्तार में गुणांक हैं)। | ||
=== C<sub>''q''</sub>(n) - रामानुजन का योग === | === C<sub>''q''</sub>(n) - रामानुजन का योग === | ||
C<sub>''q''</sub>(n)', रामानुजन का योग, एकता के आदिम q वें मूल की nवीं शक्तियों का योग | C<sub>''q''</sub>(n)', रामानुजन का योग, एकता के आदिम q वें मूल की nवीं शक्तियों का योग है। | ||
<math display="block">c_q(n) = \sum_{\stackrel{1\le a\le q}{ \gcd(a,q)=1}} e^{2 \pi i \tfrac{a}{q} n}.</math> | <math display="block">c_q(n) = \sum_{\stackrel{1\le a\le q}{ \gcd(a,q)=1}} e^{2 \pi i \tfrac{a}{q} n}.</math> | ||
तथापि इसे जटिल संख्याओं के योग के रूप में परिभाषित किया गया हो (q के अधिकांश मानों के लिए अपरिमेय), यह एक पूर्णांक है। n के निश्चित मान के लिए यह q में गुणक है: | तथापि इसे जटिल संख्याओं के योग के रूप में परिभाषित किया गया हो (q के अधिकांश मानों के लिए अपरिमेय), यह एक पूर्णांक है। n के निश्चित मान के लिए यह q में गुणक है: | ||
: 'यदि q और r सहअभाज्य हैं', तब <math>c_q(n)c_r(n)=c_{qr}(n).</math> | : 'यदि q और r सहअभाज्य हैं', तब <math>c_q(n)c_r(n)=c_{qr}(n).</math> | ||
===ψ(n) - डेडकाइंड साई फलन=== | ===ψ(n) - डेडकाइंड साई फलन=== | ||
[[डेडेकाइंड साई फंक्शन|डेडेकाइंड साई फलन]] सूत्र द्वारा परिभाषित किया गया | [[डेडेकाइंड साई फंक्शन|डेडेकाइंड साई फलन]] सूत्र द्वारा परिभाषित किया गया है। | ||
<math display="block"> \psi(n) = n \prod_{p|n}\left(1+\frac{1}{p}\right).</math> | <math display="block"> \psi(n) = n \prod_{p|n}\left(1+\frac{1}{p}\right).</math> | ||
== पूरी तरह से गुणात्मक कार्य == | == पूरी तरह से गुणात्मक कार्य == | ||
=== λ (n) - लिउविल फलन === | === λ (n) - लिउविल फलन === | ||
λ(n)', लिउविल फलन, द्वारा परिभाषित किया गया | λ(n)', लिउविल फलन, द्वारा परिभाषित किया गया है। | ||
<math display="block">\lambda (n) = (-1)^{\Omega(n)}.</math> | <math display="block">\lambda (n) = (-1)^{\Omega(n)}.</math> | ||
===χ(n) - अक्षर === | ===χ(n) - अक्षर === | ||
सभी 'डिरिचलेट वर्ण χ(n)' पूरी तरह गुणक हैं। दो वर्णों के विशेष अंकन | सभी 'डिरिचलेट वर्ण χ(n)' पूरी तरह गुणक हैं। दो वर्णों के विशेष अंकन है। | ||
'प्रमुख चरित्र (मॉड n)' को χ<sub>0</sub>(a) (या χ<sub>1</sub>(a)) द्वारा दर्शाया जाता है। इसे के रूप में परिभाषित किया गया | 'प्रमुख चरित्र (मॉड n)' को χ<sub>0</sub>(a) (या χ<sub>1</sub>(a)) द्वारा दर्शाया जाता है। इसे के रूप में परिभाषित किया गया है। | ||
<math display="block"> \chi_0(a) = \begin{cases} | <math display="block"> \chi_0(a) = \begin{cases} | ||
1 & \text{if } \gcd(a,n) = 1, \\ | 1 & \text{if } \gcd(a,n) = 1, \\ | ||
0 & \text{if } \gcd(a,n) \ne 1. | 0 & \text{if } \gcd(a,n) \ne 1. | ||
\end{cases} </math> | \end{cases} </math> | ||
द्विघात वर्ण (मॉड ''n'') विषम ''n'' के लिए [[जैकोबी प्रतीक]] द्वारा निरूपित किया जाता | द्विघात वर्ण (मॉड ''n'') विषम ''n'' के लिए [[जैकोबी प्रतीक]] द्वारा निरूपित किया जाता है।(यह ''n'' के लिए भी परिभाषित नहीं है) | | ||
<math display="block">\left(\frac{a}{n}\right) = \left(\frac{a}{p_1}\right)^{a_1}\left(\frac{a}{p_2}\right)^{a_2}\cdots \left(\frac{a}{p_{\omega(n)}}\right)^{a_{\omega(n)}}.</math> | <math display="block">\left(\frac{a}{n}\right) = \left(\frac{a}{p_1}\right)^{a_1}\left(\frac{a}{p_2}\right)^{a_2}\cdots \left(\frac{a}{p_{\omega(n)}}\right)^{a_{\omega(n)}}.</math> | ||
इस सूत्र में <math>(\tfrac{a}{p})</math> लीजेंड्रे प्रतीक है, जो सभी पूर्णांकों a और सभी विषम अभाज्य p द्वारा परिभाषित | इस सूत्र में <math>(\tfrac{a}{p})</math> लीजेंड्रे प्रतीक है, जो सभी पूर्णांकों a और सभी विषम अभाज्य p द्वारा परिभाषित है। | ||
<math display="block"> | <math display="block"> | ||
\left(\frac{a}{p}\right) = \begin{cases} | \left(\frac{a}{p}\right) = \begin{cases} | ||
Line 120: | Line 107: | ||
\\+1 & \text{if }a \not\equiv 0\pmod p \text{ and for some integer }x, \;a\equiv x^2\pmod p | \\+1 & \text{if }a \not\equiv 0\pmod p \text{ and for some integer }x, \;a\equiv x^2\pmod p | ||
\\-1 & \text{if there is no such } x. \end{cases}</math> | \\-1 & \text{if there is no such } x. \end{cases}</math> | ||
खाली उत्पाद के लिए सामान्य अधिवेशन के बाद, <math>\left(\frac{a}{1}\right) = 1.</math> | खाली उत्पाद के लिए सामान्य अधिवेशन के बाद, <math>\left(\frac{a}{1}\right) = 1.</math> है। | ||
== योगात्मक कार्य == | == योगात्मक कार्य == | ||
Line 131: | Line 116: | ||
===Ω(n) - मूल विभाजक === | ===Ω(n) - मूल विभाजक === | ||
'प्राइम फ़ैक्टर Ω(n)', जिसे ऊपर n के प्राइम फ़ैक्टर की संख्या के रूप में परिभाषित किया गया | 'प्राइम फ़ैक्टर Ω(n)', जिसे ऊपर n के प्राइम फ़ैक्टर की संख्या के रूप में परिभाषित किया गया है। जिसे बहुगुणों के साथ गिना जाता है। पूरी तरह से योगात्मक है (प्राइम ओमेगा फलन देखें)। | ||
===ν<sub>''p''</sub>(n) - | ===ν<sub>''p''</sub>(n) - पूर्णांक n का p-एडिक मूल्यांकन=== | ||
नियत अभाज्य p के लिए, 'ν<sub>''p''</sub>(n)', जिसे ऊपर n को विभाजित करने वाले p की सबसे बड़ी शक्ति के घातांक के रूप में परिभाषित किया गया है, पूरी तरह से योज्य है। | नियत अभाज्य p के लिए, 'ν<sub>''p''</sub>(n)', जिसे ऊपर n को विभाजित करने वाले p की सबसे बड़ी शक्ति के घातांक के रूप में परिभाषित किया गया है, पूरी तरह से योज्य है। | ||
Line 146: | Line 131: | ||
'प्राइम-काउंटिंग फलन {{pi}}(x)', प्राइम्स की संख्या x से अधिक नहीं है। यह अभाज्य संख्याओं के सूचक फलन का योग फलन है। | 'प्राइम-काउंटिंग फलन {{pi}}(x)', प्राइम्स की संख्या x से अधिक नहीं है। यह अभाज्य संख्याओं के सूचक फलन का योग फलन है। | ||
<math display="block">\pi(x) = \sum_{p \le x} 1</math> | <math display="block">\pi(x) = \sum_{p \le x} 1</math> | ||
एक संबंधित फलन प्राइम शक्तियों की गणना करता है, प्राइम के लिए वजन 1, उनके वर्गों के लिए 1/2, क्यूब्स के लिए 1/3, ... यह अंकगणितीय फलन का योग फलन | एक संबंधित फलन प्राइम शक्तियों की गणना करता है, प्राइम के लिए वजन 1, उनके वर्गों के लिए 1/2, क्यूब्स के लिए 1/3, ... यह अंकगणितीय फलन का योग फलन है। जो पूर्णांक पर मान 1/k लेता है। जो k हैं कुछ अभाज्य संख्या की घात, और अन्य पूर्णांकों पर मान 0 है। | ||
<math display="block">\Pi(x) = \sum_{p^k\le x}\frac{1}{k}.</math> | <math display="block">\Pi(x) = \sum_{p^k\le x}\frac{1}{k}.</math> | ||
चेबीशेव फलन ''θ''(''x'') और ''ψ''(''x''), को अभाज्य संख्याओं के प्राकृतिक लघुगणक के योग के रूप में परिभाषित किया गया | चेबीशेव फलन ''θ''(''x'') और ''ψ''(''x''), को अभाज्य संख्याओं के प्राकृतिक लघुगणक के योग के रूप में परिभाषित किया गया है। जो ''x' से अधिक नहीं है |'' | ||
<math display="block">\vartheta(x)=\sum_{p\le x} \log p,</math> | <math display="block">\vartheta(x)=\sum_{p\le x} \log p,</math> | ||
<math display="block"> \psi(x) = \sum_{p^k\le x} \log p.</math> | <math display="block"> \psi(x) = \sum_{p^k\le x} \log p.</math> | ||
Line 155: | Line 140: | ||
===Λ(n) - वॉन मैंगोल्ड फलन === | ===Λ(n) - वॉन मैंगोल्ड फलन === | ||
Λ(n)', वॉन मैंगोल्ड फलन, 0 है जब तक कि तर्क n एक प्रमुख शक्ति {{math|''p''<sup>''k''</sup>}} नहीं | Λ(n)', वॉन मैंगोल्ड फलन, 0 है जब तक कि तर्क n एक प्रमुख शक्ति {{math|''p''<sup>''k''</sup>}} नहीं है। जिस स्थिति में यह अभाज्य p का प्राकृतिक लघुगणक है। | ||
<math display="block">\Lambda(n) = \begin{cases} | <math display="block">\Lambda(n) = \begin{cases} | ||
\log p &\text{if } n = 2,3,4,5,7,8,9,11,13,16,\ldots=p^k \text{ is a prime power}\\ | \log p &\text{if } n = 2,3,4,5,7,8,9,11,13,16,\ldots=p^k \text{ is a prime power}\\ | ||
0&\text{if } n=1,6,10,12,14,15,18,20,21,\dots \;\;\;\;\text{ is not a prime power}. | 0&\text{if } n=1,6,10,12,14,15,18,20,21,\dots \;\;\;\;\text{ is not a prime power}. | ||
\end{cases}</math> | \end{cases}</math> | ||
=== p (n) - विभाजन फलन === | === p (n) - विभाजन फलन === | ||
'विभाजन फलन (संख्या सिद्धांत) p(n) धनात्मक पूर्णांकों के योग के रूप में n को दर्शाने के विधियों की संख्या | 'विभाजन फलन (संख्या सिद्धांत) p(n) धनात्मक पूर्णांकों के योग के रूप में n को दर्शाने के विधियों की संख्या है। जहां भिन्न क्रम में समान योग वाले दो निरूपणों को भिन्न होने के रूप में नहीं गिना जाता है। | ||
<math display="block">p(n) = \left|\left\{ (a_1, a_2,\dots a_k): 0 < a_1 \le a_2 \le \cdots \le a_k\; \land \;n=a_1+a_2+\cdots +a_k \right\}\right|.</math> | <math display="block">p(n) = \left|\left\{ (a_1, a_2,\dots a_k): 0 < a_1 \le a_2 \le \cdots \le a_k\; \land \;n=a_1+a_2+\cdots +a_k \right\}\right|.</math> | ||
=== λ (n) - कारमाइकल फलन === | === λ (n) - कारमाइकल फलन === | ||
'कारमाइकल फलन λ(n) सबसे छोटी सकारात्मक संख्या है जैसे कि <math>a^{\lambda(n)}\equiv 1 \pmod{n}</math> सभी के लिए n के लिए एक कोप्राइम समतुल्य रूप से, यह पूर्णांक मॉड्यूलो n के गुणक समूह के तत्वों के आदेशों का कम से कम सामान्य गुणक है। | 'कारमाइकल फलन λ(n) सबसे छोटी सकारात्मक संख्या है जैसे कि <math>a^{\lambda(n)}\equiv 1 \pmod{n}</math> सभी के लिए n के लिए एक कोप्राइम समतुल्य रूप से, यह पूर्णांक मॉड्यूलो n के गुणक समूह के तत्वों के आदेशों का कम से कम सामान्य गुणक है। | ||
विषम अभाज्य संख्याओं की घातों के लिए और 2 और 4 के लिए, λ(n) n के यूलर कुल फलन के समान | विषम अभाज्य संख्याओं की घातों के लिए और 2 और 4 के लिए, λ(n) n के यूलर कुल फलन के समान है। 4 से अधिक 2 की शक्तियों के लिए यह n के यूलर टोटेंट फलन के आधे के समान है। | ||
<math display="block">\lambda(n) = \begin{cases} | <math display="block">\lambda(n) = \begin{cases} | ||
\;\;\phi(n) &\text{if }n = 2,3,4,5,7,9,11,13,17,19,23,25,27,\dots\\ | \;\;\phi(n) &\text{if }n = 2,3,4,5,7,9,11,13,17,19,23,25,27,\dots\\ | ||
\tfrac 1 2 \phi(n)&\text{if }n=8,16,32,64,\dots | \tfrac 1 2 \phi(n)&\text{if }n=8,16,32,64,\dots | ||
\end{cases}</math> | \end{cases}</math> | ||
और सामान्य n के लिए यह n के प्रमुख शक्ति कारकों में से प्रत्येक के λ का कम से कम सामान्य गुणक | और सामान्य n के लिए यह n के प्रमुख शक्ति कारकों में से प्रत्येक के λ का कम से कम सामान्य गुणक है। | ||
<math display="block">\lambda(p_1^{a_1}p_2^{a_2} \dots p_{\omega(n)}^{a_{\omega(n)}}) = \operatorname{lcm}[\lambda(p_1^{a_1}),\;\lambda(p_2^{a_2}),\dots,\lambda(p_{\omega(n)}^{a_{\omega(n)}}) ].</math> | <math display="block">\lambda(p_1^{a_1}p_2^{a_2} \dots p_{\omega(n)}^{a_{\omega(n)}}) = \operatorname{lcm}[\lambda(p_1^{a_1}),\;\lambda(p_2^{a_2}),\dots,\lambda(p_{\omega(n)}^{a_{\omega(n)}}) ].</math> | ||
=== h(n) - कक्षा संख्या === | === h(n) - कक्षा संख्या === | ||
'[[आदर्श वर्ग समूह]]|h(n)', वर्ग संख्या फलन, विविक्तकर n वाले परिमेय के बीजगणितीय विस्तार के आदर्श वर्ग समूह का क्रम है। संकेतन अस्पष्ट है, क्योंकि सामान्य रूप से एक ही विवेचक के साथ कई विस्तार होते हैं। मौलिक उदाहरणों के लिए [[द्विघात क्षेत्र]] और चक्रीय क्षेत्र देखें। | '[[आदर्श वर्ग समूह]]|h(n)', वर्ग संख्या फलन, विविक्तकर n वाले परिमेय के बीजगणितीय विस्तार के आदर्श वर्ग समूह का क्रम है। संकेतन अस्पष्ट है, क्योंकि सामान्य रूप से एक ही विवेचक के साथ कई विस्तार होते हैं। मौलिक उदाहरणों के लिए [[द्विघात क्षेत्र]] और चक्रीय क्षेत्र देखें। | ||
===R<sub>''k''</sub>(n) - के वर्गों का योग=== | ===R<sub>''k''</sub>(n) - के वर्गों का योग=== | ||
'वर्गों का योग फलन|आर<sub>''k''</sub>(n)' उन विधियों की संख्या | 'वर्गों का योग फलन|आर<sub>''k''</sub>(n)' उन विधियों की संख्या है। जिन्हें n को k वर्गों के योग के रूप में दर्शाया जा सकता है, जहाँ निरूपण जो केवल योग के क्रम में भिन्न होते हैं या वर्गमूल के चिह्नों में भिन्न के रूप में गिने जाते हैं। | ||
<math display="block">r_k(n) = \left|\left\{(a_1, a_2,\dots,a_k):n=a_1^2+a_2^2+\cdots+a_k^2\right\}\right|</math> | <math display="block">r_k(n) = \left|\left\{(a_1, a_2,\dots,a_k):n=a_1^2+a_2^2+\cdots+a_k^2\right\}\right|</math> | ||
===d (n) - [[अंकगणितीय व्युत्पन्न]] === | ===d (n) - [[अंकगणितीय व्युत्पन्न]] === | ||
डेरिवेटिव के लिए डिफरेंशियल ऑपरेटर नोटेशन का उपयोग करना, अंकगणितीय डेरिवेटिव d (n) एक ऐसा फलन है | डेरिवेटिव के लिए डिफरेंशियल ऑपरेटर नोटेशन का उपयोग करना, अंकगणितीय डेरिवेटिव d (n) एक ऐसा फलन है | ||
Line 194: | Line 171: | ||
== योग फलन == | == योग फलन == | ||
एक अंकगणितीय फलन दिया गया है), यह 'समेशन फलन' A(x) द्वारा परिभाषित किया गया | एक अंकगणितीय फलन दिया गया है), यह 'समेशन फलन' A(x) द्वारा परिभाषित किया गया है। | ||
<math display="block"> A(x) := \sum_{n \le x} a(n) .</math> | <math display="block"> A(x) := \sum_{n \le x} a(n) .</math> | ||
A को एक वास्तविक चर के कार्य के रूप में माना जा सकता है। एक सकारात्मक पूर्णांक एम दिया गया है, a खुले अंतराल ''m'' < ''x'' < ''m'' + 1 के साथ स्थिर है, और प्रत्येक पूर्णांक पर असंतोष का वर्गीकरण | A को एक वास्तविक चर के कार्य के रूप में माना जा सकता है। एक सकारात्मक पूर्णांक एम दिया गया है, a खुले अंतराल ''m'' < ''x'' < ''m'' + 1 के साथ स्थिर है, और प्रत्येक पूर्णांक पर असंतोष का वर्गीकरण है। जिसके लिए ''a''(''m'') ≠ 0. है। | ||
चूँकि इस तरह के कार्यों को अधिकांशतः श्रृंखला और अभिन्न द्वारा दर्शाया जाता | चूँकि इस तरह के कार्यों को अधिकांशतः श्रृंखला और अभिन्न द्वारा दर्शाया जाता है। बिंदुवार अभिसरण प्राप्त करने के लिए यह सामान्य रूप से बाएँ और दाएँ मानों के औसत के रूप में विच्छिन्नता पर मान को परिभाषित करता है। | ||
<math display="block"> A_0(m) := \frac 1 2 \left(\sum_{n < m} a(n) +\sum_{n \le m} a(n)\right) = A(m) - \frac 1 2 a(m) .</math> | <math display="block"> A_0(m) := \frac 1 2 \left(\sum_{n < m} a(n) +\sum_{n \le m} a(n)\right) = A(m) - \frac 1 2 a(m) .</math> | ||
अंकगणितीय कार्यों के व्यक्तिगत मूल्यों में उतार-चढ़ाव हो सकता | अंकगणितीय कार्यों के व्यक्तिगत मूल्यों में उतार-चढ़ाव हो सकता है। जैसा कि उपरोक्त अधिकांश उदाहरणों में है। योग कार्य इन उतार-चढ़ाव को सुचारू करते हैं। कुछ स्थितियों में यह संभव हो सकता है कि बड़े x के योग फलन के लिए [[स्पर्शोन्मुख विश्लेषण]] खोजा जाता है। | ||
इस घटना का एक मौलिक उदाहरण <ref>Hardy & Wright, §§ 18.1–18.2</ref> [[विभाजक सारांश समारोह|विभाजक सारांश फलन]] द्वारा दिया जाता | इस घटना का एक मौलिक उदाहरण <ref>Hardy & Wright, §§ 18.1–18.2</ref> [[विभाजक सारांश समारोह|विभाजक सारांश फलन]] द्वारा दिया जाता है। d (n) का योग फलन, n के विभाजकों की संख्या है। | ||
<math display="block">\liminf_{n\to\infty} d(n) = 2</math><math display="block">\limsup_{n\to\infty}\frac{\log d(n) \log\log n}{\log n} = \log 2</math><math display="block">\lim_{n\to\infty}\frac{d(1) + d(2)+ \cdots +d(n)}{\log(1) + \log(2)+ \cdots +\log(n)} = 1.</math> | <math display="block">\liminf_{n\to\infty} d(n) = 2</math><math display="block">\limsup_{n\to\infty}\frac{\log d(n) \log\log n}{\log n} = \log 2</math><math display="block">\lim_{n\to\infty}\frac{d(1) + d(2)+ \cdots +d(n)}{\log(1) + \log(2)+ \cdots +\log(n)} = 1.</math> | ||
एक अंकगणितीय फलन का एक औसत क्रम कुछ सरल या उत्तम समझा जाने वाला फलन होता | एक अंकगणितीय फलन का एक औसत क्रम कुछ सरल या उत्तम समझा जाने वाला फलन होता है। जिसमें समान रूप से समान योग फलन होता है, और इसलिए औसत पर समान मान लेता है। हम कहते हैं कि ''g'' ''f'' का ''औसत क्रम'' है। यदि | ||
<math display="block"> \sum_{n \le x} f(n) \sim \sum_{n \le x} g(n) </math> | <math display="block"> \sum_{n \le x} f(n) \sim \sum_{n \le x} g(n) </math> | ||
एक्स के रूप में अनंत की ओर जाता है। उपरोक्त उदाहरण से पता चलता है कि d (n) में औसत ऑर्डर लॉग (n) है।<ref>{{cite book | title=विश्लेषणात्मक और संभाव्य संख्या सिद्धांत का परिचय| author=Gérald Tenenbaum | series=Cambridge studies in advanced mathematics | volume=46 | publisher=[[Cambridge University Press]] | pages=36–55 | year=1995 | isbn=0-521-41261-7 }}</ref> | एक्स के रूप में अनंत की ओर जाता है। उपरोक्त उदाहरण से पता चलता है कि d (n) में औसत ऑर्डर लॉग (n) है।<ref>{{cite book | title=विश्लेषणात्मक और संभाव्य संख्या सिद्धांत का परिचय| author=Gérald Tenenbaum | series=Cambridge studies in advanced mathematics | volume=46 | publisher=[[Cambridge University Press]] | pages=36–55 | year=1995 | isbn=0-521-41261-7 }}</ref> | ||
== डिरिचलेट कनवल्शन == | == डिरिचलेट कनवल्शन == | ||
अंकगणितीय फलन a(n) दिया है, मान लीजिए F<sub>''a''</sub>(s), जटिल s के लिए, संबंधित [[डिरिचलेट श्रृंखला]] (जहां यह अभिसारी श्रृंखला) द्वारा परिभाषित कार्य | अंकगणितीय फलन a(n) दिया है, मान लीजिए F<sub>''a''</sub>(s), जटिल s के लिए, संबंधित [[डिरिचलेट श्रृंखला]] (जहां यह अभिसारी श्रृंखला) द्वारा परिभाषित कार्य है।<ref>Hardy & Wright, § 17.6, show how the theory of generating functions can be constructed in a purely formal manner with no attention paid to convergence.</ref> | ||
<math display="block"> F_a(s) := \sum_{n=1}^\infty \frac{a(n)}{n^s} .</math> | <math display="block"> F_a(s) := \sum_{n=1}^\infty \frac{a(n)}{n^s} .</math> | ||
F<sub>''a''</sub>(s) को a(n) का जनरेटिंग फलन कहा जाता है। सभी n के लिए स्थिर फलन a(n) = 1 के अनुरूप ऐसी सबसे सरल श्रृंखला, ς(s) [[रीमैन जीटा फ़ंक्शन|रीमैन जीटा फलन]] है। | F<sub>''a''</sub>(s) को a(n) का जनरेटिंग फलन कहा जाता है। सभी n के लिए स्थिर फलन a(n) = 1 के अनुरूप ऐसी सबसे सरल श्रृंखला, ς(s) [[रीमैन जीटा फ़ंक्शन|रीमैन जीटा फलन]] है। | ||
मोबियस फलन का जनरेटिंग फलन ज़ेटा फलन का व्युत्क्रम | मोबियस फलन का जनरेटिंग फलन ज़ेटा फलन का व्युत्क्रम है। | ||
<math display="block">\zeta(s)\,\sum_{n=1}^\infty\frac{\mu(n)}{n^s}=1, \;\;\Re s >0.</math> | <math display="block">\zeta(s)\,\sum_{n=1}^\infty\frac{\mu(n)}{n^s}=1, \;\;\Re s >0.</math> | ||
दो अंकगणितीय कार्यों a और b और उनके संबंधित जनन फलन F<sub>''a''</sub>(s) और F<sub>''b''</sub>(s) पर विचार करें। गुणनफल F<sub>''a''</sub>(s) F<sub>''b''</sub>(s) की गणना निम्नानुसार की जा सकती | दो अंकगणितीय कार्यों a और b और उनके संबंधित जनन फलन F<sub>''a''</sub>(s) और F<sub>''b''</sub>(s) पर विचार करें। गुणनफल F<sub>''a''</sub>(s) F<sub>''b''</sub>(s) की गणना निम्नानुसार की जा सकती है। | ||
<math display="block"> F_a(s)F_b(s) = \left( \sum_{m=1}^{\infty}\frac{a(m)}{m^s} \right)\left( \sum_{n=1}^{\infty}\frac{b(n)}{n^s} \right) . </math> | <math display="block"> F_a(s)F_b(s) = \left( \sum_{m=1}^{\infty}\frac{a(m)}{m^s} \right)\left( \sum_{n=1}^{\infty}\frac{b(n)}{n^s} \right) . </math> | ||
यह दिखाने के लिए एक सीधा अभ्यास है कि यदि c(n) द्वारा परिभाषित किया गया | यह दिखाने के लिए एक सीधा अभ्यास है कि यदि c(n) द्वारा परिभाषित किया गया है। | ||
<math display="block"> c(n) := \sum_{ij = n} a(i)b(j) = \sum_{i\mid n}a(i)b\left(\frac{n}{i}\right) , </math> | <math display="block"> c(n) := \sum_{ij = n} a(i)b(j) = \sum_{i\mid n}a(i)b\left(\frac{n}{i}\right) , </math> | ||
तब <math display="block">F_c(s) = F_a(s) F_b(s).</math> | तब <math display="block">F_c(s) = F_a(s) F_b(s).</math> | ||
इस फलन c को a और b का [[डिरिचलेट कनवल्शन]] कहा जाता है और इसे <math>a*b</math> द्वारा दर्शाया जाता | इस फलन c को a और b का [[डिरिचलेट कनवल्शन]] कहा जाता है और इसे <math>a*b</math> द्वारा दर्शाया जाता है। | ||
एक विशेष रूप से महत्वपूर्ण स्थिति सभी n के लिए स्थिर फलन a(n) = 1 के साथ कनवल्शन | एक विशेष रूप से महत्वपूर्ण स्थिति सभी n के लिए स्थिर फलन a(n) = 1 के साथ कनवल्शन है। जो जेता फलन द्वारा जनरेटिंग फलन को गुणा करने के अनुरूप है। | ||
<math display="block">g(n) = \sum_{d \mid n}f(d).</math> | <math display="block">g(n) = \sum_{d \mid n}f(d).</math> | ||
ज़ेटा फलन के व्युत्क्रम से गुणा करने पर मोबियस उलटा सूत्र मिलता | ज़ेटा फलन के व्युत्क्रम से गुणा करने पर मोबियस उलटा सूत्र मिलता है। | ||
<math display="block">f(n) = \sum_{d\mid n}\mu\left(\frac{n}{d}\right)g(d).</math> | <math display="block">f(n) = \sum_{d\mid n}\mu\left(\frac{n}{d}\right)g(d).</math> | ||
यदि f गुणक है, तो g भी गुणक है। यदि f पूरी तरह से गुणक है, तो g गुणक है, किन्तु पूरी तरह से गुणक हो भी सकता है और नहीं भी हो सकता है। | यदि f गुणक है, तो g भी गुणक है। यदि f पूरी तरह से गुणक है, तो g गुणक है, किन्तु पूरी तरह से गुणक हो भी सकता है और नहीं भी हो सकता है। | ||
Line 276: | Line 251: | ||
r_2(n) = 4\sum_{d\mid n}\left(\frac{-4}{d}\right), | r_2(n) = 4\sum_{d\mid n}\left(\frac{-4}{d}\right), | ||
</math> <ref>Hardy & Wright, Thm. 278</ref> | </math> <ref>Hardy & Wright, Thm. 278</ref> | ||
जहां [[क्रोनकर प्रतीक]] का मान | जहां [[क्रोनकर प्रतीक]] का मान है। | ||
:<math> | :<math> | ||
\left(\frac{-4}{n}\right) = | \left(\frac{-4}{n}\right) = | ||
Line 285: | Line 260: | ||
\end{cases} | \end{cases} | ||
</math> | </math> | ||
R<sub>3</sub> के लिए एक सूत्र | R<sub>3</sub> के लिए एक सूत्र है। नीचे कक्षा संख्या से संबंधित अनुभाग है। | ||
<math display="block"> | <math display="block"> | ||
r_4(n) = | r_4(n) = | ||
Line 309: | Line 284: | ||
\end{cases} | \end{cases} | ||
</math> | </math> | ||
अर्थात्, यदि n विषम है, {{math|1=''σ''<sub>''k''</sub><sup>*</sup>(''n'')}} n के विभाजकों की kवीं शक्तियों का योग है, अर्थात, {{math|1=''σ''<sub>''k''</sub>(''n''),}} और यदि n भी है तो यह n के सम विभाजकों की k वीं शक्तियों का योग | अर्थात्, यदि n विषम है, {{math|1=''σ''<sub>''k''</sub><sup>*</sup>(''n'')}} n के विभाजकों की kवीं शक्तियों का योग है, अर्थात, {{math|1=''σ''<sub>''k''</sub>(''n''),}} और यदि n भी है तो यह n के सम विभाजकों की k वीं शक्तियों का योग है। जो n के विषम विभाजकों की k वीं शक्तियों का योग है। | ||
:<math>r_8(n) = 16\sigma_3^*(n).</math> <रेफरी नाम = हार्डी एंड राइट, § 20.13 /><ref>Hardy, ''Ramanujan'', § 9.13</ref> | :<math>r_8(n) = 16\sigma_3^*(n).</math> <रेफरी नाम = हार्डी एंड राइट, § 20.13 /><ref>Hardy, ''Ramanujan'', § 9.13</ref> | ||
रामानुजन की जो विधि | रामानुजन की जो विधि है। उसे अपनाओ {{math|1=''τ''(''x'') = 0}} यदि x 'पूर्णांक नहीं है।' | ||
:<math> | :<math> | ||
Line 321: | Line 296: | ||
=== भाजक योग कनवल्शन === | === भाजक योग कनवल्शन === | ||
यहाँ कनवल्शन का कारण डिरिचलेट कनवल्शन नहीं है, किन्तु पावर श्रेणी के गुणांकों के लिए सूत्र गुणन और विभाजन को संदर्भित करता | यहाँ कनवल्शन का कारण डिरिचलेट कनवल्शन नहीं है, किन्तु पावर श्रेणी के गुणांकों के लिए सूत्र गुणन और विभाजन को संदर्भित करता है। | ||
:<math> \left(\sum_{n=0}^\infty a_n x^n\right)\left(\sum_{n=0}^\infty b_n x^n\right) | :<math> \left(\sum_{n=0}^\infty a_n x^n\right)\left(\sum_{n=0}^\infty b_n x^n\right) | ||
Line 328: | Line 303: | ||
= \sum_{n=0}^\infty c_n x^n | = \sum_{n=0}^\infty c_n x^n | ||
.</math> | .</math> | ||
क्रम <math>c_n = \sum_{i=0}^n a_i b_{n-i}</math> अनुक्रम a<sub>''n''</sub> और बी<sub>''n''</sub> का [[कनवल्शन]] या [[कॉची उत्पाद]] कहा जाता | क्रम <math>c_n = \sum_{i=0}^n a_i b_{n-i}</math> अनुक्रम a<sub>''n''</sub> और बी<sub>''n''</sub> का [[कनवल्शन]] या [[कॉची उत्पाद]] कहा जाता है।<br>इन सूत्रों को विश्लेषणात्मक रूप से सिद्ध किया जा सकता है। (आइज़ेंस्टीन श्रृंखला देखें) या प्राथमिक विधियों से।<ref>Williams, ch. 13; Huard, et al. (external links).</ref> | ||
:<math> | :<math> | ||
\sigma_3(n) = \frac{1}{5}\left\{6n\sigma_1(n)-\sigma_1(n) + 12\sum_{0<k<n}\sigma_1(k)\sigma_1(n-k)\right\}. | \sigma_3(n) = \frac{1}{5}\left\{6n\sigma_1(n)-\sigma_1(n) + 12\sum_{0<k<n}\sigma_1(k)\sigma_1(n-k)\right\}. | ||
Line 352: | Line 327: | ||
\tau(n) = \frac{65}{756}\sigma_{11}(n) + \frac{691}{756}\sigma_{5}(n) - \frac{691}{3}\sum_{0<k<n}\sigma_5(k)\sigma_5(n-k), | \tau(n) = \frac{65}{756}\sigma_{11}(n) + \frac{691}{756}\sigma_{5}(n) - \frac{691}{3}\sum_{0<k<n}\sigma_5(k)\sigma_5(n-k), | ||
</math> जहां τ(n) रामानुजन का फलन है।<ref>Koblitz, ex. III.2.4</ref><ref>Apostol, ''Modular Functions ...'', Ex. 6.10</ref> | </math> जहां τ(n) रामानुजन का फलन है।<ref>Koblitz, ex. III.2.4</ref><ref>Apostol, ''Modular Functions ...'', Ex. 6.10</ref> | ||
चूंकि p<sub>''k''</sub>(n) (प्राकृतिक संख्या k के लिए) और τ(n) पूर्णांक हैं, उपरोक्त सूत्रों का उपयोग सर्वांगसमता सिद्ध करने के लिए किया जा सकता | चूंकि p<sub>''k''</sub>(n) (प्राकृतिक संख्या k के लिए) और τ(n) पूर्णांक हैं, उपरोक्त सूत्रों का उपयोग सर्वांगसमता सिद्ध करने के लिए किया जा सकता है। <ref>Apostol, ''Modular Functions...'', Ch. 6 Ex. 10</ref> कार्यों के लिए कुछ उदाहरणों के लिए [[रामानुजन ताऊ फंक्शन|रामानुजन ताऊ फलन]] कार्य देखें। | ||
सेटिंग {{math|1=''p''(0) = 1.}} द्वारा पार्टीशन फलन के डोमेन का विस्तार करें | | सेटिंग {{math|1=''p''(0) = 1.}} द्वारा पार्टीशन फलन के डोमेन का विस्तार करें | | ||
Line 361: | Line 336: | ||
=== वर्ग संख्या संबंधित === | === वर्ग संख्या संबंधित === | ||
[[पीटर गुस्ताव लेज्यून डिरिचलेट]] ने ऐसे सूत्रों की खोज की थी जो [[द्विघात संख्या क्षेत्र]] के वर्ग संख्या h को जैकोबी प्रतीक से संबंधित करते हैं।<ref>Landau, p. 168, credits Gauss as well as Dirichlet</ref> एक पूर्णांक d को 'मौलिक विभेदक' कहा जाता | [[पीटर गुस्ताव लेज्यून डिरिचलेट]] ने ऐसे सूत्रों की खोज की थी जो [[द्विघात संख्या क्षेत्र]] के वर्ग संख्या h को जैकोबी प्रतीक से संबंधित करते हैं।<ref>Landau, p. 168, credits Gauss as well as Dirichlet</ref> एक पूर्णांक d को 'मौलिक विभेदक' कहा जाता है। यदि यह द्विघात संख्या क्षेत्र का विभेदक है। यह d ≠ 1 के समान है और या तो ए) d [[free|मुक्त]] है और d ≡ 1 (मॉड 4) या b) d ≡ 0 (मोड 4), d/4 स्क्वायरफ्री है, और d/4 ≡ 2 या 3 (मॉड 4)<ref>Cohen, Def. 5.1.2</ref> क्रोनकर प्रतीक को परिभाषित करके भाजक में सम संख्याओं को स्वीकार करने के लिए जैकोबी प्रतीक का विस्तार करें | | ||
<math display="block">\left(\frac{a}{2}\right) = \begin{cases} | <math display="block">\left(\frac{a}{2}\right) = \begin{cases} | ||
\;\;\,0&\text{ if } a \text{ is even} | \;\;\,0&\text{ if } a \text{ is even} | ||
\\(-1)^{\frac{a^2-1}{8}}&\text{ if }a \text{ is odd. } | \\(-1)^{\frac{a^2-1}{8}}&\text{ if }a \text{ is odd. } | ||
\end{cases}</math> | \end{cases}</math> | ||
तब यदि D <-4 एक मूलभूत विविक्तकर | तब यदि D <-4 एक मूलभूत विविक्तकर है।<ref>Cohen, Corr. 5.3.13</ref><ref>see Edwards, § 9.5 exercises for more complicated formulas.</ref> | ||
<math display="block">\begin{align} | <math display="block">\begin{align} | ||
h(D) & = \frac{1}{D} \sum_{r=1}^{|D|}r\left(\frac{D}{r}\right)\\ | h(D) & = \frac{1}{D} \sum_{r=1}^{|D|}r\left(\frac{D}{r}\right)\\ | ||
& = \frac{1}{2-\left(\tfrac{D}{2}\right)} \sum_{r=1}^{|D|/2}\left(\frac{D}{r}\right). | & = \frac{1}{2-\left(\tfrac{D}{2}\right)} \sum_{r=1}^{|D|/2}\left(\frac{D}{r}\right). | ||
\end{align}</math> | \end{align}</math> | ||
r<sub>3</sub> | r<sub>3</sub> से संबंधित एक सूत्र भी है और वह दोबारा, d को मौलिक d <-4 भेदभाव करने दें। तब <ref>Cohen, Prop 5.3.10</ref> | ||
<math display="block">r_3(|D|) = 12\left(1-\left(\frac{D}{2}\right)\right)h(D).</math> | <math display="block">r_3(|D|) = 12\left(1-\left(\frac{D}{2}\right)\right)h(D).</math> | ||
=== मूल-गणना संबंधित === | === मूल-गणना संबंधित === | ||
माना <math>H_n = 1 + \frac 1 2 + \frac 1 3 + \cdots +\frac{1}{n}</math> nth [[हार्मोनिक संख्या]] है। तब | माना <math>H_n = 1 + \frac 1 2 + \frac 1 3 + \cdots +\frac{1}{n}</math> nth [[हार्मोनिक संख्या]] है। तब | ||
:<math> \sigma(n) \le H_n + e^{H_n}\log H_n</math> प्रत्येक प्राकृतिक संख्या n के लिए सत्य है यदि और केवल यदि [[रीमैन परिकल्पना]] सत्य है।<ref>See [[Divisor function#Approximate growth rate|Divisor function]].</ref> | :<math> \sigma(n) \le H_n + e^{H_n}\log H_n</math> प्रत्येक प्राकृतिक संख्या n के लिए सत्य है यदि और केवल यदि [[रीमैन परिकल्पना]] सत्य है।<ref>See [[Divisor function#Approximate growth rate|Divisor function]].</ref> | ||
रीमैन परिकल्पना भी इस कथन के समतुल्य | रीमैन परिकल्पना भी इस कथन के समतुल्य है। कि, सभी n > 5040 के लिए है। | ||
<math display="block">\sigma(n) < e^\gamma n \log \log n </math> (जहां γ यूलर-मास्चेरोनी स्थिरांक है)। यह भाजक फलन अनुमानित वृद्धि दर|रॉबिन प्रमेय है। | <math display="block">\sigma(n) < e^\gamma n \log \log n </math> (जहां γ यूलर-मास्चेरोनी स्थिरांक है)। यह भाजक फलन अनुमानित वृद्धि दर|रॉबिन प्रमेय है। | ||
Line 387: | Line 360: | ||
:<math>e^{\theta(x)}=\prod_{p\le x}p.</math> <ref>Hardy & Wright, eq. 22.1.1</ref> | :<math>e^{\theta(x)}=\prod_{p\le x}p.</math> <ref>Hardy & Wright, eq. 22.1.1</ref> | ||
:<math>e^{\psi(x)}= \operatorname{lcm}[1,2,\dots,\lfloor x\rfloor].</math> <ref>Hardy & Wright, eq. 22.1.3</ref> | :<math>e^{\psi(x)}= \operatorname{lcm}[1,2,\dots,\lfloor x\rfloor].</math> <ref>Hardy & Wright, eq. 22.1.3</ref> | ||
===मेनन की पहचान=== | ===मेनन की पहचान=== | ||
1965 में [[पी केशव मेनन|p केशव मेनन]] ने सिद्ध किया था |<ref>László Tóth, ''Menon's Identity and Arithmetical Sums ...'', eq. 1</ref> | 1965 में [[पी केशव मेनन|p केशव मेनन]] ने सिद्ध किया था |<ref>László Tóth, ''Menon's Identity and Arithmetical Sums ...'', eq. 1</ref> | ||
Line 404: | Line 375: | ||
</math> जहां ''m''<sub>1</sub> और ''m''<sub>2</sub> विषम ''m'' = lcm (''m''<sub>1</sub>, ''m''<sub>2</sub>) हैं | | </math> जहां ''m''<sub>1</sub> और ''m''<sub>2</sub> विषम ''m'' = lcm (''m''<sub>1</sub>, ''m''<sub>2</sub>) हैं | | ||
वास्तव में, यदि f कोई अंकगणितीय फलन | वास्तव में, यदि f कोई अंकगणितीय फलन है।<ref>Tóth, eq. 2</ref><ref>Tóth states that Menon proved this for multiplicative ''f'' in 1965 and V. Sita Ramaiah for general ''f''.</ref> | ||
<math display="block">\sum_{\stackrel{1\le k\le n}{ \gcd(k,n)=1}} f(\gcd(k-1,n)) | <math display="block">\sum_{\stackrel{1\le k\le n}{ \gcd(k,n)=1}} f(\gcd(k-1,n)) | ||
=\varphi(n)\sum_{d\mid n}\frac{(\mu*f)(d)}{\varphi(d)},</math> | =\varphi(n)\sum_{d\mid n}\frac{(\mu*f)(d)}{\varphi(d)},</math> | ||
Line 410: | Line 381: | ||
=== विविध === | === विविध === | ||
m और n को विशिष्ट, विषम और सकारात्मक होने दें। तब जैकोबी प्रतीक [[द्विघात पारस्परिकता]] के नियम को संतुष्ट करता | m और n को विशिष्ट, विषम और सकारात्मक होने दें। तब जैकोबी प्रतीक [[द्विघात पारस्परिकता]] के नियम को संतुष्ट करता है। | ||
<math display="block"> \left(\frac{m}{n}\right) \left(\frac{n}{m}\right) = (-1)^{(m-1)(n-1)/4}.</math> | <math display="block"> \left(\frac{m}{n}\right) \left(\frac{n}{m}\right) = (-1)^{(m-1)(n-1)/4}.</math> | ||
माना d (n) अंकगणितीय व्युत्पन्न हो फिर लॉगरिदमिक व्युत्पन्न है। <math display="block">\frac{D(n)}{n} = \sum_{\stackrel{p\mid n}{p\text{ prime}}} \frac {v_{p}(n)} {p}.</math> विवरण के लिए अंकगणितीय व्युत्पन्न देखें। | |||
मान लीजिए λ(n) लियूविल का फलन है। तब | मान लीजिए λ(n) लियूविल का फलन है। तब | ||
Line 446: | Line 417: | ||
:<math>\tau(u)\tau(v) = \sum_{\delta\mid \gcd(u,v)}\delta^{11}\tau\left(\frac{uv}{\delta^2}\right), | :<math>\tau(u)\tau(v) = \sum_{\delta\mid \gcd(u,v)}\delta^{11}\tau\left(\frac{uv}{\delta^2}\right), | ||
</math> जहां τ(n) रामानुजन का फलन है।<ref>Apostol, ''Modular Functions ...'', ch. 6 eq. 3</ref> | </math> जहां τ(n) रामानुजन का फलन है।<ref>Apostol, ''Modular Functions ...'', ch. 6 eq. 3</ref> | ||
== कुछ अंकगणितीय कार्यों के पहले 100 मान == | == कुछ अंकगणितीय कार्यों के पहले 100 मान == | ||
{| class="wikitable" style="text-align:right;" | {| class="wikitable" style="text-align:right;" | ||
Line 655: | Line 624: | ||
|} | |} | ||
==टिप्पणियाँ== | ==टिप्पणियाँ== | ||
{{Reflist|30em}} | {{Reflist|30em}} | ||
== संदर्भ == | == संदर्भ == | ||
Line 759: | Line 726: | ||
| isbn = 978-0-8218-2076-6}} | | isbn = 978-0-8218-2076-6}} | ||
* {{citation | last=Williams | first=Kenneth S. | title=Number theory in the spirit of Liouville | zbl=1227.11002 | series=London Mathematical Society Student Texts | volume=76 | location=Cambridge | publisher=[[Cambridge University Press]] | isbn=978-0-521-17562-3 | year=2011 }} | * {{citation | last=Williams | first=Kenneth S. | title=Number theory in the spirit of Liouville | zbl=1227.11002 | series=London Mathematical Society Student Texts | volume=76 | location=Cambridge | publisher=[[Cambridge University Press]] | isbn=978-0-521-17562-3 | year=2011 }} | ||
==अग्रिम पठन== | ==अग्रिम पठन== | ||
* {{citation | first1=Wolfgang | last1=Schwarz | first2=Jürgen | last2=Spilker | title=Arithmetical Functions. An introduction to elementary and analytic properties of arithmetic functions and to some of their almost-periodic properties | year=1994 | publisher=[[Cambridge University Press]] | isbn=0-521-42725-8 | zbl=0807.11001 | series=London Mathematical Society Lecture Note Series | volume=184 }} | * {{citation | first1=Wolfgang | last1=Schwarz | first2=Jürgen | last2=Spilker | title=Arithmetical Functions. An introduction to elementary and analytic properties of arithmetic functions and to some of their almost-periodic properties | year=1994 | publisher=[[Cambridge University Press]] | isbn=0-521-42725-8 | zbl=0807.11001 | series=London Mathematical Society Lecture Note Series | volume=184 }} | ||
==बाहरी संबंध== | ==बाहरी संबंध== | ||
* {{springer|title=Arithmetic function|id=p/a013300}} | * {{springer|title=Arithmetic function|id=p/a013300}} | ||
Line 770: | Line 733: | ||
* Huard, Ou, Spearman, and Williams. [http://mathstat.carleton.ca/~williams/papers/pdf/249.pdf Elementary Evaluation of Certain Convolution Sums Involving Divisor Functions] | * Huard, Ou, Spearman, and Williams. [http://mathstat.carleton.ca/~williams/papers/pdf/249.pdf Elementary Evaluation of Certain Convolution Sums Involving Divisor Functions] | ||
* Dineva, Rosica, [http://www.mtholyoke.edu/~robinson/reu/reu05/rdineva1.pdf The Euler Totient, the Möbius, and the Divisor Functions] | * Dineva, Rosica, [http://www.mtholyoke.edu/~robinson/reu/reu05/rdineva1.pdf The Euler Totient, the Möbius, and the Divisor Functions] | ||
* László | * László Tóth, [https://arxiv.org/PS_cache/arxiv/pdf/1103/1103.5861v2.pdf Menon's Identity and arithmetical sums representing functions of several variables] | ||
{{Classes of natural numbers|collapsed}} | {{Classes of natural numbers|collapsed}} | ||
[[Category:Collapse templates]] | |||
[[Category: | |||
[[Category:Created On 30/05/2023]] | [[Category:Created On 30/05/2023]] | ||
[[Category:Lua-based templates]] | |||
[[Category:Machine Translated Page]] | |||
[[Category:Mathematics navigational boxes]] | |||
[[Category:Navbox orphans]] | |||
[[Category:Navigational boxes| ]] | |||
[[Category:Navigational boxes without horizontal lists]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Sidebars with styles needing conversion]] | |||
[[Category:Template documentation pages|Documentation/doc]] | |||
[[Category:Templates Translated in Hindi]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:Templates generating microformats]] | |||
[[Category:Templates that add a tracking category]] | |||
[[Category:Templates that are not mobile friendly]] | |||
[[Category:Templates that generate short descriptions]] | |||
[[Category:Templates using TemplateData]] | |||
[[Category:Wikipedia metatemplates]] | |||
[[Category:अंकगणितीय कार्य| अंकगणितीय कार्य ]] | |||
[[Category:कार्य और मानचित्रण]] |
Latest revision as of 13:04, 22 June 2023
संख्या सिद्धांत में, एक अंकगणितीय, अंकगणितीय, या संख्या-सैद्धांतिक कार्य [1][2] अधिकांश लेखकों के लिए है।[3][4][5] कोई भी फलन (गणित) f(n) जिसका प्रांत प्राकृत संख्या है और जिसका विस्तार सम्मिश्र संख्याओं का उपसमुच्चय है। हार्डी एंड राइट ने अपनी परिभाषा में इस आवश्यकता को सम्मिलित किया है कि एक अंकगणितीय फलन n की कुछ अंकगणितीय संपत्ति को व्यक्त करता है।[6] एक अंकगणितीय फलन का एक उदाहरण विभाजक फलन है। जिसका मान धनात्मक पूर्णांक n पर n के विभाजकों की संख्या के समान है।
संख्या-सैद्धांतिक कार्यों का एक बड़ा वर्ग है। जो उपरोक्त परिभाषा में फिट नहीं होता है, उदाहरण के लिए, अभाज्य-गणना कार्य यह आलेख दोनों वर्गों के कार्यों के लिंक प्रदान करता है।
अंकगणितीय कार्य अधिकांशतः अत्यंत अनियमित होते हैं (कुछ अंकगणितीय कार्यों के पहले 100 मान देखें), किन्तु उनमें से कुछ में रामानुजन के योग के संदर्भ में श्रृंखला विस्तार है।
गुणक और योगात्मक कार्य
एक अंकगणितीय फलन a है।
- 'पूर्ण योग फलन' यदि a(mn) = a(m) + a(n) सभी प्राकृत संख्याओं m और n के लिए है।
- 'पूरी तरह से गुणा फलन' यदि a(mn) = a(m)a(n) सभी प्राकृत संख्याओं m और n के लिए है।
दो पूर्ण संख्याएँ m और n सहअभाज्य कहलाती हैं यदि उनका सबसे बड़ा सामान्य भाजक 1 है, अर्थात यदि कोई अभाज्य संख्या नहीं है। जो दोनों को विभाजित करती है।
तब एक अंकगणितीय फलन a है
- 'योगात्मक फलन' यदि a(mn) = a(m) + a(n) सभी कोप्राइम प्राकृत संख्याओं m और n के लिए है।
- 'गुणात्मक फलन' यदि a(mn) = a(m)a(n) सभी सहअभाज्य प्राकृतिक संख्याओं m और n के लिए है।
नोटेशन
इस आलेख में, और इसका कारण है कि योग या उत्पाद सभी अभाज्य संख्याओं से अधिक है।
Ω(n), ω(n), एनp(n) मूल शक्ति अपघटन
अंकगणित के मौलिक प्रमेय में कहा गया है कि किसी भी सकारात्मक पूर्णांक n को अभाज्य की शक्तियों के उत्पाद के रूप में विशिष्ट रूप से दर्शाया जा सकता है। जहां p1 < p2 < ... < pk अभाज्य हैं और aj सकारात्मक पूर्णांक हैं। (1 खाली उत्पाद द्वारा दिया गया है।)
इसे सभी अभाज्य संख्याओं पर अनंत गुणनफल के रूप में लिखना अधिकांशतः सुविधाजनक होता है। जहां परिमित संख्या को छोड़कर सभी में शून्य घातांक होता है। p-एडिक मूल्यांकन 'νp(n)' परिभाषित करें मूल p की उच्चतम शक्ति का प्रतिपादक होना जो n को विभाजित करता है। अर्थात, यदि p, pi में से एक है फिर νp(n) = ai, अन्यथा यह शून्य है। तब
पुनरावृत्ति से बचने के लिए, इस आलेख में सूचीबद्ध कार्यों के लिए जब भी संभव सूत्र n और संबंधित pi, ai, ω, और Ω के संदर्भ में दिए गए हैं।
गुणक कार्य
pk(n), τ(n), d(n) - विभाजक राशि
σk(n) 1 और n सहित n के सकारात्मक विभाजकों की k वीं शक्तियों का योग है। जहां k एक सम्मिश्र संख्या है।
'σ1(n)', n के (सकारात्मक) विभाजकों का योग, सामान्यतः 'σ(n)' द्वारा दर्शाया जाता है।
चूँकि शून्य घात की एक धनात्मक 'σ0(n)' संख्या एक है। इसलिए n के (सकारात्मक) विभाजकों की संख्या है। इसे सामान्यतः 'd(n)' या 'τ(n)' (जर्मन टेयलर = विभाजक के लिए) द्वारा दर्शाया जाता है।
φ(n) - यूलर टोटिएंट फलन
'यूलर टोटिएंट फलन φ(n)', फलन, धनात्मक पूर्णांकों की वह संख्या है। जो n से अधिक नहीं है। जो n के सहअभाज्य हैं।
Jk(n) - जॉर्डन कुल फलन
'जॉर्डन कुल फलन Jk(n) n से कम या उसके समान सकारात्मक पूर्णांकों के k-टुपल्स की संख्या है। जो n के साथ मिलकर एक कोप्राइम (k + 1)-ट्यूपल बनाता है। यह यूलर के टोटेंट φ(n) = J1(n) का सामान्यीकरण है।
μ(n) - मोबियस फलन
'मोबियस फलन μ(n) मोबियस उलटा सूत्र के कारण महत्वपूर्ण है। नीचे डिरिक्लेट कनवल्शन देखें।
τ(n) – रामानुजन ताऊ फलन
'रामानुजन ताऊ फलन τ(n)' इसकी जनक फलन पहचान द्वारा परिभाषित है।
Cq(n) - रामानुजन का योग
Cq(n)', रामानुजन का योग, एकता के आदिम q वें मूल की nवीं शक्तियों का योग है।
- 'यदि q और r सहअभाज्य हैं', तब
ψ(n) - डेडकाइंड साई फलन
डेडेकाइंड साई फलन सूत्र द्वारा परिभाषित किया गया है।
पूरी तरह से गुणात्मक कार्य
λ (n) - लिउविल फलन
λ(n)', लिउविल फलन, द्वारा परिभाषित किया गया है।
χ(n) - अक्षर
सभी 'डिरिचलेट वर्ण χ(n)' पूरी तरह गुणक हैं। दो वर्णों के विशेष अंकन है।
'प्रमुख चरित्र (मॉड n)' को χ0(a) (या χ1(a)) द्वारा दर्शाया जाता है। इसे के रूप में परिभाषित किया गया है।
योगात्मक कार्य
ω(n) - विशिष्ट अभाज्य भाजक
'ω(n)', n को विभाजित करने वाली अलग-अलग प्राइम्स की संख्या के रूप में ऊपर परिभाषित, योगात्मक है (प्राइम ओमेगा फलन देखें)।
पूरी तरह से योगात्मक कार्य
Ω(n) - मूल विभाजक
'प्राइम फ़ैक्टर Ω(n)', जिसे ऊपर n के प्राइम फ़ैक्टर की संख्या के रूप में परिभाषित किया गया है। जिसे बहुगुणों के साथ गिना जाता है। पूरी तरह से योगात्मक है (प्राइम ओमेगा फलन देखें)।
νp(n) - पूर्णांक n का p-एडिक मूल्यांकन
नियत अभाज्य p के लिए, 'νp(n)', जिसे ऊपर n को विभाजित करने वाले p की सबसे बड़ी शक्ति के घातांक के रूप में परिभाषित किया गया है, पूरी तरह से योज्य है।
लघुगणक व्युत्पन्न
जहाँ अंकगणितीय व्युत्पन्न है।
न तो गुणक और न ही योगात्मक
π(x), Π(x), θ(x), ψ(x) - प्राइम-काउंटिंग फलन
ये महत्वपूर्ण कार्य (जो अंकगणितीय कार्य नहीं हैं) को गैर-नकारात्मक वास्तविक तर्कों के लिए परिभाषित किया गया है, और विभिन्न बयानों और अभाज्य संख्या प्रमेय के प्रमाणों में उपयोग किया जाता है। वे अंकगणितीय कार्यों के योग कार्य हैं (नीचे मुख्य भाग देखें) जो न तो गुणक हैं और न ही योगात्मक हैं।
'प्राइम-काउंटिंग फलन π(x)', प्राइम्स की संख्या x से अधिक नहीं है। यह अभाज्य संख्याओं के सूचक फलन का योग फलन है।
Λ(n) - वॉन मैंगोल्ड फलन
Λ(n)', वॉन मैंगोल्ड फलन, 0 है जब तक कि तर्क n एक प्रमुख शक्ति pk नहीं है। जिस स्थिति में यह अभाज्य p का प्राकृतिक लघुगणक है।
p (n) - विभाजन फलन
'विभाजन फलन (संख्या सिद्धांत) p(n) धनात्मक पूर्णांकों के योग के रूप में n को दर्शाने के विधियों की संख्या है। जहां भिन्न क्रम में समान योग वाले दो निरूपणों को भिन्न होने के रूप में नहीं गिना जाता है।
λ (n) - कारमाइकल फलन
'कारमाइकल फलन λ(n) सबसे छोटी सकारात्मक संख्या है जैसे कि सभी के लिए n के लिए एक कोप्राइम समतुल्य रूप से, यह पूर्णांक मॉड्यूलो n के गुणक समूह के तत्वों के आदेशों का कम से कम सामान्य गुणक है।
विषम अभाज्य संख्याओं की घातों के लिए और 2 और 4 के लिए, λ(n) n के यूलर कुल फलन के समान है। 4 से अधिक 2 की शक्तियों के लिए यह n के यूलर टोटेंट फलन के आधे के समान है।
h(n) - कक्षा संख्या
'आदर्श वर्ग समूह|h(n)', वर्ग संख्या फलन, विविक्तकर n वाले परिमेय के बीजगणितीय विस्तार के आदर्श वर्ग समूह का क्रम है। संकेतन अस्पष्ट है, क्योंकि सामान्य रूप से एक ही विवेचक के साथ कई विस्तार होते हैं। मौलिक उदाहरणों के लिए द्विघात क्षेत्र और चक्रीय क्षेत्र देखें।
Rk(n) - के वर्गों का योग
'वर्गों का योग फलन|आरk(n)' उन विधियों की संख्या है। जिन्हें n को k वर्गों के योग के रूप में दर्शाया जा सकता है, जहाँ निरूपण जो केवल योग के क्रम में भिन्न होते हैं या वर्गमूल के चिह्नों में भिन्न के रूप में गिने जाते हैं।
d (n) - अंकगणितीय व्युत्पन्न
डेरिवेटिव के लिए डिफरेंशियल ऑपरेटर नोटेशन का उपयोग करना, अंकगणितीय डेरिवेटिव d (n) एक ऐसा फलन है
- यदि n प्राइम, और
- (उत्पाद नियम)
योग फलन
एक अंकगणितीय फलन दिया गया है), यह 'समेशन फलन' A(x) द्वारा परिभाषित किया गया है।
चूँकि इस तरह के कार्यों को अधिकांशतः श्रृंखला और अभिन्न द्वारा दर्शाया जाता है। बिंदुवार अभिसरण प्राप्त करने के लिए यह सामान्य रूप से बाएँ और दाएँ मानों के औसत के रूप में विच्छिन्नता पर मान को परिभाषित करता है।
इस घटना का एक मौलिक उदाहरण [9] विभाजक सारांश फलन द्वारा दिया जाता है। d (n) का योग फलन, n के विभाजकों की संख्या है।
डिरिचलेट कनवल्शन
अंकगणितीय फलन a(n) दिया है, मान लीजिए Fa(s), जटिल s के लिए, संबंधित डिरिचलेट श्रृंखला (जहां यह अभिसारी श्रृंखला) द्वारा परिभाषित कार्य है।[11]
मोबियस फलन का जनरेटिंग फलन ज़ेटा फलन का व्युत्क्रम है।
एक विशेष रूप से महत्वपूर्ण स्थिति सभी n के लिए स्थिर फलन a(n) = 1 के साथ कनवल्शन है। जो जेता फलन द्वारा जनरेटिंग फलन को गुणा करने के अनुरूप है।
कार्यों के बीच संबंध
अंकगणितीय कार्यों को एक दूसरे के साथ और विश्लेषण के कार्यों, विशेष रूप से शक्तियों, जड़ों, और घातीय और लॉग कार्यों के साथ जोड़ने वाले बहुत से सूत्र हैं। पृष्ठ विभाजक योग पहचान में अंकगणितीय कार्यों को सम्मिलित करने वाली पहचान के कई और सामान्यीकृत और संबंधित उदाहरण हैं।
कुछ उदाहरण निम्नलिखित हैं:
डिरिचलेट कनवल्शन
- जहां λ लिउविल फलन है।[12]
- [13]
- मोबियस उलटा
- [14]
- मोबियस उलटा
- [15]
- [16][17]
- [18]
- मोबियस उलटा
-
- मोबियस उलटा
-
- मोबियस उलटा
- जहां λ लिउविल फलन है।
- [19]
- मोबियस उलटा
वर्गों का योग
सभी के लिए (लैग्रेंज का चार-वर्ग प्रमेय) है।
जहां क्रोनकर प्रतीक का मान है।
R3 के लिए एक सूत्र है। नीचे कक्षा संख्या से संबंधित अनुभाग है।
<रेफरी नाम = हार्डी एंड राइट, § 20.13>हार्डी एंड राइट, § 20.13</ref>
फलन को परिभाषित कीजिए σk*(n) जैसा [24]
- <रेफरी नाम = हार्डी एंड राइट, § 20.13 />[25]
रामानुजन की जो विधि है। उसे अपनाओ τ(x) = 0 यदि x 'पूर्णांक नहीं है।'
भाजक योग कनवल्शन
यहाँ कनवल्शन का कारण डिरिचलेट कनवल्शन नहीं है, किन्तु पावर श्रेणी के गुणांकों के लिए सूत्र गुणन और विभाजन को संदर्भित करता है।
क्रम अनुक्रम an और बीn का कनवल्शन या कॉची उत्पाद कहा जाता है।
इन सूत्रों को विश्लेषणात्मक रूप से सिद्ध किया जा सकता है। (आइज़ेंस्टीन श्रृंखला देखें) या प्राथमिक विधियों से।[27]
चूंकि pk(n) (प्राकृतिक संख्या k के लिए) और τ(n) पूर्णांक हैं, उपरोक्त सूत्रों का उपयोग सर्वांगसमता सिद्ध करने के लिए किया जा सकता है। [34] कार्यों के लिए कुछ उदाहरणों के लिए रामानुजन ताऊ फलन कार्य देखें।
सेटिंग p(0) = 1. द्वारा पार्टीशन फलन के डोमेन का विस्तार करें |
- [35] इस पुनरावृत्ति का उपयोग p(n) की गणना के लिए किया जा सकता है।
वर्ग संख्या संबंधित
पीटर गुस्ताव लेज्यून डिरिचलेट ने ऐसे सूत्रों की खोज की थी जो द्विघात संख्या क्षेत्र के वर्ग संख्या h को जैकोबी प्रतीक से संबंधित करते हैं।[36] एक पूर्णांक d को 'मौलिक विभेदक' कहा जाता है। यदि यह द्विघात संख्या क्षेत्र का विभेदक है। यह d ≠ 1 के समान है और या तो ए) d मुक्त है और d ≡ 1 (मॉड 4) या b) d ≡ 0 (मोड 4), d/4 स्क्वायरफ्री है, और d/4 ≡ 2 या 3 (मॉड 4)[37] क्रोनकर प्रतीक को परिभाषित करके भाजक में सम संख्याओं को स्वीकार करने के लिए जैकोबी प्रतीक का विस्तार करें |
मूल-गणना संबंधित
माना nth हार्मोनिक संख्या है। तब
- प्रत्येक प्राकृतिक संख्या n के लिए सत्य है यदि और केवल यदि रीमैन परिकल्पना सत्य है।[41]
रीमैन परिकल्पना भी इस कथन के समतुल्य है। कि, सभी n > 5040 के लिए है।
मेनन की पहचान
1965 में p केशव मेनन ने सिद्ध किया था |[46]
- बी सूरी [47]
- n राव [48] जहाँ a1, a2, ..., as पूर्णांक हैं, gcd(a1, a2, ..., as, n) = 1 है।
- टोथ लेज़्लो फेजेस [49] जहां m1 और m2 विषम m = lcm (m1, m2) हैं |
वास्तव में, यदि f कोई अंकगणितीय फलन है।[50][51]
विविध
m और n को विशिष्ट, विषम और सकारात्मक होने दें। तब जैकोबी प्रतीक द्विघात पारस्परिकता के नियम को संतुष्ट करता है।
मान लीजिए λ(n) लियूविल का फलन है। तब
- और
मान लीजिए λ(n) कार्मिकेल का फलन है। तब
- आगे,
- पूर्णांक मॉड्यूलो n और आदिम रूट मॉड्यूलो n के गुणक समूह देखें।
- [52][53]
- [54]
- [55] ध्यान दें कि [56]
- [57] इसकी तुलना करें 13 + 23 + 33 + ... + n3 = (1 + 2 + 3 + ... + n)2
कुछ अंकगणितीय कार्यों के पहले 100 मान
n | गुणन | 𝜙(n) | ω(n) | Ω(n) | 𝜆(n) | 𝜇(n) | 𝜆(n) | π(n) | 𝜎0(n) | 𝜎1(n) | 𝜎2(n) | r2(n) | r3(n) | r4(n) |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 4 | 6 | 8 |
2 | 2 | 1 | 1 | 1 | −1 | −1 | 0.69 | 1 | 2 | 3 | 5 | 4 | 12 | 24 |
3 | 3 | 2 | 1 | 1 | −1 | −1 | 1.10 | 2 | 2 | 4 | 10 | 0 | 8 | 32 |
4 | 22 | 2 | 1 | 2 | 1 | 0 | 0.69 | 2 | 3 | 7 | 21 | 4 | 6 | 24 |
5 | 5 | 4 | 1 | 1 | −1 | −1 | 1.61 | 3 | 2 | 6 | 26 | 8 | 24 | 48 |
6 | 2 · 3 | 2 | 2 | 2 | 1 | 1 | 0 | 3 | 4 | 12 | 50 | 0 | 24 | 96 |
7 | 7 | 6 | 1 | 1 | −1 | −1 | 1.95 | 4 | 2 | 8 | 50 | 0 | 0 | 64 |
8 | 23 | 4 | 1 | 3 | −1 | 0 | 0.69 | 4 | 4 | 15 | 85 | 4 | 12 | 24 |
9 | 32 | 6 | 1 | 2 | 1 | 0 | 1.10 | 4 | 3 | 13 | 91 | 4 | 30 | 104 |
10 | 2 · 5 | 4 | 2 | 2 | 1 | 1 | 0 | 4 | 4 | 18 | 130 | 8 | 24 | 144 |
11 | 11 | 10 | 1 | 1 | −1 | −1 | 2.40 | 5 | 2 | 12 | 122 | 0 | 24 | 96 |
12 | 22 · 3 | 4 | 2 | 3 | −1 | 0 | 0 | 5 | 6 | 28 | 210 | 0 | 8 | 96 |
13 | 13 | 12 | 1 | 1 | −1 | −1 | 2.56 | 6 | 2 | 14 | 170 | 8 | 24 | 112 |
14 | 2 · 7 | 6 | 2 | 2 | 1 | 1 | 0 | 6 | 4 | 24 | 250 | 0 | 48 | 192 |
15 | 3 · 5 | 8 | 2 | 2 | 1 | 1 | 0 | 6 | 4 | 24 | 260 | 0 | 0 | 192 |
16 | 24 | 8 | 1 | 4 | 1 | 0 | 0.69 | 6 | 5 | 31 | 341 | 4 | 6 | 24 |
17 | 17 | 16 | 1 | 1 | −1 | −1 | 2.83 | 7 | 2 | 18 | 290 | 8 | 48 | 144 |
18 | 2 · 32 | 6 | 2 | 3 | −1 | 0 | 0 | 7 | 6 | 39 | 455 | 4 | 36 | 312 |
19 | 19 | 18 | 1 | 1 | −1 | −1 | 2.94 | 8 | 2 | 20 | 362 | 0 | 24 | 160 |
20 | 22 · 5 | 8 | 2 | 3 | −1 | 0 | 0 | 8 | 6 | 42 | 546 | 8 | 24 | 144 |
21 | 3 · 7 | 12 | 2 | 2 | 1 | 1 | 0 | 8 | 4 | 32 | 500 | 0 | 48 | 256 |
22 | 2 · 11 | 10 | 2 | 2 | 1 | 1 | 0 | 8 | 4 | 36 | 610 | 0 | 24 | 288 |
23 | 23 | 22 | 1 | 1 | −1 | −1 | 3.14 | 9 | 2 | 24 | 530 | 0 | 0 | 192 |
24 | 23 · 3 | 8 | 2 | 4 | 1 | 0 | 0 | 9 | 8 | 60 | 850 | 0 | 24 | 96 |
25 | 52 | 20 | 1 | 2 | 1 | 0 | 1.61 | 9 | 3 | 31 | 651 | 12 | 30 | 248 |
26 | 2 · 13 | 12 | 2 | 2 | 1 | 1 | 0 | 9 | 4 | 42 | 850 | 8 | 72 | 336 |
27 | 33 | 18 | 1 | 3 | −1 | 0 | 1.10 | 9 | 4 | 40 | 820 | 0 | 32 | 320 |
28 | 22 · 7 | 12 | 2 | 3 | −1 | 0 | 0 | 9 | 6 | 56 | 1050 | 0 | 0 | 192 |
29 | 29 | 28 | 1 | 1 | −1 | −1 | 3.37 | 10 | 2 | 30 | 842 | 8 | 72 | 240 |
30 | 2 · 3 · 5 | 8 | 3 | 3 | −1 | −1 | 0 | 10 | 8 | 72 | 1300 | 0 | 48 | 576 |
31 | 31 | 30 | 1 | 1 | −1 | −1 | 3.43 | 11 | 2 | 32 | 962 | 0 | 0 | 256 |
32 | 25 | 16 | 1 | 5 | −1 | 0 | 0.69 | 11 | 6 | 63 | 1365 | 4 | 12 | 24 |
33 | 3 · 11 | 20 | 2 | 2 | 1 | 1 | 0 | 11 | 4 | 48 | 1220 | 0 | 48 | 384 |
34 | 2 · 17 | 16 | 2 | 2 | 1 | 1 | 0 | 11 | 4 | 54 | 1450 | 8 | 48 | 432 |
35 | 5 · 7 | 24 | 2 | 2 | 1 | 1 | 0 | 11 | 4 | 48 | 1300 | 0 | 48 | 384 |
36 | 22 · 32 | 12 | 2 | 4 | 1 | 0 | 0 | 11 | 9 | 91 | 1911 | 4 | 30 | 312 |
37 | 37 | 36 | 1 | 1 | −1 | −1 | 3.61 | 12 | 2 | 38 | 1370 | 8 | 24 | 304 |
38 | 2 · 19 | 18 | 2 | 2 | 1 | 1 | 0 | 12 | 4 | 60 | 1810 | 0 | 72 | 480 |
39 | 3 · 13 | 24 | 2 | 2 | 1 | 1 | 0 | 12 | 4 | 56 | 1700 | 0 | 0 | 448 |
40 | 23 · 5 | 16 | 2 | 4 | 1 | 0 | 0 | 12 | 8 | 90 | 2210 | 8 | 24 | 144 |
41 | 41 | 40 | 1 | 1 | −1 | −1 | 3.71 | 13 | 2 | 42 | 1682 | 8 | 96 | 336 |
42 | 2 · 3 · 7 | 12 | 3 | 3 | −1 | −1 | 0 | 13 | 8 | 96 | 2500 | 0 | 48 | 768 |
43 | 43 | 42 | 1 | 1 | −1 | −1 | 3.76 | 14 | 2 | 44 | 1850 | 0 | 24 | 352 |
44 | 22 · 11 | 20 | 2 | 3 | −1 | 0 | 0 | 14 | 6 | 84 | 2562 | 0 | 24 | 288 |
45 | 32 · 5 | 24 | 2 | 3 | −1 | 0 | 0 | 14 | 6 | 78 | 2366 | 8 | 72 | 624 |
46 | 2 · 23 | 22 | 2 | 2 | 1 | 1 | 0 | 14 | 4 | 72 | 2650 | 0 | 48 | 576 |
47 | 47 | 46 | 1 | 1 | −1 | −1 | 3.85 | 15 | 2 | 48 | 2210 | 0 | 0 | 384 |
48 | 24 · 3 | 16 | 2 | 5 | −1 | 0 | 0 | 15 | 10 | 124 | 3410 | 0 | 8 | 96 |
49 | 72 | 42 | 1 | 2 | 1 | 0 | 1.95 | 15 | 3 | 57 | 2451 | 4 | 54 | 456 |
50 | 2 · 52 | 20 | 2 | 3 | −1 | 0 | 0 | 15 | 6 | 93 | 3255 | 12 | 84 | 744 |
51 | 3 · 17 | 32 | 2 | 2 | 1 | 1 | 0 | 15 | 4 | 72 | 2900 | 0 | 48 | 576 |
52 | 22 · 13 | 24 | 2 | 3 | −1 | 0 | 0 | 15 | 6 | 98 | 3570 | 8 | 24 | 336 |
53 | 53 | 52 | 1 | 1 | −1 | −1 | 3.97 | 16 | 2 | 54 | 2810 | 8 | 72 | 432 |
54 | 2 · 33 | 18 | 2 | 4 | 1 | 0 | 0 | 16 | 8 | 120 | 4100 | 0 | 96 | 960 |
55 | 5 · 11 | 40 | 2 | 2 | 1 | 1 | 0 | 16 | 4 | 72 | 3172 | 0 | 0 | 576 |
56 | 23 · 7 | 24 | 2 | 4 | 1 | 0 | 0 | 16 | 8 | 120 | 4250 | 0 | 48 | 192 |
57 | 3 · 19 | 36 | 2 | 2 | 1 | 1 | 0 | 16 | 4 | 80 | 3620 | 0 | 48 | 640 |
58 | 2 · 29 | 28 | 2 | 2 | 1 | 1 | 0 | 16 | 4 | 90 | 4210 | 8 | 24 | 720 |
59 | 59 | 58 | 1 | 1 | −1 | −1 | 4.08 | 17 | 2 | 60 | 3482 | 0 | 72 | 480 |
60 | 22 · 3 · 5 | 16 | 3 | 4 | 1 | 0 | 0 | 17 | 12 | 168 | 5460 | 0 | 0 | 576 |
61 | 61 | 60 | 1 | 1 | −1 | −1 | 4.11 | 18 | 2 | 62 | 3722 | 8 | 72 | 496 |
62 | 2 · 31 | 30 | 2 | 2 | 1 | 1 | 0 | 18 | 4 | 96 | 4810 | 0 | 96 | 768 |
63 | 32 · 7 | 36 | 2 | 3 | −1 | 0 | 0 | 18 | 6 | 104 | 4550 | 0 | 0 | 832 |
64 | 26 | 32 | 1 | 6 | 1 | 0 | 0.69 | 18 | 7 | 127 | 5461 | 4 | 6 | 24 |
65 | 5 · 13 | 48 | 2 | 2 | 1 | 1 | 0 | 18 | 4 | 84 | 4420 | 16 | 96 | 672 |
66 | 2 · 3 · 11 | 20 | 3 | 3 | −1 | −1 | 0 | 18 | 8 | 144 | 6100 | 0 | 96 | 1152 |
67 | 67 | 66 | 1 | 1 | −1 | −1 | 4.20 | 19 | 2 | 68 | 4490 | 0 | 24 | 544 |
68 | 22 · 17 | 32 | 2 | 3 | −1 | 0 | 0 | 19 | 6 | 126 | 6090 | 8 | 48 | 432 |
69 | 3 · 23 | 44 | 2 | 2 | 1 | 1 | 0 | 19 | 4 | 96 | 5300 | 0 | 96 | 768 |
70 | 2 · 5 · 7 | 24 | 3 | 3 | −1 | −1 | 0 | 19 | 8 | 144 | 6500 | 0 | 48 | 1152 |
71 | 71 | 70 | 1 | 1 | −1 | −1 | 4.26 | 20 | 2 | 72 | 5042 | 0 | 0 | 576 |
72 | 23 · 32 | 24 | 2 | 5 | −1 | 0 | 0 | 20 | 12 | 195 | 7735 | 4 | 36 | 312 |
73 | 73 | 72 | 1 | 1 | −1 | −1 | 4.29 | 21 | 2 | 74 | 5330 | 8 | 48 | 592 |
74 | 2 · 37 | 36 | 2 | 2 | 1 | 1 | 0 | 21 | 4 | 114 | 6850 | 8 | 120 | 912 |
75 | 3 · 52 | 40 | 2 | 3 | −1 | 0 | 0 | 21 | 6 | 124 | 6510 | 0 | 56 | 992 |
76 | 22 · 19 | 36 | 2 | 3 | −1 | 0 | 0 | 21 | 6 | 140 | 7602 | 0 | 24 | 480 |
77 | 7 · 11 | 60 | 2 | 2 | 1 | 1 | 0 | 21 | 4 | 96 | 6100 | 0 | 96 | 768 |
78 | 2 · 3 · 13 | 24 | 3 | 3 | −1 | −1 | 0 | 21 | 8 | 168 | 8500 | 0 | 48 | 1344 |
79 | 79 | 78 | 1 | 1 | −1 | −1 | 4.37 | 22 | 2 | 80 | 6242 | 0 | 0 | 640 |
80 | 24 · 5 | 32 | 2 | 5 | −1 | 0 | 0 | 22 | 10 | 186 | 8866 | 8 | 24 | 144 |
81 | 34 | 54 | 1 | 4 | 1 | 0 | 1.10 | 22 | 5 | 121 | 7381 | 4 | 102 | 968 |
82 | 2 · 41 | 40 | 2 | 2 | 1 | 1 | 0 | 22 | 4 | 126 | 8410 | 8 | 48 | 1008 |
83 | 83 | 82 | 1 | 1 | −1 | −1 | 4.42 | 23 | 2 | 84 | 6890 | 0 | 72 | 672 |
84 | 22 · 3 · 7 | 24 | 3 | 4 | 1 | 0 | 0 | 23 | 12 | 224 | 10500 | 0 | 48 | 768 |
85 | 5 · 17 | 64 | 2 | 2 | 1 | 1 | 0 | 23 | 4 | 108 | 7540 | 16 | 48 | 864 |
86 | 2 · 43 | 42 | 2 | 2 | 1 | 1 | 0 | 23 | 4 | 132 | 9250 | 0 | 120 | 1056 |
87 | 3 · 29 | 56 | 2 | 2 | 1 | 1 | 0 | 23 | 4 | 120 | 8420 | 0 | 0 | 960 |
88 | 23 · 11 | 40 | 2 | 4 | 1 | 0 | 0 | 23 | 8 | 180 | 10370 | 0 | 24 | 288 |
89 | 89 | 88 | 1 | 1 | −1 | −1 | 4.49 | 24 | 2 | 90 | 7922 | 8 | 144 | 720 |
90 | 2 · 32 · 5 | 24 | 3 | 4 | 1 | 0 | 0 | 24 | 12 | 234 | 11830 | 8 | 120 | 1872 |
91 | 7 · 13 | 72 | 2 | 2 | 1 | 1 | 0 | 24 | 4 | 112 | 8500 | 0 | 48 | 896 |
92 | 22 · 23 | 44 | 2 | 3 | −1 | 0 | 0 | 24 | 6 | 168 | 11130 | 0 | 0 | 576 |
93 | 3 · 31 | 60 | 2 | 2 | 1 | 1 | 0 | 24 | 4 | 128 | 9620 | 0 | 48 | 1024 |
94 | 2 · 47 | 46 | 2 | 2 | 1 | 1 | 0 | 24 | 4 | 144 | 11050 | 0 | 96 | 1152 |
95 | 5 · 19 | 72 | 2 | 2 | 1 | 1 | 0 | 24 | 4 | 120 | 9412 | 0 | 0 | 960 |
96 | 25 · 3 | 32 | 2 | 6 | 1 | 0 | 0 | 24 | 12 | 252 | 13650 | 0 | 24 | 96 |
97 | 97 | 96 | 1 | 1 | −1 | −1 | 4.57 | 25 | 2 | 98 | 9410 | 8 | 48 | 784 |
98 | 2 · 72 | 42 | 2 | 3 | −1 | 0 | 0 | 25 | 6 | 171 | 12255 | 4 | 108 | 1368 |
99 | 32 · 11 | 60 | 2 | 3 | −1 | 0 | 0 | 25 | 6 | 156 | 11102 | 0 | 72 | 1248 |
100 | 22 · 52 | 40 | 2 | 4 | 1 | 0 | 0 | 25 | 9 | 217 | 13671 | 12 | 30 | 744 |
n | गुणन | 𝜙(n) | ω(n) | Ω(n) | 𝜆(n) | 𝜇(n) | 𝜆(n) | π(n) | 𝜎0(n) | 𝜎1(n) | 𝜎2(n) | r2(n) | r3(n) | r4(n) |
टिप्पणियाँ
- ↑ Long (1972, p. 151)
- ↑ Pettofrezzo & Byrkit (1970, p. 58)
- ↑ Niven & Zuckerman, 4.2.
- ↑ Nagell, I.9.
- ↑ Bateman & Diamond, 2.1.
- ↑ Hardy & Wright, intro. to Ch. XVI
- ↑ Hardy, Ramanujan, § 10.2
- ↑ Apostol, Modular Functions ..., § 1.15, Ch. 4, and ch. 6
- ↑ Hardy & Wright, §§ 18.1–18.2
- ↑ Gérald Tenenbaum (1995). विश्लेषणात्मक और संभाव्य संख्या सिद्धांत का परिचय. Cambridge studies in advanced mathematics. Vol. 46. Cambridge University Press. pp. 36–55. ISBN 0-521-41261-7.
- ↑ Hardy & Wright, § 17.6, show how the theory of generating functions can be constructed in a purely formal manner with no attention paid to convergence.
- ↑ Hardy & Wright, Thm. 263
- ↑ Hardy & Wright, Thm. 63
- ↑ see references at Jordan's totient function
- ↑ Holden et al. in external links The formula is Gegenbauer's
- ↑ Hardy & Wright, Thm. 288–290
- ↑ Dineva in external links, prop. 4
- ↑ Hardy & Wright, Thm. 264
- ↑ Hardy & Wright, Thm. 296
- ↑ Hardy & Wright, Thm. 278
- ↑ Hardy & Wright, Thm. 386
- ↑ Hardy, Ramanujan, eqs 9.1.2, 9.1.3
- ↑ Koblitz, Ex. III.5.2
- ↑ Hardy, Ramanujan, § 9.7
- ↑ Hardy, Ramanujan, § 9.13
- ↑ Hardy, Ramanujan, § 9.17
- ↑ Williams, ch. 13; Huard, et al. (external links).
- ↑ 28.0 28.1 Ramanujan, On Certain Arithmetical Functions, Table IV; Papers, p. 146
- ↑ 29.0 29.1 Koblitz, ex. III.2.8
- ↑ Koblitz, ex. III.2.3
- ↑ Koblitz, ex. III.2.2
- ↑ Koblitz, ex. III.2.4
- ↑ Apostol, Modular Functions ..., Ex. 6.10
- ↑ Apostol, Modular Functions..., Ch. 6 Ex. 10
- ↑ G.H. Hardy, S. Ramannujan, Asymptotic Formulæ in Combinatory Analysis, § 1.3; in Ramannujan, Papers p. 279
- ↑ Landau, p. 168, credits Gauss as well as Dirichlet
- ↑ Cohen, Def. 5.1.2
- ↑ Cohen, Corr. 5.3.13
- ↑ see Edwards, § 9.5 exercises for more complicated formulas.
- ↑ Cohen, Prop 5.3.10
- ↑ See Divisor function.
- ↑ Hardy & Wright, eq. 22.1.2
- ↑ See prime-counting functions.
- ↑ Hardy & Wright, eq. 22.1.1
- ↑ Hardy & Wright, eq. 22.1.3
- ↑ László Tóth, Menon's Identity and Arithmetical Sums ..., eq. 1
- ↑ Tóth, eq. 5
- ↑ Tóth, eq. 3
- ↑ Tóth, eq. 35
- ↑ Tóth, eq. 2
- ↑ Tóth states that Menon proved this for multiplicative f in 1965 and V. Sita Ramaiah for general f.
- ↑ Hardy Ramanujan, eq. 3.10.3
- ↑ Hardy & Wright, § 22.13
- ↑ Hardy & Wright, Thm. 329
- ↑ Hardy & Wright, Thms. 271, 272
- ↑ Hardy & Wright, eq. 16.3.1
- ↑ Ramanujan, Some Formulæ in the Analytic Theory of Numbers, eq. (C); Papers p. 133. A footnote says that Hardy told Ramanujan it also appears in an 1857 paper by Liouville.
- ↑ Ramanujan, Some Formulæ in the Analytic Theory of Numbers, eq. (F); Papers p. 134
- ↑ Apostol, Modular Functions ..., ch. 6 eq. 4
- ↑ Apostol, Modular Functions ..., ch. 6 eq. 3
संदर्भ
- Tom M. Apostol (1976), Introduction to Analytic Number Theory, Springer Undergraduate Texts in Mathematics, ISBN 0-387-90163-9
- Apostol, Tom M. (1989), Modular Functions and Dirichlet Series in Number Theory (2nd Edition), New York: Springer, ISBN 0-387-97127-0
- Bateman, Paul T.; Diamond, Harold G. (2004), Analytic number theory, an introduction, World Scientific, ISBN 978-981-238-938-1
- Cohen, Henri (1993), A Course in Computational Algebraic Number Theory, Berlin: Springer, ISBN 3-540-55640-0
- Edwards, Harold (1977). Fermat's Last Theorem. New York: Springer. ISBN 0-387-90230-9.
- Hardy, G. H. (1999), Ramanujan: Twelve Lectures on Subjects Suggested by his Life and work, Providence RI: AMS / Chelsea, hdl:10115/1436, ISBN 978-0-8218-2023-0
- Hardy, G. H.; Wright, E. M. (1979) [1938]. An Introduction to the Theory of Numbers (5th ed.). Oxford: Clarendon Press. ISBN 0-19-853171-0. MR 0568909. Zbl 0423.10001.
- Jameson, G. J. O. (2003), The Prime Number Theorem, Cambridge University Press, ISBN 0-521-89110-8
- Koblitz, Neal (1984), Introduction to Elliptic Curves and Modular Forms, New York: Springer, ISBN 0-387-97966-2
- Landau, Edmund (1966), Elementary Number Theory, New York: Chelsea
- William J. LeVeque (1996), Fundamentals of Number Theory, Courier Dover Publications, ISBN 0-486-68906-9
- Long, Calvin T. (1972), Elementary Introduction to Number Theory (2nd ed.), Lexington: D. C. Heath and Company, LCCN 77-171950
- Elliott Mendelson (1987), Introduction to Mathematical Logic, CRC Press, ISBN 0-412-80830-7
- Nagell, Trygve (1964), Introduction to number theory (2nd Edition), Chelsea, ISBN 978-0-8218-2833-5
- Niven, Ivan M.; Zuckerman, Herbert S. (1972), An introduction to the theory of numbers (3rd Edition), John Wiley & Sons, ISBN 0-471-64154-5
- Pettofrezzo, Anthony J.; Byrkit, Donald R. (1970), Elements of Number Theory, Englewood Cliffs: Prentice Hall, LCCN 77-81766
- Ramanujan, Srinivasa (2000), Collected Papers, Providence RI: AMS / Chelsea, ISBN 978-0-8218-2076-6
- Williams, Kenneth S. (2011), Number theory in the spirit of Liouville, London Mathematical Society Student Texts, vol. 76, Cambridge: Cambridge University Press, ISBN 978-0-521-17562-3, Zbl 1227.11002
अग्रिम पठन
- Schwarz, Wolfgang; Spilker, Jürgen (1994), Arithmetical Functions. An introduction to elementary and analytic properties of arithmetic functions and to some of their almost-periodic properties, London Mathematical Society Lecture Note Series, vol. 184, Cambridge University Press, ISBN 0-521-42725-8, Zbl 0807.11001
बाहरी संबंध
- "Arithmetic function", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
- Matthew Holden, Michael Orrison, Michael Varble Yet another Generalization of Euler's Totient Function
- Huard, Ou, Spearman, and Williams. Elementary Evaluation of Certain Convolution Sums Involving Divisor Functions
- Dineva, Rosica, The Euler Totient, the Möbius, and the Divisor Functions
- László Tóth, Menon's Identity and arithmetical sums representing functions of several variables