- Research
- Open access
- Published:
On monotone contraction mappings in modular function spaces
Fixed Point Theory and Applications volume 2015, Article number: 28 (2015)
Abstract
We prove the existence of fixed points of monotone-contraction mappings in modular function spaces. This is the modular version of the Ran and Reurings fixed point theorem. We also discus the extension of these results to the case of pointwise monotone-contraction mappings in modular function spaces.
1 Introduction
The purpose of this paper is to give an outline of a fixed point theory for monotone-contraction mappings defined on some subsets of modular function spaces which are natural generalizations of both function and sequence variants of many important spaces like the Lebesgue, Orlicz, Musielak-Orlicz, Lorentz, Orlicz-Lorentz, Calderon-Lozanovskii spaces, and many others [1]. Recently, the authors in [2] presented a series of fixed point results for pointwise contractions and asymptotic pointwise contractions acting in modular functions spaces. The current paper operates within the same framework.
The importance for applications of mappings defined within modular function spaces consists in the richness of the structure of modular function spaces, which, besides being Banach spaces, are equipped with modular equivalents of norm or metric notions and also are equipped with almost everywhere convergence and convergence in sub-measure. In many cases, particularly in applications to integral operators, approximation and fixed point results, modular type conditions are much more natural as modular type assumptions can be more easily verified than their metric or norm counterparts; see for example [3]. From this perspective, the fixed point theory in modular function spaces should be considered as complementary to the fixed point theory in Banach linear spaces and in metric spaces.
The theory of contractions and nonexpansive mappings defined on convex subsets of Banach spaces has been well developed since the 1960s, see for example [4–7], and generalized to other metric spaces [8–10], and modular function spaces [3, 11]. The corresponding fixed point results were then extended to larger classes of mappings like asymptotic mappings [12, 13], pointwise contractions [14], and asymptotic pointwise contractions and nonexpansive mappings [2, 15–17].
In recent years, a version of the Banach contraction principle [18] was given in partially ordered metric spaces [19, 20] and in metric spaces with a graph [21]. In this work, we discuss some of these extensions to modular function spaces.
2 Preliminaries
Let Ω be a nonempty set and Σ be a nontrivial σ-algebra of subsets of Ω. Let \(\mathcal{P}\) be a δ-ring of subsets of Ω, such that \(E \cap A \in\mathcal{P}\) for any \(E \in\mathcal{P}\) and \(A \in\Sigma\). Let us assume that there exists an increasing sequence of sets \(K_{n} \in \mathcal{P}\) such that \(\Omega = \bigcup K_{n}\). By ℰ we denote the linear space of all simple functions with supports from \(\mathcal{P}\). By \(\mathcal {M}_{\infty}\) we will denote the space of all extended measurable functions, i.e. all functions \(f:\Omega\rightarrow[-\infty,\infty]\) such that there exist a sequence \(\{g_{n}\} \subset\mathcal{E}\), \(|g_{n}|\leq|f|\) and \(g_{n}(\omega) \rightarrow f(\omega)\) for all \(\omega\in\Omega\). By \(1_{A}\) we denote the characteristic function of the set A.
Definition 2.1
Let \(\rho:\mathcal{M_{\infty}} \rightarrow[0,\infty]\) be a nontrivial even function. We say that the regular function ρ is pseudomodular if:
-
(i)
\(\rho(0) = 0\);
-
(ii)
ρ is monotone, i.e. \(|f(\omega)|\leq|g(\omega)|\) for all \(\omega\in\Omega\) implies \(\rho(f) \leq\rho(g)\), where \(f,g \in\mathcal{M_{\infty}} \);
-
(iii)
ρ is orthogonally additive, i.e. \(\rho(f1_{A \cup B}) = \rho(f1_{A})+\rho(f1_{B})\), for any \(A,B \in\Sigma\) such that \(A \cap B = \emptyset\), \(f \in\mathcal{M}\);
-
(iv)
ρ has the Fatou property, i.e. \(|f_{n}(\omega)| \uparrow|f(\omega)|\) for all \(\omega\in\Omega\) implies \(\rho(f_{n}) \uparrow\rho(f)\), where \(f \in\mathcal{M_{\infty}}\);
-
(v)
ρ is order continuous in ℰ, i.e. \(g_{n} \in\mathcal{E}\) and \(|g_{n}(\omega)|\downarrow0\) implies \(\rho (g_{n})\downarrow0\).
Similar to the case of measure spaces, we say that a set \(A \in\Sigma\) is ρ-null if \(\rho(g1_{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
where each \(f \in\mathcal{M}(\Omega,\Sigma,\mathcal{P},\rho)\) is actually an equivalence class of functions equal ρ-a.e. rather than an individual function. Where no confusion exists we will write ℳ instead of \(\mathcal{M}(\Omega,\Sigma,\mathcal{P},\rho)\).
Definition 2.2
Let ρ be a regular function pseudomodular.
-
(1)
We say that ρ is a regular function semimodular if \(\rho (\alpha f) = 0\) for every \(\alpha> 0\) implies \(f=0\) ρ-a.e.;
-
(2)
we say that ρ is a regular function modular if \(\rho(f) = 0\) implies \(f=0\) ρ-a.e.
The class of all nonzero regular function modulars defined on Ω will be denoted by ℜ.
Let us denote \(\rho(f,E) = \rho(f1_{E})\) for \(f \in\mathcal{M}\), \(E \in \Sigma\). It is easy to prove that \(\rho(f,E)\) is a function pseudomodular in the sense of Definition 2.1.1 in [1]. 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 in [1, 22, 23].
Definition 2.3
Let ρ be a function modular.
-
(a)
A modular function space is the vector space \(L_{\rho}(\Omega ,\Sigma)\), or briefly \(L_{\rho}\), defined by
$$ L_{\rho} = \bigl\{ f\in\mathcal{M}; \rho(\lambda f) \rightarrow0\mbox{ as }\lambda\rightarrow0 \bigr\} . $$ -
(b)
The following formula defines a norm in \(L_{\rho}\) (frequently called the Luxemburg norm):
$$ \|f\|_{\rho} = \inf\bigl\{ \alpha>0; \rho(f/\alpha)\leq1 \bigr\} . $$
In the following theorem we recall some of the properties of modular spaces.
Theorem 2.1
Let \(\rho\in\Re\).
-
(1)
\((L_{\rho},\|\cdot\|_{\rho})\) is complete and the norm \(\|\cdot\| _{\rho}\) is monotone w.r.t. the natural order in ℳ.
-
(2)
\(\|f_{n}\|_{\rho}\rightarrow0\) if and only if \(\rho(\alpha f_{n}) \rightarrow0\) for every \(\alpha> 0\).
-
(3)
If \(\rho(\alpha f_{n}) \rightarrow0\) for an \(\alpha> 0\) then there exists a subsequence \(\{g_{n}\}\) of \(\{f_{n}\}\) such that \(g_{n}\rightarrow0\) ρ-a.e.
-
(4)
\(\rho(f) \leq\liminf{ \rho(f_{n})}\) whenever \(f_{n} \rightarrow f \) ρ-a.e. (Note: this property is equivalent to the Fatou property.)
The following definition plays an important role in the theory of modular function spaces [1].
Definition 2.4
Let \(\rho\in\Re\). We say that ρ has the \(\Delta_{2}\)-property if \(\sup_{n} \rho(2f_{n},D_{k})\rightarrow0\), whenever \(\{ D_{k}\} \in\Sigma\) is decreasing, \(\bigcap_{k \geq1} D_{k} = \emptyset\), and \(\lim_{k \rightarrow+\infty} \sup_{n} \rho(f_{n},D_{k}) =0\).
Theorem 2.2
Let \(\rho\in\Re\). The following conditions are equivalent:
-
(a)
ρ has \(\Delta_{2}\),
-
(b)
if \(\rho(f_{n}) \rightarrow0\) then \(\rho(2f_{n}) \rightarrow0\),
-
(c)
if \(\rho(\alpha f_{n}) \rightarrow0\) for an \(\alpha>0\) then \(\| f_{n}\|_{\rho}\rightarrow0\), i.e. the modular convergence is equivalent to the norm convergence.
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 2.5
Let \(\rho\in\Re\).
-
(a)
We say that \(\{f_{n}\}\) is ρ-convergent to f and write \(f_{n}\rightarrow0\ (\rho)\) if and only if \(\rho(f_{n}-f)\rightarrow0\).
-
(b)
A sequence \(\{f_{n}\}\) where \(f_{n} \in L_{\rho}\) is called ρ-Cauchy if \(\rho(f_{n}-f_{m})\rightarrow0\) as \(n,m \rightarrow\infty\).
-
(c)
A set \(B\subset L_{\rho}\) is called ρ-closed if for any sequence of \(f_{n} \in B\), the convergence \(f_{n} \rightarrow f\ (\rho )\) implies that f belongs to B.
-
(d)
A set \(B\subset L_{\rho}\) is called ρ-bounded if \(\sup\{\rho (f-g); f \in B, g \in B \} <\infty\).
-
(e)
A set \(B\subset L_{\rho}\) is called strongly ρ-bounded if there exists \(\beta> 1\) such that \(\sup\{\rho (\beta(f-g) ); f \in B, g \in B \} <\infty\).
-
(f)
A set \(C\subset L_{\rho}\) is called ρ-a.e. closed if for any \(\{f_{n}\}\) in C which ρ-a.e. converges to some f, then we must have \(f \in C\).
-
(g)
A set \(C\subset L_{\rho}\) 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 \in C\).
Let us note that ρ-convergence does not necessarily imply ρ-Cauchy condition. Also, \(f_{n}\rightarrow f\) does not imply in general \(\lambda f_{n}\rightarrow\lambda f\), \(\lambda> 1\). Using Theorem 2.1 it is not difficult to prove the following.
Proposition 2.1
Let \(\rho\in\Re\).
-
(i)
\(L_{\rho}\) is ρ-complete.
-
(ii)
\(L_{\rho}\) is a lattice, i.e., for any \(f, g \in L_{\rho }\), we have \(\max\{f,g\} \in L_{\rho}\) and \(\min\{f,g\} \in L_{\rho}\).
-
(iii)
ρ-balls \(B_{\rho}(x,r) = \{y\in L_{\rho}; \rho(x-y) \leq r\} \) are ρ-closed and ρ-a.e. closed.
Using the property (3) of Theorem 2.1, we get the following result.
Theorem 2.3
Let \(\rho\in\Re\). Let \(\{ f_{n}\}\) be a ρ-Cauchy sequence in \(L_{\rho}\). Assume that \(\{f_{n}\}\) is monotone increasing, i.e., \(f_{n} \leq f_{n+1}\) ρ-a.e. (resp. decreasing, i.e., \(f_{n+1} \leq f_{n}\) ρ-a.e.), for any \(n \geq1\). Then there exists \(f \in L_{\rho}\) such that \(\rho(f_{n} -f) \rightarrow0\) and \(f_{n} \leq f\) ρ-a.e. (resp. \(f \leq f_{n}\) ρ-a.e.), for any \(n \geq1\).
Let us finish this section with the modular definitions of some special mappings, which will be studied throughout. The definitions are straightforward generalizations of their norm and metric equivalents [13, 15–17].
Definition 2.6
Let \(\rho\in\Re\) and let \(C \subset L_{\rho}\) be nonempty and ρ-closed. A mapping \(T: C \rightarrow C\) is said to be monotone increasing (resp. decreasing) if \(T(f)\leq T(g)\) ρ-a.e. (resp. \(T(g)\leq T(f)\) ρ-a.e.) whenever \(f \leq g\) ρ-a.e., for any \(f, g \in C\). T is said to be monotone whenever T is either monotone increasing or decreasing. Moreover, T is called
-
(i)
a monotone contraction if T is monotone and there exists \(k < 1\) such that
$$\rho\bigl(T(f) - T(g)\bigr) \leq k\ \rho(f-g) $$whenever \(f, g \in C\) and \(f \leq g\) ρ-a.e.;
-
(ii)
a pointwise monotone contraction if T is monotone and for any \(f \in C\) there exists \(k_{f} < 1\) such that
$$\rho\bigl(T(f) - T(g)\bigr) \leq k_{f}\ \rho(f-g) $$whenever \(g \in C\) such that \(f \leq g\) or \(g \leq f\) ρ-a.e.;
-
(iii)
an asymptotic pointwise monotone contraction if T is monotone and for any \(f \in C\) and \(n \geq1\), there exists a constant \(k_{f}^{n}\) such that
$$\rho\bigl(T^{n}(f) - T^{n}(g)\bigr) \leq k^{n}_{f}\ \rho(f-g) $$with \(k_{f} = \limsup_{n \rightarrow\infty} k_{f}^{n} < 1\), whenever \(g \in C\) such that \(f \leq g\) or \(g \leq f\) ρ-a.e.
We shall call a point \(f \in C\) a fixed point of T if and only if \(T(f) = f\).
Let us give an example which will illustrate the role of the above defined notions. This example is a typical application of the methods of modular function spaces to the theory of nonlinear integral and differential equations.
Example 2.1
Let us consider a pharmacokinetics sub-model of ascorbic acid (in short AA) absorption in the intestines in healthy subjects developed in [24]; such a model can be written as
Here \(n \geq1\) and \(A_{\mathrm{gut}}\) represent the amount of AA in the intestines (in μ mol) and the initial condition \(A_{\mathrm{gut}}(0)=D\) (in μ mol) is given or estimated by a physician at given steady state, and \(0=\tau_{0}<\tau_{1}<\tau_{2}< \cdots<\tau_{n}<\tau_{n+1}<\cdots\) , where \(\tau_{n}\) represent the time episode of oral intake, \(A_{\mathrm{gut}}(\tau _{n}^{+})\) represents the right limit of \(A_{\mathrm{gut}}(t)\) at the point \(\tau _{n}\). For practical reasons and without loss of any generality, we will assume that the given dose of oral intake \(D_{{AA}_{n}}\) is ω periodic and equal to the constant D over \([0,+\infty)\). The description of the model parameters γ, β, and \(K_{\mathrm{gut}}\) with their units are given in [24]. Moreover, we find that the solution of (2.2)-(2.3) exists for \(t \geq0\), and it is positive and bounded from above. In fact (2.2)-(2.3) with given initial conditions have a unique solution for all \(t\geq0\). Now let \(A_{\mathrm{gut}}(t)\) be a solution of (2.2). If there exists a \(t_{0}=\inf\{t>0, t \neq\tau_{n}:A_{\mathrm{gut}}(t) < 0\}\) such that \(A_{\mathrm{gut}}(t_{0})=0\), then we will have \({\frac{dA_{\mathrm{gut}}(t)}{dt}}|_{{t_{0}}}<0\) and also from (2.2), we get
which is a contradiction. Therefore we have \(A_{\mathrm{gut}}(t)\geq0\), for all \(t \neq\tau_{n}\), and by using the impulsive equation (2.3) we get \(A_{\mathrm{gut}}(t) \geq0\), for all \(t>0\).
Now we will show the boundedness of \(A_{\mathrm{gut}}(t)\), for all \(t>0\). We have from (2.2)
for any \(n \geq1\). Then we have by successive methods
where \(k\geq2\), \(h_{i}=\tau_{i}-\tau_{i-1}>0\), \(\forall i=1,2,\ldots\) , and as we have \(D_{{AA}_{i}}\) is a finite number, then \(A_{\mathrm{gut}}(t)\) is bounded from above. It is easy to check that the solution of (2.2)-(2.3) for all \(t>\tau_{n}\), \(n \geq1\), can be written as
In order to find an ω-periodic solution, where the dose of the treatment will be fixed and equal to D, the amount of AA in the intestines needs to satisfy \(A_{\mathrm{gut}}(t)=A_{\mathrm{gut}}(t+\omega)\), for all \(t\geq0\).
Note that by evaluating the periodic condition \(A_{\mathrm{gut}}(t)=A_{\mathrm{gut}}(t+\omega)\), we conclude that \(A_{\mathrm{gut}}(t)\) is an ω-periodic solution of (2.2)-(2.3) if and only if \(A_{\mathrm{gut}}\) is a fixed point of the following operator:
where \(G(t,s) = \frac{e^{-K_{\mathrm{gut}}(t+\omega -s)}}{1-e^{-K_{\mathrm{gut}}\omega}}\) and \(f(x) = \frac{\gamma x}{\beta+x}\). Let us consider the following function modular:
Using the mean-value theorem, we get
whenever \(\widetilde{A}_{\mathrm{gut}} \leq A_{\mathrm{gut}}\). Hence \(T(A_{\mathrm{gut}}) \leq T(\widetilde{A}_{\mathrm{gut}})\) and
Note that T is continuous. If \(\omega\ \gamma< \beta\), then T is a monotone decreasing contraction mapping.
3 Fixed point of monotone contraction mappings
In this section we discuss an analogue of the Ran and Reurings fixed point theorem [20] in modular function spaces. The key feature in this fixed point theorem is that the Lipschitzian condition on the nonlinear map is only assumed to hold on elements that are comparable in the partial order.
Theorem 3.1
Let \(\rho\in\Re\). Let \(C\subset L_{\rho}\) be nonempty, ρ-closed and ρ-bounded. Let \(T:C\rightarrow C\) be a monotone increasing contraction mapping. Assume that there exists \(f_{0} \in C\) which is comparable to \(T(f_{0})\), i.e., \(f_{0} \leq T(f_{0})\) or \(T(f_{0}) \leq f_{0}\) ρ-a.e. Then \(\{T^{n}(f_{0})\}\) is ρ-Cauchy and ρ-converges to \(\bar{f}\) a fixed point of T. Moreover, if \(f \in C\) is comparable to \(\bar{f}\), then \(\{T^{n}(f)\}\) ρ-converges to \(\bar{f}\).
Proof
Since T is a monotone increasing contraction, there exists \(\alpha< 1\) such that
Let \(f_{0} \in C\) such that \(f_{0}\) and \(T(f_{0})\) are comparable. Assume that \(f_{0} \leq T(f_{0})\) ρ-a.e. Since T is monotone increasing, we get \(T^{n}(f_{0}) \leq T^{n+k}(f_{0})\), for any \(n \geq0\) and \(k \geq1\), which implies
where \(\delta_{\rho}(C)= \sup\{\rho(f-g): f, g \in C\} < \infty\), because C is ρ-bounded. Since \(\alpha<1\) and \(\delta_{\rho}(C) < \infty\), we conclude that \(\{T^{n}(f_{0})\}\) is ρ-Cauchy. The ρ-completeness of \(L_{\rho}\) implies the existence of \(\bar{f} \in L_{\rho}\) such that \(\lim_{n \rightarrow\infty}\ \rho ( T^{n}(f_{0})-\bar {f} ) = 0\). Because C is ρ-closed, we get \(\bar{f} \in C\). Since \(\{T^{n}(f_{0})\}\) is monotone increasing, the assumptions of Theorem 2.3 are satisfied and will imply that \(T^{n}(f_{0}) \leq\bar{f}\) ρ-a.e., for any \(n \geq1\). In particular, we have
Since
\(T(\bar{f})=\bar{f}\), which means that \(\bar{f}\) is a fixed point of T. Finally let \(f \in C\) such that f and \(\bar{f}\) are comparable. Since T is monotone, \(T^{n}(f)\) and \(T^{n}(\bar{f}) = \bar{f}\) are comparable. Hence
Since \(\alpha< 1\), we conclude that \(\{T^{n}(f)\}\) ρ-converges to \(\bar{f}\). □
The missing information in Theorem 3.1 is the uniqueness of the fixed point. In fact we do have a partial positive answer to this question. Indeed if \(\bar{h}\) and \(\bar{g}\) are two fixed points of T such that \(\bar{h} \leq\bar{g}\) ρ-a.e., then we must have \(\bar{h} = \bar{g}\). In general T may have more than one fixed point.
Remark 3.1
The conclusion of Theorem 3.1 does not extend easily to the case of monotone decreasing contractions. Note that the mapping T in Example 2.1 is monotone decreasing. But if we assume that there exists \(f_{0} \in C\) such that \(f_{0} \leq T^{2}(f_{0}) \leq T(f_{0})\) or \(T(f_{0}) \leq T^{2}(f_{0}) \leq f_{0}\) ρ-a.e., then \(\{T^{n}(f_{0})\}\) is ρ-Cauchy and ρ-converges to \(\bar{f}\), a fixed point of T. Moreover, if \(f \in C\) is comparable to \(\bar{f}\), then \(\{T^{n}(f)\}\) ρ-converges to \(\bar{f}\).
Next we discuss the case of monotone pointwise Lipschitzian mappings and extend the recent results of [2].
Theorem 3.2
Let us assume that \(\rho\in\Re\). Let \(C \subset L_{\rho}\) be nonempty, ρ-closed and ρ-bounded. Let \(T: C \rightarrow C\) be a pointwise monotone increasing contraction or asymptotic pointwise monotone increasing contraction. Then any two comparable fixed points of T are equal. Moreover, if \(f_{0}\) is a fixed point of T, then the orbit \(\{T^{n}(f)\}\) ρ-converges to \(f_{0}\), for any \(f\in C\) which is comparable to \(f_{0}\).
Proof
Since every pointwise monotone increasing contraction is an asymptotic pointwise monotone increasing contraction, we can assume that T is an asymptotic pointwise monotone increasing contraction, i.e.
for any \(f \in C\) and \(n \geq1\), and any \(g \in C\) comparable to f, where \(\{ k_{f}^{n} \}\) is such that \(\limsup_{n \rightarrow \infty} k_{f}^{n} = k_{f} < 1\). Let \(f_{1}, f_{2} \in C\) be two fixed points of T such that \(f_{1} \leq f_{2}\) ρ-a.e. Then we have
for any \(n \geq1\). If we let \(n \rightarrow\infty\), we will get
Since \(k_{f_{1}} < 1\) and C is ρ-bounded, we conclude that \(\rho (f_{1}-f_{2}) = 0\), i.e. \(f_{1}=f_{2}\). This proves the first part of Theorem 3.2. To prove the convergence, assume that \(f_{0}\) is a fixed point of T. Fix an arbitrary \(f \in C\) such that \(f \leq f_{0}\) or \(f_{0} \leq f\) ρ-a.e. Let us prove that \(\{ T^{n}(f)\}\) ρ-converges to \(f_{0}\). Indeed since T is monotone increasing, then \(T^{n}(f)\) and \(T^{h}(f_{0}) = f_{0}\) are comparable for any \(n , h \geq1\). Hence
for any \(n,m \geq1\). Hence
Since \(\limsup_{m \rightarrow\infty} \rho (T^{n+m}(f)-f_{0} ) = \limsup_{m \rightarrow\infty} \rho (T^{m}(f)-f_{0} )\), we get
for any \(n \geq1\). If we let \(n \rightarrow\infty\), we obtain
Since \(k_{f_{0}} < 1\), we get \(\limsup_{n \rightarrow\infty} \rho (T^{n}(f)-f_{0} ) = 0\), which implies the desired conclusion \(\lim_{n \rightarrow\infty} \rho (T^{n}(f)-f_{0} ) = 0\). □
Theorem 3.2 does not discuss the existence part of the fixed point. Next we investigate this problem. We will start our discussion with the existence of fixed point results in the case of uniformly continuous function modulars.
Definition 3.1
Let \(\rho\in\Re\). We will say that the function modular ρ is uniformly continuous if for every \(\varepsilon>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 [25] or in sequence Orlicz spaces [26] the uniform continuity of the Orlicz modular is equivalent to the \(\Delta_{2}\) property.
Lemma 3.1
[2]
Let \(\rho\in\Re\) be uniformly continuous. Let \(K\subset L_{\rho}\) be nonempty, convex, ρ-closed, and ρ-bounded. Then any ρ-type \(\tau :K\rightarrow[0,\infty)\) is ρ-lower semicontinuous in K, where
where \(\{f_{n}\} \in K\).
Before we state our next result, we need the following definition of a property that plays in the theory of modular function spaces a role similar to the reflexivity in Banach spaces (see e.g. [11]).
Definition 3.2
[11]
We say that \(L_{\rho}\) has property (R) if and only if every decreasing sequence \(\{ C_{n}\}\) of nonempty, ρ-bounded, ρ-closed, and convex subsets of \(L_{\rho}\) has a nonempty intersection.
Theorem 3.3
Assume that \(\rho\in\Re\) is uniformly continuous and has property (R). Assume that ρ satisfies the \(\Delta_{2}\)-property. Let \(K\subset L_{\rho}\) be nonempty, convex, ρ-closed, and ρ-bounded. Let \(T:K\rightarrow K\) be a pointwise monotone increasing contraction or asymptotic pointwise monotone increasing contraction. Assume there exists \(f \in K\) such that f and \(T(f)\) are comparable. Then T has a fixed point \(f_{0}\in K\).
Proof
Since every pointwise monotone increasing contraction is an asymptotic pointwise monotone increasing contraction, we can assume that T is an asymptotic pointwise monotone increasing contraction. In view of Theorem 3.2, it is enough to show that T has a fixed point. Let us assume that \(f \leq T(f)\) ρ-a.e. The case when \(T(f) \leq f\) is done in a similar way and will be omitted. Set
Since ρ satisfies the \(\Delta_{2}\)-property, C is nonempty, ρ-closed, and convex. It is clear that \(T(C) \subset C\) since T is monotone increasing. Define the function \(\tau: C \rightarrow[0,+\infty )\) by
Note that \(\tau(g) \leq\delta_{\rho}(K)\), for any \(g \in C\). Lemma 3.1 implies that τ is ρ-lower semicontinuous in C. Since ρ has property (R), there exists \(f_{0}\in C\) such that
Let us prove that \(\tau(f_{0})= 0\). Indeed, since \(f \leq f_{0}\) ρ-a.e., for any \(n, m \geq1\) we have
If we let n go to infinity, we get \(\tau(T^{m}(f_{0})) \leq k^{m}_{f_{0}}\ \tau(f_{0})\), which implies
Passing with m to infinity, we get \(\tau(f_{0}) \leq k_{f_{0}}\ \tau (f_{0})\), which forces \(\tau(f_{0})=0\), as \(k_{f_{0}}<1\). Hence, \(\limsup_{n \rightarrow\infty} \rho (T^{n}(f)-f_{0} ) = 0\) holds, i.e.
The ρ-continuity of T implies \(f_{0}\) is a fixed point of T. □
Remark 3.2
As we see in the proof of Theorem 3.3, the lower semicontinuity of ρ-types is crucial. In [27], it is proved that if ρ is orthogonally additive, and \(\{f_{n}\} \subset L_{\rho}\) is ρ-a.e. convergent to 0 such that there exists \(\beta> 1\) with
then for any \(g \in E_{\rho}\), we have \(\lim_{n \rightarrow\infty} (\rho(f_{n} + g) -\rho(f_{n}) - \rho(g) ) = 0\), which implies
We say that \(L_{\rho}\) has the ρ-a.e. strong Opial property whenever this conclusion is satisfied. In this case, any ρ-type is lower semicontinuous in the sense of convergence ρ-a.e. This will help prove that if \(L_{\rho}\) has the ρ-a.e. strong Opial property, \(K \subset E_{\rho}\) be a nonempty, ρ-a.e. compact, strongly ρ-bounded, and convex subset, then any \(T:K\rightarrow K\) which is a pointwise monotone increasing contraction or asymptotic pointwise monotone increasing contraction has a fixed point provided there exists \(f \in K\) such that f and \(T(f)\) are comparable.
Indeed since every pointwise monotone increasing contraction is an asymptotic pointwise monotone increasing contraction we can assume that T is an asymptotic pointwise monotone increasing contraction. Let us assume that \(f \leq T(f)\) ρ-a.e. The case when \(T(f) \leq f\) is done in a similar way and will be omitted. Set
Then C is a nonempty, ρ-a.e. compact, strongly ρ-bounded, and convex subset of K. Since T is monotone increasing, we have \(T(C) \subset C\). Define \(\tau: C \rightarrow[0,+\infty)\) by
Since C is ρ-bounded, we have \(\tau(h) < +\infty\), for any \(h \in C\). Using the properties of ρ-types under these assumptions, there exists \(f_{0}\in C\) such that
Using the same argument as in the proof of Theorem 3.3, we will get \(\tau(f_{0})= 0\). Hence, \(\lim_{n \rightarrow\infty} \rho(T^{n}(f) - f_{0}) = 0\). The ρ-continuity of T forces \(f_{0}\) to be a fixed point of T.
References
Kozlowski, WM: Modular Function Spaces. Series of Monographs and Textbooks in Pure and Applied Mathematics, vol. 122. Dekker, New York (1988)
Khamsi, MA, Kozlowski, WK: On asymptotic pointwise contractions in modular function spaces. Nonlinear Anal., Theory Methods Appl. 73, 2957-2967 (2010)
Khamsi, MA, Kozlowski, WM, Reich, S: Fixed point theory in modular function spaces. Nonlinear Anal. 14, 935-953 (1990)
Browder, FE: Nonexpansive nonlinear operators in a Banach space. Proc. Natl. Acad. Sci. USA 54, 1041-1044 (1965)
Goebel, K, Reich, S: Uniform Convexity, Hyperbolic Geometry, and Nonexpansive Mappings. Series of Monographs and Textbooks in Pure and Applied Mathematics, vol. 83. Dekker, New York (1984)
Gohde, D: Zum Prinzip der kontraktiven Abbildung. Math. Nachr. 30, 251-258 (1965)
Kirk, WA: Fixed Point Theory for Nonexpansive Mappings, I and II. Lecture Notes in Mathematics, vol. 886, pp. 485-505. Springer, Berlin (1981)
Baillon, JB: Nonexpansive mappings and hyperconvex spaces. Contemp. Math. 72, 11-19 (1988)
Goebel, K, Sekowski, T, Stachura, A: Uniform convexity of the hyperbolic metric and fixed points of holomorphic mappings in the Hilbert ball. Nonlinear Anal. 4, 1011-1021 (1980)
Khamsi, MA, Kirk, WA: An Introduction to Metric Spaces and Fixed Point Theory. Wiley, New York (2001)
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)
Khamsi, MA: On asymptotically nonexpansive mappings in hyperconvex metric spaces. Proc. Am. Math. Soc. 132, 365-373 (2004)
Kirk, WA: Fixed points of asymptotic contractions. J. Math. Anal. Appl. 277, 645-650 (2003)
Kirk, WA: Mappings of generalized contractive type. J. Math. Anal. Appl. 32, 567-572 (1970)
Hussain, N, Khamsi, MA: On asymptotic pointwise contractions in metric spaces. Nonlinear Anal. 71(10), 4423-4429 (2009)
Kirk, WA: Asymptotic pointwise contractions. In: Plenary Lecture, the 8th International Conference on Fixed Point Theory and Its Applications (Chiang Mai University, Thailand, July 16-22, 2007).
Kirk, WA, Xu, HK: Asymptotic pointwise contractions. Nonlinear Anal. 69, 4706-4712 (2008)
Banach, S: Sur les opérations dans les ensembles abstraits et leur applications aux équations intégrales. Fundam. Math. 3, 133-181 (1922)
Nieto, JJ, Rodriguez-Lopez, R: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 22(3), 223-239 (2005)
Ran, ACM, Reurings, MCB: A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc. Am. Math. Soc. 132(5), 1435-1443 (2004)
Jachymski, J: The contraction principle for mappings on a metric space with a graph. Proc. Am. Math. Soc. 136, 1359-1373 (2007)
Kozlowski, WM: Notes on modular function spaces I. Comment. Math. 28, 91-104 (1988)
Kozlowski, WM: Notes on modular function spaces II. Comment. Math. 28, 105-120 (1988)
Graumlich, JF, Ludden, TM, Conry-Cantilena, C, Cantilena, LRJ, Wang, Y, Levine, M: Pharmacokinetic model of ascorbic acid in healthy male volunteers during depletion and repletion. Pharm. Res. 14, 1133-1139 (1997)
Shutao, C: Geometry of Orlicz spaces. Diss. Math. 356 (1996)
Kaminska, A: On uniform convexity of Orlicz spaces. Indag. Math. 44(1), 27-36 (1982)
Khamsi, MA: A convexity property in modular function spaces. Math. Jpn. 44(2), 269-279 (1996)
Acknowledgements
The authors would like to extend their sincere appreciation to the Deanship of Scientific Research at King Saud University for funding this Research group No. RG-1435-079.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Cite this article
Alfuraidan, M.R., Bachar, M. & Khamsi, M.A. On monotone contraction mappings in modular function spaces. Fixed Point Theory Appl 2015, 28 (2015). https://doi.org/10.1186/s13663-015-0274-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-015-0274-9