Numerical Treatment of Initial-Boundary Value Problems with Mixed Boundary Conditions

Show more

1. Introduction

Mixed boundary value problems are characterized by a combination of Dirichlet and Neumann conditions along at least one boundary condition. They occur in a wide range of engineering and applied mathematics applications [1] [2] [3] [4] . These applications include the classic electrical potential and electric field conditions on a disk [5] , stress and strain conditions around a punch pressing on an elastic surface [6] as well as some applications in porous media problems such as the infiltration and seepage among others [7] [8] . Historically, only very few of these problems could be solved using analytic methods. In view of this, many researchers obtained the solutions of initial and boundary value problems by using either initial or boundary condition(s). In recent years, there have been significant developments in the use of various semi-analytical methods for partial differential equations such as the homotopy perturbation method [9] and Adomian Decomposition Method (ADM) [10] . Duan and Rach [11] developed a new resolution method of Boundary Value Problems (BVPs) for nonlinear ordinary differential equations using the ADM. It is also well-known that the ADM provides approximate analytic solutions without using the Green function concept, which greatly facilitates analytic approximations and numerical computations. Several different resolution techniques for solving BVPs for nonlinear ordinary differential equations by using the ADM were considered by Adomian and Rach [12] - [18] , Adomian [19] , and Wazwaz [20] - [26] . Also, for a two-point BVP for second-order nonlinear differential equations, Adomian and Rach [17] [18] proposed the double decomposition method in order to avoid solving such nonlinear algebraic equations, and Jang [27] and Ebaid [28] introduced different modified inverse linear operators. Adomian [29] suggested a modified method for the hyperbolic, parabolic and elliptic partial differential equations with initial and boundary conditions by using two equations for u, one inverting the ${L}_{t}$ operator and the other inverting the ${L}_{x}$ operator, then, adding them and dividing by two. Further, with regards to the mixed value problems, Lesnic and Elliot

[30] proposed the inverse operator defined by ${L}_{x}^{-1}={\displaystyle \underset{{x}_{0}}{\overset{x}{\int}}\text{d}{x}^{\prime}}{\displaystyle \underset{1}{\overset{x}{\int}}\text{d}{x}^{\u2033}}$ to solve the

linear homogeneous heat equation ${u}_{t}={u}_{xx},\text{\hspace{0.17em}}{x}_{0}<x<1,\text{\hspace{0.17em}}t>0$ subject to the mixed boundary conditions $u\left(x,t\right)={h}_{1}\left(t\right)$ , ${u}_{x}\left(1,t\right)={h}_{2}\left(t\right)$ , where ${\beta}_{i}=\left(t\right),i=1,2$ are known functions. However, in this paper, we will present a modified recursion scheme based on the reliable modification of the ADM with new structure of the inverse operator applied to the (BVPs) with mixed boundary conditions using Lesnic’s approach and Ebaid’s method. The proposed operator allows the appearance of all the conditions in the solution thereby making the solution more realistic. The paper is arranged in the following manner: in Section 2, we analyze the ADM; Section 3 presents the modified ADM suggested by Wazwaz; in Section 4, Lesnic’s approach is used to approximate solutions of some problems; the implementation of this new method to some test problems is presented in Section 5; finally, a brief conclusion is given in Section 6.

2. Analysis of the Adomian Decomposition Method with Mixed Conditions

Nonlinear partial differential equations models in mathematics and physics play an important role in theoretical sciences. The understanding of these nonlinear partial differential equations is also crucial to many applied areas such as meteorology, oceanography, and aerospace industry. Nonlinear partial differential equations are the most fundamental models in studying nonlinear phenomena.

Consider the nonlinear partial differential equation given in an operator form

${L}_{x}u\left(x,t\right)+{L}_{t}u\left(x,t\right)+Ru\left(x,t\right)+Nu\left(x,t\right)=g\left(x,t\right)$ (2.1)

where ${L}_{x}$ and ${L}_{t}$ are the linear operators to be inverted, which are usually the highest order differential operators in x, and t respectively; ${L}_{x}$ , R is the linear remainder operator; $Nu\left(x,t\right)$ is a nonlinear operator which is assumed to be analytic function, and $g\left(x,t\right)$ is the input function that is assumed to be continuous function. The solutions for $u\left(x,t\right)$ obtained from the operator equations ${L}_{x}u$ in x-direction and ${L}_{t}u$ in t-direction are called partial solutions. We further give the following illustrations:

2.1. Boundary Value Problems

Consider the general form of the single second-order nonlinear inhomogeneous temporal-spatial partial differential equation:

${L}_{xx}u\left(x,t\right)+{L}_{tt}u\left(x,t\right)+Nu\left(x,t\right)=g\left(x,t\right),\text{\hspace{0.17em}}a\le x\le b,\text{\hspace{0.17em}}t>0,$ (2.2)

subject to the mixed boundary conditions

$u\left(a,t\right)={h}_{1}\left(t\right),\text{\hspace{0.17em}}{u}_{x}\left(b,t\right)={h}_{2}\left(t\right)$ (2.3)

where, ${L}_{xx}u\left(x,t\right)=\frac{{\partial}^{2}}{\partial {x}^{2}}u\left(x,t\right),{L}_{tt}u\left(x,t\right)=\frac{{\partial}^{2}}{\partial {t}^{2}}u\left(x,t\right)$ . We consider the x partial solution as

${L}_{xx}u\left(x,t\right)=g\left(x,t\right)-{L}_{tt}u\left(x,t\right)-Nu\left(x,t\right)$ (2.4)

Applying the two-fold indefinite integration inverse operator ${L}_{xx}^{-1}={\displaystyle \int \text{d}x}{\displaystyle \int \text{d}{x}^{\prime}}$ to both sides of Equation (2.4), gives

$u\left(x,t\right)={\Phi}_{x}+{L}_{xx}^{-1}g\left(x,t\right)-{L}_{xx}^{-1}{L}_{tt}u\left(x,t\right)-{L}_{xx}^{-1}Nu\left(x,t\right),$ (2.5)

where ${\Phi}_{x}={c}_{1}\left(t\right)+{c}_{2}\left(t\right)x$ and the constants of integrations ${c}_{1}\left(t\right)$ and ${c}_{2}\left(t\right)$ , are determined from the boundary conditions. We now decompose the following ${\Phi}_{x}$ , the linear and nonlinear terms u and Nu based on ADM as follows:

${\Phi}_{x}={\displaystyle \underset{n=0}{\overset{\infty}{\sum}}{\Phi}_{x,n}=}{\displaystyle \underset{n=0}{\overset{\infty}{\sum}}\left({c}_{1,n}\left(t\right)+{c}_{2,n}\left(t\right)x\right)},$

$u\left(x,t\right)={\displaystyle \underset{n=0}{\overset{\infty}{\sum}}{u}_{n}\left(x,t\right),}$

$Nu\left(x,t\right)={\displaystyle \underset{n=0}{\overset{\infty}{\sum}}{A}_{n}\left({u}_{0},{u}_{1},{u}_{2},\cdots ,{u}_{n}\right)}$ (2.6)

where ${A}_{n}$ ’s are the Adomian polynomials determined from the definitional formula

${A}_{n}={\frac{1}{n!}\frac{{\text{d}}^{n}}{\text{d}{\lambda}^{n}}N\left({\displaystyle \underset{k=0}{\overset{\infty}{\sum}}{u}_{k}{\lambda}^{k}}\right)|}_{\lambda =0},\text{\hspace{0.17em}}n\ge 0.$ (2.7)

Substituting Equation (2.6) into Equation (2.5), yields the following recursion scheme

${u}_{0}={\Phi}_{x,0}+{L}_{xx}^{-1}g\left(x,t\right),$

${u}_{n+1}={\Phi}_{x,n+1}-{L}_{xx}^{-1}{L}_{tt}{u}_{n}-{L}_{xx}^{-1}{A}_{n},\text{\hspace{0.17em}}\text{\hspace{0.17em}}n\ge 0.$ (2.8)

The n-term approximation of the solution is ${\phi}_{n}={\displaystyle \underset{i=0}{\overset{n-1}{\sum}}{u}_{i}\left(x,t\right)}$ for $n>0$ .

Thus, ${\phi}_{1}={u}_{0},{\phi}_{2}={\phi}_{1}+{u}_{1},{\phi}_{3}={\phi}_{2}+{u}_{2}$ , etc., and all ${\phi}_{n}$ ‘s must satisfy the boundary conditions.

The first approximate ${\phi}_{1}={u}_{0}={c}_{1,0}\left(t\right)+{c}_{2,0}\left(t\right)x+{L}_{xx}^{-1}g\left(x,t\right)$ , where the values ${c}_{1}\left(t\right)$ and ${c}_{2}\left(t\right)$ can be evaluated by using the boundary conditions in Equation (2.2)

${{\phi}_{1}|}_{x=a}={h}_{1}\left(t\right),\text{\hspace{0.17em}}\text{\hspace{0.17em}}{{{\phi}^{\prime}}_{1}|}_{x=b}={h}_{2}\left(t\right),$

which results in

${{c}_{1,0}\left(t\right)+{c}_{2,0}\left(t\right)x+{L}_{xx}^{-1}g\left(x,t\right)|}_{x=a}={h}_{1}\left(t\right),$

${{c}_{2,0}\left(t\right)+{\left({L}_{xx}^{-1}g\left(x,t\right)\right)}^{\prime}|}_{x=b}={h}_{2}\left(t\right).$

Thus ${\phi}_{1}$ is now determined. Since ${u}_{0}$ and ${\phi}_{1}$ are now completely known, we form the next term ${u}_{1}={\Phi}_{x,1}-{L}_{xx}^{-1}{L}_{tt}{u}_{0}-{L}_{xx}^{-1}{A}_{0}$ , then ${\phi}_{2}={\phi}_{1}+{u}_{1}$ , and we continue in the same manner to obtain ${u}_{2},{u}_{3},\cdots ,{u}_{n}$ for some $n\ge 0$ . Substituting all these values in $u\left(x,t\right)={\displaystyle \underset{n=0}{\overset{\infty}{\sum}}{u}_{n}\left(x,t\right)}$ , we get the solution of Equation (2.1).

2.2. An Alternative Combination of the Initial and Boundary Conditions

Adomian [29] suggested a modified method for the partial differential equations with initial and boundary conditions by using two equations for u, one inverting the ${L}_{t}$ operator and the other inverting the ${L}_{x}$ operator, then, adding them and dividing by two. To convey the basic idea for treatment of initial and boundary conditions by ADM for solving initial boundary value problems, we consider Equations (2.2)-(2.3) with the initial conditions

$u\left(x,0\right)={p}_{1}\left(x\right),\text{\hspace{0.17em}}\text{\hspace{0.17em}}{u}_{t}\left(x,0\right)={p}_{2}\left(x\right).$ (2.9)

where ${p}_{i}\left(x\right),i=1,2$ are known functions.

Firstly, we consider the t partial solution as

${L}_{tt}u\left(x,t\right)=g\left(x,t\right)-{L}_{xx}u\left(x,t\right)-Nu\left(x,t\right)$ (2.10)

Applying the inverse operator ${L}_{tt}^{-1}$ defined by ${L}_{tt}^{-1}={\displaystyle {\int}_{0}^{t}{\displaystyle {\int}_{0}^{t}\text{d}t\text{\hspace{0.05em}}\text{d}t}}$ to both sides of Equation (2.10) and using the initial conditions, gives

$u\left(x,t\right)=u\left(x,0\right)+t{u}_{t}\left(x,0\right)+{L}_{tt}^{-1}g\left(x,t\right)-{L}_{tt}^{-1}{L}_{xx}u\left(x,t\right)-{L}_{tt}^{-1}Nu\left(x,t\right)$ (2.11)

Secondly, we consider the x partial solution as in Equation (2.5). Next, we averaged the partial solutions, i.e. add two partial solutions in Equation (2.5) and Equation (2.11) and divide by two, we obtain

$\begin{array}{l}u\left(x,t\right)=\frac{1}{2}(u\left(x,0\right)+t{u}_{t}\left(x,0\right)+{\Phi}_{x}+{L}_{tt}^{-1}g\left(x,t\right)+{L}_{xx}^{-1}g\left(x,t\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}-{L}_{tt}^{-1}{L}_{xx}u\left(x,t\right)-{L}_{xx}^{-1}{L}_{tt}u\left(x,t\right)-{L}_{tt}^{-1}Nu\left(x,t\right)-{L}_{xx}^{-1}Nu\left(x,t\right))\end{array}$ (2.12)

Substituting Equation (2.6) into Equation (2.12), yields the following recursion scheme

${u}_{0}=\frac{1}{2}\left(u\left(x,0\right)+t{u}_{t}\left(x,0\right)+{\Phi}_{x,0}+{L}_{tt}^{-1}g\left(x,t\right)+{L}_{xx}^{-1}g\left(x,t\right)\right)$

${u}_{n+1}=\frac{1}{2}\left({\Phi}_{x,n}-{L}_{tt}^{-1}{L}_{xx}{u}_{n}\left(x,t\right)-{L}_{xx}^{-1}{L}_{tt}{u}_{n}\left(x,t\right)-{L}_{tt}^{-1}{A}_{n}-{L}_{xx}^{-1}{A}_{n}\right),\text{\hspace{0.17em}}n\ge 0.$ (2.13)

To illustrate this method for coupled linear and nonlinear partial differential equations, we take two examples in the following section.

2.3. Numerical Experiments

Example 1.

Consider the linear homogeneous heat equation

${u}_{t}-{u}_{xx}=0,\text{\hspace{0.17em}}\text{\hspace{0.17em}}0\le x\le 1,\text{\hspace{0.17em}}\text{\hspace{0.17em}}t>0,$

with specified conditions $u\left(0,t\right)=0,{u}_{x}\left(1,t\right)=\mathrm{cos}\left(1\right){\text{e}}^{-t}$ .

Rewriting the heat equation in the operator form as ${L}_{t}u-{L}_{xx}u=0$ .

Applying the inverse operator ${L}_{xx}^{-1}$ defined by ${L}_{xx}^{-1}={\displaystyle \int \text{d}x}{\displaystyle \int \text{d}{x}^{\prime}}$ , gives

$u\left(x,t\right)={c}_{1}\left(t\right)+{c}_{2}\left(t\right)x+{L}_{xx}^{-1}{L}_{t}u\left(x,t\right).$

This introduces the recursive relations

${u}_{0}={c}_{1}\left(t\right)+{c}_{2}\left(t\right)x,$

${u}_{n+1}={c}_{1,n+1}\left(t\right)+{c}_{2,n+1}\left(t\right)x+{L}_{xx}^{-1}{L}_{t}{u}_{n},\text{\hspace{0.17em}}n\ge 0.$

The first approximant is ${\phi}_{1}={u}_{0}={c}_{1,0}\left(t\right)+{c}_{2,0}\left(t\right)x$ . Applying the x conditions to ${\phi}_{1}$ , it is clear that ${c}_{1,0}\left(t\right)=0$ and ${c}_{2,0}\left(t\right)=\mathrm{cos}\left(1\right){\text{e}}^{-t}$ . Thus, if the one-term approximant ${\phi}_{1}$ were sufficient, the solution would be ${\phi}_{1}={u}_{0}=\mathrm{cos}\left(1\right){\text{e}}^{-t}x$ , The next term is

$\begin{array}{c}{u}_{1}={c}_{1,1}\left(t\right)+{c}_{2,1}\left(t\right)x+{L}_{xx}^{-1}{L}_{t}{u}_{0}\\ ={c}_{1,1}\left(t\right)+{c}_{2,1}\left(t\right)x+{L}_{xx}^{-1}{L}_{t}\left(\mathrm{cos}\left(1\right){\text{e}}^{-t}x\right)\end{array}$

Then ${\phi}_{2}={u}_{0}+{u}_{1}$ is given by

${\phi}_{2}=\mathrm{cos}\left(1\right){\text{e}}^{-t}x+{c}_{1,1}\left(t\right)+{c}_{2,1}\left(t\right)x-\frac{1}{6}\mathrm{cos}\left(1\right){\text{e}}^{-t}{x}^{3}$

Applying the condition at $x=0$ , we have ${c}_{1,1}\left(t\right)=0$ . From the condition on x at 1, we get

${c}_{2,1}\left(t\right)=\frac{1}{2}\mathrm{cos}\left(1\right){\text{e}}^{-t}$ , thus ${u}_{1}=\frac{1}{2}\mathrm{cos}\left(1\right){\text{e}}^{-t}x-\frac{1}{6}\mathrm{cos}\left(1\right){\text{e}}^{-t}{x}^{3}$

Continuing in a similar way ${u}_{2},{u}_{3},\cdots ,{u}_{n}$ are obtained for some n, then we get the approximate solution ${u}_{ap}={\displaystyle \underset{n=0}{\overset{\infty}{\sum}}{u}_{n}\left(x,t\right)}$ which converged to the exact solution ${u}_{ex}=\mathrm{cos}\left(x\right){\text{e}}^{-t}$ .

Table 1 shows the comparison between the absolute error of the exact and approximate solutions for various values of t. Figure 1 and Figure 2 give the plots for the exact and approximate solutions by using ADM for $t=0.5,t=1.0$ and $0\le x\le 1$ , respectively.

Table 1. Absolute errors using ADM at $t=0.5,t=1.0$ and $0\le x\le 1$ .

Figure 1. The exact solution and the approximate solution using ADM for ${\phi}_{3},{\phi}_{5},{\phi}_{10}$ at $t=0.5$ and $0\le x\le 1$ .

Figure 2. The exact solution and the approximate solution using ADM for ${\phi}_{3},{\phi}_{5},{\phi}_{10}$ at $t=1.0$ and $0\le x\le 1$ .

Example 2

Consider the nonlinear inhomogeneous wave equation

${u}_{tt}-{u}_{xx}-u+{u}^{2}=xt+{x}^{2}{t}^{2},\text{\hspace{0.17em}}\text{\hspace{0.17em}}t>0,$

with specified initial conditions $u\left(x,0\right)=1,{u}_{t}\left(x,0\right)=x$ , and the boundary conditions $u\left(0,t\right)=1,{u}_{x}\left(0,t\right)=t$ . Rewriting the wave equation in the operator form as

${L}_{tt}u-{L}_{xx}u-u+{u}^{2}=xt+{x}^{2}{t}^{2}.$

To solve initial-boundary value problem, firstly, we consider the t partial solution as ${L}_{tt}u={L}_{xx}u+u-{u}^{2}+xt+{x}^{2}{t}^{2}$ .

Applying the inverse operator ${L}_{tt}^{-1}$ defined by ${L}_{tt}^{-1}={\displaystyle {\int}_{0}^{t}{\displaystyle {\int}_{0}^{t}\text{d}t\text{\hspace{0.05em}}\text{d}t}}$ , gives

$u\left(x,t\right)=u\left(x,0\right)+t{u}_{t}\left(x,0\right)+{L}_{tt}^{-1}\left(xt+{x}^{2}{t}^{2}\right)+{L}_{tt}^{-1}{L}_{xx}u\left(x,t\right)+{L}_{tt}^{-1}u-{L}_{tt}^{-1}{u}^{2}$ .

This introduces the recursive relations

${u}_{0}=u\left(x,0\right)+t{u}_{t}\left(x,0\right)+{L}_{tt}^{-1}\left(xt+{x}^{2}{t}^{2}\right)$

${u}_{n+1}={L}_{tt}^{-1}{L}_{xx}{u}_{n}+{L}_{tt}^{-1}{u}_{n}-{L}_{tt}^{-1}{A}_{n},\text{\hspace{0.17em}}\text{\hspace{0.17em}}n\ge 0.$

where the nonlinear term ${u}^{2}$ can be expressed by an infinite series of the Adomian polynomials ${A}_{n}$ given by:

${A}_{0}={\left({u}_{0}\right)}^{2},$

${A}_{1}=2{u}_{0}{u}_{1},$

${A}_{2}={\left({u}_{1}\right)}^{2}+2{u}_{0}{u}_{2},$

${A}_{3}=2{u}_{1}{u}_{2}+2{u}_{0}{u}_{3},$

${A}_{4}={\left({u}_{2}\right)}^{2}+2{u}_{1}{u}_{3}+2{u}_{0}{u}_{4},$

$\vdots $

So that first two terms are

${u}_{0}=1+xt+\frac{1}{6}x{t}^{3}+\frac{1}{12}{x}^{2}{t}^{4},$

$\begin{array}{l}{u}_{1}=\frac{1}{180}{t}^{6}-\frac{1}{12960}{x}^{4}{t}^{10}-\frac{1}{2529}{x}^{3}{t}^{9}-\frac{1}{2016}{x}^{2}{t}^{8}-\frac{1}{252}{x}^{3}{t}^{7}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}-\frac{1}{72}{x}^{2}{t}^{6}-\frac{1}{120}x{t}^{5}-\frac{1}{12}{x}^{2}{t}^{4}-\frac{1}{6}x{t}^{3},\end{array}$

Secondly, we consider the x partial solution ${L}_{xx}u={L}_{tt}u-u+{u}^{2}-xt-{x}^{2}{t}^{2}$ .

Applying the inverse operator ${L}_{xx}^{-1}$ defined by ${L}_{xx}^{-1}={\displaystyle \int \text{d}x{\displaystyle \int \text{d}{x}^{\prime}}}$ , gives

$u\left(x,t\right)={\Phi}_{x}+{L}_{xx}^{-1}\left(-xt-{x}^{2}{t}^{2}\right)+{L}_{xx}^{-1}{L}_{tt}u\left(x,t\right)-{L}_{xx}^{-1}u\left(x,t\right)+{L}_{xx}^{-1}{u}^{2}\left(x,t\right),$

This gives the recursive relations

${u}_{0}={\Phi}_{x,0}+{L}_{xx}^{-1}\left(-xt-{x}^{2}{t}^{2}\right),$

${u}_{n+1}={\Phi}_{x,n}+{L}_{xx}^{-1}{L}_{tt}{u}_{n}-{L}_{xx}^{-1}{u}_{n}+{L}_{xx}^{-1}{A}_{n},\text{\hspace{0.17em}}n\ge 0.$

So that

$\begin{array}{c}{u}_{0}={c}_{1,0}\left(t\right)+{c}_{2,0}\left(t\right)x+{L}_{xx}^{-1}\left(-xt-{x}^{2}{t}^{2}\right)\\ ={c}_{1,0}\left(t\right)+{c}_{2,0}\left(t\right)x-\frac{1}{12}{x}^{4}{t}^{2}-\frac{1}{6}{x}^{3}t,\end{array}$

The first approximant is ${\phi}_{1}={u}_{0}$ . Applying the x conditions to ${\phi}_{1}$ it is clear that ${c}_{1,0}\left(t\right)=1$ and ${c}_{2,0}\left(t\right)=t$ . Thus, if the one-term approximant ${\phi}_{1}$ were

sufficient, the solution would be ${\phi}_{1}={u}_{0}=1+xt-\frac{1}{12}{x}^{4}{t}^{2}-\frac{1}{6}{x}^{3}t$ . The next term is

${u}_{1}={c}_{1,1}\left(t\right)+{c}_{2,1}\left(t\right)x+{L}_{xx}^{-1}{L}_{tt}{u}_{0}-{L}_{xx}^{-1}{u}_{0}+{L}_{xx}^{-1}{A}_{0}.$

Then ${\phi}_{2}={u}_{0}+{u}_{1}$ is given by:

$\begin{array}{l}{\phi}_{2}=1+xt+{c}_{1,1}\left(t\right)+{c}_{2,1}\left(t\right)x-\frac{1}{180}{x}^{6}+\frac{1}{12960}{t}^{4}{x}^{10}+\frac{1}{2592}{t}^{3}{x}^{9}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}+\frac{1}{2016}{t}^{2}{x}^{8}-\frac{1}{252}{t}^{3}{x}^{7}-\frac{1}{72}{t}^{2}{x}^{6}-\frac{1}{120}t{x}^{5},\end{array}$

Applying the condition at $x=0$ , we have ${c}_{1,1}\left(t\right)=0$ . From the condition on x at 0, we get ${c}_{2,1}\left(t\right)=0$ , thus

$\begin{array}{c}{u}_{1}=-\frac{1}{180}{x}^{6}+\frac{1}{12960}{t}^{4}{x}^{10}+\frac{1}{2592}{t}^{3}{x}^{9}+\frac{1}{2016}{t}^{2}{x}^{8}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}-\frac{1}{252}{t}^{3}{x}^{7}-\frac{1}{72}{t}^{2}{x}^{6}-\frac{1}{120}t{x}^{5}+\frac{1}{12}{t}^{2}{x}^{4}+\frac{1}{6}t{x}^{3},\end{array}$

Next, we average the partial solutions, i.e. add two partial solutions and divide by two, so we obtain

${u}_{0}=\frac{1}{2}\left(2+2xt+\frac{1}{12}{x}^{2}{t}^{4}+\frac{1}{6}x{t}^{3}-\frac{1}{12}{x}^{4}{t}^{2}-\frac{1}{6}{x}^{3}t\right)$

$\begin{array}{c}{u}_{1}=\frac{1}{2}(\frac{1}{180}{t}^{6}-\frac{1}{12960}{x}^{4}{t}^{10}-\frac{1}{2592}{x}^{3}{t}^{9}-\frac{1}{2016}{x}^{2}{t}^{8}-\frac{1}{252}{x}^{3}{t}^{7}-\frac{1}{72}{x}^{2}{t}^{6}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}-\frac{1}{120}x{t}^{5}-\frac{1}{12}{x}^{2}{t}^{4}-\frac{1}{6}x{t}^{3}-\frac{1}{180}{x}^{6}+\frac{1}{12960}{t}^{4}{x}^{10}+\frac{1}{2592}{t}^{3}{x}^{9}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+\frac{1}{2016}{t}^{2}{x}^{8}-\frac{1}{252}{t}^{3}{x}^{7}-\frac{1}{72}{t}^{2}{x}^{6}-\frac{1}{120}t{x}^{5}+\frac{1}{12}{t}^{2}{x}^{4}+\frac{1}{6}t{x}^{3}),\end{array}$

Continuing in a similar way ${u}_{2},{u}_{3},\cdots ,{u}_{n}$ are obtained for some n, then we get the approximate solution ${u}_{ap}={\displaystyle \underset{n=0}{\overset{\infty}{\sum}}{u}_{n}\left(x,t\right)}$ which is converge to the exact solution ${u}_{ex}=1+xt$ .

Table 2 shows the comparison between the absolute error of exact and approximate solutions for various values of t. Figure 3 and Figure 4 give the plots for the exact solution and the approximate solution by application of (ADM) for $t=0.5,t=1.0$

3. Modified Adomian Decomposition Method with Mixed Conditions

Wazwaz in [31] , suggested a modification to the recurrence relations of the Standard Adomian Decomposition Method (ADM). He assumed that the first

Table 2. Absolute errors using ADM at $t=0.5,t=1.0$ and $0\le x\le 1$ .

Figure 3. The exact solution and the approximate solution using ADM for ${\phi}_{3},{\phi}_{5},{\phi}_{10}$ at $t=0.5$ .

Figure 4. The exact solution and the approximate solution using ADM for ${\phi}_{3},{\phi}_{5},{\phi}_{10}$ at $t=1.0$ .

term u_{0} can be set as function f and divided it into two parts, namely f_{1} and f_{2}. Under this assumption, we set
$f={f}_{1}+{f}_{2}$ . Also, based on this, we propose a slight variation only on the components u_{0} and u_{1}, the variation is that only the part f_{1} is assigned to the zeroth component u_{0}, whereas the remaining part f_{2} is combined with the other terms to define u_{1}. This reduction in the number of terms of u_{0} will result in reduction of the computational work and will accelerate the convergence. Further, this slight variation in the definition of the components u_{0} and u_{1} may provide the solution by using two iterations only. Furthermore, the calculations below will show that sometimes there is no need to evaluate the so-called Adomian polynomials required for the nonlinear differential equations. An important observation that can be made here is that the success of this method depends mainly on the proper choice of the parts f_{1} and f_{2}. We have been unable to establish any criterion to judge what forms of f_{1} and f_{2} can be assumed to yield the acceleration demanded. It appears that trials are the only criteria that can be applied so far.

3.1. Boundary Value Problems

Based on the recurrence relation in Equation (2.8)

${u}_{0}={\Phi}_{x,0}+{L}_{xx}^{-1}g\left(x,t\right),$

${u}_{n+1}={\Phi}_{x,n+1}-{L}_{xx}^{-1}{L}_{tt}{u}_{n}-{L}_{xx}^{-1}{A}_{n},\text{\hspace{0.17em}}\text{\hspace{0.17em}}n\ge 0.$

We can set ${u}_{0}={\Phi}_{x,0}+{L}_{xx}^{-1}g\left(x,t\right)=f$ , then we divide it into two parts, so that we formulate the modified recursive algorithm as follows:

${u}_{0}={f}_{1},$

${u}_{1}={f}_{2}+{\Phi}_{x,1}-{L}_{xx}^{-1}{L}_{tt}{u}_{0}-{L}_{xx}^{-1}{A}_{0},$

${u}_{n+1}={\Phi}_{x,n+1}-{L}_{xx}^{-1}{L}_{tt}{u}_{n}-{L}_{xx}^{-1}{A}_{n},\text{\hspace{0.17em}}\text{\hspace{0.17em}}n\ge 1.$ (3.1)

Comparing the recursive scheme in Equation (2.8) of the ADM with the scheme in Equation (3.1) of the modified technique leads to the conclusion that in Equation (2.8) the zeroth component was defined by the function f, whereas in Equation (3.1), the zeroth component u_{0} was defined by only a part f_{1} of f, the remaining part f_{2} of f is added to the definition of the component u_{1} in (3.1).

3.2. An alternative Combination of the Initial and Boundary Conditions

Based on the recurrence relation in Equation (2.13), we can set

${u}_{0}=\frac{1}{2}\left(u\left(x,0\right)+t{u}_{t}\left(x,0\right)+{\Phi}_{x,0}+{L}_{tt}^{-1}g\left(x,t\right)+{L}_{xx}^{-1}g\left(x,t\right)\right)=f$

Then we divide it into two parts, so that we formulate the modified recursive algorithm as follows:

${u}_{0}={f}_{1},$

${u}_{1}={f}_{2}+\frac{1}{2}\left({\Phi}_{x,1}-{L}_{tt}^{-1}{L}_{xx}{u}_{0}-{L}_{xx}^{-1}{L}_{tt}{u}_{0}-{L}_{tt}^{-1}{A}_{0}-{L}_{xx}^{-1}{A}_{0}\right),$

${u}_{n+1}=\frac{1}{2}\left({\Phi}_{x,n+1}-{L}_{tt}^{-1}{L}_{xx}{u}_{n}-{L}_{xx}^{-1}{L}_{tt}{u}_{n}-{L}_{tt}^{-1}{A}_{n}-{L}_{xx}^{-1}{A}_{n}\right),\text{\hspace{0.17em}}\text{\hspace{0.17em}}n\ge 1.$ (3.2)

Comparing the recursive scheme in Equation. (2.13) of the ADM with the recursive scheme in Equation (3.2) of the modified technique leads to the conclusion that in (2.13) the zeroth component was defined by the function f, whereas in (3.2), the zeroth component u_{0} is defined only by a part f_{1} of f, the remaining part f_{2} of f is added to the definition of the component u_{1} in (2.13).

In order to demonstrate the efficiency and applicability of the proposed method, we study example of nonlinear partial differential equations here.

3.3. Numerical Experiments

Example 3

Consider the nonlinear inhomogeneous heat equation

${u}_{t}={u}_{xx}+{u}^{2}-{x}^{2}{t}^{2}+x,\text{\hspace{0.17em}}\text{\hspace{0.17em}}t>0,$

with specified conditions $u\left(x,0\right)=0,u\left(0,t\right)=0,{u}_{x}\left(0,t\right)=t$ .

Rewriting the heat equation in the operator form as

${L}_{t}u={L}_{xx}u+{u}^{2}-{x}^{2}{t}^{2}+x.$

Applying the inverse operator ${L}_{xx}^{-1}$ defined by ${L}_{xx}^{-1}={\displaystyle \int \text{d}x{\displaystyle \int \text{d}{x}^{\prime}}}$ , we get

$u\left(x,t\right)={\Phi}_{x}+{L}_{xx}^{-1}\left({x}^{2}{t}^{2}-x\right)+{L}_{xx}^{-1}{L}_{t}u\left(x,t\right)-{L}_{xx}^{-1}{u}^{2}\left(x,t\right),$

This gives the recursive relations

${u}_{0}={\Phi}_{x,0}+{L}_{xx}^{-1}\left({x}^{2}{t}^{2}-x\right),$

${u}_{n+1}={\Phi}_{x,n+1}+{L}_{xx}^{-1}{L}_{t}{u}_{n}-{L}_{xx}^{-1}{A}_{n},\text{\hspace{0.17em}}\text{\hspace{0.17em}}n\ge 0.$

So that

$\begin{array}{c}{u}_{0}={c}_{1,0}\left(t\right)+{c}_{2,0}\left(t\right)x+{L}_{xx}^{-1}\left({x}^{2}{t}^{2}-x\right)\\ ={c}_{1,0}\left(t\right)+{c}_{2,0}\left(t\right)x+\frac{1}{12}{x}^{4}{t}^{2}-\frac{1}{6}{x}^{3},\end{array}$

The first approximant is ${\phi}_{1}={u}_{0}$ Applying the x conditions to ${\phi}_{1}$ it is clear that ${c}_{1,0}\left(t\right)=0$ and ${c}_{2,0}\left(t\right)=t$ . Thus, if the one-term approximant ${\phi}_{1}$ were

sufficient, the “solution” will be ${\phi}_{1}={u}_{0}=xt+\frac{1}{12}{x}^{4}{t}^{2}-\frac{1}{6}{x}^{3}$ . We set ${u}_{0}=f$ ,

then we divide it into two parts, so that

${u}_{0}={f}_{1}=xt,$

$\begin{array}{c}{u}_{1}={f}_{2}+{c}_{1,1}\left(t\right)+{c}_{2,1}\left(t\right)x+{L}_{xx}^{-1}{L}_{t}{u}_{0}-{L}_{xx}^{-1}{A}_{0}\\ =\left(\frac{1}{12}{x}^{4}{t}^{2}-\frac{1}{6}{x}^{3}\right)+{c}_{1,1}\left(t\right)+{c}_{2,1}\left(t\right)x+{L}_{xx}^{-1}{L}_{t}{u}_{0}-{L}_{xx}^{-1}{A}_{0}.\end{array}$

Then ${\phi}_{2}={u}_{0}+{u}_{1}$ is given by:

${\phi}_{2}=xt+\frac{1}{12}{x}^{4}{t}^{2}-\frac{1}{6}{x}^{3}+{c}_{1,1}\left(t\right)+{c}_{2,1}\left(t\right)x+{L}_{xx}^{-1}{L}_{t}{u}_{0}-{L}_{xx}^{-1}{A}_{0}$

Applying the condition at $x=0$ , we have ${c}_{1,1}(t)=0$ . From the condition on x at 0, we get ${c}_{2,1}\left(t\right)=0$ , thus ${u}_{1}=0$ , and ${u}_{n+1}=0,n\ge 1$ . Thus, the approximate solution is $u={u}_{0}=xt$ , which is the exact solution.

4. Improvement of the Inverse Operator with Mixed Boundary Conditions

In 1999, Lesnic and Elliott [30] employed ADM for solving some inverse boundary value problems in heat conduction, also they applied the modification method to deal with noisy input data and obtain a stable approximate solution. In [32] Lesnic investigated the application of the decomposition method involving computational algebra for solving more complicated problems with Dirichlet, Neumann or mixed boundary conditions. In [30] the authors defined the operator ${L}_{t}^{-1}$ and as definite integrals given by

${L}_{t}^{-1}={\displaystyle {\int}_{0}^{t}\text{d}{t}^{\prime}},\text{\hspace{0.17em}}\text{\hspace{0.17em}}{L}_{x}^{-1}={\displaystyle {\int}_{{x}_{0}}^{x}\text{d}{x}^{\prime}}{\displaystyle {\int}_{1}^{{x}^{\prime}}\text{d}{x}^{\u2033}}$ (4.1)

to solve the linear homogeneous heat equation ${u}_{t}={u}_{xx},\text{\hspace{0.17em}}{x}_{0}<x<1,\text{\hspace{0.17em}}t>0$ , subject to the mixed boundary conditions $u\left({x}_{0},t\right)={h}_{1}\left(t\right),{u}_{x}\left(1,t\right)={h}_{2}\left(t\right)$ .

We will make an extension to the inverse operator (4.1) given in [30] to all cases of problems, so that we consider in this section, two types of problems: boundary value problems and initial-boundary value problems.

4.1. Boundary Value Problems

Consider Equations. (2.2)-(2.3), and applying the inverse operator ${L}_{xx}^{-1}$ defined by

${L}_{xx}^{-1}={\displaystyle {\int}_{a}^{x}\text{d}{x}^{\prime}}{\displaystyle {\int}_{b}^{{x}^{\prime}}\text{d}{x}^{\u2033}}$ to both sides of Equation (2.4), gives

$u\left(x,t\right)=u\left(a,t\right)+\left(x-a\right)\frac{\partial u\left(b,t\right)}{\partial x}+{L}_{xx}^{-1}g\left(x,t\right)-{L}_{xx}^{-1}{L}_{tt}u\left(x,t\right)-{L}_{xx}^{-1}Nu\left(x,t\right)$ (4.2)

i.e. the boundary conditions can be used directly to solve the boundary value problem in x-direction.

Substituting $u\left(x,t\right)={\displaystyle \underset{n=0}{\overset{\infty}{\sum}}{u}_{n}\left(x,t\right)}$ , and $Nu\left(x,t\right)={\displaystyle \underset{n=0}{\overset{\infty}{\sum}}{A}_{n}\left({u}_{0},{u}_{1},{u}_{2},\cdots ,{u}_{n}\right)}$ into Equation (4.2), gives

$\begin{array}{c}{\displaystyle \underset{n=0}{\overset{\infty}{\sum}}{u}_{n}\left(x,t\right)}=u\left(a,t\right)+\left(x-a\right)\frac{\partial u\left(b,t\right)}{\partial x}+{L}_{xx}^{-1}g\left(x,t\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}-{L}_{xx}^{-1}{L}_{tt}{\displaystyle \underset{n=0}{\overset{\infty}{\sum}}{u}_{n}\left(x,t\right)}-{L}_{xx}^{-1}{\displaystyle \underset{n=0}{\overset{\infty}{\sum}}{A}_{n}\left(x,t\right)}\end{array}$

This yields the recursive relations

${u}_{0}=u\left(a,t\right)+\left(x-a\right)\frac{\partial u\left(b,t\right)}{\partial x}+{L}_{xx}^{-1}g\left(x,t\right),$

${u}_{n+1}=-{L}_{xx}^{-1}{L}_{tt}{u}_{n}-{L}_{xx}^{-1}{A}_{n},\text{\hspace{0.17em}}n\ge 0.$ (4.3)

4.2. An Alternative Combination of the Initial and Boundary Conditions

Here, we take the average of the t partial solution as in Equation (2.11), and the x partial solution as in Equation (4.2) to get

$\begin{array}{c}u\left(x,t\right)=\frac{1}{2}(u\left(x,0\right)+{u}_{t}\left(x,0\right)t+u\left(a,t\right)+\left(x-a\right)\frac{\partial u\left(b,t\right)}{\partial x}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+{L}_{tt}^{-1}g\left(x,t\right)+{L}_{xx}^{-1}g\left(x,t\right)-{L}_{tt}^{-1}{L}_{xx}u\left(x,t\right)-{L}_{xx}^{-1}{L}_{tt}u\left(x,t\right)\\ \text{\hspace{0.05em}}\text{\hspace{0.05em}}\begin{array}{c}\text{\hspace{0.05em}}\\ \text{\hspace{0.05em}}\end{array}-{L}_{tt}^{-1}Nu\left(x,t\right)-{L}_{xx}^{-1}Nu\left(x,t\right))\end{array}$ (4.4)

Substituting $u\left(x,t\right)={\displaystyle \underset{n=0}{\overset{\infty}{\sum}}{u}_{n}\left(x,t\right)}$ , and $Nu\left(x,t\right)={\displaystyle \underset{n=0}{\overset{\infty}{\sum}}{A}_{n}\left({u}_{0},{u}_{1},{u}_{2},\cdots ,{u}_{n}\right)}$ into Equation (4.3), gives

$\begin{array}{c}{\displaystyle \underset{n=0}{\overset{\infty}{\sum}}{u}_{n}\left(x,t\right)}=\frac{1}{2}(u\left(x,0\right)+{u}_{t}\left(x,0\right)t+u\left(a,t\right)+\left(x-a\right)\frac{\partial u\left(b,t\right)}{\partial x}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+{L}_{tt}^{-1}g\left(x,t\right)+{L}_{xx}^{-1}g\left(x,t\right)-{L}_{tt}^{-1}{L}_{xx}{\displaystyle \underset{n=0}{\overset{\infty}{\sum}}{u}_{n}\left(x,t\right)}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}-{L}_{xx}^{-1}{L}_{tt}{\displaystyle \underset{n=0}{\overset{\infty}{\sum}}{u}_{n}\left(x,t\right)}-{L}_{tt}^{-1}{\displaystyle \underset{n=0}{\overset{\infty}{\sum}}{A}_{n}\left(x,t\right)}-{L}_{xx}^{-1}{\displaystyle \underset{n=0}{\overset{\infty}{\sum}}{A}_{n}\left(x,t\right)})\end{array}$

so that the recurrence relations are

${u}_{0}=\frac{1}{2}\left(u\left(x,0\right)+{u}_{t}\left(x,0\right)t+u\left(a,t\right)+\left(x-a\right)\frac{\partial u\left(b,t\right)}{\partial x}+{L}_{tt}^{-1}g\left(x,t\right)+{L}_{xx}^{-1}g\left(x,t\right)\right)$

${u}_{n+1}=\frac{1}{2}\left(-{L}_{tt}^{-1}{L}_{xx}{u}_{n}-{L}_{xx}^{-1}{L}_{tt}{u}_{n}-{L}_{tt}^{-1}{A}_{n}-{L}_{xx}^{-1}{A}_{n}\right),\text{\hspace{0.17em}}\text{\hspace{0.17em}}n\ge 0.$ (4.5)

To give a clear overview of these methods, we have chosen several differential equations. The examples will be approached by the Lesnic‘s Approach and the modified technique for comparison reasons. We also compare the approximate solution with the exact solution.

4.3. Numerical Experiments

Example 4

Consider the linear homogeneous heat equation

${u}_{t}-{u}_{xx}=0,\text{\hspace{0.17em}}\text{\hspace{0.17em}}0\le x\le 1,\text{\hspace{0.17em}}\text{\hspace{0.17em}}t>0,$

with specified conditions $u\left(x,0\right)={\text{e}}^{x},\text{\hspace{0.17em}}u\left(0,t\right)={\text{e}}^{t},\text{\hspace{0.17em}}{u}_{x}\left(1,t\right)={\text{e}}^{1+t}$ .

Rewriting the heat equation in the operator form as ${L}_{t}u={L}_{xx}u$ . Applying the

inverse operator ${L}_{xx}^{-1}$ defined by ${L}_{xx}^{-1}={\displaystyle {\int}_{0}^{x}\text{d}{x}^{\prime}}{\displaystyle {\int}_{1}^{{x}^{\prime}}\text{d}{x}^{\u2033}}$ , we get the recursive relations

${u}_{0}=u\left(0,t\right)+x\frac{\partial u\left(1,t\right)}{\partial x},$

${u}_{n+1}={L}_{xx}^{-1}{L}_{t}{u}_{n},\text{\hspace{0.17em}}\text{\hspace{0.17em}}n\ge 0.$

So that

${u}_{0}={\text{e}}^{t}+x{\text{e}}^{1+t},$

${u}_{1}=\frac{1}{6}{\text{e}}^{1+t}{x}^{3}+\frac{1}{2}{\text{e}}^{t}{x}^{2}-{\text{e}}^{t}x-\frac{1}{2}{\text{e}}^{1+t}x,$

${u}_{2}=\frac{1}{120}{\text{e}}^{1+t}{x}^{5}+\frac{1}{24}{\text{e}}^{t}{x}^{4}+\frac{1}{3}\left(\frac{-1}{2}{\text{e}}^{t}-\frac{1}{4}{\text{e}}^{1+t}\right){x}^{3}+\frac{5}{24}x{\text{e}}^{1+t}+\frac{1}{3}{\text{e}}^{t}x,$

Continuing in a similar way ${u}_{2},{u}_{3},\cdots ,{u}_{n}$ are obtained for some n, then we get the approximate solution ${u}_{ap}={\displaystyle \underset{n=0}{\overset{\infty}{\sum}}{u}_{n}\left(x,t\right)}$ which converged to the exact solution ${u}_{ex}={\text{e}}^{x+t}$ .

Table 3 shows the comparison between the absolute error of exact and approximate solutions for various values of t. Figure 5 and Figure 6 show the results for the exact solution and the approximate solution by application of Lesnic’s approach for $t=0.5,t=1.0$ .

Example 5

Consider the linear homogeneous heat equation

${u}_{t}={u}_{xx}+u,\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}t>0,$

with specified conditions $u\left(0,t\right)={\text{e}}^{\left(1-{\text{\pi}}^{2}\right)t},\text{\hspace{0.17em}}{u}_{x}\left(0,t\right)=0$ .

Rewriting the heat equation in the operator form a ${L}_{t}u={L}_{xx}u+u$ .

Applying the inverse operator ${L}_{xx}^{-1}$ defined by ${L}_{xx}^{-1}={\displaystyle {\int}_{0}^{x}\text{d}{x}^{\prime}}{\displaystyle {\int}_{1}^{{x}^{\prime}}\text{d}{x}^{\u2033}}$ , we get the recursive relations

${u}_{0}=u\left(0,t\right)+x\frac{\partial u\left(0,t\right)}{\partial x},$

${u}_{n+1}={L}_{xx}^{-1}{L}_{t}{u}_{n}-{L}_{xx}^{-1}{u}_{n},\text{\hspace{0.17em}}n\ge 0.$

So that

${u}_{0}={\text{e}}^{\left(1-{\text{\pi}}^{2}\right)t},$

${u}_{1}=\frac{1}{2}\left(\left(1-{\text{\pi}}^{2}\right){\text{e}}^{\left(1-{\text{\pi}}^{2}\right)t}-{\text{e}}^{\left(1-{\text{\pi}}^{2}\right)t}\right){x}^{2},$

${u}_{2}=\frac{1}{4}\left(\frac{1}{6}{\left(1-{\text{\pi}}^{2}\right)}^{2}{\text{e}}^{\left(1-{\text{\pi}}^{2}\right)t}-\frac{1}{3}\left(1-{\text{\pi}}^{2}\right){\text{e}}^{\left(1-{\text{\pi}}^{2}\right)t}+\frac{1}{6}{\text{e}}^{\left(1-{\text{\pi}}^{2}\right)t}\right){x}^{4},$

Continuing in a similar way ${u}_{3},{u}_{4},\cdots ,{u}_{n}$ are obtained for some n, then we get the approximate solution ${u}_{ap}={\displaystyle \underset{n=0}{\overset{\infty}{\sum}}{u}_{n}\left(x,t\right)}$ which converged to the exact solution ${u}_{ex}={\text{e}}^{\left(1-{\text{\pi}}^{2}\right)t}\mathrm{cos}\left(\text{\pi}x\right)$ .

Table 4 shows the comparison between the absolute error of exact and approximate solutions for various values of t. Figure 7 and Figure 8 show the results for the exact solution and the approximate solution by application of Lesni’s approach for $t=0.5,t=1.0$ .

Example 6

Consider the nonlinear inhomogeneous wave equation

${u}_{tt}-{u}_{xx}+{u}^{2}=2{x}^{2}-2{t}^{2}+{x}^{4}{t}^{4},\text{\hspace{0.17em}}\text{\hspace{0.17em}}t>0,$

with specified initial condition $u\left(x,0\right)=0,{u}_{t}\left(x,0\right)=0$ and the boundary conditions $u\left(0,t\right)=0,{u}_{x}\left(0,t\right)=0$ .

Rewriting the wave equation in the operator form as

${L}_{tt}u-{L}_{xx}u+{u}^{2}=2{x}^{2}-2{t}^{2}+{x}^{4}{t}^{4}.$

Table 3. Absolute errors of Lesnic’s approach at $t=0.5,t=1.0$ .

Table 4. Absolute errors of Lesnic’s approach at $t=0.5,t=1.0$ .

Figure 5. The exact solution and the approximate solution of Lesnic’s approach for ${\phi}_{3},{\phi}_{5},{\phi}_{10}$ at $t=0.5$ .

Figure 6. The exact solution and the approximate solution of Lesnic’s approach for ${\phi}_{3},{\phi}_{5},{\phi}_{10}$ at $t=1.0$ .

Figure 7. The exact solution and the approximate solution of Lesnic’s approach for ${\phi}_{3},{\phi}_{5},{\phi}_{10}$ at $t=0.5$ .

Figure 8. The exact solution and the approximate solution of Lesnic’s approach for ${\phi}_{3},{\phi}_{5},{\phi}_{10}$ at $t=1.0$ .

Firstly, we consider the t partial solution as

${L}_{tt}u={L}_{xx}u-{u}^{2}+2{x}^{2}-2{t}^{2}+{x}^{4}{t}^{4}.$

Applying the inverse operator ${L}_{tt}^{-1}$ defined by ${L}_{tt}^{-1}={\displaystyle {\int}_{0}^{t}{\displaystyle {\int}_{0}^{t}\text{d}t\text{d}t}}$ , gives the recursive relations

${u}_{0}=u\left(x,0\right)+t{u}_{t}\left(x,0\right)+{L}_{tt}^{-1}\left(2{x}^{2}-2{t}^{2}+{x}^{4}{t}^{4}\right),$

${u}_{n+1}={L}_{tt}^{-1}{L}_{xx}{u}_{n}-{L}_{tt}^{-1}{A}_{n},\text{\hspace{0.17em}}\text{\hspace{0.17em}}n\ge 0.$

So that

${u}_{0}=\frac{1}{30}{x}^{4}{t}^{6}-\frac{1}{6}{t}^{4}+{x}^{2}{t}^{2},$

$\begin{array}{c}{u}_{1}=\frac{11}{840}{x}^{2}{t}^{8}+\frac{1}{6}{t}^{4}-\frac{1}{163800}{x}^{8}{t}^{14}+\frac{1}{11880}{x}^{4}{t}^{12}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}-\frac{1}{10}\left(\frac{1}{135}{x}^{6}+\frac{1}{324}\right){t}^{10}-\frac{1}{30}{x}^{4}{t}^{6},\end{array}$

Secondly, we consider the x partial solution

${L}_{xx}u={L}_{tt}u+{u}^{2}-2{x}^{2}+2{t}^{2}-{x}^{4}{t}^{4}.$

Applying the inverse operator ${L}_{xx}^{-1}$ defined by ${L}_{xx}^{-1}={\displaystyle {\int}_{0}^{x}\text{d}{x}^{\prime}}{\displaystyle {\int}_{0}^{{x}^{\prime}}\text{d}{x}^{\u2033}}$ , gives the recursive relations

${u}_{0}=u\left(0,t\right)+x\frac{\partial u\left(0,t\right)}{\partial x}+{L}_{xx}^{-1}\left(-2{x}^{2}+2{t}^{2}-{x}^{4}{t}^{4}\right),$

${u}_{n+1}={L}_{xx}^{-1}{L}_{t}{u}_{n}-{L}_{xx}^{-1}{A}_{n},\text{\hspace{0.17em}}\text{\hspace{0.17em}}n\ge 0.$

So that

${u}_{0}=-\frac{1}{30}{t}^{4}{x}^{6}-\frac{1}{6}{x}^{4}+{x}^{2}{t}^{2},$

$\begin{array}{c}{u}_{1}=-\frac{11}{840}{t}^{2}{x}^{8}+\frac{1}{6}{x}^{4}+\frac{1}{163800}{t}^{8}{x}^{14}+\frac{1}{11880}{t}^{4}{x}^{12}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+\frac{1}{10}\left(\frac{-1}{135}{t}^{6}+\frac{1}{324}\right){x}^{10}+\frac{1}{30}{t}^{4}{x}^{6},\end{array}$

Next, we average the partial solutions, i.e. add two partial solutions and divide by two, so we obtain

${u}_{0}=\frac{1}{2}\left(\frac{1}{30}{x}^{4}{t}^{6}-\frac{1}{6}{t}^{4}+2{x}^{2}{t}^{2}-\frac{1}{30}{t}^{4}{x}^{6}-\frac{1}{6}{x}^{4}\right),$

$\begin{array}{c}{u}_{1}=\frac{1}{2}(\frac{11}{840}{x}^{2}{t}^{8}+\frac{1}{6}{t}^{4}-\frac{1}{163800}{x}^{8}{t}^{14}+\frac{1}{11880}{x}^{4}{t}^{12}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}-\frac{1}{10}\left(\frac{1}{135}{x}^{6}+\frac{1}{324}\right){t}^{10}-\frac{1}{30}{x}^{4}{t}^{6}-\frac{11}{840}{t}^{2}{x}^{8}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+\frac{1}{6}{x}^{4}+\frac{1}{163800}{t}^{8}{x}^{14}+\frac{1}{11880}{t}^{4}{x}^{12}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+\frac{1}{10}\left(\frac{-1}{135}{t}^{6}+\frac{1}{324}\right){x}^{10}+\frac{1}{30}{t}^{4}{x}^{6}),\end{array}$

Continuing in a similar way ${u}_{2},{u}_{3},\cdots ,{u}_{n}$ are obtained for some n, then we get the approximate solution ${u}_{ap}={\displaystyle \underset{n=0}{\overset{\infty}{\sum}}{u}_{n}\left(x,t\right)}$ which converged to the exact solution ${u}_{ex}={x}^{2}{t}^{2}$ .

Table 5 shows the comparison between the absolute error of exact and approximate solutions for various values of t. Figure 9 and Figure 10 show the

Table 5. Absolute errors of Lesnic’s approach at $t=0.5,t=1.0$ .

Figure 9. The exact solution and the approximate solution of Lesnic’s approach for ${\phi}_{3},{\phi}_{5},{\phi}_{10}$ at $t=0.5$ .

Figure 10. The exact solution and the approximate solution of Lesnic’s approach for ${\phi}_{3},{\phi}_{5},{\phi}_{10}$ at $t=1.0$ .

results for the exact solution and the approximate solution by application of Lesnic’s approach for $t=0.5\text{\hspace{0.17em}},\text{\hspace{0.17em}}t=\mathrm{1.0.}$

Example 7

Consider the nonlinear inhomogeneous heat equation

${u}_{t}={u}_{xx}+{u}^{2}-u-{t}^{2}{\text{e}}^{2x}+{\text{e}}^{x},\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}t>0,$

with specified conditions $u\left(x,0\right)=0,u\left(0,t\right)=t,{u}_{x}\left(0,t\right)=t$ . Rewriting the heat equation in the operator form as

${L}_{t}u={L}_{xx}u+{u}^{2}-u-{t}^{2}{\text{e}}^{2x}+{\text{e}}^{x}.$

Applying the inverse operator ${L}_{xx}^{-1}$ defined by ${L}_{xx}^{-1}={\displaystyle {\int}_{0}^{x}\text{d}{x}^{\prime}}{\displaystyle {\int}_{0}^{{x}^{\prime}}\text{d}{x}^{\u2033}}$ , we get the recursive relations

${u}_{0}=u\left(0,t\right)+x\frac{\partial u\left(0,t\right)}{\partial x}+{L}_{xx}^{-1}\left({t}^{2}{\text{e}}^{2x}-{\text{e}}^{x}\right),$

${u}_{n+1}={L}_{xx}^{-1}{L}_{t}{u}_{n}+{L}_{xx}^{-1}{u}_{n}-{L}_{xx}^{-1}{A}_{n},\text{\hspace{0.17em}}\text{\hspace{0.17em}}n\ge 0.$

So that

${u}_{0}=t+xt+1-\frac{1}{4}{t}^{2}-\frac{1}{2}{t}^{2}x+x+\frac{1}{4}{t}^{2}{\text{e}}^{2x}-{\text{e}}^{x},$

We set ${u}_{0}=f$ then we divide it into two parts, so that

${u}_{0}={f}_{1}=t+xt,$

$\begin{array}{c}{u}_{1}={f}_{2}+{L}_{xx}^{-1}{L}_{t}{u}_{0}+{L}_{xx}^{-1}{u}_{0}-{L}_{xx}^{-1}{A}_{0}\\ =\left(1-\frac{1}{4}{t}^{2}-\frac{1}{2}{t}^{2}x+x+\frac{1}{4}{t}^{2}{\text{e}}^{2x}-{\text{e}}^{x}\right)+\frac{1}{6}{x}^{3}+\frac{1}{2}{x}^{2}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}-\frac{1}{12}{t}^{2}{x}^{4}-\frac{1}{3}{t}^{2}{x}^{3}-\frac{1}{2}{t}^{2}{x}^{2}+\frac{1}{6}t{x}^{3}+\frac{1}{2}t{x}^{2},\end{array}$

Continuing in a similar way ${u}_{2},{u}_{3},\cdots ,{u}_{n}$ are obtained for some n, then we get the approximate solution ${u}_{ap}={\displaystyle \underset{n=0}{\overset{\infty}{\sum}}{u}_{n}\left(x,t\right)}$ which converged to the exact solution ${u}_{ex}=t{\text{e}}^{x}$ .

Table 6 shows the comparison between the absolute error of exact and approximate solutions Lesnic’s approach and modified of Lesnic’s approach for various values of t. Figure 11 and Figure 12 show the results for the exact solution and the approximate solution by application of Lesnic’s approach and modified of Lesnic’s Approach for $t=0.5$ .

5. Conclusion

The main goal of this paper is the development of an efficient and accurate method to solve linear and nonlinear initial-boundary value problems with mixed boundary conditions. The method developed provides the solution in the form of rapidly convergent series relative to the Adomian decomposition method. It also introduces a slight change in the formulation of Adomian recursive relation. The method presented is applied to several examples of boundary-value problems and initial boundary-value problems with mixed type boundary conditions.

Table 6. Absolute errors of Lesnic’s approach and modified of Lesnic’s Approach at $t=0.5$ .

Figure 11. The exact solution and the approximate solution of Lesnic’s approach for ${\phi}_{3},{\phi}_{5},{\phi}_{10}$ at $t=0.5$ .

Figure 12. The exact solution and the approximate solution of Modified of Lesnic’s approach for ${\phi}_{3},{\phi}_{5},{\phi}_{10}$ at $t=0.5$ .

The accuracy and computational efficiency of the proposed method are verified by numerical examples. Thus, the method is highly recommended for varieties of mixed boundary value problems.

References

[1] Carslaw, H.S. and Jaeger, J.C. (1948) Conduction of Heat in Solids. Clarendon Press, Oxford.

[2] Carrier, G.F., Krook, M. and Pearson, C.E. (1966) Functions of a Complex Variable. McGraw-Hill, New York.

[3] Courant, R. and Hilbert, D. (1953) Methods of Mathematical Physics. Vol. 1, Interscience Publishers Inc., New York.

[4] Sneddon, I.N. (1966) Mixed Boundary Value Problems in Potential Theory. Wiley, New York.

[5] Tranter, C.J. (1951) Integral Transforms in Mathematical Physics. Wiley, New York.

[6] Fabrikant, V.I. (1991) Mixed Boundary Value Problems of Potential Theory and their Applications in Engineering. Kluwer, Boston.

[7] Sherwood, J.D. and Stone, H.A. (2001) Leakage through Filtercake into a Fluid Sampling Probe. Physics of Fluids, 13, 1151-1159.

https://doi.org/10.1063/1.1360712

[8] Warrick, A.W., Broadbridge, P. and Lomen, D.O. (1992) Approximations for Diffusion from a Disc Source. Applied Mathematical Modelling, 16, 155-161.

https://doi.org/10.1016/0307-904X(92)90067-D

[9] He, J.H. (2008) An Elementary Introduction to the Homotopy Perturbation Method. Computers & Mathematics with Applications, 57, 410-412.

https://doi.org/10.1016/j.camwa.2008.06.003

[10] Wazwaz, A.M. (2006) The Modified Decomposition Method for Analytic Treatment of Differential Equations. Applied Mathematics and Computation, 173, 165-176.

https://doi.org/10.1016/j.amc.2005.02.048

[11] Duan, J.S. and Rach, R. (2011) A New Modification of the Adomian Decomposition Method for Solving Boundary Value Problems for Higher Order Nonlinear Differential Equations. Applied Mathematics and Computation, 218, 4090-4118.

https://doi.org/10.1016/j.amc.2011.09.037

[12] Adomian, G. and Rach, R. (1983) Inversion of Nonlinear Stochastic Operators. Journal of Mathematical Analysis and Applications, 91, 39-46.

https://doi.org/10.1016/0022-247X(83)90090-2

[13] Adomian, G. (1986) Nonlinear Stochastic Operator Equations. Academic, Orlando.

[14] Adomian, G. (1989) Nonlinear Stochastic Systems Theory and Applications to Physics. Kluwer Academic, Dordrecht.

https://doi.org/10.1007/978-94-009-2569-4

[15] Adomian, G., Rach, R. and Meyers, R. (1991) An Efficient Methodology for the Physical Sciences. Kybernetes, 20, 24-34.

https://doi.org/10.1108/eb005909

[16] Adomian, G. and Rach, R. (1993) Analytic Solution of Nonlinear Boundary Value Problems in Several Dimensions by Decomposition. Journal of Mathematical Analysis and Applications, 174, 118-137.

https://doi.org/10.1006/jmaa.1993.1105

[17] Adomian, G. and Rach, R. (1993) A New Algorithm for Matching Boundary Conditions in Decomposition Solutions. Applied Mathematics and Computation, 57, 61-68.

https://doi.org/10.1016/0096-3003(93)90012-4

[18] Adomian, G. and Rach, R. (1994) Modified Decomposition Solution of Linear and Nonlinear Boundary-Value Problems. Nonlinear Analysis, 23, 615-619.

https://doi.org/10.1016/0362-546X(94)90240-2

[19] Adomian, G. (1994) Solving Frontier Problems of Physics: The Decomposition Method. Kluwer Academic, Dordrecht.

https://doi.org/10.1007/978-94-015-8289-6

[20] Wazwaz, A.M. (2000) Approximate Solutions to Boundary Value Problems of Higher Order by the Modified Decomposition Method. Computers & Mathematics with Applications, 40, 679-691.

https://doi.org/10.1016/S0898-1221(00)00187-5

[21] Wazwaz, A.M. (2000) The Modified Adomian Decomposition Method for Solving Linear and Nonlinear Boundary Value Problems of 10th-Order and 12th-Order. International Journal of Nonlinear Sciences and Numerical Simulation, 1, 17-24.

https://doi.org/10.1515/IJNSNS.2000.1.1.17

[22] Wazwaz, A.M. (2001) A Reliable Algorithm for Obtaining Positive Solutions for Nonlinear Boundary Value Problems. Computers & Mathematics with Applications, 41, 1237-1244.

https://doi.org/10.1016/S0898-1221(01)00094-3

[23] Wazwaz, A.M. (2001) The Numerical Solution of Fifth-Order Boundary Value Problems by the Decomposition Method. Journal of Computational and Applied Mathematics, 136, 259-270.

https://doi.org/10.1016/S0377-0427(00)00618-X

[24] Wazwaz, A.M. (2001) The Numerical Solution of Sixth-Order Boundary Value Problems by the Modified Decomposition Method. Applied Mathematics and Computation, 118, 311-325.

https://doi.org/10.1016/S0096-3003(99)00224-6

[25] Wazwaz, A.M. (2001) A Reliable Algorithm for Solving Boundary Value Problems for Higher-Order Integro-Differential Equations. Applied Mathematics and Computation, 118, 327-342.

https://doi.org/10.1016/S0096-3003(99)00225-8

[26] Wazwaz, A.M. (2002) The Numerical Solution of Special Fourth-Order Boundary Value Problems by the Modified Decomposition Method. International Journal of Computer Mathematics, 79, 345-356.

https://doi.org/10.1080/00207160211928

[27] Jang, B. (2008) Two-Point Boundary Value Problems by the Extended Adomian Decomposition Method. Journal of Computational and Applied Mathematics, 219, 253-262.

https://doi.org/10.1016/j.cam.2007.07.036

[28] Ebaid, A.E. (2010) Exact Solutions for a Class of Nonlinear Singular Two-Point Boundary Value Problems: The Decomposition Method. Zeitschrift für Naturforschung, 65a, 1-6.

https://doi.org/10.1515/zna-2010-0301

[29] Adomian, G. (1986) A New Approach to the Heat Equation—An Application of the Decomposition Method. Journal of Mathematical Analysis and Applications, 113, 202-209.

https://doi.org/10.1016/0022-247X(86)90344-6

[30] Lesnic, D. and Elliott, L. (1999) The Decomposition Approach to Inverse Heat Conduction. Journal of Mathematical Analysis and Applications, 232, 82-98.

https://doi.org/10.1006/jmaa.1998.6243

[31] Wazwaz, A.M. (1999) A Reliable Modification of Adomian’s Decomposition Method. Applied Mathematics and Computation, 102, 77-86.

https://doi.org/10.1016/S0096-3003(98)10024-3

[32] Lesnic, D. (2001) A Computational Algebraic Investigation of the Decomposition Method for Time-Dependent Problems. Applied Mathematics and Computation, 119, 197-206.

https://doi.org/10.1016/S0096-3003(99)00257-X