# Fixed point theorems for *φ*-contractions

- Maria Samreen
^{1}Email author, - Quanita Kiran
^{2}and - Tayyab Kamran
^{3}

**2014**:266

https://doi.org/10.1186/1029-242X-2014-266

© Samreen et al.; licensee Springer 2014

**Received: **19 February 2014

**Accepted: **13 June 2014

**Published: **22 July 2014

## Abstract

This paper deals with the fixed point theorems for mappings satisfying a contractive condition involving a gauge function *φ* when the underlying set is endowed with a *b*-metric. Our results generalize/extend the main results of Proinov and thus we obtain as special cases some results of Mysovskih, Rheinboldt, Gel’man, and Huang. We also furnish an example to substantiate the validity of our results. Subsequently, an existence theorem for the solution of initial value problem has also been established.

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

## Keywords

*b*-metric spacegauge functions

## 1 Introduction and preliminaries

The Banach contraction principle has been extensively used to study the existence of solutions for the nonlinear Volterra integral equations and nonlinear integro-differential equations and to prove the convergence of algorithms in computational mathematics. These applications elicit the significance of fixed point theory. Therefore mathematicians have been propelled to contribute enormously in the field of fixed point theory by finding the fixed point(s) of self-mappings or nonself-mappings defined on several ambient spaces and satisfying a variety of conditions. Among these fixed point theorems only a few have practical importance, *i.e.*, they provide a constructive method for finding fixed point(s). This provides information on the convergence rate along with error estimates. The Banach contraction principle is one of such theorems wherein the proposed iterative scheme converges linearly. Commonly, the iterative procedures serve as constructive methods in fixed point theory. Furthermore, it is also of crucial importance to have prior and posterior estimates for such methods. In this context, Proinov [1] extended the Banach contraction principle with a higher order of convergence. He proposed an iterative scheme for a mapping satisfying a contractive condition which involves a gauge function of order $r\ge 1$ and obtained error estimates as well. His results include as special cases some results of Mysovskih [2], Rheinboldt [3], Gel’man [4], Huang [5], and others. In [6] the authors extended the results of Proinov to the case of multivalued mappings.

For the last few decades fixed point theory has rapidly been evolving, not only in metric structure but also in many different generalized spaces and the *b*-metric space is one of them. The notion of a *b*-metric space was initiated in some works of Bourbaki, Bakhtin, Czerwik, and Heinonen. Several papers appeared which deal with the fixed point theory for single valued and multivalued functions in a *b*-metric space [7–11]*etc.*

Inspired by the work of Proinov [1] in this paper we investigate whether the consequences of his results hold when the underlying structure is replaced with a *b*-metric space. We give an affirmative answer to this question. Our results generalize main results of Proinov [1] and thus subsume many results of authors [2–5]. We establish an example to substantiate the validity of our results. Consequently, in Section 3 we also obtain an existence theorem for the solution of an initial value problem.

In the following we recall some auxiliary notions and results in a *b*-metric space [7–9, 11] which are needed subsequently.

Let *X* be a nonempty set and $s\ge 1$ be a given real number. A function $d:X\times X\to {\mathbb{R}}^{+}$ is said to be a *b*-metric space if and only if for all $x,y,z\in X$ the following conditions are satisfied:

(d1) $d(x,y)=0$ if and only if $x=y$;

(d2) $d(x,y)=d(y,x)$;

(d3) $d(x,z)\le s[d(x,y)+d(y,z)]$.

The pair $(X,d)$ is called a *b*-metric space with the coefficient *s*.

The following example shows that the class of *b*-metric spaces is essentially larger than the class of metric spaces.

**Example 1.2**[8, 11, 12]

- (1)Let $X:={l}_{p}(\mathbb{R})$ with $0<p<1$ where ${l}_{p}(\mathbb{R}):=\{\{{x}_{n}\}\subset \mathbb{R}:{\sum}_{n=1}^{\mathrm{\infty}}{|{x}_{n}|}^{p}<\mathrm{\infty}\}$. Define $d:X\times X\to {\mathbb{R}}^{+}$ as$d(x,y)={\left(\sum _{n=1}^{\mathrm{\infty}}{|{x}_{n}-{y}_{n}|}^{p}\right)}^{1/p},$

*b*-metric space with coefficient $s={2}^{1/p}$.

- (2)Let $X:={L}_{p}[0,1]$ be the space of all real functions $x(t)$, $t\in [0,1]$ such that ${\int}_{0}^{1}{|x(t)|}^{p}\phantom{\rule{0.2em}{0ex}}dt<\mathrm{\infty}$. Define $d:X\times X\to {\mathbb{R}}^{+}$ as$d(x,y)={\left({\int}_{0}^{1}\right|x(t)-y(t){|}^{p}\phantom{\rule{0.2em}{0ex}}dt)}^{1/p}.$

Then $(X,d)$ is a *b*-metric space with coefficient $s={2}^{1/p}$

A sequence $\{{x}_{n}\}$ in a *b*-metric space *X* is convergent if and only if there exists $x\in X$ such that $d({x}_{n},x)\to 0$ as $n\to \mathrm{\infty}$ and we write ${lim}_{n\to \mathrm{\infty}}{x}_{n}=x$; it is Cauchy if and only if $d({x}_{n},{x}_{m})\to 0$ as $m,n\to \mathrm{\infty}$. A *b*-metric space $(X,d)$ is complete if every Cauchy sequence in *X* converges.

Let $(X,d)$ be a *b*-metric space; then a convergent sequence has a unique limit; every convergent sequence is Cauchy; and in general the *b*-metric *d* is not a continuous functional [13].

**Definition 1.3** Let $(X,d)$ be a *b*-metric space and *A* be a nonempty subset of *X* then closure $\overline{A}$ of *A* is the set consisting of all points of *A* and its limit points. Moreover, *A* is closed if and only if $A=\overline{A}$.

In the following the *b*-metric version of Cantor’s intersection theorem is given, which can easily be established running along the same lines as in the proof of its metric version.

**Theorem 1.4** [14]

*Let* $(X,d)$ *be a complete* *b*-*metric space*, *then every nested sequence of closed balls has a nonempty intersection*.

Let $f:D\subset X\to X$ and there exist some $x\in D$ such that the set $\mathcal{O}(x)=\{x,fx,{f}^{2}x,\dots \}\subset D$. The set $\mathcal{O}(x)$ is known as an orbit of $x\in D$. We recall that a function *G* from *D* into the set of real numbers is said to be *f*-orbitally lower semi-continuous at $t\in X$ if $\{{x}_{n}\}\subset \mathcal{O}(x)$ and ${x}_{n}\to t$ implies $G(t)\le liminfG({x}_{n})$ [15].

Throughout this paper let *J* always denote an interval in ${\mathbb{R}}^{+}$ containing 0 *i.e.*, an interval of the form $[0,R]$, $[0,R)$ or $[0,\mathrm{\infty})$ ($[0,0]=\{0\}$ is a trivial interval). Let ${P}_{n}(t)$ denote a polynomial of the form ${P}_{n}(t)=1+t+\cdots +{t}^{n-1}$ and ${P}_{0}(t)=0$. Let ${\phi}^{n}$ denote the *n* th iterate of a function $\phi :J\to J$.

**Definition 1.5** [1]

*r*on

*J*if it satisfies the following conditions:

- (i)
$\phi (\lambda t)\le {\lambda}^{r}\phi (t)$ for all $\lambda \in (0,1)$ and $t\in J$,

- (ii)
$\phi (t)<t$ for all $t\in J\setminus \{0\}$.

The condition (i) of Definition 1.5 elicits $\phi (0)=0$ and $\phi (t)/{t}^{r}$ is nondecreasing on $J\setminus \{0\}$. A gauge function $\phi :J\to J$ is said to be a Bianchini-Grandolfi gauge function if ${\sum}_{n=0}^{\mathrm{\infty}}{\phi}^{n}(t)<\mathrm{\infty}$ for all $t\in J$ [16].

*b*-metric space (unless specified otherwise) with a coefficient $s\ge 1$. We assume that $f:D\subset X\to X$ be an operator and there exist some ${x}_{0}\in D$ such that $\mathcal{O}({x}_{0})\subset D$. Let the operator

*f*satisfy the following iterated contractive condition:

*φ*is a gauge function of order $r\ge 1$ on an interval

*J*. We establish two convergence theorems for iterative processes of the type

where *f* satisfies (1.1).

## 2 *b*-Bianchini-Grandolfi gauge functions

*f*satisfying the contractive condition (3.5) when the underlying space is endowed with a metric (see Corollary 3.9). But in the setting of

*b*-metric space for some technical reasons we have to restrict ourselves to the gauge functions satisfying ${\sum}_{n=0}^{\mathrm{\infty}}{s}^{n}{\phi}^{n}(t)<\mathrm{\infty}$ for all $t\in J$ where

*s*is the coefficient of

*b*-metric space. Furthermore, taking into account such a crucial condition in order to calculate prior and posterior estimates we consider the gauge functions of the form

*b*-metric

*d*and

*ϕ*is nonnegative nondecreasing function on

*J*such that

**Remark 2.1**One can always define a nonnegative nondecreasing function

*ϕ*on

*J*satisfying (2.1) and (2.2) as follows:

where *s* is the coefficient of *b*-metric *d*.

*r*:

- (i)
$\phi (t)=\frac{ct}{s}$, $0<c<1$ is a gauge function of order 1 on $J=[0,\mathrm{\infty})$;

- (ii)
$\phi (t)=\frac{c{t}^{r}}{s}$ ($c>0$, $r>1$) is a gauge function of order

*r*on $J=[0,h)$ where $h={(\frac{1}{c})}^{\frac{1}{(r-1)}}$.

It is essential to mention here that to establish the fixed point theorem (see Theorem 3.7) we do not necessarily require the gauge functions *φ* satisfying (2.1), (2.2). But we consider the gauge function such that ${\sum}_{n=0}^{\mathrm{\infty}}{s}^{n}{\phi}^{n}(t)<\mathrm{\infty}$ for all $t\in J$ where *s* is a coefficient of *b*-metric space.

**Lemma 2.2**

*Let*

*φ*

*be a gauge function of order*$r\ge 1$

*on*

*J*.

*If*

*ϕ*

*is a nonnegative and nondecreasing function on*

*J*

*satisfying*(2.1)

*and*(2.2),

*then*:

- (1)
$0\le \frac{\varphi (t)}{s}<1$

*for all*$t\in J$, - (2)
$\varphi (\mu t)\le {\mu}^{r-1}\varphi (t)$

*for all*$\mu \in (0,1)$*and*$t\in J$.

**Remark 2.3** When *d* is a simple metric, then $s=1$. In such case every gauge function satisfying ${\sum}_{n=0}^{\mathrm{\infty}}{\phi}^{n}(t)<\mathrm{\infty}$ is of the form $\phi (t)=t\varphi (t)$ where *ϕ* is nonnegative nondecreasing function on *J* (see [1]). Thus in such case the condition $0\le \varphi (t)<1$ for all $t\in J$ becomes superfluous and directly follows from Lemma 2.2.

The following lemma is fundamental to our main results.

**Lemma 2.4**

*Let*

*φ*

*be a gauge function of order*$r\ge 1$

*on*

*J*.

*If*

*ϕ*

*is a nonnegative and nondecreasing function on*

*J*

*satisfying*(2.1)

*and*(2.2),

*then for every*$n\ge 0$

*we have*:

- (1)
${\phi}^{n}(t)\le t{[\frac{\varphi (t)}{s}]}^{{P}_{n}(r)}$

*for all*$t\in J$, - (2)
$\varphi ({\phi}^{n}(t))\le s{[\frac{\varphi (t)}{s}]}^{{r}^{n}}$

*for all*$t\in J$.

*Proof*(1) Set $\mu =\frac{\varphi (t)}{s}$ and let $t\in J$. Then from Lemma 2.2 we obtain $0\le \mu <1$. For $\mu =0$ the case is trivial. We shall prove (1) by using mathematical induction. For $n=0,1$ the property (1) is trivially satisfied as it reduces to an equality. Let it also hold for any integer $n\ge 1$,

*i.e.*,

*φ*is nondecreasing on

*J*, we obtain (as $t{\mu}^{{P}_{n}(r)}\in J$ because $t\in J$ and $\mu <1$)

*ϕ*, (1) leads to the following:

which completes the proof. □

**Definition 2.5**Let $q\ge 1$ be a fixed real number. A nondecreasing function $\phi :J\to J$ is said to be a

*b*-Bianchini-Grandolfi gauge function with a coefficient

*q*on

*J*if

*b*-Bianchini-Grandolfi gauge function also satisfies the following functional equation:

It is easy to see that every *b*-Bianchini-Grandolfi gauge function is also a Bianchini-Grandolfi [16] gauge function but the converse may not hold. A *b*-Bianchini-Grandolfi gauge function having coefficient ${q}_{1}\ge 1$ is also a *b*-Bianchini-Grandolfi gauge function having coefficient ${q}_{2}\ge 1$ for every ${q}_{2}\le {q}_{1}$.

From now on, we always assume that the coefficient of the *b*-Bianchini-Grandolfi gauge function is at least as large as the coefficient of the *b*-metric space.

**Lemma 2.6** *Every gauge function of order* $r\ge 1$ *defined by* (2.1) *and* (2.2) *is a* *b*-*Bianchini*-*Grandolfi gauge function with coefficient* $s\ge 1$.

*Proof* It is immediately follows from the first part of Lemma 2.4 and using the fact that ${P}_{n}(r)\ge n$ for $r\ge 1$ and $n\ge 0$. □

## 3 Fixed point theorems

**Lemma 3.1** *Suppose* ${x}_{0}\in X$ *is such that* $\mathcal{O}({x}_{0})\subset D$. *Assume that* $E({x}_{0})\in J$; *then* $E({x}_{n})\in J$ *for all* $n\ge 0$.

*Proof*Note that ${x}_{0},{x}_{1},{x}_{2},\dots ,{x}_{n}$ are well defined and belong to

*D*. From (3.1) we have

Hence, $E({x}_{1})\in J$. Similarly, iterating successively we get $E({x}_{n})\in J$ for all $n\ge 0$. □

**Definition 3.2** Suppose ${x}_{0}\in D$ is such that $\mathcal{O}({x}_{0})\subset D$ and $E({x}_{0})\in J$. Then for every iterate ${x}_{n}\in D$, $n\ge 0$ we define the closed ball $\overline{B}({x}_{n},{\rho}_{n})$ with center at ${x}_{n}$ and radius ${\rho}_{n}=s\sigma (E({x}_{n}))$, where $\sigma :J\to {\mathbb{R}}^{+}$ is defined by (2.4).

**Lemma 3.3** *Suppose* ${x}_{0}\in D$ *is such that* $\mathcal{O}({x}_{0})\subset D$ *and* $E({x}_{0})\in J$. *Assume that* $\overline{B}({x}_{n},{\rho}_{n})\subset D$ *for some* $n\ge 0$; *then* ${x}_{n+1}\in D$ *and* $\overline{B}({x}_{n+1},{\rho}_{n+1})\subset \overline{B}({x}_{n},{\rho}_{n})$.

*Proof*Since $E({x}_{0})\in J$, Lemma 3.1 implies $E({x}_{n})\in J$ for all $n\ge 0$. The condition (2.5) implies $\sigma (t)\ge t$ for all $t\in J$. We have

Hence, $x\in \overline{B}({x}_{n},{\rho}_{n})$. □

**Definition 3.4** (Initial orbital point)

We say that a point ${x}_{0}\in D$ is an initial orbital point of *f* if $E({x}_{0})\in J$ and $\mathcal{O}({x}_{0})\subset D$.

The following lemma is obvious.

**Lemma 3.5**

*For every initial orbital point*${x}_{0}\in D$

*of*

*f*

*and every*$n\ge 0$

*we have*

*Furthermore*,

*if*

*φ*

*is a gauge function of order*$r\ge 1$

*defined by*(2.1)

*and*(2.2),

*then*

*where* $\mu =\frac{\varphi (E({x}_{0}))}{s}$ *and* *ϕ* *is nonnegative nondecreasing on* *J* *satisfying* (2.1) *and* (2.2).

*Proof*By making use of Lemma 3.1 we obtain $E({x}_{n+1})\le \phi (E({x}_{n}))$. Since

*φ*is nondecreasing, it easily follows that $E({x}_{n})\le {\phi}^{n}(E({x}_{0}))$. Now from Lemma 2.4(1) we have

□

where $r\ge 1$, $\mu =\frac{\varphi (E({x}_{0}))}{s}$ and $j=0,1,2,\dots $ .

**Lemma 3.6**

*Suppose*${x}_{0}\in D$

*is an initial orbital point of*

*f*

*and*

*φ*

*is a gauge function of order*$r\ge 1$.

*Let*

*ϕ*

*be nonnegative and nondecreasing on*

*J*

*defined by*(2.1)

*and*(2.2).

*Then for radii*${\rho}_{n}=s\sigma (E({x}_{n}))$, $n=0,1,2,\dots $ ,

*the following estimates hold*:

- (1)
${\rho}_{n}\le sE({x}_{n}){\sum}_{j=0}^{\mathrm{\infty}}{[\varphi (E({x}_{n}))]}^{{P}_{j}(r)}\le \frac{sE({x}_{n})}{1-\varphi (E({x}_{n}))}$,

- (2)
${\rho}_{n}\le sE({x}_{n}){\sum}_{j=0}^{\mathrm{\infty}}{[\varphi (E({x}_{0})){\mu}^{{r}^{n}-1}]}^{{P}_{j}(r)}\le \frac{sE({x}_{n})}{1-\varphi (E({x}_{0})){\mu}^{{r}^{n}-1}}$,

- (3)
${\rho}_{n}\le sE({x}_{0}){\mu}^{{P}_{n}(r)}{\sum}_{j=0}^{\mathrm{\infty}}{[\varphi (E({x}_{0})){\mu}^{{r}^{n}-1}]}^{{P}_{j}(r)}\le sE({x}_{0})\frac{{\mu}^{{P}_{n}(r)}}{1-\varphi (E({x}_{0})){\mu}^{{r}^{n}-1}}$,

- (4)
${\rho}_{n+1}\le s\phi (E({x}_{n})){\sum}_{j=0}^{\mathrm{\infty}}{[\varphi (\phi (E({x}_{n})))]}^{{P}_{j}(r)}\le \frac{s\phi (E({x}_{n}))}{1-\varphi (\phi (E({x}_{n})))}$,

- (5)
${\rho}_{n+1}\le s\phi (E({x}_{n})){\sum}_{j=0}^{\mathrm{\infty}}{[\varphi (E({x}_{0})){\mu}^{{r}^{n+1}-1}]}^{{P}_{j}(r)}\le \frac{s\phi (E({x}_{n}))}{1-\varphi (E({x}_{0})){\mu}^{{r}^{n+1}-1}}$,

*where* $\mu =\frac{\varphi (E({x}_{0}))}{s}$.

- (1)
*Proof*From definition of ${\rho}_{n}$ we have$\begin{array}{rcl}{\rho}_{n}& =& s\sigma (E({x}_{n}))=s\sum _{j=0}^{\mathrm{\infty}}{s}^{j}{\phi}^{j}(E({x}_{n}))\\ \le & s\sum _{j=0}^{\mathrm{\infty}}{s}^{j}E({x}_{n}){\left[\frac{\varphi (E({x}_{n}))}{s}\right]}^{{P}_{j}(r)}\phantom{\rule{1em}{0ex}}\text{(using Lemma 2.4)}\\ =& sE({x}_{n})\sum _{j=0}^{\mathrm{\infty}}{s}^{j}{\left[\frac{\varphi (E({x}_{n}))}{s}\right]}^{{P}_{j}(r)}\\ \le & sE({x}_{n})\sum _{j=0}^{\mathrm{\infty}}{\left[\varphi (E({x}_{n}))\right]}^{j}=\frac{sE({x}_{n})}{1-\varphi (E({x}_{n}))}.\end{array}$(3.2) - (2)From (3.2) we have$\begin{array}{rcl}{\rho}_{n}& \le & sE({x}_{n})\sum _{j=0}^{\mathrm{\infty}}{\left[\varphi (E({x}_{n}))\right]}^{{P}_{j}(r)}\\ \le & sE({x}_{n})\sum _{j=0}^{\mathrm{\infty}}{\left[s{\mu}^{{r}^{n}}\right]}^{{P}_{j}(r)}\phantom{\rule{1em}{0ex}}\text{(using second part of Lemma 3.5)}\\ =& sE({x}_{n})\sum _{j=0}^{\mathrm{\infty}}{\left[\varphi (E({x}_{0})){\mu}^{{r}^{n}-1}\right]}^{{P}_{j}(r)}\\ \le & sE({x}_{n})\sum _{j=0}^{\mathrm{\infty}}{\left[\varphi (E({x}_{0})){\mu}^{{r}^{n}-1}\right]}^{j}\\ =& \frac{sE({x}_{n})}{1-\varphi (E({x}_{0})){\mu}^{{r}^{n}-1}}.\end{array}$
- (3)By making use of first part of Lemma 3.5 above we have$\begin{array}{rcl}{\rho}_{n}& \le & sE({x}_{n})\sum _{j=0}^{\mathrm{\infty}}{\left[\varphi (E({x}_{0})){\mu}^{{r}^{n}-1}\right]}^{{P}_{j}(r)}\\ \le & sE({x}_{0}){\mu}^{{P}_{n}(r)}\sum _{j=0}^{\mathrm{\infty}}{\left[\varphi (E({x}_{0})){\mu}^{{r}^{n}-1}\right]}^{j}\\ \le & \frac{sE({x}_{0}){\mu}^{{P}_{n}(r)}}{1-\varphi (E({x}_{0})){\mu}^{{r}^{n}-1}}.\end{array}$
- (4)Now by making use of Lemma 2.4 we have$\begin{array}{rcl}{\rho}_{n+1}& =& s\sigma (E({x}_{n+1}))=\sum _{j=0}^{\mathrm{\infty}}{s}^{j}\phi (E({x}_{n+1}))\\ \le & sE({x}_{n+1})\sum _{j=0}^{\mathrm{\infty}}{s}^{j}{\left[\frac{\varphi (E({x}_{n+1}))}{s}\right]}^{{P}_{j}(r)}\\ \le & s\phi (E({x}_{n}))\sum _{j=0}^{\mathrm{\infty}}{\left[\varphi \left(\phi (E({x}_{n}))\right)\right]}^{{P}_{j}(r)}\\ (\text{as}E({x}_{n+1})\le \phi (E({x}_{n}))\text{and}\varphi \text{is nondecreasing})\\ \le & s\phi (E({x}_{n}))\sum _{j=0}^{\mathrm{\infty}}{\left[\varphi \left(\phi (E({x}_{n}))\right)\right]}^{j}\\ =& \frac{s\phi (E({x}_{n}))}{1-\varphi (\phi (E({x}_{n})))}.\end{array}$
- (5)From (4) we have$\begin{array}{rcl}{\rho}_{n+1}& \le & s\phi (E({x}_{n}))\sum _{j=0}^{\mathrm{\infty}}{\left[\varphi (E({x}_{n+1}))\right]}^{{P}_{j}(r)}\\ \le & s\phi (E({x}_{n}))\sum _{j=0}^{\mathrm{\infty}}{\left[\varphi (E({x}_{0})){\mu}^{{r}^{n+1}-1}\right]}^{{P}_{j}(r)}\phantom{\rule{1em}{0ex}}\text{(using Lemma 3.5)}\\ \le & \frac{s\phi (E({x}_{n}))}{1-\varphi (E({x}_{0})){\mu}^{{r}^{n+1}-1}}.\end{array}$

□

Now we proceed to formulate the following fixed point theorems.

**Theorem 3.7**

*Let*$f:D\subset X\to X$

*be an operator on a complete*

*b*-

*metric space*$(X,d)$

*such that the*

*b*-

*metric is continuous and*

*f*

*satisfies*(1.1)

*with a*

*b*-

*Bianchini*-

*Grandolfi gauge function*

*φ*

*of order*$r\ge 1$

*on an interval*

*J*

*with coefficient*$s\ge 1$.

*Then starting from an initial orbital point*${x}_{0}$

*of*

*f*

*the iterative sequence*(1.2)

*remains in*$\overline{B}({x}_{0},{\rho}_{0})$

*and converges to a point*

*ξ*

*which belongs to each of the closed balls*$\overline{B}({x}_{n},{\rho}_{n})$, $n=0,1,2,\dots $ ,

*where*${\rho}_{n}=s\sigma (d({x}_{n},{x}_{n+1}))$,

*σ*

*defined in*(2.5)

*and*$s\ge 1$

*is a coefficient of*

*b*-

*metric space*.

*Furthermore*,

*for each*$n\ge 1$

*we have*

*If* $\xi \in D$ *and the function* $E(x)=d(x,fx)$ *on* *D* *is* *f*-*orbitally lower semi*-*continuous at* *ξ*, *then* *ξ* *is a fixed point of* *f*.

*Proof*Since ${x}_{0}\in D$ is an initial orbital point of

*f*, from Lemma 3.3 we have

*ρ*and using Lemma 3.5 we have

*φ*is a

*b*-Bianchini-Grandolfi gauge function, from (3.3) we obtain

*b*-metric spaces), we deduce that there exists a unique point

*ξ*such that $\xi \in \overline{B}({x}_{n},{\rho}_{n})$ for all $n\ge 0$ and ${x}_{n}\to \xi $ or equivalently, ${lim}_{n\to \mathrm{\infty}}d({x}_{n},\xi )=0$. From (d3) of Definition 1.1 we have

*b*-metric is continuous, we obtain

*f*-lower semi-continuous at

*ξ*, then

□

**Remark 3.8** Theorem 3.7 gives a generalization of [[1], Theorem 4.1] and extends it to the case of *b*-metric spaces. It reduces to [[1], Theorem 4.1] when $s=1$. Hence Theorem 3.7 not only extends the result of Proinov [1] but in turn it also includes results of Bianchini and Grandolfi [16] and Hicks [17] as special cases.

**Corollary 3.9** [[1], Theorem 4.1]

*Let*$(X,d)$

*be a complete metric space and*$f:D\subset X\to X$

*be an operator satisfying*

*where* *φ* *is a Bianchini*-*Grandolfi gauge function on an interval* *J*. *Then starting from an initial orbital point* ${x}_{0}$ *of* *f* *the iterative sequence* $\{{x}_{n}\}$ *remains in* $\overline{B}({x}_{0},{\rho}_{0})$ *and converges to a point* *ξ* *which belongs to each of the closed balls* $\overline{B}({x}_{n},{\rho}_{n})$, $n=0,1,\dots $ *where* ${\rho}_{n}=\sigma (d({x}_{n},f{x}_{n}))$ *and* $\sigma (t)={\sum}_{n=0}^{\mathrm{\infty}}{\phi}^{n}(t)$. *Moreover*, *if* $\xi \in D$ *and* *f* *is continuous at* *ξ*, *then* *ξ* *is a fixed point of* *f*.

*Proof*It follows from Lemma 3.1 that $E({x}_{n})\in J$ for $n=0,1,2,\dots $ . Thus from (3.5) we have

*f*is continuous at point

*t*, we have $f{x}_{n}\to f\xi $. Thus

This implies *f*-orbital lower semi-continuity of $E(x)=d(x,fx)$ at point *ξ*. Hence the conclusion follows from Theorem 3.7. □

**Theorem 3.10**

*Let*$f:D\subset X\to X$

*be an operator on a complete*

*b*-

*metric space*$(X,d)$

*such that the*

*b*-

*metric is continuous and let*

*f*

*satisfy*(1.1)

*with a*

*b*-

*Bianchini*-

*Grandolfi gauge function*

*φ*

*of order*$r\ge 1$

*and a coefficient*

*s*

*on an interval*

*J*.

*Further*,

*suppose that*${x}_{0}\in D$

*is an initial orbital point of*

*f*,

*then the following statements hold true*.

- (1)
*The iterative sequence*(1.2)*remains in*$\overline{B}({x}_{0},{\rho}_{0})$*and converges with rate of convergence at least*$r\ge 1$*to a point**ξ**which belongs to each of the closed balls*$\overline{B}({x}_{n},{\rho}_{n})$, $n=0,1,\dots $ ,*and*${\rho}_{n}=sd({x}_{n},{x}_{n+1})\sum _{j=0}^{\mathrm{\infty}}\left[\varphi (d({x}_{n},{x}_{n+1}))\right]\le \frac{sd({x}_{n},{x}_{n+1})}{1-\varphi (d({x}_{n},{x}_{n+1}))},$(3.7)

*where*

*ϕ*

*is nonnegative and nondecreasing function on*

*J*

*satisfying*(2.1)

*and*(2.2).

- (2)
*For all*$n\ge 0$*the following prior estimate holds*:$d({x}_{n},\xi )\le \frac{E({x}_{0})}{{s}^{n-1}}\sum _{j=n}^{\mathrm{\infty}}\varphi {(E({x}_{0}))}^{{P}_{j}(r)}=d({x}_{0},f{x}_{0})\frac{\varphi {(E({x}_{0}))}^{{P}_{n}(r)}}{{s}^{n-1}[1-\varphi {(E({x}_{0}))}^{{r}^{n}}]}.$(3.8) - (3)
*For all*$n\ge 1$*the following posterior estimate holds*:$\begin{array}{rcl}d({x}_{n},\xi )& \le & s\phi (d({x}_{n},{x}_{n-1}))\sum _{j=0}^{\mathrm{\infty}}{\left[\varphi \left(\phi (d({x}_{n},{x}_{n-1}))\right)\right]}^{{P}_{j}(r)}\\ \le & \frac{s\phi (d({x}_{n},{x}_{n-1}))}{1-\varphi [\phi (d({x}_{n},{x}_{n-1}))]}\le \frac{s\phi (d({x}_{n},{x}_{n-1}))}{1-\varphi (d({x}_{n},{x}_{n-1})){[\frac{\varphi (d({x}_{n},{x}_{n-1}))}{s}]}^{r-1}}.\end{array}$(3.9) - (4)
*We have*$d({x}_{n+1},{x}_{n})\le \phi (d({x}_{n},{x}_{n-1}))\le {\mu}^{{P}_{n}(r)}d({x}_{0},f{x}_{0})$(3.10)

*for all*$n\ge 1$.

- (5)
*If*$\xi \in D$*and the function*$G(x)=d(x,fx)$*on**D**is**f*-*orbitally lower semi*-*continuous at**ξ*,*then**ξ**is a fixed point of**f*.

*Proof*(1) From Theorem 3.7 it follows that the iterative sequence (1.2) converges to $t\in X$ and further $t\in \overline{B}({x}_{n},{\rho}_{n})$ for all $n=0,1,2,\dots $ . Moreover, estimate (1) of Lemma 3.6 implies

- (2)For $m>n$,$\begin{array}{rcl}d({x}_{n},{x}_{m})& \le & sd({x}_{n},{x}_{n+1})+{s}^{2}d({x}_{n+1},{x}_{n+2})+\cdots +{s}^{m-n-1}d({x}_{m-2},{x}_{m-1})+{s}^{m-n}d({x}_{m-1},{x}_{m})\\ =& \frac{1}{{s}^{n-1}}\sum _{j=n}^{m-1}{s}^{j}E({x}_{j})\\ \le & \frac{1}{{s}^{n-1}}\sum _{j=n}^{m-1}{s}^{j}{\phi}^{j}(E({x}_{0}))\phantom{\rule{1em}{0ex}}(\text{from Lemma 3.5},E({x}_{n})\le {\phi}^{n}(E({x}_{0})))\\ \le & \frac{1}{{s}^{n-1}}\sum _{j=n}^{m-1}{s}^{j}E({x}_{0}){\left[\frac{\varphi (E({x}_{0}))}{s}\right]}^{{P}_{j}(r)}\phantom{\rule{1em}{0ex}}\text{(using Lemma 2.4)}\\ \le & \frac{E({x}_{0})}{{s}^{n-1}}\sum _{j=n}^{m-1}{\lambda}^{{P}_{j}(r)},\end{array}$

*n*fixed and letting $m\to \mathrm{\infty}$ we get

- (3)From (3.11) we have for $n\ge 0$,$d({x}_{n},\xi )\le \frac{d({x}_{0},{x}_{1})}{{s}^{n-1}}\sum _{j=n}^{\mathrm{\infty}}{\left[\varphi (d({x}_{0},{x}_{1}))\right]}^{{P}_{j}(r)}.$

- (4)We have$\begin{array}{rcl}d({x}_{n+1},{x}_{n})& =& E({x}_{n})\le \phi (E({x}_{n-1}))\\ =& E({x}_{n-1})\frac{\varphi (E({x}_{n-1}))}{s}\\ \le & E({x}_{0}){\mu}^{{P}_{n-1}(r)}{\mu}^{{r}^{n-1}}\phantom{\rule{1em}{0ex}}(\text{using Lemma 2.2})\\ =& E({x}_{0}){\mu}^{{P}_{n-1}(r)+{r}^{n-1}}\\ =& E({x}_{0}){\mu}^{{P}_{n}(r)}={\mu}^{{P}_{n}(r)}d({x}_{0},f{x}_{0}).\end{array}$
- (5)
Its proof runs along the same lines as the proof of Theorem 3.7. □

**Remark 3.11** For $s=1$, Theorem 3.10 reduces to [[1], Theorem 4.2]. It also generalizes (taking $s=1$ and $\phi (t)=\lambda t$, $0<\lambda <1$) results of Ortega and Rheinboldt [[18], Section 12.3.2], Kornstaedt [[19], Satz 4.1], Hicks and Rhoades [15], and Park [[20], Theorem 2]. The first two conclusions of Theorem 3.10 are due to Gel’man [[4], Theorem 3] (taking $s=1$ and $\phi (t)=c{t}^{r}$, $c\ge 0$, $r\ge 1$). It also yields some results of Hicks [[17], Theorem 3].

**Corollary 3.12**

*Let*$f:X\to X$

*be an operator on a complete*

*b*-

*metric space*$(X,d)$

*such that the*

*b*-

*metric is continuous*.

*Further*,

*assume that*

*f*

*satisfies*

*where*

*φ*

*is a*

*b*-

*Bianchini*-

*Grandolfi gauge function of order*$r\ge 1$

*on an interval*

*J*

*and with coefficient*$s\ge 1$.

*Assume that*${x}_{0}\in X$

*is such that*$d({x}_{0},f{x}_{0})\in J$.

*Then the following statements hold*.

- (i)
*The iterative sequence*(1.2)*converges to a fixed point**ξ**of**f*. - (ii)
*The operator**f**has a unique fixed point in*$S=\{x\in X:d(x,\xi )\in J\}$. - (iii)
*The estimates*(3.7)-(3.10)*are valid*.

*Proof*From (3.16) we have

which gives the continuity of *f* in *b*-metric space $(X,d)$. Thus conclusions (i) and (iii) follow immediately from Theorem 3.10. Let ${\xi}^{\prime}$ be another fixed point of *f* in *S*; then $d(\xi ,{\xi}^{\prime})\in J$. It follows from (3.16) that $d(\xi ,{\xi}^{\prime})\le \phi (d(\xi ,{\xi}^{\prime}))$, which yields ${\xi}^{\prime}=\xi $. □

**Remark 3.13** For $s=1$ when the *b*-metric space under consideration is a simple metric space, the above corollary coincides with [[1], Corollary 4.4]. Thus the conclusions of Corollary 3.12 are consequences of the results of Matkowski [21].

## 4 Application and illustrative example

The following example illuminates the degree of generality of our result.

**Example 4.1**Let $X:=\{{x}_{1},{x}_{2},{x}_{3}\}$. Define a function $d:X\times X\to {\mathbb{R}}^{+}$ as

*d*is a

*b*-metric with coefficient $s\ge \frac{{k}^{2}}{{k}^{2}-1}>1$. Define $f:X\to X$ as

Setting $\phi (t)={t}^{2}$ on $J=[0,\frac{1}{k-1}]$ then *φ* is a *b*-Bianchini-Grandolfi gauge function with coefficient $\frac{{k}^{2}}{({k}^{2}-1)}$ having order 2. Moreover, it is easily seen that all conditions of Theorem 3.7 are satisfied.

*φ*defined on some interval $[0,h)$ one can find $\frac{1}{{n}_{0}}\in [0,h)$ for some ${n}_{0}\in \mathbb{N}$. In such a case, identifying ${x}_{1}=\frac{1}{{n}_{0}}$, ${x}_{2}=\frac{2}{{n}_{0}}$, ${x}_{3}=\frac{3}{{n}_{0}}$, we assume

*f*as defined above; then w.r.t. Euclidean metric ${d}_{e}$ we have

which contradicts the definition of *φ*. Hence, one cannot invoke the main results of Proinov [[1], Theorems 4.1, 4.2, Corollary 4.4].

**Theorem 4.2**

*Consider the following initial value problem*:

*Assume that the following conditions hold*:

- (i)
*f**is continuous*; - (ii)
*f**satisfies the condition*$|f(t,x)-f(t,y)|\le k|x(t)-y(t){|}^{r}\phantom{\rule{1em}{0ex}}\mathit{\text{for}}(t,x),(t,y)\in R;$(4.2) - (iii)
*f**is bounded on**R*,*i*.*e*.,$|f(t,x)|\le \frac{{k}^{r}}{2},$(4.3)

*where* $R=\{(t,x):|t-{t}_{0}|\le {(\frac{1}{k})}^{r-1},|x-{x}_{0}|\le \frac{k}{2}\}$, $r\ge 2$ *and* $0<k<1$.

*Then the initial value problem* (4.1) *has a unique solution on the interval* $I=[{t}_{0}-{(\frac{1}{k})}^{r-1},{t}_{0}+{(\frac{1}{k})}^{r-1}]$.

*Proof*Let $C(I)$ be the space of all continuous real valued functions on

*I*where $I=[{t}_{0}-{(\frac{1}{k})}^{r-1},{t}_{0}+{(\frac{1}{k})}^{r-1}]$ with the usual supremum metric,

*i.e.*,

*X*is a closed subspace of $C(I)$. We see that if $\tau \in I$, then $|\tau -{t}_{0}|\le {(\frac{1}{k})}^{r-1}$ and $x\in X$ gives $|x(\tau )-{x}_{0}|\le \frac{k}{2}$. Thus $(\tau ,x(\tau ))\in R$, and since

*f*is continuous on

*R*, the integral in (4.5) exists and

*T*is defined for each $x\in X$. To see this, observe that

*T*maps

*X*to itself. We use (4.5) to write

*φ*is a gauge function of order $r\ge 2$. Also, for $u\in J-\{0\}$ we have

Thus from (4.7) we obtain $d(Tx,Ty)\le \phi (d(x,y))$ for all $x,y\in X$ and $d(x,y)\in J$. Further, for any $x\in X$ it is easily seen that $d(x,{x}_{0})\le \frac{k}{2}$, which yields $d(x,y)\le k$ for $x,y\in X$. Therefore, all the conditions of Corollary 3.12 are satisfied. Hence the iterative sequence ${x}_{n}=T{x}_{n-1}$; $n=1,2,\dots $ converges to the unique fixed point *t* of *T* at a rate of convergence $r\ge 2$. On the other hand, Picard’s iterations converge to the solution linearly. □

## 5 Conclusion

In Section 3 we have established two convergence theorems in the setting of a *b*-metric such that the self-mapping satisfies a contraction condition involving a gauge function of order $r\ge 1$. The gauge function *φ* has to satisfy the condition ${\sum}_{n=0}^{\mathrm{\infty}}{s}^{n}{\phi}^{n}(t)<\mathrm{\infty}$ where $s\ge 1$ is the coefficient of the underlying *b*-metric space. An example has been furnished to assess the degree of generality of our results. In Section 4 we established an existence theorem for the solution of an initial value problem, which not only gives the unique solution but also locates the domain for the solution.

## Declarations

## Authors’ Affiliations

## References

- Proinov PD:
**A generalization of the Banach contraction principle with high order of convergence of successive approximations.***Nonlinear Anal.*2007,**67:**2361–2369. 10.1016/j.na.2006.09.008MathSciNetView ArticleMATHGoogle Scholar - Mysovskih IP:
**On the convergence of L.V. Kantorovic’s method of solution of functional equations and its applications.***Dokl. Akad. Nauk SSSR*1950,**70:**565–568. (in Russian)MathSciNetGoogle Scholar - Rheinboldt WC:
**A unified convergence theory for a class of iterative processes.***SIAM J. Numer. Anal.*1968,**5:**42–63. 10.1137/0705003MathSciNetView ArticleMATHGoogle Scholar - Gel’man A:
**A certain fixed-point principle.***Dokl. Akad. Nauk SSSR*1950,**198:**506–508. (in Russian); Sov. Math., Dokl. 12, 813–816 (1971) (Engl. transl.)MathSciNetGoogle Scholar - Huang ZD:
**On Newton’s method under Holder continuous derivative.***J. Math. Anal. Appl.*2002,**270:**332–339. 10.1016/S0022-247X(02)00060-4MathSciNetView ArticleMATHGoogle Scholar - Kiran Q, Kamran T:
**Nadler’s type principle with higher order of convergence.***Nonlinear Anal.*2008,**69:**4106–4120. 10.1016/j.na.2007.10.041MathSciNetView ArticleMATHGoogle Scholar - Bakhtin IA:
**The contraction mapping principle in almost metric spaces. 30.**In*Functional Analysis*. Ul’yanovsk Gos. Ped. Inst., Ul’yanovsk; 1989:26–37.Google Scholar - Heinonen J:
*Lectures on Analysis on Metric Spaces*. Springer, Berlin; 2001.View ArticleMATHGoogle Scholar - Bourbaki N:
*Topologie générale*. Hermann, Paris; 1974.MATHGoogle Scholar - Boriceanu M, Bota M, Petruşel A:
**Multivalued fractals in**b**-metric spaces.***Cent. Eur. J. Math.*2010,**8**(2):367–377. 10.2478/s11533-010-0009-4MathSciNetView ArticleMATHGoogle Scholar - Czerwik S:
**Nonlinear set-valued contraction mappings in**b**-metric spaces.***Atti Semin. Mat. Fis. Univ. Modena*1998,**46:**263–276.MathSciNetMATHGoogle Scholar - Berinde V:
**Generalized contractions in quasimetric spaces.***Seminar on Fixed Point Theory*1993, 3–9.Google Scholar - Czerwik S:
*Functional Equations and Inequalities in Several Variables*. World Scientific, Singapore; 2002.View ArticleMATHGoogle Scholar - Bota M, Molnar A, Varga C:
**On Ekeland’s variational principle in**b**-metric spaces.***Fixed Point Theory*2011,**12**(1):21–28.MathSciNetMATHGoogle Scholar - Hicks TL, Rhoades BE:
**A Banach type fixed point theorem.***Math. Jpn.*1979,**24:**327–330.MathSciNetMATHGoogle Scholar - Bianchini RM, Grandolfi M:
**Trasformazioni di tipo contrattivo generalizzato in uno spazio metrico.***Atti Accad. Naz. Lincei, Rend. Cl. Sci. Fis. Mat. Nat.*1968,**45:**212–216.MathSciNetMATHGoogle Scholar - Hicks TL:
**Another view of fixed point theory.***Math. Jpn.*1990,**35:**231–234.MathSciNetMATHGoogle Scholar - Ortega JM, Rheinboldt WC:
*Iterative Solutions of Nonlinear Equations in Several Variables*. Academic Press, New York; 1970.Google Scholar - Kornstaedt HJ:
**Funktionalungleichungen und iterationsverfahren.***Aequ. Math.*1975,**13:**21–45. 10.1007/BF01834116MathSciNetView ArticleMATHGoogle Scholar - Park S:
**A unified approach to fixed points of contractive maps.***J. Korean Math. Soc.*1980,**16:**95–105.MATHGoogle Scholar - Matkowski J:
**Integrable solutions of functional equations.***Diss. Math.*1975,**127:**1–68.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/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.