Ne doit pas être confondu avec Sommation de Ramanujan.
En théorie des nombres, une branche des mathématiques, une somme de Ramanujan, habituellement notée cq(n), est une fonction de deux variables entières q et n, avec q ≥ 1, définie par la formule :
,
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[1]. 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[2].
Notations
Pour 2 nombres entiers a et b,
se lit "a divise b", et signifie qu'il existe un entier c tel que b = ac. De même,
se lit "a ne divise pas b".
Le symbole de sommation
![{\displaystyle \sum _{d\,\mid \,m}f(d)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a54d0f7a8ed42f9ebc15d8bc9088a6bdf26c7bd)
signifie que d passe par tous les diviseurs positifs de m, par ex.
![{\displaystyle \sum _{d\,\mid \,12}f(d)=f(1)+f(2)+f(3)+f(4)+f(6)+f(12).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e9eb817a17500609fed83348160a87224c86d62)
est le plus grand diviseur commun,
est l'indicatrice d'Euler,
est la fonction de Möbius et
est la fonction zêta de Riemann.
Ces formules proviennent de la formule d'Euler et des identités trigonométriques élémentaires.
![{\displaystyle {\begin{aligned}c_{1}(n)&=1\\c_{2}(n)&=\cos n\pi =(-1)^{n}\\c_{3}(n)&=2\cos {\tfrac {2}{3}}n\pi =j^{n}+j^{2n}\\c_{4}(n)&=2\cos {\tfrac {1}{2}}n\pi =i^{n}+(-i)^{n}\\c_{5}(n)&=2\cos {\tfrac {2}{5}}n\pi +2\cos {\tfrac {4}{5}}n\pi \\c_{6}(n)&=2\cos {\tfrac {1}{3}}n\pi \\c_{7}(n)&=2\cos {\tfrac {2}{7}}n\pi +2\cos {\tfrac {4}{7}}n\pi +2\cos {\tfrac {6}{7}}n\pi \\c_{8}(n)&=2\cos {\tfrac {1}{4}}n\pi +2\cos {\tfrac {3}{4}}n\pi \\c_{9}(n)&=2\cos {\tfrac {2}{9}}n\pi +2\cos {\tfrac {4}{9}}n\pi +2\cos {\tfrac {8}{9}}n\pi \\c_{10}(n)&=2\cos {\tfrac {1}{5}}n\pi +2\cos {\tfrac {3}{5}}n\pi \\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a6f04f454bbc472f6ae58f8e0bd3ad0f7b191fa9)
et ainsi de suite (
A000012,
A033999,
A099837,
A176742,
A100051...). Cela montre que cq(n) est toujours un nombre réel (algébrique, comme somme de racines de l'unité).
Posons
ζq est donc une solution de l'équation xq − 1 = 0. Chacune de ses puissances ζq, ζq2, ... ζqq = ζq0 = 1 est également une solution, et puisque ces q nombres sont distincts, ce sont toutes les solutions de l'équation. Les ζqn où 1 ≤ n ≤ q sont appelées les racines q-èmes de l'unité. ζq est appelée une racine primitive, parce que la plus petite valeur de n telle que ζqn = 1 est q. Les autres racines primitives sont les
, 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 cq(n) est somme de puissances n-ièmes des racines primitives q-ièmes de l'unité[3].
Exemple. Supposons q = 12. Alors
- ζ12, ζ125, ζ127, et ζ1211 sont les racines primitives douzièmes de l'unité,
- ζ122 et ζ1210 sont les racines primitives sixièmes de l'unité,
- ζ123 = i et ζ129 = −i sont les racines primitives quatrièmes de l'unité,
- ζ124 et ζ128 sont les racines primitives troisièmes de l'unité.
Par conséquent, si
![{\displaystyle \eta _{q}(n)=\sum _{k=1}^{q}\zeta _{q}^{kn}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6577df5c26ba51f7c5d4c6d01d6c04a3bce9dc8e)
est la somme de la n-ième puissance de toutes les racines primitives et imprimitives,
![{\displaystyle \eta _{q}(n)=\sum _{d\,\mid \,q}c_{d}(n),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f623c4334f2e149ae5d9d68f5299cfe64aeebab2)
on a par la formule d'inversion de Möbius,
![{\displaystyle c_{q}(n)=\sum _{d\,\mid \,q}\mu \left({\frac {q}{d}}\right)\eta _{d}(n).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8750d577c0c8f80bbc9a8f6db2c31dc3ca690aa7)
Il résulte de l'identité xq − 1 = (x − 1)(xq-1 + xq-2 + ... + x + 1) que
![{\displaystyle \eta _{q}(n)={\begin{cases}0&\;{\mbox{ si }}q\nmid n\\q&\;{\mbox{ si }}q\mid n\\\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f2c3d28838d3435e8d196ba7016132d50aba7ad3)
et cela conduit à la formule
,
publiée par Kluyver en 1906[4].
Cela montre que cq(n) est toujours un entier ; cette formule est analogue à la formule classique sur l'indicatrice d'Euler :
![{\displaystyle \phi (q)=\sum _{d\,\mid \,q}\mu \left({\frac {q}{d}}\right)d.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ebfa0bb2b121a3f6e91b3ed28922a95bd39f3779)
Fonction arithmétique de Von Sterneck
Il est facile de démontrer à partir de la définition que cq(n) est multiplicative, lorsqu'elle est considérée comme une fonction de q pour une valeur fixe de n[5], c'est-à-dire que :
![{\displaystyle {\mbox{si }}\;(q,r)=1\;{\mbox{ alors }}\;c_{q}(n)c_{r}(n)=c_{qr}(n).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c01391d26037dae86aa3d7d75db14b04c018a9aa)
À partir de la définition (ou de la formule de Kluyver), il est facile de prouver que, si p est un nombre premier,
![{\displaystyle c_{p}(n)={\begin{cases}-1&{\mbox{ si }}p\nmid n\\\phi (p)&{\mbox{ si }}p\mid n\\\end{cases}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44fcd9295b0e086dba409ce1258679da0037ff98)
et si pk est un nombre premier élevé à la puissance k où k > 1, alors :
![{\displaystyle c_{p^{k}}(n)={\begin{cases}0&{\mbox{ si }}p^{k-1}\nmid n\\-p^{k-1}&{\mbox{ si }}p^{k-1}\mid n{\mbox{ et }}p^{k}\nmid n\\\phi (p^{k})&{\mbox{ si }}p^{k}\mid n\\\end{cases}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/20c522218e439dc8c348ba9d552c6bbe751422e7)
Ce résultat et la propriété multiplicative peuvent être utilisés pour montrer que
![{\displaystyle c_{q}(n)=\mu \left({\frac {q}{(q,n)}}\right){\frac {\phi (q)}{\phi \left({\frac {q}{(q,n)}}\right)}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3cb483284ac96f7978525a773688bc59add06ddf)
Cette expression est appelée la fonction arithmétique de von Sterneck[6]. L'équivalence de cette fonction et de celle de Ramanujan est due à Hölder[7],[8].
Autres propriétés de cq(n)
Pour tous les entiers positifs q,
![{\displaystyle c_{1}(q)=1,\;\;c_{q}(1)=\mu (q),\;{\mbox{ et }}\;c_{q}(q)=\phi (q).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0416988af402fb3ce21fab489693350a09b83bcf)
![{\displaystyle {\mbox{si }}m\equiv n{\pmod {q}}{\mbox{ alors }}c_{q}(m)=c_{q}(n).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8927cc43d6c8adb0aa004d17af98b39202797610)
Pour q fixé, les valeurs absolues des termes de la suite cq(1), cq(2), ... sont majorées par φ(q), et pour n fixé, les valeurs absolues des termes de la suite c1(n), c2(n), ... sont majorées par n.
Si q > 1
![{\displaystyle \sum _{n=a}^{a+q-1}c_{q}(n)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d6566ab1b7432c8aa4f23dc9a0faecad06eaf0d5)
Posant m = ppcm(m1, m2), les sommes de Ramanujan satisfont une propriété d'orthogonalité[9] :
![{\displaystyle {\frac {1}{m}}\sum _{k=1}^{m}c_{m_{1}}(k)c_{m_{2}}(k)={\begin{cases}\phi (m)&m_{1}=m_{2}=m,\\0&{\text{sinon}}\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/60ab95b82b860d8b99f805f37ae7e5af18f3a0fc)
Supposez n, k > 0. Alors[10]
![{\displaystyle \sum _{\stackrel {d\mid n}{\gcd(d,k)=1}}d\;{\frac {\mu ({\tfrac {n}{d}})}{\phi (d)}}={\frac {\mu (n)c_{n}(k)}{\phi (n)}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b405805087750f718c789fb231d0fe466e17b2b0)
connu comme l'identité Brauer-Rademacher.
Si n > 0 et a est un entier, on a aussi[11]
![{\displaystyle \sum _{\stackrel {1\leq k\leq n}{\gcd(k,n)=1}}c_{n}(k-a)=\mu (n)c_{n}(a).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/07bf335858e76520f1c16e8a343bdf77e6b2cd0e)
Table
Somme de Ramanujan cs(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 :
![{\displaystyle f(n)=\sum _{q=1}^{\infty }a_{q}c_{q}(n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/044ca5ee2af100ac8e078fc1611922b857501c85)
ou de la forme:
![{\displaystyle f(q)=\sum _{n=1}^{\infty }a_{n}c_{q}(n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2370e77cf1d90e1ab1b8d37f575632acf1f6e5ab)
où le ak ∈ C, est appelé un développement de Ramanujan[6] 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)[12],[13],[14].
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
![{\displaystyle \sum _{n=1}^{\infty }{\frac {\mu (n)}{n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ccc73e7a14a9c2cfa515c42ee84e5e635fa35d7d)
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[15].
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 :
![{\displaystyle \zeta (s)\sum _{\delta \,\mid \,q}\mu \left({\frac {q}{\delta }}\right)\delta ^{1-s}=\sum _{n=1}^{\infty }{\frac {c_{q}(n)}{n^{s}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/073018a1adfb1883a9d515866fbc2cb3ede48600)
est une série génératrice de la séquence cq(1), cq(2), ... où q est maintenue constante, et
![{\displaystyle {\frac {\sigma _{r-1}(n)}{n^{r-1}\zeta (r)}}=\sum _{q=1}^{\infty }{\frac {c_{q}(n)}{q^{r}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9984e7765e2499225a60f076553240563f46122e)
est une fonction génératrice de la séquence c1(n), c2(n), ..., où n est maintenu constant.
Il y a aussi la double série de Dirichlet
![{\displaystyle {\frac {\zeta (s)\zeta (r+s-1)}{\zeta (r)}}=\sum _{q=1}^{\infty }\sum _{n=1}^{\infty }{\frac {c_{q}(n)}{q^{r}n^{s}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6ca08acde858aa6915bc280af7bd76db4054ac9e)
σk(n)
σk(n) est la somme de la k-ème puissance des diviseurs de n, y compris 1 et n. σ0(n), le nombre de diviseurs de n, est généralement écrit d(n) et σ1(n), la somme des diviseurs de n, est généralement écrit σ(n).
Si s > 0,
![{\displaystyle \sigma _{s}(n)=n^{s}\zeta (s+1)\left({\frac {c_{1}(n)}{1^{s+1}}}+{\frac {c_{2}(n)}{2^{s+1}}}+{\frac {c_{3}(n)}{3^{s+1}}}+\dots \right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/942b5adccdec9419cf476c7ac2de186d4afda733)
et
![{\displaystyle \sigma _{-s}(n)=\zeta (s+1)\left({\frac {c_{1}(n)}{1^{s+1}}}+{\frac {c_{2}(n)}{2^{s+1}}}+{\frac {c_{3}(n)}{3^{s+1}}}+\dots \right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3f8cc3a9b82385a5a89a590f7241d54634ba28f7)
Mettons s = 1, nous avons alors
![{\displaystyle \sigma (n)={\frac {\pi ^{2}}{6}}n\left({\frac {c_{1}(n)}{1}}+{\frac {c_{2}(n)}{4}}+{\frac {c_{3}(n)}{9}}+\dots \right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26692934074956b2e433a89630120c2dba2f4fbd)
Si l'hypothèse de Riemann est vraie, et
![{\displaystyle \sigma _{s}(n)=\zeta (1-s)\left({\frac {c_{1}(n)}{1^{1-s}}}+{\frac {c_{2}(n)}{2^{1-s}}}+{\frac {c_{3}(n)}{3^{1-s}}}+\dots \right)=n^{s}\zeta (1+s)\left({\frac {c_{1}(n)}{1^{1+s}}}+{\frac {c_{2}(n)}{2^{1+s}}}+{\frac {c_{3}(n)}{3^{1+s}}}+\dots \right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/97e0f1d92432d052549391ea0c1d61a188c9b237)
d(n)
d(n) = σ0(n) est le nombre de diviseurs de n, y compris 1 et n lui-même.
![{\displaystyle {\begin{aligned}-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{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7198d2ef4a72b7e20865fea2c520c71fdbd8c24b)
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
![{\displaystyle n=p_{1}^{a_{1}}p_{2}^{a_{2}}p_{3}^{a_{3}}\cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a1b54ebbe2eace4cdd8f5593ff6e27766a6c70a)
est la factorisation premier de n, et s est un nombre complexe. Supposez
![{\displaystyle \phi _{s}(n)=n^{s}(1-p_{1}^{-s})(1-p_{2}^{-s})(1-p_{3}^{-s})\cdots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/011fe5d0d85da0587be5c1579889587320e216c6)
alors φ1(n) = φ(n) est l'indicatrice d'Euler[16].
Il prouve que
![{\displaystyle {\frac {\mu (n)n^{s}}{\phi _{s}(n)\zeta (s)}}=\sum _{\nu =1}^{\infty }{\frac {\mu (n\nu )}{\nu ^{s}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc946603d6db17cf10affd10b00d17b6f69f73bd)
et il s'en sert pour montrer que
![{\displaystyle {\frac {\phi _{s}(n)\zeta (s+1)}{n^{s}}}={\frac {\mu (1)c_{1}(n)}{\phi _{s+1}(1)}}+{\frac {\mu (2)c_{2}(n)}{\phi _{s+1}(2)}}+{\frac {\mu (3)c_{3}(n)}{\phi _{s+1}(3)}}+\dots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ea2d3ee1688ce79faa3a82f2440350b495362e3)
Supposez s = 1,
![{\displaystyle \phi (n)={\frac {6}{\pi ^{2}}}n\left(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 \right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00f95fad9b636683c2c15aa2a65660c90d51acb7)
Remarquez que la constante est l'inverse[17] de un dans la formule pour σ(n).
Λ(n)
La fonction de Von Mangoldt Λ(n) = 0 sauf si n = pk est une puissance d'un nombre premier, auquel cas c'est le logarithme naturel log p.
![{\displaystyle -\Lambda (m)=c_{m}(1)+{\frac {1}{2}}c_{m}(2)+{\frac {1}{3}}c_{m}(3)+\dots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0d1e762892ef290cf6a5bdc06a20eaae3b112b7)
Zéro
Pour tout n > 0,
![{\displaystyle 0=c_{1}(n)+{\frac {1}{2}}c_{2}(n)+{\frac {1}{3}}c_{3}(n)+\dots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c07e201e4f5310c68b4b678c48526960462e56b)
C'est l'équivalent du théorème des nombres premiers[18],[6].
r2s(n) (somme des carrés)
r2s(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., r2(13) = 8, 13 = (±2)2 + (±3)2 = (±3)2 + (±2)2.)
Ramanujan définit une fonction δ2s(n) et la référence dans une publication[15], dans lequel il prouve que r2s(n) = δ2s(n) pour s = 1, 2, 3, et 4. Pour s> 4, il montre que δ2s(n) est une bonne approximation de r2s(n).
s = 1 a une formule spéciale:
![{\displaystyle \delta _{2}(n)=\pi \left({\frac {c_{1}(n)}{1}}-{\frac {c_{3}(n)}{3}}+{\frac {c_{5}(n)}{5}}-\dots \right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0acd08befbb924e5178dd09b5f07cc7456fbf040)
Dans les formules suivantes, les signes se répète avec une période de 4.
Si s ≡ 0 (mod 4),
![{\displaystyle \delta _{2s}(n)={\frac {\pi ^{s}n^{s-1}}{(s-1)!}}\left({\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 \right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7b03bd008b36cf3741295dfe4775a95173839750)
Si s ≡ 2 (mod 4),
![{\displaystyle \delta _{2s}(n)={\frac {\pi ^{s}n^{s-1}}{(s-1)!}}\left({\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 \right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d9103a6beb1737024e59374c76e8550d513def53)
Si s ≡ 1 (mod 4) et s > 1,
![{\displaystyle \delta _{2s}(n)={\frac {\pi ^{s}n^{s-1}}{(s-1)!}}\left({\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 \right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d313285c591cfcb844460d5565de63e1c356a49c)
Si s ≡ 3 (mod 4),
![{\displaystyle \delta _{2s}(n)={\frac {\pi ^{s}n^{s-1}}{(s-1)!}}\left({\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 \right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/49943a00aa06beb4dafcb95bf8c5e34f7b400820)
et donc,
![{\displaystyle {\begin{aligned}r_{2}(n)&=\pi \left({\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 \right)\\r_{4}(n)&=\pi ^{2}n\left({\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 \right)\\r_{6}(n)&={\frac {\pi ^{3}n^{2}}{2}}\left({\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 \right)\\r_{8}(n)&={\frac {\pi ^{4}n^{3}}{6}}\left({\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 \right)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3fef275dc02dd6b1fe61d0a12ede02ac25eb5a45)
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:
![{\displaystyle \delta '_{2}(n)={\frac {\pi }{4}}\left({\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 \right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/454a8c6c1224a40a23bb504b8f264c9763204a17)
Si s est un multiple de 4,
![{\displaystyle \delta '_{2s}(n)={\frac {({\frac {\pi }{2}})^{s}}{(s-1)!}}\left(n+{\frac {s}{4}}\right)^{s-1}\left({\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 \right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/365dc8c2e62605bafbb4f78e8dd0c6df4dbd4091)
Si s est le double d'un nombre impair,
![{\displaystyle \delta '_{2s}(n)={\frac {({\frac {\pi }{2}})^{s}}{(s-1)!}}\left(n+{\frac {s}{4}}\right)^{s-1}\left({\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 \right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca8508d1e78c3cc3346d35b47dc84c18c376d20c)
Si s est un nombre impair et s > 1,
![{\displaystyle \delta '_{2s}(n)={\frac {({\frac {\pi }{2}})^{s}}{(s-1)!}}\left(n+{\frac {s}{4}}\right)^{s-1}\left({\frac {c_{1}(4n+s)}{1^{s}}}-{\frac {c_{3}(4n+s)}{3^{s}}}+{\frac {c_{5}(4n+s)}{5^{s}}}-\dots \right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e06d78d15925de5df148bcf30ce327b83c126f5)
Par conséquent,
![{\displaystyle {\begin{aligned}r'_{2}(n)&={\frac {\pi }{4}}\left({\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 \right)\\r'_{4}(n)&=\left({\tfrac {\pi }{2}}\right)^{2}\left(n+{\tfrac {1}{2}}\right)\left({\frac {c_{1}(2n+1)}{1}}+{\frac {c_{3}(2n+1)}{9}}+{\frac {c_{5}(2n+1)}{25}}+\dots \right)\\r'_{6}(n)&={\frac {({\tfrac {\pi }{2}})^{3}}{2}}\left(n+{\tfrac {3}{4}}\right)^{2}\left({\frac {c_{1}(4n+3)}{1}}-{\frac {c_{3}(4n+3)}{27}}+{\frac {c_{5}(4n+3)}{125}}-\dots \right)\\r'_{8}(n)&={\frac {({\frac {1}{2}}\pi )^{4}}{6}}(n+1)^{3}\left({\frac {c_{1}(n+1)}{1}}+{\frac {c_{3}(n+1)}{81}}+{\frac {c_{5}(n+1)}{625}}+\dots \right)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4901b3f0b8a6fc3f9876fd9992be10df0fbc6a93)
Sommes
Supposez
![{\displaystyle {\begin{aligned}T_{q}(n)&=c_{q}(1)+c_{q}(2)+\dots +c_{q}(n)\\U_{q}(n)&=T_{q}(n)+{\tfrac {1}{2}}\phi (q)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca24627f899659a1f31581539f465d3429ee399a)
Ensuite, pour s > 1,
![{\displaystyle {\begin{aligned}\sigma _{-s}(1)+\cdots +\sigma _{-s}(n)&=\zeta (s+1)\left(n+{\frac {T_{2}(n)}{2^{s+1}}}+{\frac {T_{3}(n)}{3^{s+1}}}+{\frac {T_{4}(n)}{4^{s+1}}}+\dots \right)\\&=\zeta (s+1)\left(n+{\tfrac {1}{2}}+{\frac {U_{2}(n)}{2^{s+1}}}+{\frac {U_{3}(n)}{3^{s+1}}}+{\frac {U_{4}(n)}{4^{s+1}}}+\cdots \right)-{\tfrac {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 \left(n-{\frac {T_{3}(n)}{3}}+{\frac {T_{5}(n)}{5}}-{\frac {T_{7}(n)}{7}}+\cdots \right).\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f1b850014270d42ba287758fddc37ed2fac304a)
Notes et références
(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé
« Ramanujan's sum » (voir la liste des auteurs).
- ↑ Ramanujan, « On Certain Trigonometric Sums ».
- ↑ Nathanson, ch. 8.
- ↑ Hardy & Wright, Thms 65, 66
- ↑ G. H. Hardy, P. V. Seshu Aiyar et B. M. Wilson, notes to On certain trigonometrical sums.
- ↑ Schwarz & Spilken (1994) p. 16
- ↑ a b et c B. Berndt, commentary to On certain trigonometrical sums.
- ↑ Knopfmacher, p. 196
- ↑ Hardy & Wright, p. 243
- ↑ Tóth, external links, eq. 6
- ↑ Tóth, external links, eq. 17.
- ↑ Tóth, external links, eq. 8.
- ↑ Ramanujan, On certain trigonometrical sums.
- ↑ La théorie formelle des séries de Dirichlet est abordée dans Hardy & Wright, § 17.6 et dans Knopfmacher.
- ↑ Knopfmacher, ch. 7, aborde les développements de Ramanujan comme un cas particulier de développement de Fourier dans un espace muni d'un produit scalaire pour lequel les fonctions cq sont une base orthonormée.
- ↑ a et b Ramanujan, On Certain Arithmetical Functions
- ↑ C'est la fonction totient de Jordan, Js(n).
- ↑ Cf. Hardy & Wright, Thm. 329, which states that
- ↑ Hardy, Ramanujan, p. 141
Voir aussi
Bibliographie
- (en) G. H. Hardy, Ramanujan: Twelve Lectures on Subjects Suggested by his Life and Work, AMS / Chelsea, 1999 (ISBN 978-0-8218-2023-0)
- (en) John Knopfmacher, Abstract Analytic Number Theory, Dover, 1990 (ISBN 0-486-66344-2)
- (en) Melvyn B. Nathanson, Additive Number Theory: the Classical Bases, vol. 164 de Graduate Texts in Mathematics, 1996 (ISBN 0-387-94656-X).
- (en) C. A. Nicol, Some formulas involving Ramanujan sums, Canad. J. Math., vol. 14, 1962, p. 284-286 DOI 10.4153/CJM-1962-019-8
- (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
- (en) Srinivasa Ramanujan, « On Certain Arithmetical Functions », Transactions of the Cambridge Philosophical Society, vol. 22, no 9, 1916, p. 159-184
- (en) Ramanujan Srinivasa, Collected Papers, 2000 (ISBN 978-0-8218-2076-6)
- (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 (ISBN 0-521-42725-8)
Articles connexes
Portail des mathématiques