Begin with the definitions
The time in the third equation is any time. The term H is a frequency cut-off function such as that in ../Fourier/Nyquist.pdf. Define the integral from t0 to t
For real d, D(-fm)=D*(fm) so that the second term in is the complex conjugate of the first making the integral real.