On the Mathematical Properties of the Zernike Polynomials