Numerical Treatment of Initial-Boundary Value Problems with Mixed Boundary Conditions ()
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
operator and the other inverting the
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
to solve the
linear homogeneous heat equation
subject to the mixed boundary conditions
,
, where
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
(2.1)
where
and
are the linear operators to be inverted, which are usually the highest order differential operators in x, and t respectively;
, R is the linear remainder operator;
is a nonlinear operator which is assumed to be analytic function, and
is the input function that is assumed to be continuous function. The solutions for
obtained from the operator equations
in x-direction and
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:
(2.2)
subject to the mixed boundary conditions
(2.3)
where,
. We consider the x partial solution as
(2.4)
Applying the two-fold indefinite integration inverse operator
to both sides of Equation (2.4), gives
(2.5)
where
and the constants of integrations
and
, are determined from the boundary conditions. We now decompose the following
, the linear and nonlinear terms u and Nu based on ADM as follows:
(2.6)
where
’s are the Adomian polynomials determined from the definitional formula
(2.7)
Substituting Equation (2.6) into Equation (2.5), yields the following recursion scheme
(2.8)
The n-term approximation of the solution is
for
.
Thus,
, etc., and all
‘s must satisfy the boundary conditions.
The first approximate
, where the values
and
can be evaluated by using the boundary conditions in Equation (2.2)
which results in
Thus
is now determined. Since
and
are now completely known, we form the next term
, then
, and we continue in the same manner to obtain
for some
. Substituting all these values in
, 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
operator and the other inverting the
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
(2.9)
where
are known functions.
Firstly, we consider the t partial solution as
(2.10)
Applying the inverse operator
defined by
to both sides of Equation (2.10) and using the initial conditions, gives
(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
(2.12)
Substituting Equation (2.6) into Equation (2.12), yields the following recursion scheme
(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
with specified conditions
.
Rewriting the heat equation in the operator form as
.
Applying the inverse operator
defined by
, gives
This introduces the recursive relations
The first approximant is
. Applying the x conditions to
, it is clear that
and
. Thus, if the one-term approximant
were sufficient, the solution would be
, The next term is
Then
is given by
Applying the condition at
, we have
. From the condition on x at 1, we get
, thus
Continuing in a similar way
are obtained for some n, then we get the approximate solution
which converged to the exact solution
.
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
and
, respectively.
Table 1. Absolute errors using ADM at
and
.
Figure 1. The exact solution and the approximate solution using ADM for
at
and
.
Figure 2. The exact solution and the approximate solution using ADM for
at
and
.
Example 2
Consider the nonlinear inhomogeneous wave equation
with specified initial conditions
, and the boundary conditions
. Rewriting the wave equation in the operator form as
To solve initial-boundary value problem, firstly, we consider the t partial solution as
.
Applying the inverse operator
defined by
, gives
.
This introduces the recursive relations
where the nonlinear term
can be expressed by an infinite series of the Adomian polynomials
given by:
So that first two terms are
Secondly, we consider the x partial solution
.
Applying the inverse operator
defined by
, gives
This gives the recursive relations
So that
The first approximant is
. Applying the x conditions to
it is clear that
and
. Thus, if the one-term approximant
were
sufficient, the solution would be
. The next term is
Then
is given by:
Applying the condition at
, we have
. From the condition on x at 0, we get
, thus
Next, we average the partial solutions, i.e. add two partial solutions and divide by two, so we obtain
Continuing in a similar way
are obtained for some n, then we get the approximate solution
which is converge to the exact solution
.
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
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
and
.
Figure 3. The exact solution and the approximate solution using ADM for
at
.
Figure 4. The exact solution and the approximate solution using ADM for
at
.
term u0 can be set as function f and divided it into two parts, namely f1 and f2. Under this assumption, we set
. Also, based on this, we propose a slight variation only on the components u0 and u1, the variation is that only the part f1 is assigned to the zeroth component u0, whereas the remaining part f2 is combined with the other terms to define u1. This reduction in the number of terms of u0 will result in reduction of the computational work and will accelerate the convergence. Further, this slight variation in the definition of the components u0 and u1 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 f1 and f2. We have been unable to establish any criterion to judge what forms of f1 and f2 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)
We can set
, then we divide it into two parts, so that we formulate the modified recursive algorithm as follows:
(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 u0 was defined by only a part f1 of f, the remaining part f2 of f is added to the definition of the component u1 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
Then we divide it into two parts, so that we formulate the modified recursive algorithm as follows:
(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 u0 is defined only by a part f1 of f, the remaining part f2 of f is added to the definition of the component u1 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
with specified conditions
.
Rewriting the heat equation in the operator form as
Applying the inverse operator
defined by
, we get
This gives the recursive relations
So that
The first approximant is
Applying the x conditions to
it is clear that
and
. Thus, if the one-term approximant
were
sufficient, the “solution” will be
. We set
,
then we divide it into two parts, so that
Then
is given by:
Applying the condition at
, we have
. From the condition on x at 0, we get
, thus
, and
. Thus, the approximate solution is
, 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
and as definite integrals given by
(4.1)
to solve the linear homogeneous heat equation
, subject to the mixed boundary conditions
.
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
defined by
to both sides of Equation (2.4), gives
(4.2)
i.e. the boundary conditions can be used directly to solve the boundary value problem in x-direction.
Substituting
, and
into Equation (4.2), gives
This yields the recursive relations
(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
(4.4)
Substituting
, and
into Equation (4.3), gives
so that the recurrence relations are
(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
with specified conditions
.
Rewriting the heat equation in the operator form as
. Applying the
inverse operator
defined by
, we get the recursive relations
So that
Continuing in a similar way
are obtained for some n, then we get the approximate solution
which converged to the exact solution
.
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
.
Example 5
Consider the linear homogeneous heat equation
with specified conditions
.
Rewriting the heat equation in the operator form a
.
Applying the inverse operator
defined by
, we get the recursive relations
So that
Continuing in a similar way
are obtained for some n, then we get the approximate solution
which converged to the exact solution
.
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
.
Example 6
Consider the nonlinear inhomogeneous wave equation
with specified initial condition
and the boundary conditions
.
Rewriting the wave equation in the operator form as
Table 3. Absolute errors of Lesnic’s approach at
.
Table 4. Absolute errors of Lesnic’s approach at
.
Figure 5. The exact solution and the approximate solution of Lesnic’s approach for
at
.
Figure 6. The exact solution and the approximate solution of Lesnic’s approach for
at
.
Figure 7. The exact solution and the approximate solution of Lesnic’s approach for
at
.
Figure 8. The exact solution and the approximate solution of Lesnic’s approach for
at
.
Firstly, we consider the t partial solution as
Applying the inverse operator
defined by
, gives the recursive relations
So that
Secondly, we consider the x partial solution
Applying the inverse operator
defined by
, gives the recursive relations
So that
Next, we average the partial solutions, i.e. add two partial solutions and divide by two, so we obtain
Continuing in a similar way
are obtained for some n, then we get the approximate solution
which converged to the exact solution
.
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
.
Figure 9. The exact solution and the approximate solution of Lesnic’s approach for
at
.
Figure 10. The exact solution and the approximate solution of Lesnic’s approach for
at
.
results for the exact solution and the approximate solution by application of Lesnic’s approach for
Example 7
Consider the nonlinear inhomogeneous heat equation
with specified conditions
. Rewriting the heat equation in the operator form as
Applying the inverse operator
defined by
, we get the recursive relations
So that
We set
then we divide it into two parts, so that
Continuing in a similar way
are obtained for some n, then we get the approximate solution
which converged to the exact solution
.
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
.
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
.
Figure 11. The exact solution and the approximate solution of Lesnic’s approach for
at
.
Figure 12. The exact solution and the approximate solution of Modified of Lesnic’s approach for
at
.
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.