अंकगणितीय कार्य: Difference between revisions

From Vigyanwiki
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>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 के विभाजकों की संख्या के समान है।
[[संख्या सिद्धांत]] में, एक अंकगणितीय, अंकगणितीय, या संख्या-सैद्धांतिक कार्य <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|1=''k'' = 0}} सम्मिलित नहीं है):
इसी प्रकार, <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> को जोड़ा जा सकता है | इसका कारण है कि योग या उत्पाद n के सभी प्रमुख विभाजकों से अधिक है। उदाहरण के लिए, यदि n = 18, तब
नोटेशन <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 को अभाज्य की शक्तियों के उत्पाद के रूप में विशिष्ट रूप से दर्शाया जा सकता है | <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 खाली उत्पाद द्वारा दिया गया है।)
अंकगणित के मौलिक प्रमेय में कहा गया है कि किसी भी सकारात्मक पूर्णांक 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>, अन्यथा यह शून्य है। तब
इसे सभी अभाज्य संख्याओं पर अनंत गुणनफल के रूप में लिखना अधिकांशतः सुविधाजनक होता है। जहां परिमित संख्या को छोड़कर सभी में शून्य घातांक होता है। 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 वीं शक्तियों का योग है जहां 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)' (जर्मन टेयलर = विभाजक के लिए) द्वारा दर्शाया जाता है।
चूँकि शून्य घात की एक धनात्मक 'σ<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)', फलन, धनात्मक पूर्णांकों की वह संख्या है। जो 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) n से कम या उसके समान सकारात्मक पूर्णांकों के k-टुपल्स की संख्या है | जो n के साथ मिलकर एक कोप्राइम (k + 1)-ट्यूपल बनाता है। यह यूलर के टोटेंट {{math|1=φ(''n'') = J<sub>1</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) है (2π) मॉड्यूलर डिस्क्रिमिनेंट#मॉड्यूलर डिस्क्रिमिनेंट फलन के q-विस्तार में 12 गुना n वां फूरियर गुणांक) <ref>Apostol, ''Modular Functions ...'', § 1.15, Ch. 4, and ch. 6</ref> इसे अंकगणितीय कार्यों में सम्मिलित किया गया है क्योंकि यह गुणक है और यह कुछ σ<sub>''k''</sub>(n) और आर<sub>''k''</sub>(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'' के लिए [[जैकोबी प्रतीक]] द्वारा निरूपित किया जाता है।(यह ''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) - पूर्णांक n का p-एडिक मूल्यांकन===
===ν<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/k लेता है जो k हैं कुछ अभाज्य संख्या की घात, और अन्य पूर्णांकों पर मान 0 है।
एक संबंधित फलन प्राइम शक्तियों की गणना करता है, प्राइम के लिए वजन 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''), को अभाज्य संख्याओं के प्राकृतिक लघुगणक के योग के रूप में परिभाषित किया गया है। जो ''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>}} नहीं है | जिस स्थिति में यह अभाज्य p का प्राकृतिक लघुगणक है |
Λ(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 के यूलर कुल फलन के समान है | 4 से अधिक 2 की शक्तियों के लिए यह 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)' उन विधियों की संख्या है जिन्हें n को k वर्गों के योग के रूप में दर्शाया जा सकता है, जहाँ निरूपण जो केवल योग के क्रम में भिन्न होते हैं या वर्गमूल के चिह्नों में भिन्न के रूप में गिने जाते हैं।
'वर्गों का योग फलन|आर<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''(''m'') ≠ 0. है।
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 के योग फलन के लिए [[स्पर्शोन्मुख विश्लेषण]] खोजा जाता है।
अंकगणितीय कार्यों के व्यक्तिगत मूल्यों में उतार-चढ़ाव हो सकता है। जैसा कि उपरोक्त अधिकांश उदाहरणों में है। योग कार्य इन उतार-चढ़ाव को सुचारू करते हैं। कुछ स्थितियों में यह संभव हो सकता है कि बड़े x के योग फलन के लिए [[स्पर्शोन्मुख विश्लेषण]] खोजा जाता है।


इस घटना का एक मौलिक उदाहरण <ref>Hardy & Wright, §§ 18.1–18.2</ref> [[विभाजक सारांश समारोह|विभाजक सारांश फलन]] द्वारा दिया जाता है | d (n) का योग फलन, n के विभाजकों की संख्या है |
इस घटना का एक मौलिक उदाहरण <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'' का ''औसत क्रम'' है यदि
एक अंकगणितीय फलन का एक औसत क्रम कुछ सरल या उत्तम समझा जाने वाला फलन होता है। जिसमें समान रूप से समान योग फलन होता है, और इसलिए औसत पर समान मान लेता है। हम कहते हैं कि ''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 के लिए, संबंधित [[डिरिचलेट श्रृंखला]] (जहां यह अभिसारी श्रृंखला) द्वारा परिभाषित कार्य है |<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>
अंकगणितीय फलन 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 के विषम विभाजकों की 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|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> का [[कनवल्शन]] या [[कॉची उत्पाद]] कहा जाता है |<br>इन सूत्रों को विश्लेषणात्मक रूप से सिद्ध किया जा सकता है (आइज़ेंस्टीन श्रृंखला देखें) या प्राथमिक विधियों से।<ref>Williams, ch. 13; Huard, et al. (external links).</ref>
क्रम <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) पूर्णांक हैं, उपरोक्त सूत्रों का उपयोग सर्वांगसमता सिद्ध करने के लिए किया जा सकता है <ref>Apostol, ''Modular Functions...'', Ch. 6 Ex. 10</ref> कार्यों के लिए कुछ उदाहरणों के लिए [[रामानुजन ताऊ फंक्शन|रामानुजन ताऊ फलन]] कार्य देखें।
चूंकि 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 को 'मौलिक विभेदक' कहा जाता है यदि यह द्विघात संख्या क्षेत्र का विभेदक है। यह 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> क्रोनकर प्रतीक को परिभाषित करके भाजक में सम संख्याओं को स्वीकार करने के लिए जैकोबी प्रतीक का विस्तार करें |
[[पीटर गुस्ताव लेज्यून डिरिचलेट]] ने ऐसे सूत्रों की खोज की थी जो [[द्विघात संख्या क्षेत्र]] के वर्ग संख्या 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 एक मूलभूत विविक्तकर है |<ref>Cohen, Corr. 5.3.13</ref><ref>see Edwards, § 9.5 exercises for more complicated formulas.</ref>
तब यदि 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> से संबंधित एक सूत्र भी है और वह दोबारा, d को मौलिक d <-4 भेदभाव करने दें। तब <ref>Cohen, Prop 5.3.10</ref>
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 के लिए है |
रीमैन परिकल्पना भी इस कथन के समतुल्य है। कि, सभी 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 कोई अंकगणितीय फलन है |<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>
वास्तव में, यदि 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> विवरण के लिए अंकगणितीय व्युत्पन्न देखें।
माना 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ó Tóth, [https://arxiv.org/PS_cache/arxiv/pdf/1103/1103.5861v2.pdf Menon's Identity and arithmetical sums representing functions of several variables]
* 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}}


{{Authority control}}
[[Category:Collapse templates]]
[[Category: अंकगणितीय कार्य | अंकगणितीय कार्य ]] [[Category: कार्य और मानचित्रण]]
 
 
 
[[Category: Machine Translated Page]]
[[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 के लिए है।

नोटेशन

इस आलेख में, और इसका कारण है कि योग या उत्पाद सभी अभाज्य संख्याओं से अधिक है।

और
इसी प्रकार, और इसका कारण है कि योग या उत्पाद पूरी तरह से सकारात्मक एक्सपोनेंट के साथ सभी प्रमुख शक्तियों से अधिक है। (इसलिए k = 0 सम्मिलित नहीं है):
अंकन और इसका अर्थ है कि योग या गुणनफल n के सभी धनात्मक विभाजकों से अधिक है, जिसमें 1 और n सम्मिलित हैं। उदाहरण के लिए, यदि n = 12, तब
नोटेशन और को जोड़ा जा सकता है। इसका कारण है कि योग या उत्पाद n के सभी प्रमुख विभाजकों से अधिक है। उदाहरण के लिए, यदि n = 18, तब
और इसी तरह और इसका कारण यह है कि योग या उत्पाद n को विभाजित करने वाली सभी प्रमुख शक्तियों से अधिक है। उदाहरण के लिए, यदि n = 24, तब

Ω(n), ω(n), एनp(n) मूल शक्ति अपघटन

अंकगणित के मौलिक प्रमेय में कहा गया है कि किसी भी सकारात्मक पूर्णांक n को अभाज्य की शक्तियों के उत्पाद के रूप में विशिष्ट रूप से दर्शाया जा सकता है। जहां p1 < p2 < ... < pk अभाज्य हैं और aj सकारात्मक पूर्णांक हैं। (1 खाली उत्पाद द्वारा दिया गया है।)

इसे सभी अभाज्य संख्याओं पर अनंत गुणनफल के रूप में लिखना अधिकांशतः सुविधाजनक होता है। जहां परिमित संख्या को छोड़कर सभी में शून्य घातांक होता है। p-एडिक मूल्यांकन 'νp(n)' परिभाषित करें मूल p की उच्चतम शक्ति का प्रतिपादक होना जो n को विभाजित करता है। अर्थात, यदि p, pi में से एक है फिर νp(n) = ai, अन्यथा यह शून्य है। तब

उपरोक्त के संदर्भ में प्राइम ओमेगा फलन ω और Ω द्वारा परिभाषित किया गया है।

ω(n) = k,
Ω(n) = a1 + a2 + ... + ak.

पुनरावृत्ति से बचने के लिए, इस आलेख में सूचीबद्ध कार्यों के लिए जब भी संभव सूत्र 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)' (जर्मन टेयलर = विभाजक के लिए) द्वारा दर्शाया जाता है।

दूसरे गुणनफल में k = 0 सेट करने पर प्राप्त होता है।

φ(n) - यूलर टोटिएंट फलन

'यूलर टोटिएंट फलन φ(n)', फलन, धनात्मक पूर्णांकों की वह संख्या है। जो n से अधिक नहीं है। जो n के सहअभाज्य हैं।

Jk(n) - जॉर्डन कुल फलन

'जॉर्डन कुल फलन Jk(n) n से कम या उसके समान सकारात्मक पूर्णांकों के k-टुपल्स की संख्या है। जो n के साथ मिलकर एक कोप्राइम (k + 1)-ट्यूपल बनाता है। यह यूलर के टोटेंट φ(n) = J1(n) का सामान्यीकरण है।

μ(n) - मोबियस फलन

'मोबियस फलन μ(n) मोबियस उलटा सूत्र के कारण महत्वपूर्ण है। नीचे डिरिक्लेट कनवल्शन देखें।

इसका तात्पर्य है कि μ(1) = 1. (क्योंकि Ω(1) = ω(1) = 0.) है।

τ(n) – रामानुजन ताऊ फलन

'रामानुजन ताऊ फलन τ(n)' इसकी जनक फलन पहचान द्वारा परिभाषित है।

चूँकि यह कहना कठिन है कि वास्तव में n का अंकगणितीय गुण क्या व्यक्त करता है,[7] (τ(n) है। (2π) मॉड्यूलर डिस्क्रिमिनेंट#मॉड्यूलर डिस्क्रिमिनेंट फलन के q-विस्तार में 12 गुना n वां फूरियर गुणांक) [8] इसे अंकगणितीय कार्यों में सम्मिलित किया गया है। क्योंकि यह गुणक है और यह कुछ σk(n) और आरk(n) वाली सर्वसमिकाओं में होता है। (क्योंकि ये भी मॉड्यूलर रूप के विस्तार में गुणांक हैं)।

Cq(n) - रामानुजन का योग

Cq(n)', रामानुजन का योग, एकता के आदिम q वें मूल की nवीं शक्तियों का योग है।

तथापि इसे जटिल संख्याओं के योग के रूप में परिभाषित किया गया हो (q के अधिकांश मानों के लिए अपरिमेय), यह एक पूर्णांक है। n के निश्चित मान के लिए यह q में गुणक है:

'यदि q और r सहअभाज्य हैं', तब

ψ(n) - डेडकाइंड साई फलन

डेडेकाइंड साई फलन सूत्र द्वारा परिभाषित किया गया है।

पूरी तरह से गुणात्मक कार्य

λ (n) - लिउविल फलन

λ(n)', लिउविल फलन, द्वारा परिभाषित किया गया है।

χ(n) - अक्षर

सभी 'डिरिचलेट वर्ण χ(n)' पूरी तरह गुणक हैं। दो वर्णों के विशेष अंकन है।

'प्रमुख चरित्र (मॉड n)' को χ0(a) (या χ1(a)) द्वारा दर्शाया जाता है। इसे के रूप में परिभाषित किया गया है।

द्विघात वर्ण (मॉड n) विषम n के लिए जैकोबी प्रतीक द्वारा निरूपित किया जाता है।(यह n के लिए भी परिभाषित नहीं है) |
इस सूत्र में लीजेंड्रे प्रतीक है, जो सभी पूर्णांकों a और सभी विषम अभाज्य p द्वारा परिभाषित है।
खाली उत्पाद के लिए सामान्य अधिवेशन के बाद, है।

योगात्मक कार्य

ω(n) - विशिष्ट अभाज्य भाजक

'ω(n)', n को विभाजित करने वाली अलग-अलग प्राइम्स की संख्या के रूप में ऊपर परिभाषित, योगात्मक है (प्राइम ओमेगा फलन देखें)।

पूरी तरह से योगात्मक कार्य

Ω(n) - मूल विभाजक

'प्राइम फ़ैक्टर Ω(n)', जिसे ऊपर n के प्राइम फ़ैक्टर की संख्या के रूप में परिभाषित किया गया है। जिसे बहुगुणों के साथ गिना जाता है। पूरी तरह से योगात्मक है (प्राइम ओमेगा फलन देखें)।

νp(n) - पूर्णांक n का p-एडिक मूल्यांकन

नियत अभाज्य p के लिए, 'νp(n)', जिसे ऊपर n को विभाजित करने वाले p की सबसे बड़ी शक्ति के घातांक के रूप में परिभाषित किया गया है, पूरी तरह से योज्य है।

लघुगणक व्युत्पन्न

जहाँ अंकगणितीय व्युत्पन्न है।

न तो गुणक और न ही योगात्मक

π(x), Π(x), θ(x), ψ(x) - प्राइम-काउंटिंग फलन

ये महत्वपूर्ण कार्य (जो अंकगणितीय कार्य नहीं हैं) को गैर-नकारात्मक वास्तविक तर्कों के लिए परिभाषित किया गया है, और विभिन्न बयानों और अभाज्य संख्या प्रमेय के प्रमाणों में उपयोग किया जाता है। वे अंकगणितीय कार्यों के योग कार्य हैं (नीचे मुख्य भाग देखें) जो न तो गुणक हैं और न ही योगात्मक हैं।

'प्राइम-काउंटिंग फलन π(x)', प्राइम्स की संख्या x से अधिक नहीं है। यह अभाज्य संख्याओं के सूचक फलन का योग फलन है।

एक संबंधित फलन प्राइम शक्तियों की गणना करता है, प्राइम के लिए वजन 1, उनके वर्गों के लिए 1/2, क्यूब्स के लिए 1/3, ... यह अंकगणितीय फलन का योग फलन है। जो पूर्णांक पर मान 1/k लेता है। जो k हैं कुछ अभाज्य संख्या की घात, और अन्य पूर्णांकों पर मान 0 है।

चेबीशेव फलन θ(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 के यूलर टोटेंट फलन के आधे के समान है।

और सामान्य n के लिए यह n के प्रमुख शक्ति कारकों में से प्रत्येक के λ का कम से कम सामान्य गुणक है।

h(n) - कक्षा संख्या

'आदर्श वर्ग समूह|h(n)', वर्ग संख्या फलन, विविक्तकर n वाले परिमेय के बीजगणितीय विस्तार के आदर्श वर्ग समूह का क्रम है। संकेतन अस्पष्ट है, क्योंकि सामान्य रूप से एक ही विवेचक के साथ कई विस्तार होते हैं। मौलिक उदाहरणों के लिए द्विघात क्षेत्र और चक्रीय क्षेत्र देखें।

Rk(n) - के वर्गों का योग

'वर्गों का योग फलन|आरk(n)' उन विधियों की संख्या है। जिन्हें n को k वर्गों के योग के रूप में दर्शाया जा सकता है, जहाँ निरूपण जो केवल योग के क्रम में भिन्न होते हैं या वर्गमूल के चिह्नों में भिन्न के रूप में गिने जाते हैं।

d (n) - अंकगणितीय व्युत्पन्न

डेरिवेटिव के लिए डिफरेंशियल ऑपरेटर नोटेशन का उपयोग करना, अंकगणितीय डेरिवेटिव d (n) एक ऐसा फलन है

  • यदि n प्राइम, और
  • (उत्पाद नियम)

योग फलन

एक अंकगणितीय फलन दिया गया है), यह 'समेशन फलन' A(x) द्वारा परिभाषित किया गया है।

A को एक वास्तविक चर के कार्य के रूप में माना जा सकता है। एक सकारात्मक पूर्णांक एम दिया गया है, a खुले अंतराल m < x < m + 1 के साथ स्थिर है, और प्रत्येक पूर्णांक पर असंतोष का वर्गीकरण है। जिसके लिए a(m) ≠ 0. है।

चूँकि इस तरह के कार्यों को अधिकांशतः श्रृंखला और अभिन्न द्वारा दर्शाया जाता है। बिंदुवार अभिसरण प्राप्त करने के लिए यह सामान्य रूप से बाएँ और दाएँ मानों के औसत के रूप में विच्छिन्नता पर मान को परिभाषित करता है।

अंकगणितीय कार्यों के व्यक्तिगत मूल्यों में उतार-चढ़ाव हो सकता है। जैसा कि उपरोक्त अधिकांश उदाहरणों में है। योग कार्य इन उतार-चढ़ाव को सुचारू करते हैं। कुछ स्थितियों में यह संभव हो सकता है कि बड़े x के योग फलन के लिए स्पर्शोन्मुख विश्लेषण खोजा जाता है।

इस घटना का एक मौलिक उदाहरण [9] विभाजक सारांश फलन द्वारा दिया जाता है। d (n) का योग फलन, n के विभाजकों की संख्या है।

एक अंकगणितीय फलन का एक औसत क्रम कुछ सरल या उत्तम समझा जाने वाला फलन होता है। जिसमें समान रूप से समान योग फलन होता है, और इसलिए औसत पर समान मान लेता है। हम कहते हैं कि g f का औसत क्रम है। यदि
एक्स के रूप में अनंत की ओर जाता है। उपरोक्त उदाहरण से पता चलता है कि d (n) में औसत ऑर्डर लॉग (n) है।[10]

डिरिचलेट कनवल्शन

अंकगणितीय फलन a(n) दिया है, मान लीजिए Fa(s), जटिल s के लिए, संबंधित डिरिचलेट श्रृंखला (जहां यह अभिसारी श्रृंखला) द्वारा परिभाषित कार्य है।[11]

Fa(s) को a(n) का जनरेटिंग फलन कहा जाता है। सभी n के लिए स्थिर फलन a(n) = 1 के अनुरूप ऐसी सबसे सरल श्रृंखला, ς(s) रीमैन जीटा फलन है।

मोबियस फलन का जनरेटिंग फलन ज़ेटा फलन का व्युत्क्रम है।

दो अंकगणितीय कार्यों a और b और उनके संबंधित जनन फलन Fa(s) और Fb(s) पर विचार करें। गुणनफल Fa(s) Fb(s) की गणना निम्नानुसार की जा सकती है।
यह दिखाने के लिए एक सीधा अभ्यास है कि यदि c(n) द्वारा परिभाषित किया गया है।
तब
इस फलन c को a और b का डिरिचलेट कनवल्शन कहा जाता है और इसे द्वारा दर्शाया जाता है।

एक विशेष रूप से महत्वपूर्ण स्थिति सभी n के लिए स्थिर फलन a(n) = 1 के साथ कनवल्शन है। जो जेता फलन द्वारा जनरेटिंग फलन को गुणा करने के अनुरूप है।

ज़ेटा फलन के व्युत्क्रम से गुणा करने पर मोबियस उलटा सूत्र मिलता है।
यदि f गुणक है, तो g भी गुणक है। यदि f पूरी तरह से गुणक है, तो g गुणक है, किन्तु पूरी तरह से गुणक हो भी सकता है और नहीं भी हो सकता है।

कार्यों के बीच संबंध

अंकगणितीय कार्यों को एक दूसरे के साथ और विश्लेषण के कार्यों, विशेष रूप से शक्तियों, जड़ों, और घातीय और लॉग कार्यों के साथ जोड़ने वाले बहुत से सूत्र हैं। पृष्ठ विभाजक योग पहचान में अंकगणितीय कार्यों को सम्मिलित करने वाली पहचान के कई और सामान्यीकृत और संबंधित उदाहरण हैं।

कुछ उदाहरण निम्नलिखित हैं:

डिरिचलेट कनवल्शन

जहां λ लिउविल फलन है।[12]
     [13]
मोबियस उलटा
     [14]
मोबियस उलटा
     [15]
     [16][17]
     [18]
मोबियस उलटा
     
मोबियस उलटा
     
मोबियस उलटा
     
जहां λ लिउविल फलन है।
     [19]
मोबियस उलटा

वर्गों का योग

सभी के लिए (लैग्रेंज का चार-वर्ग प्रमेय) है।

[20]

जहां क्रोनकर प्रतीक का मान है।

R3 के लिए एक सूत्र है। नीचे कक्षा संख्या से संबंधित अनुभाग है।

जहाँ ν = ν2(n).    [21][22][23]

जहाँ

<रेफरी नाम = हार्डी एंड राइट, § 20.13>हार्डी एंड राइट, § 20.13</ref>

फलन को परिभाषित कीजिए σk*(n) जैसा [24]

अर्थात्, यदि n विषम है, σk*(n) n के विभाजकों की kवीं शक्तियों का योग है, अर्थात, σk(n), और यदि n भी है तो यह n के सम विभाजकों की k वीं शक्तियों का योग है। जो n के विषम विभाजकों की k वीं शक्तियों का योग है।

<रेफरी नाम = हार्डी एंड राइट, § 20.13 />[25]

रामानुजन की जो विधि है। उसे अपनाओ τ(x) = 0 यदि x 'पूर्णांक नहीं है।'

   [26]


भाजक योग कनवल्शन

यहाँ कनवल्शन का कारण डिरिचलेट कनवल्शन नहीं है, किन्तु पावर श्रेणी के गुणांकों के लिए सूत्र गुणन और विभाजन को संदर्भित करता है।

क्रम अनुक्रम an और बीn का कनवल्शन या कॉची उत्पाद कहा जाता है।
इन सूत्रों को विश्लेषणात्मक रूप से सिद्ध किया जा सकता है। (आइज़ेंस्टीन श्रृंखला देखें) या प्राथमिक विधियों से।[27]

   [28]
   [29]
   [29][30]
   [28][31]
जहां τ(n) रामानुजन का फलन है।[32][33]

चूंकि 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] क्रोनकर प्रतीक को परिभाषित करके भाजक में सम संख्याओं को स्वीकार करने के लिए जैकोबी प्रतीक का विस्तार करें |

तब यदि D <-4 एक मूलभूत विविक्तकर है।[38][39]
r3 से संबंधित एक सूत्र भी है और वह दोबारा, d को मौलिक d <-4 भेदभाव करने दें। तब [40]

मूल-गणना संबंधित

माना nth हार्मोनिक संख्या है। तब

प्रत्येक प्राकृतिक संख्या n के लिए सत्य है यदि और केवल यदि रीमैन परिकल्पना सत्य है।[41]

रीमैन परिकल्पना भी इस कथन के समतुल्य है। कि, सभी n > 5040 के लिए है।

(जहां γ यूलर-मास्चेरोनी स्थिरांक है)। यह भाजक फलन अनुमानित वृद्धि दर|रॉबिन प्रमेय है।

   [42]
   [43]
   [44]
   [45]

मेनन की पहचान

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 को विशिष्ट, विषम और सकारात्मक होने दें। तब जैकोबी प्रतीक द्विघात पारस्परिकता के नियम को संतुष्ट करता है।

माना d (n) अंकगणितीय व्युत्पन्न हो फिर लॉगरिदमिक व्युत्पन्न है।
विवरण के लिए अंकगणितीय व्युत्पन्न देखें।

मान लीजिए λ(n) लियूविल का फलन है। तब

और

मान लीजिए λ(n) कार्मिकेल का फलन है। तब

आगे,
पूर्णांक मॉड्यूलो n और आदिम रूट मॉड्यूलो n के गुणक समूह देखें।
   [52][53]
   [54]
   [55] ध्यान दें कि    [56]
   [57] इसकी तुलना करें 13 + 23 + 33 + ... + n3 = (1 + 2 + 3 + ... + n)2
   [58]
   [59]
जहां τ(n) रामानुजन का फलन है।[60]

कुछ अंकगणितीय कार्यों के पहले 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)

टिप्पणियाँ

  1. Long (1972, p. 151)
  2. Pettofrezzo & Byrkit (1970, p. 58)
  3. Niven & Zuckerman, 4.2.
  4. Nagell, I.9.
  5. Bateman & Diamond, 2.1.
  6. Hardy & Wright, intro. to Ch. XVI
  7. Hardy, Ramanujan, § 10.2
  8. Apostol, Modular Functions ..., § 1.15, Ch. 4, and ch. 6
  9. Hardy & Wright, §§ 18.1–18.2
  10. Gérald Tenenbaum (1995). विश्लेषणात्मक और संभाव्य संख्या सिद्धांत का परिचय. Cambridge studies in advanced mathematics. Vol. 46. Cambridge University Press. pp. 36–55. ISBN 0-521-41261-7.
  11. 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.
  12. Hardy & Wright, Thm. 263
  13. Hardy & Wright, Thm. 63
  14. see references at Jordan's totient function
  15. Holden et al. in external links The formula is Gegenbauer's
  16. Hardy & Wright, Thm. 288–290
  17. Dineva in external links, prop. 4
  18. Hardy & Wright, Thm. 264
  19. Hardy & Wright, Thm. 296
  20. Hardy & Wright, Thm. 278
  21. Hardy & Wright, Thm. 386
  22. Hardy, Ramanujan, eqs 9.1.2, 9.1.3
  23. Koblitz, Ex. III.5.2
  24. Hardy, Ramanujan, § 9.7
  25. Hardy, Ramanujan, § 9.13
  26. Hardy, Ramanujan, § 9.17
  27. Williams, ch. 13; Huard, et al. (external links).
  28. 28.0 28.1 Ramanujan, On Certain Arithmetical Functions, Table IV; Papers, p. 146
  29. 29.0 29.1 Koblitz, ex. III.2.8
  30. Koblitz, ex. III.2.3
  31. Koblitz, ex. III.2.2
  32. Koblitz, ex. III.2.4
  33. Apostol, Modular Functions ..., Ex. 6.10
  34. Apostol, Modular Functions..., Ch. 6 Ex. 10
  35. G.H. Hardy, S. Ramannujan, Asymptotic Formulæ in Combinatory Analysis, § 1.3; in Ramannujan, Papers p. 279
  36. Landau, p. 168, credits Gauss as well as Dirichlet
  37. Cohen, Def. 5.1.2
  38. Cohen, Corr. 5.3.13
  39. see Edwards, § 9.5 exercises for more complicated formulas.
  40. Cohen, Prop 5.3.10
  41. See Divisor function.
  42. Hardy & Wright, eq. 22.1.2
  43. See prime-counting functions.
  44. Hardy & Wright, eq. 22.1.1
  45. Hardy & Wright, eq. 22.1.3
  46. László Tóth, Menon's Identity and Arithmetical Sums ..., eq. 1
  47. Tóth, eq. 5
  48. Tóth, eq. 3
  49. Tóth, eq. 35
  50. Tóth, eq. 2
  51. Tóth states that Menon proved this for multiplicative f in 1965 and V. Sita Ramaiah for general f.
  52. Hardy Ramanujan, eq. 3.10.3
  53. Hardy & Wright, § 22.13
  54. Hardy & Wright, Thm. 329
  55. Hardy & Wright, Thms. 271, 272
  56. Hardy & Wright, eq. 16.3.1
  57. 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.
  58. Ramanujan, Some Formulæ in the Analytic Theory of Numbers, eq. (F); Papers p. 134
  59. Apostol, Modular Functions ..., ch. 6 eq. 4
  60. Apostol, Modular Functions ..., ch. 6 eq. 3

संदर्भ

अग्रिम पठन

  • 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

बाहरी संबंध