Skip to main content

An effective numerical method to solve a class of nonlinear singular boundary value problems using improved differential transform method

Abstract

In this work, an effective numerical method is developed to solve a class of singular boundary value problems arising in various physical models by using the improved differential transform method (IDTM). The IDTM applies the Adomian polynomials to handle the differential transforms of the nonlinearities arising in the given differential equation. The relation between the Adomian polynomials of those nonlinear functions and the coefficients of unknown truncated series solution is given by a simple formula, through which one can easily deduce the approximate solution which takes the form of a convergent series. An upper bound for the estimation of approximate error is presented. Several physical problems are discussed as illustrative examples to testify the validity and applicability of the proposed method. Comparisons are made between the present method and the other existing methods.

Background

Singular boundary value problems (SBVPs) is an important class of boundary value problems, and arises frequently in the modeling of many actual problems related to physics and engineering areas such as in the study of electro hydrodynamics, theory of thermal explosions, boundary layer theory, the study of astrophysics, three layer beam, electromagnetic waves or gravity driven flows, inelastic flows, the theory of elastic stability and so on. In general, SBVPs is difficult to solve analytically. Therefore, various numerical techniques have been proposed to treat it by many researchers. However, the solution of SBVPs is numerically challenging due to the singularity behavior at the origin.

In this work, we are interested again in the following SBVPs arising frequently in applied science and engineering:

$$u^{\prime\prime}(x)+\frac{\alpha }{x}u^{\prime}(x)=f(x,u), \quad 0<x\le 1, \quad \alpha \ge 1,$$
(1)

subject to the boundary value conditions

$$u^{\prime}(0)=0$$
(2)

and

$$au(1)+bu^{\prime}(1)=c,$$
(3)

where ab and c are any finite real constants. If \(\alpha =1\), (1) becomes a cylindrical problem, and it becomes a spherical problem when \(\alpha =2\). It is assumed that f(xu) is continuous, \(\frac{\partial f}{\partial u}\) exists and is continuous and \(\frac{\partial f}{\partial u}\ge 0\) for any \(0<x\le 1\) such that Eq. (1) has a unique solution (Russell and Shampine 1975).

The SBVPs (13) with different \(\alpha\) arise in the study of various scientific problems for certain linear or nonlinear functions f(xu). The common cases related to the actual problems are summarized as follows. The first case for \(\alpha =2\) and

$$f(x,u)=f(u)=\frac{\delta u(x)}{u(x)+\mu }$$
(4)

emerges from the modeling of steady state oxygen diffusion in a spherical cell with Michaelis–Menten uptake kinetics (Lin 1976; McElwain 1978). In this case, u(x) represents the oxygen tension; \(\delta\) and \(\mu\) are positive constants involving the reaction rate and the Michaelis constant. Hiltmann and Lory (1983) proposed the existence and uniqueness of the solution for \(b=1\) and \(a=c\). Analytical bounding functions were given in Anderson and Arthurs (1985). The numerical methods to solve the SBVPs for this case have attracted a reasonable amount of research works, such as the finite difference method (FDM) (Pandey 1997), the cubic spline method (CSM) (Rashidinia et al. 2007; Ravi and Bhattacharya 2006), the Sinc-Galerkin method (SGM) (Babolian et al. 2015), the Adomian decomposition method (ADM) and its modified methods (Khuri and Sayfy 2010; Wazwaz et al. 2013; Singh and Kumar 2014), the variational iteration method (VIM) (Ravi and Aruna 2010; Wazwaz 2011), the series expansion technique (SEM) (Turkyilmazoglu 2013) and the B-spline method (BSM) (Çağlar et al. 2009).

The second case arises in the study of the distribution of heat sources in the human head (Flesch 1975; Gray 1980; Duggan and Goodman 1986), in which \(\alpha =2\) and

$$f(x,u)=f(u)=-le^{-lku(x)},\quad l>0,\; k>0.$$
(5)

In Duggan and Goodman (1986), point-wise bounds and uniqueness results were presented for the SBVPs with the nonlinear function f(xu) of the forms given by (4) and (5). Quite a little amount of works by using different approaches, including the FDM (Pandey 1997), the CSM (Rashidinia et al. 2007; Ravi and Bhattacharya 2006) and the SGM (Babolian et al. 2015), have been proposed to obtain the approximate solutions of this case.

The third important case of physical significance is when \(\alpha =1, 2\) and

$$f(x,u)=f(u)=\nu e^{u(x)},$$
(6)

which arises in studying the theory of thermal explosions (Khuri and Sayfy 2010; Kumar and Singh 2010; Chang 2014) and the electric double layer in a salt-free solution (Chang 2012). A variety of numerical methods have been applied to handle such SBVPs, for example, the fourth order finite difference method (FFDM) (Chawla et al. 1988), the modified Adomian decomposition method (Khuri and Sayfy 2010; Singh and Kumar 2014; Kumar and Singh 2010), the Taylor series method (TSM) (Chang 2014) and the BSM (Çağlar et al. 2009).

Besides, Chandrasekhar (1939) derived another case for \(\alpha =2, b=0\) and

$$f(x,u)=f(u)=-u^{\gamma }(x),$$
(7)

which \(\gamma\) is a physical constant. This case is in connection with the equilibrium of thermal gas thermal (Ames 1968). The numerical solution of this kind of equation for \(\gamma =5\) was considered by using various methods, such as the FFDM (Chawla et al. 1988), the VIM (Ravi and Aruna 2010), the SEM (Turkyilmazoglu 2013) and the modified Adomian decomposition method (Singh and Kumar 2014).

All the aforementioned methods can yield a satisfied result. However, each of these methods has its own weaknesses. For example, the VIM (Ravi and Aruna 2010; Wazwaz 2011) has an inherent inaccuracy in identifying the Lagrange multiplier, and fails to solve the equation when the nonlinear function f(xu) is of the forms (5) and (6). Those methods such as the FDM (Pandey 1997; Chawla et al. 1988), the SEM (Turkyilmazoglu 2013), the SGM (Babolian et al. 2015) and the spline method (Rashidinia et al. 2007; Ravi and Bhattacharya 2006; Çağlar et al. 2009) require a tedious process and huge volume of computations in dealing with the linearization or discretization of variables. The ADM (Wazwaz et al. 2013) needs to obtain the corresponding Volterra integral form of the given equation, via which one can overcome the difficulty of singular behavior at \(x=0\). The modified ADM (Khuri and Sayfy 2010; Kumar and Singh 2010) needs to introduce a twofold indefinite integral operator to give better and accurate results; moreover, the success of method in (Singh and Kumar 2014) relies on constructing Green’s function before establishing the recursive relation for applying the ADM to derive the solution components. All those manners are at the expense of computation budgets. Besides, none of above methods is applied to handle the equations with all forms of nonlinearities (47).

In recent years, a lot of attentions have been devoted to the applications of differential transform method (DTM) and its modifications. The DTM proposed by Pukhov (1980, 1982, 1986) at the beginning of 1980s. However, his work passed unnoticed. In 1986, Zhou (1986) reintroduced the DTM to solve the linear and nonlinear equations in electrical circuit problems. The DTM is a semi-numerical-analytic method that generates a Taylor series solution in the different manner. In the past forty years, the DTM has been successfully applied to solve a wide variety of functional equations; see Xie et al. (2016) and the references therein.

Although being powerful, there still exist some difficulties in solving various of equations by the classical DTM. Some researchers have devoted to deal with these obstacles so as to extend the applications of the DTM. For example, in view of the DTM numerical solution cannot exhibit the real behaviors of the problem, Odibat et al. (2010) proposed a multi-step DTM to accelerate the convergence of the series solution over a large region and applied successfully to handle the Lotka-Volterra, Chen and Lorenz systems. In Gökdoğan et al. (2012), Momani and Ertürk (2008) suggested an alternative scheme to overcome the difficulty of capturing the periodic behavior of the solution by combining the DTM, Laplace transform and Padé approximants. Another difficulty is to compute the differential transforms of the nonlinear components in a simple and effective way. By using the traditional approach of the DTM, the computational difficulties will inevitably arise in determining the transformed function of an infinity series. Compared to the traditional method, Chang and Chang (2008) proposed a relatively effective algorithm for calculating the differential transform through a derived recursive relation. Yet, by using their method, it is inevitable to increase the computational budget, especially in dealing with those differential equations which have two or more nonlinear terms being investigated. Recently, the authors Elsaid (2012), Fatoorehchi and Abolghasemi (2013) disclosed the relation between the Adomian polynomials and the differential transform of nonlinearities, and developed an inspiring approach to handle the nonlinear functions in the given functional equation. Meanwhile, the problem of tedious calculations in dealing with nonlinear problems by using the ADM has also been improved considerably by Duan (2010a, b, 2011). All of these effective works make it possible to broaden the applicability and popularity of the DTM considerably.

The aim of this work is to develop an efficient approach to solve the SBVPs (13) with those nonlinear terms (47). This scheme is mainly based on the improved differential transform method (IDTM), which is the improved version of the classical DTM by using the Adomian polynomials to handle the differential transforms of those nonlinear functions (47). No specific technique is required in dealing with the singular behavior at the origin. Meanwhile, unlike some existing approaches, the proposed method tackles the problem in a straightforward manner without any discretization, linearization or perturbation. The numerical solution obtained by the proposed method takes the form of a convergent series with those easily computable coefficients through the Adomian polynomials of those nonlinear functions as the forms of (47).

The rest of the paper is organized as follows. In the next section, the concepts of DTM and Adomian polynomials are introduced. Algorithm for solving the problem (13) and an upper bound for the estimation of approximate error are presented in Sect. 3. Sect.4 shows some numerical examples to testify the validity and applicability of the proposed method. In Sect. 5, we end this paper with a brief conclusion.

Adomian polynomial and differential transform

Adomian polynomial

In the Adomian decomposition method (ADM), a key notion is the Adomian polynomials, which are tailored to the particular nonlinearity to easily and systematically solve nonlinear differential equations. The interested readers are referred to Adomian (1990, 1994) for the details of the ADM.

For the applications of decomposition method, the solution of the given equation in a series form is usually expressed by

$$u= \sum _{m=0}^{\infty } u_m,$$
(8)

and the infinite series of polynomials

$$f(u)=f \left( \sum _{m=0}^{\infty } u_m \right) =\sum _{m=0}^{\infty } A_{m}$$
(9)

for the nonlinear term f(u), where \(A_{m}\) is called the Adomian polynomials, and depends on the solution components \(u_0, u_1, \ldots , u_m\). The traditional algorithm for evaluating the Adomoan polynomials \(A_n\) was first provided in Adomian and Rach (1983) by the formula

$$\left. A_{n}= \frac{1}{n!} \frac{\hbox {d}^n}{\hbox {d} \lambda ^n} f \left( \sum _{m=0}^{\infty } u_m \lambda ^m \right) \right| _{\lambda =0}.$$
(10)

A large amount of works (Duan 2010b, b, 2011; Adomian and Rach 1983; Rach 2008, 1984; Wazwaz 2000; Abbaoui et al. 1995; Abdelwahid 2003; Azreg-AÏnou 2009) have been applied to give the more effective computational method for the Adomian polynomials. For fast computer generation, we favor Duan’s Corollary 3 algorithm (Duan 2011) among all of these methods, as it merely involves the analytic operations of addition and multiplication without the differentiation operator, which is eminently convenient for symbolic implementation by computer algebraic systems such as Maple and Mathematics. The method to generate the Adomian polynomials in Duan (2011) is described as follows:

$$\begin{array}{ll} C_{n}^1= u_n, \quad n \ge 1,\\ C_{n}^k= \frac{1}{n} \sum _{j=0}^{n-k} (j+1)u_{j+1}C_{n-1-j}^{k-1}, \quad 2\le k \le n, \end{array}$$
(11)

such that

$$\begin{array}{ll} y A_0= f(u_0),\\ \displaystyle A_n= \sum _{k=1}^{n} C_{n}^{k} f^{(k)}(u_0), \quad n \ge 1. \end{array}$$
(12)

It is worth mentioning that Duan’s algorithm involving (11) and (12) has been testified to be one of the fastest subroutines on record (Duan 2011), including the fast generation method given by Adomian and Rach (1983).

Differential transform

The differential transform of the \(k{th}\) differentiable function u(x) at \(x=0\) is defined by

$$U(k)=\frac{1}{k!} \left[ \frac{\hbox {d}^k u(x)}{\hbox {d}x^k} \right] _{x=0},$$
(13)

and the differential inverse transform of U(k) is described as

$$u(x)=\sum _{k=0}^{\infty }U(k) x^k,$$
(14)

where u(x) is the original function and U(k) is the transformed function.

For the practical applications, the function u(x) is expressed by a truncated series and Eq. (14) can be written as

$$u(x)\approx u_N(x)=\sum _{k=0}^{N}U(k) x^k.$$
(15)

It is not difficult to deduce the transformed functions of the fundamental operations listed in Table 1.

Table 1 The fundamental operations of the DTM

Method of solution of SBVPs (13)

We want to find the approximate solution of the problem (13) with the type:

$$u_N(x)=\sum _{k=0}^{N}U(k) x^k,$$
(16)

where the coefficients \(U(0),U(1),\ldots ,U(N)\) are determined using the following steps:

  • According to the definition (13) of the differential transform and the boundary value condition (2), we have

    $$U(1)=0.$$
    (17)

    Suppose that

    $$U(0)=\beta,$$
    (18)

    where \(\beta\) is a real parameter to be determined.

  • Multiplying both sides of Eq. (1) by variable x, we have

    $$xu^{\prime}(x)+\alpha u^{\prime}(x)=xf(x,u).$$
    (19)

    Applying the differential transform (13) to Eq. (19), we get the following recurrence relation:

    $$U(k+1)=\frac{F(k-1)}{(k+1)(k+\alpha )}, \quad k=1,2,\ldots ,N-1,$$
    (20)

    where F(k) is the differential transform of the nonlinear function \(f(x,u)=f(u)\).

  • Using Lemma 3.1 in Fatoorehchi and Abolghasemi (2013), we compute F(k) through the Adomian polynomials \(A_k\):

    $$F(k)=A_k, \quad k=0,1,2,\ldots ,N.$$
    (21)

Remark 1

Lemma 3.1 in Fatoorehchi and Abolghasemi (2013) indicates that the differential transforms and the Adomian polynomials of nonlinear functions have the same mathematical structure such that we can derive the differential transforms of any nonlinear functions by merely calculating the relevant Adomian polynomials but with constants instead of variable components.

Remark 2

As mentioned before, we use Duan’s Corollary 3 algorithm (Duan 2011) (1112) to generate the Adomian polynomials.

  • Substituting (21) into (20), and then combining the relations (1618), we obtain the truncated series solution of the problem (13) as follows:

    $$u_N(x)=\beta +\sum _{k=1}^{N-1}\frac{A_{k-1}}{(k+1)(k+\alpha )} x^{k+1}.$$
    (22)
  • Imposing the truncated series solution (22) on the boundary condition (3), we obtain a nonlinear algebraic equation with unknown parameter \(\beta\):

    $$g(\beta )=0.$$
    (23)

    Solving Eq. (23), and substituting the value of \(\beta\) into (22), we obtain the final result.

An upper bound for the estimation of approximate error is presented in the following lemma.

Lemma 1

Suppose that \(u(x) \in C^{N+1}[0,1]\) is the exact solution of the problem (13), \(u_N(x)=\sum _{k=0}^{N}U(k)x^k\) is the truncated series solution with degree N, it holds that

$$||u(x)-u_N(x)||_{\infty } \le \frac{M}{(N+1)!}+\max \limits _{0\le k\le N} \left| c_k \right| ,$$
(24)

where \(M=\max \limits _{0\le x\le 1} | u^{(N+1)}(x)|, c_k= \frac{u^{(k)}(0)}{k!}-U(k)\).

Proof

Obviously, we have

$$||u(x)-u_N(x)||_{\infty } \le ||u(x)- \widetilde{u}_N(x)||_{\infty } +||\widetilde{u}_N(x)-u_N(x)||_{\infty },$$
(25)

where \(\widetilde{u}_N(x)=\sum _{k=0}^{N} \frac{u^{(k)}(0)}{k!}x^k\) is the Taylor polynomial of the unknown function u(x) at \(x=0\).

Since \(u(x) \in C^{N+1}[0,1]\), it follows that

$$u(x)=\widetilde{u}_N(x) + R_N(x)=\widetilde{u}_N(x) + \frac{u^{(N+1)}(\xi )}{(N+1)!}x^{N+1}, \quad \xi \in (0,1),$$

where \(R_N(x)\) is the remainder of Taylor polynomial \(\widetilde{u}_N(x)\). Therefore

$$\left| u(x)-\widetilde{u}_N(x)\right| =\left| R_N(x) \right| =\left| \frac{u^{(N+1)}(\xi )}{(N+1)!}x^{N+1} \right| \le \frac{1}{(N+1)!} \max \limits _{0\le x\le 1} \left| u^{(N+1)}(x) \right|.$$
(26)

Let

$${\mathbf{C}}= (c_0,c_1,\ldots ,c_N), \quad {\mathbf{\Theta}}=(x^0,x^1,\ldots ,x^N)^T,$$

where

$$c_k= \frac{u^{(k)}(0)}{k!}-U(k), \quad k=0,1,\ldots ,N.$$

We then have

$$\left| \widetilde{u}_N(x)- u_N(x) \right| = \left| \sum _{k=0}^{N} \left( \frac{u^{(k)}(0)}{k!}-U(k) \right) x^k \right| =\left| \mathbf{C} \cdot \mathbf{\Theta } \right| \le ||\mathbf{C}||_{\infty } \cdot ||\mathbf{\Theta }||_{\infty }$$
(27)

Combining the relations (2527), it follows that

$$\begin{array}{ll} \displaystyle ||u(x)-u_N(x)||_{\infty } \le \frac{1}{(N+1)!} \max \limits _{0\le x\le 1} \left| u^{(N+1)}(x) \right| + ||\mathbf{C}||_{\infty } \cdot ||\mathbf{\Theta }||_{\infty }\\ \le \frac{M}{(N+1)!}+ \max \limits _{0\le k\le N} \left| c_k \right| . \end{array}$$
(28)

Thus, the proof is completed. \(\square\)

Numerical examples

In this section, based on the discussion in Sect. 3, we report numerical tests of five classical examples discussed frequently to testify the validity and applicability of the proposed method. All the numerical computations were performed using Maple and Matlab on personal computer. For comparison, we computed the absolute error defined by

$$\hbox {E}_N(x)=\left| u(x)-u_N(x)\right|$$
(29)

and the maximal absolute error by

$$\hbox {ME}_N=\max \limits _{0 \le x \le 1} \left| u(x)-u_N(x)\right| ,$$
(30)

where u(x) is the exact solution and \(u_N(x)\) is the truncated series solution with degree N.

Example 1

Consider the following nonlinear SBVP in the study of isothermal gas sphere (Singh and Kumar 2014; Ravi and Aruna 2010; Chawla et al. 1988):

$$u^{\prime\prime}(x)+\frac{2}{x} u^{\prime}(x)=-u^5(x),$$
(31)

subject to the boundary conditions

$$u^{\prime}(0)=0, \quad u(1)=\frac{\sqrt{3}}{2}.$$
(32)

The exact solution of this problem is given by \(u(x)=\sqrt{\frac{3}{3+x^2}}\). It is also known as the Emden-Fowler equation of the first kind. In what follows, we shall solve it with the proposed algorithm.

Firstly, we set

$$U(0)=\beta , \quad U(1)=0.$$

The Adomian polynomials of nonlinear term \(f(x,u)=-u^5(x)\) in this problem are computed as

$$\begin{aligned} A_0&= -U^5(0),\\ A_1&= -5U^4(0)U(1) ,\\ A_2&= -10U^3(0)U^2(1)-5U^4(0)U(2),\\ A_3&= -10U^2(0)U^3(1)-20U^3(0)U(1)U(2)-5U^4(0)U(3),\\&\vdots&\end{aligned}$$

Furthermore, according to the relations (20) and (21), we obtain the differential transforms U(k) of the unknown function u(x)

$$\begin{aligned} U(2)&= \frac{1}{2\cdot 3} A_0=-\frac{1}{6}\beta ^5, \\ U(4)&= \frac{1}{4\cdot 5} A_3=\frac{1}{24}\beta ^9,\\ U(6)&= \frac{1}{6\cdot 7} A_5=-\frac{5}{432}\beta ^{13},\\&\vdots&\\ U(k)&=0, \quad \hbox {if}\; k \quad \hbox {is odd and } \; k \ge 3. \end{aligned}$$

By using Eq. (22), we obtain the truncated series solution for \(N=10\) as follows:

$$u_{10}(x)=\beta -\frac{1}{6}\beta ^5x^2+\frac{1}{24}\beta ^9x^4-\frac{5}{432}\beta ^{13}x^6+\frac{35}{10368}\beta ^{17}x^8-\frac{7}{6912}\beta ^{21}x^{10}.$$
(33)

Secondly, imposing the truncated series solution (33) on the boundary conditions \(u(1)=\sqrt{3}/2\), we get a nonlinear algebraic equation. By solving it, the unknown parameter \(\beta\) is computed as

$$\beta =1.000553890.$$
(34)

Finally, substituting (34) into (33), we get the approximate solution with degree 10

$$\begin{aligned} u_{10}(x)&= 1.000553890-0.1671287533x^2+(0.4187483621e-1)x^4-\\&(0.1165769154e-1)x^6+(0.3407699551e-2)x^8-\\&(0.1024576736e-2)x^{10}. \end{aligned}$$

In Table 2, we compare the absolute errors (29) of numerical results obtained by the present method, the VIM (Ravi and Aruna 2010) and the modified ADM using Green functions (GIDM) (Singh and Kumar 2014) for \(N=12\). Table 3 lists the theoretical estimate errors (24) and the maximal absolute errors (30) of the approximate solutions for changing approximation levels, and shows a comparison of the maximal absolute errors with the GIDM (Singh and Kumar 2014) and the FFDM (Chawla et al. 1988). We can see from Table 3 that the accuracy of our computational results is getting better as the approximation level is increasing. Moreover, our numerical solution \(u_{10}(x)\) has an accuracy of O(\(10^{-4}\)), whereas the GIDM (Singh and Kumar 2014) needs to employ 14 terms to archive this goal as shown in Table 1 of Singh and Kumar (2014); numerical solution with even 64 terms obtained by the FFDM (Chawla et al. 1988) still hovers at this level. In summary, Tables 2 and 3 indicate that the results of our proposed method have higher accuracy than of the GIDM (Singh and Kumar 2014), the FFDM (Chawla et al. 1988) and the VIM (Ravi and Aruna 2010).

Table 2 Comparison of the absolute error \(\hbox {E}_{12}(x)\) for Example 1
Table 3 The theoretical estimate errors \(\hbox {TE}_N\) and comparison of the maximal absolute errors \(\hbox {ME}_N\) of present method and of other methods for Example 1

Example 2

Consider the following nonlinear SBVP (Khuri and Sayfy 2010; Singh and Kumar 2014; Çağlar et al. 2009; Chawla et al. 1988):

$$u^{\prime\prime}(x)+\frac{1}{x} u^{\prime}(x)=-e^{u(x)},$$
(35)

subject to the boundary conditions

$$u^{\prime}(0)=0, \quad u(1)=0.$$
(36)

The exact solution is given by \(u(x)=2 \ln \frac{C+1}{Cx^2+1}\), where \(C=3-2\sqrt{2}\).

The Adomian polynomials of nonlinear term \(f(x,u)=-e^{u(x)}\) in this problem are computed as

$$\begin{aligned} A_0&= -e^{U(0)},\\ A_1&= -U(1)e^{U(0)},\\ A_2&= -U(2)e^{U(0)}-\frac{1}{2}U^2(1)e^{U(0)},\\ A_3&= -U(3)e^{U(0)}-U(1)U(2)e^{U(0)}-\frac{1}{6}U^3(1)e^{U(0)},\\&\vdots&\end{aligned}$$

A comparison of the absolute errors (29) of the numerical solutions for \(N=10,\;20,\;40\) obtained by the present method and the modified decomposition method (BSDM) (Khuri and Sayfy 2010) is described in Table 4. Table 5 lists the maximal absolute errors (30) of those numerical results derived from the proposed method, the BSM (Çağlar et al. 2009) and the FFDM (Chawla et al. 1988). And also, we list the theoretical estimate errors (24) in Table 5 for comparison. It can be seen from Tables 4 and 5 that one can obtain the better approximate solution by using the present method compared to the other mentioned methods, even if we take the relative smaller N. Moreover, the theoretical estimate errors, the absolute errors and the maximal absolute errors all decrease as the increase of N. Therefore, evaluation of more components of the numerical solution will reasonably improve the accuracy.

Table 4 Comparison of the absolute errors \(\hbox {E}_N(x)\) for Example 2
Table 5 The theoretical estimate errors \(\hbox {TE}_N\) and comparison of the maximal absolute errors \(\hbox {ME}_N\) of present method and of other methods for Example 2

Example 3

Consider the following nonlinear SBVP in the study of steady-state oxygen diffusion in a spherical cell (Babolian et al. 2015; Khuri and Sayfy 2010; Wazwaz 2011; Çağlar et al. 2009):

$$u^{\prime\prime}(x)+\frac{\alpha }{x} u^{\prime}(x)=\frac{\delta u(x)}{u(x)+\mu }, \quad \delta>0, \quad \mu >0,$$
(37)

subject to the boundary conditions

$$u^{\prime}(0)=0, \quad 5u(1)+u^{\prime}(1)=5,$$
(38)

where \(\delta\) and \(\mu\) are often taken as 0.76129 and 0.03119, respectively. We take the value of \(\alpha\) as 1, 2 and 3.

The Adomian polynomials of nonlinear term \(f(x,u)=\frac{\delta u(x)}{u(x)+\mu }\) in this problem are computes as

$$\begin{aligned} A_0&= \frac{\delta }{U(0)+\mu }U(0),\\ A_1&= \frac{\delta \mu }{(U(0)+\mu )^2}U(1) ,\\ A_2&= \frac{\delta \mu }{(U(0)+\mu )^2} U(2) - \frac{ \delta \mu }{(U(0)+\mu )^3} U^2(1),\\ A_3&= \frac{\delta \mu }{(U(0)+\mu )^2} U(3) - \frac{2\delta \mu }{(U(0)+\mu )^3}U(1)U(2)+\frac{ \delta \mu }{(U(0)+\mu )^4} U^3(1),\\&\vdots&\end{aligned}$$

Proceeding as before, we compute the approximate solution \(u_{12,2}(x)\) for \(N=12\) and \(\alpha =2\), and show a comparison of the numerical results compared to the other existing methods in Table 6, from which one can see that the results of our computations are in good agreement with those ones obtained by the SGM (Babolian et al. 2015), the BSDM (Khuri and Sayfy 2010), the VIM (Wazwaz 2011) and the BSM (Çağlar et al. 2009).

Moreover, since there is no exact solution of this problem, we instead investigate the absolute residual error functions and the maximal error remainder parameters, which are the measures of how well the numerical solution satisfies the original problem (3738). The absolute residual error functions are

$$\begin{aligned} \left| \hbox {ER}_{N,\alpha }(x)\right| =\left| u_{N,\alpha }^{\prime\prime}(x)+\frac{\alpha }{x} u_{N,\alpha }^{\prime}(x)-\frac{\delta u_{N,\alpha }(x)}{\mu +u_{N,\alpha }(x)}\right| , \quad 0< x \le 1, \end{aligned}$$

and the maximal error remainder parameters are

$$\hbox {MER}_{N,\alpha } = \max \limits _{0< x \le 1} \left| \hbox {ER}_{N,\alpha }(x)\right|.$$

In Fig. 1, we plot the absolute residual error functions \(|\hbox {ER}_{N,2}(x)|\) for \(N=2\) through 12 by step 2. Besides, the maximal error remainder parameters \(\hbox {MER}_{N,\alpha }\) for the same N and \(\alpha =1,2,3\) are listed in Table 7, from which it is interesting to point out that for a given N the accuracy of our approximate solutions increases with the increase of \(\alpha\). Moreover, Fig. 1 and Table 7 show clearly that the accuracy of our method is getting better as the approximation level is increasing for a fixed \(\alpha\). The logarithm plots of the value of \(\hbox {MER}_{2,\alpha }\) through \(\hbox {MER}_{12,\alpha }\) for \(\alpha =1,2,3\) are displayed in Fig. 2, which demonstrates an approximately exponential rate of convergence for the obtained truncated series solutions and thus the presented method converges rapidly to the exact solution.

Fig. 1
figure 1

The absolute residual error functions \(\left| {\hbox {ER}_{N,2}(x)} \right|\) for \(N=2,4,6\) (left) and 8, 10, 12 (right) of Example 3

Table 6 Comparison of the approximate solutions for Example 3
Table 7 The maximal error remainder parameters \(\hbox {MER}_{N,\alpha }\) for Example 3

Example 4

Consider the following nonlinear SBVP which arises in the study of the distribution of heat sources in the human head (Pandey 1997; Rashidinia et al. 2007; Ravi and Bhattacharya 2006; Babolian et al. 2015; Khuri and Sayfy 2010; Singh and Kumar 2014; Çağlar et al. 2009; Duggan and Goodman 1986):

$$u^{\prime\prime}(x)+\frac{2}{x} u^{\prime}(x)=-e^{-u(x)},$$
(39)

subject to the boundary conditions

$$u^{\prime}(0)=0, \quad au(1)+bu^{\prime}(1)=0.$$
(40)

We consider the following two cases:

Case one: \(a=b=1.\)

Case two: \(a=0.1, b=1.\)

The Adomian polynomials of nonlinear term \(f(x,u)=-e^{-u(x)}\) in this problem are computed as

$$\begin{aligned} A_0&= -e^{-U(0)},\\ A_1&= U(1)e^{-U(0)},\\ A_2&= U(2)e^{-U(0)}-\frac{1}{2}U^2(1)e^{-U(0)},\\ A_3&= U(3)e^{-U(0)}-U(1)U(2)e^{-U(0)}+\frac{1}{6}U^3(1)e^{-U(0)},\\&\vdots&\end{aligned}$$

Again no exact solution exists for this equation, hence it was handled numerically. Table 8 describes the numerical results of the first case obtained by the proposed method at the order of approximation \(N=12\) and the other existing methods, including the FDM (Pandey 1997), the non-polynomial cubic spline method (NPCSM) (Rashidinia et al. 2007), the CSM (Ravi and Bhattacharya 2006) and the SGM (Babolian et al. 2015). Meanwhile, a comparison for the approximate solutions of the second case obtained by the present method with the same approximation level as the first case and the previous existing methods which include the CSM (Ravi and Bhattacharya 2006), the SGM (Babolian et al. 2015), the BSDM (Khuri and Sayfy 2010) and the BSM (Çağlar et al. 2009) is presented in Table 9. One can seen from two Tables that our computations are in good line with the results obtained by the other approaches compared. In fact, at the approximation level for \(N=12\), the maximal absolute error is found to be order of magnitude O(\(10^{-7}\)) for the first case, and O(\(10^{-9}\)) for the second case.

Table 8 Comparison of the numerical results for the first case of Example 4
Table 9 Comparison of the numerical results for the second case of Example 4

Example 5

Consider the following SBVP with nonlinear term different from the forms (47) which arises in the radial stress on a rotationally symmetric shallow membrane cap (Singh and Kumar 2014; Ravi and Aruna 2010):

$$\displaystyle u^{\prime\prime}(x)+\frac{3}{x} u^{\prime}(x)=\frac{1}{2}-\frac{1}{8u^2(x)},$$
(41)

subject to the boundary conditions

$$u^{\prime}(0)=0, \quad u(1)=1.$$
(42)

The Adomian polynomials of nonlinear term \(f(x,u)=\frac{1}{2}-\frac{1}{8u^2(x)}\) in this problem are computed as

$$\begin{aligned} A_0&= \frac{1}{2}-\frac{1}{8U^2(0)},\\ A_1&= \frac{1}{4} \frac{U(1)}{U^3(0)},\\ A_2&= -\frac{3}{8} \frac{U^2(1)}{U^4(0)}+ \frac{1}{4} \frac{U(2)}{U^3(0)},\\ A_3&= \frac{1}{2} \frac{U^3(1)}{U^5(0)}- \frac{3}{4} \frac{U(1)U(2)}{U^4(0)}+ \frac{1}{4} \frac{U(3)}{U^3(0)},\\&\vdots&\end{aligned}$$

Like the previous problems 3 and 4, a closed-form solution to this equation can not be written down. So we instead investigate the absolute residual error functions and the maximal error remainder parameters to examine the accuracy and the reliability of our numerical results. Here, the absolute residual error functions are

$$\left| \hbox {ER}_N(x) \right| = \left| u_N^{\prime\prime}(x)+\frac{3}{x} u_N^{\prime}(x)-\frac{1}{2}+\frac{1}{8u_N^2(x)} \right| , \quad 0 < x \le 1,$$

and the maximal error remainder parameters are

$$\hbox {MER}_N = \max \limits _{0< x \le 1} \left| \hbox {ER}_N(x) \right|.$$

In Fig. 3, we plot the absolute residual error functions \(\left| \hbox {ER}_N(x) \right|\) for \(N=4\) through 14 by step 2. The logarithm plot for the maximal error remainder parameters \(\hbox {MER}_N\) for the same N is shown in Fig. 4, which demonstrates an approximately exponential rate of convergence of the obtained truncated series solutions and thus the presented method converges rapidly to the exact solution. Even though there is no exact solution for this problem, the following 10th order approximation has an accuracy of O(\(10^{-8}\)) and can be used for practical applications

$$\begin{aligned} u_{10}(x)&=0.9541353070+(0.4533672772e-1)x^2+(0.5436871104e-3)x^4-\\&(0.1611538997e-4)x^6+(0.3997114810e-6)x^8-\\&(0.6144814593e-8)x^{10}. \end{aligned}$$
Fig. 2
figure 2

The logarithmic plots for the maximal error remainder parameters \(\hbox {MER}_{N,\alpha }\) for \(N=2\) through 12 by step 2 and \(\alpha =1\) (up, left), \(\alpha =2\) (up, right), \(\alpha =3\) (down) of Example 3

Fig. 3
figure 3

The absolute residual error functions \(\left| {\hbox {ER}_N(x)} \right|\) for \(N=4,6,8\) (left) and 10, 12, 14 (right) of Example 5

Fig. 4
figure 4

The logarithmic plot for the maximal error remainder parameters \(\hbox {MER}_N\) for \(N=2\) through 14 by step 2 of Example 5

Conclusion

In this work, a reliable approach based on the IDTM is presented to handle the numerical solutions of a class of nonlinear SBVPs arising in various physical models. This scheme takes the form of a truncated series with easily computable coefficients via the Adomian polynomials of those nonlinearities in the given problem. With the proposed algorithm, there is no need of discretization of the variables, linearization or small perturbation. Numerical results show that the proposed method works well for the SBVPs (13) with a satisfying low error. Besides, it is obvious that evaluation of more components of the approximate solution will reasonably improve the accuracy of truncated series solution by using the proposed method. Comparisons of the results reveal that the present method is very effective and accurate. Moreover, we are convinced that the IDTM can be extended to solve the other type of functional equations involving nonlinear terms more easily as the Adomian polynomials are applicable for any analytic nonlinearity and can be generated quickly with the aid of the algorithm proposed by Duan.

It is necessary to point out that algebraic Eq. (23) is a nonlinear one, and we shall inevitably encounter the bad roots while solving it. The criterion to separate the good root from a swarm of bad ones is convergence because it represents the value of unknown function at the origin and will not change for the different N.

References

  • Abbaoui K, Cherruault Y, Seng V (1995) Practical formulae for the calculus of multivariable Adomian polynomials. Math Comput Modell 22(1):89–93

    Article  Google Scholar 

  • Abdelwahid F (2003) A mathematical model of Adomian polynomials. Appl Math Comput 141(2–3):447–453

    Google Scholar 

  • Adomian G (1990) A review of the decomposition method and some recent results for nonlinear equations. Math Comput Modell 13(7):17–43

    Article  Google Scholar 

  • Adomian G (1994) Solving frontier problems of physics: the decomposition method. Kluwer Academic, Dordrecht

    Book  Google Scholar 

  • Adomian G, Rach R (1983) Inversion of nonlinear stochastic operators. J Math Anal Appl 91(1):39–46

    Article  Google Scholar 

  • Ames WF (1968) Nonlinear ordinary differential equations in tranport process. Academic press, New York

    Google Scholar 

  • Anderson N, Arthurs AM (1985) Analytical bounding functions in a spherical cell with Michaelis–Menten oxygen uptake kinetics. Bull Math Biol 47(1):145–153

    Article  Google Scholar 

  • Azreg-AÏnou M (2009) A developed new algorithm for evaluating Adomian polynomials. CMES-Comput Model Eng 42(1):1–18

    Google Scholar 

  • Babolian E, Eftekhari A, Saadatmandi A (2015) A Sinc-Galerkin technique for the numerical solution of a class of singular boundary value problems. Comp Appl Math 34(1):45–63

    Article  Google Scholar 

  • Çağlar H, Çağlar N, Özer M (2009) B-spline solution of non-linear singular boundary value problems arising in physiology. Chaos Soliton Fract 39(3):1232–1237

    Article  Google Scholar 

  • Chandrasekhar S (1939) An introduction to the study of stellar strcture. Dover, New York

    Google Scholar 

  • Chang SH (2012) Electroosmotic flow in a dissimilarly charged slit microchannel containing salt-free solution. Eur J Mech B Fluid 34:85–90

    Article  Google Scholar 

  • Chang SH (2014) Taylor series method for solving a class of nonlinear singular boundary value problems arising in applied science. Appl Math Comput 235(25):110–117

    Article  Google Scholar 

  • Chang SH, Chang IL (2008) A new algorithm for calculating one-dimensional differential transform of nonlinear functions. Appl Math Comput 195(2):799–808

    Google Scholar 

  • Chawla MM, Subramanian R, Sathi HL (1988) A fourth order method for a singular two-point boundary value problem. BIT 28(1):88–97

    Article  Google Scholar 

  • Duan JS (2010) Recurrence triangle for Adomian polynomials. Appl Math Comput 216(4):1235–1241

    Google Scholar 

  • Duan JS (2010) An efficient algorithm for the multivariable Adomian polynomials. Appl Math Comput 217(6):2456–2467

    Google Scholar 

  • Duan JS (2011) Convenient analytic recurrence algorithms for the Adomian polynomials. Appl Math Comput 217(13):6337–6348

    Google Scholar 

  • Duggan RC, Goodman AM (1986) Pointwise bounds for a nonlinear heat conduction model of the human head. Bull Math Biol 48(2):229–236

    Article  Google Scholar 

  • Elsaid A (2012) Fractional differential transform method combined with the Adomian polynomials. Appl Math Comput 218(12):6899–6911

    Google Scholar 

  • Fatoorehchi H, Abolghasemi H (2013) Improving the differential transform method: a novel technique to obtain the differential transforms of nonlinearities by the Adomian polynomials. Appl Math Modell 37(8):6008–6017

    Article  Google Scholar 

  • Flesch U (1975) The distribution of heat sources in the human head: a theoretical consideration. J Theor Biol 54(2):285–287

    Article  Google Scholar 

  • Gökdoğan A, Merdan M, Yildirim A (2012) The modified algorithm for the differential transform method to solution of Genesio systems. Commum Nonlinear Sci 17(1):45–51

    Article  Google Scholar 

  • Gray BF (1980) The distribution of heat sources in the human head–theoretical considerations. J Theor Biol 82(3):473–476

    Article  Google Scholar 

  • Hiltmann P, Lory P (1983) On oxygen diffusion in a spherical cell with Michaelis–Menten oxygen uptake kinetics. Bull Math Biol 45(5):661–664

    Article  Google Scholar 

  • Khuri SA, Sayfy A (2010) A novel approach for the solution of a class of singular boundary value problems arising in physiology. Math Comput Modell 52(3–4):626–636

    Article  Google Scholar 

  • Kumar M, Singh N (2010) Modified Adomian decomposition method and computer implementation for solving singular boundary value problems arising in various physical problems. Comput Chem Eng 34(11):1750–1760

    Article  Google Scholar 

  • Lin SH (1976) Oxygen diffusion in a spherical cell with nonlinear oxygen uptake kinetics. J Theor Biol 60(2):449–457

    Article  Google Scholar 

  • McElwain DLS (1978) A re-examination of oxygen diffusion in a spherical cell with Michaelis–Menten oxygen uptake kinetics. J Theor Biol 71(2):255–263

    Article  Google Scholar 

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

    Article  Google Scholar 

  • Odibat ZM, Bertelle C, Aziz-Alaoui MA, Duchamp GHE (2010) A multi-step differential transform method and application to non-chaotic or chaotic systems. Comput Math Appl 59(4):1462–1472

    Article  Google Scholar 

  • Pandey RK (1997) A finite difference method for a class of singular two point boundary value problems arising in physiology. Int J Comput Math 65(1–2):131–140

    Article  Google Scholar 

  • Pukhov GE (1980) Differential transforms of functions and equations. Naukova Dumka, Kiev

    Google Scholar 

  • Pukhov GE (1982) Differential transforms and circuit theory. Int J Circ Theor Appl 10:265–276

    Article  Google Scholar 

  • Pukhov GE (1986) Differential transformations and mathematical modeling of physical processes. Naukova Dumka, Kiev

    Google Scholar 

  • Rach R (1984) A convenient computational form for the Adomian polynomials. J Math Anal Appl 102(2):415–419

    Article  Google Scholar 

  • Rach R (2008) A new definition of the Adomian polynomials. Kybernetes 37(7):910–955

    Article  Google Scholar 

  • Rashidinia J, Mohammadi R, Jalilian R (2007) The numerical solution of non-linear singular boundary value problems arising in physiology. Appl Math Comput 185(1):360–367

    Google Scholar 

  • Ravi Kanth ASV, Aruna K (2010) He’s variational iteration method for treating nonlinear singular boundary problems. Comput Math Appl 60(3):821–829

    Article  Google Scholar 

  • Ravi Kanth ASV, Bhattacharya V (2006) Cubic spline for a class of non-linear singular boundary value problems arising in physiology. Appl Math Comput 174(1):768–774

    Google Scholar 

  • Russell RD, Shampine LF (1975) Numerical methods for singular boundary value problems. SIAM J Numer Anal 12(1):13–36

    Article  Google Scholar 

  • Singh R, Kumar J (2014) An efficient numerical technique for the solution of nonlinear singular boundary value problems. Comput Phys Commun 185(4):1282–1289

    Article  Google Scholar 

  • Turkyilmazoglu M (2013) Effective computation of exact and analytic approximate solutions to singular nonlinear equations of Lane-Emden-Fowler type. Appl Math Modell 37(14–15):7539–7548

    Article  Google Scholar 

  • Wazwaz AM (2000) A new algorithm for calculating Adomian polynomials for nonlinear operators. Appl Math Comput 111(1):33–51

    Google Scholar 

  • Wazwaz AM (2011) The variational iteration method for solving nonlinear singular boundary value problems arising in various physical models. Commun Nonlinear Sci Numer Simulat 16(10):3881–3886

    Article  Google Scholar 

  • Wazwaz AM, Rach R, Duan JS (2013) Adomian decomposition method for solving the Volterra integral form of the Lane-Emden equations with initial and boundary conditions. Appl Math Comput 219(10):5004–5019

    Google Scholar 

  • Xie LJ, Zhou CL, Xu S (2016) A new algorithm based on differential transform method for solving multi-point boundary value problems. Int J Comput Math 93(6):981–994

    Article  Google Scholar 

  • Zhou JK (1986) Differential transformation and its applications for electrical circuits. Huazhong University Press, Wuhan (in Chinese)

    Google Scholar 

Download references

Authors' contributions

All authors contributed equally in this article. They read and approved the final manuscript.

Acknowlegements

This work was supported by the Scientific Research Fund of Zhejiang Provincial Education Department of China (No.Y201430940) and K.C. Wong Magna Fund in Ningbo University.

Competing interests

The authors declare that they have no competing interests.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Lie-jun Xie.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Xie, Lj., Zhou, Cl. & Xu, S. An effective numerical method to solve a class of nonlinear singular boundary value problems using improved differential transform method. SpringerPlus 5, 1066 (2016). https://doi.org/10.1186/s40064-016-2753-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s40064-016-2753-9

Keywords