Doppler frequency for a target is calculated by taking the FFT over the slow time for the range bin the target is in. The key to understanding velocity resolution for pulsed radar is that coherent processing interval (CPI - the total amount of time spanned by slow time samples) acts as a rectangular windowing function on your slow time samples.
A target moving at a constant velocity sampled for an infinite number of slow time samples would be represented by a impulse (delta) at a frequency defined by the equation below. Since we only are able to collect coherent samples over the CPI we've effectively multiplied (in time) our signal by a rectangular windowing function. Using the multiplication property of the Fourier transform (multiplication in time is equivalent to convolution in frequency) we realize that windowing has the effect of "smearing" the spectrum of our target. Specifically we will have "copies" of our windowing function spectra centered at the frequency of our target.
With this understanding we can calculate a velocity resolution by calculating the minimum distance in frequency our windowing function can be spaced before we can no longer discriminate between the two copies.
To derive an equation for velocity resolution we start with the fact that the scaled (by $\alpha$) rectangular window function forms a Fourier pair with the sinc function. This can be derived from basic Fourier transform properties.
- $$ rect(\alpha t) \Leftrightarrow \frac{1}{\alpha}*sinc\left(\frac{\pi*f}{\alpha}\right) $$
The scale factor $\alpha$ is related to the CPI by the following.
- $$ \alpha = \frac{2}{CPI} $$
In our case f is equal to twice the ratio of the target velocity to carrier wavelength.
- $$ f_{target} = \frac{2V_{target}}{\lambda}$$
Now we realize if we have two targets they will be represented in frequency by two $sinc$ functions separated by the difference in their velocities.
We choose the distance of the first null in the sinc function as the minimum distance we can separate two $sinc$ functions and still resolve them. This intuitively makes sense to me, but I can't claim to understand exactly why this is the minimum distance we can resolve two overlapping sinc functions. Note there is a analogous problem in optics that leads to the Rayleigh Criterion where the first null of the sinc function is used is the minimum separation distance to resolve two sources so I'm inclined to accept this choice.
Given that nulls of the sinc function occur at integer multiples of $\pi$ it is easy to derive that the first null of the target spectra sinc occurs at the following.
- $$ f_{null} = \alpha \Rightarrow f_{DopplerRes} = \alpha$$
Substituting equations 2 & 3 into equation 4 we get the following.
- $$ \frac{2v_{DopplerRes}}{\lambda}=\frac{2}{CPI} $$
Hence.
- $$ v_{DopplerRes}=\frac{\lambda}{CPI} $$