Abstract
This paper is devoted to state some fixed point results for multivalued mappings in modular vector spaces. For this purpose, we study the uniform noncompact convexity, a geometric property for modular spaces which is similar to nearly uniform convexity in the Banach spaces setting. Using this property, we state several new fixed point theorems for multivalued nonexpansive mappings in modular spaces.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The beginning of the Fixed Point Theory for nonexpansive mappings occurred in 1965 when Browder [5], Browder and Göhde [6, 18] and Kirk [24] proved that every nonexpansive mapping defined on a convex closed bounded subset of, respectively, a Hilbert space, a uniformly convex Banach space or a reflexive Banach space with normal structure, has a fixed point. A natural problem is to extend these results to multivalued nonexpansive mappings (see Problem 8 in [32]). Using the uniqueness of the asymptotic center of a bounded sequence in a uniformly convex space, Browder–Göhde’s Theorem was extended by Lim [27] (see also in [33] Corollary 3.5). Surprisingly, 55 years later, it is still an open problem the possibility of extending Kirk’s Theorem. However, some partial extensions have been obtained assuming that the Banach space satisfies several different conditions which imply normal structure (see [9] and references therein). Another direction to research has been the development of the theory for single-valued nonexpansive mappings in modular function spaces (see, for instance [21, 22]). Modular spaces were introduced by Nakano [29, 30] and developed by Orlicz and Musielak [28]. A very relevant class of modular spaces are the variable exponent Lebesgue spaces, due to their applications to partial differential equations and variational integrals with non-standard growth conditions. This fact, especially after M. Ru̇žička [34] discovered that they constitute a natural functional setting for the mathematical model of electrorheological fluids, has led to renewed attention on the modular function spaces.
Nearly uniform convexity is a geometric condition that has proved to be successful to obtain fixed points for multivalued nonexpansive mappings in Banach spaces [12, 13]. Since this condition has a counterpart in modular spaces [21, Section 4.3], it is very natural to study the validity of these results in the setting of modular spaces. After several sections with preliminaries and technical results, in Sect. 6, we state some fixed point results for multivalued nonexpansive mappings in modular spaces. Our approach follows, in some parts, similar arguments to those in [12, 13], but, in some other parts, we need some very different techniques. We avoid details in the first case and we will give complete proofs in the latter. We have included two examples of Orlicz sequential variable exponent spaces [31] where our results can be applied.
2 Preliminaries
We start by recalling some notions and facts concerning modular spaces. For more details, the reader is referred to [21, 23, 28,29,30].
Definition 2.1
Let \( \mathcal {X} \) be an arbitrary vector space.
-
(a)
A functional \( \rho :\mathcal {X}\rightarrow [0, \infty ] \) is called a convex modular if for arbitrary \( x, y\in \mathcal {X} \), (i) \(\rho (x)=0\) if and only if \(x=0\); (ii) \( \rho (\alpha x)=\rho (x) \) for every scalar \( \alpha \) with \( |\alpha |=1 \); (iii) \( \rho (\alpha x+\beta y)\le \alpha \rho (x)+\beta \rho (y) \) if \( \alpha +\beta =1 \) and \( \alpha , \beta \ge 0 \).
-
(b)
A modular \( \rho \) defines a corresponding modular space, i.e. the vector space \( \mathcal {X}_\rho \) given by
$$\begin{aligned} \mathcal {X}_\rho =\{x\in \mathcal {X}: \rho (x/\lambda )<\infty \text { for some } \lambda >0\}. \end{aligned}$$
Notice that the convexity of the modular implies that the \(\rho \)-ball \(B_\rho (x,r)=\{ y\in \mathcal {X}_\rho :\rho (y-x)\le r\}\) is convex for any \(x\in \mathcal {X}_\rho \) and \(r>0\).
The formula
defines a norm which is frequently called the Luxemburg norm. Thus, any convex modular space can be simultaneously studied as a normed space with the Luxemburg norm and any topic on these spaces can be split in two parts corresponding either to the modular space or the normed space. It should be noticed that in non-trivial cases, the Luxemburg norm is particularly difficult to compute. Consequently, the results for the norm should be usually deduced from the properties of the modular space.
Definition 2.2
-
(a)
The sequence \(\{x_n\}\) in \( \mathcal {X}_\rho \) is said to be \(\rho \)-convergent to \(x\in \mathcal {X}_\rho \) if \(\rho (x_n-x)\rightarrow 0\) as \(n\rightarrow \infty \).
-
(b)
The sequence \(\{x_n\}\) in \( \mathcal {X}_\rho \) is said to be \(\rho \)-Cauchy if \(\rho (x_n-x_m)\rightarrow 0\) as n and m go to \( \infty \).
-
(c)
A subset C of \(\mathcal {X}_\rho \) is called \(\rho \)-closed if the \(\rho \)-limit of a \(\rho \)-convergent sequence of C always belongs to C.
-
(d)
\(\mathcal {X}_\rho \) is said to be \(\rho \)-complete if every \(\rho \)-Cauchy sequence is \(\rho \)-convergent.
-
(e)
A subset C of \(\mathcal {X}_\rho \) is \(\rho \)-bounded if
$$\begin{aligned} \textit{diam}_{\rho }(C)=\sup \{ \rho (x-y); x, y \in C\}< \infty . \end{aligned}$$It is clear that the diameter of a set is preserved by translation, i.e., \(\textit{diam}_{\rho }(C)=\textit{diam}_{\rho }(C+x)\) for every \(x\in \mathcal {X}_\rho \). Therefore, C is \(\rho \)-bounded if and only if \(C+x\) is.
-
(f)
A subset C of \(\mathcal {X}_\rho \) is called \(\rho \)-compact if for any \(\{x_n\}\) in C there exists a subsequence \(\{x_{n_k}\}\) of \(\{x_n\}\) and \(x\in C\) such that \(\displaystyle \lim _k\rho (x_{n_k}-x)=0\).
-
(g)
\(\rho \) is said to satisfy the Fatou property if for any sequence \(\{x_n\}\) in \(\mathcal {X}_\rho \) \(\rho \)-convergent to \(x\in \mathcal {X}_\rho \), we have \(\displaystyle \rho (x)\le \liminf _n\rho (x_n)\).
Given a subset A of \(\mathcal {X}_\rho \), we denote co(A) its convex hull, i.e., the smallest convex subset of \( \mathcal {X}_\rho \) containing A. From the convexity of the modular \(\rho \), we easily deduce that \(\textit{diam}_{\rho }(co(A))=\textit{diam}_{\rho }(A)\).
Let us describe the relationship between the modular-convergence and norm-convergence in modular spaces. We can use the following proposition:
Proposition 2.3
(Proposition 3.7 and 3.9 in [21]) Let \(\rho \) be a convex modular and let \(x\in \mathcal {X}_\rho \). The following assertions are true:
-
(a)
If \(\Vert x\Vert _\rho < 1\) then \(\rho (x)\le \Vert x\Vert _\rho \).
-
(b)
If \(\Vert x\Vert _\rho > 1\) then \(\rho (x)\ge \Vert x\Vert _\rho \).
Remark 2.4
-
(1)
From part (a) of Proposition 2.3 we conclude that a norm-convergent sequence in \(\mathcal {X}_\rho \) is \(\rho \)-convergent. Therefore, every \(\rho \)-closed set in \(\mathcal {X}_\rho \) is norm-closed.
-
(2)
An easy consequence of part (b) of Proposition 2.3 is that any \(\rho \)-bounded subset of \(\mathcal {X}_\rho \) is also norm-bounded.
-
(3)
It is easy to check that the Fatou property implies that the \(\rho \)-balls are \(\rho \)-closed and that the \(\rho \)-diameter of a set is the same as the \(\rho \)-diameter of its \(\rho \)-closure. The Fatou property also implies that: if \(x\in \mathcal {X}_\rho \) and K is a nonempty \(\rho \)-compact subset of \(\mathcal {X}_\rho \), then there exists \(y_0\in K\) such that
$$\begin{aligned} \rho (x-y_0) = d_\rho (x,K), \end{aligned}$$where \(d_\rho (x,K)=\inf \{\rho (x,y):y\in K\}\).
In the following, we always assume that the modular is \(\rho \)-complete.
Definition 2.5
Let \(\rho \) be a convex modular. We say that the modular satisfies the \(\Delta _2\)-type condition if there exists \(K>0\) such that \(\rho (2x)\le K\rho (x)\) for any \(x\in \mathcal {X}_\rho \).
Definition 2.6
The growth function \(\omega _\rho :[0,\infty )\rightarrow [0,\infty )\) of a modular \(\rho \) is defined as follows:
Lemma 2.7
[11] Let \(\rho \) be a convex modular satisfying the \(\Delta _2\)-type condition. Then the growth function \(\omega _\rho \) has the following properties:
-
1.
\(\omega _\rho (t)< \infty \) for every \(t\in [0,\infty )\).
-
2.
\(\omega _\rho (t)=0\) if and only if \(t=0\).
-
3.
\(\omega _\rho :[0,\infty )\rightarrow [0,\infty )\) is a convex, strictly increasing function. So, it is continuous.
-
4.
\(\omega _\rho (\alpha \beta )\le \omega _\rho (\alpha )\omega _\rho (\beta )\) for all \(\alpha ,\beta \ge 0\).
-
5.
\(\omega _\rho ^{-1}(\alpha )\omega _\rho ^{-1}(\beta )\le \omega _\rho ^{-1}(\alpha \beta )\) for all \(\alpha ,\beta \ge 0\), where \(\omega _\rho ^{-1}\) is the function inverse of \(\omega \).
-
6.
\(\Vert x \Vert _\rho \le \frac{1}{\omega _\rho ^{-1}(1/\rho (x))}\) for every \(x\in \mathcal {X}_\rho \backslash {0}\).
Remark 2.8
It follows from the above lemma that \(\rho (x)\le \omega _\rho (\Vert x\Vert _\rho )\) for every \(x\in \mathcal {X}_\rho \). Indeed, for every \(\alpha >\Vert x\Vert _\rho \)
Letting \(\alpha \) go to \(\Vert x\Vert _\rho \) and using the continuity of \(\omega _\rho (\cdot )\), we obtain the wanted inequality. As a consequence any norm-bounded subset of \(\mathcal {X}_\rho \) is also \(\rho \)-bounded.
Furthermore, we also obtain that \(\rho \)-convergence is identical to norm-convergence. Moreover, the modular is \(\rho \)-complete if and only if it is norm-complete and \(\rho \)-compact (\(\rho \)-closed) sets are the same as norm-compact (norm-closed) sets. We will remove the prefix \(\rho \) in this case.
The following is a technical lemma which will be needed because of the lack of the triangular inequality.
Lemma 2.9
[11] Assume that \(\rho \) is a convex modular satisfying the \(\Delta _2\)-type condition. Let \(\{ x_n\}\), \(\{ y_n\}\) two sequences in \(\mathcal {X}_\rho \). Then
and
As a result of the above lemma, the modular \(\rho \) satisfies the Fatou property under the \(\Delta _2\)-type condition. In fact, \(\displaystyle \rho (x)=\lim _n\rho (x_n)\) if \(\displaystyle \lim _n\rho (x_n-x)=0\) and the modular is continuous.
In the remainder of the paper, we will assume that \(\mathcal {X}_\rho \) satisfies the Fatou property even though no \(\Delta _2\)-type condition is assumed.
Some existence fixed point theorems for nonlinear mappings defined in modular spaces require a kind of uniform continuity of the modular.
Definition 2.10
A modular \(\rho \) is said to be uniformly continuous on bounded sets if for every bounded subset M of \(\mathcal {X}_\rho \) and for every \(\varepsilon > 0\), there exists \(\delta > 0\) such that
whenever \(x\in M\), \(y\in \mathcal {X}_\rho \), \(\rho (y)< \delta \).
The following result is a particular case of Lemma 3.4 in [14] (see also [20]).
Lemma 2.11
Assume that \(\rho \) is a convex modular satisfying the \(\Delta _2\)-type condition. Then
-
1.
\(\rho \) is uniformly continuous on bounded sets.
-
2.
For any bounded sequence \(\{x_n\}\subset \mathcal {X}_\rho \) and any bounded subset M of \(\mathcal {X}_\rho \), the function \(\phi :M\rightarrow {\mathbb R}\) defined by \(\displaystyle \phi (x)=\limsup _n\rho (x_n-x)\) is \(\rho \)-continuous, i.e., \(\phi (y)=\lim _m \phi (y_m)\) provided \(y,y_m\in M\) and \(\displaystyle \lim _m\rho (y_m-y)=0\).
The following property can be understood as the modular equivalence of the Banach space reflexivity. It will be a powerful tool to prove the fixed point property in modular spaces.
Definition 2.12
[21] A modular space \(\mathcal {X}_\rho \) is said to satisfy property (R) if every nonincreasing sequence \(\{C_n\}\) of nonempty, \(\rho \)-bounded, \(\rho \)-closed, convex subsets of \(\mathcal {X}_\rho \) has a nonempty intersection.
The method of asymptotic centers has played an important role in the fixed point theory for nonexpansive multivalued mappings in Banach spaces. Some definitions and results concerning asymptotic centers can be adapted to modular spaces in a straightforward way:
Let C be a nonempty \(\rho \)-closed \(\rho \)-bounded subset of the space \(\mathcal {X}_\rho \) and \(\{ x_n\}\) be a bounded sequence in \(\mathcal {X}_\rho \). We define
The number \(r_\rho (C,\{ x_n\})\) and the (possible empty) set \(A_\rho (C,\{ x_n\})\) are called, respectively, the \(\rho \)-asymptotic radius and the \(\rho \)-asymptotic center of \(\{ x_n\}\) in C.
Obviously, \(A_\rho (C,\{ x_n\})\) is a convex set as C is. Furthermore, the set \(A_\rho (C,\{ x_n\})\) is nonempty and closed whenever the space satisfies the \(\Delta _2\)-type condition and satisfies property (R). Indeed, for any \(m\ge 1\) consider the set
where \(r=r_\rho (C,\{ x_n\})\). Clearly \(A_m\) is nonempty and convex. Also, \(A_m\) is closed by Lemma 2.11. It follows from property (R) that \(\displaystyle A_\rho (C,\{ x_n\})=\bigcap _{m\ge 1} A_m\not =\emptyset \).
The sequence \(\{ x_n\}\) is said to be regular relative to C if the asymptotic radii of all subsequences of \(\{ x_n\}\) (relative to C) are the same. If, in addition, \(A_\rho (C,\{ y_n\})=A_\rho (C,\{ x_n\})\) for every subsequence \(\{y_n\}\) of \(\{ x_n\}\) we say that \(\{ x_n\}\) is asymptotically uniform relative to C.
Similarly as Goebel, Lim and Kirk [15, 24, 27] did for Banach spaces, the following lemma can be proved:
Lemma 2.13
Let \(\rho \) be a convex modular satisfying the \(\Delta _2\)-type condition. Let C be a nonempty closed bounded separable subset of the space \(\mathcal {X}_\rho \) and \(\{ x_n\}\) be a bounded sequence in \(\mathcal {X}_\rho \). Then \(\{ x_n\}\) contains a regular and asymptotically uniform subsequence relative to C.
If D is a \(\rho \)-bounded subset of \(\mathcal {X}_\rho \), the \(\rho \)-Chebyshev radius of D relative to C is defined by
Notice that \(r_\rho (C,D)\le \textit{diam}_{\rho }(D)\) if \(D\subset C\). Moreover, if \(\mathcal {X}_\rho \) satisfies the \(\Delta _2\)-type condition then \(\textit{diam}_{\rho }(D)\le \omega (2)r_\rho (C,D).\)
Let C be a nonempty subset of the space \(\mathcal {X}_\rho \). We shall denote by \(F_\rho (C)\) the family of all nonempty \(\rho \)-closed subsets of C and by \(K_\rho (C)\) (resp. \(KC_\rho (C)\)) the family of all nonempty \(\rho \)-compact subsets of C (resp. \(\rho \)-compact convex). We can define the analogue to the Hausdorff distance for modular spaces by
where for \(x\in \mathcal {X}_\rho \) and \(E\subset \mathcal {X}_\rho \) \(d_\rho (x,E):=\inf \{\rho (x-y):y\in E\}\) is the \(\rho \)-distance from the point x to the subset E. This function will be called Hausdorff \(\rho \)-distance even though it is not a metric.
If C is a \(\rho \)-closed convex subset of \(\mathcal {X}_\rho \), then a multivalued mapping \(T:C\rightarrow F_\rho (\mathcal {X}_\rho )\) is said to be \(\rho \)-contractive if there exists a constant \(k\in [0,1)\) such that
and T is said to be \(\rho \)-nonexpansive if
Finally, we say that \(x\in C\) is a fixed point of T if and only if \(x\in Tx\). A counterpart of the Banach Contraction Principle for multivalued mappings in modular spaces has been proved in [7].
Theorem 2.14
Let \(\rho \) be a convex modular satisfying the \(\Delta _2\)-type condition, C a nonempty bounded closed subset of \(\mathcal {X}_{\rho },\) and \(T:C\rightarrow F_{\rho }(C)\) a \(\rho -\)contraction mapping. Then T has a fixed point.
3 Measures of noncompactness in modular spaces
The definitions of both Kuratowski and Hausdorff measure of noncompactness were introduced in modular function spaces by Khamsi and Kozlowski [21]. Similarly, we can extend such concepts to modular abstract spaces in the following way.
Definition 3.1
Let \(\rho \) be a convex modular and \(\mathcal {B}\) the family of all nonempty \(\rho \)-bounded subset of \(\mathcal {X}_\rho \). Define the Kuratowski measure of noncompactness of \(A\in \mathcal {B}\) by
and the Hausdorff measure of noncompactness of A by
We will make the obvious convention that the infimum over an empty set is infinite.
Note that \(\chi (A) \le \alpha (A) \le \text {diam}_{\rho }(A)\). If in addition \(\rho \) satisfies the \(\Delta _2\)-type condition, then \(\alpha (A) \le \omega (2)\chi (A)\).
We next summarize the basic properties of the above measures of noncompactness. These properties follow immediately from the definitions and some of them have been proved in [21].
Proposition 3.2
Let \(\phi \) denote \(\alpha \) or \(\chi \). Then the following properties hold:
-
1
If \(A\subset B\) then \(\phi (A)\le \phi (B)\) for all \(A,B\in \mathcal {B}\).
-
2
\(\phi (\overline{A}^\rho )=\phi (A)\) for all \(A\in \mathcal {B}\), where \(\overline{A}^\rho \) denotes the \(\rho \)-closure of A.
-
3
\(\phi (A\cup B)=\max \{ \phi (A),\phi (B)\}\) for all \(A,B\in \mathcal {B}\).
-
4
If A is a finite set, then \(\phi (A)=0\).
-
5
\(\phi (A+x)=\phi (A)\) for any \(x\in \mathcal {X}_\rho \).
-
6
\(\phi (-A)=\phi (A)\).
-
7
\(\phi (\lambda A+\mu B)\le \lambda \phi (A)+\mu \phi (B)\) if \(\lambda +\mu =1\) and \(\lambda , \mu \ge 0\) for all \(A,B\in \mathcal {B}\).
-
8
If \(\alpha (A)=0\), then \(\overline{A}^\rho \) is \(\rho \)-compact. If \(\rho \) is a convex modular satisfying the \(\Delta _2\)-type condition, \(\chi (A)=0\) implies \(\overline{A}^\rho \) is \(\rho \)-compact. Conversely, if \(\rho \) is a convex modular satisfying the \(\Delta _2\)-type condition and A is \(\rho \)-compact, then \(\phi (A)=0\).
-
9
If \(\{A_n\}\) is a decreasing sequence of nonempty \(\rho \)-closed, \(\rho \)-bounded subset of \(\mathcal {X}_\rho \) and \(\lim _n\phi (A_n)=0\), then \(A_\infty :=\cap _{n\ge 1} A_n\) is nonempty. If \(\phi =\alpha \), then \(A_\infty \) is \(\rho \)-compact. If, in addition, \(\rho \) satisfies the \(\Delta _2\)-type condition, and \(\phi =\chi \) then \(A_\infty \) is \(\rho \)-compact.
Let \(\rho \) a modular satisfying the \(\Delta _2\)-type condition. Assume that C is a subset of the modular space \(\mathcal {X}_\rho \). We can consider the Hausdorff measure of noncompactness \(\chi _C\) defined for any \(\rho \)-bounded subset A of C by \(\chi _C(A)=\inf \{\varepsilon >0: A \) can be covered by finitely many \(\rho \)-balls centered at points in C with radius less than \(\varepsilon \}.\) It must be noted that this measure depends on C and it is, in general, different from \(\chi =:\chi _{\mathcal {X}_\rho }\). However, if C is a convex closed set, it is easy to check that the arguments to prove the properties in Proposition 3.2 equally well apply to the measure \(\chi _C\).
We are going to prove that the Kuratowski and Hausdorff measure of noncompactness are invariant under passage to the convex hull.
Theorem 3.3
Let \(\rho \) be a convex modular satisfying the \(\Delta _2\)-type condition. Let \(\phi \) denote \(\alpha \) or \(\chi \), then \(\phi (co(A))=\phi (A)\) for all \(A\in \mathcal {B}\).
Proof
We prove the result for \(\chi \). The proof for \(\alpha \) is analogous. Since \(A\subset co(A)\) we obtain \(\chi (A)\le \chi (co(A))\). If \(\chi (A)< \chi (co(A))\), there exists \(\lambda > 1\) such that \(\chi (co(A))> \lambda \chi (A)\). Choose \(\alpha \in (0,1)\) such that \(\alpha \omega (\frac{1}{\alpha })\le \lambda \). We are going to follow an argument as in [2] to get a contradiction. Indeed, for every \(\varepsilon > 0\) there exist \(x_1,\cdots ,x_n\in \mathcal {X}_\rho \) such that
Let us define
and \(\displaystyle \Delta (\sigma )=\sum _{i=1}^{n}\sigma _iB_\rho (x_i,\chi (A)+\varepsilon )\). As proved in [2, Theorem 2.4], the set \(\bigcup _{\sigma \in \Delta }\Delta (\sigma )\) is convex.
Since \(\displaystyle A\subset \bigcup _{i=1}^{n}B_\rho (x_i,\chi (A)+\varepsilon )\subset \bigcup _{\sigma \in \Delta }\Delta (\sigma )\) it follows that
Since \(\Delta \) is compact, we can find \(\sigma ^{(1)},\cdots ,\sigma ^{(m)}\in \Delta \) such that for all \(\sigma \in \Delta \), we have
where \(M=\sup \{\rho (x):x\in B_\rho (x_i,\chi (A)+\varepsilon ),\,i=1\cdots ,n\}< +\infty .\)
Let x be any element of co(A). Since \(\displaystyle x= \sum _{i=1}^n\sigma _iy_i\), for some \(\sigma =(\sigma _1,\cdots , \sigma _n)\in \Delta \) and \(y_i\in B_\rho (x_i,\chi (A)+\varepsilon ),\,\,i=1,\cdots ,n\), there exists \(j\in \{1,\cdots ,m\}\) such that \(\displaystyle \sum _{i=1}^n\vert \sigma _i-\sigma _i^j\vert < \varepsilon '\).
Denote \(\displaystyle \overline{x}=\sum _{i=1}^n\sigma _i^jy_i\in \Delta (\sigma ^j)\). We have
Put \(z_i=sign (\sigma _i-\sigma _i^j)y_i\). Since \(\displaystyle \sum _{i=1}^n\vert \sigma _i-\sigma _i^j\vert \le \varepsilon '\le 1\), we apply the convexity of the modular to obtain
Hence,
Furthermore,
Therefore,
This implies that
Bearing in mind that \(\varepsilon \) was chosen arbitrary, we obtain \(\chi (co(A)\le \lambda \chi (A)\) which is a contradiction.
\(\square \)
4 Uniform noncompact convexity in modular spaces
Similarly as Goebel and Sekowski [17] did for Banach spaces, we can define a scaling of the convexity for modular spaces using the measures of noncompactness.
Definition 4.1
[21] Let \(\rho \) be a convex modular. Let \(\phi \) denote \(\alpha \) or \(\chi \). The \(\rho \)-modulus of noncompact convexity associated with \(\phi \) is defined in the following way:
for every \(r> 0\), \(\varepsilon >0\).
Remark 4.2
Since both measures of noncompactness \(\alpha \) and \(\chi \) are invariants under translations and \(d_\rho (0,A)=d_\rho (x,A+x)\) for every set \(A\subset \mathcal {X}_\rho \) and every \(x\in \mathcal {X}_\rho \), Definition 4.1 is equivalent to the following:
Definition 4.3
Let \(\rho \) be a convex modular. Let \(\phi \) denote \(\alpha \) or \(\chi \). The \(\rho \)-modulus of noncompact convexity associated with \(\phi \) is defined in the following way:
for every \(r> 0\), \(\varepsilon >0\).
Observe that the function \(\Delta _{\chi }(r,\cdot )\) is defined for \(\varepsilon \in (0,1]\). If \(\rho \) satisfies the \(\Delta _2\)-type condition, then \(\Delta _{\alpha }(r,\cdot )\) is defined for \(\varepsilon \in (0,\omega (2)]\). It is clear that both functions are non-decreasing in \(\varepsilon \).
The \(\rho \)-characteristic of noncompact convexity of \(\mathcal {X}_\rho \) associated with the measure of noncompactness \(\phi \) is defined by
for every \(r>0\).
Definition 4.4
Let \(\rho \) be a convex modular. The modular space \(\mathcal {X}_\rho \) is said to be \(\phi \)-uniformly \(\rho \)-noncompact convex (\(\phi \)-UNC in short) if \( \varepsilon _\phi (r)=0\) for every \(r> 0\).
Remark 4.5
It is easy to check that \(\Delta _{\alpha }(r,\varepsilon )\le \Delta _{\chi }(r,\varepsilon )\). Consequently, \( \varepsilon _\alpha (r)\ge \varepsilon _\chi (r). \) Clearly if \(\mathcal {X}_\rho \) is \(\alpha \)-uniformly \(\rho \)-noncompact convex, then \(\mathcal {X}_\rho \) is \(\chi \)-uniformly \(\rho \)-noncompact convex. Moreover, If \(\rho \) satisfies the \(\Delta _2\)-type condition \(\Delta _{\chi }\left( r,\frac{\varepsilon }{\omega (2)}\right) \le \Delta _{\alpha }(r,\varepsilon )\) and both concepts are equivalent.
Remark 4.6
In [1] (see also [5, 21]), the authors introduced some interlinked notions of \(\rho \)-uniform convexity in a modular space. One of them leads to define the \(\rho \)-modulus of uniform convexity for every \(r>0\) and \(\varepsilon > 0\) as follows:
where the infimum is taken over all \(x,y\in \mathcal {X}_\rho \) such that \(\rho (x)\le r\), \(\rho (y)\le r\) and \(\rho (x-y)\ge \varepsilon r\).
According to [1, Definition 3.1] (see also [21]) a modular \(\rho \) satisfies (UUC1) if for every \(s\ge 0\) and \(\varepsilon > 0\), there exist \(\eta (s,\varepsilon )> 0\) such that
Let us show the connection between this modulus and the \(\rho \)-modulus of noncompact convexity associated with \(\phi =\alpha \text{ or } \chi \).
Let \(A\subset \mathcal {X}_\rho \) be nonempty \(\rho \)-bounded convex such that \(A\subset B_\rho (0,r)\) with \(\phi (A)\ge r\varepsilon \), \(r> 0\) and \(\varepsilon > 0\). For \(\zeta < 1\), by definition of \(\phi \), we can find \(y_1,y_2\in A\) such that \(\rho (y_1-y_2)\ge \zeta \varepsilon r\). Therefore, we have
Since \(\displaystyle \frac{y_1+y_2}{2}\in A\), we deduce that
This implies
for every \(r>0\), \(\varepsilon > 0\) and \(\zeta < 1\).
Consequently, the class of \(\phi \)-uniformly \(\rho \)-noncompact convex spaces includes all \(\rho \)-(UUC1) spaces. The following example shows that the converse of this assertion is not true.
Example 4.7
A uniformly\(\rho \)-noncompact convex space which is not \(\rho \)-uniformly convex.
Let \( \{p_n\} \) be a sequence in \([1,\infty )\) such that \(1<p=:\liminf _n p_n\le \limsup _n p_n <\infty \). Consider the Orlicz space \(\ell ^{p_n}\) for the modular
It is well known that \((\ell ^{p_n},\rho )\) is a modular sequence space which satisfies the \(\Delta _2\)-type condition. Furthermore, \((\ell ^{p_n},\Vert \cdot \Vert _\rho )\) is a reflexive Banach space whenever \(\Vert \cdot \Vert _\rho \) is the corresponding Luxemburg norm [10, Theorem 18]. Note that \((\ell ^{p_n},\rho )\) does not satisfy any uniform convexity condition (see [1, Definition 3.1]) whenever the sequence \( \{p_n\} \) attains the value 1 more than once, because it contains \(\mathbb {R}^2\) with the 1-norm. It is clear that the modular is additive for disjointedly supported vectors. On the other hand, the functional \(\Lambda _k:\ell ^{p_n}\rightarrow \mathbb {R}\) defined by \(\Lambda _k(x)=x(k)\) is continuous and so every weakly null sequence in \((\ell ^{p_n},\Vert \cdot \Vert _\rho )\) converges to 0 coordinate-wise.
We are going to prove that \(\Delta _\chi (\varepsilon ,r)\ge \varepsilon /2\). To do that, let A be a convex subset of the closed ball \(B_\rho (0,r)\) such that \(\chi (A)>\varepsilon r\). We can find a sequence \(\{x_n\}\) in A such that sep\(_\rho \, (x_n)=\inf \{\rho (x_n-x_m):n,m\in {\mathbb N}\}\ge \varepsilon r\). Taking a subsequence, we can assume that \(\{x_n\}\) is weakly convergent, say to \(x\in \bar{A}\), and \(\lim _n\rho (x_n-x)=:l r\) does exist. After a further subsequence, we can assume that there exist two sequences \(\{u_n\},\{v_n\}\) such that \(\lim _n \rho (x-u_n)=0\), \(\lim _n \rho (x_n-x-v_n)=0\), supp \(u_n<\) supp \(v_n\) and supp \(v_n<\) supp \(v_{n+1}\) for every \(n\in \mathbb {N}\), where supp\((x):=\{n\in {\mathbb N}:x(n)\not =0\}\) and supp \(u<\) supp v means that there exists \(N\in {\mathbb N}\) such that supp \(u \subset [1,N]\) and supp \(v\subset [N+1,+\infty )\). Choose an arbitrary \(\eta >0\). Using Lemma 2.11, we can choose n, m large enough such that
Thus,
Moreover,
Hence, \(\rho (x)\le r(1-\varepsilon /2) +6\eta \). Since \(\eta \) is arbitrary, we have \(d_\rho (0,A)\le r(1-\varepsilon /2)\) which implies \(\Delta _\chi (\varepsilon ,r)\ge \varepsilon /2\).
Next lemma provides an important tool to prove the relationship between modular uniform noncompact convexity and property (R) as well as one of the main fixed point theorems in our paper (Theorem 6.7 below).
Lemma 4.8
Let \(\rho \) be a convex modular satisfying the \(\Delta _2\)-type condition. Assume that \(\mathcal {X}_\rho \) is \(\phi \)-UNC. Let \(s\in (0,+\infty )\) and \(\varepsilon >0\). Then there exists \(\lambda <1\) and \(\eta >0\) such that, for every \(r\in (s,s+\eta )\), we have \(1-\Delta _{\phi }(r,\varepsilon )\le \lambda \).
Proof
Choose \(\lambda \in \left( 1-\Delta _{\phi }\left( s,\frac{\varepsilon }{\omega (2)}\right) ,1\right) \). Since \(\frac{\omega (t)}{t}\rightarrow 1\) as \(t\rightarrow 1\), we can find \(\eta \in (0,s)\) such that
if \(r\in (s,s+\eta )\). Assume that \(A\subset B_\rho (0,r)\) is a convex set such that \(\phi (A)\ge r\varepsilon \). Consider the set \(B=\frac{s}{r}A\). We have that \(B \subset B_\rho (0,s)\) and \(\phi (B)\ge \frac{r\varepsilon }{\omega \left( \frac{r}{s}\right) }\ge \frac{r\varepsilon }{\omega (2)}\). Thus,
which implies
Therefore, \(1-\Delta _{\phi }(r,\varepsilon )\le \lambda \).
\(\square \)
Theorem 4.9
Let \(\rho \) be a convex modular satisfying the \(\Delta _2\)-type condition. Assume that \(\mathcal {X}_\rho \) is \(\phi \)-UNC. Then, for any closed bounded convex subset of \(\mathcal {X}_\rho \) and \(x\in \mathcal {X}_\rho \), the set
is nonempty compact and convex.
Proof
Since C is closed, we may assume without loss of generality that \(d:=d_\rho (x,C)>0\). Consider the sets \(C_n=C\cap B_\rho (x,d+\frac{1}{n})\) for any \(n\ge 1\). Clearly \(\{ C_n\}\) is a decreasing sequence of closed bounded convex subsets of \(\mathcal {X}_\rho \) and \(\displaystyle P_\rho (x,C)=\bigcap _{n\ge 1}C_n\).
Assume that \(\displaystyle \varepsilon :=\inf _{n}\phi (C_n)=\lim _n \phi (C_n)> 0\). We have
According to Lemma 4.8, there exists \(\lambda :=\lambda (d,\varepsilon )< 1\) and \(n_0\) such that for every \(n\ge n_0\)
Since \(d\le d_\rho (x,C_n)\), we obtain
contradicting the fact that \(d>0\). Hence \(\lim _n \phi (C_n)=0\). By Proposition 3.2, we deduce that \(\displaystyle \bigcap _{n\ge 1}C_n\) is a nonempty \(\rho \)-compact convex subset of C and the proof is complete.
\(\square \)
Theorem 4.10
Let \(\rho \) be a convex modular satisfying the \(\Delta _2\)-type condition. Assume that \(\mathcal {X}_\rho \) is \(\phi \)-UNC. Then \(\mathcal {X}_\rho \) has the property (R).
Proof
Let \(\{ C_n\}_{n\ge 1}\) be a decreasing sequence of closed bounded convex subsets of \(\mathcal {X}_\rho \). Fix \(x\in C_1\). We have
From Theorem 4.9, for every \(n\ge 1 \) the set \(K_n=C_n\cap B_\rho (x,r)\) is nonempty. Clearly, \(\{ K_n\}\) is a decreasing sequence of closed bounded convex subsets of \(\mathcal {X}_\rho \). Following the same argument as in the proof of Theorem 4.9, we can show that \(\lim _n \phi (K_n)=0\). Indeed, if \(\displaystyle \varepsilon :=\inf _{n}\phi (K_n)=\lim _n \phi (K_n)> 0\), we have
for all \(n\ge 1\). Taking supremum and bearing in mind that \(\Delta _{\phi }\left( r,\frac{\varepsilon }{r}\right) > 0\) we get a contradiction. So, \(\displaystyle \bigcap _{n\ge 1}K_n\) is a nonempty \(\rho \)-compact convex subset of \(\mathcal {X}_\rho \). Therefore, \(\displaystyle \bigcap _{n\ge 1}C_n\) is nonempty.
\(\square \)
Remark 4.11
In [21], Theorems 4.9 and 4.10 are stated without assuming the \(\Delta _2\)-type condition, but it is not clear for us their validity, because a positive lower bound of \(\Delta _{\phi }(r+1/n,\varepsilon )\), independent of n, is needed in both proofs. To obtain this lower bound, we have proved a kind of continuity of the modulus with respect to the first variable from the \(\Delta _2\)-type condition (Lemma 4.8). This bound can be also obtained if we, additionally, assume in the definition of uniform \(\rho \)-noncompact convexity that there is function \(\eta (\cdot ,\cdot )\) such that \(\Delta _{\phi }(r,\varepsilon )> \eta (s,\varepsilon )>0\) for every \(r>s\) and \(\varepsilon >0\). (Compare with Theorem 4.1 and Theorem 4.2 in the same monograph when condition (UUC2) is assumed).
5 Asymptotic centers in UNC spaces
In this section, we shall give a connection between the asymptotic center of a sequence and the \(\rho \)-modulus of noncompact convexity. As in the Banach space setting it will play a crucial role to prove the existence of fixed point for multivalued \(\rho \)-nonexpansive mappings.
First, we state the following lemma.
Lemma 5.1
Let \(\rho \) be a convex modular satisfying the \(\Delta _2\)-type condition and C a closed convex subset of \( \mathcal {X}_\rho \). Let \(\{x_n\}\) be a bounded sequence in C and W the convex closed hull of its terms. Define \(\Phi :W\rightarrow [0,\infty )\) by \(\Phi (x)=\limsup _n\rho (x_n-x)\). Let \(\{z_k\}\) be a sequence in W such that \(z_k\in A_k=:\overline{co} \{x_n:n\ge k\}\) (in particular, \(z_k\) can be equal to \(x_k\)) and \(z\in \cap _{k=1}^{\infty } \overline{co} \{z_j:j\ge k\}\). Then
Proof
Choose \(a>\limsup _k\Phi (z_k)\). For k large enough, \(\Phi (z_k)<a\), i.e. \(z_k\in \Phi ^{-1}([0,a])\). Note that \( \Phi ^{-1}([0,a])\) is a convex set. Since from Lemma 2.11 the function \(\Phi \) is continuous, we have that \( \Phi ^{-1}([0,a])\) is also a closed set which contains \(\{z_j:j>k\}\). Thus, it contains the closed set \(\overline{co} \{z_j:j\ge k\}\). In particular, it contains z.
\(\square \)
Before we present our result, we need the theorem below. Even though this theorem is a direct adaptation of Theorem 5 from [8] for the modular \(\rho \), we include its proof for the sake of completeness.
We shall use a simple version of Ramsey Lemma. By \({\mathbb N}\) we denote the set of nonnegative integers, \([{\mathbb N}]\) the collection of its infinite subsets and for every set C in \([{\mathbb N}]\), \([C]^2\) will denote the set formed by all ordered pair formed with numbers in C.
Ramsey’s Lemma. Let \(f:[{\mathbb N}]^2\rightarrow \{1,2\}\) be a function. Then there exists \(C\in [{\mathbb N}]\) such that the restriction of f to \([C]^2\) is a constant.
Theorem 5.2
Let \(\rho \) be a convex modular and \(\{x_n\}\) a bounded sequence in \( \mathcal {X}_\rho \). Then there exists a subsequence \(\{z_n\}\) of \(\{x_n\}\) such that the limit \(\displaystyle \lim _{n\not =m}\rho (z_n-z_m)\) exists.
Proof
For every subsequence \(\{y_n\}\) of \(\{x_n\}\), we denote
Claim. There exists a subsequence \( \{y_n\}\) of \(\{x_n\}\) such that \(\psi (\{z_n\})=\psi (\{y_n\})\) for every subsequence \(\{z_n\}\) of \(\{y_n\}\).
To prove the claim, define by induction \(\{z_n^0\}=\{x_n\}\) and
Let \(\{z_n^{m+1}\}\) be a subsequence of \(\{z_n^m\}\) such that
Consider the diagonal subsequence \(\{z_n^n\}\). We will show that this sequence satisfies the required condition. Since \(\{z_n^n\}\) is a subsequence of \(\{z_n^m\}\) for \(n>m\) we have \(\psi (\{z_n^n\}) \le \psi (\{z_n^m\})\) for each m. Assume that \(\{z_n\}\) is a subsequence of \(\{z_n^n\}\). Hence, \(\{z_n\}\) is a subsequence of \(\{z_n^m\}\) for \(n>m\). Thus,
Since m is arbitrary, we obtain
and the claim is proved.
Choose now an arbitrary \(\varepsilon >0\) and a subsequence \(\{y_n\}\) of \(\{x_n\}\) satisfying the property in the claim. Taking a subsequence (which “a fortiori” satisfies the same property) we can assume \(\psi (\{y_n\})+\varepsilon \ge \rho (y_n-y_m)\) for every n, m. Define the following function from \([{\mathbb N}]^2\) into \(\{1,2\}\): \(f(n,m)=1\) if \(\rho (y_n-y_m)>\psi (\{y_n\})-\varepsilon \) and \(f(n,m)=2\) if \(\rho (y_n-y_m)\le \psi (\{y_n\})-\varepsilon \). By Ramsey’s Lemma, there exists a subsequence \(\{z_n\}\) of \(\{y_n\}\) satisfying either \(\rho (z_n-z_m) >\psi (\{y_n\})-\varepsilon \) for every \(n,m\,;\, n\not =m\) or \(\rho (z_n-z_m) \le \psi (\{y_n\})-\varepsilon \) for every n, m. Since the second possibility is a contradiction according to the property satisfied by \(\{y_n\}\), we deduce that the first possibility always holds and we have
for every \(n,m\,;\, n\not =m\). Choosing \(\varepsilon =1/n\), we can conclude the proof by a diagonal argument.
\(\square \)
Theorem 5.3
Let \(\rho \) be a convex modular satisfying the \(\Delta _2\)-type condition. Assume that \(\mathcal {X}_\rho \) is a \(\phi \)-UNC. Let C be a nonempty closed bounded convex subset of the space \(\mathcal {X}_\rho \) and let \(\{ x_n \}\) be a sequence in C which is regular relative to C. Then there exists \(\lambda < 1\) depending on \( r_\rho (C,\{ x_n\})\) such that
Proof
We are going to prove the result for \(\phi =\alpha \). Denote \(r=r_\rho (C,\{ x_n\})\) and \(A=A_\rho (C,\{ x_n\})\). According to Theorem 5.2, we can find a subsequence \(\{y_n\}\) of \(\{ x_n \}\) such that the limit \(\displaystyle \lim _{n\not =m}\rho (y_n-y_m)\) exists. Take \(\displaystyle z\in \cap _{n=1}^{\infty } \overline{co} \{y_k:k\ge n\}\) which is a nonempty set due to property (R). Since \(\{ x_n\}\) is regular relative to C, we have \(r=r_\rho (C,\{ y_n\})\) and from Lemma 5.1, we obtain
Hence, \(\alpha (\{ y_n\})\ge r\). Thus, \(\alpha (\overline{co} \{y_k:k\ge n\})\ge r\), for every \(n\in {\mathbb N}\).
Assume x lies in A. Consider \(\lambda \left( r,\frac{1}{2}\right) < 1\) and \(\eta (r,\frac{1}{2})>0\) given by Lemma 4.8. Since \(r=\displaystyle \limsup _n\rho ( y_n-x)\), for every \(0< \varepsilon < \eta (r,\frac{1}{2})\) there exists \(n_0\in {\mathbb N}\) such that \(\rho (y_n-x)< r+\varepsilon \) for all positive integer n greater than or equal to \(n_0\). Hence, the sequence \(\{ y_n\}_{n\ge n_0}\) is contained in the closed ball \(B_\rho (x,r+\varepsilon )\) and \(\alpha (\overline{co} \{y_k:k\ge n\})\ge (r+\varepsilon ) \frac{r}{r+\varepsilon }.\) Therefore, for all \(n\ge n_0\)
In view of Theorem 4.9, we can find \(z_n\in \overline{co} \{y_k:k\ge n\})\) such that
Again by Theorem 4.10, \(\displaystyle \cap _{n=n_0}^{\infty } \overline{co} \{z_k:k\ge n\}\not =\emptyset \).
For each \(w\in \cap _{n=n_0}^{\infty } \overline{co} \{z_k:k\ge n\}\) and for all \(n\ge n_0\), we have
Therefore,
Since this inequality is true for every \(\varepsilon > 0\) and for every \(x\in A\), we obtain the inequality in the statement.
\(\square \)
Remark 5.4
Assume \(0< d< r_\rho (C,\{ x_n\})\). If \(r_\rho (C,\{ x_n\})\in \left( d,d+ \eta (d,\frac{1}{2})\right) \), we can follow the same argument as in Theorem 5.3 to obtain \(\lambda (d)\) depending on d such that
6 Fixed point results
Our fixed point results for multivalued \(\rho \)-nonexpansive mappings rely on the following proposition.
Proposition 6.1
Let \(\rho \) be a convex modular satisfying the \(\Delta _2\)-type condition. Let C be a nonempty closed bounded convex separable subset of the space \(\mathcal {X}_\rho \) and \(T:C\rightarrow KC_\rho (C)\) a \(\rho \)-nonexpansive mapping. Suppose \(\{x_n\}\subset C\) is an approximate fixed point sequence for T, i.e., \(\displaystyle \lim _nd_\rho (x_n,Tx_n)=0\), and each subsequence of \(\{x_n\}\) has a nonempty asymptotic center relative to C. Then there exists a subsequence \(\{z_n\}\) of \(\{x_n\}\) such that
Proof
Since C is separable, according to Lemma 2.13 there exists a subsequence \(\{z_n\}\) of \(\{x_n\}\) which is regular and asymptotically uniform with respect to C. Denote \(r=r_\rho (C,\{z_n\})\).
From the compactness of the set \(Tz_n\), we can find a sequence \(\{u_n\}\) in C such that \(u_n\in Tz_n\) and \(\lim _{n \rightarrow \infty }\rho ( z_n-u_n)=0.\) Take any \(x\in A\) and \(v_n\in Tx\) such that
Because of the \(\rho \)-compactness of Tx, we can assume, by passing through a subsequence, that \(\{ v_n\}\) converges to a point \(v\in Tx\). From Lemma 2.9, we obtain
This shows that \( v\in A\), and so \(Tx\cap A\not =\emptyset \).
\(\square \)
Now we are ready to prove an analogous result to the Kirk–Massa’s theorem [25] in modular spaces.
Theorem 6.2
Let \(\rho \) be a convex modular satisfying the \(\Delta _2\)-type condition. Assume that C is a nonempty closed bounded convex subset of the space \(\mathcal {X}_\rho \) and \(T:C\rightarrow KC_\rho (C)\) a \(\rho \)-nonexpansive mapping. Suppose that each sequence in C has a nonempty and compact asymptotic center relative to C. Then T has a fixed point.
Proof
Since the \(\Delta _2\)-type condition is satisfied and T is a continuous compact valued self-mapping, we can construct a closed convex subset of C which is separable and invariant under T (see [26]). Thus, we can suppose that C is separable.
For a fixed element \(x_0\in C\) and for each \(n\ge 1\), define the mapping
We have that \(T_n\) is a multivalued \(\rho \)-contraction and it has a fixed point \(x_n\in C\) by Theorem 2.14. It is easily seen that \(\displaystyle \lim _nd_\rho (x_n,Tx_n)=0\). Without loss of generality, we may assume that \(\{x_n\}\) is regular and asymptotically uniform with respect to C.
According to the previous proposition, we can also assume that
Now we define the mapping \(\tilde{T}:A\rightarrow KC_\rho (A)\) by \(\tilde{T}(x)= Tx\cap A\). Since T is continuous, from Proposition 2.45 in [19], we know that the mapping \(\tilde{T}\) is upper semicontinuous. Since \(Tx\cap A\) is a compact convex set we can apply the Kakutani–Bohnenblust–Karlin Theorem (see [16]) to obtain a fixed point for \(\tilde{T}\) and so for T.
\(\square \)
It should be pointed out that a modular \(\rho \) satisfying (UUC1) has the property (R) (see [1] and [21, Theorem 4.2]). If, in addition, the modular \(\rho \) is uniformly continuous on bounded sets, it is easy to check that the asymptotic center of a sequence is nonempty and singleton. In view of this result, we can deduce the following corollary from Theorem 6.2.
Corollary 6.3
Let \(\rho \) be a (UUC1) convex modular satisfying the \(\Delta _2\)-type condition. Assume that C is a nonempty closed bounded convex subset of the space \(\mathcal {X}_\rho \) and \(T:C\rightarrow KC_\rho (C)\) a \(\rho \)-nonexpansive mapping. Then T has a fixed point.
Definition 6.4
Let \(\rho \) be a convex modular. A multivalued mapping \(T:C\rightarrow 2^{\mathcal {X}_\rho }\) is called \(\rho \)-\(\phi -\)contractive where \(\phi \) is a measure of noncompactness if there exists a constant \(k\in [0,1)\) such that for each \(\rho \)-bounded subset B of C, we have
The following theorem states a relationship between \(\rho \)-contractive and \(\rho \)-\(\chi _C-\)contractive mappings. In the framework of a Banach space, an analogous result was proved in [13].
Theorem 6.5
Let \(\rho \) be a convex modular satisfying the \(\Delta _2\)-type condition and C a nonempty closed subset of \(\mathcal {X}_\rho \). Assume that \(T:C\rightarrow K_\rho (C)\) is \(\rho \)-contractive with constant \(k\in [0,1)\). Then T is \(\rho \)-\(\chi _C\)-contractive for the same constant k.
Proof
Let A a bounded subset of C, \(\varepsilon >0\) and \(\mu >1\). Since \(\mu > 1\) we can take \(\alpha \in (0,1)\) such that \(\alpha \omega ({1\over \alpha })\le \mu \). Now, we choose a number \(\varepsilon '>0\) such that
By definition of \(\chi _C(A)\) there exists \(a_1,...a_N\in C\) such that
On the other hand, since T is compact valued, there exists \(y_1,...y_n\in C\) such that \(\displaystyle \cup _{i=1}^NTa_i\subset \cup _{j=1}^n B (y_j,\varepsilon ')\subset \cup _{j=1}^n B_\rho (y_j,\varepsilon ')\).
Let \(x\in A\) and \(i\in \{1,...,N\}\) be such that \(x\in B_\rho (a_i,\chi _C(A)+\varepsilon ')\). Taking \(y\in Tx\), from the compactness of \(Ta_i\), we can find \(z_i\in Ta_i\) such that
Since \(z_i\in Ta_i\), we have \(\rho (z_i-y_j)\le \varepsilon '\) for some \(j\in \{ 1,...,n\}\). Property (iii) of the modular and the definition of the growth function \(\omega \) give
Thus \(\rho (y-y_j)\le \mu k\chi _C(A)+2\varepsilon \). Hence, \(\chi _C(T(A))\le \mu k\chi _C(A)+2\varepsilon \). Since \(\varepsilon \) is arbitrary we have \(\chi _C(T(A))\le \mu k\chi _C(A)\) for all \(\mu >1\). Thus, \(\chi _C(T(A))\le k\chi _C(A)\), obtaining the desired result.
\(\square \)
Theorem 6.6
Let \(\rho \) be a convex modular satisfying the \(\Delta _2\)-type condition and C a nonempty closed convex subset of \(\mathcal {X}_\rho \). Assume that \(T:C\rightarrow KC_\rho (C)\) is a \(\rho \)-contractive mapping with constant \(k\in [0,1)\). Suppose that A is a closed bounded convex subset of C such that \(Tx\cap A\not =\emptyset \) for every \(x\in A\). Then T has a fixed point in A.
Proof
According to Theorem 6.5, the mapping T is \(\rho \)-\(\chi _C\)-contractive. Denote \(A_1=A\) and assume that we have defined a finite decreasing sequence of closed convex sets \(A_n\subset A_{n-1}\subset ... \subset A_1\) such that \(Tx\cap A_j\not =\emptyset \) for every \(x\in A_j\) and \(\chi _C(A_j)\le k\chi _C(A_{j-1})\) for all \(j=1,...,n\). Define \(A_{n+1}=[\overline{co} \,T(A_n)]\cap A_n\). Then, \(A_{n+1}\) is a closed convex subset of \(A_n\). Furthermore, for every \(x\in A_{n+1}\), we have \(Tx\cap A_n\not =\emptyset \). Since \(Tx\subset T(A_n)\), we obtain that \(Tx\cap A_{n+1}\) is nonempty. On the other hand,
Since \(k< 1\), \(\displaystyle \lim _n\chi _C(A_n)=0\) and \(A_\infty =:\cap _{n=1}^\infty A_n\) is a nonempty compact convex subset of A.
Let \(x\in A_\infty \) and take \(a_n\in Tx\cap A_n\) which is nonempty. Since \(\chi _C(\{a_n\})=\chi _C(\{a_k:k\ge n\})\le \chi _C(A_n)\), the sequence \(\{a_n\}\) has some cluster point \(a\in A_\infty \). On the other hand, the sequence \(\{a_n\}\) lies in Tx which is a compact set implying that a belongs to Tx. Thus, \(Tx\cap A_\infty \not =\emptyset \). Since \(A_\infty \) is compact convex we apply Kakutani–Bohnenblust–Karlin Theorem to obtain that T has a fixed point in \(A_\infty \subset A\).
\(\square \)
We state now the main fixed point result in this paper.
Theorem 6.7
Let \(\rho \) be a convex modular satisfying the \(\Delta _2\)-type condition. Assume that \(\mathcal {X}_\rho \) is \(\alpha \)-UNC and for some \(\varepsilon _0\in (0,1)\), there exists \(\gamma >0\) such that \(\displaystyle \lim _{r\rightarrow 0}\Delta _\alpha (r,\varepsilon _0)\ge \gamma \). Let C be a nonempty closed bounded convex subset of the space \(\mathcal {X}_\rho \) and \(T:C\rightarrow KC_\rho (C)\) a \(\rho \)-nonexpansive mapping. Then T has a fixed point.
Proof
As in Theorem 6.2 we can suppose that C is separable. First, we claim that for any closed convex subset A of C such that \(Tx\cap A\not =\emptyset \) for every \(x\in A\), there exists an approximated fixed point sequence of T in A, i.e. there exists \(\{x_n\}\subset A\) such that \(d_\rho (x_n,Tx_n)\rightarrow 0\). Indeed, let \(x_0\in A\) be fixed and, for each \(n\ge 1\), define
Since \(T_n\) is \((1-1/n)\)-contractive and \(T_nx\cap A\not =\emptyset \), \(T_n\) has a fixed point \(x_n\in A\) from Theorem 6.6. It is easy to deduce that \(\displaystyle \lim _nd_\rho (x_n,Tx_n)=0\). Without loss of generality, we may assume that \(\{x_n\}\) is regular and asymptotically uniform with respect to C. On the other hand, we can apply Theorem 5.3 to obtain
where \(r=r_\rho (C,\{ x_n\}\) and \(\lambda (r) <1\). Now, we follow a similar proof to that in [12] (Theorem 4.1). In the first step we proceed as in Theorem 6.2 to obtain a set \(A_1\) such that \(Tx\cap A_1\not =\emptyset \). According to the above claim, we may assume that sets \(A_2,...,A_m\) and approximated fixed point sequences \(\{x_n^k\}\subset A_k\) are constructed where \(A_k=A_\rho (C,\{x_n^{k-1}\})\), \(r_k=r_\rho (C,\{ x_n^{k-1}\}\), \(\lambda (r_k)< 1\) and
for \(k=2,...,m\). Defining \(A_{m+1}=A_\rho (C,\{x_n^m\})\) and choosing a suitable approximated fixed point sequence \(\{x_n^{m+1}\}\) in \(A_{m+1}\), we obtain
and we can continue the induction process.
Hence, \(\{r_m\}\) is a non-decreasing sequence. Suppose that \(\displaystyle d:=\lim _mr_m> 0\). Choose \(\eta (d,\frac{1}{2})>0\) given by Lemma 4.8. Without loss of generality, we can suppose that \(r_m\in (d,d+\eta (d,\frac{1}{2}))\) for every \(m\ge 1\). By Remark 5.4 , we have that \( r_{m+1}\le r_\rho (C,A_m)\le \lambda (d) r_m,\) where \(\lambda (d)< 1.\) Taking limit as \(m\rightarrow \infty \) we have \(d\le \lambda (d)d\). This contradicts the fact that \(d>0\). Thus, \(\displaystyle \lim _mr_m= 0\). Since \(\displaystyle \lim _{r\rightarrow 0}\Delta _\alpha (r,\varepsilon _0)\ge \gamma \) and \(\{r_m\}\) is a non-decreasing sequence, we proceed as in Theorem 5.3 to get
for m sufficient large, where \(\lambda =1-\gamma \). This implies that
Choose \(x_m\in A_m\). We shall prove that \(\{ x_m\}_m\) is a norm-Cauchy sequence. For m sufficiently large we have for any positive integer n
Taking upper limit as \(n\rightarrow \infty \),
Let \(M=\frac{\omega (2)}{2}(\omega (2)+1)r_\rho (C,A_1)\), then
Property (4) in Lemma 2.9 implies
and from property (6) of the same lemma, we obtain
Since \(\omega ^{-1}\) is strictly increasing, we have \(\frac{1}{\omega ^{-1}\left( \frac{1}{\lambda }\right) }< 1\). This implies that \(\{ x_m\}\) is a norm-Cauchy sequence and so norm-convergent to a point \(x\in C\). Thus, the sequence \(\{ x_m\}\) is \(\rho \)-convergent to x.
Let us see that x is a fixed point of T. For each \(m\ge 1\), it is not difficult to check that
Taking upper limit as \(n\rightarrow \infty \)
Taking limit in m in both sides we obtain \(\lim _m d_\rho (x_m,Tx_m)=0\). In a similar way we can prove that \(d_\rho (x,Tx)=0\), i.e. \(x\in Tx\). Indeed, we have
and letting \(m\rightarrow \infty \) we get the desired result.
\(\square \)
The above theorem extends the Kirk–Massa theorem in modular spaces, namely Theorem , in the sense that we do not need the compactness of asymptotic center of a sequence. We illustrate this fact by means of the following example.
Example 6.8
A uniformly \(\rho \)-noncompact convex space with non-compact asymptotic centers
Let \( \{p_n\} \) be as in Example 4.7 and define \(\sigma :\ell ^{p_n}\rightarrow [0,\infty )\) by
It is clear that \(\sigma \) is a convex modular and \((\ell ^{p_n},\sigma )\) satisfies the \(\Delta _2\)-type condition. Furthermore,
which implies that the Luxemburg norms \(\Vert \cdot \Vert _\sigma \) and \(\Vert \cdot \Vert _\rho \) are equivalent. (Nominally,
where \(P=\limsup _n p_n\)). Thus, \((\ell ^{p_n},\Vert \cdot \Vert _\sigma )\) is a reflexive Banach space and, as in Example 4.7, any weakly null sequence converges to zero coordinate-wise.
Claim. Assume that supp \(x\le N<\) supp y. Then \(\sigma (x+y)\le \sigma (x)+\sigma (y)\). Furthermore, \(\sigma (x)+(1/2)\sigma (y)\le \sigma (x+y)\) if \(\sigma (x)>\sigma (y)\).
To prove the claim, note that \(\max \{ \sigma (x),\sigma (y)\} \le \sigma (x+y)\le \sigma (x)+\sigma (y)\). Assume that there exists \(k>N\) such that
In this case, we have \(\sigma (x)\le \sigma (x+y)=\sigma (y)\). Thus, the condition \(\sigma (x)>\sigma (y)\) implies that there exists \(k\le N\) such that
Assume that A is a convex subset of the closed ball \(B_\sigma (0,r)\) such that \(\chi (A)>\varepsilon r\). As in Example 4.7, we find sequences \(\{x_n\}\) in A and \( \{u_n\},\{v_n\}\) such that sep\(_\sigma \, (x_n)\ge \varepsilon r\), \(\{x_n\}\) is weakly convergent, say to x, and \(\lim _n\sigma (x_n-x)=:l r\) does exist; \(\lim _n \sigma (x-u_n)=0\), \(\lim _n \sigma (x_n-x-v_n)=0\), supp \(u_n<\) supp \(v_n\) and supp \(v_n<\) supp \(v_{n+1}\) for every \(n\in \mathbb {N}\). For an arbitrary \(\eta >0\), we can choose n, m large enough such that (1.1)-(1.4) in Example 4.7 are satisfied (replacing \(\rho \) by \(\sigma \)). The same argument as in Example 4.7 proves that \(\varepsilon r -\eta < \sigma (v_n-v_m) \le 2lr +2\eta .\)
We split the remaining part of the proof in two cases: (1) Assume \(\sigma (x)\le lr\). In this case, there exists \(n\in \mathbb {N}\) such that \(\sigma (u_n)\le \sigma (v_n)+\eta \) and we have
which implies \(\sigma (x)\le r/2\). (2) Assume \(\sigma (x) >lr\). There exists \(n\in \mathbb {N}\) such that \(\sigma (u_n)>\sigma (v_n)\) and we have
which implies \(\Delta _{\chi }(\varepsilon , r) \ge \varepsilon /4\).
Finally, considering the sequence \(\{e_n\}\), it is clear that \(\liminf _n \sigma (e_n-x)\ge 1\) for every \(x\in \ell ^{p_n}\). Thus, \(r_\rho (B_\sigma (0,1),\{e_n\})=1\). Note that \(\sigma (e_n-(1/2)e_k)=1\) for every \(k<n\) which implies that the sequence \(\{e_n/2\}\) lies in the asymptotic center of \(\{e_n\}\) with respect to the unit ball.
Change history
28 October 2021
The original article has been revised: funding note has been added.
References
Abdou, A.A.N., Khamsi, M.A.: Fixed point theorems in modular vector spaces. J. Nonlinear Sci. Appl. 10(8), 4046–4057 (2017)
Ayerbe, J.M., Domínguez Benavides, T., López Acedo, G.: Measures of Noncompactness in Metric Fixed Point Theory. Birkhäuser (1997)
Bachar, M., Bounkhel, M., Khamsi, M.A.: Uniform Convexity in lp(.). J. Nonlinear Sci. Appl. 10, 5292–5299 (2017)
Bachar, M., Mendez, O., Bounkhel, M.: Modular uniform convexity of Lebesgue spaces of variable integrability. Symmetry 10(12), 708 (2018). https://doi.org/10.3390/sym10120708
Browder, F.E.: Fixed point theorems for noncompact mappings in Hilbert spaces. Proc. Nat. Acad. Sci. USA 43, 1272–1276 (1965)
Browder, F.E.: Nonexpansive nonlinear opemtors in a Banach space. Proc. Nat. Acad. Sci. USA 54, 1041–1044 (1965)
Dhompongsa, S., Domínguez Benavides, T., Kaewcharoen, A., Panyanak, B.: Fixed point theorems for multivalued mappings in modular function spaces. Sci. Math. Jpn. 63(2), 161–169 (2006)
Domínguez Benavides, T.: Geometric properties of Banach spaces and metric fixed point theory. Extracta Math. 17, 331–349 (2002)
Domínguez Benavides, T., Gavira, B.: Does Kirk’s theorem holds for multivalued nonexpansive mappings? Fixed Point Theory Appl. 2010, 546761 (2010). https://doi.org/10.1155/2010/546761
Domínguez Benavides, T., Japón, M.: Fixed point properties and reflexivity in variable Lebesgue spaces. J. Funct. Anal. 280(6), 108896 (2021). https://doi.org/10.1016/j.jfa.2020.108896
Domínguez Benavides, T., Khamsi, M.A., Samadi, S.: Asymptotically regular mappings in modular function spaces. Sci. Math. Jpn. 53(2), 295–304 (2001)
Domínguez Benavides, T., Lorenzo, P.: Fixed point theorems for multivalued nonexpansive mappings without uniform convexity. Abs. Appl. Anal. 6(2003), 375–386 (2003)
Domínguez Benavides, T., Lorenzo, P.: Asymptotic centers and fixed points for multivalued nonexpansive mappings. Ann. Univ. Mariae Curie-Sklodowska Sect. A 58, 37–45 (2004)
Domínguez Benavides, T., Moshtaghioun, S.M., Sadeghi Hafshejani, A.: Fixed points for several classes of mappings in Variable Lebesgue Spaces. Optimization. https://doi.org/10.1080/02331934.2019.1711086
Goebel, K.: On a fixed point theorem for multivalued nonexpansive mappings. Ann. Univ. Marie Curie-Sklodowska 29, 70–72 (1975)
Goebel, K., Kirk, W.A.: Topics in Metric Fixed Point Theory. Cambridge University Press (1990)
Goebel, K., Sekowski, T.: The modulus of noncompact convexity. Ann. Univ. Mariae Curie-Sklodowska Sect. A 38, 41–48 (1984)
Göhde, D.: Zum Prinzip der kontraktiven Abbildung. Math. Nach. 30, 251–258 (1965)
Hu, S., Papageorgiou, N.: Handbook of Multivalued Analysis, vol. 1. Kluwer Academic Publishers, Dordrecht (1997)
Kamińska, A.: On unifrom convexity of Orlicz spaces. Nederl. Akad. Wetensch. Indag. Math. 44(1), 27–36 (1982)
Khamsi, M.A., Kozlowski, W.M.: Fixed Point Theory in Modular Function Spaces. Birkäuser, Basel (2015)
Khamsi, M.A., Kozlowski, W.M., Reich, S.: Fixed point theory in modular function spaces. Nonlinear Anal. 14(11), 935–953 (1990)
Kozlowski, W.M.: Modular function spaces. Dekker, New York (1988)
Kirk, W.A.: A fixed point theorem for mappings which do not increase the distances. Am. Math. Mon. 72, 1004–1006 (1965)
Kirk, W.A., Massa, S.: Remarks on asymptotic and Chebyshev centers. Houston J. Math. 16(3), 357–364 (1990)
Kuczumov, T., Prus, S.: Asymptotic centers and fixed points of multivalued nonexpansive mappings. Houst. J. Math. 16, 465–468 (1990)
Lim, T.C.: A fixed point theorem for multivalued nonexpansive mappings in a uniformly convex Banach space. Bull. Am. Math. Soc. 80, 1123–1126 (1974)
Musielak, J., Orlicz, W.: On modular spaces. Studia Math. 18, 591–597 (1959)
Nakano, H.: Modulared Semi-ordered Linear Spaces. Maruzen Co., Tokyo (1950)
Nakano, H.: Topology of Linear Topological Spaces. Maruzen Co. Ltd, Tokyo (1951)
Orlicz, W.: Über konjugierte Exponentenfolgen. Studia Math. 3, 200–212 (1931)
Reich, S.: Some fixed point problems. Atti Accad. Naz. Lincei 57, 194–198 (1974)
Reich, S.: Approximate selections, best approximations, fixed points, and invariant sets. J. Math. Anal. Appl. 62, 104–113 (1978)
Ru̇žička, M.: Electrorheological Fluids: Modeling and Mathematical Theory. Lecture Notes in Mathematics, vol. 1748. Springer, Berlin (2000)
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The authors are supported by MICIU, Grant PGC2018-098474-B-C2-1 and Andalusian Regional Government Grant FQM-127.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Benavides, T.D., Ramírez, P.L. Measures of noncompactness in modular spaces and fixed point theorems for multivalued nonexpansive mappings. J. Fixed Point Theory Appl. 23, 40 (2021). https://doi.org/10.1007/s11784-021-00876-y
Accepted:
Published:
DOI: https://doi.org/10.1007/s11784-021-00876-y