1 Introduction

During its long history, the notion of classical orthogonal polynomials has gradually been expanded to include more general systems. The most restrictive definition includes only Jacobi, Laguerre, and Hermite polynomials (with special cases such as Chebyshev and Legendre polynomials). By Sonine’s theorem, these are precisely the orthogonal polynomials whose derivatives are again orthogonal. After the work of Hahn and others in the early twentieth century, it appeared natural to include also systems related to difference rather than differential equations. This development culminated in the Askey scheme of hypergeometric and basic hypergeometric orthogonal polynomials [18], consisting of Askey–Wilson and q-Racah polynomials together with numerous degenerate cases.

Jacobi polynomials are orthogonal with respect to the measure in Euler’s beta integral

$$\begin{aligned} \int _{-1}^1(1-x)^{a-1}(1+x)^{b-1}\,\hbox {d}x=2^{a+b-1}\frac{\varGamma (a)\varGamma (b)}{\varGamma (a+b)}. \end{aligned}$$

More generally, the Askey scheme is related to a scheme of integral evaluations and summations, many of which are also called beta integrals. From this perspective, the Askey scheme appears to be incomplete. For instance, the q-Racah polynomials correspond to Rogers’ \({}_6W_5\)-summation [10, Eq. (II.21)], which is a degenerate case of Jackson’s \({}_8W_7\)-summation [10, Eq. (II.22)]. Thus, the top level in the Askey scheme corresponds to the next-to-top level in the scheme of beta integrals.

Mizan Rahman and Jim Wilson realized that to find the missing level in the Askey scheme, it is necessary to extend its scope from orthogonal polynomials to biorthogonal rational functions. To our knowledge, the earliest occurrence of hypergeometric biorthogonal rational functions is in Wilson’s thesis [38], which contains discrete biorthogonality relations for rational functions of hypergeometric type \({}_9F_8\). This system generalizes Racah polynomials. Rahman [20] independently discovered some degenerate cases of Wilson’s system. At the end of the paper, he remarks that Wilson had also found continuous biorthogonality relations; this piece of research seems never to have been published. Rahman [21] gave more general continuous biorthogonality relations for rational functions of type \({}_{10}W_9\), generalizing Askey–Wilson polynomials. The corresponding discrete system, generalizing q-Racah polynomials, was found by Wilson [39]. The complete extension of the Askey scheme to biorthogonal rational functions has been worked out (in the q-case) by van de Bult and Rains [2].

The work of Rahman and Wilson indicates that \({}_{10}W_9\) is the most general “classical” hypergeometric function. It must have been a great surprise to the special functions community when even more general functions turned up in the work of Date et al. [3] on solvable lattice models. Their elliptic 6j-symbols generalized \({}_{10}W_9\)-sums in a completely unexpected direction, providing the first known example of elliptic hypergeometric functions; see [27] for an introduction.

It took some time before the study of elliptic hypergeometric functions gained momentum. In one of the first papers on the subject, Spiridonov and Zhedanov [36] constructed a system of biorthogonal rational functions generalizing Wilson’s discrete \({}_{10}W_9\)-functions.

A first step towards elliptic extensions of Askey–Wilson polynomials was Spiridonov’s discovery of the elliptic beta integral [31]

$$\begin{aligned}&\oint \frac{\prod _{j=1}^6\varGamma (t_jz;p,q)\varGamma (t_j/z;p,q)}{\varGamma (z^2;p,q)\varGamma (z^{-2};p,q)}\frac{\mathrm{d}z}{2\pi \mathrm {i}z}\nonumber \\&\quad =\frac{2}{(p;p)_\infty (q;q)_\infty }\prod _{1\le i<j\le 6}\varGamma (t_it_j;p,q). \end{aligned}$$
(1.1)

Here, the integration is over a contour separating geometric sequences of poles going to infinity from sequences going to zero. The parameters satisfy the balancing condition \(t_1\cdots t_6=pq\), the elliptic gamma function is defined by [29]

$$\begin{aligned} \varGamma (z;p,q)=\prod _{j,k=0}^\infty \frac{1-p^{j+1}q^{k+1}/z}{1-p^jq^kz} \end{aligned}$$

and \((p;p)_\infty =\prod _{j=0}^\infty (1-p^{j+1})\).

In [32], Spiridonov introduced systems biorthogonal with respect to the measure in (1.1). As a direct extension of Rahman’s work, he found explicit functions \(Q_k\) and \(R_k\) satisfying a biorthogonality relation \(\mu (Q_kR_l)=C_k\delta _{kl}\), where

$$\begin{aligned} \mu (f)= & {} \frac{(p;p)_\infty (q;q)_\infty }{2\prod _{1\le i<j\le 6} \varGamma (t_it_j;p,q)} \oint f(z)\nonumber \\&\frac{\prod _{j=1}^6\varGamma (t_jz;p,q)\varGamma (t_j/z;p,q)}{\varGamma (z^2;p,q)\varGamma (z^{-2};p,q)}\frac{\mathrm{d}z}{2\pi \mathrm {i}z}. \end{aligned}$$

These functions are elliptic [in a multiplicative coordinate, namely, \(Q_k(pz)=Q_k(z)\) and \(R_k(pz)=R_k(z)\)] and invariant under \(z\mapsto z^{-1}\). It follows that they are rational after a change of variables. More generally, Spiridonov found that if \({\tilde{Q}}_k\) and \({\tilde{R}}_k\) denote the functions obtained from \(Q_k\) and \(R_k\) after interchanging p and q, then

$$\begin{aligned} \mu \left( Q_{k_1}{\tilde{Q}}_{k_2}R_{l_1}{\tilde{R}}_{l_2}\right) =C_{k_1}{\tilde{C}}_{k_2}\delta _{k_1l_1}\delta _{k_2l_2}. \end{aligned}$$
(1.2)

This two-index biorthogonality for a one-variable integral is quite unusual. It is not a biorthogonality of rational functions as the functions involved are rational in two different variables.

An intriguing consequence of (1.2) is a property that we will call the decoupling phenomenon. We can write (1.2) as

$$\begin{aligned} \mu (fg)=\mu (f)\mu (g),\end{aligned}$$
(1.3)

where \(f=Q_{k_1}R_{l_1}\) and \(g={\tilde{Q}}_{k_2}{\tilde{R}}_{l_2}\). Taking linear combinations of these basis elements, it follows that (1.3) holds for any functions f and g satisfying appropriate conditions. In particular, f and g should be elliptic with distinct periods [\(f(pz)=f(z)\) and \(g(qz)=g(z)\)] and invariant under \(z\mapsto z^{-1}\). There are also restrictions on the location of their poles. In the present work, we will investigate other instances of the decoupling phenomenon.

Dolan and Osborn [4] discovered that (1.1) (and more general integral identities of Rains [24]) can be interpreted in terms of supersymmetric quantum field theories. It is believed that if two theories are dual in the sense of Seiberg [30], then their so-called superconformal indices [17, 25] agree. For a particular pair of dual theories, this gives (1.1). Exploiting this idea has led to long lists of elliptic hypergeometric identities, most of which still lack rigorous proof, see, e.g., [34, 35].

The quantum field theories related to elliptic hypergeometric integrals live on four-dimensional space-times. In a similar way, one can obtain basic hypergeometric integrals from three-dimensional theories [6, 7, 11, 12, 14, 19, 41]. Interestingly, the resulting integrals are not of a type considered in the classical literature but involve a mixture of continuous and discrete integration (this can also happen for four-dimensional theories [16, 33], but then with a finite rather than infinite discrete component). As an example, a top level integral of this type is [7]

$$\begin{aligned}&\sum _{x=-\infty }^\infty \oint \frac{(1-q^x z^2)(1-q^xz^{-2})}{q^xz^{6x}}\nonumber \\&\qquad \prod _{j=1}^6\frac{(q^{1+x/2}/ b_jz,q^{1-x/2}z/b_j)_\infty }{\left( q^{N_j+x/2}b_jz,q^{N_j-x/2}b_j/z\right) _\infty } \frac{\mathrm{d}z}{2\pi \mathrm {i}z}\nonumber \\&=\frac{2}{\prod _{j=1}^6q^{\left( {\begin{array}{c}N_j\\ 2\end{array}}\right) } b_j^{N_j}}\prod _{1\le i<j\le 6} \frac{\left( q/b_ib_j\right) _\infty }{\left( b_ib_jq^{N_i+N_j}\right) _\infty }, \end{aligned}$$
(1.4)

valid for generic parameters \(b_j\) and integer parameters \(N_j\) subject to

$$\begin{aligned} b_1\cdots b_6=q\end{aligned}$$
(1.5)

and \(N_1+\dots +N_6=0\). The identity (1.4) and some related results can also be interpreted as star-triangle relations for solvable lattice models [5, 8, 15, 16, 40].

The main purpose of the present work is to investigate the “classical orthogonal polynomials” corresponding to the integral (1.4) and another integral from [7] [see (4.2) below]. It turns out that there is again a decoupling phenomenon such as (1.3), but with f a rational function of \(zq^{-x/2}\) and g a rational function of \(zq^{x/2}\) (subject to certain restrictions). We can then obtain two-index biorthogonal functions, which in the case of (1.4) are products of Rahman’s \({}_{10}W_9\)-functions. In the case of (4.2), there are biorthogonalities involving degenerate cases of Rahman’s functions due to Al-Salam and Ismail [1] and van de Bult and Rains [2]. An intriguing question is whether the decoupling phenomenon and the two-index biorthogonality have any relevance for physics, in the context of either quantum field theory or solvable lattice models.

The plan of our paper is as follows. In Sect. 2, we give two basic hypergeometric summation formulas, which provide bilateral extensions of the Jackson and q-Saalschütz summation. Although these follow easily from known results, they seem not to have been stated explicitly before. In Sect. 3, we discuss Rahman’s biorthogonal rational functions. We obtain some new results, in particular, new continuous and discrete biorthogonality measures. Finally, in Sect. 4, we study the decoupling phenomenon and related two-index biorthogonal systems for integrals arising as superconformal indices.

Throughout, q will be a fixed complex number with \(0<|q|<1\). We also fix a choice of square root \(q^{1/2}\). We follow the standard notation of [10], but suppress q from the notation. Thus, we write q-shifted factorials as

$$\begin{aligned}(a)_k={\left\{ \begin{array}{ll}(1-a)(1-aq)\cdots (1-aq^{k-1}), &{}\quad k\in {{\mathbb {Z}}}_{\ge 0},\\ \left( (1-aq^{-1})(1-aq^{-2})\cdots (1-aq^k)\right) ^{-1}, &{}\quad k\in {{\mathbb {Z}}}_{<0},\end{array}\right. } \end{aligned}$$

and

$$\begin{aligned} (a)_\infty =\prod _{j=0}^\infty (1-aq^j). \end{aligned}$$

We will use the theta function

$$\begin{aligned} \theta (x)=(x)_\infty (q/x)_\infty , \end{aligned}$$

which satisfies the identity

$$\begin{aligned} \theta (xq^k)=(-1)^kq^{-\left( {\begin{array}{c}k\\ 2\end{array}}\right) }x^{-k}\theta (x),\quad k\in {{\mathbb {Z}}}. \end{aligned}$$
(1.6)

Repeated arguments of shifted factorials and theta functions stand for products, for instance,

$$\begin{aligned} (ab^\pm ,c)_k=(ab)_k(a/b)_k(c)_k. \end{aligned}$$

Finally, we recall the standard basic hypergeometric series

$$\begin{aligned} {}_{r+1}\phi _r\left( \begin{matrix}a_1,\dots ,a_{r+1}\\ b_1,\dots ,b_r\end{matrix};z\right)&=\sum _{k=0}^\infty \frac{(a_1,\dots ,a_{r+1})_k}{(q,b_1,\dots ,b_r)_k}\,z^k,\\ {}_{r}\psi _r\left( \begin{matrix}a_1,\dots ,a_{r}\\ b_1,\dots ,b_r\end{matrix};z\right)&=\sum _{k=-\infty }^\infty \frac{(a_1,\dots ,a_{r})_k}{(b_1,\dots ,b_r)_k}\,z^k,\\ {}_{r+1}W_{r}(a;b_1,\dots ,b_{r-2};z)&=\sum _{k=0}^\infty \frac{1-aq^{2k}}{1-a}\frac{(a,b_1,\dots ,b_{r-2})_k}{(q,aq/b_1,\dots ,aq/b_{r-2})_k}\,z^k. \end{aligned}$$

2 Bilateral Summations

2.1 A Bilateral Jackson Summation

Although it is a straightforward consequence of results that have been known since the 1950s, the following identity seems to fill a gap in the literature.

Proposition 2.1

If \(\lambda ,\mu ,b_1,\dots ,b_6\) are generic parameters subject to (1.5), then

$$\begin{aligned}&\left\{ \theta (\mu b_1,\dots ,\mu b_6)-\frac{q}{\mu ^2}\,\theta (\mu /b_1,\dots ,\mu /b_6)\right\} \nonumber \\&\qquad \times \frac{(1-\lambda ^2)\prod _{j=1}^6(q\lambda ^\pm /b_j)_\infty }{\theta (\mu /\lambda )} \,{}_8\psi _8\left( \begin{matrix}\lambda q,-\lambda q,\lambda b_1,\dots ,\lambda b_6\\ \lambda ,-\lambda ,\lambda q/b_1,\dots ,\lambda q/b_6\end{matrix};q\!\right) + \mathrm{idem} (\lambda ;\mu )\nonumber \\&\quad =(q)_\infty \theta (\lambda ^2,\mu ^2,\lambda \mu )\prod _{1\le i<j\le 6}(q/b_ib_j)_\infty . \end{aligned}$$
(2.1)

Here, we are using the notation

$$\begin{aligned} f(\lambda ,\mu )+\mathrm{idem}(\lambda ;\mu )=f(\lambda ,\mu )+f(\mu ,\lambda ). \end{aligned}$$

If we let \(\lambda =b_6\) and \(\mu =b_1\) in (2.1), then both \({}_8\psi _8\)-series reduce to \({}_8W_7\)-series. The resulting identity can be written

$$\begin{aligned}&{}_8W_7\left( b_6^2;b_1 b_6,\dots ,b_5 b_6;q\right) -\frac{b_1}{b_6}\frac{\left( qb_6^2,qb_1/b_6\right) _\infty }{\left( qb_1^2,qb_6/b_1\right) _\infty }\prod _{j=2}^5\frac{\left( qb_1/b_j,b_6b_j\right) _\infty }{\left( qb_6/b_j,b_1b_j\right) _\infty }\nonumber \\&\quad \times {}_8W_7\left( b_1^2;b_1 b_2,\dots ,b_1 b_6;q\right) =\frac{\left( qb_6^2,b_1/b_6\right) _\infty \prod _{2\le i<j\le 5}\left( q/b_ib_j\right) _\infty }{\prod _{j=2}^5\left( qb_6/b_j,b_1b_j\right) _\infty },\qquad \qquad \end{aligned}$$
(2.2)

which is the nonterminating Jackson summation [10, Eq. (II.25)]. Consequently, we call (2.1) the bilateral Jackson summation.

To prove Proposition 2.1, we start from Jackson’s transformation [13] (due to Margaret Jackson, not Frank Hilton Jackson of the Jackson summation)

$$\begin{aligned}&\frac{\prod _{j=1}^6(qa^\pm /b_j)_\infty }{(qa^{\pm 2})_\infty }\,{}_8\psi _8\left( \begin{matrix}aq,-aq,ab_1,\dots ,ab_6\\ a,-a,aq/b_1,\dots ,aq/b_6\end{matrix};\frac{q^2}{b_1\cdots b_6}\right) \\&\quad =\frac{\theta (\mu a^\pm )\prod _{j=1}^6(q\lambda ^\pm /b_j)_\infty }{\theta (\mu \lambda ^\pm )(q\lambda ^{\pm 2})_\infty }\\&\qquad \,{}_8\psi _8\left( \begin{matrix}\lambda q,-\lambda q,\lambda b_1,\dots ,\lambda b_6\\ \lambda ,-\lambda ,\lambda q/b_1,\dots ,\lambda q/b_6\end{matrix};\frac{q^2}{b_1\cdots b_6}\right) +\mathrm{idem}(\lambda ;\mu ), \end{aligned}$$

which is a special case of Slater’s transformations for \({}_{2r}\psi _{2r}\)-series [10, Eq. (5.5.2)]. We will only need the case \(a=b_6\); that is,

$$\begin{aligned}&\frac{(q)_\infty \prod _{j=1}^5(qb_6^\pm /b_j)_\infty }{(qb_6^2)_\infty }\,{}_8W_7(b_6^2;b_1b_6,\dots ,b_5 b_6;q^2/b_1\cdots b_6)\nonumber \\&\quad =\frac{\theta (\mu b_6^\pm )\prod _{j=1}^6(q\lambda ^\pm /b_j)_\infty }{\theta (\mu \lambda ^\pm )(q\lambda ^{\pm 2})_\infty }\nonumber \\&\qquad {}_8\psi _8\left( \begin{matrix}\lambda q,-\lambda q,\lambda b_1,\dots ,\lambda b_6\\ \lambda ,-\lambda ,\lambda q/b_1,\dots ,\lambda q/b_6\end{matrix};\frac{q^2}{b_1\cdots b_6}\right) \nonumber \\&\qquad +\,\mathrm{idem}(\lambda ;\mu ). \end{aligned}$$
(2.3)

Assuming (1.5), we may apply (2.3) to both \({}_8W_7\) series in (2.2), obtaining after simplification

$$\begin{aligned}&\left\{ \theta \left( b_1b_2,\dots ,b_1b_5,\mu b_6^\pm \right) -\frac{b_1}{b_6}\,\theta \left( b_2b_6,\dots ,b_5b_6,\mu b_1^\pm \right) \right\} \\&\quad \times \frac{\prod _{j=1}^6\left( q\lambda ^\pm /b_j\right) _\infty }{\theta \left( \mu \lambda ^\pm \right) \left( q\lambda ^{\pm 2}\right) _\infty } \,{}_8\psi _8\left( \begin{matrix}\lambda q,-\lambda q,\lambda b_1,\dots ,\lambda b_6\\ \lambda ,-\lambda ,\lambda q/b_1,\dots ,\lambda q/b_6\end{matrix};q\right) +\mathrm{idem}(\lambda ;\mu )\\&\qquad =(q)_\infty \theta \left( b_1/b_6\right) \prod _{1\le i<j\le 6}\left( q/b_ib_j\right) _\infty . \end{aligned}$$

The proof of (2.1) is now reduced to the theta function identity

$$\begin{aligned}&\left\{ \theta \left( b_1b_2,\dots ,b_1b_5,\mu b_6^\pm \right) -\frac{b_1}{b_6}\,\theta \left( b_2b_6,\dots ,b_5b_6,\mu b_1^\pm \right) \right\} \nonumber \\&\quad =\frac{\theta (b_1/b_6)}{\theta (\mu ^2)}\left\{ \theta (\mu b_1,\dots ,\mu b_6)-\frac{q}{\mu ^2}\,\theta \left( \mu /b_1,\dots ,\mu /b_6\right) \right\} , \end{aligned}$$
(2.4)

which is a special case of [37, Ex. 20.53.3], see also [26, Lemma 6.4].

2.2 A Bilateral q-Saalschütz Summation

The analogue of Proposition 2.1 at the level of the Saalschütz summation combines three rather than two bilateral sums. We find it convenient to write the identity as a determinant evaluation.

Proposition 2.2

For generic parameters subject to

$$\begin{aligned} a_1a_2a_3b_1b_2b_3=q,\end{aligned}$$
(2.5)

let

$$\begin{aligned} f_1(\lambda )&=\lambda \,\theta (b_1/\lambda ,b_2/\lambda ,b_3/\lambda ),\\ f_2(\lambda )&=\lambda ^{-1}\theta (a_1\lambda ,a_2\lambda ,a_3\lambda ),\\ f_3(\lambda )&=\prod _{j=1}^3(q/a_j\lambda ,q\lambda /b_j)_\infty \cdot {}_3\psi _3\left( \begin{matrix}a_1\lambda ,a_2\lambda , a_3\lambda \\ q\lambda /b_1,q\lambda /b_2,q\lambda /b_3\end{matrix};q\right) . \end{aligned}$$

Then,

$$\begin{aligned} \det _{1\le i,j\le 3}\left( f_j(\lambda _i)\right) = \frac{(q)_\infty \theta (t\lambda _1\lambda _2\lambda _3)}{\lambda _1\lambda _2\lambda _3}\prod _{i,j=1}^3(q/a_ib_j)_\infty \prod _{1\le i<j\le 3}\lambda _j\theta (\lambda _i/\lambda _j),\qquad \quad \end{aligned}$$
(2.6)

where

$$\begin{aligned} t=a_1a_2a_3=q/{b_1b_2b_3}.\end{aligned}$$
(2.7)

One may prove Proposition 2.2 in a similar way as Proposition 2.1, but we prefer to illustrate a different method (which can also be adapted to give an alternative proof of Proposition 2.1). We first observe that each of the three functions \(f_j\) satisfies \(f_j(q\lambda )=-f_j(\lambda )/qt\lambda ^3\). For \(f_1\) and \(f_2\), this follows from the quasi-periodicity \(\theta (qx)=-\theta (x)/x\), and for \(f_3\), it is easy to verify by shifting the summation index. It then follows from [28, Prop. 3.4] that (2.6) holds up to a factor independent of the variables \(\lambda _j\). Thus, it is enough to verify (2.6) for fixed values of these variables. We choose \(\lambda _2=b_2, \lambda _3=b_3\), so that \(f_1(\lambda _2)=f_1(\lambda _3)=0\). We may then cancel the factors involving \(\lambda _1\) and are left with the identity

$$\begin{aligned}&b_3(a_1b_2,a_2b_2,a_3b_2,b_3q/b_1,b_3q/b_2)_\infty \,{}_3\phi _2\left( \begin{matrix}a_1b_3,a_2b_3, a_3b_3\\ b_3q/b_1,b_3q/b_2\end{matrix};q\right) \\&\quad -\mathrm{idem}(b_2;b_3)=b_3\theta (b_2/b_3)\prod _{j=1}^3(q/b_1a_j)_\infty , \end{aligned}$$

which is the nonterminating q-Saalschütz summation [10, Eq. (II.24)]. This proves (2.6) and explains why we call it the bilateral q-Saalschütz summation.

3 Biorthogonal Rational Functions

3.1 The Rahman Functional

Let \(b_1,\dots ,b_6\) be complex numbers subject to the balancing condition (1.5). We assume that they are generic in the sense that

$$\begin{aligned} b_i/b_j\notin q^{{{\mathbb {Z}}}},\quad 1\le i< j\le 6,\quad b_ib_j\notin q^{{{\mathbb {Z}}}},\quad 1\le i\le j\le 6. \end{aligned}$$
(3.1)

Let V denote the vector space of rational functions in the variable \((z+z^{-1})/2\) that are regular except for possible single poles at

$$\begin{aligned} z^\pm \in b_jq^{{{\mathbb {Z}}}_{<0}},\quad 1\le j\le 6.\end{aligned}$$
(3.2)

We also require that the elements of V are regular at infinity; that is, their numerator does not have larger degree than their denominator.

Lemma 3.1

The space V is spanned by the rational functions

$$\begin{aligned} (b_1z^\pm )_{k_1}\cdots (b_6z^\pm )_{k_6}, \end{aligned}$$
(3.3)

where \(k_j\) are integers such that

$$\begin{aligned} k_1+\dots +k_6=0.\end{aligned}$$
(3.4)

Proof

Given \(f\in V\), let \(n_j\) denote the largest positive integer such that f has a pole at \(z=b_jq^{-n_j}\); if there is no such pole, we let \(n_j=0\). Then,

$$\begin{aligned} f\left( \frac{z+z^{-1}}{2}\right) ={(b_1z^{\pm })_{-n_1}\cdots (b_6z^{\pm })_{-n_6}}\,p\left( \frac{z+z^{-1}}{2}\right) , \end{aligned}$$

with p a polynomial of degree at most \(N=n_1+\dots +n_6\). If we can expand

$$\begin{aligned} p\left( \frac{z+z^{-1}}{2}\right) =\sum _{\begin{array}{c} l_1,\dots ,l_6\ge 0,\\ l_1+\dots +l_6=N \end{array}}C_l\prod _{j=1}^6 (b_jq^{-n_j}z^{\pm })_{l_j}, \end{aligned}$$
(3.5)

then

$$\begin{aligned} f\left( \frac{z+z^{-1}}{2}\right) =\sum _{\begin{array}{c} k_1,\dots ,k_6\ge 0,\\ k_1+\dots +k_6=0 \end{array}}C_{k+n}\prod _{j=1}^6 (b_jz^{\pm })_{k_j}, \end{aligned}$$

and we are done.

We claim that there is an expansion of the form (3.5) with \(l_3=\dots =l_6=0\). Indeed, assuming the condition (3.1), the polynomials

$$\begin{aligned} (b_1q^{-n_1}z^{\pm })_{l}(b_2q^{-n_2}z^{\pm })_{N-l},\quad l=0,\dots ,N, \end{aligned}$$

form a basis for the space of polynomials of degree at most N, see, e.g., [26, Lemma 3.1]. \(\square \)

We now recall Rahman’s integral evaluation

$$\begin{aligned} \oint \frac{(z^{\pm 2})_\infty \theta (\lambda z^\pm )}{(b_1z^{\pm },\dots ,b_6z^{\pm })_\infty }\,\frac{\mathrm{d}z}{2\pi \mathrm {i}z} =\frac{2\left\{ \theta (\lambda b_1,\dots ,\lambda b_6)-q\lambda ^{-2}\theta (\lambda /b_1,\dots ,\lambda /b_6)\right\} }{(q)_\infty \theta (\lambda ^2)\prod _{1\le i<j\le 6}(b_ib_j)_\infty },\nonumber \\ \end{aligned}$$
(3.6)

where (1.5) is assumed. The integration is over a positively oriented contour separating the poles at \(b_jq^{{{\mathbb {Z}}}_{\ge 0}}\) from their reciprocals. The identity (3.6) is a special case of an integral from [21] (see [10, Ex. 6.7]), which was explicitly stated in [22].

Let us replace \(b_j\) in (3.6) with \(b_jq^{k_j}\), where \(k_j\) are integers subject to (3.4). Using (1.6) and other elementary facts, the resulting identity can be expressed as

$$\begin{aligned}&\oint \frac{(z^{\pm 2})_\infty \theta (\lambda z^\pm )}{(b_1z^{\pm },\dots ,b_6z^{\pm })_\infty }\,(b_1z^\pm )_{k_1}\cdots (b_6z^\pm )_{k_6}\,\frac{\mathrm{d}z}{2\pi \mathrm {i}z}\\&\quad =\frac{2\left\{ \theta (\lambda b_1,\dots ,\lambda b_6)-q\lambda ^{-2}\theta (\lambda /b_1,\dots ,\lambda /b_6)\right\} }{(q)_\infty \theta (\lambda ^2)\prod _{1\le i<j\le 6}(b_ib_j)_\infty }\\&\qquad \frac{\prod _{1\le i<j\le 6}(b_ib_j)_{k_i+k_j}}{\prod _{j=1}^6q^{\left( {\begin{array}{c}k_j\\ 2\end{array}}\right) }b_j^{k_j}}. \end{aligned}$$

By Lemma 3.1, this proves the following result.

Proposition 3.2

There exists a functional \({\mathbf {J}}\) on the space V such that

$$\begin{aligned} {\mathbf {J}}\left( (b_1z^\pm )_{k_1}\cdots (b_6z^\pm )_{k_6}\right) =\frac{\prod _{1\le i<j\le 6}(b_ib_j)_{k_i+k_j}}{\prod _{j=1}^6q^{\left( {\begin{array}{c}k_j\\ 2\end{array}}\right) }b_j^{k_j}}. \end{aligned}$$
(3.7)

For generic values of \(\lambda \), it is given by

$$\begin{aligned} {\mathbf {J}}(f)= & {} \frac{(q)_\infty \theta (\lambda ^2)\prod _{1\le i<j\le 6}(b_ib_j)_\infty }{2\left\{ \theta (\lambda b_1,\dots ,\lambda b_6)-q\lambda ^{-2}\theta (\lambda /b_1,\dots ,\lambda /b_6)\right\} }\nonumber \\&\times \oint f\left( \frac{z+z^{-1}}{2}\right) \frac{(z^{\pm 2})_\infty \theta (\lambda z^\pm )}{(b_1z^{\pm },\dots ,b_6z^{\pm })_\infty }\,\frac{\mathrm{d}z}{2\pi \mathrm {i}z}, \end{aligned}$$
(3.8)

where the integration is over a positively oriented contour encircling all poles of the integrand of the form \(z\in b_j q^{{{\mathbb {Z}}}}\) and no poles of the form \(z\in b_j^{-1} q^{{{\mathbb {Z}}}}\).

Note that the choice of contour in (3.8) depends on f. If \(n_j\) are defined as in the proof of Lemma 3.1, then the points \(z=b_jq^{k-n_j}, k\in {{\mathbb {Z}}}_{\ge 0}\), should be inside the contour of integration and their reciprocals outside. For fixed f, the existence of such a contour follows from (3.1), but no contour works for all f.

We will refer to \({\mathbf {J}}\) as Rahman’s functional. Rahman preferred to work with (3.8) in the special case \(\lambda =b_6\). This yields the more compact but less symmetric expression

$$\begin{aligned} {\mathbf {J}}(f)= & {} \frac{(q)_\infty \prod _{1\le i<j\le 5}(b_ib_j)_\infty }{2\prod _{j=1}^5(b_1\cdots b_5/b_j)_\infty }\oint f\left( \frac{z+z^{-1}}{2}\right) \nonumber \\&\frac{(z^{\pm 2},b_1\cdots b_5 z^\pm )_\infty }{(b_1z^{\pm },\dots ,b_5z^{\pm })_\infty }\,\frac{\mathrm{d}z}{2\pi \mathrm {i}z}. \end{aligned}$$
(3.9)

We will also obtain expressions for \({\mathbf {J}}\) in terms of discrete measures. To this end, replace \(b_j\) in (2.1) by \(b_jq^{k_j}\), where, as before, we assume (3.4). The resulting identity can be written

$$\begin{aligned}&\frac{(1-\lambda ^2)\left\{ \theta (\mu b_1,\dots ,\mu b_6)-{q}{\mu ^{-2}}\,\theta (\mu /b_1,\dots ,\mu /b_6)\right\} \prod _{j=1}^6(q\lambda ^\pm /b_j) _\infty }{(q)_\infty \,\theta (\lambda ^2,\mu ^2,\mu \lambda ^\pm )\prod _{1\le i<j\le 6}(q/b_ib_j)_\infty }\\&\quad \times \sum _{x=-\infty }^\infty \frac{1-\lambda ^2q^{2x}}{1-\lambda ^2}q^x \prod _{j=1}^6\frac{(\lambda b_j)_x}{(q\lambda /b_j)_x}\,(\lambda b_jq^x,b_jq^{-x}/\lambda )_{k_j}\\&\quad +\,\mathrm{idem}(\lambda ;\mu )=\frac{\prod _{1\le i<j\le 6}(b_ib_j)_{k_i+k_j}}{\prod _{j=1}^6q^{\left( {\begin{array}{c}k_j\\ 2\end{array}}\right) }b_j^{k_j}}. \end{aligned}$$

This proves the following result.

Proposition 3.3

For generic values of \(\lambda \) and \(\mu \),

$$\begin{aligned} {\mathbf {J}}(f)= & {} \frac{(1-\lambda ^2)\left\{ \theta (\mu b_1,\dots ,\mu b_6)-\frac{q}{\mu ^2}\, \theta (\mu /b_1,\dots ,\mu /b_6)\right\} \prod _{j=1}^6(q\lambda ^\pm /b_j)_\infty }{ (q)_\infty \theta (\lambda ^2,\mu ^2,\lambda \mu ,\mu /\lambda ) \prod _{1\le i<j\le 6}(q/b_ib_j)_\infty }\nonumber \\&\times \sum _{x=-\infty }^\infty \frac{1-\lambda ^2q^{2x}}{1-\lambda ^2}q^x\prod _{j=1}^6 \frac{(\lambda b_j)_x}{(q\lambda /b_j)_x}\,f\left( \frac{\lambda q^x+\lambda ^{-1}q^{-x}}{2}\right) \nonumber \\&+\,\mathrm{idem}(\lambda ;\mu ). \end{aligned}$$
(3.10)

In contrast to (3.8), where the contour of integration depends on f, the identity (3.10) holds uniformly on the whole space V.

Assume for simplicity that \(f((z+z^{-1})/2)\) has no poles at \(z^\pm \in b_5q^{{{\mathbb {Z}}}_{<0}}\) or \(b_6q^{{{\mathbb {Z}}}_{<0}}\). Then, we may let \(\lambda =b_5\) and \(\mu =b_6\) in (3.10) and conclude that

$$\begin{aligned} {\mathbf {J}}(f)= & {} \frac{\prod _{j=1}^4(qb_5/b_j,b_jb_6)_\infty }{(qb_5^2,b_6/b_5)_\infty \prod _{1\le i<j\le 4}(q/b_ib_j)_\infty }\nonumber \\&\times \sum _{x=0}^\infty \frac{1-b_5^2q^{2x}}{1-b_5^2}q^x\prod _{j=1}^6\frac{(b_5b_j)_x}{(qb_5/b_j)_x} \,f\left( \frac{b_5q^x+b_5^{-1}q^{-x}}{2}\right) \nonumber \\&+\,\mathrm{idem}(b_5;b_6). \end{aligned}$$
(3.11)

For general functions in V, one obtains in the same way an expression involving also residues of f at points corresponding to \(x<0\). This is discussed in [2, Prop. 6.4], but the general case of (3.10) seems to be new.

Van de Bult and Rains [2] also found integral formulas for \({\mathbf {J}}\) that are nonsymmetric in the sense that the measure is not invariant under \(z\mapsto 1/z\). We will now give a more general result of this type.

Proposition 3.4

The functional \({\mathbf {J}}\) can be expressed as

$$\begin{aligned} {\mathbf {J}}(f)= & {} \frac{1}{C} \oint f\left( \frac{z+z^{-1}}{2}\right) \frac{z-z^{-1}}{z^2}\prod _{j=1}^6 \frac{\theta (\lambda _jz)}{(b_jz^\pm )_\infty }\frac{\mathrm{d}z}{2\pi \mathrm {i}z}, \end{aligned}$$
(3.12)

where the integration is as above, \(\lambda _j\) are generic parameters subject to \(\lambda _1\cdots \lambda _6=q\), and

$$\begin{aligned} C=\frac{\prod _{j=1}^4\theta (\lambda _j\lambda _2)\left\{ \prod _{j=1}^6\theta (\lambda _1b_j)-{q}{\lambda _1^{-2}}\prod _{j=1}^6\theta (\lambda _1/b_j)\right\} }{\lambda _2\theta (\lambda _1^2,\lambda _1/\lambda _2)(q)_\infty \prod _{1\le i<j\le 6}(b_ib_j)_\infty }+idem (\lambda _1;\lambda _2). \end{aligned}$$

Proof

Symmetrizing the integral, we may write the right-hand side of (3.12) as

$$\begin{aligned}\frac{1}{2C} \oint f\left( \frac{z+z^{-1}}{2}\right) \frac{(z-z^{-1})\left\{ z^{-2}\prod _{j=1}^6\theta (\lambda _jz)-z^{2}\prod _{j=1}^6\theta (\lambda _j/z)\right\} }{\prod _{j=1}^6(b_jz^\pm )_\infty }\,\frac{\mathrm{d}z}{2\pi \mathrm {i}z}. \end{aligned}$$

By (2.4), with \(\mu \) replaced with z and \(b_j\) with an appropriate permutation of \(\lambda _j\), the factor in brackets can be expressed as

$$\begin{aligned} \frac{z^{-1}\theta (z^2,\lambda _2\lambda _3,\dots ,\lambda _2\lambda _6,\lambda _1z^\pm )}{\lambda _2\theta (\lambda _1/\lambda _2)}+idem (\lambda _1;\lambda _2). \end{aligned}$$

As

$$\begin{aligned} z^{-1}(z-z^{-1})\theta (z^2)=(z^{\pm 2})_\infty , \end{aligned}$$

we may then apply (3.8) to express the integral in terms of \({\mathbf {J}}\). \(\square \)

The nonsymmetric integral formulas given in [2] correspond to the special case of (3.12) when \(\lambda _j=b_j\) for \(j=1,\dots ,4\). In that case,

$$\begin{aligned} C&=\frac{\theta (b_1b_2,b_1b_3,b_1b_4,b_2b_3,b_2b_4)}{b_2\theta (b_1/b_2)(q)_\infty \prod _{1\le i<j\le 4}}\\&\quad \times \left\{ \theta (b_2\lambda _5,b_2\lambda _6,b_1b_5,b_1b_6)-\theta (b_1\lambda _5,b_1\lambda _2,b_2b_5,b_2b_6)\right\} . \end{aligned}$$

Since \(b_5b_6=\lambda _5\lambda _6\), we may apply Weierstrass’ identity (see, e.g., [27, §1.4]) to conclude that the factor in brackets equals

$$\begin{aligned} -b_2\lambda _6\theta (b_1/b_2,b_3b_4,\lambda _5/b_5,\lambda _5/b_6). \end{aligned}$$

In the corresponding specialization of (3.12), we find it convenient to replace z with 1 / z and write \(\lambda =q/\lambda _5\). We then obtain

$$\begin{aligned} {\mathbf {J}}(f)&=\frac{b_5b_6\lambda \,(q,b_5b_6)_\infty \prod _{j=1}^4(b_jb_5,b_jb_6)_\infty }{\theta (b_5\lambda ,b_6 \lambda )\prod _{1\le i<j\le 4}(q/b_ib_j)_\infty }\nonumber \\&\quad \times \oint f\left( \frac{z+z^{-1}}{2}\right) (z-z^{-1})\frac{\theta (\lambda z,z/b_5b_6\lambda )}{(b_5z^\pm ,b_6z^\pm )_\infty }\prod _{j=1}^4\frac{(qz/b_j)_\infty }{(b_jz)_\infty }\,\frac{\mathrm{d}z}{2\pi \mathrm {i}z}. \end{aligned}$$
(3.13)

This is also contained in [2, Prop. 6.3]. As is discussed in [2], (3.11) can be obtained from (3.13) through shrinking the contour of integration to zero, picking up residues at the points \(b_5q^{{{\mathbb {Z}}}_{\ge 0}}\) and \(b_6q^{{{\mathbb {Z}}}_{\ge 0}}\).

3.2 Rahman’s Biorthogonal Functions

Rahman [21, 23] constructed rational functions that are biorthogonal with respect to the functional \({\mathbf {J}}\). To explain this, we introduce the subspace \(V_n^i\) of V consisting of rational functions having no poles except possibly at \(z^\pm =b_iq^{-k-1}\), where \(i=1,\dots ,6\) is fixed and \(0\le k\le n\). It is easy to see that \(\dim (V_n^i)=n+1\). If \(1\le i\ne j\le 6\), we may look for a function \(Q_n^{(i,j)}\in V_n^i\) such that \(I(Q_n^{(i,j)}f)=0\) for all \(f\in V_{n-1}^j\). As this is an n-dimensional condition on an \((n+1)\)-dimensional space, it is not surprising that for generic parameters the solution is unique up to normalization. We then have the biorthogonality relations \({\mathbf {J}}(Q_n^{(i,j)}Q_m^{(j,i)})=0\) for \(m\ne n\).

We may assume that \(i=5, j=6\). Then, \(Q_n^{(5,6)}\) is given by the function (our notation differs from that of Rahman)

$$\begin{aligned}&Q_n\left( \frac{z+z^{-1}}{2};b_1,\dots ,b_6;q\right) =\frac{(b_1b_2,b_1b_3,b_1b_4,1/b_1b_6)_n}{(qb_1/b_5)_n}\\&\quad \times \,{}_{10}W_9(b_1/b_5;b_1z,b_1/z,q/b_2b_5, q/b_3b_5,q/b_4b_5,q^n/b_5b_6,q^{-n};q). \end{aligned}$$

It follows from Bailey’s \({}_{10}W_9\)-transformation [10, Eq. (III.28)] that \(Q_n\) is symmetric in the parameters \(b_1,\dots ,b_4\).

More precisely, Rahman proved that if

$$\begin{aligned} Q_n&=Q_n\left( \frac{z+z^{-1}}{2};b_1,b_2,b_3,b_4,b_5,b_6\right) , \end{aligned}$$
(3.14a)
$$\begin{aligned} R_n&=Q_n\left( \frac{z+z^{-1}}{2};b_1,b_2,b_3,b_4,b_6,b_5\right) , \end{aligned}$$
(3.14b)

then

$$\begin{aligned} {\mathbf {J}}(Q_mR_n)=\delta _{mn}\frac{1-q^{-1}b_1b_2b_3 b_4}{1-q^{2n-1}b_1b_2b_3b_4}\frac{(q)_n\prod _{1\le i<j\le 4}(b_ib_j)_n}{q^n(q^{-1}b_1b_2b_3b_4)_n}. \end{aligned}$$
(3.15)

Rahman formulated this result with \({\mathbf {J}}\) given by (3.9) (and modifications, where the contour is deformed to the unit circle and then moved to an interval by a change of variables). Using instead (3.8), (3.10), or (3.12) gives new explicit forms of (3.15). Note, in particular, that (3.10) gives biorthogonality relations with respect to a fixed measure for all m and n, whereas in (3.8), (3.9), and (3.12), the integrals must be deformed (or discrete terms added) as m and n increase.

3.3 The Al-Salam–Ismail Functional

There are many interesting limit cases of Rahman’s biorthogonal functions [2]. From the perspective of superconformal indices (see Sect. 4), a particularly interesting case is when three of the parameters \(b_j\) tend to zero and the remaining three to infinity, while the variable z is scaled so that either \(zb_j\) or \(z/b_j\) is fixed for each j. To describe this limit, we make the substitutions

$$\begin{aligned} (b_1,b_2,b_3,b_4,b_5,b_6)\mapsto (a_1/c,a_2/c,a_3/c,b_1c,b_2c,b_3c), \end{aligned}$$

so that the balancing condition (1.5) becomes (2.5). We also replace z by cz. The possible poles (3.2) are then located at

$$\begin{aligned} z\in a_j^{-1}q^{{{\mathbb {Z}}}_{>0}},\quad z\in b_jq^{{{\mathbb {Z}}}_{<0}},\quad 1\le j\le 3, \end{aligned}$$
(3.16)

together with additional poles tending to zero or infinity as c tends to zero.

More concretely, let \(f((z+z^{-1})/2)\) denote the spanning function (3.3). We replace \((k_1,\dots ,k_6)\) by \((k_1,k_2,k_3,l_1,l_2,l_3)\) and write

$$\begin{aligned} T=k_1+k_2+k_3=-l_1-l_2-l_3. \end{aligned}$$
(3.17)

Then,

$$\begin{aligned} \lim _{c\rightarrow 0}c^{2T}f\left( \frac{(cz)+(cz)^{-1}}{2}\right)&=\lim _{c\rightarrow 0}\prod _{j=1}^3 c^{2k_j}\left( a_jz,a_j/c^2z\right) _{k_j}\left( b_j/z,b_jc^2z\right) _{l_j}\\&=(-1)^T\prod _{j=1}^3q^{\left( {\begin{array}{c}k_j\\ 2\end{array}}\right) }a_j^{k_j}\cdot g(z), \end{aligned}$$

where

$$\begin{aligned} g(z)=z^{-T}\prod _{j=1}^3(a_jz)_{k_j}(b_j/z)_{l_j}. \end{aligned}$$
(3.18)

It is easy to see that, as \(k_j, l_j\), and T vary over integers subject to (3.17), the functions g span the space of rational functions in z that are regular everywhere (including at infinity) except for possible single poles at (3.16). We will denote this space by W. We also compute

$$\begin{aligned} \lim _{c\rightarrow 0}c^{2T}{\mathbf {J}}(f)&=\lim _{c\rightarrow 0}\frac{c^{2T}\prod _{1\le i<j\le 3}\left( a_ia_j/c^2\right) _{k_i+k_j}\left( b_ib_jc^2\right) _{l_i+l_j}\prod _{i,j=1}^3(a_ib_j)_{k_i+l_j}}{\prod _{j=1}^3q^{\left( {\begin{array}{c}k_j\\ 2\end{array}}\right) +\left( {\begin{array}{c}l_j\\ 2\end{array}}\right) }(a_j/c)^{k_j}(b_jc)^{l_j}}\\&=t^Tq^{\left( {\begin{array}{c}T\\ 2\end{array}}\right) }\frac{\prod _{i,j=1}^3(a_ib_j)_{k_i+l_j}}{\prod _{j=1}^3q^{\left( {\begin{array}{c}l_j\\ 2\end{array}}\right) }b_j^{l_j}}, \end{aligned}$$

where t is as in (2.7). Thus, \({\mathbf {J}}\) degenerates to a functional \({\mathbf {K}}\) on W, which acts on the spanning functions (3.18) as

$$\begin{aligned} {\mathbf {K}}(g)=\frac{(-t)^Tq^{\left( {\begin{array}{c}T\\ 2\end{array}}\right) }\prod _{i,j=1}^3(a_ib_j)_{k_i+l_j}}{\prod _{j=1}^3q^{\left( {\begin{array}{c}k_j\\ 2\end{array}}\right) +\left( {\begin{array}{c}l_j\\ 2\end{array}}\right) }a_j^{k_j}b_j^{l_j}}. \end{aligned}$$
(3.19)

As we explain in Sect. 3.4, Al-Salam and Ismail constructed explicit biorthogonal systems for the functional \({\mathbf {K}}\) [1]. For this reason, we call it the Al-Salam–Ismail functional.

The reader may find it puzzling that \({\mathbf {J}}\) and its degenerate case \({\mathbf {K}}\) seem to depend on the same number of parameters. The explanation is that we can simultaneously scale \(z, 1/a_j\), and \(b_j\) by the same constant without changing \({\mathbf {K}}\). This effectively reduces the number of parameters by one. We also mention the symmetry

$$\begin{aligned} \tilde{{\mathbf {K}}}({\tilde{g}})={\mathbf {K}}(g),\quad g\in W, \end{aligned}$$
(3.20)

where \({\tilde{g}}(z)=g(1/z)\) and \(\tilde{{\mathbf {K}}}\) is obtained from \({\mathbf {K}}\) after interchanging the parameters \(a_j\) and \(b_j\).

One may obtain an integral expression for \({\mathbf {K}}\) from Gasper’s identity [9], [10, Eq. (4.11.3)]

$$\begin{aligned} \oint \frac{(qz/b_3)_\infty \theta (\lambda z,qz/\lambda b_1b_2)}{(a_1z,a_2z,a_3z,b_1/z,b_2/z)_\infty }\frac{\mathrm{d}z}{2\pi \mathrm {i}z} =\frac{\theta (b_1\lambda ,b_2\lambda )}{(q)_\infty }\prod _{j=1}^3\frac{(q/b_3a_j)_\infty }{(b_1a_j,b_2a_j)_\infty },\qquad \quad \end{aligned}$$
(3.21)

which holds for generic parameters subject to (2.5). More symmetric integral formulas arise from the following one-parameter extension of (3.21).

Proposition 3.5

For generic parameters subject to the relations

$$\begin{aligned} \lambda _1\lambda _2\lambda _3= & {} qa_1a_2a_3=q^2/b_1b_2b_3, \end{aligned}$$
(3.22)
$$\begin{aligned} \oint \prod _{j=1}^3\frac{\theta (\lambda _jz)}{(a_jz,b_j/z)_\infty }\frac{\mathrm{d}z}{2\pi \mathrm {i}z}= & {} \frac{1}{(q)_\infty \theta (\lambda _1/\lambda _2)\prod _{i,j=1}^3(a_ib_j)_\infty }\nonumber \\&\times \left\{ \prod _{j=1}^3\theta (\lambda _1/a_j,\lambda _2b_j)-\frac{\lambda _1}{\lambda _2}\prod _{j=1}^3\theta (\lambda _1b_j,\lambda _2/a_j)\right\} .\nonumber \\ \end{aligned}$$
(3.23)

To prove Proposition 3.5, we will use (3.21) and the following fact. The proof is a standard elliptic function argument that we include for completeness.

Lemma 3.6

Let f be an analytic function on \({{\mathbb {C}}}{\setminus }\{0\}\) that satisfies

$$\begin{aligned} f(qx)=f(x)/q^3x^6,\quad f(1/x)=-f(x). \end{aligned}$$
(3.24)

Moreover, let \(c_1\) and \(c_2\) be numbers such that \(c_1^2,\,c_2^2,c_1c_2,c_1/c_2\notin q^{{{\mathbb {Z}}}}\). Then, f is uniquely determined by the values \(f(c_1)\) and \(f(c_2)\).

Proof

Let

$$\begin{aligned} g(x)=x^{-1}\theta (x^2)\left( \frac{\theta (c_2x^\pm )}{c_1^{-1} \theta (c_1^2,c_2c_1^\pm )}\,f(c_1)+\frac{\theta (c_1x^\pm )}{ c_2^{-1}\theta (c_2^2,c_1c_2^\pm )}\,f(c_2)\right) . \end{aligned}$$

We claim that \(f(x)=g(x)\) for all x. This is clearly true for \(x=c_1\). Since g satisfies (3.24), it is more generally true for \(x^\pm \in c_1 q^{{{\mathbb {Z}}}}\). We also observe that (3.24) implies that f vanishes for \(x^2\in q^{{{\mathbb {Z}}}}\). Hence, the function

$$\begin{aligned} h(x)=\frac{f(x)-g(x)}{x^{-1}\theta \left( x^2,c_1x^\pm \right) } \end{aligned}$$

is analytic for \(x\ne 0\) and satisfies \(h(qx)=h(x)\). By Liouville’s theorem, h is constant. Since \(h(c_2)=0\), we arrive at the desired conclusion. \(\square \)

Proof of Proposition 3.5

We substitute \(\lambda _1=\lambda x\) and \(\lambda _2=\lambda /x\) in (3.23) and multiply the identity by \(x^{-1}\theta (x^2)\). Consider both sides as functions of x. It is easy to see that they satisfy (3.24) (as the contour of integration can be chosen independently of x, it is enough to consider the integrand). By Lemma 3.6, it then suffices to verify (3.23) for two generic values of \(\lambda _1\). Choosing \(\lambda _1=q/b_3\), (3.23) is reduced to (3.21). By symmetry, we may take \(\lambda _1=q/b_2\) as the other value. \(\square \)

Let us now replace \(a_j\) and \(b_j\) in (3.23) by \(a_jq^{k_j}\) and \(b_jq^{l_j}\), where \(k_j\) and \(l_j\) are integers subject to (3.17). In order to respect (3.22), we also replace \(\lambda _3\) by \(\lambda _3q^T\). The resulting identity can be expressed as

$$\begin{aligned} {\mathbf {K}}(g)= & {} \frac{(q)_\infty \theta (\lambda _1/\lambda _2)\prod _{i,j=1}^3(a_ib_j)_\infty }{ \prod _{j=1}^3\theta (\lambda _1/a_j,\lambda _2b_j)- \frac{\lambda _1}{\lambda _2}\prod _{j=1}^3\theta (\lambda _1b_j,\lambda _2/a_j)}\nonumber \\&\times \oint g(z)\prod _{j=1}^3\frac{\theta (\lambda _jz)}{(a_jz,b_j/z)_\infty }\frac{\mathrm{d}z}{2\pi \mathrm {i}z}, \end{aligned}$$
(3.25)

where g is as in (3.18). As these functions span W, we may draw the following conclusion.

Proposition 3.7

The functional \({\mathbf {K}}\) is given by the integral formula (3.25), where \(\lambda _j\) are generic parameters subject to (3.22).

The special case corresponding to (3.21) is

$$\begin{aligned} {\mathbf {K}}(g)= & {} \frac{(q)_\infty }{\theta (b_1\lambda ,b_2\lambda )}\prod _{j=1}^3\frac{(b_1a_j,b_2a_j)_\infty }{(q/b_3a_j)_\infty }\nonumber \\&\times \oint g(z)\frac{(qz/b_3)_\infty \theta (\lambda z,qz/\lambda b_1b_2)}{(a_1z,a_2z,a_3z,b_1/z,b_2/z)_\infty }\frac{\mathrm{d}z}{2\pi \mathrm {i}z}. \end{aligned}$$
(3.26)

By (3.20), we may alternatively write

$$\begin{aligned} {\mathbf {K}}(g)= & {} \frac{(q)_\infty }{\theta (\lambda /a_1,\lambda /a_2)}\prod _{j=1}^3\frac{(a_1b_j,a_2b_j)_\infty }{(q/a_3b_j)_\infty }\nonumber \\&\times \oint g(z)\frac{(q/a_3z)_\infty \theta (\lambda z,qza_1a_2/\lambda )}{(a_1z,a_2z,b_1/z,b_2/z,b_3/z)_\infty }\frac{\mathrm{d}z}{2\pi \mathrm {i}z}. \end{aligned}$$
(3.27)

We also mention the further specialization \(\lambda =a_3\) of (3.26) (or \(\lambda =q/b_3\) of (3.27)),

$$\begin{aligned} {\mathbf {K}}(g)= & {} \frac{(q)_\infty \prod _{i,j=1}^2(a_ib_j)_\infty }{(q/a_3b_3)_\infty \prod _{j=1}^2(q/a_3b_j,q/b_3a_j)_\infty }\nonumber \\&\times \oint g(z)\frac{(qz/b_3,q/a_3z)_\infty \theta (a_1a_2b_3z)}{(a_1z,a_2z,b_1/z,b_2/z)_\infty }\frac{\mathrm{d}z}{2\pi \mathrm {i}z}. \end{aligned}$$
(3.28)

To obtain discrete integral formulas for \({\mathbf {K}}\), we replace \(a_j\) by \(a_jq^{k_j}\) and \(b_j\) by \(b_jq^{l_j}\) in (2.6), where we still assume (3.17). This leads to the following result.

Proposition 3.8

For generic parameters \(\lambda _j\), the functional \({\mathbf {K}}\) can be expressed as

$$\begin{aligned} {\mathbf {K}}(g)=C\sum _{k=1}^3X_k\sum _{x=-\infty }^\infty q^xg\left( \lambda _k q^x\right) \prod _{j=1}^3\frac{(a_j\lambda _k)_x}{(q\lambda _k/b_j)_x}, \end{aligned}$$
(3.29)

where

$$\begin{aligned} C= & {} \frac{\lambda _1\lambda _2\lambda _3}{{(q)_\infty \theta (t\lambda _1\lambda _2\lambda _3)}\prod _{i,j=1}^3(q/a_ib_j)_\infty \prod _{1\le i<j\le 3}\lambda _j\theta (\lambda _i/\lambda _j)},\\ X_1= & {} \prod _{j=1}^3(q/a_j\lambda _1,q\lambda _1/b_j)_\infty \left\{ \frac{\lambda _2}{\lambda _3}\prod _{j=1}^3\theta (a_j\lambda _3,b_j/\lambda _2)-\frac{\lambda _3}{\lambda _2}\prod _{j=1}^3\theta (a_j\lambda _2,b_j/\lambda _3)\right\} ,\\ X_2= & {} \prod _{j=1}^3(q/a_j\lambda _2,q\lambda _2/b_j)_\infty \left\{ \frac{\lambda _3}{\lambda _1}\prod _{j=1}^3\theta (a_j\lambda _1,b_j/\lambda _3)-\frac{\lambda _1}{\lambda _3}\prod _{j=1}^3\theta (a_j\lambda _3,b_j/\lambda _1)\right\} ,\\ X_3= & {} \prod _{j=1}^3(q/a_j\lambda _3,q\lambda _3/b_j)_\infty \left\{ \frac{\lambda _1}{\lambda _2}\prod _{j=1}^3\theta (a_j\lambda _2,b_j/\lambda _1)-\frac{\lambda _2}{\lambda _1}\prod _{j=1}^3\theta (a_j\lambda _1,b_j/\lambda _2)\right\} . \end{aligned}$$

Note that, in contrast to Proposition 3.7, we are not assuming any balancing condition for the parameters \(\lambda _j\).

Analogously to (3.11), assuming that g has no poles at \(z\in b_1q^{{{\mathbb {Z}}}_{<0}}\) or \(b_2q^{{{\mathbb {Z}}}_{<0}}\), we may choose \(\lambda _1=b_1\) and \(\lambda _2=b_2\) in (3.29). This leads to the expression

$$\begin{aligned} {\mathbf {K}}(g)= & {} \frac{1}{b_1\theta (b_2/ b_1)\prod _{j=1}^3(q/a_jb_3)_\infty }\Bigg (b_1(qb_1/b_2,qb_1/b_3,a_1b_2,a_2b_2,a_3b_2)_\infty \nonumber \\&\times \sum _{x=0}^\infty q^xg(b_1q^x)\prod _{j=1}^3\frac{(a_jb_1)_x}{(qb_1/b_j)_x}-\mathrm{idem}(b_1;b_2)\Bigg ), \end{aligned}$$
(3.30)

which can alternatively be obtained from (3.26) by shrinking the contour to zero, picking up residues at the points \(b_1q^{{{\mathbb {Z}}}_{\ge 0}}\) and \(b_2q^{{{\mathbb {Z}}}_{\ge 0}}\). If one instead expands the contour in (3.27), or substitutes \(\lambda _1=1/a_1, \lambda _2=1/a_2\) in (3.29), one finds a similar identity involving values of g at \(a_jq^{{{\mathbb {Z}}}_{\le 0}}\).

3.4 Biorthogonal Rational Functions

Let us now consider the limit of Rahman’s biorthogonal functions corresponding to the functional \({\mathbf {K}}\). There are two essentially different cases, depending on whether the distinguished parameters \(b_5\) and \(b_6\) in (3.15) tend to the same or distinct limits in \(\{0,\infty \}\).

For the first case, we write

$$\begin{aligned}&q_n(z;b_1,b_2,b_3,a_1,a_2,a_3;q)\\&\quad =\lim _{c\rightarrow 0} \,Q_n\left( \frac{(cz)+(cz)^{-1}}{2};b_1c,b_2c,b_3c,a_1/c,a_2/c,a_3/c;q\right) \\&\quad =(a_1b_1,1/a_3b_1)_n\,{}_4\phi _3\left( \begin{matrix}q^{-n},q/a_2b_2,q/a_2b_3,b_1/z\\ a_1b_1,q^{1-n}a_3b_1,q/a_2z\end{matrix};q\right) . \end{aligned}$$

This function is symmetric in the parameters \((b_1,b_2,b_3)\). Though we label \(q_n\) by seven parameters (counting q), it is effectively a five-parameter system since (2.5) is assumed and we may scale \(z, a_j^{-1}\) and \(b_j\) by a fixed constant. If \(r_n\) denotes the function \(q_n\) with \(a_2\) and \(a_3\) interchanged, then it follows from (3.15) that

$$\begin{aligned} {\mathbf {K}}(q_mr_n)=\delta _{mn}\,q^{-n}(q,a_1b_1,a_1b_2,a_1b_3)_n. \end{aligned}$$

Applying (3.20), we also find that if

$$\begin{aligned} {\tilde{q}}_n(z)&=q_n(1/z;a_1,a_2,a_3,b_1,b_2,b_3;q)\\&=(a_1b_1,1/a_1b_3)_n\,{}_4\phi _3\left( \begin{matrix}q^{-n},q/a_2b_2,q/a_3b_2,a_1z\\ a_1b_1,q^{1-n}a_1b_3,qz/b_2\end{matrix};q\right) \end{aligned}$$

and \({\tilde{r}}_n\) denotes \({\tilde{q}}_n\) with \(b_2\) and \(b_3\) interchanged, then

$$\begin{aligned} {\mathbf {K}}({\tilde{q}}_m{\tilde{r}}_n)=\delta _{mn}\,q^{-n}(q,a_1b_1,a_2b_1,a_3b_1)_n. \end{aligned}$$

For reasons that will be clear in Sect. 4, we think of this as a separate system, even though it is equivalent to \((q_n,r_n)\) by a change of parameters.

The biorthogonal system \((q_n,r_n)\) appears in the scheme of van de Bult and Rains [2] with the label 3100v2. The biorthogonality relations described there correspond to (3.26) and (3.30), possibly after permuting the parameters and applying the symmetry (3.20). Our expressions (3.25) and (3.29) unify and generalize these relations. Just as for Rahman’s functions, in the continuous case the contour of integration depends on m and n, whereas the discrete measures are fixed.

For the second case, we write

$$\begin{aligned}&s_n(z;b_1,b_2,b_3,a_1,a_2,a_3;q)\\&\quad =\lim _{c\rightarrow 0}(-1)^nq^{-\left( {\begin{array}{c}n\\ 2\end{array}}\right) }c^{2n} Q_n \left( \frac{(cz)+(cz)^{-1}}{2};b_1c,b_2c,a_1/c,a_2/c,a_3/c,b_3c;q\right) \\&\quad =\frac{(a_1b_1,a_2b_1)_n}{(b_1b_3)^n}\,{}_4\phi _3 \left( \begin{matrix}q^{-n},q/a_3b_2,q^n/a_3b_3,b_1/z\\ a_1b_1,a_2b_1,q/a_3z\end{matrix};q\right) ,\\&t_n(z;b_1,b_2,b_3,a_1,a_2,a_3;q) \\&\quad =\lim _{c\rightarrow 0} Q_n \left( \frac{(cz)+(cz)^{-1}}{2};a_1/c,b_1c,b_2c,a_2/c,b_3c,a_3/c;q\right) \\&\quad =(q^{-1}a_2b_3)^n{(a_1b_1,a_1b_2)_n}\,{}_4\phi _3 \left( \begin{matrix}q^{-n},q/a_2b_3,q^n/a_3b_3,a_1z\\ a_1b_1,a_1b_2,qz/b_3\end{matrix};q\right) . \end{aligned}$$

Again, these are effectively five-parameter systems. Both \(s_n\) and \(t_n\) are symmetric in the pairs \((a_1,a_2)\) and \((b_1,b_2)\). We obtain from (3.15) the biorthogonality

$$\begin{aligned} {\mathbf {K}}(s_mt_n)=\delta _{mn}\,(q^{-1}a_1a_2)^n\frac{1-q^{-1}a_1a_2b_1b_2}{1-q^{2n-1}a_1a_2b_1b_2}\frac{(q)_n\prod _{i,j=1}^2(a_ib_j)_n}{(q^{-1}a_1a_2b_1b_2)_n}. \end{aligned}$$
(3.31)

In this case, it is natural to use the expression (3.28) for \({\mathbf {K}}\), as the poles of \(s_m\) and \(t_n\) are then situated at zeroes of the biorthogonality measure, so that one may use the same contour of integration for all m and n. With the biorthogonality written in this form, (3.31) is due to Al-Salam and Ismail [1]. In the classification of [2], the system \((s_n,t_n)\) is denoted by 2200vv (in Appendix A.2 it appears with a typo as 2200vp). The expressions (3.25) and (3.29) for \({\mathbf {K}}\) generalize the biorthogonality measures found in [1] and [2].

4 Superconformal Indices

As was discussed in the introduction, when considering integral evaluations related to dualities for three-dimensional supersymmetric quantum field theories, (1.4) appears as a top level beta integral. As before, the integration is over a positively oriented contour separating the geometric sequences of poles tending to 0 from those tending to \(\infty \); note that the contour necessarily depends on x. Besides the quantum field theory interpretation, (1.4) also appears as the star-triangle relation for a solvable lattice model introduced in [8].

Let us replace \(b_j\) in (1.4) by \(b_jq^{k_j}\) and \(N_j\) by \(N_j+l_j-k_j\), where \(k_j\) and \(l_j\) are integers with \(k_1+\dots +k_6=l_1+\dots +l_6=0\). After simplification, this results in the identity

$$\begin{aligned}&\sum _{x=-\infty }^\infty \oint \frac{(1-q^x z^2)(1-q^xz^{-2})}{q^xz^{6x}}\prod _{j=1}^6\frac{(q^{1+x/2}/b_jz,q^{1-x/2}z/b_j)_\infty }{(q^{N_j+x/2}b_jz,q^{N_j-x/2}b_j/z)_\infty }\\&\quad \times \prod _{j=1}^6{(b_j(q^{-x/2}z)^{\pm })_{k_j}(b_jq^{N_j}(q^{x/2}z)^\pm )_{l_j}}\, \frac{\mathrm{d}z}{2\pi \mathrm {i}z}\\&\qquad =\frac{2}{\prod _{j=1}^6q^{\left( {\begin{array}{c}k_j\\ 2\end{array}}\right) +\left( {\begin{array}{c}l_j\\ 2\end{array}}\right) +\left( {\begin{array}{c}N_j\\ 2\end{array}}\right) +N_jl_j}b_j^{k_j+l_j+N_j}}\\&\quad \qquad \prod _{1\le i<j\le 6} \frac{(q/b_ib_j)_\infty (b_ib_j)_{k_i+k_j}(b_ib_jq^{N_i+N_j})_{l_i+l_j}}{(b_ib_jq^{N_i+N_j})_\infty }. \end{aligned}$$

This can be interpreted in terms of the functional (3.7). Let V be the space introduced in Sect. 3.1 and \(V'\) the space obtained from V through replacing the parameters \(b_j\) with \(b_jq^{N_j}\). Denoting the Rahman functional on \(V'\) by \({\mathbf {J}}'\), we obtain the following result.

Proposition 4.1

For \(f\in V\) and \(g\in V'\),

$$\begin{aligned}&\sum _{x=-\infty }^\infty \oint \frac{(1-q^x z^2)(1-q^xz^{-2})}{q^xz^{6x}}\prod _{j=1}^6\frac{(q^{1+x/2}/b_jz,q^{1-x/2}z/b_j)_\infty }{(q^{N_j+x/2}b_jz,q^{N_j-x/2}b_j/z)_\infty }\nonumber \\&\quad \times f\left( \frac{q^{-x/2}z+q^{x/2}z^{-1}}{2}\right) g\left( \frac{q^{x/2}z+q^{-x/2}z^{-1}}{2}\right) \frac{\mathrm{d}z}{2\pi \mathrm {i}z}\nonumber \\&\qquad =\frac{2}{\prod _{j=1}^6q^{\left( {\begin{array}{c}N_j\\ 2\end{array}}\right) } b_j^{N_j}}\prod _{1\le i<j\le 6} \frac{(q/b_ib_j)_\infty }{(b_ib_jq^{N_i+N_j})_\infty }\,{\mathbf {J}}(f){\mathbf {J}}'(g). \end{aligned}$$
(4.1)

We find it remarkable that the right-hand side of (4.1) factors, even though the variables of f and g on the left are coupled. We refer to this as the decoupling phenomenon. Just as for Spiridonov’s beta integral discussed in the introduction, it can be used to construct two-index biorthogonal systems. To this end, let \(Q_n\) and \(R_n\) be as in (3.14). Moreover, if \((c_1,\dots ,c_6)\) is any permutation of \((b_1q^{N_1},\dots ,b_6q^{N_6})\), let

$$\begin{aligned} Q_n'&=Q_n\left( \frac{z+z^{-1}}{2};c_1,c_2,c_3,c_4,c_5,c_6\right) ,\\ R_n'&=Q_n\left( \frac{z+z^{-1}}{2};c_1,c_2,c_3,c_4,c_6,c_5\right) . \end{aligned}$$

Combining (3.15) and Proposition 4.1 then gives the following result.

Corollary 4.2

In the notation above,

$$\begin{aligned}&\sum _{x=-\infty }^\infty \oint \frac{(1-q^x z^2)(1-q^xz^{-2})}{q^xz^{6x}}\prod _{j=1}^6\frac{(q^{1+x/2}/b_jz,q^{1-x/2}z/b_j)_\infty }{(q^{N_j+x/2}b_jz,q^{N_j-x/2}b_j/z)_\infty }\\&\qquad \times (Q_{n_1}R_{m_1})\left( \frac{q^{-x/2}z+q^{x/2}z^{-1}}{2}\right) (Q_{n_2}'R_{m_2}')\left( \frac{q^{x/2}z+q^{-x/2}z^{-1}}{2}\right) \frac{\mathrm{d}z}{2\pi \mathrm {i}z}\\&\quad =\delta _{n_1m_1}\delta _{n_2m_2}\frac{2}{\prod _{j=1}^6q^{\left( {\begin{array}{c}N_j\\ 2\end{array}}\right) } b_j^{N_j}}\prod _{1\le i<j\le 6} \frac{(q/b_ib_j)_\infty }{(b_ib_jq^{N_i+N_j})_\infty }\\&\quad \quad \times \frac{1-1/b_5b_6}{1-q^{2n_1}/b_5b_6}\frac{(q)_{n_1}\prod _{1\le i<j\le 4}(b_ib_j)_{n_1}}{q^{n_1}(1/b_5b_6)_{n_1}} \frac{1-1/c_5c_6}{1-q^{2n_2}/c_5c_6}\frac{(q)_{n_2}\prod _{1\le i<j\le 4}(c_ic_j)_{n_2}}{q^{n_2}(1/c_5c_6)_{n_2}} . \end{aligned}$$

Up to permutation of the parameters, there are three nonequivalent cases of Corollary 4.2, corresponding to whether none, one, or both of the numbers \(c_5,c_6\) are contained in \(\{b_5q^{N_5},b_6q^{N_6}\}\).

At the Saalschütz level, we have the superconformal index identity [7]

$$\begin{aligned}&\sum _{x=-\infty }^\infty \oint \prod _{j=1}^3\frac{(q^{1+x/2}/a_jz,q^{1-x/2}z/b_j)_\infty }{(q^{M_j+x/2}a_jz,q^{N_j-x/2}b_j/z)_\infty }\left( -\frac{q^{1/2}}{tz^3}\right) ^x\frac{\mathrm{d}z}{2\pi \mathrm {i}z}\nonumber \\&\quad =\frac{1}{\prod _{j=1}^3q^{\left( {\begin{array}{c}M_j\\ 2\end{array}}\right) +\left( {\begin{array}{c}N_j\\ 2\end{array}}\right) }a_j^{M_j}b_j^{N_j}}\prod _{i,j=1}^3\frac{(q/a_ib_j)_\infty }{(a_ib_jq^{M_i+N_j})_\infty }, \end{aligned}$$
(4.2)

where the parameters satisfy (2.5), t is given by (2.7), and the integers \(M_j\) and \(N_j\) satisfy \(M_1+M_2+M_3=N_1+N_2+N_3=0\). In [7] this is stated under the additional assumption \(t=q^{1/2}\), but the general case follows immediately after rescaling z and the parameters.

We replace the parameters in (4.2) by \(a_j\mapsto a_jq^{k_j}, b_j\mapsto b_jq^{l_j}, M_j\mapsto M_j+m_j-k_j, N_j\mapsto N_j+n_j-l_j\), where the integral shifts satisfy

$$\begin{aligned} k_1+k_2+k_3=-l_1-l_2-l_3=m_1+m_2+m_3=-n_1-n_2-n_3=T. \end{aligned}$$

The resulting identity can be written

$$\begin{aligned}&\sum _{x=-\infty }^\infty \oint \prod _{j=1}^3\frac{(q^{1+x/2}/a_jz,q^{1-x/2}z/b_j)_\infty }{(q^{M_j+x/2}a_jz,q^{N_j-x/2}b_j/z)_\infty }\left( -\frac{q^{1/2}}{tz^3}\right) ^x\\&\quad \times \,z^{-2T}\prod _{j=1}^3(q^{-x/2}a_jz)_{k_j}(q^{x/2}b_j/z)_{l_j}(q^{M_j+x/2}a_jz)_{m_j}(q^{N_j-x/2}b_j/z)_{n_j} \,\frac{\mathrm{d}z}{2\pi \mathrm {i}z}\\&\qquad =\frac{q^{2\left( {\begin{array}{c}T\\ 2\end{array}}\right) } (t^2q^{M_1+M_2+M_3})^T}{\prod _{j=1}^3q^{\left( {\begin{array}{c}k_j\\ 2\end{array}}\right) +\left( {\begin{array}{c}l_j\\ 2\end{array}}\right) +\left( {\begin{array}{c}m_j\\ 2\end{array}}\right) +\left( {\begin{array}{c}n_j\\ 2\end{array}}\right) +\left( {\begin{array}{c}M_j\\ 2\end{array}}\right) +\left( {\begin{array}{c}N_j\\ 2\end{array}}\right) +m_jM_j+n_jN_j}a_j^{k_j+m_j+M_j}b_j^{l_j+n_j+N_j}}\\&\quad \times \prod _{i,j=1}^3\frac{(q/a_ib_j)_\infty (a_ib_j)_{k_i+l_j}(a_ib_jq^{M_i+N_j})_{m_i+n_j}}{(a_ib_jq^{M_i+N_j})_\infty }. \end{aligned}$$

If we now let \({\mathbf {K}}\) and W be the functional and space of rational functions introduced in (3.19) and \({\mathbf {K}}', W'\) the objects obtained from these by replacing the parameters \(a_j\) by \(a_jq^{M_j}\) and \(b_j\) by \(b_jq^{N_j}\), we may draw the following conclusion.

Proposition 4.3

For \(f\in W\) and \(g\in W'\),

$$\begin{aligned}&\sum _{x=-\infty }^\infty \oint \prod _{j=1}^3\frac{(q^{1+x/2}/a_jz,q^{1-x/2}z/b_j)_\infty }{(q^{M_j+x/2}a_jz,q^{N_j-x/2}b_j/z)_\infty }\left( -\frac{q^{1/2}}{tz^3}\right) ^x\, f(q^{-x/2}z)\,g(q^{x/2}z)\,\frac{\mathrm{d}z}{2\pi \mathrm {i}z}\\&\quad =\frac{1}{\prod _{j=1}^3q^{\left( {\begin{array}{c}M_j\\ 2\end{array}}\right) +\left( {\begin{array}{c}N_j\\ 2\end{array}}\right) }a_j^{M_j}b_j^{N_j}}\prod _{i,j=1}^3\frac{(q/a_ib_j)_\infty }{(a_ib_jq^{M_i+N_j})_\infty }\,{\mathbf {K}}(f){\mathbf {K}}'(g). \end{aligned}$$

We can now use the results of Sect. 3.4 to construct corresponding biorthogonal systems. This can be done in many ways, since we may for each of the spaces W and \(W'\) work with the system \((q_n,r_n), ({\tilde{q}}_n,{\tilde{r}}_n)\), or \((s_n,t_n)\). Moreover, permuting the parameters gives cases when both, one, or none of the two functions chosen for W have poles at the same geometric sequences as the functions chosen for \(W'\). In total, this gives ten essentially nonequivalent possibilities. We refrain from writing these down explicitly.