One thing that bothers me is something I mentioned above. When you add the phase perturbation exp(jwt) I think it should have an amplitude. Personally I like to use Laplace transforms which automatically take care of this, but without an amplitude, the magnitude of the frequency response is corrupted, and it is also not possible to have a small signal perturbation because the added signal has magnitude 1 radian.boom! think I've sussed it. I'll scan stuff in later today
here it is: http://dl.dropbox.com/u/38907387/PLLmaths.pdf If you can spot any errors in it before I sent it to my lecturer & make an arse of myself, that would be super.
Cheers
Sam