The autocorrelation function of the output of a randomly phase-modulated oscillator with a nonlinear modulation characteristic

The autocorrelation function for the output signal of a phase-modulated oscillator is derived directly, without the use of series expansions. The modulation characteristic of the oscillator contains a quadratic non-linearity and the modulating signal is assumed to be a stationary Gaussian process.