One finds the autocorrelation function
where
J0 is a Bessel functionfD is the maximum Doppler shift
t is the time difference
Note that the correlation is a function of
where
d is the antenna displacement during t with d = v tl is the wavelength