<?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.53012</article-id><article-id pub-id-type="publisher-id">ALAMT-59739</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>
 
 
  Application of Different &lt;i&gt;H&lt;/i&gt;(&lt;i&gt;x&lt;/i&gt;) in Homotopy Analysis Methods for Solving Systems of Linear Equations
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>ohammad</surname><given-names>Hasan Khani</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>Jalil</surname><given-names>Rashidinia</given-names></name><xref ref-type="aff" rid="aff2"><sup>2</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Sajjad</surname><given-names>Zia Borujeni</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, Islamic Azad University, Shahin Shahr Branch, Isfahan, Iran</addr-line></aff><aff id="aff2"><addr-line>Department of Mathematics, Islamic Azad University, Central Tehran Branch, Tehran, Iran</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>Saj.ziaBorujeni.sci@iauctb.ac.ir(SZB)</email>;</corresp></author-notes><pub-date pub-type="epub"><day>26</day><month>08</month><year>2015</year></pub-date><volume>05</volume><issue>03</issue><fpage>129</fpage><lpage>137</lpage><history><date date-type="received"><day>6</day>	<month>August</month>	<year>2015</year></date><date date-type="rev-recd"><day>accepted</day>	<month>18</month>	<year>September</year>	</date><date date-type="accepted"><day>21</day>	<month>September</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 present homotopy analysis method (HAM) for solving system of linear equations and use of different 
  H(
  x) in this method. The numerical results indicate that this method performs better than the homotopy perturbation method (HPM) for solving linear systems.
 
</p></abstract><kwd-group><kwd>HAM</kwd><kwd> HPM</kwd><kwd> Linear System</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>Approximating the solutions of the system of linear and nonlinear equations has widespread applications in applied mathematics [<xref ref-type="bibr" rid="scirp.59739-ref1">1</xref>] -[<xref ref-type="bibr" rid="scirp.59739-ref11">11</xref>] . Many techniques including homotopy perturbation method (HPM) [<xref ref-type="bibr" rid="scirp.59739-ref12">12</xref>] and iterative methods [<xref ref-type="bibr" rid="scirp.59739-ref13">13</xref>] were suggested to search for the solution of linear systems. In 2009 Keramati [<xref ref-type="bibr" rid="scirp.59739-ref2">2</xref>] and in 2011 Liu [<xref ref-type="bibr" rid="scirp.59739-ref3">3</xref>] in their articles applied HPM to the solution of the system<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x6.png" xlink:type="simple"/></inline-formula>. In this article we used homotopy analysis method [<xref ref-type="bibr" rid="scirp.59739-ref14">14</xref>] [<xref ref-type="bibr" rid="scirp.59739-ref15">15</xref>] with different H(x) to solve linear system <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x7.png" xlink:type="simple"/></inline-formula> and showed that our results were better than the HPM results; then convergence of the method was considered.</p><p>Consider a linear system</p><disp-formula id="scirp.59739-formula1481"><label>(1)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-2230086x8.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x9.png" xlink:type="simple"/></inline-formula> is nonsingular and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x10.png" xlink:type="simple"/></inline-formula> is a vector.</p><p>First of all, the basic ideas of the homotopy analysis method are being discussed.</p><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x11.png" xlink:type="simple"/></inline-formula> be an initial guess of x, and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x12.png" xlink:type="simple"/></inline-formula> be called the embedding parameter. The homotopy analysis method is based on a kind of continuous mapping <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x13.png" xlink:type="simple"/></inline-formula> such that, as the embedding parameter q increases from 0 to 1, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x14.png" xlink:type="simple"/></inline-formula>varies from the initial guess <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x15.png" xlink:type="simple"/></inline-formula> to the exact solution x. To ensure this, choose such an auxiliary linear operator as</p><disp-formula id="scirp.59739-formula1482"><label>(2)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-2230086x16.png"  xlink:type="simple"/></disp-formula><p>and we define the operator</p><disp-formula id="scirp.59739-formula1483"><label>(3)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-2230086x17.png"  xlink:type="simple"/></disp-formula><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x18.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x19.png" xlink:type="simple"/></inline-formula> denote the so-called auxiliary parameter and auxiliary matrix, respectively. Using the embedding parameter<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x20.png" xlink:type="simple"/></inline-formula>, we construct a family of equations</p><disp-formula id="scirp.59739-formula1484"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x21.png"  xlink:type="simple"/></disp-formula><p>from (2) and (3) we have</p><disp-formula id="scirp.59739-formula1485"><label>(4)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-2230086x22.png"  xlink:type="simple"/></disp-formula><p>Obviously, at q = 0 and q = 1, one has <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x23.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x24.png" xlink:type="simple"/></inline-formula> respectively. Thus, as q increases from 0 to 1, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x25.png" xlink:type="simple"/></inline-formula>varies continuously from <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x25.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x26.png" xlink:type="simple"/></inline-formula> to x. Such kind of continuous variation is called deformation in topology [<xref ref-type="bibr" rid="scirp.59739-ref16">16</xref>] . We call the family of equations like (4) the zeroth-order deformation equation. Now we define mth-order deformation derivative</p><disp-formula id="scirp.59739-formula1486"><label>(5)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-2230086x27.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x28.png" xlink:type="simple"/></inline-formula> Because <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x28.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x29.png" xlink:type="simple"/></inline-formula> is now a function of the embedding parameter q, by Taylors Theorem, we expand <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x28.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x29.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x30.png" xlink:type="simple"/></inline-formula> in a power series of the embedding parameter q as follows:</p><disp-formula id="scirp.59739-formula1487"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x31.png"  xlink:type="simple"/></disp-formula><p>By using (5) we have</p><disp-formula id="scirp.59739-formula1488"><label>(6)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-2230086x32.png"  xlink:type="simple"/></disp-formula><p>If the series (6) is convergent at q = 1, then using the relationship <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x33.png" xlink:type="simple"/></inline-formula> one has the series solution</p><disp-formula id="scirp.59739-formula1489"><label>(7)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-2230086x34.png"  xlink:type="simple"/></disp-formula><p>Now we have the so-called mth-order deformation equation</p><disp-formula id="scirp.59739-formula1490"><label>(8)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-2230086x35.png"  xlink:type="simple"/></disp-formula><p>where</p><disp-formula id="scirp.59739-formula1491"><label>(9)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-2230086x36.png"  xlink:type="simple"/></disp-formula><p>and</p><disp-formula id="scirp.59739-formula1492"><label>(10)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-2230086x37.png"  xlink:type="simple"/></disp-formula><p>By using (2) we obtain</p><disp-formula id="scirp.59739-formula1493"><label>(11)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-2230086x38.png"  xlink:type="simple"/></disp-formula><p>Also by using (3) and (9) we have</p><disp-formula id="scirp.59739-formula1494"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x39.png"  xlink:type="simple"/></disp-formula><p>and then</p><disp-formula id="scirp.59739-formula1495"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x40.png"  xlink:type="simple"/></disp-formula><p>Finally by using (11) we obtain</p><disp-formula id="scirp.59739-formula1496"><label>(12)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-2230086x41.png"  xlink:type="simple"/></disp-formula><p>Now with the initial guess <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x42.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x42.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x43.png" xlink:type="simple"/></inline-formula> we have</p><disp-formula id="scirp.59739-formula1497"><label>(13)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-2230086x44.png"  xlink:type="simple"/></disp-formula><p>hence, by substituting (13) in (7) we obtain</p><disp-formula id="scirp.59739-formula1498"><label>(14)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-2230086x45.png"  xlink:type="simple"/></disp-formula><p>and by factor of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x46.png" xlink:type="simple"/></inline-formula> we have</p><disp-formula id="scirp.59739-formula1499"><label>(15)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-2230086x47.png"  xlink:type="simple"/></disp-formula><p>Now we have to prove the convergence of (15).</p><p>Theorem 1. The sequence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x48.png" xlink:type="simple"/></inline-formula> is a Cauchy sequence if</p><disp-formula id="scirp.59739-formula1500"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x49.png"  xlink:type="simple"/></disp-formula><p>Proof: Following ([<xref ref-type="bibr" rid="scirp.59739-ref2">2</xref>] , Theorem 1) we have to show that</p><disp-formula id="scirp.59739-formula1501"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x50.png"  xlink:type="simple"/></disp-formula><p>Now considering</p><disp-formula id="scirp.59739-formula1502"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x51.png"  xlink:type="simple"/></disp-formula><p>then</p><disp-formula id="scirp.59739-formula1503"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x52.png"  xlink:type="simple"/></disp-formula><p>let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x53.png" xlink:type="simple"/></inline-formula> then</p><disp-formula id="scirp.59739-formula1504"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x54.png"  xlink:type="simple"/></disp-formula><p>so we have</p><disp-formula id="scirp.59739-formula1505"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x55.png"  xlink:type="simple"/></disp-formula><p>since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x56.png" xlink:type="simple"/></inline-formula> then we obtain</p><disp-formula id="scirp.59739-formula1506"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x57.png"  xlink:type="simple"/></disp-formula><p>which completes the proof.</p></sec><sec id="s2"><title>2. Main Results</title><p>In this section For solving the linear system (1) we apply different H(x) and the convergence of the method is checked. At first assume that A is a nonsingular diagonally dominate matrix and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x58.png" xlink:type="simple"/></inline-formula> Dividing (1) by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x58.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x59.png" xlink:type="simple"/></inline-formula> and without loss of generality we can obtain</p><disp-formula id="scirp.59739-formula1507"><label>(16)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-2230086x60.png"  xlink:type="simple"/></disp-formula><p>where<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x61.png" xlink:type="simple"/></inline-formula>, such that</p><disp-formula id="scirp.59739-formula1508"><label>(17)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-2230086x62.png"  xlink:type="simple"/></disp-formula><p>and</p><disp-formula id="scirp.59739-formula1509"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x63.png"  xlink:type="simple"/></disp-formula><p>Now we apply different H(x) and the convergence of the method is tested.</p><p>1) we propose <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x64.png" xlink:type="simple"/></inline-formula> with</p><disp-formula id="scirp.59739-formula1510"><label>(18)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-2230086x65.png"  xlink:type="simple"/></disp-formula><p>and show that</p><disp-formula id="scirp.59739-formula1511"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x66.png"  xlink:type="simple"/></disp-formula><p>Theorem 2. If A is diagonally dominated and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x67.png" xlink:type="simple"/></inline-formula>, where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x67.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x68.png" xlink:type="simple"/></inline-formula> is defined in (17) then</p><disp-formula id="scirp.59739-formula1512"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x69.png"  xlink:type="simple"/></disp-formula><p>Proof: By direct calculation we have</p><disp-formula id="scirp.59739-formula1513"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x70.png"  xlink:type="simple"/></disp-formula><p>and first row is satisfied:</p><disp-formula id="scirp.59739-formula1514"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x71.png"  xlink:type="simple"/></disp-formula><p>Since A is diagonally dominated, B is diagonally dominated and we have</p><disp-formula id="scirp.59739-formula1515"><label>(19)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-2230086x72.png"  xlink:type="simple"/></disp-formula><p>Now by using (19) we obtain</p><disp-formula id="scirp.59739-formula1516"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x73.png"  xlink:type="simple"/></disp-formula><p>This relation satisfis for other rows also and</p><disp-formula id="scirp.59739-formula1517"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x74.png"  xlink:type="simple"/></disp-formula><p>2) We propose <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x75.png" xlink:type="simple"/></inline-formula> with</p><disp-formula id="scirp.59739-formula1518"><label>(20)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-2230086x76.png"  xlink:type="simple"/></disp-formula><p>and show that</p><disp-formula id="scirp.59739-formula1519"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x77.png"  xlink:type="simple"/></disp-formula><p>Theorem 3. If A is diagonally dominated and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x78.png" xlink:type="simple"/></inline-formula>, where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x78.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x79.png" xlink:type="simple"/></inline-formula> is defined in (17) then</p><disp-formula id="scirp.59739-formula1520"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x80.png"  xlink:type="simple"/></disp-formula><p>Proof: Following Theorem (2)</p><disp-formula id="scirp.59739-formula1521"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x81.png"  xlink:type="simple"/></disp-formula><p>such that</p><disp-formula id="scirp.59739-formula1522"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x82.png"  xlink:type="simple"/></disp-formula><p>and last row is satisfied:</p><disp-formula id="scirp.59739-formula1523"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x83.png"  xlink:type="simple"/></disp-formula><p>This relation satisfis for other rows also</p><disp-formula id="scirp.59739-formula1524"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x84.png"  xlink:type="simple"/></disp-formula><p>3) We propose <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x85.png" xlink:type="simple"/></inline-formula> such that S and R was explained in (18) and (20) respectively and show that</p><disp-formula id="scirp.59739-formula1525"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x86.png"  xlink:type="simple"/></disp-formula><p>Theorem 4. If A is diagonally dominated and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x87.png" xlink:type="simple"/></inline-formula>, where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x87.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x88.png" xlink:type="simple"/></inline-formula> is defined in (17) then</p><disp-formula id="scirp.59739-formula1526"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x89.png"  xlink:type="simple"/></disp-formula><p>Proof: Similar to proof of Theorems (2) and (3).</p><p>4) We propose <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x90.png" xlink:type="simple"/></inline-formula> with</p><disp-formula id="scirp.59739-formula1527"><label>(21)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-2230086x91.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.59739-formula1528"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x92.png"  xlink:type="simple"/></disp-formula><p>and show that</p><disp-formula id="scirp.59739-formula1529"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x93.png"  xlink:type="simple"/></disp-formula><p>Theorem 5. If A is diagonally dominated and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x94.png" xlink:type="simple"/></inline-formula>, where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x94.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x95.png" xlink:type="simple"/></inline-formula> is defined in (17) then</p><disp-formula id="scirp.59739-formula1530"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x96.png"  xlink:type="simple"/></disp-formula><p>Proof: Following Theorem (2) after expanding <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x97.png" xlink:type="simple"/></inline-formula> according to the first row we have</p><disp-formula id="scirp.59739-formula1531"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x98.png"  xlink:type="simple"/></disp-formula><p>This relation satisfis for other rows also</p><disp-formula id="scirp.59739-formula1532"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x99.png"  xlink:type="simple"/></disp-formula><p>5) We propose <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x100.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x101.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x102.png" xlink:type="simple"/></inline-formula> was explained in (21) and (20) respectively and show that</p><disp-formula id="scirp.59739-formula1533"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x103.png"  xlink:type="simple"/></disp-formula><p>Theorem 6. If A is diagonally dominated and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x104.png" xlink:type="simple"/></inline-formula>, where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x105.png" xlink:type="simple"/></inline-formula> is defined in (17) then</p><disp-formula id="scirp.59739-formula1534"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x106.png"  xlink:type="simple"/></disp-formula><p>Proof: Similar to proof of Theorems (3) and (5).</p><p>6) We propose <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x107.png" xlink:type="simple"/></inline-formula> such that U is the strictly upper triangular part of A and show that</p><disp-formula id="scirp.59739-formula1535"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x108.png"  xlink:type="simple"/></disp-formula><p>Theorem 7. If A is diagonally dominated and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x109.png" xlink:type="simple"/></inline-formula>, where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x109.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x110.png" xlink:type="simple"/></inline-formula> is defined in (17) then</p><disp-formula id="scirp.59739-formula1536"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x111.png"  xlink:type="simple"/></disp-formula><p>Proof: Following Theorem (2) after expanding <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x112.png" xlink:type="simple"/></inline-formula> according to the first row we have</p><disp-formula id="scirp.59739-formula1537"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x113.png"  xlink:type="simple"/></disp-formula><p>This relation satisfis for other rows also</p><disp-formula id="scirp.59739-formula1538"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x114.png"  xlink:type="simple"/></disp-formula><p>7) We propose <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x115.png" xlink:type="simple"/></inline-formula> such that U is the strictly upper triangular part of A and R was explained in (20) and show that</p><disp-formula id="scirp.59739-formula1539"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x116.png"  xlink:type="simple"/></disp-formula><p>Theorem 8. If A is diagonally dominated and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x117.png" xlink:type="simple"/></inline-formula>, where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x117.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x118.png" xlink:type="simple"/></inline-formula> is defined in (17) then</p><disp-formula id="scirp.59739-formula1540"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x119.png"  xlink:type="simple"/></disp-formula><p>Proof: Similar to proof of Theorems (3) and (7).</p><p>Now in the next section we apply <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x120.png" xlink:type="simple"/></inline-formula> for solving numerical examples.</p></sec><sec id="s3"><title>3. Numerical Results</title><p>In this section, we present some numerical examples to apply HAM and HPM methods for solving linear system. We used of Matlab 2013 for numerical results.</p><p>Example 1. Consider the linear system<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x121.png" xlink:type="simple"/></inline-formula>, that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x121.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x122.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x121.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x122.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x123.png" xlink:type="simple"/></inline-formula> and the exact solution is<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x121.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x122.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x123.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x124.png" xlink:type="simple"/></inline-formula>.</p><p><xref ref-type="table" rid="table1">Table 1</xref> shows the iteration number,error,spectral radius of iteration matrix and computation time.</p><p>According to <xref ref-type="table" rid="table1">Table 1</xref> we obtain the desirable result for solving this system by seven iterations with HAM and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x125.png" xlink:type="simple"/></inline-formula> while by HPM method we used of fourteen iteration.</p><p>In this example the matrices S and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x126.png" xlink:type="simple"/></inline-formula> are same and the results are same too.</p><p>Example 2. In this example we apply HAM method for solving the linear system</p><disp-formula id="scirp.59739-formula1541"><graphic  xlink:href="http://html.scirp.org/file/6-2230086x127.png"  xlink:type="simple"/></disp-formula><p>where A is a <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x128.png" xlink:type="simple"/></inline-formula> matrix, b is a <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x128.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x129.png" xlink:type="simple"/></inline-formula> vector that its components are sum of the row components of the corresponding matrix and the exact solution is<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x128.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x130.png" xlink:type="simple"/></inline-formula>. The numerical results are in <xref ref-type="table" rid="table2">Table 2</xref>.</p><table-wrap id="table1" ><label><xref ref-type="table" rid="table1">Table 1</xref></label><caption><title> Camparision between HPM and HAM for 3 &#180; 3 system</title></caption><table><tbody><thead><tr><th align="center" valign="middle" >Method</th><th align="center" valign="middle" >Iteration</th><th align="center" valign="middle" >Error</th><th align="center" valign="middle" >Spectral radius</th><th align="center" valign="middle" >Times (s)</th></tr></thead><tr><td align="center" valign="middle" >HAM<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x131.png" xlink:type="simple"/></inline-formula> (HPM)</td><td align="center" valign="middle" >14</td><td align="center" valign="middle" >10<sup>−5</sup></td><td align="center" valign="middle" >0.4004</td><td align="center" valign="middle" >0.013</td></tr><tr><td align="center" valign="middle" >HAM<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x132.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" >11</td><td align="center" valign="middle" >10<sup>−5</sup></td><td align="center" valign="middle" >0.3057</td><td align="center" valign="middle" >0.010</td></tr><tr><td align="center" valign="middle" >HAM<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x133.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" >9</td><td align="center" valign="middle" >10<sup>−5</sup></td><td align="center" valign="middle" >0.2168</td><td align="center" valign="middle" >0.010</td></tr><tr><td align="center" valign="middle" >HAM<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x134.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" >8</td><td align="center" valign="middle" >10<sup>−5</sup></td><td align="center" valign="middle" >0.1806</td><td align="center" valign="middle" >0.014</td></tr><tr><td align="center" valign="middle" >HAM<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x135.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" >11</td><td align="center" valign="middle" >10<sup>−5</sup></td><td align="center" valign="middle" >0.2918</td><td align="center" valign="middle" >0.010</td></tr><tr><td align="center" valign="middle" >HAM<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x136.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" >8</td><td align="center" valign="middle" >10<sup>−5</sup></td><td align="center" valign="middle" >0.1806</td><td align="center" valign="middle" >0.014</td></tr><tr><td align="center" valign="middle" >HAM<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x137.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" >8</td><td align="center" valign="middle" >10<sup>−5</sup></td><td align="center" valign="middle" >0.2918</td><td align="center" valign="middle" >0.011</td></tr><tr><td align="center" valign="middle" >HAM<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x138.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" >7</td><td align="center" valign="middle" >10<sup>−5</sup></td><td align="center" valign="middle" >0.1667</td><td align="center" valign="middle" >0.011</td></tr></tbody></table></table-wrap><table-wrap id="table2" ><label><xref ref-type="table" rid="table2">Table 2</xref></label><caption><title> Camparision between HPM and HAM for 1000 &#180; 1000 system</title></caption><table><tbody><thead><tr><th align="center" valign="middle" >Method</th><th align="center" valign="middle" >Iteration</th><th align="center" valign="middle" >Error</th><th align="center" valign="middle" >Spectral radius</th><th align="center" valign="middle" >Times (s)</th></tr></thead><tr><td align="center" valign="middle" >HAM<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x139.png" xlink:type="simple"/></inline-formula> (HPM)</td><td align="center" valign="middle" >36</td><td align="center" valign="middle" >10<sup>−4</sup></td><td align="center" valign="middle" >0.5258</td><td align="center" valign="middle" >16.378</td></tr><tr><td align="center" valign="middle" >HAM<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x140.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" >32</td><td align="center" valign="middle" >10<sup>−4</sup></td><td align="center" valign="middle" >0.5167</td><td align="center" valign="middle" >19.141</td></tr><tr><td align="center" valign="middle" >HAM<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x141.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" >32</td><td align="center" valign="middle" >10<sup>−4</sup></td><td align="center" valign="middle" >0.5157</td><td align="center" valign="middle" >17.176</td></tr><tr><td align="center" valign="middle" >HAM<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x142.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" >32</td><td align="center" valign="middle" >10<sup>−4</sup></td><td align="center" valign="middle" >0.5169</td><td align="center" valign="middle" >18.010</td></tr><tr><td align="center" valign="middle" >HAM<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x143.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" >32</td><td align="center" valign="middle" >10<sup>−4</sup></td><td align="center" valign="middle" >0.5162</td><td align="center" valign="middle" >20.112</td></tr><tr><td align="center" valign="middle" >HAM<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x144.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" >32</td><td align="center" valign="middle" >10<sup>−4</sup></td><td align="center" valign="middle" >0.5261</td><td align="center" valign="middle" >19.200</td></tr><tr><td align="center" valign="middle" >HAM<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x145.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" >25</td><td align="center" valign="middle" >10<sup>−4</sup></td><td align="center" valign="middle" >0.4143</td><td align="center" valign="middle" >11.731</td></tr><tr><td align="center" valign="middle" >HAM<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x146.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" >20</td><td align="center" valign="middle" >10<sup>−4</sup></td><td align="center" valign="middle" >0.4092</td><td align="center" valign="middle" >9.175</td></tr></tbody></table></table-wrap></sec><sec id="s4"><title>4. Conclusion</title><p>From the numerical results, we have seen that the HAM method with different <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-2230086x147.png" xlink:type="simple"/></inline-formula> produces a spectral radius smaller than the HPM and with the less iteration we obtain the desirable result.</p></sec><sec id="s5"><title>Acknowledgements</title><p>We thank Islamic Azad University for support researcher plan entitled: “Combination of Iterative methods and semi analytic methods for solving linear systems” and the Editor and the referee for their comments.</p></sec><sec id="s6"><title>Cite this paper</title><p>Mohammad HasanKhani,JalilRashidinia,Sajjad ZiaBorujeni, (2015) Application of Different H(x) in Homotopy Analysis Methods for Solving Systems of Linear Equations. Advances in Linear Algebra &amp; Matrix Theory,05,129-137. doi: 10.4236/alamt.2015.53012</p></sec><sec id="s7"><title>NOTES</title></sec></body><back><ref-list><title>References</title><ref id="scirp.59739-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Nazari, A.M. and Zia Borujeni, S. (2012) A Modified Precondition in the Gauss-Seidel Method. Advances in Linear Algebra &amp; Matrix Theory, 1, 31-37. http://dx.doi.org/10.4236/alamt.2012.23005</mixed-citation></ref><ref id="scirp.59739-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Keramati, B. (2009) An Approach to the Solution of Linear System of Equations by He’s Homotopy Perturbation Method. Chaos, Solitons and Fractals, 41, 152-156. http://dx.doi.org/10.1016/j.chaos.2007.11.020</mixed-citation></ref><ref id="scirp.59739-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Liu, H.K. (2011) Application of Homotopy Perturbation Methods for Solving Systems of Linear Equations. Applied Mathematics and Computation, 217, 5259-5264. http://dx.doi.org/10.1016/j.amc.2010.11.024</mixed-citation></ref><ref id="scirp.59739-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Liao, S.J. (1992) The Proposed Homotopy Analysis Technique for the Solution of Nonlinear Problems. Ph.D. Thesis, Shanghai Jiao Tong University, Shanghai.</mixed-citation></ref><ref id="scirp.59739-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Morimoto, M., Harada, K., Sakakihara, M. and Sawami, H. (2004) The Gauss-Seidel Iterative Method with the Preconditioning Matrix.(&lt;i&gt;I&lt;/i&gt;+&lt;i&gt;S&lt;/i&gt;+&lt;i&gt;S&lt;/i&gt;&lt;sub&gt;m&lt;/sub&gt;). Japan Journal of Industrial and Applied Mathematics, 21, 25-34.http://dx.doi.org/10.1007/BF03167430</mixed-citation></ref><ref id="scirp.59739-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Niki, H., Kohno, T. and Morimoto, M. (2008) The Preconditioned Gauss-Seidel Method Faster than the SOR Method. Journal of Computational and Applied Mathematics, 218, 59-71. http://dx.doi.org/10.1016/j.cam.2007.07.002</mixed-citation></ref><ref id="scirp.59739-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Niki, H., Kohno, T. and Abe, K. (2009) An Extended GS Method for Dense Linear System. Journal of Computational and Applied Mathematics, 231, 177-186. http://dx.doi.org/10.1016/j.cam.2009.02.005</mixed-citation></ref><ref id="scirp.59739-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Yusefoglu, E. (2009) An Improvement to Homotopy Perturbation Method for Solving System of Linear Equations. Computers &amp; Mathematics with Applications, 58, 2231-2235. http://dx.doi.org/10.1016/j.camwa.2009.03.010</mixed-citation></ref><ref id="scirp.59739-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Yuan, J.Y. and Zontini, D.D. (2012) Comparison Theorems of Preconditioned Gauss-Seidel Methods for M-Matrices. Applied Mathematics and Computation, 219, 1947-1957. http://dx.doi.org/10.1016/j.amc.2012.08.037</mixed-citation></ref><ref id="scirp.59739-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Gunawardena, A.D., Jain, S.K. and Snyder, L. (1991) Modified Iterative Method for Consistent Linear Systems. Linear Algebra and Its Applications, 154-156, 123-143. http://dx.doi.org/10.1016/0024-3795(91)90376-8</mixed-citation></ref><ref id="scirp.59739-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Kohno, T. and Niki, H. (2009) A Note on the Preconditioner &lt;i&gt;Pm&lt;/i&gt;=(&lt;i&gt;I&lt;/i&gt;+&lt;i&gt;Sm&lt;/i&gt;). Journal of Computational and Applied Mathematics, 225, 316-319. http://dx.doi.org/10.1016/j.cam.2008.07.042</mixed-citation></ref><ref id="scirp.59739-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">He, J.H. (2003) Homotopy Perturbation Method: A New Non-Linear Analytical Technique. Applied Mathematics and Computation, 135, 73-79. http://dx.doi.org/10.1016/S0096-3003(01)00312-5</mixed-citation></ref><ref id="scirp.59739-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">Saad, Y. (2003) Iterative Methods for Sparse Linear Systems. SIAM Press, PHiladelphia.http://dx.doi.org/10.1137/1.9780898718003</mixed-citation></ref><ref id="scirp.59739-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">Liao, S.J. (2003) Beyond Perturbation: Introduction to the Homotopy Analysis Method. Chapman &amp; Hall/CRC Press, Boca Raton. http://dx.doi.org/10.1201/9780203491164</mixed-citation></ref><ref id="scirp.59739-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">Liao, S.J. (2009) Notes on the Homotopy Analysis Method: Some Definitions and Theorems. Communications in Nonlinear Science and Numerical Simulation, 14, 983-997. http://dx.doi.org/10.1016/j.cnsns.2008.04.013</mixed-citation></ref><ref id="scirp.59739-ref16"><label>16</label><mixed-citation publication-type="other" xlink:type="simple">Sen, S. (1983) Topology and Geometry for Physicists. Academic Press, Waltham.</mixed-citation></ref></ref-list></back></article>