Let a weakly stationary random process correlation function and spectral measure .
Assuming is differentiable and are bounded by a constant for almost all , what is the correlation function and the spectral measure of ?
My main issue is with proving that is derivable. Do we need to show it is twice derivable to get the result?
Thanks in advance for your help.