Skip to main content

The numerical solution of partial differential-algebraic equations

Abstract

In this paper, a numerical solution of partial differential-algebraic equations (PDAEs) is considered by multivariate Padé approximations. We applied this method to an example. First, PDAE has been converted to power series by two-dimensional differential transformation, and then the numerical solution of the equation was put into a multivariate Padé series form. Thus, we obtained the numerical solution of PDAEs.

1 Introduction

In this study, we consider linear partial differential-algebraic equations (PDAEs) of the form

A u t (t,x)+B u x x (t,x)+Cu(t,x)=f(t,x),
(1)

where t(0, t e ) and x(l,l)R, A,B,C R n , x n are constant matrices, u,f:[0, t e ]×[l,l] R n . We are interested in cases where at least one of the matrices, A or B, is singular. The two special cases A=0 or B=0 lead to ordinary differential equations or DAEs which are not considered here. Therefore, in this paper we assume that none of the matrices A or B is the zero matrix [13]. Many important mathematical models can be expressed in terms of PDAEs. Such models arise in many areas of mathematics, engineering, the physical sciences and population growth. In recent years, much research has been focused on the numerical solution of PDAEs [4, 5]. Some numerical methods have been developed using Runge-Kutta methods [6, 7]. The purpose of this paper is to consider the numerical solution of PDAEs by using multivariate Padé approximations.

2 Two-dimensional differential transformation

The basic definition of the two-dimensional differential transform is given as follows [813]:

W(k,h)= 1 k ! h ! [ k + h w ( x , y ) x k y h ] 0 , 0 ,
(2)

where w(x,y) is the original function and W(k,h) is the transformed function. The transformation is called T-function and lower case and upper case letters represent the original and transformed functions respectively. The differential inverse transform of W(k,h) is defined as

w(x,y)= k = 0 h = 0 W(k,h) x k y h
(3)

and from Equations (2) and (3) can be concluded

w(x,y)= k = 0 h = 0 1 k ! h ! [ k + h w ( x , y ) x k y h ] 0 , 0 x k y h .
(4)

3 Multivariate Padé approximants

Consider the bivariate function f(x,y) with Taylor series development

f(x,y)= i , j = 0 c i j x i y j
(5)

around the origin. We know that a solution of the univariate Padé approximation problem for

f(x)= i = 0 c i x i
(6)

is given by

p(x)= | i = 0 m c i x i x i = 0 m 1 c i x i x n i = 0 m n c i x i c m + 1 c m c m + 1 n c m + n c m + n 1 c m |
(7)

and

q(x)= | 1 x x n c m + 1 c m c m + 1 n c m + n c m + n 1 c m | .
(8)

Let us now multiply the j th row in p(x) and q(x) by x j + m 1 (j=2,,n+1) and afterwards divide the j th column in p(x) and q(x) by x j 1 (j=2,,n+1). This results in a multiplication of numerator and denominator by x m n . Having done so, we get

p ( x ) q ( x ) = | i = 0 m c i x i i = 0 m 1 c i x i i = 0 m n c i x i c m + 1 x m + 1 c m x m c m + 1 n x m + 1 n c m + n x m + n c m + n 1 x m + n 1 c m x m | | 1 1 1 c m + 1 x m + 1 c m x m c m + 1 n x m + 1 n c m + n x m + n c m + n 1 x m + n 1 c m x m |
(9)

if (D=det D m , n 0).

This quotient of determinants can also immediately be written down for a bivariate function f(x,y). The sum i = 0 k c i x i will be replaced by the k th partial sum of the Taylor series development of f(x,y) and the expression c k x k by an expression that contains all the terms of degree k in f(x,y). Here a bivariate term c i j x i y j is said to be of degree i+j.

If we define

p(x,y)= | i + j = 0 m c i j x i y j i + j = 0 m 1 c i j x i y j i + j = 0 m n c i j x i y j i + j = m + 1 c i j x i y j i + j = m c i j x i y j i + j = m + 1 n c i j x i y j i + j = m + n c i j x i y j i + j = m + n 1 m c i j x i y j i + j = m m c i j x i y j |
(10)

and

q(x,y)= | 1 1 1 i + j = m + 1 c i j x i y j i + j = m c i j x i y j i + j = m + 1 n c i j x i y j i + j = m + n c i j x i y j i + j = m + n 1 m c i j x i y j i + j = m m c i j x i y j | ,
(11)

then it is easy to see that p(x,y) and q(x,y) are of the form

p ( x , y ) = i + j = m n m n + m a i j x i y j , q ( x , y ) = i + j = m n m n + n b i j x i y j .
(12)

We know that p(x,y) and q(x,y) are called Padé equations [3, 14]. So, the multivariate Padé approximant of order (m,n) for f(x,y) is defined as

r m , n (x,y)= p ( x , y ) q ( x , y ) .
(13)

4 Numerical example

The test problem considers the following PDAE [6]:

(14)

where

f 1 = x 2 e 1 2 t 2 e t , f 2 = x 2 e t 1 2 x 2 e 1 2 t , f 3 = x 2 e t + 1 2 x 2 e 1 2 t + ( x 2 2 ) sin t .

The exact solution is

u(x,t)= ( x 2 e t x 2 e 1 2 t x 2 sin t ) .
(15)

Equivalently, Equation (14) can be written as

( 0 2 0 1 1 0 1 1 0 ) ( u 1 t u 2 t u 3 t ) + ( 1 0 0 0 0 0 0 0 1 ) ( u 1 x x u 2 x x u 3 x x ) + ( 0 0 0 0 1 0 0 0 1 ) ( u 1 u 2 u 3 ) = ( f 1 f 2 f 3 ) .
(16)

By using the basic definition of the two-dimensional differential transform and taking the transform of Equation (16), we can obtain that

2 ( k + 1 ) U 2 ( k + 1 , h ) ( h + 1 ) ( h + 2 ) U 1 ( k , h + 2 ) = F 1 ( k , h ) , ( k + 1 ) U 1 ( k + 1 , h ) ( k + 1 ) U 2 ( k + 1 , h ) U 2 ( k , h ) = F 2 ( k , h ) , ( k + 1 ) U 1 ( k + 1 , h ) ( k + 1 ) U 2 ( k + 1 , h ) ( h + 1 ) ( h + 2 ) U 3 ( k , h + 2 ) + U 3 ( k , h ) = F 3 ( k , h ) .

Consequently, by substituting the values of u i , we have obtained

u 1 ( x , t ) = x 2 x 2 t + 1 2 x 2 t 2 1 6 x 2 t 3 + 1 24 x 2 t 4 1 120 x 2 t 5 + 1 720 x 2 t 6 , u 2 ( x , t ) = x 2 1 2 x 2 t + 1 8 x 2 t 2 1 48 x 2 t 3 + 1 384 x 2 t 4 1 3840 x 2 t 5 1 46080 x 2 t 6 , u 3 ( x , t ) = x 2 t 1 6 x 2 t 3 + 1 120 x 2 t 5 .

The power series u 1 (x,t), u 2 (x,t) and u 3 (x,t) can be transformed into multivariate Padé approximation

5 Conclusions

The method for solving partial differential-algebraic equations (PDAEs) has been proposed. The results of the example showed from Tables 1-3 and Figures 1-6 that exactly the same solutions have been obtained with multivariate Padé approximation. On the other hand, the results are quite reliable. Therefore, this method can be applied to many complicated PDAEs.

Figure 1
figure1

Values of u 1 (x,t) .

Figure 2
figure2

Values of r 4 , 3 (x,t) Padé approximant.

Figure 3
figure3

Values of u 2 (x,t) .

Figure 4
figure4

Values of r 4 , 3 (x,t) Padé approximant.

Figure 5
figure5

Values of u 3 (x,t) .

Figure 6
figure6

Values of r 4 , 3 (x,t) Padé approximant.

Table 1 Comparison of the numerical solution of u 1 (x,t) with exact solutions ( t=0.01 )
Table 2 Comparison of the numerical solution of u 2 (x,t) with exact solutions ( t=0.01 )
Table 3 Comparison of the numerical solution of u 3 (x,t) with exact solutions ( t=0.01 )

References

  1. 1.

    Lucht, W, Strehmel, K, Liebenow, CE: Linear partial differential-algebraic equations, part I. Reports of the Institute of Numerical Mathematics, Report No. 17 (1997)

    Google Scholar 

  2. 2.

    Lucht, W, Strehmel, K, Liebenow, CE: Linear partial differential-algebraic equations, part II. Reports of the Institute of Numerical Mathematics, Report No. 18 (1997)

    Google Scholar 

  3. 3.

    Cuyt A, Wuytack L: Nonlinear Methods in Numerical Analysis. North-Holland, Amsterdam; 1987.

    Google Scholar 

  4. 4.

    Turut V, Guzel N: Comparing numerical methods for solving time-fractional reaction-diffusion equations. ISRN Math. Anal. 2012. doi:10.5402/2012/737206

    Google Scholar 

  5. 5.

    Kurulay M, Bayram M: Approximate analytical solution for the fractional modified KdV by differential transform method. Commun. Nonlinear Sci. Numer. Simul. 2010, 15: 1777–1782. 10.1016/j.cnsns.2009.07.014

    MathSciNet  Article  MATH  Google Scholar 

  6. 6.

    Strehmel K, Debrabant K: Convergence of Runge-Kutta methods applied to linear partial differential-algebraic equations. Appl. Numer. Math. 2005, 53: 213–229. 10.1016/j.apnum.2004.08.023

    MathSciNet  Article  MATH  Google Scholar 

  7. 7.

    Turut, V, Guzel, N: On solving partial differential equations of fractional order by using the variational iteration method and multivariate Padé approximation, EJPAM (2010, accepted)

  8. 8.

    Yiğider M, Çelik E: The numerical solution of partial differential-algebraic equations (PDAEs) by multivariate Padé approximation. Eur. J. Pure Appl. Math. 2011, 4: 67–75.

    MathSciNet  MATH  Google Scholar 

  9. 9.

    Zhou JK: Differential Transform and Its Applications for Electrical Circuits. Huarjung University Press, Wuhan; 1986.

    Google Scholar 

  10. 10.

    Ayaz F: On the two-dimensional differential transform method. Appl. Math. Comput. 2003, 143: 361–374. 10.1016/S0096-3003(02)00368-5

    MathSciNet  Article  MATH  Google Scholar 

  11. 11.

    Ayaz F: Solutions of the system of differential equations by differential transform method. Appl. Math. Comput. 2004, 147: 547–567. 10.1016/S0096-3003(02)00794-4

    MathSciNet  Article  MATH  Google Scholar 

  12. 12.

    Bildik N, Konuralp A: Two-dimensional differential transform method, Adomian’s decomposition method and variational iteration method for partial differential equations. Int. J. Comput. Math. 2006, 83(12):973–987. 10.1080/00207160601173407

    MathSciNet  Article  MATH  Google Scholar 

  13. 13.

    Adomian G: Convergent series solution of nonlinear equations. J. Comput. Appl. Math. 1984, 11: 225–230. 10.1016/0377-0427(84)90022-0

    MathSciNet  Article  MATH  Google Scholar 

  14. 14.

    Celik E, Karaduman E, Bayram M: Numerical solutions of chemical differential-algebraic equations. Appl. Math. Comput. 2003, 139(2–3):259–264. 10.1016/S0096-3003(02)00178-9

    MathSciNet  Article  MATH  Google Scholar 

Download references

Acknowledgements

The authors thank the referees for valuable comments and suggestions which improved the presentation of this manuscript. This study was supported by The Scientific Research Projects of Atatürk University.

Author information

Affiliations

Authors

Corresponding author

Correspondence to Muhammed Yigider.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors carried out the proof and conceived of the study. All authors read and approved the final manuscript.

Authors’ original submitted files for images

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and Permissions

About this article

Cite this article

Yigider, M., Çelik, E. The numerical solution of partial differential-algebraic equations. Adv Differ Equ 2013, 8 (2013). https://doi.org/10.1186/1687-1847-2013-8

Download citation

Keywords

  • partial differential-algebraic equation (PDAE)
  • two-dimensional differential transformation
  • multivariate Padé approximation
\