Skip to main content

Common fixed point theorems of integral type contraction on metric spaces and its applications to system of functional equations

Abstract

In this article, using the common \((CLR)\) property, common fixed point results for two pairs of weakly compatible mappings satisfying contractive condition of integral type on metric spaces are established. Furthermore, the existence and uniqueness of common solution for system of functional equations arising in dynamic programming are discussed as an application of a common fixed point theorem presented in this paper.

1 Introduction and preliminaries

Throughout this paper, we assume that \(\mathbb{R}^{+}=[0,+\infty)\), opt stands for sup or inf, Z and Y are Banach spaces, \(S\subseteq Z\) is the state space, \(D\subseteq Y\) is the decision space, \(B(S)\) denotes the Banach space of all bounded real-valued functions on S with norm

$$ \|w\|=\sup\bigl\{ \bigl|w(x)\bigr|:x\in S\bigr\} \quad \mbox{for any } w\in B(S), $$

and \(u,v:S\times D\rightarrow\mathbb{R}\); \(a_{i}:S\times D\rightarrow S\); \(H_{i}:S\times D\times\mathbb{R}\rightarrow\mathbb{R}\). Also,

$$\begin{aligned} \Phi={}& \biggl\{ \varphi:\varphi:\mathbb{R}^{+}\rightarrow \mathbb{R}^{+} \mbox{ is Lebesgue integrable with finite integral such that}\\ &{\hphantom{\biggl\{ \varphi:}}\int_{0}^{\varepsilon}\varphi(t)\,dt>0, \mbox{for each } \varepsilon>0 \biggr\} \end{aligned}$$

and

$$\begin{aligned} \Psi={}&\bigl\{ \psi:\psi:\mathbb{R}^{+}\rightarrow \mathbb{R}^{+} \mbox{ is upper semi-continuous on } \mathbb{R}^{+}\setminus\{0\}, \psi (0)=0\\ &{\hphantom{\bigl\{ \psi}} \mbox{and } \psi(t)< t, \mbox{for each } t>0 \bigr\} . \end{aligned}$$

Fixed point theory is one of the most fruitful and applicable topics of nonlinear analysis, which is widely used not only in other mathematical theories, but also in many practical problems of natural sciences and engineering. The Banach contraction mapping principle [1] is indeed the most popular result of metric fixed point theory. This principle has many application in several domains, such as differential equations, functional equations, integral equations, economics, wild life, and several others.

Branciari [2] gave an integral version of the Banach contraction principles and proved fixed point theorem for a single-valued contractive mapping of integral type in metric space. Afterwards many researchers [318] extended the result of Branciari and obtained fixed point and common fixed point theorems for various contractive conditions of integral type on different spaces. In particular, Liu et al. [9] studied fixed point theorems satisfying a contractive condition of integral type and applied their results for the existence and uniqueness of a solution to the following functional equation:

$$ f(x)=\operatorname{opt}_{y\in D}\bigl\{ u(x,y)+H_{1} \bigl(x,y,f_{1}\bigl(a_{1}(x,y)\bigr)\bigr)\bigr\} \quad \forall x\in Z. $$
(1.1)

Further, Liu et al. [10] established common fixed point theorems satisfying contractive condition of integral type and applied their results for the existence and uniqueness of common solution to the following system of functional equations:

$$ \left\{ \begin{aligned} &f(x) =\operatorname{opt}_{y\in D}\bigl\{ u(x,y)+H_{1}\bigl(x,y,f_{1}\bigl(a_{1}(x,y) \bigr)\bigr)\bigr\} \quad \forall x\in S,\\ &g(x) =\operatorname{opt}_{y\in D}\bigl\{ v(x,y)+H_{2}\bigl(x,y,f_{2} \bigl(a_{2}(x,y)\bigr)\bigr)\bigr\} \quad \forall x\in S, \end{aligned} \right\} $$
(1.2)

where x and y signify the state and decision vectors, respectively, \(a_{1}\) and \(a_{2}\) represent the transformations of the process, \(f_{1}(x)\) and \(f_{2}(x)\) denote the optimal return functions with the initial state x.

The aim of this contribution is to study the existence and uniqueness of common solution for the system of functional equations arising in dynamic programming with the help of common fixed point results satisfying the contractive conditions of integral type in metric space.

Now, we recollect some known definitions and results from the literature which are helpful in the proof of our main results.

Definition 1.1

A coincidence point of a pair of self-mapping \(K,L:X\rightarrow X\) is a point \(x\in X\) for which \(Kx=Lx\).

A common fixed point of a pair of self-mapping \(K,L:X\rightarrow X\) is a point \(x\in X\) for which \(Kx=Lx=x\).

Jungck [19] initiated the concept of weakly compatible maps to study common fixed point theorems.

Definition 1.2

[19]

A pair of self-mapping \(K,L:X\rightarrow X\) is weakly compatible if they commute at their coincidence points, that is, if there exists a point \(x\in X\) such that \(KLx=LKx\) whenever \(Kx=Lx\).

In the study of common fixed points of weakly compatible mappings, we often require the assumption of completeness of the space or subspace or continuity of mappings involved besides some contractive condition. Aamri and El Moutawakil [20] introduced the notion of \((E.A)\) property, which requires only the closedness of the subspace and Liu et al. [21] extended the \((E.A)\) property to common the \((E.A)\) property as follows.

Definition 1.3

Let \((X,d)\) be a metric space and \(K,L,M,N:X\rightarrow X\) be four self-maps. The pairs \((K,M)\) and \((L,N)\) satisfy the common \((E.A)\) property if there exist two sequences \(\{x_{n}\}\) and \(\{y_{n}\}\) in X such that

$$ \lim_{n\rightarrow\infty}Kx_{n}=\lim_{n\rightarrow\infty }Mx_{n}= \lim_{n\rightarrow\infty}Ly_{n}= \lim_{n\rightarrow\infty}Ny_{n}=t \in X. $$

Sintunavarat and Kumam [22] introduced the notion of the \((CLR)\) property, which never requires any condition on closedness of the space or subspace and Imdad et al. [23] introduced the common \((CLR)\) property which is an extension of the \((CLR)\) property.

Definition 1.4

Let \((X,d)\) be a metric space and \(K,L,M,N:X\rightarrow X\) be four self maps. The pairs \((K,M)\) and \((L,N)\) satisfy the common limit range property with respect to mappings M and N, denoted by \((CLR_{MN})\) if there exist two sequences \(\{x_{n}\}\) and \(\{y_{n}\}\) in X such that

$$ \lim_{n\rightarrow\infty}Kx_{n}=\lim_{n\rightarrow\infty }Mx_{n}= \lim_{n\rightarrow\infty}Ly_{n}= \lim_{n\rightarrow\infty}Ny_{n}=t \in M(X)\cap N(X). $$

Finally, we will need the following results.

Lemma 1.1

[9]

Let \(\varphi\in\Phi\) and \(\{ r_{n}\}_{n\in N}\) be a non-negative sequence with \(\lim_{n\rightarrow \infty}r_{n}=a\). Then

$$ \lim_{n\rightarrow\infty} \int_{0}^{r_{n}}\varphi(t)\,dt = \int _{0}^{a}\varphi(t)\,dt. $$

Lemma 1.2

[24]

Let E be a set and \(p, q : E\rightarrow\mathbb{R}\) be mappings. If \(\operatorname{opt}_{y\in E} p(y)\) and \(\operatorname{opt}_{y\in E} q(y)\) are bounded, then

$$ \bigl|\operatorname{opt}_{y\in E} p(y)- \operatorname{opt}_{y\in E} q(y) \bigr|\leq\sup_{y\in E} \bigl| p(y)- q(y) \bigr|. $$

2 Common fixed point theorems

In this section, we study common fixed point theorems for weakly compatible mappings using the common \((CLR)\) and common \((E.A.)\) properties.

Theorem 2.1

Let \((X,d)\) be a metric space and \(K,L,N,M:X\rightarrow X\) be four self-mappings satisfying the following conditions:

  1. (1)

    the pairs \((K,N)\) and \((L,M)\) share \((CLR_{NM})\) property;

  2. (2)
    $$\int_{0}^{d(Kx,Ly)}\varphi(t)\,dt \leq\psi \biggl( \int _{0}^{\bigtriangleup_{1}(x,y)}\varphi(t)\,dt \biggr),\quad \forall x, y \in X, $$

    where \((\varphi, \psi)\in\Phi\times\Psi\) and

    $$\begin{aligned} \bigtriangleup_{1}(x,y)={}&\max \biggl\{ d(Nx,My),d(Nx,Kx),d(My,Ly), \frac{1}{2}\bigl[d(Kx,My)+d(Ly,Nx)\bigr],\\ &{\hphantom{\max \biggl\{ d}}\frac{d(Kx,Nx)d(Ly,My)}{1+d(Nx,My)}, \frac {d(Kx,My)d(Ly,Nx)}{1+d(Nx,My)},\\ &{\hphantom{\hphantom{\max \biggl\{ d}}}d(Nx,Kx)\frac{1+d(Nx,Ly)+d(My,Kx)}{1+d(Nx,Kx)+d(My,Ly)} \biggr\} . \end{aligned}$$

If the pairs \((K,N)\) and \((L,M)\) are weakly compatible, then K, L, M, and N have a unique common fixed point in X.

Proof

Assume that the pairs \((K,N)\) and \((L,M)\) share the \((CLR_{NM})\) property, then there exist two sequences \(\{x_{n}\}\) and \(\{y_{n}\}\) in X such that

$$ \lim_{n\rightarrow\infty}K{x_{n}}=\lim _{n\rightarrow\infty}N{x_{n}}= \lim_{n\rightarrow\infty}L{y_{n}}= \lim_{n\rightarrow\infty}M{y_{n}}=z \quad \mbox{for some } z\in M(X)\cap N(X). $$
(2.1)

Since \(z\in N(X)\), there exists a point \(u \in X\) such that \(Nu=z\). Thus (2.1) becomes

$$ \lim_{n\rightarrow\infty}K{x_{n}}=\lim _{n\rightarrow\infty}N{x_{n}}= \lim_{n\rightarrow\infty}L{y_{n}}= \lim_{n\rightarrow\infty}M{y_{n}}=z=Nu. $$
(2.2)

Now, we claim that \(Ku=Nu\). To prove the claim, let \(Ku\neq Nu\). Then on putting \(x=u\) and \(y=y_{n}\) in condition (2) of Theorem 2.1, we have

$$ \int_{0}^{d(Ku,Ly_{n})}\varphi(t)\,dt \leq\psi \biggl( \int _{0}^{\bigtriangleup_{1}(u,y_{n})}\varphi(t)\,dt \biggr), $$
(2.3)

where

$$\begin{aligned} \bigtriangleup_{1}(u,y_{n})={}&\max \biggl\{ d(Nu,My_{n}),d(Nu,Ku),d(My_{n},Ly_{n}), \\ &{\hphantom{\max \biggl\{ d}} \frac{1}{2}\bigl[d(Ku,My_{n})+d(Ly_{n},Nu)\bigr], \frac{d(Ku,Nu)d(Ly_{n},My_{n})}{1+d(Nu,My_{n})}, \\ &{\hphantom{\max \biggl\{ d}} \frac {d(Ku,My_{n})d(Ly_{n},Nu)}{1+d(Nu,My_{n})}, d(Nu,Ku)\frac {1+d(Nu,Ly_{n})+d(My_{n},Ku)}{1+d(Nu,Ku)+d(My_{n},Ly_{n})} \biggr\} . \end{aligned}$$
(2.4)

Taking the upper limit as \(n\rightarrow\infty\) in equations (2.4) and (2.3), respectively, we have

$$\begin{aligned} \lim_{n\rightarrow\infty} \bigtriangleup_{1}(u,y_{n})&= \max \biggl\{ 0,d(z,Ku),0,\frac{1}{2}\bigl[d(Ku,z)\bigr], 0,0,d(z,Ku) \biggr\} =d(Ku,z) \end{aligned}$$

and

$$\begin{aligned}[b] \int_{0}^{d(Ku,z)}\varphi(t)\,dt &=\limsup _{n\rightarrow\infty} \int_{0}^{d(Ku,Ly_{n})}\varphi(t)\,dt\\ &\leq\limsup_{n\rightarrow\infty} \psi \biggl( \int_{0}^{\bigtriangleup _{1}(u,y_{n})}\varphi(t)\,dt \biggr)\leq\psi \biggl( \limsup_{n\rightarrow \infty} \int_{0}^{\bigtriangleup_{1}(u,y_{n})}\varphi(t)\,dt \biggr)\\ &=\psi \biggl( \int_{0}^{d(Ku,z)}\varphi(t)\,dt \biggr)\\ &< \int_{0}^{d(Ku,z)}\varphi(t)\,dt,\end{aligned} $$

which is a contradiction, thus \(Ku=Nu\) and hence

$$ Ku=Nu=z. $$
(2.5)

Similarly, since \(z\in M(X)\), so there exists a point \(v \in X\) such that \(Mv=z\). Thus (2.1) becomes

$$ \lim_{n\rightarrow\infty}K{x_{n}}=\lim _{n\rightarrow\infty}N{x_{n}}= \lim_{n\rightarrow\infty}L{y_{n}}= \lim_{n\rightarrow\infty}M{y_{n}}=z=Mv. $$
(2.6)

Now, we claim that \(Lv=Mv\). To support the claim, let \(Lv\neq Mv\). Then on putting \(x=x_{n}\) and \(y=v\) in condition (2) of Theorem 2.1, one can get

$$ Lv=Mv=z. $$
(2.7)

Therefore, from (2.5) and (2.7), one can write

$$ Ku=Nu=Lv=Mv=z. $$
(2.8)

Next, we show that z is a common fixed point of K, L, M, and N. To this aim, since the pairs \((K,N)\) and \((L,M)\) are weakly compatible, then using (2.8) we have

$$ Ku=Nu \quad\Rightarrow\quad NKu=KNu\quad \Rightarrow\quad Kz=Nz, $$
(2.9)

and

$$ Lv=Mv \quad\Rightarrow\quad MLv=LMv \quad\Rightarrow\quad Lz=Mz. $$
(2.10)

We will show next that \(Kz=z\). Otherwise, if \(Kz\neq z\), using condition (2) of Theorem 2.1 with \(x=z\) and \(y=v\), we have

$$ \int_{0}^{d(Kz,Lv)}\varphi(t)\,dt \leq\psi \biggl( \int _{0}^{\bigtriangleup_{1}(z,v)}\varphi(t)\,dt \biggr), $$

where

$$\begin{aligned} \bigtriangleup_{1}(z,v)={}&\max \biggl\{ d(Nz,Mv),d(Nz,Kz),d(Mv,Lv),\\ &{\hphantom{\max \biggl\{ d}} \frac{1}{2}\bigl[d(Kz,Mv)+d(Lv,Nz)\bigr], \frac {d(Kz,Nz)d(Lv,Mv)}{1+d(Nz,Mv)},\\ &{\hphantom{\max \biggl\{ d}} \frac{d(Kz,Mv)d(Lv,Nz)}{1+d(Nz,Mv)}, d(Nz,Kz) \frac{1+d(Nz,Lv)+d(Mv,Kz)}{1+d(Nz,Kz)+d(Mv,Lv)} \biggr\} . \end{aligned}$$

In the light of (2.8) and (2.9), we get

$$\begin{aligned} \bigtriangleup_{1}(z,v) & =\max \biggl\{ d(Kz,z),0,0, \frac {1}{2}\bigl[d(Kz,z)+d(z,Kz)\bigr],0, \frac{d(Kz,z)d(z,Kz)}{1+d(Kz,z)},0 \biggr\} \\ & =d(Kz,z) \end{aligned}$$

and

$$\int_{0}^{d(Kz,z)}\varphi(t)\,dt \leq\psi \biggl( \int _{0}^{d(Kz,z)}\varphi(t)\,dt \biggr)< \int_{0}^{d(Kz,z)}\varphi(t)\,dt, $$

which is a contradiction. Thus \(Kz=z\) and from (2.9), we can write

$$ Kz=Nz=z. $$
(2.11)

Similarly, setting \(x=u\), \(y=z\) in condition (2) of Theorem 2.1 and using (2.8), (2.10), one can get

$$ Lz=Mz=z. $$
(2.12)

Therefore from (2.11) and (2.12), it follows that

$$ Kz=Lz=Mz=Nz=z, $$
(2.13)

that is, z is a common fixed point of K, L, M, and N.

Finally, we prove the uniqueness of the common fixed point of K, L, M, and N. Assume that \(z_{1}\) and \(z_{2}\) are two distinct common fixed points of K, L, M, and N. Then replacing x by \(z_{1}\) and y by \(z_{2}\) in condition (2) of Theorem 2.1, we have

$$\int_{0}^{d(z_{1},z_{2})}\varphi(t)\,dt= \int _{0}^{d(Kz_{1},Lz_{2})}\varphi(t)\,dt \leq\psi \biggl( \int _{0}^{\bigtriangleup_{1}(z_{1},z_{2})}\varphi(t)\,dt \biggr), $$

where

$$\begin{aligned} \bigtriangleup_{1}(z_{1},z_{2})={}& \max \biggl\{ d(Nz_{1},Mz_{2}),d(Nz_{1},Kz_{1}),d(Mz_{2},Lz_{2}),\\ &{\hphantom{\max \biggl\{ d}}\frac{1}{2}\bigl[d(Kz_{1},Mz_{2})+d(Lz_{2},Nz_{1}) \bigr], \frac {d(Kz_{1},Nz_{1})d(Lz_{2},Mz_{2})}{1+d(Nz_{1},Mz_{2})},\\ &{\hphantom{\max \biggl\{ d}} \frac {d(Kz_{1},Mz_{2})d(Lz_{2},Nz_{1})}{1+d(Nz_{1},Mz_{2})},d(Nz_{1},Kz_{1})\frac {1+d(Nz_{1},Lz_{2})+d(Mz_{2},Kz_{1})}{1+d(Nz_{1},Kz_{1})+d(Mz_{2},Lz_{2})} \biggr\} \\ ={}&\max \biggl\{ d(z_{1},z_{2}),0,0,\frac {1}{2} \bigl[d(z_{1},z_{2})+d(z_{2},z_{1}) \bigr], 0,\frac {d(z_{1},z_{2})d(z_{2},z_{1})}{1+d(z_{1},z_{2})},0 \biggr\} \\ ={}&d(z_{1},z_{2}), \end{aligned}$$

so that

$$\int_{0}^{d(z_{1},z_{2})}\varphi(t)\,dt \leq\psi \biggl( \int _{0}^{d(z_{1},z_{2})}\varphi(t)\,dt \biggr)< \int _{0}^{d(z_{1},z_{2})}\varphi(t)\,dt, $$

which is a contradiction and thus, \(z_{1}=z_{2}\). Hence K, L, M, and N have a unique common fixed point in X. □

From Theorem 2.1, we easily deduce the following corollaries.

Corollary 2.1

Let \((X,d)\) be a metric space and \(K,N,M:X\rightarrow X\) be three self-mappings satisfying the following conditions:

  1. (1)

    the pairs \((K,N)\) and \((K,M)\) share \((CKR_{NM})\) property;

  2. (2)
    $$\int_{0}^{d(Kx,Ky)}\varphi(t)\,dt \leq\psi \biggl( \int _{0}^{\bigtriangleup_{1}(x,y)}\varphi(t)\,dt \biggr),\quad \forall x, y \in X, $$

    where \((\varphi, \psi)\in\Phi\times\Psi\) and

    $$\begin{aligned} \bigtriangleup_{1}(x,y)={}&\max \biggl\{ d(Nx,My),d(Nx,Kx),d(My,Ky), \frac{1}{2}\bigl[d(Kx,My)+d(Ky,Nx)\bigr],\\ &{\hphantom{\max \biggl\{ d}}\frac{d(Kx,Nx)d(Ky,My)}{1+d(Nx,My)}, \frac {d(Kx,My)d(Ky,Nx)}{1+d(Nx,My)},\\ &{\hphantom{\max \biggl\{ d}} d(Nx,Kx)\frac{1+d(Nx,Ky)+d(My,Kx)}{1+d(Nx,Kx)+d(My,Ky)} \biggr\} . \end{aligned}$$

If the pairs \((K,N)\) and \((K,M)\) are weakly compatible, then K, M, and N have a unique common fixed point in X.

Corollary 2.2

Let \((X,d)\) be a metric space and \(K,M:X\rightarrow X\) be two self-mappings satisfying the following conditions:

  1. (1)

    the pair \((K,M)\) satisfies the \((CLR_{M})\) property;

  2. (2)
    $$\int_{0}^{d(Kx,Ky)}\varphi(t)\,dt \leq\psi \biggl( \int _{0}^{\bigtriangleup_{1}(x,y)}\varphi(t)\,dt \biggr),\quad \forall x, y \in X, $$

    where \((\varphi, \psi)\in\Phi\times\Psi\) and

    $$\begin{aligned} \bigtriangleup_{1}(x,y)={}&\max \biggl\{ d(Mx,My),d(Mx,Kx),d(My,Ky), \frac{1}{2}\bigl[d(Kx,My)+d(Ky,Mx)\bigr],\\ &{\hphantom{\max \biggl\{ d}} \frac{d(Kx,Mx)d(Ky,My)}{1+d(Mx,My)}, \frac {d(Kx,My)d(Ky,Mx)}{1+d(Mx,My)},\\ &{\hphantom{\max \biggl\{ d}} d(Mx,Kx)\frac{1+d(Mx,Ky)+d(My,Kx)}{1+d(Mx,Kx)+d(My,Ky)} \biggr\} . \end{aligned}$$

If the pair \((K,M)\) is weakly compatible, then K and M have a unique common fixed point in X.

In a similar way to Theorem 2.1 the following result can be concluded and proved.

Theorem 2.2

Let \((X,d)\) be a metric space and \(K,L,N,M:X\rightarrow X\) be four self-mappings satisfying the following conditions:

  1. (1)

    the pairs \((K,N)\) and \((L,M)\) share \((CLR_{NM})\) property;

  2. (2)
    $$\int_{0}^{d(Kx,Ly)}\varphi(t)\,dt \leq\psi \biggl( \int _{0}^{\bigtriangleup_{2}(x,y)}\varphi(t)\,dt \biggr),\quad \forall x, y \in X, $$

    where \((\varphi, \psi)\in\Phi\times\Psi\) and

    $$\begin{aligned} \bigtriangleup_{2}(x,y)={}&\max \biggl\{ d(Nx,My),d(Nx,Kx),d(My,Ly), \frac{1}{2}\bigl[d(Kx,My)+d(Ly,Nx)\bigr],\\ &{\hphantom{\max \biggl\{ d}}\frac{d(Kx,Nx)d(Ly,My)}{1+d(Kx,Ly)}, \frac {d(Kx,My)d(Ly,Nx)}{1+d(Kx,Ly)},\\ &{\hphantom{\max \biggl\{ d}}d(Nx,Kx)\frac{1+d(Nx,Ly)+d(My,Kx)}{1+d(Nx,Kx)+d(My,Ly)} \biggr\} . \end{aligned}$$

If the pairs \((K,N)\) and \((L,M)\) are weakly compatible, then K, L, M, and N have a unique common fixed point in X.

Obviously, the \((CLR_{MN})\) property implies the common property \((E.A)\) but the converse is not true in general. So replacing the \((CLR_{MN})\) property by the common property \((E.A)\) in Theorem 2.1 and Theorem 2.2, we get the following results, the proofs of which can easily be done by following the lines of the proof of Theorem 2.1, because the \((E.A)\) property together with the closedness property of a suitable subspace gives rise to the closed range property.

Corollary 2.3

Let \((X,d)\) be a metric space and \(K,L,N,M:X\rightarrow X\) be four self-mappings satisfying the following conditions:

  1. (1)

    the pairs \((K,N)\) and \((L,M)\) share common \((E.A)\) property such that \(M(X)\) (or \(N(X)\)) is closed subspace of X;

  2. (2)
    $$\int_{0}^{d(Kx,Ly)}\varphi(t)\,dt \leq\psi \biggl( \int _{0}^{\bigtriangleup_{1}(x,y)}\varphi(t)\,dt \biggr), \quad\forall x, y \in X, $$

    where \((\varphi, \psi)\in\Phi\times\Psi\) and

    $$\begin{aligned} \bigtriangleup_{1}(x,y)={}&\max \biggl\{ d(Nx,My),d(Nx,Kx),d(My,Ly), \frac{1}{2}\bigl[d(Kx,My)+d(Ly,Nx)\bigr], \\ &{\hphantom{\max \biggl\{ d}}\frac{d(Kx,Nx)d(Ly,My)}{1+d(Nx,My)}, \frac {d(Kx,My)d(Ly,Nx)}{1+d(Nx,My)}, \\ &{\hphantom{\max \biggl\{ d}} d(Nx,Kx)\frac{1+d(Nx,Ly)+d(My,Kx)}{1+d(Nx,Kx)+d(My,Ly)} \biggr\} . \end{aligned}$$

If the pairs \((K,N)\) and \((L,M)\) are weakly compatible, then K, L, M, and N have a unique common fixed point in X.

Corollary 2.4

Let \((X,d)\) be a metric space and \(K,L,N,M:X\rightarrow X\) be four self-mappings satisfying the following conditions:

  1. (1)

    the pairs \((K,N)\) and \((L,M)\) share common \((E.A)\) property such that \(M(X)\) (or \(N(X)\)) is closed subspace of X;

  2. (2)
    $$\int_{0}^{d(Kx,Ly)}\varphi(t)\,dt \leq\psi \biggl( \int _{0}^{\bigtriangleup_{2}(x,y)}\varphi(t)\,dt \biggr), \quad\forall x, y \in X, $$

    where \((\varphi, \psi)\in\Phi\times\Psi\) and

    $$\begin{aligned} \bigtriangleup_{2}(x,y)={}&\max \biggl\{ d(Nx,My),d(Nx,Kx),d(My,Ly), \frac{1}{2}\bigl[d(Kx,My)+d(Ly,Nx)\bigr], \\ &{\hphantom{\max \biggl\{ d}} \frac{d(Kx,Nx)d(Ly,My)}{1+d(Kx,Ly)}, \frac {d(Kx,My)d(Ly,Nx)}{1+d(Kx,Ly)}, \\ &{\hphantom{\max \biggl\{ d}} d(Nx,Kx)\frac{1+d(Nx,Ly)+d(My,Kx)}{1+d(Nx,Kx)+d(My,Ly)} \biggr\} . \end{aligned}$$

If the pairs \((K,N)\) and \((L,M)\) are weakly compatible, then \(K,L,M\), and N have a unique common fixed point in X.

One can obtain further consequences from Theorem 2.2 and Corollaries 2.3 and 2.4 in a similar way to Theorem 2.1.

Remark 2.1

Theorem 2.1 and Corollary 2.3 are still valid, if we replace \(\bigtriangleup_{1}(x,y)\) by

$$\begin{aligned} \bigtriangleup_{3}(x,y)={}&\max \biggl\{ d(Nx,My),d(Nx,Kx),d(My,Ly), \frac{1}{2}\bigl[d(Kx,My)+d(Ly,Nx)\bigr], \\ &{\hphantom{\max \biggl\{ d}} \min \biggl(\frac{d(Kx,Nx)d(Ly,My)}{1+d(Nx,My)}, \frac {d(Kx,My)d(Ly,Nx)}{1+d(Nx,My)}, \\ &{\hphantom{\max \biggl\{ d\min \biggl(d}} d(Nx,Kx)\frac{1+d(Nx,Ly)+d(My,Kx)}{1+d(Nx,Kx)+d(My,Ly)} \biggr) \biggr\} . \end{aligned}$$

Similarly, Theorem 2.2 and Corollary 2.4 are still valid, if we replace \(\bigtriangleup_{1}(x,y)\) by

$$\begin{aligned} \bigtriangleup_{4}(x,y)={}&\max \biggl\{ d(Nx,My),d(Nx,Kx),d(My,Ly), \frac{1}{2}\bigl[d(Kx,My)+d(Ly,Nx)\bigr], \\ &{\hphantom{\max \biggl\{ d}} \min \biggl(\frac{d(Kx,Nx)d(Ly,My)}{1+d(Kx,Ly)}, \frac {d(Kx,My)d(Ly,Nx)}{1+d(Kx,Ly)}, \\ &{\hphantom{\max \biggl\{ d\min \biggl(d}} d(Nx,Kx)\frac{1+d(Nx,Ly)+d(My,Kx)}{1+d(Nx,Kx)+d(My,Ly)} \biggr) \biggr\} . \end{aligned}$$

Finally, by choosing \(K=L\) and N and M as identity mappings, we conclude some fixed point theorems for integral type contraction from our main Theorem 2.1, which can be listed as follows.

Corollary 2.5

Let \((X,d)\) be a metric space and \(K:X\rightarrow X\) be a self-mapping satisfying the condition

$$\int_{0}^{d(Kx,Ky)}\varphi(t)\,dt \leq\psi \biggl( \int _{0}^{\bigtriangleup_{1}(x,y)}\varphi(t)\,dt \biggr), \quad\forall x, y \in X, $$

where \((\varphi, \psi)\in\Phi\times\Psi\) and

$$\begin{aligned} \bigtriangleup_{1}(x,y)={}&\max \biggl\{ d(x,y),d(x,Kx),d(y,Ky), \frac{1}{2}\bigl[d(Kx,y)+d(Ky,x)\bigr], \\ &{\hphantom{\max \biggl\{ d}}\frac{d(Kx,x)d(Ky,y)}{1+d(x,y)}, \frac{d(Kx,y)d(Ky,x)}{1+d(x,y)}, d(x,Kx)\frac{1+d(x,Ky)+d(y,Kx)}{1+d(x,Kx)+d(y,Ky)} \biggr\} , \end{aligned}$$

for all \(x,y\in X\). Then K has a unique fixed point in X.

Corollary 2.6

Let \((X,d)\) be a metric space and \(K:X\rightarrow X\) be a self-mapping satisfying the condition

$$\int_{0}^{d(Kx,Ky)}\varphi(t)\,dt \leq\psi \biggl( \int _{0}^{\bigtriangleup_{2}(x,y)}\varphi(t)\,dt \biggr), \quad\forall x, y \in X, $$

where \((\varphi, \psi)\in\Phi\times\Psi\) and

$$\begin{aligned} \bigtriangleup_{2}(x,y)={}&\max \biggl\{ d(x,y),d(x,Kx),d(y,Ky), \frac{1}{2}\bigl[d(Kx,y)+d(Ky,x)\bigr], \\ &{\hphantom{\max \biggl\{ d}} \frac{d(Kx,x)d(Ky,y)}{1+d(Kx,y)}, \frac{d(Kx,y)d(Ky,x)}{1+d(Kx,y)}, d(x,Kx)\frac{1+d(x,Ky)+d(y,Kx)}{1+d(x,Kx)+d(y,Ky)} \biggr\} , \end{aligned}$$

for all \(x,y\in X\). Then K has a unique fixed point in X.

Remark 2.2

Notice that several fixed point theorems such as the celebrated Banach fixed point theorem, fixed point theorems for Kannan, Chatterjee, and Reich type mappings and others can be deduced as particular cases of Corollary 2.5.

To illustrate Theorem 2.1, we construct the following example.

Example 2.1

Let \(X=(0,2)\) be a metric space with metric \(d(x,y)=|x-y|\), where \(x,y\in X\) and K, L, M, N be self-maps of X, defined by

$$\begin{aligned}& Kx= \left \{ \textstyle\begin{array}{@{}l@{\quad}l} 1 & \mbox{if }x\in(0,1], \\ \frac{1}{6} & \mbox{if }x\in(1,2) \end{array}\displaystyle \right . ; \qquad Lx= \left \{ \textstyle\begin{array}{@{}l@{\quad}l} 1 & \mbox{if }x\in(0,1], \\ \frac{1}{8} & \mbox{if }x\in(1,2), \end{array}\displaystyle \right . \\& Mx= \left \{ \textstyle\begin{array}{@{}l@{\quad}l} 1 & \mbox{if }x\in(0,1], \\ \frac{1}{2} & \mbox{if }x\in(1,2), \end{array}\displaystyle \right . \quad\mbox{and}\quad Nx= \left \{ \textstyle\begin{array}{@{}l@{\quad}l} 1 & \mbox{if }x\in(0,1], \\ \frac{1}{3} & \mbox{if }x\in(1,2). \end{array}\displaystyle \right . \end{aligned}$$

First we verify condition (1) of Theorem 2.1. To this aim, let \(\{ x_{n}\}=\{\frac{n}{n+1}\}_{n\geq1}\) and \(\{y_{n}\}=\{\frac{1}{n+1}\}_{n\geq 1}\) be two sequences in X. Then

$$\begin{aligned}& \lim_{n\rightarrow\infty}K{x_{n}} =\lim _{n\rightarrow\infty}K \biggl(\frac {n}{n+1} \biggr)=1; \\& \lim_{n\rightarrow\infty}L{y_{n}} = \lim_{n\rightarrow\infty}L \biggl(\frac {1}{n+1} \biggr)=1; \\& \lim_{n\rightarrow\infty}M{y_{n}}=\lim_{n\rightarrow\infty}M \biggl(\frac {1}{n+1} \biggr)=1; \\& \lim_{n\rightarrow\infty}N{x_{n}} =\lim_{n\rightarrow\infty}N \biggl(\frac {n}{n+1} \biggr)=1. \end{aligned}$$

Thus

$$ \lim_{n\rightarrow\infty}K{x_{n}}=\lim_{n\rightarrow \infty}N{x_{n}}= \lim_{n\rightarrow\infty}L{y_{n}} =\lim_{n\rightarrow\infty}M{y_{n}}=1 \in M(X)\cap N(X). $$

That is, \((K,N)\) and \((K,M)\) satisfies the common \((CLR_{MN})\) property.

Next, to verify condition (2) of Theorem 2.1 let us define \(\varphi:\mathbb{R^{+}}\rightarrow\mathbb{R^{+}}\) by \(\varphi(t)=2t\) and \(\psi:\mathbb{R^{+}}\rightarrow\mathbb{R^{+}}\) by \(\psi(t)=\frac{t}{5}\).

If \(x,y\in(0,1]\). Then \(Kx=Ly=My=Nx=1\) and

$$ \int_{0}^{d(Kx,Ly)}\varphi(t)\,dt=0= \psi \biggl( \int_{0}^{\bigtriangleup _{1}(x,y)}\varphi(t)\,dt \biggr), $$

where \(\bigtriangleup_{1}(x,y)=0\).

If \(x,y\in(1,2)\). Then \(Kx=\frac{1}{6}\), \(Ly=\frac{1}{8}\), \(My=\frac {1}{2}\), \(Nx=\frac{1}{3}\), and

$$\begin{aligned}& \int_{0}^{d(Kx,Ly)}\varphi(t)\,dt= \int_{0}^{\frac{1}{24}}2t \,dt= t^{2} \bigg|_{0}^{\frac{1}{24}}=\frac{1}{576}. \end{aligned}$$

Also,

$$\begin{aligned}& \bigtriangleup_{1}(x,y)=\max \biggl\{ \frac{1}{6}, \frac{1}{6},\frac {3}{8},\frac{13}{48},\frac{3}{50}, \frac{1}{15},\frac{1}{6} \biggr\} =\frac{3}{8}. \end{aligned}$$

Thus we obtain

$$ \psi \biggl( \int_{0}^{\bigtriangleup_{1}(x,y)}\varphi(t)\,dt \biggr)=\psi \biggl( \int_{0}^{\frac{3}{8}}2t \,dt \biggr)= \psi \bigl(t^{2} \big|_{0}^{\frac{3}{8}} \bigr)=\frac{9}{320}> \int_{0}^{d(Kx,Ly)}\varphi(t)\,dt. $$

Hence from the above two cases it follows that

$$\int_{0}^{d(Kx,Ly)}\varphi(t)\,dt \leq\psi \biggl( \int _{0}^{\bigtriangleup_{1}(x,y)}\varphi(t)\,dt \biggr),\quad \forall x, y \in X. $$

Therefore from Theorem 2.1, K, L, M, and N have a unique common fixed point, which is \(x=1\).

3 Applications to existence theorems for functional equations arising in dynamic programming

In this section, an attempt is made to find the existence and uniqueness of a common solution for a system of functional equations arising in dynamic programming through the help of Theorem 2.1. Consider the system

$$ \left\{ \begin{aligned} &f_{1}(x) =\operatorname{opt}_{y\in D}\bigl\{ u(x,y)+H_{1}\bigl(x,y,f_{1} \bigl(a_{1}(x,y)\bigr)\bigr)\bigr\} \quad \forall x\in S, \\ &f_{2}(x) =\operatorname{opt}_{y\in D}\bigl\{ u(x,y)+H_{2} \bigl(x,y,f_{2}\bigl(a_{2}(x,y)\bigr)\bigr)\bigr\} \quad \forall x\in S, \\ &f_{3}(x) =\operatorname{opt}_{y\in D}\bigl\{ v(x,y)+H_{3} \bigl(x,y,f_{3}\bigl(a_{3}(x,y)\bigr)\bigr)\bigr\} \quad \forall x\in S, \\ &f_{4}(x) =\operatorname{opt}_{y\in D}\bigl\{ v(x,y)+H_{4} \bigl(x,y,f_{4}\bigl(a_{4}(x,y)\bigr)\bigr)\bigr\} \quad \forall x\in S, \end{aligned} \right\} $$
(3.1)

where x and y signify the state and decision vectors, respectively, \(a_{1}\), \(a_{2}\), \(a_{3}\), and \(a_{4}\) represent the transformations of the process, \(f_{1}(x)\), \(f_{2}(x)\), \(f_{3}(x)\), and \(f_{4}(x)\) denote the optimal return functions with the initial state x.

Let \(K,L,M,N:B(S)\rightarrow B(S)\) be the mappings defined by

$$ \begin{aligned} &Kh(x)=\operatorname{opt}_{y\in D}\bigl\{ u(x,y)+H_{1}\bigl(x,y,h\bigl(a_{1}(x,y)\bigr)\bigr)\bigr\} , \\ &Lh(x)=\operatorname{opt}_{y\in D}\bigl\{ u(x,y)+H_{2}\bigl(x,y,h \bigl(a_{2}(x,y)\bigr)\bigr)\bigr\} , \\ &Mh(x)=\operatorname{opt}_{y\in D}\bigl\{ v(x,y)+H_{3}\bigl(x,y,h \bigl(a_{3}(x,y)\bigr)\bigr)\bigr\} , \\ &Nh(x)=\operatorname{opt}_{y\in D}\bigl\{ v(x,y)+H_{4}\bigl(x,y,h \bigl(a_{4}(x,y)\bigr)\bigr)\bigr\} , \end{aligned} $$
(3.2)

where \((x,h)\in S\times B(S)\).

Theorem 3.1

Let \(K,L,M,N:B(S)\rightarrow B(S)\) given by (3.2) be mappings for which the following conditions hold:

  1. (1)

    u, v, and \(H_{i}\) are bounded for \(i=1,2,3,4\);

  2. (2)

    the pairs \((K,N)\) and \((L,M)\) share \((CLR_{NM})\) property;

  3. (3)

    for some \(h\in B(S)\), \(KNh=NKh\), whenever \(Kh=Nh\) and \(LMh=MLh\), whenever \(Lh=Mh\);

  4. (4)

    for all \((x,y,h,w)\in S\times D\times B(S)\times B(S)\),

    $$\int_{0}^{|H_{1}(x,y,h(a_{1}(x,y)))-H_{2}(x,y,w(a_{2}(x,y)))|}\varphi (t)\,dt \leq\psi \biggl( \int_{0}^{\bigtriangleup_{1}^{*}(h,w)}\varphi(t)\,dt \biggr), $$

    where

    $$\begin{aligned} \bigtriangleup_{1}^{*}(h,w)={}&\max \biggl\{ \|Nh-Mw\|,\|Nh-Kh\|,\|Mw-Lw\|, \\ &{\hphantom{\max \biggl\{ \|}} \frac{1}{2}\bigl[\|Kh-Mw\|+\|Lw-Nh\|\bigr],\frac{\|Kh-Nh\|\|Lw-Mw\|}{1+\|Nh-Mw\| }, \\ &{\hphantom{\max \biggl\{ \|}} \frac{\|Kh-Mw\|\|Lw-Nh\|}{1+\|Nh-Mw\|}, \\ &{\hphantom{\max \biggl\{ \|}} \|Nh-Kh\|\frac{1+\|Nh-Lw\|+\|Mw-Kh\|}{1+\|Nh-Kh\|+\|Mw-Lw\|} \biggr\} . \end{aligned}$$

Then the system of functional equations (3.1) has a unique common solution in \(B(S)\).

Proof

Since u, v, and \(H_{i}\) are bounded for \(i=1,2,3,4\), there exists \(M>0\) such that

$$ \sup\bigl\{ \bigl\| u(x,y)\bigr\| ,\bigl\| v(x,y)\bigr\| ,\bigl\| H_{i}(x,y,t)\bigr\| : (x,y,t)\in S\times D\times R\bigr\} \leq M $$
(3.3)

Thus by (3.2), (3.3), and Lemma 1.2, K, L, M, N are self-mappings in \(B(S)\).

Let \((x,h,w)\in S\times B(S)\times B(S)\). Suppose that \(\operatorname{opt}_{y\in D}=\inf_{y\in D}\). Then using (3.2) we can find \(y,z\in D\) such that

$$\begin{aligned}& Kh(x)>u(x,y)+H_{1}\bigl(x,y,h\bigl(a_{1}(x,y) \bigr)\bigr)-\delta; \end{aligned}$$
(3.4)
$$\begin{aligned}& Lw(x)>u(x,z)+H_{2}\bigl(x,z,w\bigl(a_{2}(x,z) \bigr)\bigr)-\delta; \end{aligned}$$
(3.5)
$$\begin{aligned}& Kh(x)\leq u(x,z)+H_{1}\bigl(x,z,h \bigl(a_{1}(x,z)\bigr)\bigr); \end{aligned}$$
(3.6)
$$\begin{aligned}& Lw(x)\leq u(x,y)+H_{2}\bigl(x,y,w \bigl(a_{2}(x,y)\bigr)\bigr); \end{aligned}$$
(3.7)

where \((x,h)\in S\times B(S)\).

Next, with the help of (3.4) and (3.7), we have

$$\begin{aligned} Kh(x)-Lw(x) >{}&H_{1}\bigl(x,y,h \bigl(a_{1}(x,y)\bigr)\bigr)-H_{2}\bigl(x,y,w \bigl(a_{2}(x,y)\bigr)\bigr)-\delta \\ \geq{}&{-}\max \bigl\{ \bigl|H_{1}\bigl(x,y,h\bigl(a_{1}(x,y) \bigr)\bigr)-H_{2}\bigl(x,y,w\bigl(a_{2}(x,y)\bigr)\bigr)\bigr|, \\ &{\hphantom{-\max \bigl\{ \bigl|h}} \bigl|H_{1}\bigl(x,z,h\bigl(a_{1}(x,z)\bigr) \bigr)-H_{2}\bigl(x,z,w\bigl(a_{2}(x,z)\bigr)\bigr)\bigr| \bigr\} -\delta. \end{aligned}$$

Analogously, with the help of (3.5) and (3.6), we have

$$\begin{aligned} Kh(x)-Lw(x) < {}&H_{1}\bigl(x,z,h \bigl(a_{1}(x,z)\bigr)\bigr)-H_{2}\bigl(x,z,w \bigl(a_{2}(x,z)\bigr)\bigr)+\delta \\ \leq{}& \max \bigl\{ \bigl|H_{1}\bigl(x,y,h\bigl(a_{1}(x,y)\bigr) \bigr)-H_{2}\bigl(x,y,w\bigl(a_{2}(x,y)\bigr)\bigr)\bigr|, \\ &{\hphantom{{-}\max \bigl\{ \bigl|}} \bigl|H_{1}\bigl(x,z,h\bigl(a_{1}(x,z)\bigr) \bigr)-H_{2}\bigl(x,z,w\bigl(a_{2}(x,z)\bigr)\bigr)\bigr| \bigr\} +\delta. \end{aligned}$$

So we can write

$$\begin{aligned}& \begin{aligned}[b] \bigl|Kh(x)-Lw(x)\bigr|< {}&\max \bigl\{ \bigl|H_{1}\bigl(x,y,h\bigl(a_{1}(x,y)\bigr) \bigr)-H_{2}\bigl(x,y,w\bigl(a_{2}(x,y)\bigr)\bigr)\bigr|, \\ &{\hphantom{{-}\max \bigl\{ \bigl|}} \bigl|H_{1}\bigl(x,z,h\bigl(a_{1}(x,z)\bigr) \bigr)-H_{2}\bigl(x,z,w\bigl(a_{2}(x,z)\bigr)\bigr)\bigr| \bigr\} +\delta \\ ={}&\max \bigl\{ \bigl|H_{1}\bigl(x,y,h\bigl(a_{1}(x,y)\bigr) \bigr)-H_{2}\bigl(x,y,w\bigl(a_{2}(x,y)\bigr)\bigr)\bigr|+\delta, \\ &{\hphantom{{-}\max \bigl\{ \bigl|}} \bigl|H_{1}\bigl(x,z,h\bigl(a_{1}(x,z)\bigr) \bigr)-H_{2}\bigl(x,z,w\bigl(a_{2}(x,z)\bigr)\bigr)\bigr|+\delta \bigr\} , \end{aligned} \\& \bigl|Kh(x)-Lw(x)\bigr|< \max \bigl\{ |A-B|+\delta,|C-D|+\delta \bigr\} , \end{aligned}$$
(3.8)

where \(A=H_{1}(x,y,h(a_{1}(x,y)))\), \(B=H_{2}(x,y,w(a_{2}(x,y)))\), \(C=H_{1}(x,z,h(a_{1}(x,z)))\), and \(D=H_{2}(x,z,w(a_{2}(x,z)))\).

Similarly, one can obtain (3.8), if \(\operatorname{opt}_{y\in D}=\sup_{y\in D}\). Now, using (3.8), we have

$$\begin{aligned} \int_{0}^{|Kh(x)-Lw(x)|}\varphi(t)\,dt \leq{}& \int_{0}^{\max\{|A-B|+\delta , |C-D|+\delta\}}\varphi(t)\,dt \\ ={}&\max \biggl\{ \int_{0}^{|A-B|+\delta}\varphi(t)\,dt, \int _{0}^{|C-D|+\delta}\varphi(t)\,dt \biggr\} \\ ={}&\max \biggl\{ \int_{0}^{|A-B|}\varphi(t)\,dt+ \int_{|A-B|}^{|A-B|+\delta }\varphi(t)\,dt, \\ &{\hphantom{\max \biggl\{ \int}}\int_{0}^{|C-D|}\varphi(t)\,dt+ \int_{|C-D|}^{|C-D|+\delta }\varphi(t)\,dt \biggr\} \\ ={}&\max \biggl\{ \int_{0}^{|A-B|}\varphi(t)\,dt, \int_{0}^{|C-D|}\varphi(t)\,dt \biggr\} \\ &{}+\max \biggl\{ \int_{|A-B|}^{|A-B|+\delta}\varphi(t)\,dt, \int _{|C-D|}^{|C-D|+\delta}\varphi(t)\,dt \biggr\} , \end{aligned}$$

and by condition (4) of Theorem 3.1, we get

$$\begin{aligned} \int_{0}^{\|Kh-Lw\|}\varphi(t)\,dt \leq{}&\psi \biggl( \int _{0}^{\bigtriangleup_{1}^{*}(h,w)}\varphi(t)\,dt \biggr) +\max \biggl\{ \int_{|A-B|}^{|A-B|+\delta}\varphi(t)\,dt, \int _{|C-D|}^{|C-D|+\delta}\varphi(t)\,dt \biggr\} , \end{aligned}$$
(3.9)

where \((x,h,w)\in S\times B(S)\times B(S)\).

In the light of (3.3), Theorem 12.34 in [25] and \(\varphi\in \Phi\), for each \(\varepsilon>0\), we can find \(\delta\in(0,M)\) satisfying

$$ \int_{C}\varphi(t)\,dt \leq\varepsilon,\quad \forall C\subseteq [0,3M] \mbox{ with } m(C)\leq\delta, $$
(3.10)

where \(m(C)\) denotes the Lebesgue measure of C. Thus (3.9) becomes

$$ \int_{0}^{\|Kh-Lw\|}\varphi(t)\,dt \leq\psi \biggl( \int _{0}^{\bigtriangleup_{1}^{*}(h,w)}\varphi(t)\,dt \biggr)+\varepsilon, \quad\forall h,w\in B(S). $$

Taking the limit as \(\varepsilon\rightarrow0^{+}\), we get

$$ \int_{0}^{\|Kh-Lw\|}\varphi(t)\,dt \leq\psi \biggl( \int _{0}^{\bigtriangleup_{1}^{*}(h,w)}\varphi(t)\,dt \biggr), \quad \forall h,w \in B(S). $$

Thus all the conditions of Theorem 2.1 are satisfied. Hence the mappings K, L, M, N have a unique common fixed point in \(B(S)\), that is, the system of functional equations (3.1) has a unique common solution. □

References

  1. Banach, S: Sur les opérations dans les ensembles abstraits et leurs applications aux equations integrales. Fundam. Math. 3, 133-181 (1922)

    MATH  Google Scholar 

  2. Branciari, A: A fixed point theorem for mappings satisfying a general contractive condition of integral type. Int. J. Math. Math. Sci. 29(9), 531-536 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  3. Aliouche, A: A common fixed point theorem for weakly compatible mappings in symmetric spaces satisfying a contractive condition of integral type. J. Math. Anal. Appl. 322, 796-802 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  4. Altun, I, Türkoglu, D: Some fixed point theorems for weakly compatible mappings satisfying an implicit relation. Taiwan. J. Math. 13, 1291-1304 (2009)

    MATH  Google Scholar 

  5. Altun, I, Türkoglu, D, Rhoades, BE: Fixed points of weakly compatible maps satisfying a general contractive of integral type. Fixed Point Theory Appl. 2007, Article ID 17301 (2007)

    Article  Google Scholar 

  6. Djoudi, A, Aliouche, A: Common fixed point theorems of Greguš type for weakly compatible mappings satisfying contractive conditions of integral type. J. Math. Anal. Appl. 329, 31-45 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  7. Djoudi, A, Merghadi, F: Common fixed point theorems for maps under a contractive condition of integral type. J. Math. Anal. Appl. 341, 953-960 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  8. Jachymski, J: Remarks on contractive conditions of integral type. Nonlinear Anal. 71, 1073-1081 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  9. Liu, Z, Li, X, Kang, SM, Cho, SY: Fixed point theorems for mappings satisfying contractive conditions of integral type and applications. Fixed Point Theory Appl. 2001, Article ID 64 (2011)

    Article  MathSciNet  Google Scholar 

  10. Liu, Z, Zou, X, Kang, SM, Ume, JS: Common fixed points for a pair of mappings satisfying contractive conditions of integral type. J. Inequal. Appl. 2014, Article ID 394 (2014)

    Article  MathSciNet  Google Scholar 

  11. Murthy, PP, Kumar, S, Tas, K: Common fixed points of self maps satisfying an integral type contractive condition in fuzzy metric spaces. Math. Commun. 15, 521-537 (2010)

    MATH  MathSciNet  Google Scholar 

  12. Sintunavarat, W, Kumam, P: Gregus-type common fixed point theorems for tangential multi-valued mappings of integral type in metric spaces. Int. J. Math. Math. Sci. 2011, Article ID 923458 (2011)

    Article  MathSciNet  Google Scholar 

  13. Alsulami, HH, Karapınar, E, O’Regan, D, Shahi, P: Fixed points of generalized contractive mappings of integral type. Fixed Point Theory Appl. 2014, Article ID 213 (2014)

    Article  Google Scholar 

  14. Karapınar, E, Shahi, P, Tas, K: Generalized α-ψ-contractive type mappings of integral type and related fixed point theorems. J. Inequal. Appl. 2014, Article ID 160 (2014)

    Article  Google Scholar 

  15. Chauhan, S, Karapınar, E: Some integral type common fixed point theorems satisfying Ψ-contractive conditions. Bull. Belg. Math. Soc. Simon Stevin 21(4), 593-612 (2014)

    MATH  MathSciNet  Google Scholar 

  16. Gulyaz, S, Karapınar, E, Rakocevic, V, Salimi, P: Existence of a solution of integral equations via fixed point theorem. J. Inequal. Appl. 2013, Article ID 529 (2013)

    Article  Google Scholar 

  17. Karapınar, E: Fixed points results for alpha-admissible mapping of integral type on generalized metric spaces. Abstr. Appl. Anal. 2014, Article ID 141409 (2014)

    Google Scholar 

  18. Chauhan, S, Imdad, M, Karapınar, E, Fisher, B: An integral type fixed point theorem for multi-valued mappings employing strongly tangential property. J. Egypt. Math. Soc. 22(2), 258-264 (2014)

    Article  MATH  Google Scholar 

  19. Jungck, G: Common fixed points for non-continuous non-self mappings on a non-numeric spaces. Far East J. Math. Sci. 4(2), 199-212 (1996)

    MATH  MathSciNet  Google Scholar 

  20. Aamri, M, El Moutawakil, D: Some new common fixed point theorems under strict contractive conditions. J. Math. Anal. Appl. 270(1), 181-188 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  21. Liu, W, Wu, J, Li, Z: Common fixed points of single-valued and multi-valued maps. Int. J. Math. Math. Sci. 19, 3045-3055 (2005)

    Article  MathSciNet  Google Scholar 

  22. Sintunavarat, W, Kumam, P: Common fixed point theorem for a pair of weakly compatible mappings in fuzzy metric space. J. Appl. Math. 2011, Article ID 637958 (2011)

    Article  MathSciNet  Google Scholar 

  23. Imdad, M, Pant, BD, Chauhan, S: Fixed point theorems in Menger spaces using the \((CLR_{ST})\) property and applications. J. Nonlinear Anal. Optim. 3(2), 225-237 (2012)

    MathSciNet  Google Scholar 

  24. Liu, Z, Kang, SM: Existence and uniqueness of solutions for two classes of functional equations arising in dynamic programming. Acta Math. Appl. Sinica (Engl. Ser.) 23, 195-208 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  25. Hewitt, K, Stromberg, K: Real and Abstract Analysis. Springer, New York (1978)

    Google Scholar 

Download references

Acknowledgements

The authors are grateful to the editor and anonymous reviewers for their careful reviews, valuable comments, and remarks to improve this paper.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Mian Bahadur Zada.

Additional information

Competing interests

The authors declare that they have no competing interests regarding this manuscript.

Authors’ contributions

All authors read and approved the final version.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Sarwar, M., Zada, M.B. & Erhan, İ.M. Common fixed point theorems of integral type contraction on metric spaces and its applications to system of functional equations. Fixed Point Theory Appl 2015, 217 (2015). https://doi.org/10.1186/s13663-015-0466-3

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13663-015-0466-3

MSC

Keywords