 Research
 Open Access
 Published:
Convergence of Ishikawa iterates of two mappings in modular function spaces
Fixed Point Theory and Applications volume 2014, Article number: 74 (2014)
Abstract
We establish convergence in the modular sense of an iteration scheme associated with a pair of mappings on a nonlinear domain in modular function spaces. In particular, we prove that such a scheme converges to a common fixed point of the mappings. Our results are generalization of known similar results in the nonmodular setting. In particular, we avoid smoothness of the norm in the case of Banach spaces and that of the triangle inequality of the distance in metric spaces.
MSC:47H09, 46B20, 47H10, 47E10.
1 Introduction and basic definitions
The earliest attempts to generalize the classical function spaces ${L}^{p}$ of Lebesgue type were made in the early 1930s by Orlicz and Birnbaum in connection with orthogonal expansions. Their approach consisted in considering spaces of functions with some growth properties different from the power type growth control provided by the ${L}^{p}$norms. Namely, they considered the function spaces defined as follows:
where $\phi :[0,\mathrm{\infty}]\to [0,\mathrm{\infty}]$ was assumed to be a convex function increasing to infinity, i.e. the function which to some extent behaves similar to power functions $\phi (t)={t}^{p}$. Later on, the assumption of convexity for Orlicz functions φ was frequently omitted. Let us mention two typical examples of such functions:
The possibility of introducing the structure of a linear metric in ${L}^{\phi}$ as well as the interesting properties of these spaces and many applications to differential and integral equations with kernels of nonpower types were among the reasons for the development of the theory of Orlicz spaces, their applications, and generalizations for more than half a century.
We may observe two principal directions of further development. The first is the theory of Banach function spaces initiated in 1955 by Luxemburg [1] and developed further in a series of joint papers with Zaanen [2]. The second one is inspired by the theory of Orlicz spaces, based on replacing the particular integral form of the nonlinear functional, which controls the growth of members of the space, by an abstract given functional with some good properties. This idea was the basis of the theory of modular spaces initiated by Nakano [3] in connection with the theory of order spaces and redefined and generalized by Luxemburg and Orlicz in 1959. Such spaces have been studied for almost 40 years and a number of applications of such spaces in various parts of analysis, probability, and mathematical statistics are known.
In this paper, we will consider modular spaces which lie somewhere in between the abstract modular theory and MusielakOrlicz theory, i.e. the class of modular spaces given by modulars not of any particular form but, nevertheless, having much more convenient properties than the abstract modulars can possess. In other words, we present a useful tool for applications whenever there is a need to introduce a function space by means of functionals which have some reasonable properties but are far from being norms or Fnorms.
Let us introduce basic notions in modular function spaces and related notations which will be used in this chapter. For further details we refer the reader to preliminary sections of the recent articles [4–6] or to the survey article [7]; see also [8–10] for the standard framework of modular function spaces.
Let Ω be a nonempty set and Σ be a nontrivial σalgebra of subsets of Ω. Let be a δring of subsets of Ω, such that $E\cap A\in \mathcal{P}$ for any $E\in \mathcal{P}$ and $A\in \mathrm{\Sigma}$. Let us assume that there exists an increasing sequence of sets ${K}_{n}\in \mathcal{P}$ such that $\mathrm{\Omega}=\bigcup {K}_{n}$. By ℰ we denote the linear space of all simple functions with support from . By ${\mathcal{M}}_{\mathrm{\infty}}$ we will denote the space of all extended measurable functions, i.e. all functions $f:\mathrm{\Omega}\to [\mathrm{\infty},\mathrm{\infty}]$ such that there exists a sequence $\{{g}_{n}\}\subset \mathcal{E}$, ${g}_{n}\le f$ and ${g}_{n}(\omega )\to f(\omega )$ for all $\omega \in \mathrm{\Omega}$. By ${1}_{A}$ we denote the characteristic function of the set A.
Definition 1.1 [10]
Let $\rho :{\mathcal{M}}_{\mathrm{\infty}}\to [0,\mathrm{\infty}]$ be a nontrivial, convex, and even function. We say that ρ is a regular convex function pseudomodular if:

(i)
$\rho (0)=0$;

(ii)
ρ is monotone, i.e. $f(\omega )\le g(\omega )$ for all $\omega \in \mathrm{\Omega}$ implies $\rho (f)\le \rho (g)$, where $f,g\in {\mathcal{M}}_{\mathrm{\infty}}$;

(iii)
ρ is orthogonally subadditive, i.e. $\rho (f{1}_{A\cup B})\le \rho (f{1}_{A})+\rho (f{1}_{B})$ for any $A,B\in \mathrm{\Sigma}$ such that $A\cap B\ne \mathrm{\varnothing}$, $f\in \mathcal{M}$;

(iv)
ρ has the Fatou property, i.e. ${f}_{n}(\omega )\uparrow f(\omega )$ for all $\omega \in \mathrm{\Omega}$ implies $\rho ({f}_{n})\uparrow \rho (f)$, where $f\in {\mathcal{M}}_{\mathrm{\infty}}$;

(v)
ρ is order continuous in ℰ, i.e. ${g}_{n}\in \mathcal{E}$ and ${g}_{n}(\omega )\downarrow 0$ implies $\rho ({g}_{n})\downarrow 0$.
Similarly, as in the case of measure spaces, we say that a set $A\in \mathrm{\Sigma}$ is ρnull if $\rho (g{1}_{A})=0$ for every $g\in \mathcal{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 $\mathcal{M}=\{f\in {\mathcal{M}}_{\mathrm{\infty}};f(\omega )<\mathrm{\infty}\phantom{\rule{0.25em}{0ex}}\rho \text{a.e.}\}$, where each element is actually an equivalence class of functions equal ρa.e. rather than an individual function.
Definition 1.2 [10]
We say that a regular function pseudomodular ρ is a regular convex function modular if $\rho (f)=0$ implies $f=0$ ρa.e. The class of all nonzero regular convex function modulars defined on Ω will be denoted by ℜ.
In this paper, we only consider convex function modulars.
Let ρ be a convex function modular. A modular function space is the vector space ${L}_{\rho}=\{f\in \mathcal{M};\rho (\lambda f)\to 0\text{as}\lambda \to 0\}$. In the vector space ${L}_{\rho}$, the following formula:
defines a norm, frequently called the Luxemburg norm.
Note that the monographic exposition of the theory of Orlicz spaces may be found in the book of Krasnosel’skii and Rutickii [11]. For a current review of the theory of MusielakOrlicz spaces and modular spaces, the reader is referred to Musielak [12] and Kozlowski [10].
The following definitions will be needed in this paper.
Definition 1.4 [10]

(a)
The sequence $\{{f}_{n}\}\subset {L}_{\rho}$ is said to be ρconvergent to $f\in {L}_{\rho}$ if $\rho ({f}_{n}f)\to 0$ as $n\to \mathrm{\infty}$.

(b)
The sequence $\{{f}_{n}\}\subset {L}_{\rho}$ is said to be ρCauchy if $\rho ({f}_{n}{f}_{m})\to 0$ as n and $m\to \mathrm{\infty}$.

(c)
We say that ${L}_{\rho}$ is ρcomplete if and only if any ρCauchy sequence in ${L}_{\rho}$ is ρconvergent.

(d)
A subset C of ${L}_{\rho}$ is called ρclosed if the ρlimit of a ρconvergent sequence of C always belongs to C.

(e)
A subset C of ${L}_{\rho}$ is called ρcompact if every sequence in C has a ρconvergent subsequence in C.

(f)
A subset C of ${L}_{\rho}$ is called ρbounded if
$${\delta}_{\rho}(C)=sup\{\rho (fg);f,g\in C\}<\mathrm{\infty}.$$ 
(g)
Let $f\in {L}_{\rho}$ and $C\subset {L}_{\rho}$. Define the ρdistance between f and C as:
$${d}_{\rho}(f,C)=inf\{\rho (fg);g\in C\}.$$
The above terminology is used because of its similarity to the metric case. Since ρ does not behave in general as a distance, one should be very careful when dealing with these notions. In particular, ρconvergence does not imply ρCauchy since ρ does not satisfy the triangle inequality.
The following proposition brings together a few facts that will be often used.
Proposition 1.1 [10]
Let $\rho \in \mathrm{\Re}$.

(i)
${L}_{\rho}$ is ρcomplete.

(ii)
ρballs ${B}_{\rho}(f,r)=\{g\in {L}_{\rho};\rho (fg)\le r\}$ are ρclosed.

(iii)
If $\rho (\alpha {f}_{n})\to 0$ for an $\alpha >0$ then there exists a subsequence $\{{g}_{n}\}$ of $\{{f}_{n}\}$ such that ${g}_{n}\to 0$ ρa.e.

(iv)
$\rho (f)\le {lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}\rho ({f}_{n})$ whenever ${f}_{n}\to f$ ρa.e. (Note: this property is equivalent to the Fatou property.)

(v)
Consider the sets ${L}_{\rho}^{0}=\{f\in {L}_{\rho};\rho (f,\cdot )\mathit{\text{is order continuous}}\}$, and ${E}_{\rho}=\{f\in {L}_{\rho};\lambda f\in {L}_{\rho}^{0}\mathit{\text{for any}}\lambda 0\}$. Then we have ${E}_{\rho}\subset {L}_{\rho}^{0}\subset {L}_{\rho}$.
We already pointed out that ρ may not satisfy the triangle inequality, so the modular convergence and norm convergence may not be the same. This will only happen if ρ satisfies the socalled ${\mathrm{\Delta}}_{2}$condition.
Definition 1.5 [10]
The modular function ρ is said to satisfy the ${\mathrm{\Delta}}_{2}$condition if $\rho (2{f}_{n})\to 0$ as $n\to \mathrm{\infty}$, whenever $\rho ({f}_{n})\to 0$ as $n\to \mathrm{\infty}$.
We have the following proposition.
Proposition 1.2 [10]
The following statements are equivalent:

(i)
ρ satisfies the ${\mathrm{\Delta}}_{2}$condition;

(ii)
$\rho ({f}_{n}f)\to 0$ if and only if $\rho (\lambda ({f}_{n}f))\to 0$, for all $\lambda >0$ if and only if $\parallel {f}_{n}f\parallel \to 0$.
Definition 1.6 We will say that the function modular ρ is uniformly continuous if for every $\epsilon >0$ and $L>0$, there exists $\delta >0$ such that
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 [13] or in sequence Orlicz spaces [14], the uniform continuity of the Orlicz modular is equivalent to the ${\mathrm{\Delta}}_{2}$type condition.
Let us recall the definition of different mappings acting in a modular function space. We start with the concept of Lipschitzian mappings.
Definition 1.7 Let $\rho \in \mathrm{\Re}$ and let $C\subset {L}_{\rho}$ be a nonempty subset. A mapping $T:C\to C$ is called ρLipschitzian mapping if there exists a constant $L\ge 0$ such that
When $L<1$, T is called ρcontraction mapping. Moreover, if $L\le 1$, then T is called ρnonexpansive mapping. A point $f\in C$ is called a fixed point of T if $T(f)=f$. The set of fixed points of T will be denoted by $F(T)$.
As mentioned before, one of the reasons of our interest in ρbehavior of mappings is that the Luxemburg norm associated with the function modular is defined in an indirect way and consequently harder to handle than the function modular. Therefore, one may ask what the relationship is, if there is any, between the Fnorm nonexpansiveness and the ρnonexpansiveness. The following example gives a partial answer.
Example 1.1 [15]
Let $X=(0,\mathrm{\infty})$, and let Σ be the σalgebra of all Lebesgue measurable subsets of X. Let denote the δring of subsets of finite measures. Define a function modular by
Let B be the set of all measurable functions $f:(0,\mathrm{\infty})\to \mathbb{R}$ such that $0\le f(x)\le \frac{1}{2}$. Define the linear operator T by the formula
Clearly, $T(B)\subset B$. In [15], it is proved that for every fixed $\lambda \le 1$ and for all $f,g\in B$, we have
In particular, if $\lambda =1$, then the above inequality shows that T is ρnonexpansive. It is also easy to see that B is a ρa.e.bounded subset of ${L}_{\rho}$. We observe that T is not ${\parallel \cdot \parallel}_{\rho}$nonexpansive. Indeed, if we take $f={1}_{[0,1]}$, then
In this paper, we will use some geometrical properties of the modular functional.
Definition 1.8 Let $\rho \in \mathrm{\Re}$. We say that ρ is strictly convex (SC), if for every $f,g\in {L}_{\rho}$ such that $\rho (f)=\rho (g)$ and $\rho (\alpha f+(1\alpha )g)=\alpha \rho (f)+(1\alpha )\rho (g)$, for some $\alpha \in (0,1)$, we have $f=g$.
It is known that for a wide class of modular function spaces with the ${\mathrm{\Delta}}_{2}$property, geometric properties of the Luxemburg norm are equivalent to the same properties of the modular. For example, in Orlicz spaces these results can be traced in early papers of Luxemburg [1], Milnes [16], Akimovic [17], and Kaminska [14]. It is also known that, under suitable assumptions, uniform convexity in Orlicz spaces is equivalent to the very convexity of the Orlicz function [18]. Typical examples of Orlicz functions that do not satisfy the ${\mathrm{\Delta}}_{2}$condition but are uniformly convex (and hence strictly convex) are [11, 16]
For the discussion of some geometrical properties of CalderonLozanovskii and OrliczLorentz spaces, the reader may consult [19].
Recently, special attention was given to the use of the geometric properties in modular function spaces. This is due to recent interest in the Dirichlet energy problem which we discuss in the next example.
Example 1.2 Let $\mathrm{\Omega}\subset \mathbb{R}$ be an open set and let $p:\mathrm{\Omega}\to [1,\mathrm{\infty})$ be a measurable function (called the variable exponent on Ω). We define the variable exponent Lebesgue space ${L}^{p(\cdot )}(\mathrm{\Omega})$ to consist of all measurable functions $f:\mathrm{\Omega}\to \mathbb{R}$ such that
for some $\lambda >0$. The functional ρ is called the modular of the space ${L}^{p(\cdot )}(\mathrm{\Omega})$. The Luxemburg norm on this space is given by the formula
The variable exponent Sobolev space ${W}^{1,p(\cdot )}(\mathrm{\Omega})$ is the space of measurable functions $f:\mathrm{\Omega}\to \mathbb{R}$ such that f and the distributional derivative ${f}^{\prime}$ are in ${L}^{p(\cdot )}(\mathrm{\Omega})$. The function
defines a modular on ${W}^{1,p(\cdot )}(\mathrm{\Omega})$. Define ${W}_{0}^{1,p(\cdot )}(\mathrm{\Omega})$ as the set of $f\in {W}^{1,p(\cdot )}(\mathrm{\Omega})$ which can be continuously continued by 0 outside Ω. The energy operator corresponding to the boundary value function g acting on the space
is defined by
The general Dirichlet energy problem is to find a function that minimizes values of the operator ${I}_{g}(\cdot )$. Note that
For more information on the Dirichlet energy integral problem we refer to [20–23].
2 Ishikawa iterates for two mappings
In [24], the authors introduced the Ishikawa iterative scheme for two mappings and studied the strong convergence of this scheme to a common fixed point of the two mappings. Let us introduce such an iterative scheme in modular function spaces. Let S and T be two mappings defined on a nonempty closed, convex and ρbounded subset C of ${L}_{\rho}$. Fix $f\in C$ and define the sequence $\{{f}_{n}\}$, with ${f}_{1}=f$, and
When $S=T$, the above iterative scheme collapses into the classical Ishikawa iterative scheme for one map:
Let $S,T:C\to C$ be two ρnonexpansive mappings. Assume that $F=F(S)\cap F(T)\ne \mathrm{\varnothing}$. Let $f\in C$ and $h\in F$. Set $r=\rho (fh)$. Then
is a nonempty closed and convex subset of C and invariant under both S and T. Therefore one may always assume that C is ρbounded once S and T have a common fixed point. Moreover, if $\{{f}_{n}\}$ is the sequence generated by (2.1), with ${f}_{1}=f$, then we have
where ${g}_{n}={\beta}_{n}T({f}_{n})+(1{\beta}_{n}){f}_{n}$. This proves that $\{\rho ({f}_{n}h)\}$ is decreasing, which implies that ${lim}_{n\to \mathrm{\infty}}\rho ({f}_{n}h)$ exists. Using the above inequalities, we get
Our first result discusses the convergence behavior of the sequence generated by (2.1).
Theorem 2.1 Assume $\rho \in \mathrm{\Re}$ is strictly convex and uniformly continuous. Let C be a nonempty ρbounded, closed and convex subset of X. Let $S,T:C\to C$ be two ρnonexpansive mappings. Assume that $F=F(S)\cap F(T)\ne \mathrm{\varnothing}$. Let ${f}_{1}\in C$ and $\{{f}_{n}\}$ be given by (2.1). Then the following hold:

(i)
If ${\alpha}_{n}\in [a,b]$ and ${\beta}_{n}\in [0,b]$, with $0<a\le b<1$, then for any subsequence $\{{f}_{{n}_{i}}\}$ of $\{{f}_{n}\}$ which ρconverges to f, we have $f\in F(S)$.

(ii)
If ${\alpha}_{n}\in [a,1]$ and ${\beta}_{n}\in [a,b]$, with $0<a\le b<1$, then for any subsequence $\{{f}_{{n}_{i}}\}$ of $\{{f}_{n}\}$ which ρconverges to f, we have $f\in F(T)$.

(iii)
If ${\alpha}_{n},{\beta}_{n}\in [a,b]$, with $0<a\le b<1$, then for any subsequence $\{{f}_{{n}_{i}}\}$ of $\{{f}_{n}\}$ which ρconverges to f, we have $f\in F$. In this case, we have that $\{{f}_{n}\}$ ρconverges to f.
Proof Assume that $\{{f}_{{n}_{i}}\}$ ρconverges to f. Let $h\in F$. Without loss of generality, we may assume ${lim}_{n\to \mathrm{\infty}}{\alpha}_{{n}_{i}}=\alpha $, and ${lim}_{n\to \mathrm{\infty}}{\beta}_{{n}_{i}}=\beta $. Since $\{\rho ({f}_{n}h)\}$ is decreasing and ρ is uniformly continuous, we get
Since T is ρnonexpansive, $\{T({f}_{{n}_{i}})\}$ ρconverges to $T(f)$. Moreover, as ρ is uniformly continuous, $\{{\beta}_{{n}_{i}}T({f}_{{n}_{i}})+(1{\beta}_{{n}_{i}}){f}_{{n}_{i}}\}$ ρconverges to $\beta T(f)+(1\beta )f$. Using the ρnonexpansiveness of S, we get $\{S({\beta}_{{n}_{i}}T({f}_{{n}_{i}})+(1{\beta}_{{n}_{i}}){f}_{{n}_{i}})\}$ ρconverges to $S(\beta T(f)+(1\beta )f)$. Finally, since ρ is uniformly continuous, we get $\{{\alpha}_{{n}_{i}}S({\beta}_{{n}_{i}}T({f}_{{n}_{i}})+(1{\beta}_{{n}_{i}}){f}_{{n}_{i}})+(1{\alpha}_{{n}_{i}}){f}_{{n}_{i}}\}$ ρconverges to $\alpha S(\beta T(f)+(1\beta )f)+(1\alpha )f$. The above inequalities imply
Set $r=\rho (fh)$. Without loss of generality we may assume $r>0$ (otherwise most of the conclusions in the theorem are trivial). Assume that ${lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}{\alpha}_{n}>0$. Then $\alpha \ne 0$. Hence
which implies $\beta \rho (T(f)h)=\beta r$. If we assume that ${lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}{\beta}_{n}>0$, then $\beta \ne 0$ which implies $\rho (T(f)h)=r$.

(1)
If $\alpha \in (0,1)$ and $\beta >0$, then
$$\begin{array}{rcl}\rho (S(\beta T(f)+(1\beta )f)h)& =& \rho (\alpha S(\beta T(f)+(1\beta )f)+(1\alpha )fh)\\ =& \rho (fh).\end{array}$$The strict convexity of ρ will imply $S(\beta T(f)+(1\beta )f)=f$.

(2)
If $\alpha \in (0,1)$ and $\beta =0$, then
$$\rho (fh)=\rho (S(f)h)=\rho (\alpha S(f)+(1\alpha )fh).$$
The strict convexity of ρ will imply $S(f)=f$.

(3)
If $\beta \in (0,1)$ and $\alpha >0$, then
$$\rho (fh)=\rho (T(f)h)=\rho (\beta T(f)+(1\beta )fh).$$
The strict convexity of ρ will imply $T(f)=f$.

(4)
If $\alpha ,\beta \in (0,1)$, then $T(f)=f$ and $S(\beta T(f)+(1\beta )f)=f$. Hence $S(f)=f$.
Let us finish the proof of Theorem 2.1. Note that (i) implies $\alpha \in [a,b]$ and $\beta \in [0,b]$. If $\beta =0$, then the conclusion (2) above implies $f\in F(S)$. Otherwise the conclusion (4) will imply $f\in F$. This proves (i).
For (ii), notice that $\alpha \in [a,1]$ and $\beta \in [a,b]$. Hence the conclusion (3) will imply $f\in F(T)$, which proves (ii).
For (iii), notice that $\alpha ,\beta \in [a,b]$. Hence the conclusion (4) will imply $f\in F$. Since
we find that $\{{f}_{n}\}$ ρconverges to f, which completes the proof of (iii). □
If we assume compactness of the domain, Theorem 2.1 will imply the following result.
Theorem 2.2 Assume $\rho \in \mathrm{\Re}$ is strictly convex and uniformly continuous. Let C be a nonempty ρbounded, ρcompact and convex subset of ${L}_{\rho}$. Let $S,T:C\to C$ be two nonexpansive mappings. Assume that $F=F(S)\cap F(T)\ne \mathrm{\varnothing}$. Fix ${f}_{1}\in C$. Define $\{{f}_{n}\}$ as in (2.1), where ${\alpha}_{n},{\beta}_{n}\in [a,b]$, with $0<a\le b<1$, and ${f}_{1}$ is the initial element of the sequence. Then $\{{f}_{n}\}$ ρconverges to a common fixed point of S and T.
Proof Since C is ρcompact, $\{{f}_{n}\}$ has a ρconvergent subsequence $\{{f}_{{n}_{i}}\}$, i.e., $\{{f}_{{n}_{i}}\}$ ρconverges to z. By Theorem 2.1, we have $z\in F$ and $\{{f}_{n}\}$ ρconverges to z. □
The existence of a common fixed point T and S is crucial to the conclusion of Theorems 2.1 and 2.2. Note that each mapping has a nonempty fixed point set. Indeed, let C and T be as in Theorem 2.2. Fix $\epsilon \in (0,1)$ and ${f}_{0}\in C$. Define the mapping ${T}_{\epsilon}:C\to C$ by
Then, for any $f,g\in C$, we have
Fix $f\in C$. Since is ρbounded, we get
for any $n,h\in \mathbb{N}$. Since C is ρcompact, there exists a subsequence $\{{T}_{\epsilon}^{{n}_{i}}(f)\}$ which is ρconvergent to $h\in C$. We claim that h is a fixed point of ${T}_{\epsilon}$. Indeed, since
and
we conclude that ${T}_{\epsilon}(h)=h$. Indeed, we have
If we let ${n}_{i}\to \mathrm{\infty}$, we get $\rho (\frac{h{T}_{\epsilon}(h)}{3})=0$, which implies ${T}_{\epsilon}(h)=h$. In fact, one can now easily show that $\{{T}_{\epsilon}^{n}(f)\}$ ρconverges to h and that h is independent of f and is the only fixed point of ${T}_{\epsilon}$. Clearly,
Hence ${inf}_{f\in C}\rho (T(f)f)=0$. As C is ρcompact, the fixed point set of T is nonempty. As ρ is strictly convex, $F(T)$ is convex. Clearly $F(T)$ is ρclosed subset of C. Hence $F(T)$ is ρcompact. If we assume that T and S commute, i.e., $S\circ T=T\circ S$, then $S(F(T))\subset F(T)$. Consequently, S and T have a common fixed point. In general, it is not the case that S and T have a common fixed point.
If we take $S=T$ in Theorem 2.2, we get the following result.
Theorem 2.3 [4]
Assume $\rho \in \mathrm{\Re}$ is strictly convex and uniformly continuous. Let C be a nonempty ρbounded, ρcompact and convex subset of ${L}_{\rho}$. Let $T:C\to C$ be two nonexpansive mapping. Fix ${f}_{1}\in C$. Define $\{{f}_{n}\}$ as in (2.2), where ${\alpha}_{n},{\beta}_{n}\in [a,b]$, with $0<a\le b<1$, and ${f}_{1}$ is the initial element of the sequence. Then $\{{f}_{n}\}$ ρconverges to a fixed point of T.
References
 1.
Luxemburg, WAJ: Banach function spaces. Thesis, Delft (1955)
 2.
Luxemburg, WAJ, Zaanen, AC: Notes on Banach function spaces IXII. Proc. Acad. Sci. Amst. A66, 135–153, 239–263, 496–504, 655–681 (1963); A64, 101–119 (1964); A67, 360–376, 493–543 (1964)
 3.
Nakano H: Modulared SemiOrdered Linear Spaces. Maruzen, Tokyo; 1950.
 4.
Bin Dehaish BA, Kozlowski WM: Fixed point iteration processes for asymptotic pointwise nonexpansive mapping in modular function spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 118 10.1186/168718122012118
 5.
Khamsi MA, Kozlowski WM: On asymptotic pointwise contractions in modular function spaces. Nonlinear Anal. 2010, 73: 2957–2967. 10.1016/j.na.2010.06.061
 6.
Khamsi MA, Kozlowski WM: On asymptotic pointwise nonexpansive mappings in modular function spaces. J. Math. Anal. Appl. 2011, 380: 697–708. 10.1016/j.jmaa.2011.03.031
 7.
Kozlowski WM: Advancements in fixed point theory in modular function. Arab. J. Math. 2012. 10.1007/s4006501200510
 8.
Kozlowski WM: Notes on modular function spaces I. Comment. Math. 1988, 28: 91–104.
 9.
Kozlowski WM: Notes on modular function spaces II. Comment. Math. 1988, 28: 105–120.
 10.
Kozlowski WM Series of Monographs and Textbooks in Pure and Applied Mathematics 122. In Modular Function Spaces. Dekker, New York; 1988.
 11.
Krasnosel’skii MA, Rutickii YB: Convex Functions and Orlicz Spaces. Noordhoff, Groningen; 1961.
 12.
Musielak J Lecture Notes in Mathematics 1034. In Orlicz Spaces and Modular Spaces. Springer, Berlin; 1983.
 13.
Chen S: Geometry of Orlicz spaces. Diss. Math. 1996, 356: 1–204.
 14.
Kaminska A: On uniform convexity of Orlicz spaces. Indag. Math. 1982, 44: 27–36.
 15.
Khamsi MA, Kozlowski WM, Reich S: Fixed point theory in modular function spaces. Nonlinear Anal. 1990, 14: 935–953. 10.1016/0362546X(90)90111S
 16.
Milnes HW: Convexity of Orlicz spaces. Pac. J. Math. 1957, 7: 1451–1486. 10.2140/pjm.1957.7.1451
 17.
Akimovic BA: On uniformly convex and uniformly smooth Orlicz spaces. Teor. Funkc. Funkc. Anal. Ih Prilož. 1972, 15: 114–220. (in Russian)
 18.
Khamsi MA, Kozlowski WM, Shutao C: Some geometrical properties and fixed point theorems in Orlicz spaces. J. Math. Anal. Appl. 1991, 155: 393–412. 10.1016/0022247X(91)90009O
 19.
Hudzik H, Kaminska A, Mastylo M: Geometric properties of some CalderonLozanovskii spaces and OrliczLorentz spaces. Houst. J. Math. 1996, 22: 639–663.
 20.
Acerbi E, Mingione G: Regularity results for a class of functionals with nonstandard growth. Arch. Ration. Mech. Anal. 2001, 156: 121–140. 10.1007/s002050100117
 21.
Harjulehto P, Hästö P, Koskenoja M, Varonen S: The Dirichlet energy integral and variable exponent Sobolev spaces with zero boundary values. Potential Anal. 2006, 25(3):205–222. 10.1007/s1111800690233
 22.
Heinonen J, Kilpeläinen T, Martio O: Nonlinear Potential Theory of Degenerate Elliptic Equations. Oxford University Press, Oxford; 1993.
 23.
Shanmugalingam N: Newtonian spaces: an extension of Sobolev spaces to metric measure space. Rev. Mat. Iberoam. 2000, 16: 243–279.
 24.
Das G, Debata JP: Fixed points of quasinonexpansive mappings. Indian J. Pure Appl. Math. 1986, 17: 1263–1269.
Acknowledgements
The authors MA Khamsi and AR Khan acknowledge gratefully KACST, Riyad, Saudi Arabia, for supporting Research Project ARP3234. The author AAN Abdou gratefully acknowledges the Deanship of Scientific Research at King Abdulaziz University, Jeddah, Saudi Arabia, for supporting this research.
Author information
Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors participated in the design of this work and performed equally. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Abdou, A.A.N., Khamsi, M.A. & Khan, A.R. Convergence of Ishikawa iterates of two mappings in modular function spaces. Fixed Point Theory Appl 2014, 74 (2014). https://doi.org/10.1186/16871812201474
Received:
Accepted:
Published:
Keywords
 fixed point
 fixed point iteration process
 Ishikawa iterations
 modular function space
 nonexpansive mapping
 ρconvergence
 modular function space
 Orlicz space
 strict convexity