JAM Journal of Applied Mathematics 1687-0042 1110-757X Hindawi Publishing Corporation 312078 10.1155/2012/312078 312078 Research Article Coupled Coincidence Points in Partially Ordered Cone Metric Spaces with a c-Distance Shatanawi Wasfi 1 Karapınar Erdal 2 Aydi Hassen 3 Timokha Alexander 1 Department of Mathematics The Hashemite University P.O. Box 150459 Zarqa 13115 Jordan hu.edu.jo 2 Department of Mathematics Atilim University 06836 Incek, Ankara Turkey atilim.edu.tr 3 Institut Supérieur d'Informatique et des Technologies de Communication De Hammam Sousse Université de Sousse Route GP1, 4011 Hammam Sousse Tunisia uc.rnu.tn 2012 8 8 2012 2012 22 05 2012 25 06 2012 25 06 2012 2012 Copyright © 2012 Wasfi Shatanawi et al. 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.

Cho et al. (2012) proved some coupled fixed point theorems in partially ordered cone metric spaces by using the concept of a c-distance in cone metric spaces. In this paper, we prove some coincidence point theorems in partially ordered cone metric spaces by using the notion of a c-distance. Our results generalize several well-known comparable results in the literature. Also, we introduce an example to support the usability of our results.

1. Introduction and Preliminaries

Fixed point theory is an essential tool in functional nonlinear analysis. Consequently, fixed point theory has wide applications areas not only in the various branches of mathematics (see, e.g., [1, 2]) but also in many fields, such as, chemistry, biology, statistics, economics, computer science, and engineering (see, e.g., ). For example, fixed point results are incredibly useful when it comes to proving the existence of various types of Nash equilibria (see, e.g., ) in economics. On the other hand, fixed point theorems are vital for the existence and uniqueness of differential equations, matrix equations, integral equations (see, e.g., [1, 2]). Banach contraction mapping principle (Banach fixed point theorem) is one of the most powerful theorems of mathematics and hence fixed point theory. Huang and Zhang  generalized the Banach contraction principle by replacing the notion of usual metric spaces by the notion of cone metric spaces. Then many authors obtained many fixed and common fixed point theorems in cone metric spaces. For some works in cone metric spaces, we may refer the reader (as examples) to . The concept of a coupled fixed point of a mapping F:X×XX was initiated by Bhaskar and Lakshmikantham , while Lakshmikantham and Ćirić  initiated the notion of coupled coincidence point of mappings F:X×XX and g:XX and studied some coupled coincidence point theorems in partially ordered metric spaces. For some coupled fixed point and coupled coincidence point theorems, we refer the reader to .

In the present paper, N* is the set of positive integers and E stands for a real Banach space. Let P be a subset of E. We will always assume that the cone P has a nonempty interior Int(P) (such cones are called solid). Then P is called a cone if the following conditions are satisfied:

P  is closed and P{θ},

a,bR+, x,yP implies ax+byP,

xP-P implies x=θ.

For a cone P, define a partial ordering with respect to P by xy if and only if y-xP. We will write xy to indicate that xy but xy, while xy will stand for y-xInt(P). It can be easily shown that λInt(P)Int(P) for all positive scalar λ.

Definition 1.1 (see [<xref ref-type="bibr" rid="B1">12</xref>]).

Let X be a nonempty set. Suppose the mapping d:X×XE satisfies

θd(x,y) for all x,yX and d(x,y)=θ if and only if x=y,

d(x,y)=d(y,x) for all x,yX,

d(x,y)d(x,z)+d(y,z) for all x,y,zX.

Then d is called a cone metric on X, and (X,d) is called a cone metric space.

Bhaskar and Lakshmikantham  introduced the notion of mixed monotone property of the mapping F:X×XX.

Definition 1.2 (see [<xref ref-type="bibr" rid="B14">25</xref>]).

Let (X,) be a partially ordered set and F:X×XX be a mapping. Then the mapping F is said to have mixed monotone property if F(x,y) is monotone nondecreasing in x and is monotone nonincreasing in y; that is, for any x,yX, (1.1)x1x2  implies  F(x1,y)F(x2,y),yX,y1y2  implies  F(x,y2)F(x,y1),xX.

Inspired by Definition 1.2, Lakshmikantham and Ćirić in  introduced the concept of a g-mixed monotone mapping.

Definition 1.3 (see [<xref ref-type="bibr" rid="B15">26</xref>]).

Let (X,) be a partially ordered set and F:X×XX. Then the mapping F is said to have mixed gg-monotone property if F(x,y) is monotone g-nondecreasing in x and is monotone g-nonincreasing in y; that is: (1.2)gx1gx2  implies  F(x1,y)F(x2,y),yX,gy1gy2  implies  F(x,y2)F(x,y1),xX.

Definition 1.4 (see [<xref ref-type="bibr" rid="B14">25</xref>]).

An element (x,y)X×X is called a coupled fixed point of a mapping F:X×XX if (1.3)F(x,y)=x,F(y,x)=y.

Definition 1.5 (see [<xref ref-type="bibr" rid="B15">26</xref>]).

An element (x,y)X×X is called a coupled coincidence point of the mappings F:X×XX and g:XX if (1.4)F(x,y)=gx,F(y,x)=gy.

Recently, Cho et al.  introduced the concept of c-distance on cone metric space (X,d) which is a generalization of w-distance of Kada et al.  (see also [37, 38]).

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

Let (X,d) be a cone metric space. Then a function q:X×XE is called a c-distance on X if the following is satisfied:

θq(x,y) for all x,yX,

q(x,z)q(x,y)+q(y,z) for all x,y,zX,

for each xX and n1, if q(x,yn)u for some u=uxP, then q(x,y)u whenever (yn) is a sequence in X converging to a point yX,

for all cE with θc, there exists eE with 0e such that q(z,x)e, and q(z,y)e implies d(x,y)c.

Cho et al.  noticed the following important remark in the concept of c-distance on cone metric spaces.

Remark 1.7 (see [<xref ref-type="bibr" rid="B24">35</xref>]).

Let q be a c-distance on a cone metric space (X,d). Then

q(x,y)=q(y,x) does not necessarily hold for all x,yX,

q(x,y)=θ is not necessarily equivalent to x=y for all x,yX.

Very recently, Cho et al.  proved the following existence theorems.

Theorem 1.8 (see [<xref ref-type="bibr" rid="B27">39</xref>]).

Let (X,) be a partially ordered set and suppose that (X,d) is a complete cone metric space. Let q be a c-distance on X and let F:X×XX be a continuous function having the mixed monotone property such that (1.5)q(F(x,y),F(x*,y*))k2(q(x,x*)+q(y,y*)), for some k[0,1) and all x,y,x*,y*X with (xx*)(yy*) or (xx*)(yy*). If there exist x0,y0X such that x0F(x0,y0) and y0F(y0,x0), then F has a coupled fixed point (u,v). Moreover, one has q(v,v)=q(u,u)=θ.

Theorem 1.9 (see [<xref ref-type="bibr" rid="B27">39</xref>]).

Let (X,) be a partially ordered set and suppose that (X,d) is a complete cone metric space. Let q be a c-distance on X, and let F:X×XX be a function having the mixed monotone property such that (1.6)q(F(x,y),F(x*,y*))k4(q(x,x*)+q(y,y*)), for some k[0,1) and all x,y,x*,y*X with (xx*)(yy*) or (xx*)(yy*). Also, suppose that X has the following properties:

if (xn) is a nondecreasing sequence in X with xnx, then xnx for all n1,

if (xn) is a nonincreasing sequence in X with xnx, then xxn for all n1.

If there exist x0,y0X such that x0F(x0,y0) and y0F(y0,x0), then F has a coupled fixed point (u,v). Moreover, one has q(v,v)=q(u,u)=θ.

For other fixed point results using a c-distance, see .

In this paper, we prove some coincidence point theorems in partially ordered cone metric spaces by using the notion of c-distance. Our results generalize Theorems 1.8 and 1.9. We consider an application to illustrate our result is useful (see Section 3).

2. Main Results

The following lemma is essential in proving our results.

Lemma 2.1 (see [<xref ref-type="bibr" rid="B24">35</xref>]).

Let (X,d) be a cone metric space, and let q be a cone distance on X. Let (xn) and (yn) be sequences in X and x,y,zX. Suppose that (un) is a sequence in P converging to θ. Then the following holds.

If q(xn,y)un and q(xn,z)un, then y=z.

If q(xn,yn)un and q(xn,z)un, then (yn) converges to z.

If q(xn,xm)un for m>n, then (xn) is a Cauchy sequence in X.

If q(y,xn)un, then (xn) is a Cauchy sequence in X.

In this section, we prove some coupled fixed point theorems by using c-distance in partially partially ordered cone metric spaces.

Theorem 2.2.

Let (X,) be a partially ordered set and suppose that (X,d) is a cone metric space. Let q be a c-distance on X. Let F:X×XX and g:XX be two mappings such that (2.1)q(F(x,y),F(x*,y*))+q(F(y,x),F(y*,x*))k(q(gx,gx*)+q(gy,gy*)), for some k[0,1) and for all x,y,x*,y*X with (gxgx*)(gygy*) or (gxgx*)(gygy*). Assume that F and g satisfy the following conditions:

F is continuous,

g is continuous and commutes with F,

F(X×X)gX,

(X,d) is complete,

F has the mixed g-monotone property.

If there exist x0,y0X such that gx0F(x0,y0) and F(y0,x0)gy0, then F and g have a coupled coincidence point (u,v). Moreover, one has q(gu,gu)=θ and q(gv,gv)=θ.

Proof.

Let x0,y0X be such that gx0F(x0,y0) and F(y0,x0)gy0. Since F(X×X)g(X), we can choose x1,y1X such that gx1=F(x0,y0) and gy1=F(y0,x0). Again since F(X×X)g(X), we can choose x2,y2X such that gx2=F(x1,y1) and gy2=F(y1,x1). Since F has the mixed g-monotone property, we have gx0gx1gx2 and gy2gy1gy0. Continuing this process, we can construct two sequences (xn) and (yn) in X such that (2.2)gxn=F(xn-1,yn-1)gxn+1=F(xn,yn),gyn+1=F(yn,xn)gyn=F(yn-1,xn-1). Let nN*. Then by (2.1), we have (2.3)q(gxn,gxn+1)+q(gyn,gyn+1)=q(F(xn-1,yn-1),F(xn,yn))+q(F(yn-1,xn-1),F(yn,xn))k(q(gxn-1,gxn)+q(gyn-1,gyn)).

Repeating (2.3) n-times, we get (2.4)q(gxn,gxn+1)+q(gyn,gyn+1)kn(q(gx0,gx1)+q(gy0,gy1)). Thus, we have (2.5)q(gxn,gxn+1)kn(q(gx0,gx1)+q(gy0,gy1)),(2.6)q(gyn,gyn+1)kn(q(gx0,gx1)+q(gy0,gy1)). Let m,nN* with m>n. Then by (q2) and (2.5), we have (2.7)q(gxn,gxm)i=nm-1q(gxi,gxi+1)i=nm-1ki(q(gx0,gx1)+q(gy0,gy1))kn1-k(q(gx0,gx1)+q(gy0,gy1)). Similarly, we have (2.8)q(gyn,gym)kn1-k(q(gx0,gx1)+q(gy0,gy1)). From part (3) of Lemma 2.1, we conclude that (gxn) and (gyn) are Cauchy sequences in in (X,d). Since X is complete, there are u,vX such that gxnu and gynv. Using the continuity of g, we get g(gxn)gu and g(gyn)gv. Also, by continuity of F and commutativity of F and g, we have (2.9)gu=limng(gxn+1)=limng(F(xn,yn))=limnF(gxn,gyn)=F(u,v),gv=limng(gyn+1)=limng(F(yn,xn))=limnF(gyn,gxn)=F(v,u). Hence, (u,v) is a coupled coincidence point of F and g. Moreover, by (2.1) we have (2.10)q(gu,gu)+q(gv,gv)=q(F(u,v),F(u,v))+q(F(v,u),F(v,u))k(q(gu,gu)+q(gv,gv)). Since k<1, we conclude that q(gu,gu)+q(gv,gv)=θ, and hence q(gu,gu)=θ and q(gv,gv)=θ.

The continuity of F in Theorem 2.2 can be dropped. For this, we present the following useful lemma which is a variant of Lemma 2.1, (1).

Lemma 2.3.

Let (X,d) be a cone metric space, and let q be a c-distance on X. Let (xn) be a sequence in X. Suppose that (αn) and (βn) are sequences in P converging to θ. If q(xn,y)αn and q(xn,z)βn, then y=z.

Proof.

Let cθ be arbitrary. Since αnθ, so there exists N1 such that αnc/2 for all nN1. Similarly, there exists N2 such that βnc/2 for all nN2. Thus, for all Nmax{N1,N2}, we have (2.11)q(xn,y)c2,q(xn,z)c2. Take e=c/2, so by (q4), we get that d(y,z)c for each cθ; hence y=z.

Theorem 2.4.

Let (X,) be a partially ordered set and suppose that (X,d) is a cone metric space. Let q be a c-distance on X. Let F:X×XX and let g:XX be two mappings such that (2.12)q(F(x,y),F(x*,y*))+q(F(y,x),F(y*,x*))k(q(gx,gx*)+q(gy,gy*)), for some k[0,1) and for all x,y,x*,y*X with (gxgx*)(gygy*) or (gxgx*)(gygy*). Assume that F and g satisfy the following conditions:

F(X×X)gX,

gX is a complete subspace of X,

F has the mixed g-monotone property.

Suppose that X has the following properties:

if a nondecreasing sequence xnx, then xnx for all n,

if a nonincreasing sequence xnx, then xxn for all n.

Assume there exist x0,y0X such that gx0F(x0,y0) and F(y0,x0)gy0. Then F and g have a coupled coincidence point, say (u,v)X×X. Also, q(gu,gu)=q(gv,gv)=θ.

Proof.

As in the proof of Theorem 2.2, we can construct two Cauchy sequences (gxn) and (gyn) in the complete cone metric space (gX,d). Then, there exist u,vX such that gxngu and gyngv. Similarly we have for all m>n1(2.13)q(gxn,gxm)kn1-k[q(gx0,gx1)+q(gy0,gy1)],q(gyn,gym)kn1-k[q(gx0,gx1)+q(gy0,gy1)]. By (q3), we get that (2.14)q(gxn,gu)kn1-k[q(gx0,gx1)+q(gy0,gy1)],(2.15)q(gyn,gv)kn1-k[q(gx0,gx1)+q(gy0,gy1)]. By summation, we get that (2.16)q(gxn,gu)+q(gyn,gv)2kn1-k[q(gx0,gx1)+q(gy0,gy1)]. Since (gxn) is nondecreasing and (gyn) is nonincreasing, using the properties (i), (ii) of X, we have (2.17)gxngu,gvgyn,n0. From this and (2.14), we have (2.18)q(gxn,F(u,v)  )+q(gyn,F(v,u))=q(F(xn-1,yn-1),F(u,v))  +q(F(yn-1,xn-1),F(v,u))k(q(gxn-1,gu)+q(gyn-1,gv)). Therefore (2.19)q(gxn,F(u,v))+q(gyn,F(v,u))k[q(gxn-1,gu)+q(gyn-1,gv)]. By (2.16), we have (2.20)q(gxn,F(u,v))+q(gyn,F(v,u))k[q(gxn-1,gu)+q(gyn-1,gv)]k2kn-11-k[q(gx0,gx1)+q(gy0,gy1)]=2kn1-k[q(gx0,gx1)+q(gy0,gy1)]. This implies that (2.21)q(gxn,F(u,v))2kn1-k[q(gx0,gx1)+q(gy0,gy1)],(2.22)q(gyn,F(v,u))2kn1-k[q(gx0,gx1)+q(gy0,gy1)]. By (2.14), (2.21) and Lemma 2.3, we obtain gu=F(u,v). Similarly, by (2.15), (2.22), and Lemma 2.3, we obtain gv=F(v,u). Also, adjusting as the proof of Theorem 2.2, we get that (2.23)q(gu,gu)=q(gv,gv)=θ.

Corollary 2.5.

Let (X,) be a partially ordered set and suppose that (X,d) is a cone metric space. Let q be a c-distance on X. Let F:X×XX, and let g:XX be two mappings such that (2.24)q(F(x,y),F(x*,y*))aq(gx,gx*)+bq(gy,gy*), for some a,b[0,1) with a+b<1 and for all x,y,x*,y*X with (gxgx*)(gygy*) or (gxgx*)(gygy*). Assume that F and g satisfy the following conditions:

F is continuous,

g is continuous and commutes with F,

F(X×X)gX,

(X,d) is complete,

F has the mixed g-monotone property.

If there exist x0,y0X such that gx0F(x0,y0) and F(y0,x0)gy0, then F and g have a coupled coincidence point (u,v). Moreover, one has q(gu,gu)=θ and q(gv,gv)=θ.

Proof.

Given x,x*,y,y*X such that (gxgx*)(gygy*). By (2.24), we have (2.25)q(F(x,y),F(x*,y*))aq(gx,gx*)+bq(gy,gy*),q(F(y,x),F(y*,x*))aq(gy,gy*)+bq(gx,gx*). Thus (2.26)q(F(x,y),F(x*,y*))+q(F(y,x),F(y*,x*))(a+b)(q(gx,gx*)+q(gy,gy*)). Since a+b<1, the result follows from Theorem 2.2.

Corollary 2.6.

Let (X,) be a partially ordered set and suppose that (X,d) is a complete cone metric space. Let q be a c-distance on X. Let F:X×XX be a continuous mapping having the mixed monotone property such that (2.27)q(F(x,y),F(x*,y*))aq(x,x*)+bq(y,y*), for some a,b[0,1) with a+b<1 and for all x,y,x*,y*X with (xx*)(yy*) or (xx*)(yy*). If there exist x0,y0X such that x0F(x0,y0) and F(y0,x0)y0, then F has a coupled fixed point (x,y). Moreover, one has q(x,x)=θ and q(y,y)=θ.

Proof.

It follows from Corollary 2.5 by taking g=IX (the identity map).

Corollary 2.7.

Let (X,) be a partially ordered set and suppose that (X,d) is a cone metric space. Let q be a c-distance on X. Let F:X×XX and g:XX be two mappings such that (2.28)q(F(x,y),F(x*,y*))aq((gx,gx*)+bq(gy,gy*)), for some a,b[0,1) with a+b<1 and for all x,y,x*,y*X with (gxgx*)(gygy*) or (gxgx*)(gygy*). Assume that F and g satisfy the following conditions:

F(X×X)gX,

gX is a complete subspace of X,

F has the mixed g-monotone property.

Suppose that X has the following properties:

if a nondecreasing sequence xnx, then xnx for all n,

if a nonincreasing sequence xnx, then xxn for all n.

Assume there exist x0,y0X such that gx0F(x0,y0) and F(y0,x0)gy0. Then F and g have a coupled coincidence point.

Proof.

It follows from Theorem 2.4 by similar arguments to those given in proof of Corollary 2.5.

Corollary 2.8.

Let (X,) be a partially ordered set and suppose that (X,d) is a complete cone metric space. Let q be a c-distance on X. Let F:X×XX be a mapping having the mixed monotone property such that (2.29)q(F(x,y),F(x*,y*))aq((x,x*)+bq(y,y*)), for some a,b[0,1) with a+b<1 and for all x,y,x*,y*X with (xx*)(yy*) or (xx*)(yy*). Suppose that X has the following properties:

if a nondecreasing sequence xnx, then xnx for all n,

if a nonincreasing sequence xnx, then xxn for all n.

Assume there exist x0,y0X such that x0F(x0,y0) and F(y0,x0)y0. Then F has a coupled fixed point.

Proof.

It follows from Corollary 2.7 by taking g=IX (the identity map).

Corollary 2.9.

Let (X,) be a partially ordered set and suppose that (X,d) is a complete cone metric space. Let q be a c-distance on X, and let F:X×XX be a continuous mapping having the mixed monotone property such that (2.30)q(F(x,y),F(x*,y*))+q(F(y,x),F(y*,x*))k(q(x,x*)+q(y,y*)), for some k[0,1) and for all x,y,x*,y*X with (xx*)(yy*) or (xx*)(yy*).

If there exist x0,y0X such that x0F(x0,y0) and F(y0,x0)y0, then F has a coupled fixed point (x,y). Moreover, we have q(x,x)=θ and q(y,y)=θ.

Proof.

It follows from Theorem 2.2 by taking g=IX.

Corollary 2.10.

Let (X,) be a partially ordered set and suppose that (X,d) is a complete cone metric space. Let q be a c-distance on X. Let F:X×XX be a mapping having the mixed monotone property such that (2.31)q(F(x,y),F(x*,y*))+q(F(y,x),F(y*,x*))k(q(x,x*)+q(y,y*)), for some k[0,1) and for all x,y,x*,y*X with (xx*)(yy*) or (xx*)(yy*). Suppose that X has the following properties:

if a nondecreasing sequence xnx, then xnx for all n,

if a nonincreasing sequence xnx, then xxn for all n.

Assume there exist x0,y0X such that x0F(x0,y0) and F(y0,x0)y0. Then F has a coupled fixed point.

Proof.

It follows from Theorem 2.4 by taking g=IX.

Example 2.11.

Let E=CR1([0,1]) with ||x||=||x||+||x|| and P={xE:x(t)0,t[0,1]}. Let X=[0,1] with usual order . Define d:X×XX by d(x,y)(t)=|x-y|et for all x,yX. Then (X,d) is a partially ordered cone metric space. Define q:X×XE by q(x,y)(t)=yet for all x,yX. Then q is a c-distance. Define F:X×XX by (2.32)F(x,y)={x-y2,xy,0,x<y. Then,

q(F(x,y),F(x*,y*))+q(F(y,x),F(y*,x*))1/2(q(x,x*)+q(y,y*)), for all xx* and yy*,

there is no k[0,1) such that q(F(x,y),F(x*,y*))(k/2)(q(x,x*)+q(y,y*)) for all xx* and yy*,

there is no k[0,1) such that q(F(x,y),F(x*,y*))(k/4)(q(x,x*)+q(y,y*)) for all xx* and yy*.

Note that 0F(0,0) and 0F(0,0). Thus by Corollary 2.10, we have F which has a coupled fixed point. Here (0,0) is a coupled fixed point of F.

Proof.

The proof of (2.1) is easy. To prove (2.3), suppose the contrary; that is, there is k[0,1) such that q(F(x,y),F(x*,y*))k/2(q(x,x*)+q(y,y*)) for all xx* and yy*. Take x=0,y=1,x*=1 and y*=0. Then (2.33)q(F(0,1),F(1,0))(t)k2(q(0,1)+q(1,0))(t). Thus (2.34)q(0,12)(t)=12etk2et. Hence k1 is a contradiction. The proof of (2.5) is similar to proof of (2.3).

Remark 2.12.

Note that Theorems 3.1 and 3.2 of  are not applicable to Example 2.11.

Remark 2.13.

Theorem 3.1 of  is a special case of Corollary 2.6 and Corollary 2.9.

Remark 2.14.

Theorem 3.3 of  is a special case of Corollary 2.8 and Corollary 2.10.

3. Application

Consider the integral equations (3.1)x(t)=0Tf(t,x(s),y(s))ds,t[0,T],y(t)=0Tf(t,y(s),x(s))ds,t[0,T], where T>0 and f:[0,T]××. Let X=C([0,T],) denote the space of -valued continuous functions on I=[0,T]. The purpose of this section is to give an existence theorem for a solution (x,y) to (3.1) that belongs to X, by using the obtained result given by Corollary 2.10. Let E=2, and let PE be the cone defined by (3.2)P={(x,y)R2  x0,y0}. We endow X with the cone metric d:X×XE defined by (3.3)d(u,v)=(suptI|u(t)-v(t)|,suptI|u(t)-v(t)|),  u,vX. It is clear that (X,d) is a complete cone metric space. Let q(x,y)=d(x,y) for all x,yX. Then, q is a c-distance.

Now, we endow X with the partial order given by (3.4)u,vX,      uvu(x)v(x),  xI. Also, the product space X×X can be equipped with the partial order (still denoted ) given as follows: (3.5)(x,y)(u,v)xu,yv. It is easy that (i) and (ii) given in Corollary 2.10 are satisfied.

Now, we consider the following assumptions:

f:[0,T]×× is continuous,

for all t[0,T], the function f(t,·,·): has the mixed monotone property,

for all t[0,T], for all p,q,p,q with pq and pq, we have (3.6)f(t,q,q)-f(t,p,p)1Tφ(q-p+p-q2), where φ:[0,)[0,) is continuous nondecreasing an satisfies the following condition: There exists 0<k<1 such that (3.7)φ(r)kr  r0,

there exists x0,y0C([0,T],) such that (3.8)x0(t)0Tf(t,x0(s),y0(s))ds,      0Tf(t,y0(s),x0(s))dsy0(t),  t[0,T].

We have the following result.

Theorem 3.1.

Suppose that (a)(d) hold. Then, (3.1) has at least one solution (x*,y*)C([0,T],)×C([0,T],).

Proof.

Define the mapping A:C([0,T],)×C([0,T],)C([0,T],) by (3.9)A(x,y)(t)=0Tf(t,x(s),y(s))ds,      x,yC([0,T],R),      t[0,T]. We have to prove that A has at least one coupled fixed point (x*,y*)C([0,T],)×C([0,T],).

From (b), it is clear that A has the mixed monotone property.

Now, let x,y,u,vC([0,T],) such that (xu and yv) or (xu and yv). Using (c), for all t[0,T], we have (3.10)|A(u,v)(t)-A(x,y)(t)|0T[f(t,u(s),v(s))-f(t,x(s),y(s))]ds1T  0Tφ(u(s)-x(s)+y(s)-v(s)2)ds1T  0Tφ(supz[0,T]|u(z)-x(z)|+supz[0,T]|y(z)-v(z)|2)ds=φ(supz[0,T]|u(z)-x(z)|+supz[0,T]|y(z)-v(z)|2)k[supz[0,T]|u(z)-x(z)|+supz[0,T]|y(z)-v(z)|2], which implies that (3.11)supz[0,T]|A(u,v)(t)-A(x,y)(t)|k[supz[0,T]|u(z)-x(z)|+supz[0,T]|y(z)-v(z)|2]. Similarly, one can get (3.12)supz[0,T]|A(v,u)(t)-A(y,x)(t)|k[supz[0,T]|u(z)-x(z)|+supz[0,T]|y(z)-v(z)|2]. We deduce (3.13)supz[0,T]|A(u,v)(t)-A(x,y)(t)|+supz[0,T]|A(v,u)(t)-A(y,x)(t)|k[supz[0,T]|u(z)-x(z)|+supz[0,T]|y(z)-v(z)|]. Thus (3.14)d(A(u,v),A(x,y))+d(A(v,u),A(y,x))k[d(x,u)+d(y,v)]. Thus, we proved that condition (2.31) of Corollary 2.10 is satisfied. Moreover, from (d), we have x0A(x0,y0) and A(y0,x0)y0. Finally, applying our Corollary 2.10, we get the desired result.

Yantir A. Topal S. G. Positive solutions of nonlinear m-point BVP on time scales International Journal of Difference Equations 2008 3 1 179 194 2548125 Guo Y. A generalization of Banachs contraction principle for some non-obviously contractive operators in a cone metric space Turkish Journal of Mathematics 2012 36 297 304 Cataldo A. Lee E. A. Liu X. Matsikoudis E. D. Zheng H. A constructive fixed point theorem and the feedback semantics of timed systems 2006 UCB/EECS-2006-4 Berkeley, Calif, USA EECS Department, University of California Noumsi A. Derrien S. Quinton P. Acceleration of a content based image retrieval application on the RDISK cluster Proceedings of the IEEE International Parallel and Distributed Processing Symposium April 2006 Hyväarinen A. Fast and robust fixed-point algorithms for independent component analysis IEEE Transactions on Neural Networks 1999 10 3 626 634 Mandic D. P. Chambers J. A. Bozic M. M. On global asymptotic stability of fully connected recurrent neural networks 6 Proceedings of the International Conference on Acoustics, Speech and Signal Processing (ICASSP '00) 2000 3406 3409 Border K. C. Fixed Point Theorems with Applications to Economics and Game Theory 1985 New York, NY, USA Cambridge University Press 10.1017/CBO9780511625756 790845 Escardó M. H. PCF extended with real numbers Theoretical Computer Science 1996 162 1 79 115 10.1016/0304-3975(95)00250-2 1408015 Gillespie J. B. Houghton C. J. A metric space approach to the information channel capacity of spike trains Journal of Computational Neuroscience 2011 30 1 201 209 10.1007/s10827-010-0286-8 2774397 Menger K. Statistical metrics Proceedings of the National Academy of Sciences of the United States of America 1942 28 535 537 0007576 Fenwick D. H. Batycky R. P. Using metric space methods to analyse reservoir uncertainty Proceedings of the Gussow Conference 2011 Alberta, Canada Huang L. G. Zhang X. Cone metric spaces and fixed point theorems of contractive mappings Journal of Mathematical Analysis and Applications 2007 332 2 1468 1476 10.1016/j.jmaa.2005.03.087 2324351 Amini-Harandi A. Fakhar M. Fixed point theory in cone metric spaces obtained via the scalarization method Computers & Mathematics with Applications 2010 59 11 3529 3534 10.1016/j.camwa.2010.03.046 2646324 Turkoglu D. Abuloha M. Cone metric spaces and fixed point theorems in diametrically contractive mappings Acta Mathematica Sinica 2010 26 3 489 496 10.1007/s10114-010-8019-5 2591608 Aydi H. Nashine H. K. Samet B. Yazidi H. Coincidence and common fixed point results in partially ordered cone metric spaces and applications to integral equations Nonlinear Analysis 2011 74 17 6814 6825 10.1016/j.na.2011.07.006 2834080 Graily E. Vaezpour S. M. Saadati R. Cho Y. J. Generalization of fixed point theorems in ordered metric spaces concerning generalized distance Fixed Point Theory and Applications 2011 2011, article 30 Janković S. Kadelburg Z. Radenović S. On cone metric spaces: a survey Nonlinear Analysis 2011 74 7 2591 2601 10.1016/j.na.2010.12.014 2776511 Kadelburg Z. Pavlović M. Radenović S. Common fixed point theorems for ordered contractions and quasicontractions in ordered cone metric spaces Computers & Mathematics with Applications 2010 59 9 3148 3159 10.1016/j.camwa.2010.02.039 2610547 Kadelburg Z. Murthy P. P. Radenović S. Common fixed points for expansive mappings in cone metric spaces International Journal of Mathematical Analysis 2011 5 25–28 1309 1319 2835916 Sintunavarat W. Cho Y. J. Kumam P. Common fixed point theorems for c-distance in ordered cone metric spaces Computers & Mathematics with Applications 2011 62 4 1969 1978 10.1016/j.camwa.2011.06.040 2834821 Shatanawi W. Awawdeh F. Some fixed and coincidence point theorems for expansive maps in cone metric spaces Fixed Point Theory and Applications 2012 2012, article 19 Shatanawi W. On w-compatible mappings and common coupled coincidence point in cone metric spaces Applied Mathematics Letters 2012 25 925 931 Shatanawi W. Some coincidence point results in cone metric spaces Mathematical and Computer Modelling 2012 55 2023 2028 Turkoglu D. Abuloha M. Abdeljawad T. KKM mappings in cone metric spaces and some fixed point theorems Nonlinear Analysis 2010 72 1 348 353 10.1016/j.na.2009.06.058 2574944 Bhaskar T. G. Lakshmikantham V. Fixed point theorems in partially ordered metric spaces and applications Nonlinear Analysis 2006 65 7 1379 1393 10.1016/j.na.2005.10.017 2245511 Lakshmikantham V. Ćirić L. Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces Nonlinear Analysis 2009 70 12 4341 4349 10.1016/j.na.2008.09.020 2514765 Shatanawi W. Some common coupled fixed point results in cone metric spaces International Journal of Mathematical Analysis 2010 4 45–48 2381 2388 2764971 Aydi H. Abbas M. Postolache M. Coupled coincidence points for hybrid pair of mappings via mixed monotone property Journal of Advanced Mathematical Studies 2012 5 1 118 126 Cho Y. J. He G. Huang N. J. The existence results of coupled quasi-solutions for a class of operator equations Bulletin of the Korean Mathematical Society 2010 47 3 455 465 10.4134/BKMS.2010.47.3.455 2666368 Cho Y. J. Shah M. H. Hussain N. Coupled fixed points of weakly F-contractive mappings in topological spaces Applied Mathematics Letters 2011 24 7 1185 1190 10.1016/j.aml.2011.02.004 2784180 Gordji M. E. Cho Y. J. Baghani H. Coupled fixed point theorems for contractions in intuitionistic fuzzy normed spaces Mathematical and Computer Modelling 2011 54 9-10 1897 1906 10.1016/j.mcm.2011.04.014 2834596 Karapınar E. Couple fixed point theorems for nonlinear contractions in cone metric spaces Computers & Mathematics with Applications 2010 59 12 3656 3668 10.1016/j.camwa.2010.03.062 2651841 Sintunavarat W. Cho Y. J. Kumam P. Coupled coincidence point theorems for contractions without commutative condition in intuitionistic fuzzy normed spaces Fixed Point Theory and Applications 2011 2011, article 81 10.1186/1687-1812-2011-81 2891837 Shatanawi W. Partially ordered cone metric spaces and coupled fixed point results Computers & Mathematics with Applications 2010 60 8 2508 2515 10.1016/j.camwa.2010.08.074 2725341 Cho Y. J. Saadati R. Wang S. Common fixed point theorems on generalized distance in ordered cone metric spaces Computers & Mathematics with Applications 2011 61 4 1254 1260 10.1016/j.camwa.2011.01.004 2770527 Kada O. Suzuki T. Takahashi W. Nonconvex minimization theorems and fixed point theorems in complete metric spaces Mathematica Japonica 1996 44 2 381 391 1416281 Cirić L. Lakzian H. Rakočević V. Fixed point theorems for w-cone distance contraction mappings in tvs-cone metric spaces Fixed Point Theory and Applications 2012 2012, article 3 10.1186/1687-1812-2012-3 2892630 Kadelburg Z. Radenovic S. Coupled fxed point results under tvs-cone metric and w-cone distance Advances in Fixed Point Theory 2012 2 1 29 46 Cho Y. J. Kadelburg Z. Saadati R. Shatanawi W. Coupled fixed point theorems under weak contractions Discrete Dynamics in Nature and Society 2012 2012 9 184534 10.1155/2012/184534 Dornevic M. Doric D. Kadelburg Z. Radenovic S. Spaic D. Fixed point results under c-distance in tvs-cone metric spaces Fixed Point Theory and Its Applications 2011 2011, article 29