Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-340/2/a/i/solution

Use the Fourier transform convention . Nesting and the orthonormal basis of give the scaling refinement equation
Here . Compact support makes these inner products zero for all but finitely many , so is a trigonometric polynomial. Expanding the orthogonality of the integer translates of in the orthonormal basis of yields
Consequently
This holds everywhere because is continuous. The invoked properties are nesting, dyadic dilation, orthonormal integer translates, and compact support; mere finite-energy refinement would not imply the quadrature mirror filter identity.

New to topics? Read the docs here!