Proof of the Main Theorem

Abstract

This chapter contains the detailed proof of Theorem 11.6. First, we prove the continuous-time version of the Theorem (§§18–27) and then, in §28, we deduce the discrete-time theorem. In §18 we show that one may set γ = 1, and pass to a suitable formulation in angle-frequency variables. Some technical devices are exposed in §19. The description of an iterative process which yields the desired objects is placed in §20. Other sections (§§21–26) contain routines checking the inequalities necessary for the iterative process to occur correctly and their simple consequences. In §27 we summarize the results and establish that the objects obtained satisfy the conditions of the conclusion of Theorem 11.6.