- Research
- Open access
- Published:

# Weak \psi-contractions on partially ordered metric spaces and applications to boundary value problems

*Boundary Value Problems*
**volume 2014**, Article number: 149 (2014)

## Abstract

A class of weak \psi-contractions satisfying the C-condition is defined on metric spaces. The existence and uniqueness of fixed points of such maps are discussed both on metric spaces and on partially ordered metric spaces. The results are applied to a first order periodic boundary value problem.

**MSC:** 47H10, 54H25.

## 1 Introduction and preliminaries

Recent developments in fixed point theory have been encouraged by the applicability of the results in the area of boundary value problems for differential and integral equations. Especially in the last few years, a lot of publications in fixed point theory have presented results directly related to specific initial or boundary value problems. These problems include not only ordinary and partial differential equations, but also fractional differential equations.

In 2004 Ran and Reurings [1] investigated the existence of fixed points in partially ordered metric spaces. The importance of this study presented itself in the area of boundary value problems. Nieto and Lopez [2] discussed the applications of the fixed point theorems to the problem of existence and uniqueness of solutions of first order boundary value problems. The results of Ran and Reurings and Nieto and Lopez have been followed soon by numerous studies concerning fixed points on partially ordered metric spaces [3]–[6]. In the case of partially ordered spaces the continuity condition is no longer needed, however, the map should be nondecreasing.

In a recent paper, Popescu [7] proved two generalizations of a result given by Bogin [8] for a class of non-expansive mappings on complete metric spaces. The idea behind his work was to replace the non-expansiveness condition with the weaker C-condition introduced by Suzuki [9]–[11]. The existence and uniqueness of fixed points of maps satisfying the C-condition have also been extensively studied; see [12]–[14]. We state first the definition of a non-expansive map and a map satisfying the C-condition on a metric space.

### Definition 1

A mapping T on a metric space (X,d) is called a non-expansive mapping if

for all x,y\in X.

### Definition 2

A mapping T on a metric space (X,d) satisfies the C-condition if

for all x,y\in X.

Popescu [7] stated and proved the following fixed point theorem.

### Theorem 3

*Let*
(X,d)
*be a nonempty complete metric space and*
T:X\to X
*be a mapping satisfying*

*which implies*

*where*a\ge 0, b>0, c>0*and*a+2b+2c=1. *Then*T*has a unique fixed point*.

In this paper, we investigate the existence and uniqueness of fixed points of maps satisfying the C-condition on metric spaces and on partially ordered metric spaces. As an application, we study the existence and uniqueness of solutions of a first order periodic boundary value problem under certain conditions.

## 2 Existence and uniqueness of fixed points on metric spaces

Our main results can be considered as a generalization of the result of Popescu [7].

We first prove fixed point theorems on complete metric spaces and then we formulate these results on complete metric spaces endowed with a partial order.

### Theorem 4

*Let*(X,d)*be a complete metric space*, T:X\u27f6X*be a map*, *and*\psi :[0,\mathrm{\infty})\u27f6[0,\mathrm{\infty})*be a continuous nondecreasing function such that*\psi (0)=0*and*\psi (t)>0*for*t>0. *Suppose that*

*where*

*for all*x,y\in X. *Then the mapping*T*has a unique fixed point*.

### Proof

Let {x}_{0}\in X and define the sequence \{{x}_{n}\} as follows:

If {x}_{n}={x}_{n+1} for some n\in \mathbb{N}, then {x}_{n} is the fixed point of T. Assume that {x}_{n}\ne {x}_{n+1}, for all n\in \mathbb{N}.

Substituting x={x}_{n} and y=T{x}_{n}={x}_{n+1} in (2.1) we get

where

From the triangle inequality we have

Therefore, M({x}_{n},{x}_{n+1}) can be either d({x}_{n+1},{x}_{n+2}) or d({x}_{n},{x}_{n+1}). If M({x}_{n},{x}_{n+1})=d({x}_{n+1},{x}_{n+2}), then (2.3) implies

so that \psi (d({x}_{n+1},{x}_{n+2}))=0 and hence, d({x}_{n+1},{x}_{n+2})=0 which contradicts the assumption {x}_{n}\ne {x}_{n+1}, for all n\in \mathbb{N}. Thus, M({x}_{n},{x}_{n+1})=d({x}_{n},{x}_{n+1}), which results in

Therefore, the sequence {d}_{n}=d({x}_{n},{x}_{n+1}) is non-increasing and bounded below by 0. Hence,

However, letting n\to \mathrm{\infty} in (2.7) we get

and we conclude that L=0, since \psi (L)=0, and therefore

We shall prove next that the sequence \{{x}_{n}\} is a Cauchy sequence. Assume the contrary, that is, \{{x}_{n}\} is not Cauchy. Then there exists \epsilon >0 for which one can find subsequences \{n(i)\} and \{m(i)\} in ℕ such that

for m(i)>n(i)>i where m(i) is the smallest index satisfying (2.11), that is,

From the triangle inequality we have

Taking the limit as i\to \mathrm{\infty} in (2.13) and using (2.10) we get

On the other hand, the convergence of \{d({x}_{n},{x}_{n+1})\} implies that for this \epsilon >0, there exists {N}_{0}\in \mathbb{N} such that d({x}_{n},{x}_{n+1})<\epsilon, for all n\ge {N}_{0}. Let {N}_{1}=max\{m(i),{N}_{0}\}. Then, for all m(k)>n(k)\ge {N}_{1}, we have

where m(k)\ge n(k) and, hence,

Then from (2.1) with x={x}_{n(k)} and y={x}_{m(k)} we obtain

where

Regarding (2.10) and (2.14), we see that

Letting k\to \mathrm{\infty} in (2.17) we get

which implies \psi (\epsilon )=0 and hence, \epsilon =0. This contradicts the assumption that \{{x}_{n}\} is not a Cauchy sequence. Therefore, \{{x}_{n}\} is Cauchy and by the completeness of X it converges to a limit, say x\in X.

Assume now that there exists n\in \mathbb{N} such that

Then we have

which is a contradiction. Hence, we must have d({x}_{n},x)\ge \frac{1}{2}d({x}_{n},{x}_{n+1}) or d({x}_{n+1},x)\ge \frac{1}{2}d({x}_{n+1},{x}_{n+2}), for all n\in \mathbb{N}. Therefore, for a subsequence \{n(k)\} of ℕ we have

for all k\in \mathbb{N}, which implies

where

Obviously,

Letting k\to \mathrm{\infty} in (2.22) we get

and, hence, d(x,Tx)=0, that is, x=Tx.

Finally, we prove the uniqueness of the fixed point. Assume that x\ne y and x=Tx and y=Ty. Then

which implies

where

Thus, (2.26) becomes

and, clearly, d(x,y)=0, that is, x=y. □

We next define a contractive condition similar to that in Theorem 4. The reason for introducing this new contraction is that in the framework of partially ordered metric spaces uniqueness of a fixed point requires an additional condition on the space. However, this condition is not sufficient for the uniqueness of the fixed point for a map satisfying contractive condition defined in Theorem 4.

### Theorem 5

*Let*(X,d)*be a complete metric space*, T:X\u27f6X*be a map*, *and*\psi :[0,\mathrm{\infty})\u27f6[0,\mathrm{\infty})*be a continuous nondecreasing function such that*\psi (0)=0*and*\psi (t)>0*for*t>0. *Suppose that*

*where*

*for all*x,y\in X. *Then the mapping*T*has a unique fixed point*.

The proof of Theorem 5 can be done by following the lines of the proof of Theorem 4 and, hence, is omitted.

## 3 Fixed points on metric spaces with a partial order

In this section the fixed point theorems, Theorems 4 and 5, are formulated in the framework of partially ordered metric spaces. In what follows, we define a partial order ⪯ on the metric space (X,d).

Our first result is a counterpart of Theorem 4 on a partially ordered metric space.

### Theorem 6

*Let*(X,d,\u2aaf)*be a partially ordered complete metric space*, T:X\u27f6X*be a nondecreasing map*, *and*\psi :[0,\mathrm{\infty})\u27f6[0,\mathrm{\infty})*be a continuous nondecreasing function such that*\psi (0)=0*and*\psi (t)>0*for*t>0. *Suppose that*

*where*

*for all*x,y\in X*with*x\u2aafy. *If there exists*{x}_{0}\in X*satisfying*{x}_{0}\u2aafT{x}_{0}, *then*T*has a fixed point in*X.

### Proof

Let {x}_{0}\in X satisfy {x}_{0}\u2aafT{x}_{0}. Define the sequence \{{x}_{n}\} as follows:

If {x}_{n}={x}_{n+1} for some n\in \mathbb{N}, then {x}_{n} is the fixed point of T. Assume that {x}_{n}\ne {x}_{n+1}, for all n\in \mathbb{N}. Since {x}_{0}\u2aafT{x}_{0}={x}_{1} and T is nondecreasing, then obviously

Substituting x={x}_{n} and y=T{x}_{n}={x}_{n+1} in (3.1) we get

where

For the rest of the existence proof one can follow the lines of the proof of Theorem 4, since they are similar. □

Assume now that the space (X,d,\u2aaf) satisfies the condition

Our last result shows that the map given in Theorem 5 has a unique fixed point whenever it is defined on a partially ordered space (X,d,\u2aaf), satisfying the condition (U).

### Theorem 7

*Let*(X,d,\u2aaf)*be a partially ordered complete metric space satisfying the condition* (U), T:X\u27f6X*be a nondecreasing map*, *and*\psi :[0,\mathrm{\infty})\u27f6[0,\mathrm{\infty})*be a continuous nondecreasing function such that*\psi (0)=0*and*\psi (t)>0*for*t>0. *Suppose that*

*where*

*for all*x,y\in X*with*x\u2aafy. *If there exists*{x}_{0}\in X*satisfying*{x}_{0}\u2aafT{x}_{0}, *then*T*has a unique fixed point in*X.

### Proof

The existence proof is done by mimicking the proofs of Theorem 6 and Theorem 4. To prove the uniqueness we assume that there are two different fixed points, x and y, that is, x\ne y and x=Tx and y=Ty. We consider the following cases:

Case 1. Suppose that x and y are comparable and, without loss of generality, that x\u2aafy. Then

which implies

where

Thus, (3.10) becomes

and, clearly, d(x,y)=0, that is, x=y.

Case 2. Assume that x and y are not comparable. From the condition (U) there exists z\in X satisfying x\u2aafz and y\u2aafz. Define the sequence \{{z}_{n}\} as

Notice that since T is nondecreasing and x\u2aafz, we have

If x={z}_{{n}_{0}} for some {n}_{0}\in \mathbb{N}, then x=Tx=T{z}_{{n}_{0}}={z}_{{n}_{0}} and, hence, x={T}^{k}z={z}_{k}, for all k\ge {n}_{0}. Thus, the sequence {z}_{n} converges to the fixed point x, that is, {lim}_{n\to \mathrm{\infty}}d(x,{z}_{n})=0. Assume that x\ne {z}_{n}, for all n\in \mathbb{N}. Then we have

which implies that the contractive condition

where

holds for all n\in \mathbb{N}. Observe that

can be either d(x,{z}_{n}) or \frac{1}{2}[d(x,T{z}_{n})+d({z}_{n},Tx)] due to the fact that

by the triangle inequality. If N(x,{z}_{n})=\frac{1}{2}[d(x,T{z}_{n})+d({z}_{n},Tx)], then we have d(x,{z}_{n})\le N(x,{z}_{n})\le d(x,{z}_{n+1}) for some n\in \mathbb{N}. In this case, since \psi (t)>0 for t>0, the inequality (3.12) implies

which is not possible. Then we must have N(x,{z}_{n})=d(x,{z}_{n}), for all n\in \mathbb{N}, and, thus, the inequality (3.12) implies

that is, the sequence \{d(x,{z}_{n})\} is positive and decreasing and, therefore, convergent. Let {lim}_{n\to \mathrm{\infty}}d(x,{z}_{n})=L\ge 0. Taking the limit as n\to \mathrm{\infty} in (3.14) we get

from which it follows that \psi (L)=0, and, thus, we deduce

In a similar way we obtain

From (3.16) and (3.17) it follows that x=y, which completes the proof. □

Some consequences of Theorem 7 are given next. If we choose \psi as a specific function we get the following result.

### Corollary 8

*Let*(X,d,\u2aaf)*be a partially ordered complete metric space satisfying the condition* (U) *and*T:X\u27f6X*be a nondecreasing map*. *Suppose that the condition*

*where*

*holds*, *for all*x,y\in X*with*x\u2aafy*and some constant*0<k<1. *If there exists*{x}_{0}\in X*satisfying*{x}_{0}\u2aafT{x}_{0}, *then*T*has a unique fixed point in*X.

### Proof

Choose \psi (t)=(1-k)t. Then the maps \psi and T satisfy the conditions of Theorem 7 and, thus, T has a unique fixed point in X. □

The next result is the analog of Theorem 2.1 in [7] on partially ordered metric spaces.

### Corollary 9

*Let*(X,d,\u2aaf)*be a partially ordered complete metric space satisfying the condition* (U) *and*T:X\u27f6X*be a nondecreasing map*. *Suppose that*

*where*

*for all*x,y\in X*with*x\u2aafy. *If there exists*{x}_{0}\in X*satisfying*{x}_{0}\u2aafT{x}_{0}, *then*T*has a unique fixed point in*X.

### Proof

Define

Then, clearly,

Then the map T satisfies the conditions of the Corollary 8 and, thus, T has a unique fixed point in X. □

## 4 Applications

In this section we investigate the existence and uniqueness of solutions of periodic boundary value problems of first order. These problems have been studied under different conditions in [2], [15]–[18]. However, the existence and uniqueness conditions obtained here are weaker than those in the previous studies.

Define the partial ordering and the metric in X=C[0,T] as follows:

The space (X,d,\u2aaf) satisfies the condition (U). Indeed, it is obvious that for every pair u(t), v(t) in X, we have u(t)\u2aafmax\{u(t),v(t)\} and v(t)\u2aafmax\{u(t),v(t)\}. We will consider the following first order periodic boundary value problem:

### Definition 10

A lower solution of the problem (4.2) is a function u(t)\in C[0,T] satisfying

An upper solution to the problem (4.2) is a function u(t)\in C[0,T] satisfying

Observe that the problem (4.2) can be written as

This problem is equivalent to the integral equation

where G(t,s) is the Green function defined by

In what follows, we give a theorem for the existence and uniqueness of a solution of the problem (4.3).

### Theorem 11

*Consider the periodic boundary value problem* (4.2). *Assume that*f*is continuous and that there exists*\lambda >0*such that*, *for all*u,v\in C[0,T]*satisfying*u\le v, *the following condition holds*:

*for some*k,\lambda \in [0,\mathrm{\infty}), *such that*0<k<\lambda. *If the problem* (4.2) *has a lower solution*, *then it has a unique solution*.

### Proof

Define the map F:C[0,T]\to \mathbb{R} as follows:

where G(t,s) is the Green’s function given in (4.7). Then the solution of the problem (4.2) is the fixed point of F. Assume that u\le v are functions in C[0,T] satisfying (4.8). Rewrite the inequality {v}^{\prime}(t)\ge f(t,u(t)) as

Multiplying both sides by {e}^{\lambda t} and integrating from 0 to t we obtain

which, due to the condition v(0)\ge v(T), gives

Hence,

Employing this inequality and (4.10) we get

Hence, we obtain

which can be written as

This implies

or, in terms of the metric,

Moreover, since f satisfies (4.8), we have

that is, F is nondecreasing. Consider now

where N(u,v)=max\{d(x,y),\frac{1}{2}[d(x,Tx)+d(y,Ty)],\frac{1}{2}[d(x,Ty)+d(y,Tx)]\}. Choosing \lambda in a way that 0<k<\lambda we see that the nondecreasing map F satisfies the condition (2.21) of Corollary 8. We next show that {u}_{0}\le F{u}_{0} for some {u}_{0}\in X. Since the problem (4.2) has a lower solution, there exists {u}_{0}\in X satisfying (4.3). Hence, we have

Multiplying both sides by {e}^{\lambda t} and then integrating from 0 to t we obtain

Employing the inequality {u}_{0}(0)\le {u}_{0}(T) we get

or equivalently,

Combining (4.18) and (4.19) we get

where G(s,t) is the Green’s function given in (4.8). Hence, we have

for the lower solution {u}_{0}(t) of (4.2). Then, by the Corollary 8, the map F has a unique fixed point; thus, the boundary value problem (4.2) has a unique solution. □

### Example 12

Consider the BVP

It can easily be verified by direct calculation that the unique solution is

For this specific example the function f(t,u)=\frac{1}{2}sin\frac{t}{4}-\frac{1}{4}u satisfies the condition

not only for u\le v, with

but for all u\le v, where \lambda -\frac{1}{4}=k<1. Indeed,

for \lambda -\frac{1}{4}=k<1. Observe that {u}_{0}(t)=-2 is a lower solution of the BVP. Clearly,

and

By Theorem 11, the BVP has a unique solution.

Next, we give the following example of a nonlinear equation.

### Example 13

Consider the BVP

The function f(t,u)={(t+1)}^{2}-{u}^{2} satisfies the condition

for u\le v where u and v are nonnegative functions continuous on [0,1], the positive constant M is defined as M={max}_{t\in [0,1]}(u(t)+v(t)), and \lambda is chosen such that \lambda -M=k<1. The existence of M>0 is verified by the fact that u and v are continuous on the closed interval [0,1]. Observe that {u}_{0}(t)=0 is a lower solution of the BVP. Clearly,

By Theorem 11, the BVP has a unique solution.

## References

Ran ACM, Reurings MCB: A fixed point theorem in partially ordered sets and some applications to matrix equations.

*Proc. Am. Math. Soc.*2004, 132: 1435-1443. 10.1090/S0002-9939-03-07220-4Nieto JJ, Lopez RR: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations.

*Order*2005, 22: 223-239. 10.1007/s11083-005-9018-5Agarwal RP, El-Gebeily MA, O’Regan D: Generalized contractions in partially ordered metric spaces.

*Appl. Anal.*2008, 87: 1-8. 10.1016/j.jmaa.2007.03.105Bhaskar TG, Lakshmikantham V: Fixed point theory in partially ordered metric spaces and applications.

*Nonlinear Anal.*2006, 65: 1379-1393. 10.1016/j.na.2005.10.017Lakshmikantham V, Ćirić LB: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces.

*Nonlinear Anal.*2009, 70: 4341-4349. 10.1016/j.na.2008.09.020Nashine HK, Samet B:Fixed point results for mappings satisfying (\psi ,\varphi ) weakly contractive condition in partially ordered metric spaces.

*Nonlinear Anal.*2011, 74: 2201-2209. 10.1016/j.na.2010.11.024Popescu O: Two generalizations of some fixed point theorems.

*Comput. Math. Appl.*2011, 62: 3912-3919. 10.1016/j.camwa.2011.09.044Bogin J: A generalization of a fixed point theorem of Goebel, Kirk and Shimi.

*Can. Math. Bull.*1976, 19: 7-12. 10.4153/CMB-1976-002-7Suzuki T: Some results on recent generalization of Banach contraction principle.

*Proc. of the 8th Int. Conf. of Fixed Point Theory and Its Appl.*2007, 751-761.Suzuki T: A generalized Banach contraction principle that characterizes metric completeness.

*Proc. Am. Math. Soc.*2008, 163: 1861-1869.Suzuki T: Fixed point theorems and convergence theorems for some generalized nonexpansive mappings.

*J. Math. Anal. Appl.*2008, 340: 1088-1095. 10.1016/j.jmaa.2007.09.023Suzuki T: A new type of fixed point theorem on metric spaces.

*Nonlinear Anal.*2009, 71: 5313-5317. 10.1016/j.na.2009.04.017Karapınar E, Taş K: Generalized (C)-conditions and related fixed point theorems.

*Comput. Math. Appl.*2011, 61: 3370-3380. 10.1016/j.camwa.2011.04.035Karapınar, E: Remarks on Suzuki (C)-condition.

Nieto JJ, Pouso RL, Rodríguez-López R: Fixed point theorems in ordered abstract spaces.

*Proc. Am. Math. Soc.*2007, 135: 2505-2517. 10.1090/S0002-9939-07-08729-1Gnana Bhaskar T, Lakshmikantham V: Fixed point theorems in partially ordered metric spaces and applications.

*Nonlinear Anal.*2006, 65: 1379-1393. 10.1016/j.na.2005.10.017Harjani J, Sadarangani K: Fixed point theorems for weakly contractive mappings in partially ordered sets.

*Nonlinear Anal.*2009, 71: 3403-3410. 10.1016/j.na.2009.01.240Amini-Harandi A, Emami H: A fixed point theorem for contraction type maps in partially ordered metric spaces and application to ordinary differential equations.

*Nonlinear Anal.*2010, 72: 2238-2242. 10.1016/j.na.2009.10.023

## Acknowledgements

The authors are thankful to the referees for careful reading of the manuscript and the valuable comments and suggestions for the improvement of the paper.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors contributed equally to this work. All authors read and approved the final manuscript.

## Rights and permissions

**Open Access**
This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (
https://creativecommons.org/licenses/by/2.0
), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Karapınar, E., Erhan, I.M. & Aksoy, Ü. Weak \psi-contractions on partially ordered metric spaces and applications to boundary value problems.
*Bound Value Probl* **2014**, 149 (2014). https://doi.org/10.1186/s13661-014-0149-8

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13661-014-0149-8