Yet another approach to poly-Bergman spaces (Q2154498)

The author presents an alternative characterization of the poly-Bergman and true-poly-Bergman function spaces on the unit disk \(\mathbb{D}\), based on the pure isometry acting on the standard \(L_2\) space over \(\mathbb{D}\) and the representation of this isometry in terms of differential operators. As an application, he gives a representation of the Landau magnetic Hamiltonian in its action in \(L_2\)-space over \(\mathbb{D}\). The true-poly-Bergman spaces appear there as the corresponding eigenspaces. In Section 3, he summarizes the known characterization and properties of the \(n\)-poly-Bergman spaces \(\mathcal{A}_n^2\), the closed subspaces of the Hilbert space \(L_2(\mathbb{D},dA)\) wirh probability Lebesgue measure, that consist of \(n\)-polyanalytic functions, as well as the true-\(n\)-poly-Bergman function spaces \(\mathcal{A}_{(n)}^2 = \mathcal{A}_n^2 \ominus \mathcal{A}_{n-1}^2\). In Section 4, he proposes a new approach based on the pure isometry acting on \(L_2(\mathbb{D},dA)\), which he defines initially by its action on the basis elements of \(L_2(\mathbb{D},dA)\). He recovers the characterization and the properties of the spaces of his interest, \(\mathcal{A}_n^2 \) and \(\mathcal{A}_{(n)}^2\) in terms of their isometry. Then they find its invariant, basis-independent representation, using the differential operators introduced by \textit{A. Wünsche} [J. Comput. Appl. Math. 174, No. 1, 135--163 (2005; Zbl 1062.33011)]. In Section 5, he looks on the discussed in the paper approach through the so-called extended Fock space formalism. By that he means the representation of the Heisenberg algebra in the Hilbert space \(L_2(\mathbb{D},dA)\). He starts with the result [the author, ``On the poly-analytic and anti-poly-analytic function spaces'', Preprint (2021), Theorem 2.28] stating that the existence of a pure isometry in a separable Hilbert space is equivalent to the existence of the formally adjoint lowering and raising operators that satisfy the desired properties. Based on the formulas of Section 4, he describes the operators of the Heisenberg algebra in their invariant, basis independent form.