Return to Article Details An iterative method for approximating fixed points of Presić nonexpansive mappings

AN ITERATIVE METHOD FOR APPROXIMATING FIXED POINTS OF PRESIĆ NONEXPANSIVE MAPPINGS

VASILE BERINDE* and MĂDĂLINA PĂCURAR $^{†}$

Abstract

The main result of the paper unifies two important fixed point theorems published in the same year, 1965, the first one discovered independently by Browder [F.E. Browder, Nonexpansive nonlinear operators in Banach spaces, Proc. Nat. Acad. Sci. U.S.A., 54 (1965), 1041-1044], Göhde [D. Göhde, Zum Prinzip der kontraktiven Abbildung, Math. Nachr., 30 (1965), 251-258] and Kirk [W.A. Kirk, A fixed point theorem for mappings which do not increase distances, Amer. Math. Monthly, 72 (1965), 1004-1006], while the second one is due to Presić [S.B. Presić, Sur une classe d' inéquations aux différences finite et sur la convergence de certaines suites, Publ. Inst. Math. (Beograd)(N.S.), 5(19) (1965), 75-78]. In this way we show how amazingly two apparently different beautiful results in mathematics can meet after almost half a century!

MSC 2000. 47H10, 54H25.
Keywords. Banach space, Presić type contraction condition, fixed point,

k

-step iteration procedure, nonexpansive type operator.

1. INTRODUCTION

One of the most interesting generalizations of Banach's contraction mapping principle has been obtained in 1965 by S. Presić [19]:

Theorem 1 (S. Presić [19], 1965). Let

(X, d)

be a complete metric space,

k

a positive integer,

α_{1}, α_{2}, \dots, α_{k} \in R_{+}, \sum_{i = 1}^{k} α_{i} = α < 1

and

f : X^{k} \to X a

mapping satisfying

\begin{matrix} (1.1) & d (f (x_{0}, \dots, x_{k - 1}), f (x_{1}, \dots, x_{k})) \leq α_{1} d (x_{0}, x_{1}) + \dots + α_{k} d (x_{k - 1}, x_{k}), \end{matrix}

for all

x_{0}, \dots, x_{k} \in X

.
Then:

$f$ has a unique fixed point $x^{*}$ , that is, there exists a unique $x^{*} \in X$ such that $f (x^{*}, \dots, x^{*}) = x^{*}$ ;
the sequence ${x_{n}}_{n \geq 0}$ defined by

\begin{matrix} (1.2) & x_{n + 1} = f (x_{n - k + 1}, \dots, x_{n}), n = k - 1, k, k + 1, \dots \end{matrix}

converges to

x^{*}

, for any

x_{0}, \dots, x_{k - 1} \in X

.
It is easy to see that, in the particular case

k = 1

, from Theorem 1 we get exactly the well-known contraction mapping principle of Banach, while the

k

-step iterative method (1.2) reduces to the one step method of successive approximations for the self-mapping

f : X \to X

, i.e., to

\begin{matrix} (1.3) & x_{n + 1} = f (x_{n}), n = 0, 1, 2, 3, \dots, \end{matrix}

also known as Picard iteration.
For this reason, in this paper, a mapping satisfying the contraction condition (1.1) in Theorem 1 will be called a Presić contraction.

Theorem 1 and other similar results, like the ones in [5], 14, 15, [21], have important applications in the iterative solution of nonlinear equations, see [17] and [18, as well as in the study of global asymptotic stability of the equilibrium for nonlinear difference equations, see the very recent paper 3 .

An important generalization of Theorem 1 was proved in I.A. Rus [21], see also [22], for operators

f

fulfilling the more general condition

\begin{matrix} (1.4) & d (f (x_{0}, \dots, x_{k - 1}), f (x_{1}, \dots, x_{k})) \leq φ (d (x_{0}, x_{1}), \dots, d (x_{k - 1}, x_{k})) \end{matrix}

for any

x_{0}, \dots, x_{k} \in X

, where

φ : R_{+}^{k} \to R_{+}

satisfies certain conditions.
Another important generalization of Presić's result was recently obtained by L. Cirić and S. Presić in [5], where, instead of 1.1 and its generalization (1.4), the following contraction condition is considered:

\begin{matrix} (1.5) & d (f (x_{0}, \dots, x_{k - 1}), f (x_{1}, \dots, x_{k})) \leq λ max {d (x_{0}, x_{1}), \dots, d (x_{k - 1}, x_{k})} \end{matrix}

for any

x_{0}, \dots, x_{k} \in X

, where

λ \in (0, 1)

.
Other general Presić type fixed point results have been very recently obtained by the second author in [13]-[16].

The main result in [14] is the following fixed point theorem.
Theorem 2. Let

(X, d)

be a complete metric space,

k

a positive integer,

a \in R

a constant such that

0 \leq a k (k + 1) < 1

and

f : X^{k} \to X

an operator satisfying the following condition:

\begin{matrix} (1.6) & d (f (x_{0}, \dots, x_{k - 1}), f (x_{1}, \dots, x_{k})) \leq a \sum_{i = 0}^{k} d (x_{i}, f (x_{i}, \dots, x_{i})) \end{matrix}

for any

x_{0}, x_{1}, \dots, x_{k} \in X

. Then

$f$ has a unique fixed point $x^{*}$ , that is, there exists a unique $x^{*} \in X$ such that $f (x^{*}, \dots, x^{*}) = x^{*}$ ;
the sequence ${y_{n}}_{n \geq 0}$ defined by $y_{n + 1} = f (y_{n}, y_{n}, \dots, y_{n}), n \geq 0$ , converges to $x^{*}$ ;
the sequence ${x_{n}}_{n \geq 0}$ with $x_{0}, \dots, x_{k - 1} \in X$ and $x_{n} = f (x_{n - k}, x_{n - k + 1}$ , $\dots, x_{n - 1}), n \geq k$ , also converges to $x^{*}$ , with a rate estimated by:

d (x_{n + 1}, x^{*}) \leq M θ^{n}, n \geq 0

for a positive constant

M

and a certain

θ \in (0, 1)

.
Notice that the proofs of the main results in [13]-19] for mappings

f

X^{k} \to X

are essentially based on some known (common) fixed point theorems for usual Banach contractions and, respectively, Kannan type contractions of the form

F : X \to X

Some important results related to Presić contractions and their applications to multi-step iterative methods have been obtained in [17] and [18].

As nonexpansive mappings are obvious generalizations of usual contraction mappings

f : X \to X

, it is the main aim of this paper to obtain Presić fixed point theorems for nonexpansive type mappings of the form

f : X^{k} \to X

To this end we shall present in the next section a brief introduction to fixed point theory for nonexpansive mappings.

2. BASIC FIXED POINT THEORY FOR NONEXPANSIVE MAPPINGS

Let

(X, d)

be a metric space. A mapping

T : X \to X

is said to be an

α

-contraction if there exists

α \in [0, 1)

such that

\begin{matrix} (2.1) & d (T x, T y) \leq α d (x, y), \forall x, y \in X . \end{matrix}

In the case

α = 1

in (2.1),

T

is said to be nonexpansive.
Nonexpansive mappings, although are generalizations of contractions, do not inherit more from contraction mappings. More precisely, if

K

is a nonempty closed subset of a Banach space

E

and

T : K \to K

is nonexpansive, it is known, see [1], that

T

may not have a fixed point (unlike the case when

T

α

-contraction), see the examples in 7 .

Even in the cases when

T

has a fixed point, the Picard iteration associated to

T

may fail to converge to the fixed point.

For the above and many other reasons, a much more richer geometrical structure of the ambient space is needed in order to ensure the existence of a fixed point and / or the convergence of an iterative method (generally more elaborated than Picard iteration) to a fixed point of a nonexpansive mapping

T

Definition 3. A normed linear space is called uniformly convex if, for any

ϵ \in (0, 2]

, there exists

δ = δ (ϵ) > 0

such that if

x, y \in E

with

‖ x ‖ = ‖ y ‖ = 1

and

‖ x - y ‖ \geq ϵ

, then

‖ \frac{1}{2} (x + y) ‖ \leq 1 - δ

Definition 4. A normed linear space is called strictly convex if, for all

x, y \in E, x \neq y, ‖ x ‖ = ‖ y ‖ = 1

, we have

‖ λ x + (1 - λ) y ‖ < 1, \forall λ \in (0, 1)

If we denote by

S_{r} (a)

the sphere centered at

a

E

with radius

r

, that is,

S_{r} (a) = {x \in E : ‖ x - a ‖ = r}

then

E

is uniformly convex, see [7] if, for any two distinct points

x, y

on the unit sphere centered at origin, the midpoint of the line segment joining

x

and

y

is never on the sphere but is close to sphere only if

x

and

y

are closed enough to each other.

Similarly,

E

is strictly convex if, for any two distinct points

x, y

on the unit sphere centered at origin, any point of the line segment joining

x

and

y

is never on the sphere, except for its endpoints.

Remark 5. Similar to the considerations above, it follows that any uniformly convex space is strictly convex. The converse is generally not true, see for example [7].

We can now formulate one of the most influential fixed point theorems for nonexpansive mappings, which was discovered independently by F.E. Browder, D. Göhde and W.A. Kirk in 1965, cf. [2, [8], [10].

Theorem 6. Let

K

be a nonempty closed convex and bounded subset of a uniformly Banach space

E

and let

T : K \to K

be a nonexpansive mapping. Then

T

has a fixed point.

Remark 7. Under the assumptions of Theorem 6, no information on the approximation of the fixed points of

T

is available. Actually, Picard iteration does not resolve this situation, in general. Due to this fact, for the class of nonexpansive mappings other fixed point iteration procedures have been considered, see 1 and 4 . The two most usual ones are defined in the following.

Let

K

be a convex subset of a normed linear space

E

and let

T : K \to K

be a mapping. For

x_{0} \in K

and

λ \in [0, 1]

the sequence

{x_{n}}

defined by

\begin{matrix} (2.2) & x_{n + 1} = (1 - λ) x_{n} + λ T x_{n}, n = 0, 1, 2, \dots \end{matrix}

is usually called Krasnoselskij iteration, or Krasnoselskij-Mann iteration. Clearly, (2.2) reduces to the Picard iteration (1.3) for

λ = 1

For

x_{0} \in K

the sequence

{x_{n}}

defined by

\begin{matrix} (2.3) & x_{n + 1} = (1 - λ_{n}) x_{n} + λ_{n} T x_{n}, n = 0, 1, 2, \dots \end{matrix}

where

{λ_{n}} \subset [0, 1]

is a sequence of real numbers satisfying some appropriate conditions, is called Mann iteration.

It was shown by Krasnoselskij [11], in the case

λ = 1 / 2

, and then by Schaefer [24], for

λ \in (0, 1)

arbitrary, that if

E

is a uniformly convex Banach space and

K

is a convex and compact subset of

E

(and so having the set of fixed points nonempty, by Theorem (6), then the Krasnoselskij iteration converges to a fixed point of

T

Moreover, Edelstein [6] proved that strict convexity of

E

suffices for the same conclusion, see also [4].

The question of whether strict convexity can be removed or not has been practically answered in the affirmative by Ishikawa [9], who proved the following result.

Theorem 8. Let

K

be a subset of a Banach space

E

and let

T : K \to K

be a nonexpansive mapping. For arbitrary

x_{0} \in K

, consider the Mann iteration process

{x_{n}}

given by (2.3) under the following assumptions
(a)

x_{n} \in K

for all positive integers;
(b)

0 \leq λ_{n} \leq b < 1

for all positive integers;
(c)

\sum_{n = 0}^{\infty} λ_{n} = \infty

{x_{n}}

is bounded, then

x_{n} - T x_{n} \to 0

n \to \infty

.
The following corollaries of Theorem 8 will be particularly important for our considerations in the paper.

Corollary 9. [4, Th. 6.17] Let

K

be a convex and compact subset of a Banach space

E

and let

T : K \to K

be a nonexpansive mapping. If the Mann iteration process

{x_{n}}

given by (2.3) satisfies assumptions (a)-(c) in Theorem 8 then

{x_{n}}

converges strongly to a fixed point of

T

Corollary 10. (4), Corollary 6.19) Let

K

be a closed bounded convex subset of a real normed space

E

, and let

T : K \to K

be a nonexpansive mapping. If

I - T

maps closed bounded subsets of

E

into closed subsets of

E

and

{x_{n}}

is the Mann iteration defined by (2.3), with

{λ_{n}}

satisfying assumptions (b)-(c) in Theorem 8, then

{x_{n}}

converges strongly to a fixed point of

T

K

3. APPROXIMATING FIXED POINTS OF PRESIĆ NONEXPANSIVE OPERATORS

Definition 11. Let

(X, d)

be a metric space,

k

a positive integer and

α_{1}, α_{2}, \dots, α_{k} \in R_{+}

such that

\sum_{i = 1}^{k} α_{i} = α \leq 1

. A mapping

f : X^{k} \to X

satisfying

\begin{matrix} (3.1) & d (f (x_{0}, \dots, x_{k - 1}), f (x_{1}, \dots, x_{k})) \leq \sum_{i = 1}^{k} α_{i} d (x_{i - 1}, x_{i}) \end{matrix}

for all

x_{0}, \dots, x_{k} \in X

, is called a Presić nonexpansive operator.
Since in Definition 11 the constant

α

is allowed to be less or equal to 1 , we can see that the class of Presić nonexpansive operators strictly includes the
class of Presíc contractions appearing in Theorem 1. Also note that in the case of a normed linear space

X

, condition will be

\begin{matrix} (3.2) & ‖ f (x_{0}, \dots, x_{k - 1}) - f (x_{1}, \dots, x_{k}) ‖ \leq \sum_{i = 1}^{k} α_{i} ‖ x_{i - 1} - x_{i} ‖ \end{matrix}

which, in the case

k = 1

, reduces to the Banach's contractive condition (2.1), if

α < 1

, and to the nonexpansiveness condition if

α = 1

The next theorem is our main result in this paper.
Theorem 12. Let

C

be a nonempty closed convex and bounded subset of a uniformly Banach space

E, k

a positive integer, and let

f : C^{k} \to C

be a Presić nonexpansive mapping. Then

f

has a fixed point

x^{*}

C

, that is, there exists

x^{*} \in C

such that

f (x^{*}, \dots, x^{*}) = x^{*}

Proof. Let

F : C \to C

, be defined by

F (x) = f (x, x, \dots, x), x \in C

. For any

x, y \in C

one has:

\begin{aligned} ‖ F (x) - F (y) ‖ = & ‖ f (x, x, \dots, x) - f (y, y, \dots, y) ‖ \\ \leq & ‖ f (x, \dots, x) - f (x, \dots, x, y) ‖ + \\ + ‖ f (x, \dots, x, y) - f (x, \dots, x, y, y) ‖ + \\ + \dots + ‖ f (x, y, \dots, y) - f (y, \dots, y) ‖ \end{aligned}

By (3.2) it follows that

\begin{aligned} ‖ f (x, x, \dots, x) - f (x, \dots, x, y) ‖ & \leq α_{k} \cdot ‖ x - y ‖ \\ ‖ f (x, \dots, x, y) - f (x, \dots, x, y, y) ‖ & \leq α_{k - 1} \cdot ‖ x - y ‖ \\ \dots \\ ‖ f (x, y, \dots, y) - f (y, \dots, y) ‖ & \leq α_{1} \cdot ‖ x - y ‖ \end{aligned}

and hence

‖ F (x) - F (y) ‖ \leq α_{k} \cdot ‖ x - y ‖ + α_{k - 1} \cdot ‖ x - y ‖ + \dots + α_{1} \cdot ‖ x - y ‖

Using the fact that

\sum_{i = 1}^{k} α_{i} = α \leq 1

, we get

‖ F (x) - F (y) ‖ \leq α \cdot ‖ x - y ‖ \leq ‖ x - y ‖,

which shows that

F

is nonexpansive. Now we apply the Browder-Göhde-Kirk fixed point theorem (Theorem 6) to

F

to get the conclusion of the theorem.

Remark 13. Note that Theorem 12 is a generalization of Theorem 1 and that, in the particular case

k = 1

, Theorem 12 reduces to Theorem 6. As in the case of Theorem 6, a Presić nonexpansive mapping

f

has generally more than one fixed point. The next example gives a Presić nonexpansive mapping

f

whose set of fixed points is an interval and also shows that Theorem 12 is an effective generalization of Theorem 1 .

Example 14. Let [ 0,1 ] be the unit interval with the usual Euclidian norm and let

f : [0, 1] \times [0, 1] \to [0, 1]

be given by

f (x, y) = \frac{x + y}{2}

, for all

x, y \in [0, 1]

Then: a)

f

is Presić nonexpansive b)

f

is not a Presić contraction.
Proof. a) In this case (

k = 2

), the Presić nonexpansive condition (3.2) reads as follows: there exist

α_{1}, α_{2} \in R_{+}

with

α_{1} + α_{2} = α \leq 1

such that for all

x_{0}, x_{1}, x_{2} \in [0, 1]

\begin{matrix} (3.3) & | f (x_{0}, x_{1}) - f (x_{1}, x_{2}) | \leq α_{1} | x_{0} - x_{1} | + α_{2} | x_{1} - x_{2} | \end{matrix}

By the definition of

f

, (3.3) becomes

| \frac{x_{0} - x_{2}}{2} | \leq α_{1} | x_{0} - x_{1} | + α_{2} | x_{1} - x_{2} |

which obviously holds for

α_{1} = α_{2} = \frac{1}{2}

, in view of the triangle inequality.
b) The Presić contraction condition (1.1) will be in this case: there exist

α_{1}, α_{2} \in R_{+}

with

α_{1} + α_{2} < 1

such that for all

x_{0}, x_{1}, x_{2} \in [0, 1]

\begin{matrix} (3.4) & | f (x_{0}, x_{1}) - f (x_{1}, x_{2}) | \leq α_{1} | x_{0} - x_{1} | + α_{2} | x_{1} - x_{2} | \end{matrix}

We shall prove now that we can find a triple

x_{0}, x_{1}, x_{2} \in [0, 1]

for which 3.4 cannot be true under the strict inequality

α_{1} + α_{2} < 1

Indeed, let

x_{0} = 1, x_{2} = 0

and

x_{1} = x \in [0, 1]

, when condition (3.4) becomes

\begin{matrix} (3.5) & \frac{1}{2} - α_{1} \leq (α_{2} - α_{1}) x \end{matrix}

We have to discuss tree cases.
Case 1.

α_{2} - α_{1} > 0

. Then by (3.5),

\begin{matrix} (3.6) & x \geq \frac{\frac{1}{2} - α_{1}}{α_{2} - α_{1}} \end{matrix}

x \in [0, 1]

, the inequality (3.6) holds for all

x

only if

\frac{\frac{1}{2} - α_{1}}{α_{2} - α_{1}} \leq 0

which implies that

α_{1} \geq \frac{1}{2}

. Since

α_{2} > α_{1}

, we conclude that

α_{1} + α_{2} > 1

, which contradicts the contraction condition

α_{1} + α_{2} < 1

Case 2.

α_{2} - α_{1} = 0

. Then by 3.5 we get

α_{1} \geq \frac{1}{2}

which shows that

α_{1} + α_{2} = 2 α_{1} \geq 1

, which again contradicts

α_{1} + α_{2} < 1

Case 3.

α_{2} - α_{1} < 0

. Then by 3.5 we obtain

\begin{matrix} (3.7) & x \leq \frac{\frac{1}{2} - α_{1}}{α_{2} - α_{1}} = \frac{α_{1} - \frac{1}{2}}{α_{1} - α_{2}} \end{matrix}

Having in view the fact that

x \in [0, 1]

, the inequality (3.7) holds for all

x

only if

\frac{α_{1} - \frac{1}{2}}{α_{1} - α_{2}} \geq 1

which implies

α_{2} \geq \frac{1}{2}

. Since

α_{1} > α_{2}

, we obtain that

α_{1} + α_{2} > 1

, a contradiction. Therefore

f

is not a Presić contraction.

An indirect proof of part b) easily follows by Theorem 1 and the fact that

Fix (f) = [0, 1]

Theorem 12 ensures merely the existence of a fixed point of

f

. We can further obtain a method for approximating the fixed point of Presić nonexpansive mappings

f

, as in the next two theorems.

Theorem 15. Let

C

be a convex and compact subset of a Banach space

E

k

a positive integer, and let

f : C^{k} \to C

be a Presić nonexpansive mapping. If the sequence

{λ_{n}}

satisfies assumptions (b)-(c) in Theorem 8, then the Mann type iteration process

{x_{n}}

defined by

x_{0} \in C

and

\begin{matrix} (3.8) & x_{n + 1} = (1 - λ_{n}) x_{n} + λ_{n} f (x_{n}, x_{n}, \dots, x_{n}), n = 0, 1, 2, \dots \end{matrix}

converges strongly to a fixed point of

f

, that is, to a point

x^{*} \in C

for which

f (x^{*}, \dots, x^{*}) = x^{*}

Proof. We use the same arguments as in the proof of Theorem 12 to show that the mapping

F : C \to C

given by

F (x) = f (x, x, \dots, x), x \in C

is nonexpansive. Then apply Corollary 9 to get the conclusion.

Theorem 16. Let

E

be a real normed space,

C

a closed bounded convex subset of

E, k

a positive integer, and let

f : C^{k} \to C

be a Presić nonexpansive mapping. If

T

given by

T (x) = x - f (x, x, \dots, x)

maps closed bounded subsets of

E

into closed subsets of

E

and

{x_{n}}

is the Mann iteration defined by (3.8), with

{λ_{n}}

satisfying assumptions (b)-(c) in Theorem 8, then

{x_{n}}

converges strongly to a fixed point of

f

C

Proof. We use similar arguments to those in the proof of Theorem 12 to show that the mapping

F : C \to C

given by

F (x) = f (x, x, \dots, x), x \in C

is nonexpansive. Then apply Corollary 10 to get the conclusion.

4. CONCLUSIONS AND AN OPEN PROBLEM

Note that in the proof of Theorem 12 we basically used Theorem 6. Due to this fact Theorem 12 is, strictly speacking, not a generalization of Theorem 6, but we can give a direct proof of the former which actually follows the main steps of the latter.

It was shown, see Theorem 1 and 2 as well as the related results in [5], [13]-[16], that if

f

is Presić contraction or a Presić-Kannan contraction and so on, then a

k

-step iterative method

{x_{n}}_{n \geq 0}

defined by

x_{0}, \dots, x_{k - 1} \in X

and

x_{n} = f (x_{n - k}, x_{n - k + 1}, \dots, x_{n - 1}), n \geq k

can be used to approximate the unique solution

x^{*}

of the equation

x = f (x, \dots, x)

On the other hand, the Mann type iteration process

{x_{n}}

given by (3.8), that is

x_{n + 1} = (1 - λ_{n}) x_{n} + λ_{n} f (x_{n}, x_{n}, \dots, x_{n}), n = 0, 1, 2, \dots

used in Theorems 15 and 16 to approximate a solution

x^{*}

of the equation

x = f (x, \dots, x)

for Presić nonexpansive mappings

f

, is a one step iterative method.

The following question then naturally arises: is it still possible to approximate the fixed points in Theorems 12, 15 and 16, by means of a

k

-step iterative method of the form

x_{n} = (1 - λ_{n}) x_{p} + λ_{n} f (x_{n - k}, x_{n - k + 1}, \dots, x_{n - 1}), n \geq k,

where

n - 1 \leq p \leq n - k

REFERENCES

[1] Berinde, V., Iterative Approximation of Fixed Points, 2nd Ed., Springer Verlag, Berlin Heidelberg New York, 2007.
[2] Browder, F.E., Nonexpansive nonlinear operators in Banach spaces, Proc. Nat. Acad. Sci. U.S.A., 54, pp. 1041-1044, 1965.
[3] Chen, Yong-Zhuo, A Presic' type contractive condition and its applications, Nonlinear Anal., 2009 (in press).
[4] Chidume, C.O., Geometric Properties of Banach Spaces and Nonlinear Iterations, Springer Verlag, Berlin Heidelberg New York, 2009.
[5] Cirić, L.B. and Presić, S.B., On Presić type generalization of the Banach contraction mapping principle, Acta Math. Univ. Comenianae, 76, No. 2, pp. 143-147, 2007.
[6] Edelstein, M., A remark on a theorem of M. A. Krasnoselski, Amer. Math. Monthly, 73, pp. 509-510, 1966.
[7] Goebel, K. and Kirk, W.A., Topics in Metric Fixed Point Theory. Cambridge University Press, Cambridge, 1990.
[8] Göhde, D., Zum Prinzip der kontraktiven Abbildung, Math. Nachr., 30, pp. 251-258, 1965.
[9] Ishikawa, S., Fixed points and iteration of a nonexpansive mapping in a Banach space, Proc. Amer. Math. Soc., 59, No. 1, pp. 65-71, 1976.
[10] Kırk, W.A., A fixed point theorem for mappings which do not increase distances, Amer. Math. Monthly, 72, pp. 1004-1006, 1965.
[11] Krasnoselskij, M.A., Two remarks on the method of successive approximations (Russian), Uspehi Mat. Nauk., 10, No. 1 (63), pp. 123-127, 1955.
[12] Păcurar, M., An approximate fixed point proof of the Browder-Gohde-Kirk fixed point theorem, Creative Math. Inf., 17, pp. 43-47, 2008.
[13] __, Iterative Methods for Fixed Point Approximation, PhD Thesis, "Babeş-Bolyai" University, Cluj-Napoca, 2009.
[14] __, A multi-step iterative method for approximating fixed points of Presić-Kannan operators, Acta Math. Univ. Comen. 79, No. 1, pp. 77-88, 2010.
[15] __ , Approximating common fixed points of Presić-Kannan type operators by a multistep iterative method, An. Şt. Univ. Ovidius Constanţa 17, No. 1, pp. 153-168, 2009.
[16] __, A multi-step iterative method for approximating common fixed points of PresićRus type operators on metric spaces, Studia Univ. Babeş-Bolyai Math., 55, No.1, pp. 149-162, 2010.
[17] Păvăloiu, I., Rezolvarea ecuatiilor prin interpolare, Editura Dacia, Cluj-Napoca, 1981.
[18] _and Pop, N., Interpolare şi aplicaţii, Risoprint, Cluj-Napoca, 2005.
[19] Presić, S.B., Sur une classe d' inéquations aux différences finites et sur la convergence de certaines suites, Publ. Inst. Math. (Beograd)(N.S.), 5(19), pp. 75-78, 1965.
[20] Rus, I.A., Principii şi aplicaţii ale teoriei punctului fix, Editura Dacia, Cluj-Napoca, 1979.
[21] _ An iterative method for the solution of the equation

x = f (x, \dots, x)

, Rev. Anal. Numer. Theor. Approx., 10, No.1, pp. 95-100, 1981. ㅁ

[22]

, An abstract point of view in the nonlinear difference equations, Conf. on An., Functional Equations, App. and Convexity, Cluj-Napoca, October 15-16, pp. 272-276, 1999.
[23], Generalized Contractions and Applications, Cluj University Press, Cluj-Napoca, 2001.
[24] Schaefer, H., Uber die Methode sukzessiver Approximationen, Jahresber. Deutsch. Math. Verein., 59, pp. 131-140, 1957.

*Department of Mathematics and Computer Science, Faculty of Sciences, Northern University of Baia Mare, Victoriei 76, 430122 Baia Mare, ROMANIA, e-mail: vberinde@ubm.ro; vasile_berinde@yahoo.com.
$^{†}$ Department of Statistics, Forecast and Mathematics, Faculty of Economics and Bussiness Administration, "Babeş-Bolyai" University of Cluj-Napoca, 58-60 T. Mihali St., 400591 Cluj-Napoca, ROMANIA, e-mail: madalina.pacurar@econ.ubbcluj.ro; madalina_pacurar@yahoo.com.