Log-Concavity of Stirling Numbers and Unimodality of Stirling Distributions
Total Page:16
File Type:pdf, Size:1020Kb
Ann. Inst. Statist. Math. Vol. 40, No. 4, 693 714 (1988) LOG-CONCAVITY OF STIRLING NUMBERS AND UNIMODALITY OF STIRLING DISTRIBUTIONS MASAAKI SIBUYA Department of Mathematics, Keio University, HiyoshL Yokohama 223, Japan (Received August 7, 1987; revised December 17, 1987) Abstract. A series of inequalities involving Stirling numbers of the first and second kinds with adjacent indices are obtained. Some of them show log-concavity of Stirling numbers in three different directions. The in- equalities are used to prove unimodality or strong unimodality of all the subfamilies of Stirling probability functions. Some additional applications are also presented. Key words and phrases: Inequalities, strong unimodality, total positivity 2, Stirling family of probability distributions. I. Introduction "Stirling family of distributions" is a collection of eight subfamilies of discrete probability distributions which involve Stirling numbers of the first and second kinds (Sibuya (1986)). The subfamilies are classified as shown in Table 2. Although the forms of their probability functions are different, all are unimodal if monotone increasing or decreasing probability functions in their distribution ranges are regarded also unimodal. This fact can be proved by log-concavity of Stirling numbers or by inequalities involving Stirling numbers with adjacent indices. Each of the first and second kinds of Stirling numbers forms a triangular array, which is totally positive 2 (Karlin (1968)) as a function of two indices. The array includes finite and infinite sequences in three directions. All the sequences are log-concave (Keilson and Gerber (1971)) to the extent that some are just as the definition, and some are stronger and one is weaker than the definition (cf. Table 1). Such type of inequalities was studied by Lieb (1968) and Neuman (1985). Results of this paper extend and improve some of their results. For some others alternative proofs are given. Lieb (1968) used Newton's inequality for symmetry functions and Neuman (1985) used moments of spline functions to obtain their inequalities. The methods used in this paper 693 694 MASAAKI SIBUYA are elementary. Log-concavity conditions are given by Kurtz (1972) for triangular arrays defined by a recurrence formula. In Section 2, preliminaries on Stirling numbers, Stirling distributions and log-concavity are given. In Section 3, a series of inequalities are given, and the main inequalities are summarized in Table 1. In Section 4, the inequalities are used to prove strong unimodality or unimodality of all the probability functions in Table 2 for any parameter value. The inequalities are applied to other problems (Section 5). One is Poisson upper bounds of the distributions of STR1F and STR2F subfamilies of Table 2. Another problem is monotonicity of the convolutions of Stirling numbers. Finally, log-concavity of binomial coefficients are remarked (Section 6). 2. Preliminaries 'Unsigned' Stirling numbers of the first kind [n] for nonnegative integers n and rn are defined by the polynomial identity t tn]:=t(t+l)...(t+n-l)=m E mrl ]tm ' in the domain 0 < m ___ n, and are zero outside the domain except that [0]=1 by convention. They satisfy the recurrence relation LVJ ~2,~ [n~,] =n [o][o]+ n>0, m>l m m m-1 ' - - " Stirling num~e.s of the secon~ ~in~ {~} for., m ~_ 0 a.e ~ef, ne~ similarly, in this case by where t/") := t(t - 1)...(t - m + 1). They satisfy the recurrence relation 22, =m {o}{n}+ n>0, m>l m m m- 1 ' - - " See Jordan (1947), Riordan (1958), Goldberg et al. (1964) and Knuth (1967-1981), for the introduction to Stirling numbers. The notation of the numbers differs by the literature; this paper follows the notation of Knuth. UNIMODALITY OF STIRLING DISTRIBUTIONS 695 Probability functions involving Stirling numbers as their main component are shown in Table 2, which appeared in Sibuya (1986). The table has two columns for each of two kinds of Stirling numbers. Good correspondence exists between them, and subfamilies have symbols STRI* in the first column, and STR2* in the second. The asterisks stand for F, W, C or I. The characters are initials of Finite range (or Fundamental), Waiting time, Complementary waiting time, and Infinite range. Some are very well known, some others are less known, and STR1W, STR1C and STR2C may be new. A series of nonnegative numbers (c,)n~-oo is log-concave if c,>_c,_~c,+~,2 n=O, +_ 1, _+2,..., (Hardy et al. (1952)). Log-concavity of a probability function on integers is a necessary and sufficient condition for its strong unimodality in Ibragimov's sense (Keilson and Gerber (1971)). Log-concavity of probability functions is preserved under the operations, convolution, shift, truncation and reverse. Strong unimodality implies unimodality, but not reversely. Log-concavity of the subfamilies STR1F, STR2W and STR2I is obvious. Their probability functions are multiple convolutions of Bernoulli, geometric and 0-truncated Poisson probability functions, respectively, and these are log-concave. The probability function of STRll is also a multiple convolution of logarithmic series probability functions which are, however, log-convex. 3. Inequalities In Theorems 3.1-3.7, inequalities on Stirling numbers are shown. The main inequalities in Theorems 3.1-3.5 show log-concavity in both kinds of Stirling numbers in three directions. The schemes of indices of Stirling numbers in the inequalities are illustrated in Table 1. A duality exists between the first and second kinds of Stirling numbers, and the same type of inequalities often holds for both kinds. Occasionally, however, sharp differences arise. The proofs for all the theorems, except for Theorem 3.7, are based on the recurrence relations (2.1) and (2.2) although some maneuvering is necessary. THEOREM 3.1. (Lieb (1968)) The following sequences are strictly decreasing for any n = 3, 4,... ; n-m+l m j m-1 ' m=2,3,...,n, 696 MASAAKI SIBUYA Table 1. Log-concavity and related inequality relations among Stifling numbers. the 1st Pattern the 2nd Symbol kind m-1 m m+l m+2 kind in the n- 1 Property text [n] n n+| A S s g2 s S log-concave g s totally B posmve s g s C W g2 log-concave s s G -- g2 -- log-concave s s g F S S -- g s s g D S S -- g s s g E S S g s 1. The central column, "pattern", indicates the positions of indices n and m appearing in each inequality. "g" represents the greater part and "s" the smaller part of the inequality. For example, in row A the pattern means En]2~[]m mn , ][ m+,n an~ /°/2~{~/m mn , J/ m+, 2. "S" in the columns on both sides indicates that the inequality is actually stronger than what the pattern appears, and some factor larger than 1 can be multiplied to the smaller side of the inequality. "W" in the first kind column means the contrary; the inequality is weaker, and some factor larger than 1 must be multiplied to the greater part. (AI') --mini { ° ] m= 1,2,...,n- 1 , ?'/--m /'/--m n-m+l ' {n} ,A2, m l,m{n} m = 2, 3,...,n, n-m+ l rn m-1 ' and > ..] > o b~ 0 I 0 [I f~ + + + c; I I iN) -] I f9 Eo I I I + o.q I I ~-~° + + o 0 t ~ r 0 I + + .-.. I I I '-' I + ,~ + II I © V I I I ,--t I + + f~ > + I i ! ! I i I ~ + i ! I t + ,.Qf~ + ,~ I ! = ,--t ~..~° 010 II + ! ! ! ,--t I + :Z i ! I II ,_, + + I i I 698 MASAAKI SIBUYA (3.2) ~m- ~,~o- m,{~}2 > (m + 1)(n- m + 1) {n }{n} m m-1 m+l ' m=2,...,n-1, which will be proved in a similar way. For n = 3 and m = 2, {3}2 {3}{3/6 2 =9>6 1 3 " To advance the induction step on n, calculate (m-1)(n-m+l){n+l}2-(m+l)(n-m+2){n+ll}{n+ll}m m- m+ =(m2-1) n-m+2((m-1)(n-m){n)2n-m+l m -(m+l)(n-m+l){m_ln }{m+ln }) + m -1 ( m2 + (n _ m + 2)(n _ m) ){ n }2 n-m+l m + -- m+'(~m2,~m~,~nm,{°m m- 1 }{nm - m(m + l)(n - m + 2) { n }{ n/) m-2 m +1 + --m -1 ( 2(n - 2) + (m - 2)2 ){ m n-1 }{ mn + m+l(-- (m-2)(n-m+ 1) {n}2 m m-1 m,. m+2,{ m~" }{:}) +2n-m+l{n} 2 m m-1 " All the terms are nonnegative and some are positive for m -- 2, 3,..., n. [] Remarks. Lieb (1968) showed (3.1) from Newton's inequality and the fact that the generating function of m m=~ has only real roots. He UNIMODALITY OF STIRLING DISTRIBUTIONS 699 showed also the sequence ,~, m, {nl/{. } n-m+l m-1 ' m=2,3,...,n, strictly decreasing. The inequality (A2) slightly improves this result. Numerically, it is suggested that the sequence (m,)(2n+m)[n]/[n ] (3.4) n-m+-I m, m-1 ' m=2,3,...,n-1, is strictly decreasing and the same for m = n - 1 and n, and that (3.5) n-m+l{m~)2 In}I{m j m-1n } ' m=2,3,...,n, is strictly decreasing. COROLLARY 3.1. Suppose a sequence (am)m:l satisfies 0 = a~ < a2 <-- a3 <- ... and 2am _> am-~ + am+l, m = 2, 3,.... The sequences am m = 2, 3,...,n, [nil[n]m m-1 ' am+ l in ]~[ I , m = 1, 2,...,n- 1 , {~}/{nn-m ~ n-m+l} am m = 2, 3,...,n, m m-1 ' and {n}/{ n } am+l m = 1, 2,...,n - 1 n-m n-m+l ' are strictly decreasing for any n = 3, 4,...