# Fixed point theorems for generalized weakly contractive mappings in metric spaces with applications

## Abstract

In this paper, motivated and inspired by Samet et al., we introduce the notion of generalized weakly contractive mappings in metric spaces and prove the existence and uniqueness of fixed point for such mappings, and we obtain a coupled fixed point theorem in metric spaces. These theorems generalize many previously obtained fixed point results. An example is given to illustrate the main result. Finally, we give applications of our results to fixed point results in partial metric spaces.

## Introduction and preliminaries

In 1977, Alber et al. [1] generalized Banach’s contraction principle by introducing the concept of weak contraction mappings in Hilbert spaces. Weak contraction principle states that every weak contraction mapping on a complete Hilbert space has a unique fixed point. Rhoades [2] extended weak contraction principle in Hilbert spaces to metric spaces. Since then, many authors (for example, [314]) obtained generalizations and extensions of the weak contraction principle. Khan et al. [15] obtained fixed point theorems in metric spaces by introducing the concept of altering distance functions.

In particular, Choudhury et al. [8] obtained a generalization of the weak contraction principle in metric spaces by using altering distance functions as follows.

### Theorem 1.1

([8])

Suppose that a mapping $$g:X\to X$$, where X is a metric space with metric d, satisfies the following condition:

\begin{aligned} &\psi\bigl(d(gx,gy)\bigr) \\ &\quad \leq \psi\biggl(\max\biggl\{ d(x,y),d(x,gx),d(y,gy), \frac{1}{2}\bigl\{ d(x,gy)+d(y,gx)\bigr\} \biggr\} \biggr) \\ &\qquad {}-\phi\bigl(\max\bigl\{ d(x,y),d(y,gy)\bigr\} \bigr) \end{aligned}
(1.1)

for all $$x,y\in X$$, where $$\phi:[0,\infty) \to[0,\infty)$$ is a continuous function, and $$\psi:[0,\infty) \to[0,\infty)$$ is an altering distance function, that is, ψ is a nondecreasing and continuous function, and $$\psi(t)=0$$ if and only if $$t=0$$.

Then T has a unique fixed point.

Matthews [16] introduced the notion of partial metric spaces, and extended Banach’s contraction principle to partial metric spaces, and then a lot of authors gave fixed point results in partial metric spaces (see [5, 1730]). Also, Aydi et al. [31] extended Ekeland’s variational principle to partial metric spaces, and Aydi et al. [32] extended Caristi’s fixed point theorem to partial metric spaces.

In particular, Abdeljawad [3] extended the result of Choudhury et al. [8] to partial metric spaces.

Samet et al. [33] gave a generalization of Banach’s contraction principle and an application to fixed point results in partial metric spaces.

In this paper, motivated and inspired by Samet et al. [33], we introduce the notion of generalized weakly contractive mappings in metric spaces and prove a fixed point theorem for generalized weakly contractive mappings defined on complete metric spaces, which is a generalization of the results of [810, 33]. Also, we obtain a coupled fixed point theorem in metric spaces by applying our main result, and we give applications to fixed point and coupled fixed point theorems in partial metric spaces.

A function $$f:X\to[0,\infty)$$, where X is a metric space, is called lower semicontinuous if, for all $$x \in X$$ and $$\{x_{n}\}\subset X$$ with $$\lim_{n\to\infty}x_{n}=x$$, we have

$$f(x)\leq\lim_{n\to\infty}\inf f(x_{n}).$$

Let

$$\Psi=\bigl\{ \psi: [0,\infty)\to[0,\infty)\mid \psi\text{ is continuous and } \psi(t)=0 \Leftrightarrow t=0\bigr\} .$$

Also, we denote

$$\Phi=\bigl\{ \phi: [0,\infty)\to[0,\infty)\mid \phi\text{ is lower semicontinuous and }\phi(t)=0 \Leftrightarrow t=0\bigr\} .$$

### Lemma 1.1

([34])

If a sequence $$\{x_{n}\}$$ in X is not Cauchy, then there exist $$\epsilon>0$$ and two subsequences $$\{x_{m(k)}\}$$ and $$\{x_{n(k)}\}$$ of $$\{x_{n}\}$$ such that $$m(k)$$ is the smallest index for which $$m(k)>n(k)>k$$,

$$d(x_{m(k)},x_{n(k)})\geq\epsilon,$$
(1.2)

and

$$d(x_{m(k)-1},x_{n(k)})< \epsilon.$$
(1.3)

Moreover, suppose that $$\lim_{n\to\infty}d(x_{n},x_{n+1})=0$$.

Then we have:

1. (1)

$$\lim_{n\to\infty}d(x_{m(k)},x_{n(k)})=\epsilon$$;

2. (2)

$$\lim_{n\to\infty}d(x_{m(k)-1},x_{n(k)-1})=\epsilon$$;

3. (3)

$$\lim_{n\to\infty}d(x_{m(k)},x_{n(k)-1})=\epsilon$$;

4. (4)

$$\lim_{n\to\infty}d(x_{m(k)-1},x_{n(k)})=\epsilon$$.

## Fixed point results

Let X be a metric space with metric d, let $$T:X \to X$$, and let $$\varphi:X \to[0, \infty)$$ be a lower semicontinuous function.

Then T is called a generalized weakly contractive mapping if it satisfies the following condition:

\begin{aligned} &\psi\bigl(d(Tx,Ty)+\varphi(Tx)+\varphi(Ty)\bigr) \\ &\quad \leq\psi\bigl(m(x,y,d,T,\varphi)\bigr) -\phi\bigl(l(x,y,d,T,\varphi)\bigr) \quad\forall x,y\in X, \end{aligned}
(2.1)

where $$\psi\in\Psi, \phi\in\Phi$$, and

\begin{aligned} m(x,y,d,T,\varphi)={}&\max\biggl\{ d(x,y)+\varphi(x)+\varphi(y), d(x,Tx)+\varphi (x)+\varphi(Tx), \\ &d(y,Ty)+\varphi(y)+\varphi(Ty), {1 \over 2}\bigl\{ d(x,Ty)+ \varphi(x)+\varphi(Ty) \\ &{}+d(y,Tx)+\varphi(y)+\varphi(Tx)\bigr\} \biggr\} , \end{aligned}
(2.2)

and

\begin{aligned} l(x,y,d,T,\varphi)=\max\bigl\{ d(x,y)+\varphi(x)+\varphi(y) ,d(y,Ty)+\varphi(y)+\varphi(Ty)\bigr\} . \end{aligned}
(2.3)

Let X be a metric space with metric d, let $$T:X \to X$$, and let $$\varphi:X \to[0, \infty)$$ be a lower semicontinuous function.

### Theorem 2.1

Let X be complete. If T is a generalized weakly contractive mapping, then there exists a unique $$z \in X$$ such that $$z=Tz$$ and $$\varphi(z)=0$$.

### Proof

Let $$x_{0}\in X$$ be a fixed point, and define a sequence $$\{x_{n}\}$$ by $$x_{n+1}=Tx_{n}$$ for all $$n=0,1,2,\ldots$$ .

If $$x_{n}=x_{n+1}$$ for some n, then $$x_{n}=x_{n+1}=Tx_{n}$$. So $$x_{n}$$ is a fixed point of T, and the proof is finished.

From now on, assume that $$x_{n} \neq x_{n+1}$$ for all $$n=0,1,2,\ldots$$ .

From (2.2) with $$x=x_{n-1}$$ and $$y=x_{n}$$ we have

\begin{aligned} &m(x_{n-1},x_{n},d,T,\varphi)\\ &\quad =\max\biggl\{ d(x_{n-1},x_{n})+ \varphi (x_{n-1})+\varphi(x_{n}), \\ &\qquad d(x_{n-1},Tx_{n-1})+\varphi (x_{n-1})+ \varphi(Tx_{n-1}), d(x_{n},Tx_{n})+ \varphi(x_{n})+\varphi(Tx_{n}), \\ &\qquad {1 \over 2}\bigl\{ d(x_{n-1},Tx_{n})+ \varphi(x_{n-1})+\varphi(Tx_{n}) +d(x_{n},Tx_{n-1})+ \varphi(x_{n})+\varphi(Tx_{n-1})\bigr\} \biggr\} . \end{aligned}

Since

\begin{aligned} &{1 \over 2}\bigl\{ d(x_{n-1},Tx_{n})+ \varphi(x_{n-1})+\varphi(Tx_{n}) +d(x_{n},Tx_{n-1})+ \varphi(x_{n})+\varphi(Tx_{n-1})\bigr\} \\ &\quad ={1 \over 2}\bigl\{ d(x_{n-1},x_{n+1})+ \varphi(x_{n-1})+\varphi(x_{n+1}) +d(x_{n},x_{n})+ \varphi(x_{n})+\varphi(x_{n})\bigr\} \\ &\quad \leq{1 \over 2}\bigl\{ d(x_{n-1},x_{n})+ \varphi(x_{n-1})+\varphi(x_{n}) +d(x_{n},x_{n+1})+ \varphi(x_{n})+\varphi(x_{n+1})\bigr\} \\ &\quad \leq\max\bigl\{ d(x_{n-1},x_{n})+\varphi(x_{n-1})+ \varphi(x_{n}), d(x_{n},x_{n+1})+ \varphi(x_{n})+\varphi(x_{n+1})\bigr\} , \end{aligned}

we obtain

\begin{aligned} &m(x_{n-1},x_{n},d,T,\varphi) \\ &\quad =\max\bigl\{ d(x_{n-1},x_{n})+\varphi(x_{n-1})+ \varphi(x_{n}), d(x_{n},x_{n+1})+\varphi(x_{n})+ \varphi(x_{n+1})\bigr\} . \end{aligned}
(2.4)

Also, we have

\begin{aligned} &l(x_{n-1},x_{n},d,T,\varphi) \\ &\quad =\max\bigl\{ d(x_{n-1},x_{n})+\varphi(x_{n-1})+ \varphi(x_{n}) ,d(x_{n},Tx_{n})+ \varphi(x_{n})+\varphi(Tx_{n})\bigr\} \\ &\quad =\max\bigl\{ d(x_{n-1},x_{n})+\varphi(x_{n-1})+ \varphi(x_{n}) ,d(x_{n},x_{n+1})+ \varphi(x_{n})+\varphi(x_{n+1})\bigr\} . \end{aligned}

It follows from (2.1) that

\begin{aligned} &\psi\bigl(d(x_{n},x_{n+1})+\varphi(x_{n})+ \varphi(x_{n+1})\bigr) \\ &\quad =\psi\bigl(d(Tx_{n-1},Tx_{n})+\varphi(Tx_{n-1})+ \varphi(Tx_{n})\bigr) \\ &\quad \leq\psi\bigl(m(x_{n-1},x_{n},d,T,\varphi)\bigr)-\phi \bigl(l(x_{n-1},x_{n},d,T,\varphi)\bigr). \end{aligned}
(2.5)

If

$$d(x_{n-1},x_{n})+\varphi(x_{n-1})+ \varphi(x_{n}) < d(x_{n},x_{n+1})+ \varphi(x_{n})+\varphi(x_{n+1})$$

for some positive integer n, then from (2.5) we obtain

\begin{aligned} &\psi\bigl(d(x_{n},x_{n+1})+\varphi(x_{n})+ \varphi(x_{n+1})\bigr) \\ &\quad \leq\psi\bigl(d(x_{n},x_{n+1})+\varphi(x_{n})+ \varphi(x_{n+1})\bigr) -\phi\bigl(d(x_{n},x_{n+1})+ \varphi(x_{n})+\varphi(x_{n+1})\bigr), \end{aligned}

which implies

$$\phi\bigl(d(x_{n+1},x_{n})+\varphi(x_{n+1})+ \varphi(x_{n})\bigr)=0,$$

and so

$$d(x_{n+1},x_{n})+\varphi(x_{n+1})+ \varphi(x_{n})=0.$$

Hence

$$x_{n+1}=x_{n} \quad \text{and}\quad \varphi(x_{n+1})= \varphi(x_{n})=0,$$

Thus we have

\begin{aligned} d(x_{n},x_{n+1})+\varphi(x_{n})+ \varphi(x_{n+1}) \leq d(x_{n-1},x_{n})+ \varphi(x_{n-1})+\varphi(x_{n}) \end{aligned}
(2.6)

for all $$n=1,2,3,\dots$$, and so

$$m(x_{n-1},x_{n},d,T,\varphi)=d(x_{n-1},x_{n})+ \varphi(x_{n-1})+\varphi(x_{n})$$

and

$$l(x_{n-1},x_{n},d,T,\varphi)=d(x_{n-1},x_{n})+ \varphi(x_{n-1})+\varphi(x_{n})$$

for all $$n =1,2,3,\dots$$.

It follows from (2.5) that

\begin{aligned} &\psi\bigl(d(x_{n},x_{n+1})+\varphi(x_{n})+ \varphi(x_{n+1})\bigr) \\ &\quad \leq\psi\bigl(d(x_{n-1},x_{n})+\varphi(x_{n-1})+ \varphi(x_{n}) \bigr) \\ &\qquad {}-\phi\bigl(d(x_{n-1},x_{n})+\varphi(x_{n-1})+ \varphi(x_{n})\bigr). \end{aligned}
(2.7)

It follows from (2.6) that the sequence $$\{d(x_{n},x_{n+1})+\varphi (x_{n})+\varphi(x_{n+1})\}$$ is nonincreasing. Thus we have

$$d(x_{n},x_{n+1})+\varphi(x_{n})+ \varphi(x_{n+1})\to r \quad \text{as }n\to \infty$$

for some $$r\geq0$$.

Assume that $$r>0$$.

Letting $$n\to\infty$$ in (2.7), by the continuity of ψ and the lower semicontinuity of ϕ it follows that

\begin{aligned} \psi(r) \leq&\psi(r)-\lim_{n\to\infty}\inf\phi \bigl(d(x_{n-1},x_{n})+ \varphi(x_{n-1}) +\varphi(x_{n})\bigr) \\ \leq& \psi(r)-\phi(r). \end{aligned}

Since $$r>0$$, $$\phi(r)>0$$. Hence

$$\psi(r)\leq \psi(r)-\phi(r)< \psi(r),$$

Hence

$$\lim_{n\to\infty}\bigl\{ d(x_{n},x_{n+1})+ \varphi(x_{n})+\varphi(x_{n+1})\bigr\} =0,$$

which implies

\begin{aligned} \lim_{n\to\infty}d(x_{n},x_{n+1})=0 \end{aligned}
(2.8)

and

\begin{aligned} \lim_{n\to\infty}\varphi(x_{n})=0. \end{aligned}
(2.9)

Now, we prove that the sequence $$\{x_{n}\}$$ is Cauchy.

If $$\{x_{n}\}$$ is not Cauchy, then by Lemma 1.1 there exist $$\epsilon >0$$and subsequences $$\{x_{m(k)}\}$$ and $$\{x_{n(k)}\}$$ of $$\{x_{n}\}$$ such that (1.2) and (1.3) hold.

From (2.2) we have

\begin{aligned} &m(x_{n(k)},x_{m(k)},d,T,\varphi) \\ &\quad =\max\biggl\{ d(x_{n(k)},x_{m(k)})+ \varphi (x_{n(k)})+\varphi(x_{m(k)}), \\ &\qquad d(x_{n(k)},Tx_{n(k)})+\varphi (x_{n(k)})+ \varphi(Tx_{n(k)}), d(x_{m(k)},Tx_{m(k)})+ \varphi(x_{m(k)})+\varphi(Tx_{m(k)}), \\ &\qquad {1 \over 2}\bigl\{ d(x_{n(k)},Tx_{m(k)})+ \varphi(x_{n(k)})+\varphi(Tx_{m(k)}) +d(x_{m(k)},Tx_{n(k)})+ \varphi(x_{m(k)})+\varphi(Tx_{n(k)})\bigr\} \biggr\} \\ &\quad =\max\biggl\{ d(x_{n(k)},x_{m(k)})+\varphi(x_{n(k)})+ \varphi(x_{m(k)}), d(x_{n(k)},x_{n(k)+1})+ \varphi(x_{n(k)})+\varphi(x_{n(k)+1}), \\ &\qquad d(x_{m(k)},x_{m(k)+1})+\varphi(x_{m(k)})+ \varphi(x_{m(k)+1}), {1 \over 2}\bigl\{ d(x_{n(k)},x_{m(k)+1})+ \varphi(x_{n(k)})+\varphi (x_{m(k)+1}) \\ &\qquad {}+d(x_{m(k)},x_{n(k)+1})+\varphi(x_{m(k)})+ \varphi(x_{n(k)+1})\bigr\} \biggr\} . \end{aligned}
(2.10)

Letting $$k\to\infty$$ in (2.10) and applying Lemma 1.1, (2.8), and (2.9), it follows that

\begin{aligned} \lim_{k\to\infty}m(x_{n(k)},x_{m(k)},d,T, \varphi)=\epsilon. \end{aligned}
(2.11)

Also, it follows from (2.3) that

\begin{aligned} &l(x_{n(k)},x_{m(k)},d,T,\varphi) \\ &\quad =\max\bigl\{ d(x_{n(k)},x_{m(k)})+\varphi(x_{n(k)})+\varphi (x_{m(k)}),d(x_{m(k)},Tx_{m(k)})+\varphi(x_{m(k)})+ \varphi(Tx_{m(k)})\bigr\} \\ &\quad =\max\bigl\{ d(x_{n(k)},x_{m(k)})+\varphi(x_{n(k)})+\varphi (x_{m(k)}),d(x_{m(k)},x_{m(k)+1})+\varphi(x_{m(k)})+ \varphi (x_{m(k)+1})\bigr\} . \end{aligned}

Hence

\begin{aligned} \lim_{n\to\infty}l(x_{n(k)},x_{m(k)},d,T, \varphi)=\epsilon. \end{aligned}
(2.12)

From (2.1) we have

\begin{aligned} &\psi\bigl(d(x_{n(k)+1},x_{m(k)+1}) +\varphi(x_{n(k)+1})+ \varphi(x_{m(k)+1})\bigr) \\ &\quad \leq\psi\bigl(m(x_{n(k)},x_{m(k)},d,T,\varphi)\bigr) -\phi \bigl(l(x_{n(k)},x_{m(k)},d,T,\varphi)\bigr). \end{aligned}

Letting $$k \to\infty$$ in this inequality, by Lemma 1.1, the continuity of ψ, the lower semicontinuity of ϕ, and by (2.9), (2.11), and (2.12) we have

$$\psi(\epsilon)\leq\psi(\epsilon)-\phi(\epsilon),$$

which is a contradiction because $$\phi(\epsilon)>0$$.

Hence the sequence $$\{x_{n}\}$$ is Cauchy, and hence

$$\lim_{n\to\infty}x_{n}=z \in X \text{ exists }$$

because X is complete. Since φ is lower semicontinuous,

$$\varphi(z)\leq\lim_{n \to\infty}\inf\varphi(x_{n})\leq\lim _{n \to \infty} \varphi(x_{n})=0,$$

which implies

\begin{aligned} \varphi(z)=0. \end{aligned}
(2.13)

It follows from (2.2) that

\begin{aligned} m(x_{n},z,d,T,\varphi)={}&\max\biggl\{ d(x_{n},z)+ \varphi(x_{n})+\varphi(z), \\ &{}d(x_{n},Tx_{n})+\varphi(x_{n})+ \varphi(Tx_{n}), d(z,Tz)+\varphi(z)+\varphi(Tz), \\ &{}{1 \over 2}\bigl\{ d(x_{n},Tz)+\varphi(x_{n})+ \varphi(Tz) +d(z,Tx_{n})+\varphi(z)+\varphi(Tx_{n})\bigr\} \biggr\} \\ ={}&\max\biggl\{ d(x_{n},z)+\varphi(x_{n})+\varphi(z), \\ &{}d(x_{n},x_{n+1})+\varphi(x_{n})+ \varphi(x_{n+1}), d(z,Tz)+\varphi(z)+\varphi(Tz), \\ &{}{1 \over 2}\bigl\{ d(x_{n},Tz)+\varphi(x_{n})+ \varphi(Tz) +d(z,x_{n+1})+\varphi(z)+\varphi(x_{n+1})\bigr\} \biggr\} . \end{aligned}

So we have

\begin{aligned} &\lim_{n\to\infty}m(x_{n},z,d,T,\varphi) =d(z,Tz)+\varphi(z)+\varphi(Tz)=d(z,Tz)+\varphi(Tz). \end{aligned}
(2.14)

Also, we have

\begin{aligned} \lim_{n\to\infty}l(x_{n},z,d,T,\varphi) &=\lim_{n\to\infty}\max\bigl\{ d(x_{n},z)+ \varphi(x_{n})+\varphi(z), d(z,Tz)+\varphi(z)+\varphi(Tz)\bigr\} \\ &=d(z,Tz)+\varphi(z)+\varphi(Tz)=d(z,Tz)+\varphi(Tz). \end{aligned}
(2.15)

It follows from (2.1) that

\begin{aligned} \psi\bigl(d(x_{n+1},Tz)+\varphi(x_{n+1})+\varphi(Tz)\bigr) &=\psi\bigl(d(Tx_{n},Tz)+\varphi(Tx_{n})+\varphi(Tz)\bigr) \\ &\leq\psi\bigl(m(x_{n},z,d,T,\varphi)\bigr) -\phi\bigl(l(x_{n},z,d,T, \varphi)\bigr). \end{aligned}
(2.16)

By taking the limit as $$n\to\infty$$ in (2.16) and by applying the continuity of ψ, the lower semicontinuity of ϕ, (2.14), and (2.15) we have

$$\psi\bigl(d(z,Tz)+\varphi(Tz)\bigr)\leq\psi\bigl(d(z,Tz)+\varphi(Tz)\bigr) -\phi \bigl(d(z,Tz)+\varphi(Tz)\bigr).$$

Hence $$d(z,Tz)+\varphi(Tz)=0$$, and hence $$z=Tz$$ and $$\varphi(Tz)=0$$.

Suppose that u is another fixed point of T.

Then

$$u=Tu\quad \text{and}\quad \varphi(u)=0.$$

By applying (2.1) with $$x=z$$ and $$y=u$$ we have

\begin{aligned} \psi\bigl(d(z,u)\bigr) &=\psi\bigl(d(Tz,Tu)\bigr) \\ &=\psi\bigl(d(Tz,Tu)+\varphi(Tz)+\varphi(Tu)\bigr) \\ &\leq \psi\bigl(m(z,u,d,T,\varphi)\bigr) -\phi\bigl(l(z,u,d,T,\varphi)\bigr) \\ &=\psi\bigl(d(z,u)\bigr) -\phi\bigl(d(z,u)\bigr), \end{aligned}

which implies $$z=u$$. □

The following example illustrates Theorem 2.1 and shows that it is a real generalization of Theorem 3.1 in [8].

### Example 2.1

Let $$X=[0,\infty)$$ and $$d(x,y)= \vert x-y \vert$$ for $$x,y\in X$$, let $$\psi(t)=\frac {3}{2}t$$ for $$t\geq0$$, and let

$$\varphi(t)= \textstyle\begin{cases} \frac{1}{2}t&(0\leq t\leq1), \\\frac{1}{2}t+\frac {1}{2}&(1< t\leq2), \\ t & (t>2). \end{cases}$$

Then $$\psi\in\Psi$$, φ is lower semicontinuous, and $$\frac {1}{2}t \leq\varphi(t) \leq t$$, $$t\geq0$$.

Define the map $$T: X\to X$$ by

$$Tx=\frac{x^{2}}{2(1+x)}.$$

Assume that a function $$\phi: [0,\infty)\to[0,\infty)$$ is defined by

$$\phi(t)=\frac{3t}{4+2t}.$$

Then $$\phi\in\Phi$$.

We now show that (2.1) holds.

Without loss of generality, suppose that $$x\geq y$$.

Then we have

\begin{aligned} &{1 \over 2}\bigl\{ d(x,Ty)+\varphi(x)+\varphi(Ty) +d(y,Tx)+ \varphi(y)+\varphi(Tx)\bigr\} \\ &\quad \geq{1 \over 2}\biggl\{ d(x,Ty)+\frac{1}{2}x+ \frac{1}{2}Ty +d(y,Tx)+\frac{1}{2}y+\frac{1}{2}Tx\biggr\} \\ &\quad \geq {1 \over 2}\biggl\{ {1 \over 2}\bigl\{ d(x,Ty)+x+Ty +d(y,Tx)+y+Tx\bigr\} \biggr\} \\ &\quad = \textstyle\begin{cases}{1 \over 2}\{x+ \frac{x^{2}}{1+x}\}&(y\leq\frac {x^{2}}{2(1+x)} ), \\ {1 \over 2}\{x+y\}& \text{otherwise} \end{cases}\displaystyle \\ &\quad >\frac{1}{2}x . \end{aligned}

Thus we have

\begin{aligned} &m(x,y,d,T,\varphi) \\ &\quad =\max\biggl\{ d(x,y)+\varphi(x)+\varphi(y), d(x,Tx)+\varphi(x)+\varphi(Tx), \\ &\qquad d(y,Ty)+\varphi(y)+\varphi(Ty), {1 \over 2}\bigl\{ d(x,Ty)+ \varphi(x)+\varphi(Ty) +d(y,Tx)+\varphi(y)+\varphi(Tx)\bigr\} \biggr\} \\ &\quad \geq\frac{1}{2}\max\biggl\{ d(x,y)+x+y, d(x,Tx)+x+Tx, \\ &\qquad d(y,Ty)+y+Ty, {1 \over 2}\bigl\{ d(x,Ty)+x+Ty +d(y,Tx)+y+Tx\bigr\} \biggr\} \\ &\quad =\frac{1}{2}\max\biggl\{ 2x,2x,2y,\frac{1}{2}x\biggr\} \\ &\quad =x \end{aligned}

and

\begin{aligned} l(x,y,d,T,\varphi) &=\max\bigl\{ d(x,y)+\varphi(x)+\varphi(y) ,d(y,Ty)+\varphi(y)+\varphi(Ty)\bigr\} \\ &\leq\max\bigl\{ d(x,y)+x+y ,d(y,Ty)+y+Ty\bigr\} \\ &=\max\{2x, 2y\} \\ & =2x. \end{aligned}

Also, we have

\begin{aligned} \psi\bigl(d(Tx,Ty)+\varphi(Tx)+\varphi(Ty)\bigr) &\leq\psi\bigl(d(Tx,Ty)+Tx+Ty\bigr) \\ &=\frac{3}{2}\biggl( \biggl\vert \frac{x^{2}}{2(1+x)}-\frac{y^{2}}{2(1+y)} \biggr\vert +\frac {x^{2}}{2(1+x)}+\frac{y^{2}}{2(1+y)}\biggr) \\ &=\frac{3}{2}\cdot\frac{ 2x^{2}}{2(1+x)} \\ &= \frac{3}{2}\cdot\frac{ x^{2}}{1+x}. \end{aligned}

Hence

\begin{aligned} \psi\bigl(m(x,y,d,T,\varphi)\bigr)-\phi\bigl(l(x,y,d,T,\varphi)\bigr) &\geq \frac{3}{2}x- \frac{3x/2}{1+x} \\ &=\frac{3}{2}\cdot\frac{ x^{2}}{1+ x} \\ &\geq \psi\bigl(d(Tx,Ty)+\varphi(Tx)+\varphi(Ty)\bigr), \end{aligned}

where the equality is satisfied when $$x=0$$.

Thus (2.1) is satisfied.

By Theorem 2.1, T has a unique fixed point $$z=0$$, and $$\varphi(z)=0$$.

However, (1.1) is not satisfied. In fact, let $$x=3$$, $$y=1$$, and $$\varphi (t)=0$$, $$t\geq0$$.

Then

\begin{aligned} &\psi\bigl(m\bigl((x,y,d,T,\varphi)\bigr)\bigr)=\frac{45}{2}, \\ &\phi\bigl(l\bigl((x,y,d,T,\varphi)\bigr)\bigr)=\frac{3}{4}, \\ &\psi\bigl(d(Tx,Ty)\bigr)=\frac{51}{2}, \end{aligned}

and so

$$\psi\bigl(d(Tx,Ty)\bigr)=\frac{204}{8}>\frac{147}{8} =\psi\bigl(m \bigl((x,y,d,T,\varphi)\bigr)\bigr)-\phi\bigl(l\bigl((x,y,d,T,\varphi)\bigr) \bigr).$$

The proofs of the following Corollary 2.2 and Corollary 2.3 are similar to that of Theorem 2.1. So, here the proofs are omitted.

### Corollary 2.2

Let X be complete. Suppose that T satisfies the following condition:

\begin{aligned} &\psi\bigl(d(Tx,Ty)+\varphi(Tx)+\varphi(Ty)\bigr) \\ &\quad \leq\psi\bigl(m(x,y,d,T,\varphi)\bigr) -\phi\bigl(m(x,y,d,T,\varphi)\bigr) \\ &\qquad \forall x,y\in X, \textit{ where }\psi\in\Psi\textit{ and }\phi\in\Phi. \end{aligned}

Then there exists a unique $$z \in X$$ such that $$z=Tz$$ and $$\varphi(z)=0$$.

### Corollary 2.3

Let $$(X,d)$$ be complete. Suppose that T satisfies the following condition:

\begin{aligned} &\psi\bigl(d(Tx,Ty)+\varphi(Tx)+\varphi(Ty)\bigr) \\ &\quad \leq\psi\bigl(d(x,y)+\varphi(x)+\varphi(y)\bigr) -\phi\bigl(d(x,y)+\varphi(x)+ \varphi(y)\bigr) \\ &\qquad \forall x,y\in X, \textit{ where }\psi\in\Psi\textit{ and }\phi\in\Phi. \end{aligned}

Then there exists a unique $$z \in X$$ such that $$z=Tz$$ and $$\varphi(z)=0$$.

### Corollary 2.4

Let X be complete. Suppose that T satisfies the following condition:

\begin{aligned} &\psi\bigl(d\bigl(T^{k}x,T^{k}y\bigr)+\varphi \bigl(T^{k}x\bigr)+\varphi\bigl(T^{k}y\bigr)\bigr) \\ &\quad \leq\psi\bigl(m\bigl(x,y,d,T^{k},\varphi\bigr)\bigr) -\phi\bigl(l \bigl(x,y,d,T^{k},\varphi\bigr)\bigr) \\ &\qquad \forall x,y\in X, \textit{ where }\psi\in\Psi, \phi\in\Phi, \textit{ and } k \textit{ is a positive integer.} \end{aligned}

Then there exists a unique $$z \in X$$ such that $$z=Tz$$ and $$\varphi(z)=0$$.

### Proof

Let $$S=T^{k}$$. Then by Theorem 2.1 S has a unique fixed point, say z.

Then $$T^{k}z=Sz=z$$ and

$$\varphi(z)=\varphi(Sz)=\varphi\bigl(T^{k}z\bigr)=0.$$

Since $$T^{k+1}z=Tz$$,

$$STz=T^{k}(Tz)=T^{k+1}z=Tz,$$

and so Tz is a fixed point of S. By the uniqueness of a fixed point of S, $$Tz=z$$. □

### Remark 2.1

If we have $$\varphi=0$$, then ψ is nondecreasing and continuous, and ϕ is continuous in Theorem 2.1 (resp. Corollary 2.3, Corollary 2.4), then we obtain Theorem 3.1 of [8] (resp. Theorem 2.1 of [10], Corollary 3.1 of [8]).

### Remark 2.2

If $$\varphi=0$$ and if ψ and ϕ are nondecreasing and continuous in Corollary 2.3, then we obtain Theorem 2.1 of [10].

### Remark 2.3

If $$\varphi=0$$ and ψ is nondecreasing and continuous in Corollary 2.2, then we obtain Theorem 2.2 of [9].

## Discussion

In this section, we obtain a new coupled fixed point result from Theorem 2.1.

Let X be a nonempty set.

We say that $$(x,y)\in X \times X$$ is a coupled fixed point [35] of a mapping $$G: X \times X \to X$$ if

$$G(x,y)=x \quad \text{and}\quad G(y,x)=y.$$

### Lemma 3.1

([36])

Let X be a nonempty set, $$(x,y) \in X \times X$$, and let $$G: X \times X \to X$$.

Then the following are equivalent.

1. (1)

$$G(x,y)=x$$ and $$G(y,x)=y$$;

2. (2)

$$H(x,y)=(x,y)$$, that is, H has a fixed point $$(x,y)$$,

where $$H: X \times X \to X \times X$$ is a mapping defined by

\begin{aligned} H(x,y)=\bigl(G(x,y), G(y,x)\bigr). \end{aligned}
(3.1)

### Lemma 3.2

([37])

Let $$(X,d)$$ be a complete metric space (resp. complete partial metric space).

Define $$\rho:X \times X \to[0,\infty)$$ by

\begin{aligned} \rho\bigl((x,y),(u,v)\bigr)=\max\bigl\{ d(x,u),d(y,v)\bigr\} . \end{aligned}
(3.2)

Then $$(X\times X,\rho)$$ is a complete metric space (resp. complete partial metric space).

Let $$(X,d)$$ be a metric space (or partial metric space), $$G: X \times X \to X$$, and let $$H: (X \times X, \rho)\to(X \times X, \rho)$$ be a mapping defined as in (3.1).

Let

\begin{aligned} &M\bigl((x,y),(u,v),d,G,\varphi^{*}\bigr) \\ &\quad = \max\bigg\{ \max\bigl\{ d(x,u),d(y,v)\bigr\} +\varphi^{*}(x,y)+ \varphi^{*}(u,v), \\ &\qquad \max\bigl\{ d\bigl(x,G(x,y)\bigr),d\bigl(y,G(y,x)\bigr)\bigr\} + \varphi^{*}(x,y)+\varphi ^{*}\bigl(G(x,y),G(y,x)\bigr), \\ &\qquad \max\bigl\{ d\bigl(u,G(u,v)\bigr),d\bigl(v,G(v,u)\bigr)\bigr\} + \varphi^{*}(u,v)+\varphi ^{*}\bigl(G(u,v),G(v,u)\bigr), \\ &\qquad {1 \over 2}\bigl[\max\{d\bigl(x,G(u,v)\bigr),d\bigl(y,G(v,u)\bigr)+ \varphi^{*}(x,y)+\varphi ^{*}\bigl(G(u,v),G(v,u)\bigr) \\ &\qquad {}+\max\bigl\{ d\bigl(u,G(x,y)\bigr),d\bigl(v,G(y,x)\bigr)\bigr\} + \varphi^{*}(u,v)+\varphi ^{*}\bigl(G(x,y),G(y,x)\bigr)\bigr]\bigg\} , \end{aligned}

and let

\begin{aligned} &L\bigl((x,y),(u,v),d,G,\varphi^{*}\bigr) \\ &\quad = \max\bigl\{ \max\bigl\{ d(x,u),d(y,v)\bigr\} +\varphi^{*}(x,y)+ \varphi^{*}(u,v), \\ &\qquad \max\bigl\{ d\bigl(u,G(x,y)\bigr),d\bigl(v,G(y,x)\bigr)\bigr\} + \varphi^{*}(u,v)+\varphi ^{*}\bigl(G(x,y),G(y,x)\bigr)\bigr\} , \end{aligned}

where $$\varphi^{*}:X \times X \to[0,\infty)$$.

Then we have

\begin{aligned} &M\bigl((x,y),(u,v),d,G,\varphi^{*}\bigr) \\ &\quad =\max\biggl\{ \rho\bigl((x,y),(u,v)\bigr) +\varphi^{*}(x,y)+ \varphi^{*}(u,v), \\ &\qquad \rho\bigl((x,y), H(x,y)\bigr)+\varphi^{*}(x,y)+\varphi^{*} \bigl(H(x,y)\bigr), \\ &\qquad \rho\bigl((u,v), H(u,v)\bigr)+\varphi^{*}(u,v)+\varphi^{*} \bigl(H(u,v)\bigr), \\ &\qquad {1 \over 2}\bigl[\rho\bigl((x,y),H(u,v)\bigr)+\varphi^{*}(x,y)+ \varphi^{*}\bigl(H(u,v)\bigr) \\ &\qquad {}+\rho\bigl((u,v),H(x,y)\bigr)+\varphi^{*}(u,v)+\varphi^{*} \bigl(H(x,y)\bigr)\bigr]\biggr\} \\ &\quad =m\bigl((x,y),(u,v),\rho,H,\varphi^{*}\bigr). \end{aligned}
(3.3)

Also, we have

\begin{aligned} L\bigl((x,y),(u,v),d,G,\varphi^{*}\bigr)=l \bigl((x,y),(u,v),\rho,H,\varphi^{*}\bigr). \end{aligned}
(3.4)

### Theorem 3.1

Let X be complete. Suppose that $$G:X \times X \to X$$ is a mapping such that

\begin{aligned} &\psi\bigl(d\bigl(G(x,y),G(u,v)\bigr)+\varphi\bigl(G(x,y),G(y,x)\bigr)+\varphi \bigl(G(u,v),G(v,u)\bigr) \bigr) \\ &\quad \leq\psi\bigl(M\bigl((x,y),(u,v),d,G,\varphi^{*}\bigr)\bigr)-\phi \bigl(L\bigl((x,y),(u,v),d,G,\varphi^{*}\bigr)\bigr), \end{aligned}
(3.5)

for all $$(x,y),(u,v)\in X \times X$$, where $$\psi\in\Psi$$, $$\phi\in\Phi$$, and $$\varphi^{*}: X \times X \to[0,\infty)$$ is lower semicontinuous.

Then G has a unique coupled fixed point $$(x^{*},y^{*})\in X\times X$$, and $$\varphi^{*}(x^{*},y^{*})=0$$.

### Proof

Let ρ be the metric on $$X \times X$$ defined as (3.2), and let $$H: (X \times X, \rho)\to(X \times X, \rho)$$ be a mapping defined as in (3.1) for $$(x,y),(u,v)\in X\times X$$.

It follows from (3.3), (3.4), and (3.5) that

\begin{aligned} &\rho\bigl(H(x,y),H(u,v)\bigr) \leq\psi(m\bigl((x,y),(u,v),\rho,H,\varphi^{*}\bigr)-\phi\bigl(l \bigl((x,y),(u,v),\rho ,H,\varphi^{*}\bigr)\bigr) \end{aligned}

for $$(x,y),(u,v)\in X \times X$$.

By Theorem 2.1, H has a unique fixed point, and so by Lemma 3.1 G has a unique coupled fixed point. □

### Corollary 3.2

Let X be complete. Suppose that $$G:X \times X \to X$$ is a mapping such that

\begin{aligned} &\psi\bigl(d\bigl(G(x,y),G(u,v)\bigr)+\varphi\bigl(G(x,y),G(y,x)\bigr)+\varphi \bigl(G(u,v),G(v,u)\bigr) \bigr) \\ &\quad \leq\psi\bigl(M\bigl((x,y),(u,v),d,G,\varphi^{*}\bigr)\bigr)-\phi \bigl(M\bigl((x,y),(u,v),d,G,\varphi^{*}\bigr)\bigr) \end{aligned}

for all $$(x,y),(u,v)\in X \times X$$, where $$\psi\in\Psi$$, $$\phi\in\Phi$$, and $$\varphi^{*}: X \times X \to[0,\infty)$$ is lower semicontinuous.

Then G has a unique coupled fixed point $$(x^{*},y^{*})\in X\times X$$, and $$\varphi^{*}(x^{*},y^{*})=0$$.

### Corollary 3.3

Let X be complete. Suppose that $$G:X \times X \to X$$ is a mapping such that

\begin{aligned} &\psi\bigl(d\bigl(G(x,y),G(u,v)\bigr)+\varphi\bigl(G(x,y),G(y,x)\bigr)+\varphi \bigl(G(u,v),G(v,u)\bigr) \bigr) \\ &\quad \leq\psi\bigl(\max\bigl\{ d(x,u),d(y,v)\bigr\} +\varphi^{*}(x,y)+ \varphi^{*}(u,v)\bigr) \\ &\qquad {}-\phi\bigl(\max\bigl\{ d(x,u),d(y,v)\bigr\} +\varphi^{*}(x,y)+ \varphi^{*}(u,v)\bigr) \end{aligned}

for all $$(x,y),(u,v)\in X \times X$$, where $$\psi\in\Psi$$, $$\phi\in\Phi$$, and $$\varphi^{*}: X \times X \to[0,\infty)$$ is lower semicontinuous.

Then G has a unique coupled fixed point $$(x^{*},y^{*})\in X\times X$$, and $$\varphi^{*}(x^{*},y^{*})=0$$.

Taking $$\varphi^{*}=0$$ in Theorem 3.1, we have the following corollary.

### Corollary 3.4

Let X be complete. Suppose that $$G:X \times X \to X$$ is a mapping such that

\begin{aligned} &\psi\bigl(d\bigl(G(x,y),G(u,v)\bigr) \bigr) \leq \psi(M\bigl((x,y),(u,v),d,G,0\bigr)-\phi\bigl(L\bigl((x,y),(u,v),d,G,0 \bigr)\bigr) \end{aligned}

for all $$(x,y),(u,v)\in X \times X$$, where $$\psi\in\Psi$$ and $$\phi\in \Phi$$.

Then G has a unique coupled fixed point.

### Corollary 3.5

Let X be complete. Suppose that $$G:X \times X \to X$$ is a mapping such that

\begin{aligned} &\psi\bigl(d\bigl(G(x,y),G(u,v)\bigr) \bigr) \\ &\quad \leq\psi(M\bigl((x,y),(u,v),d,G,0\bigr)-\phi\bigl(M\bigl((x,y),(u,v),d,G,0 \bigr)\bigr) \end{aligned}

for all $$(x,y),(u,v)\in X \times X$$, where $$\psi\in\Psi$$ and $$\phi\in \Phi$$.

Then G has a unique coupled fixed point.

### Corollary 3.6

Let X be complete. Suppose that $$G:X \times X \to X$$ is a mapping such that

\begin{aligned} &\psi\bigl(d\bigl(G(x,y),G(u,v)\bigr)\bigr) \\ &\quad \leq\psi(\max\bigl\{ d(x,u),d(y,v)\bigr\} -\phi\bigl(\max\bigl\{ d(x,u),d(y,v) \bigr\} \bigr) \end{aligned}

for all $$(x,y),(u,v)\in X \times X$$, where $$\psi\in\Psi$$ and $$\phi\in \Phi$$.

Then G has a unique coupled fixed point.

## Applications

In this section, we give application to fixed point theorems in partial metric spaces.

Recall some definitions and basic results in partial metric spaces. For more details, we refer to [16].

Let Z be a nonempty set. A function $$p:Z\times Z \to[0,\infty)$$ is called a partial metric on Z if, for all $$x,y,z\in Z$$, the following are satisfied:

1. (1)

$$p(x,x)=p(y,y)=p(x,y) \Leftrightarrow x=y$$;

2. (2)

$$p(x,x)\leq p(x,y)$$;

3. (3)

$$p(x,y)=p(y,x)$$;

4. (4)

$$p(x,z)\leq p(x,y)+p(y,z)-p(y,y)$$.

The pair $$(Z,p)$$ is called a partial metric space.

Note that if $$p(x,y)=0$$, then $$x=y$$.

An example of a partial metric defined on $$[0,\infty)$$ is $$p(x,y)=\max\{ x,y\}$$, $$x,y\geq0$$. For more examples of partial metrics, we refer to [16].

It is well known that each partial metric p on a nonempty set Z generates a $$T_{0}$$ topology on Z and that $$\{B(x,\epsilon):\epsilon >0,x\in Z\}$$ is a base for the topology, where $$B(x,\epsilon)=\{y\in Z:p(x,y)< p(x,x)+\epsilon\}$$ for all $$x\in Z$$ and $$\epsilon>0$$.

Also, it is known that the function $$p_{s}:Z \times Z \to[0,\infty)$$ defined by

\begin{aligned} p_{s}(x,y)=2p(x,y)-p(x,x)-p(y,y) \end{aligned}
(4.1)

is a metric on Z.

Let Z be a partial metric space with partial metric p, let $$\{ x_{n}\} (\subset Z)$$ be a sequence, and let $$x\in Z$$. Then we say that

1. (1)

$$\{x_{n}\}$$ is convergent to x if $$\lim_{n\to\infty}p(x,x_{n})=p(x,x)$$;

2. (2)

$$\{x_{n}\}$$ is called a Cauchy sequence if there exists $$\lim_{n,m \to\infty}p(x_{n},x_{m})$$ such that it is finite;

3. (3)

Z is complete if every Cauchy sequence in Z is convergent to a point $$z\in Z$$ such that

$$\lim_{n,m\to\infty}p(x_{n},x_{m})=p(z,z).$$

### Remark 4.1

A partial metric space Z is complete if and only if for every Cauchy sequence $$\{x_{n}\}$$ in Z, there exists $$z\in Z$$ such that

$$\lim_{n,m\to\infty}p(x_{n},x_{m})=\lim _{n,m\to\infty}p(x_{n},z)=p(z,z).$$

### Remark 4.2

Let $$\{x_{n}\} (\subset Z)$$ be a sequence, and let $$x\in Z$$. If the sequence $$\{x_{n}\}$$ is convergent to x in $$(Z,p_{s})$$, then it is convergent to x in $$(Z,p)$$, and the converse is not true (see [16]).

### Theorem 4.1

Let Z be complete with partial metric p. Suppose that $$T:Z \to Z$$ is a mapping such that

\begin{aligned} \psi\bigl(p(Tx,Ty)\bigr)\leq{}&\psi\biggl(\max\biggl\{ p(x,y),p(x,Tx),p(y,Ty), \frac{1}{2}\bigl\{ p(x,Ty)+p(y,Tx)\bigr\} \biggr\} \biggr) \\ &{}-\phi\bigl(\max\bigl\{ p(x,y),p(y,Ty)\bigr\} \bigr) \end{aligned}
(4.2)

for all $$x,y\in Z$$, where $$\psi\in\Psi$$ and $$\phi\in\Phi$$.

Then there exists a unique $$z\in Z$$ such that $$z=Tz$$ and $$p(z,z)=0$$.

### Proof

From (4.1) we have

$$p(x,y)=\frac{p_{s}(x,y)+p(x,x)+p(y,y)}{2}$$

for all $$x,y\in Z$$.

Let $$d(x,y)=\frac{p_{s}(x,y)}{2}$$ and $$\varphi(x)=\frac{p(x,x)}{2}$$ for all $$x,y\in Z$$.

Then Z is a complete metric space with metric d, and $$\varphi:Z \to [0,\infty)$$ is a lower semicontinuous function. Also, (4.2) reduces to (2.1). By Theorem 2.1 there exists a unique $$z\in Z$$ such that $$z=Tz$$ and $$p(z,z)=0$$. □

### Remark 4.3

Theorem 4.1 is a generalization of Theorem 8 of [3]. In fact, let ϕ and ψ be nondecreasing and continuous functions.

Then Theorem 4.1 reduces to Theorem 8 of [3].

### Corollary 4.2

Let Z be complete with partial metric p. Suppose that $$T:Z \to Z$$ is a mapping such that

\begin{aligned} \psi\bigl(p(Tx,Ty)\bigr)\leq{}&\psi\biggl(\max\biggl\{ p(x,y),p(x,Tx),p(y,Ty), \frac{1}{2}\bigl\{ p(x,Ty)+p(y,Tx)\bigr\} \biggr\} \biggr) \\ &{}-\phi\biggl(\max\biggl\{ p(x,y),p(x,Tx),p(y,Ty), \frac{1}{2}\bigl\{ p(x,Ty)+p(y,Tx)\bigr\} \biggr\} \biggr) \end{aligned}

for all $$x,y\in Z$$, where $$\psi\in\Psi$$ and $$\phi\in\Phi$$.

Then there exists a unique $$z\in Z$$ such that $$z=Tz$$ and $$p(z,z)=0$$.

### Remark 4.4

If ϕ is continuous in Corollary 4.2, then we obtain Theorem 2.5 of [6].

### Corollary 4.3

Let Z be complete with partial metric p. Suppose that $$T:Z \to Z$$ is a mapping such that

\begin{aligned} \psi\bigl(p(Tx,Ty)\bigr)\leq\psi\bigl(p(x,y)\bigr)-\phi\bigl(p(x,y)\bigr) \end{aligned}

for all $$x,y\in Z$$, where $$\psi\in\Psi$$ and $$\phi\in\Phi$$.

Then there exists a unique $$z\in Z$$ such that $$z=Tz$$ and $$p(z,z)=0$$.

### Theorem 4.4

Let Z be complete with partial metric p. Suppose that $$G:Z \times Z \to Z$$ is a mapping such that

\begin{aligned} &\psi\bigl(p\bigl(G(x,y),G(u,v)\bigr)\bigr) \\ &\quad \leq\psi\bigl(M\bigl((x,y),(u,v),p,G,0\bigr)\bigr)-\phi\bigl(L \bigl((x,y),(u,v),p,G,0\bigr)\bigr) \end{aligned}
(4.3)

for all $$(x,y),(u,v)\in Z \times Z$$, where $$\psi\in\Psi$$ and $$\phi\in \Phi$$.

Then G has a unique coupled fixed point.

### Proof

Let ρ be the partial metric on $$Z\times Z$$ defined as in (3.2), and let $$H: (Z \times Z, \rho)\to(Z \times Z, \rho)$$ be a mapping defined as in (3.1).

It follows from (4.3), (3.3), and (3.4) with $$\varphi^{*}=0$$ that

\begin{aligned} &\rho\bigl(H(x,y),H(u,v)\bigr) \leq\psi(m\bigl((x,y),(u,v),\rho,H,0\bigr)-\phi\bigl(l\bigl((x,y),(u,v), \rho,H,0\bigr)\bigr) \end{aligned}

for all $$(x,y),(u,v)\in Z \times Z$$.

By Theorem 4.1, H has a unique fixed point, and so by Lemma 3.1 G has a unique coupled fixed point. □

### Corollary 4.5

Let Z be complete with partial metric p. Suppose that $$G:Z \times Z \to Z$$ is a mapping such that

\begin{aligned} &\psi\bigl(p\bigl(G(x,y),G(u,v)\bigr)\bigr) \\ &\quad \leq\psi\bigl(M\bigl((x,y),(u,v),p,G,0\bigr)\bigr)-\phi\bigl(M \bigl((x,y),(u,v),p,G,0\bigr)\bigr) \end{aligned}

for all $$(x,y),(u,v)\in Z \times Z$$, where $$\psi\in\Psi$$ and $$\phi\in \Phi$$.

Then G has a unique coupled fixed point.

### Corollary 4.6

Let Z be complete with partial metric p. Suppose that $$G:Z \times Z \to Z$$ is a mapping such that

\begin{aligned} &\psi\bigl(p\bigl(G(x,y),G(u,v)\bigr)\bigr) \\ &\quad \leq\psi\bigl(\max\bigl\{ p(x,y),p(u,v)\bigr\} \bigr)-\phi\bigl(\max\bigl\{ p(x,y),p(u,v)\bigr\} \bigr) \end{aligned}

for all $$(x,y),(u,v)\in Z \times Z$$, where $$\psi\in\Psi$$ and $$\phi\in \Phi$$.

Then G has a unique coupled fixed point.

## Conclusions

Motivated by the result of Samet et al. [33], we introduce the notion of generalized weakly contractive mappings and prove the existence and uniqueness of fixed points for such mappings. We give applications to the existence of fixed points in partial metric spaces.

This investigation can be extended to a quasi-metric spaces with applications to studies of fixed points in quasi-partial metric spaces.

## References

1. Alber, YaI, Guerre-Delabriere, S: Principles of weakly contractive maps in Hilbert spaces. In: Goldberg, I, Lyubich, Yu (eds.) New Results in Operator Theory. Advances and Appl., vol. 98, pp. 7-12. Birkhäuser, Basel (1977) Topology and its Applications 157, 2778-2785 (2010)

2. Rhoades, BE: Some theorems on weakly contractive maps. Nonlinear Anal. 47, 2683-2693 (2001)

3. Abdeljawad, T: Fixed points for generalized weakly contractive mappings in partial metric spaces. Math. Comput. Model. 54, 2923-2927 (2011)

4. Aydi, H: On common fixed point theorems for ($$\psi,\varphi$$)-generalized f-weakly contractive mappings. Miskolc Math. Notes 14, 19-30 (2013)

5. Aydi, H, Karapinar, E, Shatanawi, W: Coupled fixed point results for $$(\psi,\varphi)$$-weakly contractive condition in ordered partial metric spaces. Comput. Math. Appl. 62, 4449-4460 (2011)

6. Chi, KP, Karapinar, E, Thanh, TD: On the fixed point theorems for generalized weakly contractive mappings on partial metric spaces. Bull. Iran. Math. Soc. 30, 369-381 (2013)

7. Cho, SH: Fixed point theorems for weakly α-contractive mappings with application. Appl. Math. Sci. 7, 2953-2965 (2013)

8. Choudhury, BS, Konar, P, Rhoades, BE, Metiya, N: Fixed point theorems for generalized weakly contractive mappings. Nonlinear Anal. 74, 2116-2126 (2011)

9. Doric, D: Common fixed point for generalized $$(\psi,\varphi)$$-weak contractions. Appl. Math. Lett. 22, 1896-1900 (2009)

10. Dutta, PN, Choudhury, BS: A generalization of contraction principle in metric spaces. Fixed Point Theory Appl. 2008, Article ID 406368 (2008)

11. Isik, H, Turkoglu, D: Fixed point theorems for weakly contractive mappings in partially ordered metric-like spaces. Fixed Point Theory Appl. 2013, 51 (2013)

12. Lakzian, H, Samet, B: Fixed points for ($$\psi,\varphi$$)-weakly contractive mappings in generalized metric spaces. Appl. Math. Lett. 25, 902-906 (2012)

13. Moradi, S, Farajzadeh, A: On fixed point of (ψ-φ)-weak and generalized (ψ-φ)-weak contraction mappings. Appl. Math. Lett. 25, 1257-1262 (2012)

14. Popescu, O: Fixed points for (ψ-ϕ)-weak contractions. Appl. Math. Lett. 24, 1-4 (2011)

15. Khan, MS, Swaleh, M, Sessa, S: Fixed point theorems by altering distances between the points. Bull. Aust. Math. Soc. 30, 1-9 (1984)

16. Matthews, SG: Partial metric topology. Ann. N.Y. Acad. Sci. 78, 183-197 (1994)

17. Abdeljawad, T, Aydi, H, Karapinar, E: Coupled fixed points for Meir-Keeler contractions in ordered partial metric spaces. Math. Probl. Eng. 2012, Article ID 327273 (2012)

18. Abdeljawad, T, Karapınar, E, Taş, K: Existence and uniqueness of a common fixed point on partial metric spaces. Appl. Math. Lett. 24(11), 1894-1899 (2011)

19. Altun, I, Sola, F, Simsek, H: Generalized contractions on partial metric spaces. Topol. Appl. 157, 2778-2785 (2010)

20. Aydi, H, Abbas, M, Vetro, C: Partial Hausdorff metric and Nadler’s fixed point theorem on partial metric spaces. Topol. Appl. 159, 3234-3242 (2012)

21. Aydi, H, Barakat, MA, Felhi, A, Isik, H: On ϕ-contraction type couplings in partial metric spaces. J. Math. Anal. 8, 78-89 (2017)

22. Aydi, H, Jellali, M, Karapinar, E: Common fixed points for generalized α-implicit contractions in partial metric spaces: consequences and application. RACSAM 109, 367-384 (2015)

23. Aydi, H, Karapinar, E: A Meir-Keeler common type fixed point theorem on partial metric spaces. Fixed Point Theory Appl. 2012, 26 (2012)

24. Aydi, H, Karapinar, E: New Meir-Keeler type tripled fixed point theorems on ordered partial metric spaces. Math. Probl. Eng. 2012, Article ID 409872 (2012)

25. Aydi, H, Amor, SH, Karapinar, E: Berinde type generalized contractions on partial metric spaces. Abstr. Appl. Anal. 2013, Article ID 312479 (2013)

26. Chi, KP, Karapınar, E, Thanh, TD: On the fixed point theorems in generalized weakly contractive mappings on partial metric spaces. Bull. Iran. Math. Soc. 39(2), 369-381 (2013)

27. Ćirić, L, Samet, B, Aydi, H, Vetro, C: Common fixed points of generalized contractions on partial metric spaces and an application. Appl. Math. Comput. 218, 2398-2406 (2011)

28. Karapınar, E: A note on common fixed point theorems in partial metric spaces. Miskolc Math. Notes 12(2), 185-191 (2011)

29. Karapınar, E, Erhan, IM, Ulus, AY: Fixed point theorem for cyclic maps on partial metric spaces. Appl. Math. Inf. Sci. 6, 239-244 (2012)

30. Karapinar, E, Inci, ME: Fixed point theorems for operator on partial metric spaces. Appl. Math. Lett. 24, 1894-1899 (2011)

31. Aydi, H, Karapinar, E, Vetro, C: On Ekeland’s variational principle in partial metric spaces. Appl. Math. Inf. Sci. 9, 1-6 (2015)

32. Aydi, H, Karapinar, E, Kumam, P: A note “On modified proof of Caristi’s fixed point theorem on partial metric spaces, Journal of Inequalities and Applications 2013, 2013:210”. J. Inequal. Appl. 2013, 355 (2013)

33. Samet, B, Vetro, C, Vetro, F: From metric spaces to partial metric spaces. Fixed Point Theory Appl. 2013, 5 (2013)

34. Cho, SH, Bae, JS: Fixed points of weak α-contraction type maps. Fixed Point Theory Appl. 2014, 175 (2014)

35. Guo, D, Lakshmikantham, V: Coupled fixed points of nonlinear operators with applications. Nonlinear Anal. 11(5), 623-632 (1987)

36. Berzig, M, Karapinar, E: Fixed point results for (αψ, βϕ)-contractive mappings for a generalized altering distance. Fixed Point Theory Appl. 2013, 205 (2013)

37. Cho, SH: Fixed point theorems for rational contraction maps in partial metric spaces with applications. Far East J. Math. Sci. 102(8), 1809-1829 (2017)

### Acknowledgements

The author would like to thank the anonymous reviewers and editor for their valuable comments.

“Not applicable”

“Not applicable”

## Author information

Authors

### Contributions

The author read and approved the final manuscript.

### Corresponding author

Correspondence to Seonghoon Cho.

## Ethics declarations

### Competing interests

The author declares that he has no competing interests.

“Not applicable”

### Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## Rights and permissions

Reprints and Permissions

Cho, S. Fixed point theorems for generalized weakly contractive mappings in metric spaces with applications. Fixed Point Theory Appl 2018, 3 (2018). https://doi.org/10.1186/s13663-018-0628-1

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/s13663-018-0628-1

• 47H10
• 54H25

### Keywords

• fixed point
• coupled fixed point
• generalized weak contractive mapping