View source for अंकगणितीय कार्य

{{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 के विभाजकों की संख्या के समान है।

संख्या-सैद्धांतिक कार्यों का एक बड़ा वर्ग है। जो उपरोक्त परिभाषा में फिट नहीं होता है, उदाहरण के लिए, अभाज्य-गणना कार्य यह आलेख दोनों वर्गों के कार्यों के लिंक प्रदान करता है।

अंकगणितीय कार्य अधिकांशतः अत्यंत अनियमित होते हैं (कुछ अंकगणितीय कार्यों के पहले 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) सभी [[coprime|कोप्राइम]] प्राकृत संख्याओं 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="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="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="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="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="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>
==Ω(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 खाली उत्पाद द्वारा दिया गया है।)

इसे सभी अभाज्य संख्याओं पर अनंत गुणनफल के रूप में लिखना अधिकांशतः सुविधाजनक होता है। जहां परिमित संख्या को छोड़कर सभी में शून्य घातांक होता है। 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>
उपरोक्त के संदर्भ में [[प्राइम ओमेगा फ़ंक्शन|प्राइम ओमेगा फलन]] ω और Ω द्वारा परिभाषित किया गया है।
{{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>.}}

पुनरावृत्ति से बचने के लिए, इस आलेख में सूचीबद्ध कार्यों के लिए जब भी संभव सूत्र n और संबंधित ''p<sub>i</sub>'', ''a<sub>i</sub>'', ω, और Ω के संदर्भ में दिए गए हैं। 

== गुणक कार्य ==

=== p<sub>''k''</sub>(n), τ(n), d(n) - विभाजक राशि===
σ<sub>''k''</sub>(n) 1 और n सहित n के सकारात्मक विभाजकों की k वीं शक्तियों का योग है। जहां k एक सम्मिश्र संख्या है।

'σ<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>
दूसरे गुणनफल में k = 0 सेट करने पर प्राप्त होता है।
<math display="block">\tau(n) = d(n) = (1 + a_{1})(1+a_{2})\cdots(1+a_{\omega(n)}).</math>
===φ(n) - यूलर टोटिएंट फलन ===
'यूलर टोटिएंट फलन φ(n)', फलन, धनात्मक पूर्णांकों की वह संख्या है। जो n से अधिक नहीं है। जो n के सहअभाज्य हैं।

<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)
.</math>
=== 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)
= 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>
===μ(n) - मोबियस फलन ===
'मोबियस फलन μ(n) मोबियस उलटा सूत्र के कारण महत्वपूर्ण है। नीचे डिरिक्लेट कनवल्शन देखें।

<math display="block">\mu(n)=\begin{cases}
(-1)^{\omega(n)}=(-1)^{\Omega(n)} &\text{if }\; \omega(n) = \Omega(n)\\
0&\text{if }\;\omega(n) \ne \Omega(n).
\end{cases}</math>
इसका तात्पर्य है कि μ(1) = 1. (क्योंकि Ω(1) = ω(1) = 0.) है।

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

<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) वाली सर्वसमिकाओं में होता है। (क्योंकि ये भी [[मॉड्यूलर रूप]] के विस्तार में गुणांक हैं)।

=== C<sub>''q''</sub>(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>
तथापि इसे जटिल संख्याओं के योग के रूप में परिभाषित किया गया हो (q के अधिकांश मानों के लिए अपरिमेय), यह एक पूर्णांक है। n के निश्चित मान के लिए यह q में गुणक है:
: 'यदि q और r सहअभाज्य हैं', तब <math>c_q(n)c_r(n)=c_{qr}(n).</math>
===ψ(n) - डेडकाइंड साई फलन===
[[डेडेकाइंड साई फंक्शन|डेडेकाइंड साई फलन]] सूत्र द्वारा परिभाषित किया गया है।
<math display="block"> \psi(n) = n \prod_{p|n}\left(1+\frac{1}{p}\right).</math>
== पूरी तरह से गुणात्मक कार्य ==

=== λ (n) - लिउविल फलन ===
λ(n)', लिउविल फलन, द्वारा परिभाषित किया गया है।
<math display="block">\lambda (n) = (-1)^{\Omega(n)}.</math>
===χ(n) - अक्षर ===
सभी 'डिरिचलेट वर्ण χ(n)' पूरी तरह गुणक हैं। दो वर्णों के विशेष अंकन है।

'प्रमुख चरित्र (मॉड n)' को χ<sub>0</sub>(a) (या χ<sub>1</sub>(a)) द्वारा दर्शाया जाता है। इसे के रूप में परिभाषित किया गया है।
<math display="block"> \chi_0(a) = \begin{cases}
1 & \text{if } \gcd(a,n) = 1, \\
0 & \text{if } \gcd(a,n) \ne 1.
\end{cases} </math>
द्विघात वर्ण (मॉड ''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>(\tfrac{a}{p})</math> लीजेंड्रे प्रतीक है, जो सभी पूर्णांकों a और सभी विषम अभाज्य p द्वारा परिभाषित है।
<math display="block">
\left(\frac{a}{p}\right) = \begin{cases}
\;\;\,0 & \text{if } a \equiv 0 \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>
खाली उत्पाद के लिए सामान्य अधिवेशन के बाद, <math>\left(\frac{a}{1}\right) = 1.</math> है।
== योगात्मक कार्य ==

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

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

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

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

=== लघुगणक व्युत्पन्न ===
<math>\operatorname{ld}(n)=\frac{D(n)}{n} = \sum_{\stackrel{p\mid n}{p\text{ prime}}} \frac {v_p(n)} {p}</math> जहाँ <math>D(n)</math> अंकगणितीय व्युत्पन्न है।

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

==={{pi}}(x), Π(x), θ(x), ψ(x) - प्राइम-काउंटिंग फलन===
ये महत्वपूर्ण कार्य (जो अंकगणितीय कार्य नहीं हैं) को गैर-नकारात्मक वास्तविक तर्कों के लिए परिभाषित किया गया है, और विभिन्न बयानों और अभाज्य संख्या प्रमेय के प्रमाणों में उपयोग किया जाता है। वे अंकगणितीय कार्यों के योग कार्य हैं (नीचे मुख्य भाग देखें) जो न तो गुणक हैं और न ही योगात्मक हैं।

'प्राइम-काउंटिंग फलन {{pi}}(x)', प्राइम्स की संख्या x से अधिक नहीं है। यह अभाज्य संख्याओं के सूचक फलन का योग फलन है।
<math display="block">\pi(x) = \sum_{p \le x} 1</math>
एक संबंधित फलन प्राइम शक्तियों की गणना करता है, प्राइम के लिए वजन 1, उनके वर्गों के लिए 1/2, क्यूब्स के लिए 1/3, ... यह अंकगणितीय फलन का योग फलन है। जो पूर्णांक पर मान 1/k लेता है। जो k हैं कुछ अभाज्य संख्या की घात, और अन्य पूर्णांकों पर मान 0 है।

<math display="block">\Pi(x) = \sum_{p^k\le x}\frac{1}{k}.</math>
चेबीशेव फलन ''θ''(''x'') और ''ψ''(''x''), को अभाज्य संख्याओं के प्राकृतिक लघुगणक के योग के रूप में परिभाषित किया गया है। जो ''x' से अधिक नहीं है |''
<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>
चेबीशेव फलन ψ(x) ठीक नीचे वॉन मैंगोल्ड्ट फलन का योग फलन है।

===Λ(n) - वॉन मैंगोल्ड फलन ===
Λ(n)', वॉन मैंगोल्ड फलन, 0 है जब तक कि तर्क n एक प्रमुख शक्ति {{math|''p''<sup>''k''</sup>}} नहीं है। जिस स्थिति में यह अभाज्य p का प्राकृतिक लघुगणक है।
<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}\\
0&\text{if } n=1,6,10,12,14,15,18,20,21,\dots \;\;\;\;\text{ is not a prime power}.
\end{cases}</math>
=== p (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>
=== λ (n) - कारमाइकल फलन ===
'कारमाइकल फलन λ(n) सबसे छोटी सकारात्मक संख्या है जैसे कि <math>a^{\lambda(n)}\equiv 1 \pmod{n}</math> सभी के लिए n के लिए एक कोप्राइम समतुल्य रूप से, यह पूर्णांक मॉड्यूलो n के गुणक समूह के तत्वों के आदेशों का कम से कम सामान्य गुणक है।

विषम अभाज्य संख्याओं की घातों के लिए और 2 और 4 के लिए, λ(n) n के यूलर कुल फलन के समान है। 4 से अधिक 2 की शक्तियों के लिए यह n के यूलर टोटेंट फलन के आधे के समान है।
<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\\
\tfrac 1 2 \phi(n)&\text{if }n=8,16,32,64,\dots
\end{cases}</math>
और सामान्य 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>
=== h(n) - कक्षा संख्या ===
'[[आदर्श वर्ग समूह]]|h(n)', वर्ग संख्या फलन, विविक्तकर n वाले परिमेय के बीजगणितीय विस्तार के आदर्श वर्ग समूह का क्रम है। संकेतन अस्पष्ट है, क्योंकि सामान्य रूप से एक ही विवेचक के साथ कई विस्तार होते हैं। मौलिक उदाहरणों के लिए [[द्विघात क्षेत्र]] और चक्रीय क्षेत्र देखें।

===R<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>
===d (n) - [[अंकगणितीय व्युत्पन्न]] ===
डेरिवेटिव के लिए डिफरेंशियल ऑपरेटर नोटेशन का उपयोग करना, अंकगणितीय डेरिवेटिव d (n) एक ऐसा फलन है
* <math> D(n) = 1</math> यदि n प्राइम, और
* <math>D(mn) = m D(n) + D(m) n</math> (उत्पाद नियम)

== योग फलन ==
एक अंकगणितीय फलन दिया गया है), यह 'समेशन फलन' A(x) द्वारा परिभाषित किया गया है।
<math display="block"> A(x) := \sum_{n \le x} a(n) .</math>
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>
अंकगणितीय कार्यों के व्यक्तिगत मूल्यों में उतार-चढ़ाव हो सकता है। जैसा कि उपरोक्त अधिकांश उदाहरणों में है। योग कार्य इन उतार-चढ़ाव को सुचारू करते हैं। कुछ स्थितियों में यह संभव हो सकता है कि बड़े x के योग फलन के लिए [[स्पर्शोन्मुख विश्लेषण]] खोजा जाता है।

इस घटना का एक मौलिक उदाहरण <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>
एक अंकगणितीय फलन का एक औसत क्रम कुछ सरल या उत्तम समझा जाने वाला फलन होता है। जिसमें समान रूप से समान योग फलन होता है, और इसलिए औसत पर समान मान लेता है। हम कहते हैं कि ''g'' ''f'' का ''औसत क्रम'' है। यदि
<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>
== डिरिचलेट कनवल्शन ==
अंकगणितीय फलन 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>
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>
दो अंकगणितीय कार्यों 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>
यह दिखाने के लिए एक सीधा अभ्यास है कि यदि 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">F_c(s) = F_a(s) F_b(s).</math>
इस फलन c को a और b का [[डिरिचलेट कनवल्शन]] कहा जाता है और इसे <math>a*b</math> द्वारा दर्शाया जाता है।

एक विशेष रूप से महत्वपूर्ण स्थिति सभी n के लिए स्थिर फलन a(n) = 1 के साथ कनवल्शन है। जो जेता फलन द्वारा जनरेटिंग फलन को गुणा करने के अनुरूप है।
<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>
यदि f गुणक है, तो g भी गुणक है। यदि f पूरी तरह से गुणक है, तो g गुणक है, किन्तु पूरी तरह से गुणक हो भी सकता है और नहीं भी हो सकता है।

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

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

=== डिरिचलेट कनवल्शन ===
:<math>
\sum_{\delta\mid n}\mu(\delta)=
\sum_{\delta\mid n}\lambda\left(\frac{n}{\delta}\right)|\mu(\delta)|=
\begin{cases}
1 & \text{if } n=1\\
0 & \text{if } n\ne1
\end{cases}
</math> जहां λ लिउविल फलन है।<ref>Hardy & Wright, Thm. 263</ref>
:<math>\sum_{\delta\mid n}\varphi(\delta) = n.</math>      <ref>Hardy & Wright, Thm. 63</ref>
::<math>\varphi(n)
=\sum_{\delta\mid n}\mu\left(\frac{n}{\delta}\right)\delta
=n\sum_{\delta\mid n}\frac{\mu(\delta)}{\delta}.
</math> मोबियस उलटा
:<math>\sum_{d \mid n } J_k(d) = n^k.</math>      <ref>see references at [[Jordan's totient function]]</ref>
::<math>
J_k(n)
=\sum_{\delta\mid n}\mu\left(\frac{n}{\delta}\right)\delta^k
=n^k\sum_{\delta\mid n}\frac{\mu(\delta)}{\delta^k}.
</math> मोबियस उलटा
:<math>\sum_{\delta\mid n}\delta^sJ_r(\delta)J_s\left(\frac{n}{\delta}\right) = J_{r+s}(n)</math>      <ref>Holden et al. in external links The formula is Gegenbauer's</ref>
:<math>\sum_{\delta\mid n}\varphi(\delta)d\left(\frac{n}{\delta}\right) = \sigma(n).</math>      <ref>Hardy & Wright, Thm. 288–290</ref><ref>Dineva in external links, prop. 4</ref>
:<math>\sum_{\delta\mid n}|\mu(\delta)| = 2^{\omega(n)}.</math>      <ref>Hardy & Wright, Thm. 264</ref>
::<math>|\mu(n)|=\sum_{\delta\mid n}\mu\left(\frac{n}{\delta}\right)2^{\omega(\delta)}.</math> मोबियस उलटा
:<math>\sum_{\delta\mid n}2^{\omega(\delta)}=d(n^2).</math>      
::<math>2^{\omega(n)}=\sum_{\delta\mid n}\mu\left(\frac{n}{\delta}\right)d(\delta^2).</math> मोबियस उलटा
:<math>\sum_{\delta\mid n}d(\delta^2)=d^2(n).</math>      
::<math>d(n^2)=\sum_{\delta\mid n}\mu\left(\frac{n}{\delta}\right)d^2(\delta).</math> मोबियस उलटा
:<math>\sum_{\delta\mid n}d\left(\frac{n}{\delta}\right)2^{\omega(\delta)}=d^2(n).</math>      
:<math>\sum_{\delta\mid n}\lambda(\delta)=\begin{cases}
&1\text{ if } n \text{ is a square }\\
&0\text{ if } n \text{ is not  square.}
\end{cases}</math> जहां λ [[लिउविल समारोह|लिउविल फलन]] है।
:<math>\sum_{\delta\mid n}\Lambda(\delta) = \log n.</math>      <ref>Hardy & Wright, Thm. 296</ref>
::<math>\Lambda(n)=\sum_{\delta\mid n}\mu\left(\frac{n}{\delta}\right)\log(\delta).</math> मोबियस उलटा

===वर्गों का योग===
सभी के लिए <math>k \ge 4,\;\;\; r_k(n) > 0.</math> (लैग्रेंज का चार-वर्ग प्रमेय) है।

:<math>
r_2(n) = 4\sum_{d\mid n}\left(\frac{-4}{d}\right),
</math> <ref>Hardy & Wright, Thm. 278</ref>
जहां [[क्रोनकर प्रतीक]] का मान है।
:<math>
\left(\frac{-4}{n}\right) = 
\begin{cases}
+1&\text{if }n\equiv 1 \pmod 4 \\
-1&\text{if }n\equiv 3 \pmod 4\\
\;\;\;0&\text{if }n\text{ is even}.\\
\end{cases}
</math>
R<sub>3</sub> के लिए एक सूत्र है। नीचे कक्षा संख्या से संबंधित अनुभाग है।
<math display="block">
r_4(n) =
8 \sum_{\stackrel{d\mid n}{ 4\, \nmid \,d}}d =
8 (2+(-1)^n)\sum_{\stackrel{d\mid n}{ 2\, \nmid \,d}}d =
\begin{cases}
8\sigma(n)&\text{if } n \text{ is odd }\\
24\sigma\left(\frac{n}{2^\nu}\right)&\text{if } n \text{ is even }
\end{cases},
</math>
जहाँ {{math|1=''ν'' = ''ν''<sub>2</sub>(''n'')}}.    <ref>Hardy & Wright, Thm. 386</ref><ref>Hardy, ''Ramanujan'', eqs 9.1.2, 9.1.3</ref><ref>Koblitz, Ex. III.5.2</ref>

<math display="block">r_6(n) = 16 \sum_{d\mid n} \chi\left(\frac{n}{d}\right)d^2 - 4\sum_{d\mid n} \chi(d)d^2,</math>
जहाँ <math> \chi(n) = \left(\frac{-4}{n}\right).</math>

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

फलन को परिभाषित कीजिए {{math|1=''σ''<sub>''k''</sub><sup>*</sup>(''n'')}} जैसा <ref>Hardy, ''Ramanujan'', § 9.7</ref>
<math display="block">\sigma_k^*(n) = (-1)^{n}\sum_{d\mid n}(-1)^d d^k=
\begin{cases}
\sum_{d\mid n} d^k=\sigma_k(n)&\text{if } n \text{ is odd }\\
\sum_{\stackrel{d\mid n}{ 2\, \mid \,d}}d^k -\sum_{\stackrel{d\mid n}{ 2\, \nmid \,d}}d^k&\text{if } n \text{ is even}.
\end{cases}
</math>
अर्थात्, यदि 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|1=''τ''(''x'') = 0}} यदि x 'पूर्णांक नहीं है।'

:<math>
r_{24}(n) = \frac{16}{691}\sigma_{11}^*(n) + \frac{128}{691}\left\{
(-1)^{n-1}259\tau(n)-512\tau\left(\frac{n}{2}\right)\right\}
</math>    <ref>Hardy, ''Ramanujan'', § 9.17</ref>


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

:<math>  \left(\sum_{n=0}^\infty a_n x^n\right)\left(\sum_{n=0}^\infty b_n x^n\right)
= \sum_{i=0}^\infty \sum_{j=0}^\infty  a_i b_j x^{i+j}
= \sum_{n=0}^\infty \left(\sum_{i=0}^n a_i b_{n-i}\right) x^n
= \sum_{n=0}^\infty c_n x^n
.</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>
\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\}.
</math>    <ref name="Ramanujan, p. 146">Ramanujan, ''On Certain Arithmetical Functions'', Table IV; ''Papers'', p. 146</ref>
:<math>
\sigma_5(n) = \frac{1}{21}\left\{10(3n-1)\sigma_3(n)+\sigma_1(n) + 240\sum_{0<k<n}\sigma_1(k)\sigma_3(n-k)\right\}.
</math>    <ref name="Koblitz, ex. III.2.8">Koblitz, ex. III.2.8</ref>
:<math>
\begin{align}
\sigma_7(n)
&=\frac{1}{20}\left\{21(2n-1)\sigma_5(n)-\sigma_1(n) + 504\sum_{0<k<n}\sigma_1(k)\sigma_5(n-k)\right\}\\
&=\sigma_3(n) + 120\sum_{0<k<n}\sigma_3(k)\sigma_3(n-k).
\end{align}
</math>    <ref name="Koblitz, ex. III.2.8" /><ref>Koblitz, ex. III.2.3</ref>
:<math>
\begin{align}
\sigma_9(n)
&= \frac{1}{11}\left\{10(3n-2)\sigma_7(n)+\sigma_1(n) + 480\sum_{0<k<n}\sigma_1(k)\sigma_7(n-k)\right\}\\
&= \frac{1}{11}\left\{21\sigma_5(n)-10\sigma_3(n) + 5040\sum_{0<k<n}\sigma_3(k)\sigma_5(n-k)\right\}.
\end{align}
</math>    <ref name="Ramanujan, p. 146" /><ref>Koblitz, ex. III.2.2</ref>
:<math>
\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>
चूंकि p<sub>''k''</sub>(n) (प्राकृतिक संख्या k के लिए) और τ(n) पूर्णांक हैं, उपरोक्त सूत्रों का उपयोग सर्वांगसमता सिद्ध करने के लिए किया जा सकता है। <ref>Apostol, ''Modular Functions...'', Ch. 6 Ex. 10</ref> कार्यों के लिए कुछ उदाहरणों के लिए [[रामानुजन ताऊ फंक्शन|रामानुजन ताऊ फलन]] कार्य देखें।

सेटिंग {{math|1=''p''(0) = 1.}} द्वारा पार्टीशन फलन के डोमेन का विस्तार करें |

:<math>
p(n)=\frac{1}{n}\sum_{1\le k\le n}\sigma(k)p(n-k).
</math>    <ref>G.H. Hardy, S. Ramannujan, ''Asymptotic Formulæ in Combinatory Analysis'', § 1.3; in Ramannujan, ''Papers'' p. 279</ref> इस पुनरावृत्ति का उपयोग p(n) की गणना के लिए किया जा सकता है।

=== वर्ग संख्या संबंधित ===
[[पीटर गुस्ताव लेज्यून डिरिचलेट]] ने ऐसे सूत्रों की खोज की थी जो [[द्विघात संख्या क्षेत्र]] के वर्ग संख्या 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}
\;\;\,0&\text{ if } a \text{ is even}
\\(-1)^{\frac{a^2-1}{8}}&\text{ if }a \text{ is odd. }
\end{cases}</math>
तब यदि 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}
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).
\end{align}</math>
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>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>
रीमैन परिकल्पना भी इस कथन के समतुल्य है। कि, सभी n > 5040 के लिए है।
<math display="block">\sigma(n) < e^\gamma n \log \log n </math> (जहां γ यूलर-मास्चेरोनी स्थिरांक है)। यह भाजक फलन अनुमानित वृद्धि दर|रॉबिन प्रमेय है।

:<math>\sum_{p}\nu_p(n) = \Omega(n).</math>
:<math>\psi(x)=\sum_{n\le x}\Lambda(n).</math>    <ref>Hardy & Wright, eq. 22.1.2</ref>
:<math>\Pi(x)= \sum_{n\le x}\frac{\Lambda(n)}{\log n}.</math>    <ref>See [[Prime-counting function#Other prime-counting functions|prime-counting functions]].</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>
===मेनन की पहचान===
1965 में [[पी केशव मेनन|p केशव मेनन]] ने सिद्ध किया था |<ref>László Tóth, ''Menon's Identity and Arithmetical Sums ...'', eq. 1</ref>
<math display="block">\sum_{\stackrel{1\le k\le n}{ \gcd(k,n)=1}} \gcd(k-1,n)=\varphi(n)d(n).</math>
यह कई गणितज्ञों द्वारा सामान्यीकृत किया गया है। उदाहरण के लिए,
* बी सूरी <ref>Tóth, eq. 5</ref> <math display="block">
\sum_{\stackrel{1\le k_1, k_2, \dots, k_s\le n}{ \gcd(k_1,n)=1}} \gcd(k_1-1,k_2,\dots,k_s,n)
= \varphi(n)\sigma_{s-1}(n).</math>
* n राव <ref>Tóth, eq. 3</ref> <math display="block">
\sum_{\stackrel{1\le k_1, k_2, \dots, k_s\le n}{ \gcd(k_1,k_2,\dots,k_s,n)=1}} \gcd(k_1-a_1,k_2-a_2,\dots,k_s-a_s,n)^s
=J_s(n)d(n), </math> जहाँ ''a''<sub>1</sub>, ''a''<sub>2</sub>, ..., ''a<sub>s</sub>'' पूर्णांक हैं, gcd(''a''<sub>1</sub>, ''a''<sub>2</sub>, ..., ''a<sub>s</sub>'', ''n'') = 1 है।
* टोथ लेज़्लो फेजेस <ref>Tóth, eq. 35</ref> <math display="block">
\sum_{\stackrel{1\le k\le m}{ \gcd(k,m)=1}} \gcd(k^2-1,m_1)\gcd(k^2-1,m_2)
=\varphi(n)\sum_{\stackrel{d_1\mid m_1} {d_2\mid m_2}} \varphi(\gcd(d_1, d_2))2^{\omega(\operatorname{lcm}(d_1, d_2))},
</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>
<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>
जहाँ <math>*</math> डिरिचलेट कनवल्शन के लिए खड़ा है।

=== विविध ===
m और n को विशिष्ट, विषम और सकारात्मक होने दें। तब जैकोबी प्रतीक [[द्विघात पारस्परिकता]] के नियम को संतुष्ट करता है।
<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) लियूविल का फलन है। तब

:<math>|\lambda(n)|\mu(n) =\lambda(n)|\mu(n)| = \mu(n),</math> और
:<math>\lambda(n)\mu(n) = |\mu(n)| =\mu^2(n).</math> 

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

:<math>\lambda(n)\mid \phi(n).</math> आगे,

:<math>\lambda(n)= \phi(n) \text{ if and only if }n=\begin{cases}
1,2, 4;\\
3,5,7,9,11, \ldots \text{ (that is, } p^k \text{, where }p\text{ is an odd prime)};\\
6,10,14,18,\ldots \text{ (that is, } 2p^k\text{, where }p\text{ is an odd prime)}.
\end{cases}</math> पूर्णांक मॉड्यूलो n और [[आदिम रूट मॉड्यूलो एन|आदिम रूट मॉड्यूलो n]] के गुणक समूह देखें।

:<math>2^{\omega(n)} \le d(n) \le 2^{\Omega(n)}.</math>    <ref>Hardy ''Ramanujan'', eq. 3.10.3</ref><ref>Hardy & Wright, § 22.13</ref>
:<math>\frac{6}{\pi^2}<\frac{\phi(n)\sigma(n)}{n^2} < 1.</math>    <ref>Hardy & Wright, Thm. 329</ref>
:<math>\begin{align}
c_q(n)
&=\frac{\mu\left(\frac{q}{\gcd(q, n)}\right)}{\phi\left(\frac{q}{\gcd(q, n)}\right)}\phi(q)\\
&=\sum_{\delta\mid \gcd(q,n)}\mu\left(\frac{q}{\delta}\right)\delta.
\end{align}</math>    <ref>Hardy & Wright, Thms. 271, 272</ref> ध्यान दें कि <math>\phi(q) = \sum_{\delta\mid q}\mu\left(\frac{q}{\delta}\right)\delta.</math>    <ref>Hardy & Wright, eq. 16.3.1</ref>
:<math>c_q(1) = \mu(q).</math>
:<math>c_q(q) = \phi(q).</math>
:<math>\sum_{\delta\mid n}d^{3}(\delta) = \left(\sum_{\delta\mid n}d(\delta)\right)^2.</math>    <ref>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.</ref> इसकी तुलना करें {{math|1=1<sup>3</sup> + 2<sup>3</sup> + 3<sup>3</sup> + ... + ''n''<sup>3</sup> = (1 + 2 + 3 + ... + ''n'')<sup>2</sup>}}

:<math>d(uv) = \sum_{\delta\mid \gcd(u,v)}\mu(\delta)d\left(\frac{u}{\delta}\right)d\left(\frac{v}{\delta}\right).
</math>    <ref>Ramanujan, ''Some Formulæ in the Analytic Theory of Numbers'', eq. (F); ''Papers'' p. 134</ref>
:<math>\sigma_k(u)\sigma_k(v) = \sum_{\delta\mid \gcd(u,v)}\delta^k\sigma_k\left(\frac{uv}{\delta^2}\right).
</math>    <ref>Apostol, ''Modular Functions ...'', ch. 6 eq. 4</ref>
:<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>
== कुछ अंकगणितीय कार्यों के पहले 100 मान ==
{| class="wikitable"  style="text-align:right;"
! ''n''!!गुणन !! {{phi}}(''n'') !! ''ω''(''n'') !! Ω(''n'') !! {{lambda}}(''n'') !! {{mu}}(''n'') !! {{Lambda}}(''n'') !! {{pi}}(''n'')!! {{sigma}}<sub>0</sub>(''n'')!! {{sigma}}<sub>1</sub>(''n'')!! {{sigma}}<sub>2</sub>(''n'')!! ''r''<sub>2</sub>(''n'')!! ''r''<sub>3</sub>(''n'')!! ''r''<sub>4</sub>(''n'')
|-
| 1||style='text-align:center;'| 1|| 1|| 0|| 0|| 1|| 1|| 0|| 0|| 1|| 1|| 1|| 4|| 6|| 8
|-style="background-color:#ddeeff;"
| 2||style='text-align:center;'| 2|| 1|| 1|| 1|| −1|| −1|| 0.69|| 1|| 2|| 3|| 5|| 4|| 12|| 24
|-style="background-color:#ddeeff;"
| 3||style='text-align:center;'| 3|| 2|| 1|| 1|| −1|| −1|| 1.10|| 2|| 2|| 4|| 10|| 0|| 8|| 32
|-
| 4||style='text-align:center;'| 2<sup>2</sup>|| 2|| 1|| 2|| 1|| 0|| 0.69|| 2|| 3|| 7|| 21|| 4|| 6|| 24
|-style="background-color:#ddeeff;"
| 5||style='text-align:center;'| 5|| 4|| 1|| 1|| −1|| −1|| 1.61|| 3|| 2|| 6|| 26|| 8|| 24|| 48
|-
| 6||style='text-align:center;'| 2 · 3|| 2|| 2|| 2|| 1|| 1|| 0|| 3|| 4|| 12|| 50|| 0|| 24|| 96
|-style="background-color:#ddeeff;"
| 7||style='text-align:center;'| 7|| 6|| 1|| 1|| −1|| −1|| 1.95|| 4|| 2|| 8|| 50|| 0|| 0|| 64
|-
| 8||style='text-align:center;'| 2<sup>3</sup>|| 4|| 1|| 3|| −1|| 0|| 0.69|| 4|| 4|| 15|| 85|| 4|| 12|| 24
|-
| 9||style='text-align:center;'| 3<sup>2</sup>|| 6|| 1|| 2|| 1|| 0|| 1.10|| 4|| 3|| 13|| 91|| 4|| 30|| 104
|-
| 10||style='text-align:center;'| 2 · 5|| 4|| 2|| 2|| 1|| 1|| 0|| 4|| 4|| 18|| 130|| 8|| 24|| 144
|-style="background-color:#ddeeff;"
| 11||style='text-align:center;'| 11|| 10|| 1|| 1|| −1|| −1|| 2.40|| 5|| 2|| 12|| 122|| 0|| 24|| 96
|-
| 12||style='text-align:center;'| 2<sup>2</sup> · 3|| 4|| 2|| 3|| −1|| 0|| 0|| 5|| 6|| 28|| 210|| 0|| 8|| 96
|-style="background-color:#ddeeff;"
| 13||style='text-align:center;'| 13|| 12|| 1|| 1|| −1|| −1|| 2.56|| 6|| 2|| 14|| 170|| 8|| 24|| 112
|-
| 14||style='text-align:center;'| 2 · 7|| 6|| 2|| 2|| 1|| 1|| 0|| 6|| 4|| 24|| 250|| 0|| 48|| 192
|-
| 15||style='text-align:center;'| 3 · 5|| 8|| 2|| 2|| 1|| 1|| 0|| 6|| 4|| 24|| 260|| 0|| 0|| 192
|-
| 16||style='text-align:center;'| 2<sup>4</sup>|| 8|| 1|| 4|| 1|| 0|| 0.69|| 6|| 5|| 31|| 341|| 4|| 6|| 24
|-style="background-color:#ddeeff;"
| 17||style='text-align:center;'| 17|| 16|| 1|| 1|| −1|| −1|| 2.83|| 7|| 2|| 18|| 290|| 8|| 48|| 144
|-
| 18||style='text-align:center;'| 2 · 3<sup>2</sup>|| 6|| 2|| 3|| −1|| 0|| 0|| 7|| 6|| 39|| 455|| 4|| 36|| 312
|-style="background-color:#ddeeff;"
| 19||style='text-align:center;'| 19|| 18|| 1|| 1|| −1|| −1|| 2.94|| 8|| 2|| 20|| 362|| 0|| 24|| 160
|-
| 20||style='text-align:center;'| 2<sup>2</sup> · 5|| 8|| 2|| 3|| −1|| 0|| 0|| 8|| 6|| 42|| 546|| 8|| 24|| 144
|-
| 21||style='text-align:center;'| 3 · 7|| 12|| 2|| 2|| 1|| 1|| 0|| 8|| 4|| 32|| 500|| 0|| 48|| 256
|-
| 22||style='text-align:center;'| 2 · 11|| 10|| 2|| 2|| 1|| 1|| 0|| 8|| 4|| 36|| 610|| 0|| 24|| 288
|-style="background-color:#ddeeff;"
| 23||style='text-align:center;'| 23|| 22|| 1|| 1|| −1|| −1|| 3.14|| 9|| 2|| 24|| 530|| 0|| 0|| 192
|-
| 24||style='text-align:center;'| 2<sup>3</sup> · 3|| 8|| 2|| 4|| 1|| 0|| 0|| 9|| 8|| 60|| 850|| 0|| 24|| 96
|-
| 25||style='text-align:center;'| 5<sup>2</sup>|| 20|| 1|| 2|| 1|| 0|| 1.61|| 9|| 3|| 31|| 651|| 12|| 30|| 248
|-
| 26||style='text-align:center;'| 2 · 13|| 12|| 2|| 2|| 1|| 1|| 0|| 9|| 4|| 42|| 850|| 8|| 72|| 336
|-
| 27||style='text-align:center;'| 3<sup>3</sup>|| 18|| 1|| 3|| −1|| 0|| 1.10|| 9|| 4|| 40|| 820|| 0|| 32|| 320
|-
| 28||style='text-align:center;'| 2<sup>2</sup> · 7|| 12|| 2|| 3|| −1|| 0|| 0|| 9|| 6|| 56|| 1050|| 0|| 0|| 192
|-style="background-color:#ddeeff;"
| 29||style='text-align:center;'| 29|| 28|| 1|| 1|| −1|| −1|| 3.37|| 10|| 2|| 30|| 842|| 8|| 72|| 240
|-
| 30||style='text-align:center;'| 2 · 3 · 5|| 8|| 3|| 3|| −1|| −1|| 0|| 10|| 8|| 72|| 1300|| 0|| 48|| 576
|-style="background-color:#ddeeff;"
| 31||style='text-align:center;'| 31|| 30|| 1|| 1|| −1|| −1|| 3.43|| 11|| 2|| 32|| 962|| 0|| 0|| 256
|-
| 32||style='text-align:center;'| 2<sup>5</sup>|| 16|| 1|| 5|| −1|| 0|| 0.69|| 11|| 6|| 63|| 1365|| 4|| 12|| 24
|-
| 33||style='text-align:center;'| 3 · 11|| 20|| 2|| 2|| 1|| 1|| 0|| 11|| 4|| 48|| 1220|| 0|| 48|| 384
|-
| 34||style='text-align:center;'| 2 · 17|| 16|| 2|| 2|| 1|| 1|| 0|| 11|| 4|| 54|| 1450|| 8|| 48|| 432
|-
| 35||style='text-align:center;'| 5 · 7|| 24|| 2|| 2|| 1|| 1|| 0|| 11|| 4|| 48|| 1300|| 0|| 48|| 384
|-
| 36||style='text-align:center;'| 2<sup>2</sup> · 3<sup>2</sup>|| 12|| 2|| 4|| 1|| 0|| 0|| 11|| 9|| 91|| 1911|| 4|| 30|| 312
|-style="background-color:#ddeeff;"
| 37||style='text-align:center;'| 37|| 36|| 1|| 1|| −1|| −1|| 3.61|| 12|| 2|| 38|| 1370|| 8|| 24|| 304
|-
| 38||style='text-align:center;'| 2 · 19|| 18|| 2|| 2|| 1|| 1|| 0|| 12|| 4|| 60|| 1810|| 0|| 72|| 480
|-
| 39||style='text-align:center;'| 3 · 13|| 24|| 2|| 2|| 1|| 1|| 0|| 12|| 4|| 56|| 1700|| 0|| 0|| 448
|-
| 40||style='text-align:center;'| 2<sup>3</sup> · 5|| 16|| 2|| 4|| 1|| 0|| 0|| 12|| 8|| 90|| 2210|| 8|| 24|| 144
|-style="background-color:#ddeeff;"
| 41||style='text-align:center;'| 41|| 40|| 1|| 1|| −1|| −1|| 3.71|| 13|| 2|| 42|| 1682|| 8|| 96|| 336
|-
| 42||style='text-align:center;'| 2 · 3 · 7|| 12|| 3|| 3|| −1|| −1|| 0|| 13|| 8|| 96|| 2500|| 0|| 48|| 768
|-style="background-color:#ddeeff;"
| 43||style='text-align:center;'| 43|| 42|| 1|| 1|| −1|| −1|| 3.76|| 14|| 2|| 44|| 1850|| 0|| 24|| 352
|-
| 44||style='text-align:center;'| 2<sup>2</sup> · 11|| 20|| 2|| 3|| −1|| 0|| 0|| 14|| 6|| 84|| 2562|| 0|| 24|| 288
|-
| 45||style='text-align:center;'| 3<sup>2</sup> · 5|| 24|| 2|| 3|| −1|| 0|| 0|| 14|| 6|| 78|| 2366|| 8|| 72|| 624
|-
| 46||style='text-align:center;'| 2 · 23|| 22|| 2|| 2|| 1|| 1|| 0|| 14|| 4|| 72|| 2650|| 0|| 48|| 576
|-style="background-color:#ddeeff;"
| 47||style='text-align:center;'| 47|| 46|| 1|| 1|| −1|| −1|| 3.85|| 15|| 2|| 48|| 2210|| 0|| 0|| 384
|-
| 48||style='text-align:center;'| 2<sup>4</sup> · 3|| 16|| 2|| 5|| −1|| 0|| 0|| 15|| 10|| 124|| 3410|| 0|| 8|| 96
|-
| 49||style='text-align:center;'| 7<sup>2</sup>|| 42|| 1|| 2|| 1|| 0|| 1.95|| 15|| 3|| 57|| 2451|| 4|| 54|| 456
|-
| 50||style='text-align:center;'| 2 · 5<sup>2</sup>|| 20|| 2|| 3|| −1|| 0|| 0|| 15|| 6|| 93|| 3255|| 12|| 84|| 744
|-
| 51||style='text-align:center;'| 3 · 17|| 32|| 2|| 2|| 1|| 1|| 0|| 15|| 4|| 72|| 2900|| 0|| 48|| 576
|-
| 52||style='text-align:center;'| 2<sup>2</sup> · 13|| 24|| 2|| 3|| −1|| 0|| 0|| 15|| 6|| 98|| 3570|| 8|| 24|| 336
|-style="background-color:#ddeeff;"
| 53||style='text-align:center;'| 53|| 52|| 1|| 1|| −1|| −1|| 3.97|| 16|| 2|| 54|| 2810|| 8|| 72|| 432
|-
| 54||style='text-align:center;'| 2 · 3<sup>3</sup>|| 18|| 2|| 4|| 1|| 0|| 0|| 16|| 8|| 120|| 4100|| 0|| 96|| 960
|-
| 55||style='text-align:center;'| 5 · 11|| 40|| 2|| 2|| 1|| 1|| 0|| 16|| 4|| 72|| 3172|| 0|| 0|| 576
|-
| 56||style='text-align:center;'| 2<sup>3</sup> · 7|| 24|| 2|| 4|| 1|| 0|| 0|| 16|| 8|| 120|| 4250|| 0|| 48|| 192
|-
| 57||style='text-align:center;'| 3 · 19|| 36|| 2|| 2|| 1|| 1|| 0|| 16|| 4|| 80|| 3620|| 0|| 48|| 640
|-
| 58||style='text-align:center;'| 2 · 29|| 28|| 2|| 2|| 1|| 1|| 0|| 16|| 4|| 90|| 4210|| 8|| 24|| 720
|-style="background-color:#ddeeff;"
| 59||style='text-align:center;'| 59|| 58|| 1|| 1|| −1|| −1|| 4.08|| 17|| 2|| 60|| 3482|| 0|| 72|| 480
|-
| 60||style='text-align:center;'| 2<sup>2</sup> · 3 · 5|| 16|| 3|| 4|| 1|| 0|| 0|| 17|| 12|| 168|| 5460|| 0|| 0|| 576
|-style="background-color:#ddeeff;"
| 61||style='text-align:center;'| 61|| 60|| 1|| 1|| −1|| −1|| 4.11|| 18|| 2|| 62|| 3722|| 8|| 72|| 496
|-
| 62||style='text-align:center;'| 2 · 31|| 30|| 2|| 2|| 1|| 1|| 0|| 18|| 4|| 96|| 4810|| 0|| 96|| 768
|-
| 63||style='text-align:center;'| 3<sup>2</sup> · 7|| 36|| 2|| 3|| −1|| 0|| 0|| 18|| 6|| 104|| 4550|| 0|| 0|| 832
|-
| 64||style='text-align:center;'| 2<sup>6</sup>|| 32|| 1|| 6|| 1|| 0|| 0.69|| 18|| 7|| 127|| 5461|| 4|| 6|| 24
|-
| 65||style='text-align:center;'| 5 · 13|| 48|| 2|| 2|| 1|| 1|| 0|| 18|| 4|| 84|| 4420|| 16|| 96|| 672
|-
| 66||style='text-align:center;'| 2 · 3 · 11|| 20|| 3|| 3|| −1|| −1|| 0|| 18|| 8|| 144|| 6100|| 0|| 96|| 1152
|-style="background-color:#ddeeff;"
| 67||style='text-align:center;'| 67|| 66|| 1|| 1|| −1|| −1|| 4.20|| 19|| 2|| 68|| 4490|| 0|| 24|| 544
|-
| 68||style='text-align:center;'| 2<sup>2</sup> · 17|| 32|| 2|| 3|| −1|| 0|| 0|| 19|| 6|| 126|| 6090|| 8|| 48|| 432
|-
| 69||style='text-align:center;'| 3 · 23|| 44|| 2|| 2|| 1|| 1|| 0|| 19|| 4|| 96|| 5300|| 0|| 96|| 768
|-
| 70||style='text-align:center;'| 2 · 5 · 7|| 24|| 3|| 3|| −1|| −1|| 0|| 19|| 8|| 144|| 6500|| 0|| 48|| 1152
|-style="background-color:#ddeeff;"
| 71||style='text-align:center;'| 71|| 70|| 1|| 1|| −1|| −1|| 4.26|| 20|| 2|| 72|| 5042|| 0|| 0|| 576
|-
| 72||style='text-align:center;'| 2<sup>3</sup> · 3<sup>2</sup>|| 24|| 2|| 5|| −1|| 0|| 0|| 20|| 12|| 195|| 7735|| 4|| 36|| 312
|-style="background-color:#ddeeff;"
| 73||style='text-align:center;'| 73|| 72|| 1|| 1|| −1|| −1|| 4.29|| 21|| 2|| 74|| 5330|| 8|| 48|| 592
|-
| 74||style='text-align:center;'| 2 · 37|| 36|| 2|| 2|| 1|| 1|| 0|| 21|| 4|| 114|| 6850|| 8|| 120|| 912
|-
| 75||style='text-align:center;'| 3 · 5<sup>2</sup>|| 40|| 2|| 3|| −1|| 0|| 0|| 21|| 6|| 124|| 6510|| 0|| 56|| 992
|-
| 76||style='text-align:center;'| 2<sup>2</sup> · 19|| 36|| 2|| 3|| −1|| 0|| 0|| 21|| 6|| 140|| 7602|| 0|| 24|| 480
|-
| 77||style='text-align:center;'| 7 · 11|| 60|| 2|| 2|| 1|| 1|| 0|| 21|| 4|| 96|| 6100|| 0|| 96|| 768
|-
| 78||style='text-align:center;'| 2 · 3 · 13|| 24|| 3|| 3|| −1|| −1|| 0|| 21|| 8|| 168|| 8500|| 0|| 48|| 1344
|-style="background-color:#ddeeff;"
| 79||style='text-align:center;'| 79|| 78|| 1|| 1|| −1|| −1|| 4.37|| 22|| 2|| 80|| 6242|| 0|| 0|| 640
|-
| 80||style='text-align:center;'| 2<sup>4</sup> · 5|| 32|| 2|| 5|| −1|| 0|| 0|| 22|| 10|| 186|| 8866|| 8|| 24|| 144
|-
| 81||style='text-align:center;'| 3<sup>4</sup>|| 54|| 1|| 4|| 1|| 0|| 1.10|| 22|| 5|| 121|| 7381|| 4|| 102|| 968
|-
| 82||style='text-align:center;'| 2 · 41|| 40|| 2|| 2|| 1|| 1|| 0|| 22|| 4|| 126|| 8410|| 8|| 48|| 1008
|-style="background-color:#ddeeff;"
| 83||style='text-align:center;'| 83|| 82|| 1|| 1|| −1|| −1|| 4.42|| 23|| 2|| 84|| 6890|| 0|| 72|| 672
|-
| 84||style='text-align:center;'| 2<sup>2</sup> · 3 · 7|| 24|| 3|| 4|| 1|| 0|| 0|| 23|| 12|| 224|| 10500|| 0|| 48|| 768
|-
| 85||style='text-align:center;'| 5 · 17|| 64|| 2|| 2|| 1|| 1|| 0|| 23|| 4|| 108|| 7540|| 16|| 48|| 864
|-
| 86||style='text-align:center;'| 2 · 43|| 42|| 2|| 2|| 1|| 1|| 0|| 23|| 4|| 132|| 9250|| 0|| 120|| 1056
|-
| 87||style='text-align:center;'| 3 · 29|| 56|| 2|| 2|| 1|| 1|| 0|| 23|| 4|| 120|| 8420|| 0|| 0|| 960
|-
| 88||style='text-align:center;'| 2<sup>3</sup> · 11|| 40|| 2|| 4|| 1|| 0|| 0|| 23|| 8|| 180|| 10370|| 0|| 24|| 288
|-style="background-color:#ddeeff;"
| 89||style='text-align:center;'| 89|| 88|| 1|| 1|| −1|| −1|| 4.49|| 24|| 2|| 90|| 7922|| 8|| 144|| 720
|-
| 90||style='text-align:center;'| 2 · 3<sup>2</sup> · 5|| 24|| 3|| 4|| 1|| 0|| 0|| 24|| 12|| 234|| 11830|| 8|| 120|| 1872
|-
| 91||style='text-align:center;'| 7 · 13|| 72|| 2|| 2|| 1|| 1|| 0|| 24|| 4|| 112|| 8500|| 0|| 48|| 896
|-
| 92||style='text-align:center;'| 2<sup>2</sup> · 23|| 44|| 2|| 3|| −1|| 0|| 0|| 24|| 6|| 168|| 11130|| 0|| 0|| 576
|-
| 93||style='text-align:center;'| 3 · 31|| 60|| 2|| 2|| 1|| 1|| 0|| 24|| 4|| 128|| 9620|| 0|| 48|| 1024
|-
| 94||style='text-align:center;'| 2 · 47|| 46|| 2|| 2|| 1|| 1|| 0|| 24|| 4|| 144|| 11050|| 0|| 96|| 1152
|-
| 95||style='text-align:center;'| 5 · 19|| 72|| 2|| 2|| 1|| 1|| 0|| 24|| 4|| 120|| 9412|| 0|| 0|| 960
|-
| 96||style='text-align:center;'| 2<sup>5</sup> · 3|| 32|| 2|| 6|| 1|| 0|| 0|| 24|| 12|| 252|| 13650|| 0|| 24|| 96
|-style="background-color:#ddeeff;"
| 97||style='text-align:center;'| 97|| 96|| 1|| 1|| −1|| −1|| 4.57|| 25|| 2|| 98|| 9410|| 8|| 48|| 784
|-
| 98||style='text-align:center;'| 2 · 7<sup>2</sup>|| 42|| 2|| 3|| −1|| 0|| 0|| 25|| 6|| 171|| 12255|| 4|| 108|| 1368
|-
| 99||style='text-align:center;'| 3<sup>2</sup> · 11|| 60|| 2|| 3|| −1|| 0|| 0|| 25|| 6|| 156|| 11102|| 0|| 72|| 1248
|-
| 100||style='text-align:center;'| 2<sup>2</sup> · 5<sup>2</sup>|| 40|| 2|| 4|| 1|| 0|| 0|| 25|| 9|| 217|| 13671|| 12|| 30|| 744
|-
! ''n''!!गुणन !! {{phi}}(''n'') !! ''&omega;''(''n'') !! &Omega;(''n'') !! {{lambda}}(''n'') !! {{mu}}(''n'') !! {{Lambda}}(''n'') !! {{pi}}(''n'')!! {{sigma}}<sub>0</sub>(''n'')!! {{sigma}}<sub>1</sub>(''n'')!! {{sigma}}<sub>2</sub>(''n'')!! ''r''<sub>2</sub>(''n'')!! ''r''<sub>3</sub>(''n'')!! ''r''<sub>4</sub>(''n'')

|}

==टिप्पणियाँ==
{{Reflist|30em}}

== संदर्भ ==
* {{Citation
|title=Introduction to Analytic Number Theory
|author-link=Tom M. Apostol
|author=Tom M. Apostol
|year=1976
|publisher=Springer [[Undergraduate Texts in Mathematics]]
|isbn=0-387-90163-9
|url-access=registration
|url=https://archive.org/details/introductiontoan00apos_0
}}
* {{Citation |last       = Apostol
 |first      = Tom M.
 |author-link = Tom M. Apostol
 |title      = Modular Functions and Dirichlet Series in Number Theory (2nd Edition)
 |publisher  = Springer
 |location   = New York
 |year       = 1989
 |isbn       = 0-387-97127-0
 |url-access = registration
 |url        = https://archive.org/details/modularfunctions0000apos
}}
* {{citation | first1 = Paul T. | last1 = Bateman |author-link1=Paul T. Bateman | first2 = Harold G. | last2 = Diamond | year = 2004 | title = Analytic number theory, an introduction | publisher = [[World Scientific]]  | isbn = 978-981-238-938-1 }}
* {{citation
  | last1 = Cohen  | first1 = Henri |author-link=Henri Cohen (number theorist)
  | title = A Course in Computational Algebraic Number Theory
  | publisher = [[Springer Nature|Springer]]
  | location = Berlin
  | year = 1993
  | isbn = 3-540-55640-0}}
* {{cite book
  | last = Edwards
  | first = Harold
  | author-link = Harold Edwards (mathematician)
  | title = Fermat's Last Theorem
  | publisher = [[Springer Nature|Springer]]
  | location = New York
  | year = 1977
  | isbn = 0-387-90230-9}}
* {{Citation
  | author1-link = G. H. Hardy
  | last1 = Hardy  | first1 = G. H.
  | title = Ramanujan: Twelve Lectures on Subjects Suggested by his Life and work
  | publisher = AMS / Chelsea
  | location = Providence RI
  | year = 1999
  | isbn = 978-0-8218-2023-0| hdl = 10115/1436
  }}
* {{Hardy and Wright|edition=5th}}
* {{Citation
|title=The Prime Number Theorem
|first=G. J. O. | last=Jameson
|year=2003
|publisher=Cambridge University Press
|isbn=0-521-89110-8}}
* {{Citation
  | last1 = Koblitz | first1 = Neal
  | title = Introduction to Elliptic Curves and Modular Forms
  | publisher = Springer
  | location = New York
  | year = 1984
  | isbn = 0-387-97966-2}}
* {{citation
  | last1 = Landau | first1 = Edmund |author-link=Edmund Landau
  | title = Elementary Number Theory
  | publisher = Chelsea
  | location = New York
  | year = 1966}}
* {{Citation
|title=Fundamentals of Number Theory
|author=William J. LeVeque
|author-link=William J. LeVeque
|year=1996
|publisher=Courier Dover Publications
|isbn=0-486-68906-9}}
* {{citation | first1 = Calvin T. | last1 = Long | year = 1972 | title = Elementary Introduction to Number Theory | edition = 2nd | publisher = [[D. C. Heath and Company]] | location = Lexington | lccn = 77-171950 }}
* {{Citation
|title=Introduction to Mathematical Logic
|author=Elliott Mendelson
|year=1987
|publisher=CRC Press
|isbn=0-412-80830-7}}
*{{citation
  | last = Nagell  | first = Trygve |author-link=Trygve Nagell
  | title = Introduction to number theory (2nd Edition)
  | publisher = Chelsea
  | year = 1964
  | isbn = 978-0-8218-2833-5}}
* {{citation | first1 = Ivan M. | last1 = Niven|author-link1=Ivan M. Niven | first2 = Herbert S. | last2 = Zuckerman | year = 1972 | title = An introduction to the theory of numbers (3rd Edition) | publisher = [[John Wiley & Sons]]  | isbn = 0-471-64154-5 }}
* {{citation | first1 = Anthony J. | last1 = Pettofrezzo | first2 = Donald R. | last2 = Byrkit | year = 1970 | title = Elements of Number Theory | publisher = [[Prentice Hall]] | location = Englewood Cliffs | lccn = 77-81766 }}
* {{Citation
  | last1 = Ramanujan  | first1 = Srinivasa
  | title = Collected Papers
  | publisher = AMS / Chelsea
  | location = Providence RI
  | year = 2000
  | 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 | 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}}
* Matthew Holden, Michael Orrison, Michael Varble [https://web.archive.org/web/20160305132124/https://www.math.hmc.edu/~orrison/research/papers/totient.pdf Yet another Generalization of Euler's Totient Function]
* 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]
* 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}}

[[Category: अंकगणितीय कार्य | अंकगणितीय कार्य ]] [[Category: कार्य और मानचित्रण]] 



[[Category: Machine Translated Page]]
[[Category:Created On 30/05/2023]]
[[Category:Vigyan Ready]]