Infinite families of biorthogonal rational functions are constructed using infinite dimensional representations of the three-generated meta Hahn algebra. Continuous Hahn and continuous dual Hahn polynomials are also recovered along the way using an embedding of the Hahn algebra inside the meta Hahn. Rational functions and polynomials arise as transition coefficients between eigenvectors and generalized eigenvectors, and their algebraic properties follow naturally from the relations of the meta Hahn algebra. Finally, biorthogonality relations are established for the rational functions introduced in the paper.
Let us fix some conventions. Throughout, T^{\top} denotes the transpose of the operator T, acting on linear forms, no Hilbert space adjoint is ever considered. The Pochhammer symbol is (a)_k=a(a+1)\cdots(a+k-1), (a)_0=1, and the generalized hypergeometric series are denoted as usual by
The meta Hahn algebra, denoted m\mathfrak{H}, is the algebra generated by three generators X,\ Z, and V subject to the relations:
where [A,B]=AB-BA denotes the commutator, \{A,B\}=AB+BA the anticommutator and \xi,\eta are central parameters.
Two-diagonal irreducible representations of the positive type of m\mathfrak{H} acting on {\mathbb C}^{\mathbb N} are described by the following operators
with a_n\neq 0 for all n\in {\mathbb N}^*, a_0=0, \delta=0 or -1, and where \alpha,\beta \in {\mathbb C} are related to the parameters of the meta Hahn algebra by
and such that 2\alpha+\eta +n(1+2\delta)\neq 0 for all n\in {\mathbb N}.
The proof will follow closely what was done for the finite dimensional situation in [TVZ2025MetaHahn]. It is straightforward to see that this formulas define an irreducible representation of m\mathfrak{H}. Let us prove that they all have the given expressions. Start from
Together with relation (2.1) one arrives at
and then obtains
Irreducibility imposes a_n\neq 0 for all n\geq 0. One also have c_n(c_n+1)=0 leading to c_n=0 or -1. Introduce
Using relation (2.1), one finds that f_n(c_n-c_{n+1})=0 and since irreducibility implies f_n\neq 0 for all n\geq 0 we set c_n=\delta with \delta=0 or -1. Then relation (2.1) leads to
Next, using relation (2.1) we have
leading to
Finally, the formula for e_n is obtained using relation (2.1) which leads to
Relation (2.1) will then enforce the condition (3.1) and also fixes e_0=-\beta(\beta+1).
Two-diagonal irreducible representations of the negative type of m\mathfrak{H} acting on {\mathbb C}^{\mathbb N} are described by the following operators
with a_n\neq 0 for all n\in {\mathbb N}, \delta=0 or -1, \alpha,\beta \in {\mathbb C} are related to the parameters of the meta Hahn algebra by
and such that 2\alpha-\eta +(n-1)(1+2\delta)\neq 0 for all n\in {\mathbb N}.
The meta Hahn algebra is not stable under taking transpose, however the operators Z^\top,V^\top,-X^\top satisfy relations (2.1)-(2.1) with parameters \xi,-\eta. Taking this fact into account, representations of the negative type are readily seen to be obtained from the positive type by transposition up to the change of parameters a_n\to a_{n+1}, \beta\to \beta+1, \alpha\to \alpha.
The function S_n(x) can be identified with continuous Hahn polynomials as follows
with a=-\delta\mu+(1+2\delta)\alpha, b=\beta+1-(1+\delta)\mu-(1+2\delta)(\alpha+\eta), c=\beta+1+(1+\delta)\mu-(1+2\delta)\alpha, and d=(1+2\delta)(\alpha+\eta)+\delta \mu.
This is a consequence of the explicit expressions (?) and (?) for \langle\,{{v_n^+}^\dagger}| and \mid{w_x^+}\,\rangle. Indeed
Using \langle k^\dagger\mid{\ell}\,\rangle=\delta_{k,\ell}, one gets the result by looking separately at the two values 0 and -1 for the representation parameter \delta and the definition of a,\ b,\ c and d given in the Proposition.
For n\in {\mathbb N} we have:
with iy=x+a, a=-\frac{2\beta+1}{2}, a+b=(1+2\delta)(2\alpha-\eta) and a+c=-\mu-\beta.
The transition coefficients U_n(x) are explicitly related to the rational function \mathcal{U}_n^\varepsilon(x) by the following expression
where a=\alpha, b=\beta, c=(1+2\delta)(2\alpha+\eta), and \varepsilon=\delta.
The proof is done similarly as in Proposition 5.1 using the explicit expressions (?) for \langle\,{v_n^+}^\dagger| and (?) for \mid{d^+_x}\,\rangle.
The rational functions \mathcal{U}_n^\varepsilon(x;a,b,c) satisfy the following three term recurrence relation
where
The recurrence relation is obtained from the corresponding relation on the transition coefficients U_n(x)=\langle\,{v_n^+}^\dagger\mid{d_x^+}\,\rangle which is a consequence of the GEVP (?)
The proof is then a consequence of the explicit actions of X and Z on the vectors \langle\,{v_n^+}^\dagger| combined with the identification proved in Proposition 7.1.
The rational functions \mathcal{U}_n^\varepsilon(x;a,b,c) satisfy the following difference equation
where
Recalling that \langle {v_n^+}^\dagger| is an eigenvector of V^\top with eigenvalue \rho_n=-(n+\beta)(n+\beta+1), we have the following
Using the action of VZ and Z on \mid{d_x^+}\,\rangle described in (?) and (?) this is equivalent to
Looking at the explicit expressions for the coefficients and using the identification of parameters a=\alpha, b=\beta, c=(1+\varepsilon)(2\alpha+\eta) and \varepsilon=\delta lead to the result.
Assume the real part of
are all positive. The rational functions \mathcal{U}^\varepsilon_n(x;a,b,c) and \mathcal{V}^\varepsilon_n(x;a,b,c) satisfy the following biorthogonality relation
where the weight w(x) is given by
Using the integral representations (?) and (?) together with (7.4) we prove
The following formula holds true
Indeed, for \varepsilon =0 we have
The case \varepsilon=-1 is proved similarly. This leads to
We end the proof using the orthogonality relation (?) for the Jacobi polynomials .
The transition coefficients F_n(x) are expressed in terms of the functions \mathcal{F}_n as follows
with a=2\beta+1, b=\alpha-\beta, and c=-2\alpha+\eta.
The proof is done as in Proposition 6.1 using the explicit expressions for \langle\,{{d_n^-}^*}| and \mid{v_x}\,\rangle respectively given in (?) and (?).
Notice that the polynomial \mathcal{F}_n(x) is the dual of \mathcal{U}_n^{-1}(x) in the sense that n and x are exchanged between the two functions. This remark is connected to the fact that the negative type representation can be understood as the dual of a representation of the positive type as mentioned in Remark 3.3.
The rational functions \mathcal{F}_n(x;a,b,c) satisfy the following three term recurrence relation
where
Since \mid{v_x^-}\,\rangle is an eigenvector for V with eigenvalue \rho_x the following relation holds true
Using the actions (?) and (?), one can obtain the actions of Z^\dagger and (ZV)^\dagger on \langle\,{d_n^-}^*| via the duality relation (?). These actions together with the identification made in Proposition 8.1 lead to the desired result.
The rational functions \mathcal{F}_n(x;a,b,c) satisfy the following difference equation
where X^{(v^-)}_{x+1,x},X^{(v^-)}_{x,x},X^{(v^-)}_{x-1,x} and Z^{(v-)}_{x+1,x},Z^{(v-)}_{x,x},Z^{(v-)}_{x-1,x} where defined in (?) and (?).
The result is obtained in a similar fashion as for the recurrence equation (7.2) using the fact that \langle\,{d_n^-}^*| satisfy the generalized eigenvalue problem
Applying this equality to the vectors \mid{ v_x^-}\,\rangle and using the actions of Z and X on the vectors \mid{v_x^-}\,\rangle given in the equations (?) and (?).
Let \alpha,\beta,\eta satisfy (?) and let n,m\in{\mathbb N}. Then
with x=\beta+\frac12+iy in the integral,
and where the discrete part is carried by the J_m=\max(0,\lceil -c_m\rceil) points
that is, by those j\ge0 with c_m+j<0, with masses
where a= -\beta-\tfrac12 and b=\eta-2\alpha+\beta+\tfrac12.
We first treat the case m<\alpha-\frac12, for which J_m=0 and the statement reduces to (?). Fix 0\leq m<\alpha-\frac12 and choose first \mu such that \mathrm{Re}(\mu+\alpha)<1 this is possible since \mu is a free parameter of the basis \{\mid{w_k^-}\,\rangle\} and the assertion of the theorem does not involve it. Since the form \langle\,{{d^-_n}^*|} is supported on \langle\,{0^\dagger}|,\dots,\langle\,{n^\dagger}| and the forms \langle\,{{w_k^-}^\dagger|}, 0\le k\le n, constitute a triangular basis of the space of such forms, there are unique coefficients g_{n,k}=\langle\,{d_n^-}^\star\mid{w_k^-}\,\rangle such that
Using (?), (?) and Lemma 8.7, the interchange of summation and integration being justified by the convergence conditions,
the last equality being obtained using Equation (?). It remains to substitute the closed form (8.7) of G_m. Since
on the line x=\beta+\frac12+iy, one has
the factors |\Gamma(c+iy)|^{2} canceling between (8.7) and (?). The parameter \mu has completely disappeared, and the resulting identity is precisely (?) with h_n as in (8.5), upon using (1+\beta-\alpha)_n=(-1)^n(\alpha-\beta-n)_n; by (?) this is (8.5) in the case at hand.
For arbitrary m the argument is unchanged up to the last step. Both sides of (8.5) are, for fixed n and m, analytic in the parameters; the left-hand side of (?), written as in (?), is the continuous dual Hahn functional with parameters (a,b,c) evaluated at c=c_m on the function \mathcal{F}_n\Theta_m which is independent of c. That functional is analytic in c on \mathrm{Re}\,c>0, and its analytic continuation past c=0 is obtained by deforming the contour so as to keep the poles of \Gamma(c\pm iy) on their original sides. The poles that must be recaptured are those at y=\mp i(c+j) with c+j<0; writing the integral as \frac{1}{4\pi i}\int_{-i\infty}^{i\infty}(\cdots)\,dz with z=iy, each pair contributes the residue of
at z=-c-j, which is
Rewriting the shifted Gamma functions in terms of Pochhammer symbols through \Gamma(a-c-j)=\Gamma(a-c)/(a-c-j)_j, (a-c-j)_j=(-1)^j(1+c-a)_j, \Gamma(-2c-2j)=\Gamma(-2c)/(1+2c)_{2j} and (1+2c)_{2j}/(2c+j)_j=(2c)_j(c+1)_j/(c)_j turns this residue into (8.5), evaluated at c=c_m. Since \mathcal{F}_n\Theta_m is regular at these points, the continuation of the functional is the left-hand side of (8.5), while its value h_n\delta_{n,m} is unchanged, being analytic in the parameters throughout.
For k,m\in{\mathbb N},
A direct computation using (?) and (?) together with the Chu–Vandermonde summation gives
and the result follows directly using Z\mid{d^-_m}\,\rangle=-\mid{d^-_m}\,\rangle+\mid{d^-_{m+1}}\,\rangle.
Assume \mathrm{Re}(\mu+\alpha)<1, \eta-\alpha+\beta>0 and 0\le m<\alpha-\frac12. Then the series
converges and admits the closed form
Insert (8.6) and (?) in (8.7) and use (-\mu-\beta)_k=(a+c)_k to get
Next, since b+c=1+\beta-\mu+\eta-2\alpha=(1-\mu-\alpha)+(\eta-\alpha+\beta), the Euler Beta integral gives
which converts the k-dependent quotient into the k-th power s^{k} under the integral sign. Using furthermore (-k)_m s^k=(-1)^m s^{m}\frac{d^m}{ds^m}s^{k} and the generating function of the continuous dual Hahn polynomials [koekoek2010hypergeometric]
one obtains
The m-th derivative is expanded with the Leibniz rule, using \frac{d^r}{ds^r}\,{}_2F_1(A,B;C;s)=\frac{(A)_r(B)_r}{(C)_r}{}_2F_1(A+r,B+r;C+r;s). Each resulting term is an Euler-type integral which is evaluated via (?) type integrals. More precisely,
with e=m+1-\mu-\alpha and f=\alpha-\frac12-m+r+iy in the term labeled by r (0\le r\le m). The key observation is that in each term the parameter e+f=c+r+iy coincides with the numerator parameter c+iy+r of the shifted {}_2F_1, so that the {}_3F_2 collapses to a {}_2F_1 evaluated at 1, summed by the Gauss formula:
Collecting all factors and recognizing the sum over r as a terminating {}_3F_2 of unit argument yields (8.7). The stated conditions ensure the convergence of all the integrals involved.
The threshold m=\alpha-\frac12 is not an artefact of the method. The functions \Gamma(c_m\pm iy) have poles at y=\mp i(c_m+j); these are off the contour for every m, but they pinch the origin and cross as c_m changes sign, and the masses (8.5) are exactly the residues they leave behind. The mass points x_{m,j} lie on the quadratic lattice attached to the eigenvalues \mu(x), and each of them is a pole of \mathcal{G}_m, which is why the factorized form (?), in which \Theta_m is regular there, is the right one in which to state the general relation.
It is natural to ask how (8.5) sits with respect to the general biorthogonality of Gupta and Masson [gupta1998contiguous], which stands at the top of a scheme of rational biorthogonalities and from which many others are obtained by degeneration. The two are of different types in the following sense. Their functions are of the R_{II} type of Ismail and Masson [ismail1995generalized], with two interpolation points at each step and both biorthogonal families rational. On the other hand, the recurrence (8.3) is of the R_I type : one interpolation point, one polynomial family and one rational family. More precisely, solving the recurrence relation (8.3) for \mathcal{F}_{n+1} puts it in the form \mathcal{F}_{n+1}=(z-c_n)\mathcal{F}_n-\lambda_n(z-a_n)\mathcal{F}_{n-1} (up to normalization) in the variable z=\mu(x), with nodes a_n=-( \alpha-n)(\alpha-n+1). Accordingly, the rational functions naturally associated with the second series are
in accordance with the general theory of [zhedanov1999biorthogonal]. Observe that the partner functions \mathcal{G}_m of (?) have their poles at the reflected nodes. The R_I case is the degeneration of R_{II} in which one interpolation point is sent to infinity, so the present system does sit below theirs in the hierarchy, but that degeneration is not effected by a specialization of the parameters that leaves the lattice untouched. The natural setting for (8.5) is therefore the R_I theory of Ismail and Masson [ismail1995generalized], of which it provides an explicit continuous instance.
The text on this page is from arXiv:2610.21494v1 by Quentin Labriet and Luc Vinet, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.
The record of each item is in analysis/objects/2610/2610.21494.jsonl.