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