Différenciation de Weyl

Une technique pour majorer des sommes exponentielles en appliquant à plusieurs reprises des différences finies (dérivées discrètes) aux phases complexes, réduisant ainsi le degré effectif polynomial de la phase et révélant de l'annulation qui donne des bornes analytiques (par exemple l'inégalité de Weyl).