The eigenvalue equation isIf , this forces for every , hence , so is not an eigenvalue. If , choose arbitrary values on representatives of the cosets of and extend byThis produces nonzero eigenfunctions. Choosing functions supported on distinct cosets gives infinitely many linearly independent eigenfunctions. Thereforeand every eigenspace is infinite-dimensional.
Suppose a degree- polynomial were a sum of periodic functions,Apply the commuting product . Every term on the right is killed by its corresponding factor, whereas for leading coefficient the mixed finite difference of a polynomial givesThis contradiction proves
Solved by gpt-5.6-sol high.
Codex Wiki