Van der Corput inequalities
Les inégalités de Van der Corput sont des estimations de la taille de sommes exponentielles de la forme somme de exp(2 i pi f(n)) pour n allant de 1 à N. Elles relient la taille de la somme aux propriétés de la fonction de phase f, notamment la taille de ses dérivées. Ces inégalités sont fondamentales en théorie analytique des nombres, en particulier dans l'étude des zéros de la fonction zêta de Riemann.
Contents
What you will learn
- Interpréter une somme exponentielle comme une addition de vecteurs complexes.
- Lire l'inégalité de corrélation et le rôle du décalage H.
- Refaire un exemple exact sur la phase quadratique n²/8.
- Reconnaître les hypothèses manquantes qui rendent un test de dérivée inapplicable.
- Distinguer les inégalités de la suite de Van der Corput.
In plain terms
Imaginez huit flèches de même longueur, chacune orientée par un angle. Si elles pointent presque toutes dans la même direction, leur somme est longue. Si leurs directions tournent, elles se compensent en partie. Une somme exponentielle traduit exactement cette addition de flèches.
Les inégalités de Van der Corput mesurent cette compensation sans devoir additionner chaque terme. Elles remplacent la phase initiale par ses variations entre termes voisins. Une phase qui varie de façon suffisamment contrôlée empêche généralement les flèches de rester alignées.
Definition
Pour un nombre réel t, on note . À une fonction réelle f, appelée phase, on associe la somme de N nombres complexes de module 1 :
Sans information sur f, l'inégalité triangulaire donne seulement une taille au plus égale à N.
Les inégalités de Van der Corput forment une famille d'estimations. Leur étape commune consiste à comparer la somme aux corrélations entre un terme et le terme décalé de h rangs. Pour une somme exponentielle, cette corrélation possède la phase différence f(n + h) − f(n), qui se comporte comme une dérivée discrète. Répéter ce procédé abaisse le degré d'une phase polynomiale.
Des versions dites de la première ou de la deuxième dérivée convertissent ensuite des hypothèses quantitatives sur f′ ou f″ en majorations de |SN|. La taille d'une dérivée ne suffit pas isolément : selon la version choisie, il faut aussi contrôler sa variation ou sa distance aux entiers. Les constantes et la forme exacte de la borne dépendent donc des hypothèses retenues.
The principle
Soient z1, …, zN des nombres complexes et H un entier compris entre 1 et N. Une forme de l'inégalité de Van der Corput affirme :
Avec zn = e(f(n)), la somme intérieure mesure la corrélation associée au décalage h. Une petite corrélation donne une meilleure borne que |SN| ≤ N, à condition de choisir H utilement.
When to use it
L'inégalité de corrélation s'applique à toute suite complexe finie dès que N et l'entier H, avec 1 ≤ H ≤ N, sont fixés. Pour obtenir une estimation non triviale, il faut ensuite majorer les sommes décalées. Dans le cas zn = e(f(n)), cela demande une phase réelle f et des informations adaptées sur ses différences ou, pour les tests continus, sur ses dérivées dans tout l'intervalle considéré.
Un contre-cas montre la précaution nécessaire : si f(n) = n, alors f′ vaut 1, mais e(f(n)) vaut toujours 1. La somme a donc la taille maximale N. Il ne suffit pas qu'une dérivée soit non nulle ; une version fondée sur f′ doit notamment tenir compte de sa proximité avec les entiers, ou il faut employer un autre test.
A step-by-step example
Prenons N = 8, la phase f(n) = n2/8 et zn = e(f(n)). Les huit termes ont tous le module 1. Le tracé des sommes successives montre quatre pas obliques identiques, deux pas vers la gauche et deux vers la droite.
1. Les carrés impairs valent 1 modulo 8, donc les quatre indices impairs apportent chacun e(1/8).
2. Les indices 2 et 6 apportent e(1/2) = −1 ; les indices 4 et 8 apportent 1.
3. Les quatre termes horizontaux s'annulent deux à deux.
2. Les indices 2 et 6 apportent e(1/2) = −1 ; les indices 4 et 8 apportent 1.
3. Les quatre termes horizontaux s'annulent deux à deux.
Le calcul exact devient :
La borne triviale 8 est donc divisée par deux.
4. Pour H = 2, la corrélation au décalage 1 vaut , donc |C1| = 1.
5. L'inégalité donne , soit |S8| ≤ 9/√2 ≈ 6,36. Le résultat exact 4 contrôle la borne.
5. L'inégalité donne , soit |S8| ≤ 9/√2 ≈ 6,36. Le résultat exact 4 contrôle la borne.
In practice
Pour une phase polynomiale, on examine ses différences successives. Si le degré baisse à chaque décalage, la méthode de Van der Corput transforme la somme initiale en sommes plus simples à estimer.
Quand une dérivée est contrôlée sur tout un intervalle, un test de dérivée peut éviter le calcul direct des corrélations. Si la dérivée approche un entier ou change de régime, on découpe plutôt l'intervalle en morceaux où les hypothèses restent valables.
En théorie analytique des nombres, ces bornes interviennent lorsque des sommes oscillantes apparaissent dans l'étude de la fonction zêta de Riemann. Elles fournissent des estimations intermédiaires ; elles ne localisent pas à elles seules les zéros de la fonction.
Not to be confused with
La suite de Van der Corput est une suite de points conçue pour se répartir régulièrement dans l'intervalle unité. Le critère qui tranche est l'objet étudié : des points pour la suite, une majoration de somme oscillante pour les inégalités. Une recherche portant sur la construction en base 2 vise la suite, pas la présente méthode.
Le lemme de Van der Corput pour les intégrales oscillantes estime une intégrale à partir de la phase et de ses dérivées. Il partage le mécanisme de compensation, mais la variable est continue. Une expression de la forme somme de n = 1 à N relève de la version discrète ; une intégrale relève du lemme continu.
Limits and pitfalls
Avec H = 1, la somme de corrélations disparaît et l'inégalité redonne essentiellement la borne triviale. Le paramètre H n'est donc pas décoratif : il doit équilibrer le facteur extérieur et la taille des corrélations disponibles.
Une grande dérivée ordinaire ne garantit pas l'oscillation des termes échantillonnés. La phase f(n) = n en est le cas charnière : tous les angles diffèrent d'un tour entier et tous les termes valent 1. Il faut contrôler la phase modulo 1, pas seulement sa variation sur la droite réelle.
Une notation avec un symbole de comparaison implicite cache une constante. Cette constante peut dépendre des bornes imposées aux dérivées, mais elle ne doit pas dépendre de N si l'énoncé prétend être uniforme. Avant d'appliquer une version, il faut vérifier exactement ses dépendances.
Une majoration peut être correcte sans être utile. Dans l'exemple, Van der Corput donne environ 6,36 contre la borne triviale 8, tandis que le calcul exact donne 4. Le symptôme est une borne du même ordre que N ; il faut alors optimiser H, itérer la différenciation ou choisir un test mieux adapté.
Further reading
La différenciation de Van der Corput peut être itérée : chaque nouvelle corrélation remplace la phase par une différence supplémentaire. Pour une phase polynomiale, cette descente finit par produire une phase de degré plus faible. L'enjeu avancé consiste alors à choisir les décalages et leurs longueurs pour que le gain obtenu dépasse le coût de chaque application.
Les tests de dérivées et la méthode de corrélation sont deux portes vers le même phénomène géométrique : la compensation de nombres complexes de module 1. Leur comparaison apprend surtout à reconnaître quelle information sur la phase est réellement disponible avant de choisir une borne.
Explore mathematics differently
Discover our magazines, podcasts and games to explore mathematics differently.
See our offers