Next Article in Journal
On the Duality of Regular and Local Functions
Previous Article in Journal
Confidence Intervals for Mean and Difference between Means of Normal Distributions with Unknown Coefficients of Variation
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Review

Integral Representations of the Catalan Numbers and Their Applications

1
Institute of Mathematics, Henan Polytechnic University, Jiaozuo 454010, Henan Province, China
2
College of Mathematics, Inner Mongolia University for Nationalities, Tongliao 028043, Inner Mongolia Autonomous Region, China
3
Department of Mathematics, College of Science, Tianjin Polytechnic University, Tianjin 300387, China
4
School of Mathematics and Informatics, Henan Polytechnic University, Jiaozuo 454010, Henan Province, China
*
Author to whom correspondence should be addressed.
Mathematics 2017, 5(3), 40; https://doi.org/10.3390/math5030040
Submission received: 22 May 2017 / Accepted: 25 July 2017 / Published: 3 August 2017

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 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 2 n n by:
C n = 1 n + 1 2 n n = ( 2 n ) ! n ! ( n + 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 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 0 , the Catalan numbers C n can be represented by an integral:
C n = 1 2 π 0 4 4 x x x n d x .
Proof. 
We rewrite the proof in [31] as follows. The Mellin transform of a real- or complex-valued function f ( x ) is defined ([32], p. 29, Entry 1.14.32) by:
M ( f ; s ) = 0 x s 1 f ( x ) d x .
If f ( x ) is continuous on ( 0 , ) and M ( f ; σ + i t ) is integrable on ( , ) , then the inverse Mellin transform ([32], p. 29, Entry 1.14.35) reads that:
f ( x ) = 1 2 π i σ i σ + i x s M ( f ; s ) d s .
Therefore, it is sufficient to compute the inverse Mellin transform:
f ( x ) = M 1 4 s 1 Γ s 1 2 π Γ ( s + 1 ) ; x = 1 2 π i σ i σ + i x s 4 s 1 Γ s 1 2 π Γ ( s + 1 ) d s ,
where the classical Euler gamma function Γ ( z ) can be defined by:
Γ ( z ) = 0 t z 1 e t d t , ( z ) > 0 .
From the property:
M x b f a x h ; s = 1 h a ( s + b ) / h M f x + b h ; s
in [33], it follows immediately that:
M 1 x f x 4 ; s = 4 s 1 / 2 M f x 1 2 ; s .
Applying in Equation (4) the formula:
M 1 x h + α 1 ; s = 1 h B α , s h , ( α ) , s > 0
in [34] (p. 1102, Section 12.43, Entry 22) and [35] (p. 151, Entry 2.2(1)) to h = 1 and α = 3 2 yields:
f ( x ) = 1 π x 1 x 4 + 1 / 2 ,
where:
( y ) + α 1 = y α 1 , y > 0 ; 0 , y < 0 ,
the classical beta function B ( z , w ) can be defined by:
B ( z , w ) = 0 1 t z 1 ( 1 t ) w 1 d t = 0 t z 1 ( 1 + t ) z + w d t = Γ ( z ) Γ ( w ) Γ ( z + w )
for ( z ) , ( w ) > 0 . Then the desired integral representation of C n is proved. ☐
Theorem 2
([31], p. 3, Equation (16)). For n 0 , the sequence n ! C n can be represented by:
n ! C n = ( 2 n ) ! ( n + 1 ) ! = 0 1 2 erf x 2 + 1 π x e x / 4 1 2 x n d x ,
where erf ( x ) denotes the error function defined by:
erf ( x ) = 2 π 0 x e t 2 d t .
Proof. 
We recite the proof in [31] as follows. This follows from applying the formula:
0 x s 1 0 h ( y ) f x y d y y d x = M ( h ; s ) M ( f ; s )
in [32] (p. 29, Entries 1.14.39 and 1.14.40) to h ( x ) = e x and the function f ( x ) in (5). ☐
By similar arguments, Penson and Sixdeniers [31] also derived:
( n ! ) 2 C n = ( 2 n ) ! n + 1 = 0 e x x + Ei x x n d x
and an integral representation of the sequence B n C n , where B n is the Bell numbers [36,37,38,39] and Ei ( y ) is the exponential integral function which can be defined by:
Ei ( y ) = x e t t d t .

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 1 C n respectively.
Theorem 3
([40], Proposition 2.1 and Equation (9)). For n 0 , the Catalan numbers C n and their reciprocals 1 C n can be represented by:
C n = 1 π 0 2 x 2 n 4 x 2 d x
and:
1 C n = ( 2 n + 3 ) ( 2 n + 2 ) ( 2 n + 1 ) 2 4 n + 4 0 2 x 2 n + 1 4 x 2 d x .
Proof. 
Now we sketch the proof in [40]. Let:
I n ( a ) = 0 a x n a 2 x 2 d x , n 0 .
Then I 0 = π 4 a 2 and:
I n ( a ) = a 2 n 1 n + 2 I n 2 ( a ) .
Using the telescopic method yields:
I 2 n ( a ) = π a 2 2 n + 2 ( 2 n ) ! n ! ( n + 1 ) ! and I 2 n + 1 ( a ) = a 2 n + 3 2 2 n + 1 ( 2 n + 3 ) ( 2 n + 2 ) ( 2 n + 1 ) n ! ( n + 1 ) ! ( 2 n ! ) .
Substituting (1) into the above equations and making use of Equation (11) result in:
C n = 1 π 2 a 2 n + 2 I 2 n ( a ) = 1 π 2 a 2 n + 2 0 a x 2 n a 2 x 2 d x
and:
1 C n = 1 a 2 n + 3 ( 2 n + 3 ) ( 2 n + 2 ) ( 2 n + 1 ) 2 2 n + 1 I 2 n + 1 ( a ) = 1 a 2 n + 3 ( 2 n + 3 ) ( 2 n + 2 ) ( 2 n + 1 ) 2 2 n + 1 0 a x 2 n + 1 a 2 x 2 d x .
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 1 C n .
Theorem 4
([41], Proposition 2.1). For n 0 , the Catalan numbers C n and their reciprocals 1 C n can be represented by:
C n = 2 2 n + 2 π 0 1 x 2 n 1 x 2 d x
and:
1 C n = ( 2 n + 3 ) ( 2 n + 2 ) ( 2 n + 1 ) 2 2 n + 1 0 1 x 2 n + 1 1 x 2 d x .
Proof. 
The sketch of the proof in [41] can be written as follows. For n 0 , let:
A n = 0 1 x n 1 x 2 d x .
By the substitution x = sin u for u 0 , π 2 , we can deduce:
A n = S n S n + 2 ,
where:
S n = 0 π / 2 sin n u d u .
Considering the well-known fact that:
S 2 p = π 2 2 p + 1 ( 2 p ) ! ( p ! ) 2
and using the Expression (1) derive:
A 2 p = π 2 2 p + 2 ( 2 p ) ! p ! ( p + 1 ) ! = π 2 2 p + 2 C p
and:
A 2 p + 1 = 2 2 p ( p ! ) 2 ( 2 p + 3 ) ( 2 p + 1 ) ! = 2 2 p + 1 ( 2 p + 3 ) ( 2 p + 2 ) ( 2 p + 1 ) 1 C p .
Accordingly, we acquire:
C p = 2 2 p + 2 π A 2 p = 2 2 p + 2 π 0 1 x 2 p 1 x 2 d x
and:
1 C p = ( 2 p + 3 ) ( 2 p + 2 ) ( 2 p + 1 ) 2 2 p + 1 A 2 p + 1 = ( 2 p + 3 ) ( 2 p + 2 ) ( 2 p + 1 ) 2 2 p + 1 0 1 x 2 p + 1 1 x 2 d x .
The integral representations (12) and (13) are thus proved. ☐
Theorem 5 
([41], Proposition 3.1). For n 0 , the Catalan numbers C n can be represented by:
C n = 2 2 n + 2 π 0 u 2 ( 1 + u 2 ) n + 2 d u .
The outline of the proof in [41]. 
Using the substitution u 2 = 1 x 2 1 produces:
A 2 p = 0 u 2 ( 1 + u 2 ) p d u .
Combining this with Equation (14) yields (15). ☐
The outline of the proof in [42]. 
It was stated in [43] that:
0 π / 2 sin t x d x = π 2 Γ t + 1 2 Γ t + 2 2 , t > 1 .
See also ([44], p. 16, Equation (2.18)). Then it is not difficult to obtain:
P n = 0 1 x n 1 x 2 d x = 0 π / 2 sin n u d u = π ( 2 p ) ! 2 2 p + 1 ( p ! ) 2 , n = 2 p ; 2 2 p ( p ! ) 2 ( 2 p + 1 ) ! , n = 2 p + 1 .
On the other hand, using three irrational substitutions u 2 = 1 x 2 1 , u 2 = 1 x 2 , and u = 1 x 1 + x to compute I n produces:
P n = 0 1 + u 2 ( n + 2 ) / 2 d u = 0 1 1 u 2 ( n 1 ) / 2 d u = 2 0 1 ( 1 u 2 ) n ( 1 + u 2 ) n + 1 d u
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:
0 x μ 1 ( p + q x ν ) n + 1 d x = 1 ν p n + 1 p q μ / ν B 1 + n μ ν , μ ν
for 0 < μ ν < n + 1 and p , q 0 . Setting p = q = 1 , μ = 3 , and ν = 2 and replacing n by n + 1 find:
0 x 2 ( 1 + x 2 ) n + 2 d x = 1 2 B 2 n + 1 2 , 3 2 = π 2 2 n + 2 C n ,
where we used in the last step the observation:
C n = 1 π 2 2 n + 1 B n + 1 2 , 3 2
in [45] (Remark 6.2, Equation (6.1)). The formula (15) is thus proved. ☐
Theorem 6 
([41], Proposition 4.1). For n 0 , the Catalan numbers C n can be represented by:
C n = 2 2 n + 5 π 0 1 u 2 ( 1 u 2 ) 2 n ( 1 + u 2 ) 2 n + 3 d u .
The outline of the proof in [41]. 
Taking the substitution u = 1 x 1 + x concludes:
A n = 8 0 1 u 2 ( 1 u 2 ) 2 ( 1 + u 2 ) n + 3 d u .
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 0 and a > 0 , the Catalan numbers C n can be represented by:
C n = 1 π 4 n n + 1 1 a 2 n + 1 a a x 2 n a + x a x d x = 1 π 2 2 n + 1 n + 1 1 a 2 n 0 a x 2 n a 2 x 2 d x = 1 π 2 2 n + 1 n + 1 0 π / 2 sin 2 n x d x
and:
C n = 1 π 2 2 n + 1 2 n + 1 1 a 2 n + 2 a a x 2 n + 1 a + x a x d x = 1 π 2 2 n + 2 2 n + 1 1 a 2 n + 2 0 a x 2 n + 2 a 2 x 2 d x = 1 π 2 2 n + 2 2 n + 1 0 π / 2 sin 2 n + 2 x d x .
Proof. 
We sketch the proof in [47]. Let a be a positive number. For n 0 , define:
J n = a a x n a + x a x d x .
Then:
J n = 1 2 a n + 1 [ 1 + ( 1 ) n ] B 1 2 , n + 1 2 + 1 + ( 1 ) n + 1 B 1 2 , n + 2 2
and:
J n = a n + 1 π 1 + ( 1 ) n n 1 B 1 2 , n 2 + 1 + ( 1 ) n + 1 n + 1 1 B 1 2 , n + 1 2 .
The Catalan numbers C n can be expressed in terms of the beta function B ( x , y ) by:
C n = 1 π 4 n n + 1 B 1 2 , n + 1 2 .
Taking n = 2 p in Equation (22) and utilizing Equation (24) lead to:
J 2 p = a 2 p + 1 B 1 2 , 2 p + 1 2 = a 2 p + 1 π p + 1 4 p C n
which is equivalent to:
C n = 4 n n + 1 1 a 2 n + 1 π J 2 n = 1 π 4 n n + 1 1 a 2 n + 1 a a x 2 n a + x a x d x .
The first Formula (20) thus follows.
By similar argument to the deduction of Equation (24), we can discover:
C n = 4 n + 1 ( 2 n + 1 ) ( 2 n + 2 ) 1 B 1 2 , n + 1 , n 0 .
Employing this identity and setting n = 2 p + 1 in Equation (23) figures out:
J 2 p + 1 = a 2 p + 2 2 π 2 p + 2 1 B 1 2 , p + 1 = a 2 p + 2 2 π 2 p + 2 ( 2 p + 1 ) ( 2 p + 2 ) 4 p + 1 C p
which can be rearranged as:
C p = 1 a 2 p + 2 1 π 2 2 p + 1 2 p + 1 J 2 p + 1 = 1 π 1 a 2 p + 2 2 2 p + 1 2 p + 1 a a x 2 p + 1 a + x a x d x .
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 Γ ( x ) , Shi, Liu, and Qi [23] established an integral representation for the Catalan function:
C x = 4 x Γ ( x + 1 / 2 ) π Γ ( x + 2 ) , x > 0 .
Theorem 8
([23], Theorem 1). For x 0 , the Catalan function C x can be represented by:
C x = e 3 / 2 4 x ( x + 1 / 2 ) x π ( x + 2 ) x + 3 / 2 exp 0 1 e t 1 1 t + 1 2 e t / 2 e 2 t t e x t d t .
Proof. 
This follows straightforwardly from applying the well-known formula:
ln Γ ( z ) = ln 2 π z z 1 / 2 e z + 0 1 e t 1 1 t + 1 2 e z t d t , ( z ) > 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 1 1 + 1 4 x 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 0 can be represented by:
C n = 1 π 0 t ( t + 1 / 4 ) n + 2 d t = 2 π 0 t 2 ( t 2 + 1 / 4 ) n + 2 d t .
Proof. 
The Catalan numbers C n can be generated by:
2 1 + 1 4 x = 1 1 4 x 2 x = n = 0 C n x n .
By virtue of the Cauchy integral formula in the theory of complex functions, we discover:
1 1 + 1 4 x = 1 2 π 0 t ( t + 1 / 4 ) ( t x + 1 / 4 ) d t
for x , 1 4 . Therefore, it follows that:
C n = 1 n ! lim x 0 d n d x n 2 1 + 1 4 x = 1 π 1 n ! lim x 0 d n d x n 0 t ( t + 1 / 4 ) ( t x + 1 / 4 ) d t = 1 π 0 t ( t + 1 / 4 ) n + 2 d t .
Further using the substitution 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 0 can be represented by:
C n = 2 π ( n + 1 ) 0 2 x 2 n 4 x 2 d x = 2 2 n + 1 π 0 1 1 t t t n d t .
Proof. 
Using the substitution x = a sin s for s 0 , π 2 and employing Equation (16) for t = n 0 reveal:
I n ( a ) = a n + 2 π Γ n 2 + 1 2 4 Γ n 2 + 2
for a > 0 and n 0 . Differentiating with respect to a on both sides of Equation (11) gives:
I n ( a ) = a 0 a x n a 2 x 2 d x .
On the other hand, differentiating with respect to a on both sides of Equation (29) results in:
I n ( a ) = π 4 ( n + 2 ) a n + 1 Γ n 2 + 1 2 Γ n 2 + 2 .
Combining Equation (30) with (31) and simplifying lead to:
0 a x n a 2 x 2 d x = π a n Γ n 2 + 1 2 n Γ n 2
for a > 0 and n 0 . The first representation in Equation (28) follows from combining:
C n = 4 n Γ n + 1 2 π Γ ( n + 2 ) , n 0
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 = k 2 1 + 2 n ( 1 k ) π ( n + 1 ) 0 2 x ( 2 n + 1 ) k 1 2 2 k x 2 k d x
for k > 0 and n 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 ) = Γ ( b ) Γ ( a ) b a z Γ ( z + a ) Γ ( z + b ) , ( a ) , ( b ) > 0 , ( z ) 0 .
It is clear that:
C ( b , a ; z ) = 1 C ( a , b ; z ) .
When taking x = n { 0 } N , we call the quantities C ( a , b ; n ) the Catalan–Qi numbers. It is easy to see that:
C 1 2 , 2 ; n = C n and C ( a , b ; n ) = b a n ( a ) n ( b ) n
for all n 0 , where:
( x ) n = = 0 n 1 ( x + ) = x ( x + 1 ) ( x + n 1 ) , n 1 1 , n = 0
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 = ( 2 n 1 ) ! ! ( 2 n ) ! ! = ( 2 n ) ! 2 2 n ( n ! ) 2 = 1 π Γ n + 1 / 2 Γ ( n + 1 ) , n N .
Hence, it is easy to see that:
C n = 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 0 , the Catalan–Qi function C ( a , b ; x ) has the integral representation:
C ( a , b ; x ) = 1 B ( a , b a ) b a x 0 1 e u b a 1 e ( x + a ) u d u .
Proof. 
This follows from combination of the definition (35) and the integral formula:
Γ ( z + a ) Γ ( z + b ) = 1 Γ ( b a ) 0 1 e u b a 1 e ( z + a ) u d u , b > a 0
in [48] (p. 67) for the ratio of two gamma functions Γ ( z + a ) and Γ ( z + b ) .
Theorem 12
([17], Theorem 4). For b > a > 0 and x 0 , the Catalan–Qi function C ( a , b ; x ) has integral representations:
C ( a , b ; x ) = a b b 1 1 B ( a , b a ) 0 b / a b a t b a 1 t x + a 1 d t
and:
C ( a , b ; x ) = a b a 1 B ( a , b a ) 0 t b a 1 ( t + a / b ) x + b d t .
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 ) = b a x B ( b , x + a ) B ( a , x + b )
and:
C ( a , b ; x ) = b a x B ( x + a , b a ) B ( a , b a ) .
Applying Equation (6) into the factor B ( x + a , b a ) = B ( b a , x + a ) in Equation (41) leads to:
C ( a , b ; x ) = b a x 1 B ( a , b a ) 0 1 t x + a 1 ( 1 t ) b a 1 d t = b a x 1 B ( a , b a ) 0 b / a a b s x + a 1 1 a b s b a 1 d a b s = a b b 1 1 B ( a , b a ) 0 b / a b a s b a 1 s x + a 1 d s
and:
C ( a , b ; x ) = b a x 1 B ( a , b a ) 0 t b a 1 ( 1 + t ) x + b d t = b a x 1 B ( a , b a ) 0 ( b s / a ) b a 1 ( 1 + b s / a ) x + b d b a s = a b a 1 B ( a , b a ) 0 s b a 1 ( s + a / b ) x + b d s
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 = 4 t in Equation (2), rearranging, and employing the first definition in Equation (6) yield:
C n = 1 2 π 0 1 4 4 t 4 t ( 4 t ) n d ( 4 t ) = 2 2 n + 1 π 0 1 ( 1 t ) 1 / 2 t n 1 / 2 d t = 2 2 n + 1 π B 3 2 , n + 1 2 .
On the other hand, letting a = 1 2 , b = 2 , and x = n 0 in Equation (41) and considering the first relation in Equation (37) give:
C n = 4 n 1 B 1 2 , 3 2 B n + 1 2 , 3 2 = 2 2 n + 1 π B 3 2 , n + 1 2 .
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 = 1 2 , b = 2 , and x = n 0 in Equation (39).

4.2. Discussing Equation (7)

By Equation (33) and Γ ( n + 1 ) = n ! , we obtain:
n ! C n = n ! 4 n Γ n + 1 2 π ( n + 1 ) ! = 4 n Γ n + 1 2 π ( n + 1 ) .
Combining this with Equation (7) and simplifying give:
Γ n + 1 2 = π ( n + 1 ) 0 1 2 erf x 2 + 1 π x e x / 4 1 2 x 4 n d x = 2 π ( n + 1 ) 0 erf t + e t π t 1 t n d t .
Hence, we guess that:
Γ x + 1 2 = 2 π ( x + 1 ) 0 erf t + e t π t 1 t x d t , x > 1 2
which is equivalent to:
Γ ( x ) = π ( 2 x + 1 ) 0 erf t + e t π t 1 t x 1 / 2 d t , x > 0 .
Actually, this can be derived from:
0 e t π t t x 1 / 2 d t = 1 π 0 e t t x 1 d t = Γ ( x ) π , x > 0 ,
by the definition (3), and:
0 erf t 1 t x 1 / 2 d t = 1 x + 1 / 2 0 erf t 1 d d t t x + 1 / 2 d t = 1 x + 1 / 2 0 erf t 1 t x + 1 / 2 d t = 1 x + 1 / 2 0 e t π t t x + 1 / 2 d t = 2 π ( 2 x + 1 ) 0 e t t x d t = 2 Γ ( x + 1 ) π ( 2 x + 1 ) , x > 1 2 ,
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 = 2 t , 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 = t in Equation (12) and by the first definition in Equation (6), we obtain:
C n = 2 2 n + 2 π 0 1 t n 1 t 1 2 t d t = 2 2 n + 1 π 0 1 t n 1 / 2 1 t d t = 2 2 n + 1 π B n + 1 2 , 3 2 .
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 = t in Equation (13) and by the first definition in Equation (6), we acquire:
1 C n = ( 2 n + 3 ) ( 2 n + 2 ) ( 2 n + 1 ) 2 2 n + 2 0 1 t n 1 t d t = ( 2 n + 3 ) ( 2 n + 2 ) ( 2 n + 1 ) 2 2 n + 2 B n + 1 , 3 2 .
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:
1 C n = π Γ ( n + 2 ) 4 n Γ n + 1 2 = π ( n + 1 ) n + 1 2 n + 3 2 Γ ( n + 1 ) Γ 3 2 4 n Γ 3 2 Γ n + 5 2 = ( 2 n + 3 ) ( 2 n + 2 ) ( 2 n + 1 ) 2 2 n + 2 B n + 1 , 3 2 = ( 2 n + 3 ) ( 2 n + 2 ) ( 2 n + 1 ) 2 2 n + 2 0 1 t n 1 t d t = ( 2 n + 3 ) ( 2 n + 2 ) ( 2 n + 1 ) 2 2 n + 1 0 1 x 2 n + 1 1 x 2 d x = ( 2 n + 3 ) ( 2 n + 2 ) ( 2 n + 1 ) 2 4 n + 4 0 2 x 2 n + 1 4 x 2 d x = ( 2 n + 3 ) ( 2 n + 2 ) ( 2 n + 1 ) 2 2 n + 1 1 a 2 n + 3 0 a x 2 n + 1 a 2 x 2 d x = ( 2 n + 3 ) ( 2 n + 2 ) ( 2 n + 1 ) 2 2 n + 2 1 a n + 3 / 2 0 a t n a t d t
for a > 0 and n 0 .

4.4. Discussing Equation (15)

Using the substitution u = t in Equation (15) and considering the second expression (6) produce:
2 2 n + 2 π 0 u 2 ( 1 + u 2 ) n + 2 d u = 2 2 n + 2 π 0 t ( 1 + t ) n + 2 1 2 t d t = 2 2 n + 1 π 0 t 1 / 2 ( 1 + t ) n + 2 d t = 2 2 n + 1 π B 3 2 , n + 1 2 = C n .
Hence, the integral representation (15) is proved once again.

4.5. Discussing Equation (19)

Letting t = 1 u 2 1 + u 2 in the integral of Equation (19) gives:
0 1 u 2 ( 1 u 2 ) 2 n ( 1 + u 2 ) 2 n + 3 d u = 0 1 1 t 1 + t 1 + t 2 3 t 2 n 1 ( 1 + t ) 2 1 + t 1 t d t = 1 8 0 1 t 2 n 1 t 2 d t = 1 16 0 1 s n 1 / 2 1 s d s = 1 16 B 3 2 , n + 1 2 = 1 16 π 2 2 n + 1 C n = π 2 2 n + 5 C n .
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 = u 4 in the first integral of Equation (26) and comparing with the second integral in Equation (6) gives:
0 t ( t + 1 / 4 ) n + 2 d t = 1 4 0 u / 4 ( u / 4 + 1 / 4 ) n + 2 d u = 2 2 n + 1 0 u ( 1 + u ) n + 2 d u = 2 2 n + 1 B 3 2 , n + 1 2 = π C n .
Thus, the integral representations in Equation (26) are proved alternatively.
When changing the variable of integration by t = 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:
0 2 x 2 n 4 x 2 d x = 0 2 2 t 2 n 4 2 t 2 d 2 t = 2 2 n 0 1 t n 1 t 1 2 t d t = 2 2 n 1 0 1 t n 1 / 2 ( 1 t ) 1 / 2 d t = 2 2 n 1 B n + 1 2 , 1 2 .
Then from Equation (24) it follows that:
0 2 x 2 n 4 x 2 d x = 2 2 n 1 π 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 = 1 2 , b = 2 , and x = n 0 , the integral representations (39) and (40) reduce to Equations (2) and (26) respectively.
Letting a = 1 2 , b = 2 , and x = n 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 Γ 1 2 = π , and the recurrence relation Γ ( x + 1 ) = x Γ ( x ) , it is easy to see that:
1 C n = π Γ ( n + 2 ) 4 n Γ n + 1 2 = n + 1 2 ( n + 1 ) 4 n Γ 1 2 Γ ( n + 1 ) Γ n + 3 2 = ( 2 n + 1 ) ( n + 1 ) 2 2 n + 1 B 1 2 , n + 1
which is different from the one in Equation (42). Indeed, the Catalan numbers C n and their reciprocals 1 C n can also be represented in terms of the beta functions B n + 1 2 , m + 1 2 and B n + , m + 1 2 for , m 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:
= 0 ( j 1 ) / 2 ( 1 ) j 1 C i 1 = j i 2 i j 1 i 1 , i j 1 .
This identity generalizes:
k = 0 n / 2 ( 1 ) k n k k 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 { μ n } 0 n is said to be completely monotonic if its elements are non-negative and its successive differences are alternatively non-negative, that is:
( 1 ) k Δ k μ n 0
for n , k 0 , where:
Δ k μ n = m = 0 k ( 1 ) m k m μ n + k m .
Recall from [61] (p. 163, Definition 14a) that a completely monotonic sequence { a n } n 0 is minimal if it ceases to be completely monotonic when a 0 is decreased.
Let λ = ( λ 1 , λ 2 , , λ n ) R n and μ = ( μ 1 , μ 2 , , μ n ) R n . A sequence λ is said to be majorized by μ (in symbols λ μ ) if:
= 1 k λ [ ] = 1 k μ [ ] , k = 1 , 2 , , n 1 and = 1 n λ = = 1 n μ ,
where λ [ 1 ] λ [ 2 ] λ [ n ] and μ [ 1 ] μ [ 2 ] μ [ n ] are respectively the components of λ and μ in decreasing order. A sequence λ is said to be strictly majorized by μ (in symbols λ μ ) if λ is not a permutation of μ . For example:
1 n , , 1 n n 1 n 1 , , 1 n 1 n 1 , 0 1 n 2 , , 1 n 2 n 2 , 0 , 0 1 3 , 1 3 , 1 3 , 0 , , 0 1 2 , 1 2 , 0 , , 0 ( 1 , 0 , , 0 ) .
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 C n 4 n n 0 is completely monotonic and minimal.
Theorem 14
([49], Theorem 1.4). If m 1 and a 0 , a 1 , , a m be non-negative integers, then:
C a 0 4 a 0 m 1 C k = 0 m a k 4 k = 0 m a k k = 1 m C a 0 + a k 4 a 0 + a k and C a i + a j 4 a i + a j m 0 ,
where | e k j | m denotes a determinant of order m with elements e k j .
Theorem 15
([49], Theorem 1.5). Let m N and let n and a k for 1 k m be non-negative integers. Then the Catalan numbers C n satisfy:
( 1 ) a i + a j C n + a i + a j m 0 and C n + a i + a j m 0 ,
where:
C = ! C , 0 .
Theorem 16
([49], Theorem 1.6). Let m N and let λ and μ be two m-tuples of non-negative integers such that λ μ . Then:
i = 1 m C n + λ i i = 1 m C n + μ i ,
where C is defined by (44). Consequently,
1. 
the infinite sequence { C n } n 0 is logarithmically convex,
2. 
the inequality C + k n C + n k C n k is valid for 0 and n > k > 0 .
Theorem 17
([49], Theorem 1.7). If 0 , n k m , k n k , and m n m , then:
C + k C + n k C + m C + n m ( + m ) ! ( + n m ) ! ( + k ) ! ( + n k ) ! .
For n , m N and 0 , let:
G n , m , = C + n + 2 m ( C ) 2 C + n + m C + m C C + n C + 2 m C + C + n ( C + m ) 2 , H n , m , = C + n + 2 m ( C ) 2 2 C + n + m C + m C + C + n ( C + m ) 2 , I n , m , = C + n + 2 m ( C ) 2 2 C + n C + 2 m C + C + n ( C + m ) 2 ,
where C is defined by Equation (44). Then:
G n , m , 0 , H n , m , 0 , H n , m , G n , m , when m n ,
and:
I n , m , G n , m , 0 when n 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 ( 1 ) k f ( k ) ( x ) < on I for all k 0 . It is known [61] (p. 161, Theorem 12b) that a function f is completely monotonic on ( 0 , ) if and only if it is a Laplace transform f ( t ) = 0 e t s d μ ( s ) of a positive measure μ defined on [ 0 , ) such that the above integral converges on ( 0 , ) .
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 ) = 1 B ( a , b a ) b a x k = 0 ( 1 ) k b a 1 k k ! 1 x + a + k ,
where:
x n = k = 0 n 1 ( x k ) = x ( x 1 ) ( x n + 1 ) , n 1 1 , n = 0
is the falling factorial. Consequently, the function:
( 1 ) b a a b x C ( a , b ; x ) 1 B ( a , b a ) k = 0 N ( 1 ) k b a 1 k k ! 1 x + a + k
for N { 0 } N and b > a > 0 is completely monotonic in x [ 0 , ) , where x 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 | x | < 4 , we have:
n = 0 x n C n = 1 + x ( 4 x ) 3 / 2 + 6 x ( 4 x ) 1 / 2 + 24 x arcsin x 2 ( 4 x ) 5 / 2 , 0 x < 4 ; 1 | x | ( 4 x ) 3 / 2 + 6 | x | ( 4 x ) + 24 | x | ln x + 4 x 2 ( 4 x ) 5 / 2 , 4 < x 0 .
Proof. 
We reformulate the proof by Koshy and Gao in [65] as follows. Denote:
f ( x ) = n = 0 x n C n .
Then:
f ( x ) = n = 1 n x n 1 C n = n = 0 n + 1 C n + 1 x n .
Since n + 2 C n = 4 n + 2 C n + 1 , by the recurrence relation, this yields:
n = 0 n + 2 C n x n = n = 0 4 n + 2 C n + 1 x n , n = 0 n C n x n + 2 n = 0 x n C n = n = 0 4 ( n + 1 ) C n + 1 x n 2 n = 0 x n C n + 1 , x f ( x ) + 2 f ( x ) = 4 f ( x ) 2 x [ f ( x ) 1 ] ,
and:
x ( x 4 ) f ( x ) + 2 ( x + 1 ) f ( x ) = 2 .
For x 0 , set g ( x ) = 4 x x 3 / 2 . Then g ( x ) g ( x ) = 6 x ( 4 x ) . This implies that:
[ x ( x 4 ) g ( x ) ] = 2 ( x + 1 ) g ( x ) .
Multiplying Equation (47) by g ( x ) , we obtain:
x ( x 4 ) f ( x ) g ( x ) + 2 ( x + 1 ) f ( x ) g ( x ) = 2 g ( x ) .
Using Equation (48), this can be rewritten as:
[ x ( x 4 ) f ( x ) g ( x ) ] = 2 g ( x ) .
Using Equation (48) again gives:
{ x ( x 4 ) [ f ( x ) 1 ] g ( x ) } = [ x ( x 4 ) f ( x ) g ( x ) ] [ x ( x 4 ) g ( x ) ] = 2 g ( x ) 2 ( x + 1 ) g ( x ) = 2 x g ( x ) .
Consequently:
x ( x 4 ) [ f ( x ) 1 ] g ( x ) = 2 x g ( x ) d x + α 1 and f ( x ) = 1 + 2 x g ( x ) d x α 1 x ( 4 x ) g ( x ) ,
where α 1 is a constant.
For 0 < x < 4 , we have:
x g ( x ) d x = x 4 x x 3 / 2 d x = ( 4 x ) 3 / 2 x 1 / 2 d x = 2 4 u 2 3 / 2 d u x = u 2 = 1 2 u 4 u 2 3 / 2 + 3 u 4 u 2 1 / 2 + 12 arcsin u 2 + α 2 = 1 2 x ( 4 x ) 3 / 2 + 3 x ( 4 x ) 1 / 2 + 12 arcsin x 2 + α 2 ,
where α 2 is also a constant. Therefore, we have:
f ( x ) = 1 + x ( 4 x ) 3 / 2 + 6 x ( 4 x ) 1 / 2 + 24 arcsin x 2 + 2 α 2 α 1 x ( 4 x ) 4 x x 3 / 2 = 1 + x ( 4 x ) 3 / 2 + 6 x ( 4 x ) 1 / 2 + 24 x arcsin x 2 + α x ( 4 x ) 5 / 2 ,
where α = 2 α 2 α 1 . Since f ( 0 ) = 1 = f ( 0 ) , we have α = 0 . Thus, the desired result for 0 < x < 4 is proved.
For 4 < x < 0 , by similar argument to the above, we acquire:
x g ( x ) d x = 1 2 | x | ( 4 x ) 3 / 2 + 3 | x | ( 4 x ) + 12 ln | x | + | 4 x | + α 3
and:
f ( x ) = 1 | x | ( 4 x ) 3 / 2 + 6 | x | ( 4 x ) + 24 | x | ln x + 4 x α 4 ( 4 x ) 5 / 2 .
From f ( 0 ) = 1 = f ( 0 ) , 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:
n = 0 2 n C n = 5 + 3 2 π and n = 0 3 n C n = 22 + 8 3 π .
In 2016, Abel [67] answered this problem by proving a general result below.
Theorem 20
([66,67]). For 0 x < 4 , we have:
n = 0 x n C n = 1 x ( x 10 ) ( 4 x ) 2 + 24 x ( 4 x ) 5 / 2 arctan x 4 x .
Proof. 
We slightly modify the proof in [67] as follows. Using the beta integral:
0 1 t m ( 1 t ) n d t = m ! n ! ( m + n + 1 ) !
gives:
n = 0 x n C n = 1 + n = 1 n ( n + 1 ) ( n 1 ) ! n ! ( 2 n ) ! x n = 1 + n = 1 n ( n + 1 ) x n 0 1 t n 1 ( 1 t ) n d t = 1 + 0 1 n = 1 n ( n + 1 ) x n t n 1 ( 1 t ) n d t
for | x | < 4 . Further using:
n = 1 n ( n + 1 ) z n = 2 z ( 1 z ) 3
produces:
n = 0 x n C n = 1 + 2 x 0 1 1 t [ 1 x t ( 1 t ) ] 3 d t .
Direct calculation of the integral yields the result (49). ☐

6.3. Lehmer’s Result

The editorial comment in [67] listed the formulas:
n = 0 1 C n = 2 + 4 π 9 3 , n = 0 ( 1 ) n C n = 14 25 24 5 125 ln 1 + 5 2 , n = 0 ( 2 ) n C n = 1 3 1 3 3 ln 2 + 3 , n = 0 ( 3 ) n C n = 10 49 36 49 21 ln 5 + 21 2 .
The editorial comment in [67] also pointed out that the result (45) had existed in [65], that the sum:
n = 0 x n C n = 2 4 x ( 8 + x ) + 12 x arctan x 4 x ( 4 x ) 5
can be found on the website http://planetmath.org/, and that the problem by Beckwith and Harbor [66] can be solved easily from:
n = 1 2 n 2 n n = π 2 + 1 , n = 1 n 2 n 2 n n = π + 3 , n = 1 3 n 2 n n = 4 π 3 3 + 3 , n = 1 n 3 n 2 n n = 20 π 3 3 + 18
which are special cases of the general formula in [68] (p. 452, Theorem) below.
Theorem 21
([68], p.452, Theorem). For | x | < 1 , we have:
2 x arcsin x 1 x 2 = m = 1 ( 2 x ) 2 m m 2 m m .
Proof. 
Making use of the familiar Gregory series:
t arctan t = m = 1 ( 1 ) m 1 t 2 m 2 m 1
and setting t = x 1 x 2 yields arctan t = arcsin x and:
x 1 x 2 arcsin x = m = 1 ( 1 ) m 1 x 2 m ( 2 m 1 ) ( 1 x 2 ) m = m = 1 ( 1 ) m 1 2 m 1 j = 0 ( 1 ) j m j x 2 ( j + m ) = m = 1 ( 1 ) m 1 2 m 1 j = 0 m + j 1 j x 2 ( j + m ) = r = 1 x 2 r m = 1 r ( 1 ) m 1 ( r 1 ) ! ( m 1 ) ! ( r m ) ! ( 2 m 1 ) .
Using Wallis’ integral:
0 π / 2 ( sin θ ) 2 r 1 d θ = 2 · 4 · 6 ( 2 r 2 ) 1 · 3 · 5 ( 2 r 1 )
results in:
r 2 r r ν = 0 r 1 ( 1 ) ν r 1 ν 1 2 ν + 1 = r 2 r r 0 1 ν = 0 r 1 ( 1 ) ν r 1 ν y 2 ν d y = r 2 r r 0 1 ( 1 y 2 ) r 1 d y = r 2 r r 0 π / 2 sin 2 r 1 θ d θ = 2 2 r 1 .
The sum (51) is thus proved. ☐
From Equation (51), Lehmer [68] also derived:
2 ( arcsin x ) 2 = m = 1 ( 2 x ) 2 m m 2 2 m m , m = 1 ( 2 x ) 2 m m 3 2 m m = 4 0 x ( arcsin y ) 2 y d y
and gave a recursive formula for:
m = 1 m k 2 ( 2 x ) 2 m 2 m m .
Lehmer [68] (p. 454) pointed out that there are no known sum for interesting series of the form m = 1 1 m k 2 m m for k 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:
n = 0 z n C n = 2 F 1 1 , 2 ; 1 2 ; z 4 = 2 ( z + 8 ) ( 4 z ) 2 + 24 z ( 4 z ) 5 / 2 arcsin z 2 , | z | < 4
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 , , a p ; b 1 , , b q ; z ) = n = 0 ( a 1 ) n ( a p ) n ( b 1 ) n ( b q ) n z n n !
defined for complex numbers a i C and b i C { 0 , 1 , 2 , } , for positive integers p , q N , and in terms of the rising factorial:
( x ) n = = 0 n 1 ( x + ) = x ( x + 1 ) ( x + n 1 ) , n 1 ; 1 , n = 0 .
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 x 4 x = arcsin x 2
for 0 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 0 , we have the finite sums:
n = 0 k C n 2 2 n = 2 π B 1 2 , 1 2 B 1 2 , k + 3 2
and:
n = 0 k 2 2 n ( n + 1 ) ( 2 n + 1 ) ( 2 n + 3 ) 1 C n = 1 2 π B 1 2 , 1 2 B 1 2 , k + 3 2 .
Consequently, we have the infinite series:
n = 0 C n 2 2 n = 2 and n = 0 2 2 n ( n + 1 ) ( 2 n + 1 ) ( 2 n + 3 ) 1 C n = 1 .
Proof. 
Dividing the integral representations (12) and (13) and summing up over 0 n k give:
n = 0 k C n 2 2 n + 2 = 1 π 0 1 n = 0 k x 2 n 1 x 2 d x = 1 π 0 1 1 x 2 ( k + 1 ) 1 x 2 1 x 2 d x = 1 π 0 1 1 x 2 k + 2 1 x 2 1 / 2 d x = 1 2 π 0 1 t 1 / 2 t k + 1 / 2 ( 1 t ) 1 / 2 d t = 1 2 π B 1 2 , 1 2 B k + 3 2 , 1 2 1 2 π B 1 2 , 1 2 = 1 2
and:
n = 0 k 2 2 n + 1 ( 2 n + 3 ) ( 2 n + 2 ) ( 2 n + 1 ) 1 C n = 0 1 n = 0 k x 2 n + 1 1 x 2 d x = 0 1 x 1 x 2 k + 2 1 x 2 1 x 2 d x = 1 2 0 1 1 t k + 1 ( 1 t ) 1 / 2 d t = 1 2 B 1 2 , 1 B 1 2 , k + 2 1 2 B 1 2 , 1 = 1
as k .
Similarly, from Equations (15) and (19), it follows that:
n = 0 k C n 2 2 n + 2 = 1 π 0 n = 0 k u 2 ( 1 + u 2 ) n + 2 d u = 1 π 0 1 1 + u 2 1 ( 1 + u 2 ) k + 2 d u = 1 2 1 2 π 0 t 1 / 2 ( 1 + t ) k + 2 d t = 1 2 1 2 π B 1 2 , k + 3 2 1 2
and:
n = 0 k C n 2 2 n + 5 = 1 π 0 1 u 2 ( 1 + u 2 ) 3 n = 0 k 1 u 2 1 + u 2 2 n d u = 1 π 0 1 u 2 ( 1 + u 2 ) 3 1 1 u 2 1 + u 2 2 k + 2 1 1 u 2 1 + u 2 2 d u = 1 π 0 1 1 t 1 + t 1 + t 2 3 1 t 2 k + 2 1 t 2 1 ( 1 + t ) 2 1 + t 1 t d t = 1 8 π 0 1 1 t 2 k + 2 1 t 2 d t = 1 16 π 0 1 1 s k + 1 1 s 1 s d s = 1 16 π 0 1 ( 1 s ) 1 / 2 s 1 / 2 d s 0 1 s k + 1 / 2 ( 1 s ) 1 / 2 d s = 1 16 π B 1 2 , 1 2 B 1 2 , k + 3 2 1 16
as k . 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 0 , we have:
n = 0 k n + 1 2 2 n C n = 2 B 1 2 , k + 1 , n = 0 k 2 n + 1 2 2 n C n = 2 1 B 1 2 , k + 2 1 ,
and:
n = 0 k 2 2 n ( 2 n + 1 ) ( n + 1 ) 1 C n = ( k + 1 ) B 1 2 , k + 1 1 .
When k , these three series diverge.
Proof. 
Applying the last expressions in Equations (20) and (21) yields:
n = 0 k n + 1 2 2 n C n = 2 π 0 π / 2 n = 0 k sin 2 n x d x = 2 π 0 π / 2 1 sin 2 k + 2 x cos 2 x d x = 2 π π Γ k + 3 2 Γ ( k + 1 ) = 2 B 1 2 , k + 1
and:
n = 0 k 2 n + 1 2 2 n C n = 4 π 0 π / 2 n = 0 k sin 2 n + 2 x d x = 4 π 0 π / 2 tan 2 x 1 sin 2 k + 2 x d x = 4 π π Γ k + 5 2 Γ ( k + 2 ) π 2 = 4 Γ k + 5 2 π Γ ( k + 2 ) 1 2 = 2 1 B 1 2 , k + 2 1
as k .
From Equation (43), it follows that:
2 2 n + 1 ( 2 n + 1 ) ( n + 1 ) 1 C n = B 1 2 , n + 1 = 0 1 ( 1 t ) 1 / 2 t n d t .
Summing up over n from 0 to k leads to:
n = 0 k 2 2 n + 1 ( 2 n + 1 ) ( n + 1 ) 1 C n = 0 1 ( 1 t ) 1 / 2 n = 0 k t n d t = 0 1 ( 1 t ) 1 / 2 1 t k + 1 1 t d t = 0 1 ( 1 t ) 3 / 2 1 t k + 1 d t = 2 0 1 1 t k + 1 ( 1 t ) 1 / 2 d t = 2 + 2 ( k + 1 ) 0 1 t k ( 1 t ) 1 / 2 d t = 2 ( k + 1 ) B 1 2 , k + 1 1
as k . 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 1 C n of the Catalan numbers C n satisfy:
n = 0 z n ( n + 1 ) C n = n = 0 z n 2 n n = 4 4 z + 4 z ( 4 z ) 3 / 2 arcsin z 2 , | z | < 4 ,
n = 0 z n ( 2 n + 1 ) C n = 2 4 z + 8 z ( 4 z ) 3 / 2 arcsin z 2 , | z | < 4 ,
and:
n = 0 z n ( 2 n + 1 ) ( n + 1 ) C n = 4 z ( 4 z ) arcsin z 2 , | z | < 4 .
Proof. 
Integrating on both sides of Equation (52) from 0 to t with | t | < 4 yields:
n = 0 t n + 1 ( n + 1 ) C n = 0 t 24 ( 4 z ) 2 d z 0 t 2 4 z d z + 0 t 24 z ( 4 z ) 5 / 2 arcsin z 2 d z = 6 t 4 t + 2 ln ( 4 t ) 4 ln 2 + 0 arcsin t 2 24 4 sin 2 s 4 4 sin 2 s 5 / 2 8 sin s cos s arcsin 4 sin 2 s 2 d s = 6 t 4 t + 2 ln ( 4 t ) 4 ln 2 + 12 0 arcsin t 2 sin 2 s cos 4 s s d s = 6 t 4 t + 2 ln ( 4 t ) 4 ln 2 + 4 0 arcsin t 2 s tan 3 s d s = 6 t 4 t + 2 ln ( 4 t ) 4 ln 2 + 4 arcsin t 2 tan 3 arcsin t 2 4 0 arcsin t 2 tan 3 s d s = 6 t 4 t + 2 ln ( 4 t ) 4 ln 2 + 4 t 3 / 2 ( 4 t ) 3 / 2 arcsin t 2 4 0 arcsin t 2 tan s sec 2 s tan s d s = 6 t 4 t + 2 ln ( 4 t ) 4 ln 2 + 4 t 3 / 2 ( 4 t ) 3 / 2 arcsin t 2 4 t 8 2 t + 4 ln 2 1 2 ln ( 4 t ) = 4 t 4 t + 4 t 3 / 2 ( 4 t ) 3 / 2 arcsin t 2 .
The Equality (54) is thus proved.
The Formula (52) can be rewritten as:
n = 0 z 2 n C n = 2 ( z 2 + 8 ) ( 4 z 2 ) 2 + 24 z ( 4 z 2 ) 5 / 2 arcsin z 2 , | z | < 2 .
Integrating on both sides of the above equality gives:
n = 0 t 2 n + 1 ( 2 n + 1 ) C n = 0 t 2 ( z 2 + 8 ) ( 4 z 2 ) 2 + 24 z ( 4 z 2 ) 5 / 2 arcsin z 2 d z = 3 t 4 t 2 + 1 4 ln 2 + t 2 t + 3 0 arcsin ( t / 2 ) sin u cos 4 u u d u = 3 t 4 t 2 + 1 4 ln 2 + t 2 t + 8 ( 4 t 2 ) 3 / 2 arcsin t 2 0 arcsin ( t / 2 ) 1 cos 3 u d u = 3 t 4 t 2 + 1 4 ln 2 + t 2 t + 8 ( 4 t 2 ) 3 / 2 arcsin t 2 t 4 t 2 1 4 ln 2 + t 2 t = 2 t 4 t 2 + 8 ( 4 t 2 ) 3 / 2 arcsin t 2
which can be rewritten as Equation (55).
Since 1 ( 2 n + 1 ) ( n + 1 ) = 2 2 n + 1 1 n + 1 , by Equations (54) and (55), we have:
n = 0 x n ( 2 n + 1 ) ( n + 1 ) C n = n = 0 2 x n ( 2 n + 1 ) C n x n ( n + 1 ) C n = n = 0 2 x n ( 2 n + 1 ) C n n = 0 x n ( n + 1 ) C n = 4 z ( 4 z ) arcsin z 2 .
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 0 , we have:
n = 0 1 C n x n n ! = 1 + 1 4 x + π 8 ( x + 6 ) x e x / 4 erf x 2 .
Proof. 
In [21] (Theorem 1.5), it was obtained that:
n = 0 C ( a , b ; n ) x n n ! = 1 F 1 a ; b ; b a x .
Letting a = 2 and b = 1 2 in Equation (56) gives:
n = 0 1 C n x n n ! = 1 F 1 2 ; 1 2 ; x 4 .
Since:
erf ( x ) = 2 π e x 2 n = 0 2 k z 2 n + 1 ( 2 n + 1 ) ! !
see [34] (p. 889, 8.253) or [32] (p. 162, 7.6.2), it is straightforward to verify that:
1 F 1 2 ; 1 2 ; x 4 = 1 + 1 4 x + π 8 ( x + 6 ) x e x / 4 erf x 2 .
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:
2 F 1 a , 1 ; b ; b t a = n = 0 C ( a , b ; n ) t n , a , b > 0 ;
n = 1 a b n C ( a , b ; n ) = a b a 1 , b > a + 1 > 1 ;
and:
n = 0 C ( a , b ; n ) x 2 n ( 2 n ) ! = 1 F 2 a ; 1 2 , b ; b 4 a x 2 , a , b > 0
were also established in the papers [13] (Theorem 1) and [17] (Theorem 10).
In [24], among other things, it was obtained that:
n = 0 ( n + 1 ) ( 2 n ) ! ! C n 4 n ( 2 n + 1 ) 2 ( 2 n + 1 ) ! ! = 7 8 ζ ( 3 )
and:
n = 0 x n C n = 24 x ( 4 x ) 5 / 2 ln x + 4 x 2 + 2 x ( 4 x ) 2 + 1 , x ( 4 , 0 ] ,
where ζ ( z ) denotes the Riemanian zeta function:
ζ ( s ) = k = 1 1 k s , ( s ) > 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:
h x 2 = m = 1 ( 2 x ) 2 m m 2 m m = m = 1 ( 2 x ) 2 m m ( m + 1 ) C m = m = 1 ( 2 x ) 2 m m ( m + 1 ) C 1 2 , 2 ; m = m = 1 ( 2 x ) 2 m m ( m + 1 ) C 2 , 1 2 , ; m = m = 1 ( 2 x ) 2 m m ( m + 1 ) 1 4 m ( 2 ) m 1 2 m = m = 1 ( 2 ) m 1 2 m x 2 m m ( m + 1 ) = m = 1 ( 2 ) m 1 2 m x 2 m m ( m + 1 ) = m = 1 ( 2 ) m 1 2 m x 2 m m 1 x 2 m = 1 ( 2 ) m 1 2 m x 2 m + 1 m + 1 h 1 x 2 1 x 2 h 2 x 2 .
Differentiation and utilization of Equation (53) reveal:
h 1 ( t ) = m = 1 ( 2 ) m 1 2 m t m 1 = 1 t m = 0 ( 2 ) m 1 2 m t m 1 = 1 t m = 0 ( 2 ) m m ! 1 2 m t m m ! 1 = 1 t m = 0 ( 2 ) m ( 1 ) m 1 2 m t m m ! 1 = 1 t 2 F 1 1 , 2 ; 1 2 ; t 1
and:
h 2 ( t ) = m = 1 ( 2 ) m 1 2 m t m = m = 1 ( 2 ) m ( 1 ) m 1 2 m t m m ! = 2 F 1 1 , 2 ; 1 2 ; t 1 .
Accordingly, we obtain:
h ( t ) = h 1 ( t ) 1 t h 2 ( t ) = h 1 ( t ) t h 2 ( t ) h 2 ( t ) t 2 = 1 t 2 F 1 1 , 2 ; 1 2 ; t 1 h 2 ( t ) t + h 2 ( t ) t 2 = 1 t 2 F 1 1 , 2 ; 1 2 ; t 1 1 t 2 F 1 1 , 2 ; 1 2 ; t 1 + h 2 ( t ) t 2 = h 2 ( t ) t 2 .
This implies that:
t 2 h ( t ) = h 2 ( t ) = 2 F 1 1 , 2 ; 1 2 ; t 1 .
Combining this with the right equality in Equation (52) leads to:
t 2 h ( t ) + 1 = 2 ( 4 t + 8 ) ( 4 4 t ) 2 + 24 4 t ( 4 4 t ) 5 / 2 arcsin 4 t 2 = t + 2 2 ( 1 t ) 2 + 3 t 2 ( 1 t ) 5 / 2 arcsin t .
Integrating with respect to t over [ 0 , x ] for 0 < x < 1 yields:
x 2 h ( x ) + x = 0 x t + 2 2 ( 1 t ) 2 + 3 t 2 ( 1 t ) 5 / 2 arcsin t d t = 3 x 2 ( 1 x ) + 1 2 ln ( 1 x ) + 3 0 x s 2 ( 1 s 2 ) 5 / 2 arcsin s d s = 3 x 2 ( 1 x ) + 1 2 ln ( 1 x ) + 3 0 arcsin x u sin 2 u cos u ( 1 sin 2 u ) 5 / 2 d u = 3 x 2 ( 1 x ) + 1 2 ln ( 1 x ) + 3 0 arcsin x u sin 2 u cos 4 u d u = 3 x 2 ( 1 x ) + 1 2 ln ( 1 x ) + 0 arcsin x u tan 3 u d u = 3 x 2 ( 1 x ) + 1 2 ln ( 1 x ) + arcsin x tan 3 arcsin x 0 arcsin x tan 3 u d u = 3 x 2 ( 1 x ) + 1 2 ln ( 1 x ) + x 3 / 2 ( 1 x ) 3 / 2 arcsin x 0 arcsin x tan u sec 2 u tan u d u = 3 x 2 ( 1 x ) + 1 2 ln ( 1 x ) + x 3 / 2 ( 1 x ) 3 / 2 arcsin x 1 2 sec 2 arcsin x ln cos arcsin x + 1 2 = 2 x + 1 2 ( 1 x ) + 1 2 ln ( 1 x ) + x 3 / 2 ( 1 x ) 3 / 2 arcsin x 1 2 ( 1 x ) 1 2 ln 1 x = x 1 x + x 3 / 2 ( 1 x ) 3 / 2 arcsin x .
Furthermore, similarly integrating gives:
h ( t ) = 0 t 1 x 2 x 1 x + x 3 / 2 ( 1 x ) 3 / 2 arcsin x x d x = 0 t 1 1 x + 1 x 1 / 2 ( 1 x ) 3 / 2 arcsin x d x = ln ( 1 t ) + 0 arcsin t 2 s sin s cos s 1 sin 2 s 3 / 2 sin s d s = ln ( 1 t ) + 2 0 arcsin t s cos 2 s d s = ln ( 1 t ) + 2 arcsin t tan arcsin t 2 0 arcsin t tan s d s = ln ( 1 t ) + 2 t 1 t arcsin t + 2 ln cos arcsin t = 2 t 1 t arcsin t .
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:
m = 1 ( 2 x ) 2 m m 2 m m = 2 x arcsin x 1 x 2 , | x | < 1 .
This can be rearranged as:
m = 1 ( 2 x ) 2 m m ( m + 1 ) C m = 2 x arcsin x 1 x 2 , | x | < 1 .
Remark 3.
Letting a = 1 2 and b = 2 in Equation (57) and comparing with Equation (27) leads to:
2 F 1 1 2 , 1 ; 2 ; 4 x = 1 1 4 x 2 x , | x | 1 4 .
This can also be deduced from the formula:
2 F 1 ( a , b ; c ; z ) = 1 B ( b , c b ) 0 1 t b 1 ( 1 t ) c b 1 ( 1 t z ) a d t , ( c ) > ( b ) > 0
in [70] (p. 558, 15.3.1) and [34] (9.111).
Remark 4.
Letting a = 1 2 and b = 2 in Equation (58) gives:
n = 1 C n 4 n = 1
which can be rewritten as:
n = 0 ( 2 n + 1 ) ! ! ( 2 n + 4 ) ! ! = 1 2 .
Remark 5.
Taking a = 2 and b = 1 2 in Equation (59) results in:
n = 0 1 C n x 2 n ( 2 n ) ! = 1 F 2 2 ; 1 2 , 1 2 ; x 2 16 = 1 + π 16 x x L 1 x 2 + 6 L 0 x 2 ,
where:
L ν = z 2 ν + 1 n = 0 1 Γ n + 3 2 Γ n + ν + 3 2 z 2 2 n
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].

Acknowledgments

The authors are thankful to Wei-Dong Jiang (Weihai Vocational University, China), to Chun-Na Zeng (Chongqing Normal University, China), and to Victor H. Moll (Tulane University, USA) for their kind helps in October 2016 to find and supply the formally published versions of the papers [67,69].

Author Contributions

The authors contributed equally to this work.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Larcombe, P. On the history of the Catalan numbers: A first record in China. Math. Today (Southend-on-Sea) 1999, 35, 89. [Google Scholar]
  2. Larcombe, P.J. The 18th century Chinese discovery of the Catalan numbers. Math. Spectr. 1999/2000, 32, 5–7. [Google Scholar]
  3. Liu, J.J. Ming Antu and Catalan numbers. J. Math. Res. Expos. 2002, 22, 589–594. (In Chinese) [Google Scholar]
  4. Luo, J.J. Ming Antu, the first discoverer of the Catalan numbers. Neimenggu Daxue Xuebao 1988, 19, 239–245. (In Chinese) [Google Scholar]
  5. Luo, J.J. Catalan numbers in the history of mathematics in China. In Combinatorics and Graph Theory (Hefei, 1992); World Scientific Publishing: River Edge, NJ, USA, 1993; pp. 68–70. [Google Scholar]
  6. Luo, J.J. Ming Antu and his power series expansions. In Seki, Founder of Modern Mathematics in Japan; Springer Proceedings in Mathematics and Statistics; Springer: Tokyo, Japan, 2013; Volume 39, pp. 299–310. [Google Scholar] [CrossRef]
  7. Ma, X.R. Notes on a result due to Ming Antu. J. Math. Res. Expos. 2002, 22, 595–598. (In Chinese) [Google Scholar]
  8. Ma, X.R. The general solution of Ming Antu’s problem. Acta Math. Sin. (Engl. Ser.) 2004, 20, 157–162. [Google Scholar] [CrossRef]
  9. Te, G.S. Catalan numbers in the Xiang shu yi yuan. In Collected Research Papers on the History of Mathematics; Inner Mongolia University Press: Hohhot, China, 1991; Volume 2, pp. 105–112. (In Chinese) [Google Scholar]
  10. Liu, F.-F.; Shi, X.-T.; Qi, F. A logarithmically completely monotonic function involving the gamma function and originating from the Catalan numbers and function. Glob. J. Math. Anal. 2015, 3, 140–144. [Google Scholar] [CrossRef]
  11. Qi, F.; Akkurt, A.; Yildirim, H. Catalan numbers, k-gamma and k-beta functions, and parametric integrals. J. Comput. Anal. Appl. 2018, 25, 1036–1042. [Google Scholar]
  12. Qi, F.; Cerone, P. Several Expressions, Some Properties, and a Double Inequality of the Fuss–Catalan Numbers; ResearchGate Research: Berlin, Germany, 2015. [Google Scholar] [CrossRef]
  13. Mahmoud, M.; Qi, F. Three identities of the Catalan–Qi numbers. Mathematics 2016, 4, 35. [Google Scholar] [CrossRef]
  14. Qi, F.; Guo, B.-N. Logarithmically complete monotonicity of a function related to the Catalan–Qi function. Acta Univ. Sapientiae Math. 2016, 8, 93–102. [Google Scholar] [CrossRef]
  15. Qi, F.; Guo, B.-N. Logarithmically complete monotonicity of Catalan–Qi function related to Catalan numbers. Cogent Math. 2016, 3, 1179379. [Google Scholar] [CrossRef]
  16. Qi, F.; Guo, B.-N. Some properties and generalizations of the Catalan, Fuss, and Fuss–Catalan numbers. In Mathematical Analysis and Applications: Selected Topics; Dutta, H., Ruzhansky, M., Agarwal, R.P., Eds.; Wiley: Hoboken, NJ, USA; ResearchGate Research: Berlin, Germany, 2015. [Google Scholar] [CrossRef]
  17. Qi, F.; Mahmoud, M.; Shi, X.-T.; Liu, F.-F. Some properties of the Catalan–Qi function related to the Catalan numbers. SpringerPlus 2016, 5, 1126. [Google Scholar] [CrossRef] [PubMed]
  18. Qi, F.; Shi, X.-T.; Cerone, P. A Unified Generalization of the Catalan, Fuss, and Fuss–Catalan Numbers and the Catalan–Qi Function; ResearchGate Working Paper; ResearchGate Research: Berlin, Germany, 2015. [Google Scholar] [CrossRef]
  19. Qi, F.; Shi, X.-T.; Liu, F.-F.; Kruchinin, D.V. Several formulas for special values of the Bell polynomials of the second kind and applications. J. Appl. Anal. Comput. 2017, 7, 857–871. [Google Scholar] [CrossRef]
  20. Qi, F.; Shi, X.-T.; Mahmoud, M.; Liu, F.-F. Schur-convexity of the Catalan–Qi function related to the Catalan numbers. Tbilisi Math. J. 2016, 9, 141–150. [Google Scholar] [CrossRef]
  21. Qi, F.; Shi, X.-T.; Mahmoud, M.; Liu, F.-F. The Catalan numbers: a generalization, an exponential representation, and some properties. J. Comput. Anal. Appl. 2017, 23, 937–944. [Google Scholar]
  22. Qi, F.; Zou, Q.; Guo, B.-N. Identities of the Chebyshev Polynomials, the Inverse of a Triangular Matrix, and Identities of the Catalan Numbers; ResearchGate Working Paper; ResearchGate Research: Berlin, Germany, 2017. [Google Scholar] [CrossRef]
  23. Shi, X.-T.; Liu, F.-F.; Qi, F. An integral representation of the Catalan numbers. Glob. J. Math. Anal. 2015, 3, 130–133. [Google Scholar] [CrossRef]
  24. Yin, L.; Qi, F. Several series identities involving the Catalan numbers. Preprints 2017, 2017030029. [Google Scholar] [CrossRef]
  25. Zou, Q. Analogues of several identities and supercongruences for the Catalan–Qi numbers. J. Inequal. Spec. Funct. 2016, 7, 235–241. [Google Scholar]
  26. Zou, Q. The q-binomial inverse formula and a recurrence relation for the q-Catalan–Qi numbers. J. Math. Anal. 2017, 8, 176–182. [Google Scholar]
  27. Grimaldi, R.P. Fibonacci and Catalan Numbers: An Introduction; John Wiley & Sons, Inc.: Hoboken, NJ, USA, 2012. [Google Scholar] [CrossRef]
  28. Koshy, T. Catalan Numbers with Applications; Oxford University Press: Oxford, UK, 2009. [Google Scholar]
  29. Roman, S. An Introduction to Catalan Numbers, with a foreword by Richard Stanley; Compact Textbook in Mathematics; Birkhäuser/Springer: Cham, Switzerland, 2015. [Google Scholar] [CrossRef]
  30. Stanley, R.P. Catalan Numbers; Cambridge University Press: New York, NY, USA, 2015. [Google Scholar] [CrossRef]
  31. Penson, K.A.; Sixdeniers, J.-M. Integral representations of Catalan and related numbers. J. Integer Seq. 2001, 4, Art. 01.2.5. [Google Scholar]
  32. Olver, F.W.J.; Lozier, D.W.; Boisvert, R.F.; Clark, C.W. (Eds.) NIST Handbook of Mathematical Functions; Cambridge University Press: New York, NY, USA, 2010. Available online: http://dlmf.nist.gov/ (accessed on 18 May 2017).
  33. Sneddon, I.N. The Use of Integral Transforms; McGraw-Hill: New York, NY, USA, 1974. [Google Scholar]
  34. Gradshteyn, I.S.; Ryzhik, I.M. Table of Integrals, Series, and Products, 8th ed.; Translated from Russian, Translation Edited and with a Preface by Daniel Zwillinger and Victor Moll, Revised from the 7th ed.; Elsevier/Academic Press: Amsterdam, The Netherlands, 2015. [Google Scholar] [CrossRef]
  35. Marichev, O.I. Handbook of Integral Transforms of Higher Transcendental Functions: Theory and Algorithmic Tables; Gakhov, F.D., Ed.; Mathematics and Its Applications; Ellis Horwood Ltd.: Hemel Hempstead, UK, 1983. [Google Scholar]
  36. Guo, B.-N.; Qi, F. An explicit formula for Bell numbers in terms of Stirling numbers and hypergeometric functions. Glob. J. Math. Anal. 2014, 2, 243–248. [Google Scholar] [CrossRef]
  37. Qi, F. An explicit formula for the Bell numbers in terms of the Lah and Stirling numbers. Mediterr. J. Math. 2016, 13, 2795–2800. [Google Scholar] [CrossRef]
  38. Qi, F. Some inequalities for the Bell numbers. Proc. Indian Acad. Sci. Math. Sci. 2017, 127. in press. [Google Scholar] [CrossRef]
  39. Qi, F.; Shi, X.-T.; Liu, F.-F. Expansions of the exponential and the logarithm of power series and applications. Arab. J. Math. 2017, 6, 95–108. [Google Scholar] [CrossRef]
  40. Dana-Picard, T. Parametric integrals and Catalan numbers. Int. J. Math. Educ. Sci. Technol. 2005, 36, 410–414. [Google Scholar] [CrossRef]
  41. Dana-Picard, T. Integral presentations of Catalan numbers. Int. J. Math. Educ. Sci. Technol. 2010, 41, 63–69. [Google Scholar] [CrossRef]
  42. Dana-Picard, T. Integral presentations of Catalan numbers and Wallis formula. Int. J. Math. Educ. Sci. Technol. 2011, 42, 122–129. [Google Scholar] [CrossRef]
  43. Kazarinoff, D.K. On Wallis’ formula. Edinb. Math. Notes 1956, 40, 19–21. [Google Scholar] [CrossRef]
  44. Qi, F. Bounds for the ratio of two gamma functions. J. Inequal. Appl. 2010, 2010, 493058. [Google Scholar] [CrossRef]
  45. Qi, F. Parametric integrals, the Catalan numbers, and the beta function. Elem. Math. 2017, 72, 103–110. [Google Scholar] [CrossRef]
  46. Dana-Picard, T.; Zeitoun, D.G. Parametric improper integrals, Wallis formula and Catalan numbers. Int. J. Math. Educ. Sci. Technol. 2012, 43, 515–520. [Google Scholar] [CrossRef]
  47. Qi, F. An improper integral with a square root. Preprints 2016, 2016100089. [Google Scholar] [CrossRef]
  48. Temme, N.M. Special Functions: An Introduction to Classical Functions of Mathematical Physics; A Wiley-Interscience Publication; John Wiley & Sons, Inc.: New York, NY, USA, 1996. [Google Scholar] [CrossRef]
  49. Qi, F.; Shi, X.-T.; Liu, F.-F. An Integral Representation, Complete Monotonicity, and Inequalities of the Catalan Numbers; ResearchGate Technical Report; ResearchGate Research: Berlin, Germany, 2015. [Google Scholar] [CrossRef]
  50. Qi, F.; Shi, X.-T.; Liu, F.-F. An Exponential Representation for a Function Involving the Gamma Function and Originating from the Catalan Numbers; ResearchGate Research: Berlin, Germany, 2015. [Google Scholar] [CrossRef]
  51. Guo, B.-N.; Qi, F. On the Wallis formula. Int. J. Anal. Appl. 2015, 8, 30–38. [Google Scholar]
  52. Qi, F. Bounds for the ratio of two gamma functions: From Gautschi’s and Kershaw’s inequalities to complete monotonicity. Turk. J. Anal. Number Theory 2014, 2, 152–164. [Google Scholar] [CrossRef]
  53. Qi, F.; Li, W.-H. A logarithmically completely monotonic function involving the ratio of gamma functions. J. Appl. Anal. Comput. 2015, 5, 626–634. [Google Scholar] [CrossRef]
  54. Qi, F.; Luo, Q.-M. Bounds for the ratio of two gamma functions: From Wendel’s asymptotic relation to Elezović-Giordano-Pečarić’s theorem. J. Inequal. Appl. 2013, 542. [Google Scholar] [CrossRef]
  55. Qi, F.; Luo, Q.-M. Bounds for the ratio of two gamma functions—From Wendel’s and related inequalities to logarithmically completely monotonic functions. Banach J. Math. Anal. 2012, 6, 132–158. [Google Scholar] [CrossRef]
  56. Qi, F.; Mahmoud, M. Some properties of a function originating from geometric probability for pairs of hyperplanes intersecting with a convex body. Math. Comput. Appl. 2016, 21, 27. [Google Scholar] [CrossRef]
  57. Qi, F.; Mortici, C. Some best approximation formulas and inequalities for the Wallis ratio. Appl. Math. Comput. 2015, 253, 363–368. [Google Scholar] [CrossRef]
  58. Zhou, R.R.; Chu, W. Identities on extended Catalan numbers and their q-analogs. Graphs Comb. 2016, 32, 2183–2197. [Google Scholar] [CrossRef]
  59. Nkwanta, A.; Tefera, A. Curious relations and identities involving the Catalan generating function and numbers. J. Integer Seq. 2013, 16, Art. 13.9.5. [Google Scholar]
  60. Mitrinović, D.S.; Pečarić, J.E.; Fink, A.M. Classical and New Inequalities in Analysis; Kluwer Academic Publishers: Dordrecht, The Netherlands, 1993. [Google Scholar] [CrossRef]
  61. Widder, D.V. The Laplace Transform; Princeton Mathematical Series 6; Princeton University Press: Princeton, NJ, USA, 1941. [Google Scholar]
  62. Hardy, G.H.; Littlewood, J.E.; Pólya, G. Inequalities; Cambridge University Press: Cambridge, UK, 1934. [Google Scholar]
  63. Marshall, A.W.; Olkin, I.; Arnold, B.C. Inequalities: Theory of Majorization and Its Applications, 2nd ed.; Springer: New York, NY, USA, 2011. [Google Scholar] [CrossRef]
  64. Schilling, R.L.; Song, R.; Vondraček, Z. Bernstein Functions—Theory and Applications, 2nd ed.; de Gruyter Studies in Mathematics 37; Walter de Gruyter: Berlin, Germany, 2012. [Google Scholar] [CrossRef]
  65. Koshy, T.; Gao, Z.-G. Convergence of a Catalan series. Coll. Math. J. 2012, 43, 141–146. [Google Scholar] [CrossRef]
  66. Beckwith, D.; Harbor, S. Problem 11765. Am. Math. Mon. 2014, 121, 267. [Google Scholar] [CrossRef]
  67. Abel, U. Reciprocal Catalan sums: Solution to Problem 11765. Am. Math. Mon. 2016, 123, 405–406. [Google Scholar] [CrossRef]
  68. Lehmer, D.H. Interesting series involving the central binomial coefficient. Am. Math. Mon. 1985, 92, 449–457. [Google Scholar] [CrossRef]
  69. Amdeberhan, T.; Guan, X.; Jiu, L.; Moll, V.H.; Vignat, C. A series involving Catalan numbers: Proofs and demonstrations. Elem. Math. 2016, 71, 109–121. [Google Scholar] [CrossRef] [PubMed]
  70. Abramowitz, M.; Stegun, I.A. (Eds.) Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables; National Bureau of Standards, Applied Mathematics Series 55, 10th Printing; U.S. Government Printing Office: Washington, DC, USA, 1972.
  71. Qi, F.; Guo, B.-N. Integral representations of Catalan numbers and their applications. Preprints 2017, 2017040040. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

Qi, F.; Guo, B.-N. Integral Representations of the Catalan Numbers and Their Applications. Mathematics 2017, 5, 40. https://doi.org/10.3390/math5030040

AMA Style

Qi F, Guo B-N. Integral Representations of the Catalan Numbers and Their Applications. Mathematics. 2017; 5(3):40. https://doi.org/10.3390/math5030040

Chicago/Turabian Style

Qi, Feng, and Bai-Ni Guo. 2017. "Integral Representations of the Catalan Numbers and Their Applications" Mathematics 5, no. 3: 40. https://doi.org/10.3390/math5030040

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop