Un article de Wikipédia, l'encyclopédie libre.
En mathématiques , les sommes de Dedekind , nommées ainsi en l'honneur du mathématicien Richard Dedekind , sont certaines sommes de produits d'une fonction en dents de scie s , et sont fonction de deux variables entières. Dedekind les a introduites pour exprimer l'équation fonctionnelle de la fonction êta de Dedekind . Elles ont été, par la suite, beaucoup étudiées en théorie des nombres et sont apparues dans certains problèmes de topologie . Les sommes de Dedekind sont reliées entre elles par de nombreuses équations, dont cet article ne liste qu'une partie.
La somme de Dedekind est une fonction définie pour deux entiers de la manière suivante :
s
(
k
,
h
)
=
∑
r
=
1
k
−
1
r
k
(
h
r
k
−
[
h
r
k
]
−
1
2
)
.
{\displaystyle s(k,h)=\sum _{r=1}^{k-1}{{\frac {r}{k}}\left({\frac {hr}{k}}-\left[{\frac {hr}{k}}\right]-{\frac {1}{2}}\right)}.}
Si l'on pose
(
(
x
)
)
=
{
x
−
[
x
]
−
1
/
2
si
x
n
′
est pas entier
0
sinon,
{\displaystyle ((x))={\begin{cases}x-[x]-1/2&{\mbox{si }}x{\mbox{ n}}'{\mbox{est pas entier}}\\0&{\mbox{sinon, }}\end{cases}}}
on peut écrire que
s
(
h
,
k
)
=
∑
r
mod
k
(
(
r
k
)
)
(
(
h
r
k
)
)
.
{\displaystyle s(h,k)=\sum _{r{\mbox{ mod }}k}{\left(\left({\frac {r}{k}}\right)\right)\left(\left({\frac {hr}{k}}\right)\right)}.}
Cela permet d'exploiter le fait que
(
(
x
)
)
{\displaystyle ((x))}
est périodique de période 1.
Si
h
′
≡
±
h
[
k
]
{\displaystyle h'\equiv \pm h[k]}
, alors
s
(
h
′
,
k
)
=
±
s
(
h
,
k
)
{\displaystyle s(h',k)=\pm s(h,k)}
avec le même signe.
Si
h
h
¯
≡
±
1
[
k
]
{\displaystyle h{\bar {h}}\equiv \pm 1[k]}
, alors
s
(
h
¯
,
k
)
=
±
s
(
h
,
k
)
{\displaystyle s({\bar {h}},k)=\pm s(h,k)}
.
Si
h
2
+
1
≡
0
[
k
]
{\displaystyle h^{2}+1\equiv 0[k]}
, alors
s
(
h
,
k
)
=
0
{\displaystyle s(h,k)=0}
.
Si h et k sont premiers entre eux , alors :
12
h
k
(
s
(
h
,
k
)
+
s
(
k
,
h
)
)
=
h
2
+
k
2
−
3
h
k
+
1.
{\displaystyle 12hk{\Big (}s(h,k)+s(k,h){\Big )}=h^{2}+k^{2}-3hk+1.}
Le nombre
6
k
s
(
h
,
k
)
{\displaystyle 6ks(h,k)}
est entier.
Si
θ
=
(
3
,
k
)
{\displaystyle \theta =(3,k)}
(avec (.,.) désignant le plus grand commun diviseur ), on a :
12
h
k
s
(
k
,
h
)
≡
0
[
θ
k
]
{\displaystyle 12hks(k,h)\equiv 0[\theta k]}
12
h
k
s
(
h
,
k
)
≡
h
2
+
1
[
θ
k
]
{\displaystyle 12hks(h,k)\equiv h^{2}+1[\theta k]}
On a aussi :
12
k
s
(
h
,
k
)
≡
(
k
−
1
)
(
k
+
2
)
−
4
h
(
k
−
1
)
+
4
∑
r
<
k
/
2
[
2
h
r
k
]
mod
8.
{\displaystyle 12ks(h,k)\equiv (k-1)(k+2)-4h(k-1)+4\sum _{r<k/2}{\left[{\frac {2hr}{k}}\right]}{\mbox{ mod }}8.}
Si k = 2λ k 1 et k 1 impair, alors pour tout h impair :
12
h
k
s
(
h
,
k
)
≡
h
2
+
k
2
+
+
5
k
−
4
k
∑
v
<
h
/
2
[
2
k
v
h
]
mod
2
λ
+
3
.
{\displaystyle 12hks(h,k)\equiv h^{2}+k^{2}++5k-4k\sum _{v<h/2}{\left[{\frac {2kv}{h}}\right]}{\mbox{ mod }}2^{\lambda +3}.}
Enfin, si q vaut 3, 5, 7 ou 13 et que r = 24/(q –1) . Choisissons les entiers a , b , c et d tels que ad–bc = 1 et c = qc 1 et posons :
δ
=
(
s
(
a
,
c
)
−
a
+
d
12
c
)
−
(
s
(
a
,
c
1
)
−
a
+
d
12
c
1
)
.
{\displaystyle \delta =\left(s(a,c)-{\frac {a+d}{12c}}\right)-\left(s(a,c_{1})-{\frac {a+d}{12c_{1}}}\right).}
Alors δr est un entier pair .
(en) Tom Apostol , Modular Functions and Dirichlet Series in Number Theory , Springer-Verlag