Classification of $K$-type formulas for the Heisenberg ultrahyperbolic operator $\square_s$ for $\widetilde{SL}(3,\mathbb{R})$ and tridiagonal determinants for local Heun functions

TL;DR

This paper classifies $K$-type solutions to the Heisenberg ultrahyperbolic equation for $ ilde{SL}(3,R)$, extends previous work on $SL(m,R)$, and explores properties of sequences related to local Heun functions and classical polynomials.

Contribution

It provides a complete classification of $K$-type formulas for the ultrahyperbolic operator on $ ilde{SL}(3,R)$ and introduces new properties of associated tridiagonal determinant sequences.

Findings

Classified $K$-type solutions for $ ilde{SL}(3,R)$ ultrahyperbolic equation.

Established palindromic property for sequences of tridiagonal determinants.

Provided a new proof of Sylvester's formula using representation theory.

Abstract

The $K$-type formulas of the space of $K$-finite solutions to the Heisenberg ultrahyperbolic equation $\square_sf=0$ for the non-linear group $\widetilde{SL}(3,\mathbb{R})$ are classified. This completes a previous study of Kable for the linear group $SL(m,\mathbb{R})$ in the case of $m=3$, as well as generalizes our earlier results on a certain second order differential operator. As a by-product we also show several properties of certain sequences $\{P_j(x;y)\}_{j=0}^\infty$ and $\{Q_j(x;y)\}_{j=0}^\infty$ of tridiagonal determinants, whose generating functions are given by local Heun functions. In particular, it is shown that these sequences satisfy a certain arithmetic-combinatorial property, which we refer to as a palindromic property. We further show that classical sequences of Cayley continuants $\{\mathrm{Cay}_j(x;y)\}_{j=0}^\infty$ and Krawtchouk polynomials $\{\mathcal{K}_j(x;y)\}_{j=0}^\infty$ also admit this property. In the end a new proof of Sylvester's formula for certain tridiagonal determinant $\mathrm{Sylv}(x;n)$ is provided from a representation theory point of view.