Cubic Weyl inequality

ID: cubic-weyl-inequality

If and with , the displayed estimate holds. Twice applying Weyl differencing bounds by . Group by and use the subpower bound for the divisor function. The reciprocal fractional-part sum near a rational bounds the resulting sum by . Take fourth roots, absorbing logarithms into when ; for larger the trivial bound suffices. Leiden lecture notes, Section 7.2 develop this cubic differencing estimate.

New to topics? Read the docs here!