Common and Coincidence Fixed Point Theorems for Asymptotically Regular Mappings in Hilbert Spaces
Department of Mathematics, Assiut University, Assiut, Egypt1. Introductions and Preliminaries
2. Common Fixed Point Theorems
Abstract
In this paper we prove common and coincidences fixed point theorems for asymptotically regular mappings under various contractive conditions on a Hilbert space setting. We also study the well – posedness of a common fixed point problem. Our results generalize several well known results in the literature.
Keywords: asymptotically regular mappings, common and coincidences fixed points, weakly compatible mappings, Hilbert spaces
American Journal of Mathematical Analysis, 2014 2 (1),
pp 8-14.
DOI: 10.12691/ajma-2-1-3
Received November 06, 2013; Revised January 10, 2014; Accepted February 23, 2014
Copyright © 2013 Science and Education Publishing. All Rights Reserved.Cite this article:
- Rashwan, R.A.. "Common and Coincidence Fixed Point Theorems for Asymptotically Regular Mappings in Hilbert Spaces." American Journal of Mathematical Analysis 2.1 (2014): 8-14.
- Rashwan, R. (2014). Common and Coincidence Fixed Point Theorems for Asymptotically Regular Mappings in Hilbert Spaces. American Journal of Mathematical Analysis, 2(1), 8-14.
- Rashwan, R.A.. "Common and Coincidence Fixed Point Theorems for Asymptotically Regular Mappings in Hilbert Spaces." American Journal of Mathematical Analysis 2, no. 1 (2014): 8-14.
Import into BibTeX | Import into EndNote | Import into RefMan | Import into RefWorks |
1. Introductions and Preliminaries
Most of fixed point theorems for mappings in metric spaces satisfying different contraction conditions may be extended to the abstract spaces like Hilbert spaces, Banach spaces and locally convex spaces etc., with some modifications Banach fixed point theorem and its applications are well known. Many authors have extended this theorem, introducing more general contractive conditions, which imply the existence of a fixed point. Almost all of conditions imply the asymptotic regularity of the mappings under considerations. So the investigation of the asymptotically regular maps play an important role in fixed point theory.
Sharma and Yuel [14] and Guay and Singh [7] were among the first who used the concept of asymptotic regularity to prove fixed point theorems for wider class of mappings than a class of mappings introduced and studied by Ćirić [6].
The purpose of this paper is to prove some common and coincidences fixed point theorems in Hilbert spaces and we study the well- posedness of their fixed point problem.
Definition 1.1. [1]. A self mapping on a closed subset of a Hilbert space
is said to be asymptotically regular at a point x in
, if
![]() |
where denotes the nth iterate of
at x.
Definition 1.2. [1]. Let C be a closed subset of a Hilbert space . A sequence
in C is said to be asymptotically T - regular if
Definition 1.3. [5]. A pair of mappings (f, T) on a Hilbert space is said to be weakly compatible if f and T commute at their coincidence point (i.e. f T x = T f x whenever f x = T x). A point
is called point of coincidence of two self –mappings f and T on
if there exists a point
such that
The following lemma was given in [5] in a metric space setting.
Lemma 1.1. Let X be a non-empty set and the mappings have a unique point of coincidence v in X. If the pair (f, T) is weakly compatible then T and f have a unique common fixed point.
Let H be a Hilbert space,T and f be self –mappings on H with and
Choose a point
such that
This can be done since
.Continuing this process, having chosen
we choose
in
such that
![]() |
The sequence is called a T –sequence with initial point
.
Definition1.4. Let T and f be self – mappings on a Hilbert space , with
and
. A mapping T is said to be asymptotically f – regular at a point
if :
![]() |
Where is a T – sequence with initial point
We know that a Banach space is a Hilbert space iff its norm satisfies the parallelogram law i.e., every ,
![]() | (1.1) |
which implies,
![]() | (1.2) |
2. Common Fixed Point Theorems
S. T. Patel and at.al. [9] gave the following theorem:
Theorem 2.1. Let C be a closed subset of a Hilbert space H and T be a mapping on H into it self satisfying
![]() | (2.1) |
for all x, y in H, where are non –negative reals with
Then T has a unique fixed point in H.
The purpose of this section is to extend Theorem 2.1 to the case of two mappings in a Hilbert space as the following.
Theorem 2.2. Let C be a closed subset of a Hilbert space H and S,T be mappings on C into itself satisfying:
![]() | (2.2) |
for all are non – negative reals with
. Then S and T have a unique common fixed point in C.
Proof. Let we define a sequence
as follows
From (2.2), we have
![]() |
Thus we have
![]() |
Putting
Then, we have
![]() |
Proceeding in this way, we get
![]() |
For any positive integer p, one gets :
![]() |
Thus
Hence is a Cauchy sequence in C. Since C is closed subset of H, then there exists an element
such that
![]() |
Now further, we have
![]() |
As
We have
![]() |
Then
![]() |
This implies that v =T v, since .
Similarly we get v = S v. Then v is a common fixed point of S and T.
For the uniqueness, let be another fixed point of S and T, where
, then
![]() |
Since , so u = v i.e., the common fixed point is unique.
Next, we extend Theorem 2.2 to the case of pair , where p and q are some positive integers and to the case of a sequence of mappings satisfying the same contractive condition (2.2).
Theorem 2.3. Let C be a closed subset of a Hilbert space H and S,T be mappings on C into itself satisfying
![]() | (2.3) |
for all are nonnegative reals with
Then S and T have a unique common fixed point.
Proof. Since satisfies all the conditions of theorem 2.2. Hence
have a unique common fixed point, we assume that they have a common fixed point v
![]() |
So S v is a fixed point of Similarly we can show that T v is a fixed point of
i.e.,
. Now we have
![]() |
Then we have:
![]() |
So, we have v = Tv.
On the same way we can prove that S v =v. So v is a common fixed point of S and T.
To prove the uniqueness, let be another common fixed point of S and T. Then clearly w is also a common fixed point of
. So from Theorem 2.3
have a common fixed point. Therefore w= v. Hence S and T have a unique common fixed point.
Hence we have proved that if is unique common fixed point of
for all p, q > 0, then
is unique common fixed point of S and T.
Theorem 2.4. Let C be a closed subset of a Hilbert space H and let be a sequence of mapping on C converging point wise to F satisfying
![]() |
for all x, y in C, where are nonnegative reals in [0,1][, 1] with
If
has a fixed point
and F has a fixed point v. Then the sequence
converges to v.
Proof. Since it is given .
Now
![]() |
Taking , we have
![]() |
So .
3. Coincidences Fixed Point Theorems
Our main results in this section are the following theorems
Theorem 3.1. Let H be a Hilbert space and let be such that :
(iv) T is asymptotically f - regular of some point in H.
Then T and f have a point of coincidence
Proof. Let be an asymptotically T – regular sequence in H. Then by Parallelogram law we have
![]() | (3.2) |
Using (3.1) we have
![]() | (3.3) |
Taking limit as , and using asymptotically T – regular of
gives
![]() |
Hence we have
![]() |
It follows that is a Cauchy sequence in H. If f(H) is a complete subspace of H, there exists a point
such that:
(this also holds if T(H) is complete with
).
We claim that u is a coincidence point of f and T. If not . From (ii), we obtain
![]() |
As we get
![]() |
Hence
![]() |
a contradiction and so p = f u = T u is a point of coincidence of f and T.
Theorem 3.2. Let H be a Hilbert space and let be such that:
Then f, T have at least a unique point of coincidence.
Proof. Assume there exist in H such that
P = f u = T u and
From (3.4) we obtain
![]() |
we deduce that
Remark. 3.1. If we put in Theorem 3.1and in Theorem 3.2, we obtain Theorems 3. 1and Theorem 3.2 in [1].
Let be functions such that
and
is continuous at 0 (i=1,2). Ciric [5] studied necessary conditions to obtain a fixed point result of asymptotically regular mappings on complete metric spaces. M. Abbas and H.Aydi [1] extended the results of Ćirić [5] to the case of two mappings satisfying a generalized contractive conditions in a metric space and they proved the following theorem.
Theorem 3.3. [5]. Let (X, d) be a metric space. Let be such that
Assume that the following condition holds:
![]() | (3.5) |
for all such that for arbitrary fixed k > 0,
and
and
If
is a complete subspace of X and T is asymptotically f- regular at some point
in X, then T and f have a unique point of coincidence.
In the following theorem we prove a similar result using a contractive condition (3.5) in a Hilbert space.
Theorem 3.4. Let H be a Hilbert space. Let be such that:
for all such that for arbitrary fixed
we have
and
If
is a complete subspace of H and if T is asymptotically f –regular at some point
Then f, T have a point of coincidence.
Proof. Let be an arbitrary point in H and let
be a T-sequence with initial point
. Since T is asymptotically f-regular mappings at
therefore
Now for m > n, we have
![]() |
Thus we obtain that
![]() | (3.7) |
Since T is asymptotically f –regular and are continuous at zero, then the right hand of the inequality (3.7) tends to zero as
Thus
![]() |
It follows that is a Cauchy sequence in H. If f(H) is a complete subsequence of H there exists u, p in H such that
(this holds also if T(H) is complete with
).
We claim that u is a coincidence point of f and T. If not From (3.6) we obtain:
![]() |
which yields that
![]() |
Taking limit as , we get
![]() |
a contradiction and so p = fu = T u is a point of a coincidence of f and T.
Lemma 3.5. Let H be a Hilbert space. Let be such that:
for all such that for arbitrary fixed
.Then f, T have at most a unique coincidence point
Proof. Assume that there exists, in H such that
such that
![]() |
Hence we obtain
![]() |
This shows that
From Theorem 3.4 and Lemma 3.5 we obtain the following theorem
Theorem 3.6. Let H be a Hilbert space and let f, T be mappings on H into H such that Assume that T and f satisfy condition 3.6 for all
. If f(H) or T(H) is a complete subspace of H such that (T, f) is weakly compatible, then T and f have a unique common fixed point provided that T is asymptotically f- regular at some point
in H.
As a consequence of Theorem 3.4, Lemma 3.5 and Theorem 3.6 we obtain the following corollary.
Corollary 3.7. Let H be a Hilbert space. Let be such that the following condition holds:
![]() | (3.8) |
for all , where
such that for an arbitrary fixed
we have
If T is asymptotically regular at some point
in H. Then T has a unique fixed point.
Taking in the inequality 3.6, we have tha following corollary.
Colorary 3.8. Let H be a Hilbert space. Let be such that
.Assume that the following condition holds:
![]() |
for all , where
such that for arbitrary fixed
, we have
If f(H) or T(H) is a complete subspace of H and if T is asymptotically regular at some point
in H. Then T and f have a point. of coincidence.
We give an example to support our results
Example 3.9. Let X= and let Le t
be defined as
![]() |
Let =1 and the sequence
be given by
. Note that
is a T-sequence with initial point
. Since
the mapping T is asymptotically f – regular at the point
. Also T(X)
, T(X) is a complete and the inequality (3.6) holds for all
with
![]() |
Thus satisfy all conditions of Theorem 3.4. Moreover u=0 is the common fixed point of f and T.
Let denote the set of all common fixed points of f and T. Now we have the following result on the continuity on the set of common fixed points
Theorem 3.10. Let H be a Hilbert space. Assume that satisfy condition (3.6) for all
. If
Then T is continuous at
whenever f is continuous at p.
Proof. Fix .Let
be any sequence in H converging to p. Then by taking
and z:=p in (3.6) we get
![]() |
which in view of T p = f p, we obtain
![]() |
Now by letting we get
![]() |
whenever f is continuous at p. The last inequality is true only if
![]() |
We get that .
4. Well – Posedness
The notion of well - posedness of a fixed point problem has generated much interest to several mathematicians, for example [2, 3, 8, 11, 12, 13]. Here, we study well – posedness of a common fixed point problem.
Definition 4.1. Let H be a Hilbert space and be a mapping. The fixed point problem of f is said to be well posed if
(i) f has a unique fixed point in H
(ii) for any sequence
,
we have
Definition 4.2. A common fixed point problem of self-maps f and T on H, CFP(f,T,H) is called well- posed if CF(f, T) ( the set of all common fixed points of f and T) is singletion and for any sequence in H with
implies
.
Theorem 4.1. Suppose that T and f be self –maps on H as in Theorem 3.4 and Lemma 3.1. Then the common fixed problem of f and T is well posed.
Proof. From Theorem 3.4 and Lemma 3.1, the mappings f and T have a unique common fixed point, say u . Let
be a sequence in H and
. With loss of generality, we may suppose that
for every nonnegative integer n. Then having in mind fu =T u and from triangle inequality (3.6), we have,
![]() |
Letting , we get that
. We deduce,
. This completes the proof of Theorem.
Acknowledgement
The author would like to express his thanks to the referees and editors for helpful comments and suggestions.
References
[1] | Abbas, M. and Aydi, H. “On common fixed point of generalized contractive mappings in metric spaces”, surveys in Mathematics and its Applications, Vol.7, 39-47, (2012). | ||
![]() | |||
[2] | Akkouchi, M., Well posedness of the fixed point problem for certain asymptotically regular mappings”, Annalas Mathematicae Silesianae, 23, 43-52, (2009). | ||
![]() | |||
[3] | Akkouchi, M. and Popa, V., “Well posedness of the fixed point problem for mappings satisfying an implicit relations”, Demonstratio Mathematica, Vol.23, No.4, 923-929, (2010). | ||
![]() | |||
[4] | Bhopal, S. S., “Some fixed point theorems in Hilbert spaces for self mappings”, American Journal of Mathematical Modelling Vol.2 No.3, 17-25, (2012). | ||
![]() | |||
[5] | Ćirić, Lj.B., “fixed points of asymptotically regular mappings”, Mathematical Communations, 10, 111-114, (2005). | ||
![]() | |||
[6] | Ćirić, Lj. B., “Generalized contractions and fixed point theorems”, Publ. Inst. Math. (Beograd), 12(26), 19-26, (1971). | ||
![]() | |||
[7] | Guay, M. D., and Singh, K.L., “fixed points of asymptotically regular mappings”, Math. Vesnik, 35, 101-106 (1983). | ||
![]() | |||
[8] | Lahiri, B. K., “Well-Posedness and certain classes of operators”, Demonstratio Math., 38, 170-176 (2005). | ||
![]() | |||
[9] | Patel, S. T., Garg, S. and Bhardwaj, R. , Some results concerning fixed point in Hilbert space”, Journal of Engineering Research and Applications (IJERA), Vol.2 ssue.4, 1459-1461, (2012). | ||
![]() | |||
[10] | Patel, M.K. and Deheri, G.M., “Some fixed point theorems on Hilbert spaces”, GIT- Journal of Engineering and Technology Vol.6, 2013. | ||
![]() | |||
[11] | Popa, V., “Well- Posedness of Fixed problem in compact Metric space”, Bull. Univ. Petrol-Gaze, Ploicsti, sec. Mat Inform. Fiz. 60(1), 1-4, (2008). | ||
![]() | |||
[12] | Popa, V., “Well- Posedness of fixed point problem in orbitally complete metric paces”, Stud.Cerc.St.Ser.Mat.Univ.16 (2006), supplement, Proceedings of ICMI 45, Bacau, Sept. 18-20, 209-214 (2006). | ||
![]() | |||
[13] | Reich, S., and Zaslawski, A.T., Well- Posedness of fixed point problems, Far East J. Math. sci, Special volume, part III, 393-401 (2011). | ||
![]() | |||
[14] | Sharma, P.L., and Yuel, A.K., fixed point theorems under Asymptotic regularity at a point”, Math. Sem. Notes 35, 181-190, (1982). | ||
![]() | |||