Somme de Ramanujan

Modèle:Confusion En théorie des nombres, une branche des mathématiques, une somme de Ramanujan, habituellement notée c_q(n), est une fonction de deux variables entières q et n, avec q ≥ 1, définie par la formule :

$c_q(n)=\sum _{\genfrac{}{}{0ex}{}{a=1}{\mathrm{p}\mathrm{g}\mathrm{c}\mathrm{d}(a,q)=1}}^q{e}^{2\pi i\frac{a}{q}n}$,

où le pgcd est le plus grand commun diviseur. La somme est donc effectuée sur les classes de congruence inversibles modulo q.

Srinivasa Ramanujan fit une publication sur le sujet en 1918. Les sommes de Ramanujan interviennent de façon récurrente en théorie des nombres, par exemple dans la preuve du théorème de Vinogradov sur les sommes de trois nombres premiers.

Notations

Pour 2 nombres entiers a et b, $a\mid b$ se lit "a divise b", et signifie qu'il existe un entier c tel que b = ac. De même, $a\nmid b$ se lit "a ne divise pas b".

Le symbole de sommation

$\sum _{d\mid m}f(d)$

signifie que d passe par tous les diviseurs positifs de m, par ex.

$\sum _{d\mid 12}f(d)=f(1)+f(2)+f(3)+f(4)+f(6)+f(12).$

$(a,b)$ est le plus grand diviseur commun,

$\varphi (n)$ est l'indicatrice d'Euler,

$\mu (n)$ est la fonction de Möbius et

$\zeta (s)$ est la fonction zêta de Riemann.

Des formules pour c_q(n)

Formules trigonométriques

Ces formules proviennent de la formule d'Euler et des identités trigonométriques élémentaires.

$\begin{array}{cc}{c}_1(n)& =1\\ c_2(n)& =\cos n\pi =(-1{)}^n\\ c_3(n)& =2\cos \frac{2}{3}n\pi =j^n+j^{2n}\\ c_4(n)& =2\cos \frac{1}{2}n\pi =i^n+(-i{)}^n\\ c_5(n)& =2\cos \frac{2}{5}n\pi +2\cos \frac{4}{5}n\pi \\ c_6(n)& =2\cos \frac{1}{3}n\pi \\ c_7(n)& =2\cos \frac{2}{7}n\pi +2\cos \frac{4}{7}n\pi +2\cos \frac{6}{7}n\pi \\ c_8(n)& =2\cos \frac{1}{4}n\pi +2\cos \frac{3}{4}n\pi \\ c_9(n)& =2\cos \frac{2}{9}n\pi +2\cos \frac{4}{9}n\pi +2\cos \frac{8}{9}n\pi \\ c_{10}(n)& =2\cos \frac{1}{5}n\pi +2\cos \frac{3}{5}n\pi \\ \end{array}$

et ainsi de suite (Modèle:OEIS2C, Modèle:OEIS2C, Modèle:OEIS2C, Modèle:OEIS2C, Modèle:OEIS2C...). Cela montre que c_q(n) est toujours un nombre réel (algébrique, comme somme de racines de l'unité).

Formule de Kluyver

Posons ${\zeta }_q=e^{\frac{2\pi i}{q}}.$ Modèle:Formule est donc une solution de l'équation Modèle:Formule. Chacune de ses puissances ζ_q, ζ_q², ... ζ_q^q = ζ_q⁰ = 1 est également une solution, et puisque ces q nombres sont distincts, ce sont toutes les solutions de l'équation. Les ζ_qⁿ où 1 ≤ n ≤ q sont appelées les racines q-èmes de l'unité. Modèle:Formule est appelée une racine primitive, parce que la plus petite valeur de n telle que ζ_qⁿ = 1 est q. Les autres racines primitives sont les ${\zeta }_q^a$, où a et q sont premiers entre eux. Donc, il y a φ(q) racines primitives q-ièmes de l'unité.

La somme de Ramanujan c_q(n) est somme de puissances n-ièmes des racines primitives q-ièmes de l'unité.

Exemple. Supposons q = 12. Alors

ζ₁₂, ζ₁₂⁵, ζ₁₂⁷, et ζ₁₂¹¹ sont les racines primitives douzièmes de l'unité,

ζ₁₂² et ζ₁₂¹⁰ sont les racines primitives sixièmes de l'unité,

ζ₁₂³ = i et ζ₁₂⁹ = −i sont les racines primitives quatrièmes de l'unité,

ζ₁₂⁴ et ζ₁₂⁸ sont les racines primitives troisièmes de l'unité.

Par conséquent, si

${\eta }_q(n)=\sum _{k=1}^q{\zeta }_q^{kn}$

est la somme de la n-ième puissance de toutes les racines primitives et imprimitives,

${\eta }_q(n)=\sum _{d\mid q}{c}_d(n),$

on a par la formule d'inversion de Möbius,

$c_q(n)=\sum _{d\mid q}\mu \left(\frac{q}{d}\right){\eta }_d(n).$

Il résulte de l'identité x^q − 1 = (x − 1)(x^q-1 + x^q-2 + ... + x + 1) que

${\eta }_q(n)=\{\begin{array}{cc}0& \text{ si }q\nmid n\\ q& \text{ si }q\mid n\end{array}$

et cela conduit à la formule

$c_q(n)=\sum _{d\mid (q,n)}\mu \left(\frac{q}{d}\right)d$,

publiée par Kluyver en 1906.

Cela montre que c_q(n) est toujours un entier ; cette formule est analogue à la formule classique sur l'indicatrice d'Euler :

$\varphi (q)=\sum _{d\mid q}\mu \left(\frac{q}{d}\right)d.$

Fonction arithmétique de Von Sterneck

Il est facile de démontrer à partir de la définition que c_q(n) est multiplicative, lorsqu'elle est considérée comme une fonction de q pour une valeur fixe de n, c'est-à-dire que :

$\text{si }(q,r)=1\text{ alors }{c}_q(n)c_r(n)=c_{qr}(n).$

À partir de la définition (ou de la formule de Kluyver), il est facile de prouver que, si p est un nombre premier,

$c_p(n)=\{\begin{array}{cc}-1& \text{ si }p\nmid n\\ \varphi (p)& \text{ si }p\mid n\end{array},$

et si p^k est un nombre premier élevé à la puissance k où k > 1, alors :

$c_{p^k}(n)=\{\begin{array}{cc}0& \text{ si }{p}^{k-1}\nmid n\\ -p^{k-1}& \text{ si }{p}^{k-1}\mid n\text{ et }{p}^k\nmid n\\ \varphi (p^k)& \text{ si }{p}^k\mid n\end{array}.$

Ce résultat et la propriété multiplicative peuvent être utilisés pour montrer que

$c_q(n)=\mu \left(\frac{q}{(q,n)}\right)\frac{\varphi (q)}{\varphi \left(\frac{q}{(q,n)}\right)}.$

Cette expression est appelée la fonction arithmétique de von Sterneck. L'équivalence de cette fonction et de celle de Ramanujan est due à HölderModèle:,.

Autres propriétés de c_q(n)

Pour tous les entiers positifs q,

$c_1(q)=1,c_q(1)=\mu (q),\text{ et }{c}_q(q)=\varphi (q).$

$\text{si }m\equiv n(\mathrm{mod}q)\text{ alors }{c}_q(m)=c_q(n).$

Pour q fixé, les valeurs absolues des termes de la suite c_q(1), c_q(2), ... sont majorées par φ(q), et pour n fixé, les valeurs absolues des termes de la suite c₁(n), c₂(n), ... sont majorées par n.

Si q > 1

$\sum _{n=a}^{a+q-1}{c}_q(n)=0.$

Posant m = ppcm(m₁, m₂), les sommes de Ramanujan satisfont une propriété d'orthogonalité :

$\frac{1}{m}\sum _{k=1}^m{c}_{m_1}(k)c_{m_2}(k)=\{\begin{array}{cc}\varphi (m)& m_1=m_2=m,\\ 0& \text{sinon}\end{array}$

Supposez n, k > 0. Alors

$\sum _{\stackrel{d\mid n}{\gcd (d,k)=1}}d\frac{\mu (\frac{n}{d})}{\varphi (d)}=\frac{\mu (n)c_n(k)}{\varphi (n)},$

connu comme l'identité Brauer-Rademacher.

Si n > 0 et a est un entier, on a aussi

$\sum _{\stackrel{1\le k\le n}{\gcd (k,n)=1}}{c}_n(k-a)=\mu (n)c_n(a).$

Table

Somme de Ramanujan c_s(n)

		n
		1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20	21	22	23	24	25	26	27	28	29	30
s	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1
	2	−1	1	−1	1	−1	1	−1	1	−1	1	−1	1	−1	1	−1	1	−1	1	−1	1	−1	1	−1	1	−1	1	−1	1	−1	1
	3	−1	−1	2	−1	−1	2	−1	−1	2	−1	−1	2	−1	−1	2	−1	−1	2	−1	−1	2	−1	−1	2	−1	−1	2	−1	−1	2
	4	0	−2	0	2	0	−2	0	2	0	−2	0	2	0	−2	0	2	0	−2	0	2	0	−2	0	2	0	−2	0	2	0	−2
	5	−1	−1	−1	−1	4	−1	−1	−1	−1	4	−1	−1	−1	−1	4	−1	−1	−1	−1	4	−1	−1	−1	−1	4	−1	−1	−1	−1	4
	6	1	−1	−2	−1	1	2	1	−1	−2	−1	1	2	1	−1	−2	−1	1	2	1	−1	−2	−1	1	2	1	−1	−2	−1	1	2
	7	−1	−1	−1	−1	−1	−1	6	−1	−1	−1	−1	−1	−1	6	−1	−1	−1	−1	−1	−1	6	−1	−1	−1	−1	−1	−1	6	−1	−1
	8	0	0	0	−4	0	0	0	4	0	0	0	−4	0	0	0	4	0	0	0	−4	0	0	0	4	0	0	0	−4	0	0
	9	0	0	−3	0	0	−3	0	0	6	0	0	−3	0	0	−3	0	0	6	0	0	−3	0	0	−3	0	0	6	0	0	−3
	10	1	−1	1	−1	−4	−1	1	−1	1	4	1	−1	1	−1	−4	−1	1	−1	1	4	1	−1	1	−1	−4	−1	1	−1	1	4
	11	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	10	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	10	−1	−1	−1	−1	−1	−1	−1	−1
	12	0	2	0	−2	0	−4	0	−2	0	2	0	4	0	2	0	−2	0	−4	0	−2	0	2	0	4	0	2	0	−2	0	−4
	13	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	12	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	12	−1	−1	−1	−1
	14	1	−1	1	−1	1	−1	−6	−1	1	−1	1	−1	1	6	1	−1	1	−1	1	−1	−6	−1	1	−1	1	−1	1	6	1	−1
	15	1	1	−2	1	−4	−2	1	1	−2	−4	1	−2	1	1	8	1	1	−2	1	−4	−2	1	1	−2	−4	1	−2	1	1	8
	16	0	0	0	0	0	0	0	−8	0	0	0	0	0	0	0	8	0	0	0	0	0	0	0	−8	0	0	0	0	0	0
	17	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	16	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1
	18	0	0	3	0	0	−3	0	0	−6	0	0	−3	0	0	3	0	0	6	0	0	3	0	0	−3	0	0	−6	0	0	−3
	19	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	18	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1
	20	0	2	0	−2	0	2	0	−2	0	−8	0	−2	0	2	0	−2	0	2	0	8	0	2	0	−2	0	2	0	−2	0	−8
	21	1	1	−2	1	1	−2	−6	1	−2	1	1	−2	1	−6	−2	1	1	−2	1	1	12	1	1	−2	1	1	−2	−6	1	−2
	22	1	−1	1	−1	1	−1	1	−1	1	−1	−10	−1	1	−1	1	−1	1	−1	1	−1	1	10	1	−1	1	−1	1	−1	1	−1
	23	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	22	−1	−1	−1	−1	−1	−1	−1
	24	0	0	0	4	0	0	0	−4	0	0	0	−8	0	0	0	−4	0	0	0	4	0	0	0	8	0	0	0	4	0	0
	25	0	0	0	0	−5	0	0	0	0	−5	0	0	0	0	−5	0	0	0	0	−5	0	0	0	0	20	0	0	0	0	−5
	26	1	−1	1	−1	1	−1	1	−1	1	−1	1	−1	−12	−1	1	−1	1	−1	1	−1	1	−1	1	−1	1	12	1	−1	1	−1
	27	0	0	0	0	0	0	0	0	−9	0	0	0	0	0	0	0	0	−9	0	0	0	0	0	0	0	0	18	0	0	0
	28	0	2	0	−2	0	2	0	−2	0	2	0	−2	0	−12	0	−2	0	2	0	−2	0	2	0	−2	0	2	0	12	0	2
	29	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	−1	28	−1
	30	−1	1	2	1	4	−2	−1	1	2	−4	−1	−2	−1	1	−8	1	−1	−2	−1	−4	2	1	−1	−2	4	1	2	1	−1	8

Développements de Ramanujan

Si f(n) est une fonction arithmétique (c'est-à-dire une valeur complexe de la fonction des entiers ou des nombres naturels), alors une série infinie convergente de la forme :

$f(n)=\sum _{q=1}^{\mathrm{\infty }}{a}_q{c}_q(n)$

ou de la forme:

$f(q)=\sum _{n=1}^{\mathrm{\infty }}{a}_n{c}_q(n)$

où le Modèle:Formule, est appelé un développement de Ramanujan de f(n).

Ramanujan a trouvé les développements de beaucoup de fonctions bien connues de la théorie des nombres. Tous ces résultats sont prouvés de manière très "élémentaires" (c'est-à-dire uniquement à l'aide des manipulations de séries et de résultats simples sur la convergence)Modèle:,Modèle:,.

Le développement de la fonction nulle dépend d'un résultat de la théorie analytique des nombres premiers, à savoir que la série semi-convergente

$\sum _{n=1}^{\mathrm{\infty }}\frac{\mu (n)}{n}$

a pour valeur 0, et les résultats pour r(n) et r'(n) dépend de théorèmes publiés dans un document antérieur.

Toutes les formules présentées dans cette section sont tirées de la publication de Ramanujan de 1918.

Séries génératrices

Les séries génératrices des sommes de Ramanujan sont des séries de Dirichlet :

$\zeta (s)\sum _{\delta \mid q}\mu \left(\frac{q}{\delta }\right){\delta }^{1-s}=\sum _{n=1}^{\mathrm{\infty }}\frac{c_q(n)}{n^s}$

est une série génératrice de la séquence c_q(1), c_q(2), ... où q est maintenue constante, et

$\frac{{\sigma }_{r-1}(n)}{n^{r-1}\zeta (r)}=\sum _{q=1}^{\mathrm{\infty }}\frac{c_q(n)}{q^r}$

est une fonction génératrice de la séquence c₁(n), c₂(n), ..., où n est maintenu constant.

Il y a aussi la double série de Dirichlet

$\frac{\zeta (s)\zeta (r+s-1)}{\zeta (r)}=\sum _{q=1}^{\mathrm{\infty }}\sum _{n=1}^{\mathrm{\infty }}\frac{c_q(n)}{q^r{n}^s}.$

σ_k(n)

σ_k(n) est la somme de la k-ème puissance des diviseurs de n, y compris 1 et n. σ₀(n), le nombre de diviseurs de n, est généralement écrit d(n) et σ₁(n), la somme des diviseurs de n, est généralement écrit σ(n).

Si s > 0,

${\sigma }_s(n)=n^s\zeta (s+1)(\frac{c_1(n)}{1^{s+1}}+\frac{c_2(n)}{2^{s+1}}+\frac{c_3(n)}{3^{s+1}}+\dots )$

et

${\sigma }_{-s}(n)=\zeta (s+1)(\frac{c_1(n)}{1^{s+1}}+\frac{c_2(n)}{2^{s+1}}+\frac{c_3(n)}{3^{s+1}}+\dots ).$

Mettons s = 1, nous avons alors

$\sigma (n)=\frac{{\pi }^2}{6}n(\frac{c_1(n)}{1}+\frac{c_2(n)}{4}+\frac{c_3(n)}{9}+\dots ).$

Si l'hypothèse de Riemann est vraie, et

${\sigma }_s(n)=\zeta (1-s)(\frac{c_1(n)}{1^{1-s}}+\frac{c_2(n)}{2^{1-s}}+\frac{c_3(n)}{3^{1-s}}+\dots )=n^s\zeta (1+s)(\frac{c_1(n)}{1^{1+s}}+\frac{c_2(n)}{2^{1+s}}+\frac{c_3(n)}{3^{1+s}}+\dots ).$

d(n)

d(n) = σ₀(n) est le nombre de diviseurs de n, y compris 1 et n lui-même.

$\begin{array}{cc}-d(n)& =\frac{\log 1}{1}{c}_1(n)+\frac{\log 2}{2}{c}_2(n)+\frac{\log 3}{3}{c}_3(n)+\dots \\ -d(n)(2\gamma +\log n)& =\frac{{\log }^{2}1}{1}{c}_1(n)+\frac{{\log }^{2}2}{2}{c}_2(n)+\frac{{\log }^{2}3}{3}{c}_3(n)+\cdots \end{array}$

où γ = 0.5772... est la constante d'Euler-Mascheroni.

φ(n)

L'indicatrice d'Euler φ(n) est le nombre de nombres entiers positifs inférieurs à n et premiers entre eux à n. Ramanujan définit une généralisation si

$n=p_1^{a_1}{p}_2^{a_2}{p}_3^{a_3}\cdots$

est la factorisation premier de n, et s est un nombre complexe. Supposez

${\varphi }_s(n)=n^s(1-p_1^{-s})(1-p_2^{-s})(1-p_3^{-s})\cdots ,$

alors φ₁(n) = φ(n) est l'indicatrice d'Euler.

Il prouve que

$\frac{\mu (n)n^s}{{\varphi }_s(n)\zeta (s)}=\sum _{\nu =1}^{\mathrm{\infty }}\frac{\mu (n\nu )}{{\nu }^s}$

et il s'en sert pour montrer que

$\frac{{\varphi }_s(n)\zeta (s+1)}{n^s}=\frac{\mu (1)c_1(n)}{{\varphi }_{s+1}(1)}+\frac{\mu (2)c_2(n)}{{\varphi }_{s+1}(2)}+\frac{\mu (3)c_3(n)}{{\varphi }_{s+1}(3)}+\dots .$

Supposez s = 1,

$\varphi (n)=\frac{6}{{\pi }^2}n(c_1(n)-\frac{c_2(n)}{2^2-1}-\frac{c_3(n)}{3^2-1}-\frac{c_5(n)}{5^2-1}+\frac{c_6(n)}{(2^2-1)(3^2-1)}-\frac{c_7(n)}{7^2-1}+\frac{c_{10}(n)}{(2^2-1)(5^2-1)}-\dots ).$

Remarquez que la constante est l'inverse de un dans la formule pour σ(n).

Λ(n)

La fonction de Von Mangoldt Modèle:Formule sauf si n = p^k est une puissance d'un nombre premier, auquel cas c'est le logarithme naturel log p.

$-\mathrm{\Lambda }(m)=c_m(1)+\frac{1}{2}{c}_m(2)+\frac{1}{3}{c}_m(3)+\dots$

Zéro

Pour tout n > 0,

$0=c_1(n)+\frac{1}{2}{c}_2(n)+\frac{1}{3}{c}_3(n)+\dots .$

C'est l'équivalent du théorème des nombres premiersModèle:,.

r_2s(n) (somme des carrés)

r_2s(n) est le nombre de manière de représenter n comme somme de 2s carrés, en comptant les différents ordres et signes (par ex., r₂(13) = 8, 13 = (±2)² + (±3)² = (±3)² + (±2)².)

Ramanujan définit une fonction δ_2s(n) et la référence dans une publication, dans lequel il prouve que r_2s(n) = δ_2s(n) pour s = 1, 2, 3, et 4. Pour s> 4, il montre que δ_2s(n) est une bonne approximation de r_2s(n).

s = 1 a une formule spéciale:

${\delta }_2(n)=\pi (\frac{c_1(n)}{1}-\frac{c_3(n)}{3}+\frac{c_5(n)}{5}-\dots ).$

Dans les formules suivantes, les signes se répète avec une période de 4.

Si s ≡ 0 (mod 4),

${\delta }_{2s}(n)=\frac{{\pi }^s{n}^{s-1}}{(s-1)!}(\frac{c_1(n)}{1^s}+\frac{c_4(n)}{2^s}+\frac{c_3(n)}{3^s}+\frac{c_8(n)}{4^s}+\frac{c_5(n)}{5^s}+\frac{c_{12}(n)}{6^s}+\frac{c_7(n)}{7^s}+\frac{c_{16}(n)}{8^s}+\dots )$

Si s ≡ 2 (mod 4),

${\delta }_{2s}(n)=\frac{{\pi }^s{n}^{s-1}}{(s-1)!}(\frac{c_1(n)}{1^s}-\frac{c_4(n)}{2^s}+\frac{c_3(n)}{3^s}-\frac{c_8(n)}{4^s}+\frac{c_5(n)}{5^s}-\frac{c_{12}(n)}{6^s}+\frac{c_7(n)}{7^s}-\frac{c_{16}(n)}{8^s}+\dots )$

Si s ≡ 1 (mod 4) et s > 1,

${\delta }_{2s}(n)=\frac{{\pi }^s{n}^{s-1}}{(s-1)!}(\frac{c_1(n)}{1^s}+\frac{c_4(n)}{2^s}-\frac{c_3(n)}{3^s}+\frac{c_8(n)}{4^s}+\frac{c_5(n)}{5^s}+\frac{c_{12}(n)}{6^s}-\frac{c_7(n)}{7^s}+\frac{c_{16}(n)}{8^s}+\dots )$

Si s ≡ 3 (mod 4),

${\delta }_{2s}(n)=\frac{{\pi }^s{n}^{s-1}}{(s-1)!}(\frac{c_1(n)}{1^s}-\frac{c_4(n)}{2^s}-\frac{c_3(n)}{3^s}-\frac{c_8(n)}{4^s}+\frac{c_5(n)}{5^s}-\frac{c_{12}(n)}{6^s}-\frac{c_7(n)}{7^s}-\frac{c_{16}(n)}{8^s}+\dots )$

et donc,

$\begin{array}{cc}{r}_2(n)& =\pi (\frac{c_1(n)}{1}-\frac{c_3(n)}{3}+\frac{c_5(n)}{5}-\frac{c_7(n)}{7}+\frac{c_{11}(n)}{11}-\frac{c_{13}(n)}{13}+\frac{c_{15}(n)}{15}-\frac{c_{17}(n)}{17}+\cdots )\\ r_4(n)& ={\pi }^{2}n(\frac{c_1(n)}{1}-\frac{c_4(n)}{4}+\frac{c_3(n)}{9}-\frac{c_8(n)}{16}+\frac{c_5(n)}{25}-\frac{c_{12}(n)}{36}+\frac{c_7(n)}{49}-\frac{c_{16}(n)}{64}+\cdots )\\ r_6(n)& =\frac{{\pi }^3{n}^2}{2}(\frac{c_1(n)}{1}-\frac{c_4(n)}{8}-\frac{c_3(n)}{27}-\frac{c_8(n)}{64}+\frac{c_5(n)}{125}-\frac{c_{12}(n)}{216}-\frac{c_7(n)}{343}-\frac{c_{16}(n)}{512}+\cdots )\\ r_8(n)& =\frac{{\pi }^4{n}^3}{6}(\frac{c_1(n)}{1}+\frac{c_4(n)}{16}+\frac{c_3(n)}{81}+\frac{c_8(n)}{256}+\frac{c_5(n)}{625}+\frac{c_{12}(n)}{1296}+\frac{c_7(n)}{2401}+\frac{c_{16}(n)}{4096}+\cdots )\end{array}$

r'_2s(n) (sommes de nombres triangulaires)

r'_2s(n) est le nombre de façons de n peut être représenté comme la somme de 2s nombres triangulaires (c'est-à-dire le nombre 1, 3 = 1 + 2, 6 = 1 + 2 + 3, 10 = 1 + 2 + 3 + 4, 15, ...; le n-ième nombre triangulaire est donnée par la formule n(n + 1)/2.)

L'analyse ici est similaire à celle pour les carrés. Ramanujan se réfère à la même publication qu'il a écrit sur les carrées, où il a montré qu'il existe une fonction δ'_2s(n) tel que r'_2s(n) = δ'_2s(n) pour s = 1, 2, 3, et 4, et que pour s > 4, δ'_2s(n) est une bonne approximation de r'_2s(n).

Encore une fois, s = 1, il faut une formule spéciale:

$\delta {\text{'}}_2(n)=\frac{\pi }{4}(\frac{c_1(4n+1)}{1}-\frac{c_3(4n+1)}{3}+\frac{c_5(4n+1)}{5}-\frac{c_7(4n+1)}{7}+\dots ).$

Si s est un multiple de 4,

$\delta {\text{'}}_{2s}(n)=\frac{(\frac{\pi }{2}{)}^s}{(s-1)!}{(n+\frac{s}{4})}^{s-1}(\frac{c_1(n+\frac{s}{4})}{1^s}+\frac{c_3(n+\frac{s}{4})}{3^s}+\frac{c_5(n+\frac{s}{4})}{5^s}+\dots ).$

Si s est le double d'un nombre impair,

$\delta {\text{'}}_{2s}(n)=\frac{(\frac{\pi }{2}{)}^s}{(s-1)!}{(n+\frac{s}{4})}^{s-1}(\frac{c_1(2n+\frac{s}{2})}{1^s}+\frac{c_3(2n+\frac{s}{2})}{3^s}+\frac{c_5(2n+\frac{s}{2})}{5^s}+\dots ).$

Si s est un nombre impair et s > 1,

$\delta {\text{'}}_{2s}(n)=\frac{(\frac{\pi }{2}{)}^s}{(s-1)!}{(n+\frac{s}{4})}^{s-1}(\frac{c_1(4n+s)}{1^s}-\frac{c_3(4n+s)}{3^s}+\frac{c_5(4n+s)}{5^s}-\dots ).$

Par conséquent,

$\begin{array}{cc}r{\text{'}}_2(n)& =\frac{\pi }{4}(\frac{c_1(4n+1)}{1}-\frac{c_3(4n+1)}{3}+\frac{c_5(4n+1)}{5}-\frac{c_7(4n+1)}{7}+\dots )\\ r{\text{'}}_4(n)& ={\left(\frac{\pi }{2}\right)}^2(n+\frac{1}{2})(\frac{c_1(2n+1)}{1}+\frac{c_3(2n+1)}{9}+\frac{c_5(2n+1)}{25}+\dots )\\ r{\text{'}}_6(n)& =\frac{(\frac{\pi }{2}{)}^3}{2}{(n+\frac{3}{4})}^2(\frac{c_1(4n+3)}{1}-\frac{c_3(4n+3)}{27}+\frac{c_5(4n+3)}{125}-\dots )\\ r{\text{'}}_8(n)& =\frac{(\frac{1}{2}\pi {)}^4}{6}(n+1{)}^3(\frac{c_1(n+1)}{1}+\frac{c_3(n+1)}{81}+\frac{c_5(n+1)}{625}+\dots )\end{array}$

Sommes

Supposez

$\begin{array}{cc}{T}_q(n)& =c_q(1)+c_q(2)+\dots +c_q(n)\\ U_q(n)& =T_q(n)+\frac{1}{2}\varphi (q)\end{array}$

Ensuite, pour Modèle:Formule,

$\begin{array}{cc}{\sigma }_{-s}(1)+\cdots +{\sigma }_{-s}(n)& =\zeta (s+1)(n+\frac{T_2(n)}{2^{s+1}}+\frac{T_3(n)}{3^{s+1}}+\frac{T_4(n)}{4^{s+1}}+\dots )\\ & =\zeta (s+1)(n+\frac{1}{2}+\frac{U_2(n)}{2^{s+1}}+\frac{U_3(n)}{3^{s+1}}+\frac{U_4(n)}{4^{s+1}}+\cdots )-\frac{1}{2}\zeta (s)\\ d(1)+\cdots +d(n)& =-\frac{T_2(n)\log 2}{2}-\frac{T_3(n)\log 3}{3}-\frac{T_4(n)\log 4}{4}-\cdots ,\\ d(1)\log 1+\cdots +d(n)\log n& =-\frac{T_2(n)(2\gamma \log 2-{\log }^{2}2)}{2}-\frac{T_3(n)(2\gamma \log 3-{\log }^{2}3)}{3}-\frac{T_4(n)(2\gamma \log 4-{\log }^{2}4)}{4}-\cdots ,\\ r_2(1)+\cdots +r_2(n)& =\pi (n-\frac{T_3(n)}{3}+\frac{T_5(n)}{5}-\frac{T_7(n)}{7}+\cdots ).\end{array}$

Voir aussi

Bibliographie

• Modèle:En G. H. Hardy, Ramanujan: Twelve Lectures on Subjects Suggested by his Life and Work, AMS / Chelsea, 1999 Modèle:ISBN
• Modèle:En John Knopfmacher, Abstract Analytic Number Theory, Dover, 1990 Modèle:ISBN
• Modèle:En Melvyn B. Nathanson, Additive Number Theory: the Classical Bases, vol. 164 de Graduate Texts in Mathematics, 1996 Modèle:ISBN.
• Modèle:En C. A. Nicol, Some formulas involving Ramanujan sums, Canad. J. Math., vol. 14, 1962, Modèle:P. Modèle:DOI
• Modèle:En Srinivasa Ramanujan, On Certain Trigonometric Sums and their Applications in the Theory of Numbers, volume 22, issue 15 du journal Transactions of the Cambridge Philosophical Society, 1918, pages 259-276
• Modèle:En Srinivasa Ramanujan, « On Certain Arithmetical Functions », Transactions of the Cambridge Philosophical Society, vol. 22, Modèle:N°, 1916, Modèle:P.
• Modèle:En Ramanujan Srinivasa, Collected Papers, 2000 Modèle:ISBN
• Modèle:En Wolfgang Schwarz, Jürgen Spilker, Arithmetical Functions. An introduction to elementary and analytic properties of arithmetic functions and to some of their almost-periodic properties, 1994, Cambridge University Press Modèle:ISBN

Articles connexes

• Période de Gauss
• Somme de Gauss
• Somme de Kloosterman