# Urysohn integral equations approach by common fixed points in complex-valued metric spaces

- Wutiphol Sintunavarat
^{1}, - Yeol Je Cho
^{2}Email author and - Poom Kumam
^{1}Email author

**2013**:49

https://doi.org/10.1186/1687-1847-2013-49

© Sintunavarat et al.; licensee Springer 2013

**Received: **7 December 2012

**Accepted: **12 February 2013

**Published: **5 March 2013

## Abstract

Recently, the complex-valued metric spaces which are more general than the metric spaces were first introduced by Azam *et al.* (Numer. Funct. Anal. Optim. 32:243-253, 2011). They also established the existence of fixed point theorems under the contraction condition in these spaces. The aim of this paper is to introduce the concepts of a *C*-Cauchy sequence and *C*-complete in complex-valued metric spaces and establish the existence of common fixed point theorems in *C*-complete complex-valued metric spaces. Furthermore, we apply our result to obtain the existence theorem for a common solution of the Urysohn integral equations

where $t\in [a,b]\subseteq \mathbb{R}$, $x,g,h\in C([a,b],{\mathbb{R}}^{n})$ and ${K}_{1},{K}_{2}:[a,b]\times [a,b]\times {\mathbb{R}}^{n}\to {\mathbb{R}}^{n}$.

**MSC:**47H09, 47H10.

## Keywords

## 1 Introduction

The study of metric spaces has played a vital role in many branches of pure and applied sciences. We can find useful applications of metric spaces in mathematics, biology, medicine, physics and computer science (see [1–3]). Several mathematicians improved, generalized and extended the concept of metric spaces to vector-valued metric spaces of Perov [4], *G*-metric spaces of Mustafa and Sims [5], cone metric spaces of Huang and Zhang [6], modular metric spaces of Chistyakov [7], partial metric spaces of Matthews [8] and others. Since Banach [9] introduced his contraction principle in complete metric spaces in 1922, this field of fixed point theory has been rapidly growing. It has been very useful in many fields such as optimization problems, control theory, differential equations, economics and many others. A number of papers in this field have been dedicated to the improvement and generalization of Banach’s contraction mapping principle in many spaces and ways (see [10–13]).

Recently, Azam *et al.* [14] introduced a new space, the so-called complex-valued metric space, and established a fixed point theorem for some type of contraction mappings as follows.

**Theorem 1.1** (Azam *et al.* [14])

*Let*$(X,d)$

*be a complete complex*-

*valued metric space and*$S,T:X\to X$

*be two mappings*.

*If*

*S*

*and*

*T*

*satisfy*

*for all* $x,y\in X$, *where* *λ*, *μ* *are nonnegative reals with* $\lambda +\mu <1$, *then* *S* *and* *T* *have a unique common fixed point in* *X*.

Theorem 1.1 of Azam *et al.* in [14] is an essential tool in the complex-valued metric space to claim the existence of a common fixed point for some mappings. However, it is most interesting to find another new auxiliary tool to claim the existence of a common fixed point. Some other works related to the results in a complex-valued metric space are [15, 16].

In this paper, we introduce the concept of a *C*-Cauchy sequence and *C*-complete in complex-valued metric spaces and also prove some common fixed point theorems for new generalized contraction mappings in *C*-complete complex-valued metric spaces.

On the other hand, integral equations arise naturally from many applications in describing numerous real world problems. These equations have been studied by many authors. Existence theorems for the Urysohn integral equations can be obtained applying various fixed point principles.

where $t\in [a,b]\subseteq \mathbb{R}$, $x,g,h\in C([a,b],{\mathbb{R}}^{n})$ and ${K}_{1},{K}_{2}:[a,b]\times [a,b]\times {\mathbb{R}}^{n}\to {\mathbb{R}}^{n}$.

## 2 Preliminaries

In this section, we discuss some background of the complex-valued metric spaces of Azam *et al.* in [14] and give some notions for our results. Also, some essential lemmas which are useful for our results are given.

We note that ${z}_{1}\precsim {z}_{2}$ if one of the following holds:

(C1) $Re({z}_{1})=Re({z}_{2})$ and $Im({z}_{1})=Im({z}_{2})$;

(C2) $Re({z}_{1})<Re({z}_{2})$ and $Im({z}_{1})=Im({z}_{2})$;

(C3) $Re({z}_{1})=Re({z}_{2})$ and $Im({z}_{1})<Im({z}_{2})$;

(C4) $Re({z}_{1})<Re({z}_{2})$ and $Im({z}_{1})<Im({z}_{2})$.

It obvious that if $a,b\in \mathbb{R}$ such that $a\le b$, then $az\precsim bz$ for all $z\in \mathbb{C}$.

**Definition 2.1** [14]

Let *X* be a nonempty set. Suppose that the mapping $d:X\times X\to \mathbb{C}$ satisfies the following conditions:

(d1) $0\precsim d(x,y)$ for all $x,y\in X$ and $d(x,y)=0$ if and only if $x=y$;

(d2) $d(x,y)=d(y,x)$ for all $x,y\in X$;

(d3) $d(x,y)\precsim d(x,z)+d(z,y)$ for all $x,y,z\in X$.

Then *d* is called a *complex-valued metric* on *X* and $(X,d)$ is called a *complex-valued metric space*.

**Example 2.2**Let $X=\mathbb{C}$. Define the mapping $d:X\times X\to \mathbb{C}$ by

where ${z}_{1}={x}_{1}+i{y}_{1}$ and ${z}_{2}={x}_{2}+i{y}_{2}$. Then $(X,d)$ is a complex-valued metric space.

**Example 2.3**Let $X={X}_{1}\cup {X}_{2}$, where

where ${z}_{1}={x}_{1}+i{y}_{1}$ and ${z}_{2}={x}_{2}+i{y}_{2}$. Then $(X,d)$ is a complex-valued metric space.

**Example 2.4**Let $X={X}_{1}\cup {X}_{2}$, where

where ${z}_{1}={x}_{1}+i{y}_{1}$ and ${z}_{2}={x}_{2}+i{y}_{2}$. Then $(X,d)$ is a complex-valued metric space.

**Definition 2.5** [14]

- (1)A point $x\in X$ is called an
*interior point*of a set $A\subseteq X$ whenever there exists $0\prec r\in \mathbb{C}$ such that$B(x,r)=\{y\in X:d(x,y)\prec r\}\subseteq A.$ - (2)A point $x\in X$ is called a
*limit point*of*A*whenever, for all $0\prec r\in \mathbb{C}$,$B(x,r)\cap (A-X)\ne \mathrm{\varnothing}.$ - (3)
A set $A\subseteq X$ is called

*open*whenever each element of*A*is an interior point of*A*. - (4)
A set $A\subseteq X$ is called

*closed*whenever each limit point of*A*belongs to*A*. - (5)A
*sub-basis*for a Hausdorff topology*τ*on*X*is the family$F=\{B(x,r):x\in X\text{and}0\prec r\}.$

**Definition 2.6** [14]

*X*and let $x\in X$.

- (1)
If, for any $c\in \mathbb{C}$ with $0\prec c$, there exists $N\in \mathbb{N}$ such that, for all $n>N$, $d({x}_{n},x)\prec c$, then $\{{x}_{n}\}$ is said to be

*convergent*to a point $x\in X$ or $\{{x}_{n}\}$ converges to a point $x\in X$ and*x*is the limit point of $\{{x}_{n}\}$. We denote this by ${lim}_{n\to \mathrm{\infty}}{x}_{n}=x$ or ${x}_{n}\to x$ as $n\to \mathrm{\infty}$. - (2)
If, for any $c\in \mathbb{C}$ with $0\prec c$, there exists $N\in \mathbb{N}$ such that, for all $n>N$, $d({x}_{n},{x}_{n+m})\prec c$, where $m\in \mathbb{N}$, then $\{{x}_{n}\}$ is called a

*Cauchy sequence*in*X*. - (3)
If every Cauchy sequence in

*X*is convergent, then $(X,d)$ is said to be a*complete complex-valued metric space*.

Next, we give some lemmas which are an essential tool in the proof of main results.

**Lemma 2.7** [[14], see Definition 2.5]

*Let* $(X,d)$ *be a complex*-*valued metric space and* $\{{x}_{n}\}$ *be a sequence in* *X*. *Then* $\{{x}_{n}\}$ *converges to a point* $x\in X$ *if and only if* $|d({x}_{n},x)|\to 0$ *as* $n\to \mathrm{\infty}$.

**Lemma 2.8** [14]

*Let* $(X,d)$ *be a complex*-*valued metric space and* $\{{x}_{n}\}$ *be a sequence in* *X*. *Then* $\{{x}_{n}\}$ *is a Cauchy sequence if and only if* $|d({x}_{n},{x}_{n+m})|\to 0$ *as* $n\to \mathrm{\infty}$, *where* $m\in \mathbb{N}$.

**Definition 2.9**Let

*S*and

*T*be self-mappings of a nonempty set

*X*.

- (1)
A point $x\in X$ is called a

*fixed point*of*T*if $Tx=x$. - (2)
A point $x\in X$ is called a

*coincidence point*of*S*and*T*if $Sx=Tx$ and the point $w\in X$ such that $w=Sx=Tx$ is called a*point of coincidence*of*S*and*T*. - (3)
A point $x\in X$ is called a

*common fixed point*of*S*and*T*if $x=Sx=Tx$.

**Lemma 2.10** [17]

*Let* *X* *be a nonempty set and* $T:X\to X$ *be a function*. *Then there exists a subset* $E\subseteq X$ *such that* $T(E)=T(X)$ *and* $T:E\to X$ *is one*-*to*-*one*.

## 3 Common fixed points (I)

- (1)
${\gamma}_{1}(x)=k$, where $k\in [0,1)$;

- (2)
${\gamma}_{2}(x)=\frac{1}{1+k|x|}$, where $k\in (0,\mathrm{\infty})$.

Now, we introduce the concepts of a *C*-Cauchy sequence and *C*-complete in complex-valued metric spaces.

**Definition 3.1**Let $(X,d)$ be a complex-valued metric space and $\{{x}_{n}\}$ be a sequence in

*X*.

- (1)
If, for any $c\in \mathbb{C}$ with $0\prec c$, there exists $N\in \mathbb{N}$ such that, for all $m,n>N$, $d({x}_{n},{x}_{m})\prec c$, then $\{{x}_{n}\}$ is called a

*C*-*Cauchy sequence*in*X*. - (2)
If every

*C*-Cauchy sequence in*X*is convergent, then $(X,d)$ is said to be a*C*-*complete complex-valued metric space*.

Next, we prove our main results.

**Theorem 3.2**

*Let*$(X,d)$

*be a*

*C*-

*complete complex*-

*valued metric space and*$S,T:X\to X$

*be mappings*.

*If there exist two mappings*$\alpha ,\beta :{\mathbb{C}}_{+}\to [0,1)$

*such that*,

*for all*$x,y\in X$,

- (a)
$\alpha (x)+\beta (x)<1$;

- (b)
*the mapping*$\gamma :{\mathbb{C}}_{+}\to [0,1)$*defined by*$\gamma (x):=\frac{\alpha (x)}{1-\beta (x)}$*belongs to*Γ; - (c)
$d(Sx,Ty)\precsim \alpha (d(x,y))d(x,y)+\frac{\beta (d(x,y))d(x,Sx)d(y,Ty)}{1+d(x,y)}$.

*Then* *S* *and* *T* *have a unique common fixed point in* *X*.

*Proof*Let ${x}_{0}$ be an arbitrary point in

*X*. We construct the sequence $\{{x}_{n}\}$ in

*X*such that

for all $n\in \mathbb{N}$. This implies the sequence ${\{|d({x}_{n-1},{x}_{n})|\}}_{n\in \mathbb{N}}$ is monotone non-increasing and bounded below. Therefore, $|d({x}_{n-1},{x}_{n})|\to d$ for some $d\ge 0$.

*C*-Cauchy sequence. According to (3.5), it is sufficient to show that the subsequence $\{{x}_{2n}\}$ is a

*C*-Cauchy sequence. On the contrary, assume that $\{{x}_{2n}\}$ is not a

*C*-Cauchy sequence. By Definition 3.1(1), there is $c\in \mathbb{C}$ with $0\prec c$ for which, for all $k\in \mathbb{N}$, there exists ${m}_{k}>{n}_{k}\ge k$ such that

*d*, we obtain that

Since $\gamma \in \mathrm{\Gamma}$, we get $|d({x}_{2{n}_{k}},{x}_{2{m}_{k}+1})|\to 0$, which contradicts $0\prec c$. Therefore, we can conclude that $\{{x}_{2n}\}$ is a *C*-Cauchy sequence and hence $\{{x}_{n}\}$ is a *C*-Cauchy sequence. By the completeness of *X*, there exists a point $z\in X$ such that ${x}_{n}\to z$ as $n\to \mathrm{\infty}$.

*d*, we have

Taking $n\to \mathrm{\infty}$, we have $|d(z,Sz)|=0$, which is a contradiction. Thus, we get $Sz=z$. It follows similarly that $Tz=z$. Therefore, $z=Sz=Tz$, that is, *z* is a common fixed point of *S* and *T*.

*z*is a unique common fixed point of

*S*and

*T*. Assume that there exists another point $\stackrel{\u02c6}{z}$ such that $\stackrel{\u02c6}{z}=S\stackrel{\u02c6}{z}=T\stackrel{\u02c6}{z}$. Now, we have

Hence $|d(z,\stackrel{\u02c6}{z})|\le \alpha (d(z,\stackrel{\u02c6}{z}))|d(z,\stackrel{\u02c6}{z})|$. Since $0\le \alpha (d(z,\stackrel{\u02c6}{z}))<1$, we get $|d(z,\stackrel{\u02c6}{z})|=0$ and then $z=\stackrel{\u02c6}{z}$. Therefore, *z* is a unique common fixed point of *S* and *T*. This completes the proof. □

**Corollary 3.3**

*Let*$(X,d)$

*be a*

*C*-

*complete complex*-

*valued metric space and*$S,T:X\to X$

*be mappings*.

*If*

*S*

*and*

*T*

*satisfy*

*for all* $x,y\in X$, *where* *λ*, *μ* *are nonnegative reals with* $\lambda +\mu <1$, *then* *S* *and* *T* *have a unique common fixed point in* *X*.

*Proof* We can prove this result by applying Theorem 3.2 by setting $\alpha (x)=\lambda $ and $\beta (x)=\mu $. □

**Corollary 3.4**

*Let*$(X,d)$

*be a*

*C*-

*complete complex*-

*valued metric space and*$T:X\to X$

*be a mapping*.

*If there exist two mappings*$\alpha ,\beta :{\mathbb{C}}_{+}\to [0,1)$

*such that*,

*for all*$x,y\in X$,

- (a)
$\alpha (x)+\beta (x)<1$;

- (b)
*the mapping*$\gamma :{\mathbb{C}}_{+}\to [0,1)$*defined by*$\gamma (x):=\frac{\alpha (x)}{1-\beta (x)}$*belongs to*Γ; - (c)
$d(Tx,Ty)\precsim \alpha (d(x,y))d(x,y)+\frac{\beta (d(x,y))d(x,Tx)d(y,Ty)}{1+d(x,y)}$.

*Then* *T* *has a unique fixed point in* *X*.

*Proof* We can prove this result by applying Theorem 3.2 with $S=T$. □

**Corollary 3.5**

*Let*$(X,d)$

*be a*

*C*-

*complete complex*-

*valued metric space and*$T:X\to X$

*be a mapping*.

*If*

*T*

*satisfies*

*for all* $x,y\in X$, *where* *λ*, *μ* *are nonnegative reals with* $\lambda +\mu <1$, *then* *T* *has a unique fixed point in* *X*.

*Proof* We can prove this result by applying Corollary 3.4 with $\alpha (x)=\lambda $ and $\beta (x)=\mu $. □

**Theorem 3.6**

*Let*$(X,d)$

*be a*

*C*-

*complete complex*-

*valued metric space and*$T:X\to X$.

*If there exist two mappings*$\alpha ,\beta :{\mathbb{C}}_{+}\to [0,1)$

*such that*,

*for all*$x,y\in X$,

- (a)
$\alpha (x)+\beta (x)<1$;

- (b)
*the mapping*$\gamma :{\mathbb{C}}_{+}\to [0,1)$*defined by*$\gamma (x):=\frac{\alpha (x)}{1-\beta (x)}$*belongs to*Γ; - (c)
$d({T}^{n}x,{T}^{n}y)\precsim \alpha (d(x,y))d(x,y)+\frac{\beta (d(x,y))d(x,{T}^{n}x)d(y,{T}^{n}y)}{1+d(x,y)}$

*for some*$n\in \mathbb{N}$.

*Then* *T* *has a unique fixed point in* *X*.

*Proof*From Corollary 3.4, we get ${T}^{n}$ has a unique fixed point

*z*. Since

we know that *Tz* is a fixed point of ${T}^{n}$. Therefore, $Tz=z$ by the uniqueness of a fixed point of ${T}^{n}$. Therefore, *z* is also a fixed point of *T*. Since the fixed point of *T* is also a fixed point of ${T}^{n}$, the fixed point of *T* is also unique. □

**Corollary 3.7**

*Let*$(X,d)$

*be a*

*C*-

*complete complex*-

*valued metric space and*$S,T:X\to X$

*be mappings*.

*If*

*T*

*satisfy*

*for all* $x,y\in X$ *for some* $n\in \mathbb{N}$, *where* *λ*, *μ* *are nonnegative reals with* $\lambda +\mu <1$, *then* *T* *has a unique fixed point in* *X*.

*Proof* We can prove this result by applying Theorem 3.6 with $\alpha (x)=\lambda $ and $\beta (x)=\mu $. □

**Remark 3.8** It is easy to see that Corollaries 3.3, 3.5 and 3.7 hold in complete complex-valued metric spaces. Therefore, Corollaries 3.3, 3.5 and 3.7 become Theorem 4, Corollary 5 and Corollary 6 of Azam *et al.* [14] in complete complex-valued metric spaces.

## 4 Common fixed points (II)

In this section, we prove a common fixed point theorem for weakly compatible mappings in *C*-complete complex-valued metric spaces.

Since Banach’s fixed point theorem, many authors have improved, extended and generalized Banach’s fixed point theorem in several ways. Especially, in [18], Jungck generalized Banach’s fixed point theorem by using the concept of commuting mappings as follows.

**Theorem J**

*Let*$(X,d)$

*be a complete metric space*.

*Then a continuous mapping*$S:X\to X$

*has a fixed point in*

*X*

*if and only if there exists a number*$\alpha \in (0,1)$

*and a mapping*$T:X\to X$

*such that*$T(X)\subset S(X)$,

*S*

*and*

*T*

*are commuting*(

*i*.

*e*., $TSx=STx$

*for all*

*x*

*in*

*X*),

*for all* $x,y\in X$. *Further*, *S* *and* *T* *have a unique common fixed point in* *X* (*i*.*e*., *there exists a unique point* *z* *in* *X* *such that* $Sz=Tz=z$).

Note that if we put $S={I}_{X}$ (the identity mapping on *X*) in Theorem J, we have Banach’s fixed point theorem.

Since Theorem J, in 1986, Jungck [18] introduced more generalized commuting mappings in metric spaces, called compatible mappings, which also are more general than weakly commuting mappings (that is, the mappings $S,T:X\to X$ are said to be *weakly commuting* if $d(STx,TSx)\le d(Sx,Tx)$ for all $x\in X$) introduced by Sessa [19] as follows.

**Definition 4.1**Let

*S*and

*T*be mappings from a metric space $(X,d)$ into itself. The mappings

*S*and

*T*are said to be

*compatible*if

whenever $\{{x}_{n}\}$ is a sequence in *X* such that ${lim}_{n\to \mathrm{\infty}}S{x}_{n}={lim}_{n\to \mathrm{\infty}}T{x}_{n}=z$ for some $z\in X$.

In general, commuting mappings are weakly commuting and weakly commuting mappings are compatible, but the converse is not necessarily true; some examples can be found in [18, 20–22].

Also, some authors introduced some kind of generalizations of compatible mappings in metric spaces and other spaces (see [21–24]) and they proved common fixed point theorems using these kinds of compatible mappings in metric spaces and other spaces.

In [25], Jungck and Rhoades introduced the concept of weakly compatible mappings in symmetric spaces $(X,d)$ and proved some common fixed point theorems for these mappings in symmetric spaces as follows.

**Definition 4.2** Let *S* and *T* be mappings from a metric space $(X,d)$ into itself. The mappings *S* and *T* are said to be *weakly compatible* if they commute at coincidence points of *S* and *T*.

In Djoudi and Nisse [26], we can find an example to show that there exist weakly compatible mappings which are not compatible mappings in metric spaces.

Now, we give the main result in this section.

**Theorem 4.3**

*Let*$(X,d)$

*be a complex*-

*valued metric space and*$S,T:X\to X$

*be such that*$T(X)\subseteq S(X)$

*and*$S(X)$

*is*

*C*-

*complete*.

*If there exist two mappings*$\alpha ,\beta :{\mathbb{C}}_{+}\to [0,1)$

*such that*,

*for all*$x,y\in X$,

- (a)
$\alpha (x)+\beta (x)<1$;

- (b)
*the mapping*$\gamma :{\mathbb{C}}_{+}\to [0,1)$*defined by*$\gamma (x):=\frac{\alpha (x)}{1-\beta (x)}$*belongs to*Γ; - (c)
$d(Tx,Ty)\precsim \alpha (d(Sx,Sy))d(Sx,Sy)+\frac{\beta (d(Sx,Sy))d(Sx,Tx)d(Sy,Ty)}{1+d(Sx,Sy)}$.

*Then* *S* *and* *T* *have a unique point of coincidence in* *X*. *Moreover*, *S* *and* *T* *have a unique common fixed point in* *X* *if* *S* *and* *T* *are weakly compatible*.

*Proof* Consider the mapping $S:X\to X$. By Lemma 2.10, there exists $E\subseteq X$ such that $S(E)=S(X)$ and $S:E\to X$ is one-to-one.

*S*is one-to-one on

*E*. Since $\mathcal{W}\circ S=T$, using (c), we get

for all $Sx,Sy\in S(E)$. Since $S(E)=S(X)$ is *C*-complete and (4.1) holds, we can apply Corollary 3.4 with a mapping
. Therefore, there exists a unique fixed point $z\in S(X)$ such that $\mathcal{W}z=z$. It follows from $z\in S(X)$ that $z=S{z}^{\prime}$ for some ${z}^{\prime}\in X$. So, $\mathcal{W}(S{z}^{\prime})=S{z}^{\prime}$, that is, $T{z}^{\prime}=S{z}^{\prime}$. Therefore, *T* and *S* have a unique point of coincidence.

*S*and

*T*have a common fixed point. Now, we have $z=T{z}^{\prime}=S{z}^{\prime}$. Since

*S*and

*T*are weakly compatible, we get

This implies $Sz=Tz$ is a point of coincidence of *S* and *T*. But *z* is a unique point of coincidence of *S* and *T*. Therefore, we conclude that $z=Sz=Tz$, which implies that *z* is a common fixed point of *S* and *T*.

Finally, we prove the uniqueness of a common fixed point of *S* and *T*. Assume that $\overline{z}$ is another common fixed point of *S* and *T*. So, $\overline{z}=S\overline{z}=T\overline{z}$, and then $\overline{z}$ is also a point of coincidence of *S* and *T*. However, we know that *z* is a unique point of coincidence of *S* and *T*. Therefore, we get $\overline{z}=z$, that is, *z* is a unique common fixed point of *S* and *T*. This completes the proof. □

## 5 Urysohn integral equations

In this section, we show that Theorem 3.2 can be applied to the existence of a common solution of the system of the Urysohn integral equations.

**Theorem 5.1**

*Let*$X=C([a,b],{\mathbb{R}}^{n})$, $a>0$,

*and*$d:X\times X\to \mathbb{C}$

*be defined by*

*Consider the Urysohn integral equations*

*where* $t\in [a,b]\subseteq \mathbb{R}$, $x,g,h\in X$ *and* ${K}_{1},{K}_{2}:[a,b]\times [a,b]\times {\mathbb{R}}^{n}\to {\mathbb{R}}^{n}$.

*Suppose that*${K}_{1}$, ${K}_{2}$

*are such that*${F}_{x},{G}_{x}\in X$

*for all*$x\in X$,

*where*

*for all* $t\in [a,b]$.

*If there exist two mappings*$\alpha ,\beta :{\mathbb{C}}_{+}\to [0,1)$

*such that for all*$x,y\in X$

*the following hold*:

- (a)
$\alpha (x)+\beta (x)<1$;

- (b)
*the mapping*$\gamma :{\mathbb{C}}_{+}\to [0,1)$*defined by*$\gamma (x):=\frac{\alpha (x)}{1-\beta (x)}$*belongs to*Γ; - (c)${\parallel {F}_{x}(t)-{G}_{y}(t)+g(t)-h(t)\parallel}_{\mathrm{\infty}}\sqrt{1+{a}^{2}}{e}^{i{tan}^{-1}a}\precsim \alpha ({max}_{t\in [a,b]}A(x,y)(t))A(x,y)(t)+\beta ({max}_{t\in [a,b]}A(x,y)(t))B(x,y)(t)$,
*where*$\begin{array}{l}A(x,y)(t)={\parallel x(t)-y(t)\parallel}_{\mathrm{\infty}}\sqrt{1+{a}^{2}}{e}^{i{tan}^{-1}a},\\ B(x,y)(t)=\frac{{\parallel {F}_{x}(t)+g(t)-x(t)\parallel}_{\mathrm{\infty}}{\parallel {G}_{y}(t)+h(t)-y(t)\parallel}_{\mathrm{\infty}}}{1+d(x,y)}\sqrt{1+{a}^{2}}{e}^{i{tan}^{-1}a},\end{array}$

*then the system of integral equations* (5.1) *and* (5.2) *has a unique common solution*.

*Proof*Define two mappings $S,T:X\to X$ by $Sx={F}_{x}+g$ and $Tx={G}_{x}+h$. Then we have

Now, we can apply Theorem 3.2. Therefore, we get the Urysohn integral equations (5.1) and (5.2) have a unique common solution. □

## Declarations

### Acknowledgements

This work was supported by the Higher Education Research Promotion and National Research University Project of Thailand, Office of the Higher Education Commission. The first author would like to thank the Research Professional Development Project under the Science Achievement Scholarship of Thailand (SAST), the second author was supported by the Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (Grant Number: 2012-0008170) and the third author would like to thank the National Research University Project of Thailand’s Office of the Higher Education Commission for financial support.

## Authors’ Affiliations

## References

- Bestvina M:
*R*-trees in topology, geometry and group theory. In*Handbook of Geometric Topology*. North-Holland, Amsterdam; 2002:55-91.Google Scholar - Kirk WA: Some recent results in metric fixed point theory.
*J. Fixed Point Theory Appl.*2007, 2: 195-207. 10.1007/s11784-007-0031-8MathSciNetView ArticleGoogle Scholar - Semple C, Steel M Oxford Lecture Ser. Math. Appl. 24. In
*Phylogenetics*. Oxford University Press, Oxford; 2003.Google Scholar - Perov AI: On the Cauchy problem for a system of ordinary differential equations.
*Pviblizhen. Met. Reshen. Difer. Uvavn.*1964, 2: 115-134.MathSciNetGoogle Scholar - Mustafa Z, Sims B: A new approach to generalized metric spaces.
*J. Nonlinear Convex Anal.*2006, 7: 289-297.MathSciNetGoogle Scholar - Huang LG, Zhang X: Cone metric spaces and fixed point theorems of contractive mappings.
*J. Math. Anal. Appl.*2007, 332: 1468-1476. 10.1016/j.jmaa.2005.03.087MathSciNetView ArticleGoogle Scholar - Chistyakov VV: Modular metric spaces, I: basic concepts.
*Nonlinear Anal.*2010, 72: 1-14. 10.1016/j.na.2009.04.057MathSciNetView ArticleGoogle Scholar - Matthews SG: Partial metric topology. Annals of the New York Academy of Sciences 728.
*Proceedings of the 8th Summer Conference on General Topology and Applications*1994, 183-197.Google Scholar - Banach S: Sur les opérations dans les ensembles abstraits et leurs applications aux équations intégrales.
*Fundam. Math.*1922, 3: 133-181.Google Scholar - Abbas M, Cho YJ, Nazir T: Common fixed point theorems for four mappings in TVS-valued cone metric spaces.
*J. Math. Inequal.*2011, 5: 287-299.MathSciNetView ArticleGoogle Scholar - Cho YJ, Saadati R, Wang S: Common fixed point theorems on generalized distance in order cone metric spaces.
*Comput. Math. Appl.*2011, 61: 1254-1260. 10.1016/j.camwa.2011.01.004MathSciNetView ArticleGoogle Scholar - Marsh MM: Fixed point theorems for partially outward mappings.
*Topol. Appl.*2006, 153: 3546-3554. 10.1016/j.topol.2006.03.019MathSciNetView ArticleGoogle Scholar - Zhao X: Fixed point classes on symmetric product spaces.
*Topol. Appl.*2010, 157: 1859-1871. 10.1016/j.topol.2010.02.022View ArticleGoogle Scholar - Azam A, Brian F, Khan M: Common fixed point theorems in complex valued metric spaces.
*Numer. Funct. Anal. Optim.*2011, 32: 243-253. 10.1080/01630563.2011.533046MathSciNetView ArticleGoogle Scholar - Rouzkard F, Imdad M: Some common fixed point theorems on complex valued metric spaces.
*Comput. Math. Appl.*2012, 64: 1866-1874. 10.1016/j.camwa.2012.02.063MathSciNetView ArticleGoogle Scholar - Sintunavarat W, Kumam P: Generalized common fixed point theorems in complex valued metric spaces and applications.
*J. Inequal. Appl.*2012., 2012: Article ID 84Google Scholar - Haghi RH, Rezapour S, Shahzadb N: Some fixed point generalizations are not real generalizations.
*Nonlinear Anal.*2011, 74: 1799-1803. 10.1016/j.na.2010.10.052MathSciNetView ArticleGoogle Scholar - Jungck G: Commuting maps and fixed points.
*Am. Math. Mon.*1976, 83: 261-263. 10.2307/2318216MathSciNetView ArticleGoogle Scholar - Sessa S: On a weak commutativity condition of mappings in fixed point consideration.
*Publ. Inst. Math. (Belgr.)*1982, 32(46):149-153.MathSciNetGoogle Scholar - Jungck G: Compatible mappings and common fixed points.
*Int. J. Math. Math. Sci.*1986, 9: 771-779. 10.1155/S0161171286000935MathSciNetView ArticleGoogle Scholar - Jungck G: Compatible mappings and common fixed points (2).
*Int. J. Math. Math. Sci.*1988, 11: 285-288. 10.1155/S0161171288000341MathSciNetView ArticleGoogle Scholar - Jungck G: Common fixed points of commuting and compatible maps on compacta.
*Proc. Am. Math. Soc.*1988, 103: 977-983. 10.1090/S0002-9939-1988-0947693-2MathSciNetView ArticleGoogle Scholar - Cho YJ:Fixed points for compatible mappings of type $(A)$.
*Math. Jpn.*1993, 18: 497-508.Google Scholar - Jungck G, Murthy PP, Cho YJ:Compatible mappings of type $(A)$ and common fixed points.
*Math. Jpn.*1993, 38: 381-390.MathSciNetGoogle Scholar - Jungck G, Rhoades BE: Fixed point theorems for occasionally weakly compatible mappings.
*Fixed Point Theory*2006, 7: 287-296.MathSciNetGoogle Scholar - Djoudi A, Nisse L: Greguš type fixed points for weakly compatible maps.
*Bull. Belg. Math. Soc. Simon Stevin*2003, 10: 369-378.MathSciNetGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.