Integral Representations of the Catalan Numbers and Their Applications

Abstract

In the paper, the authors survey integral representations of the Catalan numbers and the Catalan–Qi function, discuss equivalent relations between these integral representations, supply alternative and new proofs of several integral representations, collect applications of some integral representations, and present sums of several power series whose coefficients involve the Catalan numbers.

1. Introduction

The Catalan numbers $C_n$ for $n\ge 0$ form a sequence of natural numbers that occur in various counting problems in combinatorial mathematics. The nth Catalan number can be expressed in terms of the central binomial coefficients $\left(\genfrac{}{}{0pt}{}{2n}{n}\right)$ by:

$$C_n=\frac{1}{n+1}\left(\genfrac{}{}{0pt}{}{2n}{n}\right)=\frac{\left(2n\right)!}{n!(n+1)!}.$$

(1)

The Catalan numbers $C_n$ were described in the 18th century by Leonhard Euler and are named after the Belgian mathematician Eugéne Charles Catalan. In 1988, it came to light that the Catalan numbers $C_n$ had been used in China by the Mongolian mathematician Ming Antu by 1730 [1,2,3,4,5,6,7,8,9]. In recent years, the Catalan numbers $C_n$ has been analytically generalized and studied in [10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26] and the closely related references therein. For more information on the Catalan numbers $C_n$, please refer to the monographs [27,28,29,30] and the closely related references therein.

2. Integral Representations of the Catalan Numbers

In this section, we recall integral representations of the Catalan numbers $C_n$ and their reciprocals $\frac{1}{C_n}$ and sketch their proofs as possible as we can.

2.1. Penson–Sixdeniers’ Integral Representations in 2001

In 2001, Penson and Sixdeniers [31] established an integral representation by the Mellin transform.

Theorem 1

([31], p. 2, Equation (10)). For $n\ge 0$, the Catalan numbers $C_n$ can be represented by an integral:

$$C_n=\frac{1}{2\pi }{\int }_0^4\sqrt{\frac{4-x}{x}}{x}^{n}dx.$$

(2)

Proof. 

We rewrite the proof in [31] as follows. The Mellin transform of a real- or complex-valued function $f\left(x\right)$ is defined ([32], p. 29, Entry 1.14.32) by:

$$\mathcal{M}(f;s)={\int }_0^{\infty }{x}^{s-1}f\left(x\right)dx.$$

If $f\left(x\right)$ is continuous on $(0,\infty )$ and $\mathcal{M}(f;\sigma +it)$ is integrable on $(-\infty ,\infty )$, then the inverse Mellin transform ([32], p. 29, Entry 1.14.35) reads that:

$$f\left(x\right)=\frac{1}{2\pi i}{\int }_{\sigma -i\infty }^{\sigma +i\infty }{x}^{-s}\mathcal{M}(f;s)ds.$$

Therefore, it is sufficient to compute the inverse Mellin transform:

$$f\left(x\right)={\mathcal{M}}^{-1}\left[\frac{4^{s-1}\mathsf{\Gamma }\left(s-\frac{1}{2}\right)}{\sqrt{\pi }\mathsf{\Gamma }(s+1)};x\right]=\frac{1}{2\pi i}{\int }_{\sigma -i\infty }^{\sigma +i\infty }{x}^{-s}\frac{4^{s-1}\mathsf{\Gamma }\left(s-\frac{1}{2}\right)}{\sqrt{\pi }\mathsf{\Gamma }(s+1)}ds,$$

where the classical Euler gamma function $\mathsf{\Gamma }\left(z\right)$ can be defined by:

$$\mathsf{\Gamma }\left(z\right)={\int }_0^{\infty }{t}^{z-1}{e}^{-t}dt,\Re \left(z\right)>0.$$

(3)

From the property:

$$\mathcal{M}\left(x^{b}f\left(a{x}^h\right);s\right)=\frac{1}{h}{a}^{-(s+b)/h}\mathcal{M}\left(f\left(\frac{x+b}{h}\right);s\right)$$

in [33], it follows immediately that:

$$\mathcal{M}\left(\frac{1}{\sqrt{x}}f\left(\frac{x}{4}\right);s\right)=4^{s-1/2}\mathcal{M}\left(f\left(x-\frac{1}{2}\right);s\right).$$

(4)

Applying in Equation (4) the formula:

$$\mathcal{M}\left[{\left(1-x^h\right)}_{+}^{\alpha -1};s\right]=\frac{1}{h}B\left(\alpha ,\frac{s}{h}\right),\Re \left(\alpha \right),s>0$$

in [34] (p. 1102, Section 12.43, Entry 22) and [35] (p. 151, Entry 2.2(1)) to $h=1$ and $\alpha =\frac{3}{2}$ yields:

$$f\left(x\right)=\frac{1}{\pi \sqrt{x}}{\left(1-\frac{x}{4}\right)}_{+}^{1/2},$$

(5)

where:

$${\left(y\right)}_{+}^{\alpha -1}=\left\{\begin{array}{cc}{y}^{\alpha -1},\hfill & y>0;\hfill \\ 0,\hfill & y<0,\hfill \end{array}\right.$$

the classical beta function $B(z,w)$ can be defined by:

$$B(z,w)={\int }_0^1{t}^{z-1}{(1-t)}^{w-1}dt={\int }_0^{\infty }\frac{t^{z-1}}{{(1+t)}^{z+w}}dt=\frac{\mathsf{\Gamma }\left(z\right)\mathsf{\Gamma }\left(w\right)}{\mathsf{\Gamma }(z+w)}$$

(6)

for $\Re \left(z\right),\Re \left(w\right)>0$. Then the desired integral representation of $C_n$ is proved. ☐

Theorem 2

([31], p. 3, Equation (16)). For $n\ge 0$, the sequence $n!C_n$ can be represented by:

$$n!C_n=\frac{\left(2n\right)!}{(n+1)!}={\int }_0^{\infty }\left[\frac{1}{2}erf\left(\frac{\sqrt{x}}{2}\right)+\frac{1}{\sqrt{\pi x}}{e}^{-x/4}-\frac{1}{2}\right]x^{n}dx,$$

(7)

where erf$\left(x\right)$ denotes the error function defined by:

$$erf\left(x\right)=\frac{2}{\sqrt{\pi }}{\int }_0^x{e}^{-t^2}dt.$$

(8)

Proof. 

We recite the proof in [31] as follows. This follows from applying the formula:

$${\int }_0^{\infty }{x}^{s-1}\left[{\int }_0^{\infty }h\left(y\right)f\left(\frac{x}{y}\right)\frac{dy}{y}\right]dx=\mathcal{M}(h;s)\mathcal{M}(f;s)$$

in [32] (p. 29, Entries 1.14.39 and 1.14.40) to $h\left(x\right)=e^{-x}$ and the function $f\left(x\right)$ in (5). ☐

By similar arguments, Penson and Sixdeniers [31] also derived:

$${(n!)}^2{C}_n=\frac{\left(2n\right)!}{n+1}={\int }_0^{\infty }\left[\frac{e^{\sqrt{x}}}{\sqrt{x}}+Ei\left(-\sqrt{x}\right)\right]x^{n}dx$$

and an integral representation of the sequence $B_n{C}_n$, where $B_n$ is the Bell numbers [36,37,38,39] and $Ei\left(y\right)$ is the exponential integral function which can be defined by:

$$Ei\left(y\right)=-{\int }_{-x}^{\infty }\frac{e^{-t}}{t}dt.$$

2.2. Dana-Picard’s Integral Representations in 2005

In 2005, using a recurrence relation and the telescopic process, Dana-Picard [40] obtained integral representations for the Catalan numbers $C_n$ and their reciprocals $\frac{1}{C_n}$ respectively.

Theorem 3

([40], Proposition 2.1 and Equation (9)). For $n\ge 0$, the Catalan numbers $C_n$ and their reciprocals $\frac{1}{C_n}$ can be represented by:

$$C_n=\frac{1}{\pi }{\int }_0^2{x}^{2n}\sqrt{4-x^2}dx$$

(9)

and:

$$\frac{1}{C_n}=\frac{(2n+3)(2n+2)(2n+1)}{2^{4n+4}}{\int }_0^2{x}^{2n+1}\sqrt{4-x^2}dx.$$

(10)

Proof. 

Now we sketch the proof in [40]. Let:

$$I_n\left(a\right)={\int }_0^a{x}^n\sqrt{a^2-x^2}dx,n\ge 0.$$

(11)

Then $I_0=\frac{\pi }{4}{a}^2$ and:

$$I_n\left(a\right)=a^2\frac{n-1}{n+2}{I}_{n-2}\left(a\right).$$

Using the telescopic method yields:

$$I_{2n}\left(a\right)=\pi {\left(\frac{a}{2}\right)}^{2n+2}\frac{\left(2n\right)!}{n!(n+1)!}\mathrm{and}{I}_{2n+1}\left(a\right)=a^{2n+3}\frac{2^{2n+1}}{(2n+3)(2n+2)(2n+1)}\frac{n!(n+1)!}{(2n!)}.$$

Substituting (1) into the above equations and making use of Equation (11) result in:

$$C_n=\frac{1}{\pi }{\left(\frac{2}{a}\right)}^{2n+2}{I}_{2n}\left(a\right)=\frac{1}{\pi }{\left(\frac{2}{a}\right)}^{2n+2}{\int }_0^a{x}^{2n}\sqrt{a^2-x^2}dx$$

and:

$$\begin{array}{cc}\hfill \frac{1}{C_n}& =\frac{1}{a^{2n+3}}\frac{(2n+3)(2n+2)(2n+1)}{2^{2n+1}}{I}_{2n+1}\left(a\right)\hfill \\ & =\frac{1}{a^{2n+3}}\frac{(2n+3)(2n+2)(2n+1)}{2^{2n+1}}{\int }_0^a{x}^{2n+1}\sqrt{a^2-x^2}dx.\hfill \end{array}$$

Further setting $a=2$ leads to Equations (9) and (10) immediately. ☐

2.3. Dana-Picard’s Integral Representations in 2010 and 2011

In 2010, using separately three different substitutions, Dana-Picard [41] established the following integral representations for the Catalan numbers $C_n$ and their reciprocals $\frac{1}{C_n}$.

Theorem 4

([41], Proposition 2.1). For $n\ge 0$, the Catalan numbers $C_n$ and their reciprocals $\frac{1}{C_n}$ can be represented by:

$$C_n=\frac{2^{2n+2}}{\pi }{\int }_0^1{x}^{2n}\sqrt{1-x^2}dx$$

(12)

and:

$$\frac{1}{C_n}=\frac{(2n+3)(2n+2)(2n+1)}{2^{2n+1}}{\int }_0^1{x}^{2n+1}\sqrt{1-x^2}dx.$$

(13)

Proof. 

The sketch of the proof in [41] can be written as follows. For $n\ge 0$, let:

$$A_n={\int }_0^1{x}^n\sqrt{1-x^2}dx.$$

By the substitution $x=sinu$ for $u\in \left[0,\frac{\pi }{2}\right]$, we can deduce:

$$A_n=S_n-S_{n+2},$$

where:

$$S_n={\int }_0^{\pi /2}{sin}^{n}udu.$$

Considering the well-known fact that:

$$S_{2p}=\frac{\pi }{2^{2p+1}}\frac{\left(2p\right)!}{{(p!)}^2}$$

and using the Expression (1) derive:

$$A_{2p}=\frac{\pi }{2^{2p+2}}\frac{\left(2p\right)!}{p!(p+1)!}=\frac{\pi }{2^{2p+2}}{C}_p$$

(14)

and:

$$A_{2p+1}=\frac{2^{2p}{(p!)}^2}{(2p+3)(2p+1)!}=\frac{2^{2p+1}}{(2p+3)(2p+2)(2p+1)}\frac{1}{C_p}.$$

Accordingly, we acquire:

$$C_p=\frac{2^{2p+2}}{\pi }{A}_{2p}=\frac{2^{2p+2}}{\pi }{\int }_0^1{x}^{2p}\sqrt{1-x^2}dx$$

and:

$$\begin{array}{cc}\hfill \frac{1}{C_p}& =\frac{(2p+3)(2p+2)(2p+1)}{2^{2p+1}}{A}_{2p+1}\hfill \\ & =\frac{(2p+3)(2p+2)(2p+1)}{2^{2p+1}}{\int }_0^1{x}^{2p+1}\sqrt{1-x^2}dx.\hfill \end{array}$$

The integral representations (12) and (13) are thus proved. ☐

Theorem 5 

([41], Proposition 3.1). For $n\ge 0$, the Catalan numbers $C_n$ can be represented by:

$$C_n=\frac{2^{2n+2}}{\pi }{\int }_0^{\infty }\frac{u^2}{{(1+u^2)}^{n+2}}du.$$

(15)

The outline of the proof in [41]. 

Using the substitution $u^2=\frac{1}{x^2}-1$ produces:

$$A_{2p}={\int }_0^{\infty }\frac{u^2}{{(1+u^2)}^p}du.$$

Combining this with Equation (14) yields (15). ☐

The outline of the proof in [42]. 

It was stated in [43] that:

$${\int }_0^{\pi /2}{sin}^{t}xdx=\frac{\sqrt{\pi }}{2}\frac{\mathsf{\Gamma }\left(\frac{t+1}{2}\right)}{\mathsf{\Gamma }\left(\frac{t+2}{2}\right)},t>-1.$$

(16)

See also ([44], p. 16, Equation (2.18)). Then it is not difficult to obtain:

$$P_n={\int }_0^1\frac{x^n}{\sqrt{1-x^2}}dx={\int }_0^{\pi /2}{sin}^{n}udu=\left\{\begin{array}{cc}{\displaystyle \frac{\pi \left(2p\right)!}{2^{2p+1}{(p!)}^2}},\hfill & n=2p;\hfill \\ {\displaystyle \frac{2^{2p}{(p!)}^2}{(2p+1)!}},\hfill & n=2p+1.\hfill \end{array}\right.$$

On the other hand, using three irrational substitutions $u^2=\frac{1}{x^2}-1$, $u^2=1-x^2$, and $u=\sqrt{\frac{1-x}{1+x}}$ to compute $I_n$ produces:

$$P_n={\int }_0^{\infty }{\left(1+u^2\right)}^{-(n+2)/2}du={\int }_0^1{\left(1-u^2\right)}^{(n-1)/2}du=2{\int }_0^1\frac{{(1-u^2)}^n}{{(1+u^2)}^{n+1}}du$$

(17)

respectively. By similar argument to the proof of Theorem 4 and by the first formula in Equation (17), the integral representation (15) is verified once again. ☐

A new proof the formula (15). 

In [34], p. 325, the fourth formula reads that:

$${\int }_0^{\infty }\frac{x^{\mu -1}}{{(p+q{x}^{\nu })}^{n+1}}dx=\frac{1}{\nu p^{n+1}}{\left(\frac{p}{q}\right)}^{\mu /\nu }B\left(1+n-\frac{\mu }{\nu },\frac{\mu }{\nu }\right)$$

for $0<\frac{\mu }{\nu }<n+1$ and $p,q\ne 0$. Setting $p=q=1$, $\mu =3$, and $\nu =2$ and replacing n by $n+1$ find:

$${\int }_0^{\infty }\frac{x^2}{{(1+x^2)}^{n+2}}dx=\frac{1}{2}B\left(\frac{2n+1}{2},\frac{3}{2}\right)=\frac{\pi }{2^{2n+2}}{C}_n,$$

where we used in the last step the observation:

$$C_n=\frac{1}{\pi }{2}^{2n+1}B\left(n+\frac{1}{2},\frac{3}{2}\right)$$

(18)

in [45] (Remark 6.2, Equation (6.1)). The formula (15) is thus proved. ☐

Theorem 6 

([41], Proposition 4.1). For $n\ge 0$, the Catalan numbers $C_n$ can be represented by:

$$C_n=\frac{2^{2n+5}}{\pi }{\int }_0^1\frac{u^2{(1-u^2)}^{2n}}{{(1+u^2)}^{2n+3}}du.$$

(19)

The outline of the proof in [41]. 

Taking the substitution $u=\sqrt{\frac{1-x}{1+x}}$ concludes:

$$A_n=8{\int }_0^1\frac{u^2{(1-u^2)}^2}{{(1+u^2)}^{n+3}}du.$$

Combining this for even n with Equation (14), we derive the integral presentation (19) immediately. ☐

The outline of the proof in [42]. 

By same argument as in the proof of Theorem 4 and by the third formula in Equation (17), the integral representation (19) is verified once again. ☐

2.4. Dana-Picard–Zeitoun–Qi’s Integral Representations in 2012 and 2016

In 2012, Dana-Picard and Zeitoun [46] deduced an integral representation for the Catalan numbers $C_n$, which was corrected and developed by Qi [47] as the following integral representations.

Theorem 7 

([46], Corollary 3.2 and [47], Theorem 3.1). For $n\ge 0$ and $a>0$, the Catalan numbers $C_n$ can be represented by:

$$\begin{array}{cc}\hfill C_n& =\frac{1}{\pi }\frac{4^n}{n+1}\frac{1}{a^{2n+1}}{\int }_{-a}^a{x}^{2n}\sqrt{\frac{a+x}{a-x}}dx\hfill \\ & =\frac{1}{\pi }\frac{2^{2n+1}}{n+1}\frac{1}{a^{2n}}{\int }_0^a\frac{x^{2n}}{\sqrt{a^2-x^2}}dx\hfill \\ & =\frac{1}{\pi }\frac{2^{2n+1}}{n+1}{\int }_0^{\pi /2}{sin}^{2n}xdx\hfill \end{array}$$

(20)

and:

$$\begin{array}{cc}\hfill C_n& =\frac{1}{\pi }\frac{2^{2n+1}}{2n+1}\frac{1}{a^{2n+2}}{\int }_{-a}^a{x}^{2n+1}\sqrt{\frac{a+x}{a-x}}dx\hfill \\ & =\frac{1}{\pi }\frac{2^{2n+2}}{2n+1}\frac{1}{a^{2n+2}}{\int }_0^a\frac{x^{2n+2}}{\sqrt{a^2-x^2}}dx\hfill \\ & =\frac{1}{\pi }\frac{2^{2n+2}}{2n+1}{\int }_0^{\pi /2}{sin}^{2n+2}xdx.\hfill \end{array}$$

(21)

Proof. 

We sketch the proof in [47]. Let a be a positive number. For $n\ge 0$, define:

$$J_n={\int }_{-a}^a{x}^n\sqrt{\frac{a+x}{a-x}}dx.$$

Then:

$$J_n=\frac{1}{2}{a}^{n+1}\left([1+{(-1)}^n]B\left(\frac{1}{2},\frac{n+1}{2}\right)+\left[1+{(-1)}^{n+1}\right]B\left(\frac{1}{2},\frac{n+2}{2}\right)\right)$$

(22)

and:

$$J_n=a^{n+1}\pi \left[\frac{1+{(-1)}^n}{n}\frac{1}{B\left(\frac{1}{2},\frac{n}{2}\right)}+\frac{1+{(-1)}^{n+1}}{n+1}\frac{1}{B\left(\frac{1}{2},\frac{n+1}{2}\right)}\right].$$

(23)

The Catalan numbers $C_n$ can be expressed in terms of the beta function $B(x,y)$ by:

$$C_n=\frac{1}{\pi }\frac{4^n}{n+1}B\left(\frac{1}{2},n+\frac{1}{2}\right).$$

(24)

Taking $n=2p$ in Equation (22) and utilizing Equation (24) lead to:

$$J_{2p}=a^{2p+1}B\left(\frac{1}{2},\frac{2p+1}{2}\right)=a^{2p+1}\pi \frac{p+1}{4^p}{C}_n$$

which is equivalent to:

$$C_n=\frac{4^n}{n+1}\frac{1}{a^{2n+1}\pi }{J}_{2n}=\frac{1}{\pi }\frac{4^n}{n+1}\frac{1}{a^{2n+1}}{\int }_{-a}^a{x}^{2n}\sqrt{\frac{a+x}{a-x}}dx.$$

The first Formula (20) thus follows.

By similar argument to the deduction of Equation (24), we can discover:

$$C_n=\frac{4^{n+1}}{(2n+1)(2n+2)}\frac{1}{B\left(\frac{1}{2},n+1\right)},n\ge 0.$$

Employing this identity and setting $n=2p+1$ in Equation (23) figures out:

$$J_{2p+1}=a^{2p+2}\frac{2\pi }{2p+2}\frac{1}{B\left(\frac{1}{2},p+1\right)}=a^{2p+2}\frac{2\pi }{2p+2}\frac{(2p+1)(2p+2)}{4^{p+1}}{C}_p$$

which can be rearranged as:

$$C_p=\frac{1}{a^{2p+2}}\frac{1}{\pi }\frac{2^{2p+1}}{2p+1}{J}_{2p+1}=\frac{1}{\pi }\frac{1}{a^{2p+2}}\frac{2^{2p+1}}{2p+1}{\int }_{-a}^a{x}^{2p+1}\sqrt{\frac{a+x}{a-x}}dx.$$

The first formula in Equation (21) is thus proved.

The rest integral representations follow from mathematical techniques and changing variable of integration. ☐

2.5. Shi–Liu–Qi’s Integral Representation in 2015

In 2015, by virtue of an integral representation of the gamma function $\mathsf{\Gamma }\left(x\right)$, Shi, Liu, and Qi [23] established an integral representation for the Catalan function:

$$C_x=\frac{4^x\mathsf{\Gamma }(x+1/2)}{\sqrt{\pi }\mathsf{\Gamma }(x+2)},x>0.$$

Theorem 8

([23], Theorem 1). For $x\ge 0$, the Catalan function $C_x$ can be represented by:

$$C_x=\frac{e^{3/2}{4}^x{(x+1/2)}^x}{\sqrt{\pi }{(x+2)}^{x+3/2}}exp\left[{\int }_0^{\infty }\left(\frac{1}{e^t-1}-\frac{1}{t}+\frac{1}{2}\right)\frac{e^{-t/2}-e^{-2t}}{t}{e}^{-xt}dt\right].$$

(25)

Proof. 

This follows straightforwardly from applying the well-known formula:

$$ln\mathsf{\Gamma }\left(z\right)=ln\left(\sqrt{2\pi }{z}^{z-1/2}{e}^{-z}\right)+{\int }_0^{\infty }\left(\frac{1}{e^t-1}-\frac{1}{t}+\frac{1}{2}\right)e^{-zt}dt,\Re \left(z\right)>0$$

in [48], Equation (3.22) to the logarithm of the Catalan function $C_x$. ☐

2.6. Qi–Shi–Liu’s Integral Representations in 2015

In 2015, by virtue of the Cauchy integral formula in the theory of complex functions, Qi and his two graduates, Shi and Liu, find an integral representation of the generating function $\frac{1}{1+\sqrt{1-4x}}$ for the Catalan numbers $C_n$. Consequently, they derived an integral representation of the Catalan numbers $C_n$.

Theorem 9

([49], Theorem 1.4). The Catalan numbers $C_n$ for $n\ge 0$ can be represented by:

$$C_n=\frac{1}{\pi }{\int }_0^{\infty }\frac{\sqrt{t}}{{(t+1/4)}^{n+2}}dt=\frac{2}{\pi }{\int }_0^{\infty }\frac{t^2}{{(t^2+1/4)}^{n+2}}dt.$$

(26)

Proof. 

The Catalan numbers $C_n$ can be generated by:

$$\frac{2}{1+\sqrt{1-4x}}=\frac{1-\sqrt{1-4x}}{2x}=\sum _{n=0}^{\infty }{C}_n{x}^n.$$

(27)

By virtue of the Cauchy integral formula in the theory of complex functions, we discover:

$$\frac{1}{1+\sqrt{1-4x}}=\frac{1}{2\pi }{\int }_0^{\infty }\frac{\sqrt{t}}{(t+1/4)(t-x+1/4)}dt$$

for $x\in \left(-\infty ,\frac{1}{4}\right]$. Therefore, it follows that:

$$\begin{array}{cc}\hfill C_n& =\frac{1}{n!}\underset{x\to 0}{lim}\frac{d^n}{d{x}^n}\frac{2}{1+\sqrt{1-4x}}\hfill \\ & =\frac{1}{\pi }\frac{1}{n!}\underset{x\to 0}{lim}\frac{d^n}{d{x}^n}{\int }_0^{\infty }\frac{\sqrt{t}}{(t+1/4)(t-x+1/4)}dt\hfill \\ & =\frac{1}{\pi }{\int }_0^{\infty }\frac{\sqrt{t}}{{(t+1/4)}^{n+2}}dt.\hfill \end{array}$$

Further using the substitution $\sqrt{t}=s$ yields the second integral representation in Equation (26). The theorem is thus proved. ☐

2.7. Qi’s Integral Representations in 2017

In 2016, the first author discussed integral representations of the Catalan numbers $C_n$ once again. These results were formally published in 2017 and can be stated as the following theorem.

Theorem 10

([45], Theorem 3.1 and Remark 6.6). The Catalan numbers $C_n$ for $n\ge 0$ can be represented by:

$$C_n=\frac{2}{\pi (n+1)}{\int }_0^2\frac{x^{2n}}{\sqrt{4-x^2}}dx=\frac{2^{2n+1}}{\pi }{\int }_0^1\sqrt{\frac{1-t}{t}}{t}^{n}dt.$$

(28)

Proof. 

Using the substitution $x=asins$ for $s\in \left[0,\frac{\pi }{2}\right]$ and employing Equation (16) for $t=n\ge 0$ reveal:

$$I_n\left(a\right)=a^{n+2}\frac{\sqrt{\pi }\mathsf{\Gamma }\left(\frac{n}{2}+\frac{1}{2}\right)}{4\mathsf{\Gamma }\left(\frac{n}{2}+2\right)}$$

(29)

for $a>0$ and $n\ge 0$. Differentiating with respect to a on both sides of Equation (11) gives:

$$I_n^{\prime }\left(a\right)=a{\int }_0^a\frac{x^n}{\sqrt{a^2-x^2}}dx.$$

(30)

On the other hand, differentiating with respect to a on both sides of Equation (29) results in:

$$I_n^{\prime }\left(a\right)=\frac{\sqrt{\pi }}{4}(n+2)a^{n+1}\frac{\mathsf{\Gamma }\left(\frac{n}{2}+\frac{1}{2}\right)}{\mathsf{\Gamma }\left(\frac{n}{2}+2\right)}.$$

(31)

Combining Equation (30) with (31) and simplifying lead to:

$${\int }_0^a\frac{x^n}{\sqrt{a^2-x^2}}dx=\sqrt{\pi }{a}^n\frac{\mathsf{\Gamma }\left(\frac{n}{2}+\frac{1}{2}\right)}{n\mathsf{\Gamma }\left(\frac{n}{2}\right)}$$

(32)

for $a>0$ and $n\ge 0$. The first representation in Equation (28) follows from combining:

$$C_n=\frac{4^n\mathsf{\Gamma }\left(n+\frac{1}{2}\right)}{\sqrt{\pi }\mathsf{\Gamma }(n+2)},n\ge 0$$

(33)

in [28] (p. 112, Equation (5.5)) with Equation (32).

The second integral representation in Equation (28) follows immediately from combining Equations (6) and (18). The desired proof is complete. ☐

2.8. Qi–Akkurt–Yildirim’s Integral Representation

In [11] (Theorem 1.1), an integral representation:

$$C_n=\frac{k{2}^{1+2n(1-k)}}{\pi (n+1)}{\int }_0^2\frac{x^{(2n+1)k-1}}{\sqrt{2^{2k}-x^{2k}}}dx$$

(34)

for $k>0$ and $n\in \mathbb{N}$ was established.

3. Catalan–Qi’s Function and its Integral Representations

In 2015, Qi and his coauthors generalized in [50] (Remark 1) and its formally published version [21] (Equation (9)) the Catalan numbers $C_n$ as the so-called Catalan–Qi function:

$$C(a,b;z)=\frac{\mathsf{\Gamma }\left(b\right)}{\mathsf{\Gamma }\left(a\right)}{\left(\frac{b}{a}\right)}^z\frac{\mathsf{\Gamma }(z+a)}{\mathsf{\Gamma }(z+b)},\Re \left(a\right),\Re \left(b\right)>0,\Re \left(z\right)\ge 0.$$

(35)

It is clear that:

$$C(b,a;z)=\frac{1}{C(a,b;z)}.$$

(36)

When taking $x=n\in \left\{0\right\}\cup \mathbb{N}$, we call the quantities $C(a,b;n)$ the Catalan–Qi numbers. It is easy to see that:

$$C\left(\frac{1}{2},2;n\right)=C_n\mathrm{and}C(a,b;n)={\left(\frac{b}{a}\right)}^n\frac{{\left(a\right)}_n}{{\left(b\right)}_n}$$

(37)

for all $n\ge 0$, where:

$${\left(x\right)}_n=\prod _{\ell =0}^{n-1}(x+\ell )=\left\{\begin{array}{cc}x(x+1)\cdots (x+n-1),\hfill & n\ge 1\hfill \\ 1,\hfill & n=0\hfill \end{array}\right.$$

is called the rising factorial or the Pochhammer symbol.

It is well known [42,43,46,51,52] that the Wallis ratio is defined by:

$$W_n=\frac{(2n-1)!!}{\left(2n\right)!!}=\frac{\left(2n\right)!}{2^{2n}{(n!)}^2}=\frac{1}{\sqrt{\pi }}\frac{\mathsf{\Gamma }\left(n+1/2\right)}{\mathsf{\Gamma }(n+1)},n\in \mathbb{N}.$$

Hence, it is easy to see that:

$$C_n=\frac{4^n}{n+1}{W}_n.$$

The Wallis ratio, or say, the ratio of two gamma functions, has been studied and applied by many mathematicians, see [44,51,52,53,54,55,56,57], for example, and plenty of literature therein.

Now we are in a position to recall and to alternatively prove three integral representations of the Catalan–Qi function $C(a,b;x)$ as follows.

Theorem 11 

([17], Equation (10)). For $b>a>0$ and $x\ge 0$, the Catalan–Qi function $C(a,b;x)$ has the integral representation:

$$C(a,b;x)=\frac{1}{B(a,b-a)}{\left(\frac{b}{a}\right)}^x{\int }_0^{\infty }{\left(1-e^{-u}\right)}^{b-a-1}{e}^{-(x+a)u}du.$$

(38)

Proof. 

This follows from combination of the definition (35) and the integral formula:

$$\frac{\mathsf{\Gamma }(z+a)}{\mathsf{\Gamma }(z+b)}=\frac{1}{\mathsf{\Gamma }(b-a)}{\int }_0^{\infty }{\left(1-e^{-u}\right)}^{b-a-1}{e}^{-(z+a)u}du,b>a\ge 0$$

in [48] (p. 67) for the ratio of two gamma functions $\mathsf{\Gamma }(z+a)$ and $\mathsf{\Gamma }(z+b)$.

Theorem 12

([17], Theorem 4). For $b>a>0$ and $x\ge 0$, the Catalan–Qi function $C(a,b;x)$ has integral representations:

$$C(a,b;x)={\left(\frac{a}{b}\right)}^{b-1}\frac{1}{B(a,b-a)}{\int }_0^{b/a}{\left(\frac{b}{a}-t\right)}^{b-a-1}{t}^{x+a-1}dt$$

(39)

and:

$$C(a,b;x)={\left(\frac{a}{b}\right)}^a\frac{1}{B(a,b-a)}{\int }_0^{\infty }\frac{t^{b-a-1}}{{(t+a/b)}^{x+b}}dt.$$

(40)

An alternative proof. 

Making use of the last formula in Equation (6) and the definition (35), we can rewritten the Catalan–Qi function $C(a,b;x)$ as:

$$C(a,b;x)={\left(\frac{b}{a}\right)}^x\frac{B(b,x+a)}{B(a,x+b)}$$

and:

$$C(a,b;x)={\left(\frac{b}{a}\right)}^x\frac{B(x+a,b-a)}{B(a,b-a)}.$$

(41)

Applying Equation (6) into the factor $B(x+a,b-a)=B(b-a,x+a)$ in Equation (41) leads to:

$$\begin{array}{cc}\hfill C(a,b;x)& ={\left(\frac{b}{a}\right)}^x\frac{1}{B(a,b-a)}{\int }_0^1{t}^{x+a-1}{(1-t)}^{b-a-1}dt\hfill \\ & ={\left(\frac{b}{a}\right)}^x\frac{1}{B(a,b-a)}{\int }_0^{b/a}{\left(\frac{a}{b}s\right)}^{x+a-1}{\left[1-\left(\frac{a}{b}s\right)\right]}^{b-a-1}d\left(\frac{a}{b}s\right)\hfill \\ & ={\left(\frac{a}{b}\right)}^{b-1}\frac{1}{B(a,b-a)}{\int }_0^{b/a}{\left(\frac{b}{a}-s\right)}^{b-a-1}{s}^{x+a-1}ds\hfill \end{array}$$

and:

$$\begin{array}{cc}\hfill C(a,b;x)& ={\left(\frac{b}{a}\right)}^x\frac{1}{B(a,b-a)}{\int }_0^{\infty }\frac{t^{b-a-1}}{{(1+t)}^{x+b}}dt\hfill \\ & ={\left(\frac{b}{a}\right)}^x\frac{1}{B(a,b-a)}{\int }_0^{\infty }\frac{{(bs/a)}^{b-a-1}}{{(1+bs/a)}^{x+b}}d\left(\frac{b}{a}s\right)\hfill \\ & ={\left(\frac{a}{b}\right)}^a\frac{1}{B(a,b-a)}{\int }_0^{\infty }\frac{s^{b-a-1}}{{(s+a/b)}^{x+b}}ds\hfill \end{array}$$

respectively. The proof of Theorem 12 is thus complete. ☐

4. Discussing Various Integral Representations

In this section, we will discuss various integral representations recalled and proved above.

4.1. Discussing Equation (2)

Applying the substitution $x=4t$ in Equation (2), rearranging, and employing the first definition in Equation (6) yield:

$$C_n=\frac{1}{2\pi }{\int }_0^1\sqrt{\frac{4-4t}{4t}}{\left(4t\right)}^{n}d\left(4t\right)=\frac{2^{2n+1}}{\pi }{\int }_0^1{(1-t)}^{1/2}{t}^{n-1/2}dt=\frac{2^{2n+1}}{\pi }B\left(\frac{3}{2},n+\frac{1}{2}\right).$$

On the other hand, letting $a=\frac{1}{2}$, $b=2$, and $x=n\ge 0$ in Equation (41) and considering the first relation in Equation (37) give:

$$C_n=4^n\frac{1}{B\left(\frac{1}{2},\frac{3}{2}\right)}B\left(n+\frac{1}{2},\frac{3}{2}\right)=\frac{2^{2n+1}}{\pi }B\left(\frac{3}{2},n+\frac{1}{2}\right).$$

As a result, the integral representation (2) is a special case of the integral representation (39). This can also be verified simpler by taking $a=\frac{1}{2}$, $b=2$, and $x=n\ge 0$ in Equation (39).

4.2. Discussing Equation (7)

By Equation (33) and $\mathsf{\Gamma }(n+1)=n!$, we obtain:

$$n!C_n=n!\frac{4^n\mathsf{\Gamma }\left(n+\frac{1}{2}\right)}{\sqrt{\pi }(n+1)!}=\frac{4^n\mathsf{\Gamma }\left(n+\frac{1}{2}\right)}{\sqrt{\pi }(n+1)}.$$

Combining this with Equation (7) and simplifying give:

$$\begin{array}{cc}\hfill \mathsf{\Gamma }\left(n+\frac{1}{2}\right)& =\sqrt{\pi }(n+1){\int }_0^{\infty }\left[\frac{1}{2}erf\left(\frac{\sqrt{x}}{2}\right)+\frac{1}{\sqrt{\pi x}}{e}^{-x/4}-\frac{1}{2}\right]{\left(\frac{x}{4}\right)}^{n}dx\hfill \\ & =2\sqrt{\pi }(n+1){\int }_0^{\infty }\left[erf\left(\sqrt{t}\right)+\frac{e^{-t}}{\sqrt{\pi t}}-1\right]t^{n}dt.\hfill \end{array}$$

Hence, we guess that:

$$\mathsf{\Gamma }\left(x+\frac{1}{2}\right)=2\sqrt{\pi }(x+1){\int }_0^{\infty }\left[erf\left(\sqrt{t}\right)+\frac{e^{-t}}{\sqrt{\pi t}}-1\right]t^{x}dt,x>-\frac{1}{2}$$

which is equivalent to:

$$\mathsf{\Gamma }\left(x\right)=\sqrt{\pi }(2x+1){\int }_0^{\infty }\left[erf\left(\sqrt{t}\right)+\frac{e^{-t}}{\sqrt{\pi t}}-1\right]t^{x-1/2}dt,x>0.$$

Actually, this can be derived from:

$${\int }_0^{\infty }\frac{e^{-t}}{\sqrt{\pi t}}{t}^{x-1/2}dt=\frac{1}{\sqrt{\pi }}{\int }_0^{\infty }{e}^{-t}{t}^{x-1}dt=\frac{\mathsf{\Gamma }\left(x\right)}{\sqrt{\pi }},x>0,$$

by the definition (3), and:

$$\begin{array}{c}{\int }_0^{\infty }\left[erf\left(\sqrt{t}\right)-1\right]t^{x-1/2}dt=\frac{1}{x+1/2}{\int }_0^{\infty }\left[erf\left(\sqrt{t}\right)-1\right]\frac{d}{dt}{t}^{x+1/2}dt\\ =-\frac{1}{x+1/2}{\int }_0^{\infty }{\left[erf\left(\sqrt{t}\right)-1\right]}^{\prime }{t}^{x+1/2}dt=-\frac{1}{x+1/2}{\int }_0^{\infty }\frac{e^{-t}}{\sqrt{\pi }\sqrt{t}}{t}^{x+1/2}dt\\ =-\frac{2}{\sqrt{\pi }(2x+1)}{\int }_0^{\infty }{e}^{-t}{t}^{x}dt=-\frac{2\mathsf{\Gamma }(x+1)}{\sqrt{\pi }(2x+1)},x>-\frac{1}{2},\end{array}$$

by integration by part and the definition (8). In a word, we proved the integral representation (7) alternatively.

4.3. Discussing Theorems 3 and 4

By the substitution $x=2t$, the integral representations (9) and (10) reduce to Equations (12) and (13). This can also be showed by letting $a=1$ in Equations (9) and (10). Consequently, the integral representations (9) and (10) are respectively equivalent to Equations (12) and (13).

By the substitution $x=\sqrt{t}$ in Equation (12) and by the first definition in Equation (6), we obtain:

$$C_n=\frac{2^{2n+2}}{\pi }{\int }_0^1{t}^n\sqrt{1-t}\frac{1}{2\sqrt{t}}dt=\frac{2^{2n+1}}{\pi }{\int }_0^1{t}^{n-1/2}\sqrt{1-t}dt=\frac{2^{2n+1}}{\pi }B\left(n+\frac{1}{2},\frac{3}{2}\right).$$

Accordingly, the integral representation (12) is a special case of the integral representation (39) and is equivalent to Equation (2).

Similarly, by the substitution $x=\sqrt{t}$ in Equation (13) and by the first definition in Equation (6), we acquire:

$$\frac{1}{C_n}=\frac{(2n+3)(2n+2)(2n+1)}{2^{2n+2}}{\int }_0^1{t}^n\sqrt{1-t}dt=\frac{(2n+3)(2n+2)(2n+1)}{2^{2n+2}}B\left(n+1,\frac{3}{2}\right).$$

(42)

This implies that the integral representations (10) and (13) for reciprocals of the Catalan numbers $C_n$ can be alternatively verified by using Equations (33) and (6) in sequence as follows:

$$\begin{array}{c}\frac{1}{C_n}=\frac{\sqrt{\pi }\mathsf{\Gamma }(n+2)}{4^n\mathsf{\Gamma }\left(n+\frac{1}{2}\right)}=\frac{\sqrt{\pi }(n+1)\left(n+\frac{1}{2}\right)\left(n+\frac{3}{2}\right)\mathsf{\Gamma }(n+1)\mathsf{\Gamma }\left(\frac{3}{2}\right)}{4^n\mathsf{\Gamma }\left(\frac{3}{2}\right)\mathsf{\Gamma }\left(n+\frac{5}{2}\right)}\\ \begin{array}{c}=\frac{(2n+3)(2n+2)(2n+1)}{2^{2n+2}}B\left(n+1,\frac{3}{2}\right)\hfill \\ =\frac{(2n+3)(2n+2)(2n+1)}{2^{2n+2}}{\int }_0^1{t}^n\sqrt{1-t}dt\hfill \\ =\frac{(2n+3)(2n+2)(2n+1)}{2^{2n+1}}{\int }_0^1{x}^{2n+1}\sqrt{1-x^2}dx\hfill \\ =\frac{(2n+3)(2n+2)(2n+1)}{2^{4n+4}}{\int }_0^2{x}^{2n+1}\sqrt{4-x^2}dx\hfill \\ =\frac{(2n+3)(2n+2)(2n+1)}{2^{2n+1}}\frac{1}{a^{2n+3}}{\int }_0^a{x}^{2n+1}\sqrt{a^2-x^2}dx\hfill \\ =\frac{(2n+3)(2n+2)(2n+1)}{2^{2n+2}}\frac{1}{a^{n+3/2}}{\int }_0^a{t}^n\sqrt{a-t}dt\hfill \end{array}\end{array}$$

for $a>0$ and $n\ge 0$.

4.4. Discussing Equation (15)

Using the substitution $u=\sqrt{t}$ in Equation (15) and considering the second expression (6) produce:

$$\begin{array}{c}\frac{2^{2n+2}}{\pi }{\int }_0^{\infty }\frac{u^2}{{(1+u^2)}^{n+2}}du=\frac{2^{2n+2}}{\pi }{\int }_0^{\infty }\frac{t}{{(1+t)}^{n+2}}\frac{1}{2\sqrt{t}}dt\\ =\frac{2^{2n+1}}{\pi }{\int }_0^{\infty }\frac{t^{1/2}}{{(1+t)}^{n+2}}dt=\frac{2^{2n+1}}{\pi }B\left(\frac{3}{2},n+\frac{1}{2}\right)=C_n.\end{array}$$

Hence, the integral representation (15) is proved once again.

4.5. Discussing Equation (19)

Letting $t=\frac{1-u^2}{1+u^2}$ in the integral of Equation (19) gives:

$$\begin{array}{c}{\int }_0^1\frac{u^2{(1-u^2)}^{2n}}{{(1+u^2)}^{2n+3}}du={\int }_0^1\frac{1-t}{1+t}{\left(\frac{1+t}{2}\right)}^3{t}^{2n}\frac{1}{{(1+t)}^2}\sqrt{\frac{1+t}{1-t}}dt\\ =\frac{1}{8}{\int }_0^1{t}^{2n}\sqrt{1-t^2}dt=\frac{1}{16}{\int }_0^1{s}^{n-1/2}\sqrt{1-s}ds\\ =\frac{1}{16}B\left(\frac{3}{2},n+\frac{1}{2}\right)=\frac{1}{16}\frac{\pi }{2^{2n+1}}{C}_n=\frac{\pi }{2^{2n+5}}{C}_n.\end{array}$$

The integral representation (19) is thus proved again.

4.6. Discussing Equation (25)

Currently we do not find any application of the integral representation (25) and do not derive any property of the Catalan numbers $C_n$ from the integral representation (25).

4.7. Discussing Equation (26)

By the substitution $t=\frac{u}{4}$ in the first integral of Equation (26) and comparing with the second integral in Equation (6) gives:

$$\begin{array}{c}{\int }_0^{\infty }\frac{\sqrt{t}}{{(t+1/4)}^{n+2}}dt=\frac{1}{4}{\int }_0^{\infty }\frac{\sqrt{u/4}}{{(u/4+1/4)}^{n+2}}du\\ =2^{2n+1}{\int }_0^{\infty }\frac{\sqrt{u}}{{(1+u)}^{n+2}}du=2^{2n+1}B\left(\frac{3}{2},n+\frac{1}{2}\right)=\pi C_n.\end{array}$$

Thus, the integral representations in Equation (26) are proved alternatively.

When changing the variable of integration by $t=\frac{u}{2}$ in the last representation in Equation (26), we can recover the integral representation (15).

4.8. Discussing Equation (28)

The first integral in Equation (28) can be computed as:

$$\begin{array}{c}{\int }_0^2\frac{x^{2n}}{\sqrt{4-x^2}}dx={\int }_0^2\frac{{\left(2\sqrt{t}\right)}^{2n}}{\sqrt{4-{\left(2\sqrt{t}\right)}^2}}d\left(2\sqrt{t}\right)=2^{2n}{\int }_0^1\frac{t^n}{\sqrt{1-t}}\frac{1}{2\sqrt{t}}dt\\ =2^{2n-1}{\int }_0^1{t}^{n-1/2}{(1-t)}^{-1/2}dt=2^{2n-1}B\left(n+\frac{1}{2},\frac{1}{2}\right).\end{array}$$

Then from Equation (24) it follows that:

$${\int }_0^2\frac{x^{2n}}{\sqrt{4-x^2}}dx=2^{2n-1}\pi \frac{n+1}{4^n}{C}_n$$

which can be rewritten as Equation (28).

4.9. Discussing Equation (34)

The first integral representation (28) is a special case of the one Equation (34). Actually, the paper [11] was motivated by the article [45].

4.10. Discussing Equation (38)

By the substitution $e^{-u}=t$ in Equation (38) and by the first integral in Equation (6), we can see that the expressions (38) and (41) are equivalent to each other.

4.11. Discussing Equations (39) and (40)

When $a=\frac{1}{2}$, $b=2$, and $x=n\ge 0$, the integral representations (39) and (40) reduce to Equations (2) and (26) respectively.

Letting $a=\frac{1}{2}$, $b=2$, and $x=n\ge 0$ in Equation (41) results in the expression (18).

4.12. The Beta Function and Reciprocals of the Catalan Numbers

By Equation (33), the identity $\mathsf{\Gamma }\left(\frac{1}{2}\right)=\sqrt{\pi }$, and the recurrence relation $\mathsf{\Gamma }(x+1)=x\mathsf{\Gamma }\left(x\right)$, it is easy to see that:

$$\frac{1}{C_n}=\frac{\sqrt{\pi }\mathsf{\Gamma }(n+2)}{4^n\mathsf{\Gamma }\left(n+\frac{1}{2}\right)}=\frac{\left(n+\frac{1}{2}\right)(n+1)}{4^n}\frac{\mathsf{\Gamma }\left(\frac{1}{2}\right)\mathsf{\Gamma }(n+1)}{\mathsf{\Gamma }\left(n+\frac{3}{2}\right)}=\frac{(2n+1)(n+1)}{2^{2n+1}}B\left(\frac{1}{2},n+1\right)$$

(43)

which is different from the one in Equation (42). Indeed, the Catalan numbers $C_n$ and their reciprocals $\frac{1}{C_n}$ can also be represented in terms of the beta functions $B\left(n+\ell -\frac{1}{2},m+\frac{1}{2}\right)$ and $B\left(n+\ell ,m+\frac{1}{2}\right)$ for $\ell ,m\in \mathbb{N}$ respectively.

5. Applications of Integral Representations

Most of the above integral representations can be applied to discover properties of the Catalan numbers $C_n$. Now we recall some known applications of several integral representations of the Catalan numbers $C_n$.

5.1. An Application of Equation (2)

The integral representation (2) was applied in the proof of [22] (Theorem 5.1) to discover the identity:

$$\sum _{\ell =0}^{\lfloor (j-1)/2\rfloor }{(-1)}^{\ell }\left(\genfrac{}{}{0pt}{}{j-\ell -1}{\ell }\right)C_{i-\ell -1}=\frac{j}{i}\left(\genfrac{}{}{0pt}{}{2i-j-1}{i-1}\right),i\ge j\ge 1.$$

This identity generalizes:

$$\sum _{k=0}^{\lfloor n/2\rfloor }{(-1)}^k\left(\genfrac{}{}{0pt}{}{n-k}{k}\right)C_{n-k}=1$$

obtained in [58] (p. 2187, Theorem 2, Equation (15b)).

5.2. An Application of Equation (19)

The representation (19) was applied in [59] (p. 10) to compute several infinite series whose general terms involve binomial coefficients.

5.3. Applications of Equation (26)

Recall from [60] (pp. 372–373) and [61] (p. 108, Definition 4) that a sequence ${\left\{{\mu }_n\right\}}_{0\le n\le \infty }$ is said to be completely monotonic if its elements are non-negative and its successive differences are alternatively non-negative, that is:

$${(-1)}^k{\mathsf{\Delta }}^k{\mu }_n\ge 0$$

for $n,k\ge 0$, where:

$${\mathsf{\Delta }}^k{\mu }_n=\sum _{m=0}^k{(-1)}^m\left(\genfrac{}{}{0pt}{}{k}{m}\right){\mu }_{n+k-m}.$$

Recall from [61] (p. 163, Definition 14a) that a completely monotonic sequence ${\left\{a_n\right\}}_{n\ge 0}$ is minimal if it ceases to be completely monotonic when $a_0$ is decreased.

Let $\lambda =({\lambda }_1,{\lambda }_2,\cdots ,{\lambda }_n)\in {\mathbb{R}}^n$ and $\mu =({\mu }_1,{\mu }_2,\cdots ,{\mu }_n)\in {\mathbb{R}}^n$. A sequence $\lambda$ is said to be majorized by $\mu$ (in symbols $\lambda ⪯\mu$) if:

$$\sum _{\ell =1}^k{\lambda }_{\left[\ell \right]}\le \sum _{\ell =1}^k{\mu }_{\left[\ell \right]},k=1,2,\cdots ,n-1\mathrm{and}\sum _{\ell =1}^n{\lambda }_{\ell }=\sum _{\ell =1}^n{\mu }_{\ell },$$

where ${\lambda }_{\left[1\right]}\ge {\lambda }_{\left[2\right]}\ge \cdots \ge {\lambda }_{\left[n\right]}$ and ${\mu }_{\left[1\right]}\ge {\mu }_{\left[2\right]}\ge \cdots \ge {\mu }_{\left[n\right]}$ are respectively the components of $\lambda$ and $\mu$ in decreasing order. A sequence $\lambda$ is said to be strictly majorized by $\mu$ (in symbols $\lambda \prec \mu )$ if $\lambda$ is not a permutation of $\mu$. For example:

$$\begin{array}{c}\left(\underset{n}{\underbrace{\frac{1}{n},\cdots ,\frac{1}{n}}}\right)\prec \left(\underset{n-1}{\underbrace{\frac{1}{n-1},\cdots ,\frac{1}{n-1}}},0\right)\prec \left(\underset{n-2}{\underbrace{\frac{1}{n-2},\cdots ,\frac{1}{n-2}}},0,0\right)\prec \cdots \hfill \\ \hfill \prec \left(\frac{1}{3},\frac{1}{3},\frac{1}{3},0,\cdots ,0\right)\prec \left(\frac{1}{2},\frac{1}{2},0,\cdots ,0\right)\prec (1,0,\cdots ,0).\end{array}$$

For more information on the theory of majorization and its applications, please refer to monographs [62,63] and the closely related references therein.

Applying the integral representation (26), we can obtain properties and inequalities of the Catalan numbers $C_n$. Some of them can be recited as follows.

Theorem 13

([49], Theorem 1.4). The sequence ${\left\{\frac{C_n}{4^n}\right\}}_{n\ge 0}$ is completely monotonic and minimal.

Theorem 14

([49], Theorem 1.4). If $m\ge 1$ and $a_0,a_1,\cdots ,a_m$ be non-negative integers, then:

$${\left(\frac{C_{a_0}}{4^{a_0}}\right)}^{m-1}\frac{C_{{}_{{\sum }_{k=0}^m{a}_k}}}{4^{{\sum }_{k=0}^m{a}_k}}\ge \prod _{k=1}^m\frac{C_{a_0+a_k}}{4^{a_0+a_k}}\mathrm{and}{\left|\frac{C_{a_i+a_j}}{4^{a_i+a_j}}\right|}_m\ge 0,$$

where $|e_{kj}{|}_m$ denotes a determinant of order m with elements $e_{kj}$.

Theorem 15

([49], Theorem 1.5). Let $m\in \mathbb{N}$ and let n and $a_k$ for $1\le k\le m$ be non-negative integers. Then the Catalan numbers $C_n$ satisfy:

$${\left|{(-1)}^{a_i+a_j}{\mathcal{C}}_{n+a_i+a_j}\right|}_m\ge 0\mathrm{and}{\left|{\mathcal{C}}_{n+a_i+a_j}\right|}_m\ge 0,$$

where:

$${\mathcal{C}}_{\ell }=\ell !C_{\ell },\ell \ge 0.$$

(44)

Theorem 16

([49], Theorem 1.6). Let $m\in \mathbb{N}$ and let λ and μ be two m-tuples of non-negative integers such that $\lambda ⪯\mu$. Then:

$$\left|\prod _{i=1}^m{\mathcal{C}}_{n+{\lambda }_i}\right|\le \left|\prod _{i=1}^m{\mathcal{C}}_{n+{\mu }_i}\right|,$$

where ${\mathcal{C}}_{\ell }$ is defined by (44). Consequently,

1. 

the infinite sequence ${\left\{{\mathcal{C}}_n\right\}}_{n\ge 0}$ is logarithmically convex,

2. 

the inequality ${\mathcal{C}}_{\ell +k}^n\le {\mathcal{C}}_{\ell +n}^k{\mathcal{C}}_{\ell }^{n-k}$ is valid for $\ell \ge 0$ and $n>k>0$.

Theorem 17

([49], Theorem 1.7). If $\ell \ge 0$, $n\ge k\ge m$, $k\ge n-k$, and $m\ge n-m$, then:

$$\frac{C_{\ell +k}{C}_{\ell +n-k}}{C_{\ell +m}{C}_{\ell +n-m}}\ge \frac{(\ell +m)!(\ell +n-m)!}{(\ell +k)!(\ell +n-k)!}.$$

For $n,m\in \mathbb{N}$ and $\ell \ge 0$, let:

$$\begin{array}{cc}\hfill {\mathcal{G}}_{n,m,\ell }& ={\mathcal{C}}_{\ell +n+2m}{\left({\mathcal{C}}_{\ell }\right)}^2-{\mathcal{C}}_{\ell +n+m}{\mathcal{C}}_{\ell +m}{\mathcal{C}}_{\ell }-{\mathcal{C}}_{\ell +n}{\mathcal{C}}_{\ell +2m}{\mathcal{C}}_{\ell }+{\mathcal{C}}_{\ell +n}{\left({\mathcal{C}}_{\ell +m}\right)}^2,\hfill \\ \hfill {\mathcal{H}}_{n,m,\ell }& ={\mathcal{C}}_{\ell +n+2m}{\left({\mathcal{C}}_{\ell }\right)}^2-2{\mathcal{C}}_{\ell +n+m}{\mathcal{C}}_{\ell +m}{\mathcal{C}}_{\ell }+{\mathcal{C}}_{\ell +n}{\left({\mathcal{C}}_{\ell +m}\right)}^2,\hfill \\ \hfill {\mathcal{I}}_{n,m,\ell }& ={\mathcal{C}}_{\ell +n+2m}{\left({\mathcal{C}}_{\ell }\right)}^2-2{\mathcal{C}}_{\ell +n}{\mathcal{C}}_{\ell +2m}{\mathcal{C}}_{\ell }+{\mathcal{C}}_{\ell +n}{\left({\mathcal{C}}_{\ell +m}\right)}^2,\hfill \end{array}$$

where ${\mathcal{C}}_{\ell }$ is defined by Equation (44). Then:

$$\begin{array}{c}{\mathcal{G}}_{n,m,\ell }\ge 0,{\mathcal{H}}_{n,m,\ell }\ge 0,\\ {\mathcal{H}}_{n,m,\ell }⋚{\mathcal{G}}_{n,m,\ell }\mathit{when}m\lessgtr n,\end{array}$$

and:

$${\mathcal{I}}_{n,m,\ell }\ge {\mathcal{G}}_{n,m,\ell }\ge 0\mathit{when}n\ge m.$$

5.4. Applications of Equation (39)

Recall from [60] (Chapter XIII), [64] (Chapter 1) and [61] (Chapter IV) that an infinitely differentiable function f is said to be completely monotonic on an interval I if it satisfies $0\le {(-1)}^k{f}^{\left(k\right)}\left(x\right)<\infty$ on I for all $k\ge 0$. It is known [61] (p. 161, Theorem 12b) that a function f is completely monotonic on $(0,\infty )$ if and only if it is a Laplace transform $f\left(t\right)={\int }_0^{\infty }{e}^{-ts}d\mu \left(s\right)$ of a positive measure $\mu$ defined on $[0,\infty )$ such that the above integral converges on $(0,\infty )$.

By virtue of the integral representation (39), we obtain asymptotic expansions and complete monotonicity related to the Catalan–Qi function.

Theorem 18

([17], Theorem 4.2). For $b>a>0$, we have:

$$C(a,b;x)=\frac{1}{B(a,b-a)}{\left(\frac{b}{a}\right)}^x\sum _{k=0}^{\infty }{(-1)}^k\frac{{⟨b-a-1⟩}_k}{k!}\frac{1}{x+a+k},$$

where:

$${⟨x⟩}_n=\prod _{k=0}^{n-1}(x-k)=\left\{\begin{array}{cc}x(x-1)\cdots (x-n+1),\hfill & n\ge 1\hfill \\ 1,\hfill & n=0\hfill \end{array}\right.$$

is the falling factorial. Consequently, the function:

$${(-1)}^{\lfloor b-a\rfloor }\left[{\left(\frac{a}{b}\right)}^{x}C(a,b;x)-\frac{1}{B(a,b-a)}\sum _{k=0}^N{(-1)}^k\frac{{⟨b-a-1⟩}_k}{k!}\frac{1}{x+a+k}\right]$$

for $N\in \left\{0\right\}\cup \mathbb{N}$ and $b>a>0$ is completely monotonic in $x\in [0,\infty )$, where $\lfloor x\rfloor$ denotes the floor function whose value is the largest integer less than or equal to x.

For more information and details on applications of the integral representations (26) and (39), please refer to [12,13,14,15,16,17,18,19,20,21,22] and the closely related references therein.

6. Power Series whose Coefficients Involve Catalan Numbers

In this section, we recall some results on sums of power series whose coefficients involve the Catalan numbers $C_n$ or the Catalan–Qi numbers $C_{(}a,b;n)$.

6.1. Koshy–Gao’s Result

In 2012, Koshy and Gao [65] proved the following theorem.

Theorem 19

([65]). For $\left|x\right|<4$, we have:

$$\sum _{n=0}^{\infty }\frac{x^n}{C_n}=\left\{\begin{array}{cc}{\displaystyle 1+\frac{x{(4-x)}^{3/2}+6x{(4-x)}^{1/2}+24\sqrt{x}arcsin\frac{\sqrt{x}}{2}}{{(4-x)}^{5/2}},}\hfill & 0\le x<4;\hfill \\ {\displaystyle 1-\frac{{\left|x\right|(4-x)}^{3/2}+6\sqrt{\left|x\right|(4-x)}+24\sqrt{\left|x\right|}ln\frac{\sqrt{-x}+\sqrt{4-x}}{2}}{{(4-x)}^{5/2}},}\hfill & -4<x\le 0.\hfill \end{array}\right.$$

(45)

Proof. 

We reformulate the proof by Koshy and Gao in [65] as follows. Denote:

$$f\left(x\right)=\sum _{n=0}^{\infty }\frac{x^n}{C_n}.$$

(46)

Then:

$$f^{\prime }\left(x\right)=\sum _{n=1}^{\infty }\frac{n{x}^{n-1}}{C_n}=\sum _{n=0}^{\infty }\frac{n+1}{C_{n+1}}{x}^n.$$

Since $\frac{n+2}{C_n}=\frac{4n+2}{C_{n+1}}$, by the recurrence relation, this yields:

$$\begin{array}{c}\sum _{n=0}^{\infty }\frac{n+2}{C_n}{x}^n=\sum _{n=0}^{\infty }\frac{4n+2}{C_{n+1}}{x}^n,\\ \sum _{n=0}^{\infty }\frac{n}{C_n}{x}^n+2\sum _{n=0}^{\infty }\frac{x^n}{C_n}=\sum _{n=0}^{\infty }\frac{4(n+1)}{C_{n+1}}{x}^n-2\sum _{n=0}^{\infty }\frac{x^n}{C_{n+1}},\\ x{f}^{\prime }\left(x\right)+2f\left(x\right)=4f^{\prime }\left(x\right)-\frac{2}{x}[f\left(x\right)-1],\end{array}$$

and:

$$x(x-4)f^{\prime }\left(x\right)+2(x+1)f\left(x\right)=2.$$

(47)

For $x\ne 0$, set $g\left(x\right)={\left|\frac{4-x}{x}\right|}^{3/2}$. Then $\frac{g^{\prime }\left(x\right)}{g\left(x\right)}=-\frac{6}{x(4-x)}$. This implies that:

$${\left[x(x-4)g\left(x\right)\right]}^{\prime }=2(x+1)g\left(x\right).$$

(48)

Multiplying Equation (47) by $g\left(x\right)$, we obtain:

$$x(x-4)f^{\prime }\left(x\right)g\left(x\right)+2(x+1)f\left(x\right)g\left(x\right)=2g\left(x\right).$$

Using Equation (48), this can be rewritten as:

$${\left[x(x-4)f\left(x\right)g\left(x\right)\right]}^{\prime }=2g\left(x\right).$$

Using Equation (48) again gives:

$$\begin{array}{c}{\left\{x(x-4)[f\left(x\right)-1]g\left(x\right)\right\}}^{\prime }={\left[x(x-4)f\left(x\right)g\left(x\right)\right]}^{\prime }-{\left[x(x-4)g\left(x\right)\right]}^{\prime }\\ =2g\left(x\right)-2(x+1)g\left(x\right)=-2xg\left(x\right).\end{array}$$

Consequently:

$$x(x-4)[f\left(x\right)-1]g\left(x\right)=-2\int xg\left(x\right)dx+{\alpha }_1\mathrm{and}f\left(x\right)=1+\frac{2\int xg\left(x\right)dx-{\alpha }_1}{x(4-x)g\left(x\right)},$$

where ${\alpha }_1$ is a constant.

For $0<x<4$, we have:

$$\begin{array}{c}\int xg\left(x\right)dx=\int x{\left(\frac{4-x}{x}\right)}^{3/2}dx=\int \frac{{(4-x)}^{3/2}}{x^{1/2}}dx=2\int {\left(4-u^2\right)}^{3/2}du\left(x=u^2\right)\\ =\frac{1}{2}u{\left(4-u^2\right)}^{3/2}+3u{\left(4-u^2\right)}^{1/2}+12arcsin\frac{u}{2}+{\alpha }_2\\ =\frac{1}{2}\sqrt{x}{(4-x)}^{3/2}+3\sqrt{x}{(4-x)}^{1/2}+12arcsin\frac{\sqrt{x}}{2}+{\alpha }_2,\end{array}$$

where ${\alpha }_2$ is also a constant. Therefore, we have:

$$\begin{array}{cc}\hfill f\left(x\right)& =1+\frac{\sqrt{x}{(4-x)}^{3/2}+6\sqrt{x}{(4-x)}^{1/2}+24arcsin\frac{\sqrt{x}}{2}+2{\alpha }_2-{\alpha }_1}{x(4-x){\left(\frac{4-x}{x}\right)}^{3/2}}\hfill \\ & =1+\frac{x{(4-x)}^{3/2}+6x{(4-x)}^{1/2}+24\sqrt{x}arcsin\frac{\sqrt{x}}{2}+\alpha \sqrt{x}}{{(4-x)}^{5/2}},\hfill \end{array}$$

where $\alpha =2{\alpha }_2-{\alpha }_1$. Since $f\left(0\right)=1=f^{\prime }\left(0\right)$, we have $\alpha =0$. Thus, the desired result for $0<x<4$ is proved.

For $-4<x<0$, by similar argument to the above, we acquire:

$$\int xg\left(x\right)dx=\frac{1}{2}\sqrt{\left|x\right|}{(4-x)}^{3/2}+3\sqrt{\left|x\right|(4-x)}+12ln\left(\sqrt{\left|x\right|}+\sqrt{|4-x|}\right)+{\alpha }_3$$

and:

$$f\left(x\right)=1-\frac{{\left|x\right|(4-x)}^{3/2}+6\sqrt{\left|x\right|(4-x)}+24\sqrt{\left|x\right|}ln\frac{\sqrt{-x}+\sqrt{4-x}}{{\alpha }_4}}{{(4-x)}^{5/2}}.$$

From $f\left(0\right)=1=f^{\prime }\left(0\right)$, we can determine $C_4=2$. The desired result is thus proved. ☐

6.2. Beckwith–Harbor–Abel’s Result

In 2014, Beckwith and Harbor [66] proposed a problem: show that:

$$\sum _{n=0}^{\infty }\frac{2^n}{C_n}=5+\frac{3}{2}\pi \mathrm{and}\sum _{n=0}^{\infty }\frac{3^n}{C_n}=22+8\sqrt{3}\pi .$$

In 2016, Abel [67] answered this problem by proving a general result below.

Theorem 20

([66,67]). For $0\le x<4$, we have:

$$\sum _{n=0}^{\infty }\frac{x^n}{C_n}=1-\frac{x(x-10)}{{(4-x)}^2}+\frac{24\sqrt{x}}{{(4-x)}^{5/2}}arctan\sqrt{\frac{x}{4-x}}.$$

(49)

Proof. 

We slightly modify the proof in [67] as follows. Using the beta integral:

$${\int }_0^1{t}^m{(1-t)}^{n}dt=\frac{m!n!}{(m+n+1)!}$$

gives:

$$\begin{array}{cc}\hfill \sum _{n=0}^{\infty }\frac{x^n}{C_n}& =1+\sum _{n=1}^{\infty }n(n+1)\frac{(n-1)!n!}{\left(2n\right)!}{x}^n\hfill \\ & =1+\sum _{n=1}^{\infty }n(n+1)x^n{\int }_0^1{t}^{n-1}{(1-t)}^{n}dt\hfill \\ & =1+{\int }_0^1\sum _{n=1}^{\infty }n(n+1)x^n{t}^{n-1}{(1-t)}^{n}dt\hfill \end{array}$$

for $\left|x\right|<4$. Further using:

$$\sum _{n=1}^{\infty }n(n+1)z^n=\frac{2z}{{(1-z)}^3}$$

produces:

$$\sum _{n=0}^{\infty }\frac{x^n}{C_n}=1+2x{\int }_0^1\frac{1-t}{{[1-xt(1-t)]}^3}dt.$$

Direct calculation of the integral yields the result (49). ☐

6.3. Lehmer’s Result

The editorial comment in [67] listed the formulas:

$$\begin{array}{cccc}\hfill \sum _{n=0}^{\infty }\frac{1}{C_n}& =2+\frac{4\pi }{9\sqrt{3}},\hfill & \hfill \sum _{n=0}^{\infty }\frac{{(-1)}^n}{C_n}& =\frac{14}{25}-\frac{24\sqrt{5}}{125}ln\frac{1+\sqrt{5}}{2},\hfill \\ \hfill \sum _{n=0}^{\infty }\frac{{(-2)}^n}{C_n}& =\frac{1}{3}-\frac{1}{3\sqrt{3}}ln\left(2+\sqrt{3}\right),\hfill & \hfill \sum _{n=0}^{\infty }\frac{{(-3)}^n}{C_n}& =\frac{10}{49}-\frac{36}{49\sqrt{21}}ln\frac{5+\sqrt{21}}{2}.\hfill \end{array}$$

The editorial comment in [67] also pointed out that the result (45) had existed in [65], that the sum:

$$\sum _{n=0}^{\infty }\frac{x^n}{C_n}=2\frac{\sqrt{4-x}(8+x)+12\sqrt{x}arctan\frac{\sqrt{x}}{\sqrt{4-x}}}{\sqrt{{(4-x)}^5}}$$

(50)

can be found on the website http://planetmath.org/, and that the problem by Beckwith and Harbor [66] can be solved easily from:

$$\sum _{n=1}^{\infty }\frac{2^n}{\left(\genfrac{}{}{0pt}{}{2n}{n}\right)}=\frac{\pi }{2}+1,\sum _{n=1}^{\infty }\frac{n{2}^n}{\left(\genfrac{}{}{0pt}{}{2n}{n}\right)}=\pi +3,\sum _{n=1}^{\infty }\frac{3^n}{\left(\genfrac{}{}{0pt}{}{2n}{n}\right)}=\frac{4\pi \sqrt{3}}{3}+3,\sum _{n=1}^{\infty }\frac{n{3}^n}{\left(\genfrac{}{}{0pt}{}{2n}{n}\right)}=\frac{20\pi \sqrt{3}}{3}+18$$

which are special cases of the general formula in [68] (p. 452, Theorem) below.

Theorem 21

([68], p.452, Theorem). For $\left|x\right|<1$, we have:

$$\frac{2xarcsinx}{\sqrt{1-x^2}}=\sum _{m=1}^{\infty }\frac{{\left(2x\right)}^{2m}}{m\left(\genfrac{}{}{0pt}{}{2m}{m}\right)}.$$

(51)

Proof. 

Making use of the familiar Gregory series:

$$tarctant=\sum _{m=1}^{\infty }\frac{{(-1)}^{m-1}{t}^{2m}}{2m-1}$$

and setting $t=\frac{x}{\sqrt{1-x^2}}$ yields $arctant=arcsinx$ and:

$$\begin{array}{c}\frac{x}{\sqrt{1-x^2}}arcsinx=\sum _{m=1}^{\infty }\frac{{(-1)}^{m-1}{x}^{2m}}{(2m-1){(1-x^2)}^m}=\sum _{m=1}^{\infty }\frac{{(-1)}^{m-1}}{2m-1}\sum _{j=0}^{\infty }{(-1)}^j\left(\genfrac{}{}{0pt}{}{-m}{j}\right)x^{2(j+m)}\\ =\sum _{m=1}^{\infty }\frac{{(-1)}^{m-1}}{2m-1}\sum _{j=0}^{\infty }\left(\genfrac{}{}{0pt}{}{m+j-1}{j}\right)x^{2(j+m)}=\sum _{r=1}^{\infty }{x}^{2r}\sum _{m=1}^r\frac{{(-1)}^{m-1}(r-1)!}{(m-1)!(r-m)!(2m-1)}.\end{array}$$

Using Wallis’ integral:

$${\int }_0^{\pi /2}{(sin\theta )}^{2r-1}d\theta =\frac{2·4·6\cdots (2r-2)}{1·3·5\cdots (2r-1)}$$

results in:

$$\begin{array}{c}r\left(\genfrac{}{}{0pt}{}{2r}{r}\right)\sum _{\nu =0}^{r-1}{(-1)}^{\nu }\left(\genfrac{}{}{0pt}{}{r-1}{\nu }\right)\frac{1}{2\nu +1}=r\left(\genfrac{}{}{0pt}{}{2r}{r}\right){\int }_0^1\sum _{\nu =0}^{r-1}{(-1)}^{\nu }\left(\genfrac{}{}{0pt}{}{r-1}{\nu }\right)y^{2\nu }dy\\ =r\left(\genfrac{}{}{0pt}{}{2r}{r}\right){\int }_0^1{(1-y^2)}^{r-1}dy=r\left(\genfrac{}{}{0pt}{}{2r}{r}\right){\int }_0^{\pi /2}{sin}^{2r-1}\theta d\theta =2^{2r-1}.\end{array}$$

The sum (51) is thus proved. ☐

From Equation (51), Lehmer [68] also derived:

$$2{(arcsinx)}^2=\sum _{m=1}^{\infty }\frac{{\left(2x\right)}^{2m}}{m^2\left(\genfrac{}{}{0pt}{}{2m}{m}\right)},\sum _{m=1}^{\infty }\frac{{\left(2x\right)}^{2m}}{m^3\left(\genfrac{}{}{0pt}{}{2m}{m}\right)}=4{\int }_0^x\frac{{(arcsiny)}^2}{y}dy$$

and gave a recursive formula for:

$$\sum _{m=1}^{\infty }\frac{m^{k-2}{\left(2x\right)}^{2m}}{\left(\genfrac{}{}{0pt}{}{2m}{m}\right)}.$$

Lehmer [68] (p. 454) pointed out that there are no known sum for interesting series of the form ${\sum }_{m=1}^{\infty }\frac{1}{m^k\left(\genfrac{}{}{0pt}{}{2m}{m}\right)}$ for $k\ge 5$.

6.4. Beckwith–Harbor–Amdeberhan–Guan–Jiu–Moll–Vignat’s Results

In 2016, motivated by the above-mentioned problem posed by Beckwith and Harbor [66], Amdeberhan and his four coauthors [69] also proposed a general problem: find a closed-form formula for the series in Equation (46). They obtained the sum:

$$\sum _{n=0}^{\infty }\frac{z^n}{C_n}={}_2{F}_1\left(1,2;\frac{1}{2};\frac{z}{4}\right)=\frac{2(z+8)}{{(4-z)}^2}+\frac{24\sqrt{z}}{{(4-z)}^{5/2}}arcsin\frac{\sqrt{z}}{2},\left|z\right|<4$$

(52)

by several methods, where ${}_2{F}_1$ is the classical hypergeometric function which is a special case of the generalized hypergeometric series:

$${}_p{F}_q(a_1,\cdots ,a_p;b_1,\cdots ,b_q;z)=\sum _{n=0}^{\infty }\frac{{\left(a_1\right)}_n\cdots {\left(a_p\right)}_n}{{\left(b_1\right)}_n\cdots {\left(b_q\right)}_n}\frac{z^n}{n!}$$

(53)

defined for complex numbers $a_i\in \mathbb{C}$ and $b_i\in \mathbb{C}\setminus \{0,-1,-2,\cdots \}$, for positive integers $p,q\in \mathbb{N}$, and in terms of the rising factorial:

$${\left(x\right)}_n=\prod _{\ell =0}^{n-1}(x+\ell )=\left\{\begin{array}{cc}x(x+1)\cdots (x+n-1),\hfill & n\ge 1;\hfill \\ 1,\hfill & n=0.\hfill \end{array}\right.$$

We observe that the Formulas (49) and (50) are the same one, that the sums (45) and (52) are the same one, and that, since:

$$arctan\sqrt{\frac{x}{4-x}}=arcsin\frac{\sqrt{x}}{2}$$

for $0\le x<4$, the four sums (49) to (52) are essentially the same one.

7. Sums of Some New Series

By applying some of the above-mentioned integral representations of the Catalan numbers $C_n$, we now construct some new finite and infinite power series.

7.1. Sums of Two Finite and Infinite Series

Making use of the integral representations (12) and (13), (15) and (19), (20) and (21), we can find the following finite and infinite power series involving the Catalan numbers $C_n$.

Theorem 22.

For $k\ge 0$, we have the finite sums:

$$\sum _{n=0}^k\frac{C_n}{2^{2n}}=\frac{2}{\pi }\left[B\left(\frac{1}{2},\frac{1}{2}\right)-B\left(\frac{1}{2},k+\frac{3}{2}\right)\right]$$

and:

$$\sum _{n=0}^k\frac{2^{2n}}{(n+1)(2n+1)(2n+3)}\frac{1}{C_n}=\frac{1}{2\pi }\left[B\left(\frac{1}{2},\frac{1}{2}\right)-B\left(\frac{1}{2},k+\frac{3}{2}\right)\right].$$

Consequently, we have the infinite series:

$$\sum _{n=0}^{\infty }\frac{C_n}{2^{2n}}=2\mathrm{and}\sum _{n=0}^{\infty }\frac{2^{2n}}{(n+1)(2n+1)(2n+3)}\frac{1}{C_n}=1.$$

Proof. 

Dividing the integral representations (12) and (13) and summing up over $0\le n\le k$ give:

$$\begin{array}{c}\sum _{n=0}^k\frac{C_n}{2^{2n+2}}=\frac{1}{\pi }{\int }_0^1\left(\sum _{n=0}^k{x}^{2n}\right)\sqrt{1-x^2}dx=\frac{1}{\pi }{\int }_0^1\frac{1-x^{2(k+1)}}{1-x^2}\sqrt{1-x^2}dx\\ =\frac{1}{\pi }{\int }_0^1\left(1-x^{2k+2}\right){\left(1-x^2\right)}^{-1/2}dx=\frac{1}{2\pi }{\int }_0^1\left(t^{-1/2}-t^{k+1/2}\right){(1-t)}^{-1/2}dt\\ =\frac{1}{2\pi }\left[B\left(\frac{1}{2},\frac{1}{2}\right)-B\left(k+\frac{3}{2},\frac{1}{2}\right)\right]\to \frac{1}{2\pi }B\left(\frac{1}{2},\frac{1}{2}\right)=\frac{1}{2}\end{array}$$

and:

$$\begin{array}{c}\sum _{n=0}^k\frac{2^{2n+1}}{(2n+3)(2n+2)(2n+1)}\frac{1}{C_n}={\int }_0^1\left(\sum _{n=0}^k{x}^{2n+1}\right)\sqrt{1-x^2}dx\\ ={\int }_0^1\frac{x\left(1-x^{2k+2}\right)}{1-x^2}\sqrt{1-x^2}dx=\frac{1}{2}{\int }_0^1\left(1-t^{k+1}\right){(1-t)}^{-1/2}dt\\ =\frac{1}{2}\left[B\left(\frac{1}{2},1\right)-B\left(\frac{1}{2},k+2\right)\right]\to \frac{1}{2}B\left(\frac{1}{2},1\right)=1\end{array}$$

as $k\to \infty$.

Similarly, from Equations (15) and (19), it follows that:

$$\begin{array}{c}\sum _{n=0}^k\frac{C_n}{2^{2n+2}}=\frac{1}{\pi }{\int }_0^{\infty }\sum _{n=0}^k\frac{u^2}{{(1+u^2)}^{n+2}}du=\frac{1}{\pi }{\int }_0^{\infty }\left[\frac{1}{1+u^2}-\frac{1}{{(1+u^2)}^{k+2}}\right]du\\ =\frac{1}{2}-\frac{1}{2\pi }{\int }_0^{\infty }\frac{t^{-1/2}}{{(1+t)}^{k+2}}dt=\frac{1}{2}-\frac{1}{2\pi }B\left(\frac{1}{2},k+\frac{3}{2}\right)\to \frac{1}{2}\end{array}$$

and:

$$\begin{array}{c}\sum _{n=0}^k\frac{C_n}{2^{2n+5}}=\frac{1}{\pi }{\int }_0^1\frac{u^2}{{(1+u^2)}^3}\sum _{n=0}^k{\left(\frac{1-u^2}{1+u^2}\right)}^{2n}du=\frac{1}{\pi }{\int }_0^1\frac{u^2}{{(1+u^2)}^3}\frac{1-{\left(\frac{1-u^2}{1+u^2}\right)}^{2k+2}}{1-{\left(\frac{1-u^2}{1+u^2}\right)}^2}du\\ =\frac{1}{\pi }{\int }_0^1\frac{1-t}{1+t}{\left(\frac{1+t}{2}\right)}^3\frac{1-t^{2k+2}}{1-t^2}\frac{1}{{(1+t)}^2}\sqrt{\frac{1+t}{1-t}}dt=\frac{1}{8\pi }{\int }_0^1\frac{1-t^{2k+2}}{\sqrt{1-t^2}}dt\\ =\frac{1}{16\pi }{\int }_0^1\frac{1-s^{k+1}}{\sqrt{1-s}}\frac{1}{\sqrt{s}}ds=\frac{1}{16\pi }\left[{\int }_0^1{(1-s)}^{-1/2}{s}^{-1/2}ds-{\int }_0^1{s}^{k+1/2}{(1-s)}^{-1/2}ds\right]\\ =\frac{1}{16\pi }\left[B\left(\frac{1}{2},\frac{1}{2}\right)-B\left(\frac{1}{2},k+\frac{3}{2}\right)\right]\to \frac{1}{16}\end{array}$$

as $k\to \infty$. The proof of Theorem 22 is complete. ☐

7.2. Sums of Three Finite Series

Applying the last integral expressions in Equations (20) and (21), we can obtain sums of three new finite series.

Theorem 23.

For $k\ge 0$, we have:

$$\sum _{n=0}^k\frac{n+1}{2^{2n}}{C}_n=\frac{2}{B\left(\frac{1}{2},k+1\right)},\sum _{n=0}^k\frac{2n+1}{2^{2n}}{C}_n=2\left[\frac{1}{B\left(\frac{1}{2},k+2\right)}-1\right],$$

and:

$$\sum _{n=0}^k\frac{2^{2n}}{(2n+1)(n+1)}\frac{1}{C_n}=(k+1)B\left(\frac{1}{2},k+1\right)-1.$$

When $k\to \infty$, these three series diverge.

Proof. 

Applying the last expressions in Equations (20) and (21) yields:

$$\begin{array}{c}\sum _{n=0}^k\frac{n+1}{2^{2n}}{C}_n=\frac{2}{\pi }{\int }_0^{\pi /2}\sum _{n=0}^k{sin}^{2n}xdx=\frac{2}{\pi }{\int }_0^{\pi /2}\frac{1-{sin}^{2k+2}x}{{cos}^{2}x}dx\\ =\frac{2}{\pi }\frac{\sqrt{\pi }\mathsf{\Gamma }\left(k+\frac{3}{2}\right)}{\mathsf{\Gamma }(k+1)}=\frac{2}{B\left(\frac{1}{2},k+1\right)}\to \infty \end{array}$$

and:

$$\begin{array}{c}\sum _{n=0}^k\frac{2n+1}{2^{2n}}{C}_n=\frac{4}{\pi }{\int }_0^{\pi /2}\sum _{n=0}^k{sin}^{2n+2}xdx=\frac{4}{\pi }{\int }_0^{\pi /2}{tan}^{2}x\left(1-{sin}^{2k+2}x\right)dx\\ =\frac{4}{\pi }\left[\frac{\sqrt{\pi }\mathsf{\Gamma }\left(k+\frac{5}{2}\right)}{\mathsf{\Gamma }(k+2)}-\frac{\pi }{2}\right]=4\left[\frac{\mathsf{\Gamma }\left(k+\frac{5}{2}\right)}{\sqrt{\pi }\mathsf{\Gamma }(k+2)}-\frac{1}{2}\right]=2\left[\frac{1}{B\left(\frac{1}{2},k+2\right)}-1\right]\to \infty \end{array}$$

as $k\to \infty$.

From Equation (43), it follows that:

$$\frac{2^{2n+1}}{(2n+1)(n+1)}\frac{1}{C_n}=B\left(\frac{1}{2},n+1\right)={\int }_0^1{(1-t)}^{-1/2}{t}^{n}dt.$$

Summing up over n from 0 to k leads to:

$$\begin{array}{c}\sum _{n=0}^k\frac{2^{2n+1}}{(2n+1)(n+1)}\frac{1}{C_n}={\int }_0^1{(1-t)}^{-1/2}\sum _{n=0}^k{t}^{n}dt={\int }_0^1{(1-t)}^{-1/2}\frac{1-t^{k+1}}{1-t}dt\\ ={\int }_0^1{(1-t)}^{-3/2}\left(1-t^{k+1}\right)dt=2{\int }_0^1\left(1-t^{k+1}\right){\left[{(1-t)}^{-1/2}\right]}^{\prime }dt\\ =-2+2(k+1){\int }_0^1{t}^k{(1-t)}^{-1/2}dt=2\left[(k+1)B\left(\frac{1}{2},k+1\right)-1\right]\to \infty \end{array}$$

as $k\to \infty$. The proof of Theorem 23 is complete. ☐

7.3. Sums of Three Infinite Power Series

Now we use Equation (52) to derive sums of three infinite power series involving the reciprocal of the Catalan numbers $C_n$.

Theorem 24.

The reciprocals $\frac{1}{C_n}$ of the Catalan numbers $C_n$ satisfy:

$$\begin{array}{c}\sum _{n=0}^{\infty }\frac{z^n}{(n+1)C_n}=\sum _{n=0}^{\infty }\frac{z^n}{\left(\genfrac{}{}{0pt}{}{2n}{n}\right)}=\frac{4}{4-z}+\frac{4\sqrt{z}}{{(4-z)}^{3/2}}arcsin\frac{\sqrt{z}}{2},\left|z\right|<4,\end{array}$$

(54)

$$\begin{array}{c}\sum _{n=0}^{\infty }\frac{z^n}{(2n+1)C_n}=\frac{2}{4-z}+\frac{8}{\sqrt{z}{(4-z)}^{3/2}}arcsin\frac{\sqrt{z}}{2},\left|z\right|<4,\end{array}$$

(55)

and:

$$\sum _{n=0}^{\infty }\frac{z^n}{(2n+1)(n+1)C_n}=\frac{4}{\sqrt{z(4-z)}}arcsin\frac{\sqrt{z}}{2},\left|z\right|<4.$$

Proof. 

Integrating on both sides of Equation (52) from 0 to t with $\left|t\right|<4$ yields:

$$\begin{array}{c}\sum _{n=0}^{\infty }\frac{t^{n+1}}{(n+1)C_n}={\int }_0^t\frac{24}{{(4-z)}^2}dz-{\int }_0^t\frac{2}{4-z}dz+{\int }_0^t\frac{24\sqrt{z}}{{(4-z)}^{5/2}}arcsin\frac{\sqrt{z}}{2}dz\\ \begin{array}{c}=\frac{6t}{4-t}+2ln(4-t)-4ln2+{\int }_0^{arcsin\frac{\sqrt{t}}{2}}\frac{24\sqrt{4{sin}^{2}s}}{{\left(4-4{sin}^{2}s\right)}^{5/2}}8sinscossarcsin\frac{\sqrt{4{sin}^{2}s}}{2}ds\hfill \\ =\frac{6t}{4-t}+2ln(4-t)-4ln2+12{\int }_0^{arcsin\frac{\sqrt{t}}{2}}\frac{{sin}^{2}s}{{cos}^{4}s}sds\hfill \\ =\frac{6t}{4-t}+2ln(4-t)-4ln2+4{\int }_0^{arcsin\frac{\sqrt{t}}{2}}s{\left({tan}^{3}s\right)}^{\prime }ds\hfill \\ =\frac{6t}{4-t}+2ln(4-t)-4ln2+4arcsin\frac{\sqrt{t}}{2}{tan}^{3}arcsin\frac{\sqrt{t}}{2}-4{\int }_0^{arcsin\frac{\sqrt{t}}{2}}{tan}^{3}sds\hfill \\ =\frac{6t}{4-t}+2ln(4-t)-4ln2+\frac{4t^{3/2}}{{(4-t)}^{3/2}}arcsin\frac{\sqrt{t}}{2}-4{\int }_0^{arcsin\frac{\sqrt{t}}{2}}\left(tans{sec}^{2}s-tans\right)ds\hfill \\ =\frac{6t}{4-t}+2ln(4-t)-4ln2+\frac{4t^{3/2}}{{(4-t)}^{3/2}}arcsin\frac{\sqrt{t}}{2}-\frac{4t}{8-2t}+4\left[ln2-\frac{1}{2}ln(4-t)\right]\hfill \\ =\frac{4t}{4-t}+\frac{4t^{3/2}}{{(4-t)}^{3/2}}arcsin\frac{\sqrt{t}}{2}.\hfill \end{array}\end{array}$$

The Equality (54) is thus proved.

The Formula (52) can be rewritten as:

$$\sum _{n=0}^{\infty }\frac{z^{2n}}{C_n}=\frac{2(z^2+8)}{{(4-z^2)}^2}+\frac{24z}{{(4-z^2)}^{5/2}}arcsin\frac{z}{2},\left|z\right|<2.$$

Integrating on both sides of the above equality gives:

$$\begin{array}{cc}\hfill \sum _{n=0}^{\infty }\frac{t^{2n+1}}{(2n+1)C_n}& ={\int }_0^t\left[\frac{2(z^2+8)}{{(4-z^2)}^2}+\frac{24z}{{(4-z^2)}^{5/2}}arcsin\frac{z}{2}\right]dz\hfill \\ & =\frac{3t}{4-t^2}+\frac{1}{4}ln\frac{2+t}{2-t}+3{\int }_0^{arcsin(t/2)}\frac{sinu}{{cos}^{4}u}udu\hfill \\ & =\frac{3t}{4-t^2}+\frac{1}{4}ln\frac{2+t}{2-t}+\frac{8}{{(4-t^2)}^{3/2}}arcsin\frac{t}{2}-{\int }_0^{arcsin(t/2)}\frac{1}{{cos}^{3}u}du\hfill \\ & =\frac{3t}{4-t^2}+\frac{1}{4}ln\frac{2+t}{2-t}+\frac{8}{{(4-t^2)}^{3/2}}arcsin\frac{t}{2}-\frac{t}{4-t^2}-\frac{1}{4}ln\frac{2+t}{2-t}\hfill \\ & =\frac{2t}{4-t^2}+\frac{8}{{(4-t^2)}^{3/2}}arcsin\frac{t}{2}\hfill \end{array}$$

which can be rewritten as Equation (55).

Since $\frac{1}{(2n+1)(n+1)}=\frac{2}{2n+1}-\frac{1}{n+1}$, by Equations (54) and (55), we have:

$$\begin{array}{c}\sum _{n=0}^{\infty }\frac{x^n}{(2n+1)(n+1)C_n}=\sum _{n=0}^{\infty }\left[\frac{2x^n}{(2n+1)C_n}-\frac{x^n}{(n+1)C_n}\right]\\ =\sum _{n=0}^{\infty }\frac{2x^n}{(2n+1)C_n}-\sum _{n=0}^{\infty }\frac{x^n}{(n+1)C_n}=\frac{4}{\sqrt{z(4-z)}}arcsin\frac{\sqrt{z}}{2}.\end{array}$$

The proof of Theorem 24 is complete. ☐

7.4. A New Proof for the Sum of a Power Series

Now we supply a new proof for the following conclusion in [69] (pp. 115–116, Section 6).

Theorem 25

([69], Section 6). For $x\ge 0$, we have:

$$\sum _{n=0}^{\infty }\frac{1}{C_n}\frac{x^n}{n!}=1+\frac{1}{4}x+\frac{\sqrt{\pi }}{8}(x+6)\sqrt{x}{e}^{x/4}erf\left(\frac{\sqrt{x}}{2}\right).$$

Proof. 

In [21] (Theorem 1.5), it was obtained that:

$$\sum _{n=0}^{\infty }C(a,b;n)\frac{x^n}{n!}={}_1{F}_1\left(a;b;\frac{b}{a}x\right).$$

(56)

Letting $a=2$ and $b=\frac{1}{2}$ in Equation (56) gives:

$$\sum _{n=0}^{\infty }\frac{1}{C_n}\frac{x^n}{n!}={}_1{F}_1\left(2;\frac{1}{2};\frac{x}{4}\right).$$

Since:

$$erf\left(x\right)=\frac{2}{\sqrt{\pi }}{e}^{-x^2}\sum _{n=0}^{\infty }\frac{2^k{z}^{2n+1}}{(2n+1)!!}$$

see [34] (p. 889, 8.253) or [32] (p. 162, 7.6.2), it is straightforward to verify that:

$${}_1{F}_1\left(2;\frac{1}{2};\frac{x}{4}\right)=1+\frac{1}{4}x+\frac{\sqrt{\pi }}{8}(x+6)\sqrt{x}{e}^{x/4}erf\left(\frac{\sqrt{x}}{2}\right).$$

The proof of Theorem 25 is thus complete. ☐

7.5. More Sums of Series Involving Catalan or Catalan–Qi Numbers

Except [21] (Theorem 1.5), some series such as:

$$\begin{array}{c}{}_2{F}_1\left(a,1;b;\frac{bt}{a}\right)=\sum _{n=0}^{\infty }C(a,b;n)t^n,a,b>0;\end{array}$$

(57)

$$\begin{array}{c}\sum _{n=1}^{\infty }{\left(\frac{a}{b}\right)}^{n}C(a,b;n)=\frac{a}{b-a-1},b>a+1>1;\end{array}$$

(58)

and:

$$\sum _{n=0}^{\infty }C(a,b;n)\frac{x^{2n}}{\left(2n\right)!}={}_1{F}_2\left(a;\frac{1}{2},b;\frac{b}{4a}{x}^2\right),a,b>0$$

(59)

were also established in the papers [13] (Theorem 1) and [17] (Theorem 10).

In [24], among other things, it was obtained that:

$$\sum _{n=0}^{\infty }\frac{(n+1)\left(2n\right)!!C_n}{4^n{(2n+1)}^2(2n+1)!!}=\frac{7}{8}\zeta \left(3\right)$$

and:

$$\sum _{n=0}^{\infty }\frac{x^n}{C_n}=\frac{24\sqrt{-x}}{{(4-x)}^{5/2}}ln\left(\frac{\sqrt{-x}+\sqrt{4-x}}{2}\right)+\frac{2x}{{(4-x)}^2}+1,x\in (-4,0],$$

where $\zeta \left(z\right)$ denotes the Riemanian zeta function:

$$\zeta \left(s\right)=\sum _{k=1}^{\infty }\frac{1}{k^s},\Re \left(s\right)>1.$$

8. An Alternative Proof of the Formula (51)

Substituting Equation (1) into the left-hand side of Equation (51) and making use of the identities in (36) and (37) give:

$$\begin{array}{c}h\left(x^2\right)=\sum _{m=1}^{\infty }\frac{{\left(2x\right)}^{2m}}{m\left(\genfrac{}{}{0pt}{}{2m}{m}\right)}=\sum _{m=1}^{\infty }\frac{{\left(2x\right)}^{2m}}{m(m+1)C_m}=\sum _{m=1}^{\infty }\frac{{\left(2x\right)}^{2m}}{m(m+1)C\left(\frac{1}{2},2;m\right)}\\ =\sum _{m=1}^{\infty }\frac{{\left(2x\right)}^{2m}}{m(m+1)}C\left(2,\frac{1}{2},;m\right)=\sum _{m=1}^{\infty }\frac{{\left(2x\right)}^{2m}}{m(m+1)}{\left(\frac{1}{4}\right)}^m\frac{{\left(2\right)}_m}{{\left(\frac{1}{2}\right)}_m}\\ =\sum _{m=1}^{\infty }\frac{{\left(2\right)}_m}{{\left(\frac{1}{2}\right)}_m}\frac{x^{2m}}{m(m+1)}=\sum _{m=1}^{\infty }\frac{{\left(2\right)}_m}{{\left(\frac{1}{2}\right)}_m}\frac{{\left(x^2\right)}^m}{m(m+1)}\\ =\sum _{m=1}^{\infty }\frac{{\left(2\right)}_m}{{\left(\frac{1}{2}\right)}_m}\frac{{\left(x^2\right)}^m}{m}-\frac{1}{x^2}\sum _{m=1}^{\infty }\frac{{\left(2\right)}_m}{{\left(\frac{1}{2}\right)}_m}\frac{{\left(x^2\right)}^{m+1}}{m+1}\triangleq h_1\left(x^2\right)-\frac{1}{x^2}{h}_2\left(x^2\right).\end{array}$$

Differentiation and utilization of Equation (53) reveal:

$$\begin{array}{c}{h}_1^{\prime }\left(t\right)=\sum _{m=1}^{\infty }\frac{{\left(2\right)}_m}{{\left(\frac{1}{2}\right)}_m}{t}^{m-1}=\frac{1}{t}\left[\sum _{m=0}^{\infty }\frac{{\left(2\right)}_m}{{\left(\frac{1}{2}\right)}_m}{t}^m-1\right]=\frac{1}{t}\left[\sum _{m=0}^{\infty }\frac{{\left(2\right)}_{m}m!}{{\left(\frac{1}{2}\right)}_m}\frac{t^m}{m!}-1\right]\\ =\frac{1}{t}\left[\sum _{m=0}^{\infty }\frac{{\left(2\right)}_m{\left(1\right)}_m}{{\left(\frac{1}{2}\right)}_m}\frac{t^m}{m!}-1\right]=\frac{1}{t}\left[{}_2{F}_1\left(1,2;\frac{1}{2};t\right)-1\right]\end{array}$$

and:

$$\begin{array}{c}{h}_2^{\prime }\left(t\right)=\sum _{m=1}^{\infty }\frac{{\left(2\right)}_m}{{\left(\frac{1}{2}\right)}_m}{t}^m=\sum _{m=1}^{\infty }\frac{{\left(2\right)}_m{\left(1\right)}_m}{{\left(\frac{1}{2}\right)}_m}\frac{t^m}{m!}={}_2{F}_1\left(1,2;\frac{1}{2};t\right)-1.\end{array}$$

Accordingly, we obtain:

$$\begin{array}{c}{h}^{\prime }\left(t\right)={\left[h_1\left(t\right)-\frac{1}{t}{h}_2\left(t\right)\right]}^{\prime }=h_1^{\prime }\left(t\right)-\frac{t{h}_2^{\prime }\left(t\right)-h_2\left(t\right)}{t^2}=\frac{1}{t}\left[{}_2{F}_1\left(1,2;\frac{1}{2};t\right)-1\right]-\frac{h_2^{\prime }\left(t\right)}{t}+\frac{h_2\left(t\right)}{t^2}\\ =\frac{1}{t}\left[{}_2{F}_1\left(1,2;\frac{1}{2};t\right)-1\right]-\frac{1}{t}\left[{}_2{F}_1\left(1,2;\frac{1}{2};t\right)-1\right]+\frac{h_2\left(t\right)}{t^2}=\frac{h_2\left(t\right)}{t^2}.\end{array}$$

This implies that:

$${\left[t^2{h}^{\prime }\left(t\right)\right]}^{\prime }=h_2^{\prime }\left(t\right)={}_2{F}_1\left(1,2;\frac{1}{2};t\right)-1.$$

Combining this with the right equality in Equation (52) leads to:

$${\left[t^2{h}^{\prime }\left(t\right)\right]}^{\prime }+1=\frac{2(4t+8)}{{(4-4t)}^2}+\frac{24\sqrt{4t}}{{(4-4t)}^{5/2}}arcsin\frac{\sqrt{4t}}{2}=\frac{t+2}{2{(1-t)}^2}+\frac{3\sqrt{t}}{2{(1-t)}^{5/2}}arcsin\sqrt{t}.$$

Integrating with respect to t over $[0,x]$ for $0<x<1$ yields:

$$\begin{array}{c}\begin{array}{cc}\hfill x^2{h}^{\prime }\left(x\right)+x& ={\int }_0^x\left[\frac{t+2}{2{(1-t)}^2}+\frac{3\sqrt{t}}{2{(1-t)}^{5/2}}arcsin\sqrt{t}\right]dt\hfill \\ & =\frac{3x}{2(1-x)}+\frac{1}{2}ln(1-x)+3{\int }_0^{\sqrt{x}}\frac{s^2}{{(1-s^2)}^{5/2}}arcsinsds\hfill \\ & =\frac{3x}{2(1-x)}+\frac{1}{2}ln(1-x)+3{\int }_0^{arcsin\sqrt{x}}\frac{u{sin}^{2}ucosu}{{(1-{sin}^{2}u)}^{5/2}}du\hfill \\ & =\frac{3x}{2(1-x)}+\frac{1}{2}ln(1-x)+3{\int }_0^{arcsin\sqrt{x}}\frac{u{sin}^{2}u}{{cos}^{4}u}du\hfill \\ & =\frac{3x}{2(1-x)}+\frac{1}{2}ln(1-x)+{\int }_0^{arcsin\sqrt{x}}u{\left({tan}^{3}u\right)}^{\prime }du\hfill \end{array}\\ \begin{array}{c}=\frac{3x}{2(1-x)}+\frac{1}{2}ln(1-x)+arcsin\sqrt{x}{tan}^{3}arcsin\sqrt{x}-{\int }_0^{arcsin\sqrt{x}}{tan}^{3}udu\hfill \\ =\frac{3x}{2(1-x)}+\frac{1}{2}ln(1-x)+\frac{x^{3/2}}{{(1-x)}^{3/2}}arcsin\sqrt{x}-{\int }_0^{arcsin\sqrt{x}}\left(tanu{sec}^{2}u-tanu\right)du\hfill \\ =\frac{3x}{2(1-x)}+\frac{1}{2}ln(1-x)+\frac{x^{3/2}}{{(1-x)}^{3/2}}arcsin\sqrt{x}-\frac{1}{2}{sec}^{2}arcsin\sqrt{x}-lncosarcsin\sqrt{x}+\frac{1}{2}\hfill \\ =\frac{2x+1}{2(1-x)}+\frac{1}{2}ln(1-x)+\frac{x^{3/2}}{{(1-x)}^{3/2}}arcsin\sqrt{x}-\frac{1}{2(1-x)}-\frac{1}{2}ln\left(1-x\right)\hfill \\ =\frac{x}{1-x}+\frac{x^{3/2}}{{(1-x)}^{3/2}}arcsin\sqrt{x}.\hfill \end{array}\end{array}$$

Furthermore, similarly integrating gives:

$$\begin{array}{cc}\hfill h\left(t\right)& ={\int }_0^t\frac{1}{x^2}\left[\frac{x}{1-x}+\frac{x^{3/2}}{{(1-x)}^{3/2}}arcsin\sqrt{x}-x\right]dx\hfill \\ & ={\int }_0^t\left[\frac{1}{1-x}+\frac{1}{x^{1/2}{(1-x)}^{3/2}}arcsin\sqrt{x}\right]dx\hfill \\ & =-ln(1-t)+{\int }_0^{arcsin\sqrt{t}}\frac{2ssinscoss}{{\left(1-{sin}^{2}s\right)}^{3/2}sins}ds\hfill \\ & =-ln(1-t)+2{\int }_0^{arcsin\sqrt{t}}\frac{s}{{cos}^{2}s}ds\hfill \\ & =-ln(1-t)+2arcsin\sqrt{t}tanarcsin\sqrt{t}-2{\int }_0^{arcsin\sqrt{t}}tansds\hfill \\ & =-ln(1-t)+2\sqrt{\frac{t}{1-t}}arcsin\sqrt{t}+2lncosarcsin\sqrt{t}\hfill \\ & =2\sqrt{\frac{t}{1-t}}arcsin\sqrt{t}.\hfill \end{array}$$

The proof of the Formula (51) is complete.

9. Remarks

Finally, we list several remarks on closely related results.

Remark 1.

It seems that there are close and similar ideas in [66,69] and that the paper [69] is almost an expanded version of [66]. Great minds think alike!

Remark 2.

In [68] (p. 452, Theorem), it was established that:

$$\sum _{m=1}^{\infty }\frac{{\left(2x\right)}^{2m}}{m\left(\genfrac{}{}{0pt}{}{2m}{m}\right)}=\frac{2xarcsinx}{\sqrt{1-x^2}},\left|x\right|<1.$$

This can be rearranged as:

$$\sum _{m=1}^{\infty }\frac{{\left(2x\right)}^{2m}}{m(m+1)C_m}=\frac{2xarcsinx}{\sqrt{1-x^2}},\left|x\right|<1.$$

Remark 3.

Letting $a=\frac{1}{2}$ and $b=2$ in Equation (57) and comparing with Equation (27) leads to:

$${}_2{F}_1\left(\frac{1}{2},1;2;4x\right)=\frac{1-\sqrt{1-4x}}{2x},\left|x\right|\le \frac{1}{4}.$$

This can also be deduced from the formula:

$${}_2{F}_1(a,b;c;z)=\frac{1}{B(b,c-b)}{\int }_0^1\frac{t^{b-1}{(1-t)}^{c-b-1}}{{(1-tz)}^a}dt,\Re \left(c\right)>\Re \left(b\right)>0$$

in [70] (p. 558, 15.3.1) and [34] (9.111).

Remark 4.

Letting $a=\frac{1}{2}$ and $b=2$ in Equation (58) gives:

$$\sum _{n=1}^{\infty }\frac{C_n}{4^n}=1$$

which can be rewritten as:

$$\sum _{n=0}^{\infty }\frac{(2n+1)!!}{(2n+4)!!}=\frac{1}{2}.$$

Remark 5.

Taking $a=2$ and $b=\frac{1}{2}$ in Equation (59) results in:

$$\sum _{n=0}^{\infty }\frac{1}{C_n}\frac{x^{2n}}{\left(2n\right)!}={}_1{F}_2\left(2;\frac{1}{2},\frac{1}{2};\frac{x^2}{16}\right)=1+\frac{\pi }{16}x\left[x{\mathit{L}}_{-1}\left(\frac{x}{2}\right)+6{\mathit{L}}_0\left(\frac{x}{2}\right)\right],$$

where:

$${\mathit{L}}_{\nu }={\left(\frac{z}{2}\right)}^{\nu +1}\sum _{n=0}^{\infty }\frac{1}{\mathsf{\Gamma }\left(n+\frac{3}{2}\right)\mathsf{\Gamma }\left(n+\nu +\frac{3}{2}\right)}{\left(\frac{z}{2}\right)}^{2n}$$

denotes the modified Struve function, see [32] (p. 228, 11.2.2).

Remark 6.

This paper is a slightly modified version of the preprint [71].