arXiv++ Combinatorics

We present an operator approach to Rogers-type formulas and Mehler's formulas for the Al-Salam-Carlitz polynomials $U_n(x,y,a;q)$. By using the q-exponential operator, we obtain a Rogers-type formula which leads to a linearization formula. With the aid of a bivariate augmentation operator, we get a simple derivation of Mehler's formula due to by Al-Salam and Carlitz, which requires a terminating condition on a ${}_3φ_2$ series. By means of the Cauchy companion augmentation operator, we obtain Mehler's formula in a similar form, but it does not need the terminating condition. We also give several identities on the generating functions for products of the Al-Salam-Carlitz polynomials which are extensions of formulas for Rogers-Szegö polynomials.

Given two polynomials, we find a convergence property of the GCD of the rising factorial and the falling factorial. Based on this property, we present a unified approach to computing the universal denominators as given by Gosper's algorithm and Abramov's algorithm for finding rational solutions to linear difference equations with polynomial coefficients.

We present an operator approach to deriving Mehler's formula and the Rogers formula for the bivariate Rogers-Szegö polynomials $h_n(x,y|q)$. The proof of Mehler's formula can be considered as a new approach to the nonsymmetric Poisson kernel formula for the continuous big $q$-Hermite polynomials $H_n(x;a|q)$ due to Askey, Rahman and Suslov. Mehler's formula for $h_n(x,y|q)$ involves a ${}_3φ_2$ sum and the Rogers formula involves a ${}_2φ_1$ sum. The proofs of these results are based on parameter augmentation with respect to the $q$-exponential operator and the homogeneous $q$-shift operator in two variables. By extending recent results on the Rogers-Szegö polynomials $h_n(x|q)$ due to Hou, Lascoux and Mu, we obtain another Rogers-type formula for $h_n(x,y|q)$. Finally, we give a change of base formula for $H_n(x;a|q)$ which can be used to evaluate some integrals by using the Askey-Wilson integral.