Diferenciación de Weyl

Una técnica para acotar sumas exponenciales aplicando diferencias finitas (derivadas discretas) de forma reiterada a las fases complejas, reduciendo así el grado polinómico efectivo de la fase y exponiendo cancelación que conduce a cotas analíticas (p. ej. la desigualdad de Weyl).