Advancements in ﬁxed point theory in modular function spaces

The purpose of this paper is to give an outline of the recent results in ﬁxed point theory for asymptotic pointwise contractive and nonexpansive mappings, and semigroups of such mappings, deﬁned on some subsets of modular function spaces. Modular function spaces are natural generalizations of both function and sequence variants of many important, from applications perspective, spaces such as Lebesgue, Orlicz, Musielak–Orlicz, Lorentz, Orlicz–Lorentz, Calderon–Lozanovskii spaces and many others. In the context of the ﬁxed point theory, we will discuss foundations of the geometry of modular function spaces, and other important techniques like extensions of the Opial property and normal structure to modular spaces. We will present a series of existence theorems of ﬁxed points for nonlinear mappings, and of common ﬁxed points for semigroups of mappings. We will also discuss the iterative algorithms for the construction of the ﬁxed points of the asymptotic pointwise nonexpansive mappings and the convergence of such algorithms.

and convergence in submeasure. In many cases, particularly in applications to integral operators, approximation and fixed point results, modular type conditions are much more natural and modular type assumptions can be more easily verified than their metric or norm counterparts. There are also important results that can be proved only using the apparatus of modular function spaces. Khamsi et al. [36] gave an example of a mapping which is ρ-nonexpansive but it is not norm-nonexpansive. They demonstrated that for a mapping T to be norm-nonexpansive in a modular function space L ρ , a stronger than ρ-nonexpansiveness assumption is needed: ρ(λ(T (x) − T (x)) ≤ ρ(λ(x − y)) for any λ ≥ 0. From this perspective, the fixed point theory in modular function spaces should be considered as complementary to the fixed point theory in normed spaces and in metric spaces.
The proof of the principal fixed point existence result-Theorem 4.9-is of the existential nature and does not describe any algorithm for constructing a fixed point of an asymptotic pointwise ρ-nonexpansive mapping. 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. The author proved convergence to fixed points of some iterative algorithms applied to asymptotic pointwise nonexpansive mappings in Banach spaces [47]. The convergence of similar algorithms in modular function spaces was demonstrated in [13]. Existence of common fixed points of semigroups of pointwise Lipschitzian mappings in Banach spaces has been proved in [48]. Recently the weak and strong convergence of such processes to common fixed points of semigroups of mappings in Banach spaces was demonstrated by Kozlowski and Sims [50]. We would like to emphasize that all convergence theorems presented 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 existence of common fixed points for families of contractions and nonexpansive mappings in Banach spaces have been investigated since the early 1960s, see e.g. DeMarr [14], Browder [10], Belluce and Kirk [6,7], Lim [52], Bruck [11]. The asymptotic approach for finding common fixed points of semigroups of Lipschitzian (but not pointwise Lipschitzian) mappings has been also investigated for some time, see e.g. Tan and Xu [64]. It is worthwhile mentioning the recent studies on the special case, when the parameter set for the semigroup is equal to {0, 1, 2, 3, . . .} and T n = T n , the nth iterate of an asymptotic pointwise nonexpansive mapping, i.e., such a T : C → C that there exists a sequence of functions α n : C → [0, ∞) with T n (x) − T n (y) ≤ α n (x) x − y . Kirk and Xu [43] proved the existence of fixed points for asymptotic pointwise contractions and asymptotic pointwise nonexpansive mappings in Banach spaces, while Hussain and Khamsi [26] extended this result to metric spaces, and Khamsi and Kozlowski [34,35] to modular function spaces. In the context of modular function spaces with 2 -property, Khamsi [30] discussed the existence of nonlinear semigroups in Musielak-Orlicz spaces and considered some applications to differential equations. The general existence of common fixed points for semigroups of mappings acting in modular function spaces was proved by Kozlowski [49].
The paper is organized as follows: (a) Section 2 provides necessary preliminary material and establishes the terminology and key notation conventions. (b) Section 3 gives a brief exposition of the theory of the modular function space geometry and associated notions. (c) Section 4 presents the fixed point existence theorems for asymptotic pointwise contractive and nonexpansive mappings acting in modular function spaces. (d) Section 5 discusses convergence to fixed points for generalized Mann and Ishikawa iterative processes. (e) Section 6 explores existence of common fixed points of semigroups of mappings acting in modular function spaces.

Modular function spaces
Let be a nonempty set and be a nontrivial σ -algebra of subsets of . Let P be a δ-ring of subsets of , such that E ∩ A ∈ P for any E ∈ P and A ∈ . Let us assume that there exists an increasing sequence of sets K n ∈ P such that = K n . By E we denote the linear space of all simple functions with supports from P. By M ∞ we will denote the space of all extended measurable functions, i.e., all functions f : → [−∞, ∞] such that there exists a sequence {g n } ⊂ E, |g n | ≤ | f | and g n (ω) → f (ω) for all ω ∈ . By 1 A we denote the characteristic function of the set A.
be a nontrivial, convex and even function. We say that ρ is a regular convex function pseudomodular if: Similarly as in the case of measure spaces, we say that a set A ∈ is ρ-null if ρ(g1 A ) = 0 for every g ∈ E. We say that a property holds ρ-almost everywhere if the exceptional set is ρ-null. As usual we identify any pair of measurable sets whose symmetric difference is ρ-null as well as any pair of measurable functions differing only on a ρ-null set. With this in mind we define where each f ∈ M( , , P, ρ) is actually an equivalence class of functions equal ρ-a.e. rather than an individual function. Where no confusion exists we will write M instead of M( , , P, ρ).

Definition 2.2
Let ρ be a regular convex function pseudomodular.
(1) We say that ρ is a regular convex function semimodular if ρ(α f ) = 0 for every α >0 implies f = 0 ρ −a.e.; (2) We say that ρ is a regular convex function modular if ρ( f ) = 0 implies f = 0 ρ − a.e.; The class of all nonzero regular convex function modulars defined on will be denoted by .
It is easy to prove that ρ( f, E) is a function pseudomodular in the sense of Def.2.1.1 in [46] (more precisely, it is a function pseudomodular with the Fatou property). Therefore, we can use all results of the standard theory of modular function spaces as per the framework defined by Kozlowski [44][45][46], see also Musielak [57] for the basics of the general modular theory. Remark 2. 3 We limit ourselves to convex function modulars in this paper. However, omitting convexity in Definition 2.1 or replacing it by s-convexity would lead to the definition of nonconvex or s-convex regular function pseudomodulars, semimodulars and modulars as in [46]. [44][45][46] Let ρ be a convex function modular.

Definition 2.4
(a) A modular function space is the vector space L ρ ( , ), or briefly L ρ , defined by The following formula defines a norm in L ρ (frequently called Luxemburg norm): In this way, Orlicz space is an example of modular function space where the function modular ρ is defined by and Musielak-Orlicz space by provided φ satisfies necessary conditions, see [46,51,57]. In the following theorem, we recall some of the properties of modular spaces that will be used later on in this paper.
There exists a nondecreasing sequence of sets H k ∈ P such that H k ↑ and { f n } converges uniformly to f on every H k (Egoroff Theorem).
(Note: this property is equivalent to the Fatou Property).
The following definition plays an important role in the theory of modular function spaces.
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.
e. closed if for any { f n } in C which ρ-a.e. converges to some f, then we must have f ∈ C. (h) A set C ⊂ L ρ is called ρ-a.e. compact if for any { f n } in C, there exists a subsequence { f n k } which ρ-a.e.
converges to some f ∈ C.
(i) Let f ∈ L ρ and C ⊂ L ρ . The ρ-distance between f and C is defined as Let us note that ρ-convergence does not necessarily imply ρ-Cauchy condition. Also, f n → f does not imply in general λ f n → λ f, λ > 1. Using Theorem 2.5 it is not difficult to prove the following Proposition 2.9 Let ρ ∈ .
Let us compare different types of compactness introduced in Definition 2.8.

Geometrical properties of modular function spaces
Let us start with the introduction of modular definitions of pointwise contractions, asymptotic pointwise mappings and associated notions [34,35].

Definition 3.2
Let ρ ∈ and let C ⊂ L ρ be nonempty and ρ-closed. A mapping T : C → C is called an asymptotic pointwise mapping if there exists a sequence of mappings α n : C → [0, ∞) such that (i) If α n ( f ) = 1 for every f ∈ L ρ and every n ∈ N, then T is called ρ-nonexpansive or shortly nonexpansive. (ii) If {α n } converges pointwise to α : C → [0, 1), then T is called asymptotic pointwise contraction. (iii) If lim sup n→∞ α n ( f ) ≤ 1 for any f ∈ L ρ , then T is called asymptotic pointwise nonexpansive. (iv) If lim sup n→∞ α n ≤ 1 for any f ∈ L ρ , i.e., α n is constant for every n, then T is called asymptotically nonexpansive.
Questions are sometimes asked whether the theory of modular function spaces provides general methods for the consideration of fixed point properties, similarly as this is the case in the Banach space setting. We believe that recent results, see e.g. [3,13,34,35], provide further evidence for the existence of such a general theory. Indeed, the most common approach in the Banach space fixed point theory for generalized nonexpansive mappings is to assume the uniform convexity of the norm which implies the reflexivity, and-via the Milman Theorem-guarantees the weak compactness of the closed bounded sets. As we will see, the notion of a uniform convexity of function modulars in conjunction with the property (R) being the modular equivalence of the Banach space reflexivity [34,35,37], equips us with the powerful tools for proving the fixed point property in modular function spaces. Let us recall that the property (R) represents the most important, from the fixed point theory viewpoint, geometric characterization of reflexive spaces: every nonincreasing sequence of nonempty, convex, bounded sets has a nonempty intersection. The property (R) also aligns well to the metric equivalents of reflexivity defined by the notions of compact convexity structures [26]. This idea has been further developed in [3] to introduce notions of admissible sets and related modular versions of normal and compact convexity structures. All of this provides a set of powerful techniques for proving existence of common fixed points for commutative families of mappings acting in modular function spaces, and for investigating the topological properties of the set of common fixed points.
Let us start with the discussion of the modular equivalents of uniform convexity of ρ. As demonstrated below, one concept of uniform convexity in normed spaces generates several different types of uniform convexity in modular function spaces. This is due primarily to the fact that in general modulars are not homogeneous.
(ii) Note that Proposition 3.5 [35] The following conditions characterize relationship between the above defined notions: Remark 3.6 Observe that, denoting ρ α (u) = αρ(u), and the corresponding moduli of convexity by δ ρ α ,i , is any of the conditions from Definition 3.3, if and only if there exists α > 0 such that ρ α is (U C x). In particular, taking α = 1 r , it is enough to prove any of the conditions defining (U C x) with r = 1.
Remark 3.7 Note that the uniform convexity of ρ defined in [37] coincides with our (UC2). In the same paper, the authors proved that in Orlicz spaces over a finite, atomless measure space, both conditions (UC2) and (UUC2) are equivalent.
Remark 3.8 It is known that for a wide class of modular function spaces with the 2 property, the uniform convexity of the Luxemburg norm is equivalent to (UC1). For example, in Orlicz spaces this result can be traced to early papers by Luxemburg [53], Milnes [55], Akimovic [2], and Kaminska [28]. It is also known that, under suitable assumptions, (UC2) in Orlicz spaces is equivalent to the very convexity of the Orlicz function [37,63] and that the uniform convexity of the Orlicz function implies (UC1) [28]. Typical examples of Orlicz functions that do not satisfy the 2 condition but are uniformly convex (and hence very convex) are: ϕ 1 (t) = e |t| − |t| − 1 and ϕ 2 (t) = e t 2 − 1, [51,55]. See also [25] for the discussion of some geometrical properties of Calderon-Lozanovskii and Orlicz-Lorentz spaces.
The notion of bounded away sequences of real numbers will be used extensively throughout this section.
The following lemma provides a modular equivalent of a well-known norm property in uniformly convex Banach spaces, see e.g. [62]. It introduces a useful technique which is used extensively for investigating convergence to fixed points in the (UUC1) modular function spaces. It was introduced in [35] for the case t n = 1 Lemma 3.10 Let ρ ∈ be (UUC1) and let {t n } ⊂ (0, 1) be bounded away from 0 and 1. If there exists R > 0 such that In the next theorem, we investigate relationship between the uniform convexity of function modulars and the Unique Best Approximant property (for other results on best approximation in modular function spaces, see e.g. [38]). This result, Theorem 3.11 below, is used in the proofs of Theorem 3.12 and Theorem 3.14 to establish relationship between the modular uniform convexity and the property (R) which is a modular equivalent of the Milman-Pettis theorem stating that uniform convexity of a Banach space implies its reflexivity.
Theorem 3.11 [35] Assume ρ ∈ is (UUC2). Let C ⊂ L ρ be nonempty, convex, and ρ-closed. Let f ∈ L ρ be such that d = d ρ ( f, C) < ∞. There exists then a unique best ρ-approximant of f in C, i.e., a unique g 0 ∈ C such that The uniqueness part follows immediately from the Strict Convexity (SC) of ρ (see Proposition 3.5, Part 4). The existence can be proved using the properties of the modulus of convexity and the completeness of the space L ρ .
The Unique Best Approximant property of the (UUC2) modular function spaces is used for establishing the property (R). As elaborated previously, this is parallel to the well known fact that uniformly convex Banach spaces are reflexive. The countable version of this theorem was proved in [35]. In this paper, we provide a more general version following [3]. The property (R) will be essential for the proof of several fixed point theorems in modular function spaces.
Following [37], let us formally define the property (R). Definition 3. 13 We say that L ρ has property (R) if and only if every nonincreasing sequence {C n } of nonempty, ρ-bounded, ρ-closed, convex subsets of L ρ has nonempty intersection.
As an immediate consequence of Theorem 3.12 we get the following result.
We will establish now a modular version of the parallelogram inequality for uniformly convex modular function spaces. The parallelogram property plays a critical role in the proof of the main fixed point theorem. See the papers of Xu [65] and Beg [5] for the norm and metric versions, respectively.
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.16
Let C ⊂ L ρ be convex and ρ-bounded. A function τ : C → [0, ∞] is called a ρ-type (or shortly a type) if there exists a sequence {x k } of elements of C such that for any x ∈ C there holds Note that τ is convex provided ρ is convex.
The following lemma establishes a crucial minimizing sequence property of uniformly convex modular function spaces. It will be used in conjunction with the parallelogram property in the proof of the main fixed point result in modular function spaces-Theorem 4.9.

Lemma 3.18
Assume that ρ ∈ is (UUC1). Let C be a ρ-closed ρ-bounded convex nonempty subset. Let τ be a ρ-type defined on C. Then any minimizing sequence of τ is ρ-convergent. Its limit is independent of the minimizing sequence.
Let us introduce modular notions of the Chebyshev radius and of the Chebyshev center which play an important role in the fixed point theory in modular function spaces and will also allow us to introduce a concept of a ρ-normal structure.
(c) The ρ-Chebyshev center of C is defined as the set for all f ∈ C, and observe that there is no reason, in general, for C ρ (C) to be nonempty. Definition 3.20 [3] Let ρ ∈ and C ⊂ L ρ be nonempty and ρ-bounded. We say that A ⊂ L ρ is an admissible where b i ∈ C, r i ≥ 0 and I is an arbitrary index set. By A(C) we denote the family of all admissible subsets of C.
Observe that if C is ρ-bounded, then C ∈ A(C). The concept of a normal structure was introduced by Brodskii and Milman [9] for the case of linear normed spaces. It was frequently used to prove existence theorems in fixed point theory. The modular version of normal structure was initially introduced in [36].
(1) We say that A(C) is ρ-normal if for any nonempty A ∈ A(C), which has more than one point, we have R ρ (C) < δ ρ (C).

(2) We say that A(C) is compact if for any family
provided that α∈F A α = ∅ for any finite subset F of .
We summarize relationships between the above notions in the following remark.

Remark 3.22 (i) It follows directly from the definition that if A(L ρ ) is compact, then L ρ has property R.
(ii) Let ρ ∈ be (UUC2) and let C ⊂ L ρ be nonempty, convex, ρ-closed, and ρ-bounded. It follows from Theorem 3.12 that A(C) is compact. (iii) It is easy to prove that under the assumptions of remark (ii), A(C) is ρ-normal [3].
Let us recall the definition of the Opial property and the Strong Opial property in modular function spaces [31,34]. Definition 3. 23 We say that L ρ satisfies the ρ-a.e. Opial property if for every { f n } ∈ L ρ which is ρ-a.e. convergent to 0 such that there exists β > 1 for which the following inequality holds for any g ∈ E ρ not equal to 0 (3.10) Definition 3. 24 We say that L ρ satisfies the ρ-a.e. Strong Opial property if for every { f n } ∈ L ρ which is ρ-a.e. convergent to 0 such that there exists β > 1 for which the following equality holds for any g ∈ E ρ lim inf Remark 3.25 Note that the ρ-a.e. Strong Opial property implies ρ-a.e. Opial property [31]. 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 L p spaces for 1 ≤ p = 2 while the modular Strong Opial property holds in L p for all p ≥ 1.
A typical method of proof for the fixed point theorems 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. In modular function spaces, the ρ-types are not in general lower semicontinuous in any strong or weak sense and therefore one needs additional assumptions to ensure that ρ-types attain their minima. It turns out that for ρ-a.e. compact sets C the Strong Opial property can be such a convenient additional assumption. Theorem 3.27 [49] Let ρ ∈ . Assume that L ρ has the ρ-a.e. Strong Opial property. Let C ⊂ E ρ be a nonempty, strongly ρ-bounded and ρ-a.e. compact convex set. Then any ρ-type defined in C attains its minimum in C.

Existence of fixed points for mappings in modular function spaces
Fixed point theorems has been used extensively in the theory of integral equations and integral inequalities. Since 1930s, many prominent mathematicians like Orlicz and Birnbaum recognized that using the methods of L p -spaces alone created many complications and in some cases did not allow to solve some non-power type integral equations, see [8]. Hence introduction and then intensive application of the theory of Orlicz spaces and Musielak-Orlicz spaces for solving such problems, see e.g. [51,57]. These attempts, however, used the norm structures implied by the modulars and hence met several difficulties; some of them discussed towards the end of the previous chapter. As mentioned there, there are examples of ρ-nonexpansive mappings that are not nonexpansive with respect to the norm associated with this modular. Consider for instance the following situation: let = (0, ∞), let be the σ -algebra of all Lebesgue measurable subsets of (0, ∞). Define a function modular by It can be shown [36] that the operator T : B → B is ρ-nonexpansive but it is not nonexpansive with respect to the norm associated with ρ. In the same paper (see also [46]) it is shown that in some prominent cases such as Urysohn operators of certain types, given an operator T one can construct a function modular ρ T in such a way that T is ρ T -nonexpansive.
For ρ-contractions the most natural way seems to be to obtain a version of Banach contraction principle somehow mimicking Banach's original proof. Indeed, the pioneering result from [36] attempts to do this. We quote this result using the notation from the current paper. As in many early results, the authors assumed the 2 property.
Theorem 4.1 [36] Let ρ ∈ satisfy 2 . Let C ⊂ L ρ be nonempty, ρ-closed and ρ-bounded. Let T : C → C be a ρ-contraction. Then T has a unique fixed point x 0 ∈ C. Moreover the orbit {T n (x)} converges to x 0 for any x ∈ C.
The authors generalized the above result to a non-2 case but assumed in addition that C is ρ-a.e. compact and that C − C ⊂ L 0 ρ , see Theorem 2.9 in [36]. Recent results obtained by Khamsi and Kozlowski extended Theorem 4.1 to the case of pointwise ρ-contractions and asymptotic pointwise ρ-contractions replacing 2 by generally less restrictive condition of uniform continuity of ρ. Definition 4. 2 We will say that the function modular ρ is uniformly continuous if for every ε > 0 and L > 0 there exists δ > 0 such that (4.2) Theorem 4.3 [34] Let us assume that ρ ∈ is uniformly continuous and has property (R). Let C ⊂ L ρ be nonempty, convex, ρ-closed and ρ-bounded. Let T : C → C be a pointwise ρ-contraction. Then T has a unique fixed point x 0 ∈ C. Moreover the orbit {T n (x)} converges to x 0 for any x ∈ C.
Proof The proof uses the technique of the ρ-Chebyshev radius. In particular, it is based on a result showing that if ρ is uniformly continuous, then the infimum of a sequence of ρ-Chebyshev radii is ρ-lower semicontinuous in K ∞ , where K ∞ is a nonempty intersection of a nonincreasing sequence of nonempty, convex, ρ-closed subsets of C. See Lemma 3.1 and Theorem 3.1 in [34] for details.
Theorem 4.4 [34] Let us assume that ρ ∈ is uniformly continuous and has property (R) . Let C ⊂ L ρ be nonempty, convex, ρ-closed, and ρ-bounded. Let T : C → C be an asymptotic pointwise ρ-contraction. Then T has a unique fixed point x 0 ∈ C. Moreover, the orbit {T n (x)} converges to x 0 for any x ∈ C.
Proof The proof utilizes the technique of ρ-types and is based on the fact that if ρ is uniformly continuous then any ρ-type is ρ-lower semicontinuous. See Lemma 4.1 and Theorem 4.1 in [34] for details.

Remark 4.5
Let us mention that 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 [63] or in sequence Orlicz spaces [28] the uniform continuity of the Orlicz modular is equivalent to the 2 -type condition.
In order to deal with the modulars not necessarily being uniformly continuous, the following results have been proven. Observe how they generalize Theorem 4.1 to the pointwise and asymptotic pointwise case. The proofs again use the similar techniques to these applied for the uniformly continuous case. Theorem 4.6 [34] Let ρ ∈ . Assume that L ρ has the ρ-a.e. Strong Opial property. Let C ⊂ E ρ be a nonempty, ρ-a.e. compact convex set such that there exists β > 1 such that δ ρ (β C) = sup{ρ(β(x − y)); x, y ∈ C} < ∞. Then any T : C → C pointwise ρ-contraction has a unique fixed point x 0 ∈ C. Moreover, the orbit {T n (x)} converges to x 0 , for any x ∈ C. Theorem 4.7 [34] Let ρ ∈ . Assume that L ρ has the ρ-a.e. Strong Opial property. Let C ⊂ E ρ be a nonempty, ρ-a.e. compact convex set such that there exists β > 1 such that δ ρ (β C) = sup{ρ(β(x − y)); x, y ∈ C} < ∞. Then any T : C → C asymptotic pointwise ρ-contraction has a unique fixed point x 0 ∈ C. Moreover the orbit {T n (x)} converges to x 0 , for any x ∈ C.
Similarly as in the Banach space setting, the fixed point existence theorems for the ρ-nonexpansive mappings (and for their pointwise and pointwise asymptotic generalizations) were much harder to obtain. Early attempts assumed several growth control conditions and assumed some absolute continuity type behavior of ρ-convergent sequences of functions (see e.g. Theorem 2.13 in [36]). A more advanced results started showing up in the early 2000s. Let us quote an interesting result by Dominguez-Benavides, Khamsi and Samadi, Theorem 4.2 in [18]. Note however that this theorem still assumes 2 and ρ-a.e. compactness and hence is still far from the elegance of the Browder/Gohde/Kirk classic fixed point result for Banach spaces.
It was only after a proper modular function space geometry was established by Khamsi and Kozlowski [35] that it was possible to prove an elegant modular version of the Browder/Gohde/Kirk fixed point theorem. Below we present this main result of the modular function space fixed point theory. We also outline its proof. The reader is referred to [35] for further details. Theorem 4.9 [35] Assume ρ ∈ is (UUC1). Let C be a ρ-closed ρ-bounded convex nonempty subset of L ρ . Then any T : C → C pointwise asymptotically nonexpansive mapping has a fixed point. Moreover, the set of all fixed points F(T ) is convex and ρ-closed.
Observe that the statement of the above theorem is completely parallel to that of the Browder/Gohde/Kirk classic fixed point theorem but formulated purely in terms of function modulars without any reference to norms. Also, note that Theorem 4.9 extends outside nonexpansiveness and assumes merely asymptotic pointwise ρ-nonexpansiveness of the mapping T. Therefore, Theorem 4.9 can be actually understood as the modular equivalent of the theorem by Kirk and Xu [43].
The working of our theory can be summarized as follows: (1) The Uniform Convexity Property implies The Unique Best Approximant Property (Theorem 3.11).
(2) The Uniform Convexity Property via The Unique Best Approximant Property implies The Property (R) (Theorem 3.14). pointwise nonexpansive mappings (Theorem 4.9); the modular limit of a minimizing sequence for a type function defined by an orbit is an obvious candidate for a fixed point. This is indeed the case.

Convergence of fixed points iterative algorithms in modular function spaces
Assume ρ ∈ is (UUC1). Let C be a ρ-closed ρ-bounded convex nonempty subset of L ρ . Let T : C → C be a pointwise asymptotically nonexpansive mapping. According to Theorem 4.9, the mapping T has a fixed point. 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 chapter aims at filling this gap.
Denoting a n (x) = max(α n (x), 1), we note that without loss of generality we can assume that T is asymptotically pointwise nonexpansive if ρ(T n (x) − T n (y)) ≤ a n (x)ρ(x − y) for all x, y ∈ C, n ∈ N, (5.1) lim n→∞ a n (x) = 1, a n (x) ≥ 1 for all x ∈ C, and n ∈ N.
Define b n (x) = a n (x) − 1. In view of (5.2), we have The above notation will be consistently used throughout this paper.
By T (C) we will denote the class of all asymptotic pointwise nonexpansive mappings T : C → C.
In this section, we will impose some restrictions on the behavior of a n and b n . This type of assumptions is typical for controlling the convergence of iterative processes for asymptotically nonexpansive mappings, see e.g. [47].
a n is a bounded function for every n ≥ 1. (5.5) The following modular version of the Demiclosedness Principle will be used in the proof of our convergence Theorem 5.6. Our proof the Demiclosedness Principle uses the parallelogram inequality valid in the modular spaces with the (UUC1) property (see Lemma 4.2 in [35]).
Following the original paper by Mann [54], let us start with the definition of the generalized Mann iteration process.

Definition 5.3
Let T ∈ T r (C) and let {n k } be an increasing sequence of natural numbers. Let {t k } ⊂ (0, 1) be bounded away from 0 and 1. The generalized Mann iteration process generated by the mapping T, the sequence {t k }, and the sequence {n k }, denoted by gM(T, {t k }, {n k }) is defined by the following iterative formula: Theorem 5.6 [13] Let ρ ∈ . Assume that Remark 5.7 It is easy to see that we can always construct a sequence {n k } with the quasi-periodic properties specified in the assumptions of Theorem 5.6. When constructing concrete implementations of this algorithm, the difficulty will be to ensure that the constructed sequence {n k } is not "too sparse" in the sense that the generalized Mann process gM(T, {t k }, {n k }) remains well defined. The similar, quasi-periodic type assumptions are common in the asymptotic fixed point theory, see e.g. [12,47,50].
The two-step Ishikawa iteration process is a generalization of the one-step Mann process. The Ishikawa iteration process [27], provides more flexibility in defining the algorithm parameters which is important from the numerical implementation perspective.  Theorem 5.11 [13] Let ρ ∈ . Assume that 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.

Semigroups of mappings in modular function spaces
Let us recall that a family {T t } t≥0 of mappings forms a semigroup if T 0 (x) = x, T s+t = T s (T t (x)). Such a situation is quite typical in mathematics and applications. For instance, in the theory of dynamical systems, the modular function space L ρ would define the state space and the mapping (t, x) → T t (x) would represent the evolution function of a dynamical system. The question about the existence of common fixed points, and about the structure of the set of common fixed points, can be interpreted as a question whether there exist points that are fixed during the state space transformation T t at any given point of time t, and if yes-what the structure of a set of such points may look like. In the setting of this paper, the state space may be an infinite dimensional. Therefore, it is natural to apply these result to not only to deterministic dynamical systems but also to stochastic dynamical systems. Let us start with the modular definitions of Lipschitzian-in the modular sense-mappings, and of associated definitions of semigroups of nonlinear mappings. Definition 6.1 Let ρ ∈ and let C ⊂ L ρ be nonempty and ρ-closed. A mapping T : C → C is called a ρ-Lipschitzian if there exists a constant 0 < L such that Definition 6.2 A one-parameter family F = {T t ; t ≥ 0} of mappings from C into itself is said to be a ρ-Lipschitzian (resp., ρ-nonexpansive) semigroup on C if F satisfies the following conditions: ) for x ∈ C and t, s ≥ 0; (iii) for each t ≥ 0, T t is ρ-Lipschitzian (resp., ρ-nonexpansive). Definition 6.3 A one-parameter family F = {T t ; t ≥ 0} of mappings from C into itself is said to be a ρ-contractive semigroup on C if F satisfies the following conditions: (T s (x)) for x ∈ C and t, s ≥ 0; (iii) for each t ≥ 0, T t is a ρ-contraction with a constant 0 < L t < 1 such that lim sup t→∞ L t < 1.
The following two theorems demonstrate the existence of common fixed points for contractive and nonexpansive semigroups, respectively. Theorem 6.4 [49] Let ρ ∈ . Assume that L ρ has the ρ-a.e. Strong Opial property. Let C ⊂ E ρ be a nonempty, ρ-a.e. compact convex subset such that δ ρ (β C) = sup{ρ(β(x − y)); x, y ∈ C} < ∞, for some β > 1. Let F be a ρ-contractive semigroup on C. Then F has a unique common fixed point z ∈ C and for each u ∈ C, ρ(T t (u) − z) → 0 as t → ∞. Theorem 6.5 [49] Assume ρ ∈ is (UUC1). Let C be a ρ-closed ρ-bounded convex nonempty subset. Let F be a nonexpansive semigroup on C. Then the set F(F) of common fixed points is nonempty, ρ-closed and convex.
Recently, Al-Mezel et al. [3] proved a partial generalization of the second theorem. Theorem 6.6 [3] Assume ρ ∈ is (UUC1). Let C be a ρ-closed ρ-bounded convex nonempty subset of L ρ . Then any family F = {T i : i ∈ I } of commutative ρ-nonexpansive mappings defined on C has a common fixed point. Moreover, the set of all common fixed points denoted F(F) is a one-local retract of C.
Let us recall that a nonempty subset D of C is said to be a one-local retract of C if for every family {B i : i ∈ I } of ρ-balls centered in D such that C ∩ i∈I B i = ∅, there holds D ∩ i∈I B i = ∅. Theorem 6.6 is a corollary from even more general result: Theorem 6.7 [3] Let ρ ∈ and let C be a ρ-closed ρ-bounded convex nonempty subset of L ρ . Assume that A(C) is compact and ρ-normal. Then any family F = {T i : i ∈ I } of commutative ρ-nonexpansive mappings defined on C has a common fixed point. Moreover, the set of all common fixed points denoted F(F) is a one-local retract of C.
One can ask a legitimate question about existence of natural examples of semigroups of nonlinear mappings in modular function spaces and their applications. We will present examples addressing these issues. Khamsi [30] considered the following initial value problem. Theorem 6.8 [30] Let ρ be a convex Musielak-Orlicz function modular, and C ⊂ L ρ be ρ-closed, ρ-bounded and convex. Let T : C → C be ρ-nonexpansive and norm-continuous, and let f ∈ C and A > 0 be fixed. Consider the following initial value problem: It can be proved that {S t } forms a ρ-nonexpansive semigroup of nonlinear mappings in the sense of Definition 6.2. Hence, if in addition ρ is (UCC1), it follows from Theorem 6.5 that the set of common fixed points for {S t } is nonempty. To interpret this fact, observe that if f 0 is such a common fixed point and we place the initial value of our system (6.1) at f 0 , then this point becomes a stationary point of the system, i.e., the constant function u f 0 (t) = f 0 for every t is the solution of (6.1). These results can be extended to systems where T is a ρ-Lipschitz operator [1], and applied to the perturbed integral equations in modular function spaces [24].
There exists an extensive literature on the question of representation of some types of semigroups of nonlinear mapings acting in Banach spaces, see e.g. [19,29,[58][59][60]. It would be interesting to consider similar representation questions in modular function spaces.
Similarly, it would be interesting to discuss the modular ergodic theory for non-linear semigroups defined in modular function spaces. For the Banach space results of this type, see e.g. [56,61,64].
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.