<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">OALibJ</journal-id><journal-title-group><journal-title>Open Access Library Journal</journal-title></journal-title-group><issn pub-type="epub">2333-9705</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/oalib.1102774</article-id><article-id pub-id-type="publisher-id">OALibJ-69434</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Biomedical&amp;Life Sciences</subject><subject> Business&amp;Economics</subject><subject> Chemistry&amp;Materials Science</subject><subject> Computer Science&amp;Communications</subject><subject> Earth&amp;Environmental Sciences</subject><subject> Engineering</subject><subject> Medicine&amp;Healthcare</subject><subject> Physics&amp;Mathematics</subject><subject> Social Sciences&amp;Humanities</subject></subj-group></article-categories><title-group><article-title>
 
 
  Log-Concavity of Centered Polygonal Figurate Number Sequences
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Fekadu</surname><given-names>Tolessa Gedefa</given-names></name><xref ref-type="aff" rid="aff1"><sub>1</sub></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib></contrib-group><aff id="aff1"><label>1</label><addr-line>Department of Mathematics, Ambo University, Ambo, Ethiopia</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>toli4rage@gmail.com</email></corresp></author-notes><pub-date pub-type="epub"><day>30</day><month>06</month><year>2016</year></pub-date><volume>03</volume><issue>06</issue><fpage>1</fpage><lpage>5</lpage><history><date date-type="received"><day>28</day>	<month>May</month>	<year>2016</year></date><date date-type="rev-recd"><day>accepted</day>	<month>23</month>	<year>June</year>	</date><date date-type="accepted"><day>27</day>	<month>June</month>	<year>2016</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
   
   This paper investigates the log-concavity of the centered <em>m</em>-gonal figurate number sequences. The author proves that for 
   <strong style="line-height:1.5;"><em>m</em>≥3</strong>
   , the sequence {
   <strong style="line-height:1.5;">C<sub><em>n</em></sub></strong>
   (
   <strong style="line-height:1.5;"><em>m</em></strong>
   )}
   <strong style="line-height:1.5;"><sub><em>n</em>≥1</sub></strong>
    of centered <em>m</em>-gonal figurate numbers is a log-concave. 
  
 
</p></abstract><kwd-group><kwd>Log-Concavity</kwd><kwd> Figurate Numbers</kwd><kwd> Centered Polygonal</kwd><kwd> Number Sequences</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>For <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x8.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x9.png" xlink:type="simple"/></inline-formula>, let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x10.png" xlink:type="simple"/></inline-formula> denote the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x11.png" xlink:type="simple"/></inline-formula> term of the centered m-gonal figurate number sequence. E. Deza and M. Deza [<xref ref-type="bibr" rid="scirp.69434-ref1">1</xref>] stated that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x12.png" xlink:type="simple"/></inline-formula> could be defined by the following recurrence relation:</p><disp-formula id="scirp.69434-formula358"><label>(1)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69434x13.png"  xlink:type="simple"/></disp-formula><p>where<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x14.png" xlink:type="simple"/></inline-formula>. E. Deza and M. Deza [<xref ref-type="bibr" rid="scirp.69434-ref1">1</xref>] also gave different properties of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x15.png" xlink:type="simple"/></inline-formula> and obtained</p><disp-formula id="scirp.69434-formula359"><label>(2)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69434x16.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x17.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x18.png" xlink:type="simple"/></inline-formula>. For<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x19.png" xlink:type="simple"/></inline-formula>, some terms of the sequence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x20.png" xlink:type="simple"/></inline-formula> are as follows:</p><disp-formula id="scirp.69434-formula360"><graphic  xlink:href="http://html.scirp.org/file/69434x21.png"  xlink:type="simple"/></disp-formula><p>Some scholars have been studying the log-concavity (or log-convexity) of different numbers sequences such as Fibonacci &amp; Hyperfibonacci numbers, Lucas &amp; Hyperlucas numbers, Bell numbers, Hyperpell numbers, Motzkin numbers, Fine numbers, Franel numbers of order 3 &amp; 4, Ap&#233;ry numbers, Large Schr&#246;der numbers, Central Delannoy numbers, Catalan-Larcombe-French numbers sequences, and so on (see for instance [<xref ref-type="bibr" rid="scirp.69434-ref2">2</xref>] - [<xref ref-type="bibr" rid="scirp.69434-ref9">9</xref>] ).</p><p>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 [<xref ref-type="bibr" rid="scirp.69434-ref1">1</xref>] [<xref ref-type="bibr" rid="scirp.69434-ref10">10</xref>] [<xref ref-type="bibr" rid="scirp.69434-ref11">11</xref>] , some properties of centered figurate numbers are given. The main aim of this paper is to discuss properties related to the sequence<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x22.png" xlink:type="simple"/></inline-formula>. Now we recall some definitions involved in this paper.</p><p>Definition 1. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x23.png" xlink:type="simple"/></inline-formula> be a sequence of positive numbers. If for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x24.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x25.png" xlink:type="simple"/></inline-formula>, the sequence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x25.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x26.png" xlink:type="simple"/></inline-formula> is called log-concave.</p><p>Definition 2. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x27.png" xlink:type="simple"/></inline-formula> be a sequence of positive numbers. If for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x28.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x28.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x29.png" xlink:type="simple"/></inline-formula>, the sequence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x28.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x29.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x30.png" xlink:type="simple"/></inline-formula> is called log-convex. In case of equality, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x28.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x29.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x30.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x31.png" xlink:type="simple"/></inline-formula>, we call the sequence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x28.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x29.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x30.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x31.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x32.png" xlink:type="simple"/></inline-formula> geometric or log-straight.</p><p>Definition 3. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x33.png" xlink:type="simple"/></inline-formula> be a sequence of positive numbers. The sequence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x33.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x34.png" xlink:type="simple"/></inline-formula> is log-concave (log- convex) if and only if its quotient sequence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x33.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x34.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x35.png" xlink:type="simple"/></inline-formula> is non-increasing (non-decreasing).</p><p>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 [<xref ref-type="bibr" rid="scirp.69434-ref2">2</xref>] [<xref ref-type="bibr" rid="scirp.69434-ref12">12</xref>] - [<xref ref-type="bibr" rid="scirp.69434-ref18">18</xref>] .</p></sec><sec id="s2"><title>2. Log-Concavity of Centered m-gonal Figurate Number Sequences</title><p>In this section, we state and prove the main results of this paper.</p><p>Theorem 4. For <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x36.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x36.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x37.png" xlink:type="simple"/></inline-formula>, the following recurrence formulas for centered m-gonal number sequences hold:</p><disp-formula id="scirp.69434-formula361"><label>(3)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69434x38.png"  xlink:type="simple"/></disp-formula><p>with the initial conditions <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x39.png" xlink:type="simple"/></inline-formula> and the recurrence of its quotient sequence is given by</p><disp-formula id="scirp.69434-formula362"><label>(4)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69434x40.png"  xlink:type="simple"/></disp-formula><p>with the initial condition<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x41.png" xlink:type="simple"/></inline-formula>.</p><p>Proof. By (1), we have</p><disp-formula id="scirp.69434-formula363"><label>(5)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69434x42.png"  xlink:type="simple"/></disp-formula><p>It follows that</p><disp-formula id="scirp.69434-formula364"><label>(6)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69434x43.png"  xlink:type="simple"/></disp-formula><p>Rewriting (5) and (6) for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x44.png" xlink:type="simple"/></inline-formula>, we have</p><disp-formula id="scirp.69434-formula365"><label>(7)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69434x45.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.69434-formula366"><label>(8)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69434x46.png"  xlink:type="simple"/></disp-formula><p>Multiplying (7) by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x47.png" xlink:type="simple"/></inline-formula> and (8) by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x48.png" xlink:type="simple"/></inline-formula>, and subtracting as to cancel the non homogeneous part, one can obtain the homogeneous second-order linear recurrence for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x49.png" xlink:type="simple"/></inline-formula>:</p><disp-formula id="scirp.69434-formula367"><label>(9)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69434x50.png"  xlink:type="simple"/></disp-formula><p>By denoting</p><disp-formula id="scirp.69434-formula368"><graphic  xlink:href="http://html.scirp.org/file/69434x51.png"  xlink:type="simple"/></disp-formula><p>and</p><disp-formula id="scirp.69434-formula369"><graphic  xlink:href="http://html.scirp.org/file/69434x52.png"  xlink:type="simple"/></disp-formula><p>one can obtain</p><disp-formula id="scirp.69434-formula370"><label>(10)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69434x53.png"  xlink:type="simple"/></disp-formula><p>with given initial conditions <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x54.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x54.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x55.png" xlink:type="simple"/></inline-formula>.</p><p>By dividing (10) through by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x56.png" xlink:type="simple"/></inline-formula>, one can also get the recurrence of its quotient sequence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x57.png" xlink:type="simple"/></inline-formula> as</p><disp-formula id="scirp.69434-formula371"><label>(11)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69434x58.png"  xlink:type="simple"/></disp-formula><p>with initial condition <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x59.png" xlink:type="simple"/></inline-formula> □</p><p>Lemma 5. For the centered m-gonal figurate number sequence<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x60.png" xlink:type="simple"/></inline-formula>, let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x60.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x61.png" xlink:type="simple"/></inline-formula> for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x60.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x62.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x60.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x63.png" xlink:type="simple"/></inline-formula>. Then we have <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x60.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x64.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x60.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x65.png" xlink:type="simple"/></inline-formula>.</p><p>Proof. Assume <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x66.png" xlink:type="simple"/></inline-formula> for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x66.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x67.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x66.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x67.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x68.png" xlink:type="simple"/></inline-formula>. Otherwise,</p><disp-formula id="scirp.69434-formula372"><label>(12)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69434x69.png"  xlink:type="simple"/></disp-formula><p>It follows that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x70.png" xlink:type="simple"/></inline-formula> which not true. Now it is clear that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x71.png" xlink:type="simple"/></inline-formula> and</p><disp-formula id="scirp.69434-formula373"><label>(13)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69434x72.png"  xlink:type="simple"/></disp-formula><p>Assume that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x73.png" xlink:type="simple"/></inline-formula> for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x73.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x74.png" xlink:type="simple"/></inline-formula>. It follows from (11) that</p><disp-formula id="scirp.69434-formula374"><label>(14)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69434x75.png"  xlink:type="simple"/></disp-formula><p>For<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x76.png" xlink:type="simple"/></inline-formula>, by (14), we have</p><disp-formula id="scirp.69434-formula375"><label>(15)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69434x77.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.69434-formula376"><label>(16)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69434x78.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.69434-formula377"><label>(17)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69434x79.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.69434-formula378"><graphic  xlink:href="http://html.scirp.org/file/69434x80.png"  xlink:type="simple"/></disp-formula><p>Hence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x81.png" xlink:type="simple"/></inline-formula> for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x81.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x82.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x81.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x82.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x83.png" xlink:type="simple"/></inline-formula></p><p>Similarly, it is known that</p><disp-formula id="scirp.69434-formula379"><label>(18)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69434x84.png"  xlink:type="simple"/></disp-formula><p>Assume that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x85.png" xlink:type="simple"/></inline-formula> for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x85.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x86.png" xlink:type="simple"/></inline-formula>. It follows from (11) that</p><disp-formula id="scirp.69434-formula380"><label>(19)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69434x87.png"  xlink:type="simple"/></disp-formula><p>For<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x88.png" xlink:type="simple"/></inline-formula>, by (19), we have</p><disp-formula id="scirp.69434-formula381"><label>(20)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69434x89.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.69434-formula382"><label>(21)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69434x90.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.69434-formula383"><graphic  xlink:href="http://html.scirp.org/file/69434x91.png"  xlink:type="simple"/></disp-formula><p>Hence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x92.png" xlink:type="simple"/></inline-formula> for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x92.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x93.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x92.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x93.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x94.png" xlink:type="simple"/></inline-formula> □</p><p>Thus, in general, from the above two cases it follows that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x95.png" xlink:type="simple"/></inline-formula> for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x95.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x96.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x95.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x96.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x97.png" xlink:type="simple"/></inline-formula>.</p><p>Lemma 6. For the centered m-gonal figurate number sequence<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x98.png" xlink:type="simple"/></inline-formula>, the quotient sequence<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x98.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x99.png" xlink:type="simple"/></inline-formula>, given in (4), is a decreasing sequence for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x98.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x99.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x100.png" xlink:type="simple"/></inline-formula>.</p><p>Proof. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x101.png" xlink:type="simple"/></inline-formula> be a quotient sequence given in (4). We prove by induction that the sequence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x102.png" xlink:type="simple"/></inline-formula> is decreasing. Indeed, since<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x103.png" xlink:type="simple"/></inline-formula>, we have<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x104.png" xlink:type="simple"/></inline-formula>. Next we assume that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x105.png" xlink:type="simple"/></inline-formula>.</p><p>By using (11), one can obtain</p><disp-formula id="scirp.69434-formula384"><label>(22)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69434x106.png"  xlink:type="simple"/></disp-formula><p>with initial condition<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x107.png" xlink:type="simple"/></inline-formula>.</p><p>For<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x108.png" xlink:type="simple"/></inline-formula>, by (22), we get</p><disp-formula id="scirp.69434-formula385"><label>(23)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69434x109.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.69434-formula386"><label>(24)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69434x110.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.69434-formula387"><label>(25)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69434x111.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.69434-formula388"><label>(26)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69434x112.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.69434-formula389"><label>(27)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69434x113.png"  xlink:type="simple"/></disp-formula><p>By Lemma 5 and induction assumption, one can get <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x114.png" xlink:type="simple"/></inline-formula> for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x114.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x115.png" xlink:type="simple"/></inline-formula></p><p>Thus, the sequence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x116.png" xlink:type="simple"/></inline-formula> is decreasing for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x116.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x117.png" xlink:type="simple"/></inline-formula> □</p><p>Theorem 7 For<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x118.png" xlink:type="simple"/></inline-formula>, the sequence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x118.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x119.png" xlink:type="simple"/></inline-formula> of centered m-gonal figurate numbers is a log-concave.</p><p>Proof. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x120.png" xlink:type="simple"/></inline-formula> be a sequence of centered m-gonal figurate numbers and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x120.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x121.png" xlink:type="simple"/></inline-formula> its quotient sequence, given by (4). To prove the log-concavity of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x120.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x121.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x122.png" xlink:type="simple"/></inline-formula> for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x120.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x121.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x122.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x123.png" xlink:type="simple"/></inline-formula>, it suffices to show that the quotient sequence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x120.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x121.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x122.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x123.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x124.png" xlink:type="simple"/></inline-formula> is decreasing.</p><p>By Lemma 6, the quotient sequence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x125.png" xlink:type="simple"/></inline-formula> is decreasing. Thus, by definition 3, the sequence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x125.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x126.png" xlink:type="simple"/></inline-formula> of centered m-gonal figurate numbers is a log-concave for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x125.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x126.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x127.png" xlink:type="simple"/></inline-formula> This completes the proof of the theorem. □</p></sec><sec id="s3"><title>3. Conclusion</title><p>In this paper, we have discussed the log-behavior of centered m-gonal figurate number sequences. We have also proved that for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x128.png" xlink:type="simple"/></inline-formula>, the sequence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x128.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69434x129.png" xlink:type="simple"/></inline-formula> of centered m-gonal figurate numbers is a log-concave.</p></sec><sec id="s4"><title>Acknowledgements</title><p>The author is grateful to the anonymous referees for their valuable comments and suggestions.</p></sec><sec id="s5"><title>Cite this paper</title><p>Fekadu Tolessa Gedefa, (2016) Log-Concavity of Centered Polygonal Figurate Number Sequences. Open Access Library Journal,03,1-5. doi: 10.4236/oalib.1102774</p></sec></body><back><ref-list><title>References</title><ref id="scirp.69434-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Zheng, L.-N., Liu, R. and Zhao, F.-Z. (2014) On the Log-Concavity of the Hyperfibonacci Numbers and the Hyperlucas Numbers. Journal of Integer Sequences, 17, 3.</mixed-citation></ref><ref id="scirp.69434-ref2"><label>2</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Zhao</surname><given-names> F.-Z. </given-names></name>,<etal>et al</etal>. (<year>2014</year>)<article-title>The Log-Behavior of the Catalan-Larcombe-French Sequence</article-title><source> International Journal of Number Theory</source><volume> 10</volume>,<fpage> 177</fpage>-<lpage>182</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.69434-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Wang, Y. and Yeh, Y.-N. (2007) Log-Concavity and Lc-Positivity. Journal of Combinatorial Theory, Series A, 114, 195-210.</mixed-citation></ref><ref id="scirp.69434-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Liu, L.L. and Wang, Y. (2007) On the Log-Convexity of Combinatorial Sequences. Advances in Applied Mathematics, 39, 453-476. http://dx.doi.org/10.1016/j.aam.2006.11.002</mixed-citation></ref><ref id="scirp.69434-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Do&amp;#353;lic, T. (2005) Log-Balanced Combinatorial Sequences. International Journal of Mathematics and Mathematical Sciences, 2005, 507-522. http://dx.doi.org/10.1155/IJMMS.2005.507</mixed-citation></ref><ref id="scirp.69434-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Asai, N., Kubo, I. and Kuo, H.-H. (1999) Bell Numbers, Log-Concavity, and Log-Convexity.</mixed-citation></ref><ref id="scirp.69434-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Asai, N., Kubo, I. and Kuo, H.-H. (2001) Roles of Log-Concavity, Log-Convexity, and Growth Order in White Noise Analysis. Infinite Dimensional Analysis, Quantum Probability and Related Topics, 4, 59-84.http://dx.doi.org/10.1142/S0219025701000498</mixed-citation></ref><ref id="scirp.69434-ref8"><label>8</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Weaver</surname><given-names> C. </given-names></name>,<etal>et al</etal>. (<year>1974</year>)<article-title>Figurate Numbers</article-title><source> Mathematics Teacher</source><volume> 67</volume>,<fpage> 661</fpage>-<lpage>666</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.69434-ref9"><label>9</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Hartman</surname><given-names> J. </given-names></name>,<etal>et al</etal>. (<year>1976</year>)<article-title>Figurate Numbers</article-title><source> The Mathematics Teacher</source><volume> 69</volume>,<fpage> 47</fpage>-<lpage>50</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.69434-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Sloane, N.J., et al. (2003) The On-Line Encyclopedia of Integer Sequences.</mixed-citation></ref><ref id="scirp.69434-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Sun, Z.-W. (2013) Congruences for Franel Numbers. Advances in Applied Mathematics, 51, 524-535.http://dx.doi.org/10.1016/j.aam.2013.06.004</mixed-citation></ref><ref id="scirp.69434-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">Sun, Z.-W. (2011) On Delannoy Numbers and Schr&amp;#246;der Numbers. Journal of Number Theory, 131, 2387-2397.http://dx.doi.org/10.1016/j.jnt.2011.06.005</mixed-citation></ref><ref id="scirp.69434-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">Santana, S.F. and Diaz-Barrero, J. (2006) Some Properties of Sums Involving Pell Numbers. Missouri Journal of Mathematical Sciences, 18, 33-40.</mixed-citation></ref><ref id="scirp.69434-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">Gessel, I. (1982) Some Congruences for Apéry Numbers. Journal of Number Theory, 14, 362-368.http://dx.doi.org/10.1016/0022-314X(82)90071-3</mixed-citation></ref><ref id="scirp.69434-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">Deutsch, E. and Shapiro, L. (2001) A Survey of the Fine Numbers. Discrete Mathematics, 241, 241-265.http://dx.doi.org/10.1016/S0012-365X(01)00121-2</mixed-citation></ref><ref id="scirp.69434-ref16"><label>16</label><mixed-citation publication-type="other" xlink:type="simple">Aigner, M. (1998) Motzkin Numbers. European Journal of Combinatorics, 19, 663-675.http://dx.doi.org/10.1006/eujc.1998.0235</mixed-citation></ref><ref id="scirp.69434-ref17"><label>17</label><mixed-citation publication-type="other" xlink:type="simple">Ahmiaab, M., Belbachirb, H. and Belkhirb, A. (2014) The Log-Concavity and Log-Convexity Properties Associated to Hyperpell and Hyperpell-Lucas Sequences. Annales Mathematicae et Informaticae, 43, 3-12.</mixed-citation></ref><ref id="scirp.69434-ref18"><label>18</label><mixed-citation publication-type="other" xlink:type="simple">Deza, E. and Deza, M. (2012) Figurate Numbers. World Scientific.</mixed-citation></ref></ref-list></back></article>