Suppose a signal is a superposition of multiple intrinsic-mode-type (IMT) functions, say $$f(t) = \sum_{i=1}^n A_i(t)e^{i\varphi_i(t)} $$ Why is the separation condition of $f(t)$ be $$\forall i,j \quad|\varphi_i^\prime(t) - \varphi_j^\prime(t)| \geq \Delta$$ for some $\Delta >0$.
There is an explanation in Time Frequency Analysis: Theory and Applications by Leon Cohen.
It says that a monocomponent signal will look like a single mountain ridge and at each time the ridge is characterized by the peak. If it is well localized the peak is the instantaneous frequency. Also, the width of the ridge is the conditional standard deviation (actually about twice that), which is the instantaneous bandwidth. So the separation condition is clearly that the instantaneous bandwidth of each parts are much smaller than differences between instantaneous frequency.
But I don't know why the peak of the ridge can represent the instantaneous frequency. Also, is there a rigorous proof of the separation condition ?