En matemáticas , la integral diferencial de Weil es un operador definido en funciones integrables f del círculo unitario ( -periódico) con media cero (es decir, la integral de f sobre el período es 0). En otras palabras, la función f se puede expandir en una serie de Fourier :
donde , o:
,donde el símbolo denota la suma de todos los números naturales excepto el 0.
La integral de Weyl del orden se define en el desarrollo de la serie de Fourier como:
,y la derivada de Weyl del orden se define como:
.Por lo tanto, la integral diferencial de Weyl está completamente definida.
La condición es necesaria en estas definiciones, de lo contrario se produciría la división por 0.
Esta definición fue introducida por Hermann Weyl en 1917.