Abstract
Let
MSC: 47H09, 47H10.
Keywords:
fixed point; nonexpansive mapping; fixed point iteration process; Mann process; Ishikawa process; modular function space; Orlicz space; Opial property; uniform convexity1 Introduction
In 2008, Kirk and Xu [21] studied the existence of fixed points of asymptotic pointwise nonexpansive mappings
where
In 2011, Khamsi and Kozlowski [18] extended their result proving the existence of fixed points of asymptotic pointwise ρnonexpansive mappings acting in modular function spaces. The proof of this important theorem is of the existential nature and does not describe any algorithm for constructing a fixed point of an asymptotic pointwise ρnonexpansive mapping. This paper aims at filling this gap.
Let us recall that modular function spaces are natural generalization of both function and sequence variants of many important, from applications perspective, spaces like Lebesgue, Orlicz, MusielakOrlicz, Lorentz, OrliczLorentz, CalderonLozanovskii spaces and many others, see the book by Kozlowski [24] for an extensive list of examples and special cases. There exists an extensive literature on the topic of the fixed point theory in modular function spaces, see, e.g., [35,8,13,14,1720,24] and the papers referenced there.
It is well known that the fixed point construction iteration processes for generalized nonexpansive mappings have been successfully used to develop efficient and powerful numerical methods for solving various nonlinear equations and variational problems, often of great importance for applications in various areas of pure and applied science. There exists an extensive literature on the subject of iterative fixed point construction processes for asymptotically nonexpansive mappings in Hilbert, Banach and metric spaces, see, e.g., [1,2,6,7,9,12,16,3036,3842] and the works referred there. Kozlowski proved convergence to fixed point of some iterative algorithms of asymptotic pointwise nonexpansive mappings in Banach spaces [25] and the existence of common fixed points of semigroups of pointwise Lipschitzian mappings in Banach spaces [26]. Recently, weak and strong convergence of such processes to common fixed points of semigroups of mappings in Banach spaces has been demonstrated by Kozlowski and Sims [28].
We would like to emphasize that all convergence theorems proved in this paper define constructive algorithms that can be actually implemented. When dealing with specific applications of these theorems, one should take into consideration how additional properties of the mappings, sets and modulars involved can influence the actual implementation of the algorithms defined in this paper.
The paper is organized as follows:
(a) Section 2 provides necessary preliminary material on modular function spaces.
(b) Section 3 introduces the asymptotic pointwise nonexpansive mappings and related notions.
(c) Section 4 deals with the Demiclosedness Principle which provides a critical stepping stone for proving almost everywhere convergence theorems.
(d) Section 5 utilizes the Demiclosedness Principle to prove the almost everywhere convergence theorem for generalized Mann process.
(e) Section 6 establishes the almost everywhere convergence theorem for generalized Ishikawa process.
(f) Section 7 provides the strong convergence theorem for both generalized Mann and Ishikawa processes for the case of a strongly compact set C.
2 Preliminaries
Let Ω be a nonempty set and Σ be a nontrivial σalgebra of subsets of Ω. Let
Definition 2.1 Let
(i)
(ii) ρ is monotone, i.e.,
(iii) ρ is orthogonally subadditive, i.e.,
(iv) ρ has the Fatou property, i.e.,
(v) ρ is order continuous in ℰ, i.e.,
Similarly, as in the case of measure spaces, we say that a set
where each
Definition 2.2 Let ρ be a regular function pseudomodular.
(1) We say that ρ is a regular convex function semimodular if
(2) We say that ρ is a regular convex function modular if
The class of all nonzero regular convex function modulars defined on Ω will be denoted by ℜ.
Let us denote
Remark 2.1 We limit ourselves to convex function modulars in this paper. However, omitting convexity in Definition 2.1 or replacing it by sconvexity would lead to the definition of nonconvex or sconvex regular function pseudomodulars, semimodulars and modulars as in [24].
Let ρ be a convex function modular.
(a) A modular function space is the vector space
(b) The following formula defines a norm in
In the following theorem, we recall some of the properties of modular spaces that will be used later on in this paper.
Let
(1)
(2)
(3) If
(4) If
(5) Let
(6)
(7) Defining
(a)
(b)
(c)
The following definition plays an important role in the theory of modular function spaces.
Definition 2.4 Let
whenever
Theorem 2.2Let
(a) ρhas
(b)
(c)
(d) if
(e) if
We will also use another type of convergence which is situated between norm and modular convergence. It is defined, among other important terms, in the following definition.
Definition 2.5 Let
(a) We say that
(b) A sequence
(c) A set
(d) A set
(e) A set
(f) A set
(g) A set
(h) A set
(i) Let
Let us note that ρconvergence does not necessarily imply ρCauchy condition. Also,
Proposition 2.1Let
(i)
(ii) ρballs
Let us compare different types of compactness introduced in Definition 2.5.
Proposition 2.2Let
(i) IfCisρcompact, thenCisρa.e. compact.
(ii) IfCis
(iii) Ifρsatisfies
Proof
(i) follows from Theorem 2.1 part (3).
(ii) follows from Theorem 2.1 part (2).
(iii) follows from (2.2) and from Theorem 2.2 part (e).
□
3 Asymptotic pointwise nonexpansive mappings
Let us recall the modular definitions of asymptotic pointwise nonexpansive mappings and associated notions, [18].
Definition 3.1 Let
(i) If
(ii) If
(iii) If
(iv) If
Denoting
Define
The above notation will be consistently used throughout this paper.
By
In this paper, we will impose some restrictions on the behavior of
Definition 3.2 Define
We recall the following concepts related to the modular uniform convexity introduced in [18]:
Definition 3.3 Let
Let
and
Definition 3.4 We say that ρ satisfies
We will need the following result whose proof is elementary. Note that for
Lemma 3.1Let
The notion of bounded away sequences of real numbers will be used extensively throughout this paper.
Definition 3.5 A sequence
We will need the following generalization of Lemma 4.1 from [18] and being a modular equivalent of a norm property in uniformly convex Banach spaces, see, e.g., [36].
Lemma 3.2Let
then
Proof Assume to the contrary that this is not the case and fix an arbitrary
while
Since
is also convex on
we conclude that
By (3.8) and (3.9)
By (3.12) the lefthand side of (3.13) tends to
By
Combining (3.14) with (3.15) we get
Letting
Let us introduce a notion of a ρtype, a powerful technical tool which will be used in the proofs of our fixed point results.
Definition 3.6 Let
Note that τ is convex provided ρ is convex. A typical method of proof for the fixed point theorems in Banach and metric spaces is to construct a fixed point by finding an element on which a specific type function attains its minimum. To be able to proceed with this method, one has to know that such an element indeed exists. This will be the subject of Lemma 3.3 below. First, let us recall the definition of the Opial property and the strong Opial property in modular function spaces, [15,17].
Definition 3.7 We say that
the following inequality holds for any
Definition 3.8 We say that
the following equality holds for any
Remark 3.1 Note that the ρa.e. Strong Opial property implies ρa.e. Opial property [15].
Remark 3.2 Also, note that, by virtue of Theorem 2.1 in [15], every convex, orthogonally additive function modular ρ has the ρa.e. strong Opial property. Let us recall that ρ is called orthogonally additive if
Note that the Opial property in the norm sense does not necessarily hold for several
classical Banach function spaces. For instance, the norm Opial property does not hold
for
Lemma 3.3[27]
Let
Let us finish this section with the fundamental fixed point existence theorem which will be used in many places in the current paper.
Theorem 3.1[18]
Assume
4 Demiclosedness Principle
The following modular version of the Demiclosedness Principle will be used in the
proof of our convergence Theorem 5.1. Our proof the Demiclosedness Principle uses
the parallelogram inequality valid in the modular spaces with the
Lemma 4.1Let
as
Proof It follows from 3.5 that there exists a finite constant
Using the convexity of ρ and the ρnonexpansiveness of T, we get
as
Corollary 4.1If, under the hypothesis of Lemma 4.1, ρsatisfies additionally the
The version of the Demiclosedness Principle used in this paper (Theorem 4.1) requires the uniform continuity of the function modular ρ in the sense of the following definition (see, e.g., [17]).
Definition 4.1 We say that
provided
Let us mention that the uniform continuity holds for a large class of function modulars.
For instance, it can be proved that in Orlicz spaces over a finite atomless measure
[37] or in sequence Orlicz spaces [11] the uniform continuity of the Orlicz modular is equivalent to the
Theorem 4.1Demiclosedness Principle. Let
(1) ρis
(2) ρhas strong Opial property,
(3) ρhas
Let
Proof Let us recall that by definition of uniform continuity of ρ to every
provided
as
Define the ρtype φ by
By (4.7) we get
Hence, for every
Using (4.10) with
Since ρ satisfies the strong Opial property, it also satisfies the Opial property. Since
which implies that
Combining (4.11) with (4.13), we have
that is,
We claim that
Assume to the contrary that (4.16) does not hold, that is,
By
for
for every
for every
where
Note that by (4.13)
Combining (4.22) with (4.23), we obtain
which implies
Letting
Using the properties of Ψ, we conclude that
5 Convergence of generalized Mann iteration process
The following elementary, easy to prove, lemma will be used in this paper.
Lemma 5.1[2]
Suppose
for each
Following Mann [29], let us start with the definition of the generalized Mann iteration process.
Definition 5.1 Let
Definition 5.2 We say that a generalized Mann iteration process
Remark 5.1 Observe that by the definition of asymptotic pointwise nonexpansiveness,
The following result provides an important technique which will be used in this paper.
Lemma 5.2Let
Proof Let
it follows that for every
Denote
The next result will be essential for proving the convergence theorems for iterative process.
Lemma 5.3Let
and
Proof By Theorem 3.1, T has at least one fixed point
Note that
and that
Set
Hence, it follows from Lemma 3.2 that
which by the construction of the sequence
as claimed. □
In the next lemma, we prove that under suitable assumption the sequence
Definition 5.3 A strictly increasing sequence
Lemma 5.4Let
Proof Let
for sufficiently large k. By the quasiperiodicity of
Note that by (5.6) and by
and therefore,
which demonstrates that
as
To prove that
which tends to zero in view of (5.5), (5.6) and (5.2). □
The next theorem is the main result of this section.
Theorem 5.1Let
(1) ρis
(2) ρhas Strong Opial Property,
(3) ρhas
Let
Proof Observe that by Theorem 4.1 in [18], the set of fixed points
as
We claim that
The contradiction implies that
Remark 5.2 It is easy to see that we can always construct a sequence
6 Convergence of generalized Ishikawa iteration process
The twostep Ishikawa iteration process is a generalization of the onestep Mann process. The Ishikawa iteration process, [10], provides more flexibility in defining the algorithm parameters, which is important from the numerical implementation perspective.
Definition 6.1 Let
Definition 6.2 We say that a generalized Ishikawa iteration process
Remark 6.1 Observe that, by the definition of asymptotic pointwise nonexpansiveness,
Lemma 6.1Let
Proof Define
It is easy to see that
where
and
Note that
Fix any
Arguing like in the proof of Lemma 5.2, we conclude that there exists an
Lemma 6.2Let
Then
or equivalently
Proof By Theorem 3.1,
Note that
Applying Lemma 3.2 with
Lemma 6.3Let
Proof Let
Since
The righthand side of this inequality tends to zero because
Lemma 6.4Let
Proof The proof is analogous to that of Lemma 5.4 with (6.11) used instead of (5.6) and (6.14) replacing (5.5). □
Theorem 6.1Let
(1) ρis
(2) ρhas Strong Opial Property,
(3) ρhas
Let
Proof The proof is analogous to that of Theorem 5.1 with Lemma 5.4 replaced by Lemma 6.4, and Lemma 5.2 replaced by Lemma 6.1. □
7 Strong convergence
It is interesting that, provided C is ρcompact, both generalized Mann and Ishikawa processes converge strongly to a fixed point of T even without assuming the Opial property.
Theorem 7.1Let
Proof By the ρcompactness of C, we can select a subsequence
Note that
which tends to zero by Lemma 5.3 (resp. Lemma 6.4) and by (7.2). By
Observe that by the convexity of ρ and by ρnonexpansiveness of T, we have
which tends to zero by (7.4) and by Lemma 5.3 (resp. Lemma 6.4). Hence
□
Remark 7.1 Observe that in view of the
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Both authors equally participated in all stages of preparations of this article. Both authors read and approved the final manuscript.
Acknowledgements
The authors would like to thank MA Khamsi for his valuable suggestions to improve the presentation of the paper.
References

Bose, SC: Weak convergence to the fixed point of an asymptotically nonexpansive. Proc. Am. Math. Soc.. 68, 305–308 (1978). Publisher Full Text

Bruck, R, Kuczumow, T, Reich, S: Convergence of iterates of asymptotically nonexpansive mappings in Banach spaces with the uniform Opial property. Colloq. Math.. 65(2), 169–179 (1993)

DominguezBenavides, T, Khamsi, MA, Samadi, S: Uniformly Lipschitzian mappings in modular function spaces. Nonlinear Anal.. 46, 267–278 (2001). Publisher Full Text

DominguezBenavides, T, Khamsi, MA, Samadi, S: Asymptotically regular mappings in modular function spaces. Sci. Math. Jpn.. 53, 295–304 (2001)

DominguezBenavides, T, Khamsi, MA, Samadi, S: Asymptotically nonexpansive mappings in modular function spaces. J. Math. Anal. Appl.. 265(2), 249–263 (2002). Publisher Full Text

Fukharuddin, H, Khan, AR: Approximating common fixed points of asymptotically nonexpansive maps in uniformly convex Banach spaces. Comput. Math. Appl.. 53, 1349–1360 (2009)

Gornicki, J: Weak convergence theorems for asymptotically nonexpansive mappings in uniformly convex Banach spaces. Comment. Math. Univ. Carol.. 30, 249–252 (1989)

Hajji, A, Hanebaly, E: Perturbed integral equations in modular function spaces. Electron. J. Qual. Theory Differ. Equ.. 20, 1–7 http://www.math.uszeged.hu/ejqtde/ (2003)

Hussain, N, Khamsi, MA: On asymptotic pointwise contractions in metric spaces. Nonlinear Anal.. 71(10), 4423–4429 (2009). Publisher Full Text

Ishikawa, S: Fixed points by a new iteration method. Proc. Am. Math. Soc.. 44, 147–150 (1974). Publisher Full Text

Kaminska, A: On uniform convexity of Orlicz spaces. Indag. Math.. 44(1), 27–36 (1982)

Khan, AR: On modified Noor iterations for asymptotically nonexpansive mappings. Bull. Belg. Math. Soc. Simon Stevin. 17, 127–140 (2010)

Khamsi, MA: Nonlinear semigroups in modular function spaces. Math. Jpn.. 37(2), 1–9 (1992)

Khamsi, MA: Fixed point theory in modular function spaces. Proceedings of the Workshop on Recent Advances on Metric Fixed Point Theory Held in Sevilla, September, 1995. 31–35 (1995)

Khamsi, MA: A convexity property in Modular function spaces. Math. Jpn.. 44(2), 269–279 (1996)

Khamsi, MA: On asymptotically nonexpansive mappings in hyperconvex metric spaces. Proc. Am. Math. Soc.. 132, 365–373 (2004). Publisher Full Text

Khamsi, MA, Kozlowski, WM: On asymptotic pointwise contractions in modular function spaces. Nonlinear Anal.. 73, 2957–2967 (2010). Publisher Full Text

Khamsi, MA, Kozlowski, WM: On asymptotic pointwise nonexpansive mappings in modular function spaces. J. Math. Anal. Appl.. 380(2), 697–708 (2011). Publisher Full Text

Khamsi, MA, Kozlowski, WM, Reich, S: Fixed point theory in modular function spaces. Nonlinear Anal.. 14, 935–953 (1990). Publisher Full Text

Khamsi, MA, Kozlowski, WM, Shutao, C: Some geometrical properties and fixed point theorems in Orlicz spaces. J. Math. Anal. Appl.. 155(2), 393–412 (1991). PubMed Abstract  Publisher Full Text

Kirk, WA, Xu, HK: Asymptotic pointwise contractions. Nonlinear Anal.. 69, 4706–4712 (2008). Publisher Full Text

Kozlowski, WM: Notes on modular function spaces I. Ann. Soc. Math. Pol., 1 Comment. Math.. 28, 91–104 (1988)

Kozlowski, WM: Notes on modular function spaces II. Ann. Soc. Math. Pol., 1 Comment. Math.. 28, 105–120 (1988)

Kozlowski, WM: Modular Function Spaces, Dekker, New York (1988)

Kozlowski, WM: Fixed point iteration processes for asymptotic pointwise nonexpansive mappings in Banach spaces. J. Math. Anal. Appl.. 377, 43–52 (2011). Publisher Full Text

Kozlowski, WM: Common fixed points for semigroups of pointwise Lipschitzian mappings in Banach spaces. Bull. Aust. Math. Soc.. 84, 353–361 (2011). Publisher Full Text

Kozlowski, WM: On the existence of common fixed points for semigroups of nonlinear mappings in modular function spaces. Ann. Soc. Math. Pol., 1 Comment. Math.. 51(1), 81–98 (2011)

Kozlowski, WM, Sims, B: On the convergence of iteration processes for semigroups of nonlinear mappings in Banach spaces (to appear)

Mann, WR: Mean value methods in iteration. Proc. Am. Math. Soc.. 4, 506–510 (1953). Publisher Full Text

Nanjaras, B, Panyanak, B: Demiclosed principle for asymptotically nonexpansive mappings in CAT(0) spaces. Fixed Point Theory Appl.. 2010, Article ID 268780 (2010)

Noor, MA, Xu, B: Fixed point iterations for asymptotically nonexpansive mappings in Banach spaces. J. Math. Anal. Appl.. 267, 444–453 (2002). Publisher Full Text

Passty, GB: Construction of fixed points for asymptotically nonexpansive mappings. Proc. Am. Math. Soc.. 84, 212–216 (1982). Publisher Full Text

Rhoades, BE: Fixed point iterations for certain nonlinear mappings. J. Math. Anal. Appl.. 183, 118–120 (1994). Publisher Full Text

Samanta, SK: Fixed point theorems in a Banach space satisfying Opial’s condition. J. Indian Math. Soc.. 45, 251–258 (1981)

Schu, J: Iterative construction of fixed points of asymptotically nonexpansive mappings. J. Math. Anal. Appl.. 158, 407–413 (1991). Publisher Full Text

Schu, J: Weak and strong convergence to fixed points of asymptotically nonexpansive mappings. Bull. Aust. Math. Soc.. 43, 153–159 (1991). Publisher Full Text

Tan, KK, Xu, HK: The nonlinear ergodic theorem for asymptotically nonexpansive mappings in Banach spaces. Proc. Am. Math. Soc.. 114, 399–404 (1992). Publisher Full Text

Tan, KK, Xu, HK: A nonlinear ergodic theorem for asymptotically nonexpansive mappings. Bull. Aust. Math. Soc.. 45, 25–36 (1992). Publisher Full Text

Tan, KK, Xu, HK: Approximating fixed points of nonexpansive mappings by the Ishikawa iteration process. J. Math. Anal. Appl.. 178, 301–308 (1993). Publisher Full Text

Tan, KK, Xu, HK: Fixed point iteration processes for asymptotically nonexpansive mappings. Proc. Am. Math. Soc.. 122, 733–739 (1994). Publisher Full Text

Xu, HK: Existence and convergence for fixed points of asymptotically nonexpansive type. Nonlinear Anal.. 16, 1139–1146 (1991). Publisher Full Text