Generalizations of the image conjecture and the Mathieu conjecture (Q2267432)

A generalization of the image conjecture [\textit{W. Zhao}, J. Algebra 324, No. 2, 231--247 (2010; Zbl 1197.14064)] is proposed for commutative differential operators related to classical orthogonal polynomials. It is shown that this conjecture is equivalent to a natural adaption of Mathieu's conjecture [\textit{O. Mathieu}, in: Alev, J. (ed.) et al., Algèbre non commutative, groupes quantiques et invariants. Septième contact Franco-Belge, Reims, France, June 26--30, 1995. Paris: Société Mathématique de France. Sémin. Congr. 2, 263--279 (1995; Zbl 1197.14064)] in the context of polynomial functions over open subsets, and it is equivalent to a natural variation of a theorem given in [\textit{J. J. Duistermaat} and \textit{W. van der Kallen}, Indag. Math., New Ser. 9, No.~2, 221--231 (1998; Zbl 0916.22007)] in the setting of Laurent polynomials with no constant terms.