Computing the $\sin_{p}$ function via the inverse power method

Abstract: In this paper, we discuss a new iterative method for computing $\sin_{p}$. This function was introduced by Lindqvist in connection with the unidimensional nonlinear Dirichlet eigenvalue problem for the $p$-Laplacian. The iterative technique was inspired by the inverse power method in finite dimensional linear algebra and is competitive with other methods available in the literature.

\section{Introduction}

In this paper we present a new method to compute the function $\sin_{p}$,
inspired by recent work done by the authors in \cite{BEM}, where an iterative
algorithm based on the inverse power method of linear algebra was introduced
for the computation of the first eigenvalue and first eigenfunction of the
Dirichlet problem for the $p$-Laplacian in arbitrary domains in
\mathbb{R}
^{N}$. The functions $\sin_{p}$, $1<p<\infty$, can be thought of as
generalizations of the familiar trigonometric functions. They arise in the
unidimensional Dirichlet eigenvalue problem for the $p$-Laplacian and were
introduced in this capacity in \cite{Lindqvist}, where a power series formula
for computing them was also formally given.

In \cite{BR1}\textbf{ }$\sin_{p}$\textbf{ }functions were utilized to
introduce a generalization of the Pr\"{u}fer transformation and thus
represent, in two phase-plane coordinates,\textbf{ }Sturm-Liouville-type
problems involving the $N$-dimensional radially symmetric $p$-Laplacian
$L_{p}u:=x^{1-N}\left(  x^{N-1}\left\vert u^{\prime}\right\vert ^{p-2
u^{\prime}\right)  ^{\prime}$, $0\leqslant a<x<b<\infty$.\textbf{ }This
approach was numerically implemented in \cite{BR2} for an eigenvalue problem
involving $L_{p}$ with separated homogeneous boundary conditions. In that
paper an interpolation table for $\sin_{p}$ was obtained by numerically
solving an ODE. Also in that paper the authors raised the question of finding
a fast and accurate algorithm for computing $\sin_{p}$.

Our method depends on the convergence of a sequence of functions whose
definition, as in \cite{BEM}, is motivated by an extension of the inverse
power method of linear algebra for obtaining the first eigenvalue and first
eigenfunction of finite dimensional linear operators. These functions are
recursively defined and can be given in integral form, so that they can be
obtained by numerical integration.

More specifically, recall that it suffices to obtain $\sin_{p}$ in the
interval $I_{p}=\left[  0,\pi_{p}/2\right]  $, since it is extended to the
interval $\left[  \pi_{p}/2,\pi_{p}\right]  $ symmetrically with respect to
$\pi_{p}/2$ and afterward to the whole real line
\mathbb{R}
$ as an odd, $2\pi_{p}$-periodic function (the definition of $\sin_{p}$ as
well as the precise value of $\pi_{p}$ are recalled in Section 2). We define
the following sequence of (positive) functions $\left\{  \phi_{n}\right\}
\subset C^{1}\left(  I_{p}\right)  $. Set $\phi_{0}\equiv1$ and
\[
\left\{
\begin{array}
[c]{ll
\left(  \phi_{n+1}^{\prime}\left\vert \phi_{n+1}^{\prime}\right\vert
^{p-2}\right)  ^{\prime}=-\phi_{n}\left\vert \phi_{n}\right\vert ^{p-2} &
\text{ \ \ if }x\in I_{p},\\
\phi_{n+1}\left(  0\right)  =\phi_{n+1}^{\prime}\left(  \pi_{p}/2\right)
=0. &
\end{array}
\right.
\]
We prove that the scaled sequence $\left\{  \sqrt[p]{p-1}\phi_{n}/\left\Vert
\phi_{n}\right\Vert _{\infty}\right\}  $ converges uniformly to $\sin_{p}$ in
$I_{p}$. The functions $\phi_{n}$ can be written in integral form a
\[
\phi_{n+1}\left(  x\right)  =\int_{0}^{x}\left(  \int_{\theta}^{\pi_{p}/2
\phi_{n}\left(  s\right)  ^{p-1}ds\right)  ^{\frac{1}{p-1}}d\theta\text{,
\ \ }x\in I_{p},
\]
and, therefore, are readily computed using standard efficient numerical
methods for definite integrals.

This paper is organized as follows. In Section 2, we recall the definition and
some basic properties of $\sin_{p}$ which will be used in the sequel. In
Section 3, we show how to recursively construct a sequence of functions which
converge uniformly to $\sin_{p}$. Finally, in Section 4 we compare the
performance of our method with those of \cite{Lindqvist} and \cite{BR2}.

\section{The function $\sin_{p}$}

For the sake of completeness we recall in this section the definition and some
properties of the function $\sin_{p}$. The unidimensional Dirichlet eigenvalue
problem for the $p$-Laplacian, $p>1$, i
\begin{equation}
\left\{
\begin{array}
[c]{ll
\psi_{p}\left(  u^{\prime}\right)  ^{\prime}=-\lambda\psi_{p}\left(  u\right)
& \quad\text{if }a<x<b,\\
u\left(  a\right)  =u\left(  b\right)  =0, &
\end{array}
\right.  \label{01
\end{equation}
where $\psi_{p}\left(  t\right)  =t\left\vert t\right\vert ^{p-2}$.

It is easy to verify that if $\lambda_{1}$ is the first eigenvalue of
\begin{equation}
\left\{
\begin{array}
[c]{ll
\psi_{p}\left(  v^{\prime}\right)  ^{\prime}=-\lambda\psi_{p}\left(  v\right)
& \quad\text{if }a<x<m:=\dfrac{a+b}{2},\\
v\left(  a\right)  =v^{\prime}\left(  m\right)  =0, &
\end{array}
\right.  \label{02
\end{equation}
and $v_{1}$ is the corresponding positive eigenfunction, then $\lambda_{1}$ is
also the first eigenvalue for (\ref{01}) wit
\[
u_{1}\left(  x\right)  =\left\{
\begin{array}
[c]{ll
v_{1}\left(  x\right)  & \quad\text{if }a\leqslant x\leqslant m,\\
v_{1}\left(  a+b-x\right)  & \quad\text{if }m\leqslant x\leqslant b,
\end{array}
\right.
\]
being the corresponding positive eigenfunction. Moreover, this function is
stricly increasing on $[a,m)$, strictly decreasing on $(m,b]$ and has only one
maximum point which is reached at $x=m$. Thus, $\left\Vert u_{1}\right\Vert
_{\infty}=u_{1}\left(  m\right)  $.

An expression for $\lambda_{1}$ is well known and can be obtained by
integration (see \cite{Otani}) as follows. First multiply (\ref{01}) by
$u_{1}^{\prime}$ and integrate the resulting equation by parts on $\left[
a,x\right]  $ to obtai
\begin{equation}
\left.  \psi_{p}\left(  u_{1}^{\prime}\right)  u_{1}^{\prime}\right\vert
_{a}^{x}-\int_{a}^{x}\psi_{p}\left(  u_{1}^{\prime}\right)  u_{1
^{\prime\prime}dx=-\lambda_{1}\int_{a}^{x}\psi_{p}\left(  u_{1}\right)
u_{1}^{\prime}dx. \label{03
\end{equation}
We hav
\begin{equation}
\left.  \psi_{p}\left(  u_{1}^{\prime}\right)  u_{1}^{\prime}\right\vert
_{a}^{x}=\left\vert u_{1}^{\prime}\left(  x\right)  \right\vert ^{p
-\left\vert u_{1}^{\prime}\left(  a\right)  \right\vert ^{p} \label{04
\end{equation
\begin{equation}
\int_{a}^{x}\psi_{p}\left(  u_{1}\right)  u_{1}^{\prime}dx=\int_{u_{1
(a)}^{u_{1}(x)}\psi_{p}\left(  s\right)  \,ds=\frac{\left\vert u\left(
x\right)  \right\vert ^{p}}{p}-\frac{\left\vert u\left(  a\right)  \right\vert
^{p}}{p}, \label{05
\end{equation
\begin{equation}
\int_{a}^{x}\psi_{p}\left(  u_{1}^{\prime}\right)  u_{1}^{\prime\prime
dx=\int_{u_{1}^{\prime}\left(  a\right)  }^{u_{1}^{\prime}\left(  x\right)
}\psi_{p}\left(  s\right)  \,ds=\frac{\left\vert u^{\prime}\left(  x\right)
\right\vert ^{p}}{p}-\frac{\left\vert u^{\prime}\left(  a\right)  \right\vert
^{p}}{p}. \label{06
\end{equation}
Substituting (\ref{04}), (\ref{05}) and (\ref{06}) in (\ref{03}) we obtain
\[
\left(  1-\frac{1}{p}\right)  \left[  \left\vert u_{1}^{\prime}\left(
x\right)  \right\vert ^{p}-\left\vert u_{1}^{\prime}\left(  a\right)
\right\vert ^{p}\right]  =-\lambda_{1}\left[  \frac{\left\vert u_{1}\left(
x\right)  \right\vert ^{p}}{p}-\frac{\left\vert u_{1}\left(  a\right)
\right\vert ^{p}}{p}\right]  ,
\]
whence
\[
\left[  \left(  1-\frac{1}{p}\right)  \left\vert u_{1}^{\prime}\right\vert
^{p}+\lambda_{1}\frac{\left\vert u_{1}\right\vert ^{p}}{p}\right]  _{a
^{x}=0.
\]
This means that
\[
\frac{p-1}{p}\left\vert u_{1}^{\prime}\right\vert ^{p}+\frac{\lambda_{1}
{p}\left\vert u_{1}\right\vert ^{p}\equiv C,
\]
where $C$ is a constant and $p^{\prime}=p/\left(  p-1\right)  $ is the
conjugate of $p$. The value of $C$ can be found computing the value of this
expression at the maximum point $m$; choosing $u_{1}$ such that $u_{1}\left(
m\right)  =1$ we fin
\[
C=\frac{p-1}{p}\left\vert u_{1}^{\prime}\left(  m\right)  \right\vert
^{p}+\frac{\lambda_{1}}{p}\left\vert u_{1}\left(  m\right)  \right\vert
^{p}=\frac{\lambda_{1}}{p}.
\]
Therefore
\begin{equation}
\left(  p-1\right)  \left\vert u_{1}^{\prime}\left(  x\right)  \right\vert
^{p}+\lambda_{1}\left\vert u_{1}\left(  x\right)  \right\vert ^{p}=\lambda_{1}
\label{07
\end{equation}
for all $x\in\left[  a,b\right]  $.

On the interval $\left[  a,m\right]  $ we have $u^{\prime}\geqslant0$, hence
we can writ
\begin{equation}
\frac{u_{1}^{\prime}\left(  x\right)  }{\sqrt[p]{\left(  1-\left\vert
u_{1}\left(  x\right)  \right\vert ^{p}\right)  }}=\sqrt[p]{\frac{\lambda_{1
}{p-1}} \label{08
\end{equation}
for all $x\in\left[  a,m\right]  $. Integrating this equation on $\left(
a,m\right)  $ leads t
\[
\frac{b-a}{2}\sqrt[p]{\frac{\lambda_{1}}{p-1}}=\int_{u_{1}(a)}^{u_{1}(m)
\frac{ds}{\sqrt[p]{1-s^{p}}}=\int_{0}^{1}\frac{ds}{\sqrt[p]{1-s^{p}}},
\]
which gives the expressio
\begin{equation}
\lambda_{1}=(p-1)\left(  \frac{2}{b-a}\int_{0}^{1}\frac{ds}{\sqrt[p]{1-s^{p}
}\right)  ^{p}=\left(  \frac{\pi_{p}}{b-a}\right)  ^{p}, \label{09
\end{equation}
where we se
\begin{equation}
\pi_{p}:=2\sqrt[p]{p-1}\int_{0}^{1}\frac{ds}{\sqrt[p]{1-s^{p}}}. \label{ppip
\end{equation}
Making the change of variable $s=\sqrt[p]{t}$ in the last integral and using
the classical Beta function $B$ we obtain
\[
\int_{0}^{1}\frac{ds}{\sqrt[p]{1-s^{p}}}=\frac{1}{p}\int_{0}^{1}t^{\frac{1
{p}-1}(1-t)^{-\frac{1}{p}}dt=\frac{1}{p}B\left(  1-\frac{1}{p},\frac{1
{p}\right)  =\frac{\pi/p}{\sin(\pi/p)
\]
(Here one use the properties $B(x,y)B(x+y,1-y)=x/x\sin\left(  \pi y\right)  $
and $B(1,z)=1/z$ with $x=1-1/p$ and $y=z=1/p$).

Therefore
\begin{equation}
\pi_{p}=\frac{2\sqrt[p]{p-1}\left(  \pi/p\right)  }{\sin(\pi/p)} \label{10
\end{equation}
and
\[
\lambda_{1}=\left(  \frac{2\sqrt[p]{p-1}\left(  \pi/p\right)  }{(b-a)\sin
\left(  \pi/p\right)  }\right)  ^{p}.
\]
When $a=0$ and $b=\pi_{p}$ we denote the function $\sqrt[p]{p-1}u_{1}$ by
$\sin_{p}.$ Thus, $\sin_{p}\left(  0\right)  =0=\sin_{p}^{\prime}\left(
\pi_{p}/2\right)  $, $\lambda_{1}=1$ and from (\ref{07})
\[
\left\vert \sin_{p}^{\prime}\right\vert ^{p}+\frac{\left\vert \sin
_{p}\right\vert ^{p}}{p-1}=1.
\]
It is clear from this equation that $\sin_{p}^{\prime}\left(  0\right)  =1.$

We remark that $u=\sin_{p}$ is also the unique solution of the initial value
problem
\[
\left\vert u^{\prime}\right\vert ^{p}+\frac{\left\vert u\right\vert ^{p}
{p-1}=1,\quad u\left(  0\right)  =0,
\]
which can be used to define this function.

Alternatively, we can define $\sin_{p}$ on the interval $\left[  0,\pi
_{p}/2\right]  $ as an inverse function. In fact, multiplying (\ref{08}) by
$\sqrt[p]{p-1}$ and using (\ref{09}) with $a=0$ and $b=\pi_{p}$ we obtain
\[
\int_{0}^{\sin_{p}\left(  x\right)  }\frac{ds}{\sqrt[p]{\left(  1-\frac{s^{p
}{p-1}\right)  }}=x,\quad\text{for }x\in\left[  0,\pi_{p}/2\right]  ,
\]
that is, $\sin_{p}=\zeta^{-1}$ wher
\[
\zeta\left(  z\right)  :
{\displaystyle\int_{0}^{z}}
\frac{ds}{\sqrt[p]{\left(  1-\frac{s^{p}}{p-1}\right)  }},\quad\text{for
z\in\left[  0,\sqrt[p]{p-1}\right]  .
\]

With this definition, we extend $\sin_{p}$ to the interval $\left[  \pi
_{p}/2,\pi_{p}\right]  $ symmetrically with respect to $\pi_{p}/2$ and
afterward to the whole real line
\mathbb{R}
$ as an odd, $2\pi_{p}$-periodic function. We list the basic properties of
$\sin_{p}$:

\begin{enumerate}
\item $\sin_{p}\left(  0\right)  =0=\sin_{p}\left(  \pi_{p}\right)  $,
$\sin_{p}\left(  \pi_{p}/2\right)  =\left\Vert \sin_{p}\right\Vert _{\infty
}=\sqrt[p]{p-1}$.

\item $\sin_{p}\left(  x\right)  $ is strictly increasing in $\left[
0,\pi_{p}/2\right]  $ and strictly decreasing in $\left[  \pi_{p}/2,\pi
_{p}\right]  .$

\item $\left\vert \sin_{p}^{\prime}\left(  x\right)  \right\vert
=\sqrt[p]{1-\dfrac{\left\vert \sin_{p}\right\vert ^{p}}{p-1}}.$
\end{enumerate}

\section{A sequence uniformly convergent to $\sin_{p}$}

Let $I_{p}=\left[  0,\pi_{p}/2\right]  $ and define the following sequence of
functions $\left\{  \phi_{n}\right\}  \subset C^{1}\left(  I_{p}\right)  $.
Set $\phi_{0}\equiv1$ and
\[
\left\{
\begin{array}
[c]{ll
\left(  \psi_{p}\left(  \phi_{n+1}^{\prime}\right)  \right)  ^{\prime
=-\psi_{p}\left(  \phi_{n}\right)  & \text{ \ \ if }x\in I_{p},\\
\phi_{n+1}\left(  0\right)  =\phi_{n+1}^{\prime}\left(  \pi_{p}/2\right)
=0. &
\end{array}
\right.
\]
In this section, we prove that the scaled sequence $\left\{  \sqrt[p]{p-1
\phi_{n}/\left\Vert \phi_{n}\right\Vert _{\infty}\right\}  $ converges
uniformly to $\sin_{p}$ in $I_{p}$. Before proceeding, we recall some basic
properties of the $\psi_{p}$ functions:

\begin{description}
\item[Proposition 3.1.] (Basic properties of $\psi_{p}$) \textit{The following
holds:}
\end{description}

\begin{enumerate}
\item $\psi_{p}$\textit{ is continuous, strictly increasing and odd, for each
}$p>1.$

\item $\psi_{p}\left(  ab\right)  =\psi_{p}\left(  a\right)  \psi_{p}\left(
b\right)  .$

\item $\psi_{p}\left(  \dfrac{a}{b}\right)  =\dfrac{\psi_{p}\left(  a\right)
}{\psi_{p}\left(  b\right)  }$

\item $\left(  \psi_{p}\right)  ^{-1}=\psi_{p^{\prime}}.$

\item $\int_{0}^{t}\psi_{p}\left(  s\right)  ds=\dfrac{\left\vert t\right\vert
^{p}}{p}.$
\end{enumerate}

By a straightforward calculation we can find the following recursive integral
expression for the $\phi_{n}$-functions:
\begin{equation}
\phi_{n+1}\left(  x\right)  =\int_{0}^{x}\psi_{p^{\prime}}\left(  \int
_{\theta}^{\pi_{p}/2}\psi_{p}\left(  \phi_{n}\left(  s\right)  \right)
ds\right)  d\theta. \label{11
\end{equation}
It is clear from (\ref{11}) that each $\phi_{n}\ $is positive, increasing on
$I_{p}$ and reaches its maximum value at $x=\pi_{p}/2$. One can obtain an
explicit expression for $\phi_{1}$, the second function in the sequence:
\begin{align*}
\phi_{1}\left(  x\right)   &  =\int_{0}^{x}\psi_{p^{\prime}}\left(
\int_{\theta}^{\pi_{p}/2}\psi_{p}\left(  1\right)  ds\right)  d\theta\\
&  =\int_{0}^{x}\psi_{p^{\prime}}\left(  \frac{\pi_{p}}{2}-\theta\right)
d\theta\\
&  =\int_{\pi_{p}/2-x}^{\pi_{p}/2}\psi_{p^{\prime}}\left(  y\right)  dy\\
&  =\frac{1}{p}\left[  \left(  \frac{\pi_{p}}{2}\right)  ^{p}-\left(
\frac{\pi_{p}}{2}-x\right)  ^{p}\right]  .
\end{align*}
Note tha
\[
\left\Vert \phi_{1}\right\Vert _{\infty}=\phi_{1}\left(  \frac{\pi_{p}
{2}\right)  =\frac{1}{p}\left(  \frac{\pi_{p}}{2}\right)  ^{p}=\frac{p-1
{p}\left(  \frac{\pi/p}{\sin\left(  \pi/p\right)  }\right)  ^{p}.
\]
The next $\phi_{n}$-functions however, are very difficult to obtain explicitly
by solving the integrals analytically. On the other hand, the integrals can
easily be solved numerically.

\begin{description}
\item[Proposition 3.2.] $\phi_{n+1}\leqslant\left\Vert \phi_{1}\right\Vert
_{\infty}\phi_{n}$\textit{ on }$I_{p}.$
\end{description}

\noindent\textbf{Proof.} For $n=1$ the result is trivially true since
$\phi_{0}\equiv1.$Assuming by induction that $\phi_{n}\leqslant\left\Vert
\phi_{1}\right\Vert _{\infty}\phi_{n-1}$, we have
\begin{align*}
\phi_{n+1}\left(  x\right)   &  =\int_{0}^{x}\psi_{p^{\prime}}\left(
\int_{\theta}^{\pi_{p}/2}\psi_{p}\left(  \phi_{n}\left(  s\right)  \right)
\,ds\right)  \,d\theta\\
&  \leqslant\int_{0}^{x}\psi_{p^{\prime}}\left(  \int_{\theta}^{\pi_{p}/2
\psi_{p}\left(  \left\Vert \phi_{1}\right\Vert _{\infty}\phi_{n-1}\left(
s\right)  \right)  \,ds\right)  \,d\theta\\
&  =\int_{0}^{x}\psi_{p^{\prime}}\left(  \psi_{p}\left(  \left\Vert \phi
_{1}\right\Vert _{\infty}\right)  \int_{\theta}^{\pi_{p}/2}\psi_{p}\left(
\phi_{n-1}\left(  s\right)  \right)  \,ds\right)  \,d\theta\\
&  =\left\Vert \phi_{1}\right\Vert _{\infty}\int_{0}^{x}\psi_{p^{\prime
}\left(  \int_{\theta}^{\pi_{p}/2}\psi_{p}\left(  \phi_{n-1}\left(  s\right)
\right)  \,ds\right)  \,d\theta\\
&  =\left\Vert \phi_{1}\right\Vert _{\infty}\phi_{n}\left(  x\right)  .
\end{align*}

\noindent$\blacksquare$

The following technical lemma, which will be used in the sequel, can be proved
via the Cauchy mean value theorem (see \cite{AVV}) and works as a
L'H\^{o}pital's rule in order to get monotonicity for a certain quotient function.

\begin{description}
\item[Lemma 3.3.] \textit{Let }$f,g:\left[  a,b\right]  \longrightarrow
R$\textit{ be continuous on }$\left[  a,b\right]  $\textit{ and differentiable
in }$\left(  a,b\right)  $. \textit{Suppose }$g^{\prime}(x)\neq0$\textit{ for
all }$x\in\left(  a,b\right)  $. \textit{If }$\dfrac{f^{\prime}}{g^{\prime}
$\textit{ is (strictly) increasing }[\textit{decreasing}],\textit{ then both
}$\dfrac{f(x)-f(a)}{g(x)-g(a)}$\textit{ and }$\dfrac{f(x)-f(b)}{g(x)-g(b)
$\textit{are (strictly) increasing }[\textit{decreasing}]\textit{.}

\item[Theorem 3.4.] \textit{For each }$n\geqslant1$\textit{ the function
}$\dfrac{\phi_{n}}{\phi_{n+1}}$\textit{ is strictly decreasing on }$I_{p
$\textit{ and}
\end{description}

\begin{enumerate}
\item[(i)] $\dfrac{1}{\left\Vert \phi_{1}\right\Vert _{\infty}}\leqslant
\inf\limits_{I_{p}}\dfrac{\phi_{n}}{\phi_{n+1}}=\dfrac{\phi_{n}\left(  \pi
_{p}/2\right)  }{\phi_{n+1}\left(  \pi_{p}/2\right)  }=\dfrac{\left\Vert
\phi_{n}\right\Vert _{\infty}}{\left\Vert \phi_{n+1}\right\Vert _{\infty}}.$

\item[(ii)] $\left\Vert \dfrac{\phi_{n}}{\phi_{n+1}}\right\Vert _{\infty
=\psi_{p^{\prime}}\left(  \dfrac{\int_{0}^{\pi_{p}/2}\psi_{p}\left(
\phi_{n-1}\left(  s\right)  \right)  ds}{\int_{0}^{\pi_{p}/2}\psi_{p}\left(
\phi_{n}\left(  s\right)  \right)  ds}\right)  $ \ \ for $n\geqslant1.$

\item[(iii)] $\left\Vert \dfrac{\phi_{n}}{\phi_{n+1}}\right\Vert _{\infty
}\leqslant\left\Vert \dfrac{\phi_{n-1}}{\phi_{n}}\right\Vert _{\infty
}\leqslant\cdots\leqslant\left\Vert \dfrac{\phi_{1}}{\phi_{2}}\right\Vert
_{\infty}<\infty.$
\end{enumerate}

\noindent\textbf{Proof.} Since $\phi_{1}$ is strictly increasing, it follows
that $1/\phi_{1}$ is strictly decreasing. Assume by induction that $\phi
_{n-1}/\phi_{n}$ is strictly decreasing. Since
\[
\frac{\phi_{n}\left(  x\right)  -\phi_{n}\left(  0\right)  }{\phi_{n+1
-\phi_{n+1}\left(  0\right)  }=\frac{\phi_{n}\left(  x\right)  }{\phi
_{n+1}\left(  x\right)  },
\]
in order to show that $\phi_{n}/\phi_{n+1}$ is strictly decreasing, it
suffices in light of the lemma to verify that $\phi_{n}^{\prime}/\phi
_{n+1}^{\prime}$ is strictly decreasing on $I_{p}$. But,
\[
\frac{\phi_{n}^{\prime}\left(  x\right)  }{\phi_{n+1}^{\prime}\left(
x\right)  }=\dfrac{\psi_{p^{\prime}}\left(
{\displaystyle\int_{x}^{\pi_{p}/2}}
\psi_{p}\left(  \phi_{n-1}\left(  s\right)  \right)  ds\right)
{\psi_{p^{\prime}}\left(
{\displaystyle\int_{x}^{\pi_{p}/2}}
\psi_{p}\left(  \phi_{n}\left(  s\right)  \right)  ds\right)  }=\psi
_{p^{\prime}}\left(  \frac
{\displaystyle\int_{x}^{\pi_{p}/2}}
\psi_{p}\left(  \phi_{n-1}\left(  s\right)  \right)  ds}
{\displaystyle\int_{x}^{\pi_{p}/2}}
\psi_{p}\left(  \phi_{n}\left(  s\right)  \right)  ds}\right)  .
\]
Since $\psi_{p^{\prime}}$ is strictly increasing and the functions $\int
_{x}^{\pi_{p}/2}\psi_{p}\left(  \phi_{n-1}\left(  s\right)  \right)  ds$ and
$\int_{x}^{\pi_{p}/2}\psi_{p}\left(  \phi_{n}\left(  s\right)  \right)  ds$
are null at $x=\pi_{p}/2$, we can apply the lemma again to verify that the
quotient of these integral functions is a strictly decreasing function. We
hav
\[
\frac{\left(
{\displaystyle\int_{x}^{\pi_{p}/2}}
\psi_{p}\left(  \phi_{n-1}\left(  s\right)  \right)  ds\right)  ^{\prime
}{\left(
{\displaystyle\int_{x}^{\pi_{p}/2}}
\psi_{p}\left(  \phi_{n}\left(  s\right)  \right)  ds\right)  ^{\prime}
=\frac{\psi_{p}\left(  \phi_{n-1}\left(  s\right)  \right)  }{\psi_{p}\left(
\phi_{n}\left(  s\right)  \right)  }=\psi_{p}\left(  \frac{\phi_{n-1}
{\phi_{n}}\right)  ,
\]
which is strictly decreasing by the induction hypothesis.

The inequality in (i) follows from Proposition 3.2. Before verifying (ii) we
remark that $\left\Vert 1/\phi_{1}\right\Vert _{\infty}=\infty$ since
$\phi_{1}\left(  0\right)  =0.$ In order to prove (ii) we first observe that
the monotonicity of $\phi_{n}/\phi_{n+1}$ implies that
\[
\left\Vert \dfrac{\phi_{n}}{\phi_{n+1}}\right\Vert _{\infty}=\lim
_{x\rightarrow0^{+}}\frac{\phi_{n}\left(  x\right)  }{\phi_{n+1}\left(
x\right)  }.
\]
L'H\^{o}pital's rule then yield
\[
\lim_{x\rightarrow0^{+}}\frac{\phi_{n}\left(  x\right)  }{\phi_{n+1}\left(
x\right)  }=\lim_{x\rightarrow0^{+}}\frac{\phi_{n}^{\prime}\left(  x\right)
}{\phi_{n+1}^{\prime}\left(  x\right)  }=\psi_{p^{\prime}}\left(  \frac
{\int_{0}^{\pi_{p}/2}\psi_{p}\left(  \phi_{n-1}\left(  s\right)  \right)
ds}{\int_{0}^{\pi_{p}/2}\psi_{p}\left(  \phi_{n}\left(  s\right)  \right)
ds}\right)  <\infty.
\]
The proof of (iii) is a consequence of the following estimates, valid for
$n\geqslant2$
\begin{align*}
\left\Vert \frac{\phi_{n}}{\phi_{n+1}}\right\Vert _{\infty}  &  =\psi
_{p^{\prime}}\left(  \frac
{\displaystyle\int_{0}^{\pi_{p}/2}}
\psi_{p}\left(  \phi_{n-1}\left(  s\right)  \right)  ds}
{\displaystyle\int_{0}^{\pi_{p}/2}}
\psi_{p}\left(  \phi_{n}\left(  s\right)  \right)  ds}\right) \\
&  \leqslant\psi_{p^{\prime}}\left(  \frac
{\displaystyle\int_{0}^{\pi_{p}/2}}
\psi_{p}\left(  \phi_{n}\left(  s\right)  \right)  \psi_{p}\left(  \dfrac
{\phi_{n-1}}{\phi_{n}}\left(  s\right)  \right)  ds}
{\displaystyle\int_{0}^{\pi_{p}/2}}
\psi_{p}\left(  \phi_{n}\left(  s\right)  \right)  ds}\right) \\
&  \leqslant\psi_{p^{\prime}}\left(  \frac
{\displaystyle\int_{0}^{\pi_{p}/2}}
\psi_{p}\left(  \phi_{n}\left(  s\right)  \right)  \psi_{p}\left(  \left\Vert
\dfrac{\phi_{n-1}}{\phi_{n}}\right\Vert _{\infty}\right)  ds}
{\displaystyle\int_{0}^{\pi_{p}/2}}
\psi_{p}\left(  \phi_{n}\left(  s\right)  \right)  ds}\right) \\
&  =\left\Vert \frac{\phi_{n-1}}{\phi_{n}}\right\Vert _{\infty}\psi
_{p^{\prime}}\left(  \frac
{\displaystyle\int_{0}^{\pi_{p}/2}}
\psi_{p}\left(  \phi_{n}\left(  s\right)  \right)  ds}
{\displaystyle\int_{0}^{\pi_{p}/2}}
\psi_{p}\left(  \phi_{n}\left(  s\right)  \right)  ds}\right) \\
&  =\left\Vert \frac{\phi_{n-1}}{\phi_{n}}\right\Vert _{\infty}.
\end{align*}

\noindent$\blacksquare$

\begin{description}
\item[Theorem 2.4.] \textit{Let }$u_{n}:=\dfrac{\phi_{n}}{\left\Vert \phi
_{n}\right\Vert _{\infty}}\in C^{1}\left(  I_{p}\right)  ,$\textit{ for
}$n\geqslant1.$\textit{ Then the sequence }$\left\{  u_{n}\left(  x\right)
\right\}  _{n\geqslant1}$\textit{ is decreasing for each }$x\in I_{p}$\textit{
and
\[
\sqrt[p]{p-1}u_{n}\rightarrow\sin_{p}\text{\textit{ \ \ uniformly in} }I_{p}.
\]

\end{description}

\noindent\textbf{Proof.} In $I_{p}$ we hav
\begin{align*}
\frac{u_{n}}{u_{n+1}}  &  =\dfrac{\phi_{n}}{\phi_{n+1}}\left(  \dfrac
{\left\Vert \phi_{n}\right\Vert _{\infty}}{\left\Vert \phi_{n+1}\right\Vert
_{\infty}}\right)  ^{-1}\\
&  \geqslant\left(  \inf\limits_{I_{p}}\dfrac{\phi_{n}}{\phi_{n+1}}\right)
\left(  \dfrac{\left\Vert \phi_{n}\right\Vert _{\infty}}{\left\Vert \phi
_{n+1}\right\Vert _{\infty}}\right)  ^{-1}\\
&  =\left(  \dfrac{\left\Vert \phi_{n}\right\Vert _{\infty}}{\left\Vert
\phi_{n+1}\right\Vert _{\infty}}\right)  \left(  \dfrac{\left\Vert \phi
_{n}\right\Vert _{\infty}}{\left\Vert \phi_{n+1}\right\Vert _{\infty}}\right)
^{-1}\\
&  =1,
\end{align*}
that is, $\left\{  u_{n}\left(  x\right)  \right\}  _{n\geqslant1}$ is
decreasing for each $x\in I_{p},$ and the whole sequence is bounded below by
$u_{1}$. Thus, there exist
\[
u:=\lim u_{n}.
\]
We have $\left\Vert u_{n}\right\Vert _{\infty}=1$ for each $n$. Moreover,
sinc
\[
\frac{\left\Vert \phi_{n}\right\Vert _{\infty}}{\left\Vert \phi_{n+1
\right\Vert _{\infty}}=\inf\limits_{I_{p}}\dfrac{\phi_{n}}{\phi_{n+1
}\leqslant\left\Vert \frac{\phi_{n}}{\phi_{n+1}}\right\Vert _{\infty
\leqslant\left\Vert \frac{\phi_{1}}{\phi_{2}}\right\Vert _{\infty}=:C,
\]
we also have, for every $x\in I_{p},
\begin{align*}
\left\vert u_{n}^{\prime}\left(  x\right)  \right\vert  &  =\frac
{1}{\left\Vert \phi_{n}\right\Vert _{\infty}}\psi_{p^{\prime}}\left(  \int
_{x}^{\pi_{p}/2}\psi_{p}\left(  \phi_{n-1}\left(  s\right)  \right)  ds\right)
\\
&  =\frac{\left\Vert \phi_{n-1}\right\Vert _{\infty}}{\left\Vert \phi
_{n}\right\Vert _{\infty}}\psi_{p^{\prime}}\left(  \int_{x}^{\pi_{p}/2
\psi_{p}\left(  \frac{\phi_{n-1}\left(  s\right)  }{\left\Vert \phi
_{n-1}\right\Vert _{\infty}}\right)  ds\right) \\
&  \leqslant C\psi_{p^{\prime}}\left(  \int_{0}^{\pi_{p}/2}\psi_{p}\left(
u_{n-1}\right)  ds\right) \\
&  \leqslant C\psi_{p^{\prime}}\left(  \int_{0}^{\pi_{p}/2}\psi_{p}\left(
1\right)  ds\right) \\
&  =\frac{C\pi_{p}}{2}.
\end{align*}
It follows from Arzela-Ascoli's theorem that $u_{n}\rightarrow u\in C\left(
I_{p}\right)  $, uniformly.

In order to conclude the proof, we need just to show that
\begin{equation}
u=\dfrac{\sin_{p}}{\sqrt[p]{p-1}}. \label{12
\end{equation}
From (\ref{11}) we can write the following expression:
\[
u_{n+1}\left(  x\right)  =\gamma_{n}\int_{0}^{x}\psi_{p^{\prime}}\left(
\int_{\theta}^{\pi_{p}/2}\psi_{p}\left(  u_{n}\left(  s\right)  \right)
ds\right)  d\theta,
\]
where
\[
\gamma_{n}:=\frac{\left\Vert \phi_{n}\right\Vert _{\infty}}{\left\Vert
\phi_{n+1}\right\Vert _{\infty}}.
\]
In view of the boundedness of $\left\{  \gamma_{n}\right\}  $, there exists
$\gamma:=\lim\gamma_{n_{k}}$ for some subsequence $\left\{  \gamma_{n_{k
}\right\}  .$ Thus, letting $k\rightarrow\infty$ in
\[
u_{n_{k}+1}\left(  x\right)  =\gamma_{n_{k}}\int_{0}^{x}\psi_{p^{\prime
}\left(  \int_{\theta}^{\pi_{p}/2}\psi_{p}\left(  u_{n_{k}}\left(  s\right)
\right)  ds\right)  d\theta,
\]
we ge
\[
u\left(  x\right)  =\gamma\int_{0}^{x}\psi_{p^{\prime}}\left(  \int_{\theta
}^{\pi_{p}/2}\psi_{p}\left(  u\left(  s\right)  \right)  ds\right)  d\theta\in
C^{1}\left(  I_{p}\right)  ,
\]
which means that $u$ is a positive solution to the following proble
\[
\left\{
\begin{array}
[c]{ll
\psi_{p}\left(  u^{\prime}\right)  ^{\prime}=-\gamma\psi_{p}\left(  u\right)
& \text{ \ \ if }x\in I_{p},\\
u\left(  0\right)  =u^{\prime}\left(  \pi_{p}/2\right)  =0. &
\end{array}
\right.
\]
In view of the positivity of $u$, we can integrate the equation above
multiplied by $u^{\prime}$ and proceed as in the derivation of (\ref{09}) to
find $\gamma=1$. From this we conclude that in fact $\lim\gamma_{n}=1$ (the
whole sequence converges to the eingenvalue $1$) and that $u=\lim u_{n}$
satisfies the same boundary value problem that $\sin_{p}/\left\Vert \sin
_{p}\right\Vert $ does. Since both $u$ and $\sin_{p}$ are positive and
$\left\Vert u\right\Vert _{\infty}=\left\Vert \sin_{p}/\left\Vert \sin
_{p}\right\Vert \right\Vert _{\infty}=1$, we must have
\[
u=\dfrac{\sin_{p}}{\left\Vert \sin_{p}\right\Vert
\]
whence (\ref{12}) follows. $\blacksquare$

\section{Numerical Results}

Next we examine the computational time of each method. Computations were
performed on a WindowsXP/Pentium 4-2.8GHz platform, using the GCC compiler.
Although the method of computing $\sin_{p}$ by solving an ODE suggested in
\cite{BR2} (which we implemented by means of a standard Runge-Kutta fourth
power method) is by far the fastest, the computational times of the other two
methods are competitive, the inverse power method being on average more than
twice as fast as the power series method of \cite{Lindqvist} for values of $p$
greater than 2. Also, the average number of $8$ iterations that the inverse
power method uses to obtain the same (and sometimes better; see Table 2)
accuracy of the differential equation method of \cite{BR2} is quite
remarkable, specially taking into account that the functions $\phi_{n}$
converge to $0$ rather rapidly. We emphasize that the computational time of
the inverse power method is not the main subject of this presentation. The
method demands the computation of double integrals at each iteration for each
grid point. We opted for a classical, computationally easy to implement and
reasonably fast method to compute these integrals, namely, the Simpson
composite method. However, a greater effort spent in lessening the
computational time of the numerical integrations certainly would be reflected
in a substantial decrease in the time spent computing $\sin_{p}$ overall.
Nevertheless, by considering the accuracy and the comparison scale among the
three methods (on the range of miliseconds) we may say that the results
presented in this paper validate the inverse power method as an effective and
reasonably fast method for numerically obtaining $\sin_{p}$.

Below we present the average time spent in computing $\sin_{p}$ on the whole
interval $I_{p}$ divided in $101$ grid points by each method for six values of
$p$ (the average was taken out of five computer runs); the stop criterion in
each method was an error tolerance of $10^{-8}$ between successive iterations
and less than 500 terms in the power series

\
\begin{tabular}
[c]{|l|c|c|c|c|c|c|}\hline
$p$ & $1.1$ & $1.5$ & $2.0$ & $2.5$ & $3.0$ & $3.5$\\\hline
Inverse power method & $21.5$ & $32.1$ & $1.1$ & $37.7$ & $37.8$ &
$31.7$\\\hline
Differential equation method & $1.9$ & $1.8$ & $1.1$ & $1.5$ & $1.5$ &
$1.5$\\\hline
Power series & $92.9$ & $2.2$ & $2.0$ & $79.6$ & $79.3$ & $73.3$\\\hline
\end{tabular}
\ \
\]

\begin{center}
{\small Table 1: Average time (in miliseconds) for the computation of
$\sin_{p}$ on $I_{p}$ for each method.}\vspace{0.2cm}
\end{center}

Besides the trivial point $0$, the only point where the value of $\sin_{p}$ is
exactly known is $\pi_{p}/2$, with $\sin_{p}\left(  \pi_{p}/2\right)
=\sqrt[p]{p-1}$. In the next table we present the computed value for $\sin
_{p}\left(  \pi_{p}/2\right)  $ obtained using each method

\
\begin{tabular}
[c]{|l|c|c|c|c|c|c|}\hline
$p$ & $1.1$ & $1.5$ & $2.0$ & $2.5$ & $3.0$ & $3.5$\\\hline
$\sqrt[p]{p-1}$ & $0.123285$ & $0.629961$ & $1$ & $1.17608$ & $1.25992$ &
$1.29926$\\\hline
Inverse power method & $0.123285$ & $0.629961$ & $1$ & $1.17608$ & $1.25992$ &
$1.29926$\\\hline
Differential equation method & $0.123285$ & $0.629966$ & $1.00017$ & $1.17647$
& $1.26044$ & $1.29983$\\\hline
Power series & $5.3\times10^{128}$ & $0.629961$ & $1$ & $1.17608$ & $1.25993$
& $1.29928$\\\hline
\end{tabular}
\ \ \
\]

\begin{center}
{\small Table 2: Value of $\sin_{p}\left(  \pi_{p}/2\right)  =\sqrt[p]{p-1}$
obtained independently using each method.}\vspace{0.2cm}
\end{center}

\noindent Notice that the inverse power method appears to be more accurate
when computing $\sin_{p}$ at values close to $\pi_{p}/2$. Indeed, in order to
obtain a good approximation close to this point, it was necessary to allow for
a greater number of terms in the power series than would be necessary for
points far from $\pi_{p}/2$

\
\begin{tabular}
[c]{|c|c|c|c|c|c|c|}\hline
$p$ & $1.1$ & $1.5$ & $2.0$ & $2.5$ & $3.0$ & $3.5$\\\hline
Inverse power method & $5$ & $8$ & $9$ & $8$ & $8$ & $8$\\\hline
Power Series & $501$ & $13$ & $8$ & $470$ & $501$ & $501$\\\hline
\end{tabular}
\
\]

\begin{center}
{\small Table 3: Number of iterations.}\vspace{0.2cm}\vspace{0.2cm}
\end{center}

\noindent We see that the number of iterations used by the inverse power
method is remarkably low. Below, we present the graphics of $\sin_{p}$ for the
same values of $p$ computed using the three methods (except for $p=1.1$, since
the power series appears to diverge in this case). Notice that all three
methods agree very well with each other, being virtually indistinguishable.

\[
\includegraphics[scale=0.4]
{p_1.1.eps}\ \ \ \ \includegraphics[scale=0.4]
{p_1.5.eps}
\
\[
\includegraphics[scale=0.4]
{p_2.0.eps}\ \ \ \ \includegraphics[scale=0.4]
{p_2.5.eps}
\
\[
\includegraphics[scale=0.4]
{p_3.0.eps}\ \ \ \ \includegraphics[scale=0.4]
{p_3.5.eps}
\]

\section*{Acknowledgments}

The second author would like to thank the support of FAPEMIG and CNPq.

Classical Analysis and ODEs (math.CA); Numerical Analysis (math.NA)


A generalization of Chu-Vandermonde's Identity

Abstract: We present and prove a general form of Vandermonde's identity and use it as an alternative solution to a classic probability problem.

\section{Introduction}
Vandermonde's identity, its diverse proofs, and applications have been the spot of research throughout the centuries. Nowadays, it is a classic identity whose proof is available in most combinatorics-related books~\cite{knuth94}. However, there are still some efforts to give new proofs for this well-established identity, e.g.,~\cite{spivey16}. In addition to its original form proof, some specific types of its generalization have been proposed. Some works concentrated on its higher dimension~\cite{yaacov17}. Some others put their efforts into its complex~\cite{mestrovic18} or coefficients of its numbers~\cite{knuth94}.

However, our focus was not generalizing this identity directly. We were doing some exercises in Stochastic Process and reached a classic problem during its teaching, which we put in this paper with an alternative solution in section~\ref{seq:app}. To have a formal proof of it, we reached an equation that we later realized could be considered a generalization of \textit{Vandermonde's identity}.

This article gives a general form of Vandermonde's identity, including first order and higher orders of this identity. Then, we proof the mentioned classic problem, borrowed from Ross book~\cite{ross10} using the first order of general Vandermonde's identity. Lastly, we briefly discuss some of our thoughts about this proof.

\section{The Vandermonde's identity General form.}
At first, we encountered the first order of Vandermonde's identity. We prove it as follows.

\begin{theorem}[First Order of Vandermonde's Identity General Form.]\label{1storder} Let assume $k\leq m$ and $r-k\leq n$, then
$\sum_{k=0}^{r}{k{m \choose k}{n \choose r-k}} = m {m+n-1 \choose r-1}
    \label{eq:mainFormula}$, where ${x \choose y}=\frac{x!}{(x-y)!y!}$, and $x,y\in  \mathbb{N}$ .
\end{theorem}

\begin{proof}
Let start with
\begin{equation*}
    \begin{aligned}
        m \left( x+1 \right)^{m+n-1} & = m \left( x+1 \right)^{m-1} \left( x+1 \right)^{n}\\
    \end{aligned}
\end{equation*}

By $m \left({1+x}\right) ^{m-1} = \sum_{i=0}^{m}{i{m \choose i} x^{i-1}}$~\cite{Koh} we have,

\begin{equation*}
    \begin{aligned}
       & = \sum_{i=0}^{m}{i{m \choose i} x^{i-1}} \sum_{j=0}^{n}{{n \choose j} x^{j}}.\\
    \end{aligned}
\end{equation*}
We get factor of $\frac{1}{x}$ from $x^{i-1}$ in the above equation; thus, we have
\begin{equation*}
    \begin{aligned}
       & = \frac{1}{x}\sum_{i=0}^{m}{i{m \choose i} x^{i}} \sum_{j=0}^{n}{{n \choose j} x^{j}}.\\
    \end{aligned}
\end{equation*}
Using \textit{polynomial ring}, $\sum_{i=0}^{m}{a_{i}{x^{i}}} \sum_{j=0}^{n}{b_{j}x^{j}} =
    \sum_{r=0}^{m+n}{{ \left( \sum_{k=0}^{r}{a_{k}b_{r-k}} \right) }x^{r}}$ ~\cite{whitelow}, we convert the above formula as follows.
\begin{equation*}
    \begin{aligned}
       & = \frac{1}{x}\sum_{r=0}^{m+n}{{ \left( \sum_{k=0}^{r}{k{m \choose k}{n \choose r-k}} \right) }x^{r}}\\
       & = \sum_{r=0}^{m+n}{{ \left( \sum_{k=0}^{r}{k{m \choose k}{n \choose r-k}} \right) }x^{r-1}}\\
        & = 0 + \sum_{r=1}^{m+n}{{ \left( \sum_{k=0}^{r}{k{m \choose k}{n \choose r-k}} \right) }x^{r-1}}
    \end{aligned}
\end{equation*}
, or
\begin{equation}
    m \left( x+1 \right)^{m+n-1} = \sum_{r=1}^{m+n}{{ \left( \sum_{k=0}^{r}{k{m \choose k}{n \choose r-k}} \right) }x^{r-1}}.
    \label{eq:firstExpansion}
\end{equation}
The equation~\ref{eq:firstExpansion} is our first expansion. On the other hand, we consider \textit{binomial expansion},
\begin{equation*}
    \left( x+1 \right)^{m+n-1} = \sum_{r=0}^{m+n-1}{{m+n-1 \choose r}}x^{r}.
\end{equation*}
By changing the index variable, the equation is
\begin{equation*}
    = \sum_{r=1}^{m+n}{{m+n-1 \choose r-1}}x^{r-1}.
\end{equation*}
Multiplying both sides with $m$
\begin{equation}
    m \left( x+1 \right)^{m+n-1} = \sum_{r=1}^{m+n}{m{m+n-1 \choose r-1}}x^{r-1}
    \label{eq:binomialexp}
\end{equation}
The left sides of equation~\ref{eq:firstExpansion} and equation~\ref{eq:binomialexp} are equal. Thus,
\begin{equation*}
    \begin{aligned}
        \sum_{r=1}^{m+n}{{ \left( \sum_{k=0}^{r}{k{m \choose k}{n \choose r-k}} \right) }x^{r-1}}= \sum_{r=1}^{m+n}{m{m+n-1 \choose r-1}}x^{r-1}
    \end{aligned}
\end{equation*}
, and results in
\begin{equation}
    \begin{aligned}
        \sum_{k=0}^{r}{k{m \choose k}{n \choose r-k}} = m {m+n-1 \choose r-1}.
    \end{aligned}
    \label{eq:rightSidesAreEqual}
\end{equation}
\end{proof}

\textbf{Theorem}~\ref{1storder} is a leading part of an alternative solution to the problem in section~\ref{seq:app}.

However, going further, we realized that the \textbf{Theorem}~\ref{1storder} is a particular case of a more general form. Thus, we introduce the general form of \textit{Vandermonde's identity} as the below theorem.

\begin{theorem}[General Form of Vandermonde's Identity] \label{generalVI} Let assume $l\leq k$, $k\leq m$ and $r-k\leq n$ then,
\begin{equation}
\sum_{k=0}^{r}{{k \brack l}{m \choose k}{n \choose r-k}} = {m \brack l} {m+n-l \choose r-l}
\label{eq:generalizedFormula}
\end{equation}
, where ${x \brack y}=\frac{x!}{(x-y)!}$ and ${x \choose y}=\frac{x!}{(x-y)!y!}$, and $x,y\in  \mathbb{N}$.
\end{theorem}

\begin{proof}
Let $f(x)= (1 + x)^{m}$. its binomial expansion is
\begin{equation*}
    f(x) = (1 + x)^{m} = \sum_{i=0}^{m}{{m \choose i}x^{i}}.
\end{equation*}

Then, utilizing induction, its $l$-th derivative is
\begin{equation}
    f^{\left( l \right)}(x) = {m \brack l} (1+x)^{m-l} = \sum_{i=0}^{m}{{i \brack l}{m \choose i}x^{i-l}}.
    \label{eq:mthderivative}
\end{equation}
Now, we start with ${m \brack l} \left( x+1\right)^{m+n-l}$. We have
\begin{equation*}
    \begin{aligned}
        {m \brack l} \left( x+1 \right)^{m+n-l} & = {m \brack l} \left( x+1 \right)^{m-l} \left( x+1 \right)^{n}\\
     \end{aligned}
\end{equation*}
 using equation~\ref{eq:mthderivative} and in a similar way to the corresponding steps of \textbf{Theorem}~\ref{1storder}, we utilize the \textit{polynomial ring} and the equation is as follows.
\begin{equation*}
    \begin{aligned}
        & = \sum_{i=0}^{m}{{i \brack l}{m \choose i} x^{i-l}} \sum_{j=0}^{n}{{n \choose j} x^{j}}\\
        & = \sum_{r=0}^{m+n}{{ \left( \sum_{k=0}^{r}{{k \brack l}{m \choose k}{n \choose r-k}} \right) }x^{r-l}}\\
        & = 0 + \sum_{r=l}^{m+n}{{ \left( \sum_{k=0}^{r}{{k \brack l}{m \choose k}{n \choose r-k}} \right) }x^{r-l}}
    \end{aligned}
\end{equation*}
, or
\begin{equation}
    \begin{aligned}
        {m \brack l} \left( x+1 \right)^{m+n-l} & = \sum_{r=l}^{m+n}{{ \left( \sum_{k=0}^{r}{{k \brack l}{m \choose k}{n \choose r-k}} \right) }x^{r-l}}
    \end{aligned}
    \label{eq:gen1stExpansion}
\end{equation}

On the other hand, we use binomial expansion and have

\begin{equation*}
    \left( x+1 \right)^{m+n-l} = \sum_{r=0}^{m+n-l}{{m+n-l \choose r}}x^{r}
    \label{eq:gen2ndExpansion}
\end{equation*}

changing the index variable and multiplying both sides with ${m \brack l}$

\begin{equation}
    {m \brack l} \left( x+1 \right)^{m+n-l} = \sum_{r=l}^{m+n}{{m \brack l}{m+n-l \choose r-l}}x^{r-l}
    \label{eq:gen2ndExpansion}
\end{equation}

The left-hand sides of both equations~\ref{eq:gen1stExpansion} and~equation \ref{eq:gen2ndExpansion} are the same, so the right-hand side of both equations are the same as well, or simply
\begin{equation}
    \begin{aligned}
    \sum_{k=0}^{r}{{k \brack l}{m \choose k}{n \choose r-k}} = {m \brack l} {m+n-l \choose r-l}.
    \end{aligned}
\end{equation}
\end{proof}

\begin{remark}
In \textbf{Theorem}~\ref{generalVI}, if
\begin{enumerate}
\item $l=0$, then it is equivalent with Vandermonde's identity, or
\begin{equation}
    \begin{aligned}
    \sum_{k=0}^{r}{{m \choose k}{n \choose r-k}} =  {m+n \choose r};
    \end{aligned}
\end{equation}
\item $l=1$, then it is equivalent with first order of general order of Vandermonde's identity;
\item $l>1$, then it is equivalent to higher order of general form of Vandermonde's identity.
\end{enumerate}
\end{remark}
\section{Application.}~\label{seq:app} In this section, we present the query which led us to face the first order of Vandermonde's identity general form. We prove the problem using \textbf{Theorem}~\ref{1storder}.
\subsection{Statement of the Problem.}

``An urn has $r$ red and $w$ white balls that are randomly removed one at a time. Let $R_{i}$ be the event that the $i$th ball removed is red. Find $P\left( R_{i} \right)$''~\cite{ross10}.

\textbf{Solution.} The answer is $\frac{r}{r+w}$. \textit{Also sprach Ross} ``... each of the $r+w$ balls is equally to be the $i$th ball removed''. In addition to the intuition introduced by Sheldon Ross, we would like to have a direct alternative formal proof of the answer. Thus, we tried to prove it, and here it is.
\begin{proof}

Let assume $r_{j}$ denotes choosing of $j$ red balls in $i-1$ previous steps. Then,

\begin{equation*}
        P\left(R_{i}\right) = \sum_{j=0}^{i-1}{P\left( R_{i} \cap r_{j} \right)}\\
\end{equation*}
By applying \textit{Law of total probability} we have,
\begin{equation*}
        = \sum_{j=0}^{i-1}{P\left( R_{i} | r_{j} \right) P\left(r_{j}\right) }
\end{equation*}
$P\left(r_{j}\right)$, as mentioned above, is equal to choosing $j$ red balls among the $i-1$ balls that we have already picked. Thus, its value is equal to $\frac{{ r \choose j}{ w \choose i-1-j}}{{r+w \choose i-1}}$.  In addition, $P\left( R_{i} | r_{j}\right)$ denotes choosing a red ball in the $i$th step. Because, we have already picked $j$ red balls in the previous steps, its value is equal to  $\frac{{r-j \choose 1}}{{r+w-\left( i-1 \right) \choose 1}}$. Consequently, we have,

\begin{equation*}
\begin{aligned}
       & = \sum_{j=0}^{i-1}{\left(\frac{{r-j \choose 1}}{{r+w-\left( i-1 \right) \choose 1}} \frac{{ r \choose j}{ w \choose i-1-j}}{{r+w \choose i-1}}\right)} \\
       &= \sum_{j=0}^{i-1}{\left(\frac{(r-j)}{(r+w-i+1)} \frac{{ r \choose j}{ w \choose i-1-j}}{{r+w \choose i-1}}\right)}\\
         & = \frac{1}{ \left(r+w-i+1\right) {r+w \choose i-1}} \sum_{j=0}^{i-1}{\left((r-j) { r \choose j}{ w \choose i-1-j}\right)} \\
      &  = \frac{1}{\left(r+w-i+1\right) {r+w \choose i-1}}
        \left(\sum_{j=0}^{i-1}{r{ r \choose j}{ w \choose i-1-j}} - \sum_{j=0}^{i-1}{j{ r \choose j}{ w \choose i-1-j}}\right)\\
\end{aligned}
\end{equation*}
The $\sum_{j=0}^{i-1}{j{ r \choose j}{ w \choose i-1-j}}$ term in the above formula is in accordance with \textbf{Theorem}~\ref{1storder}. Thus, we proceed with it as follows,
\begin{equation*}
\begin{aligned}
       & = \frac{1}{\left(r+w-i+1\right) {r+w \choose i-1}}
        \left(r{r+w \choose i-1} - r {r+w-1 \choose i-2 } \right)\\
       & = \frac{r}{\left(r+w-i+1\right) {r+w \choose i-1}}
        \left({r+w \choose i-1} -  {r+w-1 \choose i-2 } \right)\\
      &  = \frac{r}{\left(r+w-i+1\right) {r+w \choose i-1}}
        \left({r+w \choose i-1} - \frac{i-1}{r+w}{r+w \choose i-1 } \right)\\
     &   = \frac{r{r+w \choose i-1 }}{\left(r+w-i+1\right) {r+w \choose i-1}}
        \left( 1 - \frac{i-1}{r+w} \right) \\
      &  = \frac{r}{\left(r+w-i+1\right)}
        \left( \frac{\left(r+w-i+1\right)}{r+w} \right)\\
      &  = \frac{r}{r+w}.
    \end{aligned}
    \label{eq:ithRedBallProbability}
\end{equation*}
\end{proof}

\section{Final Thoughts} There have been many efforts to expand or extend Vandermonde's identity or Vandermonde's convolution. For example, Graham et al.~\cite{knuth94} defined some general forms of identities, including Vandermonde's identity, in chapter~5. But, that generalization is different from our point of view. They are a generalization of Vandermonde's identity, discussing the coefficients of $m$ or $n$ in the equation. The same happens in works such as~\cite{fang07, mestrovic18 }. Yaccov~\cite{yaacov17} investigated the determinant of the Vandermonde in a higher dimension. However, to our knowledge, we proposed this type of generalization of Vandermonde's identity for the first time, or at least we have given a new way of this generalization proof. In our proposal, we consider the general form of Vandermonde's identity from the point of view of Combinatorics' coefficients. It is worth mentioning that it is possible to observe our proposed generalization as a higher derivative of Vandermonde's identity.

\bibliographystyle{amsplain}


Every natural number is the sum of forty-nine palindromes

Abstract: It is shown that the set of decimal palindromes is an additive basis for the natural numbers. Specifically, we prove that every natural number can be expressed as the sum of forty-nine (possibly zero) decimal palindromes.

\section{Statement of result}

Let $\NN\defeq\{0,1,2,\ldots\}$ denote the set of natural numbers (including zero).
Every number $n\in\NN$ has a unique decimal representation of the form
\begin{equation}
\label{eq:representation}
n=\sum_{j=0}^{L-1}10^j\delta_j,
\end{equation}
where each digit $\delta_j$ belongs to the digit set
$$
\cD\defeq\{0,1,2,\ldots,9\},
$$
and the leading digit $\delta_{L-1}$ is nonzero whenever $L\ge 2$.
In what follows, we use diagrams to illustrate the ideas; for example,
$$
n=\begin{tabular}{|c|c|c|c|}
\hline
$\delta_{L-1}$&$\cdots$&$\delta_1$&$\delta_0$\\
\hline
\end{tabular}
$$
represents the relation \eqref{eq:representation}. The integer $n$ is said to be a
\emph{palindrome} if its digits satisfy the symmetry condition
$$
\delta_j=\delta_{L-1-j}\qquad(0\le j<L).
$$
Denoting by $\cP$ the collection of all palindromes in $\NN$,
the aim of this note is to show that $\cP$ is an additive basis for $\NN$.

\begin{theorem}
\label{thm:main}
The set $\cP$ of decimal palindromes is an additive basis for the
natural numbers $\NN$.
Every natural number is the sum of forty-nine (possibly zero) decimal palindromes.
\end{theorem}

The proof is given in the next section.  It is unlikely that
the second statement is optimal; a refinement of our method may yield an
improvement.  No attempt has been made to generalize this theorem to bases
other than ten; for large bases, this should be straightforward, but small
bases may present new obstacles (for example, obtaining the correct analogue of
Lemma~\ref{lem:passage} may be challenging in the binary case, where
the only nonzero digit is the digit one).
We remark that arithmetic properties of palindromes (in various bases) have been previously
investigated by many authors; see\cite{AllSha,BanHarSak,BanShp1,BanShp2,BerZie,CilLucShp,CilTesLuc,Col,
CooGab,Goi,HerLuc,Kor,Luc,Sim} and the references therein.

\section{The proof}
\label{sec:proof}

\subsection{Notation}
\label{sec:notate}

For every $n\in\NN$, let $L(n)$ (the ``length'' of $n$)
denote the number of decimal digits $L$ in the expansion
\eqref{eq:representation}; in particular, $L(0)\defeq 1$.

For any $\ell\in\NN$ and $d\in\cD$, we denote
\begin{equation}
\label{eq:plddefn}
p_\ell(d)\defeq\begin{cases}
0&\quad\hbox{if $\ell=0$};\\
d&\quad\hbox{if $\ell=1$};\\
10^{\ell-1}d+d&\quad\hbox{if $\ell\ge 2$}.
\end{cases}
\end{equation}
Note that $p_\ell(d)$ is a palindrome, and $L(p_\ell(d))=\ell$ if $d\ne 0$.
If $\ell\ge 2$, then the decimal expansion of $p_\ell(d)$ has the form
$$
p_\ell(d)=\begin{tabular}{|c|c|c|}
\hline
$d$&$0\cdots 0$&$d$\\
\hline
\end{tabular}
$$
with $\ell-2$ zeros nested between two copies of the digit $d$.

More generally, for any integers $\ell\ge k\ge 0$ and $d\in\cD$, let
$$
p_{\ell,k}(d)\defeq 10^k p_{\ell-k}(d)=\begin{cases}
0&\quad\hbox{if $\ell=k$};\\
10^k d&\quad\hbox{if $\ell=k+1$};\\
10^{\ell-1}d+10^k d&\quad\hbox{if $\ell\ge k+2$}.
\end{cases}
$$
If $\ell\ge k+2$, then the
decimal expansion of $p_{\ell,k}(d)$ has the form
$$
p_{\ell,k}(d)=\begin{tabular}{|c|c|c|c|}
\hline
$d$&$0\cdots 0$&$d$&$0\cdots 0$\\
\hline
\end{tabular}
$$
with $\ell-k-2$ zeros nested between two copies of the digit $d$, followed
by $k$ copies of the digit zero.

Next, for any integers $\ell,k\in\NN$, $\ell\ge k+4$, and digits
$a,b\in\cD$, we denote
\begin{equation}
\label{eq:qlkabdefn}
q_{\ell,k}(a,b)\defeq p_{\ell,k}(a)+p_{\ell-1,k}(b)=
10^{\ell-1}a+10^{\ell-2}b+10^k(a+b).
\end{equation}
Taking into account that the relation $n=10\cdot\fl{n/10}+\delta_0(n)$
holds for every natural number
$n<100$, where $\fl{\cdot}$ is the floor function and $\delta_0(r)$ denotes
the one's digit of any natural number $r$, one sees that the
decimal expansion of $q_{\ell,k}(a,b)$ has the form
$$
q_{\ell,k}(a,b)=\begin{tabular}{|c|c|c|c|c|c|}
\hline
$a$&$b$&$0\cdots 0$&$\fl{(a+b)/10}$&$\delta_0(a+b)$&$0\cdots 0$\\
\hline
\end{tabular}
$$
with $\ell-k-4$ zeros nested between the digits $a,b$ and the digits of $a+b$,
followed by $k$ copies of the digit zero.  For example,
$q_{10,2}(7,8)=7800001500$.

Finally, for any integers $\ell,k\in\NN$, $\ell\ge k+4$, and digits $a,b,c\in\cD$,
$a\ne 0$, we denote by $\NN_{\ell,k}(a,b;c)$ the set of natural numbers
described as follows.  Given $n\in\NN$, let $L$ and $\{\delta_j\}_{j=0}^{L-1}$
be defined as in \eqref{eq:representation}.  Then
$\NN_{\ell,k}(a,b;c)$ consists of those integers $n$ for which
$L=\ell$, $\delta_{\ell-1}=a$, $\delta_{\ell-2}=b$, $\delta_k=c$, and $10^k\mid n$.
In other words, $\NN_{\ell,k}(a,b;c)$ is the set of natural numbers $n$ that
have a decimal expansion of the form
$$
n=\begin{tabular}{|c|c|c|c|c|}
\hline
$a$&$b$&$\bigast\cdots\bigast$&$c$&$0\cdots 0$\\
\hline
\end{tabular}
$$
with $\ell-k-3$ arbitrary digits nested between the digits $a,b$ and the digit $c$,
followed by $k$ copies of the digit zero.  We reiterate that $a\ne 0$.

\subsection{Handling small integers}
\label{sec:handling}

Let $f:\cD\to\cD$ be the function whose values
are provided by the following table:
$$
\begin{tabular}{|c||c|c|c|c|c|c|c|c|c|c|}
\hline
$d$&$0$&$1$&$2$&$3$&$4$&$5$&$6$&$7$&$8$&$9$\\
\hline
$f(d)$&$0$&$1$&$9$&$8$&$7$&$6$&$5$&$4$&$3$&$2$\\
\hline
\end{tabular}
$$
We begin our proof of Theorem~\ref{thm:main} with the following observation.

\begin{lemma}
\label{lem:10^jd-f(d)}
Every number $f(d)$ is a palindrome, and $10^jd-f(d)$ is a palindrome
for every integer $j\ge 1$.
\end{lemma}

\begin{proof}
This is easily seen if $d=0$ or $j=1$.  For $j\ge 2$
and $d=1$, the number $10^jd-f(d)=10^j-1$ is a repunit of the form $9\cdots 9$,
hence a palindrome.
Finally, for $j\ge 2$ and $2\le d\le 9$, the number $10^jd-f(d)$ is a palindrome
that has a decimal expansion of the form
$$
10^jd-f(d)=\begin{tabular}{|c|c|c|}
\hline
$d-1$&$9\cdots 9$&$d-1$\\
\hline
\end{tabular}
$$
with $j-2$ nines nested between two copies of the digit $d-1$.
\end{proof}

\begin{lemma}
\label{lem:small}
If $n$ is a natural number with at most $K$ nonzero decimal digits,
then $n$ is the sum of $2K+1$ palindromes.
\end{lemma}

\begin{proof} Starting with the expansion \eqref{eq:representation} we write
$$
n=\delta_0+\sum_{j\in\cJ}10^j\delta_j,
$$
where
$$
\cJ\defeq\big\{1\le j<L:\delta_j\ne 0\big\}.
$$
Since
\begin{equation}
\label{eq:nexpr}
n=\delta_0
+\sum_{j\in\cJ}f(\delta_j)
+\sum_{j\in\cJ}\bigl(10^j\delta_j-f(\delta_j)\bigr),
\end{equation}
Lemma~\ref{lem:10^jd-f(d)} implies that $n$ is
the sum of $2|\cJ|+1$ palindromes.  Since zero is
a palindrome, we obtain the stated result by adding
$2K-2|\cJ|$ additional zeros on the right side of \eqref{eq:nexpr}.
\end{proof}

Lemma~\ref{lem:small} implies, in particular, that $n\in\NN$ is a sum
of 49 palindromes whenever $L(n)\le 24$.  Therefore, we can
assume that $L(n)\ge 25$ in the sequel.

\subsection{Reduction to $\NN_{\ell,0}(5^+;c)$} Recall the definition
of $\NN_{\ell,k}(a,b;c)$ given in \S\ref{sec:notate}. For any given integers
$\ell,k\in\NN$, $\ell\ge k+4$, and a digit $c\in\cD$, we now denote
$$
\NN_{\ell,k}(5^+;c)\defeq\bigcup_{\substack{a,b\in\cD\\a\ge 5}}
\NN_{\ell,k}(a,b;c).
$$
The set $\NN_{\ell,k}(5^+;c)$ can be described as follows.
For each $n\in\NN$, let $L$ and $\{\delta_j\}_{j=0}^{L-1}$
be defined as in \eqref{eq:representation}.
The set $\NN_{\ell,k}(5^+;c)$ consists of those integers $n$ for which
$L=\ell$, $\delta_{\ell-1}\ge 5$, $\delta_k=c$, and $10^k\mid n$.
In other words, $\NN_{\ell,k}(5^+;c)$ is the set of natural numbers $n$ that have a
decimal expansion of the form
$$
n=\begin{tabular}{|c|c|c|c|c|}
\hline
$a$&$\bigast\cdots\bigast$&$c$&$0\cdots 0$\\
\hline
\end{tabular}
$$
with $\ell-k-2$ arbitrary digits nested between the digit $a$ ($\ge 5$)
and the digit $c$, followed by $k$ copies of the digit zero.

\begin{lemma}
\label{lem:1streduction}
Let $n\in\NN$, and put $L\defeq L(n)$ as in \eqref{eq:representation}.
If $L\ge 5$, then $n$ is the sum of two palindromes and an element of
$\NN_{\ell,0}(5^+;c)$ with some $\ell\in\{L-1,L\}$ and $c\in\cD$.
\end{lemma}

\begin{proof}
Let $\{\delta_j\}_{j=0}^{L-1}$ be defined as in \eqref{eq:representation}.
If the leading digit $\delta_{L-1}$ exceeds four, then
$n\in\NN_{L,0}(5^+;\delta_0)$, and there is nothing to prove (since zero
is a palindrome).

Now suppose that $\delta_{L-1}\le 4$. Put $m\defeq 10\delta_{L-1}+\delta_{L-2}-6$,
and observe that $4\le m\le 43$.  If  $4\le m\le 9$, then using
\eqref{eq:plddefn} we see that
\begin{align*}
n-p_{L-1}(m)
&=n-(10^{L-2}m+m)\\
&=\sum_{j=0}^{L-1}10^j\delta_j-10^{L-2}(10\delta_{L-1}+\delta_{L-2}-6)-m\\
&=6\cdot 10^{L-2}+\sum_{j=0}^{L-3}10^j\delta_j-m,
\end{align*}
and the latter number evidently lies in $\NN_{L-1,0}(5^+;c)$, where
$c\equiv (\delta_0-m)\bmod 10$.
Since $p_{L-1}(m)$ is a palindrome, this yields the desired result for $4\le m\le 9$.

In the case that $10\le m\le 43$, we write $m=10a+b$ with digits $a,b\in\cD$, $a\ne 0$.
Using \eqref{eq:qlkabdefn} we have
\begin{align*}
n-q_{L,0}(a,b)
&=n-(10^{L-1}a+10^{L-2}b+a+b)\\
&=n-(10^{L-2}m+a+b)\\
&=\sum_{j=0}^{L-1}10^j\delta_j-10^{L-2}(10\delta_{L-1}+\delta_{L-2}-6)-a-b\\
&=6\cdot 10^{L-2}+\sum_{j=0}^{L-3}10^j\delta_j-a-b,
\end{align*}
and the latter number lies in $\NN_{L-1,0}(5^+;c)$, where
$c\equiv (\delta_0-a-b)\bmod 10$.  Since $q_{L,0}(a,b)$ is the sum of two
palindromes, we are done in this case as well.
\end{proof}

\subsection{Inductive passage from $\NN_{\ell,k}(5^+;c_1)$ to $\NN_{\ell-1,k+1}(5^+;c_2)$}

\begin{lemma}
\label{lem:passage}
Let $\ell,k\in\NN$, $\ell\ge k+6$, and $c_\ell\in\cD$ be given.
Given $n\in\NN_{\ell,k}(5^+;c_1)$, one can find digits
$a_1,\ldots,a_{18},b_1,\ldots,b_{18}\in\cD\setminus\{0\}$
and $c_2\in\cD$ such that the number
$$
n-\sum_{j=1}^{18}q_{\ell-1,k}(a_j,b_j)
$$
lies in the set $\NN_{\ell-1,k+1}(5^+;c_2)$.
\end{lemma}

\begin{proof}
Fix $n\in\NN_{\ell,k}(5^+;c_1)$, and let $\{\delta_j\}_{j=0}^{\ell-1}$
be defined as in \eqref{eq:representation} (with $L\defeq\ell$).
Let $m$ be the three-digit integer formed by
the first three digits of $n$; that is,
$$
m\defeq 100\delta_{\ell-1}+10\delta_{\ell-2}+\delta_{\ell-3}.
$$
Clearly, $m$ is an integer in the range $500\le m\le 999$,
and we have
\begin{equation}
\label{eq:expandit}
n=\sum_{j=k}^{\ell-1}10^j\delta_j=10^{\ell-3}m+\sum_{j=k}^{\ell-4}10^j\delta_j.
\end{equation}
Let us denote
$$
\cS\defeq\{19,29,39,49,59\}.
$$
In view of the fact that
$$
9\cS\defeq
\mathop{\underbracket{\hskip3pt\cS+\cdots+\cS\hskip1pt}}\limits_{\text{nine copies}}
=\{171,181,191,\ldots,531\},
$$
it is possible to find an element $h\in 9\cS$ for which $m-80<2h\le m-60$.
With $h$ fixed, let $s_1,\ldots,s_9$ be elements of $\cS$ such that
$$
s_1+\cdots+s_9=h.
$$
Finally, let $\eps_1,\ldots,\eps_9$ be natural numbers, each equal to zero or two:
$\eps_j\in\{0,2\}$ for $j=1,\ldots,9$.  A specific choice of these numbers is given
below.

We now put
$$
t_j\defeq s_j+\eps_j\mand t_{j+9}\defeq s_j-\eps_j\qquad(j=1,\ldots,9),
$$
and let $a_1,\ldots,a_{18},b_1,\ldots,b_{18}\in\cD$ be determined
from the digits of $t_1,\ldots,t_{18}$, respectively, via the relations
$$
10a_j+b_j=t_j\qquad (j=1,\ldots,18).
$$
Since
$$
\cS+2=\{21,31,41,51,61\}\mand
\cS-2=\{17,27,37,47,57\},
$$
all of the digits $a_1,\ldots,a_{18},b_1,\ldots,b_{18}$ are \emph{nonzero}, as required.

Using \eqref{eq:qlkabdefn} we compute
\begin{align*}
\sum_{j=1}^{18}q_{\ell-1,k}(a_j,b_j)
&=\sum_{j=1}^{18}\bigl(10^{\ell-2}a_j+10^{\ell-3}b_j+10^k(a_j+b_j)\bigr)\\
&=10^{\ell-3}\sum_{j=1}^{18}t_j+10^k\sum_{j=1}^{18}(a_j+b_j)\\
&=2h\cdot 10^{\ell-3}+10^k\sum_{j=1}^{18}(a_j+b_j)
\end{align*}
since
$$
t_1+\cdots+t_{18}=2(s_1+\cdots+s_9)=2h
$$
regardless of the choice of the $\eps_j$'s.
Taking \eqref{eq:expandit} into account, we have
\begin{equation}
\label{eq:eureka}
n-\sum_{j=1}^{18}q_{\ell-1,k}(a_j,b_j)
=10^{\ell-3}(m-2h)+\sum_{j=k}^{\ell-4}10^j\delta_j
-10^k\sum_{j=1}^{18}(a_j+b_j),
\end{equation}
and since $60\le m-2h<80$ it follows that the number defined by
either side of \eqref{eq:eureka} lies in the set $\NN_{\ell-1,k}(5^+;c)$,
where $c$ is the unique digit in $\cD$ determined by the congruence
\begin{equation}
\label{eq:congone}
\delta_k-\sum_{j=1}^{18}(a_j+b_j)\equiv c\bmod 10.
\end{equation}

To complete the proof, it suffices to show that for an appropriate choice of
the $\eps_j$'s we have $c=0$, for this implies that $n\in\NN_{\ell-1,k+1}(5^+;c_2)$
for some $c_2\in\cD$.  To do this, let $g(r)$ denote the sum of the
decimal digits of any $r\in\NN$.  Then
$$
\sum_{j=1}^{18}(a_j+b_j)=\sum_{j=1}^{18}g(t_j)
=\sum_{j=1}^9g(s_j+\eps_j)+\sum_{j=1}^9g(s_j-\eps_j).
$$
For every number $s\in\cS$, one readily verifies that
$$
g(s+2)+g(s-2)=2\,g(s)-9.
$$
Therefore, \eqref{eq:congone} is equivalent to the congruence condition
$$
\delta_k-\sum_{j=1}^{18}g(s_j)+9E\equiv c\bmod 10,
$$
where $E$ is the number of integers $j\in\{1,\ldots,9\}$ such that
$\eps_j\defeq 2$.  As we can clearly choose the $\eps_j$'s so the latter congruence
is satisfied with $c=0$, the proof of the lemma is complete.
\end{proof}

\subsection{Proof of Theorem~\ref{thm:main}}
Let $n$ be an arbitrary natural number.  To show that $n$ is the sum of 49 palindromes,
we can assume that $L:=L(n)$ is at least $25$, as mentioned in \S\ref{sec:handling}.
By Lemma~\ref{lem:1streduction} we can find two palindromes ${\widetilde p}_1,{\widetilde p}_2$ such that
the number
\begin{equation}
\label{eq:n1reln}
n_1\defeq n-{\widetilde p}_1-{\widetilde p}_2
\end{equation}
belongs to $\NN_{\ell,0}(5^+;c_1)$
for some $\ell\in\{L-1,L\}$ and $c_1\in\cD$.
Since $\ell\ge 24$, by Lemma~\ref{lem:passage} we can find digits
$a_1^{(1)},\ldots,a_{18}^{(1)},b_1^{(1)},\ldots,b_{18}^{(1)}\in\cD\setminus\{0\}$
and $c_2\in\cD$ such that the number
$$
n_2\defeq n_1-\sum_{j=1}^{18}q_{\ell-1,0}\bigl(a_j^{(1)},b_j^{(1)}\bigr)
$$
lies in the set $\NN_{\ell-1,1}(5^+;c_2)$.  Similarly, using Lemma~\ref{lem:passage}
again we can find digits
$a_1^{(2)},\ldots,a_{18}^{(2)},b_1^{(2)},\ldots,b_{18}^{(2)}\in\cD\setminus\{0\}$
and $c_3\in\cD$ such that
$$
n_3\defeq n_2-\sum_{j=1}^{18}q_{\ell-2,1}\bigl(a_j^{(2)},b_j^{(2)}\bigr)
$$
belongs to the set $\NN_{\ell-2,2}(5^+;c_3)$.  Proceeding inductively
in this manner, we continue to construct the sequence $n_1,n_2,n_3,\ldots$,
where each number
\begin{equation}
\label{eq:ninduct}
n_i\defeq n_{i-1}-\sum_{j=1}^{18}q_{\ell-i+1,i-2}\bigl(a_j^{(i-1)},b_j^{(i-1)}\bigr)
\end{equation}
lies in the set $\NN_{\ell-i+1,i-1}(5^+;c_i)$. The method works
until we reach a specific value of $i$, say $i\defeq\nu$, where $\ell-\nu+1<(\nu-1)+6$;
at this point, Lemma~\ref{lem:passage} can no longer be applied.

Notice that, since $\ell-\nu+1\le (\nu-1)+5$,
every element of $\NN_{\ell-\nu+1,\nu-1}(5^+;c_\nu)$
has at most five nonzero digits.  Therefore, by Lemma~\ref{lem:small} we can find eleven
palindromes ${\widetilde p}_3,{\widetilde p}_4,\ldots,{\widetilde p}_{13}$ such that
\begin{equation}
\label{eq:ni0reln}
n_{\nu}={\widetilde p}_3+{\widetilde p}_4+\cdots+{\widetilde p}_{13}.
\end{equation}
Now, combining \eqref{eq:n1reln}, \eqref{eq:ninduct} with $i=2,3,\ldots,\nu$,
and \eqref{eq:ni0reln}, we see that
$$
n=\sum_{i=1}^{13}{\widetilde p}_j+\sum_{j=1}^{18}N_j,
$$
where
$$
N_j\defeq\sum_{i=2}^\nu q_{\ell-i+1,i-2}\bigl(a_j^{(i-1)},b_j^{(i-1)}\bigr)
\qquad(j=1,\ldots,18).
$$
To complete the proof of the theorem, it remains to verify that every integer
$N_j$ is the sum of two palindromes.  Indeed, by \eqref{eq:qlkabdefn} we have
$$
N_j=\sum_{i=2}^\nu p_{\ell-i+1,i-2}\bigl(a_j^{(i-1)}\bigr)
+\sum_{i=2}^\nu p_{\ell-i,i-2}\bigl(b_j^{(i-1)}\bigr).
$$
Considering the form of the decimal expansions, for each $j$ we see that
$$
\sum_{i=2}^\nu p_{\ell-i+1,i-2}\bigl(a_j^{(i-1)}\bigr)
=\begin{tabular}{|c|c|c|c|c|c|c|}
\hline
$\vphantom{\Big|}a_j^{(1)}$&$\cdots$&$a_j^{(\nu-1)}$&$0\cdots 0$&$a_j^{(\nu-1)}$&$\cdots$&$a_j^{(1)}$\\
\hline
\end{tabular}
$$
which is a palindrome of length $\ell-1$ (since $a_j^{(1)}\ne 0$) having
precisely $2(\nu-1)$ nonzero entries, and
$$
\sum_{i=2}^\nu p_{\ell-i,i-2}\bigl(b_j^{(i-1)}\bigr)
=\begin{tabular}{|c|c|c|c|c|c|c|}
\hline
$\vphantom{\Big|}b_j^{(1)}$&$\cdots$&$b_j^{(\nu-1)}$&$0\cdots 0$&$b_j^{(\nu-1)}$&$\cdots$&$b_j^{(1)}$\\
\hline
\end{tabular}
$$
which is a palindrome of length $\ell-2$ (since $b_j^{(1)}\ne 0$), also having
precisely $2(\nu-1)$ nonzero entries.