SOME PROPERTIES OF THE FUSS–CATALAN NUMBERS

In the paper, the authors express the Fuss–Catalan numbers as several forms in terms of the Catalan–Qi function, find some analytic properties, including the monotonicity, logarithmic convexity, complete monotonicity, and minimality, of the Fuss–Catalan numbers, and derive a double inequality for bounding the Fuss–Catalan numbers.


Introduction and Main Results
The Catalan numbers C n for n ≥ 0 constitute a sequence that is one of the most fascinating sequences in combinatorial number theory with over fifty significant combinatorial interpretations.For details, please refer to monographs [1,2] and closely related references therein.
The Catalan numbers C n have a generating function Two explicit formulas for C n with n ≥ 0 read that where is the classical Euler gamma function.In [1,3,4], it was mentioned that there exists an asymptotic expansion In the newly published papers [5][6][7][8][9][10], there are some new results on the Catalan numbers C n and others.
In [11], an alternative and analytical generalization of the Catalan numbers C n and the Catalan function For uniqueness and convenience of referring to the quantity C(a, b; x), we call C(a, b; x) the Catalan-Qi function and, when taking x = n ≥ 0, call C(a, b; n) the Catalan-Qi numbers.Comparing with the second formula in (1) and the first equality in (2), it is clear that By the definition (3), we easily see that In the papers [11][12][13][14][15][16][17][18][19][20][21][22][23], the authors discovered many analytic properties, including the monotonicity, a general expression of the asymptotic expansion (2), Schur-convexity, a generalization of the expansion (2), minimality, (logarithmically) complete monotonicity, product inequalities, a generating function, logarithmic convexity, exponential representations, determinantal inequalities, series identities, integral representations, and connections with the Bessel polynomials and the Bell polynomials of the second kind, of the Catalan numbers and function C n and C x and the Catalan-Qi function C(a, b; x).
In combinatorial mathematics and statistics, the Fuss-Catalan numbers A n (p, r) are defined in [24] as numbers of the form Comparing with the first formula in (1), it is obvious that A generalization of the Catalan numbers C n was defined in [25][26][27] by There exists some literature such as [28][29][30][31][32][33][34][35][36][37][38] devoted to the investigation of the Fuss-Catalan numbers A n (p, r).
Considering the relations (4) and ( 6), one may ask a question: what is the relation between the Catalan-Qi numbers C(a, b; n) and the Fuss-Catalan numbers A n (p, r)?This question is answered by Theorem 1 below.Theorem 1.For n, r ≥ 0 and p > 1, we have For n, p ∈ N and r ≥ 0, we have where B(x, y) denotes the classical beta function.For r + 1 > n > 0 and p ≥ 0, we have When r + 1 > n ≥ 1 and p ≥ 0, we have For n ≥ 2, r + 1 > n, and p ∈ N, we have Recall from ( [39], pp.372-373) and ( [40], 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 alternate sign, that is, where Further recall from ( [40], 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.Applying the identity (7) and several analytic properties of the Catalan-Qi function C(a, b; x), we find several analytic properties, including monotonicity, logarithmic convexity, complete monotonicity, and minimality, of the Fuss-Catalan sequence {A n (p, r)} n≥0 and related ones.
is logarithmically convex, completely monotonic, and minimal; 2. the sequence of the Fuss-Catalan numbers {A n (p, r)} n≥0 is increasing and logarithmically convex.
Finally, by applying a double inequality of the beta function in the papers [41] and ( [42], pp.78-81, Section 3), we derive a double inequality for the Fuss-Catalan numbers A n (p, r).Theorem 3.For n ≥ 2 and p, r ∈ N, we have where for x ≥ 1.

Lemmas
In order to prove Theorems 2 and 3, we need the following notion and lemmas.

Proofs of Theorems 1-3
We now start out to prove our theorems.
Proof of Theorem 1.By virtue of the Gauss multiplication formula from ( [46], p. 256, 6.1.20),the Fuss-Catalan numbers A n (p, r) defined by the second expression in (5) can also be rewritten as Further making use of We can rearrange the above result as The identity (7) thus follows.
It is straightforward that and, interchanging the role of r and np, Therefore, the identities ( 8) and ( 9) follow.
By the Gauss multiplication formula ( 16) again, when r + 1 > n, the Fuss-Catalan numbers A n (p, r) defined by the second expression in (5) can be rearranged as The identity (10) is thus proved.Similarly, by virtue of ( 16) once again, we have The identity (11) is demonstrated.The proof of Theorem 1 is complete.
Proof of Theorem 2. We call (see related chapters [39] Chapter XIII, [45] Chapter 1, and [40] Chapter IV) a positive function f defined on an interval I completely monotonic if all of its derivatives satisfy 0 ≤ (−1) k f (k) (x) < ∞ for all k ≥ 0 on I.The inclusions were found in [44,47,48], where S, L[I], and C[I] represent the class of Stieltjes transforms on (0, ∞), the class of logarithmically completely monotonic functions I, and the class of completely monotonic functions on I, respectively.This was mentioned in the monograph [45] and admitted in mathematical community.By Lemma 1, since r p < 1 and k+r p < k+r p−1 for all p > 1, p > r > 0, and 1 ≤ k ≤ p − 1, the functions 1 C(r/p, 1; x) and 1 C((k + r)/p, (k + r)/(p − 1); x) are logarithmically completely monotonic on [0, ∞).It is easy to see that the product of finitely many logarithmically completely monotonic functions is still logarithmically completely monotonic.Hence, the function 1 is logarithmically completely monotonic on the interval [0, ∞).Consequently, by the definition of logarithmically completely monotonic functions, the sequence ( 12) is decreasing and logarithmically convex.Further, by virtue of the first inclusion in (17) and the logarithmically complete monotonicity of the function (18), the function ( 18) is also completely monotonic on [0, ∞).By Theorem 14b in ( [40] p. 164), we know that a sequence {a n } ∞ 0 is minimal completely monotonic if and only if there exists a completely monotonic function f (x) on [0, ∞) such that f (n) = a n for n ≥ 0. Hence, we arrive at the complete monotonicity and minimality of the sequence A n (p, r) defined by (12).
Similarly, by Lemma 2, the identity (7), and A 0 (p, r) = 1 for all p > 1 and r > 0, we conclude that the sequence of the Fuss-Catalan numbers {A n (p, r)} n≥0 is increasing and logarithmically convex.The proof of Theorem 2 is complete.

Proof of Theorem 3. Applying the inequality (15) to
and, when min{D which can be rearranged as (13).The proof of Theorem 3 is complete.

Remarks
Finally, we give several remarks on our main results.
Remark 1.The Catalan-Qi function C(a, b; z), the second expression in (5) of the Fuss-Catalan numbers A n (p, r), and all the identities from (7) to (11) in Theorem 1 can be extended to real values, even to complex values, that the variables a, b, x and n, p, r can take.
Remark 2. The identity (7) is more beautiful and informative than the others in Theorem 1, because the form of the identity (7) is simpler, more regular, and with less restrictions to n, p, and r.Remark 3. Theorem 1 means that the Fuss-Catalan numbers A n (p, r) can be represented in terms of the Catalan-Qi functions C(a, b; x).This fact shows that introducing the Catalan-Qi function C(a, b; x) in [11] is analytically significant.However, we need the combinatorialists to combinatorially interpret the Catalan-Qi function C(a, b; x) or its special cases.
Remark 4. By the definition of the classical beta function, we easily see that We can use the inequality (15) and the formula (19) to bound the Catalan numbers C n , the Fuss-Catalan numbers A n (p, r), and the Catalan-Qi function C(a, b; x).There has been an amount of literature on the ratio of two gamma functions, see, for example, the expository and survey articles [49][50][51][52][53][54][55] and plenty of references therein.Applying results in these literature, we can estimate the Catalan numbers C n , the Fuss-Catalan numbers A n (p, r), and the Catalan-Qi function C(a, b; x) in terms of inequalities and asymptotic formulas of the gamma function Γ(x).For example, the double inequality for m ∈ N and a, b > 0 was derived in ( [18] Theorem 11), where B i for i ≥ 0 are the classical Bernoulli numbers generated by for α, β > 0 with α = β stands for the identric mean [56].One more example is the double inequality is called the logarithmic mean [56].
In the papers [59,60], some inequalities for the beta function B(x, y) are reviewed and surveyed.The main result in ( [60], Theorem) states that, for every k ≥ 1 and every point x, y > 0, the quantity (−1) k−1 D (k) x,y (X, Y) is positive for X, Y > 0 and, if k is even, positive definite in X, Y, where D (k) x,y (X, Y) denotes the kth differential of F(x + X, y + Y) in X and Y and F(x, y) = Γ(x + 1)Γ(y + 1) Γ(x + y + 1) (x + y) x+y x x y y .
As said in ( [60], p. 1430), this theorem can produce lower and upper bounds for F(x, y) and every bound for F(x, y) is actually a bound for B(x, y).By inequalities for the beta function B(x, y), we can derive more inequalities for the Fuss-Catalan numbers A n (p, r).
To the best of our knowledge, we do not find any known inequality for the Fuss-Catalan numbers A n (p, r) in published literature.It seems that there are more identities than inequalities in combinatorics.
Remark 5.In order to give a better combinatorial context, we would like to mention three references [2,61,62].In [61], a collection of combinatorial interpretations for the Fuss-Catalan numbers A n (p; 1) is presented.In [2], a monograph about the Catalan numbers C n and their generalizations, the Fuss-Catalan numbers A n (p, r) are studied in Additional Problem A14.In ( [62], Corollary 3.4), there is a conclusion about the sequence {A n−1 (p, p)} n≥0 .Remark 6.This paper is a simplified and corrected version of the preprint [63].

Conclusions
In this paper, the authors express the Fuss-Catalan numbers as several forms in terms of the Catalan-Qi function; find some analytic properties, including the monotonicity, logarithmic convexity, complete monotonicity, and minimality, of the Fuss-Catalan numbers; and derive a double inequality for bounding the Fuss-Catalan numbers.