Open Access

The numerical solution of partial differential-algebraic equations

Advances in Difference Equations20132013:8

https://doi.org/10.1186/1687-1847-2013-8

Received: 1 October 2012

Accepted: 20 December 2012

Published: 10 January 2013

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.

Keywords

partial differential-algebraic equation (PDAE)two-dimensional differential transformationmultivariate Padé approximation

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 ) + C u ( 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

Values of u 1 ( x , t ) .

Figure 2

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

Figure 3

Values of u 2 ( x , t ) .

Figure 4

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

Figure 5

Values of u 3 ( x , t ) .

Figure 6

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 )

x

u 1 ( x , t )

r 4 , 3 ( x , t )

| u 1 ( x , t ) r 4 , 3 ( x , t ) |

−0.5

0.2475124584

0.2475124584

0

−0.4

0.1584079734

0.1584079734

0

−0.3

0.08910448503

0.08910448502

1.10−11

−0.2

0.03960199335

0.03960199334

1.10−11

−0.1

0.009900498337

0.009900498336

1.10−12

0.1

0.009900498337

0.009900498336

1.10−12

0.2

0.03960199335

0.03960199334

1.10−11

0.3

0.08910448503

0.08910448502

1.10−11

0.4

0.1584079734

0.1584079734

0

0.5

0.2475124584

0.2475124584

0

Table 2

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

x

u 2 ( x , t )

r 4 , 3 ( x , t )

| u 2 ( x , t ) r 4 , 3 ( x , t ) |

−0.5

0.2487531198

0.2487531198

0

−0.4

0.1592019967

0.1592019967

0

−0.3

0.08955112313

0.08955112314

1.10−11

−0.2

0.03980049917

0.03980049917

0

−0.1

0.009950124792

0.009950124793

1.10−12

0.1

0.009950124792

0.009950124793

1.10−12

0.2

0.03980049917

0.03980049917

0

0.3

0.08955112313

0.08955112314

1.10−12

0.4

0.1592019967

0.1592019967

0

0.5

0.2487531198

0.2487531198

0

Table 3

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

x

u 3 ( x , t )

r 4 , 3 ( x , t )

| u 3 ( x , t ) r 4 , 3 ( x , t ) |

−0.5

0.002499958334

0.002499958333

1.10−12

−0.4

0.001599973333

0.001599973333

0

−0.3

0.0008999850001

0.0008999850000

1.10−13

−0.2

0.0003999933334

0.0003999933333

1.10−13

−0.1

0.00009999833334

0.00009999833333

1.10−14

0.1

0.00009999833334

0.00009999833333

1.10−14

0.2

0.0003999933334

0.0003999933333

1.10−13

0.3

0.0008999850001

0.0008999850000

1.10−13

0.4

0.001599973333

0.001599973333

0

0.5

0.002499958334

0.002499958333

1.10−12

Declarations

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.

Authors’ Affiliations

(1)
Department of Mathematics, Faculty of Science, Erzurum Technical University
(2)
Department of Mathematics, Faculty of Science, Atatürk University

References

  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)MATHGoogle Scholar
  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)MATHGoogle Scholar
  3. Cuyt A, Wuytack L: Nonlinear Methods in Numerical Analysis. North-Holland, Amsterdam; 1987.MATHGoogle Scholar
  4. Turut V, Guzel N: Comparing numerical methods for solving time-fractional reaction-diffusion equations. ISRN Math. Anal. 2012. doi:10.5402/2012/737206Google Scholar
  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.014MathSciNetView ArticleMATHGoogle Scholar
  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.023MathSciNetView ArticleMATHGoogle Scholar
  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)Google Scholar
  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.MathSciNetMATHGoogle Scholar
  9. Zhou JK: Differential Transform and Its Applications for Electrical Circuits. Huarjung University Press, Wuhan; 1986.Google Scholar
  10. Ayaz F: On the two-dimensional differential transform method. Appl. Math. Comput. 2003, 143: 361–374. 10.1016/S0096-3003(02)00368-5MathSciNetView ArticleMATHGoogle Scholar
  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-4MathSciNetView ArticleMATHGoogle Scholar
  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/00207160601173407MathSciNetView ArticleMATHGoogle Scholar
  13. Adomian G: Convergent series solution of nonlinear equations. J. Comput. Appl. Math. 1984, 11: 225–230. 10.1016/0377-0427(84)90022-0MathSciNetView ArticleMATHGoogle Scholar
  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-9MathSciNetView ArticleMATHGoogle Scholar

Copyright

© Yigider and Çelik; licensee Springer. 2013

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