Sinc fourth-power integral

ID: sinc-fourth-power-integral

The triangular function on , zero elsewhere, has Fourier transform in the angular-frequency convention. Its squared L2 norm is . Parseval's identity therefore gives
This proves the displayed value. The removable value at zero is one, and the fourth-power decay bounds the tail. The sinc-squared integral follows similarly from a rectangular function rather than a triangle.

New to topics? Read the docs here!