- Research
- Open Access

# Fixed point problems of the Picard-Mann hybrid iterative process for continuous functions on an arbitrary interval

- Ibrahim Karahan
^{1}Email author and - Murat Ozdemir
^{2}

**2013**:244

https://doi.org/10.1186/1687-1812-2013-244

© Karahan and Ozdemir; licensee Springer. 2013

**Received:**9 July 2013**Accepted:**19 September 2013**Published:**7 November 2013

## Abstract

In this paper, we consider the iteration method called ‘Picard-Mann 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 Picard-Mann 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.

## Keywords

- fixed point
- continuous function
- convergence theorems
- rate of convergence
- computational cost

## 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.

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]$.

*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.

*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 SP-iteration 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 SP-iterations and concluded that the SP-iteration is better than the others.

*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 Picard-Mann 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 PMH-iteration 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 PMH-iteration 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 PMH*-*iteration* $\{{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

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 PMH*-*iteration* $\{{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 <b-a$, such that

*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

*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

*N*such that

- (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)

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:

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.

*n*, ${x}_{n}\le a$ or ${x}_{n}\ge b$. Since $b-a>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 PMH*-*iteration* $\{{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 PMH*-*iteration* $\{{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]

*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$.

*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 SP-iteration 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 SP*-

*iteration 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 SP*-*iteration*$\{{x}_{n}\}$*converges to*$p\in F(f)$*if and only if the Noor iteration*$\{{w}_{n}\}$*converges to**p*.*Moreover*,*the SP*-*iteration 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 one-step SP-iteration is exactly three-step 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 SP-iteration and drew the conclusion that the SP-iteration 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 one-step SP-iteration is three-step Mann iteration. Clearly, the computation cost of one-step Ishikawa iteration and one-step Noor iteration equals to that of two-step Mann iteration and three-step 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.

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 PMH*-

*iteration*$\{{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 PMH*-

*iteration*$\{{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 PMH*-

*iteration*$\{{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

*f*is nondecreasing, we get $f({x}_{k})\le f({u}_{k})$. From the definition of $\{{x}_{n}\}$ and $\{{u}_{n}\}$, we get

*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 PMH*-*iteration* $\{{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.

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 PMH-iteration is better than the Mann, Ishikawa, Noor and SP-iterations 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 PMH-iterations 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 PMH-iterations 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 PMH-iteration is better than the MannII iteration. Moreover, the sequence $\{{x}_{n}\}$ is seem to be linear convergent.

**Comparison of the convergence rate of MannII and PMH iterations for function given in Example 1**

n | MannII | PMH | ||
---|---|---|---|---|

${\mathit{u}}_{\mathit{n}}$ | ${\mathit{x}}_{\mathit{n}}$ | $\mathbf{|}\mathit{f}\mathbf{(}{\mathit{x}}_{\mathit{n}}\mathbf{)}\mathbf{-}{\mathit{x}}_{\mathit{n}}\mathbf{|}$ | $\frac{\mathbf{|}{\mathit{x}}_{\mathit{n}\mathbf{+}\mathbf{1}}\mathbf{-}\mathit{p}\mathbf{|}}{\mathbf{|}{\mathit{x}}_{\mathit{n}}\mathbf{-}\mathit{p}\mathbf{|}}$ | |

2 | 2.252017 | 1.733837 | 5.015429 | 3.057656 |

3 | 1.950999 | 1.194651 | 1.426320 | 2.652512 |

4 | 1.828521 | 1.047977 | 3.578082 | 2.464778 |

⋮ | ⋮ | ⋮ | ⋮ | ⋮ |

11 | 1.644413 | 1.000003 | 1.971259 | 2.500000 |

12 | 1.637124 | 1.000001 | 4.357587 | 2.272727 |

13 | 1.631053 | 1.000000 | 8.356982 | 2.000000 |

14 | 1.625918 | 1.000000 | 5.939428 | 0.000000 |

The convergence speed of iteration methods depends on the choice of the control sequences. Now, we give such a theorem only for the PMH-iteration 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.

*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 PMH-iterations 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}\}$.

**Comparison of the convergence rate of the PMH-iterations with the control conditions given in Example 2**

n | ${\mathit{\beta}}_{\mathit{n}}$ | ${\mathit{\beta}}_{\mathit{n}}^{\mathbf{\ast}}$ | ||
---|---|---|---|---|

${\mathit{x}}_{\mathit{n}}$ | $\mathbf{|}\mathit{f}\mathbf{(}{\mathit{x}}_{\mathit{n}}\mathbf{)}\mathbf{-}{\mathit{x}}_{\mathit{n}}\mathbf{|}$ | ${\mathit{x}}_{\mathit{n}}^{\mathbf{\ast}}$ | $\mathbf{|}\mathit{f}\mathbf{(}{\mathit{x}}_{\mathit{n}}^{\mathbf{\ast}}\mathbf{)}\mathbf{-}{\mathit{x}}_{\mathit{n}}^{\mathbf{\ast}}\mathbf{|}$ | |

2 | 6.523555 | 2.923240 | 6.460852 | 2.879644 |

3 | 6.176831 | 2.680247 | 6.053107 | 2.592325 |

⋮ | ⋮ | ⋮ | ⋮ | ⋮ |

50 | 3.018344 | 2.032705 | 3.012996 | 1.441226 |

⋮ | ⋮ | ⋮ | ⋮ | ⋮ |

98 | 3.000064 | 7.152489 | 3.000042 | 4.715360 |

99 | 3.000057 | 6.357775 | 3.000038 | 4.185547 |

100 | 3.000051 | 5.642531 | 3.000033 | 3.708715 |

## Declarations

## Authors’ Affiliations

## References

- Mann WR: Mean value methods in iteration.
*Proc. Am. Math. Soc.*1953, 4: 506–510. 10.1090/S0002-9939-1953-0054846-3View ArticleMathSciNetMATHGoogle Scholar - Ishikawa S: Fixed points by a new iteration method.
*Proc. Am. Math. Soc.*1974, 44: 147–150. 10.1090/S0002-9939-1974-0336469-5MathSciNetView ArticleMATHGoogle Scholar - Noor MA: New approximation schemes for general variational inequalities.
*J. Math. Anal. Appl.*2000, 251: 217–229. 10.1006/jmaa.2000.7042MathSciNetView ArticleMATHGoogle Scholar - Franks RL, Marzec RP: A theorem on mean value iterations.
*Proc. Am. Math. Soc.*1971, 30: 324–326. 10.1090/S0002-9939-1971-0280656-9MathSciNetView ArticleMATHGoogle Scholar - Rhoades BE: Fixed point iterations using in finite matrices.
*Trans. Am. Math. Soc.*1974, 196: 161–176.MathSciNetView ArticleMATHGoogle Scholar - Rhoades BE: Comments on two fixed point iteration methods.
*J. Math. Anal. Appl.*1976, 56: 741–750. 10.1016/0022-247X(76)90038-XMathSciNetView ArticleMATHGoogle Scholar - Borwein D, Borwein J: Fixed point iterations for real functions.
*J. Math. Anal. Appl.*1991, 157(1):112–126. 10.1016/0022-247X(91)90139-QMathSciNetView ArticleMATHGoogle Scholar - 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.058MathSciNetView ArticleMATHGoogle Scholar - Phuengrattana W, Suantai S: On the rate of convergence of Mann, Ishikawa, Noor and SP-iterations for continuous functions on an arbitrary interval.
*J. Comput. Appl. Math.*2011, 235: 3006–3014. 10.1016/j.cam.2010.12.022MathSciNetView ArticleMATHGoogle Scholar - Khan SH: A Picard-Mann hybrid iterative process.
*Fixed Point Theory Appl.*2013. 10.1186/1687-1812-2013-69Google Scholar - Sahu DR: Applications of S iteration process to constrained minimization problems and split feasibility problems.
*Fixed Point Theory*2011, 12(1):187–204.MathSciNetMATHGoogle Scholar - 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/1029-242X-2013-269MATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.