Somme quadratique de Gauss

En théorie des nombres, une somme quadratique de Gauss est une certaine somme finie de racines de l'unité. Une somme quadratique de Gauss peut être interprétée comme une combinaison linéaire des valeurs de la fonction exponentielle complexe avec des coefficients donnés par un caractère quadratique ; pour un caractère général, on obtient une somme de Gauss plus générale. Ces objets sont nommés d'après Carl Friedrich Gauss, qui les a étudiés longuement et les a appliqués aux lois de réciprocité quadratique, cubique et Modèle:Lien.

Définition

Soit Modèle:Math un nombre premier impair et Modèle:Math un entier. Alors, la somme de Gauss Modèle:Math, Modèle:Math, est la somme de racines Modèle:Math-ièmes de l'unité suivante :

$g(a;p)=\sum _{n=0}^{p-1}{\mathrm{e}}^{2\pi \mathrm{i}a{n}^2/p}=\sum _{n=0}^{p-1}{\zeta }_p^{a{n}^2},{\zeta }_p={\mathrm{e}}^{2\pi \mathrm{i}/p}$.

Si Modèle:Math n'est pas divisible par Modèle:Math, une expression équivalente pour cette somme (que l'on trouve en évaluant $\sum _{n=0}^{p-1}(1+\left(\frac{n}{p}\right)){\zeta }_p^{an}$ de deux façons différentes) est

$G(a,\chi )=\sum _{n=0}^{p-1}\chi (n){\mathrm{e}}^{2\pi \mathrm{i}an/p}$.

Ici $\chi (n)=\left(\frac{n}{p}\right)$ est le symbole de Legendre, qui est un caractère quadratique Modèle:Math. Une formule analogue avec un caractère général Modèle:Math à la place du symbole de Legendre définit la somme de Gauss Modèle:Math.

Propriétés

• La valeur de la somme de Gauss est un entier algébrique dans la p-ième extension cyclotomique Q(ζ_p).
• L'évaluation de la somme de Gauss peut être réduite au cas Modèle:Math :

  $g(a;p)=\left(\frac{a}{p}\right)g(1;p)$.

• La valeur exacte de la somme de Gauss, calculée par Gauss, est donnée par la formule

  $g(1;p)=\sum _{n=0}^{p-1}{\mathrm{e}}^{2\pi \mathrm{i}{n}^2/p}=\{\begin{array}{cc}\sqrt{p}& p\equiv 1mod4\\ \mathrm{i}\sqrt{p}& p\equiv 3mod4.\end{array}$

L'égalité $g(a;p{)}^2=\left(\frac{-1}{p}\right)p$ était facile à démontrer et conduisit Gauss à l'une de ses démonstrations de la loi de réciprocité quadratique. Cependant, la détermination du signe de la somme de Gauss s'est révélée être beaucoup plus difficile : Gauss ne put établir ce résultat qu'après un travail de plusieurs années. Plus tard, Peter Gustav Lejeune Dirichlet, Leopold Kronecker, Issai Schur et d'autres mathématiciens en donnèrent des démonstrations différentes.

Sommes quadratiques de Gauss généralisées

Soit Modèle:Math, Modèle:Math et Modèle:Math des entiers naturels. La somme de Gauss généralisée Modèle:Math est définie par

$G(a,b,c)=\sum _{n=0}^{c-1}\exp \left(2\pi \mathrm{i}\frac{a{n}^2+bn}{c}\right)$.

La somme de Gauss classique est la somme $G(a,c)=G(a,0,c)$.

Propriétés

• La somme de Gauss G(a, b, c) ne dépend que des classes de a et b modulo c.
• Les sommes de Gauss sont multiplicatives au sens suivant : étant donnés des entiers naturels a, b, c et d tels que pgcd(c, d) = 1, on a

  G(a, b, cd) = G(ac, b, d)G(ad, b, c).

  C'est une conséquence directe du théorème des restes chinois.

• On a Modèle:Math si Modèle:Math sauf si Modèle:Math divise Modèle:Math, auquel cas on a

$G(a,b,c)=\mathrm{pgcd}(a,c)\cdot G(\frac{a}{\mathrm{pgcd}(a,c)},\frac{b}{\mathrm{pgcd}(a,c)},\frac{c}{\mathrm{pgcd}(a,c)})$.

Ainsi, dans l'évaluation des sommes quadratiques de Gauss, on peut toujours supposer pgcd(a, c) = 1.

• Soit Modèle:Math, Modèle:Math et Modèle:Math des entiers tels que $ac\ne 0$ et Modèle:Math pair. On a l'analogue suivant de la loi de réciprocité quadratique pour les sommes de Gauss (encore plus généralisées)

$\sum _{n=0}^{|c|-1}{\mathrm{e}}^{\pi \mathrm{i}(a{n}^2+bn)/c}=|c/a{|}^{1/2}{\mathrm{e}}^{\pi \mathrm{i}(|ac|-b^2)/(4ac)}\sum _{n=0}^{|a|-1}{\mathrm{e}}^{-\pi \mathrm{i}(c{n}^2+bn)/a}$.

• Soit ${\epsilon }_m:=\{\begin{array}{cc}1& m\equiv 1mod4\\ \mathrm{i}& m\equiv 3mod4\end{array}$ pour tout entier Modèle:Math impair.

Les valeurs des sommes de Gauss pour Modèle:Math et Modèle:Math sont explicitement données par la célèbre formule de Gauss :

$G(a,c)=G(a,0,c)=\{\begin{array}{cc}0& c\equiv 2mod4\\ {\epsilon }_c\sqrt{c}\left(\frac{a}{c}\right)& c\text{impair}\\ (1+i){\epsilon }_a^{-1}\sqrt{c}\left(\frac{c}{a}\right)& a\text{impair},4\mid c.\end{array}$

où $\left(\frac{a}{c}\right)$ est le symbole de Jacobi.

• Pour Modèle:Math, on peut calculer facilement les sommes de Gauss en complétant le carré, dans la plupart des cas. Cela échoue cependant dans certains cas (par exemple, quand Modèle:Math est pair et Modèle:Math est impair) qui peuvent être calculés relativement facilement par d'autres moyens. Par exemple, si Modèle:Math est impair et Modèle:Math, on a

$G(a,b,c)={\epsilon }_c\sqrt{c}\cdot \left(\frac{a}{c}\right){\mathrm{e}}^{-2\pi \mathrm{i}\psi (a)b^2/c}$

où $\psi (a)$ est un nombre tel que $4\psi (a)a\equiv 1modc$. Comme autre exemple, si 4 divise Modèle:Math et si Modèle:Math est impair et Modèle:Math, alors Modèle:Math. On peut par exemple le prouver comme suit : en raison de la propriété multiplicative des sommes de Gauss, il suffit de montrer que $G(a,b,2^n)=0$ si Modèle:Math et Modèle:Math sont impairs et Modèle:Math. Si Modèle:Math est impair, alors $a{n}^2+bn$ est pair pour tout $0\le n<c-1$. Par le lemme de Hensel, pour tout Modèle:Math, l'équation $a{n}^2+bn+q=0$ a au plus deux solutions dans $\mathbb{Z}/2^n\mathbb{Z}$. Par un argument de comptage, $a{n}^2+bnmodc$ prend exactement deux fois chaque valeur paire. La formule de la somme géométrique montre alors que $G(a,b,2^n)=0$.

• Si Modèle:Math est impair et sans facteur carré et Modèle:Math, alors

$G(a,0,c)=\sum _{n=0}^{c-1}\left(\frac{n}{c}\right){\mathrm{e}}^{2\pi \mathrm{i}an/c}$.

Si Modèle:Math n'est pas sans facteur carré, alors le membre de droite s'annule mais pas celui de gauche. Souvent, la somme de droite est aussi appelée une somme de Gauss quadratique.

• Une autre formule utile est

G(n, p^k) = pG(n, p^k-2)

si k ≥ 2 et p est un nombre premier impair ou si k ≥ 4 et p = 2.

Voir aussi

Articles connexes

• Période de Gauss
• Modèle:Lien
• Identité de Landsberg-Schaar

Bibliographie

• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Ouvrage