MPE Mathematical Problems in Engineering 1563-5147 1024-123X Hindawi Publishing Corporation 648528 10.1155/2013/648528 648528 Research Article Suzuki-Edelstein Type Contractions via Auxiliary Functions Salimi Peyman 1 0000-0002-6798-3254 Karapınar Erdal 2 Swierniak Andrzej 1 Department of Mathematics Astara Branch Islamic Azad University Astara Iran iau.ir 2 Department of Mathematics Atilim University Incek, 06836 Ankara Turkey atilim.edu.tr 2013 24 3 2013 2013 06 11 2012 07 01 2013 25 02 2013 2013 Copyright © 2013 Peyman Salimi and Erdal Karapınar. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

We prove the existence and uniqueness of a fixed point of certain type mapping, extension of Suzuki-Edelstein mapping, in a partially ordered complete metric space. Our results extend, improve, and generalize the existence results on the topic in the literature. We state some examples to illustrate our results.

1. Introduction

Fixed point theory lies in the center of nonlinear functional analysis because it has a broad range of applications in fields such as economics, computer science, and many others (see, e.g., ). In particular, fixed point theory is quite useful in finding the solutions of inverse problems and structural optimizations in science and engineering . Banach contraction mapping principle  is considered to be the fundamental result in this theory. It states that each contraction defined on a complete metric space has a unique fixed point. The strength of Banach's result in applications comes from two remarkable implications of this principle. The first one is that it guarantees the existence and uniqueness of a fixed point of a contraction. The second and most effective one is that it provides a technique to evaluate the fixed point. The importance of these two properties of Banach contraction mapping principle evidently has attracted many prominent mathematicians (see, e.g., ) interested in the fixed point theory and its applications as the use of this principle has widened considerably since its first appearance . In particular, in this paper, we will focus on one of the most remarkable generalizations of Banach contraction mapping principle developed by Edelstein . This theorem can be stated as follows.

Theorem 1.

Let (X,d) be a compact metric space and let T be a mapping on X. Assume d(Tx,Ty)<d(x,y) for all x,yX with xy. Then T has a unique fixed point.

Inspired by Edelstein's theorem, Suzuki [23, 24] further improved Banach's principle through the two theorems below.

Theorem 2.

Define a nonincreasing function θ from [0,1) onto (1/2,1] by (1)θ(r)={1if0r(5-1)2,(1-r)r-2if(5-1)2r22,(1+r)-1if22r<1. Then for a metric space (X,d), the following is equivalent.

X  is complete.

Every mapping T on X satisfying the following has a fixed point: there exists r[0,1) such that θ(r)d(x,Tx)d(x,y) implies d(Tx,Ty)rd(x,y) for all x,yX.

Theorem 3.

Let (X,d) be a compact metric space and let T be a mapping on X. Assume that (1/2)d(x,Tx)<d(x,y) implies d(Tx,Ty)<d(x,y) for all x,yX. Then T has a unique fixed point.

Theorems 2 and 3 are extensively studied by many authors (see, e.g., ). It is worth to point out that the studies mentioned above can be classified as the extensions of Banach's principle on compact/complete metric spaces, which are totally ordered.

On the other hand, Turinici , Ran and Reurings , and Nieto and Rodríguez-López  proved an analog of the desired Banach's principle in the context of partially ordered complete metric spaces for a certain class of maps. In particular, Ran and Reurings  applied their result to solve a matrix equation and Nieto and Rodríguez-López  applied their theorem to guarantee the existence and uniqueness of the solution of some boundary value problems.

Motivated by all these developments, we shall prove new fixed point theorems extending Edelstein-Suzuki type contraction results in the setting of partially ordered complete metric spaces.

2. Main Results

We denote by Φφ the set of functions φ:[0,+)[0,+) satisfying the following condition: (2)(θ1)φ(t)12tt0.

We denote by Φ the set of nondecreasing functions ϕ:[0,+)[0,+) such that (3)limn+ϕn(t)=0  t>0.

We have the following lemma.

Lemma 4 (see [<xref ref-type="bibr" rid="B1">33</xref>, <xref ref-type="bibr" rid="B2">34</xref>]).

If ψΦ, then ϕ(t)<t for all t>0.

Definition 5 (see [<xref ref-type="bibr" rid="B3">35</xref>]).

Let f:XX and α:X+. We say that f is α-admissible if (4)x,yX  α(x,y)1α(fx,fy)1.

Theorem 6.

Let (X,d,) be an ordered metric space such that (X,d) is complete. Let f:XX be a self-mapping. Assume that there exists φΦφ such that (5)φ(d(x,fx))α(x,y)d(x,y)implies  α(x,y)d(fx,fy)ϕ(d(x,y)) for all comparable x,yX, where ϕΦ. If the following conditions hold:

f is non-decreasing, continuous, and α-admissible,

there exists x0X such that x0fx0 and α(x0,fx0)1,

then f has a fixed point in X.

Proof.

Let x0fx0. If x0=fx0, then the theorem follows. Hence we suppose that x0fx0. Define a sequence {xn} by xn=fnx0=fxn-1 for all n. Since f is non-decreasing and x0fx0 then (6)x0x1x2, and hence {xn} is an increasing sequence. If xn=xn+1=fxn for some n, then the result is proved as xn is a fixed point of f. In what follows, we will suppose that xnxn+1. Hence, {xn} is a strictly increasing sequence. Since f is α-admissible and there exists x0X such that α(x0,fx0)1, we find α(x1,x2)=α(fx0,fx1)1. By continuing this process, we get α(xn,xn+1)1 for all n{0}. Now we obtain that (7)φ(d(xn-1,fxn-1))12d(xn-1,fxn-1)d(xn-1,fxn-1)α(xn-1,fxn-1)d(xn-1,fxn-1) and xn-1 and fxn-1 are comparable for all n. Then by (5), we have (8)α(xn-1,fxn-1)d(fxn-1,f2xn-1)ϕ(d(xn-1,fxn-1)).

Then (9)d(xn,xn+1)α(xn-1,xn)d(xn,xn+1)ϕ(d(xn-1,xn)). By induction, we have (10)d(xn,xn+1)ϕn(d(x0,x1)).

By taking the limit as n+ in the inequality above, we deduce (11)limn+d(xn,xn+1)=0. For a fixed ϵ>0, there exists N such that (12)d(xn,xn+1)<ϵ-ϕ(ϵ)n. As ϕ is nondecreasing, we get (13)ϕ(d(xn,xn+1))ϕ(ϵ-ϕ(ϵ))ϕ(ϵ)n. Then (14)d(xn,xn+2)d(xn,xn+1)+d(xn+1,xn+2)<ϵ-ϕ(ϵ)+ϕ(d(xn,xn+1))ϵ-ϕ(ϵ)+ϕ(ϵ)=ϵ. By continuing this process, we get (15)d(xn,xn+k)<ϵ for all nN and k. Consequently limm,n,+d(xn,xm)=0. Hence {xn} is a Cauchy sequence. Since X is complete, there is zX such that xnz. Now, since f is continuous, we have (16)fz=limnfxn=limnxn=z. So z is a fixed point of f.

Example 7.

Let X=[0,). Define the metric d on X by d(x,y)=|x-y|. Define f:XX by (17)f(x)={12x-14x2,ifx[0,1],lnx+12ifx(1,) and α:X2+ by (18)α(x,y)={1,ifx,y[0,1],0otherwise.

Let ψ(t)=(1/2)t. Let xy if and only if xy. Hence the conditions of Theorem 6 hold; that is, f has a fixed point.

Proof.

Let x,yX. First we assume that α(x,y)1. Then x,y[0,1]. On the other hand, for all x,y[0,1], we have fx1/2. Hence α(fx,fy)1. That is, f is α-admissible. Clearly, α(0,f0)1 and 0f0. Let xy, and x,y[0,1). Then we derive (19)α(x,y)d(fx,fy)=x-y2-(x2-y24)x-y2=ψ(d(x,y)). Next we assume that α(x,y)=0. As a result we find (20)0=α(x,y)d(fx,fy)ψ(d(x,y)). Then the conditions of Theorem 6 hold; therefore, f has a fixed point.

Theorem 8.

Let (X,d,) be an ordered metric space such that (X,d) is complete. Let f:XX be a self-mapping. Assume that there exists φΦφ such that (21)φ(d(x,fx))α(x,y)d(x,y)implies  α(x,y)d(fx,fy)ϕ(d(x,y)) for all comparable x,yX, where ϕΦ. If the following conditions hold:

f is non-decreasing and α-admissible,

there exists x0X such that x0fx0 and α(x0,fx0)1,

for a strictly increasing sequence {xn}X, converging to xX one has xnx for all n,

if {xn} is a sequence in X such that α(xn,xn+1)1 for all n and xnx as n, then α(xn,x)1 for all n,

then f has a fixed point.

Proof.

Proceeding as in the proof of Theorem 6, we know that there is a point zX such that xnz and xnz by condition (iii). We prove that z=fz. From (iv), we have α(xn,z)1 for all n. Now, we suppose that the following inequalities hold (22)12d(xn,xn+1)φ(d(xn,xn+1))>α(xn,z)d(xn,z)d(xn,z),12d(xn+1,xn+2)φ(d(xn+1,xn+2))>α(xn+1,z)d(xn+1,z)d(xn+1,z) for some n.

Since, xnxn+1 for all n, we get d(xn,xn+1)>0 for all n. Now by Lemma 4 and (9), we have d(xn+1,xn+2)<d(xn,xn+1). As a result, we obtain (23)d(xn,xn+1)d(xn,z)+d(xn+1,z)<12d(xn,xn+1)+12d(xn+1,xn+2)<12d(xn,xn+1)+12d(xn,xn+1)=d(xn,xn+1). This is a contradiction. Thus, for all n, either (24)φ(d(xn,xn+1))α(xn,z)d(xn,z) or (25)φ(d(xn+1,xn+2))α(xn+1,z)d(xn+1,z) holds. By (21), we have (26)d(fxn,fz)α(xn,z)d(fxn,fz)ϕ(d(xn,z)) or (27)d(fxn+1,fz)α(xn+1,z)d(fxn+1,fz)ϕ(d(xn+1,z)).

Now since xnz, we have d(xn,z)>0 for all n, that is, (28)d(xn+1,fz)<d(xn,z)or  d(xn+2,fz)<d(xn+1,z).

Consequently, there exists an infinite subset J such that one of these inequalities holds for every nJ. If we take the limit as n+ and nJ, then we get d(z,fz)=0, that is, z=fz, which is a contradiction. Hence it is absurd to suppose zfz. So z is a fixed point of f.

Example 9.

Let X=[0,). Define the metric d on X by d(x,y)=|x-y|. Define f:XX by (29)f(x)={18x2,ifx[0,1],4ifx=3,x+1ifx+[0,1]{3} and α:X2+ by (30)α(x,y)={1,ifx,y[0,1],14,ifx=3,y=1,0,otherwise.

Let φ(t)=(1/2)t, and ϕ(t)=(1/4)t. Let xy if and only if xy. Hence the conditions of Theorem 8 hold. That is, f has a fixed point.

Proof.

Let x,yX. If α(x,y)1, then x,y[0,1]. On the other hand, for all x,y[0,1], we derive fx1/2. Hence α(fx,fy)1. That is, f is α-admissible.

Clearly, there exists x0[0,1] such that α(x0,fx0)1.

If {xn} is a sequence in X such that α(xn,xn+1)1 for all n and xnx as n. Then {xn}[0,1] and x[0,1]. That is, α(xn,x)1 for all n. We need to consider the following cases.

If x,y[0,1] and xy then (31)α(x,y)d(fx,fy)=(fx-fy)=18(x2-y2)14(x-y).

If x=3 and y=1, then (32)α(3,1)d(f3,f1)=α(3,1)(f3-f1)=3132>12=14|3-1|=ϕ(d(2,3)).

But we see that (33)φ(d(x,fx))=12|3-f3|=1>12=α(3,1)|3-1|=α(3,1)d(3,1).

If it is the case that α(x,y)=0, then α(x,y)d(fx,fy)=0ϕ(d(x,y)). Hence, (34)φ(d(x,fx))α(x,y)d(x,y)impliesα(x,y)d(fx,fy)ϕ(d(x,y)).

Then the conditions of Theorem 8 hold. Consequently, f has a fixed point.

The following notions will be used to show the uniqueness of a fixed point.

For all x,yX that are not comparable, there exists vX comparable with x and y such that α(x,v)1 and α(y,v)1.

For all x,yX that are comparable, there exists wX such that α(x,v)1 and α(y,v)1.

Theorem 10.

Adding conditions (A) and (B) to the hypotheses of Theorem 8 one obtains uniqueness of the fixed point of f.

Proof.

Suppose that z and z* are two fixed points of f such that zz*. If z and z* are not comparable, by condition (A), there exists vX comparable with z and z*, such that α(z,v)1 and α(z*,v)1. Since f is α-admissible, we have α(fnz,fnv)1 and α(fnz*,fnv)1. Since we have (35)φ(d(fn-1z,fnz))12d(fn-1z,fn-1v)d(fn-1z,fn-1v)α(fn-1z,fn-1v)d(fn-1z,fn-1v) and fn-1z and fn-1v are comparable, by (21), we derive (36)d(fnz,fnv)α(fn-1z,fn-1v)d(fnz,fnv)ϕ(d(fn-1z,fn-1v)). By induction, we get (37)d(fnz,fnv)ϕn(d(z,v)). If d(z,v)=0, then z=v. That is, z and z* are comparable, which is a contradiction. Hence we suppose that d(z,v)>0.

Taking the lim as k+ in the first of the inequalities above, we have (38)limn+d(fnz,fnx)=0. Similarly, we obtain that (39)limn+d(fnz*,fnv)=0. From the inequality (40)d(z,z*)=d(fnz,fnz*)d(fnz,fnv)+d(fnv,fnz*), we get d(z,z*)=0 by taking the limit as n+, that is, z=z*.

Similarly, if z and z* are comparable, then from (21) and condition (B), it follows that z=z*.

We denote by Θγ the set of functions γ:[0,+)[0,+) satisfying the following condition: (41)(θ2)γ(t)tt0.

Theorem 11.

Let (X,d,) be an ordered metric space such that (X,d) is complete. Let f:XX be a self-mapping. Assume that there exist φΦφ and γΘγ such that (42)φ(d(x,fx))γ(d(x,y))implies  ψ(d(fx,fy))ψ(d(x,y))-ϕ(d(x,y)) for all comparable x,yX, where ϕΦ and ψΨ. If the following conditions hold:

f is non-decreasing,

there exists x0X such that x0fx0,

if a non-decreasing sequence {xn} is such that xn  x as n, then (43)xnx  n, then f has a fixed point. Moreover, f has a unique fixed point if:

for all x,yX that are not comparable there exists vX comparable with x and y.

Proof.

Let x0fx0. If x0=fx0, then the conclusion follows. Hence we suppose that x0fx0. Define a sequence {xn} by xn=fnx0=fxn-1 for all n. Since f is non-decreasing and x0fx0, we have (44)x0x1x2. Hence {xn} is a non-decreasing sequence. Since (45)φ(d(xn-1,fxn-1))12d(xn-1,fxn-1)d(xn-1,fxn-1)γ(d(xn-1,fxn-1)) and xn-1 and fxn-1 are comparable for all n, by (42), we have (46)ψ(d(fxn-1,f2xn-1))ψ(d(xn-1,fxn-1))-ϕ(d(xn-1,fxn-1))ψ(d(xn-1,fxn-1)).

Then we find (47)d(xn,xn+1)d(xn-1,xn) for all n. This implies that the sequence {d(xn-1,xn)} is decreasing and so there is a real number s0 such that (48)limn+d(xn,xn+1)=s.

Now, we show that s must be equal to 0. Let s>0. Then by taking the limit as n in (46), we get (49)ψ(s)ψ(s)-ϕ(s) which is a contradiction. Hence we conclude that (50)limn+d(xn,xn+1)=0.

Next, we prove that {xn} is a Cauchy sequence. Suppose, to the contrary, that {xn} is not a Cauchy sequence. Then there exists an ε>0 such that for all positive integer k, (51)n(k)>m(k)>k,d(xn(k),xm(k))ε,d(xn(k),xm(k)-1)<ε for some sequences {m(k)} and {n(k)}. For all k, we have (52)εd(xn(k),xm(k))d(xn(k),xm(k)-1)+d(xm(k)-1,xm(k))<ε+d(xm(k)-1,xm(k)). Taking the limit as k+ in the inequality above and using (50), we get (53)limk+d(xn(k),xm(k))=ε. Again, from the expressions (54)d(xn(k),xm(k))d(xm(k),xm(k)+1)+d(xm(k)+1,xn(k)+1)+d(xn(k)+1,xn(k)),d(xn(k)+1,xm(k)+1)d(xm(k),xm(k)+1)+d(xm(k),xn(k))+d(xn(k)+1,xn(k)), (50), and (53), we deduce (55)limk+d(xn(k)+1,xm(k)+1)=ε by taking the limit as k+. From the facts limk+d(xm(k),xm(k)+1)=0 and d(xm(k),xn(k))ε>0, we deduce that there is N such that for all kN(56)d(xm(k),xm(k)+1)d(xm(k),xn(k)).

Since (57)φ(d(xm(k),xm(k)+1))12d(xm(k),xm(k)+1)12d(xm(k),xn(k))d(xm(k),xn(k))γ(d(xm(k),xn(k))) and xm(k) and xn(k) are comparable, by (5), we get (58)ψ(d(fxm(k),fxn(k)))ψ(d(xm(k),xn(k)))-ϕ(d(xm(k),xn(k))). Taking the limit as k+ in the inequality above, we have (59)ψ(ε)ψ(ε)-ϕ(ε), which is a contradiction. Hence {xn} is a Cauchy sequence. Since X is complete, there is a point zX such that xnz. Furthermore, by condition (iii), xnz.

Now, we suppose that the following inequalities hold: (60)12d(xn,xn+1)φ(d(xn,xn+1))>γ(d(xn,z))d(xn,z),12d(xn+1,xn+2)φ(d(xn+1,xn+2))>γ(d(xn+1,z))d(xn+1,z) for some n. By (47), we have (61)d(xn,xn+1)d(xn,z)+d(xn+1,z)<12d(xn,xn+1)+12d(xn+1,xn+2)<12d(xn,xn+1)+12d(xn,xn+1)=d(xn,xn+1), a contradiction. Thus, for all n, either (62)φ(d(xn,xn+1))γ(d(xn,z)) or (63)φ(d(xn+1,xn+2))γ(d(xn+1,z)) holds. By (42), it follows that either (64)ψ(d(fxn,fz))ψ(d(xn,z))-ϕ(d(xn,z)) or (65)ψ(d(fxn+1,fz))ψ(d(xn+1,z))-ϕ(d(xn+1,z)).

Consequently, there exists an infinite subset J such that one of these inequalities holds for every nJ. If we take the limit as n+ and nJ, then we get that d(z,fz)=0, that is, z=fz which contradicts with the assumption zfz. Hence z is a fixed point of f.

Now, assume that condition (iv) holds. To prove the uniqueness of z, suppose that z* is another fixed point of f. It is easy to see from (5) that z=z*, if z and z* are comparable. If z and z* are not comparable, by condition (iv), there exists an x comparable with z and z*. Now we suppose that (66)limn+d(fnz,fnx)=s1>0,limn+d(fnz*,fnx)=s2>0. First we note that for each xX comparable with z, by (5) with x=fn-1z and y=fn-1x, we have (67)ψ(d(fnz,fnx))ψ(d(fn-1z,fn-1x))-ϕ(d(fn-1z,fn-1x)). Taking the limsup as k+ in the inequalities above, we have (68)ψ(s1)ψ(s1)-ϕ(s1), which is a contradiction. Hence limn+d(fnz,fnx)=0. Similarly, we obtain that (69)limn+d(fnz*,fnx)=0. From the inequality (70)d(z,z*)=d(fnz,fnz*)d(fnz,fnx)+d(fnx,fnz*), we get d(z,z*)=0, that is, z=z*, by taking the limit as n+.

Example 12.

Let X={(0,0),(4,0),(0,4),(4,5),(5,4)}. We define a partial order by (71)(x,y)(u,v)xu,vy.

Define the metric d on X by d((x1,x2),(y1,y2))=|x1-y1|+|x2-y2|. Clearly, (X,d) is a complete metric space. Also define f:XX by (72)f(x1,x2)={(x1,0),Ifx1x2,(0,x2)Ifx1>x2.

Let φ(t)=(1/2)t, γ(t)=t, ψ(t)=t, and ϕ(t)=(1-r)t, where r[0,1). Hence the conditions of Theorem 11 hold; that is, f has a unique fixed point. But Theorem  2.1 in  cannot be applied to f in this example.

Proof.

Let (x,y),(u,v)X, with (x,y)(u,v). Then for all elements of X we have (73)(0,0)(4,0),(0,4)(5,4),  (4,5)(5,4). We examine each of the following cases:

for (0,0)(4,0), we have; (74)d(f(0,0),f(4,0))=045d((0,0),(4,0));

for (0,4)(5,4), we have (75)d(f(0,4),f(5,4))=44=45d((0,4),(5,4));

for (4,5)(5,4), we have (76)d(f(4,5),f(5,4))=8>85=45d((4,5),(5,4)).

That is, in [36, Theorem  2.1] cannot be applied to f. But for (4,5)(5,4), (77)12d((4,5),f(4,5))=52>2=d((4,5),(5,4)). Hence the conditions of Theorem 11 hold; that is, f has a unique fixed point in X.

3. Application to Existence of Solutions of Integral Equations

Let X=C([0,T],) be the set of real continuous functions defined on [0,T] and dα:X×X[0,+) be defined by d(x,y)=supt[0,T]|x(t)-y(t)| for all x,yX. Let be the partial order on X defined by xy if and only if x(t)y(t) for all t[0,T]. Then (X,d,) is a complete partially ordered metric space.

Consider the following integral equation: (78)x(t)=p(t)+0TS(t,s)f(s,x(s))ds, where

f:[0,T]× is continuous,

p:[0,T] is continuous,

S:[0,T]×[0,T][0,+) is continuous and (79)supt[0,T]0TS(t,s)ds1,

there exists a nonempty and closed subset UX such that for all x,yU with xy, we have (80)f(s,y(s))-f(s,x(s))ψ(y(s)-x(s))s[0,T], where ψΨ and for all x,yX with xy, we have (81)0f(s,y(s))-f(s,x(s)),

for all xU, we have (82)x(t)p(t)+0TS(t,s)f(s,x(s))dsU,

for a strictly increasing sequence {xn}X converging to xX, we have xnx for all n.

We have the following result of existence of solutions for integral equations.

Theorem 13.

Under assumptions (A)–(E), the integral equation (78) has a solution in X=C([0,T],R).

Proof.

Let H:XX be defined by (83)Hx(t)=p(t)+0TS(t,s)f(s,x(s))dst[0,T],  xX.

First, we will prove that H is a nondecreasing mapping with respect to . Let xy. By (D), we have 0f(s,y(s))-f(s,x(s)) for all s[0,T]. On the other hand by definition of H, we have (84)Hy-Hx=0TS(t,s)[f(s,y(s))-f(s,x(s))]ds0t[0,T].

Then HxHy, that is, H is a non-decreasing mapping with respect to . Now suppose that x,yU with xy. Then by (C), (D), and the definition of H, we get (85)d(Hx,Hy)=supt[0,T]|Hx(t)-Hy(t)|=supt[0,T]|0TS(t,s)[f(s,x(s))-f(s,y(s))]ds|supt[0,T]0TS(t,s)|f(s,x(s))-f(s,y(s))|dssupt[0,T]0TS(t,s)ψ((y(s)-x(s)))ds(supt[0,T]0TS(t,s)ds)×ψ(sups[0,T](y(s)-x(s)))ψ(d(x,y)).

Define α:X2+ by (86)α(x,y)={1,if  x,yUwithxy,0,otherwise.

Clearly, α(x,y)d(Hx,Hy)ψ(d(x,y)) holds for all x,yX with xy. If α(x,y)1 then x,yU and xy. Since, H is increasing, we obtain HxHy. Similarly, since Hx,HyU, we get α(Hx,Hy)1. Therefore, H is an α-admissible mapping. Also, assume that {xn} is a sequence such that xnx as n and α(xn,x)1. Then {xn}U. Since U is a closed set, we have xU. That is, α(xn,x)1. Then conditions of Theorem 8 hold and H has a solution in X.

Acknowledgment

The first author is supported by Islamic Azad University, Astara Branch.

Border K. C. Fixed Point Theorems with Applications to Economics and Game Theory 1985 Cambridge, UK Cambridge University Press viii+129 10.1017/CBO9780511625756 MR790845 Ok E. A. Real Analysis with Economic Applications 2007 Princeton, NJ, USA Princeton University Press xxx+802 pp.+loose errata MR2275400 Karapınar E. Generalizations of Caristi Kirk's theorem on partial metric spaces Fixed Point Theory and Applications 2011 2011, article 4 10.1186/1687-1812-2011-4 Karapınar E. A note on common fixed point theorems in partial metric spaces Miskolc Mathematical Notes 2011 12 2 185 191 MR2880416 Matthews S. G. Partial metric topology Papers on General Topology and Applications 1994 728 New York, NY, USA New York Academy of Science 183 197 Annals of the New York Academy of Sciences 10.1111/j.1749-6632.1994.tb44144.x MR1467773 ZBL0911.54025 Romaguera S. Valero O. A quantitative computational model for complete partial metric spaces via formal balls Mathematical Structures in Computer Science 2009 19 3 541 563 10.1017/S0960129509007671 MR2507348 ZBL1172.06003 Schellekens M. P. The correspondence between partial metrics and semivaluations Theoretical Computer Science 2004 315 1 135 149 10.1016/j.tcs.2003.11.016 MR2072993 ZBL1052.54026 Levy R. Fixed point theory and structural optimization Engineering Optimization 1991 17 4 El-Dessouky H. Bingulac S. A fixed point iterative algorithm for solving equations modeling the multi-stage flash desalination process Computer Methods in Applied Mechanics and Engineering 1997 141 1-2 95 115 2-s2.0-0043237088 Bauschke H. H. Burachik R. S. Combettes P. L. Elser V. Luke D. R. Wolkowicz H. Fixed-Point Algorithms for Inverse Problems in Science and Engineering 2011 49 1st New York, NY, USA Springer xii+402 Optimization and Its Applications 10.1007/978-1-4419-9569-8 MR2858828 Banach S. Sur les operations dans les ensembles abstraits et leur application aux equations intégrales Fundamenta Mathematicae 1922 3 133 181 Kannan R. Some results on fixed points Bulletin of the Calcutta Mathematical Society 1968 60 71 76 MR0257837 ZBL0209.27104 Reich S. Kannan's fixed point theorem Bollettino della Unione Matematica Italiana 1971 4 1 11 MR0305163 ZBL0219.54042 Hardy G. E. Rogers T. D. A generalization of a fixed point theorem of Reich Canadian Mathematical Bulletin 1973 16 201 206 MR0324495 ZBL0266.54015 Ciric L. B. A generalization of Banach's contraction principle Proceedings of the American Mathematical Society 1974 45 267 273 MR0356011 ZBL0291.54056 Zamfirescu T. Fix point theorems in metric spaces Archiv der Mathematik 1972 23 292 298 MR0310859 10.1007/BF01304884 ZBL0239.54030 Ni H. Tian L.-X. Liu X. Positive almost periodic solution on a nonlinear differential equation Mathematical Problems in Engineering 2011 2011 10 567319 10.1155/2011/567319 MR2826911 ZBL1241.34053 Cao Z. Yuan C. Jiang D. Wang X. A note on periodic solutions of second order nonautonomous singular coupled systems Mathematical Problems in Engineering 2010 2010 15 458918 10.1155/2010/458918 MR2733597 ZBL1208.34051 Jitpeera T. Kumam P. Hybrid algorithms for minimization problems over the solutions of generalized mixed equilibrium and variational inclusion problems Mathematical Problems in Engineering 2011 2011 25 648617 10.1155/2011/648617 MR2826902 ZBL1235.65071 Yang X. Liou Y.-C. Yao Y. Finding minimum norm fixed point of nonexpansive mappings and applications Mathematical Problems in Engineering 2011 2011 13 106450 10.1155/2011/106450 MR2794348 ZBL1216.47102 Huang L.-L. Xiao L. Wei Z.-H. Efficient and effective total variation image super-resolution: a preconditioned operator splitting approach Mathematical Problems in Engineering 2011 2011 20 380807 10.1155/2011/380807 MR2773598 ZBL1213.94013 Edelstein M. On fixed and periodic points under contractive mappings Journal of the London Mathematical Society 1962 37 74 79 MR0133102 10.1112/jlms/s1-37.1.74 ZBL0113.16503 Suzuki T. A generalized Banach contraction principle that characterizes metric completeness Proceedings of the American Mathematical Society 2008 136 5 1861 1869 10.1090/S0002-9939-07-09055-7 MR2373618 ZBL1145.54026 Suzuki T. A new type of fixed point theorem in metric spaces Nonlinear Analysis. Theory, Methods & Applications 2009 71 11 5313 5317 10.1016/j.na.2009.04.017 MR2560200 ZBL1179.54071 Altun I. Erduran A. A Suzuki type fixed-point theorem International Journal of Mathematics and Mathematical Sciences 2011 2011 9 736063 10.1155/2011/736063 MR2783434 Doric D. Lazovic R. Some Suzuki type fixed point theorems for generalized multivalued mappings and applications Fixed Point Theory and Applications 2011 2011, article 40 10.1186/1687-1812-2011-40 Karapınar E. Remarks on Suzuki (C)-condition Dynamical Systems and Methods 2012 New York, NY, USA Springer 227 243 10.1007/978-1-4614-0454-5_12 MR2885146 Karapınar E. Taş K. Generalized (C)-conditions and related fixed point theorems Computers & Mathematics with Applications 2011 61 11 3370 3380 10.1016/j.camwa.2011.04.035 MR2802003 Singh S. L. Pathak H. K. Mishra S. N. On a Suzuki type general fixed point theorem with applications Fixed Point Theory and Applications 2010 2010 15 10.1155/2010/234717 234717 MR2747254 ZBL1206.54063 Turinici M. Abstract comparison principles and multivariable Gronwall-Bellman inequalities Journal of Mathematical Analysis and Applications 1986 117 1 100 127 10.1016/0022-247X(86)90251-9 MR843008 ZBL0613.47037 Ran A. C. M. Reurings M. C. B. A fixed point theorem in partially ordered sets and some applications to matrix equations Proceedings of the American Mathematical Society 2004 132 5 1435 1443 10.1090/S0002-9939-03-07220-4 MR2053350 ZBL1060.47056 Nieto J. J. Rodríguez-López R. Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations Order 2005 22 3 223 239 10.1007/s11083-005-9018-5 MR2212687 ZBL1095.47013 Matkowski J. Integrable solutions of functional equations Dissertationes Mathematicae 1975 127 1 68 MR0412650 ZBL0318.39005 Matkowski J. Fixed point theorems for mappings with a contractive iterate at a point Proceedings of the American Mathematical Society 1977 62 2 344 348 MR0436113 10.1090/S0002-9939-1977-0436113-5 ZBL0349.54032 Samet B. Vetro C. Vetro P. Fixed point theorems for α-ψ-contractive type mappings Nonlinear Analysis. Theory, Methods & Applications 2012 75 4 2154 2165 10.1016/j.na.2011.10.014 MR2870907 Karapınar E. Salimi P. Fixed point theorems via auxiliary functions Journal of Applied Mathematics 2012 2012 9 10.1155/2012/792174 792174 MR2984224