<?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">ENG</journal-id><journal-title-group><journal-title>Engineering</journal-title></journal-title-group><issn pub-type="epub">1947-3931</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/eng.2013.55A004</article-id><article-id pub-id-type="publisher-id">ENG-31804</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Engineering</subject></subj-group></article-categories><title-group><article-title>
 
 
  A New Algorithm for Computing the Determinant and the Inverse of a Pentadiagonal Toeplitz Matrix
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>uehui</surname><given-names>Chen</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 and Information Science, Zhangzhou Normal University,
Zhangzhou, China</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>yuehuich@fjzs.edu.cn</email></corresp></author-notes><pub-date pub-type="epub"><day>24</day><month>05</month><year>2013</year></pub-date><volume>05</volume><issue>05</issue><fpage>25</fpage><lpage>28</lpage><history><date date-type="received"><day>January</day>	<month>25,</month>	<year>2013</year></date><date date-type="rev-recd"><day>February</day>	<month>26,</month>	<year>2013</year>	</date><date date-type="accepted"><day>March</day>	<month>4,</month>	<year>2013</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>
 
 
  An effective numerical algorithm for computing the determinant of a pentadiagonal Toeplitz matrix ha
  s
   been proposed by Xiao-Guang Lv and others
   
  [1]. The complexity of the algorithm is 
  (9n + 3)
  . In this paper, a new algorithm with the cost of 
  (4n + 6)
   is presented to compute the determinant of a pentadiagonal Toeplitz matrix. The inverse of a pentadiagonal Toeplitz matrix is also considered.
   
    
 
</p></abstract><kwd-group><kwd>Pentadiagonal Matrix; Toeplitz Matrix; Determinant; Nonsingular; Inverse</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>Pentadiagonal Toeplitz matrix linear systems often occur in several fields such as numerical solution of differential equations, interpolation problems, boundary value problems [1-5], etc. In these areas, the determinants and the inversions of pentadiagonal Toeplitz matrices are considered. In recent years they have become one of the most important and active research field of applied mathematics and computational mathematics increasingly.</p><p>In [<xref ref-type="bibr" rid="scirp.31804-ref2">2</xref>], E. Kilic, M. Ei-Mikkawy presented a fast and reliable algorithm with the cost of <img src="4-8101897\d0811248-133c-48f6-a502-9470ec0278bf.jpg" /> for evaluating special nth-order pentadiagonal Toeplitz determinants. In [<xref ref-type="bibr" rid="scirp.31804-ref1">1</xref>], X.G. Lv, T.Z. Huang, J. Le presented an algorithm with the cost of <img src="4-8101897\e0722d00-5698-43f6-84b9-d916e884dab3.jpg" /> for calculating the determinant of a pentadiagonal Toeplitz matrix and an algorithm for calculating the inverse of a pentadiagonal Toeplitz matrix.</p><p>In this paper, we present new algorithms for computing the determinant and the inverse of an n-by-n pentadiagonal Toeplitz matrix. The complexity of the algorithms are <img src="4-8101897\82d706b3-95d6-486e-8fc4-b2a169258114.jpg" /> and <img src="4-8101897\bc8ccc2f-7306-4a11-930a-01b19482d734.jpg" /> respectively.</p><p>This paper is organized as follows: in Section 2, we present some useful notations and lemmas. In Section 3, we are going to derive new two algorithms. Finally, we give an numerical examples to show the performance of our algorithms in Section 4.</p></sec><sec id="s2"><title>2. Notations and Preliminaries</title><p>Definition 2.1 Let <img src="4-8101897\8f8b55f8-44ba-4546-b200-46bfb9d399f2.jpg" /> be an <img src="4-8101897\7384b973-9101-4981-9e77-1d01a96df4bf.jpg" /> matrix. <img src="4-8101897\4ce66b77-28b7-4375-bf86-2563e05f1192.jpg" /></p><p>is called persymmetric if it symmetric about its northeast-southwest diagonal, i.e., <img src="4-8101897\daee9b10-3df6-40bb-8e75-181a12fbee69.jpg" />for all <img src="4-8101897\16d29189-61af-44d9-a758-bcccbd1f4e12.jpg" /> and<img src="4-8101897\c8a9751e-20a4-43f6-bbd8-52658cffc03a.jpg" />.</p><p>Definition 2.2 Form as</p><p><img src="4-8101897\61aebfc1-eaae-42c7-84e0-f2cae65994fa.jpg" /></p><p>is called Toeplitz matrix.</p><p>Toeplitz matrices are all persymmetric matrices.</p><p>Lemma 2.1 [<xref ref-type="bibr" rid="scirp.31804-ref6">6</xref>] Let <img src="4-8101897\02f85ef1-d02a-40fa-a5fd-8d488c8963a9.jpg" /> be an <img src="4-8101897\f601457b-4587-4695-83c9-1b444a560936.jpg" /> matrix. Then</p><p>(1) <img src="4-8101897\16a4809b-bd22-4d83-94b2-a397c371cfef.jpg" />is persymmetric matrix if and only if <img src="4-8101897\54f8c05c-d577-4d84-ab42-6f9663897b84.jpg" />;</p><p>(2) If <img src="4-8101897\8b94bfeb-43e3-4164-b29f-54c4c2de2d90.jpg" /> is nonsingular Toeplitz matrix, <img src="4-8101897\f354db12-7741-4947-8e5c-499e433ec14a.jpg" />is also a Toeplitz matrix, where <img src="4-8101897\0bc0e168-1bfd-48af-a89d-0db0c9715321.jpg" /> is the <img src="4-8101897\c24f2797-e4a9-4a3e-b529-f2fef75d8f35.jpg" /> exchange matrix, i.e., <img src="4-8101897\52cc942c-ea4a-408e-bd03-7355acd8afbf.jpg" />, <img src="4-8101897\2f6106ca-5e54-4993-aede-c5ae6e9e324b.jpg" />is the ith column of identity matrix <img src="4-8101897\05a3f6f0-2cf7-4da5-a60f-4636d08de67a.jpg" /> of order<img src="4-8101897\4578ea05-5a59-405d-9806-252ae59e637a.jpg" />.</p><p>Without loss of generality, we suppose <img src="4-8101897\5979f4f9-b715-4589-9fd0-bfc48604cea4.jpg" /> in the paper. By computing simply, we have the following conclusion:</p><p>Lemma 2.2 Let <img src="4-8101897\2c195a59-6534-441b-9dd2-673d92567fdb.jpg" /> be an <img src="4-8101897\6c9447ae-e7f6-4b0a-85c0-cc7e74b2fb38.jpg" /> Toeplitz matrix</p><disp-formula id="scirp.31804-formula101932"><label>(2.1)</label><graphic position="anchor" xlink:href="4-8101897\f33a32b1-8334-44e6-a2f4-1b8c013c80fa.jpg"  xlink:type="simple"/></disp-formula><p>Then the inverse of <img src="4-8101897\e9966005-79ee-4073-94af-0ffd39c88f3c.jpg" /> is an <img src="4-8101897\fd7787ee-cdea-4da3-ba85-f4fdab5651f4.jpg" /> Toeplitz matrix, and</p><p><img src="4-8101897\d3198f14-1b5f-49ec-8d99-3cf426c099c6.jpg" /></p><p>where</p><p><img src="4-8101897\0cd89cd6-f68c-447f-a2ca-76f0a14dfd9b.jpg" /></p><p>and<img src="4-8101897\9b158a98-6f2b-4fcd-ad74-1fdb66e90a94.jpg" />.</p><p>Lemma 2.3 Let <img src="4-8101897\e95c460f-f648-4044-b624-63548c0f2365.jpg" /> where <img src="4-8101897\d1b75087-aa3f-43f1-92f5-431a1bfb57f8.jpg" /> and</p><p><img src="4-8101897\e2b7929f-0334-41a3-b97d-0833e7f98dc8.jpg" />are matrices of size</p><p><img src="4-8101897\b03ca0d3-9b93-4ee8-a178-e02d2e4277af.jpg" />respectively. <img src="4-8101897\a61deb65-ea3f-4dc3-8f35-f7466246b7d4.jpg" />is nonsingular. Then <img src="4-8101897\e2e10685-59c7-4680-ac29-3aa1a9c1eaf4.jpg" /> is nonsingular if and only if <img src="4-8101897\9a3574ea-e8a7-4aa9-8fa7-b040a57a0ade.jpg" /> is nonsingular, and</p><p><img src="4-8101897\fb4a3367-c1da-4147-b8a6-8ad4b58b4321.jpg" /></p><p>In the current paper, we consider the <img src="4-8101897\67ff6b98-4f37-45ed-bc0f-5cac2d7be5ce.jpg" /> pentadiagonal Toeplitz matrix of the form</p><disp-formula id="scirp.31804-formula101933"><label>(2.2)</label><graphic position="anchor" xlink:href="4-8101897\ea2e4c69-3cfa-4da8-901d-f7f2bad7b74e.jpg"  xlink:type="simple"/></disp-formula></sec><sec id="s3"><title>3. Main Results</title><p>Decompose the pentadiagonal Toeplitz matrix <img src="4-8101897\5e0ed872-49ff-4472-8cb9-0795d9bf8201.jpg" /> (2.2) as the following:</p><p><img src="4-8101897\d71457a4-b488-4535-a108-f67c336fbf88.jpg" /></p><p>where</p><p><img src="4-8101897\f167ae04-a351-451f-817a-cac48d810d37.jpg" /></p><p>Partition M into <img src="4-8101897\909e21ca-b516-43c9-a4a6-17f0678571ec.jpg" /> where <img src="4-8101897\ae99d3b8-82c1-447e-9917-c407e14f6192.jpg" /> is matrix (2.1),</p><p><img src="4-8101897\ac68e1f4-e018-4667-a3bd-c49a7b60d118.jpg" />is zero matrix of size<img src="4-8101897\90c3fdb4-99ba-4c15-83b9-7b1d2add9ccb.jpg" />,</p><p><img src="4-8101897\fe4dc5ce-cc21-4b98-bc91-b752c40a8664.jpg" />of size <img src="4-8101897\a4d15f72-b4b3-418b-ac53-6a968cc85fc9.jpg" /> and</p><p><img src="4-8101897\602d8f81-bb62-4a1c-a013-889e99c9e8f6.jpg" />of size<img src="4-8101897\4fc0be70-97da-4430-9585-e82617642b5f.jpg" />.</p><p>Thus</p><p><img src="4-8101897\2a877f5f-feab-409e-80c4-3dc3937bcc63.jpg" /></p><p>where</p><p><img src="4-8101897\774e4a15-a2a1-47f0-9493-6ef13707af5d.jpg" /></p><p>Denote</p><p><img src="4-8101897\ae8f5c11-cb75-4c45-a78b-940e432012b3.jpg" /></p><p>Thus</p><p><img src="4-8101897\45e14074-d532-4eae-8492-88752ab9745b.jpg" /></p><p>It is noticed that</p><p><img src="4-8101897\fcb9f97c-6704-4bea-966d-1af1d825c6e1.jpg" /></p><p><img src="4-8101897\db3e5815-d6ae-4acf-ab46-330edac0ef60.jpg" /></p><p>We have</p><p><img src="4-8101897\f271fcdf-8359-40a3-9be5-4e87d2f12dcf.jpg" /></p><p>According to the Lemma 2.3 and deduction above, we have the following results:</p><p>Theorem 3.1 Let <img src="4-8101897\fc8fa855-1197-4b8a-8ec2-bd5bbccac5f6.jpg" /> be the pentadiagonal Toeplitz matrix as (2.2), then (1) <img src="4-8101897\0cbdc2c2-6a73-4886-a96b-03c4f1918a11.jpg" />is nonsingular if and only if <img src="4-8101897\42893aea-a8ea-472e-8400-9c78bf1f6285.jpg" /> and</p><disp-formula id="scirp.31804-formula101934"><label>(2)</label><graphic position="anchor" xlink:href="4-8101897\edbc34ac-0368-4953-b99e-306e07656d2f.jpg"  xlink:type="simple"/></disp-formula><p>When <img src="4-8101897\e1b0a4c9-0863-456d-94c2-03237c9868c7.jpg" /> , we have that <img src="4-8101897\ce052786-da8f-4ecf-abea-180de2d8f1b6.jpg" /> is nonsingular, and</p><p><img src="4-8101897\39b15498-9eec-4452-b554-0653cb11dfca.jpg" /></p><p>where</p><p><img src="4-8101897\f1118d72-50b2-4712-8569-968ed73fb036.jpg" /></p><p>and <img src="4-8101897\82caf6d7-9efb-40b7-85c6-9f0a60ad448a.jpg" /></p><p>Denote <img src="4-8101897\9bf460a1-34d0-4cc1-82a4-8c49247a4296.jpg" /> and</p><p><img src="4-8101897\361ad9e3-2853-4c46-ac1e-10daebe40f80.jpg" />We have</p><p><img src="4-8101897\204c9ab2-8481-4e70-9f12-b2e9bb352831.jpg" /></p><p>i.e.,</p><disp-formula id="scirp.31804-formula101935"><label>(3.2)</label><graphic position="anchor" xlink:href="4-8101897\675f56ab-f2b8-4358-a9fc-33bef56116c0.jpg"  xlink:type="simple"/></disp-formula><p><img src="4-8101897\fadeaf49-f81c-4f7c-afaf-af2e9aa507bd.jpg" /></p><p><img src="4-8101897\bd5c0dd9-d435-4ce5-9abe-ad432f9d8102.jpg" /></p><p>i.e.,</p><disp-formula id="scirp.31804-formula101936"><label>(3.4)</label><graphic position="anchor" xlink:href="4-8101897\b9319935-e915-4fb9-b1e1-a685a8457745.jpg"  xlink:type="simple"/></disp-formula><p>From the Lemma 2.1 and <img src="4-8101897\b719ae63-380c-48a6-a4db-59d0cf83a25c.jpg" /> we have</p><p><img src="4-8101897\d744dff0-b00f-4102-a8b7-869170866a99.jpg" /></p><p>Thus</p><p><img src="4-8101897\8e2da4ce-1c6f-44e7-9195-037bcbcbf095.jpg" /></p><p><img src="4-8101897\a6e912bc-df9d-4ec8-b39e-dc628e64322a.jpg" /></p><p><img src="4-8101897\ae44d937-66c6-4e54-a162-f62fb528b32f.jpg" /></p><p>Denote</p><disp-formula id="scirp.31804-formula101937"><label>(3.5)</label><graphic position="anchor" xlink:href="4-8101897\ff7f9cb3-d47f-43d3-9102-1e3bbccf7e01.jpg"  xlink:type="simple"/></disp-formula><p>Then <img src="4-8101897\e4d45c94-1000-4fed-a4fc-e3ed534d0929.jpg" /></p><p>According to the deduction above, we can obtain Theorem 3.2:</p><p>Theorem 3.2 Let the pentadiagonal Toeplitz matrix <img src="4-8101897\b95f4463-af07-4090-8ff2-6c566a37c2c1.jpg" /> as (2.2) be nonsingular. Then</p><p><img src="4-8101897\206e7652-68ef-4477-854d-bde6cdd6cf62.jpg" /></p><p>where</p><p><img src="4-8101897\7977372b-829b-4297-a322-c71a29fd40c7.jpg" /></p><p><img src="4-8101897\e1015a68-4f9b-411a-a873-6a8d95872b7d.jpg" />as above.</p><p>Combining with Theorem 3.1 and Theorem 3.2, we obtain the following algorithm:</p><p>Algorithm 3.1 (Computing<img src="4-8101897\f6947b34-df47-49e1-aa66-2ca880e5eaca.jpg" />)</p><p>(1) Input<img src="4-8101897\afb783da-ed3a-4f12-a071-d865edbe93e0.jpg" />;</p><p>(2) Compute</p><p><img src="4-8101897\59e9be9b-78eb-436d-a87f-fcdb52170627.jpg" /></p><p>(3) Compute <img src="4-8101897\489f6b6b-674c-42d1-8a96-26c7d894039c.jpg" /> .</p><p>Algorithm 3.2 (Computing<img src="4-8101897\e591ed74-7cd9-4653-af79-bd1cbfd207f5.jpg" />)</p><p>(1) Using (3.1), calculate<img src="4-8101897\ecb23c26-7631-423a-b37d-6fcde4d6e166.jpg" />;</p><p>(2) Using (3.2), calculate<img src="4-8101897\fdd0a06e-0399-4770-b662-3420d260a471.jpg" />;</p><p>(3) Using (3.4), calculate<img src="4-8101897\7a6fbf11-d675-43ef-b67e-6905f8e5e924.jpg" />;</p><p>(4) Using (3.3) and (3.5), calculate<img src="4-8101897\2ea48eac-0d93-4333-80b5-1f26ab89c445.jpg" />;</p><p>(5) Calculate<img src="4-8101897\7de3e28e-411f-47f0-8e48-e0bc31429f9f.jpg" />;</p><p>(6) Calculate<img src="4-8101897\b40ab3d1-f961-49d1-a7b8-7ad050504eab.jpg" />.</p><p>Let us now have a look at the number of multiplications and divisions executed by Algorithm 3.1 and 3.2. For Algorithm 3.1, in Step 2, it takes about <img src="4-8101897\b6f3f342-6b07-43d6-adee-7ca86ba5d952.jpg" /> operations. Step 3 amounts to 2 operations. On the whole, we need about <img src="4-8101897\882860f4-8d41-43ec-b0fa-868b1f8161ca.jpg" /> operations to compute<img src="4-8101897\4c8b3def-5470-4da0-8afe-d676b9a34d16.jpg" />. Algorithm 3.1 is better than E. Killic’s algorithm [<xref ref-type="bibr" rid="scirp.31804-ref2">2</xref>] with the cost of <img src="4-8101897\2b4a1119-6fb8-40bc-8763-00576a3c2f6f.jpg" /> and X.G. Lv’s algorithm [<xref ref-type="bibr" rid="scirp.31804-ref1">1</xref>] with the cost of<img src="4-8101897\251ddded-53fc-4e9d-ab38-2588ba0014bf.jpg" />. For Algorithm 3.2, in Step 1, it takes 4 operations. Step 2 amounts to <img src="4-8101897\d614a76b-810c-461e-9897-57af07b1da2c.jpg" /> operations. Step 3 amounts to <img src="4-8101897\ecb5cd30-d548-4ec5-998d-9663b2631cf6.jpg" /> operations. The cost of step 4 is about<img src="4-8101897\68b9515a-62a2-4ce9-a828-4449a07e9704.jpg" />, we make use of the persymmetric matrix. Therefore, we need about <img src="4-8101897\59f0058f-c30a-42dc-9314-8fa9433f5ad8.jpg" /> operations computing<img src="4-8101897\a5437368-4eda-4dcd-a222-156f23784704.jpg" />. Our algorithm is better than X.G. Lv’s algorithm [<xref ref-type="bibr" rid="scirp.31804-ref1">1</xref>] with the cost of<img src="4-8101897\7912b380-14aa-40ae-b360-f53adca311f0.jpg" />.</p></sec><sec id="s4"><title>4. An Example</title><p>Consider the pentadiagonal Toeplitz matrix as</p><p><img src="4-8101897\0f032580-47af-4a21-a17e-e064d9f9886a.jpg" /></p><p>By Algorithm 3.1, we have</p><p><img src="4-8101897\7235884c-5681-4b10-bc40-a01f9152b3e9.jpg" /></p><p>So</p><p><img src="4-8101897\a57def13-da30-4a2b-9281-603a96d11f13.jpg" /></p><p>Using Algorithm 3.2, we obtain</p><p><img src="4-8101897\7a512641-330e-4634-bde4-568a5a774d27.jpg" /></p><p><img src="4-8101897\467c5c75-15b3-4188-a1d3-5297baade55f.jpg" /></p><p>So</p><p><img src="4-8101897\04586815-d237-48cb-a625-496316fc523d.jpg" /></p></sec><sec id="s5"><title>REFERENCES</title></sec><sec id="s6"><title>NOTES</title></sec></body><back><ref-list><title>References</title><ref id="scirp.31804-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">[1]	X. G. Lv, T. Z. Huang and J. Le, “A Note on Computing the Inverse and the Determinant of a Pentadiagonal Toeplitz Matrix,” Applied Mathematics and Computation, Vol. 206, No. 1, 2008, pp. 327-331.  
doi:10.1016/j.amc.2008.09.006</mixed-citation></ref><ref id="scirp.31804-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">E. Kilic and M. Ei-Mikkawy, “A Computational Algorithm for Special nth Order Pentadiagonal Toeplitz Determinants,” Applied Mathematics and Computation, Vol. 199, No. 2, 2008, pp. 820-822.  
doi:10.1016/j.amc.2007.10.022</mixed-citation></ref><ref id="scirp.31804-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">J. M. McNally, “A Fast Algorithm for Solving Diagonally Dominant Symmetric Pentadiagonal Toeplitz Systems,” Journal of Computational and Applied Mathematics, Vol. 234, No. 4, 2010, pp. 995-1005.  
doi:10.1016/j.cam.2009.03.001</mixed-citation></ref><ref id="scirp.31804-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">S. S. Nemani, “A Fast Algorithm for Solving Toeplitz Penta-Diagonal Systems,” Applied Mathematics and Computation, Vol. 215, No. 11, 2010, pp. 3830-3838.</mixed-citation></ref><ref id="scirp.31804-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Y. H. Chen and C. Y. Yu, “A New Algorithm for Computing the Inverse and the Determinant of a Hessenbert Matrix,” Applied Mathematics and Computation, Vol. 218, 2011, pp. 4433-4436.  
doi:10.1016/j.amc.2011.10.022</mixed-citation></ref><ref id="scirp.31804-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">G. H. Golub and C. F. Van Loan, “Matrix Computations,” 3rd Edition, Johns Hopkings University Press, Baltimore and London, 1996, pp. 193-202.</mixed-citation></ref></ref-list></back></article>