A unified approach to the Dirac fine structures on the $S$-spectrum and a connection with Jacobi polynomials
F. Colombo, A. De Martino, S. Pinton
TL;DR
This work develops a unified fine-structure framework for the $S$-spectrum in Clifford analysis by factorizing the Dirac-Laplacian $ abla_{n+1}^{h_n}$ into $D^eta abla_{n+1}^m$ and $ar{D}^eta abla_{n+1}^m$ (with $eta+m\, leq h_n$) and applying Fueter–Sce extension to connect slice hyperholomorphic and axially monogenic function spaces. It provides explicit integral representations for the resulting axially Analytic-Harmonic and Anti-Analytic-Harmonic functions, and derives series expansions of the kernels in terms of Jacobi polynomials, revealing a deep link between pseudo-Cauchy kernels and classical orthogonal polynomials. Building on these representations, the paper constructs $D$- and $ar{D}$-functional calculi on the $S$-spectrum for commuting paravector operators, generalizing Poly-Harmonic and Poly-Analytic calculi and establishing kernel-independence and analytic structure, with potential $H^ty$-extensions. Overall, the results anchor a robust operator-calculus framework on the $S$-spectrum with rich connections to Jacobi polynomials and poly-analytic structures, offering new avenues for spectral theory in Clifford analysis and related monogenic settings.
Abstract
This paper contributes to the recently introduced theory of fine structures on the $S$-spectrum. We study, in a unified way, the functional calculi for axially Poly-Analytic-Harmonic functions on the $S$-spectrum. Axially Poly-Analytic-Harmonic functions of type $(β, m)$, for $β, m \in \mathbb{N}_0$ belong to the kernel of the Dirac-Laplace operators $D^βΔ^m_{n+1}$ of type $(β, m)$ and contain as particular cases Poly-Analytic and Poly-Harmonic functions of axial type. By applying these operators to the Cauchy kernels $S^{-1}_L(s,x)$ of (left) slice hyperholomorphic functions, we obtain an integral representation for axially Poly-Analytic-Harmonic functions. We point out that the kernels $D^βΔ^m_{n+1}S^{-1}_L(s,x)$ have a remarkable connection with Jacobi polynomials. By replacing the paravector operator $T$ with commuting components in the kernels $D^βΔ^m_{n+1} S^{-1}_L(s,x)$, we obtain the associated resolvent operators. With these resolvent operators, denoted by $S^{-1}_{L, D^βΔ^m}(s,T)$, we define the associated functional calculi based on the $S$-spectrum and study their properties.
