Abstract
A new algorithm based on the standard optimal homotopy asymptotic method, namely, the predictor optimal homotopy asymptotic method (POHAM), is proposed to predict the multiplicity of the solutions of nonlinear differential equations with boundary conditions. This approach is successfully implemented to obtain multiple solutions of a mixed convection flow model in a vertical channel and a nonlinear model arising in heat transfer. A new technique for obtaining the initial guess to accelerate the convergence of the series solution is presented.
1. Introduction
The study of the existence of multiple solutions for nonlinear differential equations has drawn a lot of attention in the last few years [1, 2]. Multiple solution for nonlinear boundary value problems via homotopy analysis method was investigated by several papers, for example, Liao [3, 4], Li and Liao [5], Xu and Liao [6]. Moreover, Abbasbandy and Shivanian [7] presented a kind of analytical method, namely, predictor homotopy analysis method (PHAM) to predict the multiplicity of the solutions of nonlinear differential equations with boundary conditions. Also, Alomari et al. [8] used the PHAM to find the multiple solutions of fractional boundary value problem (FBVP).
In the last few years, optimal homotopy asymptotic method (OHAM) has been introduced and developed by Marinca and Herişanu [9–12] and has been applied successfully to many strongly nonlinear problems [13–16]. Iqbal et al. [17] obtained OHAM solutions to linear and nonlinear Klein-Gordan equations, Anakira et al. [18] used OHAM for solving singular two-point boundary value problems, and Alomari et al. [19] employed OHAM to obtain approximate solution of nonlinear system of boundary value problems arising in fluid flow problems. Moreover, Idrees et al. [20, 21] and Mabood et al. [22, 23] have applied OHAM effectively to different higher-order boundary values problems.
The main aim of this paper is to present a type of analytical method, namely, the predictor optimal homotopy asymptotic method (POHAM), to predict the multiplicity of the solutions of the nonlinear differential equations with boundary conditions by using one auxiliary linear operator, one auxiliary function, and one initial guess. This paper is composed as follows. In Section 2, the structure of POHAM is formulated for finding multiple solutions of nonlinear differential equations. In Section 3, we present two numerical examples, and finally, we give the conclusion of this study in Section 4.
2. The Predictor Optimal Homotopy Asymptotic Method (POHAM)
Consider the following differential equation:
with boundary conditions:
where L is the linear operator, N is the linear or nonlinear operator, g(x) is a known function, B is a boundary operator, and Γ is the boundary of the domain Ω. The key step of POHAM depends on the fact that the boundary value problem (1) and (2) should be transcribed to an equivalent problem so that the boundary condition (2) involves an unknown parameter, the so-called prescribed parameter δ, and is decomposed into
where y(α) = β is the forcing condition that resulted from the original condition (2) and B′ is the remaining boundary operator that contains the prescribed parameter δ. As it will be noticed, the parameter δ with the help of convergence controller parameter C i 's will play a significant role to realize the multiplicity of solutions. Now, we construct the POHAM on (1) and (3). By using a homotopy map h(v(x,δ;q);q):Ω × [0, 1]→R which satisfies
where x∈R, q∈[0, 1] is an embedding parameter, H(q) is a nonzero auxiliary function for q≠0, H(0) = 0, and v(x,δ;q) is an unknown function. Obviously, when q = 0 and q = 1, it holds that v(x,δ;0) = y0(x;δ) and v(x,δ;1) = y(x), respectively. Thus, as q varies from 0 to 1, the solution v(x,δ;q) approaches from y0(x;δ) to y(x), where y0(x;δ) is the initial guess that satisfies the linear operator and the boundary conditions:
Next, we choose the auxiliary function H(q) in the form
where C1,C2,C3,… are constants which will be determined later. To obtain an approximate solution, we expand v(x,δ;q) in Taylor's series about q in the following manner:
Substituting (7) into (4) and equating the coefficient of like powers of p, we obtain the following linear equations, by defining the vector
The general governing equations for y k (x,δ) are
where k = 2, 3,… and
The convergence of the series (7) depends upon the auxiliary convergent control parameters C1,C2,C3,…. If it is convergent at q = 1, then
Thus the mth-order solution is given by
Substituting (12) into (1) yields the following residual:
If R = 0, then
where a and b are two values, depending on the problem. The unknown convergent control parameters C i (i = 1, 2, 3,…, m) and the so-called prescribed parameter δ can be identified from the conditions
With those known convergent control parameters, the approximate solution (of order m) is determined. Note that the force condition plays a significant role to determine the multiple solutions.
3. Applications
In this section, we will present two examples to demonstrate the effectiveness and high precision of present method.
3.1. Example 1
The first example comes from a mixed convection flow problem in a vertical channel studied by Barletta et al. [24]. The two walls are assumed to be isothermal. Furthermore, the effect of viscous dissipation is taken into account and the Boussinesq approximation is adopted. By employing appropriate dimensionless quantities, the governing equations were reduced to the following nonlinear fourth-order ordinary differential equation for the dimensionless velocity field (cf. [7, 24])
subject to the boundary conditions
where y is the dimensionless velocity, x is the transversal coordinate, and E is a constant. In the case E = 0, (17) and (18) are easily solved and admit a unique solution
It was shown by perturbation method and a numerical method that (17) and (18) admit multiple solutions to any given E in the interval (–∞, 0)∪(0,E max ) where E max = 228.128 (cf. [24, 25]).
To find out the multiple solutions, we consider (17) and (18) and suppose that y″(0) = δ, where δ is a prescribed parameter that plays an important role in recognizing the multiplicity of solutions, so that the problem becomes
subject to the boundary conditions
with additional force condition
According to POHAM, we chose the linear and nonlinear operator as follows, respectively:
Under the rule of the solution expression and according to conditions (21) it is easy to choose
as initial guess. The first-order problem is obtained from (8) as follows:
From (9) the second-order problem is defined as
By using (10) for k = 3 and k = 4, the third- and fourth-order problems are given, respectively, as follows:
Substituting the solution of (25)–(27) into (13) yields the fourth-order approximate solutions (m = 4) for (20) and (21):
Substituting the fourth-order approximate solution (28) into (14) yields the residual error and the functional J, respectively:
with the additional force condition
Now, to be specific, we consider two cases consisting of E = 20 and E = −20, with a prescribed parameter δ as a function of the convergence controller parameter. From conditions (16), the values of the convergent control parameters C i 's are obtained based on the values of the prescribed parameter δ as presented in Table 1. We plot the multiple (dual) solutions in Figure 1. It is worth to mention here that Figure 1(a) indicates the existence of two solutions for E = 20 so that u″(0) = −3.08411 for the first branch of the solution and u″(0) = −161.726 for the second branch of the solution. The same procedure was done for case E = −20, as we can see in Figure 1(b). It is obviouse that the results being obtained by using fourth terms POHAM approximate solution is to an extent identical compared with the 25th terms PHAM approximate solution [7]. This means that the POHAM solution reveals very good agreement with PHAM solution in few terms which prove the validity and the efficiency of our procedure in solving strongly nonlinear problems.
Values of C i 's corresponding to the prescribed parameter δ for Example 1.

3.2. Example 2
Our second example comes from the heat conduction problem for a fin with heat transfer coefficient varying as a power-law function of temperature considered by Chang [26]. The rate of heat transfer on a solid surface can be enhanced by fins. In the mathematical modelling, Chang [26] considered a straight fin of finite length and uniform cross-section area. The fin surface is exposed to a prescribed ambient temperature. The dimensionless equation for the one-dimensional steady state heat conduction is given as (cf. [7, 26])
subject to the boundary conditions
where N is the convective-conductive parameter. It was shown that the problem (31) and (32), when −4 ≤ n ≤ −2, either admit multiple solutions or does not admit any solution for a given convective-conductive parameter N [27]. In particular, suppose that N = 2/5 and n = −4; then (31) is converted into
subject to the boundary conditions
where δ is the temperature of the fin tip and is determined by the rule of multiplicity of the solutions. With the additional force condition
The exact multiple (dual) solutions of this problem are given by
where y(0) = λ is represented by two values: λ = 0.4472135954 for the first branch of the solution and λ = 0.8944271909 for the second branch of the solution. The linear operator can be defined as
It is straightforward to choose
as the initial guess. The first four order problems are as follows.
First-order problem given by (8):
Second-order problem given by (9):
Third-order problem obtained from (10) for k = 3:
Fourth-order problem obtained from (10) for k = 4:
The fourth-order POHAM approximate analytical solution obtained by substituting the solutions of (39)–(42) into (13) for m = 4:
Using (43) into (14) yields the residual error and the functional J, respectively:
with the additional force condition
The optimal values of the convergent control parameters C i 's obtained from conditions (16) corresponding to the values of the prescribed parameters δ1 = 0.44721 and δ2 = 0.89442 are as shown in Table 2. Obviously, multiple (dual) solutions exist and are plotted in Figure 2. It is wroth to mention here that Figure 2 indicates existence of two solutions: y(0) = 0.44721 for the first branch of the solution and y(0) = 0.89442 for the second branch of the solution.
The values of C i 's corresponding to the prescribed parameter δ for Example 2.

Comparison between the fourth-order POHAM approximate solutions and the exact multiple (dual) solutions (36) for Example 2.
We notice that POHAM does not yield good agreement with the exact solutions for both cases shown in Figure 2. To improve the accuracy we can use a new initial guess. We use the standard homotopy analysis method (HAM) for two terms and employ the Least Squares method to define the optimal values of
With this new initial guess and taking only three terms in POHAM series solution we obtain δ1 = 0.44721 and δ2 = 0.89442 as shown in Table 3. Figure 3 demonstrates the good accuracy of the POHAM multiple solutions. In this regard, it is very important to notify that this result is obtained by using three terms POHAM approximate solution compared with 40th terms PHAM approximate solution [7]. This implies that this method could be useful and effective in solving nonlinear differential equations and it can converge to the exact solution in few terms.
The values of C i 's corresponding to the new initial guess and the prescribed parameter δ for Example 2.

Comparison between the third-order POHAM approximate solutions and the exact multiple (dual) solutions (36) for Example 2.
4. Conclusions
In this work, a new algorithm called the predictor optimal homotopy asymptotic method (POHAM) is employed to find approximate solutions of nonlinear differential equations. POHAM has been shown to be a reliable method for obtaining multiple (dual) solutions of nonlinear differential equations which arise in fluid mechanics. General framework for the multiple solutions is given without any need to perturbation methods, special discretization, or transformation. The validity and applicability of this procedure is independent whether there exists a small parameter in the governing equations or not.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
