ATTRACTIVE
POINTS,
ACUTE POINTS ANDAPPROXIMATION OF COMMON FIXED POINTS OF
FAMILIES OF NONLINEAR MAPPINGS RELATED TO
HYBRID MAPPINGS
SACHIKO ATSUSHIBA
ABSTRACT. In this paper, we prove an attractive points theorem
andstrongconvergencetheorems ofHalpernstype
[20]
foruniformly asymptotically regular $\lambda$‐hybrid mappingsinastar‐shapedsubset of aHilbert space. Usingtheseresults, weobtainafixedpointtheoremandsomestrongconvergencetheorems.
1. INTRODUCTION
Let H be areal Hilbert space with inner
product
\rangle
and norm\Vert\cdot\Vert
and let C be a nonempty subset of H. For a
mapping
T : C \rightarrowC,
we denote
by
F(T)
the set offixed
points
of T andby
A(T)
the set of attractivepoints
[28]
ofT,i.e.,
(i) F(T)=\{z\in C: Tz=z\}
;(ii)
A(T)=\{z\in H : \Vert Tx-z\Vert \leq \Vert x-z\Vert, \forall x\in C\}.
A
mapping
T:C\rightarrow Cis callednonexpansive
if\Vert Tx-Ty\Vert
\leq\Vert x-y\Vert
for all x,y\in C
.Kocourek,
Takahashi andYao[22]
introduced abroad class of nonlinearmappings
calledgeneralized
hybrid
whichcontaining
non‐expansive mappings,
nonspreading
mappings,
andhybrid
mappings
in aHilbert space.
They
proved
a mean convergence theorem forgeneralized
hybrid
mappings
whichgeneralizes
Baillons nonlinearergodic
theorem[13].
Aoyama, Iemoto,
Kohsaka and Takahashi[4]
introduced the class of $\lambda$‐hybrid
mappings
in a Hilbertspace. This class obtain the classes ofnonexpansive mappings,
nonspreading
mappings,
andhybrid
mappings
2010 Mathematics Subject Classification. Primary 47\mathrm{H}09, 47\mathrm{H}10.
Keywords andphrases. Fixedpoint,attractivepoint, iteration, nonexpansivemap‐
in a Hilbert space.
They
proved
fixedpoint
theorems and mean con‐vergence theorems for such
mappings.
Motivatedby
Baillon[13],
andKocourek,
Takahashi and Yao[22],
Takahashi and Takeuchi[28]
intro‐ducedtheconcept ofattractive
points
ofanonlinearmapping
inaHilbertspace and
they proved
a mean convergence theorem of Baillons typewithout
convexity
forgeneralized
hybrid
mappings.
In1992,
Wittmann[29]
proved
thefollowing
strong convergencetheorems ofHalperns
type[20]
in a Hilbert space;Theorem 1.1. Let C be a
nonempty
closed convex subsetof
a HilbertspaceH. Let T be a
nonexpansive mapping
ofC
intoitself
withF(T)\neq\emptyset.
For any
x_{1}=x\in C
,define
a sequence\{x_{n}\}
in Cby
x_{n+1}=$\alpha$_{n}x+(1-$\alpha$_{n})Tx_{n}, \forall n\geq 1
where
\{$\alpha$_{n}\}\subset [0
,1]
satisfies
\displaystyle \lim_{n\rightarrow\infty}$\alpha$_{n}=0, \sum_{n=1}^{\infty}$\alpha$_{n}=\infty, \sum_{n=1}^{\infty}|$\alpha$_{n}-$\alpha$_{n+1}| <\infty.
Then,
\{x_{n}\}
convergesstrongly
toP_{F(T)}x
, whereP_{F(T)}
is the metricpro‐jection
from
H ontoF(T)
.Motivated
by
Takahashi and Takeuchi[28],
Akashi and Takahashi[2]
proved
a strong convergence theorem ofHalperns
type[20]
for nonex‐pansive
mappings
in astar‐shaped
subset of a Hilbert space. On theother
hand,
Domingues Benavides,
Acedo and Xu[17]
proved
strong convergencetheoremsofHalperns
type[20]
foruniformly
asymptotically
regular
one‐parameternonexpansive semigroups.
The author[8]
studiedHalperns
type
iterations fornonexpansive semigroups
andproved
strong convergence theoremsforuniformly asymptotically regular
nonexpansive
semigroups
in Hilbert spaces(see
also[1,
7, 9, 17, 25,
26In this paper, we prove an attractive
points
theorem andstrong
con‐vergence theorems of
Halperns
type[20]
foruniformly
asymptotically
regular
$\lambda$‐hybrid
mappings
in astar‐shaped
subset of a Hilbert space.Using
theseresults,
we obtain a fixedpoint
theorem and some strongconvergence theorems.
2. PRELIMINARIES AND NOTATIONS
Throughout
this paper, we denoteby
\mathrm{N} and \mathbb{R} the set of allpositive
\mathbb{Z}^{+} and\mathbb{R}^{+} theset of all
nonnegative integers
and theset of all nonnega‐ tiverealnumbers, respectively.
Let H be areal Hilbert space with innerproduct
\rangle
and norm\Vert
. We know thefollowing
basicequality
from[26].
For x,y\in H
and $\lambda$\in \mathbb{R}, we have\Vert x+y\Vert^{2}\leq \Vert x\Vert^{2}+2\langle y, x+y\rangle
(2.1)
and
\Vert $\lambda$ x+(1- $\lambda$)y\Vert^{2}= $\lambda$\Vert x\Vert^{2}+(1- $\lambda$)||y\Vert^{2}- $\lambda$(1- $\lambda$)\Vert x-y\Vert^{2}
(2.2)
Furthermore,
we obtain that for all x, y,w\in H,
\langle(x-y)+(x-w) , y-w\rangle=\Vert x-w\Vert^{2}-\Vert x-y\Vert^{2}
(2.3)
In
fact,
we have that\{(x-y)+(x-w) , y-w\rangle
=\langle(x-y)+(x-w) , (y-x)+(x-w)\rangle
= \Vert x-w\Vert^{2}-||x-y\Vert^{2}+\{x-y, x-w\rangle+\{x-w, y-x\rangle
=\Vert x-w\Vert^{2}-\Vert x-y\Vert^{2}
Let C be aclosed and convex subset of H. For every
point
x\in H, there
exists a
unique
nearestpoint
in C, denotedby
P_{C}x
, such that\Vert x-P_{C}x\Vert \leq \Vert x-y\Vert
for all
y\in C
. Themapping P_{C}
is called the metricprojection
ofH onto C. It is characterizedby
\{P_{C}x-y, x-P_{C}x\rangle \geq 0
for all
y\in C
. See[26]
formoredetails. Thefollowing
resultiswell‐known(see [26]).
Lemma 2.1. LetC be a
nonempty,
bounded,
closed and convexsubsetof
a Hilbert space H and letT be anonexpansive mapping
of
C intoitself.
Thenf
F(T)\neq\emptyset.
We write x_{n} \rightarrow x
(or
\displaystyle \lim_{n\rightarrow\infty}x_{n}
= x)
to indicate that the sequence\{x_{n}\}
of vectors in H convergesstrongly
to x. We also write x_{n}-\triangle x
(or
\displaystyle \mathrm{w}-\lim_{n\rightarrow\infty}x_{n}
= x)
to indicate that thesequence
\{x_{n}\}
of vectors in Hconverges
weakly
to x. In a Hilbert space, it is well known that x_{n}- $\Delta$ x and\Vert x_{n}\Vert \rightarrow\Vert x\Vert
imply
x_{n}\rightarrow x.A
mapping
T:C\rightarrow C is callednonexpansive
if\Vert Tx-Ty\Vert
\leq\Vert x-y\Vert
for all x,y\in C
. Let $\lambda$\in \mathbb{R} begiven.
Following
[4],
we saythat amapping
T:C\rightarrow C is $\lambda$‐hybrid
if\Vert Tx-Ty\Vert^{2}\leq \Vert x-y\Vert^{2}+2(1- $\lambda$)
\langle x
— Tx,
y-Ty\rangle
for all x, y \in C. It is obvious that T is
1‐hybrid
if andonly
if T isnonexpansive;
T is 0‐hybrid
if andonly
if T isnonspreading
[23];
T is1/2‐hybrid
if andonly
if T ishybrid
[27]);
If $\lambda$ > 1, then T is $\lambda$‐hybrid
if and
only
if T=I. It is known[3,
Proposition
2.2]
that if $\lambda$ < 2 and$\alpha$=(1- $\lambda$)/(2- $\lambda$)
, thenT is $\lambda$‐hybrid
if andonly
ifit is $\alpha$‐nonexpansive
[3],
i.e.,
\Vert Tx-Ty\Vert^{2}\leq $\alpha$(\Vert x-Ty\Vert^{2}+\Vert Tx-y\Vert^{2}+(1-2 $\alpha$)\Vert x-y\Vert^{2}
for all x, y \in C. In
general, nonspreading
andhybrid
mappings
are not continuousmappings.
Amapping
T : C \rightarrow C is calledquasi‐
nonexpansive
ifF(T)
is nonempty and\Vert w -Tx\Vert
\leq\Vert w -y\Vert
for allw\in
F(T)
and x\in C.By
Dotson[16,
Theorem1]
and Ithoh and Taka‐ hashi[21,
Corollary
1],
weknow thatF(T)
is closed convex whenever Tis
quasi‐nonexpansive.
Every
$\lambda$‐hybrid
with afixedpoint
iscleary
quasi‐
nonexpansive.
Thus,
the set of fixedpoint
of each $\lambda$‐hybrid
mapping
is closed convex. Themapping
T is said to befirmly
nenexpansive
if\Vert Tx-Ty\Vert^{2}+\Vert(I-T)x-(I-T)y\Vert^{2}\leq \Vert x-y\Vert^{2}
for all x,
y\in C(\mathrm{s}\mathrm{e}\mathrm{e} [14
,15, 18,
19]
. It is known[4,
Lemma3.1]
that ifT isfirmly
nenexpansive,
then T is $\lambda$‐hybrid
for each $\lambda$\in[0
,1].
3. LEMMAS
In this
section,
wegive
some lemmas which are used in theproofs
ofour main theorems. We have basic
properties
ofattractivepoints
ofnonlinear
mappings
in a Hilbert space(see [28]).
Lemma 3.1
([28]).
Let H be a Hilbert space, let C be anonempty,
closed and convex subset
of
H. Let T be amappings
of
C intoitself. If
A(T)\neq\emptyset
, thenF(T)\neq\emptyset.
Lemma 3.2
([28]).
LetH be a Hilbertspace, let C be anonempty
subsetof
H. Let T be amappings
of
C into H.Then,
A(T)
is a closed andconvex subset
of
H.Lemma 3.3
([28]).
Let H be aHilbertspace, letC be a nonemptysubsetof
H. Let T be amappings
of
C into H. Let\{u_{n}\}
be a sequence in Hsuch that
\varlimsup\langle(u_{n}-y)+(u_{n}-Ty)
,y—Ty
)
\leq 0n\rightarrow\infty
for
ally\in C
.If
asubsequence
\{u_{n_{i}}\}
of
\{u_{n}\}
convergesweakly
tou\in H,
then
u\in A(T)
.To prove our main
results,
we need thefollowing
lemma(see
[5];
seealso
[30]).
Lemma 3.4. Let
\{s_{n}\}
be a sequenceof
nonnegative
realnumbers,
let\{$\alpha$_{n}\}
be a sequenceof
[0
,1]
with\displaystyle \sum_{n=1}^{\infty}$\alpha$_{n}=\infty
. Let\{$\beta$_{n}\}
be a sequenceof
nonnegative
real numbers with\displaystyle \sum_{n=1}^{\infty}$\beta$_{n}<\infty
and let\{$\gamma$_{n}\}
be a sequenceof
real numbers with\varlimsup_{n\rightarrow\infty}$\gamma$_{n}\leq 0
.Suppose
thats_{n+1}\leq(1-$\alpha$_{n})s_{n}+$\alpha$_{n}$\gamma$_{n}+$\beta$_{n}
for
all n\in \mathbb{N}.Then,
\displaystyle \lim_{n\rightarrow\infty}s_{n}=0.
4. MAIN THEOREMS
Inthis
section,
we provean attractivepoints
theorem and strong con‐vergence tocommonattractive
points
ofuniformly
asymptotically
regular
$\lambda$
‐hybrid
mappings
inHilbertspaces(see
also[2,
7, 12, 17, 24, 25, 26,
28 Let C be anonempty
subset of H.Then,
C is calledstar‐shaped
if there exists z\in C such that for any x\in C and any $\gamma$\in(0,1)
,$\gamma$ z+(1- $\gamma$)x\in C.
We say that a
mapping
T of Cinto itselfisasymptotically regular
if\displaystyle \lim_{n\rightarrow\infty}\Vert T^{n+1}x-T^{n}x\Vert=0
for all x \in C
(see
also[26]).
We also say that amapping
T of C intoitselfis
uniformly asymptotically
regular
if for every bounded subset K ofC,
\displaystyle \lim_{n\rightarrow\infty}\sup_{x\in K}\Vert T^{n+1}x-T^{n}x\Vert=0
holds.
Lemma 4.1
([6]).
Let C be anonempty
subsetof
a Hilbert space H.Let $\lambda$ \in \mathbb{R} be
given.
Let T be a $\lambda$‐hybrid
mapping
of
C intoitself. If
We also
get
thefollowing
attractivepoint
theorems(see
also[12,
28 Theorem 4.2([6]).
Let H be a Hilbert space and let C be a nonemptysubset
of
H. Let $\lambda$ be a realnumber. Let T be auniformly
asymptotically
regular
$\lambda$‐hybrid
mapping
of
C intoitself. Suppose
that{Tnx}
is boundedfor
some x\in C.Thenf
A(T)\neq\emptyset.
We obtain a strong convergence theorem of
Halperns
[20]
type for$\lambda$
‐hybrd
mappings
on astar‐shaped
subset of H(see
[6]).
Theorem 4.3
([6]).
Let H be a Hilbert space, let C be astar‐shaped
subset
of
H with center z \in C. Let $\lambda$ be a real number. Let T be auniformly asymptotically regular
$\lambda$‐hybrid
mapping
of
C intoitself
such thatA(T)
\neq
\emptyset
. Let\{m_{n}\}
be a sequence in \mathrm{N} such that m_{n} \rightarrow \infty. Let\{x_{n}\}
be a sequence in Cdefined by
x_{1} \in C andx_{n+1}=$\alpha$_{n}z+(1-$\alpha$_{n})T^{m_{n}}x_{n}
for
each n\in \mathrm{N}, where\{$\alpha$_{n}\}\subset[0
,1]
satisfies
\displaystyle \lim_{n\rightarrow\infty}$\alpha$_{n}=0, \sum_{n=1}^{\infty}$\alpha$_{n}=\infty.
Then,
\{x_{n}\}
convergesstrongly
toP_{A(T)}z
, whereP_{A(T)}
is the metric pro‐jection
from
H ontoA(T)
.Using
Theorem4.2,
weobtain thefollowing
fixedpoint
theorem.Theorem 4.4
([6]).
Let H be a Hilbert space and let C be a closed andstar‐shaped
subsetof
H. Let $\lambda$ be a real number. Let T be auniformly
asymptotically regular
$\lambda$‐hybrid
mapping
of
C intoitself. Suppose
that{Tnx}
is boundedfor
some x\in C.Then,
F(T)\neq\emptyset.
Using
Theorem4.3,
we also getthefollowing
strong
convergencetheo‐ remfor $\lambda$‐hybrid
mappings
on astar‐shaped
subset of H(see [20,
29,
30Theorem 4.5
([6]).
LetH be a Hilbertspace, letC be a closed andstar‐shaped
subsetof
H with center z \in C. Let $\lambda$ be a real number. Let Tbe a
uniformly asymptotically regular
$\lambda$‐hybrid
mapping
of
C intoitself
such that
F(T)
\neq\emptyset
. Let\{m_{n}\}
be a sequence in\mathrm{N} such that m_{n}\rightarrow\infty. Let\{x_{n}\}
be a sequence in Cdefined by
x_{1} \in C andfor
each n\in \mathrm{N}, where\{$\alpha$_{n}\}\subset [0
,1]
satisfies
\displaystyle \lim_{n\rightarrow\infty}$\alpha$_{n}=0, \sum_{n=1}^{\infty}$\alpha$_{n}=\infty.
Then,
\{x_{n}\}
convergesstrongly
to u_{0_{2}} where\Vert u_{0}-z\Vert =\displaystyle \min\{\Vert u-z\Vert
: u\inF(T)\}
We also have the
following
strong convergence theorem.Theorem4.6
([6]).
LetH bea Hilbertspace, letC be anonempty
subsetof
H. Let $\lambda$ be areal number. Let T be auniformly asymptotically regular
$\lambda$
‐hybrid
mapping
of
C intoitself
such thatA(T)
\neq
\emptyset
. Let\{m_{n}\}
be a sequence in \mathrm{N} such that m_{n}\rightarrow\infty. Let\{x_{n}\}
be a sequence in Cdefined
by
x_{1} \in C andx_{n+1}=$\alpha$_{n}z+(1-$\alpha$_{n})T^{m_{n}}x_{n}
for
each n\in \mathrm{N}, where\{$\alpha$_{n}\}\subset [0
,1]
satisfies
\displaystyle \lim_{n\rightarrow\infty}$\alpha$_{n}=0, \sum_{n=1}^{\infty}$\alpha$_{n}=\infty.
If
\{x_{n}\}
is in C, then\{x_{n}\}
convergesstrongly
tou_{0}\in A(T)
, where u_{0}=P_{A(T)}.
ACKNOWLEDGEMENTS
The author is
supported
by
Grand‐in‐Aid for Scientific Research No. 26400196from
Japan
Society
for the Promotion of Science.REFERENCES
1. G. LopezAcedo and T. Suzuki, Browders convergencefor uniformly asymptoti‐ cally regular nonexpansive semigroupsin Hilbertspaces,Fixed Point Theoryand
ApplicationsVolume2010, Article ID418030.
2. S. Akashi, W.Takahashi, Strongconvergence theoremfor nonexpansive mappings
onstar‐shapedsets inHilbertspaces, AppliedMathematics andComputation219
(2012),
2035‐2040.3. K. Aoyama & Kohsaka, Fixed point theorem for $\alpha$‐nonexpansive mappings in
Banach spaces., Nonlinear Anal. 74
(2011),
4387‐4391.4. K. Aoyama, S. Iemoto, F. Kohsaka & W. Takahashi, Fixed point and ergodic theoremsfor $\lambda$‐hybrid mappings inHilbert spaces, J. NonlinearConvex Anal. 11
(2010),
335‐343.5. K.Aoyama,Y.Kimura,W. Takahashi andM.Toyoda, Approximationofcommon
fixedpoints ofa countablefamily ofnonexpansive mappings in a Banach space,
NonlinearAnal. 67
(2007)
2350‐2360.6. S. Atsushiba, Attractive point and strong convergence theorems forfamilies of
uniformly asymptotically regular $\lambda$‐hybrid mappings, to appear.
7. S. Atsushiba, Strong convergence theoremsfor uniformly asymptotically regular
nonexpansive semigroups by Browders type iterations, Nonlinear Analysis and ConvexAnalysis 4 (I), YokohanaPublishers, Yokohama,
(2013),
11‐19.8. S.Atsushiba, Strongconvergence tocommonattractivepointsofuniformlyasymp‐
totically regularnonexpansive semigroups, J. NonlinearConvex Anal. 16
(2015),
69‐78.9. S. Atsushiba, Strong convergence theoremsfor uniformly asymptotically regular
nonexpansive semigroupsinBanach spaces, Proceedingsof Banach and Function Spaces IV, YokohanaPublishers, Yokohama, 2015, 265‐278.
10. S. Atsushiba, Strong convergence to common attractivepointsfor nonexpansive
semigroupsbyHalpernstypeiterations,NonlinearAnalysisandConvexAnalysis,
9,
(2016),
41‐52.11. S. Atsushiba and W. Takahashi, Nonlinear ergodic theorems in a Banach space
satisfying Opials condition, Tokyo J.Math. 21
(1998),
61‐81.12. S. Atsushiba andW.Takahashi, Nonlinearergodic theorems without convexityfor nonexpansive semigroups in Hilbert spaces, J. Nonlinear Conv. Anal.,14
(2013),
209‐219.13. J.‐B. Baillon, Un theoreme de type ergodiquepour les contractions non lineaires
dans un espace de Hilbert, C. R. Acad. Sei. Paris Ser. A‐B 280
(1975),
1511 ‐ 1514.14. F.E. Browder, Convergence of approximants tofixedpoints ofnonexpansivenon‐
linearmappings in Banach spaces,Arch. Rational Mech. Anal. 24
(1967)
82‐90. 15. R.E. Bruck, Jr. , Nonexpansive projections on subsets ofBanach spaces., PacificJ. Math. 47
(1973),
341‐355.16. W. G. Dotson. Jr., Fixedpoints of quasi‐nonexpansive mappings., J. Austral. Math. Soc. 13
(1972),
167‐170.17. T. Dominguez Benavides, G. L. Acedo, and H.‐K. Xu, Construction ofsunny
nonexpansive retractions in Banach spaces, Bull. Austral. Math. Soc., 66 (2002) 9‐16.
18. K. Goebel & W.A. Kirk, Topics in metricfixedpoint theory. , CambridgeUni‐
versityPress, Cambridge, 1990.
19. K. Goebel& S. Reich, Uniform convexity,hyperbolic geometry, and nonexpansive mappings, MarcelDekker, Inc., NewYork, 1984.
20. B. Halpern, Fixed points of nonexpansive maps, Bull. Amer. Math. Soc., 73
(1967),
957‐961.21. S. Itoh& W. Takahashi The commonfixedpoint theory of singlevalued mappings
22. P. Kocourek, W. Takahashi, and J.‐C. Yao, Fixedpoint theorems and weak con‐
vergence theoremsfor generalized hybrid mappings in Hilbert spaces, Taiwanese J. Math. 14
(2010),
2497‐2511.23. F. Kohsaka &W.Takahashi, Fixedpoint theoremsfor a class ofnonlinear map‐
pingsrelatedtomaximalmonotoneoperatorsinBanachspaces,Archiv der Math. 81
(2008),
91, 166 X‐177.24. T. Suzuki, Browders convergence for
(uniformly
asymptoticallyregular)
one‐ parameter nonexpansive semigroups in Banach spaces, Fixed point theory and itsapplications, 131‐143,YokohamaPubl., Yokohama,2010.25. W. Takahashi, The asymptotic behavior ofnonlinear semigroups and invariant means, J. Math. Anal. Appl., 109
(1985),
130‐139.26. W. Takahashi,Nonlinear FunctionalAnalysis, YokohamaPublishers, Yokohama, 2000.
27. W. Takahashi, Fixed point theorems for new nonlinear mappings in a Hilbert
space, J. Nonlinear ConvexAnal. 11
(2010),
79‐88.28. W. Takahashi and Y. Takeuchi, Nonlinear ergodic theorem without convexityfor generalized hybrid mappings in a Hilbert space, J. Nonlinear Conv. Anal. 12
(2011),
399‐406.29. R. Wittmann, Approximation of fixed points ofnonexpansive mappings, Arch. Math. 58
(1992),
486‐491.30. H.K.Xu,Another control conditioninaniterativemethodfornonexpansivemap‐
pings, Bull. Aust. Math. Soc. 65
(2002),
109‐113.(S. Atsushiba)
DEPARTMENTOF MATHEMATICS, GRADUATE SCHOOL OFEDUCA‐TiON, UNIVERSITYOFYAMANASHI, 4‐4‐37, TAKEDAKOFU, YAMANASHI400‐8510, JAPAN