Received 28 May 2016; accepted 23 June 2016; published 27 June 2016

ABSTRACT

This paper investigates the log-concavity of the centered m-gonal figurate number sequences. The author proves that for, the sequence of centered m-gonal figurate numbers is a log-concave.

Keywords:

Log-Concavity, Figurate Numbers, Centered Polygonal, Number Sequences

Subject Areas: Discrete Mathematics, Combinatorial Sequences, Recurrences

1. Introduction

For and, let denote the term of the centered m-gonal figurate number sequence. E. Deza and M. Deza [1] stated that could be defined by the following recurrence relation:

(1)

where. E. Deza and M. Deza [1] also gave different properties of and obtained

(2)

where and. For, some terms of the sequence are as follows:

Some scholars have been studying the log-concavity (or log-convexity) of different numbers sequences such as Fibonacci & Hyperfibonacci numbers, Lucas & Hyperlucas numbers, Bell numbers, Hyperpell numbers, Motzkin numbers, Fine numbers, Franel numbers of order 3 & 4, Apéry numbers, Large Schröder numbers, Central Delannoy numbers, Catalan-Larcombe-French numbers sequences, and so on (see for instance [2] - [9] ).

To the best of the author’s knowledge, among all the aforementioned works on the log-concavity and log- convexity of number sequences, no one has studied the log-concavity (or log-convexity) of centered m-gonal figurate number sequences. In [1] [10] [11] , some properties of centered figurate numbers are given. The main aim of this paper is to discuss properties related to the sequence. Now we recall some definitions involved in this paper.

Definition 1. Let be a sequence of positive numbers. If for all, , the sequence is called log-concave.

Definition 2. Let be a sequence of positive numbers. If for all, , the sequence is called log-convex. In case of equality, , we call the sequence geometric or log-straight.

Definition 3. Let be a sequence of positive numbers. The sequence is log-concave (log- convex) if and only if its quotient sequence is non-increasing (non-decreasing).

Log-concavity and log-convexity are important properties of combinatorial sequences and they play a crucial role in many fields, for instance economics, probability, mathematical biology, quantum physics and white noise theory [2] [12] - [18] .

2. Log-Concavity of Centered m-gonal Figurate Number Sequences

In this section, we state and prove the main results of this paper.

Theorem 4. For and, the following recurrence formulas for centered m-gonal number sequences hold:

(3)

with the initial conditions and the recurrence of its quotient sequence is given by

(4)

with the initial condition.

Proof. By (1), we have

(5)

It follows that

(6)

Rewriting (5) and (6) for, we have

(7)

(8)

Multiplying (7) by and (8) by, and subtracting as to cancel the non homogeneous part, one can obtain the homogeneous second-order linear recurrence for:

(9)

By denoting

and

one can obtain

(10)

with given initial conditions and.

By dividing (10) through by, one can also get the recurrence of its quotient sequence as

(11)

with initial condition □

Lemma 5. For the centered m-gonal figurate number sequence, let for and. Then we have for.

Proof. Assume for and. Otherwise,

(12)

It follows that which not true. Now it is clear that and

(13)

Assume that for all. It follows from (11) that

(14)

For, by (14), we have

(15)

(16)

(17)

Hence for and

Similarly, it is known that

(18)

Assume that for all. It follows from (11) that

(19)

For, by (19), we have

(20)

(21)

Hence for and □

Thus, in general, from the above two cases it follows that for and.

Lemma 6. For the centered m-gonal figurate number sequence, the quotient sequence, given in (4), is a decreasing sequence for.

Proof. Let be a quotient sequence given in (4). We prove by induction that the sequence is decreasing. Indeed, since, we have. Next we assume that.

By using (11), one can obtain

(22)

with initial condition.

For, by (22), we get

(23)

(24)

(25)

(26)

(27)

By Lemma 5 and induction assumption, one can get for

Thus, the sequence is decreasing for □

Theorem 7 For, the sequence of centered m-gonal figurate numbers is a log-concave.

Proof. Let be a sequence of centered m-gonal figurate numbers and its quotient sequence, given by (4). To prove the log-concavity of for all, it suffices to show that the quotient sequence is decreasing.

By Lemma 6, the quotient sequence is decreasing. Thus, by definition 3, the sequence of centered m-gonal figurate numbers is a log-concave for This completes the proof of the theorem. □

3. Conclusion

In this paper, we have discussed the log-behavior of centered m-gonal figurate number sequences. We have also proved that for, the sequence of centered m-gonal figurate numbers is a log-concave.

Acknowledgements

The author is grateful to the anonymous referees for their valuable comments and suggestions.

Cite this paper

Fekadu Tolessa Gedefa, (2016) Log-Concavity of Centered Polygonal Figurate Number Sequences. Open Access Library Journal,03,1-5. doi: 10.4236/oalib.1102774

References