வகுஎண் சார்பு
[[Image:Divisor.svg|thumb|right|''n''&amp;nbsp;=&amp;nbsp;250 வரையிலான வகுஎண் சார்பு σ&lt;sub&gt;0&lt;/sub&gt;(''n'')]]
 [[Image:Sigma function.svg|thumb|right|''n''&amp;nbsp;=&amp;nbsp;250 வரையிலான சிக்மா சார்பு σ&lt;sub&gt;1&lt;/sub&gt;(''n'')]]
 [[Image:Divisor square.svg|thumb|right|''n''&amp;nbsp;=&amp;nbsp;250 வரையிலான வகுஎண்களின் வர்க்கங்களின் கூடுதல் சார்பு σ&lt;sub&gt;2&lt;/sub&gt;(''n'')]]
 [[Image:Divisor cube.svg|thumb|right|''n''&amp;nbsp;=&amp;nbsp;250 வரையிலான வகுஎண்களின் கனங்களின் கூடுதல்சார்பு σ&lt;sub&gt;3&lt;/sub&gt;(''n'')]]
 [[எண் கோட்பாடு|எண்கோட்பாட்டில்]] '''வகுஎண் சார்பு''' (''divisor function'') என்பது ஒரு [[முழு எண்]]ணின் [[வகுஎண்]]களோடு தொடர்புடைய [[எண்கணிதச் சார்பு]] ஆகும் [[ரீமன் இசீட்டா சார்பியம்]] மீதான தொடர்புகள் உட்பட்ட பல முற்றொருமைகளில் இச்சார்பு பயன்படுத்தப்பட்டுள்ளது. [பல முக்கியமான [[சமானம், மாடுலோ n|சமானங்களையும்]] [[முற்றொருமை (கணிதம்)|முற்றொருமைகளயும்]] கணிதவியலில் கண்டுபிடித்த இந்தியக் கணிதவியலாளர் [[இராமானுசன்]] வகுஎண் சார்பு குறித்தும் ஆய்வு செய்துள்ளார். அதுகுறித்த விவரங்கள் [[இராமானுசன் கூட்டு]] கட்டுரையில் தரப்பட்டுள்ளது.
 
 ==வரையறை==
 ஒரு [[சிக்கலெண்]] ''x'' இன் '''நேர் வகுஎண்கள் கூட்டுச் சார்பு''' (''sum of positive divisors function'') σ&lt;sub&gt;''x''&lt;/sub&gt;(''n'') என்பது, ''n'' இன் நேர் வகுஎண்களின் ''x'' ஆவது [[அடுக்கேற்றம்|அடுக்குகளின்]] [[கூட்டுகை|கூட்டுத்தொகையாக]] வரையறுக்கப்படுகிறது. 
 
 இச்சார்பினை கீழுள்ளவாறு எழுதலாம்:
 :&lt;math&gt;\sigma_{x}(n)=\sum_{d|n} d^x\,\! ,&lt;/math&gt; (&lt;math&gt;{d|n}&lt;/math&gt; என்பது &quot;''n'' இன் வகுஎண் ''d''&quot; என்பதன் சுருக்கக் குறியீடு) 
 
 ''x'' = 0 எனும்போது கிடைக்கும் சார்பான σ&lt;sub&gt;0&lt;/sub&gt;(''n'') என்பது '''வகுஎண்களின் எண்ணிக்கைச் சார்பு''' ஆகும். அதாவது σ&lt;sub&gt;0&lt;/sub&gt;(''n''), ''n'' இன் வகுஎண்களின் எண்ணிக்கையைத் தருகிறது. ''d''(''n''), ν(''n''), τ(''n'') (ஜெர்மானிய மொழியில் வகுஎண் என்பதற்கான சொல் ''Teiler'') ஆகிய குறியீடுகளும் σ&lt;sub&gt;0&lt;/sub&gt;(''n'') ஐக் குறிக்கப் பயன்படுத்தப்படுகின்றன.&lt;ref name=&quot;Long 1972 46&quot;&gt;{{harvtxt|Long|1972|p=46}}&lt;/ref&gt;&lt;ref&gt;{{harvtxt|Pettofrezzo|Byrkit|1970|p=63}}&lt;/ref&gt; ({{OEIS2C|id=A000005}}). 
 
 ''x'' = 1 ஆக இருக்கும்போது இச்சார்பானது சிக்மா சார்பு (''sigma function'') அல்லது வகுஎண்களின் கூட்டுச் சார்பு (''sum-of-divisors function'') எனப்படுகிறது.&lt;ref name=&quot;Long 1972 46&quot;/&gt;&lt;ref&gt;{{harvtxt|Pettofrezzo|Byrkit|1970|p=58}}&lt;/ref&gt; இக்குறியீட்டில் கீழொட்டு இல்லாமலும் எழுதலாம்:
 :σ(''n'') = σ&lt;sub&gt;1&lt;/sub&gt;(''n'') ({{OEIS2C|id=A000203}}).
 
 ''n'' இன் [[தகு வகுஎண் சார்பு|தகு வகுஎண் கூட்டுச் சார்பு]] -''s''(''n''):
 
 இது ''n'' நீங்கலான அதன் பிற வகுஎண்களின் கூட்டுத்தொகையைக் குறிக்கும் சார்பு {{OEIS2C|id=A001065}}). 
 :''s''(''n'') = σ&lt;sub&gt;1&lt;/sub&gt;(''n'')&amp;nbsp;&amp;minus;&amp;nbsp;''n'' 
 
 தகு வகுஎண் கூட்டுச் சார்பைத் தொடர்ந்து செயற்படுத்துவதன் மூலம் ''n'' இன் [[தகு வகுஎண்களின் கூட்டுத் தொடர்முறை]]யைப் பெறலாம்.
 
 ==எடுத்துக்காட்டு==
 12 இன் வகுஎண்களின் எண்ணிக்கைச் சார்பு σ&lt;sub&gt;0&lt;/sub&gt;(12):
 : &lt;math&gt;
 \begin{align}
 \sigma_{0}(12) &amp; = 1^0 + 2^0 + 3^0 + 4^0 + 6^0 + 12^0 \\
 &amp; = 1 + 1 + 1 + 1 + 1 + 1 = 6,
 \end{align}
 &lt;/math&gt;
 
 12 இன் வகுஎண்களின் வர்க்கங்களின் கூட்டுச் சார்பு σ&lt;sub&gt;1&lt;/sub&gt;(12):
 : &lt;math&gt;
 \begin{align}
 \sigma_{1}(12) &amp; = 1^1 + 2^1 + 3^1 + 4^1 + 6^1 + 12^1 \\
 &amp; = 1 + 2 + 3 + 4 + 6 + 12 = 28,
 \end{align}
 &lt;/math&gt;
 
 12 இன் தகு வகுஎண்களின் கூட்டுத்தொகை:
 : &lt;math&gt;
 \begin{align}
 s(12) &amp; = 1^1 + 2^1 + 3^1 + 4^1 + 6^1 \\
 &amp; = 1 + 2 + 3 + 4 + 6 = 16.
 \end{align}
 &lt;/math&gt;
 
 ==அட்டவணை==
 {| class=&quot;wikitable&quot;
 |-
 ! ''n''
 ! வகுஎண்கள்
 ! σ&lt;sub&gt;0&lt;/sub&gt;(''n'')
 ! σ&lt;sub&gt;1&lt;/sub&gt;(''n'')
 ! ''s''(''n'')&amp;nbsp;=&amp;nbsp;σ&lt;sub&gt;1&lt;/sub&gt;(''n'')&amp;nbsp;&amp;minus;&amp;nbsp;''n''
 ! குறிப்பு
 |-
 ! 1
 | 1
 | 1
 | 1
 | 0
 | [[வர்க்கம் (கணிதம்)]]: σ&lt;sub&gt;0&lt;/sub&gt;(''n'') ஒற்றை; [[இரண்டின் அடுக்கு]]: s(''n'')&amp;nbsp;=&amp;nbsp;''n''&amp;nbsp;&amp;minus;&amp;nbsp;1 
 |-
 ! 2
 | 1, 2
 | 2
 | 3
 | 1
 | [[பகா எண்]]: σ&lt;sub&gt;1&lt;/sub&gt;(''n'') = 1 + ''n'' so s(''n'') = 1; இரண்டின் அடுக்கு: ''s''(''n'')&amp;nbsp;=&amp;nbsp;''n''&amp;nbsp;&amp;minus;&amp;nbsp;1 
 |-
 ! 3
 | 1, 3
 | 2
 | 4
 | 1
 | பகாஎண்: σ&lt;sub&gt;1&lt;/sub&gt;(''n'') = 1 + ''n'' so s(''n'') = 1
 |-
 ! 4
 | 1, 2, 4
 | 3
 | 7
 | 3
 | வர்க்க எண்: σ&lt;sub&gt;0&lt;/sub&gt;(''n'') ஒற்றையெண்; இரண்டின் அடுக்கு: ''s''(''n'')&amp;nbsp;=&amp;nbsp;''n''&amp;nbsp;&amp;minus;&amp;nbsp;1 (almost-perfect)
 |-
 ! 5
 | 1, 5
 | 2
 | 6
 | 1
 | பகாஎண்: σ&lt;sub&gt;1&lt;/sub&gt;(''n'') = 1 + ''n'' so s(''n'') = 1
 |-
 ! 6
 | 1, 2, 3, 6
 | 4
 | 12
 | 6
 | முதல் [[நிறைவெண் (கணிதம்)|நிறைவெண்]]: ''s''(''n'')&amp;nbsp;=&amp;nbsp;''n''
 |-
 ! 7
 | 1, 7
 | 2
 | 8
 | 1
 | பகாஎண்: σ&lt;sub&gt;1&lt;/sub&gt;(''n'') = 1 + ''n'' so s(''n'') = 1
 |-
 ! 8
 | 1, 2, 4, 8
 | 4
 | 15
 | 7
 | இரண்டின் 2: ''s''(''n'') = ''n'' &amp;minus; 1  
 |-
 ! 9
 | 1, 3, 9
 | 3
 | 13
 | 4
 | வர்க்க எண்: σ&lt;sub&gt;0&lt;/sub&gt;(''n'') ஒற்றையெண்
 |-
 ! 10
 | 1, 2, 5, 10
 | 4
 | 18
 | 8
 |
 |-
 ! 11
 | 1, 11
 | 2
 | 12
 | 1
 | பகாஎண்: σ&lt;sub&gt;1&lt;/sub&gt;(''n'') = 1 + ''n'' so s(''n'') = 1
 |-
 ! 12
 | 1, 2, 3, 4, 6, 12
 | 6
 | 28
 | 16
 | முதல் [[மிகையெண் (கணிதம்)]]: ''s''(''n'')&amp;nbsp;&gt;&amp;nbsp;''n''
 |-
 ! 13
 | 1, 13
 | 2
 | 14
 | 1
 | பகாஎண்: σ&lt;sub&gt;1&lt;/sub&gt;(''n'') = 1 + ''n'' so s(''n'') = 1
 |-
 ! 14
 | 1, 2, 7, 14
 | 4
 | 24
 | 10
 |
 |-
 ! 15
 | 1, 3, 5, 15
 | 4
 | 24
 | 9
 |
 |-
 ! 16
 | 1, 2, 4, 8, 16
 | 5
 | 31
 | 15
 | வர்க்க எண்: σ&lt;sub&gt;0&lt;/sub&gt;(''n'') ஒற்றையெண்; இரண்டின் அடுக்கு: ''s''(''n'')&amp;nbsp;=&amp;nbsp;''n''&amp;nbsp;&amp;minus;&amp;nbsp;1 
 |}
 
 ==பண்புகள்==
 :''n'' ஒரு வர்க்கமற்ற எண் எனில் அதன் ஒவ்வொரு வகுஎண் ''d'' , ''n'' இன் மற்றொரு வகுஎண் ''n''/''d'' இன் சோடியாக அமையும், &lt;math&gt;\sigma_{0}(n)&lt;/math&gt; இரட்டை எண்ணாக இருக்கும்.
 :''n'' ஒரு வர்க்க எண் எனில் அதன் ஒரு வகுஎண் (&lt;math&gt;\sqrt n&lt;/math&gt;) ''n'' இன் வேறெந்தவொரு வகுஎண்ணுடனும் சோடியாக அமையாது, &lt;math&gt;\sigma_{0}(n)&lt;/math&gt; ஒற்றை எண்ணாக இருக்கும். 
 : ''n'' வர்க்க எண்ணாகவோ அல்லது இரட்டை வர்க்க எண்ணாகவோ இருந்தால் மட்டுமே&lt;math&gt;\sigma_{1}(n)&lt;/math&gt; ஒற்றையெண்ணாக இருக்கும்.
 
 ''p'' ஒரு பகாஎண் எனில்,
 :&lt;math&gt;
 \begin{align}
 \sigma_0(p) &amp; = 2 \\ 
 \sigma_0(p^n) &amp; = n+1 \\
 \sigma_1(p) &amp; = p+1
 \end{align}
 &lt;/math&gt;
 
 :&lt;math&gt; \sigma_0(p_n\#) = 2^n \, &lt;/math&gt;
 :&lt;math&gt;1 &lt; \sigma_0(n) &lt; n&lt;/math&gt;; σ(''n'')&amp;nbsp;&gt;&amp;nbsp;''n'' (&amp;nbsp;''n''&amp;nbsp;&gt;&amp;nbsp;2)
 :&lt;math&gt;n = \prod_{i=1}^r p_i^{a_i}&lt;/math&gt; 
 
 ''r''&amp;nbsp;=&amp;nbsp;''&amp;omega;''(''n'') என்பது ''n'' இன் வெவ்வேறான [[பகாக் காரணி]]களின் எண்ணிக்கை, ''p&lt;sub&gt;i&lt;/sub&gt;'' - ''i'' ஆவது பகாகாரணி, ''n'' ஐ வகுக்கக்கூடிய  [[வகுஎண்]] ''p&lt;sub&gt;i&lt;/sub&gt;'' இன் அதிகபட்ச அடுக்கு ''a&lt;sub&gt;i&lt;/sub&gt;'' எனில்:
 :&lt;math&gt;\sigma_x(n) = \prod_{i=1}^{r} \frac{p_{i}^{(a_{i}+1)x}-1}{p_{i}^x-1}&lt;/math&gt;
 
 இம்முடிவு கீழ்வரும் வாய்பாடுக்குச் சமானமானது:
 :&lt;math&gt;
 \sigma_x(n) = \prod_{i=1}^r \sum_{j=0}^{a_i} p_i^{j x} = 
 \prod_{i=1}^r (1 + p_i^x + p_i^{2x} + \cdots + p_i^{a_i x}).
 &lt;/math&gt;
 
 ''x'' = 0 எனில் ''d''(''n'') :
 :&lt;math&gt;\sigma_0(n)=\prod_{i=1}^r (a_i+1).&lt;/math&gt;
 
 ''n'' = 24 எனில், 
 :இரு பகாக்காரணிகள் (''p&lt;sub&gt;1&lt;/sub&gt;'' = 2; ''p&lt;sub&gt;2&lt;/sub&gt;'' = 3) உள்ளன. 24 = 2&lt;sup&gt;3&lt;/sup&gt;×3&lt;sup&gt;1&lt;/sup&gt;. எனவே ''a''&lt;sub&gt;1&lt;/sub&gt; = 3; ''a''&lt;sub&gt;2&lt;/sub&gt; = 1.  
 :&lt;math&gt;\sigma_0(24)&lt;/math&gt; ஐக் கீழுள்ளவாறு கணக்கிடலாம்:
 : &lt;math&gt;
 \begin{align}
 \sigma_0(24) &amp; = \prod_{i=1}^{2} (a_i+1) \\
 &amp; = (3 + 1)(1 + 1) = 4 \times 2 = 8.
 \end{align}
 &lt;/math&gt;
 :24 இன் எட்டுக் காரணிகள்:
 :1, 2, 4, 8, 3, 6, 12, 24.
 
 :''s''(''n'') = ''&amp;sigma;''(''n'')&amp;nbsp;&amp;minus;&amp;nbsp;''n''. 
 :''s''(''n''), ''n'' இன் அனைத்து தகு வகுஎண்களின் கூட்டுத்தொகையைக் குறிக்கிறது. அதாவது ''n'' நீங்கலாக, ''n'' இன் மற்ற வகுஎண்களின் கூட்டுத்தொகையைத் தருகிறது. [[நிறைவெண் (கணிதம்)|நிறைவெண்களை]] அடையாளங்காண இச்சார்பு பயன்படுகிறது. 
 :''s''(''n'') =&amp;nbsp;''n'' எனில், ''n'' ஒரு நிறைவெண்  
 :''s''(''n'') &gt; ''n'' எனில், ''n'' ஒரு [[மிகையெண் (கணிதம்)|மிகையெண்]] 
 :''s''(''n'') &lt; ''n'' எனில், ''n'' ஒரு [[குறைவெண் (கணிதம்)|குறைவெண்]]
 
 ''n'' இரண்டின் அடுக்காக இருக்குமானால் (&lt;math&gt;n = 2^k&lt;/math&gt;):
 : &lt;math&gt;\sigma(n) = 2 \times 2^k - 1 = 2n - 1,&lt;/math&gt;  
 :&lt;math&gt;s(n) = n - 1&lt;/math&gt; இதனால் ''n'' ஒரு [[கிட்டத்தட்ட நிறைவெண்]]ணாக இருக்கும்.
 
 ==தொடர்களில்==
 வகுஎண் சார்பைக் கொண்டுள்ள இரு [[டிரிழ்ச்லெட் தொடர்]]கள்:
 
 *&lt;math&gt;\sum_{n=1}^\infty \frac{\sigma_{a}(n)}{n^s} = \zeta(s) \zeta(s-a)\quad\text{for}\quad s&gt;1,s&gt;a+1,&lt;/math&gt;
 
 இதிலிருந்து ''d''(''n'')&amp;nbsp;=&amp;nbsp;''&amp;sigma;''&lt;sub&gt;0&lt;/sub&gt;(''n''):
 : &lt;math&gt;\sum_{n=1}^\infty \frac{d(n)}{n^s} = \zeta^2(s)\quad\text{for}\quad s&gt;1,&lt;/math&gt;
 
 *&lt;math&gt;\sum_{n=1}^\infty \frac{\sigma_a(n)\sigma_b(n)}{n^s} = \frac{\zeta(s) \zeta(s-a) \zeta(s-b) \zeta(s-a-b)}{\zeta(2s-a-b)}.&lt;/math&gt;
 
 வகுஎண் சார்பைக் கொண்டுள்ள லாம்பெர்ட் தொடர்:
 :&lt;math&gt;\sum_{n=1}^\infty q^n \sigma_a(n) = \sum_{n=1}^\infty \frac{n^a q^n}{1-q^n}&lt;/math&gt; (குறிப்பிலா [[சிக்கலெண்|சிக்கலெண்]] |''q''|&amp;nbsp;≤&amp;nbsp;1 and&amp;nbsp;''a'')
 
 ==குறிப்புகள்==
 {{reflist}}
 
 == மேற்கோள்கள் ==
 *{{Citation|doi=10.4169/193009709X470128|first1=Amir|last1=Akbary|first2=Zachary|last2=Friggstad|title=Superabundant numbers and the Riemann hypothesis|url=http://webdocs.cs.ualberta.ca/~zacharyf/Papers/superabundant.pdf|journal=American Mathematical Monthly|volume=116|issue=3|year=2009|pages=273–275|accessdate=2016-08-03|archive-date=2014-04-11|archive-url=https://web.archive.org/web/20140411041855/http://webdocs.cs.ualberta.ca/~zacharyf/papers/superabundant.pdf|url-status=dead}}.
 * Eric Bach|Bach, Eric; Jeffrey Shallit|Shallit, Jeffrey, ''Algorithmic Number Theory'', volume 1, 1996, MIT Press.  {{ISBN|0-262-02405-5}}, see page 234 in section 8.8.
 * {{Citation | last1=Caveney | first1=Geoffrey | last2=Nicolas | first2=Jean-Louis|author2-link=Jean-Louis Nicolas | last3=Sondow | first3=Jonathan | title=Robin's theorem, primes, and a new elementary reformulation of the Riemann Hypothesis | url=http://www.integers-ejcnt.org/l33/l33.pdf | year=2011 | journal=INTEGERS: the Electronic Journal of Combinatorial Number Theory | volume=11 | pages=A33}}
 *{{Citation | last1=Choie | first1=YoungJu | author1-link= YoungJu Choie | last2=Lichiardopol | first2=Nicolas | last3=Moree | first3=Pieter | author3-link=Pieter Moree | last4=Solé | first4=Patrick | title=On Robin's criterion for the Riemann hypothesis | url=http://jtnb.cedram.org/item?id=JTNB_2007__19_2_357_0 | mr=2394891 | zbl=1163.11059 | arxiv=math.NT/0604314 | year=2007 | journal=Journal de théorie des nombres de Bordeaux | issn=1246-7405 | volume=19 | issue=2 | pages=357–372 | doi=10.5802/jtnb.591}}
 * {{Citation | last1=Grönwall | first1=Thomas Hakon | author1-link=Thomas Hakon Grönwall | title=Some asymptotic expressions in the theory of numbers | year=1913 | journal=Transactions of the American Mathematical Society | volume=14 | pages=113–122 | doi=10.1090/S0002-9947-1913-1500940-6}}
 * {{citation | last=Ivić | first=Aleksandar | title=The Riemann zeta-function. The theory of the Riemann zeta-function with applications | series=A Wiley-Interscience Publication | location=New York etc. | publisher=John Wiley &amp; Sons | year=1985 | isbn=0-471-80634-X | zbl=0556.10026 | pages=385–440 }}
 * {{Citation | last1=Lagarias | first1=Jeffrey C. | author1-link=Jeffrey C. Lagarias | title=An elementary problem equivalent to the Riemann hypothesis | doi=10.2307/2695443 | jstor=2695443 | mr=1908008 | year=2002 | journal=The American Mathematical Monthly | issn=0002-9890 | volume=109 | issue=6 | pages=534–543}}
 * {{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 = 77171950 }}
 * {{Citation | last=Ramanujan | first=Srinivasa | author-link=Srinivasa Ramanujan | title=Highly composite numbers, annotated by Jean-Louis Nicolas and Guy Robin | doi=10.1023/A:1009764017495 | mr=1606180 | year=1997 | journal=The Ramanujan Journal | issn=1382-4090 | volume=1 | issue=2 | pages=119–153}}
 * {{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 = 77081766 }}
 * {{Citation | last1=Robin | first1=Guy | title=Grandes valeurs de la fonction somme des diviseurs et hypothèse de Riemann | mr=774171 | year=1984 | journal=Journal de Mathématiques Pures et Appliquées|series= Neuvième Série | issn=0021-7824 | volume=63 | issue=2 | pages=187–213}}
 * {{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=[[கேம்பிறிட்ஜ் பல்கலைக்கழகப் பதிப்பகம்]] | isbn=978-0-521-17562-3 | year=2011 }}
 * {{mathworld|urlname=DivisorFunction|title=Divisor Function}}
 * {{mathworld|urlname=RobinsTheorem|title=Robin's Theorem}}
 * [http://mathstat.carleton.ca/~williams/papers/pdf/249.pdf Elementary Evaluation of Certain Convolution Sums Involving Divisor Functions] PDF of a paper by Huard, Ou, Spearman, and Williams. Contains elementary (i.e. not relying on the theory of modular forms) proofs of divisor sum convolutions, formulas for the number of ways of representing a number as a sum of triangular numbers, and related results.
 
 [[பகுப்பு:சார்புகளும் கோப்புகளும்]]