Big q-Jacobi Polynomials Overview
- Big q-Jacobi polynomials are defined by a terminating basic hypergeometric series and exhibit discrete orthogonality on interlaced q-lattices.
- They satisfy a three-term recurrence relation and are eigenfunctions of a second-order q-difference operator, underpinning their spectral properties.
- They play a vital role in q-analysis, representation theory, and combinatorics, linking q-Racah polynomials to classical orthogonal systems.
The big -Jacobi polynomials form a principal branch of the -hypergeometric orthogonal polynomial hierarchy, sitting directly below the -Racah family in the Askey scheme. Parameterized by , , , and (with $0
1. Definition and Hypergeometric Series Representation
The big 0-Jacobi polynomials 1 are defined by a terminating basic hypergeometric series: 2 where 3 is the 4-Pochhammer symbol. The series truncates at 5 due to the numerator parameter 6, ensuring polynomiality in 7 of degree 8 (Odake et al., 2016, Baseilhac et al., 2018, Koornwinder, 2010, Costas-Santos et al., 2010, Bos et al., 20 Jan 2026, Alvarez-Nodarse et al., 2011, Liu, 2018, Chern et al., 2023).
Parameter admissibility for orthogonality and regularity commonly requires 9, 0 and 1; elsewhere analytic continuation is possible.
2. Orthogonality, Weight Functions, and Discrete Measures
Big 2-Jacobi polynomials admit a discrete orthogonality with support on two 3-geometric progressions. The prototypical orthogonality relation is given via a Jackson-type 4-integral or an equivalent discrete sum: 5 where
6
and the 7-integral
8
Alternatively, the orthogonality decomposes as a two-component sum over the two 9-lattices 0 and 1 with suitable weights.
The squared norm 2 (for example, as given in (Odake et al., 2016)) is an explicit product of 3-shifted factorials: 4 Orthogonality holds for all 5 in the regime 6, 7, 8 (Odake et al., 2016, Costas-Santos et al., 2010, Koornwinder, 2010, Liu, 2018).
At roots of unity (9), a finite system of polynomials is orthogonal on the roots of 0 with explicit mass point weights (Costas-Santos et al., 2010).
3. Recurrence Relations and 1-Difference Operators
The big 2-Jacobi polynomials satisfy a three-term recurrence relation: 3 with explicit coefficients. For instance, in the standard normalization (Odake et al., 2016): 4
5
and 6, with 7.
There exist alternative, yet equivalent, forms for these coefficients varying with the normalization and literature conventions (Koornwinder, 2010, Baseilhac et al., 2018, Alvarez-Nodarse et al., 2011). All such forms encode the spectrum and combinatorial structure of the big 8-Jacobi family.
In operator terms, 9 are eigenfunctions of a second order 0-difference (difference Schrödinger) operator 1 with explicit 2-dependent coefficients: 3 In the representation-theoretic realization, this operator corresponds to an element of the Askey-Wilson algebra, and 4 diagonalize certain tridiagonalized images of 5 generators (Baseilhac et al., 2018).
4. Connections to Representation Theory, Algebraic Structures, and Limit Relations
Big 6-Jacobi polynomials naturally arise as basis elements in representations of the Askey-Wilson algebra and in the study of twisted primitive elements of quantum groups 7 (Baseilhac et al., 2018). The polynomials can be identified as the basis vectors diagonalizing a tridiagonal operator within the Askey-Wilson algebra, with the parameter triple 8 reflecting module labels or structure constants.
A key algebraic feature is the closure relation satisfied by the multiplication operator in the polynomial basis,
9
where 0 are polynomials in the Hamiltonian 1. This structural property enables the derivation of Heisenberg operator solutions and the construction of explicit "creation/annihilation" operators acting on the polynomial space (Odake et al., 2016).
In the broader Askey scheme, the big 2-Jacobi polynomials are the uniform analytic continuation of 3-Racah polynomials under the limit 4, preserving both orthogonality and recurrence structure (Koornwinder, 2010, Alvarez-Nodarse et al., 2011). Setting 5 recovers the little 6-Jacobi polynomials, and classical Jacobi polynomials arise in the 7 limit.
Table: Principal Relationships within the 8-Askey Scheme
| Family | Limiting/Parameter Regimes | Resulting Family |
|---|---|---|
| 9-Racah | $0| Big $0 | |
Big $0| $0 | Little $0 | |
Big $0| $0 | Jacobi (classical) |
|
Big $0| $0 | 0-Hahn/Dual 1-Hahn |
|
5. Extended Self-Adjointness, Hilbert Space Structures, and Spectral Theory
Standard operator analysis shows unbounded Jacobi (tridiagonal) matrices representing big 2-Jacobi recurrences are not self-adjoint on a single 3 chain due to non-vanishing off-diagonal coefficients at infinity. The construction of a self-adjoint Hamiltonian is enabled by extending the Hilbert space to 4, associating the two components to the two 5-chains 6 and 7 (Odake et al., 2016).
In this setup, each sector admits a ground state, and the orthonormal basis for the full space is constructed using both sets of polynomials. The Hamiltonian becomes self-adjoint with respect to
8
with 9 the two components. This formulation is essential for spectral completeness and the construction of a fully orthogonal eigenbasis (Odake et al., 2016).
6. Applications and Recent Developments
Big 0-Jacobi polynomials appear in numerous analytic and algebraic applications:
- 1-Euler numbers and Hankel determinants: Specializations of the big 2-Jacobi polynomials yield the Favard orthogonal system for the 3-Euler numbers, allowing continued fraction expansions for the 4-Euler generating functions and closed-form evaluations of Hankel determinants (Chern et al., 2023).
- Subdivision schemes and Chebyshev reciprocals: Recent identities establish that big 5-Jacobi polynomials, at specific parameters, are reciprocals of Chebyshev polynomials of the first kind, leading to explicit symbols for exponential-reproducing subdivision schemes (Bos et al., 20 Jan 2026).
- 6-Beta and Nassrallah-Rahman integrals: The integral representations associated to their orthogonality produce 7-beta integrals subsuming classical (Askey-Wilson, Nassrallah-Rahman) 8-integrals, and under pinning "strange" 9-series summations (Liu, 2018).
- Limit relations and factorization: Degenerate cases correspond to 00-Hahn, dual 01-Hahn, big 02-Laguerre, and Al-Salam–Carlitz I polynomials, with explicit factorization and orthogonality preserved under limiting procedures (Alvarez-Nodarse et al., 2011, Costas-Santos et al., 2010, Koornwinder, 2010).
7. Summary of Main Properties
The following table encapsulates the central features of the big 03-Jacobi polynomials.
| Feature | Formula / Description | Source |
|---|---|---|
| Definition | 04 | (Odake et al., 2016, Koornwinder, 2010) |
| Orthogonality | Discrete, two 05-lattice, Jackson-type sum/integral | (Odake et al., 2016, Costas-Santos et al., 2010) |
| Recurrence | 06 | (Odake et al., 2016, Baseilhac et al., 2018) |
| 07-Difference Operator | Second-order; explicit action, closure relation | (Odake et al., 2016, Baseilhac et al., 2018) |
| Limit transitions | 08-Racah 09 big 10-Jacobi 11 little 12-Jacobi, etc. | (Koornwinder, 2010, Alvarez-Nodarse et al., 2011) |
| Representation Theory | Askey-Wilson algebra embedding, 13 modules | (Baseilhac et al., 2018) |
| Analytic Applications | Subdivision schemes, generating functions, 14-Euler/Hankel | (Bos et al., 20 Jan 2026, Chern et al., 2023) |
The big 15-Jacobi polynomials thus serve as a keystone in the hierarchy of 16-orthogonal polynomials, with explicit realizations connecting operator theory, 17-special functions, and combinatorics, and with precise structural and spectral properties underpinning their diverse applications (Odake et al., 2016, Baseilhac et al., 2018, Bos et al., 20 Jan 2026, Alvarez-Nodarse et al., 2011, Chern et al., 2023, Koornwinder, 2010, Costas-Santos et al., 2010, Liu, 2018).
