Which, if any, of the following functions defined on the integers is the autocovariance sequence of a weakly stationary time series?
(b) For a fixed a belong to (0, π)
s_(r)={( au ^(-1)sin(a au ) if au =±1,±2,....),(a if au =0).}
I have attached the solution please explain how we got the Sf and explain the calculation of when τ ≠ 0 of how and why did we equate tan⁻¹ sin aτ with the next term
When τ = 0,
e2πif·0S(f)df = 1/2
so a =
When τ ≠ 0,
S = τ^(-1) sin(aτ) =
2πif+S(f)af
2πτ
Hence {s_r} is an autocovariance sequence of a stationary time series.