Abstract
In this paper, a formula for the M-constants \(\mu_{n}(l_{\Phi,p})\) of Orlicz sequence spaces \(l_{\Phi,p}\) equipped with the p-Amemiya norm as well as for the equalities \(\mu_{n}(l_{\Phi,p})=n\) for any \(n\in \mathcal{N}\) are given. Moreover, the Fatou property, weak orthogonality, and the weak fixed point property of these spaces are discussed. Finally a direct formula for the Dominguez-Benavides coefficient of the spaces \(l_{\Phi,p}\) is given in terms of the Orlicz function generating these spaces. Both, M-constants and Dominguez-Benavides coefficient, are strongly related to the fixed point theory.
Similar content being viewed by others
1 Introduction and preliminaries
In the following, X and \(X^{*}\) will stand for a Banach space and its dual space, respectively. By \(S(X)\) and \(B(X)\) we will denote the unit sphere and the unit ball of X, respectively. For a nonempty subset C of X, a mapping \(T:C\rightarrow C\) is said to be nonexpansive provided the inequality
holds for every \(x,y\in C\). A Banach space X is said to have the fixed point property (resp., weak fixed point property) if for every nonempty bounded closed (resp. weakly compact) convex subset of \(C\subset X\) the nonexpansive mapping \(T:C\to C\) has a fixed point in C (see, e.g., [1, 2]).
Many properties of Banach lattices related to their isomorphic or isometric structure, depend on a behavior of some numerical characteristics called indices (Boyd indices, Gröbler indices, type, cotype etc.). In the theory of Banach lattices the so called M-constants defined by
are also used (see, e.g., [3–5]). The numbers \(\mu_{n} ( X ) \) are useful in the lattice isomorphic classification of special types of Banach lattices. It is well known that, in the definition of \(\mu_{n}(X)\), we can restrict ourselves to pairwise orthogonal elements (see [6]).
The constant \(\mu_{2}(X)\), called the Riesz angle, plays an important role in the fixed point theory. It is well known that weakly orthogonal Banach lattices (for the definition of this property see Section 3) with \(\mu_{2}(X) <2\) have the weak fixed point property (see [7]).
Let \(\Phi:\mathcal{R}\to{}[0,\infty)\) be an Orlicz function, i.e., let Φ be an even, convex function with \(\Phi(0)=0\) and \(\lim_{u\to \infty}\Phi(u)=\infty\). We say that an Orlicz function Φ satisfies the \(\delta _{2}\)-condition (shortly: \(\Phi\in\delta_{2}\)), if there are positive constants \(u_{0}\) with \(0<\Phi(u_{0})<\infty\) and \(K>0\) such that \(\Phi(2u)\leq K\Phi(u)\) for all \(|u|\leq u_{0}\). Note that \(\Phi\in\delta_{2}\) implies immediately that \(\Phi(u)>0\) for every \(u\neq0\).
By Ψ we will denote the function complementary to Φ in the sense of Young, i.e., the function Ψ is defined by the formula
Let \(l^{0}\) be the space of all real sequences \(x=(x(i))\). For a given Orlicz function Φ we define on \(l^{0}\) a convex functional (called a pseudomodular) by
where \(x=(x(i))\in l^{0}\). By the Orlicz space \(l_{\Phi}\) generated by the Orlicz function Φ we mean the vector space
Further, by the space \(h_{\Phi}\) of finite elements (=order continuous elements) we will mean the vector space
These spaces are usually equipped with the Luxemburg norm (see [8–10])
or with the equivalent one
called the Orlicz norm (see [11, 12]). The Orlicz norm can equivalently be expressed by the Amemiya formula (see [13])
The last formula can be generalized to a family of norms (called p-Amemiya norms) depending on the parameter \(1\le p \le\infty\) in the following way (see [13, 14]):
where
Evidently \(\Vert x\Vert _{\Phi,1}=\Vert x \Vert _{\Phi}^{0}\) and it is easy to prove that the Luxemburg norm and the ∞-Amemiya norm coincide as well, i.e., \(\Vert x\Vert _{\Phi,\infty}= \Vert x\Vert _{\Phi}\) (see, e.g., [14]). The p-Amemiya norms have the following relationships (for all \(1\le p'\le p\le \infty\)):
and
We will write \(l_{\Phi,p}\) when we would like to underline that the Orlicz space \(l_{\Phi}\) is equipped with the p-Amemiya norm \(\Vert \cdot \Vert _{\Phi,p}\).
This paper is a continuation of investigations of geometric properties of Orlicz spaces equipped with the p-Amemiya norm over the atomless measure space presented in [14–18].
2 M-Constants and order isometric copies of \(\ell_{1}\) in \(l_{\Phi,p}\) spaces
In the following, by \(S_{0}(l_{\Phi,p})\) we will mean the subset of the unit sphere \(S(l_{\Phi,p})\) that consists of sequences with finite support only.
Theorem 2.1
For any \(1\le p \le\infty\), \(n\in\mathcal{N}\), and any Orlicz function Φ,
where the numbers \(d_{x_{1},\ldots,x_{n}}>0\) are defined by
Proof
Let \(x_{1},\ldots,x_{n}\in S_{0}(l_{\Phi,p})\), \(x_{j} \wedge x_{j'}=0\) for \(j\neq j'\) and let \(k>1\). Since the set \(\{i\in\mathcal{N}: x_{j}(i)\neq0, 1\le j \le n \}\) is finite, the function Φ is continuous and attains the value 1 (because it takes only finite values), there exists \(d_{x_{1},\ldots,x_{n},k}>0\) such that
Note that, for every \(x_{1},\ldots,x_{n}\in S_{0}(l_{\Phi,p})\) and every \(k>1\), we have
Indeed, if the first inequality does not hold then we could find \(k>1\) and \(\gamma>1\) such that \(d_{x_{1},\ldots,x_{n},k} <\frac{1}{\gamma 2^{1/p}}\). Then, by (3),
Thus, for \(1\le p<\infty\),
and
This contradicts the definition of the number \(d_{x_{1},\ldots,x_{n},k}\) in (5). So, the first inequality in (6) holds.
Further, suppose that the second inequality does not hold. Then we could find \(x_{1},\ldots,x_{n} \in S(l_{\Phi,p})\), \(k>1\), and \(\gamma>1\) such that \(d_{x_{1},\ldots,x_{n},k}>\gamma\frac{nk}{\min \{1,(k^{p}-1)^{1/p} \}}\). Since \(\Vert x_{j}\Vert _{\Phi}\le \Vert x_{j} \Vert _{\Phi,p}= 1\), we have \(I_{\Phi}(x_{j} )\le \Vert x_{j}\Vert _{\Phi}= 1\), whence
Thus, for \(1\le p<\infty\),
and
and again we arrive at a contradiction with the definition of the number \(d_{x_{1},\ldots,x_{n},k}\) in (5). Therefore the second inequality in (6) holds.
Now we will prove the main equality (4) of the theorem. For simplicity, denote
As an immediate consequence of (6), taking \(k=2^{1/p}\), we get \(k^{p}-1=1\), so
whence we infer that \(0<2^{-1/p}<d\le2^{1/p} n <\infty\).
For any \(0<\varepsilon<d\) we can find \(x_{1},\ldots,x_{n}\in S_{0}(l_{\Phi ,p})\), such that \(x_{j} \wedge x_{j'}=0\) for all \(1\le j,j'\le n\), \(j\neq j'\) and \(d_{x_{1},\ldots,x_{n},k}>d-\varepsilon\) for all \(k>1\). Since the set \(\{i\in\mathcal{N}: x_{j}(i)\neq0 \}\), \(1\le j \le n\), is finite and the function Φ is continuous, we can find \(k_{0}>0\) such that
If \(k_{0}\le1\) then \(\Vert \bigvee_{j=1}^{n}x_{j}\Vert _{\Phi,p}\ge d-\varepsilon\). On the other hand, if \(k_{0}>1\) then we have
Thus \(\Vert \bigvee_{j=1}^{n}x_{j}\Vert _{\Phi,p}\ge d-\varepsilon\) and, by the arbitrariness of \(\varepsilon>0\), we get \(\mu_{n}(l_{\Phi,p})\geq d\).
Conversely, take any \(x_{1},\ldots,x_{n}\in S_{0}(l_{\Phi,p})\) such that \(x_{j} \wedge x_{j'}=0\) for all \(1\le j,j'\le n\), \(j\neq j'\) and let us take an arbitrary \(\varepsilon>0\). Then \(d_{x_{1},\ldots,x_{n}}< d+\varepsilon\). Thus we can find \(k_{1}\ge1\) such that \(d_{x_{1},\ldots ,x_{n},k_{1}}< d+\varepsilon \) as well. By the definition of the p-Amemiya norm,
Thus \(\Vert \bigvee_{j=1}^{n}x_{j}\Vert _{\Phi,p}\le d+\varepsilon\) and, by the arbitrariness of \(\varepsilon>0\), we get \(\mu_{n}(l_{\Phi,p})\leq d\). Therefore, we have proved that \(\mu_{n}(l_{\Phi,p})= d\). □
In order to prove important Theorem 2.3 we first need to prove the following result.
Theorem 2.2
If \(\Psi\notin\delta_{2}\) then, for any \(1\le p \le\infty\), the Orlicz space \(l_{\Phi,p}\) contains an order almost isometric copy of \(l_{1}\).
Proof
Any linear functional \(f\in(l_{\Phi,p})^{*}\) can be uniquely expressed as \(f=v+s\), where v is belongs to the Köthe dual of \(l_{\Phi}\) and s is a singular functional on \(l_{\Phi}\), that is, for any \(x\in h_{\Phi}\) the equality \(s(x)=0\) holds. By Lemma 1.49 in [19], \(\Vert s\Vert =\sup \{ s(x): I_{\Phi}(x )<\infty \}\). Further, by (2) and \(\Vert v\Vert =\sup \{v(x):\Vert x\Vert _{\Phi,p}\leq1 \}\), we have
Moreover, by Theorem 1.43 in [19] (see also [20]), \(\lim_{n\to\infty} \Vert x-x_{n}\Vert _{\Phi}= \lim_{n\to\infty }\Vert x-x_{n}\Vert _{\Phi}^{0}=\theta(v)\) for every \(x\in\ell_{\Phi}\) and \(x_{n}=\sum_{i=n}^{\infty}x(i)e_{i}\), where \(\theta(v)=\inf \{\lambda>0:I_{\Phi}( \frac {v}{\lambda}) <\infty \}\). Hence, for any \(v\in l_{\Psi}\), we have
Since \(\Psi\notin\delta_{2}\), there exists an element \(v\in S(l_{\Psi})\) such that \(I_{\Psi}(\lambda x)=+\infty\) for every \(\lambda\ge1\), that is, \(\theta(v)=1\). Therefore
so, for any \(\varepsilon>0\), there exists a sequence \(i_{1}< i_{2}<\cdots\) such that \(\Vert \sum_{i=i_{1}+1}^{\infty}v(i) e_{i}\Vert _{\Psi}^{0} <1+\varepsilon\) and, for all \(j=1,2,\ldots\) ,
Put \(w_{j}=\sum_{i=i_{j}+1}^{i_{j+1}}v(i) e_{i}\) for \(j\in\mathcal{N}\). Since \(\Vert w_{j}\Vert = \sup \{w_{j}(x): x\in S(l_{\Phi,p}) \}\) and the number of elements of the support of \(w_{j}\) is finite, for each \(j\in\mathcal {N}\) there exists
such that \(w_{j}(x_{j})=\langle w_{j},x_{j}\rangle =\sum_{i=i_{j}+1}^{i_{j+1}}x_{j}(i)v_{i}=\Vert w_{j}\Vert \) and \(\langle w_{j},x_{i}\rangle = 0\) for every \(j\neq i\). For any \(a=(a(j))\in l_{1}\), we have
Since \(\tilde{v}=\sum_{j=1}^{\infty} \operatorname{sign}(a(j))w_{j}\) is a linear functional and
we have \(\tilde{v}(x)\le(1+\varepsilon)\Vert x\Vert _{\Phi}\), so
By the arbitrariness of \(\varepsilon>0 \), we conclude that the Orlicz space \(l_{\Phi,p}\) contains an order almost isometric copy of \(l_{1}\). □
Theorem 2.3
Assume that \(\Phi(u)/u\to\infty\) as \(u\to\infty\). For any \(n\in\mathcal{N}\) and \(1\le p \le\infty\), \(\mu_{n}(l_{\Phi ,p})=n\) if and only if \(\Psi\notin\delta_{2}\).
Proof
If \(\Psi\notin\delta_{2}\) then, by Theorem 2.2, we immediately conclude that \(\mu_{n} ( l_{\Phi,p} ) =\mu _{n}(l_{1}) = n\).
Now, let \(\Psi\in\delta_{2}\). We will show that \(\mu_{n}(l_{\Phi,p})< n\). Let \(x_{1},\ldots,x_{n}\) be arbitrary elements of the set \(S_{0}(l_{\Phi ,p})\) such that \(x_{j}\wedge x_{j'}=0\) for all \(1\le j,j' \le n\) with \(j\neq j'\). Since the set \(\{i\in\mathcal{N}: x_{j}(i)\neq0, 1\le j \le n \}\) is finite and the function Φ is continuous, we can find a number \(k\ge1\), such that
Since \(\Phi(u)/u\to\infty\) as \(u\to\infty\), the function Ψ takes only finite values. Since, moreover, \(\Psi\in\delta_{2}\), for any \(u_{0}>0\) we can find \(\varepsilon>0\) such that \(\Phi(\frac{u}{n-\varepsilon})\le\frac {1}{n}\Phi(u)\) for all \(|u|\le u_{0}\). Without loss of generality we can assume that \(u_{0} \ge k \max \{ |x_{j}(i)|: 1\le j\le n, i\in\mathcal{N} \}\). We have \(\frac{u}{n-\varepsilon}\le\Phi^{-1} (\frac{1}{n}\Phi (u) )\) for all \(|u|\le u_{0}\) (see [21, 22]), so
whence
so \(d_{x_{1},\ldots,x_{n},k}\leq n-\varepsilon\). Thus, by the arbitrariness of the choice of elements \(x_{1},\ldots,x_{n} \in S_{\ell_{\Phi},p}\) and by Theorem 2.1, \(\mu_{n}(l_{\Phi ,p})\leq n-\varepsilon< n\). □
3 Fatou property, weak orthogonality, and weak fixed point property
In order to generalize Maurey’s (1980) proof of the w-FPP to a larger class of Banach lattices Borwein and Sims (1984) introduced the notion of a weakly orthogonal Banach lattice. A Banach lattice X is said to be weakly orthogonal if for any sequence \((x_{n})\) in \(X_{+}\), which converges weakly to 0 we have
for all \(x\in X\). For the definition of Banach lattices we refer to [23]. Moreover, Betiuk-Pilarska and Prus proved in [24] that weakly orthogonal Banach lattices, with the coefficient of monotonicity strictly smaller than 1, have the weak fixed point property.
Sims (see [25]) introduced another definition of weak orthogonality of Banach lattices, denoted WORTH, and proved that if a Banach lattice is WORTH, then it satisfies non-strict Opial condition, that is, whenever \((x_{n})\) is a weak-null sequence in X then
for all \(x\in X\). In [26] Cui, Hudzik and Płuciennik proved that Köthe sequence spaces with semi-Fatou property are WORTH if and only if they are order continuous. We will prove that, in the spaces \(l_{\Phi,p}\), the criteria for the weak orthogonality due to Borwein and Sims are the same as for WORTH of Köthe spaces equipped with the semi-Fatou norms obtained in [26].
In the proof of Theorem 3.2 which gives the criteria for weak orthogonality of Orlicz sequence spaces, we will need the Fatou property of the space \(l_{\Phi,p}\). Recall that a Banach lattice X satisfies the Fatou property if and only if for every sequence \((x_{n})\) with \(0\le x_{n} \uparrow x\) we have \(\Vert x_{n}\Vert \uparrow \Vert x\Vert \).
Theorem 3.1
For any \(1\le p\le\infty\) the Orlicz sequence space \(l_{\Phi,p}\) satisfies the Fatou property.
Proof
Let \((x_{n})\) be a sequence of elements of \(l_{\Phi,p}\) with \(0\le x_{n} \uparrow x\). Evidently we can assume that \(x\neq0\). By the definition of the p-Amemiya norm, we can find a sequence \((k_{n})\) of positive numbers such that
Suppose that the sequence \((k_{n})\) is bounded. Without loss of generality we can assume that \(k_{n}\to k_{0}\in[0,\infty)\). Since
we infer that \(k_{0}>0\). Hence, by Fatou’s lemma,
i.e., \(\Vert x_{n}\Vert \uparrow \Vert x\Vert \).
Now, assume that the sequence \((k_{n})\) is not bounded. Without loss of generality we can assume that \(k_{n}\uparrow\infty\) as \(n\to\infty\). We claim that \(\lim_{u\to\infty}\Phi(u)/u = c<\infty\). Indeed, if \(\lim_{u\to\infty}\Phi(u)/u = \infty\) then
whence \(x_{n}(i)\to0\) as \(n\to\infty\) for all \(i\in\mathcal{N}\). Thus \(x=0\) - a contradiction. Therefore, by subadditivity of the function \(f(u)=u^{1/p}\) on the interval \([0,\infty)\), we get
Since \(\frac{\Phi(k_{n} x_{n}(i))}{k_{n} x_{n}(i)} x_{n}(i) \uparrow c x(i)\) as \(n\to\infty\) for every \(i\in\mathcal{N}\) with \(x(i)\neq0\), by the Beppo Levy theorem, we get
whence we conclude that, in the case of unbounded sequence \((k_{n})\), the Fatou property holds as well. □
Theorem 3.2
The Orlicz sequence space \(l_{\Phi,p}\) (\(1\leq p\leq\infty \)) is weakly orthogonal if and only if \(\Phi\in\delta_{2}\).
Proof
If \(\Phi\notin\delta_{2}\) then there exists an element \(x\in S_{+} (\ell_{\Phi,p} ) \) satisfying \(I_{\Phi} ( \lambda x ) =\infty\) for any \(\lambda>1\). By the Fatou property we can find natural numbers \(i_{1}< i_{2}<\cdots\) such that
and put \(x_{j}=\sum_{i=i_{j}+1}^{i_{j+1}}x(i)e_{i}\). Then, by Lemma 2.3 in [27], we have \(x_{j}\overset {w}{\rightarrow }0\), but
so the Orlicz space \(l_{\Phi,p}\) is not weakly orthogonal - a contradiction.
Conversely, assume that \(\Phi\in\delta_{2}\). Then the space \(\ell_{\Phi}^{0}\) is order continuous, so for any \(x\in l_{\Phi}^{0}\) and \(\varepsilon>0\), there exists \(i_{0}\in N\) such that \(\Vert \sum_{i=i_{0}+1}^{\infty}x(i)e_{i}\Vert _{\Phi }^{0} < \varepsilon\). For any weakly null sequence \((x_{n})\) in \(l_{\Phi}^{0}\), there is \(n_{0}\in N\) such that \(\Vert \sum_{i=1}^{i_{0} }x_{n}(i)e_{i}\Vert _{\Phi}^{0} < \varepsilon\) whenever \(n\geq n_{0}\), because weak convergence to zero implies its pointwise convergence to zero. Hence
By the arbitrariness of ε we have \(\lim_{n\to\infty} \Vert x_{n}\wedge x\Vert _{\Phi,p} = 0\), so the Orlicz space \(l_{\Phi,p}\) is weakly orthogonal. □
Applying the result of Borwein and Sims from [7], which states that a weakly orthogonal Banach lattice with the Riesz angle less than 2 has the weak fixed point property, the fact that the space \(\ell _{\Phi ,p}\) is reflexive if and only if both functions Φ and Ψ satisfy condition \(\delta_{2}\) and Theorem 2.3, we get the following corollary.
Corollary 3.3
Every reflexive Orlicz sequence space \(l_{\Phi,p}\) (\(1\leq p\le \infty\)) has the weak fixed point property, so they have the fixed point property as well.
4 Dominguez-Benavides coefficient
In 1994 Garcia-Falset [28] defined a geometric coefficient \(R(X)\) which ensures the fixed point property and he obtained stability results for this coefficient. In particular, he proved that nearly uniformly smooth spaces have the FPP [29]. The coefficient \(R(X)\) is defined as follows:
where the supremum is taken over all \(x\in B(X)\) and over all weakly null sequences of the unit ball \(B(X)\).
In 1996 Dominguez-Benavides [30] generalized the coefficient \(R(X)\) introducing,for all \(a>0\), the condition
where the supremum is taken over all \(x\in X\) with \(\Vert x \Vert \le a\) and over all weakly null sequences of the unit ball \(B(X)\) such that
The coefficients \(R(a,X)\) play an important role in the fixed point theory for nonexpansive mappings. Moreover, \(R(a,X)\) remains unaltered if we replace lim inf by lim sup in its definition. It was proved that, for a given \(a\ge0\), if \(R(a,X)<1+a\) then the Banach space X has the fixed point property. The following theorem provides a formula for \(R(a,X)\) coefficients in the case of Orlicz sequence spaces \(l_{\Phi,p}\).
Theorem 4.1
Assume that \(\Phi(u)/u\to0\) as \(u\to0\) and Φ satisfies the \(\delta_{2}\) condition. For any \(a>0\) we have
where
and in each of the above defined sets only a finite number of coordinates of the sequences x, z are non-zero.
Let us note that \(x\in G_{\Phi}\) whenever finite number of coordinates of x are non-zero and \(\Vert x\Vert _{\Phi,p}\le\frac{1}{2}\). Indeed, in that case there exists \(0< k_{0}<\infty\) such that \(\frac {1}{k_{0}} s_{p}(I_{\Phi}(k_{0} x )) = \Vert x\Vert _{\Phi,p}\). If \(k=k_{0}/2\) then, by convexity of Φ,
i.e., \(x\in G_{\Phi}\).
Note also that \(R(a,l_{\Phi})\ge a\). Indeed, taking \(x=0\) for any \(k>1\) and \(z\in l_{\Phi}\) with \(\Vert z\Vert _{\Phi,p}=a\), we have
Thus \(d_{0,z}\ge a\), whence \(R(a,l_{\Phi})\ge a\).
Proof
Denote the right-hand side of the equality (9) by d. For any \(0<\varepsilon<d\) there exist \(x,z\in l_{\Phi,p}\) with finite supports, \(x\in G_{\Phi}\), \(\Vert z\Vert _{\Phi,p}=a\), such that \(d_{x,z}>d-\varepsilon\). Let \(j\in\mathcal{N}\) be such a number that \(x(i)=z(i)=0\) for every \(i>j\). Define the sequence \((x_{n})\) as follows:
Since \(\Phi(u)/u\to0\) as \(u\to0\),
Thus \(\lim_{n\to\infty} x_{n}(i)=0\) for each \(i\in\mathcal{N}\), whence we conclude that \(x_{n}\) tends weakly to 0 (see [19, 27]).
Since \(x\in G_{\Phi}\), we can find \(k_{0}>1\) such that \(\frac {1}{k_{0}}s_{p}(2I_{\Phi}(k_{0}x))\le1\). Thus, for every \(n,m\in\mathcal{N}\) we have
whence \(D((x_{n}))\le1\).
By the definition, \(d_{x,z,k}\ge d_{x,z} > d-\varepsilon\) for every \(k>1\). Since only a finite number of coordinates of the function z are non-zero and \(\lim_{n\to\infty}\inf \{i:x_{n}(i)\neq0 \} \to\infty \), we have \(x_{n}(i)\cdot z(i)=0\) for all \(i\in\mathcal{N}\) and all n large enough, whence
for all n large enough. Hence
i.e.,
By the arbitrariness of \(\varepsilon>0\) we get \(R(a,l_{\Phi})\ge d\).
Now we will prove that \(R(a,l_{\Phi})\le d\). Assume that \((x_{n})\) is a weakly null sequence of elements of \(B(l_{\Phi,p})\) with \(D((x_{n}))\le1\). Let \(\varepsilon>0\) and put \(n_{1}=1\). Since \(\Phi\in\delta_{2}(0)\), the norm \(\Vert \cdot \Vert _{\Phi,p}\) is order continuous in \(l_{\Phi,p}\), so we can find \(i_{1}\in\mathcal{N}\) such that
Since, for every \(i\in\mathcal{N}\), \(\lim_{n\to\infty}x_{n}(i)=0\), there exists \(n_{2}>n_{1}\) such that
Since \(x_{n_{2}}\) has an absolutely continuous norm, there exists \(i_{2}>i_{1}\) such that
In this way we can find, by induction, two sequences \((i_{k})\) and \((n_{j})\) such that
For any \(j\in\mathcal{N}\) put \(y_{j}=\sum_{i=i_{j-1}+1}^{i_{j}} x_{n_{j}}(i)e_{i}\). Since \(y_{k}(i)\cdot y_{s}(i)=0\) for every \(i,k,s \in N\), \(k\neq s\), we have
Let \(z_{j}=\frac{y_{j}}{1+4\varepsilon}\) for \(j\in\mathcal{N}\). Then, by the last inequalities, \(D((z_{j}))\le1\) and \(\lim_{j\to\infty} z_{j}(i)=0\). Thus
whence the sequence \((z_{j})\) converges weakly to 0 (see [19, 27]).
Since \(D((z_{j}))\le1\), there exists \(l_{0}>1\) such that
i.e.,
for every \(k,s \in N\), \(k\neq s\). Then, for \(1\le p<\infty\), either \(I_{\Phi}(l_{0} z_{k} )\le \frac{1}{2} (l_{0}^{p}-1)^{1/p}\) or \(I_{\Phi}(l_{0} z_{s} )\le\frac {1}{2}(l_{0}^{p}-1)^{1/p}\) and, for \(p=\infty\), either \(I_{\Phi}(l_{0} z_{k} )\le\frac {1}{2}l_{0}\) or \(I_{\Phi}(l_{0} z_{s} )\le\frac{1}{2}l_{0}\). Hence, passing to a subsequence if necessary, we can assume that \(z_{k}\in G_{\Phi}\) for every \(k\in\mathcal{N}\).
Now take any \(x\in l_{\Phi}\) with finite support such that \(\Vert x\Vert _{\Phi,p}=a\). Then \(x(i)\cdot z_{k}(j)=0\) for every \(i,j\in\mathcal{N}\) and every \(k\in N\) large enough. Thus, for every \(h>1\) we have
whence \(\Vert x+z_{k}\Vert _{\Phi,p}\le\inf_{h>1} d_{x,z_{k},h} = d_{x,z_{k}}\) for every \(k\in\mathcal{N}\) large enough. By the arbitrariness of suitable x and \((z_{k})\) we conclude that \(R(a,l_{\Phi,p})\le d\). □
References
Goebel, K, Kirk, W: Topics in Metric Fixed Point Theory. Cambridge University Press, Cambridge (1991)
Kirk, WA, Sims, B (eds.): Handbook of Metric Fixed Point Theory. Kluwer Academic, Dordrecht (2001)
Abramovich, YA, Lozanovskiı̌, GY: Certain numerical characteristics of KN-lineals. Mat. Zametki 14(5), 723-732 (1973) (in Russian)
Lifshits, EA: On the theory of partially ordered Banach spaces. Funkc. Anal. Ego Prilož. 3(1), 91-92 (1969) (in Russian)
Teskrekas, PC: Some applications of L-constants and M-constants on Banach lattices. J. Lond. Math. Soc. 18(2), 133-139 (1978)
Wnuk, W: Remarks concerning M-constants in Banach lattices. In: Kato, M, Maligranda, L, Suzuki, T (eds.) Proc. of the Fourth International Symposium on Banach and Function Spaces, Kitakyusiu, Japan, pp. 259-273. Yokohama Publishers, Yokohama (2014)
Borwein, J, Sims, B: Non-expansive mappings on Banach lattices and related topics. Houst. J. Math. 10(3), 339-356 (1984)
Luxemburg, WAJ: Banach function spaces. Thesis, Delft (1955)
Musielak, J: Orlicz Spaces and Modular Spaces. Lecture Notes in Math., vol. 1034. Springer, Berlin (1983)
Rao, RR, Ren, ZD: Theory of Orlicz Spaces. Dekker, New York (1991)
Orlicz, W: Über eine gewisse Klasse von Räumen von Typus B. Bull. Acad. Pol. A 8/9, 207-220 (1932)
Maligranda, L: Orlicz Spaces and Interpolation. Seminars in Mathematics, vol. 5. Universidade Estadual de Campinas, São Paulo (1989)
Hudzik, H, Maligranda, L: Amemyia norm equals Orlicz norm in general. Indag. Math. 11(4), 573-585 (2000)
Cui, YA, Duan, L, Hudzik, H, Wisła, M: Basic theory of p-Amemiya norm in Orlicz spaces (\(1\leq p\leq\infty\)): extreme points and rotundity in Orlicz spaces equipped with these norms. Nonlinear Anal. 69, 1796-1816 (2008)
Cui, YA, Hudzik, H, Li, J, Wisła, M: Strongly extreme points in Orlicz spaces equipped with the p-Amemiya norm. Nonlinear Anal., Theory Methods Appl. 71, 6343-6364 (2009)
Cui, YA, Hudzik, H, Wisła, M: Monotonicity properties and dominated best approximation problems in Orlicz spaces equipped with the p-Amemiya norm. J. Math. Anal. Appl. 432, 1095-1105 (2015)
Cui, YA, Hudzik, H, Wisła, M, Wlaźlak, K: Non-squareness properties of Orlicz spaces equipped with the p-Amemiya norm. Nonlinear Anal., Theory Methods Appl. 75, 3973-3993 (2012)
Wisła, M: Geometric properties of Orlicz spaces equipped with p-Amemiya norms - results and open questions. Comment. Math. 55(2), 183-209 (2015)
Chen, ST: Geometry of Orlicz spaces. Diss. Math. 356, 1-204 (1996)
Hudzik, H, Zbąszyniak, Z: Smoothness in Musielak-Orlicz spaces equipped with the Orlicz norm. Collect. Math. 48(4-6), 543-561 (1997)
Chen, ST, Hudzik, H: On some convexities of Orlicz and Orlicz-Bochner spaces. Comment. Math. Univ. Carol. 29(1), 13-29 (1988)
Hudzik, H: Uniformly non-\(\ell_{n}^{(1)}\) Orlicz spaces with Luxemburg norm. Stud. Math. 81(3), 271-284 (1985)
Lindenstrauss, J, Tzafriri, L: Classical Banach Spaces. I. Sequence Spaces. Springer, Berlin (1977)
Betiuk-Pilarska, A, Prus, S: Banach lattices which are order uniformly noncreasy. J. Math. Anal. Appl. 342, 1271-1279 (2008)
Sims, B: Orthogonality and fixed points of nonexpansive maps. Proc. Cent. Anal. Aust. Nat. Univ. 20, 178-186 (1988)
Cui, YA, Hudzik, H, Płuciennik, R: Weak orthogonality and weak property \((\beta)\) in some Banach sequence spaces. Czechoslov. Math. J. 49(124), 303-316 (1999)
Cui, YA, Hudzik, H, Wisła, M, Zhao, L: Some geometric coefficients in Musielak-Orlicz sequence spaces equipped with the Luxemburg norm. In: Proceedings of the Seventh International Conference on Fixed Point Theory and Its Applications, Guanajuato, Mexico, July 17-23, pp. 49-62 (2005)
Garcia-Falset, J: Stability and fixed points for nonexpansive mappings. Houst. J. Math. 10, 495-506 (1994)
Garcia-Falset, J: The fixed point in Banach spaces with NUS property. J. Math. Anal. Appl. 215, 532-542 (1997)
Dominguez-Benavides, T: A geometrical coefficient implying the fixed point property and stability results. Houst. J. Math. 22, 835-849 (1996)
Acknowledgements
All the authors were supported by the National Science Centre, Poland, Grant no. UMO-2012/07/B/ST1/03360.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing financial interests.
Authors’ contributions
All authors made substantial contributions to all of the following: (1) the conception and design of the study, (2) drafting the article or revising it critically for important intellectual content, (3) final approval of the version to be submitted.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Cui, Y., Hudzik, H. & Wisła, M. M-Constants, Dominguez-Benavides coefficient, and weak fixed point property in Orlicz sequence spaces equipped with the p-Amemiya norm. Fixed Point Theory Appl 2016, 89 (2016). https://doi.org/10.1186/s13663-016-0576-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-016-0576-6