Somme de Dedekind

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 données par une fonction D de trois variables entières. Dedekind les a introduites pour exprimer l'équation fonctionnelle de la fonction eta de Dedekind. Elles ont été, par la suite, beaucoup étudiées dans la théorie des nombres et sont apparues dans certains problèmes de topologie. Les sommes de Dedekind obéissent à un grand nombre de relations sur elles-mêmes; cet article liste seulement une petite quantité de celles-ci.

[modifier] Définition

La somme de Dedekind est une fonction définie pour 2 entiers de la manière suivante:

$s(k,h)= \sum_{r=1}^{k-1}{\frac{r}{k}\left( \frac{hr}{k} - \left[ \frac{hr}{k}\right] - \frac{1}{2} \right)}$

[modifier] Propriétés

Si on pose $((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)=\sum_{r \mbox{ mod } k}{\left( \left( \frac{r}{k} \right) \right) \left( \left( \frac{hr}{k} \right) \right)}$ . Cele permet d'exploiter le fait que $((x))$ est périodique de période 1.

Si $h' \equiv \pm h [k] \,$ , alors $s(h',k) = \pm s(h,k)\,$ avec le même signe.
Si $h \bar{h} \equiv \pm 1 [k]$ , alors $s(\bar{h},k) = \pm s(h,k)$ .
Si $h^2 +1 \equiv 0 [k]\,$ , alors $s(h,k) = 0\,$ .

[modifier] Loi de réciprocité

Si $(h, k) = 1$ , alors:

$12hks(h,k) + 12hks(k,h)=h^2 + k^2 -3hk+1\,$

[modifier] Propriétés de congruence

Le nombre $6ks(h,k)\,$ est entier.
Si ( avec (.,.) désignant le Plus grand commun diviseur), on a:
- $12hks(k,h) \equiv 0 [\theta k]\,$
- $12hks(h,k) \equiv h^2 + 1 [\theta k]\,$