 Research
 Open access
 Published:
Fixed point theorems for φcontractions
Journal of Inequalities and Applications volume 2014, Article number: 266 (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 bmetric. 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.
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 integrodifferential 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 selfmappings or nonselfmappings 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 bmetric space is one of them. The notion of a bmetric 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 bmetric 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 bmetric 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 bmetric 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 bmetric 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 bmetric space with the coefficient s.
The following example shows that the class of bmetric spaces is essentially larger than the class of metric spaces.

(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},
where x=\{{x}_{n}\}, y=\{{y}_{n}\}. Then (X,d) is a bmetric 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}\rightx(t)y(t){}^{p}\phantom{\rule{0.2em}{0ex}}dt)}^{1/p}.
Then (X,d) is a bmetric space with coefficient s={2}^{1/p}
A sequence \{{x}_{n}\} in a bmetric 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 bmetric space (X,d) is complete if every Cauchy sequence in X converges.
Let (X,d) be a bmetric space; then a convergent sequence has a unique limit; every convergent sequence is Cauchy; and in general the bmetric d is not a continuous functional [13].
Definition 1.3 Let (X,d) be a bmetric 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 bmetric 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 bmetric 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 forbitally lower semicontinuous 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}^{n1} and {P}_{0}(t)=0. Let {\phi}^{n} denote the n th iterate of a function \phi :J\to J.
Definition 1.5 [1]
Let r\ge 1; a function \phi :J\to J is said to be a gauge function of order 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 BianchiniGrandolfi gauge function if {\sum}_{n=0}^{\mathrm{\infty}}{\phi}^{n}(t)<\mathrm{\infty} for all t\in J [16].
Subsequently, in this paper let (X,d) be a bmetric 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:
where φ 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 bBianchiniGrandolfi gauge functions
In [1] Proinov proved his main results by assuming BianchiniGrandolfi gauge functions and the mapping 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 bmetric 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 bmetric 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
where s\ge 1 is the coefficient of bmetric 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 bmetric d.
For a fixed s\ge 1, let us consider the following simple examples of gauge functions of order 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}{(r1)}}.
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 bmetric 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}^{r1}\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.,
Since φ is nondecreasing on J, we obtain (as t{\mu}^{{P}_{n}(r)}\in J because t\in J and \mu <1)
(2) By making use of Lemma 2.2 and monotonicity of ϕ, (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 bBianchiniGrandolfi gauge function with a coefficient q on J if
We note that a bBianchiniGrandolfi gauge function also satisfies the following functional equation:
It is easy to see that every bBianchiniGrandolfi gauge function is also a BianchiniGrandolfi [16] gauge function but the converse may not hold. A bBianchiniGrandolfi gauge function having coefficient {q}_{1}\ge 1 is also a bBianchiniGrandolfi 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 bBianchiniGrandolfi gauge function is at least as large as the coefficient of the bmetric space.
Lemma 2.6 Every gauge function of order r\ge 1 defined by (2.1) and (2.2) is a bBianchiniGrandolfi 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
For convenience we define a function E:D\to {\mathbb{R}}^{+} by E(x)=d(x,fx) and assume that there exist some {x}_{0}\in D such that \mathcal{O}({x}_{0})\subset D, so that the condition (1.1) can be put in the form
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
Thus {x}_{n+1}\in \overline{B}({x}_{n},{\rho}_{n})\subset D. Now let x\in \overline{B}({x}_{n+1},{\rho}_{n+1}). As E({x}_{n})\in J so that from (3.1) we have E({x}_{n+1})\le \phi (E({x}_{n})). By making use of (2.5) we get
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
By using Lemma 2.4(2) we obtain
□
The following lemma gives bounds for inclusion radii and throughout its proof we will make use of the following facts:
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 bmetric space (X,d) such that the bmetric is continuous and f satisfies (1.1) with a bBianchiniGrandolfi 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 bmetric space. Furthermore, for each n\ge 1 we have
If \xi \in D and the function E(x)=d(x,fx) on D is forbitally lower semicontinuous 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
Thus {x}_{n}\in \overline{B}({x}_{0},{\rho}_{0}) for all n\ge 0. According to the definition of ρ and using Lemma 3.5 we have
Since φ is a bBianchiniGrandolfi gauge function, from (3.3) we obtain
which implies that \{\overline{B}({x}_{n},{\rho}_{n})\} is a nested sequence of closed balls. By Cantor’s theorem (for complete bmetric 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
Letting n\to \mathrm{\infty} and since the bmetric is continuous, we obtain
If \xi \in D and E(x)=d(x,fx) is flower semicontinuous at ξ, then
which infers \xi =f\xi. Furthermore, from Lemma 3.5 we obtain the following:
□
Remark 3.8 Theorem 3.7 gives a generalization of [[1], Theorem 4.1] and extends it to the case of bmetric 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 BianchiniGrandolfi 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
Thus Theorem 3.7 yields {x}_{n}\to \xi \in X. Also since the iterative sequence \{{x}_{n}\}\in \mathcal{O}({x}_{0}) and the mapping f is continuous at point t, we have f{x}_{n}\to f\xi. Thus
This implies forbital lower semicontinuity 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 bmetric space (X,d) such that the bmetric is continuous and let f satisfy (1.1) with a bBianchiniGrandolfi 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}^{n1}}\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}^{n1}[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}_{n1}))\sum _{j=0}^{\mathrm{\infty}}{\left[\varphi \left(\phi (d({x}_{n},{x}_{n1}))\right)\right]}^{{P}_{j}(r)}\\ \le & \frac{s\phi (d({x}_{n},{x}_{n1}))}{1\varphi [\phi (d({x}_{n},{x}_{n1}))]}\le \frac{s\phi (d({x}_{n},{x}_{n1}))}{1\varphi (d({x}_{n},{x}_{n1})){[\frac{\varphi (d({x}_{n},{x}_{n1}))}{s}]}^{r1}}.\end{array}(3.9) 
(4)
We have
d({x}_{n+1},{x}_{n})\le \phi (d({x}_{n},{x}_{n1}))\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 forbitally lower semicontinuous 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}^{mn1}d({x}_{m2},{x}_{m1})+{s}^{mn}d({x}_{m1},{x}_{m})\\ =& \frac{1}{{s}^{n1}}\sum _{j=n}^{m1}{s}^{j}E({x}_{j})\\ \le & \frac{1}{{s}^{n1}}\sum _{j=n}^{m1}{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}^{n1}}\sum _{j=n}^{m1}{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}^{n1}}\sum _{j=n}^{m1}{\lambda}^{{P}_{j}(r)},\end{array}
where \lambda =\varphi (E({x}_{0})). Keeping n fixed and letting m\to \mathrm{\infty} we get
Since
we have
Thus it implies
Hence from (3.11) we obtain

(3)
From (3.11) we have for n\ge 0,
d({x}_{n},\xi )\le \frac{d({x}_{0},{x}_{1})}{{s}^{n1}}\sum _{j=n}^{\mathrm{\infty}}{\left[\varphi (d({x}_{0},{x}_{1}))\right]}^{{P}_{j}(r)}.
Setting n=0, {y}_{0}={x}_{0}, and {y}_{1}={x}_{1} we have
Setting again {y}_{0}={x}_{n} and {y}_{1}={x}_{n+1} gives
From Lemma 2.4(2) we obtain
which implies
Thus from (3.13) and (3.15) we deduce for n\ge 1,

(4)
We have
\begin{array}{rcl}d({x}_{n+1},{x}_{n})& =& E({x}_{n})\le \phi (E({x}_{n1}))\\ =& E({x}_{n1})\frac{\varphi (E({x}_{n1}))}{s}\\ \le & E({x}_{0}){\mu}^{{P}_{n1}(r)}{\mu}^{{r}^{n1}}\phantom{\rule{1em}{0ex}}(\text{using Lemma 2.2})\\ =& E({x}_{0}){\mu}^{{P}_{n1}(r)+{r}^{n1}}\\ =& 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 bmetric space (X,d) such that the bmetric is continuous. Further, assume that f satisfies
where φ is a bBianchiniGrandolfi 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 bmetric 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 bmetric 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
where k\ge 3 is any positive integers. It is an easy exercise to see that d is a bmetric 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}{k1}] then φ is a bBianchiniGrandolfi 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.
On the other hand, assume that {x}_{1}, {x}_{2}, {x}_{3} are real numbers and the set \{{x}_{1},{x}_{2},{x}_{3}\} is endowed with the Euclidean metric {d}_{e}. For each gauge function φ 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 kx(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})}^{r1},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})}^{r1},{t}_{0}+{(\frac{1}{k})}^{r1}].
Proof Let C(I) be the space of all continuous real valued functions on I where I=[{t}_{0}{(\frac{1}{k})}^{r1},{t}_{0}+{(\frac{1}{k})}^{r1}] with the usual supremum metric, i.e.,
Integrating (4.1) gives
Indeed finding the solution of initial value problem (4.1) is equivalent to finding the fixed point of the selfmapping T:X\to X defined by
where X=\{x\in C(I):x(t){x}_{0}\le \frac{k}{2};k>0\}; then X is a closed subspace of C(I). We see that if \tau \in I, then \tau {t}_{0}\le {(\frac{1}{k})}^{r1} 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
Now by using (4.2) we have
Thus (4.6) implies
We take J=[0,k]. Thus it suffices to take \phi (u)={(\frac{1}{k})}^{r2}{u}^{r} for u\in [0,k], k<1; then φ 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}_{n1}; 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 bmetric such that the selfmapping 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 bmetric 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.
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.008
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)
Rheinboldt WC: A unified convergence theory for a class of iterative processes. SIAM J. Numer. Anal. 1968, 5: 42–63. 10.1137/0705003
Gel’man A: A certain fixedpoint principle. Dokl. Akad. Nauk SSSR 1950, 198: 506–508. (in Russian); Sov. Math., Dokl. 12, 813–816 (1971) (Engl. transl.)
Huang ZD: On Newton’s method under Holder continuous derivative. J. Math. Anal. Appl. 2002, 270: 332–339. 10.1016/S0022247X(02)000604
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.041
Bakhtin IA: The contraction mapping principle in almost metric spaces. 30. In Functional Analysis. Ul’yanovsk Gos. Ped. Inst., Ul’yanovsk; 1989:26–37.
Heinonen J: Lectures on Analysis on Metric Spaces. Springer, Berlin; 2001.
Bourbaki N: Topologie générale. Hermann, Paris; 1974.
Boriceanu M, Bota M, Petruşel A: Multivalued fractals in b metric spaces. Cent. Eur. J. Math. 2010,8(2):367–377. 10.2478/s1153301000094
Czerwik S: Nonlinear setvalued contraction mappings in b metric spaces. Atti Semin. Mat. Fis. Univ. Modena 1998, 46: 263–276.
Berinde V: Generalized contractions in quasimetric spaces. Seminar on Fixed Point Theory 1993, 3–9.
Czerwik S: Functional Equations and Inequalities in Several Variables. World Scientific, Singapore; 2002.
Bota M, Molnar A, Varga C: On Ekeland’s variational principle in b metric spaces. Fixed Point Theory 2011,12(1):21–28.
Hicks TL, Rhoades BE: A Banach type fixed point theorem. Math. Jpn. 1979, 24: 327–330.
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.
Hicks TL: Another view of fixed point theory. Math. Jpn. 1990, 35: 231–234.
Ortega JM, Rheinboldt WC: Iterative Solutions of Nonlinear Equations in Several Variables. Academic Press, New York; 1970.
Kornstaedt HJ: Funktionalungleichungen und iterationsverfahren. Aequ. Math. 1975, 13: 21–45. 10.1007/BF01834116
Park S: A unified approach to fixed points of contractive maps. J. Korean Math. Soc. 1980, 16: 95–105.
Matkowski J: Integrable solutions of functional equations. Diss. Math. 1975, 127: 1–68.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as 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.
About this article
Cite this article
Samreen, M., Kiran, Q. & Kamran, T. Fixed point theorems for φcontractions. J Inequal Appl 2014, 266 (2014). https://doi.org/10.1186/1029242X2014266
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029242X2014266