Skip to main content
7 of 11
added 1273 characters in body
qifeng618
  • 1.1k
  • 5
  • 14

Ask for a generating function or an explicit expression of a triangle of positive integers

Preliminaries

I encountered the following triangle of positive integers:

$c_{n,k}$ $n=1$ $n=2$ $n=3$ $n=4$ $n=5$ $n=6$ $n=7$ $n=8$
$k=0$ $1$ $3$ $15$ $105$ $315$ $3465$ $45045$ $45045$
$k=1$ $5$ $40$ $385$ $1470$ $19635$ $300300$ $345345$
$k=2$ $33$ $511$ $2688$ $45738$ $849849$ $1150149$
$k=3$ $279$ $2370$ $55638$ $1317888$ $2167737$
$k=4$ $965$ $36685$ $1200199$ $2518087$
$k=5$ $11895$ $631540$ $1831739$
$k=6$ $169995$ $801535$
$k=7$ $184331$

The first row $c_{n,0}$ for $n\in\mathbb{N}=\{1,2,\dotsc\}$ is perhaps the sequence at https://oeis.org/A025547. The other positive integers $c_{n,k}$ are defined as follows.

Let $C_{n,k}=\frac{c_{n,k}}{c_{n,0}}$ for $0\le k\le n-1$ and $n\in\mathbb{N}$. These real numbers $C_{n,k}$ satisfy $$ C_{n,0}=1, \quad n\in\mathbb{N} $$ and the following recurrent relations \begin{gather} (2n+3)(C_{n+2,1}-C_{n+1,1})-(4n+5)C_{n+1,0}+2(n+1)C_{n,0}=0, \\ (2n+3)C_{n+2,n+1}-(4n+5)C_{n+1,n}+2(n+1)C_{n,n-1}=0, \\ \label{recur-c-C(n-k)-Four}\tag{PQ} (2n+3)(C_{n+2,k}-C_{n+1,k}-C_{n+1,k-1}) =2(n+1)(C_{n+1,k-1}-C_{n,k-1}-C_{n,k-2}). \end{gather}

It is not difficult to obtain \begin{gather} C_{n,1}=\frac{3n-1}{3}, \quad n\ge2,\label{C(n1)}\tag{PQ1}\\ C_{n,2}=\frac{15 n^2-25 n+6}{30}, \quad n\ge3,\label{C(n2)}\tag{PQ2}\\ C_{n,3}=\frac{35n^3-140n^2+147n-30}{210}, \quad n\ge4,\label{C(n3)}\tag{PQ3} \end{gather} and \begin{equation}\label{C(n+1:n)-Explicit}\tag{PQ4} C_{n+1,n}=\frac{2n+3}{2}B\biggl(\frac{1}{2},n+2\biggr)-1 =\frac{(2n+2)!!}{(2n+1)!!}-1, \quad n\in\mathbb{N}_0=\{0,1,\dotsc\}. \end{equation} where $B(\alpha,\beta)$ denotes the classical beta function. Therefore, by virtue of the formulas \eqref{C(n1)} and \eqref{C(n2)}, the recurrent relation \eqref{recur-c-C(n-k)-Four} can be inductively and recursively transformed to \begin{equation}\label{Similar-Pascal-Rul}\tag{PR} C_{n+2,k}=C_{n+1,k}+C_{n+1,k-1}, \quad 1\le k\le n. \end{equation}

Two Problems

(1) Can one find an explicit expression of the sequence $c_{n,k}$ for $0\le k\le n-1$ and $n\in\mathbb{N}$?

(2) What is the generating function of the sequence $c_{n,k}$ for $0\le k\le n-1$ and $n\in\mathbb{N}$?

About Pascal's rule

It is common knowledge that the binomial coefficients $\binom{n}{k}$ satisfy Pascal's rule \begin{equation} \binom{n+2}{k}=\binom{n+1}{k}+\binom{n+1}{k-1}. \end{equation} This means that the sequence of binomial coefficients $\binom{n}{k}$ is a solution to the recurrent relation \eqref{Similar-Pascal-Rul}.

As Alexander Burstein commented below, another solution to the recurrent relation \eqref{Similar-Pascal-Rul}, satisfying \eqref{C(n1)}, \eqref{C(n2)}, \eqref{C(n3)}, and \eqref{C(n+1:n)-Explicit}, is \begin{equation} C_{n,k}=\sum_{j=0}^{k}\frac{(-1)^j}{2j+1}\binom{n}{k-j}, \quad 0\le k\le n-1. \end{equation}

One more problem

What is the general solution to the recurrent relation \eqref{Similar-Pascal-Rul}?

qifeng618
  • 1.1k
  • 5
  • 14