- Research
- Open Access
Convergence of Ishikawa iterates of two mappings in modular function spaces
- Afrah Ahmad Noan Abdou^{1}Email author,
- Mohamed Amine Khamsi^{2, 3} and
- Abdul Rahim Khan^{3}
https://doi.org/10.1186/1687-1812-2014-74
© Abdou et al.; licensee Springer. 2014
- Received: 27 December 2013
- Accepted: 7 March 2014
- Published: 25 March 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 non-modular 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.
Keywords
- fixed point
- fixed point iteration process
- Ishikawa iterations
- modular function space
- nonexpansive mapping
- ρ-convergence
- modular function space
- Orlicz space
- strict convexity
1 Introduction and basic definitions
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 Musielak-Orlicz 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 F-norms.
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]
- (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.
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 Musielak-Orlicz 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 (f-g);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 (f-g);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]
- (i)
${L}_{\rho}$ is ρ-complete.
- (ii)
ρ-balls ${B}_{\rho}(f,r)=\{g\in {L}_{\rho};\rho (f-g)\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 so-called ${\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]
- (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$.
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.
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 F-norm nonexpansiveness and the ρ-nonexpansiveness. The following example gives a partial answer.
Example 1.1 [15]
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$.
For the discussion of some geometrical properties of Calderon-Lozanovskii and Orlicz-Lorentz 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.
For more information on the Dirichlet energy integral problem we refer to [20–23].
2 Ishikawa iterates for two mappings
Our first result discusses the convergence behavior of the sequence generated by (2.1).
- (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.
- (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 )f-h)\\ =& \rho (f-h).\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 (f-h)=\rho (S(f)-h)=\rho (\alpha S(f)+(1-\alpha )f-h).$
- (3)If $\beta \in (0,1)$ and $\alpha >0$, then$\rho (f-h)=\rho (T(f)-h)=\rho (\beta T(f)+(1-\beta )f-h).$
- (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).
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. □
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.
Declarations
Acknowledgements
The authors MA Khamsi and AR Khan acknowledge gratefully KACST, Riyad, Saudi Arabia, for supporting Research Project ARP-32-34. The author AAN Abdou gratefully acknowledges the Deanship of Scientific Research at King Abdulaziz University, Jeddah, Saudi Arabia, for supporting this research.
Authors’ Affiliations
References
- Luxemburg, WAJ: Banach function spaces. Thesis, Delft (1955)MATHGoogle Scholar
- Luxemburg, WAJ, Zaanen, AC: Notes on Banach function spaces I-XII. Proc. Acad. Sci. Amst. A-66, 135–153, 239–263, 496–504, 655–681 (1963); A-64, 101–119 (1964); A-67, 360–376, 493–543 (1964)Google Scholar
- Nakano H: Modulared Semi-Ordered Linear Spaces. Maruzen, Tokyo; 1950.MATHGoogle Scholar
- 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/1687-1812-2012-118Google Scholar
- Khamsi MA, Kozlowski WM: On asymptotic pointwise contractions in modular function spaces. Nonlinear Anal. 2010, 73: 2957–2967. 10.1016/j.na.2010.06.061View ArticleMathSciNetMATHGoogle Scholar
- 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.031View ArticleMathSciNetMATHGoogle Scholar
- Kozlowski WM: Advancements in fixed point theory in modular function. Arab. J. Math. 2012. 10.1007/s40065-012-0051-0Google Scholar
- Kozlowski WM: Notes on modular function spaces I. Comment. Math. 1988, 28: 91–104.MathSciNetGoogle Scholar
- Kozlowski WM: Notes on modular function spaces II. Comment. Math. 1988, 28: 105–120.MathSciNetGoogle Scholar
- Kozlowski WM Series of Monographs and Textbooks in Pure and Applied Mathematics 122. In Modular Function Spaces. Dekker, New York; 1988.Google Scholar
- Krasnosel’skii MA, Rutickii YB: Convex Functions and Orlicz Spaces. Noordhoff, Groningen; 1961.Google Scholar
- Musielak J Lecture Notes in Mathematics 1034. In Orlicz Spaces and Modular Spaces. Springer, Berlin; 1983.Google Scholar
- Chen S: Geometry of Orlicz spaces. Diss. Math. 1996, 356: 1–204.Google Scholar
- Kaminska A: On uniform convexity of Orlicz spaces. Indag. Math. 1982, 44: 27–36.View ArticleMathSciNetMATHGoogle Scholar
- Khamsi MA, Kozlowski WM, Reich S: Fixed point theory in modular function spaces. Nonlinear Anal. 1990, 14: 935–953. 10.1016/0362-546X(90)90111-SView ArticleMathSciNetMATHGoogle Scholar
- Milnes HW: Convexity of Orlicz spaces. Pac. J. Math. 1957, 7: 1451–1486. 10.2140/pjm.1957.7.1451View ArticleMathSciNetMATHGoogle Scholar
- Akimovic BA: On uniformly convex and uniformly smooth Orlicz spaces. Teor. Funkc. Funkc. Anal. Ih Prilož. 1972, 15: 114–220. (in Russian)MathSciNetMATHGoogle Scholar
- 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/0022-247X(91)90009-OView ArticleMathSciNetMATHGoogle Scholar
- Hudzik H, Kaminska A, Mastylo M: Geometric properties of some Calderon-Lozanovskii spaces and Orlicz-Lorentz spaces. Houst. J. Math. 1996, 22: 639–663.MathSciNetMATHGoogle Scholar
- Acerbi E, Mingione G: Regularity results for a class of functionals with non-standard growth. Arch. Ration. Mech. Anal. 2001, 156: 121–140. 10.1007/s002050100117View ArticleMathSciNetMATHGoogle Scholar
- 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/s11118-006-9023-3View ArticleMathSciNetMATHGoogle Scholar
- Heinonen J, Kilpeläinen T, Martio O: Nonlinear Potential Theory of Degenerate Elliptic Equations. Oxford University Press, Oxford; 1993.MATHGoogle Scholar
- Shanmugalingam N: Newtonian spaces: an extension of Sobolev spaces to metric measure space. Rev. Mat. Iberoam. 2000, 16: 243–279.View ArticleMathSciNetMATHGoogle Scholar
- Das G, Debata JP: Fixed points of quasinonexpansive mappings. Indian J. Pure Appl. Math. 1986, 17: 1263–1269.MathSciNetMATHGoogle Scholar
Copyright
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.