The instantaneous amplitude Sk(t) of Eq. (5) and the instantaneous output phase of Eq. (6) can be calculated using the following lemma.
Proof. See appendix C.