Home Convergence and stability of generalized φ-weak contraction mapping in CAT(0) spaces
Article Open Access

Convergence and stability of generalized φ-weak contraction mapping in CAT(0) spaces

  • Kyung Soo Kim EMAIL logo
Published/Copyright: September 6, 2017

Abstract

The aim of this paper is to prove some fixed point results for generalized φ-weak contraction mapping and study a new concept of stability which is called comparably almost T-stable by using iterative schemes in CAT(0) spaces.

MSC 2010: 54H25; 34D30; 54E35; 47H09; 47H10

1 Introduction and preliminaries

Let (X, d) be a metric space. A mapping T : XX is a contraction if there exists a constant α ∈ (0, 1) such that

d(Tx,Ty)αd(x,y),x,yX.

A mapping T : XX is a φ-weak contraction if there exists a continuous and nondecreasing function φ : [0, ∞) → [0, ∞) with φ−1(0) = {0} and limt→∞φ(t) = ∞ such that

d(Tx,Ty)d(x,y)φ(d(x,y)),x,yX. (1)

If X is bounded, then the infinity condition can be omitted.

The concept of the φ-weak contraction was introduced by Alber and Guerre-Delabriere [1] in 1997, who proved the existence of fixed points in Hilbert spaces. Later Rhoades [2] in 2001 extended the results of [1] to metric spaces.

Theorem l.1

([2]). Let (X, d) be a complete metric space, T : XX be a φ-weak contractive self-map on X. T has a unique fixed point p in X.

Remark 1.2

Theorem 1.1 is one of generalizations of the Banach contraction principle because it takes φ(t) = (1 − α)t for α ∈ (0, 1), then φ-weak contraction contains contraction as special cases.

In 2016, Xue [3] introduced a new contraction type mapping as follows.

Definition 1.3

([3]). A mapping T : XX is a generalized φ-weak contraction if there exists a continuous and nondecreasing function φ : [0, ∞) → [0, ∞) with φ(0) = 0 such that

d(Tx,Ty)d(x,y)φ(d(Tx,Ty)),x,yX (2)

holds.

We notice immediately that if T : XX is φ-weak contraction, then T satisfies the following inequality

d(Tx,Ty)d(x,y)φ(d(Tx,Ty)),x,yX.

However, the converse is not true in general.

Example 1.4

([4]). Let X = (−∞, + ∞) be endowed with the Euclidean metric d(x, y) = |xy| and let Tx=25x for each xX. Define φ(t) : [0, +∞) → [0, +∞) by φ(t)=43t. Then T satisfies (2), but T does not satisfy inequality (1). Indeed,

d(Tx,Ty)=|25x25y||xy|4325|xy|=d(x,y)φ(d(Tx,Ty))

and

d(Tx,Ty)=|25x25y||xy|43|xy|=d(x,y)φ(d(x,y))

for all x, yX.

Example 1.5

([3]). Let X = [0, +∞) be endowed by d(x, y) = |xy| and let Tx=x1+x for each xX. Define φ : [0, +∞) → [0, +∞) by φ(t)=t21+t. Then

d(Tx,Ty)=|x1+xy1+y|=|xy|(1+x)(1+y)|xy|1+|xy|=|xy||xy|21+|xy|=d(x,y)φ(d(x,y))

holds for all x, yX. So T is a φ-weak contraction. However, T is not a contraction.

Remark 1.6

The above examples show that the class of generalized φ-weak contractions properly includes the class of φ-weak contractions and the class of φ-weak contractions properly includes the class of contractions. In fact, let T : XX be a contraction, there exists α ∈ (0, 1) such that

d(Tx,Ty)αd(x,y),x,yX.

Then

d(Tx,Ty)αd(x,y)=d(x,y)(1α)d(x,y)=d(x,y)φ(d(x,y)),

where, φ(d(x, y)) = (1 −, α)d(x, y) . So, T is a φ-weak contraction. Moreover, let T be a φ-weak contraction, from property of φ, we have d(Tx, Ty) ≤ d(x, y) and

φ(d(Tx,Ty))φ(d(x,y)),

From (1),

d(Tx,Ty)d(x,y)φ(d(x,y))d(x,y)φ(d(Tx,Ty)),x,yX.

Therefore, T is a generalized φ-weak contraction.

In the meantime, if T is a φ-weak contractive self mapping for one mapping φ so we do not expect that the φ-weak contractivity should be satisfied with the same function φ. Let us suppose that T is a φ-weak contractive self mapping and consider

φ~(x)=min{φ(x/2);x/2}.

Then, if d(Tx,Ty)>12d(x,y), we have

d(Tx,Ty)d(x,y)φ(d(Tx,Ty))d(x,y)φ(12d(x,y))

on account of monotonocity of φ and finally

d(Tx,Ty)d(x,y)φ~(d(x,y)).

On the other hand, if d(Tx,Ty)<12d(x,y), we get

d(Tx,Ty)<d(x,y)12d(x,y)d(x,y)φ~(d(x,y)).

So T is just the φ~ -weak contractive mapping. The continuity and monotonocity of φ~ follows directly from properties of min function, φ and the metric.

One of the most interesting aspects of metric fixed point theory is to extend a linear version of known result to the nonlinear case in metric spaces. To achieve this, Takahashi [5] introduced a convex structure in a metric space (X, d). A mapping W : X × X × [0, 1] → X is a convex structure in X if

d(u,W(x,y,λ))λd(u,x)+(1λ)d(u,y)

for all x, yX and λ ∈ [0, 1]. A metric space with a convex structure W is known as a convex metric space which is denoted by (X, d, W). A nonempty subset K of a convex metric space is said to be convex if

W(x,y,λ)K

for all x, yK and λ ∈ [0, 1]. In fact, every normed linear space and its convex subsets are convex metric spaces but the converse is not true, in general (see, [5]).

Example 1.7

([6]). Let X = {(x1, x2) ∈ ℝ2 : x1 > 0, x2 > 0. For all x = (x1, x2), y = (y1, y2) ∈ X and λ ∈ [0, 1]. We define a mapping W : X × X × [0, 1] → X by

W(x,y,λ)=(λx1+(1λ)y1,λx1x2+(1λ)y1y2λx1+(1λ)y1)

and define a metric d : X × X → [0, ∞) by

d(x,y)=|x1y1|+|x1x2y1y2|.

Then we can show that (X, d, W) is a convex metric space but not a normed linear space.

A metric space X is a CAT(0) space. This term is due to M. Gromov [7] and it is an acronym for E. Cartan, A.D. Aleksandrov and V.A. Toponogov. If X is geodesically connected, then every geodesic triangle in X is at least as ‘thin’ as its comparison triangle in the Euclidean plane (see, e.g., [8, p.159]). It is well known that any complete, simply connected Riemannian manifold nonpositive sectional curvature is a CAT(0) space. The precise definition is given below. For a thorough discussion of these spaces and of the fundamental role they play in various branches of mathematics, see Bridson and Haefliger [8] or Burago et al. [9].

Let (X, d) be a metric space. A geodesic path joining xX to yX (or, more briefly, a geodesic from x to y) is a mapping c from a closed interval [0, l] ⊂ ℝ to X such that c(0) = x, c(l) = y, and d(c(t), c(t′)) = |tt′| for all t, t′ ∈ [0, l]. In particular, c is an isometry and d(x, y) = l. The image α of c is called a geodesic (or, metric) segment joining x and y. When it is unique, this geodesic is denoted by [x, y]. The space (X, d) is said to be a geodesic space if every two points of X are joined by a geodesic, and X is said to be uniquely geodesic if there is exactly one geodesic joining x and y for each x, yX. A subset YX is said to be convex if Y includes every geodesic segment joining any two of its points.

A geodesic triangle Δ (x1, x2, x3) is a geodesic metric space (X, d) consisting of three points x1, x2, x3X (the vertices of Δ) and a geodesic segment between each pair of vertices (the edges of Δ). A comparison triangle for the geodesic triangle Δ (x1, x2, x3) in (X, d) is a triangle Δ(x1, x2, x3) = Δ (x1, x2, x3) in ℝ2 such that d2(xi, xj) = d(xi, xj) for i, j ∈ {1, 2, 3}. Such a triangle always exists (see, [8]).

A geodesic metric space is said to be a CAT(0) space if all geodesic triangles of appropriate size satisfy the following CAT(0) comparison axiom.

Let Δ be a geodesic triangle in X and let Δ ⊂ ℝ2 be a comparison triangle for Δ. Then Δ is said to satisfy the CAT(0) inequality if for all x, y ∈ Δ and all comparison points x, yΔ,

d(x,y)d(x¯,y¯).

Complete CAT(0) spaces are often called Hadamard spaces (see, [10]). If x, y1, y2 are points of a CAT(0) space and if y0 is the midpoint of the segment [y1, y2], which we will denote by y1y22, then the CAT(0) inequality implies

d2(x,y1y22)12d2(x,y1)+12d2(x,y2)14d2(y1,y2).

This inequality is the (CN) inequality of Bruhat and Tits [11]. In fact, a geodesic space is a CAT(0) space if and only if it satisfies the (CN) inequality (cf. [8, p.163]). The above inequality has been extended by [12] as

d2(z,αx(1α)y)αd2(z,x)+(1α)d2(z,y)α(1α)d2(x,y), (CN*)

for any α ∈ [0, 1] and x, y, zX.

Let us recall that a geodesic metric space is a CAT(0) space if and only if it satisfies the (CN) inequality (see, [8, p.163]). Moreover, if X is a CAT(0) metric space and x, yX, then for any α ∈ [0, 1], there exists a unique point α x ⊕ (1 − α)y ∈ [x, y] such that

d(z,αx(1α)y)αd(z,x)+(1α)d(z,y) (3)

for any zX and [x, y] = {αx ⊕ (1 − α)y : α ∈ [0, 1]}. In view of the above inequality, CAT(0) space has Takahashi’s convex structure

W(x,y,α)=αx(1α)y.

It is easy to see that for any x, yX and λ ∈ [0, 1],

d(x,(1λ)xλy)=λd(x,y),d(y,(1λ)xλy)=(1λ)d(x,y).

As a consequence,

1x0y=x,(1λ)xλx=λx(1λ)x=x.

Moreover, a subset K of CAT(0) space X is convex if for any x, yK, we have [x, y] ⊂ K (see, [1, 13, 14]).

From the results of Harder [15], Harder and Hicks [16, 17], where a concept of stable fixed point iterative scheme was introduced and studied, many other stability results for several fixed point iterative schemes and for various classes of nonlinear mappings were obtained.

Definition 1.8

([17]). Let (X, d) be a metric space, T : XX be a self-mapping and x0X. Assume that the iterative scheme

xn+1=f(T,xn),n0 (4)

converges to a fixed point p of T. Let {zn} be an arbitrary sequence in X and define

εn=d(zn+1,f(T,zn)),n0. (5)

The iterative scheme defined by (4) is said to be T-stable or stable with respect to T if and only if

limnεn=0limnzn=p. (6)

Osilike [18] introduced a weaker concept of stability.

Definition l.9

([18]). Let (X, d) be a metric space, T : XX be a self-mapping and x0X. Assume that the iterative scheme (4) converges to a fixed point p of T. Let {zn} be an arbitrary sequence in X and defined by (5). The iterative scheme defined by (4) is said to be almost T-stable or almost stable with respect to T if and only if

n=0εn<limnzn=p. (7)

Remark 1.10

It is ovbious that any stable iterative scheme is also almost stable but the reverse is not true in generally, as shown in [19].

Now, we consider a new concept of stability.

Definition 1.11

Let (X, d) be a metric space, T : XX be a self-mapping and x0X. Assume that the iterative scheme (4) converges to a fixedpoint p of T. Let {zn} be an arbitrary sequence in X and defined by (5). The iterative scheme defined by (4) is said to be comparably almost T-stable or comparably almost stable with respect to T if and only if

n=0(θn+εn)<,θn0limnzn=p,limnθn=0. (8)

Remark 1.12

It is ovbious that any almost stable iterative scheme is also comparably almost stable. In fact, let {xn} be an almost stable and n=0(θn+εn)<,θn0. By the comparison test, we have n=0εn<. From {xn} being an almost stable, we obtain limn→∞zn = p. Also, since n=0(θn+εn)<, we have limn→∞(θn + εn) = 0. From n=0εn<, we get limn→∞ εn = 0. Then limn→∞ θn = 0.

Moreover, if θn = 0 in (8), then (8) reduces to (7). So an almost stable iterative scheme is a special case of comparably almost stable iterative scheme.

The aim of this paper is to prove some fixed point results for generalized φ-weak contraction mapping and study a new concept of stability which is called comparably almost T-stable by using iterative schemes in CAT(0) spaces.

2 Convergence theorems of iterative schemes

Xue [3] proved the following very intersting fixed point theorem in complete metric space.

Theorem 2.1

([3]). Let (X, d) be a complete metric space and let T : XX be a generalized φ-weak contraction. Then the Picard iterative scheme ([20])

xn+1=Txn

converges to the unique fixed point.

Theorem 2.2

Let T be a generalized φ-weak contractive self mapping of a closed convex subset K of a Banach space X. Then the Picard iterative scheme

xn+1=Txn

converges strongly to the fixed point p with the following error estimate:

xn+1pΦ1(Φ(x1pn)),

where Φ is defined by the antiderivative

Φ(t)=1φ(t)dt,Φ(0)=0

and Φ−1 is the inverse of Φ.

Proof

The proof is similar as [2, Theorem 2]. However, for completeness, we give a sketch of the proof. We can obtain convergence following from Theorem 2.1. To establish the error estimete, from (2) with λn = ∥xnp∥,

λn+1=xn+1p=Txnpxnpφ(xn+1p)=λnφ(λn+1),

so, we have

φ(λn+1)λnλn+1. (9)

Thus

Φ(λn)Φ(λn+1)=λn+1λn1φ(t)dt=λnλn+1φ(μn),

for some λn+1 < μn < λn. Since φ is nondecreasing, from (9),

Φ(λn)Φ(λn+1)=λnλn+1φ(μn)λnλn+1φ(λn)1.

Thus

Φ(λn+1)Φ(λn)1Φ(λ1)n.

This completes the proof of Theorem 2.2. □

We shall now investigate the convergence of other iterative scheme applied to T.

Theorem 2.3

Let (X, d) be a CAT(0) space, K be a closed convex subset of X, T be a generalized φ-weak contractive self mapping of K. Then the Ishikawa iterative scheme ([21])

xn+1=(1αn)xnαnTYn,yn=(1βn)xnβnTxn,n1 (10)

satisfies

  1. 0 ≤ αn, βn ≤ 1,

  2. n=1αnβn=,

converges to the unique fixed point p of T.

Proof

From Theorem 2.1 and Theorem 2.2, T has a unique fixed point. Take it p. Using (10) and (3),

d(yn,p)=d((1βn)xnβnTxn,p)(1βn)d(xn,p)+βnd(Txn,p)(1βn)d(xn,p)+βn[d(xn,p)φ(d(Txn,p))]=d(xn,p)βnφ(d(Txn,p)). (11)

From (11), we have

d(xn+1,p)=d((1αn)xnαnTyn,p)(1αn)d(xn,p)+αnd(Tyn,p)(1αn)d(xn,p)+αn[d(yn,p)φ(d(Tyn,p))](1αn)d(xn,p)+αn[d(xn,p)βnφ(d(Txn,p))]αnφ(d(Tyn,p))d(xn,p)αnβnφ(d(Txn,p))d(xn,p). (12)

Therefore {d(xn, p)} is a nonnegative nonincreasing sequence, which converges to a limit L ≥ 0. Suppose that L > 0. For notational convenience, let λn = d(xn, p). Since {d(xn, p)} is a nonincreasing sequence, we have λnL, i.e.,

d(xn,p)d(xn+1,p)L,nN. (13)

Most of all, we want to show that

d(Txn,p)L,nN.

It is sufficient to show that there exists n1 ∈ ℕ such that

d(xn1,p)d(Txn,p),n1.

Suppose that d(Txn, p) < L. Then

d(xn1,p)>d(Txn,p),n1N. (14)

Since limn→∞ d(xn, p) = L and (14), for ε2 = Ld(T xn, p) > 0, there exists N ∈ ℕ with d(xN, p) < d(Txn, p) + ε4 such that

|d(xn,p)L||Ld(Txn,p)|+|d(Txn,p)d(xn,p)|=Ld(Txn,p)+d(xn,p)d(Txn,p)ε2+d(xN,p)d(Txn,p)<ε2+ε4<ε

for nN. On the other hand, from (14), we obtain

d(xN,p)<d(Txn,p)+ε4=d(Txn,p)+12(Ld(Txn,p))=12(L+d(Txn,p))<12(L+d(xN,p)),

i.e.,

d(xN,p)<L.

This is a contradiction to (13). Therefore

d(Txn,p)L. (15)

From (12), (13) and (15), it follows that, for any fixed integer N ∈ ℕ,

n=Nαnβnφ(L)n=Nαnβnφ(d(Txn,p))n=N(d(xn,p)d(xn+1,p))d(xN,p).

This is a contradiction to the condition (ii). Therefore

limnd(xn,p)=L=0.

This completes the proof of Theorem 2.3. □

Corollary 2.4

Let (X, d) be a CAT(0) space, K be a closed convex subset of X, T be a generalized φ-weak contractive self mapping of K. Then the Mann iterative scheme ([22])

xn+1=(1αn)xnαnTxn,n1 (16)

satisfies

  1. 0 ≤ αn ≤ 1,

  2. n=1αn=,

converges to the unique fixed point p of T.

Proof

If βn = 0 in Ishikawa iterative scheme (10), then it reduces to the Mann iterative scheme (16). So the proof is similar to that of Theorem 2.3, and will be omitted. □

3 Stability of fixed paint iterative schemes

Lemma 3.1

([1]). Let {λn} and {γn} be two sequences of nonnegative real numbers and {σn} be a sequence of positive numbers satisfying the recursive inequality

λn+1λnσnφ(λn)+γn,n1,

where φ : [0, ∞) →[0, ∞) is a continuous and nondecreasing function with φ(0) = 0. If

n=1σn=andlimnγnσn=0,

then {λn} converges to 0 as n → ∞.

Theorem 3.2

Let (X, d) be a CAT (0) space and T : XX be a generalized φ-weak contractive self mapping satisfying (2). Let x1 be an arbitrary in X and define

xn+1=(1αn)xnαnTyn,yn=(1βn)xnβnTxn,n1,

where {αn} and {βn} are sequences in [0, 1] satisfying

  1. n=1 αnβn = ∞,

  2. αn(1+βn) ≤ 1.

Let {zn} be any given scheme in X and define a scheme {εn} by

sn=(1βn)znβnTzn,εn=d(zn+1,(1αn)znαnTsn),n1.

Then

  1. if n=1 (θn+εn) < ∞, then the Ishikawa iterative scheme {xn} is comparably almost stable with respect to T, where

    θn=φ(d(zn,p))αnβnφ(d(Tzn,p))αnφ(d(Tsn,p)),
  2. if the scheme {zn} converges to fixed point of T, then limn → ∞εn = 0.

Proof

Let p denote the unique fixed point of T. We have the following estimate

d(zn+1,p)d(zn+1,(1αn)znαnTsn)+d((1αn)znαnTsn,p)εn+(1αn)d(zn,p)+αnd(Tsn,p)(1αn)d(zn,p)+αn[d(sn,p)φ(d(Tsn,p+εn(1αn)d(zn,p)+αn[(1βn)d(zn,p)+βnd(Tzn,p)]αnφ(d(Tsn,p))+εn(1αnβn)d(zn,p)+αnβn[d(zn,p)φ(d(Tzn,pαnφ(d(Tsn,p))+εn=d(zn,p)αnβnφ(d(Tzn,p))αnφ(d(Tsn,p))+εn=d(zn,p)φ(d(zn,p))+θn+εn, (17)

where θn = φ(d(zn, p)) − αnβnφ(d(Tzn, p)) − αnφ(d(Tsn, p)). Since

0d(Tsn,p)d(sn,p)φ(d(Tsn,p))d(sn,p)=d((1βn)znβnTzn,p)(1βn)d(zn,p)+βnd(Tzn,p)d(zn,p), (18)

from the condition (ii), we obtain

θn=φ(d(zn,p))αnβnφ(d(Tzn,p))αnφ(d(Tsn,p))φ(d(zn,p))αnβnφ(d(zn,p))αnφ(d(zn,p))(1αnβnαn)φ(d(zn,p))0.

Since n=1 (θn + εn) < ∞, by (17) and Lemma 3.1, we get

limnd(zn,p)=0.

It follows that

limnzn=p. (19)

Since n=1 (θn + εn) < ∞, we have limn → ∞(θn+εn) = 0. From (19),

0d(Tzn,p)d(zn,p)φ(d(Tzn,p))d(zn,p)0 as n,

therefore

limnd(Tzn,p)=0. (20)

Similarly, from (18) and (19), we have

limnd(Tsn,p)=0. (21)

Since φ is continuous, from (19)-(21), we obtain

limnθn=limn[φ(d(zn,p))αnβnφ(d(Tzn,p))αnφ(d(Tsn,p))]=0.

Hence {xn} is a comparably almost T-stable on X.

Next, suppose that limn → ∞zn = p. From (18), we obtain

εn=d(zn+1,(1αn)znαnTsn)d(zn+1,p)+d((1αn)znαnTsn,p)d(zn+1,p)+(1αn)d(zn,p)+αnd(Tsn,p)d(zn+1,p)+d(zn,p)0as n.

This completes the proof. □

Corollary 3.3

Let (X, d) be a CAT (0) space and T : XX be a generalized φ-weak contractive self mapping satisfying (2). Let x1 be an arbitrary in X and define

xn+1=(1αn)xnαnTxn,n1,

where {αn} is sequence in [0, 1] satisfying n=1 αn = ∞. Let {zn} be any given scheme in X and define a scheme {εn} by

εn=d(zn+1,(1αn)znαnTzn),n1.

Then

  1. if n=1 (θn + εn) < ∞, then the Mann iterative scheme {xn} is comparably almost stable with respect to T, where

    θn=φ(d(zn,p))αnφ(d(Tzn,p)),
  2. if the scheme {zn} converges to fixed point of T, then limn → ∞εn = 0.

Proof

If βn = 0 in Ishikawa iterative scheme in Theorem 3.2, then it reduces to the Mann iterative scheme in Corollary 3.3. So the proof is similar to that of Theorem 3.2, and will be omitted. □

4 Some open problems

Let S be a semigroup. We denote by B(S) be the space of all bounded real-valued functions defined on S with supremum norm. For each sS, we define the left and right translation operators ls and rs on B(S) by

(lsf)(t)=f(st) and (rsf)(t)=f(ts)

for each ts and fB(S), respectively. Let X be a subspace of B(S) containing 1. An element μ in the dual space X* of X is said to be a mean on X if ∥μ∥ = μ(1) = 1. For sS, we can define a point evaluation δs by δs(f) = f(s) for each fX. It is well known that μ is mean on X if and only if

infsSf(s)μ(f)supsSf(s)

for each fX. Each mean on X is the weak*-limit of convex combination of point evaluations.

Let X be a translation invariant subspace of B(S) (i.e., lsXX and rsXX for each sS) containing 1. Then a mean μ on X is said to be left invariant (resp. right invariant) if

μ(lsf)=μ(f)(resp.μ(rsf)=μ(f))

for each ss and fX. A mean μ on X is said to be invariant if μ is both left and right invariant (see, [23-26]). X is said to be left (resp. right) amenable if X has a left (resp. right) invariant mean. X is amenable if X is left and right amenable. The semigroup S is called amenable if B(S) has an invariant mean (see, [27-29]). Moreover, S is amenable when S is a commutative semigroup or a solvable group. However, the free group or semigroup of two generators is not left or right amenable.

Let S be a semigroup and F(T) denote the fixed point set of T. Then 𝔍 = {Ts : sS} is called a representation of S if Te = I and Tst = TsTt for each s, tS. We denote by F(𝔍) the set of common fixed points of {Ts : sS}, i. e.,

F(J)=sSF(Ts)=sS{xC:Tsx=x}.

Open Problem 1

It will be interesting to obtain a generalization of both Theorem 2.3 and Theorem 3.2 to commutative, amenable semigroups as in the case of general metric spaces.

For a real number κ, a CAT (κ) space is defined by a geodesic metric space whose geodesic triangle is sufficiently thinner than the corresponding triangle in a model space with curvature κ.

For κ = 0, the 2-dimensional model space Mκ2=M02 is the Euclidean space ℝ2 with the metric induced from the Euclidean norm. For κ > 0, Mκ2 is the 2-dimensional sphere 1κS2 whose metric is length of a minimal great arc joining each two points. For κ < 0, Mκ2 is the 2-dimensional hyperbolic space 1κH2 with the metric defined by a usual hyperbolic distance. For more details about the properties of CAT (κ) spaces (see, [8, 30, 31]).

Open Problem 2

It will be interesting to obtain a generalization of both Theorem 2.3 and Theorem 3.2 to CAT (κ) space.

  1. Competing interests

    The author declares to have no competing interests.

Acknowledgement

The author would like to thank the referee for his/her valuable comments and suggestions which improved the presentation of this paper. This work was supported by Kyungnam University Research Fund, 2017.

References

[1] Alber Y.I., Guerre-Delabriere S., Principle of weakly contractive maps in Hilbert spaces, in: I. Gohberg, Yu. Lyubich(Eds.), New Results in Operator Theory, in: Advances and Appl., Birkhäuser, Basel, 1997, 98, 7–22Search in Google Scholar

[2] Rhoades B.E., Some theorems on weakly contractive maps, Nonlinear Anal., 2001, 47, 2683–269310.1016/S0362-546X(01)00388-1Search in Google Scholar

[3] Xue Z., The convergence of fixed point for a kind of weak contraction, Nonlinear Func. Anal. Appl., 2016, 21(3), 497–500Search in Google Scholar

[4] Kim K.S., Equivalence between some iterative schemes for generalized φ-weak contraction mappings in CAT(0) spaces, East Asian Math. J., 2017, 33(1), 11–2210.7858/eamj.2017.002Search in Google Scholar

[5] Takahashi W., A convexity in metric spaces and nonexpansive mappings, Kodai Math. Sem. Rep., 1970, 22, 142–14910.2996/kmj/1138846111Search in Google Scholar

[6] Kim J.K., Kim K.S., Nam Y.M., Convergence and stability of iterative processes for a pair of simultaneously asymptotically quasinonexpansive type mappings in convex metric spaces, J. of Compu. Anal. Appl., 2007, 9(2), 159–172Search in Google Scholar

[7] Gromov M., Hyperbolic groups, Essays in group theory, Math. Sci. Res. Inst. Publ., 8, Springer, New York, 198710.1007/978-1-4613-9586-7_3Search in Google Scholar

[8] Bridson M., Haefliger A., Metric spaces of Non-Positive Curvature, Springer-Verlag, Berlin, Heidelberg, 199910.1007/978-3-662-12494-9Search in Google Scholar

[9] Burago D., Burago Y., Ivanov S., A course in metric Geometry, in:Graduate studies in Math., 33, Amer. Math. Soc., Providence, Rhode Island, 200110.1090/gsm/033Search in Google Scholar

[10] Kirk W.A., A fixed point theorem in CAT(0) spaces and R-trees, Fixed Point Theory Appl., 2004, 2004(4), 309–31610.1155/S1687182004406081Search in Google Scholar

[11] Bruhat F., Tits J., Groups réductifss sur un corps local. I. Données radicielles valuées, Publ. Math. Inst. Hautes Études Sci., 1972, 41, 5–25110.1007/BF02715544Search in Google Scholar

[12] Dhompongsa S., Panyanak B., On Δ-convergence theorems in CAT(0) spaces, Comput. Math. Appl., 2008, 56(10), 2572–257910.1016/j.camwa.2008.05.036Search in Google Scholar

[13] Kim K.S., Some convergence theorems for contractive type mappings in CAT(0) spaces, Abstract and Applied Analysis, 2013, Article ID 381715, 9 pages, http://dx.doi.org/10.1155/2013/38171510.1155/2013/381715Search in Google Scholar

[14] Nicolae A., Asymptotic behavior of averaged and firmly nonexpansive mappings in geodesic spaces, Nonlinear Analysis, 2013, 87, 102–11510.1016/j.na.2013.03.018Search in Google Scholar

[15] Harder A.M., Fixed point theory and stability results for fixed points iteration procedures, Ph. D. Thesis, University of Missouri- Rolla, 1987Search in Google Scholar

[16] Harder A.M., Hicks T.L., A stable iteration procedure for nonexpansive mappings, Math. Japonica, 1988, 33(5), 687–692Search in Google Scholar

[17] Harder A.M., Hicks T.L., Stability results for fixed point iteration procedures, Math. Japonica, 1988, 33(5), 693–706Search in Google Scholar

[18] Osilike M.O., A note on the stability of iteration procedures for strong pseudocontractions and strongly accretive type equations, J. Math. Anal. Appl., 2000, 250(2), 726–73010.1006/jmaa.2000.6993Search in Google Scholar

[19] Osilike M.O., Stability of the Mann and Ishikawa iteration procedures for φ-strong pseudocontractions and nonlinear equations of the φ-strongly accretive type, J. Math. Anal. Appl., 1998, 227(2), 319–33410.1006/jmaa.1998.6075Search in Google Scholar

[20] Picard E., Sur les groupes de transformation des équations différentielles linéaires, Comptes Rendus Acad. Sci. Paris, 1883, 96, 1131–1134Search in Google Scholar

[21] Ishikawa S., Fixed point by a new iteration, Proc. Amer. Math. Soc., 1974, 44, 147–15010.1090/S0002-9939-1974-0336469-5Search in Google Scholar

[22] Mann W.R., Mean value methods in iteration, Proc. Amer. Math. Soc., 1953, 4, 506–51010.1090/S0002-9939-1953-0054846-3Search in Google Scholar

[23] Lau A.T.-M., Invariant means on almost periodic functions and fixed point properties, Rocky Mountain J., 1973, 3, 69–7610.1216/RMJ-1973-3-1-69Search in Google Scholar

[24] Lau A.T.-M., Invariant means and fixed point properties of semigroup of nonexpansive mappings, Taiwanese J. Math., 2008, 12(6), 1525–154210.11650/twjm/1500405038Search in Google Scholar

[25] Kim K.S., Ergodic theorems for reversible semigroups of nonlinear operators, J. Nonlinear & Convex Anal., 2012, 13(1), 85–95Search in Google Scholar

[26] Kim K.S., Invariant means and reversible semigroup of relatively nonexpansive mappings in Banach spaces, Abstract and Applied Analysis, 2014, Article ID 694783, 9 pages, http://dx.doi.org/10.1155/2014/69478310.1155/2014/694783Search in Google Scholar

[27] Day M.M., Amenable semigroup, Illinois J. Math., 1957, 1, 509–54410.1215/ijm/1255380675Search in Google Scholar

[28] Lau A.T.-M., Zhang Y., Fixed point properties of semigroups of nonexpansive mappings, J. Funct. Anal., 2008, 254(10), 2534– 255410.1016/j.jfa.2008.02.006Search in Google Scholar

[29] Lau A.T.-M., Zhang Y., Fixed point properties for semigroups of nonlinear mappings and amenability, J. Funct. Anal., 2012, 263(10), 2949–297710.1016/j.jfa.2012.07.013Search in Google Scholar

[30] Espínola R., Fernández-León A., CAT.(κ)-spaces, weak convergence and fixed points, J. Math. Anal. Appl., 2009, 353(1), 410– 42710.1016/j.jmaa.2008.12.015Search in Google Scholar

[31] Kimura Y., Satô K., Convergence of subsets of a complete geodesic space with curvature bounded above, Nonlinear Anal., 2012, 75(13), 5079–508510.1016/j.na.2012.04.024Search in Google Scholar

Received: 2016-9-13
Accepted: 2017-7-6
Published Online: 2017-9-6

© 2017 Kim

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Articles in the same Issue

  1. Regular Articles
  2. Integrals of Frullani type and the method of brackets
  3. Regular Articles
  4. Edge of chaos in reaction diffusion CNN model
  5. Regular Articles
  6. Calculus using proximities: a mathematical approach in which students can actually prove theorems
  7. Regular Articles
  8. An investigation on hyper S-posets over ordered semihypergroups
  9. Regular Articles
  10. The Leibniz algebras whose subalgebras are ideals
  11. Regular Articles
  12. Fixed point and multidimensional fixed point theorems with applications to nonlinear matrix equations in terms of weak altering distance functions
  13. Regular Articles
  14. Matrix rank and inertia formulas in the analysis of general linear models
  15. Regular Articles
  16. The hybrid power mean of quartic Gauss sums and Kloosterman sums
  17. Regular Articles
  18. Tauberian theorems for statistically (C,1,1) summable double sequences of fuzzy numbers
  19. Regular Articles
  20. Some properties of graded comultiplication modules
  21. Regular Articles
  22. The characterizations of upper approximation operators based on special coverings
  23. Regular Articles
  24. Bi-integrable and tri-integrable couplings of a soliton hierarchy associated with SO(4)
  25. Regular Articles
  26. Dynamics for a discrete competition and cooperation model of two enterprises with multiple delays and feedback controls
  27. Regular Articles
  28. A new view of relationship between atomic posets and complete (algebraic) lattices
  29. Regular Articles
  30. A class of extensions of Restricted (s, t)-Wythoff’s game
  31. Regular Articles
  32. New bounds for the minimum eigenvalue of 𝓜-tensors
  33. Regular Articles
  34. Shintani and Shimura lifts of cusp forms on certain arithmetic groups and their applications
  35. Regular Articles
  36. Empirical likelihood for quantile regression models with response data missing at random
  37. Regular Articles
  38. Convex combination of analytic functions
  39. Regular Articles
  40. On the Yang-Baxter-like matrix equation for rank-two matrices
  41. Regular Articles
  42. Uniform topology on EQ-algebras
  43. Regular Articles
  44. Integrations on rings
  45. Regular Articles
  46. The quasilinear parabolic kirchhoff equation
  47. Regular Articles
  48. Avoiding rainbow 2-connected subgraphs
  49. Regular Articles
  50. On non-Hopfian groups of fractions
  51. Regular Articles
  52. Singularly perturbed hyperbolic problems on metric graphs: asymptotics of solutions
  53. Regular Articles
  54. Rings in which elements are the sum of a nilpotent and a root of a fixed polynomial that commute
  55. Regular Articles
  56. Superstability of functional equations related to spherical functions
  57. Regular Articles
  58. Evaluation of the convolution sum involving the sum of divisors function for 22, 44 and 52
  59. Regular Articles
  60. Weighted minimal translation surfaces in the Galilean space with density
  61. Regular Articles
  62. Complete convergence for weighted sums of pairwise independent random variables
  63. Regular Articles
  64. Binomials transformation formulae for scaled Fibonacci numbers
  65. Regular Articles
  66. Growth functions for some uniformly amenable groups
  67. Regular Articles
  68. Hopf bifurcations in a three-species food chain system with multiple delays
  69. Regular Articles
  70. Oscillation and nonoscillation of half-linear Euler type differential equations with different periodic coefficients
  71. Regular Articles
  72. Osculating curves in 4-dimensional semi-Euclidean space with index 2
  73. Regular Articles
  74. Some new facts about group 𝒢 generated by the family of convergent permutations
  75. Regular Articles
  76. lnfinitely many solutions for fractional Schrödinger equations with perturbation via variational methods
  77. Regular Articles
  78. Supersolvable orders and inductively free arrangements
  79. Regular Articles
  80. Asymptotically almost automorphic solutions of differential equations with piecewise constant argument
  81. Regular Articles
  82. Finite groups whose all second maximal subgroups are cyclic
  83. Regular Articles
  84. Semilinear systems with a multi-valued nonlinear term
  85. Regular Articles
  86. Positive solutions for Hadamard differential systems with fractional integral conditions on an unbounded domain
  87. Regular Articles
  88. Calibration and simulation of Heston model
  89. Regular Articles
  90. One kind sixth power mean of the three-term exponential sums
  91. Regular Articles
  92. Cyclic pairs and common best proximity points in uniformly convex Banach spaces
  93. Regular Articles
  94. The uniqueness of meromorphic functions in k-punctured complex plane
  95. Regular Articles
  96. Normalizers of intermediate congruence subgroups of the Hecke subgroups
  97. Regular Articles
  98. The hyperbolicity constant of infinite circulant graphs
  99. Regular Articles
  100. Scott convergence and fuzzy Scott topology on L-posets
  101. Regular Articles
  102. One sided strong laws for random variables with infinite mean
  103. Regular Articles
  104. The join of split graphs whose completely regular endomorphisms form a monoid
  105. Regular Articles
  106. A new branch and bound algorithm for minimax ratios problems
  107. Regular Articles
  108. Upper bound estimate of incomplete Cochrane sum
  109. Regular Articles
  110. Value distributions of solutions to complex linear differential equations in angular domains
  111. Regular Articles
  112. The nonlinear diffusion equation of the ideal barotropic gas through a porous medium
  113. Regular Articles
  114. The Sheffer stroke operation reducts of basic algebras
  115. Regular Articles
  116. Extensions and improvements of Sherman’s and related inequalities for n-convex functions
  117. Regular Articles
  118. Classification lattices are geometric for complete atomistic lattices
  119. Regular Articles
  120. Possible numbers of x’s in an {x, y}-matrix with a given rank
  121. Regular Articles
  122. New error bounds for linear complementarity problems of weakly chained diagonally dominant B-matrices
  123. Regular Articles
  124. Boundedness of vector-valued B-singular integral operators in Lebesgue spaces
  125. Regular Articles
  126. On the Golomb’s conjecture and Lehmer’s numbers
  127. Regular Articles
  128. Some applications of the Archimedean copulas in the proof of the almost sure central limit theorem for ordinary maxima
  129. Regular Articles
  130. Dual-stage adaptive finite-time modified function projective multi-lag combined synchronization for multiple uncertain chaotic systems
  131. Regular Articles
  132. Corrigendum to: Dual-stage adaptive finite-time modified function projective multi-lag combined synchronization for multiple uncertain chaotic systems
  133. Regular Articles
  134. Convergence and stability of generalized φ-weak contraction mapping in CAT(0) spaces
  135. Regular Articles
  136. Triple solutions for a Dirichlet boundary value problem involving a perturbed discrete p(k)-Laplacian operator
  137. Regular Articles
  138. OD-characterization of alternating groups Ap+d
  139. Regular Articles
  140. On Jordan mappings of inverse semirings
  141. Regular Articles
  142. On generalized Ehresmann semigroups
  143. Regular Articles
  144. On topological properties of spaces obtained by the double band matrix
  145. Regular Articles
  146. Representing derivatives of Chebyshev polynomials by Chebyshev polynomials and related questions
  147. Regular Articles
  148. Chain conditions on composite Hurwitz series rings
  149. Regular Articles
  150. Coloring subgraphs with restricted amounts of hues
  151. Regular Articles
  152. An extension of the method of brackets. Part 1
  153. Regular Articles
  154. Branch-delete-bound algorithm for globally solving quadratically constrained quadratic programs
  155. Regular Articles
  156. Strong edge geodetic problem in networks
  157. Regular Articles
  158. Ricci solitons on almost Kenmotsu 3-manifolds
  159. Regular Articles
  160. Uniqueness of meromorphic functions sharing two finite sets
  161. Regular Articles
  162. On the fourth-order linear recurrence formula related to classical Gauss sums
  163. Regular Articles
  164. Dynamical behavior for a stochastic two-species competitive model
  165. Regular Articles
  166. Two new eigenvalue localization sets for tensors and theirs applications
  167. Regular Articles
  168. κ-strong sequences and the existence of generalized independent families
  169. Regular Articles
  170. Commutators of Littlewood-Paley gκ -functions on non-homogeneous metric measure spaces
  171. Regular Articles
  172. On decompositions of estimators under a general linear model with partial parameter restrictions
  173. Regular Articles
  174. Groups and monoids of Pythagorean triples connected to conics
  175. Regular Articles
  176. Hom-Lie superalgebra structures on exceptional simple Lie superalgebras of vector fields
  177. Regular Articles
  178. Numerical methods for the multiplicative partial differential equations
  179. Regular Articles
  180. Solvable Leibniz algebras with NFn Fm1 nilradical
  181. Regular Articles
  182. Evaluation of the convolution sums ∑al+bm=n lσ(l) σ(m) with ab ≤ 9
  183. Regular Articles
  184. A study on soft rough semigroups and corresponding decision making applications
  185. Regular Articles
  186. Some new inequalities of Hermite-Hadamard type for s-convex functions with applications
  187. Regular Articles
  188. Deficiency of forests
  189. Regular Articles
  190. Perfect codes in power graphs of finite groups
  191. Regular Articles
  192. A new compact finite difference quasilinearization method for nonlinear evolution partial differential equations
  193. Regular Articles
  194. Does any convex quadrilateral have circumscribed ellipses?
  195. Regular Articles
  196. The dynamic of a Lie group endomorphism
  197. Regular Articles
  198. On pairs of equations in unlike powers of primes and powers of 2
  199. Regular Articles
  200. Differential subordination and convexity criteria of integral operators
  201. Regular Articles
  202. Quantitative relations between short intervals and exceptional sets of cubic Waring-Goldbach problem
  203. Regular Articles
  204. On θ-commutators and the corresponding non-commuting graphs
  205. Regular Articles
  206. Quasi-maximum likelihood estimator of Laplace (1, 1) for GARCH models
  207. Regular Articles
  208. Multiple and sign-changing solutions for discrete Robin boundary value problem with parameter dependence
  209. Regular Articles
  210. Fundamental relation on m-idempotent hyperrings
  211. Regular Articles
  212. A novel recursive method to reconstruct multivariate functions on the unit cube
  213. Regular Articles
  214. Nabla inequalities and permanence for a logistic integrodifferential equation on time scales
  215. Regular Articles
  216. Enumeration of spanning trees in the sequence of Dürer graphs
  217. Regular Articles
  218. Quotient of information matrices in comparison of linear experiments for quadratic estimation
  219. Regular Articles
  220. Fourier series of functions involving higher-order ordered Bell polynomials
  221. Regular Articles
  222. Simple modules over Auslander regular rings
  223. Regular Articles
  224. Weighted multilinear p-adic Hardy operators and commutators
  225. Regular Articles
  226. Guaranteed cost finite-time control of positive switched nonlinear systems with D-perturbation
  227. Regular Articles
  228. A modified quasi-boundary value method for an abstract ill-posed biparabolic problem
  229. Regular Articles
  230. Extended Riemann-Liouville type fractional derivative operator with applications
  231. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  232. The algebraic size of the family of injective operators
  233. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  234. The history of a general criterium on spaceability
  235. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  236. On sequences not enjoying Schur’s property
  237. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  238. A hierarchy in the family of real surjective functions
  239. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  240. Dynamics of multivalued linear operators
  241. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  242. Linear dynamics of semigroups generated by differential operators
  243. Special Issue on Recent Developments in Differential Equations
  244. Isomorphism theorems for some parabolic initial-boundary value problems in Hörmander spaces
  245. Special Issue on Recent Developments in Differential Equations
  246. Determination of a diffusion coefficient in a quasilinear parabolic equation
  247. Special Issue on Recent Developments in Differential Equations
  248. Homogeneous two-point problem for PDE of the second order in time variable and infinite order in spatial variables
  249. Special Issue on Recent Developments in Differential Equations
  250. A nonlinear plate control without linearization
  251. Special Issue on Recent Developments in Differential Equations
  252. Reduction of a Schwartz-type boundary value problem for biharmonic monogenic functions to Fredholm integral equations
  253. Special Issue on Recent Developments in Differential Equations
  254. Inverse problem for a physiologically structured population model with variable-effort harvesting
  255. Special Issue on Recent Developments in Differential Equations
  256. Existence of solutions for delay evolution equations with nonlocal conditions
  257. Special Issue on Recent Developments in Differential Equations
  258. Comments on behaviour of solutions of elliptic quasi-linear problems in a neighbourhood of boundary singularities
  259. Special Issue on Recent Developments in Differential Equations
  260. Coupled fixed point theorems in complete metric spaces endowed with a directed graph and application
  261. Special Issue on Recent Developments in Differential Equations
  262. Existence of entropy solutions for nonlinear elliptic degenerate anisotropic equations
  263. Special Issue on Recent Developments in Differential Equations
  264. Integro-differential systems with variable exponents of nonlinearity
  265. Special Issue on Recent Developments in Differential Equations
  266. Elliptic operators on refined Sobolev scales on vector bundles
  267. Special Issue on Recent Developments in Differential Equations
  268. Multiplicity solutions of a class fractional Schrödinger equations
  269. Special Issue on Recent Developments in Differential Equations
  270. Determining of right-hand side of higher order ultraparabolic equation
  271. Special Issue on Recent Developments in Differential Equations
  272. Asymptotic approximation for the solution to a semi-linear elliptic problem in a thin aneurysm-type domain
  273. Topical Issue on Metaheuristics - Methods and Applications
  274. Learnheuristics: hybridizing metaheuristics with machine learning for optimization with dynamic inputs
  275. Topical Issue on Metaheuristics - Methods and Applications
  276. Nature–inspired metaheuristic algorithms to find near–OGR sequences for WDM channel allocation and their performance comparison
  277. Topical Issue on Cyber-security Mathematics
  278. Monomial codes seen as invariant subspaces
  279. Topical Issue on Cyber-security Mathematics
  280. Expert knowledge and data analysis for detecting advanced persistent threats
  281. Topical Issue on Cyber-security Mathematics
  282. Feedback equivalence of convolutional codes over finite rings
Downloaded on 10.9.2025 from https://www.degruyterbrill.com/document/doi/10.1515/math-2017-0089/html
Scroll to top button