<?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">APM</journal-id><journal-title-group><journal-title>Advances in Pure Mathematics</journal-title></journal-title-group><issn pub-type="epub">2160-0368</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/apm.2020.105020</article-id><article-id pub-id-type="publisher-id">APM-100406</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>
 
 
  A New Algorithm Based on Differential Transform Method for Solving Partial Differential Equation System with Initial and Boundary Conditions
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Chenlu</surname><given-names>Huang</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>Jiwei</surname><given-names>Li</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Fali</surname><given-names>Lin</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib></contrib-group><aff id="aff1"><addr-line>School of Architecture and Civil Engineering, Taizhou University, Taizhou, China</addr-line></aff><pub-date pub-type="epub"><day>30</day><month>04</month><year>2020</year></pub-date><volume>10</volume><issue>05</issue><fpage>337</fpage><lpage>349</lpage><history><date date-type="received"><day>25,</day>	<month>April</month>	<year>2020</year></date><date date-type="rev-recd"><day>22,</day>	<month>May</month>	<year>2020</year>	</date><date date-type="accepted"><day>25,</day>	<month>May</month>	<year>2020</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, a new Fourier-differential transform method (FDTM) based on differential transformation method (DTM) is proposed. The method can effectively and quickly solve linear and nonlinear partial differential equations with initial boundary value (IBVP). According to boundary condition, the initial condition is expanded into a Fourier series. After that, the IBVP is transformed to an iterative relation in K-domain. The series solution or exact solution can be obtained. The rationality and practicability of the algorithm FDTM are verified by comparisons of the results obtained by FDTM and the existing analytical solutions.
 
</p></abstract><kwd-group><kwd>Differential Transform Method</kwd><kwd> Initial Boundary Value Problem</kwd><kwd> Fourier-Differential Transform Method</kwd><kwd> Fourier Series</kwd><kwd> Typical Zero Boundary</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>The differential transform method (DTM) is a powerful approximate analytic method for solving linear and nonlinear differential equations. Thus it provides widely applicable technique to construct an analytical solution of differential equations in a polynomial form. Since the basic idea of the DTM was introduced by Pukhov [<xref ref-type="bibr" rid="scirp.100406-ref1">1</xref>], the method has been studied intensely and has substantially grown. A large amount of literature about the DTM, its applications and its extensions is available, e.g. [<xref ref-type="bibr" rid="scirp.100406-ref2">2</xref>] - [<xref ref-type="bibr" rid="scirp.100406-ref28">28</xref>].</p><p>Although being powerful, there still exist some difficulties in solving system of differential equations with initial and boundary condition(s) by the DTM. In fact, one may note that much of the research on the method is to solve the linear and nonlinear ODE with or without initial or boundary condition(s) [<xref ref-type="bibr" rid="scirp.100406-ref3">3</xref>] - [<xref ref-type="bibr" rid="scirp.100406-ref13">13</xref>]. Although there are some researches on solution of BVP, the BVP is composed of single equation and special initial boundary data [<xref ref-type="bibr" rid="scirp.100406-ref14">14</xref>] [<xref ref-type="bibr" rid="scirp.100406-ref15">15</xref>] [<xref ref-type="bibr" rid="scirp.100406-ref16">16</xref>] [<xref ref-type="bibr" rid="scirp.100406-ref17">17</xref>] [<xref ref-type="bibr" rid="scirp.100406-ref18">18</xref>] [<xref ref-type="bibr" rid="scirp.100406-ref24">24</xref>]. The research on solution of the initial boundary value problem of partial differential equation system based on DTM is scarce. It is well known that a PDE (a system of PDEs) cannot model any real process without additional condition(s) on the unknown function(s). On the other hand, boundary-value problems (BVPs) based on the relevant PDEs (systems), which reflect general physical laws, describe many real processes arising in nature and society.</p><p>The aim of this paper is to extend the differential transformation method to solve partial differential equation system with initial and three typical zero boundary conditions. According to the characteristics of boundary conditions, the initial function is respectively expanded into corresponding Fourier series. The method based on the iteration procedure of DTM and Fourier expansion technology is called Fourier-differential transform method (FDTM). The method can be used to evaluate the approximating solution by the finite Taylor series and by an iteration procedure described by the transformed equations obtained from the original equation using the operations of differential transformation.</p></sec><sec id="s2"><title>2. Differential Transform Method</title><sec id="s2_1"><title>2.1. One-Dimensional Differential Transform</title><p>The definitions and operations of one-dimensional differential transform method (DTM) are introduced in [<xref ref-type="bibr" rid="scirp.100406-ref3">3</xref>] - [<xref ref-type="bibr" rid="scirp.100406-ref13">13</xref>]. The basic definitions of the DTM are given as follows:</p><p>The differential transform of the k<sup>th</sup> differentiable function u ( x ) at x = 0 is defined by</p><p>U ( k ) = 1 k ! ∂ k u ( x ) ∂ x k | x = 0 (1)</p><p>where u ( x ) is the original function and U ( k ) is the transformed function. The corresponding inverse transform is defined by</p><p>u ( x ) = ∑ k = 0 ∞ U ( k ) x k (2)</p><p>Substituting Equation (2) into Equation (1), it can be obtained as</p><p>u ( x ) = ∑ k = 0 ∞ 1 k ! ∂ k u ( x ) ∂ x k | x = 0 x k (3)</p><p>Using the differential transform, a differential equation in the domain of interest can be transformed to be an algebraic equation in the K-domain and u ( x ) can be obtained by finite-term Taylor series plus a remainder,</p><p>u ( x ) = ∑ k = 0 n 1 k ! ∂ k u ( x ) ∂ x k | x = 0 x k + R n + 1 ( x ) (4)</p><p>Some of the fundamental mathematical operations performed by one-dimensional differential transform can be obtained in <xref ref-type="table" rid="table1">Table 1</xref>.</p></sec><sec id="s2_2"><title>2.2. Two-Dimensional Differential Transform</title><p>Consider a function of two variables u ( x , t ) : R &#215; R → R , based on the properties of one-dimensional DTM, if u ( x , t ) is analytic and continuously differentiable with respect to variables in the domain of interest, the two-dimensional transform at ( 0 , 0 ) are given as follows [<xref ref-type="bibr" rid="scirp.100406-ref18">18</xref>] [<xref ref-type="bibr" rid="scirp.100406-ref20">20</xref>] [<xref ref-type="bibr" rid="scirp.100406-ref22">22</xref>] [<xref ref-type="bibr" rid="scirp.100406-ref24">24</xref>]</p><p>U ( i , j ) = 1 i ! j ! ∂ i + j u ( x , t ) ∂ x i ∂ t j | ( 0 , 0 ) (5)</p><p>The spectrum function U ( i , j ) is the transformed function, which is also called the T-function. The function u ( x , t ) is the original function. The differential inverse transform of U ( i , j ) is defined as follows.</p><p>u ( x , t ) = ∑ i = 0 ∞ ∑ j = 0 ∞ U ( i , j ) x i t j (6)</p><p>Substituting Equation (6) into Equation (5), it can be obtained as</p><p>u ( x , t ) = ∑ i = 0 ∞ ∑ j = 0 ∞ 1 i ! j ! ∂ i + j u ( x , t ) ∂ x i ∂ t j | ( 0 , 0 ) x i t j (7)</p><p>Unlike the traditional high-order Taylor series method which requires complicated symbolic computations, with this method, the given equation and related conditions are transformed into a recurrence relation, through which one can easily obtain the coefficients of a Taylor series solution.</p><p>The main advantage of the DTM is that it provides an explicit and numerical solution with minimal calculations. Another important advantage is that this method can be applied directly to nonlinear problems without linearization, discretization or perturbation. Some of the fundamental mathematical operations performed by two-dimensional differential transform can be obtained 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> One-dimensional differential transform</title></caption><table><tbody><thead><tr><th align="center" valign="middle" >Original function</th><th align="center" valign="middle" >Transformed function</th></tr></thead><tr><td align="center" valign="middle" >u ( x ) = u 1 ( x ) &#177; u 2 ( x )</td><td align="center" valign="middle" >U ( k ) = U 1 ( k ) &#177; U 2 ( k )</td></tr><tr><td align="center" valign="middle" >u ( x ) = c v ( x )</td><td align="center" valign="middle" >U ( k ) = c V ( k )</td></tr><tr><td align="center" valign="middle" >u ( x ) = u 1 ( x ) u 2 ( x )</td><td align="center" valign="middle" >U ( k ) = ∑ m = 0 k U 1 ( m ) U 2 ( k − m )</td></tr><tr><td align="center" valign="middle" >u ( x ) = ∂ k v ( x ) ∂ x k</td><td align="center" valign="middle" >U ( k ) = ( k + m ) ! k ! V ( k + m )</td></tr></tbody></table></table-wrap><table-wrap id="table2" ><label><xref ref-type="table" rid="table2">Table 2</xref></label><caption><title> Two-dimensional differential transform</title></caption><table><tbody><thead><tr><th align="center" valign="middle" >Original function</th><th align="center" valign="middle" >Transformed function</th></tr></thead><tr><td align="center" valign="middle" >u ( x , t ) = u 1 ( x , t ) &#177; u 2 ( x , t )</td><td align="center" valign="middle" >U ( i , j ) = U 1 ( i , j ) &#177; U 2 ( i , j )</td></tr><tr><td align="center" valign="middle" >u ( x , t ) = c v ( x , t )</td><td align="center" valign="middle" >U ( i , j ) = c V ( i , j )</td></tr><tr><td align="center" valign="middle" >u ( x , t ) = u 1 ( x , t ) u 2 ( x , t )</td><td align="center" valign="middle" >U ( i , j ) = ∑ i = 0 m ∑ j = 0 n U 1 ( i , n − j ) U 2 ( m − i , j )</td></tr><tr><td align="center" valign="middle" >u ( x , t ) = ∂ v ( x , t ) ∂ t</td><td align="center" valign="middle" >U ( i , j ) = ( j + 1 ) V ( i , j + 1 )</td></tr><tr><td align="center" valign="middle" >u ( x , t ) = ∂ k v ( x , t ) ∂ x k</td><td align="center" valign="middle" >U ( i , j ) = ( i + k ) ! k ! V ( i + k , j )</td></tr><tr><td align="center" valign="middle" >u ( x , t ) = ∂ k v ( x , t ) ∂ t k</td><td align="center" valign="middle" >U ( i , j ) = ( j + k ) ! k ! V ( i , j + k )</td></tr></tbody></table></table-wrap></sec></sec><sec id="s3"><title>3. The Fourier-Differential Transform Method (FDTM)</title><p>Many engineering phenomenon are mathematically modeled by categorizing them in the initial boundary value problems (IBVPs). In this study, an efficient algorithm based upon the differential transform method (DTM) is considered to solve the system of partial differential equations with initial and zero boundary conditions. In order to illustrate the algorithm, a more general form of equations at x ∈ [ a , b ] ,   a , b ∈ R and t ∈ [ 0 , ∞ ] is expressed as</p><p>L t ( u ( x , t ) ) + L x ( u , v ) + N 1 ( u , v ) = 0 (8)</p><p>L t ( v ( x , t ) ) + L x ( u , v ) + N 2 ( u , v ) = 0 (9)</p><p>with initial conditions</p><p>u ( x , 0 ) = f ( x ) ,   a &lt; x &lt; b (10)</p><p>v ( x , 0 ) = g ( x ) ,   a &lt; x &lt; b (11)</p><p>and zero Dirichlet boundary conditions</p><p>u ( a , t ) = u ( b , t ) = 0 ,   t &gt; 0 (12)</p><p>v ( a , t ) = v ( b , t ) = 0 ,   t &gt; 0 (13)</p><p>or zero Neumann boundary conditions</p><p>∂ u ∂ x | x = a = ∂ u ∂ x | x = b = 0 ,   t &gt; 0 (14)</p><p>∂ v ∂ x | x = a = ∂ v ∂ x | x = b = 0 ,   t &gt; 0 (15)</p><p>or zero mixed boundary conditions</p><p>u ( a , t ) = ∂ u ∂ x | x = b = 0 ,   t &gt; 0 (16)</p><p>v ( a , t ) = ∂ v ∂ x | x = b = 0 ,   t &gt; 0 (17)</p><p>where, L is liner differential operators, N is nonliner differential operators, the vector of main unknown functions, x is spatial variable and t is time.</p><p>On the basis of the DTM, we shall introduce an effective algorithm to obtain the approximate solution of Equation (8) under the initial conditions Equation (9) and the boundary conditions Equations (12)-(17). The main steps of the algorithm are:</p><p>Step 1, Appling the differential transformation in Equation (8), and an iterative formula is obtained.</p><p>F ( U ( i , j ) , V ( i , j ) ) = 0 (18)</p><p>G ( U ( i , j ) , V ( i , j ) ) = 0 (19)</p><p>where, i , j = 0 , 1 , 2 , ⋯ , N − n .</p><p>Step 2, Duce U ( i , j ) and V ( i , j ) ( i , j = n , n + 1 , ⋯ , N ). According to the characteristics of boundary conditions, the initial function is respectively expanded into corresponding Fourier series [<xref ref-type="bibr" rid="scirp.100406-ref29">29</xref>] [<xref ref-type="bibr" rid="scirp.100406-ref30">30</xref>]. The expanded form of the initial conditions see <xref ref-type="table" rid="table3">Table 3</xref>.</p><p>Step 3, Imposing the truncated series solution obtained in Step 2 on the initial and boundary conditions, a linear or nonlinear algebraic equations system can be obtained by</p><p>g 1 ( U ( i , j ) , V ( i , j ) ) = 0                         ⋮ g n ( U ( i , j ) , V ( i , j ) ) = 0 (20)</p><p>where, i , j = 0 , 1 , 2 , ⋯ , n − 1 .</p><p>Step 4, Solve system in Step3 to determine U ( i , j ) and V ( i , j ) , and substitute the result into the truncated series solution obtained in Step 3 to obtain the final result.</p><table-wrap id="table3" ><label><xref ref-type="table" rid="table3">Table 3</xref></label><caption><title> The corresponding Fourier series of initial function to boundary conditions</title></caption><table><tbody><thead><tr><th align="center" valign="middle" >Boundary conditions</th><th align="center" valign="middle" >The corresponding Fourier series of initial function</th><th align="center" valign="middle" >Coefficient value</th></tr></thead><tr><td align="center" valign="middle" >zero Dirichlet boundary conditions</td><td align="center" valign="middle" >f ( x ) = ∑ n = 0 ∞ A n sin ( n π ( x − a ) b − a ) g ( x ) = ∑ n = 0 ∞ A ˜ n sin ( n π ( x − a ) b − a )</td><td align="center" valign="middle" >A n = 2 b − a ∫ 0 b − a f ( x ) sin ( n π ( x − a ) b − a ) d x A ˜ n = 2 b − a ∫ 0 b − a g ( x ) sin ( n π ( x − a ) b − a ) d x</td></tr><tr><td align="center" valign="middle" >zero Neumann boundary conditions</td><td align="center" valign="middle" >f ( x ) = B 0 + ∑ n = 1 ∞ B n cos ( n π ( x − a ) b − a ) g ( x ) = B ˜ 0 + ∑ n = 1 ∞ B ˜ n cos ( n π ( x − a ) b − a )</td><td align="center" valign="middle" >B n = 2 b − a ∫ 0 b − a f ( x ) cos ( n π ( x − a ) b − a ) d x B ˜ n = 2 b − a ∫ 0 b − a g ( x ) cos ( n π ( x − a ) b − a ) d x</td></tr><tr><td align="center" valign="middle" >zero mixed boundary conditions</td><td align="center" valign="middle" >f ( x ) = ∑ n = 0 ∞ C n sin ( ( n + 1 / 2 ) π ( x − a ) b − a ) g ( x ) = ∑ n = 0 ∞ C ˜ n sin ( ( n + 1 / 2 ) π ( x − a ) 2 ( b − a ) )</td><td align="center" valign="middle" >C n = 2 b − a ∫ 0 b − a f ( x ) sin ( ( n + 1 / 2 ) π ( x − a ) b − a ) d x C ˜ n = 2 b − a ∫ 0 b − a g ( x ) sin ( ( n + 1 / 2 ) π ( x − a ) b − a ) d x</td></tr></tbody></table></table-wrap></sec><sec id="s4"><title>4. Expmple</title><p>In order to verify the effectiveness of the above method, three typical initial boundary value problems are solved. It should be noted that the following examples only serve as illustrations and the more complex problems can be tackled by the proposed technique, e.g. higher-ordered ODEs, PDEs (system) or other functional equations involving nonlinear terms with zero boundary conditions.</p><p>Example 1. The linear heat equation was first considered at x ∈ [ 0 , 1 ] and t ∈ [ 0 , ∞ ] [<xref ref-type="bibr" rid="scirp.100406-ref31">31</xref>].</p><p>u t = α u x x (21)</p><p>with the initial data</p><p>u ( x , 0 ) = 1 , x ∈ ( 0 , 1 ) (22)</p><p>and subject to the boundary conditions</p><p>u ( 0 , t ) = 0 , t &gt; 0 (23)</p><p>u ( 1 , t ) = 0 , t &gt; 0 (24)</p><p>where, α &gt; 0 is constant.</p><p>Based on the FDTM, we have ones</p><p>U ( i , j + 1 ) = α ( i + 1 ) ( i + 2 ) j + 1 U ( i + 2 , j ) (25)</p><p>For the initial condition, it can be obtained as</p><p>∑ i = 0 ∞ U ( i , 0 ) x i = 4 π ∑ n = 0 ∞ 1 2 n + 1 ∑ k = 0 ∞ ( − 1 ) k ( 2 k + 1 ) ! ( ( 2 n + 1 ) π x ) 2 k + 1 (26)</p><p>which implies</p><p>U ( i , 0 ) = 4 π ∑ n = 0 ∞ 1 2 n + 1 ( − 1 ) i − 1 2 i ! ( ( 2 n + 1 ) π 2 ) i , i = 1 , 3 , 5 , ⋯ (27)</p><p>From the boundary conditions, we have</p><p>∑ j = 0 ∞ U ( 0 , j ) t j = 0 (28)</p><p>∑ j = 0 ∞ ∑ i = 0 ∞ U ( i , j ) t j = 0 (29)</p><p>which implies</p><p>U ( 0 , j ) = 0 (30)</p><p>∑ i = 0 ∞ U ( i , j ) = 0 (31)</p><p>Substituting Equation (27), Equation (28) and Equation (30) into Equation (25), one has</p><p>U ( i , j ) = ∑ n = 0 ∞ α j j ! 4 ( 2 n + 1 ) π ( − 1 ) i − 1 + 2 j 2 i ! ( ( 2 n + 1 ) π ) i + 2 j , i = 1 , 3 , 5 , ⋯ (32)</p><p>U ( i , j ) = 0 , i = 0 , 2 , 4 , ⋯ (33)</p><p>From the definition of inverse differential transform, we get</p><p>u ( x , t ) = 4 π ∑ n = 0 ∞ ∑ i = 0 ∞ 1 2 n + 1 ( − 1 ) i ( 2 i + 1 ) ! ( ( 2 n + 1 ) π ) 2 i + 1 x 2 i + 1 ∑ j = 0 ∞ ( − 1 ) j α j j ! ( ( 2 n + 1 ) π ) 2 j t j                   = 4 π ∑ n = 0 ∞ 1 2 n + 1 sin ( ( 2 n + 1 ) π x ) exp ( − ( ( 2 n + 1 ) π ) 2 α t ) (34)</p><p>Note that Equation (2) is often used to describe the law of heat conduction. Because its heat conduction coefficient is constant, it belongs to the category of linear partial differential equations. For linear partial differential equations, the separation variable method is often used to solve, but this paper gives different solutions method. The solution obtained by the FDTM converge to the solution by separation of variables method [<xref ref-type="bibr" rid="scirp.100406-ref31">31</xref>]. This also confirms the rationality of this method.</p><p>Example 2. Partial differential equations with constant coefficients are considered in this example.</p><p>C 1 ∂ u ∂ t + ∂ V ∂ t = ∂ 2 V ∂ x 2 (35)</p><p>∂ u ∂ t + C 2 ∂ v ∂ t = C 3 ∂ 2 v ∂ x 2 (36)</p><p>subject to initial conditions</p><p>u ( x , 0 ) = 1 in 0 &lt; x ≤ 1 (37)</p><p>v ( x , 0 ) = 1 in 0 &lt; x ≤ 1 (38)</p><p>and boundary conditions</p><p>u ( 0 , t ) = 0 , v ( 0 , t ) = 0 in t &gt; 0 (39)</p><p>∂ u ( 1 , t ) ∂ x = 0 , ∂ v ( 1 , t ) ∂ x = 0 in t &gt; 0 (40)</p><p>where, C 1 , C 2 , C 3 are costant coefficient and C 1 C 2 ≠ 1 , C 3 ≠ 0 .</p><p>Remark: The system described above has been widely used in geotechnical engineering [<xref ref-type="bibr" rid="scirp.100406-ref32">32</xref>].</p><p>Based on the FDTM, we have ones</p><p>U ( i , j + 1 ) = C 2 ( i + 1 ) ( i + 2 ) V ( i + 2 , j ) − C 3 ( i + 1 ) ( i + 2 ) U ( i + 2 , j ) ( j + 1 ) ( C 1 C 2 − 1 ) (41)</p><p>V ( i , j + 1 ) = C 1 C 3 ( i + 1 ) ( i + 2 ) U ( i + 2 , j ) − ( i + 1 ) ( i + 2 ) V ( i + 2 , j ) ( j + 1 ) ( C 1 C 2 − 1 ) (42)</p><p>By the initial condition Equation (37) &amp; Equation (38), it can be obtained as</p><p>∑ i = 0 ∞ U ( i , 0 ) x i = 4 π ∑ n = 0 ∞ 1 2 n + 1 ∑ k = 0 ∞ ( − 1 ) k ( 2 k + 1 ) ! ( ( 2 n + 1 ) π x 2 ) 2 k + 1 (43)</p><p>∑ i = 0 ∞ V ( i , 0 ) x i = 4 π ∑ n = 0 ∞ 1 2 n + 1 ∑ k = 0 ∞ ( − 1 ) k ( 2 k + 1 ) ! ( ( 2 n + 1 ) π x 2 ) 2 k + 1 (44)</p><p>which implies</p><p>U ( i , 0 ) = 4 π ∑ n = 0 ∞ 1 2 n + 1 ( − 1 ) i − 1 2 i ! ( ( 2 n + 1 ) π 2 ) i , i = 1 , 3 , 5 , ⋯ (45)</p><p>V ( i , 0 ) = 4 π ∑ n = 0 ∞ 1 2 n + 1 ( − 1 ) i − 1 2 i ! ( ( 2 n + 1 ) π 2 ) i , i = 1 , 3 , 5 , ⋯ (46)</p><p>From the boundary conditions Equation (39) &amp; Equation (40), one has</p><p>{ ∑ j = 0 ∞ U 1 ( 0 , j ) t j = 0 , ∑ j = 0 ∞ U 2 ( 0 , j ) t j = 0 ∑ j = 0 ∞ ∑ i = 0 ∞ ( i + 1 ) U 1 ( i , j ) t j = 0 ∑ j = 0 ∞ ∑ i = 0 ∞ ( i + 1 ) U 2 ( i , j ) t j = 0 (47)</p><p>which implies</p><p>U ( 0 , j ) = 0 , V ( 0 , j ) = 0 (48)</p><p>{ ∑ i = 0 ∞ ( i + 1 ) U ( i + 1 , j ) = 0 ∑ i = 0 ∞ ( i + 1 ) V ( i + 1 , j ) = 0 (49)</p><p>Substituting Equation (45) &amp; Equation (46) and Equation (48) into Equation (41) &amp; Equation (42), and by recursive method, it can be get</p><p>U ( i , j ) = 4 π ∑ n = 0 ∞ 1 2 n + 1 ( − 1 ) i − 1 + 2 j 2 i ! a 1 ( j ) j ! ( C 1 C 2 − 1 ) j ( ( 2 n + 1 ) π 2 ) i + 2 j , i = 1 , 3 , 5 , ⋯ (50)</p><p>V ( i , j ) = 4 π ∑ n = 0 ∞ 1 2 n + 1 ( − 1 ) i − 1 + 2 j 2 i ! a 2 ( j ) j ! ( C 1 C 2 − 1 ) j ( ( 2 n + 1 ) π 2 ) i + 2 j , i = 1 , 3 , 5 , ⋯ (51)</p><p>where, a 1 ( j ) , a 2 ( j ) satisfy the recursive formula</p><p>a ( j + 1 ) = A a ( j ) (52)</p><p>where, a ( j ) = ( a 1 ( j ) , a 2 ( j ) ) T , A = ( − 1 C 1 C 3 C 2 − C 3 ) , a 1 ( 0 ) = a 2 ( 0 ) = 1 , j = 0 , 1 , 2 , ⋯ .</p><p>From the Equation (52), we have</p><p>a 1 ( j ) = ( λ 1 + 1 ) ( C 1 C 3 − λ 2 − 1 ) λ 1 j − ( λ 2 + 1 ) ( C 1 C 3 − λ 1 − 1 ) λ 2 j C 1 C 3 ( λ 1 − λ 2 ) (53)</p><p>a 2 ( j ) = ( C 1 C 3 − λ 2 − 1 ) λ 1 j − ( C 1 C 3 − λ 1 − 1 ) λ 2 j λ 1 − λ 2 (54)</p><p>where λ 1 and λ 2 are the eigenvalues of the matrix A = ( − 1 C 1 C 3 C 2 − C 3 ) .</p><p>By using Equation (41) &amp; Equation (42) and Equation (48) &amp; Equation (49), it can be obtained as</p><p>U 1 ( i , j ) = 0 , i = 0 , 2 , 4 , ⋯ (55)</p><p>U 2 ( i , j ) = 0 , i = 0 , 2 , 4 , ⋯ (56)</p><p>According the differential inverse transform of the DTM, we get</p><p>u ( x , t ) = 4 π ∑ n = 0 ∞ 1 2 n + 1 ∑ i = 1 , 3 , 5 , ⋯ ( − 1 ) i − 1 2 i ! ( ( 2 n + 1 ) π 2 x ) i ∑ j = 0 ∞ a 1 ( j ) j ! [ − ( ( 2 n + 1 ) π ) 2 4 ( C 1 C 2 − 1 ) t ] j (57)</p><p>v ( x , t ) = 4 π ∑ n = 0 ∞ 1 2 n + 1 ∑ i = 1 , 3 , 5 , ⋯ ( − 1 ) i − 1 2 i ! ( ( 2 n + 1 ) π x 2 ) i ∑ j = 0 ∞ a 2 ( j ) j ! [ − ( ( 2 n + 1 ) π ) 2 4 ( C 1 C 2 − 1 ) t ] j (58)</p><p>It shoud be noted that the series expression of a sine function is sin ( x ) = ∑ i = 1 , 3 , 5 , ⋯ ( − 1 ) i − 1 2 i ! x i , therefore the Equation (57) &amp; Equation (58) can be rewritten as</p><p>u ( x , t ) = 4 π ∑ n = 0 ∞ B 1 e A 1 t + B 2 e A 2 t 2 n + 1 sin ( ( 2 n + 1 ) π 2 x ) (59)</p><p>v ( x , t ) = 4 π ∑ n = 0 ∞ D 1 e A 1 t + D 2 e A 2 t 2 n + 1 sin ( ( 2 n + 1 ) π 2 x ) (60)</p><p>where A 1 = − ( ( 2 n + 1 ) π ) 2 4 ( C 1 C 2 − 1 ) λ 1 , A 2 = − ( ( 2 n + 1 ) π ) 2 4 ( C 1 C 2 − 1 ) λ 2 , B 1 = ( λ 1 + 1 ) ( C 1 C 3 − λ 2 − 1 ) C 1 C 3 ( λ 1 − λ 2 ) , B 2 = − ( λ 2 + 1 ) ( C 1 C 3 − λ 1 − 1 ) C 1 C 3 ( λ 1 − λ 2 ) , D 1 = C 1 C 3 − λ 2 − 1 λ 1 − λ 2 , D 2 = − ( C 1 C 3 − λ 1 − 1 ) λ 1 − λ 2 .</p><p>Example 3. Consider the nonlinear system: coupled Burgers’ equations at the interval x ∈ [ 0 , π ] and t ∈ [ 0 , ∞ ] .</p><p>u t − u x x − 2 u u x + ( u v ) x = 0 (61)</p><p>v t − v x x − 2 v v x + ( u v ) x = 0 (62)</p><p>with the initial condition</p><p>u ( 0 , x ) = sin ( x ) (63)</p><p>v ( 0 , x ) = sin ( x ) (64)</p><p>and the zero Dirichlet boundary conditions</p><p>u ( t , 0 ) = 0 , u ( t , π ) = 0 (65)</p><p>v ( t , 0 ) = 0 , v ( t , π ) = 0 (66)</p><p>From the FDTM, it can be obtained as</p><p>( j + 1 ) U ( i , j + 1 ) − ( i + 1 ) ( i + 2 ) U ( i + 2 , j )   − 2 ∑ r = 0 i ∑ s = 0 j U ( r , j − s ) ( i − r + 1 ) U ( i − r + 1 , s )   + ∑ r = 0 i ∑ s = 0 j ( r + 1 ) U ( r + 1 , j − s ) V ( i − r , s )   + ∑ r = 0 i ∑ s = 0 j ( r + 1 ) V ( r + 1 , j − s ) U ( i − r , s ) = 0 (67)</p><p>( j + 1 ) V ( i , j + 1 ) − ( i + 1 ) ( i + 2 ) V ( i + 2 , j )   − 2 ∑ r = 0 i ∑ s = 0 j V ( r , j − s ) ( i − r + 1 ) V ( i − r + 1 , s )   + ∑ r = 0 i ∑ s = 0 j ( r + 1 ) U ( r + 1 , j − s ) V ( i − r , s )   + ∑ r = 0 i ∑ s = 0 j ( r + 1 ) V ( r + 1 , j − s ) U ( i − r , s ) = 0 (68)</p><p>For the initial conditions, we get</p><p>U ( i , 0 ) = { ( − 1 ) i − 1 2 1 i ! , i ∈ o d d 0 ,                       i ∈ e v e n (69)</p><p>V ( i , 0 ) = { ( − 1 ) i − 1 2 1 i ! , i ∈ o d d 0 ,                       i ∈ e v e n (70)</p><p>For the boundary conditions, we get</p><p>U ( 0 , j ) = 0 , ∑ i = 0 ∞ U ( i , j ) = 0 (71)</p><p>V ( 0 , j ) = 0 , ∑ i = 0 ∞ V ( i , j ) = 0 (72)</p><p>Then, one has</p><p>U ( i , j ) = { ( − 1 ) i − 1 2 i ! ( − 1 ) j j ! , i ∈ o d d 0 ,                                   i ∈ e v e n (73)</p><p>V ( i , j ) = { ( − 1 ) i − 1 2 i ! ( − 1 ) j j ! , i ∈ o d d 0 ,                                   i ∈ e v e n (74)</p><p>so the solution for the Equations (61)-(66) are</p><p>u ( x , t ) = ∑ j = 0 ∞ ∑ i = 0 ∞ ( − 1 ) i ( 2 i + 1 ) ! x i ( − 1 ) j j ! t j (75)</p><p>v ( x , t ) = ∑ j = 0 ∞ ∑ i = 0 ∞ ( − 1 ) i ( 2 i + 1 ) ! x i ( − 1 ) j j ! t j (76)</p><p>i.e.</p><p>u ( x , t ) = sin ( x ) exp ( − x ) (77)</p><p>v ( x , t ) = sin ( x ) exp ( − x ) (78)</p></sec><sec id="s5"><title>5. Conclusion</title><p>In this paper, we propose an FDTM algorithm based on the differential transformation method and Fourier expansion technology, which can solve the IBVP system with three kinds of typical zero boundary. Especially the discontinuous boundary can be effectively solved. Finally, the heat conduction equation with discontinuous boundary conditions is solved by the algorithm. The partial differential equations described dissipation law of pore pressure which widely applied in engineering are solved according to the FDTM. In addition, nonlinear coupled Burgers’ equations with the zero Dirichlet boundary conditions can also be analytically solved by the method. The results are consistent with the existing analytical solutions. It shows that the algorithm is effective and reasonable. The algorithm can be extended to complex initial boundary value problems.</p></sec><sec id="s6"><title>Acknowledgements</title><p>This research was supported by the General project of Zhejiang Natural Science Foundation No. LY19E080008 and Zhejiang Provincial Construction Department Project No. 2019K085.</p></sec><sec id="s7"><title>Conflicts of Interest</title><p>The authors declare no conflicts of interest regarding the publication of this paper.</p></sec><sec id="s8"><title>Cite this paper</title><p>Huang, C.L., Li, J.W. and Lin, F.L. (2020) A New Algorithm Based on Differential Transform Method for Solving Partial Differential Equation System with Initial and Boundary Conditions. Advances in Pure Mathematics, 10, 337-349. https://doi.org/10.4236/apm.2020.105020</p></sec></body><back><ref-list><title>References</title><ref id="scirp.100406-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Pukhov, G.E. (1982) Differential Transforms and Circuit Theory. Journal of Circuit Theory and Applications, 10, 265-276.https://doi.org/10.1002/cta.4490100307</mixed-citation></ref><ref id="scirp.100406-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Zhou, J.K. (1986) Differential Transformation and Its Applications for Electrical Circuits. PhD Thesis, Huazhong University Press, Wuhan.</mixed-citation></ref><ref id="scirp.100406-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Abdel Halim Hassan, I.H. (2008) Application to Differential Transformation Method for Solving Systems of Differential Equations. Applied Mathematical Modelling, 32, 2552-2559.https://doi.org/10.1002/cta.4490100307</mixed-citation></ref><ref id="scirp.100406-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Abdel-Halim Hassan, I.H. (2004) Differential Transformation Technique for Solving Higher-Order Initial Value Problems. Applied Mathematics and Computation, 154, 299-311.https://doi.org/10.1016/S0096-3003(03)00708-2</mixed-citation></ref><ref id="scirp.100406-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Jang, M.J., Chen, C.L. and Li, Y.C. (2000) On Solving the Initial Value Problems Using the Differential Transformation Method. Applied Mathematics and Computation, 115, 145-160.https://doi.org/10.1016/S0096-3003(99)00137-X</mixed-citation></ref><ref id="scirp.100406-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Abbasov, A.R.B. (2005) The Investigation of the Transient Regimes in the Nonlinear Systems by the Generalized Classical Method. Mathematical Problems in Engineering, 5, 503-519.https://doi.org/10.1155/MPE.2005.503</mixed-citation></ref><ref id="scirp.100406-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Chen, C.K. and Ho, S.H. (1996) Application of Differential Transformation to Eigenvalue Problems. Applied Mathematics and Computation, 79, 173-188. https://doi.org/10.1016/0096-3003(95)00253-7</mixed-citation></ref><ref id="scirp.100406-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Li, X., Zhou, C. and Xu, S. (2016) A New Algorithm Based on Differential Transform Method for Solving Multi-Point Boundary Value Problems. International Journal of Computer Mathematics, 93, 981-994. https://doi.org/10.1080/00207160.2015.1012070</mixed-citation></ref><ref id="scirp.100406-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Ertürk, V.S. and Momani, S. (2007) Comparing Numerical Methods for Solving Fourth-Order Boundary Value Problems. Applied Mathematics and Computation, 188, 1963-1968.https://doi.org/10.1016/j.amc.2006.11.075</mixed-citation></ref><ref id="scirp.100406-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Chang, S.H. and Chang, I.L. (2008) A New Algorithm for Calculating One-Dimensional Differential Transform of Nonlinear Functions. Applied Mathematics and Computation, 195, 799-808.https://doi.org/10.1016/j.amc.2007.05.026</mixed-citation></ref><ref id="scirp.100406-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Gokdogann, A., Merdan, M. and Yildirim, A. (2012) The Modified Algorithm for the Differential Transform Method to Solution of Genesio Systems. Communications in Nonlinear Science &amp; Numerical Simulation, 17, 45-51. https://doi.org/10.1016/j.cnsns.2011.03.039</mixed-citation></ref><ref id="scirp.100406-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">Momani, S. and Ertürk, V.S. (2008) Solutions of Non-Linear Oscillators by the Modified Differential Transform Method. Computers and Mathematics with Applications, 55, 833-842.https://doi.org/10.1016/j.camwa.2007.05.009</mixed-citation></ref><ref id="scirp.100406-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">Chen, C.K. and Ho, S.H. (1999) Solving Partial Differential Equations by Two Dimensional Differential Transform. Applied Mathematics and Computation, 106, 171-179.https://doi.org/10.1016/S0096-3003(98)10115-7</mixed-citation></ref><ref id="scirp.100406-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">Fatoorehchi, H. and Abolghasemi, H. (2012) Computation of Analytical Laplace Transforms by the Differential Transform Method. Mathematical and Computer Modelling, 56, 145-151.https://doi.org/10.1016/j.mcm.2011.11.063</mixed-citation></ref><ref id="scirp.100406-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">Fatoorehchi, H. and Abolghasemi, H. (2013) Improving the Differential Transform Method: A Novel Technique to Obtain the Differential Transforms of Nonlinearities by the Adomian Polynomials. Applied Mathematical Modelling, 37, 6008-6017. https://doi.org/10.1016/j.apm.2012.12.007</mixed-citation></ref><ref id="scirp.100406-ref16"><label>16</label><mixed-citation publication-type="other" xlink:type="simple">Fatoorehchi, H. and Abolghasemi, H. (2011) Differential Transform Method to Investigate Mass Transfer Phenomenon to a Falling Liquid Film System. Australian Journal of Basic and Applied Sciences, 5, 337-345.</mixed-citation></ref><ref id="scirp.100406-ref17"><label>17</label><mixed-citation publication-type="other" xlink:type="simple">Fatoorehchi, H. and Abolghasemi, H. (2014) An Explicit Analytic Solution to the Thomas-Fermi Equation by the Improved Differential Transform Method. Acta Physica Polonica, 125, 1083-1087.https://doi.org/10.12693/APhysPolA.125.1083</mixed-citation></ref><ref id="scirp.100406-ref18"><label>18</label><mixed-citation publication-type="other" xlink:type="simple">Kurnaz, A., Oturnac, G. and Kiris, M.E. (2005) N-Dimensional Differential Transformation Method for Solving PDEs. International Journal of Computer Mathematics, 82, 369-380.https://doi.org/10.1080/0020716042000301725</mixed-citation></ref><ref id="scirp.100406-ref19"><label>19</label><mixed-citation publication-type="other" xlink:type="simple">Rashidi, M.M. (2009) The Modified Differential Transform Method for Solving MHD Boundary-Layer Equations. Computer Physics Communications, 180, 2210-2217. https://doi.org/10.1016/j.cpc.2009.06.029</mixed-citation></ref><ref id="scirp.100406-ref20"><label>20</label><mixed-citation publication-type="other" xlink:type="simple">Ravi Kanth, A.S.V. and Aruna, K. (2009) Two-Dimensional Differential Transform Method for Solving Linear and Non-Linear Schr&amp;#246;dinger Equations. Chaos Solitons Fractals, 41, 2277-2281.https://doi.org/10.1016/j.chaos.2008.08.037</mixed-citation></ref><ref id="scirp.100406-ref21"><label>21</label><mixed-citation publication-type="other" xlink:type="simple">Yu, L.T. and Chen, C.K. (1998) The Solution of the Blasius Equation by the Differential Transformation Method. Mathematical and Computer Modelling, 28, 101-111. https://doi.org/10.1016/S0895-7177(98)00085-5</mixed-citation></ref><ref id="scirp.100406-ref22"><label>22</label><mixed-citation publication-type="other" xlink:type="simple">Bert, C.W. (2002) Application of Differential Transform Method to Heat Conduction in Tapered Fins. Journal of Heat Transfer, 124, 208-209. https://doi.org/10.1115/1.1423316</mixed-citation></ref><ref id="scirp.100406-ref23"><label>23</label><mixed-citation publication-type="other" xlink:type="simple">Jang, M.J., Chen, C.L. and Liu, Y.C. (2001) Two-Dimensional Differential Transform for Partial Differential Equations. Applied Mathematics and Computation, 121, 261-270.https://doi.org/10.1016/S0096-3003(99)00293-3</mixed-citation></ref><ref id="scirp.100406-ref24"><label>24</label><mixed-citation publication-type="other" xlink:type="simple">Ayaz, F. (2004) Solutions of the System of Differential Equations by Differential Transform Method. Applied Mathematics and Computation, 147, 547-567. https://doi.org/10.1016/S0096-3003(02)00794-4</mixed-citation></ref><ref id="scirp.100406-ref25"><label>25</label><mixed-citation publication-type="other" xlink:type="simple">Odibat, Z.M. (2008) Differential Transform Method for Solving Volterra Integral Equation with Separable Kernels. Mathematical and Computer Modelling, 48, 1144-1149.https://doi.org/10.1016/j.mcm.2007.12.022</mixed-citation></ref><ref id="scirp.100406-ref26"><label>26</label><mixed-citation publication-type="other" xlink:type="simple">Odibat, Z.M., Bertelle, R., Aziz-Alaoui, R. and Duchamp, R.H.E. (2010) A Multi-Step Differential Transform Method and Application to Non-Chaotic or Chaotic Systems. Computers and Mathematics with Applications, 59, 1462-1472. https://doi.org/10.1016/j.camwa.2009.11.005</mixed-citation></ref><ref id="scirp.100406-ref27"><label>27</label><mixed-citation publication-type="other" xlink:type="simple">Salahshour, S. and Allahviranloo, T. (2013) Application of Fuzzy Differential Transform Method for Solving Fuzzy Volterra Integral Equations. Applied Mathematical Modelling, 37, 1016-1027.https://doi.org/10.1016/j.apm.2012.03.031</mixed-citation></ref><ref id="scirp.100406-ref28"><label>28</label><mixed-citation publication-type="other" xlink:type="simple">Suddoung, K., Charoensuk, J. and Wattanasakulpong, N. (2014) Vibration Response of Stepped FGM Beams with Elastically End Constraints Using Differential Transformation Method. Applied Acoustics, 77, 20-28. https://doi.org/10.1016/j.apacoust.2013.09.018</mixed-citation></ref><ref id="scirp.100406-ref29"><label>29</label><mixed-citation publication-type="other" xlink:type="simple">Haberman, R. (2012) Applied Partial Differential Equations: With Fourier Series and Boundary Value Problems. Pearson Higher Education, Boston.</mixed-citation></ref><ref id="scirp.100406-ref30"><label>30</label><mixed-citation publication-type="other" xlink:type="simple">Hesthaven, J.S., Gottlieb, S. and Gottlieb, D. (2007) Spectral Methods for Time-Dependent Problems. Cambridge University Press, Cambridge. https://doi.org/10.1017/CBO9780511618352</mixed-citation></ref><ref id="scirp.100406-ref31"><label>31</label><mixed-citation publication-type="other" xlink:type="simple">Arpaci, V. (1966) Conduction Heat Transfer. Addison-Wesley, Reading.</mixed-citation></ref><ref id="scirp.100406-ref32"><label>32</label><mixed-citation publication-type="other" xlink:type="simple">Fredlund, D.G. and Rahardjo, H. (1993) Soil Mechanics for Unsaturated Soils. John Wiley and Sons, New York.https://doi.org/10.1002/9780470172759</mixed-citation></ref></ref-list></back></article>