Flat-top kernel for density estimation ($\hat{K}(t)=1\text{ near }0$)

Choose a real even smooth compactly supported Fourier transform $\eta$ equal to one near zero and let $K$ be its inverse Fourier transform. Repeated integration by parts makes $K$ a Schwartz function. It is real, integrable and square-integrable, with unit integral. Moment differentiation of the Fourier transform gives $\int x^{j}K(x)dx=i^j{\eta }^{(j)}(0)=0$ for every positive integer $j$. Such a kernel for density estimation therefore satisfies arbitrary finite-order moment cancellation, and necessarily takes negative values. If the transform plateau contains the frequency support of a bandlimited function $f$, the convolution theorem proves $K\ast f=f$.

Let a bounded probability density function have Fourier transform supported in the plateau of a flat-top kernel for density estimation. At fixed smoothing bandwidth one, the convolution theorem gives $K\ast f=f$, so the kernel density estimator is pointwise unbiased. Its variance is at most $\Vert f{\Vert }_{\infty }\Vert K{\Vert }_2^2/n$, and the Cauchy-Schwarz inequality proves the displayed rate. An explicit example is $f(x)=(1-\cos x)/(\pi x^2)$, with value $1/(2\pi )$ at zero and transform $(1-|t|{)}_{+}$. Direct inverse Fourier integration gives the formula. The function is nonnegative, integrable and has integral one because its transform at zero is one. Compact frequency support also gives bounded derivatives of every order.