Abstract
Some conditions which guarantee that the Orlicz function spaces equipped with the p-Amemiya norm (\(1<p<\infty \)) and generated by N-functions are uniformly rotund in every direction are given. Obtained result broaden the knowledge about this notion in Orlicz function spaces with the p-Amemiya norm (\(1\le p\le \infty \)).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and preliminaries
Let us denote by \(\mathbb {N}\), \(\mathbb {R}\) and \(\mathbb {R}_+\) the sets of natural, real and nonnegative real numbers, respectively. For a Banach space X, by S(X) and B(X) we will denote the unit sphere and the unit ball of X, respectively.
A Banach space \(X=(X,\Vert .\Vert )\) is called uniformly rotund in every direction (see [16, 42]) if for each \(\varepsilon >0\) and nonzero \(z\in X\) there exists \(\delta (z,\varepsilon )>0\) such that if x and y belong to S(X), \(\Vert x-y\Vert \ge \varepsilon \) and \(x-y=\alpha z\) for some \(\alpha \in \mathbb {R}\), then \(\left\| \frac{x+y}{2}\right\| \le 1-\delta (z,\varepsilon )\). We will write then \(X\in (URED)\) for short. It is known (see [16]) that the URED property is equivalent to the following one: For each nonzero z in X there is a positive number \(\delta (z)\) such that if \(x\in B(X)\) and \(\Vert x+z\Vert \le 1\), then \(\left\| x+\frac{z}{2}\right\| \le 1-\delta (z)\). Equivalently, one can say that \(X\in (URED)\) if and only if \(x_n,z\in X\), \(\Vert x_n\Vert \rightarrow 1\), \(\Vert x_n+z\Vert \rightarrow 1\) and \(\Vert 2x_n+z\Vert \rightarrow 2\) as \(n \rightarrow \infty \) imply \(z=0\).
Another characterization of the uniform rotundity in every direction is also possible (see [16]), namely, \(X\in (URED)\) if and only if the following condition holds: if there are sequences \((x_n)_{n=1}^\infty \) and \((y_n)_{n=1}^\infty \) in X such that \(\Vert x_n\Vert \le 1\) and \(\Vert y_n\Vert \le 1\) for every \(n\in \mathbb {N}\), \(x_n-y_n\rightarrow z\) and \(\Vert x_n+y_n\Vert \rightarrow 2\) as \(n\rightarrow \infty \), then \(z=0\). Note also that in case of Köthe spaces, the following characterization of the URED property is known (see [32], Prop. 3.3): The Köthe space E is uniformly rotund in every direction if and only if for any \(\varepsilon \in (0,2]\) and \(z\in E_+\backslash \{0\}\) (\(E_+\) is the positive cone of E) there exists \(\delta (\varepsilon ,z)\in (0,1)\) such that \(\left\| \frac{x+y}{2}\right\| _E\le 1-\delta (\varepsilon ,z)\) for any \(x,y\in B(E)\) with \(x-y=\lambda z\) for some \(\lambda >0\) and \(\Vert x-y\Vert _E\ge \varepsilon \).
The notion of uniform rotundity in every direction was first used by Garkavi (see [18,19,20]) to characterize normed linear spaces for which every bounded subset has at most one Chebyshev center. Next, Zizler, Day, James and Swaminathan continued investigation of this property [16, 46] and the revealed results and applications encouraged other mathematicians to consider this property in some particular Banach spaces such as Orlicz spaces, Musielak–Orlicz spaces, Musielak–Orlicz spaces of Bochner type, Orlicz–Sobolev spaces or Calderón–Lozanovskiĭ spaces (see [2, 4, 5, 8, 27,28,29, 32, 41, 43, 44]).
A map \(\varPhi :\mathbb {R}\rightarrow [0,\infty ]\) is said to be an Orlicz function if \(\varPhi (0)=0\), \(\varPhi \) is not identically equal to zero (i.e. \(\lim _{u\rightarrow \infty }\varPhi (u)=\infty \)), \(\varPhi \) is even and convex on the interval \((-b(\varPhi ),b(\varPhi ))\) and \(\varPhi \) is left-continuous at \(b(\varPhi )\), i.e. \(\lim _{u\rightarrow b(\varPhi )^-}\varPhi (u)=\varPhi (b(\varPhi ))\). Let us notice that every Orlicz function \(\varPhi \) is continuous on the interval \((-b(\varPhi ),b(\varPhi ))\). Recall also that an Orlicz function \(\varPhi \) is called an N-function if it vanishes only at 0, takes only finite values and the following two conditions are satisfied: \(\lim \nolimits _{u\rightarrow 0}\frac{\varPhi (u)}{u}=0\) and \(\lim \nolimits _{u\rightarrow \infty }\frac{\varPhi (u)}{u}=\infty \).
Let us note that whenever some result will concern Orlicz spaces generated by N-functions only, this fact will be announced in the assumptions.
For any Orlicz function \(\varPhi :\mathbb {R}\rightarrow [0,\infty ]\) let us define
Notice that \(a(\varPhi )=0\) means that \(\varPhi \) vanishes only at zero while \(b(\varPhi )=\infty \) means that \(\varPhi \) takes only finite values.
An Orlicz function \(\varPhi :\mathbb {R}\rightarrow [0,\infty )\) is called convex if
for all \(u,v\in \mathbb {R}\). If the inequality in (1.1) is sharp for all \(u\ne v\), then \(\varPhi \) is called strictly convex (on \(\mathbb {R}\)). An Orlicz function \(\varPhi :\mathbb {R}\rightarrow [0,\infty )\) is said to be uniformly convex at infinity (see also [1, 34]) if for each \(a\in (0,1)\) there exists \(\delta _a\in (0,1)\) such that
for all \(u\ge u_0\), where \(u_0>0\). If condition (1.2) holds with \(u_0=0\), we say that \(\varPhi \) is uniformly convex on \(\mathbb {R}_+\) (so on the whole \(\mathbb {R}\) by the fact that \(\varPhi \) is even).
For any Orlicz function \(\varPhi \), we define its complementary (in the sense of Young) function \(\varPsi \) by the formula
We say that an Orlicz function \(\varPhi \) satisfies condition \(\varDelta _2(\mathbb {R}_+)\) [resp. \(\varDelta _2(\infty )\)] if there exists \(K>0\) such that for all \(u\ge 0\) [resp. if there exist \(K>0\) and \(u_0> 0\) with \(\varPhi (u_0)<\infty \) such that for any \(u\ge u_0\)] inequality \(\varPhi (2u)\le K \varPhi (u)\) holds. In this case, we will write \(\varPhi \in \varDelta _2(\mathbb {R}_+)\) [resp. \(\varPhi \in \varDelta _2(\infty )\)].
Throughout the paper we will assume that \((\varOmega ,\varSigma ,\mu )\) is a measure space with a \(\sigma \)-finite non-atomic and complete measure \(\mu \) and \(L^0(\mu )\) is the space of all \(\mu \)-equivalence classes of real and \(\varSigma \)-measurable functions defined on \(\varOmega \). Let us note that Theorem 4 will be formulated for the Orlicz spaces equipped with the p-Amemiya norm, \((1\le p<\infty )\), built over a finite non-atomic measure space. We shall say that an Orlicz function \(\varPhi \) satisfies the \(\varDelta _2(\mu )\)-condition if \(\varPhi \in \varDelta _2(\infty )\) when the measure space is non-atomic finite and \(\varPhi \in \varDelta _2(\mathbb {R}_+)\) when the measure space is non-atomic infinite. Let us define the characteristic function \(\chi _A\) of a subset A from \(\varOmega \) as
For a given Orlicz function \(\varPhi \) we define on \(L^0(\mu )\) a convex semimodular (see [3, 30, 34,35,36, 39]) by
The Orlicz space \(L^\varPhi \) generated by an Orlicz function \(\varPhi \) is a linear space of measurable functions defined by the formula (see [38]):
The Orlicz space is usually equipped with the Luxemburg norm (see [34])
or with the equivalent one (see [37, 38])
which is called the Orlicz norm, where \(\varPsi \) is the complementary function to \(\varPhi \).
For any \(1\le p\le \infty \) and \(u\ge 0\) let us define
In order to simplify notations, define \(s_{\varPhi ,p}(x) = s_p\circ I_\varPhi (x)\) for all \(1\le p \le \infty \) and all \(x\in L^0(\mu )\). Note that the functions \(s_p\) and \(s_{\varPhi ,p}\) are convex. Moreover, the function \(s_p\) is increasing on \(\mathbb {R}_+\) for \(1\le p<\infty \), but the function \(s_\infty \) is increasing on the interval \([1,\infty )\) only.
Definition 1
Let \(p\in [1,\infty ]\). By the p-Amemiya norm of a function \(x\in L^0\) we mean the number defined by the formula (see [11, 25])
The Orlicz space equipped with the p-Amemiya norm \((L^\varPhi ,\Vert .\Vert _{\varPhi ,p})\) will be denoted by \(L^{\varPhi ,p}\).
It is known (see [11]) that the p-Amemiya norm \(\Vert x\Vert _{\varPhi ,p}\)\((1\le p\le \infty )\) is equivalent to the Luxemburg norm \(\Vert x\Vert _\varPhi \), namely, \(\Vert x\Vert _\varPhi \le \Vert x\Vert _{\varPhi ,p}\le 2^\frac{1}{p}\Vert x\Vert _\varPhi \) for any \(x\in L^{\varPhi ,p}\). Recall also here the earlier result of Hudzik and Maligranda from [25], which states that the 1-Amemiya norm is equal to the Orlicz norm in general, i.e. when \(\varPhi \) is an arbitrary Orlicz function.
Recall that the notion of the p-Amemiya norm \((1\le p\le \infty )\) was introduced by Reisner in 1988 in [40], where the Author defined these norms for the Calderón–Lozanovskii spaces. Next, in 2000, Hudzik and Maligranda [25] suggested investigating a family of p-Amemiya norms \((1\le p\le \infty )\) in Orlicz spaces. After several years, the first paper constituting some basic and crutial results allowing further research and containing the complete characterization of rotundity and extreme points in Orlicz spaces equipped with the p-Amemiya norms, \(1\le p\le \infty \), was written by Cui et al. (see [11]). Since that time, an intensive development of research connected with Orlicz and Musielak–Orlicz spaces equipped with the p-Amemiya norm has taken place, many important results broaden the knowledge about the geometry of these spaces were obtained (see [6, 7, 9,10,11,12,13,14,15, 17, 23, 24, 26, 33]) and some open questions were put (see [45]).
Up to the end of this section, let \(p\in [1,\infty ]\). Denoting by \(p_+\) the right-side derivative of the function \(\varPhi \) on \([0,b(\varPhi ))\) and putting \(p_+(b(\varPhi ))=\lim _{u\rightarrow b(\varPhi )^-} p_+(u)\), let us define the function \(\alpha _p:L^{\varPhi ,p}\rightarrow [-\,1,\infty ]\) by
and the functions \(k_p^*:L^{\varPhi ,p}\rightarrow [0,\infty )\), \(k_p^{**}:L^{\varPhi ,p}\rightarrow (0,\infty ]\) by
It is obvious that \(k_p^*(x)\le k_p^{**}(x)\) for every \(1\le p\le \infty \) and \(x\in L^{\varPhi ,p}\).
Denote by \(K_p(x)\) the set of all \(k\in (0,\infty )\) which are between \(k_p^*(x)\) and \(k_p^{**}(x)\), i.e., \(K_p(x)=\{0<k<\infty : k_p^*(x)\le k\le k_p^{**}(x)\}\). Note that \(K_p(x)=\emptyset \) if and only if \(k_p^*(x)=k_p^{**}(x)=\infty \). Moreover, the p-Amemiya norm \(\Vert x\Vert _{\varPhi ,p}\), \(x\ne 0\), is attained at every point \(k\in [k_p^*(x),k_p^{**}(x))\) provided \(k_p^*(x)<\infty \) and at every point \(k\in [k_p^*(x),k_p^{**}(x)]\) provided \(k_p^{**}(x)<\infty \) (see [11]). Recall also that an Orlicz function \(\varPhi \) is said to be \(k_p^*\)-finite (respectively \(k_p^{**}\)-finite) provided \(k_p^*(x)<\infty \) (resp. \(k_p^{**}(x)<\infty \)) for every \(x\in L^{\varPhi ,p}\). An Orlicz function \(\varPhi \) is said to be \(k_p\)-unique, if \(0<k_p^*(x)=k_p^{**}(x)<\infty \) for all \(x\in L^{\varPhi ,p}\backslash \{0\}\). Evidently, \(\varPhi \) is \(k_p\)-unique if and only if \({\text {card}}K_p(x)=1\) for every \(x\in L^{\varPhi ,p}\backslash \{0\}\).
2 Auxiliary results
Let us first note that although the main theorem is formulated for the Orlicz spaces generated by N-functions only, we will present some auxiliary results in they original and often wider form, i.e. formulated for Orlicz spaces generated by an arbitrary Orlicz function.
Lemma 1
(See [3], Proposition 1.4) Let \(\varPhi \) be a strictly convex N-function. Then:
-
(1)
\(\varPhi \) is uniformly convex on any bounded interval.
-
(2)
For any \(K>0\), \(\varepsilon >0\) and \([a,b]\subset (0,1)\), there exists \(\delta >0\) such that
$$\begin{aligned}\varPhi (\alpha u+(1-\alpha )v)\le (1-\delta )[\alpha \varPhi (u)+(1-\alpha )\varPhi (v))]\end{aligned}$$holds for all \(\alpha \in [a,b]\) and \(u,v\in \mathbb {R}\) satisfying \(|u|,|v|\le K\) and \(|u-v|\ge \varepsilon \).
Theorem 1
(Ergoroff’s theorem, see [22]) If \(f_n\) and f are measurable and almost everywhere finite in \(\varOmega \), \(\mu (\varOmega )<\infty \) and \(f_n(t)\rightarrow f(t)\) a.e. in \(\varOmega \), then for every number \(\varepsilon >0\) there exists a set \(A\in \varSigma \) such that \(\mu (A)<\varepsilon \) and \(f_n(t)\rightarrow f(t)\) uniformly in \(\varOmega \backslash A\).
Theorem 2
(See [11], Theorem 6.2) The Orlicz space \(L^{\varPhi ,p}=(L^\varPhi ,\Vert .\Vert _{\varPhi ,p})\) is rotund if and only if
-
1.
\(\varPhi \) is \(k_p\)-unique and
-
2.
\(\varPhi \) is strictly convex on \((-b(\varPhi ),b(\varPhi ))\) and
-
3.
-
(a)
\(1\le p<\infty \) or
-
(b)
\(p=\infty \) and \(\varPhi \in \varDelta _2(\mu )\).
-
(a)
Corollary 1
(See [11], Corollary 4.7) Every Orlicz function \(\varPhi \) that is strictly convex on \((-b(\varPhi ),b(\varPhi ))\) is \(k_p\)-unique for all \(1<p\le \infty \). Moreover, if \(b(\varPhi )=\infty \) and \(\varPhi \) does not have an asymptote at \(\infty \), then \(\varPhi \) is \(k_p\)-unique for all \(1\le p\le \infty \).
Lemma 2
(See [15], Lemma 2.7) Let \(1\le p\le \infty \). Then \(I_\varPhi (x)\le \Vert x\Vert _{\varPhi ,p}\) for all \(x\in L^{\varPhi ,p}\) with \(\Vert x\Vert _{\varPhi ,p}\le 1\).
Lemma 3
(See [15], Lemma 4.2) Let \(1\le p\le \infty \) and let \(\varPhi \) be an Orlicz function. In the case \(p=1\) assume, additionally, that \(\varPhi \) is \(k_1^*\)-finite. If the sequence \((\Vert x_n\Vert _{\varPhi ,p})_{n=1}^\infty \) is bounded, \(k_n\in K_p(x_n)\) and \(k_n\rightarrow \infty \), then \(x_n \overset{\mu }{\rightarrow } 0\) on \(\varOmega \).
Lemma 4
(See [44], Lemma 6 or [3], Lemma 2.35) Let \(\varPhi \) be an N-function. Then, for a given \(\sigma \in \left( 0,\frac{1}{2}\right) \), \(\varepsilon >0\) and \(\gamma >0\), there exists \(\delta >0\) such that for any \(u>0\) and any \(\lambda \in \left[ \sigma ,\frac{1}{2}\right] \) satisfying
there exists \(\tau \in [(1+\lambda \varepsilon )u,(1+\varepsilon )u]\) such that
Recall that in 1984 Kamińska (see [27]) gave the characterization of the uniform rotundity in every direction for Musielak–Orlicz spaces endowed with the Luxemburg norm over a non-atomic measure space, which was next generalized to the Musielak–Orlicz spaces of Bochner type (see [28]). The theorem presented below can be easily deduced from the result contained in [27]. Let us also note that another proof of the characterization of the URED property for Orlicz spaces equipped with the Luxemburg norm was given by Hudzik in [8].
Theorem 3
(See [27] or [31], Chapter 12) Let \((\varOmega ,\varSigma ,\mu )\) be a non-atomic complete and \(\sigma -\)finite measure space and \(\varPhi :\mathbb {R}\rightarrow \mathbb {R}_+\) be an even, continuous, convex and vanishing only at zero function. Then the Orlicz space \((L^\varPhi ,\Vert .\Vert _\varPhi )\) equipped with the Luxemburg norm is uniformly rotund in every direction if and only if \(\varPhi \) is strictly convex and \(\varPhi \) satisfies the \(\varDelta _2(\mu )\)-condition.
3 Results
Denote \(\ell _2^p=(\mathbb {R}^2,\Vert .\Vert _p)\), where the norm \(\Vert .\Vert _p\) is defined as \(\Vert x\Vert _p=(|x_1|^p+|x_2|^p)^{1\slash p}\) for any \(x=(x_1,x_2)\in \mathbb {R}^2\) and any \(p\in [1,\infty )\), and \(\Vert x\Vert _\infty =\max \{|x_1|,|x_2|\}\), whenever \(p=\infty \). Then, the p-Amemiya norm \((1\le p<\infty )\) in the Orlicz space \(L^{\varPhi ,p}\) can be expressed by the help of the norm \(\Vert .\Vert _p\) in the following way:
For \(u\in (L^\varPhi ,\Vert .\Vert _{\varPhi ,p})\) and \(v\in (L^\varPsi ,\Vert .\Vert _{\varPsi ,q})\), where \(p,q\in [1,\infty ]\) are such that \(\frac{1}{p}+\frac{1}{q}=1\), let \(\langle v,u\rangle :=\int _\varOmega u(t)v(t) dt\).
Let us start from presenting some lemmas. The first one is formulated for the Orlicz spaces generated by N-functions and endowed with the p-Amemiya norm but only for \(p\in (1,\infty )\) (for the case \(p=1\), we refer to [44] or [3]).
Lemma 5
Let \(\varPhi \) be an N-function, \(\varPsi \) be its complementary in the sense of Young function and let \(p\in (1,\infty )\) and \(q\in (1,\infty )\) be such numbers that \(\frac{1}{p}+\frac{1}{q}=1\). If \(x_n,y_n \in B(L^{\varPhi ,p})\) and \(v_n\in B(L^{\varPsi ,q})\) satisfy \(\langle v_n,x_n+y_n\rangle \rightarrow 2\) as \(n\rightarrow \infty \), then for any \(\varOmega _n\in \varSigma \), \(k_n\in K_p(x_n)\) and \(h_n\in K_p(y_n)\), we have that \(\lim \nolimits _{n\rightarrow \infty } \int \nolimits _{\varOmega } [k_n x_n(t)-h_ny_n(t)]v_n(t) dt=\lim \nolimits _{n\rightarrow \infty } \left[ \Vert k_nx_n\Vert _{\varPhi ,p}-\Vert h_ny_n\Vert _{\varPhi ,p} \right] =\lim \nolimits _{n\rightarrow \infty } \left[ \left( 1+I_\varPhi ^p(k_nx_n)\right) ^\frac{1}{p}-\left( 1+I_\varPhi ^p(h_ny_n)\right) ^\frac{1}{p}\right] \) and
hold provided that the limits exist and \(\{\max \{k_n,h_n\}\}_n\) is bounded.
Proof
Let \(p\in (1,\infty )\). By the assumption, we get that \(\langle v_n, x_n \rangle \rightarrow 1\) and \(\langle v_n, y_n \rangle \rightarrow 1\) as \(n\rightarrow \infty \), so by the Hölder inequality
whence
as \(n\rightarrow \infty \). In a similar way we can prove that
as \(n\rightarrow \infty \). Formulas (3.2) and (3.3) yield
whence
so for any \(\varOmega _n\in \varSigma \), we obtain
and the proof is finished. \(\square \)
Let us now present the more general result rather then this presented in [44], Lemma 4 or in [3], Lemma 2.26.
Lemma 6
Let \(\varPhi \) be a strictly convex N-function, let \(p\in [1,\infty )\), \(x_n,y_n\in B(L^{\varPhi ,p})\), \(\Vert x_n+y_n\Vert _{\varPhi ,p}\rightarrow 2\) as \(n\rightarrow \infty \), \(k_n\in K_p(x_n)\) and \(h_n\in K_p(y_n)\). Then \(b=\sup \limits _n\max \{k_n,h_n\}<\infty \) implies \(k_nx_n-h_ny_n\rightarrow 0\) in measure.
Proof
Recall first that an Orlicz function \(\varPhi \) which vanishes only at zero and takes only finite values has the following property:
Notice that for any \(p\in [1,\infty )\), the function \(f(u):=s_p(|u|)-1\), \(u\in \mathbb {R}\), is an Orlicz function, so by property (3.4) applied to the f, i.e. \(f(\frac{1}{2}|u|-\frac{1}{2}|v|)\le |f(u)-f(v)|\text { for all }u,v\in \mathbb {R}\), as well as by the convexity of the function \(s_p(.)\), we get
so
as \(n\rightarrow \infty \). Since \(s_p(u_n)\rightarrow 1\) if and only if \(u_n\rightarrow 0\) as \(n\rightarrow \infty \), we get that
as \(n\rightarrow \infty \).
If the sequence \((k_nx_n-h_ny_n)_{n=1}^\infty \) does not converge to zero in measure, then without loss of generality, we may assume that \(\mu (E_n)>\varepsilon \) for any \(n\in \mathbb {N}\), where \(E_n=\{t\in \varOmega : |k_nx_n(t)-h_ny_n(t)|\ge \sigma \}\) and \(\sigma \), \(\varepsilon \) are fixed and positive numbers.
Since the Orlicz space \(L^{\varPhi ,p}\) is a symmetric space, the norm \(\Vert \chi _F\Vert _{\varPhi ,p}\) does not depend on the set F but only on its measure, so let us denote \(k=\frac{1}{\Vert \chi _F\Vert _{\varPhi ,p}}\), where \(F\in \varSigma \) and \(\mu (F)=\frac{\varepsilon }{4}\). Define the sets
Then \(1\ge \Vert x_n\Vert _{\varPhi ,p}\ge \Vert x_n\chi _{A_n}\Vert _{\varPhi ,p}> k \Vert \chi _{A_n}\Vert _{\varPhi ,p},\) whence \(\Vert \chi _{A_n}\Vert _{\varPhi ,p}< \frac{1}{k}\), which implies \(\mu (A_n)<\frac{\varepsilon }{4}\). In a similar way we get that \(\mu (B_n)<\frac{\varepsilon }{4}\). By Lemma 1, there exists \(\delta >0\) such that
holds for all \(\alpha \in \big [\frac{1}{1+b},\frac{b}{1+b}\big ]\in (0,1)\) and any \(u,v\in \mathbb {R}\) with \(|u|\le bk\), \(|v|\le bk\) and \(|u-v|\ge \sigma \). Since \(\frac{k_n}{k_n+h_n},\frac{h_n}{k_n+h_n}\in \big [\frac{1}{1+b},\frac{b}{1+b}\big ]\) for all \(t\in F_n:=E_n\backslash \{A_n\cup B_n\}\), we obtain that
By the convexity of \(\varPhi \) and condition (3.5), we get that
where \(\sigma ,\varepsilon >0\) were fixed, a contradiction. \(\square \)
Lemma 7
Let \((X,\Vert .\Vert )\) be a Banach space. If \(x_n,y_n\in B(X)\) for any \(n\in \mathbb {N}\) and \(\left\| \frac{x_n+y_n}{2}\right\| \rightarrow 1\), then \(\Vert \alpha x_n+(1-\alpha ) y_n\Vert \rightarrow 1\) for any \(\alpha \in (0,1)\) as \(n\rightarrow \infty \).
Proof
Assume that \(x_n,y_n\in B(X)\) for any \(n\in \mathbb {N}\) and \(\left\| \frac{x_n+y_n}{2}\right\| \rightarrow 1\), but there exists \(\alpha \in (0,1)\) such that \(\Vert \alpha x_n+(1-\alpha ) y_n\Vert \nrightarrow 1\) as \(n\rightarrow \infty \). Then, we can assume that there exists \(\varepsilon \in (0,1)\) such that \(\Vert \alpha x_n+(1-\alpha ) y_n\Vert \le 1-\varepsilon \). Denote \(z_{n,\alpha }=\alpha x_n+(1-\alpha ) y_n\). Then, we can find:
case a) either \(\beta \in (0,1)\) such that \(\frac{x_n+y_n}{2}=\beta z_{n,\alpha }+(1-\beta )y_n\) or case b) \(\widetilde{\beta }\in (0,1)\) such that \(\frac{x_n+y_n}{2}=\widetilde{\beta } x_n+(1-\widetilde{\beta })z_{n,\alpha }\), where \(z_{n,\alpha }\) is generated either by some \(\alpha \in \left( \frac{1}{2},1\right) \) or some \(\alpha \in \left( 0,\frac{1}{2}\right) \), respectively. Since the proof for case b) is similar, it is omitted. Consequently
a contradiction. \(\square \)
Let \(\varPhi \) be an N-function, \(\varPsi \) be its complementary (in the sense of Young) function, let \(p_+\) be the right derivative of \(\varPhi \) and \(q_+\) be the right-inverse function of \(p_+\), that is,
Now, we will present the sufficient conditions for the uniform rotundity in every direction in Orlicz spaces equipped with the p-Amemiya norm, where \(p\in [1,\infty )\). Although Theorem 4 is formulated for Orlicz spaces endowed with the p-Amemiya norm, \(p\in [1,\infty )\), generated by N-functions and built over a non-atomic finite measure space, we will present its proof only in case of the Orlicz spaces equipped with the p-Amemiya norm, \(p\in (1,\infty )\), because in case of the Orlicz spaces endowed with the Orlicz norm, the proof can be found in [44] or [3].
Theorem 4
Let \((\varOmega ,\varSigma ,\mu )\) be a non-atomic finite and complete measure space and let \(p\in [1,\infty )\). If
-
(a)
\(\varPhi \) is a strictly convex N-function,
-
(b)
for any \(u_0>0\), \(\varepsilon >0\) and \(\widetilde{\varepsilon }>0\) there exist \(\gamma >0\) and \(A>0\) such that for any \(u\ge u_0\), if \(p_+((1+\varepsilon )u)\le (1+\gamma )p_+(u)\), then \(p_+(u)\le A p_+(\widetilde{\varepsilon }u)\),
then the Orlicz space \((L^\varPhi ,\Vert .\Vert _{\varPhi ,p})\) equipped with the p-Amemiya norm and generated by an N-function \(\varPhi \) is uniformly rotund in every direction.
Proof
In the whole proof we will assume that \(p\in (1,\infty )\).
Assume that \(L^{\varPhi ,p}\) satisfies conditions a) and b) but \(L^{\varPhi ,p}\) is not uniformly rotund in every direction. Then (see [16]), there exist \(x_n\in B(L^{\varPhi ,p})\), \(z\in L^{\varPhi ,p}\) such that \(x_n+z\in B(L^{\varPhi ,p})\) for any \(n\in \mathbb {N}\), \(\Vert x_n\Vert _{\varPhi ,p}\rightarrow 1\), \(\Vert x_n+z\Vert _{\varPhi ,p}\rightarrow 1\) and \(\Vert 2x_n+z\Vert _{\varPhi ,p}\rightarrow 2\) as \(n\rightarrow \infty \) but \(z\ne 0\). Since \(\varPhi \) is a strictly convex N-function, by Corollary 1, \(\varPhi \) is \(k_p\)-unique. Let \(K_p(x_n)=\{k_n\}\). Without loss of generality we can assume that the sequence \((x_n)_{n=1}^\infty \) does not converge to 0 in measure. Indeed, if \(x_n\overset{\mu }{\rightarrow }0\), then we replace \(x_n\) and z by \(x^\prime _n=x_n+\frac{z}{4}\) and \(z^\prime =\frac{z}{2}\), respectively. By virtue of Lemma 7 and by the definitions of \(x^\prime _n\) and \(z^\prime \), we get that \(\Vert x^\prime _n\Vert _{\varPhi ,p}\rightarrow 1\), \(\Vert x^\prime _n+z^\prime \Vert _{\varPhi ,p}=\Vert x_n+\frac{3}{4}z\Vert _{\varPhi ,p}\rightarrow 1\) and \(\Vert 2x^\prime _n+z^\prime \Vert _{\varPhi ,p}=\Vert 2x_n+z\Vert _{\varPhi ,p}\rightarrow 2\) as \(n\rightarrow \infty \) but \(z^\prime \ne 0\). Obviously \(x^\prime _n\overset{\mu }{\nrightarrow }0\). By Lemma 3, the sequence \((k_n)_{n=1}^\infty \) is bounded. Passing to a subsequence, if necessary, we may assume that \(k_n\rightarrow k\)\((k\ge 1)\) and \(1\le k_n\le 2k\) for all \(n\in \mathbb {N}\). Moreover, we can assume that \(2k\Vert z\Vert _{\varPhi ,p}\le 1\) and that \((x_n+z)_{n=1}^\infty \) does not converge to zero in measure (otherwise, instead of z we take \(\beta z\) for some \(\beta >0\)).
Let \(y_n=x_n+z\) and \(K_p(y_n)=\{h_n\}\). We can also assume that \(h_n\rightarrow h\) as \(n\rightarrow \infty \)\((h\ge 1)\). Then, by Lemma 6, \(k_nx_n-h_ny_n\rightarrow 0\) in measure and we conclude that \(k\ne h\); otherwise we would have that \(k_nx_n-h_ny_n=k_nx_n-h_nx_n-h_nz=(k_n-h_n)x_n-h_nz\overset{\mu }{\rightarrow } 0\), so if \(k=h\), then \(z\overset{\mu }{\rightarrow }0\), a contradiction. In what follows, we will consider only the case when \(k>h\) (the other case is similar). Without loss of generality, passing to a subsequence if necessary, we may assume that \(k_n>h_n\) for any \(n\in \mathbb {N}\) and \(k_nx_n-h_ny_n\rightarrow 0\)\(\mu \)-a.e. on \(\varOmega \). Set \(\lambda _n=\frac{h_n}{k_n+h_n}\). Then \(\lambda _n\rightarrow \frac{h}{k+h}\) as \(n\rightarrow \infty \), so \(\sigma \le \lambda _n\le \frac{1}{2}\) for some \(\sigma >0\).
Since \(z\ne 0\), there is \(c>0\) such that \(\mu (E)=d>0\), where \(E=E_c:=\{t\in \varOmega : |z(t)|>c\}\). Let \(\varepsilon >0\) be arbitrary. By the assumption b) there exist \(A>0\) and \(\gamma \in (0,1)\) such that whenever \(\tau \ge \varepsilon \) and \(p_+(\tau )\le (1+\gamma )p_+\left( \frac{1+\sigma \varepsilon }{1+2\sigma \varepsilon }\tau \right) \), then
For such \(\sigma ,\varepsilon ,\gamma \), by Lemma 4, it follows that there exists \(\delta >0\) such that for any \(u>0\) and \(\lambda \in \left[ \sigma ,\frac{1}{2}\right] \) the inequality
implies the existence of \(\tau \in [u+\lambda \varepsilon u,u+\varepsilon u]\) satisfying the inequality
Since \(\Vert 2kz\Vert _{\varPhi ,p}\le 1\), by Lemma 2, we get that \(I_\varPhi (2kz)\le 1\) and \(\langle |z|,p_+(|z|)\rangle =I_\varPhi (z)+I_\varPsi (p_+(|z|))\le 2\). Therefore, by absolute continuity of the integral, there exists \(\widetilde{\alpha }\in \left( 0,\frac{d}{2}\right) \) such that if \(B\subset \varOmega \) and \(\mu (B)\le \widetilde{\alpha }\), then
Since \(k_nx_n-h_ny_n\rightarrow 0\)\(\mu \)-a.e. on \(\varOmega \), by Theorem 1, passing to subsequence if necessary, we can find \(F\in \varSigma \) such that \(\mu (\varOmega \backslash F)<\widetilde{\alpha }\) and \(k_nx_n-h_ny_n\rightarrow 0\) uniformly on F, and \(|z|\le a_1\) on F for some \(a_1>0\). Notice that \(\mu (E\cap F)>\frac{d}{2}\). Indeed,
Hence \(\mu (E\cap F)>\frac{d}{2}\) and we deduce that
For every \(n\in \mathbb {N}\), let us divide \(\varOmega \) into the following sets:
Let us pick \(v_n\in B(L^{\varPsi ,q})\) (\(q\in (1,\infty )\) and \(\frac{1}{p}+\frac{1}{q}=1\)) such that \(v_n(t)[x_n(t)+y_n(t)]\ge 0\) for all \(t\in \varOmega \) and \(\langle v_n,x_n+y_n\rangle \rightarrow 2\) as \(n\rightarrow \infty \). Then, by the linearity of the integral and by the assumptions about \(x_n\) and \(y_n=x_n+z\), we obtain that \(\langle v_n,x_n\rangle \rightarrow 1\) and \(\langle v_n,y_n\rangle \rightarrow 1\) as \(n\rightarrow \infty \) and, consequently,
Now, we will find the upper estimates of the integrals \(\int \limits _{C} \vert [k_nx_n(t)-h_ny_n(t)]v_n(t) \vert dt\), where C denotes one of the following sets: F, \(A_n\), \(I_n\), \(J_n\), \(H_n\), \(Q_n\) and \(T_n\), respectively.
Since \(k_nx_n-h_ny_n\rightarrow 0\) uniformly on F, for large n, we obtain that
Notice that if \(t\in A_n\), then \(x_n(t)y_n(t)<0\), i.e. \(x_n(t)[x_n(t)+z(t)]<0\), yields that \(x_n(t)z(t)< 0\) and \(|x_n(t)|<|z(t)|\). Therefore, for any \(A\in \varSigma \) contained in the set \(A_n\), by (3.8) we obtain that
Hence, as well as by virtue of Lemma 5, for n large enough, we get that
Notice that the Hölder inequality give us that
By the definition of the set \(J_n\) and by the conditions that \(1\leftarrow \langle v_n,x_n\rangle \le 1\) and \(1 \leftarrow \langle v_n,y_n\rangle \le 1\), we get that
For each set \(H\in \varSigma \), being a subset of \(H_n\), using the method from the proof of Lemma 6, by continuity of \(s_p(.)\) and by the fact that \(\frac{k_nh_n}{k_n+h_n}\ge \frac{k_nh_n}{2k_n}\ge \frac{1}{2}\), we conclude that
whence, for n large enough, we obtain that
By the facts that \(k_nx_n-h_ny_n\rightarrow 0\) uniformly on F and \(y_n=x_n+z\), we conclude that \(x_n\rightarrow \frac{h}{k-h}z\) uniformly on the set F. Hence, and by inequality (3.9), we get that
By the assumption \(\Vert x_n\Vert _{\varPhi ,p}\rightarrow 1\) as \(n\rightarrow \infty \) and the fact that \(k_n\in K_p(x_n)\), we obtain that \(\lim \nolimits _{n\rightarrow \infty } \frac{1}{k_n^p}\left( 1+I_\varPhi ^p(k_nx_n)\right) =1\). Consequently, \(1+\lim \nolimits _{n\rightarrow \infty } I_\varPhi ^p(k_nx_n)=\lim \nolimits _{n\rightarrow \infty } k_n^p\), whence
But by the superadditivity of the function \(g(u)=u^p\), \(p>1\), and by (3.15), we get that
This and (3.16) yield that
whence
Therefore, for n big enough,
Since \(Q_n\subset \varOmega \backslash \{F\cup A_n\}\), we have that \(x_n(t)y_n(t)=x(t)(x(t)+z(t))\ge 0\). Since \(v_n(t)[x_n(t)+y_n(t)]\ge 0\), then both \(x_n(t)v_n(t)\ge 0\) and \(y_n(t)v_n(t)\ge 0\) (so \(z(t)v_n(t)\ge 0\)). Hence, if \(|x_n(t)|<|y_n(t)|\), then \(x_n(t)z(t)>0\) and, consequently,
and if \(|z(t)|<\varepsilon |x_n(t)|\), then
Therefore, applying also (3.17) and Lemma 5, for n large enough, we obtain
Noticing that \(t\notin Q_n\cup J_n\cup A_n\) whenever \(t\in T_n\), we get that
i.e. \(\frac{k_n|x_n(t)|}{h_n|y_n(t)|}\ge 1+\varepsilon \). By virtue of Lemma 4 and by the fact that \(t\notin H_n\), i.e.
there exists
such that
Noticing that \(t\notin I_n\cup Q_n\) implies \(\tau _n(t) \ge \lambda _n k_n |x_n(t)|\ge \sigma \varepsilon \), by (3.20) and (3.7), we have
From \(t\notin H_n\cup Q_n\), by (3.19), (3.21) and the fact that \(k_n\le 2k\) for any \(n\in \mathbb {N}\), we conclude that
This and conditions (3.8) (recall that \(\mu (\varOmega \backslash F)<\widetilde{\alpha }<\frac{d}{2}\)) imply
whence
i.e.
Hence, by Lemma 5, for all large n, we obtain that
Denoting \(v_n(t)(k_n x_n(t)-h_n y_n(t))\) shortly as \(w_n(t)\), we get that
whence, as well as by inequalities (3.10), (3.11), (3.12), (3.13), (3.14), (3.18) and (3.22) and by the arbitrariness of \(\varepsilon >0\), we conclude that
a contradiction, which shows that \(z=0\) a.e. in \(\varOmega \).
\(\square \)
Corollary 2
If \(\varPhi \) is a strictly convex N-function satisfying the \(\varDelta _2(\infty )-\)condition, then the Orlicz space \((L^\varPhi ,\Vert .\Vert _{\varPhi ,p})\), \(p\in [1,\infty )\) equipped with the p-Amemiya norm and built over a non-atomic finite measure space is uniformly rotund in every direction.
Proof
Assume that \(\varPhi \in \varDelta _2(\infty )\). Then for any \(a>1\) we can find \(K>a\) such that \(\varPhi (2au)\le K\varPhi (u)\) for all u large enough, whence
for all u large enough, so by strict convexity of N-function \(\varPhi \) and by Theorem 4, we conclude that Orlicz space with the p-Amemiya norm is uniformly rotund in every direction. \(\square \)
At the end, let us recall that the uniform rotundity in every direction plays an important role in the fixed point theory. Namely, every uniformly rotund in every direction Banach space \((X,\Vert .\Vert )\) has normal structure (see for example [8]). Consequently, it has the weak fixed point property (we refer, for instance, to [8, 21] or [31] for the suitable definitions and results). By this, and by Theorem 4, we get the following
Corollary 3
Let \((\varOmega ,\varSigma ,\mu )\) be a non-atomic finite and complete measure space and let \(p\in [1,\infty )\). Then the Orlicz space \((L^\varPhi ,\Vert .\Vert _{\varPhi ,p})\) equipped with the p-Amemiya norm and generated by a strictly convex N-function \(\varPhi \) satisfying the \(\varDelta _2(\infty )\)-condition has the weak fixed point property.
References
Akimovič, V.A.: The uniform convexity and uniform smoothness of Orlicz spaces. Teor. Funkciĭ Funkcional. Anal. i Priložen 15, 114–121 (1972)
Cao, F., Mao, R., Wang, B.: Uniform rotundity in every direction of Orlicz–Sobolev spaces. J. Inequal. Appl. 2016, 277 (2016)
Chen, S.: Geometry of Orlicz spaces. Diss. Math. 356, 1–204 (1996)
Chen, S.T.: On the properties of locally K-uniform rotundity and uniform rotundity in every direction for Banach spaces, (Chinese). Nat. Sci. J. Harbin Normal Univ. 3(3), 1–7 (1987)
Chen, S.T.: Some rotundities of Orlicz spaces with Orlicz norm. Bull. Pol. Acad. Sci. Math. 34(9–10), 585–596 (1986)
Chen, L., Cui, Y.: Complex extreme points and complex rotundity in Orlicz function spaces equipped with the p-Amemiya norm. Nonlinear Anal. 73(5), 1389–1393 (2010)
Chen, L., Cui, Y.: Complex rotundity of Orlicz sequence spaces equipped with the p-Amemiya norm. J. Math. Anal. Appl. 378(1), 151–158 (2011)
Chen, S., Cui, Y., Hudzik, H., Sims, H.: Geometric properties related to fixed point theory in some Banach function lattices. In: Kirk, W.A., Sims, B. (eds.) Handbook of Metric Fixed Point Theory, pp. 339–389. Kluwer Academic Publishers, Dordrecht (2001)
Chen, L., Cui, Y., Zhao, Y.: Complex convexity of Musielak–Orlicz function spaces equipped with the p-Amemiya norm. Abstr. Appl. Anal. (2014). Art. ID 190203
Chen, L.L., Cui, Y.A., Zhao, Y.F., Niu, J.L.: Complex convexity of Musielak–Orlicz sequence spaces equipped with the p-Amemiya norm, (Chinese). Acta Math. Sin. (Chin. Ser.) 58(1), 169–176 (2015)
Cui, Y., Duan, L., Hudzik, H., Wisła, M.: Basic theory of \(p\)-Amemiya norm in Orlicz spaces \((1\le p\le \infty )\): extreme points and rotundity in Orlicz spaces endowed with these norms. Nonlinear Anal. 69(5–6), 1796–816 (2008)
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)
Cui, Y., 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(2), 1095–1105 (2015)
Cui, Y., Hudzik, H., Li, J., Wisła, M.: Strongly extreme points in Orlicz spaces equipped with the p-Amemiya norm. Nonlinear Anal. 71, 6343–6364 (2009)
Cui, Y., Hudzik, H., Wisła, M., Wlaźlak, K.: Non-squareness properties of Orlicz spaces equipped with the p-Amemiya norm. Nonlinear Anal. 75(10), 3973–3993 (2012)
Day, M.M., James, R.C., Swaminathan, S.: Normed linear spaces that are uniform convexity in every direction. Can. J. Math. 23, 1051–1059 (1971)
Duan, L.F., Xu, J., Cui, Y.: Extreme points and rotundity in Orlicz sequence spaces equipped with p-Amemiya \((1\le p \le \infty )\) norm, (in Chinese). J. Jilin Univ. Sci. 50(5), 902–906 (2012)
Garkavi, A.L.: On the Čebyšev center of a set in a normed space (Russian). In: Studies of Modern Problems of Constructive Theory of Functions, pp. 328–331. Fizmatgiz, Moscow (1961)
Garkavi, A.L.: The best possible net and the best possible cross-section of a set in a normed space (Russian). Izv. Akad. Nauk SSSR Ser. Mat. 26, 87–106 (1962)
Garkavi, A.L.: The best possible net and the best possible cross-section of a set in a normed space (Russian). Am. Math. Soc. Transl. II. Ser. 39, 111–132 (1964)
Goebel, K., Kirk, W.: Topics in Metric Fixed Point Theory. Cambridge University Press, Cambridge (1991)
Halmos, P.R.: Measure Theory. D. Van Nostrand Company Inc, New York (1950)
He, X., Cui, Y., Hudzik, H.: The fixed point property of Orlicz sequence spaces equipped with the p-Amemiya norm. Fixed Point Theory Appl. 2013, 340 (2013)
He, X., Yu, J., Cui, Y., Huo, X.: Packing constant in Orlicz sequence spaces equipped with the p-Amemiya norm. Abstr. Appl. Anal. (2014). Art. ID 626491
Hudzik, H., Maligranda, L.: Amemiya norm equals Orlicz norm in general. Indag. Math. 11(4), 573–585 (2000)
Kaczmarek R.: Uniform rotundity of Orlicz function spaces equipped with the \(p\)-Amemiya norm. Mathematische Nachrichten. 1–19 (2018). https://doi.org/10.1002/mana.201700025
Kamińska, A.: On some convexity properties of Musielak–Orlicz spaces. In: Proceedings of the 12th Winter School on Abstract Analysis (Srní, 1984). Rend. Circ. Mat. Palermo (2) 1984, Suppl. No. 5, pp. 63–72 (1984)
Kamińska, A.: Some convexity properties of Musielak–Orlicz spaces of Bochner type. In: Proceedings of the 13th Winter School on Abstract Analysis (Srní, 1985). Rend. Circ. Mat. Palermo (2) Suppl. No. 10 (1985), pp. 63–73 (1986)
Kamińska, A.: Uniform rotundity in every direction of sequence Orlicz spaces. Bull. Pol. Acad. Sci. Math. 32(9–10), 589–594 (1984)
Krasnoselskiĭ, M.A., Ya, B.: Rutickiĭ, Convex Functions and Orlicz Spaces, Groningen, Nordhoff, 1961 (English translation); Original Russian edition: Gos. Izd. Fiz. Mat. Lit., Moskva (1958)
Kirk, W.A., Sims, B. (eds.): Handbook of Metric Fixed Point Theory. Kluwer Academic, Dordrecht (2001)
Kolwicz, P., Płuciennik, R.: On uniform rotundity in every direction in Calderón–Lozanovskiĭ sequence spaces. J. Convex Anal. 14(3), 621–645 (2007)
Li, J., Cui, Y., Hudzik, H., Wisła, M.: Strongly extreme points in Orlicz spaces equipped with the \(p\)-Amemiya norm. Nonlinear Anal. 71(12), 6343–6364 (2009)
Luxemburg, W.A.J.: Banach Function Spaces. Thesis Delft (1955)
Maligranda, L.: Orlicz Spaces and Interpolation, (Seminárias de Mathemática: vol. 5), Campinas (Brazil) Univ. Estadual de Campinas (1989)
Musielak, J.: Orlicz spaces and modular spaces. In: Lecture Notes Math, vol. 1034. Springer, Berlin (1983)
Orlicz, W.: A note on modular spaces. Bull. Acad. Polon. Sci. Math. 9, 157–162 (1961)
Orlicz, W.: Über eine gewisse Klasse von Räumen vom Typus B. Bull. Int. Pol. Ser. A 8(9), 207–220 (1932)
Rao, M.M., Ren, Z.D.: Theory of Orlicz Spaces. Marcel Dekker Inc., New York (1991)
Reisner, S.: On two theorems of Lozanovskiĭ concerning intermediate Banach lattices, in: geometric aspects of functional analysis (Israel GAFA Seminar, 1986/87). In: Lecture Notes in Mathematics, vol. 1317, pp. 67–83. Springer, Berlin (1988)
Shi, S.J., Chen, S.T.: Uniform rotundity in every direction of Musielak–Orlicz spaces \(L_p(x)(\varOmega )\) (Chinese). Nat. Sci. J. Harbin Normal Univ. 22(5), 1–3 (2006)
Smith, M.A., Turett, B.: Rotundity in Lebesgue–Bochner function spaces. Trans. Am. Math. Soc. 251(1), 105–118 (1980)
Wang, T.F., Shi, Z.R., Chen, G.H.: Orlicz sequence spaces endowed with Orlicz norm that are uniformly rotund in every direction. Acta Sci. Math. (Szeged) 59(1–2), 195–208 (1994)
Wang, T.F., Shi, Z.R., Cui, Y.: Orlicz spaces that are uniformly rotund in every direction. Comment. Math. (Prace Mat.) 35, 245–262 (1995)
Wisła, M.: Geometric properties of Orlicz spaces equipped with p-Amemiya norms-results and open questions. Comment. Math. 55(2), 183–209 (2015)
Zizler, V.: On some rotundity and smoothness properties of Banach spaces. Dissertationes Math. Rozprawy Mat., vol. 87 (1971). (errata insert)
Author information
Authors and Affiliations
Corresponding author
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
Kaczmarek, R. Uniform rotundity in every direction of Orlicz function spaces equipped with the p-Amemiya norm. Collect. Math. 70, 71–86 (2019). https://doi.org/10.1007/s13348-018-0220-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13348-018-0220-3