The series defining the linear filter of a stationary time series converges in , because the norm of a tail is at most times the corresponding tail sum of . Its mean is the original mean times . Its covariance is time independent and equals
Under the summability assumption in (i),
We may therefore interchange all the sums. Setting in the Fourier series gives
The second factor is the conjugate of the first because the coefficients are real. Hence
This spectral density transformation under a linear filter also holds whenever the original spectral measure has a density, without covariance summability: insert its integral representation into the covariance double sum, justified by absolute summability of the filter coefficients.