1. Introduction
The study of metric fixed-point theory has been researched extensively in the past decades, since fixed point theory plays a vital role in mathematics and applied sciences. Different mathematicians tried to generalize the usual notion of metric space (X, d) to extend the known metric space theorems in a more general setting [1] - [15]. But different authors have proved that these attempts are invalid [1] [7] [8] [10] [11] [12]. In 2004, Mustafa and Sims introduced a generalized metric space, the generalization of the usual metric space (X, d) [13].
In 2010, Beg, Abbas and Nazir introduced a concept of G-cone metric space by replacing the set of real numbers with ordered Banach space. They also introduced new fixed point theories in this new structure [15].
In the last decades, Caristi’s fixed point theorem has been generalized and extended in several directions and the related references therein. The following are basic definitions and theorems.
Definition 1.1. [1] Let X be a non-empty set. Suppose that
satisfies:
and
if and only if
,
Then d is called a metric on X, and (X, d) is called a metric space.
Definition 1.2. [5] Let X be a non-empty set and
be a function satisfying the following properties:
if and only if
,
, with
, with
(symmetry)
where
denotes the permutation function.
(rectangle inequality).
Then the function G is called a G-metric on X.
Definition 1.3. Let X be a non-empty set. Suppose that
satisfies:
and
if and only if
,
.
Then d is called a cone metric on X, and (X, d) is called a cone metric space.
Definition 1.4. Let X be a non-empty set. Suppose
satisfies:
(G1)
if
;
(G2)
; whenever
;
(G3)
; whenever
;
(G4)
(symmetric in all the three variables);
(G5)
.
Then G is called a generalized cone metric on X, and X is called a generalized cone metric space or G-cone metric space.
Definition 1.5. A G-cone metric space X is symmetric if
.
Proposition 1.6. Let X be a G-cone metric space define
by
. Then (X, dG) is a cone metric space. It can be noted that
. If X is a symmetric G-cone metric space, then
.
Definition 1.7. Let X be a G-cone metric space and
be a sequence in X. We say that
is:
1) Cauchy sequence if for every
there is N such that
.
2) Convergent sequence if for every
with
, there is N such that
,
for some fixed
. Here x is called the limit of the sequence
and is denoted by
or
as
.
3) A G-cone metric space X is said to be complete if every Cauchy sequence in X is convergent in X.
Proposition 1.8. Let X be a G-cone metric space then the following are equivalent.
1)
is convergent to x;
2)
as
;
3)
as
;
4)
as
.
Lemma 1.9. Let X be a G cone metric space.
,,
and
be sequences in X such that
,
and
, then
as
.
Lemma 1.10. Let
be a sequence in G-cone metric space X and
. If
converges to x and
converges to y, then
.
Lemma 1.11. Let
be a sequence in G-cone metric space X and if x converges to x
, then
as
.
Lemma 1.12. Let
be a sequence in G-cone metric space X and
, if
converges to
, then
is a Cauchy sequence.
Lemma 1.13. Let
be a sequence in a G-cone metric space X and if
is a Cauchy sequence in X , then
, as
.
Theorem 1.14. Let (X, d) be a complete metric space and let
be a mapping such that:
for all
, where
is a lower semi continuous mapping. Then T has at least a fixed point.
Theorem 1.15. Let (X, d) be a complete metric space and let
be a mapping such that:
for all
, where
is a mapping such that
, for all
. Then T has a fixed point.
Theorem 1.16. Let (X, d) be a complete metric space, and let
be a mapping such that:
for all
, where
is lower semicontinuous with respect to the first variable. Then T has a unique fixed point.
Theorem 1.17. Let (X, d) be a complete metric space and let
be a mapping such that for some
:
for all
. Then T has a unique fixed point.
Problem 1.18. Let (X, G) be a complete G-cone metric space and let
be a multivalued mapping such that:
for all
where
is continuous and increasing map such that
, for all
. Does Thave a fixed point?
Problem 1.19. Let (X, G) be a complete G-cone metric space and let
be a mapping such that:
for all
, where
is a mapping such that
, for all
. Does T have a fixed point?
Theorem 1.20. Let (X, d) be a complete metric space and let
be a mapping such that:
where
is a lower semi continuous mapping such that
, for each
, and
is a non decreasing map. Then T has a unique fixed point.
2. Main Result
Theorem 2.1
Let (X, G) be a complete G-cone metric space, and let
be a mapping such that:
for all
, where
is lower semi continuous with respect to the first variable. Then T has a unique fixed point.
Proof:
For each
, let
and
. Then for each
:
and ψ is a lower semi continuous mapping. Thus, applying Theorem 1.3 leads us to conclude the desired result.
To see the uniqueness of the fixed point suppose u and v are two distinct fixed points for T. Then:
Thus,
.
Theorem 2.2
(Banach contraction principle in G-cone metric spaces) Let (X, G) be a complete G-cone metric space and let
be a mapping such that for some
:
(i)
for all
. Then T has a unique fixed point.
Proof
Define:
(i) shows that:
.
That is:
and so:
applying Theorem 2.1, one can conclude that T has a unique fixed point.
Theorem 2.3
Let (X, G) be a complete G-cone metric space and let
be a mapping such that:
(ii)
where
is a lower semi continuous mapping such that
, for each
, and
is a non decreasing map. Then T has a unique fixed point.
Proof:
Define
, if
and otherwise
. Then (ii) shows that:
It means that:
Since
is non decreasing and
,
and so by applying Theorem 2.1, one can conclude that T has a unique fixed point.
The following results are the main results of this paper and play a crucial role to find the partial answers for Problem1.7 and Problem 1.8. Compare to the work of Farshid Khojasteh1, Erdal Karapinar and Hassan Khandani dealing with distance in a straight line, our work consider distance round a triangle.
Theorem 2.3
Let (X, G) be a complete G-cone metric space, and let
be a nonexpansive mapping such that, for each
, and for all
, there exists
such that:
(iii)
where
is lower semicontinuous with respect to the first variable. Then T has a fixed point.
Proof:
Let
and let
. If
then
is a fixed point and we are through. Otherwise, let
. By assumption there exists
such that:
Alternatively, one can choose
, such that
and find
such that:
(iv)
which means that
is a non-increasing sequence, bounded below, so it converges to some
. By taking the limit on both sides of (iv) we have
. Also, for all
with
,
(v)
Therefore, by taking the limsup on both sides of (v) we have:
.
It means that
is a Cauchy sequence and so it converges to
. Now we show that v is a fixed point of T. We have:
(vi)
By taking the limit on both sides of (vi), we get
and this means that
.
Theorem 2.4
Let (X, G) be a complete G-cone metric space, and let
be a multivalued function such that:
for all
where
is a lower semi continuous map such
that
, for all
, and
is nondecreasing. Then T has a fixed point.
Proof:
Let
and
then T has a fixed point and the proof is complete, so we suppose that
.
Define
for all
. We have:
.
Thus there exists
such that
. So there exists
such that:
.
We again suppose that
; therefore
or equivalently:
Since
is also a nondecreasing function and
we get:
Define
if
, otherwise 0 for all
. It means that:
.
Therefore, T satisfies (iii) of Theorem 2.3 and so we conclude that Thas a unique fixedpoint u and the proof is completed.
Existence of bounded solutions of functional equations [4]
Mathematical optimization is one of the fields in which the methods of fixed point theory are widely used. It is well known that dynamic programming provides useful tools for mathematical optimization and computer programming. In this setting, the problem of dynamic programming related to a multistage process reduces to solving the functional equation:
(a)
where
,
and
. We assume that M and N are Banach spaces,
is a state space, and
is a decision space. The studied process consists of a state space, which is the set of the initial state, actions, and a transition model of the process, and a decision space, which is the set of possible actions that are allowed for the process.
Here, we study the existence of the bounded solution of the functional equation. Let B(Z) denote the set of all bounded real-valued functions on W and, for an arbitrary
, define
. Clearly,
endowed with the metric d defined by:
(b)
for all
, is a Banach space. Indeed, the convergence in the space B(Z) with respect to
is uniform. Thus, if we consider a Cauchy sequence
in B(Z), then
converges uniformly to a function, say
, that is bounded and so
. We also define
by:
(c)
for all
and
.
Remark: We can extend this to cone and G-cone metric spaces.
for all
.
We will prove the following theorems.
Theorem 2.5
Let
be an upper semi continuous operator defined by (c) and assume that the following conditions are satisfied:
1)
and
are continuous and bounded;
2) for all
, if:
implies
,
implies
(d)
where
and
. Then the functional Equation (a) has a bounded solution.
Proof:
Note that (B(Z), d) is a complete cone metric space, where d is the cone metric given by (b).
Let μ be an arbitrary positive number,
, and
, then there exist
such that:
(e)
(f)
(g)
(h)
Let
be defined by:
Then we can say that (d) is equivalent to:
, (i)
for all
. It is easy to see that
, for all
and
is a non decreasing function.
Therefore, by using (e), (h) and (i), it follows that:
Then we get:
(j)
Analogously, by using (f) and (g), we have:
(k)
Hence, from (j) and (k) we obtain:
that is,
Since the above inequality does not depend on
,
is taken arbitrary, we conclude immediately that:
so we deduce that the operator S is a
-contraction. Thus, due to the continuity of S, Theorem 2.4 applies to the operator S, which has a fixed point
, that is,
is a bounded solution of the functional Equation (a).
Theorem 2.6
Let
be an upper semi continuous operator defined by (c) and assume that the following conditions are satisfied:
1)
and
are continuous and bounded;
2) for all
, if
implies
,
implies
(d)
where
and
. Then the functional Equation (a) has a bounded solution.
Proof:
Note that (B(Z), d) is a complete G-cone metric space, where G is the G-cone metric define by
.
Let μ be an arbitrary positive number,
, and
, then there exist
such that:
(e)
(f)
(g)
(h)
Let
be defined by:
Then we can say that (d) is equivalent to:
, (i)
for all
. It is easy to see that
, for all
and
is a nondecreasing function.
Therefore, by using (e), (h) and (i), it follows that:
Then we get:
(j)
Analogously, by using (f) and (g), we have:
(k)
Hence, from (j) and (k) we obtain:
that is,
.
Since the above inequality does not depend on
,
is taken arbitrary, we conclude immediately that:
so we deduce that the operator S is a
-contraction. Thus, due to the continuity of S, Theorem 2.4 applies to the operator S, which has a fixed point
, that is,
is a bounded solution of the functional Equation (a).
Authors’ Contributions
All the authors have made equal contributions.
Acknowledgements
The authors are thankful to editors for their helpful comments/suggestions leading to the improvement of this revised manuscript.