\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}{-.1in} \setlength{\textheight}{8.4in} \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 Generalized Stirling Numbers, Exponential \\ \vskip .12in Riordan Arrays, and Toda Chain Equations} \vskip 1cm \large Paul Barry\\ School of Science\\ Waterford Institute of Technology\\ Ireland\\ \href{mailto:pbarry@wit.ie}{\tt pbarry@wit.ie} \end{center} \vskip .2 in \begin{abstract} We study the properties of three families of exponential Riordan arrays related to the Stirling numbers of the first and second kind. We relate these exponential Riordan arrays to the coefficients of families of orthogonal polynomials. We calculate the Hankel transforms of the moments of these orthogonal polynomials. We show that the Jacobi coefficients of two of the matrices studied satisfy generalized Toda chain equations. We finish by defining and characterizing the elements of an exponential Riordan array associated to generalized Stirling numbers studied by Lang. \end{abstract} \section{Introduction} The Stirling numbers of the first kind ${n \brack k}$ are given by the elements of the exponential Riordan array $$\left[1, \ln\left(\frac{1}{1-x}\right)\right];$$ the notation is explained in the Appendix, \S~\ref{append}. The numbers ${n \brack k}$ count the number of ways to arrange $n$ objects into $k$ cycles. The corresponding signed Stirling numbers of the first kind $s(n,k)=(-1)^{n-k} {n \brack k}$ are the elements of the exponential Riordan array $$s=\left[1, \ln(1+x)\right].$$ The Stirling numbers of the second kind $S(n,k)=\frac{1}{k!} \sum_{i=0}^n (-1)^{k-i}\binom{k}{i}i^k$ \seqnum{A048993} are given by the elements of the exponential Riordan array $$S=\left[1, e^x-1\right].$$ \noindent They count the number of ways to partition a set of $n$ objects into $k$ non-empty subsets. The matrix inverse of $\left[1, e^x-1\right]$ is given by $\left[1, \ln(1+x)\right]$. The Stirling numbers of both kinds have been generalized in many ways \cite{Broder, Cakic, Barry_Stirling, Lang, Wagner}. We shall generalize their defining matrices in a number of directions. One of our main goals is to find related matrices that are associated to families of orthogonal polynomials, and to calculate the Hankel transforms of the moments of these orthogonal polynomials. For instance, while the matrix of signed Stirling numbers of the first kind $\left[1, \ln(1+x)\right]$ \seqnum{A048994} does not constitute the coefficient array of a family of orthogonal polynomials, the modified matrix given by the following product $$\left[e^{-x}, x\right] \cdot \left[1, \ln(1+x)\right]=\left[e^{-x}, \ln(1+x)\right]$$ is the coefficient array of a family of orthogonal polynomials. This can be seen by looking at the production matrix of the inverse matrix $$\left[1, e^x-1\right]\cdot \left[e^x, x\right]=\left[e^{e^x-1}, e^x-1\right].$$ This is the tri-diagonal matrix \begin{displaymath}\left(\begin{array}{ccccccc} 1 & 1 & 0 & 0 & 0 & 0 & \ldots \\1 & 2 & 1 & 0 & 0 & 0 & \ldots \\ 0 & 2 & 3 & 1 & 0 & 0 & \ldots \\ 0 & 0 & 3 & 4 & 1 & 0 & \ldots \\ 0 & 0 & 0 & 4 & 5 & 1 & \ldots \\0 & 0 & 0 & 0 & 5 & 6 &\ldots\\ \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \ddots\end{array}\right).\end{displaymath} The family in question is the family of Charlier polynomials, which has the Bell numbers (with e.g.f. $e^{e^x-1}$) as moments. They satisfy the three-term recurrence $$P_n(x)=(x-n)P_{n-1}(x)-(n-1)P_{n-2}(x),$$ with $P_0(x)=1$, $P_1(x)=x-1$. For our study, we will require three results from the theory of exponential Riordan arrays (see Appendix for an introduction to exponential Riordan arrays). These are \cite{Barry_Meixner, Barry_Moment} \begin{enumerate} \item The inverse of an exponential Riordan array $[g,f]$ is the coefficient array of a family of orthogonal polynomials if and only if the production matrix of $[g,f]$ is tri-diagonal; \item If the production matrix \cite{DeutschShap, ProdMat_0, ProdMat} of $[g,f]$ is tri-diagonal, then the elements of the first column of $[g,f]$ are the moments of the corresponding family of orthogonal polynomials; \item The bivariate generating function of the production matrix of $[g,f]$ is given by $$e^{xy}(Z(x)+A(x)y)$$ where $$A(x)=f'(\bar{f}(x)),$$ and $$Z(x)=\frac{g'(\bar{f}(x))}{g(\bar{f}(x))},$$ where $\bar{f}(x)$ is the compositional inverse (series reversion) of $f(x)$. \end{enumerate} \noindent We recall that for an exponential Riordan array $$L=[g,f]$$ the production matrix $P_L$ of $L$ \cite{DeutschShap, ProdMat_0, ProdMat} is the matrix $$P_L= L^{-1} \bar{L},$$ where $\bar{L}$ is the matrix $L$ with the first row removed. An important classical family of orthogonal polynomials is the family of Sheffer orthogonal polynomials \cite{Salam, Koekoek, Nakamura}. These are orthogonal polynomials $S_n(x)$ whose generating function has the following special form: $$\sum_{n=0}^{\infty} S_n(x)t^n = A(t)e^{xu(t)}$$ where $A(t)$ and $u(t)$ are power series with $A(0)=1$, $u(0)=0$, $u'(0)=1$. A necessary and sufficient condition for this to be so is that the $S_n(x)$ satisfy a three-term recurrence of the form $$S_{n+1}(x)=(x-(an+b))S_n(x)-n(cn+d)S_{n-1}(x),$$ with $S_{-1}(x)=0$ and $S_0(x)=1$. A short introduction to exponential Riordan arrays can be found in the Appendix to this note. He, Hsu and Shiue have studied links between exponential Riordan group and the Sheffer group \cite{He_iso, He_character}, including detailing the isomorphism that exists between these two groups. For general information on orthogonal polynomials and moments, see \cite{Chihara, Gautschi, Szego}. Continued fractions will be referred to in the sequel; \cite{Wall} is a general reference, while \cite{Kratt, Kratt1} discuss the connection between continued fractions and orthogonal polynomials, moments and Hankel transforms \cite{Layman}. We recall that for a given sequence $a_n$ its Hankel transform is the sequence of determinants $h_n=|a_{i+j}|_{0 \le i,j \le n}$. Many interesting examples of number triangles, including exponential Riordan arrays, can be found in Neil Sloane's On-Line Encyclopedia of Integer Sequences \cite{SL1, SL2}. Sequences are frequently referred to by their OEIS number. For instance, the binomial matrix (Pascal's triangle) $\mathbf{B}$ with $(n,k)$-th element $\binom{n}{k}$ is \seqnum{A007318}. This is the exponential Riordan array $[e^x, x]$. The following well-known results (the first is the well-known ``Favard's Theorem''), which we essentially reproduce from \cite{Kratt}, specify the links between orthogonal polynomials, the three-term recurrences that define them, the recurrence coefficients of those three-term recurrences, and the g.f. of the moment sequence of the orthogonal polynomials. \begin{theorem} \label{ThreeT}\cite{Kratt} (Cf.~\cite[Th\'eor\`eme 9, p.~I-4]{Viennot} or or \cite[Theorem 50.1]{Wall}). Let $(p_n(x))_{n\ge 0}$ be a sequence of monic polynomials, the polynomial $p_n(x)$ having degree $n=0,1,\ldots$ Then the sequence $(p_n(x))$ is (formally) orthogonal if and only if there exist sequences $(\alpha_n)_{n\ge 0}$ and $(\beta_n)_{n\ge 1}$ with $\beta_n \neq 0$ for all $n\ge 1$, such that the three-term recurrence $$p_{n+1}=(x-\alpha_n)p_n(x)-\beta_n p_{n-1}(x), \quad \text{for}\quad n\ge 1, $$ holds, with initial conditions $p_0(x)=1$ and $p_1(x)=x-\alpha_0$. \end{theorem} \begin{theorem} \label{CF} \cite{Kratt} (Cf.~\cite[Proposition 1, (7), p.~V-5]{Viennot} or \cite[Theorem 51.1]{Wall}). Let $(p_n(x))_{n\ge 0}$ be a sequence of monic polynomials, which is orthogonal with respect to some functional $\mathcal{L}$. Let $$p_{n+1}=(x-\alpha_n)p_n(x)-\beta_n p_{n-1}(x), \quad \text{for}\quad n\ge 1, $$ be the corresponding three-term recurrence which is guaranteed by Favard's theorem. Then the generating function $$g(x)=\sum_{k=0}^{\infty} \mu_k x^k $$ for the moments $\mu_k=\mathcal{L}(x^k)$ satisfies $$g(x)=\cfrac{\mu_0}{1-\alpha_0 x- \cfrac{\beta_1 x^2}{1-\alpha_1 x - \cfrac{\beta_2 x^2}{1-\alpha_2 x - \cfrac{\beta_3 x^2}{1-\alpha_3 x -\cdots}}}}.$$ \end{theorem} \noindent The {\it Hankel transform} \cite{Layman} of a given sequence $A=\{a_0,a_1,a_2,...\}$ is the sequence of Hankel determinants $\{h_0, h_1, h_2,\dots \}$ where $h_{n}=|a_{i+j}|_{i,j=0}^{n}$, i.e \begin{center} \begin{equation} \label{gen1} A=\{a_n\}_{n\in\mathbb N_0}\quad \rightarrow \quad h=\{h_n\}_{n\in\mathbb N_0}:\quad h_n=\left| \begin{array}{ccccc} a_0\ & a_1\ & \cdots & a_n & \\ a_1\ & a_2\ & & a_{n+1} \\ \vdots & & \ddots & \\ a_n\ & a_{n+1}\ & & a_{2n} \end{array} \right|. \end{equation} \end{center} The Hankel transform of a sequence $a_n$ and that of its binomial transform are equal. \noindent In the case that $a_n$ has g.f. $g(x)$ expressible in the form $$g(x)=\cfrac{a_0}{1-\alpha_0 x- \cfrac{\beta_1 x^2}{1-\alpha_1 x- \cfrac{\beta_2 x^2}{1-\alpha_2 x- \cfrac{\beta_3 x^2}{1-\alpha_3 x-\cdots}}}}$$ then we have \cite{Kratt} \begin{equation}\label{Kratt} h_n = a_0^{n+1} \beta_1^n\beta_2^{n-1}\cdots \beta_{n-1}^2\beta_n=a_0^{n+1}\prod_{k=1}^n \beta_k^{n+1-k}.\end{equation} Note that this is independent of $\alpha_n$. We shall call the coefficients $(\alpha_n, \beta_n)$ above the Jacobi coefficients of the corresponding family of orthogonal polynomials. When we study related Toda chain equations, we shall use the notation $(b_n, u_n)$ for these coefficients. \section{Stirling-related exponential Riordan arrays} We consider three families of exponential Riordan arrays, which are closely related to families of orthogonal polynomials and to generalized Stirling numbers. Thus we let \begin{eqnarray*} A(\alpha, \beta, \gamma)&=&\left[\frac{e^{- \gamma x}}{(1+\beta x)^{\alpha/\beta}}, \frac{1}{\beta} \ln(1+\beta x)\right],\\ B(\alpha, \beta, \gamma)&=&\left[\frac{e^{- \gamma x}}{(1+\beta x)^{\alpha/\beta}}, \ln\left(\frac{1+(\beta+1)x}{1+\beta x}\right)\right],\\ C(\alpha,\beta,\gamma)&=&\left[\frac{e^{-\gamma x}}{(1+\beta x)^{\alpha/\beta}}, \frac{x}{1+\beta x}\right].\end{eqnarray*} We have $$A^{-1}=\left[e^{\alpha x+\frac{\gamma}{\beta}(e^{\beta x}-1)}, \frac{e^{\beta x}-1}{\beta}\right],$$ and $$B^{-1}=\left[e^\frac{-\alpha p \ln(p)+\gamma(1-p)}{\beta p}, \frac{1-p}{\beta p}\right],$$ where $$p=1-\beta (e^x-1).$$ Note that for $\gamma=0$, we have $$B(\alpha, \beta, 0)=\left[\frac{1}{(1+\beta x)^{\alpha/\beta}}, \ln\left(\frac{1+(\beta+1)x}{1+\beta x}\right)\right],$$ and $$B(\alpha, \beta, 0)^{-1}=\left[\frac{1}{(1-\beta(e^x-1))^{\alpha/\beta}}, \frac{e^x-1}{1-\beta(e^x-1)}\right].$$ Finally $$C(\alpha,\beta, \gamma)^{-1}=\left[\frac{e^{\frac{\gamma x}{1-\beta x}}}{(1-\beta x)^{\alpha/\beta}}, \frac{x}{1-\beta x}\right].$$ \begin{proposition} $$C(\alpha, \beta, \gamma)=A(\alpha, \beta, \gamma) \cdot \left[1, \frac{1}{\beta}(1-e^{-\beta x})\right]. $$ \end{proposition} \noindent We note that the exponential Riordan array $\left[1, \frac{1}{\beta}(1-e^{-\beta x})\right]$ has $(n,k)$-th term equal to $$ (-\beta)^{n-k}S(n,k).$$ \begin{corollary} $$C^{-1}=\left[1, \frac{1}{\beta} \ln \left(\frac{1}{1-\beta x }\right)\right] \cdot A^{-1}. $$ \end{corollary} \noindent The general element of $\left[1, \frac{1}{\beta} \ln \left(\frac{1}{1-\beta x }\right)\right]$ is $$\beta^{n-k} |s(n,k)|.$$ \noindent Clearly, we have $$s=A(0,1,0),$$ while $$B(0,-1,0)=\left[1, \ln\left(\frac{1}{1-x}\right)\right],$$ the matrix of (unsigned) Stirling numbers of the first kind. We remark that $$C(0,-1,0)=\left[1, \frac{x}{1-x}\right],$$ the so-called Lah matrix \cite{Barry_Lah}. \begin{proposition} $$A^{-1}=\left[e^{\frac{\gamma}{\beta}(e^{\beta x}-1)},x\right]\cdot \left[e^{\alpha x}, \frac{e^{\beta x}-1}{\beta}\right].$$ \end{proposition} \noindent We now note that the general $(n,k)$-th element of the exponential Riordan array $\left[e^{\frac{\gamma}{\beta}(e^{\beta x}-1)},x\right]$ is given by $$u_{n,k}=\binom{n}{k}\sum_{j=0}^{n-k} S(n-k,k) \gamma^j \beta^{n-k-j},$$ where $S(n,k)$ denotes the Stirling number of the second kind ($S(n,k)$ is the $(n,k)$-th element of the exponential Riordan array $\left[1, e^x-1\right]$). The general $(n,k)$-th element of the right hand member $\left[e^{\alpha x}, \frac{e^{\beta x}-1}{\beta}\right]$ is given by $$v_{n,k}=\sum_{j=0}^n \binom{n}{j}S(j,k)\alpha^{n-j}\beta^{j-k}.$$ \noindent Thus the general term of $A^{-1}$ is given by $$\sum_{i=0}^n u_{n,i} v_{i,k}.$$ \begin{proposition} $$A^{-1}= \left[e^{\alpha x}, \frac{e^{\beta x}-1}{\beta}\right] \cdot \left[e^{\gamma x}, x\right].$$ \end{proposition} \noindent Thus we can express the general term of $A^{-1}$ as the generalized Stirling number $$\sum_{i=0}^n \sum_{j=0}^n \binom{n}{j} S(j,i)\alpha^{n-j}\beta^{j-i}\binom{i}{k}\gamma^{i-k}.$$ \begin{proposition} $$A=\left[e^{-\gamma x}, x\right] \cdot \left[\frac{1}{(1+\beta x)^{\alpha/\beta}}, \frac{1}{\beta} \ln(1+\beta x) \right]=\left[e^{-\gamma x}, x\right] \cdot A(\alpha, \beta,0). $$ \end{proposition} \noindent We now note the canonical decomposition of $A(\alpha, \beta,0)$: $$A(\alpha, \beta,0)=\left[\frac{1}{(1+\beta x)^{\alpha/\beta}}, \frac{1}{\beta} \ln(1+\beta x) \right]=\left[\frac{1}{(1+\beta x)^{\alpha/\beta}},x\right]\cdot \left[1,\frac{1}{\beta} \ln(1+\beta x) \right].$$ \noindent Now the matrix $\left[\frac{1}{(1+\beta x)^{\alpha/\beta}},x\right]$ has general $(n,k)$-th term given by $$\prod_{j=0}^{n-k-1} (\alpha+j \beta)(-1)^{n-k},$$ while the general term of $\left[1,\frac{1}{\beta} \ln(1+\beta x) \right]$ is given by $$ \beta^{n-k}s(n,k).$$ \noindent We thus obtain the following result. \begin{proposition} The general $(n,k)$-th term of the matrix $A(\alpha, \beta,0)$ is given by $$\sum_{i=0}^n \prod_{j=0}^{n-i-1} (\alpha+j \beta)(-1)^{n-i} \beta^{i-k} s(i,k).$$ \end{proposition} \section{Orthogonal polynomials and $A(\alpha, \beta, \gamma)$} We recall that $$A(\alpha, \beta, \gamma)=\left[\frac{e^{- \gamma x}}{(1+\beta x)^{\alpha/\beta}}, \frac{1}{\beta} \ln(1+\beta x)\right],$$ and that $$A^{-1}=\left[e^{\alpha x+\frac{\gamma}{\beta}(e^{\beta x}-1)}, \frac{e^{\beta x}-1}{\beta}\right].$$ \begin{proposition} A is the coefficient array of a family of orthogonal polynomials, if $\beta \gamma \ne 0$. \end{proposition} \begin{proof} We calculate the production matrix of $A^{-1}$. For this, we have $f(x)=\frac{1}{\beta}(e^{\beta x}-1)$. Thus $$\bar{f}(x)=\frac{1}{\beta} \ln(1+\beta x), \quad f'(x)=e^{\beta x}.$$ It follows that $$A(x)=f'(\bar{f}(x))=1+\beta x.$$ \noindent Now $$g(x)=e^{\alpha x+\frac{\gamma}{\beta}(e^{\beta x}-1)},$$ and hence $$g'(x)=e^{\frac{\gamma}{\beta}e^{\beta x}+\alpha x}\left(\gamma e^{\beta x-\frac{\gamma}{\beta}}+\alpha e^{-\frac{\gamma}{\beta}}\right).$$ We deduce that $$Z(x)=\frac{g'(\bar{f})(x)}{g(\bar{f})(x)}=\alpha + \beta \gamma x+ \gamma.$$ \noindent Hence the g.f. of the production matrix of $A^{-1}$ is given by $$e^{xy}(\alpha+\beta \gamma x+\gamma+(1+\beta x)y).$$ The production matrix of $A^{-1}$ therefore begins \begin{displaymath}\left(\begin{array}{ccccccc} \alpha+\gamma & 1 & 0 & 0 & 0 & 0 & \ldots \\\beta \gamma & \alpha+\beta+\gamma & 1 & 0 & 0 & 0 & \ldots \\ 0 & 2 \beta \gamma & \alpha+2 \beta + \gamma & 1 & 0 & 0 & \ldots \\ 0 & 0 & 3 \beta \gamma & \alpha+3 \beta + \gamma & 1 & 0 & \ldots \\ 0 & 0 & 0 & 4 \beta \gamma & \alpha + 4 \beta + \gamma & 1 & \ldots \\0 & 0 & 0 & 0 & 5 \beta \gamma & \alpha +5 \beta + \gamma &\ldots\\ \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \ddots\end{array}\right).\end{displaymath} Thus (when $\beta \gamma \ne 0$) $A$ is the coefficient array of the family of orthogonal polynomials $P^A_n(x)$ with $$P^A_{n+1}(x)=(x-(\beta n+\alpha+\gamma))P^A_n(x)-n\beta \gamma P^A_{n-1}(x),$$ with $P^A_0(x)=1$, $P^A_1(x)=x-(\alpha+\gamma)$. \end{proof} This shows that the family $P_n^A$ is a family of Sheffer orthogonal polynomials. The moments $\mu^A_n$ of this family of orthogonal polynomials are given by the first column elements of $A^{-1}$, and hence have e.g.f. given by $$e^{\alpha x}e^{\frac{\gamma}{\beta}(e^{\beta x}-1)}.$$ From this we deduce that $$\mu^A_n=\sum_{k=0}^n \sum_{j=0}^n \binom{n}{j}S(j,k)\alpha^{n-j}\beta^{j-k}\gamma^k.$$ \begin{corollary} The sequence $\mu^A_n$ has generating function given by $$\cfrac{1}{1-(\alpha+\gamma)x- \cfrac{\beta \gamma x^2}{1-(\alpha+\beta+\gamma)x- \cfrac{2 \beta \gamma x^2}{1-(\alpha+2\beta+\gamma)x- \cfrac{3 \beta \gamma x^2}{1-\cdots}}}}.$$ \end{corollary} \begin{corollary} The Hankel transform of $\mu^A_n$ is given by $$h_n = (\beta \gamma)^{\binom{n+1}{2}}\prod_{k=0}^n k!$$ \end{corollary} \section{Orthogonal polynomials and $B(\alpha, \beta, \gamma)$} We recall that $$B(\alpha, \beta, \gamma)=\left[\frac{e^{- \gamma x}}{(1+\beta x)^{\alpha/\beta}}, \ln\left(\frac{1+(\beta+1)x}{1+\beta x}\right)\right].$$ \begin{proposition} The production array of $B^{-1}$ is a four-diagonal matrix. When $\gamma=0$, $B$ is the coefficient array of a family of orthogonal polynomials. \end{proposition} Note that for $\gamma=0$, we have $$B(\alpha, \beta, 0)=\left[\frac{1}{(1+\beta x)^{\alpha/\beta}}, \ln\left(\frac{1+(\beta+1)x}{1+\beta x}\right)\right],$$ and $$B(\alpha, \beta, 0)^{-1}=\left[\frac{1}{(1-\beta(e^x-1))^{\alpha/\beta}}, \frac{e^x-1}{1-\beta(e^x-1)}\right].$$ \begin{proof} The production array of $B^{-1}$ is given by the following four-diagonal matrix. \begin{displaymath} \begin{tiny} \left(\begin{array}{cccccc} \alpha+\gamma & 1 & 0 & 0 & 0 & \ldots \\ \alpha(\beta+1)+\gamma(2\beta+1) & \alpha+(2\beta+1)+\gamma & 1 & 0 & 0 & \ldots \\ 2\beta \gamma (\beta+1) & 2 (\alpha+\beta)(\beta+1)+2\gamma (2\beta+1) & \alpha+ 2(2\beta + 1)+\gamma & 1 & 0 & \ldots \\ 0 & 6\beta\gamma(\beta+1) & 3(\alpha+ 2\beta)(\beta+1)+3\gamma(2\beta+1) & \alpha+3(2 \beta +1)+\gamma & 1 & \ldots \\ 0 & 0 & 12\beta \gamma (\beta+1) & 4(\alpha+ 3\beta)(\beta+1)+4\gamma(2\beta+1) & \ldots & \ldots \\ 0 & 0 & 0 & 20\beta \gamma(\beta+1) & \ldots & \ldots \\ \vdots & \vdots & \vdots & \vdots & \vdots & \ddots \end{array} \right). \end{tiny} \end{displaymath} When $\gamma=0$, we get the following tri-diagonal matrix. \begin{displaymath}\begin{footnotesize}\left(\begin{array}{ccccccc} \alpha & 1 & 0 & 0 & 0 & 0 & \ldots \\ \alpha(\beta+1) & \alpha+(2\beta+1) & 1 & 0 & 0 & 0 & \ldots \\ 0 & 2 (\alpha+\beta)(\beta+1) & \alpha+ 2(2\beta + 1) & 1 & 0 & 0 & \ldots \\ 0 & 0 & 3(\alpha+ 2\beta)(\beta+1) & \alpha+3(2 \beta +1) & 1 & 0 & \ldots \\ 0 & 0 & 0 & 4(\alpha+ 3\beta)(\beta+1) & \alpha+4(2 \beta +1) & 1 & \ldots \\0 & 0 & 0 & 0 & 5(\alpha+ 4\beta)(\beta+1) & \alpha+5(2 \beta+ 1) &\ldots\\ \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \ddots\end{array}\right).\end{footnotesize}\end{displaymath} The family of orthogonal polynomials is then given by $$P^B_{n+1}(x)=(x-\alpha-n(2\beta+1))P^B_n(x)-n(\alpha+(n-1)\beta)(\beta+1)P^B_{n-1}(x),$$ with $P^B_0(x)=1$, $P^B_1(x)=x-\alpha$. \end{proof} \noindent Re-writing the above three-term recurrence as $$P^B_{n+1}(x)=(x-((2\beta+1)n+\alpha))P_n^B(x)-n(\beta(\beta+1)n+(\beta+1)(\alpha-\beta)),$$ we see that the family of orthogonal polynomials $P_n^B(x)$ is a family of Sheffer orthogonal polynomials. The moments $\mu^B_n$ for this family of polynomials have generating function given by $$\frac{1}{(1-\beta(e^x-1))^{\alpha/\beta}}.$$ \begin{proposition} $$\mu^B_n=\sum_{j=0}^n j! \binom{\frac{\alpha}{\beta}+j-1}{j}\beta^j S(n,j).$$ \end{proposition} \begin{proof} We have \begin{eqnarray*} \mu^B_n&=&[x^n] \frac{1}{(1-\beta(e^x-1))^{\alpha/\beta}}\\ &=& n! [x^n] (1-\beta(e^x-1))^{-\alpha/\beta}\\ &=& n![x^n] \sum_{j} \binom{-\alpha/\beta}{j}(-1)^j \beta^j (e^x-1)^j\\ &=& n![x^n] \sum_{j} \binom{\alpha/\beta+j-1}{j} \beta^j (e^x-1)^j\\ &=& \sum_{j} \binom{\alpha/\beta+j-1}{j} \beta^j n![x^n](e^x-1)^j\\ &=&\sum_{j=0}^n j! \binom{\frac{\alpha}{\beta}+j-1}{j}\beta^j S(n,j).\end{eqnarray*} \end{proof} \begin{proposition} The generating function of $\mu^B_n$ may be expressed as the following continued fraction. $$\cfrac{1}{1-\alpha x- \cfrac{\alpha(\beta+1)x^2}{1-(\alpha+2\beta+1)x- \cfrac{2(\alpha+\beta)(\beta+1)x^2}{1-(\alpha+2(2\beta+1))x- \cfrac{3(\alpha+2\beta)(\beta+1)x^2}{1-\cdots}}}}.$$ \end{proposition} \begin{corollary} The Hankel transform of the moment sequence $\mu^B_n$ is given by $$h^B_n=\prod_{k=1}^n ((k(\alpha+(k-1)\beta)(\beta+1))^{n-k+1}.$$ \end{corollary} \section{Orthogonal polynomials and $C(\alpha, \beta, \gamma)$} We recall that $$C(\alpha,\beta,\gamma)=\left[\frac{e^{-\gamma x}}{(1+\beta x)^{\alpha/\beta}}, \frac{x}{1+\beta x}\right],$$ with $$C(\alpha,\beta, \gamma)^{-1}=\left[\frac{e^{\frac{\gamma x}{1-\beta x}}}{(1-\beta x)^{\alpha/\beta}}, \frac{x}{1-\beta x}\right].$$ \begin{proposition} The production array of $C^{-1}$ is a four-diagonal matrix. When $\gamma=0$, $C$ is the coefficient array of a family of orthogonal polynomials. \end{proposition} \begin{proof} We find that the production matrix of $C^{-1}$ is given by \begin{displaymath}\begin{footnotesize}\left(\begin{array}{ccccccc} \alpha+\gamma & 1 & 0 & 0 & 0 & 0 & \ldots \\ \alpha \beta+2 \beta \gamma & \alpha+2 \beta+\gamma & 1 & 0 & 0 & 0 & \ldots \\ 2 \beta^2 \gamma & 2\alpha \beta +2 \beta^2+4 \beta \gamma & \alpha +4 \beta+\gamma & 1 & 0 & 0 & \ldots \\ 0 & 6\beta^2 \gamma & 3\alpha \beta+6 \beta^2+6\beta \gamma & \alpha+6 \beta+ \gamma & 1 & 0 & \ldots \\ 0 & 0 & 12\beta^2 \gamma & 4\alpha \beta+12\beta^2+8\beta \gamma & \alpha+8 \beta+\gamma & 1 & \ldots \\0 & 0 & 0 & 20\beta^2 \gamma & 5\alpha \beta+20 \beta^2+10 \beta \gamma & \alpha+10\beta+\gamma &\ldots\\ \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \ddots\end{array}\right).\end{footnotesize}\end{displaymath} When $\gamma=0$ this reduces to the tri-diagonal matrix \begin{displaymath}\begin{footnotesize}\left(\begin{array}{ccccccc} \alpha & 1 & 0 & 0 & 0 & 0 & \ldots \\ \alpha \beta & \alpha+2 \beta & 1 & 0 & 0 & 0 & \ldots \\ 0 & 2\alpha \beta +2 \beta^2 & \alpha +4 \beta & 1 & 0 & 0 & \ldots \\ 0 & 0 & 3\alpha \beta+6 \beta^2 & \alpha+6 \beta & 1 & 0 & \ldots \\ 0 & 0 & 0 & 4\alpha \beta+12\beta^2 & \alpha+8 \beta & 1 & \ldots \\0 & 0 & 0 & 0 & 5\alpha \beta+20 \beta^2 & \alpha+10\beta &\ldots\\ \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \ddots\end{array}\right).\end{footnotesize}\end{displaymath} \end{proof} \begin{proposition} $C(\alpha, \beta,0)$ is the coefficient array of the family of orthogonal polynomials $P_n^C(x)$ that satisfy the three-term recurrence $$P_{n+1}(x)=(x-(2\beta n+\alpha))P_n(x)-n(\beta^2 n+\beta(\alpha-\beta))P_{n-1}(x),$$ with $P_0(x)=1$, $P_1(x)=x-\alpha$. \end{proposition} \noindent Again, it is evident that these are Sheffer orthogonal polynomials. \noindent The moments $\mu^C_n$ of the orthogonal polynomials with coefficient array $C(\alpha, \beta, 0)$ are given by the first column elements of $C(\alpha, \beta, 0)^{-1}$. They have e.g.f. equal to $\frac{1}{(1-\beta x)^{\alpha/\beta}}$, and are equal to $$\mu^C_n = \prod_{k=0}^{n-1} (\alpha+ k \beta).$$ \begin{corollary} The moments $\mu^C_n$ of the orthogonal polynomials with coefficient array $C(\alpha, \beta, 0)$ have generating function given by the continued fraction $$\cfrac{1}{1-\alpha x- \cfrac{\alpha \beta x^2}{1-(\alpha+2 \beta)x- \cfrac{2\beta(\alpha+\beta)x^2}{1-(\alpha+4 \beta)x- \cfrac{3\beta(\alpha+2\beta)x^2}{1-\cdots}}}}.$$ \end{corollary} \begin{corollary} The Hankel transform of $\mu^C_n$ is given by $$h_n=\prod_{k=1}^n (k \beta(\alpha+(k-1)\beta))^{n-k+1}.$$ \end{corollary} \noindent Note that the general $(n,k)$-th term of the exponential Riordan array $$C(\alpha, \beta,0)=\left[\frac{1}{(1+\beta x)^{\alpha/\beta}}, \frac{x}{1+\beta x}\right]$$ is given by $$C_{n,k}=\frac{n!}{k!} \binom{\frac{\alpha}{\beta}+n-1}{n-k} (-\beta)^{n-k},$$ and hence we have the explicit expression $$P_n^C(x)=\sum_{k=0}^n \frac{n!}{k!} \binom{\frac{\alpha}{\beta}+n-1}{n-k} (-\beta)^{n-k}x^k.$$ \section{The rising factorials as moments} The triangular matrix of Stirling numbers of the first kind ${n \brack k}$ can be represented as $$[0,1,1,2,2,3,3,\ldots]\quad \Delta \quad [1,0,1,0,1,0,\ldots]$$ in the Deleham notation \cite{Barry_CF}. This means that the triangle has bi-variate generating function given by $$\cfrac{1}{1- \cfrac{xy}{1- \cfrac{x}{1- \cfrac{x+xy}{1- \cfrac{2x}{1- \cfrac{2x+xy}{1- \cfrac{3x}{1- \cfrac{3x+xy}{1-\cdots}}}}}}}}.$$ \noindent This is equivalent to $$\cfrac{1}{1-xy- \cfrac{x^2 y}{1-x(y+2)- \cfrac{2x^2(y+1)}{1-x(y+4)- \cfrac{3x^2(y+2)}{1-x(y+6)- \cfrac{4x^2(y+3)}{1-\cdots}}}}}.$$ \noindent Viewed as a power series in $x$, this generating function expands to $$1, y, y(y+1), y(y+1)(y+2), y(y+1)(y+3)(y+3), \ldots,$$ which is the rising factorial $y^{(n)}$ in $y$. This form of the generating function thus exhibits $y^{(n)}$ as the moments of a family of orthogonal polynomials. We have the following. \begin{proposition} The rising factorials $y^{(n)}$ are the moments of the family of orthogonal polynomials whose coefficient array is given by $$\left[\frac{1}{(1+x)^y}, \frac{x}{1+x}\right].$$ \end{proposition} \begin{proof} As a first step, we show that the inverse matrix $$\left[\frac{1}{(1+x)^y}, \frac{x}{1+x}\right]^{-1}=\left[\frac{1}{(1-x)^y}, \frac{x}{1-x}\right]$$ has a tri-diagonal production matrix that corresponds to the quadratic continued fraction above. Thus let $$[g, f] = \left[\frac{1}{(1-x)^y}, \frac{x}{1-x}\right].$$ Then $$f'(x)=\frac{1}{(1-x)^2}, \quad \bar{f}(x)=\frac{1}{1+x}.$$ \noindent Thus $$A(x)=f'(\bar{f})(x)=(1+x)^2.$$ We have $$g'(x)=\frac{y}{(1-x)^{y+1}},$$ and hence $$Z(x)=\frac{g'(\bar{f})(x)}{g(\bar{f})(x)}=y(1+x).$$ Thus the production matrix of $$\left[\frac{1}{(1+x)^y}, \frac{x}{1+x}\right]^{-1}=\left[\frac{1}{(1-x)^y}, \frac{x}{1-x}\right]$$ is generated by $$ e^{x z}(y(1+x)+z(1+x)^2).$$ Thus the production matrix is tri-diagonal, beginning \begin{displaymath}\begin{footnotesize}\left(\begin{array}{ccccccc} y & 1 & 0 & 0 & 0 & 0 & \ldots \\ y & y+2 & 1 & 0 & 0 & 0 & \ldots \\ 0 & 2(y+1) & y+4 & 1 & 0 & 0 & \ldots \\ 0 & 0 & 3(y+2) & y+6 & 1 & 0 & \ldots \\ 0 & 0 & 0 & 4(y+3) & y+8 & 1 & \ldots \\0 & 0 & 0 & 0 & 5(y+4) & y+10 &\ldots\\ \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \ddots\end{array}\right).\end{footnotesize}\end{displaymath} \noindent Finally we note that $$\frac{1}{(1-x)^y}$$ is the e.g.f. of the rising factorials $y^{(n)}$. \end{proof} \noindent We now consider the generalized rising factorials $y^{(n;\beta)}$ given by the sequence $$1, y, y(y+\beta), y(y+\beta)(y+2\beta), y(y+\beta)(y+2\beta)(y+3\beta), \ldots.$$ \noindent In a similar manner to the foregoing, we can show the following. \begin{proposition} The rising factorials $y^{(n;\beta)}$ are the moments of the family of orthogonal polynomials whose coefficient array is given by $$\left[\frac{1}{(1+\beta x)^{y/\beta}}, \frac{x}{1+\beta x}\right].$$ \end{proposition} \noindent The inverse matrix $$\left[\frac{1}{(1-\beta x)^{y/\beta}}, \frac{x}{1-\beta x}\right]$$ of generalized (unsigned) Stirling numbers of the first kind can then be represented as $$[0,\beta,\beta,2\beta,2\beta,3\beta,3\beta,\ldots]\quad \Delta \quad [1,0,1,0,1,0,\ldots]$$ with the following equivalent expressions for its generating function: $$\cfrac{1}{1- \cfrac{xy}{1- \cfrac{\beta x}{1- \cfrac{\beta x+xy}{1- \cfrac{2\beta x}{1- \cfrac{2\beta x+xy}{1- \cfrac{3\beta x}{1- \cfrac{3\beta x+xy}{1-\cdots}}}}}}}},$$ and $$\cfrac{1}{1-xy- \cfrac{\beta x^2 y}{1-x(y+2\beta)- \cfrac{2x^2\beta (y+\beta )}{1-x(y+4\beta )- \cfrac{3x^2\beta (y+2\beta )}{1-x(y+6\beta )- \cfrac{4x^2\beta (y+3\beta )}{1-\cdots}}}}}.$$ \noindent The foregoing prompts us to look at the number triangle $$[0,\beta,1,2\beta,2,3\beta,3,\ldots]\quad \Delta \quad [1,0,1,0,1,0,\ldots].$$ We find the following. \begin{proposition} The Deleham triangle $$[0,\beta,1,2\beta,2,3\beta,3,\ldots]\quad \Delta \quad [1,0,1,0,1,0,\ldots]$$ is equal to the exponential Riordan array $$\left[1, \ln\left(\frac{\beta-1}{\beta-e^{(\beta-1)x}}\right)\right].$$ \end{proposition} \noindent We note the following link to the Eulerian numbers \cite{Barry_Eulerian}. We have $$\frac{d}{dx}\ln\left(\frac{\beta-1}{\beta-e^{(\beta-1)x}}\right)=\frac{e^{\beta x}(1-\beta)}{e^{\beta x}-\beta e^x}.$$ \noindent This latter expression is the generating function of the triangle \seqnum{A123125} of Eulerian numbers $A_{n,k}$ given by $$A_{n,k}=\sum_{i=0}^{n+1} (-1)^i \binom{n+1}{i}(k-i)^n.$$ \noindent The production matrix of the exponential Riordan array $\left[1, \ln\left(\frac{\beta-1}{\beta-e^{(\beta-1)x}}\right)\right]$ is of interest. It begins \begin{displaymath}\left(\begin{array}{ccccccc} 0 & 1 & 0 & 0 & 0 & 0 & \ldots \\ 0 & \beta & 1 & 0 & 0 & 0 & \ldots \\ 0 & \beta & 2\beta & 1 & 0 & 0 & \ldots \\ 0 & \beta & 3\beta & 3\beta & 1 & 0 & \ldots \\ 0 & \beta & 4\beta & 6\beta & 4\beta & 1 & \ldots \\0 & \beta & 5\beta & 10\beta & 10\beta & 5\beta &\ldots\\ \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \ddots\end{array}\right).\end{displaymath} \noindent The inverse of the matrix $\left[1, \ln\left(\frac{\beta-1}{\beta-e^{(\beta-1)x}}\right)\right]$ is given by $$\left[1, \frac{1}{\beta-1}\left( \ln\left(\beta(e^x-1)+1)\right)-x\right)\right].$$ \noindent Then $$\frac{d}{dx}\frac{1}{\beta-1}\left( \ln\left(\beta(e^x-1)+1)\right)-x\right)=\frac{1}{\beta e^x-\beta+1}$$ is the generating function of the triangle with $(n,k)$-th element $$(-1)^k k! S(n,k).$$ \noindent We finish this section by noting the following. The Stirling numbers of the second kind appear in the normal ordering of powers \cite{Blasiak} $\left(x \frac{d}{dx}\right)^n$ as $$\left(x \frac{d}{dx}\right)^n=\sum_{m=0}^n S(n,m)x^m \left(\frac{d}{dx}\right)^m.$$ In analogy to this, we define a family of polynomials $P_n(z;k)$ by setting $$P_n(z;k)=\frac{1}{z^k}\left(z(1+z)\frac{d}{dz}\right)^n z^k.$$ \noindent Then we can show that the coefficient array of the family $P_n(z;k)$ is given by $$[k,0,k+1,0,k+2,0,\ldots] \quad \Delta \quad [k,1,k+1,2,k+2,3,\ldots].$$ \noindent In other words, the generating function for the coefficient array of $P_n(z;k)$ is given by $$\cfrac{1}{1- \cfrac{kx(1+z)}{1- \cfrac{xz}{1- \cfrac{(k+1)x(1+z)}{1- \cfrac{2xz}{1- \cfrac{(k+2)x(1+z)}{1- \cfrac{3xz}{1-\cdots}}}}}}}.$$ We can equivalently write this continued fraction in the form $$\cfrac{1}{1-k(1+z)x- \cfrac{kz(1+z)x^2}{1-(z+(k+1)(1+z))x- \cfrac{2(k+1)z(1+z)x^2}{1-(2z+(k+2)(1+z))x- \cfrac{3(k+2)z(1+z)x^2}{1-\cdots}}}}.$$ This exhibits the polynomial sequence $P_n(z;k)$ as the sequence of moments of a family of orthogonal polynomials. The Hankel transform of the sequence $P_n(z;k)$ is seen to be $$ (z(1+z))^{\binom{n+1}{2}}\prod_{i=0}^n i!(k+i)^{n-i}.$$ \section{Generalized Toda equations} Generalized Stirling numbers have been of interest to the physics community due to their association to the boson normal ordering question \cite{Blasiak}. In this section, we look at another physics inspired perspective on our generalized Stirling numbers. The Toda chain equations are an important example of integrable system \cite{Babelon}. For our purposes, the restricted Toda chain equation \cite{Barry_Toda, Nakamura, Vinet} is simply described by \begin{equation}\label{Toda} \dot{u}_n=u_n(b_n-b_{n-1}), \quad n=1,2,\ldots \quad \dot{b}_n=u_{n+1}-u_n, n=0,1,\ldots \end{equation} We wish to show that the Jacobi coefficients of $B(\beta, \beta,0)$, that is, of $$B(\beta, \beta, 0)= \left[\frac{1}{1+t x}, \ln\left(\frac{1+(t+1)x}{1+\beta x}\right)\right],$$ obey a generalized restricted Toda equation (we use $t$ as the parameter in this section to conform to standard notation regarding the Toda equations). In this special case, the production matrix of $B^{-1}$ is given by \begin{displaymath}\begin{footnotesize}\left(\begin{array}{ccccccc} t & 1 & 0 & 0 & 0 & 0 & \ldots \\ t(t+1) & 3t+1 & 1 & 0 & 0 & 0 & \ldots \\ 0 & 4t(t+1) & 5t + 2 & 1 & 0 & 0 & \ldots \\ 0 & 0 & 9t(t+1) & 7t +3 & 1 & 0 & \ldots \\ 0 & 0 & 0 & 16t(t+1) & 9t +4 & 1 & \ldots \\0 & 0 & 0 & 0 & 25t(t+1) & 11t+ 5 &\ldots\\ \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \ddots\end{array}\right).\end{footnotesize}\end{displaymath} We then get $$b_n= n+(2n+1)t,$$ and $$u_n=n^2 t(t+1).$$ From this we calculate $$b_n-b_{n-1}=(n+(2n+1)t)-(n-1+(2n-1)t)=2t+1.$$ Then $$ u_n(b_n-b_{n-1})=n^2 t (t+1) (2t+1),$$ while $$ \dot{u}_n = n^2(2t+1).$$ Thus we get \begin{equation}\label{Toda1} \dot{u}_n = \frac{1}{t(t+1)} u_n (b_n-b_{n-1}).\end{equation} Now $$\dot{b}_n = 2n+1,$$ and hence we get \begin{equation}\label{Toda2}\dot{b}_n=\frac{1}{t(t+1)} (u_{n+1}-u_n).\end{equation} \begin{proposition} The Jacobi coefficients corresponding to $B(t, t,0)$ satisfy the generalized restricted Toda equations (\ref{Toda1}) and (\ref{Toda2}). \end{proposition} \noindent We also have in this case $$\frac{dP_{n+1}^B(x,t)}{dt}=-(n+1)^2P_n^B(x,t)=-\frac{u_{n+1}}{t(t+1)} P_n^B(x,t).$$ \noindent The moments of the family of orthogonal polynomials $P_n^B$ in this case are given by $$\mu_n(t)=\sum_{j=0}^n j! t^j S(n,j).$$ The Hankel transform of $\mu_n(t)$ is given by $$h_n(t)=\prod_{k=1}^n (k!)^2(t(t+1))^{n-k+1}=(t(t+1))^{\binom{n+1}{2}}\prod_{k=1}^n (k!)^2.$$ \noindent We now turn to the matrix $C(t, t, 0)$. In this case, the Jacobi coefficients are given by $$b_n=(2n+1)t, \quad u_n=n^2t^2.$$ Then we get \begin{equation}\label{Toda3} \dot{u}_n= \frac{1}{t^2} u_n(b_n-b_{n-1})\end{equation} and \begin{equation}\label{Toda4} \dot{b}_n=\frac{1}{t^2}(u_{n+1}-u_n).\end{equation} \begin{proposition} The Jacobi coefficients corresponding to $C(t, t,0)$ satisfy the generalized restricted Toda chain equations (\ref{Toda3}) and (\ref{Toda4}). \end{proposition} \noindent We also have in this case $$\frac{dP_{n+1}^C(x,t)}{dt}=-(n+1)^2P_n^C(x,t)=-\frac{u_{n+1}}{t^2} P_n^C(x,t).$$ \section{A Lang-inspired exponential Riordan array} We define the following array, whose reversal has already been studied \cite{Lang} in the context of generalized Stirling numbers. Thus consider the exponential Riordan array defined by $$L(h,s)=\left[1, \frac{1}{h(s-1)}\left(1-(1-hs x)^{\frac{s-1}{s}}\right)\right].$$ \begin{proposition} The general $(n,k)$-th term of the exponential Riordan array $L(h,s)$ is given by $$L_{n,k}=\frac{n!}{k!}\frac{(-hs)^n}{(h(s-1))^k} \sum_{j=0}^k \binom{k}{j}\binom{\frac{(s-1)j}{s}}{n}(-1)^j.$$ The inverse matrix $L(h,s)^{-1}$ is equal to $$L(h,s)^{-1}=\left[1, \frac{1}{hs} \left(1-(1-h(s-1)x)^{\frac{s}{s-1}}\right)\right].$$ \noindent The general $(n,k)$-th element of the inverse $L(h,s)^{-1}$ is given by $$\frac{n!}{k!}\frac{(-h(s-1))^n}{(hs)^k} \sum_{j=0}^k \binom{k}{j} \binom{\frac{s j}{s-1}}{n}(-1)^j.$$ \end{proposition} \begin{proof} The general $(n,k)$-th element of $L(h,s)$ is given by $\frac{n!}{k!}$ times \begin{eqnarray*} [x^n]\left(\frac{1}{h(s-1)}-\frac{(1-hs x)^{\frac{s-1}{s}}}{h(s-1)}\right)^k&=&\frac{1}{(h(s-1))^k}[x^n]\sum_{j=0}^k \binom{k}{j}(-1)^j (1-hsx)^{\frac{(s-1)j}{s}}\\ &=& \frac{1}{(h(s-1))^k}[x^n]\sum_{j=0}^k \binom{k}{j}(-1)^j \sum_{i=0} \binom{\frac{(s-1)j}{s}}{i}(-hs)^i x^i\\ &=&\frac{(-hs)^n}{(h(s-1))^k}\sum_{j=0}^k \binom{\frac{(s-1)j}{s}}{n}(-1)^j. \end{eqnarray*} \noindent The expression for the inverse is a direct consequence of the definition of the inverse of an exponential Riordan array. The general term of the inverse is given by $\frac{n!}{k!}$ times \begin{eqnarray*} [x^n] \left(\frac{1}{hs}\left(1-(1-h(s-1)x)^{\frac{s}{s-1}}\right)\right)^k&=& \frac{1}{(hs)^k}[x^n] \sum_{j=0}^k \binom{k}{j}(-1)^j (1-h(s-1)x)^{\frac{sj}{s-1}}\\ &=&\frac{1}{(hs)^k}[x^n] \sum_{j=0}^k \binom{k}{j}(-1)^j \sum_{i=0} \binom{\frac{sj}{s-1}}{i}(-h(s-1))^i x^i\\ &=& \frac{(-h(s-1))^n}{(hs)^k} \sum_{j=0}^k \binom{k}{j}\binom{\frac{sj}{s-1}}{n}(-1)^j.\end{eqnarray*} \end{proof} \noindent Note that we have $$ L(1,0)=S, \quad L(1,1)=\left({n \brack k}\right).$$ \section{Appendix: exponential Riordan arrays} \label{append} The \emph{exponential Riordan group} \cite {Barry_Pascal, DeutschShap, ProdMat}, is a set of infinite lower-triangular integer matrices, where each matrix is defined by a pair of generating functions $g(x)=g_0+g_1x+g_2x^2+\cdots$ and $f(x)=f_1x+f_2x^2+\cdots$ where $g_0 \ne 0$ and $f_1\ne 0$. We usually assume that $$g_0=f_1=1.$$ The associated matrix is the matrix whose $i$-th column has exponential generating function $g(x)f(x)^i/i!$ (the first column being indexed by 0). The matrix corresponding to the pair $f, g$ is denoted by $[g, f]$. The group law 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}$ is the compositional inverse of $f$. If $\mathbf{M}$ is the matrix $[g,f]$, and $\mathbf{u}=(u_n)_{n \ge 0}$ is an integer sequence with exponential generating function $\mathcal{U}$ $(x)$, then the sequence $\mathbf{M}\mathbf{u}$ has exponential generating function $g(x)\mathcal{U}(f(x))$. Thus the row sums of the array $[g,f]$ have exponential generating function given by $g(x)e^{f(x)}$ since the sequence $1,1,1,\ldots$ has exponential generating function $e^x$. As an element of the group of exponential Riordan arrays, the binomial matrix $\mathbf{B}$ with $(n,k)$-th element $\binom{n}{k}$ is given by $\mathbf{B}=[e^x,x]$. By the above, the exponential generating function of its row sums is given by $e^x e^x = e^{2x}$, as expected ($e^{2x}$ is the e.g.f. of $2^n$). To each exponential Riordan array $L=[g,f]$ is associated \cite{ProdMat_0, ProdMat} a matrix $P$ called its \emph{production} matrix, which has bivariate g.f. given by $$e^{xy}(Z(x)+A(x)y)$$ where $$A(x)=f'(\bar{f}(x)), \quad Z(x)=\frac{g'(\bar{f}(x))}{g(\bar{f}(x))}.$$ We have $$P=L^{-1}\bar{L}$$ where $\bar{L}$ \cite{PPWW, Wall} is the matrix $L$ with its top row removed. The ordinary Riordan group is described in \cite{SGWW}. \section{Acknowledgment} The author would like to thank an anonymous reviewer for emphasizing the Sheffer nature of the orthogonal polynomials in this note. \begin{thebibliography}{99} \bibitem{Salam} W. A. Al-Salam, Characterization theorems for orthogonal polynomials, in P. Nevai, ed., {\it Orthogonal Polynomials: Theory and Practice}, NATO ASI Series, \textbf{294}, (1990), 1--24. \bibitem{Babelon} O. Babelon, D. Bernard, and M. Talon, \emph{Introduction to Classical Integrable Systems}, Cambridge University Press, 2003. \bibitem{BRP} P. Barry, P. Rajkovi\'c, and M. Petkovi\'c, An application of Sobolev orthogonal polynomials to the computation of a special Hankel determinant, in W. Gautschi, G. Rassias, and M. Themistocles, eds., \emph{Approximation and Computation}, Springer, 2010. \bibitem{Barry_Eulerian} P. Barry, Eulerian polynomials as moments, via exponential Riordan arrays, \emph{J. Integer Seq.}, \textbf{14} (2011), \href{https://cs.uwaterloo.ca/journals/JIS/VOL14/Barry7/barry172.html} {Article 11.9.5}. \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_Toda} P. Barry, The restricted Toda chain, exponential Riordan arrays, and Hankel transforms, \emph{J. Integer Seq.}, \textbf{13} (2010), \href{https://cs.uwaterloo.ca/journals/JIS/VOL13/Barry3/barry100r.pdf} {Article 10.8.4}. \bibitem{Barry_CF} P. Barry, Continued fractions and transformations of integer sequences, \emph{J. Integer Seq.}, \textbf{12} (2009), \href{https://cs.uwaterloo.ca/journals/JIS/VOL12/Barry3/barry93.html} {Article 09.7.6}. \bibitem{Barry_Lah} P. Barry, Some observations on the Lah and Laguerre transforms of integer sequences, \emph{J. Integer Sequences}, {\bf 10} (2007), \href{http://www.cs.uwaterloo.ca/journals/JIS/VOL10/Barry2/barry401.html} {Article 07.4.6}. \bibitem{Barry_Pascal} P. Barry, On a family of generalized Pascal triangles defined by exponential Riordan array, \emph{J. Integer Seq.}, \textbf{10} (2007), \href{http://www.cs.uwaterloo.ca/journals/JIS/VOL10/Barry/barry202.html} {Article 07.3.5}. \bibitem{Blasiak} P. Blasiak, K. A. Penson, and A. I. Solomon, The Boson normal ordering problem and generalized Bell numbers, \emph{Ann. Comb.}, \textbf{7} (2003), 127--139. \bibitem{Broder} A. Z. Broder, The $r$-Stirling numbers, \emph{Discrete Math.}, \textbf{49} (1994), 241--259. \bibitem{Cakic} N. P. Caki\'c and G. V. Milovanovi\'c, On generalized Stirling numbers and polynomials, \emph{Math. Balkanica (N.S.)}, \textbf{18} (2004), 241--248. \bibitem{Chihara} T. S. Chihara, {\it An Introduction to Orthogonal Polynomials}, Gordon and Breach, New York, 1978. \bibitem{DeutschShap} E.~Deutsch and L.~Shapiro, Exponential Riordan arrays, Lecture Notes, Nankai University, 2004, available electronically at \newline \url{http://www.combinatorics.net/ppt2004/Louis%20W.%20Shapiro/shapiro.htm}. \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, \url{http://arxiv.org/abs/math/0702638v1}, February 22 2007. \bibitem{Gautschi} W. Gautschi, {\it Orthogonal Polynomials: Computation and Approximation}, Clarendon Press, Oxford, 2003. \bibitem{He_iso} T. X. He, L. C. Hsu, and P. J.-S. Shiue, The Sheffer group and the Riordan group, \emph{Discrete Appl. Math.}, \textbf{155} (2007) 1895--1909. \bibitem{He_character} T. X. He, The characterization of Riordan arrays and Sheffer-type polynomial sequences, \emph{J. Comb. Math. Comb. Comput.}, \textbf{82} (2012), 249--268. \bibitem{Barry_Stirling} A. Hennessy and P. Barry, Generalized Stirling numbers, exponential Riordan arrays, and orthogonal polynomials, \emph{J. Integer Seq.}, \textbf{14} (2011), \href{https://cs.uwaterloo.ca/journals/JIS/VOL14/Barry6/barry161.html} {Article 11.8.2}. \bibitem{Koekoek} R. Koekoek, P. A. Lesky, and R. F. Swarttouw, \emph{Hypergeometric Orthogonal Polynomials and Their $q$-Analogues}, Springer, 1st edition, 2010. \bibitem{Kratt} C. Krattenthaler, Advanced determinant calculus, \emph{S\'eminaire Lotharingien Combin.}, \textbf{42} (1999), Article B42q, available electronically at\newline \url{http://www.emis.de/journals/SLC/wpapers/s42kratt.html}. \bibitem{Kratt1} C. Krattenthaler, Advanced determinant calculus: A complement, {\it Linear Algebra Appl.}, \textbf{411} (2005), 68--166. \bibitem{Lang} W. Lang, Combinatorial interpretation of generalized Stirling numbers, \emph{J. Integer Seq.}, \textbf{12} (2009), \href{https://cs.uwaterloo.ca/journals/JIS/VOL12/Lang/lang.html} {Article 09.3.3}. \bibitem{Layman} J. W. Layman, The Hankel transform and some of its properties, \emph{J. Integer Seq}, {\bf 4} (2001), \href{https://cs.uwaterloo.ca/journals/JIS/VOL4/LAYMAN/hankel.html} {Article 01.1.5}. \bibitem{Nakamura} Y. Nakamura and A. Zhedanov, Toda chain, Sheffer class of orthogonal polynomials and combinatorial numbers, \emph{Proceedings of Institute of Mathematics of NAS of Ukraine}, \textbf{50} (2004), 450--457. \bibitem{PPWW} 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 \url{http://oeis.org}, 2013. \bibitem{SL2} N. J. A.~Sloane, The On-Line Encyclopedia of Integer Sequences, \emph{Notices Amer. Math. Soc.}, \textbf{50} (2003), 912--915. \bibitem{Szego} G. Szeg\"o, \emph{Orthogonal Polynomials}, 4th ed., Amer. Math. Soc., 1975. \bibitem{Viennot} G. Viennot, Une th\'eorie combinatoire des polyn\^omes orthogonaux g\'en\'eraux, UQAM, Montreal, Quebec, 1983. \bibitem{Vinet} L. Vinet and A. Zhedanov, Elliptic solutions of the restricted Toda chain, Lam\'e polynomials and generalization of the elliptic Stieltjes polynomials, \emph{J. Phys. A: Math. Theor.}, \textbf{42} (2009) 454024. \bibitem{Wagner} C. G. Wagner, Generalized Stirling and Lah numbers, \emph{Discrete Math.}, \textbf{160} (1996), 199--218. \bibitem{Wall} H.~S. Wall, \emph{Analytic Theory of Continued Fractions}, AMS Chelsea Publishing, 2000. \end{thebibliography} \bigskip \hrule \bigskip \noindent 2010 {\it Mathematics Subject Classification}: Primary 11B73; Secondary 33C45, 33C47, 11B83, 11C20. \\ \noindent \emph{Keywords:} Stirling number, exponential Riordan array, orthogonal polynomial, moment, Hankel determinant, continued fraction, Deleham construction, Toda chain equation. \bigskip \hrule \bigskip \noindent (Concerned with sequences \seqnum{A007318}, \seqnum{A048993}, \seqnum{A048994}, and \seqnum{A123125}.) \bigskip \hrule \bigskip \vspace*{+.1in} \noindent Received July 16 2013; revised versions received October 1 2013; October 14 2013; December 4 2013. Published in {\it Journal of Integer Sequences}, January 4 2014. \bigskip \hrule \bigskip \noindent Return to \htmladdnormallink{Journal of Integer Sequences home page}{http://www.cs.uwaterloo.ca/journals/JIS/}. \vskip .1in \end{document}