The amplitude envelope Sk(t) and the output phase can be calculated using the following lemma.
Proof. See appendix in [Unoki et al.1997].