A mathematical framework for amplitude and phase noise analysis of coupled oscillators