<?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">ALAMT</journal-id><journal-title-group><journal-title>Advances in Linear Algebra &amp; Matrix Theory</journal-title></journal-title-group><issn pub-type="epub">2165-333X</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/alamt.2015.54014</article-id><article-id pub-id-type="publisher-id">ALAMT-61636</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  Generating Totally Positive Toeplitz Matrix from an Upper Bidiagonal Matrix
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>ohamed</surname><given-names>A. Ramadan</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Mahmoud</surname><given-names>M. Abu Murad</given-names></name><xref ref-type="aff" rid="aff2"><sup>2</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib></contrib-group><aff id="aff1"><addr-line>Department of Mathematics, Faculty of Science, Menoufia University, Al Minufya, Egypt</addr-line></aff><aff id="aff2"><addr-line>Department of Mathematics, Faculty of Science, Zagazig University, Ash Sharqiyah, Egypt</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>abomorad1978@yahoo.com(MMAM)</email>;</corresp></author-notes><pub-date pub-type="epub"><day>19</day><month>11</month><year>2015</year></pub-date><volume>05</volume><issue>04</issue><fpage>143</fpage><lpage>149</lpage><history><date date-type="received"><day>17</day>	<month>September</month>	<year>2015</year></date><date date-type="rev-recd"><day>accepted</day>	<month>29</month>	<year>November</year>	</date><date date-type="accepted"><day>2</day>	<month>December</month>	<year>2015</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>
 
 
  In this paper, we construct one of the forms of totally positive Toeplitz matrices from upper or lower bidiagonal totally nonnegative matrix. In addition, some properties related to this matrix involving its factorization are presented.
 
</p></abstract><kwd-group><kwd>Totally Positive Matrix</kwd><kwd> Totally Nonnegative Matrix</kwd><kwd> Toeplitz Matrix</kwd><kwd> &lt;i&gt;LU&lt;/i&gt; Factorization</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>Total positive matrices arise in many areas in mathematics, and there has been considerable interest lately in the study of these matrices. For background information see the most important survey in this field by T. Ando [<xref ref-type="bibr" rid="scirp.61636-ref1">1</xref>] . See also [<xref ref-type="bibr" rid="scirp.61636-ref2">2</xref>] .</p><p>A matrix A is said to be totally positive, if every square submatrix has positive minors and A is said to be totally nonnegative, and if every square submatrix has nonnegative minors. While it is well known that many of the nontrivial examples of totally positive matrices are obtained by restricting certain kernels to appropriate finite subsets of R (see, for example, Ando ( [<xref ref-type="bibr" rid="scirp.61636-ref1">1</xref>] , p. 212) or Pinkus ( [<xref ref-type="bibr" rid="scirp.61636-ref3">3</xref>] , p. 2). For Toeplitz matrices, that is, ma-</p><p>trices of the form <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x6.png" xlink:type="simple"/></inline-formula> a complete characterization of the total positivity, in terms of certain entire</p><p>functions, has been studied in a series of references by Ando [<xref ref-type="bibr" rid="scirp.61636-ref1">1</xref>] , Pinkus [<xref ref-type="bibr" rid="scirp.61636-ref3">3</xref>] and S.M. Fallat, C.R. Johnson [<xref ref-type="bibr" rid="scirp.61636-ref4">4</xref>] .</p><p>Expressing a matrix as a product of lower triangle matrix L and an upper triangle matrix U is called a LU factorization. Such factorization is typically obtained by reducing a matrix to an upper triangular matrix from via row operation, that is, Gaussian elimination.</p><p>The primary purpose of this paper is to provide a new totally positive matrix generated from a totally nonnegative one and to construct its factorization.</p><p>The organization of our paper is as follows. In Section 2, we introduce our notation and give some auxiliary results which we use in the subsequent sections. In Section 3, we recall from [<xref ref-type="bibr" rid="scirp.61636-ref3">3</xref>] the Toeplitz matrices speci-</p><p>fied for the case<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x7.png" xlink:type="simple"/></inline-formula>, on which our proofs heavily rely. In Section 4, we present the proofs of our main</p><p>results. In last section, we present the factorization of this resulted matrix.</p></sec><sec id="s2"><title>2. Notation and Auxiliary Results</title><sec id="s2_1"><title>2.1. Notations</title><p>In this subsection we introduce the notation that will be used in developing the paper. For <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x8.png" xlink:type="simple"/></inline-formula> we denote by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x9.png" xlink:type="simple"/></inline-formula> the set of all strictly increasing sequences of k integers chosen from<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x10.png" xlink:type="simple"/></inline-formula>. For<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x12.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x11.png" xlink:type="simple"/></inline-formula>, we denote by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x13.png" xlink:type="simple"/></inline-formula> the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x14.png" xlink:type="simple"/></inline-formula> submatrix of A contained in the rows indexed by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x15.png" xlink:type="simple"/></inline-formula> and columns indexed by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x16.png" xlink:type="simple"/></inline-formula>. A matrix A is called totally positive (abbreviated TP henceforth) and totally nonnegative (abbreviated TN) if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x17.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x18.png" xlink:type="simple"/></inline-formula> , respectively, for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x20.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x19.png" xlink:type="simple"/></inline-formula>. If a totally nonnegative matrix is also nonsingular, we write NsTN.</p><p>Definition 2.1.1 [<xref ref-type="bibr" rid="scirp.61636-ref3">3</xref>]</p><p>A square lower (upper) triangular matrix A is called lower (upper) triangular positive matrix, denoted LTP (UTP), if for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x21.png" xlink:type="simple"/></inline-formula> and for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x22.png" xlink:type="simple"/></inline-formula> with the property that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x23.png" xlink:type="simple"/></inline-formula> (<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x24.png" xlink:type="simple"/></inline-formula>) for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x25.png" xlink:type="simple"/></inline-formula>, then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x25.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x26.png" xlink:type="simple"/></inline-formula>.</p><p>Let I be the square identity matrix of order n, and for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x27.png" xlink:type="simple"/></inline-formula>, we let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x28.png" xlink:type="simple"/></inline-formula> be the square standard basis matrix whose only nonzero entry is 1 that occurs in the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x28.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x29.png" xlink:type="simple"/></inline-formula> position.</p><p>A tridiagonal matrix that is also upper (lower) triangular is called an upper (lower) bidiagonal matrix. Statements referring to just triangular or bidiagonal matrices without the adjectives “upper” or “lower” may be applied to either case.</p></sec><sec id="s2_2"><title>2.2. Auxiliary Results</title><p>We use the following classic formula known as Cauchy-Binet formula and stated in the theorem below.</p><p>Theorem 2.2.1 (Cauchy-Binet formula) ( [<xref ref-type="bibr" rid="scirp.61636-ref4">4</xref>] , p. 27). Let A be an <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x30.png" xlink:type="simple"/></inline-formula> matrix and B be an <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x30.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x31.png" xlink:type="simple"/></inline-formula> matrix then for each pair of indexed sets <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x30.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x31.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x32.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x30.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x31.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x32.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x33.png" xlink:type="simple"/></inline-formula> of cardinality k, where<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x30.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x31.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x32.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x33.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x34.png" xlink:type="simple"/></inline-formula>, we have</p><disp-formula id="scirp.61636-formula786"><graphic  xlink:href="http://html.scirp.org/file/2-2230089x35.png"  xlink:type="simple"/></disp-formula><p>The following remarkable result is one of the most important and useful results in the study of TN matrices. This result first appeared in [<xref ref-type="bibr" rid="scirp.61636-ref5">5</xref>] see also [<xref ref-type="bibr" rid="scirp.61636-ref1">1</xref>] for another proof of this fact.</p><p>Theorem 2.2.2. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x36.png" xlink:type="simple"/></inline-formula> be a square matrix of order n. Then A is NsTN if and only if A has an LU</p><p>factorization, such that both L and U are NsTN square matrices.</p><p>Using this theorem and Cauchy-Binet formula we have the following corollary.</p><p>Corollary 2.2.3 [<xref ref-type="bibr" rid="scirp.61636-ref6">6</xref>] . Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x37.png" xlink:type="simple"/></inline-formula> be a square matrix of order n. Then A is TP if and only if A has an LU</p><p>factorization, such that both L and U are TP square matrices.</p><p>We have the following theorem to prove both L and U are totally positive.</p><p>Theorem 2.2.4. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x38.png" xlink:type="simple"/></inline-formula> be an upper triangular square matrix of order n satisfying</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x39.png" xlink:type="simple"/></inline-formula>for,</p><p>Then U is UTP (upper totally positive). Similarly, if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x42.png" xlink:type="simple"/></inline-formula> is an lower triangular square matrix of order</p><p>n satisfying <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x43.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x43.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x44.png" xlink:type="simple"/></inline-formula>,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x43.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x44.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x45.png" xlink:type="simple"/></inline-formula>. Then L is LTP (lower totally positive).</p><p>In the sequel we will make use the the following lemma, see, e.g. [<xref ref-type="bibr" rid="scirp.61636-ref7">7</xref>] .</p><p>Lemma 2.2.5 (Sylvester Identity)</p><p>Partition square matrix T of order n, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x46.png" xlink:type="simple"/></inline-formula>, as:</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x47.png" xlink:type="simple"/></inline-formula>,</p><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x48.png" xlink:type="simple"/></inline-formula> square matrix of order <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x49.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x49.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x50.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x49.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x50.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x51.png" xlink:type="simple"/></inline-formula> are scalars. Define the submatrices</p><disp-formula id="scirp.61636-formula787"><graphic  xlink:href="http://html.scirp.org/file/2-2230089x52.png"  xlink:type="simple"/></disp-formula><p>Then if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x53.png" xlink:type="simple"/></inline-formula> is non singular</p><disp-formula id="scirp.61636-formula788"><graphic  xlink:href="http://html.scirp.org/file/2-2230089x54.png"  xlink:type="simple"/></disp-formula></sec></sec><sec id="s3"><title>3. Toeplitz Matrices</title><p>Assuming we are given a finite sequence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x55.png" xlink:type="simple"/></inline-formula> of distinct real numbers, the associated To-</p><p>eplitz matrix is defined by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x56.png" xlink:type="simple"/></inline-formula> or<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x57.png" xlink:type="simple"/></inline-formula>. If we are given a one-sided finite sequence<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x58.png" xlink:type="simple"/></inline-formula>,</p><p>then we understand this to mean that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x59.png" xlink:type="simple"/></inline-formula> in the above definition. Sequences that give rise to totally positive Toeplitz matrices have been totally characterized in terms of their generating functions, i.e. re-</p><p>presentations of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x60.png" xlink:type="simple"/></inline-formula>.</p><p>In our case, the normalization<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x61.png" xlink:type="simple"/></inline-formula>, the sequence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x62.png" xlink:type="simple"/></inline-formula> gives rise to a totally positive Toeplitz matrix</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x63.png" xlink:type="simple"/></inline-formula>if and only if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x64.png" xlink:type="simple"/></inline-formula> has the form</p><disp-formula id="scirp.61636-formula789"><graphic  xlink:href="http://html.scirp.org/file/2-2230089x65.png"  xlink:type="simple"/></disp-formula><p>where<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x66.png" xlink:type="simple"/></inline-formula>.</p><p>Now consider the polynomial<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x67.png" xlink:type="simple"/></inline-formula>, the upper triangular Toeplitz matrix</p><disp-formula id="scirp.61636-formula790"><graphic  xlink:href="http://html.scirp.org/file/2-2230089x68.png"  xlink:type="simple"/></disp-formula><p>is TP.</p></sec><sec id="s4"><title>4. Generating New Form of Toeplitz Matrix</title><sec id="s4_1"><title>4.1. Main Result</title><p>Now we formalize the structure of our result by the following theorem.</p><p>Theorem 4.1.1. Assume that we are given the sequence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x69.png" xlink:type="simple"/></inline-formula> of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x70.png" xlink:type="simple"/></inline-formula> distinct positive real numbers.</p><p>Define the upper bidiagonal matrix <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x71.png" xlink:type="simple"/></inline-formula> by</p><disp-formula id="scirp.61636-formula791"><graphic  xlink:href="http://html.scirp.org/file/2-2230089x72.png"  xlink:type="simple"/></disp-formula><p>That is the sequence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x73.png" xlink:type="simple"/></inline-formula> lies on the superdiagonal. Then the matrix T defined as</p><disp-formula id="scirp.61636-formula792"><graphic  xlink:href="http://html.scirp.org/file/2-2230089x74.png"  xlink:type="simple"/></disp-formula><p>is TP.</p><p>Proof</p><p>To prove this result we must note that</p><disp-formula id="scirp.61636-formula793"><graphic  xlink:href="http://html.scirp.org/file/2-2230089x75.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x76.png" xlink:type="simple"/></inline-formula> is upper triangular matrix and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x76.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x77.png" xlink:type="simple"/></inline-formula> is lower triangular matrix. By corollary 2.2.3 A is TP if both U and L are TP.</p><p>So, want to prove <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x78.png" xlink:type="simple"/></inline-formula> is upper TP.</p><disp-formula id="scirp.61636-formula794"><graphic  xlink:href="http://html.scirp.org/file/2-2230089x79.png"  xlink:type="simple"/></disp-formula><p>By Theorem 2.2.4 U is TP if</p><disp-formula id="scirp.61636-formula795"><graphic  xlink:href="http://html.scirp.org/file/2-2230089x80.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x81.png" xlink:type="simple"/></inline-formula> which is positive and</p><disp-formula id="scirp.61636-formula796"><graphic  xlink:href="http://html.scirp.org/file/2-2230089x82.png"  xlink:type="simple"/></disp-formula><p>Since its submatrix of Toeplitz matrix.</p><p>Illustrative Example</p><p>Let we have the following sequence of distinct positive real numbers 1, 4, 3.</p><p>Define the matrix A as:</p><disp-formula id="scirp.61636-formula797"><graphic  xlink:href="http://html.scirp.org/file/2-2230089x83.png"  xlink:type="simple"/></disp-formula><p>Then the matrix function</p><disp-formula id="scirp.61636-formula798"><graphic  xlink:href="http://html.scirp.org/file/2-2230089x84.png"  xlink:type="simple"/></disp-formula><p>is TP.</p></sec><sec id="s4_2"><title>4.2. Properties</title><p>1) Note that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x85.png" xlink:type="simple"/></inline-formula> since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x85.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x86.png" xlink:type="simple"/></inline-formula> and</p><disp-formula id="scirp.61636-formula799"><graphic  xlink:href="http://html.scirp.org/file/2-2230089x87.png"  xlink:type="simple"/></disp-formula><p>Using this property we prove the following lemma</p><p>Lemma 4.2.1. The matrix T, as defined above has the following property</p><disp-formula id="scirp.61636-formula800"><graphic  xlink:href="http://html.scirp.org/file/2-2230089x88.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x89.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x89.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x90.png" xlink:type="simple"/></inline-formula> are defined in Lemma 2.2.5.</p><p>Proof</p><p>The statement follows by Lemma 2.2.5 and the idea of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x91.png" xlink:type="simple"/></inline-formula>.</p><p>2) Let P denote the square matrix of order n permutation matrix by the permutation</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x92.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x92.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x93.png" xlink:type="simple"/></inline-formula>, and suppose T is a square TP Toeplitz matrix. Then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x92.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x93.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x94.png" xlink:type="simple"/></inline-formula> is TP too (see</p><p>[<xref ref-type="bibr" rid="scirp.61636-ref7">7</xref>] ). Moreover, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x95.png" xlink:type="simple"/></inline-formula>is TP, where S is diagonal matrix with diagonal entries alternately 1 and -1.</p><p>3) The Hadamrd product of two TP toeplitz matrices is TP matrix too, that is if we are given two square TP</p><p>matrices <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x96.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x96.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x97.png" xlink:type="simple"/></inline-formula> of order n. Then the Hadamard product <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x96.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x97.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x98.png" xlink:type="simple"/></inline-formula> is TP.</p></sec></sec><sec id="s5"><title>5. Factorization</title><sec id="s5_1"><title>5.1. Construct New Factorization</title><p>Our aim is to write the new TP Toeplitz matrix T as a product of elementary matrices of a special form. For any<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x99.png" xlink:type="simple"/></inline-formula>, we let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x99.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x100.png" xlink:type="simple"/></inline-formula> to be the elementary lower matrix whose entries are defined by</p><disp-formula id="scirp.61636-formula801"><graphic  xlink:href="http://html.scirp.org/file/2-2230089x101.png"  xlink:type="simple"/></disp-formula><p>Note that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x102.png" xlink:type="simple"/></inline-formula> can be written as<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x103.png" xlink:type="simple"/></inline-formula>, where I is square identity matrix of order n and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x104.png" xlink:type="simple"/></inline-formula> is square matrix of order n whose non-zero entry is a 1 in the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x105.png" xlink:type="simple"/></inline-formula> position n. Also, notice that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x106.png" xlink:type="simple"/></inline-formula>.</p><p>We use the elementary matrices <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x107.png" xlink:type="simple"/></inline-formula> to reduce Lower diagonal matrix to identity matrix.</p><p>For example, we can consider the following <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x108.png" xlink:type="simple"/></inline-formula> Lower diagonal matrix L</p><disp-formula id="scirp.61636-formula802"><graphic  xlink:href="http://html.scirp.org/file/2-2230089x109.png"  xlink:type="simple"/></disp-formula><p>It can be factorized as</p><disp-formula id="scirp.61636-formula803"><graphic  xlink:href="http://html.scirp.org/file/2-2230089x110.png"  xlink:type="simple"/></disp-formula></sec><sec id="s5_2"><title>5.2. General Characterization</title><p>We begin a definition and a result that characterize the TP Toeplitz matrix T in terms of the elementary matrices<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x111.png" xlink:type="simple"/></inline-formula>.</p><p>Theorem 5.2.1. Any square Toeplitz matrix of oreder n, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x112.png" xlink:type="simple"/></inline-formula>can be written as</p><disp-formula id="scirp.61636-formula804"><graphic  xlink:href="http://html.scirp.org/file/2-2230089x113.png"  xlink:type="simple"/></disp-formula><p>That is, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-2230089x114.png" xlink:type="simple"/></inline-formula></p><p>Illustrative Example</p><p>Let</p><disp-formula id="scirp.61636-formula805"><graphic  xlink:href="http://html.scirp.org/file/2-2230089x115.png"  xlink:type="simple"/></disp-formula><p>The matrix in this example can be factorized as</p><disp-formula id="scirp.61636-formula806"><graphic  xlink:href="http://html.scirp.org/file/2-2230089x116.png"  xlink:type="simple"/></disp-formula><p>Note that the number of the factored matrices equal</p><disp-formula id="scirp.61636-formula807"><graphic  xlink:href="http://html.scirp.org/file/2-2230089x117.png"  xlink:type="simple"/></disp-formula></sec></sec><sec id="s6"><title>Cite this paper</title><p>Mohamed A.Ramadan,Mahmoud M.Abu Murad, (2015) Generating Totally Positive Toeplitz Matrix from an Upper Bidiagonal Matrix. Advances in Linear Algebra &amp; Matrix Theory,05,143-149. doi: 10.4236/alamt.2015.54014</p></sec></body><back><ref-list><title>References</title><ref id="scirp.61636-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Ando, T. (1987) Totally Positive Matrices. Linear Algebra and its Applications, 90, 165-219.http://dx.doi.org/10.1016/0024-3795(87)90313-2</mixed-citation></ref><ref id="scirp.61636-ref2"><label>2</label><mixed-citation publication-type="book" xlink:type="simple">Fallat, S.M. (2007) Totally Positive and Totally Nonnegative Matrices. Chapter 21 in Handbook of Linear Algebra, In: Hogben, L., Ed., Chapman &amp; Hall/CRC, Boca Raton.</mixed-citation></ref><ref id="scirp.61636-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Pinkus, A. (2010) Totally Positive Matrices, Cambridge Tracts. Vol.181, Cambridge Univ. Press, Cambridge.</mixed-citation></ref><ref id="scirp.61636-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Fallat, S.M. and Johnson, C.R. (2011) Totally Nonnegative Matrices, Princeton Ser. Appl. Math. Princeton University Press, Princeton, Oxford.</mixed-citation></ref><ref id="scirp.61636-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Cryer, C.W. (1973) The LU-Factorization of Totally Positive Matrices. Linear Algebra and its Applications, 7, 83-92.http://dx.doi.org/10.1016/0024-3795(73)90039-6</mixed-citation></ref><ref id="scirp.61636-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Fallat, S.M. (2001) Bidiagonal Factorizations of Totally Nonnegative Matrices. American Mathematical Monthly, 108, 697-712. http://dx.doi.org/10.2307/2695613</mixed-citation></ref><ref id="scirp.61636-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Adm, M. and Garloff, J. (2013) Interval of Totally Nonnegative Matrices. Linear Algebra and its Applications, 439, 3796-3806.</mixed-citation></ref></ref-list></back></article>