<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\documentclass[12pt,reqno]{article}

\usepackage[usenames]{color}
\usepackage{amssymb}
\usepackage{graphicx}
\usepackage{amscd}

\usepackage[colorlinks=true,
linkcolor=webgreen,
filecolor=webbrown,
citecolor=webgreen]{hyperref}

\definecolor{webgreen}{rgb}{0,.5,0}
\definecolor{webbrown}{rgb}{.6,0,0}

\usepackage{color}
\usepackage{fullpage}
\usepackage{float}

\usepackage{psfig}
\usepackage{graphics,amsmath,amssymb}
\usepackage{amsthm}
\usepackage{amsfonts}
\usepackage{latexsym}
\usepackage{epsf}

\setlength{\textwidth}{6.5in}
\setlength{\oddsidemargin}{.1in}
\setlength{\evensidemargin}{.1in}
\setlength{\topmargin}{-.5in}
\setlength{\textheight}{8.9in}

\newcommand{\seqnum}[1]{\href{http://oeis.org/#1}{\underline{#1}}}

\begin{document}

\begin{center}
\epsfxsize=4in
\leavevmode\epsffile{logo129.eps}
\end{center}

\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}

\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{conjecture}[theorem]{Conjecture}

\theoremstyle{remark}
\newtheorem{remark}[theorem]{Remark}

\begin{center}
\vskip 1cm{\LARGE\bf Four-term Recurrences, Orthogonal \\
\vskip .1in
Polynomials and Riordan Arrays} \vskip 1cm \large
Paul Barry\\
School of Science\\
Waterford Institute of Technology\\
Ireland\\
\href{mailto:pbarry@wit.ie}{\tt pbarry@wit.ie} \\
\ \\
Aoife Hennessy\\
Department of Computing, Mathematics and Physics\\
Waterford Institute of Technology\\
Ireland\\
\href{mailto:aoife.hennessy@gmail.com}{\tt aoife.hennessy@gmail.com} \\
\end{center}

\vskip .2 in

\begin{abstract} 
We study constant coefficient four term recurrences
for polynomials, in analogy to the three-term recurrences that are
associated with orthogonal polynomials. We show that for a family of
polynomials obeying such a four-term recurrence, the coefficient array
is an ordinary Riordan array of a special type, and vice versa. In
certain cases, it is possible to transform these polynomials into
related orthogonal polynomials. We characterize the form of the
production matrices of the inverse coefficient arrays.
\end{abstract}

\section{Introduction}
In this note we shall be concerned with families of monic polynomials $P_n(x)$ where $P_n(x)$ is of degree $n$. Thus we will have
$$P_n(x)=\sum_{k=0}^n a_{n,k} x^k, \quad a_{n,n}=1.$$
The matrix of elements $a_{n,k}$ is then a lower-triangular matrix with $1$'s on the diagonal, and hence invertible. We shall call this matrix the coefficient array of the polynomial family. The inverse of this matrix will be called the inverse coefficient array. In the case of orthogonal polynomials, the elements of the first column of the inverse coefficient array are the moments of the family \cite{Viennot}. We shall refer to the elements of the first column of a general inverse coefficient array as being generalized (formal) moments.

We recall that an ordinary Riordan array \cite{SGWW, Spru} is defined by a pair $(g,f)$ of power series, where $g(x)=1+g_1 x+g_2 x^2+\cdots$,
$f(x)=x+f_2x^2+\cdots$, and is associated to the matrix $(t_{n,k})_{0 \le n,k \le \infty}$ where
$t_{n,k}=[x]^n g(x)f(x)^k$. (These are proper Riordan arrays). The multiplication law for these pairs, which form a group, is given by \begin{displaymath} (g, f)\cdot(h, l)=(g(h\circ f), l\circ
f).\end{displaymath} The identity for this law is $I=(1,x)$ and the
inverse of $(g, f)$ is $(g, f)^{-1}=(1/(g\circ \bar{f}), \bar{f})$
where $\bar{f}(x)=\text{Rev}_x f(x)$ is the compositional inverse of $f$. For an invertible matrix $L$, we define the production matrix $P_L$ to be the matrix
$P_L=L^{-1} \hat{L}$, where $\hat{L}$ is the matrix $L$ with its first row removed \cite{ProdMat_0, ProdMat}. When $L$ is a Riordan array $(g, f)$, the first column of $P_L$ is  generated by $Z(x)=\frac{1}{\bar{f}(x)}\left(1-\frac{1}{g(\bar{f}(x))}\right)$, while the $k$-th column of $P_L$ is generated by $x^{k-1}A(x)$ (taking the first column to be indexed by $0$), where $A(x)=\frac{x}{\bar{f}(x)}$. For a sequence $a_n$, the sequence of
determinants $h_n=|a_{i+j}|_{0 \le i,j \le n}$ is called the Hankel transform \cite{Kratt, Kratt1, Layman} of $a_n$. Sequences will be referred to by their OEIS \cite{SL1, SL2} numbers. For instance, the Catalan numbers $C_n=\frac{1}{n+1}\binom{2n}{n}=[x^n]\frac{1-\sqrt{1-4x}}{2x}$ are sequence \seqnum{A000108}.

It is a classical result that a family of monic polynomials $P_n(x)$ is a family of orthogonal polynomials \cite{Chihara, Gautschi, Szego} if and only if they satisfy a three-term recurrence of the form
$$P_n(x)=(x-\alpha_n)P_{n-1}-\beta_n P_{n-2},$$ with appropriate initial conditions.
A more recent result \cite{Barry_Moment, Barry_Meixner} is that a Riordan array $A$ is the coefficient array of a family of orthogonal polynomials if and only if the production matrix of $A^{-1}$ is tridiagonal (a result based on previous work \cite{P_W, Woan}). In the case of ordinary Riordan arrays, the coefficients $\alpha_n$ and $\beta_n$ are necessarily independent of $n$. The most general form of ordinary Riordan array that coincides with the coefficient array of a family of orthogonal polynomials is then given by
$$\left(\frac{1-cx-dx^2}{1+ax+bx^2},\frac{x}{1+ax+bx^2}\right),$$ for appropriate values of $a,b,c,d$.
\noindent In this note, we ask ourselves the question: what can be said about families of polynomials $P_n(x)$, that satisfy a four-term recurrence of the form:
$$P_n(x)=(x-\alpha)P_{n-1}(x)-(x-\beta)P_{n-2}(x)-\gamma P_{n-3}(x).$$
Note that in this note we are considering the simplest case of constant coefficients.
\section{Main results}
Our results are encapsulated in the following theorem.
\begin{theorem} A family of monic polynomials $P_n(x)$ where $P_n(x)$ is of degree $n$, satisfies the four-term recurrence
$$P_n(x)=(x-\alpha+1)P_{n-1}(x)-(x+\beta)P_{n-2}(x)-\gamma P_{n-3},$$ with $P_n(x)=0$ for $n&lt;0$, $P_0(x)=1$ and $P_1(x)=x-\delta$, if and only if the coefficient array of the family $P_n(x)$ is given by the Riordan array
$$\left(\frac{1+(\alpha-\delta-1)x}{1+(\alpha-1)x+\beta x^2+\gamma x^3}, \frac{x(1-x)}{1+(\alpha-1)x+\beta x^2+\gamma x^3}\right).$$ In addition, for such a family, if $\gamma=0$ (but $\alpha+\beta \ne 0$ and $\beta+\delta \ne 0$), then the family of polynomials
$$Q_n(x)=\sum_{k=0}^n (-1)^{n-k}\binom{n-1}{n-k}P_k(x+1)$$ is a family of orthogonal polynomials that satisfies the three-term recurrence $$Q_n(x)=(x-\alpha)Q_{n-1}(x)-(\alpha+\beta)Q_{n-2}(x), $$ with
$Q_0(x)=1$, and $Q_1(x)=x-\delta+1$.
\end{theorem}
\begin{proof} We let $p_n(x)$ be the family of polynomials whose coefficient array is given by the Riordan array $$\left(\frac{1+(\alpha-\delta-1)x}{1+(\alpha-1)x+\beta x^2+\gamma x^3}, \frac{x(1-x)}{1+(\alpha-1)x+\beta x^2+\gamma x^3}\right).$$ \noindent Since this array is lower triangular with $1$'s on the diagonal, each polynomial $p_n(x)$ is monic of degree $n$. We let $$L=\left(\frac{1+(\alpha-\delta-1)x}{1+(\alpha-1)x+\beta x^2+\gamma x^3}, \frac{x(1-x)}{1+(\alpha-1)x+\beta x^2+\gamma x^3}\right)^{-1}.$$ Then standard Riordan array techniques show that the production matrix $P_L$ of $L$ is given by
\begin{displaymath}P_L=\left(\begin{array}{ccccccc} \delta &amp; 1 &amp;
0
&amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ \beta+\delta &amp; \alpha &amp; 1 &amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ \beta+\delta+\gamma &amp; \alpha+\beta
&amp; \alpha &amp; 1 &amp; 0 &amp;
0 &amp; \ldots \\ \beta+\delta+\gamma &amp; \alpha+\beta+\gamma &amp; \alpha+\beta &amp; \alpha &amp; 1 &amp; 0 &amp; \ldots \\ \beta+\delta+\gamma &amp; \alpha+\beta+\gamma &amp; \alpha+\beta+\gamma
&amp; \alpha+\beta &amp; \alpha &amp; 1 &amp; \ldots \\\beta+\delta+\gamma &amp; \alpha+\beta+\gamma &amp; \alpha+\beta+\gamma &amp; \alpha+\beta+\gamma &amp; \alpha+\beta &amp; \alpha
&amp;\ldots\\
\vdots &amp;
\vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp;
\ddots\end{array}\right).\end{displaymath} \noindent This implies that
\begin{displaymath}\left(\begin{array}{ccccccc} \delta &amp; 1 &amp;
0
&amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ \beta+\delta &amp; \alpha &amp; 1 &amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ \beta+\delta+\gamma &amp; \alpha+\beta
&amp; \alpha &amp; 1 &amp; 0 &amp;
0 &amp; \ldots \\ \beta+\delta+\gamma &amp; \alpha+\beta+\gamma &amp; \alpha+\beta &amp; \alpha &amp; 1 &amp; 0 &amp; \ldots \\ \beta+\delta+\gamma &amp; \alpha+\beta+\gamma &amp; \alpha+\beta+\gamma
&amp; \alpha+\beta &amp; \alpha &amp; 1 &amp; \ldots \\\beta+\delta+\gamma &amp; \alpha+\beta+\gamma &amp; \alpha+\beta+\gamma &amp; \alpha+\beta+\gamma &amp; \alpha+\beta &amp; \alpha
&amp;\ldots\\
\vdots &amp;
\vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp;
\ddots\end{array}\right)\left(\begin{array}{c} p_0(x)\\p_1(x)\\p_2(x)\\p_3(x)\\\vdots\end{array}\right)=\left(\begin{array}{c} xp_0(x)\\xp_1(x)\\xp_2(x)\\xp_3(x)\\\vdots\end{array}\right).\end{displaymath} We deduce the following.
$$p_1(x)+\delta p_0(x)=xp_0(x) \implies p_1(x)=x-\delta.$$
$$p_2(x)+\alpha p_1(x)+(\beta+\delta)p_0(x)=xp_1(x) \implies p_2(x)=(x-\alpha)p_1(x)-(\beta+\delta)$$ which further implies that
$$p_2(x)=(x-\alpha+1)p_1(x)-p_1(x)-(\beta+\delta)=(x-\alpha+1)p_1(x)-(x+\beta)p_0(x).$$
\noindent We have
$$p_3(x)+\alpha p_2(x)+(\alpha+\beta)p_1(x)+(\beta+\delta+\gamma)p_0(x)=xp_2(x)$$ which implies that
\begin{eqnarray*}
p_3(x)&amp;=&amp;(x-\alpha)p_2(x)-(\alpha+\beta)p_1(x)-(\beta+\delta+\gamma)\\
&amp;=&amp;(x-\alpha+1)p_2(x)-p_2(x)-(\alpha+\beta)p_1(x)-(\beta+\delta+\gamma)\\
&amp;=&amp;(x-\alpha+1)p_2(x)-(x-\alpha)p_1(x)+(\beta+\delta)-(\alpha+\beta)p_1(x)-(\beta+\delta+\gamma)\\
&amp;=&amp;(x-\alpha+1)p_2(x)-(x+\beta)p_1(x)-\gamma p_0(x).\end{eqnarray*}
In similar fashion we can show that
$$p_4(x)=(x-\alpha+1)p_3(x)-(x+\beta)p_2(x)-\gamma p_1(x).$$
Now assume that
$$p_{n-1}(x)=(x-\alpha+1)p_{n-2}(x)-(x+\beta)p_{n-3}(x)-\gamma p_{n-4}(x).$$
We have
$$p_n=(x-\alpha)p_{n-1}-(\alpha+\beta)p_{n-2}-(\alpha+\beta+\gamma)p_{n-3}-(\alpha+\beta+\gamma)p_{n-4} -\cdots -(\alpha+\beta+\gamma)p_1-(\beta+\delta+\gamma).$$ Then
$$
p_n=(x-\alpha+1)p_{n-1}-p_{n-1}-(\alpha+\beta)p_{n-2}-(\alpha+\beta+\gamma)p_{n-3}-(\alpha+\beta+\gamma)p_{n-4} -\cdots, $$ or 
\begin{displaymath}\begin{split} p_n=(x-\alpha+1)p_{n-1}-(x-\alpha+1)p_{n-2}+(x+\beta)p_{n-3}+\gamma p_{n-4}-\\(\alpha+\beta)p_{n-2}-(\alpha+\beta+\gamma)p_{n-3}-\cdots.\\ \end{split} \end{displaymath}
Thus  
\begin{eqnarray*}
p_n&amp;=&amp;(x-\alpha+1)p_{n-1}-(x+\beta+1)p_{n-2}-(-x+\alpha+\gamma)p_{n-3}-(\alpha+\beta)p_{n-4}-\cdots\\
&amp;=&amp;(x-\alpha+1)p_{n-1}-(x+\beta)p_{n-2}-p_{n-2}-(-x+\alpha+\gamma)p_{n-3}-(\alpha+\beta)p_{n-4}-\cdots\\
&amp;=&amp;(x-\alpha+1)p_{n-1}-(x+\beta)p_{n-2}-(x-\alpha+1)p_{n-3}+(x+\beta)p_{n-4}+\gamma p_{n-5}-\cdots\\
&amp;=&amp;(x-\alpha+1)p_{n-1}-(x+\beta)p_{n-2}-\gamma p_{n-3}-p_{n-3}+(x-\alpha)p_{n-4}+\gamma p_{n-5}-\cdots.\\
\end{eqnarray*}
We must now show that
$$-p_{n-3}+(x-\alpha)p_{n-4}-(\alpha+\beta)p_{n-5}-(\alpha+\beta+\gamma)p_{n-6}-\cdots-(\alpha+\beta+\gamma)p_1-(\beta+\delta+\gamma)=0.$$
Since $$p_{n-3}=(x-\alpha+1)p_{n-4}-(x+\beta)p_{n-5}-\gamma p_{n-6} $$ this reduces to showing that
$$-p_{n-4}+(x-\alpha)p_{n-5}-(\alpha+\beta)p_{n-6}-\cdots -(\alpha+\beta+\gamma)p_1-(\beta+\delta+\gamma)=0.$$
Iterating on decreasing $n$ we get $$0=0.$$
Thus the family of polynomials $p_n(x)$ satisfy the four-term recurrence with the appropriate initial conditions.

Conversely, if we start with a family of monic polynomials $P_n(x)$ of degree $n$ that satisfy the  four-term recurrence
$$P_n(x)=(x-\alpha+1)P_{n-1}(x)-(x+\beta)P_{n-2}(x)-\gamma P_{n-3},$$ with $P_n(x)=0$ for $n&lt;0$, $P_0(x)=1$ and $P_1(x)=x-\delta$, then the Riordan array $$\left(\frac{1+(\alpha-\delta-1)x}{1+(\alpha-1)x+\beta x^2+\gamma x^3}, \frac{x(1-x)}{1+(\alpha-1)x+\beta x^2+\gamma x^3}\right)$$ will coincide with the coefficient array of $P_n(x)$, since clearly $p_n(x)=P_n(x)$ for all $n$ as they have the same initial values and obey the same recurrence.

We now form the matrix
$$\left(1,\frac{x}{1+x}\right)\cdot \left(\frac{1+(\alpha-\delta-1)x}{1+(\alpha-1)x+\beta x^2+\gamma x^3}, \frac{x(1-x)}{1+(\alpha-1)x+\beta x^2+\gamma x^3}\right)\cdot \left(\frac{1}{1-x},\frac{x}{1-x}\right).$$
This evaluates to the Riordan array
$$\left(\frac{(1+(\alpha-\delta)x)(1+x)^2}{1+(\alpha+1)x+(2\alpha+\beta)x^2+(\alpha+\beta+\gamma)x^3},
\frac{x(1+x)}{1+(\alpha+1)x+(2\alpha+\beta)x^2+(\alpha+\beta+\gamma)x^3}\right).$$ \noindent Letting $\gamma=0$, this simplifies to
$$\left(\frac{(1+(\alpha-\delta)x)(1+x)}{1+\alpha x+(\alpha+\beta)x^2},\frac{x}{1+\alpha x+(\alpha+\beta)x^2}\right).$$ But this is the coefficient array of a family of orthogonal polynomials $q_n(x)$ that satisfy
$$q_n(x)=(x-\alpha)q_{n-1}-(\alpha+\beta)q_{n-2}.$$
Now the general term of the Riordan array $\left(1, \frac{x}{1-x}\right)$ is $\binom{n-1}{n-k}$, while that of $\left(\frac{1}{1-x}, \frac{x}{1+x}\right)$ is $\binom{n}{k}$. Noting that $(x+1)^n=\sum_{k=0}^n \binom{n}{k}x^k$ (binomial theorem) completes the proof.
\end{proof}
\noindent In general, the production matrix of the triple product
$$\left(1,\frac{x}{1+x}\right)\cdot \left(\frac{1+(\alpha-\delta-1)x}{1+(\alpha-1)x+\beta x^2+\gamma x^3}, \frac{x(1-x)}{1+(\alpha-1)x+\beta x^2+\gamma x^3}\right)\cdot \left(\frac{1}{1-x},\frac{x}{1-x}\right)$$ is equal to
\begin{displaymath}\left(\begin{array}{ccccccc} \delta-1 &amp; 1 &amp;
0
&amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ \beta+\delta &amp; \alpha &amp; 1 &amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ \gamma &amp; \alpha+\beta
&amp; \alpha &amp; 1 &amp; 0 &amp;
0 &amp; \ldots \\ -\gamma &amp; \gamma &amp; \alpha+\beta &amp; \alpha &amp; 1 &amp; 0 &amp; \ldots \\ \gamma &amp; -\gamma &amp; \gamma
&amp; \alpha+\beta &amp; \alpha &amp; 1 &amp; \ldots \\-\gamma &amp; \gamma &amp; -\gamma &amp; \gamma &amp; \alpha+\beta &amp; \alpha
&amp;\ldots\\
\vdots &amp;
\vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp;
\ddots\end{array}\right).\end{displaymath}
\noindent We note that the intermediate product
$$\left(1,\frac{x}{1+x}\right)\cdot \left(\frac{1+(\alpha-\delta-1)x}{1+(\alpha-1)x+\beta x^2+\gamma x^3}, \frac{x(1-x)}{1+(\alpha-1)x+\beta x^2+\gamma x^3}\right)$$  is equal to
$$\left(\frac{(1+(\alpha-\delta)x)(1+x)^2}{1+(\alpha+2)x+(2\alpha+\beta+1)x^2+(\alpha+\beta+\gamma)x^3},
\frac{x(1+x)}{1+(\alpha+2)x+(2\alpha+\beta+1)x^2+(\alpha+\beta+\gamma)x^3}\right).$$ The inverse of this array has production matrix given by
\begin{displaymath}\left(\begin{array}{ccccccc} \delta &amp; 1 &amp;
0
&amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ \beta+\delta &amp; \alpha+1 &amp; 1 &amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ \gamma &amp; \alpha+\beta
&amp; \alpha+1 &amp; 1 &amp; 0 &amp;
0 &amp; \ldots \\ -\gamma &amp; \gamma &amp; \alpha+\beta &amp; \alpha+1 &amp; 1 &amp; 0 &amp; \ldots \\ \gamma &amp; -\gamma &amp; \gamma
&amp; \alpha+\beta &amp; \alpha+1 &amp; 1 &amp; \ldots \\-\gamma &amp; \gamma &amp; -\gamma &amp; \gamma &amp; \alpha+\beta &amp; \alpha+1
&amp;\ldots\\
\vdots &amp;
\vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp;
\ddots\end{array}\right).\end{displaymath}
\begin{corollary} When $\gamma=0$, the polynomials
$$R_n(x)=\sum_{k=0}^n \binom{n-1}{n-k}P_k(x)$$ form the family of orthogonal polynomials satisfying
$$R_n(x)=(x-(\alpha+1))R_{n-1}-(\alpha+\beta)R_{n-2}(x),$$ with $R_0(x)=1$, $R_1(x)=x-\delta$.
\end{corollary}
\section{Examples and further results}
\begin{example}
We take the Riordan array $(1-x, x(1-x))$ which corresponds to $\alpha=1$, $\delta=1$, $\beta=\gamma=0$.
This is the coefficient array for the polynomials $P_n(x)=\sum_{k=0}^n \binom{k+1}{n-k}(-1)^{n-k}x^k$, which satisfy
$$P_n(x)=xP_{n-1}(x)-xP_{n-2},$$ with $P_0(x)=1$, $P_1(x)=x-1$.
The inverse of the coefficient array $(1-x,x(1-x))$ is the Catalan array $(c(x),xc(x))$ \seqnum{A033184} which has production matrix
\begin{displaymath}\left(\begin{array}{ccccccc} 1 &amp; 1 &amp;
0
&amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ 1 &amp; 1 &amp; 1 &amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ 1 &amp; 1
&amp; 1 &amp; 1 &amp; 0 &amp;
0 &amp; \ldots \\ 1 &amp; 1 &amp; 1 &amp; 1 &amp; 1 &amp; 0 &amp; \ldots \\ 1 &amp; 1 &amp; 1
&amp; 1 &amp; 1 &amp; 1 &amp; \ldots \\ 1 &amp;1 &amp; 1 &amp; 1 &amp; 1 &amp; 1
&amp;\ldots\\
\vdots &amp;
\vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp;
\ddots\end{array}\right).\end{displaymath}
The first column of $(c(x),xc(x))$ is given by the Catalan numbers \seqnum{A000108}, and hence we can regard the Catalan numbers as the generalized moments of the family $P_n(x)$.
Now forming the triple product
$$\left(1,\frac{x}{1+x}\right)\cdot (1-x,x(1-x)) \cdot \left(\frac{1}{1-x},\frac{x}{1-x}\right)$$ we obtain the
orthogonal polynomial coefficient array given by
$$\left(\frac{1+x}{1+x+x^2},\frac{x}{1+x+x^2}\right).$$
This is the coefficient array of the orthogonal polynomials $Q_n(x)$ for which
$$Q_n(x)=(x-1)Q_{n-1}(x)-Q_{n-2}(x),$$ with $Q_0(x)=1$, $Q_1(x)=x$.
The moments of these polynomials are the so-called ``Motzkin sums'', \seqnum{A005043}. These appear as the elements of the first column of the
inverse coefficient array, which has production matrix
\begin{displaymath}\left(\begin{array}{ccccccc} 0 &amp; 1 &amp;
0
&amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ 1 &amp; 1 &amp; 1 &amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ 0 &amp; 1
&amp; 1 &amp; 1 &amp; 0 &amp;
0 &amp; \ldots \\ 0 &amp; 0 &amp; 1 &amp; 1 &amp; 1 &amp; 0 &amp; \ldots \\ 0 &amp; 0 &amp; 0
&amp; 1 &amp; 1 &amp; 1 &amp; \ldots \\ 0 &amp;0 &amp; 0 &amp; 0 &amp; 1 &amp; 1
&amp;\ldots\\
\vdots &amp;
\vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp;
\ddots\end{array}\right).\end{displaymath}
The inverse coefficient array is \seqnum{A089942}. We note that the Catalan numbers and the Motzkin sums have the same Hankel transform. This is because the Motzkin sums are the inverse binomial transform of the Catalan numbers.
\end{example}
\begin{proposition} The moments of the orthogonal polynomials $Q_n(x)$ above are the inverse binomial transforms of the generalized moments of the polynomials $P_n(x)$. In particular, both sets of moments have the same Hankel transform.
\end{proposition}
\begin{proof} Consider the triple product
$$\left(1,\frac{1}{1+x}\right)\cdot A \cdot \left(\frac{1}{1-x},\frac{x}{1-x}\right),$$ where $A$ is the coefficient array of $P_n(x)$. The (generalized) moments of $P_n(x)$ are the elements of the first column of $A^{-1}$. Now the moments of $Q_n(x)$ will be given by the elements of the first column of
$$\left(\left(1,\frac{1}{1+x}\right)\cdot A \cdot \left(\frac{1}{1-x},\frac{x}{1-x}\right)\right)^{-1}=\left(\frac{1}{1+x},\frac{x}{1+x}\right)\cdot A^{-1} \cdot\left(1,\frac{x}{1-x}\right).$$
Thus if $A^{-1}=(g, f)$, where
$g$ is the generating function of the moments of $P_n(x)$, then the moments of $Q_n(x)$ have a generating function given by
$$\left(\frac{1}{1+x},\frac{x}{1+x}\right)\cdot g(x)=\frac{1}{1+x}g\left(\frac{x}{1+x}\right),$$ since the first member of
$\left(1, \frac{x}{1-x}\right)$ is $1$.
This proves the first assertion. The Hankel transforms are equal because one sequence is related to another by a binomial transform \cite{Kow, Layman}.
\end{proof}
Note that the above proof actually proves more, since the case of orthogonal $Q_n(x)$ only arises when $\gamma=0$.

\begin{example} We look at the case of the Riordan array
$$\left(\frac{1-x}{1+3x+3x^2+x^3},\frac{x(1-x)}{1+3x+3x^2+x^3}\right)=\left(\frac{1-x}{(1+x)^3},\frac{x(1-x)}{(1+x)^3}\right).$$
This is the coefficient array of the polynomials $P_n(x)$ that satisfy
$$P_n(x)=(x-3)P_{n-1}(x)-(x+3)P_{n-2}(x)-P_{n-3}(x),$$
with $P_0(x)=1$, $P_1(x)=x-4$.
The moments of this family are given by \seqnum{A007297}, which begins
$$1, 4, 23, 156, 1162, 9192, 75819, 644908, 5616182,\ldots$$ They count the number of connected graphs on $n$ nodes on a circle without crossing edges. Their g.f. is equal to
$$\frac{1}{x} \text{Rev}_x \frac{x(1-x)}{(1+x)^3}.$$ \noindent We remark that $\frac{x(1-x)}{(1+x)^3}$ is the generating function of the signed squares $$0,1,-4,9,-16,25,\ldots$$
The production matrix of the inverse coefficient array is
\begin{displaymath}\left(\begin{array}{ccccccc} 4 &amp; 1 &amp;
0
&amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ 7 &amp; 4 &amp; 1 &amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ 8 &amp; 7
&amp; 4 &amp; 1 &amp; 0 &amp;
0 &amp; \ldots \\ 8 &amp; 8 &amp; 7 &amp; 4 &amp; 1 &amp; 0 &amp; \ldots \\ 8 &amp; 8 &amp; 8
&amp; 7 &amp; 4 &amp; 1 &amp; \ldots \\ 8 &amp; 8 &amp; 8 &amp; 8 &amp; 7 &amp; 4
&amp;\ldots\\
\vdots &amp;
\vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp;
\ddots\end{array}\right).\end{displaymath}
\noindent Passing to the triple product we obtain the Riordan array
$$\left(\frac{(1+x)^2}{1+5x+11x^2+8x^3},\frac{x(1+x)}{1+5x+11x^2+8x^3}\right).$$ The production matrix of the inverse coefficient array in this case is given by
\begin{displaymath}\left(\begin{array}{ccccccc} 3 &amp; 1 &amp;
0
&amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ 7 &amp; 4 &amp; 1 &amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ 1 &amp; 7
&amp; 4 &amp; 1 &amp; 0 &amp;
0 &amp; \ldots \\ -1 &amp; 1 &amp; 7 &amp; 4 &amp; 1 &amp; 0 &amp; \ldots \\ 1 &amp; -1 &amp; 1
&amp; 7 &amp; 4 &amp; 1 &amp; \ldots \\ -1 &amp; 1 &amp; -1 &amp; 1 &amp; 7 &amp; 4
&amp;\ldots\\
\vdots &amp;
\vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp;
\ddots\end{array}\right).\end{displaymath} \noindent The moments for this coefficient array begin
$$1, 3, 16, 98, 661, 4731, 35299, \ldots,$$ which are the inverse binomial transform of \seqnum{A007297}.

It is instructive to look at the Riordan array
$$\left(\frac{1-x}{1+3x+3x^2},\frac{x(1-x)}{1+3x+3x^2}\right)=\left(\frac{1-x}{(1+x)^3-x^3},\frac{x(1-x)}{(1+x)^3-x^3}\right).$$
In this case, $\gamma=0$. The triple product is then equal to
$$\left(\frac{1+x}{1+4x+7x^2},\frac{x}{1+4x+7x^2}\right),$$ whose inverse has production matrix
\begin{displaymath}\left(\begin{array}{ccccccc} 3 &amp; 1 &amp;
0
&amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ 7 &amp; 4 &amp; 1 &amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ 0 &amp; 7
&amp; 4 &amp; 1 &amp; 0 &amp;
0 &amp; \ldots \\ 0 &amp; 0 &amp; 7 &amp; 4 &amp; 1 &amp; 0 &amp; \ldots \\ 0 &amp; 0 &amp; 0
&amp; 7 &amp; 4 &amp; 1 &amp; \ldots \\ 0 &amp; 0 &amp; 0 &amp; 0 &amp; 7 &amp; 4
&amp;\ldots\\
\vdots &amp;
\vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp;
\ddots\end{array}\right).\end{displaymath}
\noindent Thus the triple product is the coefficient array of the orthogonal polynomials $Q_n(x)$ that satisfy
$$Q_n(x)=(x-4)Q_{n-1}(x)-7 Q_{n-2},$$ with $Q_0(x)=1$, $Q_1(x)=x-3$. The moments of this family of orthogonal polynomials, which begin
$$1, 3, 16, 97, 648, 4590, 33888, 257925, 2009464,\ldots$$ then have g.f. given by
$$\cfrac{1}{1-3x-
\cfrac{7x^2}{1-4x-
\cfrac{7x^2}{1-4x-
\cfrac{7x^2}{1-4x-\cdots}}}}.$$

\noindent The polynomials $P_n(x)$ whose coefficient array is
$$\left(\frac{1-x}{1+3x+3x^2},\frac{x(1-x)}{1+3x+3x^2}\right)$$ can now be recovered through the formula
$$P_n(x)=\sum_{k=0}^n \binom{n-1}{n-k} Q_k(x-1).$$
\noindent The moments of the family $P_n(x)$, which begin
$$1, 4, 23, 155, 1145, 8976, 73347, \ldots,$$ and which are the binomial transform of the moments of $Q_n$, have g.f. given by
$$\cfrac{1}{1-4x-
\cfrac{7x^2}{1-5x-
\cfrac{7x^2}{1-5x-
\cfrac{7x^2}{1-5x-\cdots}}}}.$$ \noindent Note that the production matrix of the inverse coefficient array to
$\left(\frac{1-x}{1+3x+3x^2},\frac{x(1-x)}{1+3x+3x^2}\right)$ is given by
\begin{displaymath}\left(\begin{array}{ccccccc} 4 &amp; 1 &amp;
0
&amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ 7 &amp; 4 &amp; 1 &amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ 7 &amp; 7
&amp; 4 &amp; 1 &amp; 0 &amp;
0 &amp; \ldots \\ 7 &amp; 7 &amp; 7 &amp; 4 &amp; 1 &amp; 0 &amp; \ldots \\ 7 &amp; 7 &amp; 7
&amp; 7 &amp; 4 &amp; 1 &amp; \ldots \\ 7 &amp; 7 &amp; 7 &amp; 7 &amp; 7 &amp; 4
&amp;\ldots\\
\vdots &amp;
\vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp;
\ddots\end{array}\right).\end{displaymath}
\end{example}
\begin{example} The case of $\gamma=0$ and $\beta+\delta=0$ is illustrated by the Riordan array
$$\left(\frac{1}{1-x+x^2},\frac{x(1-x)}{1-x+x^2}\right),$$ where $\alpha=0$ too.
The moments of the polynomials defined by this array are given by $(-1)^n$, with corresponding production matrix
\begin{displaymath}\left(\begin{array}{ccccccc} -1 &amp; 1 &amp;
0
&amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ 0 &amp; 0 &amp; 1 &amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ 0 &amp; 1
&amp; 0 &amp; 1 &amp; 0 &amp;
0 &amp; \ldots \\ 0 &amp; 1 &amp; 1 &amp; 0 &amp; 1 &amp; 0 &amp; \ldots \\ 0 &amp; 1 &amp; 1
&amp; 1 &amp; 0 &amp; 1 &amp; \ldots \\ 0 &amp;1 &amp; 1 &amp; 1 &amp; 1 &amp; 0
&amp;\ldots\\
\vdots &amp;
\vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp;
\ddots\end{array}\right).\end{displaymath}
The triple product
$$\left(1,\frac{x}{1+x}\right)\cdot \left(\frac{1}{1-x+x^2},\frac{x(1-x)}{1-x+x^2}\right) \cdot \left(\frac{1}{1-x},\frac{x}{1-x}\right)$$ then evaluates to
$$\left(\frac{(1+x)^2}{1+x^2},\frac{x}{1+x^2}\right).$$
The moments of the polynomials defined by this array are given by $(-2)^n$, and the corresponding production matrix is given by
\begin{displaymath}\left(\begin{array}{ccccccc} -2 &amp; 1 &amp;
0
&amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ 0 &amp; 0 &amp; 1 &amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ 0 &amp; 1
&amp; 0 &amp; 1 &amp; 0 &amp;
0 &amp; \ldots \\ 0 &amp; 0 &amp; 1 &amp; 0 &amp; 1 &amp; 0 &amp; \ldots \\ 0 &amp; 0 &amp; 0
&amp; 1 &amp; 0 &amp; 1 &amp; \ldots \\ 0 &amp; 0 &amp; 0 &amp; 0 &amp; 1 &amp; 0
&amp;\ldots\\
\vdots &amp;
\vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp;
\ddots\end{array}\right).\end{displaymath}
The zero in the $(2,1)$ position shows that this family is not orthogonal.

\end{example}
\begin{example} We illustrate the exceptional case $\gamma=0$ and $\alpha+\beta=0$ by taking $\alpha=-1$, $\beta=1$ and $\delta=-1$.
We obtain the Riordan array
$$\left(\frac{1-x}{1-2x+x^2},\frac{x(1-x)}{1-2x+x^2}\right)=\left(\frac{1}{1-x},\frac{x}{1-x}\right),$$ which is the Binomial matrix (Pascal's triangle, \seqnum{A007318}). The polynomials $P_n(x)$ are given by $P_n(x)=(1+x)^n$, and the moments are $(-1)^n$. The production matrix of the inverse coefficient array (which is the inverse binomial matrix) is given by
\begin{displaymath}\left(\begin{array}{ccccccc} -1 &amp; 1 &amp;
0
&amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ 0 &amp; -1 &amp; 1 &amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ 0 &amp; 0
&amp; -1 &amp; 1 &amp; 0 &amp;
0 &amp; \ldots \\ 0 &amp; 0 &amp; 0 &amp; -1 &amp; 1 &amp; 0 &amp; \ldots \\ 0 &amp; 0 &amp; 0
&amp; 0 &amp; -1 &amp; 1 &amp; \ldots \\ 0 &amp; 0 &amp; 0 &amp; 0 &amp; 0 &amp; -1
&amp;\ldots\\
\vdots &amp;
\vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp;
\ddots\end{array}\right).\end{displaymath}

\noindent Forming the triple product we get
the Riordan array $$\left(\frac{1+x}{1-x},\frac{x}{1-x}\right).$$ The moments of the corresponding polynomials $Q_n(x)$ are then $(-2)^n$, and the associated production array is
\begin{displaymath}\left(\begin{array}{ccccccc} -2 &amp; 1 &amp;
0
&amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ 0 &amp; -1 &amp; 1 &amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ 0 &amp; 0
&amp; -1 &amp; 1 &amp; 0 &amp;
0 &amp; \ldots \\ 0 &amp; 0 &amp; 0 &amp; -1 &amp; 1 &amp; 0 &amp; \ldots \\ 0 &amp; 0 &amp; 0
&amp; 0 &amp; -1 &amp; 1 &amp; \ldots \\ 0 &amp; 0 &amp; 0 &amp; 0 &amp; 0 &amp; -1
&amp;\ldots\\
\vdots &amp;
\vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp;
\ddots\end{array}\right).\end{displaymath}
Clearly the polynomials $Q_n(x)$ are not orthogonal. We have $Q_n(x)=(1+x)^{n-1} (x+2)$ for $n&gt;0$, and $Q_0(x)=1$.
\end{example}


Since all matrices above are invertible, it is possible to reverse the above triple product process. A case of particular interest is the following.
\begin{proposition} Let $Q_n(x)$ be a family of monic orthogonal polynomials given by
$$Q_n(x)=(x-\alpha) Q_{n-1}-\beta Q_{n-2}(x),$$ with $Q_0(x)=1$, $Q_1(x)=x-\alpha+1$.
Then the polynomials
$$P_n(x)=\sum_{k=0}^n \binom{n-1}{n-k} Q_k(x-1)$$ satisfy the recurrence
$$P_n(x)=(x-\alpha+1)P_{n-1}(x)-(x+\beta-\alpha)P_{n-2},$$
with $P_0(x)=1$, $P_1(x)=x-\alpha$.
\end{proposition}
The coefficient array of the polynomials $Q_n(x)$ in the above proposition is given by the Riordan array
$$\left(\frac{1+x}{1+\alpha x+ \beta x^2},\frac{x}{1+\alpha x +\beta x^2}\right).$$
Forming the triple product
$$\left(1,\frac{x}{1-x}\right)\cdot \left(\frac{1+x}{1+\alpha x+ \beta x^2},\frac{x}{1+\alpha x +\beta x^2}\right)\cdot \left(\frac{1}{1+x},\frac{x}{1+x}\right)$$ we obtain the coefficient array of the polynomials $P_n(x)$. This is the Riordan array
$$\left(\frac{1-x}{1+(\alpha-1) x+ (\beta-\alpha) x^2},\frac{x(1-x)}{1+(\alpha-1) x +(\beta-\alpha) x^2}\right).$$
\noindent The production matrix of the inverse of this array is given by
\begin{displaymath}\left(\begin{array}{ccccccc} \alpha &amp; 1 &amp;
0
&amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ \beta &amp; \alpha &amp; 1 &amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ \beta &amp; \beta
&amp; \alpha &amp; 1 &amp; 0 &amp;
0 &amp; \ldots \\ \beta &amp; \beta &amp; \beta &amp; \alpha &amp; 1 &amp; 0 &amp; \ldots \\ \beta &amp; \beta &amp; \beta
&amp; \beta &amp; \alpha &amp; 1 &amp; \ldots \\ \beta &amp; \beta &amp; \beta &amp; \beta &amp; \beta &amp; \alpha
&amp;\ldots\\
\vdots &amp;
\vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp;
\ddots\end{array}\right).\end{displaymath}
The production matrix for the inverse of the coefficient array of the orthogonal polynomials $Q_n(x)$ in the proposition is given by
\begin{displaymath}\left(\begin{array}{ccccccc} \alpha-1 &amp; 1 &amp;
0
&amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ \beta &amp; \alpha &amp; 1 &amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ 0 &amp; \beta
&amp; \alpha &amp; 1 &amp; 0 &amp;
0 &amp; \ldots \\ 0 &amp; 0 &amp; \beta &amp; \alpha &amp; 1 &amp; 0 &amp; \ldots \\ 0 &amp; 0 &amp; 0
&amp; \beta &amp; \alpha &amp; 1 &amp; \ldots \\ 0 &amp; 0 &amp; 0 &amp; 0 &amp; \beta &amp; \alpha
&amp;\ldots\\
\vdots &amp;
\vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp;
\ddots\end{array}\right).\end{displaymath}
\begin{corollary} The (generalized) moments associated to the polynomials $P_n(x)$ whose coefficient array is given by
$$\left(\frac{1-x}{1+(\alpha-1) x+ (\beta-\alpha) x^2},\frac{x(1-x)}{1+(\alpha-1) x +(\beta-\alpha) x^2}\right)$$ have generating function expressible as
$$\cfrac{1}{1-\alpha x-
\cfrac{\beta x^2}{1-(\alpha+1)x-
\cfrac{\beta x^2}{1-(\alpha+1)x-\cdots}}}.$$
\begin{proof} They are the inverse binomial transform of the moments of $Q_n(x)$, which have g.f. given by
$$\cfrac{1}{1-(\alpha-1) x-
\cfrac{\beta x^2}{1-\alpha x-
\cfrac{\beta x^2}{1-\alpha x-\cdots}}}.$$ The result follows since the inverse binomial transform increases the $x$ coefficient by $1$ \cite{Barry_CF}.
\end{proof}
\end{corollary}
In fact, we could have proved this result independently of the foregoing.
\begin{proposition} The (generalized) moments of the Riordan array
$$\left(\frac{1-x}{1+rx+sx^2},\frac{x(1-x)}{1+rs+sx^2}\right)$$ have g.f.
$$g(x)=\frac{1-rx-\sqrt{1-2x(r+2)+x^2(r^2-4s)}}{2x(1+sx)},$$ which can be expressed as
$$g(x)=\cfrac{1}{1-(r+1)x-
\cfrac{(r+s+1)x^2}{1-(r+2)x-
\cfrac{(r+s+1)x^2}{1-(r+2)x-\cdots}}}.$$ The production matrix of the inverse array is given by
\begin{displaymath}\left(\begin{array}{ccccccc} r+1 &amp; 1 &amp;
0
&amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ r+s+1 &amp; r+1 &amp; 1 &amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ r+s+1 &amp; r+s+1
&amp; r+1 &amp; 1 &amp; 0 &amp;
0 &amp; \ldots \\ r+s+1 &amp; r+s+1 &amp; r+s+1 &amp; r+1 &amp; 1 &amp; 0 &amp; \ldots \\ r+s+1 &amp; r+s+1 &amp; r+s+1
&amp; r+s+1 &amp; r+1 &amp; 1 &amp; \ldots \\ r+s+1 &amp; r+s+1 &amp; r+s+1 &amp; r+s+1 &amp; r+s+1 &amp; r+1
&amp;\ldots\\
\vdots &amp;
\vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp;
\ddots\end{array}\right).\end{displaymath}
The Hankel transform of the moments is $h_n=(r+s+1)^{\binom{n+1}{2}}$.
\end{proposition}
\begin{proof}
We have $$g(x)=\frac{1}{x}\text{Rev}_x \frac{x(1-x)}{1+rx+sx^2}=\frac{1-rx-\sqrt{1-2x(r+2)+x^2(r^2-4s)}}{2x(1+sx)}.$$
If we let $g_1(x)$ represent the continued fraction, then we have
$$g_1(x)=\frac{1}{1-(r+1)x-(r+s+1)x^2 u} \quad \text{where} \quad u=\frac{1}{1-(r+2)x-(r+s+1)x^2 u}.$$
Solving for $u$ and then $g_1(x)$ we find that $g_1(x)=g(x)$. The production matrix is calculated using standard
Riordan array techniques. The expression for the Hankel transform follows directly from \cite{Kratt}.
\end{proof}
\begin{example} We consider the generalized Chebyshev polynomials with coefficient array
$$\left(\frac{1+x}{1+x^2},\frac{x}{1+x^2}\right). $$
This is the family of orthogonal polynomials $Q_n(x)$ which satisfy
$$Q_n(x)=x Q_{n-1}-Q_{n-2},$$ with $Q_0(x)=1$, $Q_1(x)=x+1$. The moments of this family of orthogonal polynomials are given by
$u_n=(-1)^n \binom{n}{\lfloor \frac{n}{2} \rfloor}$, the alternating sign version of the central binomial coefficients \seqnum{A001405}.
We form the polynomials
$$P_n(x)=\sum_{k=0}^n \binom{n-1}{n-k}Q_k(x-1).$$
We find that the coefficient array of these transformed polynomials is given by
$$\left(\frac{1-x}{1-x+x^2}, \frac{x(1-x)}{1-x+x^2}\right),$$ whose inverse array has production matrix
\begin{displaymath}\left(\begin{array}{ccccccc} 0 &amp; 1 &amp;
0
&amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ 1 &amp; 0 &amp; 1 &amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ 1 &amp; 1
&amp; 0 &amp; 1 &amp; 0 &amp;
0 &amp; \ldots \\ 1 &amp; 1 &amp; 1 &amp; 0 &amp; 1 &amp; 0 &amp; \ldots \\ 1 &amp; 1 &amp; 1
&amp; 1 &amp; 0 &amp; 1 &amp; \ldots \\ 1 &amp; 1 &amp; 1 &amp; 1 &amp; 1 &amp; 0
&amp;\ldots\\
\vdots &amp;
\vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp;
\ddots\end{array}\right).\end{displaymath} \noindent
The first column of the inverse array (generalized moments) is given by the so-called ``Motzkin sums'', \seqnum{A005043}.
Again, both moment sequences have the same Hankel transform. This is because both are related by a binomial transform. In this case the polynomials $P_n(x)$ satisfy the recurrence
$$P_n(x)=(x+1)P_{n-1}-(x+1)P_{n-2},$$ with
$P_0(x)=1$, $P_1(x)=x$.
\end{example}
\begin{example} We consider the Riordan array
$$\left(\frac{1+x}{1+2x+3x^2},\frac{x}{1+2x+3x^2}\right).$$
The moments $u_n$ of the orthogonal polynomials $Q_n(x)$ generated by this array \seqnum{A129147} begin
$$1, 1, 4, 13, 52, 214, 928,\ldots$$ They can be expressed in closed form as
$$u_n=\sum_{k=0}^n \binom{k}{n-k}2^{n-k}C_k,$$ and have Hankel transform
$3^{\binom{n+1}{2}}$. The generating function of this sequence can be expressed as the continued fraction
$$\cfrac{1}{1-x-
\cfrac{3x^2}{1-2x-
\cfrac{3x^2}{1-2x-\cdots}}}.$$
The corresponding family of polynomials $P_n(x)$ will have coefficient array
$$\left(\frac{1-x}{1+x+x^2},\frac{x(1-x)}{1+x+x^2}\right).$$ The moments of this family of polynomials is the sequence
\seqnum{A064641}, which counts certain \L ukasiewicz paths \cite{Hennessy-Thesis}. This sequence has a generating function that can be expressed as
$$\cfrac{1}{1-2x-
\cfrac{3x^2}{1-3x-
\cfrac{3x^2}{1-3x-\cdots}}}.$$ The production matrix of the inverse coefficient array is given by
\begin{displaymath}\left(\begin{array}{ccccccc} 2 &amp; 1 &amp;
0
&amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ 3 &amp; 2 &amp; 1 &amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ 3 &amp; 3
&amp; 2 &amp; 1 &amp; 0 &amp;
0 &amp; \ldots \\ 3 &amp; 3 &amp; 3 &amp; 2 &amp; 1 &amp; 0 &amp; \ldots \\ 3 &amp; 3 &amp; 3
&amp; 3 &amp; 2 &amp; 1 &amp; \ldots \\ 3 &amp; 3 &amp; 3 &amp; 3 &amp; 3 &amp; 2
&amp;\ldots\\
\vdots &amp;
\vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp;
\ddots\end{array}\right).\end{displaymath}
\end{example}


\noindent Reverting to the initial four-term recurrence, we see that the case  of $$\alpha+\beta+\gamma=0$$ is worthy of attention. In this case, $\beta+\gamma=-\alpha$, and the original production matrix $P_L$ simplifies to
\begin{displaymath}P_L=\left(\begin{array}{ccccccc} \delta &amp; 1 &amp;
0
&amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ \beta+\delta &amp; \alpha &amp; 1 &amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ -\alpha+\delta &amp; \alpha+\beta
&amp; \alpha &amp; 1 &amp; 0 &amp;
0 &amp; \ldots \\ -\alpha+\delta &amp; 0 &amp; \alpha+\beta &amp; \alpha &amp; 1 &amp; 0 &amp; \ldots \\ -\alpha+\delta &amp; 0 &amp; 0
&amp; \alpha+\beta &amp; \alpha &amp; 1 &amp; \ldots \\-\alpha+\delta &amp; 0 &amp; 0 &amp; 0 &amp; \alpha+\beta &amp; \alpha
&amp;\ldots\\
\vdots &amp;
\vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp;
\ddots\end{array}\right).\end{displaymath} Thus in this case we obtain a family of polynomials that are ``almost orthogonal''. They are defined by
$$P_n(x)=(x-\alpha)P_{n-1}(x)-(\alpha+\beta)P_{n-2}+(\alpha-\delta),$$ with
$P_0(x)=1$, and $P_1(x)=x-\delta$. In the special case $\alpha+\beta+\gamma=0$ and $\alpha=\delta$, we have
$$\frac{1+(\alpha-\delta-1)x}{1+(\alpha-1)x+\beta x^2+\gamma x^3}=\frac{1-x}{1+(\alpha-1)x+\beta x^2-(\alpha+\beta)x^3}=\frac{1}{1+\alpha x + (\alpha+\beta)x^2}.$$ \noindent Hence we obtain the family of orthogonal polynomials
$$P_n(x)=(x-\alpha)P_{n-1}(x)-(\alpha+\beta)P_{n-2},$$ with
$P_0(x)=1$, and $P_1(x)=x-\alpha$.
The transformed polynomials
$$Q_n(x)=\sum_{k=0}^n (-1)^{n-k} P_k(x+1)$$ then correspond to the Riordan array
$$\left(\frac{1+x}{1+\alpha x}, \frac{x}{1+\alpha x}\right),$$ and can be expressed as
$$Q_n(x)=(x-\alpha) Q_{n-1}(x),$$ with
$Q_0(x)=1$, $Q_1(x)=x-\alpha+1$. The production matrix of the inverse to the coefficient array $\left(\frac{1+x}{1+\alpha x}, \frac{x}{1+\alpha x}\right)$ is given by
\begin{displaymath}P_L=\left(\begin{array}{ccccccc} \alpha-1 &amp; 1 &amp;
0
&amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ 0 &amp; \alpha &amp; 1 &amp; 0 &amp; 0 &amp; 0 &amp; \ldots \\ 0&amp; 0
&amp; \alpha &amp; 1 &amp; 0 &amp;
0 &amp; \ldots \\ 0 &amp; 0 &amp;0 &amp; \alpha &amp; 1 &amp; 0 &amp; \ldots \\ 0 &amp; 0 &amp; 0
&amp; 0 &amp; \alpha &amp; 1 &amp; \ldots \\0 &amp; 0 &amp; 0 &amp; 0 &amp; 0 &amp; \alpha
&amp;\ldots\\
\vdots &amp;
\vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp;
\ddots\end{array}\right).\end{displaymath} \noindent
We can express $Q_n(x)$ in closed form as $$Q_n(x)=\sum_{k=0}^n \sum_{j=0}^n \binom{1}{n-j}\binom{j}{k}(-\alpha)^{j-k} x^k.$$

\begin{thebibliography}{9}


\bibitem{Barry_Moment} P. Barry,
Riordan arrays, orthogonal polynomials as moments, and Hankel transforms,
\emph{J. Integer Seq.}, \textbf{14} (2011),
\href{http://www.cs.uwaterloo.ca/journals/JIS/VOL14/Barry1/barry97r2.html}{Article 11.2.2}.

\bibitem{Barry_Meixner} P. Barry and A. Hennessy, Meixner-type results for Riordan arrays and associated
    integer sequences, \emph{J. Integer Seq.}, \textbf{13} (2010),
    \href{http://www.cs.uwaterloo.ca/journals/JIS/VOL13/Barry5/barry96s.pdf}{ Article 10.9.4}.

\bibitem{Barry_CF} P. Barry, Continued fractions and transformations of integer sequences, \emph{J. Integer Seq.}, \textbf{12}, (2009),
\href{http://www.cs.uwaterloo.ca/journals/JIS/VOL12/Barry3/barry93.html} {Article 09.7.6}.

\bibitem{Chihara}
T. S. Chihara,  {\it An Introduction to Orthogonal Polynomials},
Gordon and Breach, 1978.


\bibitem{ProdMat_0} E. Deutsch, L. Ferrari, and S. Rinaldi,
    Production matrices, \emph{Adv. in Appl.
    Math.}
    \textbf{34} (2005),
    101--122.

\bibitem{ProdMat} E. Deutsch, L. Ferrari, and S. Rinaldi,
Production matrices and Riordan arrays, \emph{Ann. Comb.}, \textbf{13} (2009), 65--85.

\bibitem{Gautschi}
W. Gautschi, {\it Orthogonal Polynomials: Computation and
Approximation}, Clarendon Press, 2003.

\bibitem{Concrete} I. Graham, D. E. Knuth, and O. Patashnik,
    \emph{Concrete Mathematics}, Addison--Wesley, 1994.

\bibitem{Hennessy-Thesis} A. Hennessy, A Study of Riordan Arrays with Applications to
Continued Fractions, Orthogonal Polynomials and
Lattice Paths, PhD Thesis, Waterford Institute of Technology, 2011.

\bibitem{Kow} G. Kowaleski, \emph{Einf\"uhrung in die Determinantentheorie einschliesslich der Fredholmschen Determinanten}, Chelsea Publishing Company, 1948.

\bibitem{Kratt} C. Krattenthaler, Advanced determinant
calculus, \emph{S\'em. Lothar. Combin.} \textbf{42} (1999), Article
B42q., available electronically at
\href{http://arxiv.org/abs/math/9902004}{\tt
http://arxiv.org/abs/math/9902004},
1999.

\bibitem{Kratt1} C. Krattenthaler, Advanced determinant
    calculus: A complement, {\it Linear Algebra
    Appl.} \textbf{411} (2005), 68--166.

\bibitem{Layman} J. W. Layman,
 {The Hankel transform and some
    of
    its properties}, \emph{J. Integer Seq.}, {\bf
    4} (2001), \href{http://www.cs.uwaterloo.ca/journals/JIS/VOL4/LAYMAN/hankel.html} {Article 01.1.5}.

\bibitem{P_W}
P. Peart and W.-J. Woan,
 {Generating functions via Hankel and Stieltjes matrices}, \emph{J.
Integer Seq.}, \textbf{3} (2000), \href{http://www.cs.uwaterloo.ca/journals/JIS/VOL3/PEART/peart1.html} {Article 00.2.1}.


\bibitem{SGWW} L.~W.~Shapiro, S. Getu, W.-J. Woan, and L.C. Woodson,
The Riordan Group, \emph{Discr. Appl. Math.} \textbf{34} (1991), 229--239.

\bibitem{SL1} N. J. A.~Sloane, \emph{The
On-Line Encyclopedia of Integer Sequences}. Published electronically
at \texttt{http://oeis.org}, 2012.

\bibitem{SL2} N. J. A.~Sloane, The On-Line Encyclopedia of Integer
Sequences, \emph{Notices Amer. Math. Soc.}, \textbf{50} (2003),  912--915.


\bibitem{Spru} R. Sprugnoli, Riordan arrays and combinatorial sums,
\emph{Discrete Math.} \textbf{132} (1994), 267--290.

\bibitem{Szego} G. Szeg\"o, \emph{Orthogonal Polynomials}, 4th
    ed., Amer. Math. Soc., 1975.

\bibitem{Viennot} G. Viennot, {\it Une Th\'eorie Combinatoire des Polyn\^omes Orthogonaux G\'en\'eraux}, UQAM, Montreal, Quebec, 1983.

\bibitem{Woan} W.-J. Woan,
{Hankel matrices and lattice paths},  \emph{J. Integer Seq.},
\textbf{4} (2001), \href{http://www.cs.uwaterloo.ca/journals/JIS/VOL4/WOAN/hankel2.html}{Article 01.1.2}.


\end{thebibliography}

\bigskip
\hrule
\bigskip

\noindent 2010 {\it Mathematics Subject Classification}:
Primary 11B73; Secondary 33C45, 42C05, 15B36, 15B05, 11C20, 11B83.

\noindent \emph{Keywords: } 
Riordan array, orthogonal polynomial, three-term recurrence, four-term
recurrence, production matrix, Hankel transform.

\bigskip
\hrule
\bigskip

\noindent (Concerned with sequences
\seqnum{A000108},
\seqnum{A001405},
\seqnum{A005043},
\seqnum{A007297},
\seqnum{A007318},
\seqnum{A033184},
\seqnum{A064641},
\seqnum{A089942}, and
\seqnum{A129147}.)

\bigskip
\hrule
\bigskip

\vspace*{+.1in}
\noindent
Received November 14 2011;
revised version received  March 26 2012.
Published in {\it Journal of Integer Sequences}, March 26 2012.

\bigskip
\hrule
\bigskip

\noindent
Return to
\htmladdnormallink{Journal of Integer Sequences home page}{http://www.cs.uwaterloo.ca/journals/JIS/}.
\vskip .1in


\end{document}

                                                                                

</pre></body></html>