Coupled Fixed Point Theorem in Ordered Metric Spaces
Kanchan Barman, Dr. Subhashish Biswas
Kalinga University, Raipur C.G. India.
*Corresponding Author E-mail:
Abstract:
In this paper we prove a coupled fixed point theorem satisfying a new type of contractive conditions by using the concept of g- monotone mapping in ordered metric space. Our result is generalization of previous coupled fixed point theorem.
KEYWORDS: Coupled fixed point, Coupled Common Fixed Point, Mixed monotone, Mixed g- monotone mapping.
The Banach contraction principle is the most celebrated fixed point theorem. Boyd and Wong [4] extended the Banach contradiction principle to the case of non linear contraction mappings. Afterword many authors obtain important fixed point theorems. Recently Bhaskar and Lakshmikantham [2] presented some new results for contractions in partially ordered metric spaces, and noted that their theorem can be used to investigate a large class of problems and have discussed the existence and uniqueness of solution for a periodic boundary valued problem.
After some time, Lakshmikantham and Circ [6] introduced the concept of mixed monotone mapping and generalized the results of Bhaskar and Lakshmikantham [2]. In the present work, we prove some more results for coupled fixed point theorems by using the concept of g-monotone mappings.
Recall
that if
is partially ordered set and
such that for
implies
then a mapping
is said to be non decreasing. similarly, mapping is
defined. Bhaskar and Lakshmikantham introduced the following notions of mixed
monotone mapping and a coupled fixed point.
Definition- 1:
(Bhaskar
and Lakshmikantham [2]) Let
be an ordered set and
. The mapping F is said to has the mixed monotone
property if F is monotone non-decreasing in its first argument and is monotone
non-increasing in its second argument, that is, for any ![]()
![]()
And
![]()
Definition – 2:
(Bhaskar
and Lakshmikantham [2]) An element
is called a coupled fixed point of the mapping
if,
![]()
The main theoretical results of the Bhaskar and Lakshmikantham in [2] are the following two coupled fixed point theorems.
Theorem – 3:
(Bhaskar
and Lakshmikantham [2] Theorem 2.1) Let
be partially ordered set and suppose there is a
metric d on
such that
is a complete metric space. Let
be a continuous mapping having the mixed monotone property
on X. Assume that there exists a
with,
![]()
for
each![]()
If
there exist
such that,
![]()
Then
there exists,
such that,
![]()
Theorem – 4:
(Bhaskar
and Lakshmikantham [2] Theorem 2.2)
be partially ordered set and suppose there is a
metric
such that
is a complete metric space. Assume that X has the
following property,
1.
If
a non decreasing sequence
for all n,
2.
If
a non increasing sequence
, for all n,
Let
F : X \times X \rightarrow X be a mapping having the mixed monotone property on
X. Assume that there exists a
with,
![]()
for
each, ![]()
If
there exist
such that,
![]()
Then
there exists,
such that,
![]()
We note that Bhaskar and Lakshmikantham [2] have discussed the problems of a uniqueness of a coupled fixed point and applied their theorems to problems of the existence and uniqueness of solution for a periodic boundary valued problem.
Main Results:
Analogous with Definition 2 Lakshmikantham and Ciric [6] introduced the following concept of a mixed g- monotone mapping.
Definition – 5:
Let
be an ordered set and
The mapping F is said to has the mixed g- monotone
property if F is g- monotone non-decreasing in its first argument and is g-
monotone non-increasing in its second argument, that is, for any ![]()
![]()
And
![]()
Note that if g is the identity mapping, then Definition – 5 , reduces to Definition – 2.
Definition – 6:
(Lakshmikantham
and Ciric [6]) An element
is called a coupled coincidence point of the mapping
if,
![]()
Definition – 7:
(Lakshmikantham
and Ciric [6])Let X be non empty set and
one says F and g are commutative if,
,
for
all
.
Now we prove our main result.
Theorem – 8:
Let
be a partially ordered set and suppose there is a
metric d on X such that
is a complete metric space. Suppose
are such that F has the mixed g- monotone property
and
![]()
(1)
for
all
such that
and
. Suppose that
g is continuous and commute with F and also suppose
either
1.
If
a non decreasing sequence
, for all n,
2.
If
a non increasing sequence
, for all n.
If
there exist
such that
Then
there exist
such that
Since
.
Proof:
Let
be such that
Since
we can choose
such that
and
Again from
we can choose
such that
Continuing the process we can construct sequence
such that
(2)
for
all
.
We shall show that
for all
(3)
And
for all
(4)
For
this we shall use the mathematical induction. Let n = 0. Since
and
and as
and
we have
and
Thus (3) and (4) hold for n = 0.
Suppose
now (3) and (4) holds for some fixed
. Then, since
and
and as F has the mixed g- monotone property, from
(3.4) and (2.1).
(5)
And
(6)
and from (3.4) and (2.2),
(7)
![]()
(8)
Now from (5) – (8) we get
(9)
And
(10)
Thus
by the mathematical induction we conclude that (5) – (8) holds for all
. Therefore,
![]()
And
![]()
Since,
![]()
![]()
by using, (1) and (2) we have,
![]()
![]()
This gives,
![]()
![]()
(11)
Similarly,
from (1) and (2), as ![]()
![]()
![]()
![]()
![]()
![]()
(12)
Let
us denote
and,
![]()
then by adding (11) and (12), we get
![]()
which implies that,
![]()
Thus,
![]()
For
each
we have,
![]()
And
![]()
![]()
by adding the both of above, we get
+
which implies,
![]()
Therefore,
are Cauchy sequence in X. since X is complete metric
space, there exist
such that
and ![]()
Thus
by taking limit as
in (2), we get
![]()
![]()
Therefore, F and g have a coupled fixed point.
Now,
we present coupled coincidence and coupled common fixed point results for
mappings satisfying contractions of integral type. Denote by
the set of functions
satisfying the following hypotheses:
1.
is a Lebsegue
mapping on each compact subet of ![]()
2.
for
any
, we have
.
Finally we have the following results.
Theorem – 9:
Let
be a partially ordered set and suppose there is a
metric d on X such that (X,d) is a complete metric space. Suppose
are such that F has the mixed g- monotone property
and assume that there exist
such that,
![]()
![]()
for
all
such that
with
and
. Suppose that
g is continuous and commute with F. Then there exist
such that
Since
![]()
In the view of Theorem – 8 , we have,
![]()
By using, (3.14) we have,
![]()
![]()
![]()
![]()
It can be written as,
![]()
Similarly we can show that,
![]()
Processing the same way it is easy to see that,
![]()
And
![]()
From the Theorem – 8 , the result is follows and nothing to prove.
Corollary – 10:
Let
be a partially ordered set and suppose there is a
metric d on X such that
is a complete metric space. Suppose
are such that F has the mixed g- monotone property
such that,
![]()
![]()
for
all
such that
with
and
. Suppose that
g is continuous and commute with F. Then there exist
such that
Since
.
Proof:
In
Theorem – 9 , if we take
then result is follows.
REFERENCES:
1. R.P. Agrawal, M.A. El-Gegeily, D. O'Regan, “Generalized contraction in partially ordered metric spaces,” Appl. Anal. (2008) 1-8.
2. T.G. Bhaskar, V. Lakshminatham, “Fixed point theorems in partially ordered metric spaces and applications” Nonlinear Anal. TMA 65(2006) 1379-1393.
3. T.G. Bhaskara, V. Lakshmikantham, J. Vasundhara Devi, “Monotone iterative technique for functional differential equations with retardation and anticipation,” Nonlinear Anal. TMA 66 (10) (2007) 2237-2242.
4. D.W. Boyd, J.S. Wong, “On nonlinear contractions,” Proc. Amer. Math. Soc. 20(1969) 458- 464.
5. J.L.C. Commaro, “An application of a fixed point theorem of D.W Boyd and J.S. Wong,” Rev. Mat. Estatist. 6 (1988) 25-29.
6. V. Lakshmikantham, Lj. Cirić, “Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces,” Nonlinear Anal. 70 (2009) 4341 -- 4349.
7. Lj. B. Ciric, “A general of Banach contraction principle,” Proc. Amer. Math. Soc. 45 (1974) 267-273.
8. Lj. Ciric, J.S. Ume, “Multi- valued non self mappings on convex metric space,” Nonlinear Anal. TMA 60(2005) 1053-1063.
9. Lj. Ciric, “Coincidence and fixed point maps on topological spaces,” Topol. Appl. 154 (20070 3100- 3106.
10. Lj. Ciric, S.N. Jesic, M.M. Milovanovic, J.S. Ume “On steepest decent approximation method for the zeros of generalized accretive operators,” Nonlinear Anal. TMA 69 (2008) 763-769.
11. J.J. Nieto, R.R. Lopez, “Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations,” Acta Math. Sinica, Engl. Ser. 23 (12) (2007) 2205-2212.
12. A.C.M. Ran, M.C.B. Reurings, “A fixed point theorem in partially ordered sets and some applications to matrix equations,” Proc. Amer. Math. Soc. 132 (2004) 1435-1443.
13. S.K. Chatterjea, “Fixed point theorems,” C.R. Acad. Bulgare Sci. 25(1972) 727-730 MR 48 \sharp 2845.
|
Received on 27.03.2020 Modified on 14.04.2020 Accepted on 29.04.2020 ©AandV Publications All right reserved Research J. Science and Tech. 2020; 12(2): 123-130. DOI: 10.5958/2349-2988.2020.00015.7 |
|