sommes de Kloostermann
dans Arithmétique
Bonjour à tous !
J'aurais besoin d'une petite aide concernant un aspect purement calculatoire d'un exercice sur les sommes exponentielles.
Soit $p$ est un nombre premier impair, $n$ un entier non divisible par $p$ et $\alpha$ un entier positif.
Pour tout entier $h$ tel que $(h, p^\alpha)=1$, $\bar{h}$ représente toute solution de la congruence $h\bar{h} \equiv 1 \pmod {p^\alpha}$.
La somme de Kloostermann est alors définie par:
\begin{eqnarray}
A_{p^\alpha}(n) = \sideset{}{'}\sum_{h \pmod {p^\alpha}} \exp(2 \pi i n (h + \bar{h})/p^\alpha) \qquad (1.1)
\end{eqnarray}
L'apostrophe (') indique que l'indice de sommation parcours seulement un système réduit de résidus modulo $p^\alpha$…
Qualifiées d'"objets ésotériques" par certains auteurs, les sommes de Kloostermann peuvent se prêter à des calculs "élémentaires".
Si $\alpha=1$, on a la transformation:
\begin{equation}
A_p(n) = \sum_{r \pmod p} (r^2 - 4 \mid p) \exp(2 \pi i n r / p) \qquad (1.2)
\end{equation}
$(n \mid p)$ désignant le symbole de Legendre…
Mais quelqu'un sait-il comment on obtient l'égalité suivante:
\begin{equation}
A_p(n)= \sum_{r \pmod p} \quad \sideset{}{'} \sum_{\substack {h+ \bar{h} \equiv r \pmod p \\ h \pmod p}} \exp\big(2 \pi i n(h+\bar{h})/p\big) \qquad (1.3)
\end{equation}
Le corrigé (en anglais) de l'exercice indique que l'égalité ci-dessus a été obtenue en rassemblant dans l'égalité (1.1) les termes pour lesquels $h + \bar{h}$ a la même valeur $r$.
Mais cela reste assez flou. Si quelqu'un peut rajouter des précisions techniques ou à défaut d'explications, un exemple numérique concret pour illustrer cela…
Merci !
P.S: si $\alpha=1$, $A_p(n)$ n'est pas connue en général mais André Weil a obtenu $\mid A_p(n) \mid < 2p^{1/2}$…
J'aurais besoin d'une petite aide concernant un aspect purement calculatoire d'un exercice sur les sommes exponentielles.
Soit $p$ est un nombre premier impair, $n$ un entier non divisible par $p$ et $\alpha$ un entier positif.
Pour tout entier $h$ tel que $(h, p^\alpha)=1$, $\bar{h}$ représente toute solution de la congruence $h\bar{h} \equiv 1 \pmod {p^\alpha}$.
La somme de Kloostermann est alors définie par:
\begin{eqnarray}
A_{p^\alpha}(n) = \sideset{}{'}\sum_{h \pmod {p^\alpha}} \exp(2 \pi i n (h + \bar{h})/p^\alpha) \qquad (1.1)
\end{eqnarray}
L'apostrophe (') indique que l'indice de sommation parcours seulement un système réduit de résidus modulo $p^\alpha$…
Qualifiées d'"objets ésotériques" par certains auteurs, les sommes de Kloostermann peuvent se prêter à des calculs "élémentaires".
Si $\alpha=1$, on a la transformation:
\begin{equation}
A_p(n) = \sum_{r \pmod p} (r^2 - 4 \mid p) \exp(2 \pi i n r / p) \qquad (1.2)
\end{equation}
$(n \mid p)$ désignant le symbole de Legendre…
Mais quelqu'un sait-il comment on obtient l'égalité suivante:
\begin{equation}
A_p(n)= \sum_{r \pmod p} \quad \sideset{}{'} \sum_{\substack {h+ \bar{h} \equiv r \pmod p \\ h \pmod p}} \exp\big(2 \pi i n(h+\bar{h})/p\big) \qquad (1.3)
\end{equation}
Le corrigé (en anglais) de l'exercice indique que l'égalité ci-dessus a été obtenue en rassemblant dans l'égalité (1.1) les termes pour lesquels $h + \bar{h}$ a la même valeur $r$.
Mais cela reste assez flou. Si quelqu'un peut rajouter des précisions techniques ou à défaut d'explications, un exemple numérique concret pour illustrer cela…
Merci !
P.S: si $\alpha=1$, $A_p(n)$ n'est pas connue en général mais André Weil a obtenu $\mid A_p(n) \mid < 2p^{1/2}$…
Réponses
-
Pas grand-chose à dire de plus que ce qu'il y a dans le corrigé : il s'agit d'un changement de variable, évident ici vu la présence de la somme $h + \overline{h}$ où l'on souhaite passer de deux variables à une.
Exemple. $p=13$. Tu peux noter que $h + \overline{h} \bmod 13 \in \{0,1,2,4,9,11,12 \}$, $0$ étant pris une fois, $1$ deux fois, $2$ deux fois, $4$ deux fois, $9$ deux fois, $11$ une fois et $12$ deux fois. -
Merci pour ta réponse ! Ces sommes exponentielles sont nouvelles pour moi et des exemples concrets ne sont pas du luxe (me concernant …!)
Très bonne journée.
davidf… -
De rien, et bonne journée.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 52 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres