 Research
 Open access
 Published:
New approximation methods for solving elliptic boundary value problems via PicardMann iterative processes with mixed errors
Boundary Value Problems volume 2017, Article number: 184 (2017)
Abstract
In this paper, we introduce and study a class of new PicardMann iterative methods with mixed errors for common fixed points of two different nonexpansive and contraction operators. We also give convergence and stability analysis of the new PicardMann iterative approximation and propose numerical examples to show that the new PicardMann iteration converges more effectively than the Picard iterative process, Mann iterative process, PicardMann iterative process due to Khan and other related iterative processes. Furthermore, as an application, we explore iterative approximation of solutions for an elliptic boundary value problem in Hilbert spaces by using the new PicardMann iterative methods with mixed errors for contraction operators.
1 Introduction
In order to find a weak solution of the following elliptic boundary value problem (socalled Dirichlet problem):
where \(\Omega\subset\mathbb{R}^{n}\) is a bounded domain, \(f: \Omega \times\mathbb{R}\rightarrow\mathbb{R}\) is a Carathéodory function, Ayadi et al. [1] proved a new global minimization theorem in Hilbert spaces by using the notion of a nonexpansive potential operator. As we all know, multidimensional dynamical systems are frequently formulated by partial differential equations, which generally depend on space and time, i.e., parabolic or evolutionary type equations, and are treated with emphasis on various realworld applications in (thermo)mechanics of solids and fluids, electrical devices, engineering, chemistry, biology, etc. (see [2, 3]). But under some suitable conditions, the timedependent form of partial differential equations can be rewritten as a timeindependent form (see [4, Example 4, p. 161]), and some special cases of the Dirichlet problem (1.1) represent elliptic variational forms of second order physician, physicist and anatomist equation (see [2, 5]). Thus, the nonlinear elliptic problem (1.1) has been studied via fixed point index theory, critical point theory, Morse theory, variational inequality theory and so on. See, for example, [4, 5] and the references therein. The boundary value problem is widely used in physics. In 1997, Marin [6] established necessary and sufficient conditions for the existence and uniqueness of the weak solution to the mixed boundary value problem in the domain of dipolar bodies with voids. Later, Marin and Vlase [7] showed that the existence of internal state variables has no effect on the uniqueness of the solution associated with the mixed initial boundary value problem in thermoelasticity of microstretch bodies (see [7, Theorems 13, p. 248]), the proof of the uniqueness of the solution and some useful estimations are also contained.
In particular, many problems in physics and other applications cannot be formulated as equations but have some more complicated structure, and usually the socalled complementarity problem, which is equivalent to a variational inequality. Further, the applicability of variational inequality theory, which was initially developed to cope with equilibrium problems (e.g., the Signorini problem, which was first posed by Antonio Signorini in 1959), has been extended to involve problems in economics, finance, electrodynamics, mechanics, engineering science, optimization and game theory. Hence, the variational method is very important in optimal control theory, and such generalization is often needed in optimalcontrol theory of elliptic problems. In fact, optimal control problems in control theory are searching for a kind of control mode which can transform the initial state of the control object to the terminal state and make sure that the objective function can reach the maximum or minimum. For more details on variational inequalities in the context of their optimal control, one can refer to [2–5] and the references therein, and the following examples.
Example 1.1
([8])
Consider the following optimal boundary control problem of elliptic equation constraints:
where state variable \(y(u)\in V=H^{1}(\Omega)\), state space, and control variable \(u\in U=L^{2} (\partial\Omega)\), control space, satisfy
where \(\Omega\subset\mathbb{R}^{2}\) is a bounded convex region with smooth boundary ∂Ω, \(\Gamma_{N}\) and \(\Gamma_{D}\) are respectively Neumann boundary and Dirichlet boundary, \(\partial\Omega =\Gamma_{N}\cup\Gamma_{D}\), \(\Gamma_{N}\cap\Gamma_{D}=\emptyset \), \(\overrightarrow{n}\) is the unit normal vector of ∂Ω, f, g and \(y_{d}\) are given functions.
Define the objective function in (1.2) by
where \(y_{0}(x)\) is a given target state variable, \(\gamma, \alpha>0\) are two constants, which play a role of balance to the state variable y and the control variable u. By optimal control theory [9] and the definition of directional derivative for functional, now we know that solving the optimal problem (1.2) on a convex set U is equivalent to finding the control variable \(u\in U\) such that the following variational inequality holds:
where p is the dual state variable of y and satisfies the following state equation:
which is the dual problem of (1.3). Inequality (1.5) is called optimality condition for the optimal control problems (1.2) and (1.3), which is equivalent to the equation system composed of (1.3), (1.5) and (1.6).
Based on the above analysis of dualization and optimality condition for the optimal control problems (1.2) and (1.3), Liu and Sun [8] introduced and studied an iterative nonoverlapping domain decomposition method for (1.3)(1.6) and proved convergence of the sequence generated by the iterative method. Furthermore, by using an iterative algorithm due to the penalized gradient projection method, adaptive finite element method, edge stabilization Galerkin method, variational iteration method, etc., such kind of problems as (1.2) or (1.3) were considered by many authors and researchers. See, for example, [9–16] and the references therein. Especially noteworthy, Zhou and Li [17] pointed out ‘though much achievement has been achieved, application of the variational iteration method to Cauchy problems has not yet been dealt with’.
On the other hand, in order to compare to Picard, Mann and Ishikawa iterations for approximating fixed points and to solve equation systems, Khan [18] introduced and studied a PicardMann hybrid iterative process and showed that the PicardMann hybrid iterative process converges faster than all of Picard, Mann and Ishikawa iterative processes for contractions. Following on the works of Khan [18], by using an uptodate method for approximating common fixed points of countable families of nonlinear operators, Deng [19] introduced a modified PicardMann hybrid iterative algorithm for a sequence of nonexpansive mappings and established strong convergence and weak convergence of the iterative sequence generated by the modified hybrid iterative algorithm in a convex Banach space. Okeke and Abbas [20] introduced and studied PicardKrasnoselskii hybrid iterations, which converge faster than Picard, and gave an application to delay differential equations Mann, Krasnoselskii and Ishikawa iterative processes for contractive nonlinear operators. However, one can know that the PicardKrasnoselskii hybrid iteration is a special case of the PicardMann hybrid iterative process due to Khan [18], it is because \(\alpha_{n}\in(0,1)\) of (1.4) in [18] includes \(\lambda\in(0,1)\) in (1.7) of [20] (see [20, Example 2.2, p. 25]). Jiang et al. [21] proved convergence of Mann iterative sequences for approximating solutions of a higher order nonlinear neutral delay differential equation and proposed advantages of the presented results through three extraordinary examples. However, how to establish the error estimates between the approximate solutions and the exact solutions for partial differential equations is not reported in the literature.
Moreover, Roussel [22] pointed out that equilibria are not always stable. Since stable and unstable equilibria play quite different roles in the dynamics of a system, it is useful to be able to classify equilibrium points based on their stability. Thus, there are many scholars and researchers who have discussed stability of the iterative sequence generated by the algorithm for solving the investigated problems. See, for example, [23–27] and the references therein. Especially, stimulated by the work of Bosede and Rhoades [28], Akewe and Okeke [27] obtained stability results for the PicardMann hybrid iterative scheme due to Khan [18] for a general class of contractivelike operators introduced by Bosede and Rhoades [28]. However, how does one obtain stability analysis when the PicardMann hybrid iterative scheme due to Khan [18] is generalized for two different nonexpansive and contraction operators and one involves errors or mixed errors? This is a significant and challenging research work.
Motivated and inspired by the above works, we aim in this paper to introduce and study a class of new PicardMann iterative methods with mixed errors for common fixed points of two different nonexpansive and contraction operators. Then convergence and stability analysis of the new PicardMann iterative approximation are given. Finally, two numerical examples to verify effectiveness of the new PicardMann iteration are presented, and a new iterative approximation of solutions for an elliptic boundary value problem in Hilbert spaces is investigated by using the new PicardMann iterative methods with mixed errors for nonexpansive operators, which are different from the method proposed in [1].
2 New PicardMann approximation methods
In this section, we shall introduce and study a class of new PicardMann iterative methods with mixed errors for common fixed points of two different nonexpansive and contraction operators and prove convergence and stability of the new PicardMann iterative approximation.
We need the following definitions and lemmas for our main results.
Definition 2.1
Let X be a normed space and \(K\subset X\) be a nonempty subset. Then an operator \(T: K\to K\) is said to be

(i)
nonexpansive if
$$\begin{aligned} \Vert TuTv\Vert \le \Vert uv\Vert , \quad \forall u, v\in K; \end{aligned}$$(2.1) 
(ii)
contraction if there exists a constant \(k\in[0, 1)\) such that
$$\begin{aligned} \Vert TuTv\Vert \le k\Vert uv\Vert , \quad \forall u, v\in K. \end{aligned}$$(2.2)
Remark 2.1
The constant k in Definition 2.1(ii) is called the Lipschitz constant of T. Contractive operators are sometimes called Lipschitzian operators. If the above condition is instead satisfied for \(k\le1\), then the operator T is said to be nonexpansive.
Definition 2.2
Let S be a selfmap of the normed space X, \(x_{0}\in X\), and let \(x_{n+1}=h(S, x_{n})\) define an iteration procedure which yields a sequence of points \(\{x_{n}\}\subset X\). Suppose that \(\{x\in X: Sx=x\}\neq\emptyset\) and \(\{x_{n}\}\) converges to a fixed point \(x^{*}\) of S. Let \(\{w_{n}\}\subset X\) and let \(\varepsilon_{n}=\Vert w_{n+1}h(S, w_{n})\Vert \). If \(\lim \epsilon_{n}=0\) implies that \(w_{n}\to x^{*}\), then the iteration procedure defined by \(x_{n+1}=h(S, x_{n})\) is said to be Sstable or stable with respect to S.
Lemma 2.1
([29])
Let X be a normed space and C be a nonempty closed convex bounded subset of X. Then each nonexpansive operator \(T: C\to C\) has a fixed point in C.
Lemma 2.2
([30])
Let \(\{a_{n}\}\), \(\{b_{n}\}\), \(\{ c_{n}\}\) be three nonnegative real sequences satisfying
where \(t_{n}\in[0, 1]\), \(\sum_{n=0}^{\infty}t_{n}=\infty\), \(\lim_{n\to\infty}b_{n}=0\), \(\sum_{n=0}^{\infty}c_{n} <\infty\). Then \(a_{n}\to0\) (\(n\to\infty\)).
Now, we establish a class of new PicardMann iterations with mixed errors for common fixed points of two different nonlinear operators (in short, (PMMD)) as follows.
Algorithm 2.1
Step 1. Choose \(x_{0}\) in a normed space X.
Step 2. Let
where \(T_{1}, T_{2}: X\to X\) are two nonlinear operators, and \(h_{n}, d_{n}, e_{n} \in X\) are errors to take into account a possible inexact computation of the operator points.
Step 3. Choose sequences \(\{\alpha_{n}\}\), \(\{h_{n}\}\), \(\{d_{n}\}\) and \(\{e_{n}\}\) such that for \(n\ge0\), \(\{\alpha_{n}\}\subset[0, 1]\) and \(\{h_{n}\}\), \(\{d_{n}\}\), \(\{e_{n}\}\) are three sequences in X satisfying the following conditions P:

(i)
\(d_{n}=d_{n}^{\prime}+d_{n}^{\prime\prime}\);

(ii)
\(\lim_{n\to\infty} \Vert d_{n}^{\prime} \Vert =0\);

(iii)
\(\sum_{n=0}^{\infty} \Vert h_{n}\Vert <\infty\), \(\sum_{n=0}^{\infty} \Vert d_{n}^{\prime\prime} \Vert <\infty\), \(\sum_{n=0}^{\infty} \Vert e_{n}\Vert <\infty\).
Step 4. If \(x_{n+1}\), \(y_{n}\), \(\alpha_{n}\), \(h_{n}\), \(d_{n}\) and \(e_{n}\) satisfy (2.4) to sufficient accuracy, go to Step 5; otherwise, set \(n: =n+1\) and return to Step 2.
Step 5. Let \(\{w_{n}\}\) be any sequence in X and define \(\{ \varepsilon_{n}\}\) by
Step 6. If \(\varepsilon_{n}\), \(w_{n+1}\), \(\xi_{n}\), \(\alpha_{n}\), \(h_{n}\), \(d_{n}\) and \(e_{n}\) satisfy (2.5) to sufficient accuracy, stop; otherwise, set \(n:=n+1\) and return to Step 3.
Remark 2.2
For special choices of the operators \(T_{1}\) and \(T_{2}\), the space X, and the errors \(h_{n}\), \(d_{n}\) and \(e_{n}\) in (2.4), one can obtain a large number of Picard iterative process, Mann iterative process, PicardMann iterative process due to Khan [18] and other related iterations. Now we list some special cases of iteration (2.4) as follows.

Special Case I If \(h_{n}=d_{n}=e_{n}=0\), the iterative process (2.4) becomes the following PicardMann iteration for two different operators (in short, (PMD)): For any given \(x_{0}\in X\),
$$\begin{aligned} \textstyle\begin{cases} x_{n+1}=T_{1}y_{n}, \\ y_{n}=(1\alpha_{n})x_{n}+\alpha_{n}T_{2}x_{n}. \end{cases}\displaystyle \end{aligned}$$(2.6) 
Special Case II When \(T_{1}=T_{2}=T\), for any given \(x_{0}\in X\), iteration (2.4) reduces to the sequence \(\{x_{n}\}\) defined by
$$\begin{aligned} \textstyle\begin{cases} x_{n+1}=Ty_{n}+h_{n}, \\ y_{n}=(1\alpha_{n})x_{n}+\alpha_{n}Tx_{n}+\alpha_{n}d_{n}+e_{n}. \end{cases}\displaystyle \end{aligned}$$(2.7)We note that the iterative processes (PMD) and the PicardMann iteration with mixed errors (2.7) (in short, (PMM)) are new and not studied in the literature.

Special Case III If \(T_{1}=T_{2}=T\), then (2.6) reduces to
$$\begin{aligned} \textstyle\begin{cases} x_{n+1}=Ty_{n}, \\ y_{n}=(1\alpha_{n})x_{n}+\alpha_{n}Tx_{n}, \end{cases}\displaystyle \end{aligned}$$(2.8)which was the PicardMann iterative process (in short, (PM)) studied by Khan [18] when \(\alpha_{n}\in(0, 1)\). We note that (PM) can be obtained from (2.7) if \(h_{n}=d_{n}=e_{n}=0\) for all \(n\ge0\). Further, the iterative process (2.8) reduces to the PicardKrasnoselskii hybrid iterations studied by Okeke and Abbas [20] when \(\alpha_{n}=\lambda\in(0, 1)\). As Khan [18] pointed out, the iteration (2.8) is independent of all Picard and Mann iterative processes if \(\{\alpha_{n}\}\subset(0, 1)\). But one can easily see that the iterative process (2.8) will reduce to Picard and a special case of Ishikawa iterative process when \(\alpha_{n}=0\) and \(\alpha_{n}=1\), respectively.

Special Case IV When \(T_{1}=I\), the identity operator, for any given \(x_{0}\in X\), the iteration (PMD) defined by (2.6) can be written as
$$\begin{aligned} x_{n+1}=(1\alpha_{n})x_{n}+\alpha_{n}T_{2}x_{n}, \end{aligned}$$(2.9)which is the Mann iterative process (in short, (MI)) for \(\alpha _{n}\in[0, 1]\).
Based on Lemma 2.1 and the existence of fixed point for a contraction operator, in the sequel, we will prove convergence and stability of the new PicardMann iterative processes with mixed errors generated by Algorithm 2.1.
Theorem 2.1
Let X be a normed space and \(C\subset X\) be a nonempty closed convex bounded subset. Let \(T_{1}: C\to C\) be nonexpansive and \(T_{2}: C\to C\) be a contraction operator with constant \(\theta\in[0, 1)\). Suppose that \(F(T_{1}\cap T_{2}):=\{x\in C: T_{i}x=x, i=1, 2\}\neq\emptyset\) and \(\sum_{n=0}^{\infty}\alpha_{n}=\infty\). Then

(i)
the iterative sequence \(\{x_{n}\}\) generated by (PMMD) in Algorithm 2.1 converges to \(x^{*}\in F(T_{1}\cap T_{2})\) with convergence rate
$$\begin{aligned} \vartheta=1\hat{\alpha}(1\theta)< 1, \end{aligned}$$(2.10)where \(\hat{\alpha}=\limsup_{n\to\infty}\alpha_{n}\in(0, 1]\);

(ii)
if, in addition, for any sequence \(\{z_{n}\}\subset X\), there exists \(\alpha>0\) such that \(\alpha_{n}\ge\alpha\) for all \(n\geq 0\), then
$$\begin{aligned} \lim_{n\to\infty}w_{n}=x^{*} \quad\textit{if and only if}\quad\lim_{n\to\infty}\varepsilon_{n}=0, \end{aligned}$$(2.11)where \(\varepsilon_{n}\) is defined by (2.5).
Proof
It follows from (2.4) that
where \(\vartheta_{n}=1(1\theta)\alpha_{n}\). Since \(\sum_{n=0}^{\infty}\alpha_{n}=\infty\), by Lemma 2.2 and (2.12), now we know that \(\Vert x_{n}x^{*}\Vert \to 0\) (\(n\to\infty\)). Thus, the sequence \(\{x_{n}\}\) converges to \(x^{*}\) for \(\vartheta_{n}\).
Further, by (2.12), we have
where \(\hat{\alpha}=\limsup_{n\to\infty}\alpha_{n}\).
Next, we prove the conclusion (ii). Since \(0<\alpha\leq\alpha_{n}\), it follows from the proof of inequality (2.12) and (2.5) that
and
Let \(\lim_{n\to\infty}\varepsilon_{n}=0\). Then, by \(\sum_{n=0} ^{\infty}\alpha_{n}=\infty\), Lemma 2.2 and (2.15), we know that \(\lim_{n\to\infty}w_{n}=x^{*}\).
Conversely, if \(\lim_{n\rightarrow\infty}w_{n}=x^{*}\), then it follows from (2.14) and \(\alpha_{n}\le1\) that, for all \(n\ge0\),
this implies that \(\varepsilon_{n} \to0\) as \(n\to\infty\). This completes the proof. □
Remark 2.3
(i) Since the errors in Algorithm 2.1 exist objectively when the inexact calculation of operator points is considered, the iterative process (2.4) (i.e., (PMMD)) is more truthful than the Picard iteration, Mann iteration, PicardMann iteration due to Khan [18] and so on. One can easily observe in the next numerical simulations visually.
(ii) We note that the stability analysis in Theorem 2.1 is little discussed in the literature. Akewe and Okeke [27] gave the stability theorems for the PicardMann hybrid iterative scheme for a general class of contractivelike operators. However, comparing with the stability analysis in [27], we use a different method to analyze the stability and also extend the application of stability for iterations.
(iii) According to inequality (2.12), one can obtain
where \(\prod_{i=1}^{n} \vartheta_{i}=\vartheta_{1}\cdot\vartheta _{2}\cdot \cdots \cdot\vartheta_{n}\) and \(\vartheta_{i}\) is the same as in (2.12) for all \(i=1,2,\ldots,n\). As a matter of fact, \(\sum_{k=1}^{n1}\prod_{i=k+1}^{n} \vartheta_{i}(\Vert d_{k}\Vert +\Vert e_{k}\Vert +\Vert h_{k}\Vert )+ (\Vert d_{n}\Vert +\Vert e_{n}\Vert +\Vert h_{n}\Vert ) =o(\Vert d_{n}\Vert +\Vert e_{n}\Vert +\Vert h_{n}\Vert )\). Hence, these errors in (2.4) can help to adjust the iteration results to improve the algorithms by using this infinitesimal of a higher order sequence.
From Theorem 2.1 and Remark 2.1, we have the following result.
Theorem 2.2
Let \(C\subset X\) be a nonempty closed convex bounded subset of a normed space X, and let \(T: C\to C\) be a contraction operator with constant \(\theta\in[0, 1)\). If \(\{\alpha _{n}\}\subset[0, 1]\) and \(\sum_{n=0}^{\infty}\alpha_{n}=\infty\) and \(\{h_{n}\}\), \(\{d_{n}\}\), \(\{e_{n}\}\) are three sequences in X satisfying the conditions P, then

(i)
the iterative sequence \(\{x_{n}\}\) generated by (2.7) (that is, (PMM)) converges to \(p\in F(T):=\{x\in C: Tx=x\}\) with convergence rate \(\vartheta=1\hat{\alpha}(1\theta)<1\), where \(\hat{\alpha }=\limsup_{n\to\infty}\alpha_{n}\in(0, 1]\);

(ii)
if, in addition, for any sequence \(\{z_{n}\}\subset X\), there exists \(\alpha>0\) such that \(\alpha_{n}\ge\alpha\) for all \(n\geq 0\), then
$$\begin{aligned} \lim_{n\to\infty}z_{n}=p \quad\Longleftrightarrow\quad\lim _{n\to \infty}\epsilon_{n}=0, \end{aligned}$$(2.18)where \(\epsilon_{n}\) is defined by
$$\begin{aligned} \textstyle\begin{cases} \epsilon_{n}=\Vert z_{n+1} ( Ts_{n}+h_{n} ) \Vert , \\ s_{n}=(1\alpha_{n})z_{n}+\alpha_{n} Tz_{n}+\alpha_{n}d_{n}+e_{n}. \end{cases}\displaystyle \end{aligned}$$(2.19)
3 Numerical simulations and an application
In order to verify our main results presented in the above section, in this section, we give some numerical simulations and consider approximation of the elliptic boundary value problem (1.1) by using the new PicardMann iterative methods with mixed errors for contractive operators.
3.1 Numerical examples
We first give the following examples and their numerical simulations to show verification of Theorem 2.1 and Remark 2.3(iii) and to display effectiveness of the new PicardMann iterative methods with mixed errors.
Example 3.1
Let \(X=\mathbb{R}\), \(1< k\le\frac {86}{49}\), \(C= [ 1, \frac{5}{2}+\frac{1}{2}\sqrt{\frac{135}{k1}} ] \), \(T_{1}x=\frac{1}{\pi}\sin(\pi x)+8\) and \(T_{2}x=\sqrt {x^{2}5x+40}\) for all \(x\in C\), and \(h_{n}=\frac{5}{407^{n}}\), \(\alpha_{n}=\frac{1}{n}\), \(d_{n}=\frac{1}{n^{2}}+\frac{1}{n^{3}}\) and \(e_{n}=\frac{14}{n^{7}}\) for \(n\ge1\). It is easy to see that \(T_{1}\) is nonexpansive and \(T_{2}\) is a contraction operator with constant \(\frac{1}{\sqrt{k}}\). In fact, for all \(x, y\in C\), we have
and
Further, one can see that \(T_{1}\) is nonexpansive but not a contraction, and \(F(T_{1}\cap T_{2})= \{8\}\neq\emptyset\). Hence, the conditions in Theorem 2.1 and Algorithm 2.1 hold and the sequence \(\{x_{n}\}\) generated by (PMMD) can be rewritten as follows:
Moreover, the corresponding two special cases are listed as well.
By Theorem 2.1, now we know that \(\{x_{n}\}\) generated by (PMMD) converges to \(x^{*}=8\). Further, in order to show the availability of the New PicardMann iterative methods with mixed errors, by using software Matlab 7.0, the numerical simulation results for the sequences \(\{x_{n}\}\) generated by (PMMD), (PMD) and (MI) are given with 70, more than 200 and more than 200 iterations in Figure 1 and Table 1, respectively.
Remark 3.1
If these mixed errors can be used properly, the property of (2.4) will be better than the other algorithms. From Figure 1 and Table 1, it is easy to see that the iterative process (PMMD) is effective and the sequence \(\{ x_{n}\}\) generated by (PMMD) converges much faster.
Next, we verify Theorem 2.2 by the following numerical example.
Example 3.2
Let \(X=\mathbb{R}\), constant \(1< l\le \frac{49}{25}\), \(C= [ 1, 4+2\sqrt{\frac{6}{l1}} ] \), \(Tx=\sqrt{x^{2}8x+40}\) for all \(x\in C\), and \(h_{n}=\frac{1}{10^{n}}\), \(\alpha_{n}=\frac{1}{2^{n}}\), \(d_{n}=\frac{1}{n}+\frac{1}{n^{2}}\) and \(e_{n}=\frac{16}{n^{5}}\) for \(n\ge1\). Then, for all \(x, y\in C\), we have
and so T is a contraction operator. Thus, we obtain the following iterative processes as two special cases of (PMMD):
It follows from Theorem 2.2 that \({x_{n}}\) generated by (PMM) converges to \({p=5}\), which is the unique fixed point of T. Similarly, in order to compare (PMM) to (PM), the numerical simulations are displayed with 9 and 13 iterations in Figure 2 and Table 2, respectively. One can clearly see that the acceleration efficiency is 44.44%.
Remark 3.2
Figure 2 and Table 2 show that the iterative process (PMM) is effective and the sequence \(\{ x_{n}\}\) generated by (PMM) converges faster than that produced by (PM).
3.2 An application to the elliptic boundary value problem
In 2013, by using the notion of a nonexpansive potential operator, Ayadi et al. [1] proved a new global minimization theorem in Hilbert spaces to find a weak solution of the following elliptic boundary value problem:
where \(\Omega\subset\mathbb{R}^{n}\) is a bounded domain in an ndimensional real space. \(f, f^{\prime}: \Omega\times\mathbb {R}\rightarrow\mathbb{R}\) are Carathéodory functions, here \(f^{\prime}\) is the derivative of f with respect to its second variable.
One can know that a weak solution of (3.4) is a solution of the following variational problem:
Let \(\phi: H_{0}^{1}(\Omega)\to\mathbb{R}\) be a nonlinear operator such that
From Theorem 2.2, we have the following existence results of solutions for problem (3.4).
Theorem 3.1
Let \(\mathbb{R}^{n}\) be an ndimensional real space and \(\Omega\subset \mathbb{R}^{n}\) be a nonempty bounded domain. Define \(T: C\to C\) by \(T=I\phi^{\prime}\), where ϕ is determined by (3.6), \(C=[\nu, \omega]=\{u\in H_{0}^{1}(\Omega): \nu(x)\le u(x)\le\omega (x), \forall x\in\Omega\}\), here \(\nu, \omega\in H_{0}^{1}(\Omega )\) are a subsolution and a supersolution of problem (3.5), respectively. If \(F(T):=\{u\in C: Tu=u\}\neq\emptyset\) and \(\sum_{n=0}^{\infty}\alpha_{n}=\infty\), then

(i)
the iterative sequence \(\{u_{n}\}\) generated by (2.7) converges to a weak solution \(u^{*}\in F(T)\) of problem (3.4) with convergence rate \(\vartheta=1\hat{\alpha}(1\theta)<1\), where \(\hat {\alpha}=\limsup_{n\to\infty}\alpha_{n}\in(0, 1]\) and \(\theta =\sup_{u\in C}\Vert (I^{\prime}\phi^{\prime\prime})u\Vert \);

(ii)
if, in addition, there exists \(\alpha>0\) such that \(\alpha _{n}\ge\alpha\) for all \(n\geq0\), then
$$\begin{aligned} \lim_{n\to\infty}z_{n}=u^{*} \quad \Longleftrightarrow\quad\lim_{n\to\infty}\epsilon_{n}=0, \end{aligned}$$(3.7)where \(\epsilon_{n}\) is defined by (2.19) and \(\{z_{n}\}\) is any sequence.
Proof
From the proof of [1, Theorem 6], it follows that \(C\subset H_{0}^{1}(\Omega)\) is a closed convex and bounded subset, and \(\Vert (I^{\prime}\phi^{\prime\prime})u\Vert <1\) for some \(u\in C\). By the proof of Theorem 4 in [1], we know that T is a contraction operator. Since a contraction operator has fixed points, the results hold from Theorem 2.2. This completes the proof. □
Remark 3.3
In the proof of Theorem 3.1, we employ the new PicardMann iterative approximation with mixed errors for contraction operators, which differs from the method proposed in Ayadi et al. [1] for showing that problem (3.4) has a weak solution.
4 Concluding remarks
In this paper, we introduced a class of new PicardMann iterative methods with mixed errors for two different nonlinear operators as follows:
where \(T_{1}, T_{2}: X\to X\) are respectively nonexpansive and contraction operators, \(\alpha_{n}\in[0, 1]\) and \(h_{n}, d_{n}, e_{n} \in X\) are errors to take into account a possible inexact computation of the operator points. Iteration (4.1) includes the PicardMann iterative process due to Khan [18], Picard iterative process, Mann iterative process and other related iterative processes as special cases.
Then we gave convergence and stability analysis of the new PicardMann iterative approximation and proposed two numerical examples to show that the new PicardMann iteration converges more effectively than the Picard iterative process, Mann iterative process, PicardMann iterative process due to Khan and other related iterative processes. Furthermore, as an application of the new PicardMann iterative methods with mixed errors for contractive operators, which are different from the method proposed in [1], we explore iterative approximation of solutions for the following elliptic boundary value problem:
where \(\Omega\subset\mathbb{R}^{n}\) is a bounded domain, \(f: \Omega \times\mathbb{R}\rightarrow\mathbb{R}\) is a Carathéodory function.
However, can our results be obtained when T is only nonexpansive in Theorem 2.2 or \(T_{2}\) is also nonexpansive in Theorem 2.1? These are still open questions that are worth further studying.
Abbreviations
 (PMMD):

new PicardMann iterations with mixed errors for two different nonlinear operators
 (PMD):

PicardMann iteration for two different operators
 (PMM):

PicardMann iteration with mixed errors
 (PM):

PicardMann iterative process
 (MI):

Mann iterative process
References
Ayadi, S, Moussaoui, T, O’Regan, D: Existence of solutions for an elliptic boundary value problem via a global minimization theorem on Hilbert spaces. Differ. Equ. Appl. 8(3), 385391 (2016)
Roubíček, T: Nonlinear Partial Differential Equations with Applications, 2nd edn. International Series of Numerical Mathematics, vol. 153. Springer, Basel (2013)
Barbu, V: Analysis and Control of Nonlinear InfiniteDimensional Systems. Mathematics in Science and Engineering, vol. 190. Academic Press, Boston (1993)
Lan, HY: Variational inequality theory for elliptic inequality systems with Laplacian type operators and related population models: an overview and recent advances. Int. J. Nonlinear Sci. 23(3), 157169 (2017)
Sofonea, M, Matei, A: Variational Inequalities with Applications: A Study of Antiplane Frictional Contact Problems. Advances in Mechanics and Mathematics, vol. 18. Springer, New York (2009)
Marin, M: On weak solutions in elasticity of dipolar bodies with voids. J. Comput. Appl. Math. 82(12), 291297 (1997)
Marin, M, Vlase, S: Effect of internal state variables in thermoelasticity of microstretch bodies. An. Ştiinţ. Univ. ‘Ovidius’ Constanţa, Ser. Mat. 24(3), 241257 (2016)
Liu, WY, Sun, TJ: Iterative nonoverlapping domain decomposition method for optimal boundary control problems governed by elliptic equations. J. Shandong Univ. Nat. Sci. 51(2), 2128 (2016) (in Chinese)
Lions, JL: Optimal Control of Systems Governed by Partial Differential Equations. Springer, New York (1971)
Coletsos, J, Kokkinis, B: Optimal control of nonlinear elliptic PDEs—theory and optimization methods. In: Lirkov, I, et al. (eds.) LargeScale Scientific Computing. Lecture Notes in Comput. Sci., vol. 8353, pp. 8189. Springer, Heidelberg (2014)
Gong, W, Yan, NN: Adaptive finite element method for elliptic optimal control problems: convergence and optimality. Numer. Math. 135(4), 11211170 (2017)
Yan, NN, Zhou, ZJ: A priori and a posteriori error analysis of edge stabilization Galerkin method for the optimal control problem governed by convectiondominated diffusion equation. J. Comput. Appl. Math. 223(1), 198217 (2009)
Turkyilmazoglu, M: An optimal variational iteration method. Appl. Math. Lett. 24(5), 762765 (2011)
Beretta, E, Manzoni, A, Ratti, L: A reconstruction algorithm based on topological gradient for an inverse problem related to a semilinear elliptic boundary value problem. Inverse Probl. 33(3), 035010 (2017)
Kogut, PI, Manzo, R, Putchenko, AO: On approximate solutions to the Neumann elliptic boundary value problem with nonlinearity of exponential type. Bound. Value Probl. 2016, 208 (2016)
He, JH: Variational iteration method  some recent results and new interpretations. J. Comput. Appl. Math. 207(1), 317 (2007)
Zhou, XW, Yao, L: The variational iteration method for Cauchy problems. Comput. Math. Appl. 60(3), 756760 (2010)
Khan, SH: A PicardMann hybrid iterative process. Fixed Point Theory Appl. 2013, 69 (2013)
Deng, WQ: A modified PicardMann hybrid iterative algorithm for common fixed points of countable families of nonexpansive mappings. Fixed Point Theory Appl. 2014, 58 (2014)
Okeke, GA, Abbas, M: A solution of delay differential equations via PicardKrasnoselskii hybrid iterative process. Arab. J. Math. 6(1), 2129 (2017)
Jiang, GJ, Kwun, YC, Kang, SM: Solvability and Mann iterative approximations for a higher order nonlinear neutral delay differential equation. Adv. Differ. Equ. 2017, 60 (2017)
Roussel, MR: Stability analysis for ODEs. TeachingChemistry 5850: Nonlinear Dynamics, Lecture 2. http://people.uleth.ca/~roussel/nld/. Accessed 13 Sept 2005
Liu, QK, Lan, HY: Stable iterative procedures for a class of nonlinear increasing operator equations in Banach spaces. Nonlinear Funct. Anal. Appl. 10(3), 345358 (2005)
Lan, HY: Stability of iterative processes with errors for a system of nonlinear \((A,\eta)\)accretive variational inclusions in Banach spaces. Comput. Math. Appl. 56(1), 290303 (2008)
Anistratov, DY, Cornejo, LR, Jones, JP: Stability analysis of nonlinear twogrid method for multigroup neutron diffusion problems. J. Comput. Phys. 346, 278294 (2017)
Ashyralyyev, C, Dedeturk, M: Approximation of the inverse elliptic problem with mixed boundary value conditions and overdetermination. Bound. Value Probl. 2015, 51 (2015)
Akewe, H, Okeke, GA: Convergence and stability theorems for the PicardMann hybrid iterative scheme for a general class of contractivelike operators. Fixed Point Theory Appl. 2015, 66 (2015)
Bosede, AO, Rhoades, BE: Stability of Picard and Mann iteration for a general class of functions. J. Adv. Math. Stud. 3(2), 13 (2010)
Agarwal, RP, O’Regan, D, Sahu, DR: Fixed point theory for Lipschitziantype mappings with applications. In: Topological Fixed Point Theory and Its Applications, vol. 6. Springer, New York (2009)
Liu, LS: Ishikawa and Mann iterative process with errors for nonlinear strongly accretive mappings in Banach spaces. J. Math. Anal. Appl. 194(1), 114135 (1995)
Acknowledgements
We would like to thank the editors and referees for their valuable comments and suggestions to improve our paper.
Availability of data and materials
Not applicable.
Authors’ information
Further, Mr. TFL is studying for an MA degree. His research interests focus on the theory and algorithm of nonlinear system optimization and control. HYL is a professor in Sichuan University of Science & Engineering. He received his doctoral degree from Sichuan University in 2013. His research interests focus on the structure theory and algorithm of operational research and optimization, nonlinear analysis and applications.
Funding
This work was supported by the Scientific Research Project of Sichuan University of Science & Engineering (2017RCL54), the Innovation Fund of Postgraduate, Sichuan University of Science & Engineering (y2016041).
Author information
Authors and Affiliations
Contributions
TFL carried out the proof of the theorems and gave some numerical simulations to show the main results. HYL conceived of the study and participated in its design and coordination. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Competing interests
The authors declare that they have no competing interests.
Consent for publication
Not applicable.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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.
About this article
Cite this article
Li, Tf., Lan, Hy. New approximation methods for solving elliptic boundary value problems via PicardMann iterative processes with mixed errors. Bound Value Probl 2017, 184 (2017). https://doi.org/10.1186/s1366101709146
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366101709146