An analog of the Schwartz theorem on spectral analysis on a hyperbolic plane (Q283140): Difference between revisions

The authors, motivated by the well-known theorem by L. Schwartz asserting that any nonzero shift-invariant subspace of \(C(\mathbb R)\) contains the exponential function \(e^{\lambda x}\) for some \(\lambda\in \mathbb C\) and its failure for \(C(\mathbb R^n)\) for \(n\geq 2\), study similar question for \(C(\mathbb D)\) and invariance with respect to other actions. Namely their main theorem establishes that given \(\alpha\in \mathbb R\) any nonzero subspace \(\mathcal U\subset C(\mathbb D)\) invariant relative to all \(\alpha\)-shifts must contain the function \(\mathcal H_{\lambda,\alpha}\) for some \(\lambda\in \mathbb C\), where an \(\alpha\)-shift of a function \(f\in C(\mathbb D)\) is defined by \[ f_{g,\alpha}(z)=f(g^{-1}z)\exp\Big(2i \alpha\mathrm{ Arg}(1-z \overline{g(0)})\Big), \] where \(g\in \mathrm{Aut}(\mathbb D)\) and the function \(\mathcal H_{\lambda,\alpha}\) is an eigenfunction of the differential operator \[ \mathcal L_\alpha= 4(1-|z|^2)^2 \frac{\partial^2}{\partial z\partial \bar z}- 4\alpha(1-|z|^2)\Big(z\frac{\partial}{\partial z}- \bar z\frac{\partial}{\partial \bar z}\Big)- 4\alpha^2 |z|^2 \mathrm{Id} \] satisfying \((\mathcal L_\alpha \mathcal H_{\lambda,\alpha})(z)= -(\lambda^2+4\alpha^2+1)\mathcal H_{\lambda,\alpha}(z)\), which is explicitly defined using certain Gauss hypergeometric function. The proof of the result is based on the developments by the authors [Sb. Math. 199, No. 8, 1139--1168 (2008); translation from Mat. Sb. 199, No. 8, 29--60 (2008; Zbl 1306.43008)] and consists in reducing the problem to the study of certain generalized convolutions acting on the group of motions of the hyperbolic plane.