Skip to main content

Analytical solutions for systems of partial differential–algebraic equations

Abstract

This work presents the application of the power series method (PSM) to find solutions of partial differential-algebraic equations (PDAEs). Two systems of index-one and index-three are solved to show that PSM can provide analytical solutions of PDAEs in convergent series form. What is more, we present the post-treatment of the power series solutions with the Laplace-Padé (LP) resummation method as a useful strategy to find exact solutions. The main advantage of the proposed methodology is that the procedure is based on a few straightforward steps and it does not generate secular terms or depends of a perturbation parameter.

Introduction

As widely known, the importance of research on partial differential-algebraic equations (PDAEs) is that many phenomena, practical or theoretical, can be easily modelled by such equations. Those kinds of equations arise in fields like: nanoelectronics (Bartel and Pulch 2006), electrical networks (Ali et al. 20052003; Günther 2000) and mechanical systems (Simeon 1996), among others.

In recent years, PDAEs have received much attention, nevertheless the theory in this field is still young. For linear PDAEs the convergence of Runge-Kutta method is investigated in (Strehmel and Debrabant 2005). The numerical solution of linear PDAEs with constant coefficients and the study of indices are given in (Lucht et al. 1997a1997b; Lucht and Strehmel 1998; Lucht et al. 1999). Linear and nonlinear PDAEs are characterized by means of indices which play an important role in the treatment of these equations. The differentiation index is defined as the minimum number of times that all or part of the PDAE must be differentiated with respect to time, in order to obtain the time derivative of the solution, as a continuous function of the solution and its space derivatives (Martinson and Barton 2000).

Higher-index PDAEs (differentiation index greater than one) are known to be difficult to treat even numerically. Often such problems are first transformed to index-one systems before applying numerical integration methods. This procedure called index-reduction, can be very expensive and may change the properties of the solution. Since applications problems in science and engineering often lead to higher-index PDAEs, new techniques are required to solve these problems efficiently.

Modern methods like homotopy perturbation method (HPM) (He 199920001998; Vazquez-Leal et al. 2012), homotopy analysis method (HAM) (Guerrero et al. 2013), variational iteration method (VIM) (Khan Y, et al. 2012), generalized homotopy method (Vazquez-Leal 2013), among others, are powerful tools to approximate nonlinear and linear problems. The HPM has been successfully applied to solve various kinds of nonlinear problems in science and engineering, including Volterra’s integro-differential equation (El-Shahed 2005), nonlinear differential equations (He 1998), nonlinear oscillators (He 2004), partial differential equations (PDEs) (He 2005a), bifurcation of nonlinear problems (He 2005b) and boundary-value problems (He 2006). Recently, the modifications of the HPM have been used to solve DAEs (Aminikhah and Hemmatnezhad 2011; Asadi et al. 2012; Salehi et al. 2012; Soltanian et al. 2010). Nevertheless, the power series method (PSM) (Forsyth 1906; Ince 1956) is a well-known classic straightforward procedure from literature that can be applied successfully to solve differential equations of different kind: linear ordinary differential equations (ODEs) (Coddington 1989; Forsyth 1906; Ince 1956; Kreyszig 1999), nonlinear ODEs (Biazar et al. 2005; Fairen et al. 1988; Filipich and Rosales 2002; Filipich et al. 2004; Guzel and Bayram 2005; Kreyszig 1999) and linear PDEs (Kurulay and Bayram 2009), among others. This method establishes that the solution of a differential equation can be expressed as a power series of the independent variable.

In this paper we present the application of a hybrid technique combining PSM, Laplace Transform (LT) and Padé Approximant (PA) (Barker 1975) to find analytical solutions for PDAEs (Ebaid 2011; Gőkdoğan et al. 2012; Merdan et al. 2011; Momani and Ertűrk 2008; Momani et al. 2009; Sweilam and Khader 2009; Tsai and Chen 2010; Yamamoto et al. 2002). Solutions to PDAEs are first obtained in convergent series form using the PSM. To improve the solution obtained from PSM’s truncated series, we apply LT to it, then convert the transformed series into a meromorphic function by forming its PA. Finally, we take the inverse LT of the PA to obtain the analytical solution. This hybrid method (LPPSM), which combines PSM with Laplace-Padé post-treatment greatly improves PSM’s truncated series solutions in convergence rate. In fact, the Laplace-Padé resummation method enlarges the domain of convergence of the truncated power series and often leads to the exact solution.

It is important to remark that LPPSM can obtain exact solutions without requiring the index-reduction of the PDAEs. The proposed method does not produce noise terms also known as secular terms as the homotopy perturbation based techniques (Soltanian et al. 2010). This greatly reduces the volume of computation and improves the efficiency of the method in comparison to the perturbation based methods. What is more, LPPSM does not require a perturbation parameter as the perturbation based techniques including HPM. Finally, LPPSM is straightforward and can be programmed using computer algebra packages like Maple or Mathematica.

The rest of this paper is organized as follows. In the next section we illustrate the basic concept of the PSM. The main idea behind the Padé approximant is given in section “Padé approximant”. In section “Laplace-Padé resummation method”, we give the basic concept of the Laplace-Padé resummation method. The application of PSM to solve PDAE systems is depicted in section “Application of PSM to solve PDAE systems”. In section “Test problems”, we apply LPPSM to solve two PDAEs problems of index-one and index-three. In section “Discussion”, we give a brief discussion. Finally, a conclusion is drawn in the last section.

Basic concept of power series method

It can be considered that a nonlinear differential equation can be expressed as

A(u)-f(t)=0,tΩ,
(1)

having as boundary condition

B u , ∂u ∂η =0,tΓ,
(2)

where A is a general differential operator, f(t) is a known analytic function, B is a boundary operator, and Γ is the boundary of domain Ω.

PSM (Forsyth 1906; Ince 1956) establishes that the solution of a differential equation can be written as

u t = n = 0 u n t n ,
(3)

where u0,u1,… are unknowns to be determined by series method.

The basic process of series method can be described as:

  1. 1.

    Equation (3) is substituted into (1), then we regroup the equation in terms of powers of t.

  2. 2.

    We equate each coefficient of the resulting polynomial to zero.

  3. 3.

    The boundary conditions of (1) are substituted into (3) to generate an algebraic equation for each boundary condition.

  4. 4.

    Aforementioned steps generate an algebraic linear system for the unknowns of (3).

  5. 5.

    Finally, we solve the algebraic linear system to obtain the coefficients u 0,u 1,…

Padé approximant

Given an analytical function u(t) with Maclaurin’s expansion

u t = n = 0 u n t n ,0tT.
(4)

The Padé approximant to u(t) of order [ L,M] which we denote by [ L/M] u (t) is defined by (Barker 1975)

L / M u t = p 0 + p 1 t + + p L t L 1 + q 1 t + + q M t M ,
(5)

where we considered q0=1, and the numerator and denominator have no common factors.

The numerator and the denominator in (5) are constructed so that u(t) and [ L/M] u (t) and their derivatives agree at t=0 up to L+M. That is

u(t)- L / M u t =O t L + M + 1 .
(6)

From (6), we have

u t n = 0 M q n t n - n = 0 L p n t n =O t L + M + 1 .
(7)

From (7), we get the following algebraic linear systems

u L q 1 + + u L - M + 1 q M = - u L + 1 u L + 1 q 1 + + u L - M + 2 q M = - u L + 2 u L + M - 1 q 1 + + u L q M = - u L + M ,
(8)

and

p 0 = u 0 p 1 = u 1 + u 0 q 1 p L = u L + u L - 1 q 1 + + u 0 q L .
(9)

From (8), we calculate first all the coefficients q n , 1≤nM. Then, we determine the coefficients p n , 0≤nL from (9).

Note that for a fixed value of L+M+1, the error (6) is smallest when the numerator and denominator of (5) have the same degree or when the numerator has degree one higher than the denominator.

Laplace-Padé resummation method

Several approximate methods provide power series solutions (polynomial). Nevertheless, sometimes, this type of solutions lacks of large domains of convergence. Therefore, Laplace-Padé (Ebaid 2011; Gőkdoğan et al. 2012; Merdan et al. 2011; Momani and Ertűrk 2008; Momani et al. 2009; Sweilam and Khader 2009; Tsai and Chen 2010; Yamamoto et al. 2002) resummation method is used in literature to enlarge the domain of convergence of solutions or inclusive to find exact solutions.

The Laplace-Padé method can be explained as follows:

  1. 1.

    First, Laplace transformation is applied to power series (3).

  2. 2.

    Next, s is substituted by 1/t in the resulting equation.

  3. 3.

    After that, we convert the transformed series into a meromorphic function by forming its Padé approximant of order [ L/M]. L and M are arbitrarily chosen, but they should be of smaller value than the order of the power series. In this step, the Padé approximant extends the domain of the truncated series solution to obtain better accuracy and convergence.

  4. 4.

    Then, t is substituted by 1/s.

  5. 5.

    Finally, by using the inverse Laplace s transformation, we obtain the exact or approximate solution.

Application of PSM to solve PDAE systems

Since many application problems in science and engineering are often modelled by semi-explicit PDAEs, we consider therefore the following class of PDAEs

u 1 t = ϕ u , u x , u xx ,
(10)
0 = ψ u , u x , u xx , t , x 0 , T × a , b ,
(11)

where u k : [0,T]×[a,b] m k , k=1,2 and b>a.

System (10)-(11) is subject to the initial condition

u 1 0 , x =g x ,axb,
(12)

and some suitable boundary conditions

B u t , a , u t , b , u x t , a , u x t , b =0,0tT,
(13)

where g(x) is a given function.

We assume that the solution to initial boundary-value problem (10)-(13) exists, is unique and sufficiently smooth.

To simplify the exposition of the PSM, we integrate first equation (10) with respect to t and use the initial condition (12) to obtain

u 1 t , x -g x - 0 t ϕ u , u x , u xx dt=0.
(14)

It is important to note that the time integration of equation (10) is not relevant to the solution procedure presented here, so one can apply the PSM directly to (10).

In view of PSM, we assume the solution components u k (t,x),k=1,2 to have the form

u k t , x = α k , 0 x + α k , 1 x t+ α k , 2 x t 2 +,
(15)

where αk,n(x), k=1,2; n=0,1,2,… are unknown functions to be determined later on by the PSM.

Then substitute (15) into system (11)-(14) and equate the coefficients of powers of t in the resulting polynomial equations to zero to get an algebraic linear system for these coefficients. Finally, we use equation (15) to obtain the exact solution components u k , k=1,2 as series. The solutions series obtained from PSM may have limited regions of convergence, even if we take a large number of terms. Therefore, we apply the Laplace-Padé resummation method to PSM truncated series to enlarge the convergence region as depicted in the next section.

Test problems

In this section, we will demonstrate the effectiveness and accuracy of the LPPSM presented in the previous section through two PDAE systems of index-one and index-three.

Nonlinear index-one system

Consider the following nonlinear index-one PDAE which arises as a similarity reduction of Navier-Stokes equations (Budd et al. 1994)

u 1 t = u 1 xx - u 2 u 1 x + u 1 2 - 2 0 1 u 1 2 dx ,
(16)
0 = u 2 x - u 1 ,
(17)

where 0<x<1 and t>0.

System (16)-(17) is subject to the following initial condition

u 1 0 , x =cosπx,0x1,
(18)

and boundary conditions

u 1 x t , 0 = u 1 x t , 1 = u 2 t , 0 = u 2 t , 1 =0,t0.
(19)

The exact solution of problem (16)-(19) is

u 1 t , x = e - π 2 t cos πx , u 2 t , x = 1 / π e - π 2 t sin πx , 0 x 1 , t 0 .
(20)

Since one time differentiation of equation (17) determines u2t in terms of u and its space derivatives, then PDAE (16)-(17) is index-one. Note that no initial condition is prescribed for the variable u2 as this is determined by the PDAE.

In order to simplify the exposition of the PSM presented in section “Application of PSM to solve PDAE systems” to solve (16)-(17), we first integrate equation (16) with respect to t and use the initial condition (18) to get

u 1 t , x - cos πx - 0 t u 1 xx - u 2 u 1 x + u 1 2 - 2 0 1 u 1 2 dx dt = 0 .
(21)

In view of the PSM, we assume the solution components u k ,k=1,2 to have the form

u k t , x = α k , 0 x + α k , 1 x t+ α k , 2 x t 2 +,
(22)

where αk,n(x),k=1,2; n=0,1,2,… are unknown functions to be determined later on by the PSM.

Then, we substitute (22) into equations (17) and (21) to get

n = 0 α 1 , n x t n - cos πx - 0 t n = 0 α 1 , n ′′ x t n dt + 0 t n = 0 α 2 , n x t n n = 0 α 1 , n x t n dt - 0 t n = 0 α 1 , n x t n 2 dt + 2 0 t 0 1 n = 0 α 1 , n x t n 2 dxdt = 0 ,
(23)
n = 0 α 2 , n x - α 1 , n ( x ) t n =0,
(24)

where () denotes the ordinary derivative with respect to x.

Equating the coefficients of powers of t to zero in (24) then solving the resulting equation for α2,n(x) and using the boundary conditions (19), we have

α 2 , n x = 0 x α 1 , n x dx,n=0,1,2,
(25)

Now equation (23) can be written as a series

α 1 , 0 x - cos πx + n = 1 α 1 , n x - 1 / n α 1 , n - 1 ′′ x - 1 / n k = 0 n - 1 β k , n x t n = 0 ,
(26)

where

β k , n x = α 1 , k x α 1 , n - 1 - k x - α 1 , n - 1 - k x 0 x α 1 , k x dx - 2 0 1 α 1 , k x α 1 , n - 1 - k x dx.

Equating all coefficients of powers of t to zero in (26), yields α1,0(x)= cosπ x and the recursive formula for α1,n(x)

α 1 , n x = 1 / n α 1 , n - 1 ′′ x + 1 / n k = 0 n - 1 β k , n x , n = 1 , 2 , 3 ,
(27)

From recursion (27), we get α1,1(x)=-π2 cosπ x and α1,2(x)=(π4/2) cosπ x.

From equation (25), we get α2,0(x)=(1/π) sinπ x, α2,1(x)=-π sinπ x and α2,2(x)=(π3/2) sinπ x. Using (22) and the coefficients recently obtained, we have

u 1 t , x = 1 - π 2 t + 1 2 - π 2 t 2 cosπx,
(28)

and

u 2 t , x = 1 - π 2 t + 1 2 - π 2 t 2 1 / π sinπx.
(29)

Similarly, the coefficients α1,n(x) and α2,n(x) for n≥3 can be found from (27) and (25) respectively.

The solutions series obtained from the PSM may have limited regions of convergence, even if we take a large number of terms. Accuracy can be increased by applying the Laplace-Padé post-treatment. First, we apply t-Laplace transform to (28) and (29). Then, we substitute s by 1/t and apply t-Padé approximant to the transformed series. Finally, we substitute t by 1/s and apply the inverse Laplace s-transform to the resulting expressions to get the approximate or exact solutions.

Applying Laplace transforms to u1(t,x) and u2(t,x) yields

u 1 t , x = 1 s - π 2 s 2 + π 4 s 3 cosπx,
(30)

and

u 2 t , x = 1 s - π 2 s 2 + π 4 s 3 1 / π sinπx.
(31)

For the sake of simplicity let s=1/t, then

u 1 t , x = t - π 2 t 2 + π 4 t 3 cosπx,
(32)

and

u 2 t , x = t - π 2 t 2 + π 4 t 3 1 / π sinπx.
(33)

All of the [ L/M]t-Padé approximants of (32) and (33) with L ≥1 and M ≥1 and L+M≤3 yield

L / M u 1 t , x = t 1 + π 2 t cosπx,
(34)

and

L / M u 2 t , x = t 1 + π 2 t 1 / π sinπx.
(35)

Now since t=1/s, we obtain L / M u 1 and L / M u 2 in terms of s as follows

L / M u 1 t , x = π 2 + s - 1 cos πx ,
(36)
L / M u 2 t , x = π 2 + s - 1 1 / π sin πx.
(37)

Finally, applying the inverse LT to the Padé approximants (36) and (37), we obtain the approximate solution which is in this case the exact solution (20) in closed form.

Linear index-three system

Consider the following index-three PDAE system

u 1 tt = u 1 xx + u 3 sinπx,
(38)
u 2 tt = u 2 xx + u 3 cosπx,
(39)
0= u 1 sinπx+ u 2 cosπx- e - t ,
(40)

where 0<x<1 and t>0.

System (38)-(40) is subject to the following initial conditions

u 1 0 , x = sin πx u 1 t 0 , x = - sin πx ,
(41)
u 2 0 , x = cos πx u 2 t 0 , x = - cos πx 0 x 1 ,
(42)

and the boundary conditions

u 1 t , 0 = u 1 t , 1 = 0 , u 2 t , 0 = - u 2 t , 1 = e - t t 0 .
(43)

The exact solution of problem (38)-(43) is

u 1 t , x = e - t sin πx u 2 t , x = e - t cos πx , u 3 t , x = 1 + π 2 e - t , 0 x 1 , t 0 .
(44)

Since three time differentiations of equation (40) determine u3t in terms of the solution u and its space derivatives, then PDAE (38)-(40) is index-three. Therefore, this PDAE is difficult to solve numerically. Moreover no initial condition is prescribed for the variable u3 as this is determined by the PDAE.

In order to simplify the exposition of the LPPSM presented in section “Application of PSM to solve PDAE systems” to solve (38)-(43), we first integrate equations (38) and (39) twice with respect to t and use the initial conditions (41)-(42) to get

u 1 t , x - sin πx + t sin πx - 0 t 0 t u 1 xx + u 3 sin πxdtdt = 0 ,
(45)
u 2 t , x - cos πx + t cos πx - 0 t 0 t u 2 xx + u 3 cos πxdtdt = 0 .
(46)

In view of the PSM, we assume the solution components u k (t,x),k=1,2,3 to have the form

u k t , x = α k , 0 x + α k , 1 x t+ α k , 2 x t 2 +,
(47)

where αk,n(x),k=1,2,3; n=0,1,2,… are unknown functions to be determined later on by the PSM.

Substituting (47) into equations (40), (45) and (46) we get the system

n = 0 α 1 , n x t n - sin πx + t sin πx - 0 t 0 t n = 0 α 1 , n ′′ x t n dtdt - sin πx 0 t 0 t n = 0 α 3 , n x t n dtdt = 0 ,
(48)
n = 0 α 2 , n x t n - cos πx + t cos πx - 0 t 0 t n = 0 α 2 , n ′′ x t n dtdt - cos πx 0 t 0 t n = 0 α 3 , n x t n dtdt = 0 ,
(49)

and

n = 0 α 1 , n x sin πx + α 2 , n x cos πx t n - e - t =0,
(50)

where () denotes the ordinary derivative with respect to x.

System (48)-(50) can be rewritten as series

α 1 , 0 x - sin πx + α 1 , 1 x + sin πx t - n = 2 α 1 , n - 2 ′′ x + α 3 , n - 2 x sin πx n - 1 n - α 1 , n x t n = 0 ,
α 2 , 0 x - cos πx + α 2 , 1 x + cos πx t - n = 2 α 2 , n - 2 ′′ x + α 3 , n - 2 x cos πx n - 1 n - α 2 , n x t n = 0 ,
(51)
n = 0 α 1 , n x sin πx + α 2 , n x cos πx - - 1 n n ! t n = 0 .

Equating the coefficient of powers of t to zero in (51) then solving the resulting system we find the coefficients αk,n(x), for k=1,2,3 and n=0,1,2,…

α 1 , 0 x = sin πx , α 1 , 1 x = - sin πx , α 2 , 0 x = cos πx , α 2 , 1 x = - cos πx ,

and the nonsingular algebraic linear system for the unknown functions α1,n, α2,n and α3,n-2

α 1 , n x - α 3 , n - 2 x sin πx n - 1 n = α 1 , n - 2 ′′ x n - 1 n , α 2 , n x - α 3 , n - 2 x cos πx n - 1 n = α 2 , n - 2 ′′ x n - 1 n , α 1 , n x sin πx + α 2 , n x cos πx = - 1 n n ! for n = 2 , 3 ,
(52)

Solving system (52) exactly, we obtain the recursions

α 1 , n x = - 1 n n ! sin πx + δ n x cos πx n - 1 n , α 2 , n x = - 1 n n ! cos πx - δ n x sin πx n - 1 n , α 3 , n - 2 x = - 1 n n - 2 ! - α 1 , n - 2 ′′ x sin πx - α 2 , n - 2 ′′ x cos πx ,
(53)

where δ n x = α 1 , n - 2 ′′ x cosπx- α 2 , n - 2 ′′ x sinπx.

For n=2,3,4, we have δ n (x)=0 and hence

α 1 , 2 x = 1 2 sin πx , α 2 , 2 x = 1 2 cos πx , α 3 , 0 x = 1 + π 2 ,
α 1 , 3 x = - 1 6 sin πx , α 2 , 3 x = - 1 6 cos πx , α 3 , 1 x = - 1 + π 2 ,

and

α 1 , 4 x = 1 24 sin πx , α 2 , 4 x = 1 24 cos πx , α 3 , 2 x = 1 2 1 + π 2 .

Using (47) and the coefficients recently obtained, we get

u 1 t , x = 1 - t + 1 2 t 2 - 1 3 ! t 3 + 1 4 ! t 4 sinπx,
(54)
u 2 t , x = 1 - t + 1 2 t 2 - 1 3 ! t 3 + 1 4 ! t 4 cosπx,
(55)

and

u 3 t , x = 1 + π 2 1 - t + 1 2 t 2 .
(56)

Similarly, the coefficients α1,n(x), α2,n(x) and α3,n-2(x) for n≥5 can be found from (53). The solutions series obtained from the PSM may have limited regions of convergence, even if we take a large number of terms. Therefore, we apply the t-Padé approximation technique to these series to increase the convergence region. First t -Laplace transform is applied to (54), (55) and (56). Then, s is substituted by 1/t and the t-Padé approximant is applied to the transformed series. Finally, t is substituted by 1/s and the inverse Laplace s -transform is applied to the resulting expressions to get the approximate or exact solutions.

Applying Laplace transforms to u1(t,x), u2(t,x) and u3(t,x) yields

u 1 t , x = 1 s - π 2 s 2 + π 4 s 3 sinπx,
(57)
u 2 t , x = 1 s - π 2 s 2 + π 4 s 3 cosπx,
(58)

and

u 3 t , x = 1 + π 2 1 s - π 2 s 2 + π 4 s 3 .
(59)

For the sake of simplicity let s=1/t, then

u 1 t , x = t - π 2 t 2 + π 4 t 3 sinπx,
(60)
u 2 t , x = t - π 2 t 2 + π 4 t 3 cosπx,
(61)

and

u 3 t , x = 1 + π 2 t - π 2 t 2 + π 4 t 3 .
(62)

All of the [ L/M] t-Padé approximants of (60), (61) and (62) with L≥1 and M≥1 and L+M≤3 yield

L / M u 1 t , x = t 1 + t sinπx,
(63)
L / M u 2 t , x = t 1 + t cosπx,
(64)

and

L / M u 3 t , x = 1 + π 2 t 1 + t .
(65)

Now since t=1/s, we obtain L / M u 1 , L / M u 2 and L / M u 3 in terms of s as follows

L / M u 1 t , x = π 2 + s - 1 sinπx,
(66)
L / M u 2 t , x = π 2 + s - 1 cosπx,
(67)

and

L / M u 3 t , x = 1 + π 2 π 2 + s - 1 .
(68)

Finally, applying the inverse Laplace transform to the Padé approximants (66), (67) and (68), we obtain the approximate solution which is in this case the exact solution (44) in closed form.

Discussion

In this paper we presented the power series method (PSM) as a useful analytical tool to solve partial differential-algebraic equations (PDAEs). Two PDAE problems of index-one and index-three were solved by this method leading to the exact solutions. The method has successfully handled the index-three PDAE without the need for a preprocessing step of index-reduction. For each of the two problems solved here, the PSM transformed the PDAE into an easily solvable linear algebraic system for the coefficient functions of the power series solution. To improve the PSM solution, a Laplace-Padé (LP) post-treatement is applied to the PSM’s truncated series leading to the exact solution. Additionally, the solution procedure does not involve unnecessary computation like that related to noise terms (Soltanian et al. 2010). This greatly reduces the volume of computation and improves the efficiency of the method. It should be noticed that the high complexity of these problems was effectively handled by LPPSM method due to the malleability of PSM and resummation capability of Laplace-Padé. What is more, there is not any standard analytical or numerical methods to solve higher-index PDAEs, converting the LPPSM method into an attractive tool to solve such problems.

On one hand, semi-analytic methods like HPM, HAM, VIM among others, require an initial approximation for the sought solutions and the computation of one or several adjustment parameters. If the initial approximation is properly chosen the results can be highly accurate, nonetheless, no general methods are available to choose such initial approximation. This issue motivates the use of adjustment parameters obtained by minimizing the least-squares error with respect to the numerical solution.

On the other hand, PSM or LPPSM methods do not require any trial equation as requisite for the starting the method. What is more, PSM obtains its coefficients using an easy computable straightforward procedure that can be implemented into programs like Maple or Mathematica. Finally, if the solution of the PDAE is not expressible in terms of known functions then the LP post-treatement will provide a larger domain of convergence.

Conclusion

This work presented LPPSM method as a combination of the classic PSM and a resummation method based on the Laplace transforms and Padé approximant. Firstly, the solutions of PDAEs are obtained in convergent series forms using PSM. Next, in order to enlarge the domain of convergence of the truncated power series, a post-treatment combining Laplace transform and Padé approximant is applied. This technique that we call LPPSM greatly improves PSM’s truncated series solutions in convergence rate, and often leads to the exact solution. Additionally, PSM is an attractive tool, because it does not require of a perturbation parameter to work and it does not generate secular terms (noise terms) as other semi-analytical methods like HPM, HAM or VIM.

By solving two problems, we presented the LPPSM as a handy tool with high potential to solve linear/nonlinear higher-index PDAEs. Additionally, the LPPSM does not require an index-reduction to solve higher-index PDAEs. Furthermore, we obtained successfully the exact solutions of such two problems highlighting the efficiency of LPPSM. What is more, the proposed method is based on a straightforward procedure, suitable for engineers. Finally, further research should be performed to solve other higher-index nonlinear PDAE systems.

References

  • Ali G, Bartel A, Günther M: Parabolic differential-algebraic models in electrical network design. SIAM J Mult Model Sim 2005, 4(3):813-838. 10.1137/040610696

    Article  Google Scholar 

  • Ali G, Bartel A, Günther M, Tischendorf C: Elliptic partial differential-algebraic multiphysics models in electrical network design. Math Model Meth Appl Sci 2003, 13(9):1261-1278. 10.1142/S0218202503002908

    Article  Google Scholar 

  • Aminikhah H, Hemmatnezhad M: An effective modification of the homotopy perturbation method for stiff systems of ordinary differential equations. Appl Math Lett 2011, 24: 1502-1508. 10.1016/j.aml.2011.03.032

    Article  Google Scholar 

  • Asadi MA, Salehi F, Hosseini MM: Modification of the homotopy perturbation method for nonlinear system of second-order BVPs. J Comput Sci & Comput Math 2012, 2(5):23-28.

    Google Scholar 

  • Barker GA: Essentials of Padé Approximants. London: Academic Press; 1975.

    Google Scholar 

  • Bartel A, Pulch R: A concept for classification of partial differential-algebraic equations in nanoelectronics. 2006.http://www-num.math.uni-wuppertal.de/fileadmin/mathe/www-num/preprints/amna_06_07.pdf Preprint BUW-AMNA 06/07, .

    Google Scholar 

  • Biazar J, Ilie M, Khoshkenar A: A new approach to the solution of the prey and predator problem and comparison of the results with the Adomian method. Appl Math Comput 2005, 171: 486-491. 10.1016/j.amc.2005.01.040

    Article  Google Scholar 

  • Budd CJ, Dold JW, Stuart AM: Blow-up in a system of partial differential equations with conserved first integral, part 2: problems with convection. SIAM J Appl Math 1994, 54(3):610-640. 10.1137/S0036139992232131

    Article  Google Scholar 

  • Coddington EA: An introduction to ordinary differential equations. New York: Dover Publications; 1989.

    Google Scholar 

  • Ebaid AE: Commun Nonlinear Sci Numerical Simul. 2011, 16(1):528-536. 10.1016/j.cnsns.2010.03.012

    Article  Google Scholar 

  • El-Shahed M: Application of He’s homotopy perturbation method to Volterra’s integro-differential equation. Int J Nonlinear Sci Numer Simul 2005, 6(2):163-168.

    Article  Google Scholar 

  • Fairen V, Lopez V, Conde L: Power series approximation to solutions of nonlinear systems of differential equations. Am J Phys 1988, 56: 57-61. 10.1119/1.15432

    Article  Google Scholar 

  • Filipich CP, Rosales MB: A Straightforward approach to solve ordinary nonlinear differential systems. Mecanica Computacional 2002, 21: 1549-1568.

    Google Scholar 

  • Filipich CP, Rosales MB, Buezas F: Some nonlinear mechanical problems solved with analytical solutions. J Latin Am Appl Res 2004, 34: 101-109.

    Google Scholar 

  • Forsyth A: Theory of differential equations. Cambridge, University Press; 1906. pp 78–90

    Google Scholar 

  • Gőkdoğan A, Merdan M, Yildirim A: The modified algorithm for the differential transform method to solution of Genesio systems. Commun Nonlinear Sci Numerical Simul 2012, 17(1):45-51. 10.1016/j.cnsns.2011.03.039

    Article  Google Scholar 

  • Guerrero F, Santonja FJ, Villanueva RJ: Solving a model for the evolution of smoking habit in Spain with homotopy analysis method. Nonlinear Anal: Real World Appl 2013, 14(1):549-558. 10.1016/j.nonrwa.2012.07.015

    Article  Google Scholar 

  • Günther M: A joint DAE/PDE model for interconnected electrical networks. Math Comput Model Dyn Syst 2000, 6(2):114-128. 10.1076/1387-3954(200006)6:2;1-M;FT114

    Article  Google Scholar 

  • Guzel N, Bayram M: Power series solution of non-linear first order differential equation systems. Trakya Univ J Sci 2005, 6(1):107-111.

    Google Scholar 

  • He JH: Homotopy perturbation technique. Comput Methods Appl Mech Eng 1999, 178(3–4):257-262.

    Article  Google Scholar 

  • He JH: A coupling method of homotopy technique and a perturbation technique for non linear problems. Int J Nonlinear Mech 2000, 35(1):37-43. 10.1016/S0020-7462(98)00085-7

    Article  Google Scholar 

  • He JH: Approximate solution of nonlinear differential equations with convolution product nonlinearities. Comput Methods Appl Mech Eng 1998, 167(1–2):69-73.

    Article  Google Scholar 

  • He JH: The homotopy perturbation method for nonlinear oscillators with discontinuities. Appl Math Comput 2004, 151(1):287-292. 10.1016/S0096-3003(03)00341-2

    Article  Google Scholar 

  • He JH: Application of homotopy perturbation method to nonlinear wave equations. Chaos Solitons Fractals 2005a, 26(3):695-700. 10.1016/j.chaos.2005.03.006

    Article  Google Scholar 

  • He JH: Homotopy perturbation method for bifurcation of nonlinear problems. Int J Non Sci Numer Simul 2005b, 6(2):207-208.

    Google Scholar 

  • He JH: Homotopy perturbation method for solving boundary value problems. Phys Lett A 2006, 350(1–2):87-88.

    Article  Google Scholar 

  • Ince E: Ordinary differential equations. Dover, New York: Dover Publications; 1956. pp 189–199

    Google Scholar 

  • Khan Y, Vazquez-Leal H, Hernandez-Martinez L, Faraz N: Variational iteration algorithm-II for solving linear and non-linear ODEs. Int J Phys Sci 2012, 7(25):3099-4002.

    Article  Google Scholar 

  • Kreyszig E: Advanced Engineering Mathematics. New York: Wiley & Sons; 1999.

    Google Scholar 

  • Kurulay M, Bayram M: A novel power series method for solving second order partial differential equations. Eur J Pure Appl Math 2009, 2(2):268-277.

    Google Scholar 

  • Lucht W, Strehmel K, Eichler-Liebenow C: Linear partial differential-algebraic equations part I: Indexes, consistent boundary/initial conditions. Martin-Luther-University, Halle-Wittenberg: Report no. 17, Department of Mathematics and Computer Science; 1997a.

    Google Scholar 

  • Lucht W, Strehmel K, Eichler-Liebenow C: Linear partial differential algebraic equations part II. Martin-Luther-University, Halle-Wittenberg: Report no. 18, Department of Mathematics and Computer Science; 1997b.

    Google Scholar 

  • Lucht W, Strehmel K: Discretization based indices for semilinear partial differential-algebraic equations. Appl Numer Math 1998, 28(2–4):371-386.

    Article  Google Scholar 

  • Lucht W, Strehmel K, Eichler-Liebenow C: Indexes and special discretization methods for linear partial differential-algebraic equations. BIT 1999, 39(3):484-512. 10.1023/A:1022370703243

    Article  Google Scholar 

  • Martinson WS, Barton PI: A differentiation index for partial differential-algebraic equations. SIAM J Sci Comput 2000, 21(6):2295-2315. 10.1137/S1064827598332229

    Article  Google Scholar 

  • Merdan M, Gőkdoğan A, Yildirim A: On the numerical solution of the model for HIV infection of CD4+T cells. Comput & Math Appl 2011, 62(1):118-123.

    Article  Google Scholar 

  • Momani S, Ertűrk VS: Solutions of non-linear oscillators by the modified differential transform method. Comput & Math Appl 2008, 55(4):833-842.

    Article  Google Scholar 

  • Momani S, Erjaee GH, Alnasr MH: The modified homotopy perturbation method for solving strongly nonlinear oscillators. Comput & Math Appl 2009, 58(11–12):2209-2220.

    Article  Google Scholar 

  • Salehi F, Asadi MA, Hosseini MM: Solving system of DAEs by modified homotopy perturbation method. J Comput Sci & Comp Math 2012, 2(6):1-5.

    Google Scholar 

  • Simeon B: Modelling a flexible slider crank mechanism by a mixed system of DAEs and PDEs. Math Model Syst 1996, 2(1):1-18. 10.1080/13873959608837026

    Article  Google Scholar 

  • Soltanian F, Dehghan M, Karbassi SM: Solution of the differential-algebraic equations via homotopy method and their engineering applications. Int J Comp Math 2010, 87(9):1950-1974. 10.1080/00207160802545908

    Article  Google Scholar 

  • Strehmel K, Debrabant K: Convergence of Runge-Kutta methods applied to linear partial differential-algebraic equations. Appl Numer Math 2005, 53(2–4):213-229.

    Google Scholar 

  • Sweilam NH, Khader MM: Exact solutions of some coupled nonlinear partial differential equations using the homotopy perturbation method. Comput & Math Appl 2009, 58(11–12):2134-2141.

    Article  Google Scholar 

  • Tsai PY, Chen CK: An approximate analytic solution of the nonlinear Riccati differential equation. J Franklin Inst 2010, 347(10):1850-1862. 10.1016/j.jfranklin.2010.10.005

    Article  Google Scholar 

  • Vazquez-Leal H: Generalized Homotopy method for solving nonlinear differential equations. Comput Appl Math 2013. doi:10.1007/s40314-013-0060-4

    Google Scholar 

  • Vazquez-Leal H, Khan Y, Fernandez-Anaya G, Herrera-May A, Sarmiento-Reyes A, Filobello-Nino U: A general solution for Troesch’s problem. Math Probl Eng 2012. doi:10.1155/2012/208375

    Google Scholar 

  • Yamamoto Y, Dang C, Hao Y, Jiao YC: An aftertreatment technique for improving the accuracy of Adomian’s decomposition method. Comput & Math Appl 2002, 43(6–7):783-798.

    Google Scholar 

Download references

Acknowledgements

H. Vazquez-Leal gratefully acknowledge the financial support of the National Council for Science and Technology of Mexico CONACyT through Grant CB-2010-01 #157024.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Brahim Benhammouda.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors read and approved the final manuscript.

Brahim Benhammouda and Hector Vazquez-Leal contributed equally to this work.

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

Benhammouda, B., Vazquez-Leal, H. Analytical solutions for systems of partial differential–algebraic equations. SpringerPlus 3, 137 (2014). https://doi.org/10.1186/2193-1801-3-137

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/2193-1801-3-137

Keywords