Research  Open  Published:
Fixed point problems of the PicardMann hybrid iterative process for continuous functions on an arbitrary interval
Fixed Point Theory and Applicationsvolume 2013, Article number: 244 (2013)
Abstract
In this paper, we consider the iteration method called ‘PicardMann hybrid iterative process’ for finding a fixed point of continuous functions on an arbitrary interval. We give a necessary and sufficient condition for convergence of this iteration for continuous functions on an arbitrary interval. Also, we compare the rate of convergence of the PicardMann hybrid iteration with the other iterations and prove that it is better than the others under the same computational cost. Moreover, we present numerical examples.
MSC:26A18, 47H10, 54C05.
1 Introduction and preliminaries
Let E be a closed interval on the real line, and let $f:E\to E$ be a continuous mapping. A point $p\in E$ is a fixed point of f if $f(p)=p$. We denote the set of fixed points of f by $F(f)$. It is known that if E is also bounded, then $F(f)$ is nonempty.
Iterative methods are popular tools to approximate fixed points of nonlinear mappings. Now, we give some of them. Recall that the normal Mann iteration was introduced by Mann [1] in 1953. Recently, construction of fixed points for nonlinear mappings via the normal Mann iteration has been extensively investigated by many authors. The normal Mann iteration generates a sequence $\{{x}_{n}\}$ in the following manner: ${x}_{1}\in \mathbb{R}$,
for all $n\ge 1$, where ${x}_{1}$ is an arbitrary initial value, f is a real function, and $\{{\alpha}_{n}\}$ is a sequence in $[0,1]$.
Next, we recall another popular iteration, the Ishikawa iteration. The Ishikawa iteration was introduced by Ishikawa [2] in 1974. The Ishikawa iteration generates a sequence $\{{x}_{n}\}$ in the following manner:
for all $n\ge 1$, where ${x}_{1}$ is an arbitrary initial value, f is a real function, and $\{{\alpha}_{n}\}$, $\{{\beta}_{n}\}$ are real sequences in $[0,1]$. In 2000, Noor [3] introduced a new iteration method, that is, defined by ${x}_{1}\in E$ and
for all $n\ge 1$, where $\{{\alpha}_{n}\}$, $\{{\beta}_{n}\}$ and $\{{\gamma}_{n}\}$ are sequences in $[0,1]$. It is easy to see that the Mann and Ishikawa iteration methods are special cases of the Noor iteration method, and the Mann iteration is also special case of the Ishikawa iteration method.
In 1953, Mann proved that if f is a continuous real function on a unit interval of the real line with a unique fixed point, then the Mann iteration converges to a unique fixed point of f. In 1971, Franks and Marzed [4] removed the condition that f enjoys a unique fixed point. In 1974, for the class of continuous and nondecreasing functions on a closed unit interval, Rhoades [5] proved the convergence of the Mann iteration, and then, he [6] extended convergence results to the Ishikawa iteration. He also proved that the Ishikawa iteration is better than the Mann iteration for this class of mappings. Later, in 1991, Borwein and Borwein [7] proved the convergence of the Mann iteration of continuous mappings on a bounded closed interval. In 2006, Qing and Qihou [8] extended their results to an arbitrary interval and to the Ishikawa iteration and gave a necessary and sufficient condition for convergence of the Ishikawa iteration on an arbitrary interval. Recently, Phuengrattana and Suantai [9] proved the convergence of (1.3) to a fixed point of continuous function f on an arbitrary interval under the suitable conditions. Also, they introduced the following iteration method called the SPiteration method:
for all $n\ge 1$, where ${x}_{1}$ is an arbitrary initial value, $\{{\alpha}_{n}\}$, $\{{\beta}_{n}\}$ and $\{{\gamma}_{n}\}$ are sequences in $[0,1]$. Under the suitable conditions, they proved that (1.4) iteration method converges to a fixed point of continuous function f on an arbitrary interval $E\subset \mathbb{R}$. Moreover, they also compared the convergence speed of the Mann, Ishikawa, Noor and SPiterations and concluded that the SPiteration is better than the others.
Let E be a closed interval on the real line (can be unbounded), and let $f:E\to E$ be a continuous function. Recently, Khan [10] and Sahu [11], individually, introduced the following iterative process, which Khan referred to as that PicardMann hybrid iterative process (PMH):
for all $n\ge 1$, where ${x}_{1}$ is an arbitrary initial value, and $\{{\beta}_{n}\}$ is a sequence in $[0,1]$.
The purpose of this paper is to prove that the PMHiteration process converges to a fixed point of continuous function f on an arbitrary interval E, and compare the convergence speed of (1.5) with the other iteration processes under the suitable conditions and the same computational cost.
2 Convergence theorems
In this section, we prove convergence theorems for the PMHiteration process.
Lemma 1 Let E be a closed interval on the real line (can be unbounded), let $f:E\to E$ be a continuous function. For ${x}_{1}\in E$, let the PMHiteration $\{{x}_{n}\}$ be defined by (1.5), where $\{{\beta}_{n}\}$ is a sequence in $[0,1]$ such that ${lim}_{n\to \mathrm{\infty}}{\beta}_{n}=0$. If ${x}_{n}\to a$, then a is a fixed point of f.
Proof Suppose that $f(a)\ne a$. Since ${x}_{n}\to a$, and $f(x)$ is continuous, we have that $f({x}_{n})$ is bounded. Since ${y}_{n}=(1{\beta}_{n}){x}_{n}+{\beta}_{n}f({x}_{n})$ and ${\beta}_{n}\to 0$, we have ${y}_{n}\to a$. Let ${p}_{k}=f({y}_{k}){x}_{k}$. Then we write
Using ${x}_{n+1}=f({y}_{n})$, we obtain
which implies that
Since ${p}_{k}\to p\ne 0$, then $\{{x}_{n}\}$ must diverge, which is contradiction with ${x}_{n}\to a$. Thus, $f(a)=a$. □
Lemma 2 Let E be a closed interval on the real line (can be unbounded), let $f:E\to E$ be a continuous and nondecreasing function. For ${x}_{1}\in E$, let the PMHiteration $\{{x}_{n}\}$ be defined by (1.5), where $\{{\beta}_{n}\}$ is a sequence in $[0,1]$ such that ${lim}_{n\to \mathrm{\infty}}{\beta}_{n}=0$. If $\{{x}_{n}\}$ is bounded, then it is convergent.
Proof Suppose that $\{{x}_{n}\}$ is not convergent. Let $a={lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}{x}_{n}$ and $b={lim\hspace{0.17em}sup}_{n\to \mathrm{\infty}}{x}_{n}$. Then $a<b$. First, we prove that if $a<m<b$, then $f(m)=m$. Suppose that $f(m)\ne m$. Without loss of generality, we may suppose that $f(m)m>0$. Since $f(x)$ is a continuous function, there exists δ, $0<\delta <ba$, such that
From the hypothesis that $\{{x}_{n}\}$ is bounded, so, $\{{x}_{n}\}$ belongs to a bounded closed interval. Since $f(x)$ is continuous, $f({x}_{n})$ belongs to another bounded closed interval, so, $f({x}_{n})$ is bounded. Since ${y}_{n}=(1{\beta}_{n}){x}_{n}+{\beta}_{n}f({x}_{n})$, we obtain that $\{{y}_{n}\}$ is bounded, and, thus, $f({y}_{n})$ is bounded. Using ${y}_{n}{x}_{n}={\beta}_{n}(f({x}_{n}){x}_{n})$ and ${lim}_{n\to \mathrm{\infty}}{\beta}_{n}=0$, we get that ${y}_{n}{x}_{n}\to 0$, as $n\to \mathrm{\infty}$. For the real numbers $f({x}_{1})$ and ${x}_{1}$, there exist three cases: $f({x}_{1})>{x}_{1}$, $f({x}_{1})<{x}_{1}$ and $f({x}_{1})={x}_{1}$. Let $f({x}_{1})>{x}_{1}$. From the definition of $\{{x}_{n}\}$, we have $f({x}_{1})\ge {y}_{1}\ge {x}_{1}$. Since f is nondecreasing, we write $f({y}_{1})={x}_{2}\ge f({x}_{1})\ge {y}_{1}\ge {x}_{1}$. Again, using f is nondecreasing, we get $f({x}_{2})\ge {x}_{2}=f({y}_{1})$. From the definition of $\{{x}_{n}\}$, we get $f({x}_{2})\ge {y}_{2}\ge {x}_{2}$. This implies that $f({y}_{2})={x}_{3}\ge f({x}_{2})\ge {y}_{2}\ge {x}_{2}$. Thus, we obtain that $f({y}_{2})\ge {y}_{2}$. So, by continuing in this way, we have that $f({y}_{n})\ge {y}_{n}$ for all $n\ge 1$. Hence, from the definition of $\{{x}_{n}\}$, we get that
Thus, using ${lim}_{n\to \mathrm{\infty}}{\beta}_{n}=0$, we obtain that
In a similar way, for the case $f({x}_{1})<{x}_{1}$, we have
Again, using ${lim}_{n\to \mathrm{\infty}}{\beta}_{n}=0$, we get the desired conclusion. For the case $f({x}_{1})={x}_{1}$, since we supposed that $f(m)\ne m$ for the real number m such that $a<m<b$, so either ${x}_{1}<a$ or ${x}_{1}>b$. Now, without loss of generality, we may suppose that ${x}_{1}<a$. Since $f({x}_{1})={x}_{1}$, (1.5) implies that ${x}_{2}={x}_{1}$, and by induction, ${x}_{n+1}={x}_{n}$ for all $n\ge 1$, which yields
Hence, in all the three cases, we obtain
Thus, there exists a positive integer N such that
Since $b={lim\hspace{0.17em}sup}_{n\to \mathrm{\infty}}{x}_{n}>m$, there exist ${k}_{1}>N$ such that ${x}_{{n}_{{k}_{1}}}>m$. Let ${n}_{{k}_{1}}=k$, then ${x}_{k}>m$. For ${x}_{k}$, there exist only two cases

(i)
If ${x}_{k}>m+\frac{\delta}{2}$, then ${x}_{k+1}>{x}_{k}\frac{\delta}{2}\ge m$ using (2.2). So, ${x}_{k+1}>m$.

(ii)
If $m<{x}_{k}<m+\frac{\delta}{2}$, then $m\frac{\delta}{2}<{y}_{k}<m+\delta $ using (2.2). So, we have ${x}_{k}m<\frac{\delta}{2}<\delta $, ${y}_{k}m<\delta $. Using (2.1), we get
$$f({x}_{k}){x}_{k}>0,\phantom{\rule{2em}{0ex}}f({y}_{k}){y}_{k}>0.$$(2.3)
From (2.3), we get that
and hence,
So, we obtain ${x}_{k+1}>{x}_{k}>m$.
In conclusion, by (i), (ii), we have ${x}_{k+1}>m$. Analogously, we have ${x}_{k+2}>m$, ${x}_{k+3}>m$,…. Thus, we get ${x}_{n}>m$, for all $n>k={n}_{{k}_{1}}$. So, $a={lim}_{k\to \mathrm{\infty}}{x}_{{n}_{k}}\ge m$, which is a contradiction with $a<m$. Thus, $f(m)=m$. Now, we consider the following two cases:
(I) There exists ${x}_{M}$ such that $a<{x}_{M}<b$. From the proof above, we obtain $f({x}_{M})={x}_{M}$. It follows that
Analogously, we have ${x}_{M}={x}_{M+1}={x}_{M+2}=\cdots $ , so ${x}_{n}\to {x}_{M}$. It follows that ${x}_{M}=a$, and ${x}_{n}\to a$, which is a contradiction with the assumption.
(II) For all n, ${x}_{n}\le a$ or ${x}_{n}\ge b$. Since $ba>0$, and ${lim}_{n\to \mathrm{\infty}}{x}_{n+1}{x}_{n}=0$, so there exists ${N}_{0}$ such that
for all $n>{N}_{0}$. It implies that either ${x}_{n}\le a$ or ${x}_{n}\ge b$ for all $n>{N}_{0}$. If ${x}_{n}\le a$ for all $n>{N}_{0}$, then $b={lim\hspace{0.17em}sup}_{n\to \mathrm{\infty}}{x}_{n}\le a$, which is a contradiction with $a<b$. If ${x}_{n}\ge b$ for all $n>{N}_{0}$, so we have $a={lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}{x}_{n}\ge b$, which is a contradiction with $a<b$. So, the assumption is not true. Then ${x}_{n}\to a$ as $n\to \mathrm{\infty}$. □
Theorem 1 Let E be a closed interval on the real line (can be unbounded), let $f:E\to E$ be a continuous and nondecreasing function. For ${x}_{1}\in E$, let the PMHiteration $\{{x}_{n}\}$ be defined by (1.5), where $\{{\beta}_{n}\}$ is a sequence in $[0,1]$ such that ${lim}_{n\to \mathrm{\infty}}{\beta}_{n}=0$. Then $\{{x}_{n}\}$ converges to a fixed point of f if and only if $\{{x}_{n}\}$ is bounded.
Proof It is clear that if $\{{x}_{n}\}$ converges to a fixed point of f, then it is bounded. Now, assume that $\{{x}_{n}\}$ is bounded. Then it follows from Lemma 1 and Lemma 2 that $\{{x}_{n}\}$ is convergent to a fixed point of f. □
The following result is obtained directly from Theorem 1.
Corollary 1 Let $f:[a,b]\to [a,b]$ be a continuous and nondecreasing function. For ${x}_{1}\in [a,b]$, let the PMHiteration $\{{x}_{n}\}$ be defined by (1.5), where $\{{\beta}_{n}\}$ is a sequence in $[0,1]$ such that ${lim}_{n\to \mathrm{\infty}}{\beta}_{n}=0$. Then $\{{x}_{n}\}$ converges to a fixed point of f.
3 Rate of convergence
Now, we give some definitions, lemmas, and theorems about the rate of convergence speed of iterative schemes and compare those with each other. Also, we support our theorems with numerical example.
Definition 1 [6]
Let E be a closed interval on the real line, and let $f:E\to E$ be a continuous function. Suppose that $\{{x}_{n}\}$ and $\{{y}_{n}\}$ are two iterations, which converge to a fixed point p of f. Then $\{{x}_{n}\}$ is better than ${\{{y}_{n}\}}_{n=1}^{\mathrm{\infty}}$ if
for all $n\ge 1$.
For any sequence $\{{x}_{n}\}$ that converges to a point p, it is said that $\{{x}_{n}\}$ converges linearly to p if there exist a constant $\mu \in (0,1)$ such that
The number μ is called the rate of convergence.
In 2011, Phuengrattana and Suantai [9] proved the following theorem about the rate of convergence speed of the Mann, Ishikawa, Noor and SPiteration processes.
Theorem 2 [9]
Let E be a closed interval on the real line, and let $f:E\to E$ be a continuous and nondecreasing function such that $F(f)$ is nonempty and bounded. For ${u}_{1}={s}_{1}={w}_{1}={x}_{1}\in E$, let $\{{u}_{n}\}$, $\{{s}_{n}\}$, $\{{w}_{n}\}$, and $\{{x}_{n}\}$ be the sequences defined by the Mann, Ishikawa, Noor iterations and SPiteration method, respectively. Let $\{{\alpha}_{n}\}$, $\{{\beta}_{n}\}$, $\{{\gamma}_{n}\}$ be sequences in $[0,1)$. Then the following are satisfied:

(i)
The Ishikawa iteration $\{{s}_{n}\}$ converges to $p\in F(f)$ if and only if the Mann iteration $\{{u}_{n}\}$ converges to p. Moreover, the Ishikawa iteration converges faster than the Mann iteration.

(ii)
The Noor iteration $\{{w}_{n}\}$ converges to $p\in F(f)$ if and only if the Ishikawa iteration $\{{s}_{n}\}$ converges to p. Moreover, the Noor iteration converges faster than the the Ishikawa iteration.

(iii)
The SPiteration $\{{x}_{n}\}$ converges to $p\in F(f)$ if and only if the Noor iteration $\{{w}_{n}\}$ converges to p. Moreover, the SPiteration converges faster than the Noor iteration.
But in contrast to the theorem above, in 2013, Dong et al. [12] obtained that the Mann iteration is better than the others under the same computational cost. Also, they stated that onestep SPiteration is exactly threestep Mann iteration (see Remark 2.1, [12]) and gave the following remark with regard to this.
Remark 1 [12]
In Theorem 2 [[12], Proposition 3.1] above, Phuengrattana and Suantai [9] compared the rate of convergence of the Mann, Ishikawa, Noor iterations and the SPiteration and drew the conclusion that the SPiteration is better than other iterations, the Noor iteration is better than the Ishikawa iteration, and the Ishikawa iteration is better than the Mann iteration. However, we know from [[12], Remark 2.1] that onestep SPiteration is threestep Mann iteration. Clearly, the computation cost of onestep Ishikawa iteration and onestep Noor iteration equals to that of twostep Mann iteration and threestep Mann iteration, respectively. So, it seems to be more reasonable to compare the rate of convergence of the Mann, Ishikawa and Noor iterations under the same computation cost. In this sense, from Theorem 2(iii) [[12], Proposition 3.1(iii)], the Mann iteration is better than the Ishikawa and Noor iterations.
Also, they stated in [[12], Remark 3.3] that under the same computational cost, the Mann iteration is better than the Ishikawa and Noor iterations, the Ishikawa iteration is better than the Noor iteration.
With reference to the remark above, it is more reasonable to compare the rate of convergence of the PMHiteration method and twostep Mann iteration method (denoted by MannII), which is defined by
where $\{{\alpha}_{n}\}$ and $\{{\beta}_{n}\}$ are sequences in $[0,1]$. Clearly, the computation cost of the PMH iteration equals to the MannII iteration.
Now, we give lemmas and propositions to compare the rate of convergence speed of the PMH and MannII iteration methods.
Lemma 3 Let E be a closed interval on the real line, and let $f:E\to E$ be a continuous and nondecreasing function. Let $\{{\alpha}_{n}\}$, $\{{\beta}_{n}\}$ be sequences in $[0,1)$. Let the MannII iteration $\{{u}_{n}\}$ and the PMHiteration $\{{x}_{n}\}$be defined by (3.1) and (1.5), respectively. Then the following hold:

(i)
If $f({u}_{1})<{u}_{1}$, then $f({u}_{n})<{u}_{n}$ for all $n\ge 1$ and $\{{u}_{n}\}$ is nonincreasing.

(ii)
If $f({u}_{1})>{u}_{1}$, then $f({u}_{n})>{u}_{n}$ for all $n\ge 1$ and $\{{u}_{n}\}$ is nondecreasing.

(iii)
If $f({x}_{1})<{x}_{1}$, then $f({x}_{n})\le {x}_{n}$ for all $n\ge 1$ and $\{{x}_{n}\}$ is nonincreasing.

(iv)
If $f({x}_{1})>{x}_{1}$, then $f({x}_{n})\ge {x}_{n}$ for all $n\ge 1$ and $\{{x}_{n}\}$ is nondecreasing.
Proof (i) Let $f({u}_{1})<{u}_{1}$. Then, from the definition of $\{{u}_{n}\}$, we get that $f({u}_{1})<{v}_{1}\le {u}_{1}$. Since f is nondecreasing, we have $f({v}_{1})\le f({u}_{1})<{v}_{1}\le {u}_{1}$. This implies that $f({v}_{1})<{u}_{2}\le {v}_{1}$. Since f is nondecreasing, we have $f({u}_{2})\le f({v}_{1})<{u}_{2}$. Thus, $f({u}_{2})<{u}_{2}$. Assume that $f({u}_{k})<{u}_{k}$. So, we write $f({u}_{k})<{v}_{k}\le {u}_{k}$. Again, by using that f is nondecreasing, we have $f({v}_{k})\le f({u}_{k})<{v}_{k}\le {u}_{k}$. This implies that $f({v}_{k})<{u}_{k+1}\le {v}_{k}$. Hence, $f({u}_{k+1})\le f({v}_{k})<{u}_{k+1}$. Thus, we get $f({u}_{k+1})<{u}_{k+1}$. By mathematical induction, we obtain that $f({u}_{n})<{u}_{n}$ for all $n\ge 1$. This implies that $f({u}_{n})<{v}_{n}\le {u}_{n}$. So, we can write $f({v}_{n})\le f({u}_{n})<{v}_{n}\le {u}_{n}$. From the definition of MannII, we get $f({v}_{n})<{u}_{n+1}\le {v}_{n}\le {u}_{n}$. It follows that ${u}_{n+1}\le {u}_{n}$ for all $n\ge 1$, that is, $\{{u}_{n}\}$ is nonincreasing sequence.
(ii) By using the same argument as in (i), we get the desired conclusion.
(iii) Let $f({x}_{1})<{x}_{1}$. Then, from the definition of $\{{x}_{n}\}$, we get that $f({x}_{1})<{y}_{1}\le {x}_{1}$. Since f is nondecreasing, we have $f({y}_{1})={x}_{2}\le f({x}_{1})<{y}_{1}\le {x}_{1}$. This implies that $f({x}_{2})\le f({y}_{1})$. Thus, $f({x}_{2})\le {x}_{2}$. Assume that $f({x}_{k})\le {x}_{k}$. So, we write $f({x}_{k})\le {y}_{k}\le {x}_{k}$. Since f is nondecreasing, we have $f({y}_{k})={x}_{k+1}\le f({x}_{k})\le {y}_{k}\le {x}_{k}$. This implies that $f({x}_{k+1})\le f({y}_{k})$. Thus, $f({x}_{k+1})\le {x}_{k+1}$. By mathematical induction, we obtain that $f({x}_{n})\le {x}_{n}$, for all $n\ge 1$. It follows that ${x}_{n+1}\le {x}_{n}$, for all $n\ge 1$. So, we get that $\{{x}_{n}\}$ is a nonincreasing sequence.
(iv) In a similar way as in the proof of (iii), we get the desired conclusion. □
Lemma 4 Let E be a closed interval on the real line, and let $f:E\to E$ be a continuous and nondecreasing function. Let the MannII iteration $\{{u}_{n}\}$ and the PMHiteration $\{{x}_{n}\}$ be sequences defined by (3.1), (1.5), respectively, where $\{{\alpha}_{n}\}$, $\{{\beta}_{n}\}$ are sequences in $[0,1)$. Then the following are satisfied:

(i)
If $p\in F(f)$ with ${u}_{1}>p$, then ${u}_{n}>p$ for all $n\ge 1$.

(ii)
If $p\in F(f)$ with ${u}_{1}<p$, then ${u}_{n}<p$ for all $n\ge 1$.

(iii)
If $p\in F(f)$ with ${x}_{1}>p$, then ${x}_{n}\ge p$ for all $n\ge 1$.

(iv)
If $p\in F(f)$ with ${x}_{1}<p$, then ${x}_{n}\le p$ for all $n\ge 1$.
Proof (i) Since $p\in F(f)$ with ${u}_{1}>p$, and f is nondecreasing function, we have $f({u}_{1})\ge f(p)=p$. Thus, from the definition of $\{{u}_{n}\}$, we get ${v}_{1}>p$. This implies that $f({v}_{1})\ge p$. So, we get ${u}_{2}>p$. Assume that ${u}_{k}>p$. So, we have $f({u}_{k})\ge p$. From the definition of $\{{u}_{n}\}$, we get ${v}_{k}>p$. Since f is nondecreasing, we get $f({v}_{k})\ge p$. So, we have ${u}_{k+1}>p$. By mathematical induction, we obtain that ${u}_{n}>p$ for all $n\ge 1$.
(ii) In a similar way as in the proof of (i), we get the desired conclusion.
(iii) Since $p\in F(f)$ with ${x}_{1}>p$, and f is nondecreasing function, we have $f({x}_{1})\ge f(p)=p$. Thus, from the definition of $\{{x}_{n}\}$, we get ${y}_{1}>p$. It implies that $f({y}_{1})={x}_{2}\ge p$. Assume that ${x}_{k}\ge p$. So, we have $f({x}_{k})\ge p$. From the definition of $\{{x}_{n}\}$, we have ${y}_{k}\ge p$. Since f is nondecreasing, we get $f({y}_{k})={x}_{k+1}\ge p$. By mathematical induction, we obtain that ${x}_{n}\ge p$ for all $n\ge 1$.
(iv) By using the same argument as in (iii), we get the desired conclusion. □
Lemma 5 Let E be a closed interval on the real line, and let $f:E\to E$ be a continuous and nondecreasing function. For ${u}_{1}={x}_{1}$, the MannII iteration $\{{u}_{n}\}$ and the PMHiteration $\{{x}_{n}\}$ be sequences defined by (3.1), (1.5), respectively, where $\{{\alpha}_{n}\}$, $\{{\beta}_{n}\}$ are sequences in $[0,1)$. Then the following are satisfied:

(i)
If $f({u}_{1})<{u}_{1}$, then ${x}_{n}<{u}_{n}$, for all $n\ge 1$,

(ii)
If $f({u}_{1})>{u}_{1}$, then ${x}_{n}>{u}_{n}$, for all $n\ge 1$.
Proof (i) Let $f({u}_{1})<{u}_{1}$. Since ${u}_{1}={x}_{1}$, we have $f({x}_{1})<{x}_{1}$. Using (3.1) and (1.5), we get
From the proof of Lemma 3(i), we know that $f({v}_{1}){v}_{1}=f({y}_{1}){v}_{1}<0$. This implies that
Assume that ${x}_{k}<{u}_{k}$. Since f is nondecreasing, we get $f({x}_{k})\le f({u}_{k})$. From the definition of $\{{x}_{n}\}$ and $\{{u}_{n}\}$, we get
Since f is nondecreasing, we get $f({y}_{k})\le f({v}_{k})$. On the other hand, from the proof of Lemma 3(i), we know that $f({v}_{k})<{v}_{k}$. This implies that
By mathematical induction, we obtain that ${x}_{n}<{u}_{n}$ for all $n\ge 1$.
(ii) Suppose that $f({u}_{1})>{u}_{1}$. In a similar way as in proof of (i), we can show that ${x}_{n}>{u}_{n}$, for all $n\ge 1$. □
Proposition 1 Let E be a closed interval on the real line, and let $f:E\to E$ be a continuous and nondecreasing function such that $F(f)$ is nonempty and bounded with ${x}_{1}>sup\{p\in E:p=f(p)\}$. Let $\{{\alpha}_{n}\}$, $\{{\beta}_{n}\}$ be sequences in $[0,1)$. If $f({x}_{1})>{x}_{1}$, then the sequence $\{{x}_{n}\}$ defined by (3.1) or (1.5) does not converge to a fixed point of f.
Proof By Lemma 3(ii) or (iv), $\{{x}_{n}\}$ is a nondecreasing sequence. From the hypothesis, since ${x}_{1}>sup\{p\in E:p=f(p)\}$, it is clear that $\{{x}_{n}\}$ does not converge to a fixed point of f. □
Proposition 2 Let E be a closed interval on the real line, and let $f:E\to E$ be a continuous and nondecreasing function such that $F(f)$ is nonempty and bounded with ${x}_{1}<inf\{p\in E:p=f(p)\}$. Let $\{{\alpha}_{n}\}$, $\{{\beta}_{n}\}$ be sequences in $[0,1)$. If $f({x}_{1})<{x}_{1}$, then the sequence $\{{x}_{n}\}$ defined by (3.1) or (1.5) does not converge to a fixed point of f.
Proof By Lemma 3(i) or (iii), $\{{x}_{n}\}$ is a nonincreasing sequence. From the hypothesis, since ${x}_{1}<inf\{p\in E:p=f(p)\}$, it is clear that $\{{x}_{n}\}$ does not converge to a fixed point of f. □
Theorem 3 Let E be a closed interval on the real line, and let $f:E\to E$ be a continuous and nondecreasing function such that $F(f)$ is nonempty and bounded. For ${u}_{1}={x}_{1}$, let the MannII iteration $\{{u}_{n}\}$ and the PMHiteration $\{{x}_{n}\}$ be sequences defined by (3.1), (1.5), respectively, where $\{{\alpha}_{n}\}$, $\{{\beta}_{n}\}$ are sequences in $[0,1)$. If $\{{u}_{n}\}$ converges to $p\in F(f)$, then $\{{x}_{n}\}$ converges to $p\in F(f)$. Moreover, $\{{x}_{n}\}$ is better than $\{{u}_{n}\}$.
Proof Let $U=sup\{p\in E:p=f(p)\}$ and $L=inf\{p\in E:p=f(p)\}$. Suppose that the MannII iteration $\{{u}_{n}\}$ converges to $p\in F(f)$. We shall divide our proof into three cases.
Case 1: Let $U<{u}_{1}={x}_{1}$. From Proposition 1, we get $f({x}_{1})<{x}_{1}$ and $f({u}_{1})<{u}_{1}$. It follows from Lemma 5(i) that ${x}_{n}<{u}_{n}$ for all $n\ge 1$. We note that $U<{x}_{1}$, and by using (1.5) and mathematical induction, we can show that $U\le {x}_{n}$ for all $n\ge 1$. Then we have $0\le {x}_{n}p<{u}_{n}p$, so
for all $n\ge 1$. This implies that $\{{x}_{n}\}$ converges to p. Moreover, from (3.2), it is clear that $\{{x}_{n}\}$ is better than $\{{u}_{n}\}$.
Case 2: Let $L>{u}_{1}={x}_{1}$. From Proposition 2, we get $f({x}_{1})>{x}_{1}$ and $f({u}_{1})>{u}_{1}$. This implies by Lemma 5(ii) that ${x}_{n}>{u}_{n}$ for all $n\ge 1$. We note that $L>{x}_{1}$, and by using (1.5) and mathematical induction, we can show that $L\ge {x}_{n}$ for all $n\ge 1$. Then we have ${x}_{n}p<{u}_{n}p$, that is, $\{{x}_{n}\}$ converges to p. Moreover, $\{{x}_{n}\}$ is better than $\{{u}_{n}\}$.
Case 3: Let $L\le {x}_{1}={u}_{1}\le U$. Suppose that $f({u}_{1})\ne {u}_{1}$. If $f({u}_{1})<{u}_{1}$, then from Lemma 3, we get that $\{{u}_{n}\}$ is nonincreasing with limit p. By Lemma 4(i), (iii) and Lemma 5(i), we have that $p\le {x}_{n}<{u}_{n}$ for all $n\ge 1$. So, it follows that ${x}_{n}p<{u}_{n}p$ for all $n\ge 1$. Therefore, we obtain that $\{{x}_{n}\}$ converges to p and is better than $\{{u}_{n}\}$. If $f({u}_{1})>{u}_{1}$, then from Lemma 3, we get that $\{{u}_{n}\}$ is nondecreasing with limit p. By Lemma 4(ii), (iv) and Lemma 5(ii), we have that $p\ge {x}_{n}>{u}_{n}$ for all $n\ge 1$. So, it follows that ${x}_{n}p<{u}_{n}p$ for all $n\ge 1$. Therefore, we obtain that $\{{x}_{n}\}$ converges to p. Moreover, $\{{x}_{n}\}$ is better than $\{{u}_{n}\}$. □
Remark 2 It follows from Theorem 3 and [[12], Remark 3.3] that the PMHiteration is better than the Mann, Ishikawa, Noor and SPiterations defined by (1.1), (1.2), (1.3) and (1.4), respectively, under the same computational cost.
Now, we give an example about the comparison of the rate of convergence speed of the MannII and PMHiterations for a given continuous and nondecreasing function on an arbitrary interval.
Example 1 Let $f:[0,4]\to [0,4]$ be defined by$f(x)=\frac{{x}^{2}+2\sqrt{x}+5}{8}$. Then it is clear that f is continuous and nondecreasing function with the fixed point $p=1$. In Table 1, the comparison of the convergences for the MannII and PMHiterations is given with the initial point ${u}_{1}={x}_{1}=3.4$ and the sequences ${\alpha}_{n}=\frac{1}{n+1}$, ${\beta}_{n}=\frac{1}{{n}^{2}+1}$. From Table 1, we see that the PMHiteration is better than the MannII iteration. Moreover, the sequence $\{{x}_{n}\}$ is seem to be linear convergent.
The convergence speed of iteration methods depends on the choice of the control sequences. Now, we give such a theorem only for the PMHiteration method.
Theorem 4 Let E be a closed interval on the real line, and let $f:E\to E$ be a continuous and nondecreasing function such that $F(f)$ is nonempty and bounded. Let $\{{\beta}_{n}\}$ and $\{{\beta}_{n}^{\ast}\}$ be sequences in $[0,1)$ such that ${\beta}_{n}\le {\beta}_{n}^{\ast}$ for all $n\ge 1$. Let $\{{x}_{n}\}$ and $\{{x}_{n}^{\ast}\}$ be defined by (1.5) generated by $\{{\beta}_{n}\}$ and $\{{\beta}_{n}^{\ast}\}$, respectively, and ${x}_{1}={x}_{1}^{\ast}$. If $\{{x}_{n}\}$ converges to $p\in F(f)$, then $\{{x}_{n}^{\ast}\}$ converges to $p\in F(f)$. Moreover, $\{{x}_{n}^{\ast}\}$ is better than $\{{x}_{n}\}$.
Proof Let $U=sup\{p\in E:p=f(p)\}$ and $L=inf\{p\in E:p=f(p)\}$. Suppose that $\{{x}_{n}\}$ converges to $p\in F(f)$. We shall divide our proof into three cases.
Case 1: Let $U<{x}_{1}={x}_{1}^{\ast}$. By Proposition 1, we have $f({x}_{1})<{x}_{1}$. From Lemma 3(iii), it implies that $f({x}_{n})\le {x}_{n}$ for all $n\ge 1$. Using (1.5), we obtain that $f({y}_{n})\le {y}_{n}$ for all $n\ge 1$. It follows from (1.5) that
Since f is nondecreasing function, we get $f({y}_{1}^{\ast})\le f({y}_{1})$. Thus, ${x}_{2}^{\ast}\le {x}_{2}$. Now, assume that ${x}_{k}^{\ast}\le {x}_{k}$. Since $f({x}_{k}^{\ast})\le f({x}_{k})$, we have
Therefore, ${y}_{k}^{\ast}\le {y}_{k}$, and so $f({y}_{k}^{\ast})\le f({y}_{k})$. Thus, we get ${x}_{k+1}^{\ast}\le {x}_{k}$. By mathematical induction, we have ${x}_{n}^{\ast}\le {x}_{n}$ for all $n\ge 1$. Using $U<{x}_{1}^{\ast}$ and definition of $\{{x}_{n}^{\ast}\}$, from mathematical induction, we can show that $U\le {x}_{n}^{\ast}$. Since $p\le {x}_{n}^{\ast}\le {x}_{n}$, we get ${x}_{n}^{\ast}p\le {x}_{n}p$ for all $n\ge 1$, that is, $\{{x}_{n}^{\ast}\}$ is better than $\{{x}_{n}\}$.
Case 2: Let ${x}_{1}={x}_{1}^{\ast}<L$. By Proposition 2, we get $f({x}_{1})>{x}_{1}$. As in Case 1, we can show that ${x}_{n}^{\ast}\ge {x}_{n}$ for all $n\ge 1$. Since ${x}_{1}^{\ast}<L$, by using (1.5) and mathematical induction, it is easy to see that ${x}_{n}^{\ast}\le L$. This implies that ${x}_{n}^{\ast}p\le {x}_{n}p$ for all $n\ge 1$, that is, $\{{x}_{n}^{\ast}\}$ is better than $\{{x}_{n}\}$.
Case 3: Let $L\le {x}_{1}={x}_{1}^{\ast}<U$. Assume that $f({x}_{1})\ne {x}_{1}$. If $f({x}_{1})<{x}_{1}$, then by Lemma 3(iii), $\{{x}_{n}\}$ is a nonincreasing sequence, with limit p. So, it follows from Lemma 4(iii) that $p\le {x}_{n}^{\ast}$ for all $n\ge 1$. As in Case 1, we can show that ${x}_{n}^{\ast}\le {x}_{n}$ for all $n\ge 1$. So, we have $p\le {x}_{n}^{\ast}\le {x}_{n}$. This implies that ${x}_{n}^{\ast}p\le {x}_{n}p$ for all $n\ge 1$, that is, $\{{x}_{n}^{\ast}\}$ is better than $\{{x}_{n}\}$. If $f({x}_{1})>{x}_{1}$, then by Lemma 3(iv), $\{{x}_{n}\}$ is a nondecreasing sequence, with limit p. So, it follows from Lemma 4(iv) that $p\ge {x}_{n}^{\ast}$ for all $n\ge 1$. As in Case 1, we can show that ${x}_{n}^{\ast}\ge {x}_{n}$ for all $n\ge 1$. So, we have $p\ge {x}_{n}^{\ast}\ge {x}_{n}$. This implies that ${x}_{n}^{\ast}p\le {x}_{n}p$ for all $n\ge 1$, that is, $\{{x}_{n}^{\ast}\}$ is better than $\{{x}_{n}\}$. □
Next, we present a numerical example.
Example 2 Let $f:[0,8]\to [0,8]$ be defined by $f(x)=\frac{\sqrt{8{x}^{2}+9}}{3}$. Then it is easy to see that f is continuous and nondecreasing function and has the fixed point $p=3$. Let ${\beta}_{n}=\frac{1}{{n}^{2}+1}$ and ${\beta}_{n}^{\ast}=\frac{1}{\sqrt{{n}^{2}+1}}$. It is clear that ${\beta}_{n}\le {\beta}_{n}^{\ast}$ for all $n\ge 1$. The comparison of the convergence speed for the PMHiterations with new control conditions is given in Table 2 with initial point ${x}_{1}={x}_{1}^{\ast}=7$. From Table 2, we see that $\{{x}_{n}^{\ast}\}$ is better than $\{{x}_{n}\}$.
References
 1.
Mann WR: Mean value methods in iteration. Proc. Am. Math. Soc. 1953, 4: 506–510. 10.1090/S00029939195300548463
 2.
Ishikawa S: Fixed points by a new iteration method. Proc. Am. Math. Soc. 1974, 44: 147–150. 10.1090/S00029939197403364695
 3.
Noor MA: New approximation schemes for general variational inequalities. J. Math. Anal. Appl. 2000, 251: 217–229. 10.1006/jmaa.2000.7042
 4.
Franks RL, Marzec RP: A theorem on mean value iterations. Proc. Am. Math. Soc. 1971, 30: 324–326. 10.1090/S00029939197102806569
 5.
Rhoades BE: Fixed point iterations using in finite matrices. Trans. Am. Math. Soc. 1974, 196: 161–176.
 6.
Rhoades BE: Comments on two fixed point iteration methods. J. Math. Anal. Appl. 1976, 56: 741–750. 10.1016/0022247X(76)90038X
 7.
Borwein D, Borwein J: Fixed point iterations for real functions. J. Math. Anal. Appl. 1991, 157(1):112–126. 10.1016/0022247X(91)90139Q
 8.
Qing Y, Qihou L: The necessary and sufficient condition for the convergence of ishikawa iteration on an arbitrary interval. J. Math. Anal. Appl. 2006, 323(2):1383–1386. 10.1016/j.jmaa.2005.11.058
 9.
Phuengrattana W, Suantai S: On the rate of convergence of Mann, Ishikawa, Noor and SPiterations for continuous functions on an arbitrary interval. J. Comput. Appl. Math. 2011, 235: 3006–3014. 10.1016/j.cam.2010.12.022
 10.
Khan SH: A PicardMann hybrid iterative process. Fixed Point Theory Appl. 2013. 10.1186/16871812201369
 11.
Sahu DR: Applications of S iteration process to constrained minimization problems and split feasibility problems. Fixed Point Theory 2011, 12(1):187–204.
 12.
Dong QL, He S, Liu X: Rate of convergence of Mann, Ishikawa and Noor iterations for continuous functions on an arbitrary interval. J. Inequal. Appl. 2013., 2013(1): Article ID 269 10.1186/1029242X2013269
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
IK and MO contributed equally. All authors read and approved the final manuscript.
Rights and permissions
About this article
Received
Accepted
Published
DOI
Keywords
 fixed point
 continuous function
 convergence theorems
 rate of convergence
 computational cost