Abstract
Strict monotonicity, lower local uniform monotonicity, upper local uniform monotonicity and their orthogonal counterparts are considered in the case of Musielak–Orlicz function spaces \(L^\Phi (\mu )\) endowed with the Mazur–Orlicz F-norm as well as in the case of their subspaces \(E^\Phi (\mu )\) with the F-norm induced from \(L^\Phi (\mu )\). The presented results generalize some of the results from Cui et al. (Aequ Math 93:311–343, 2019) and Hudzik et al. (J Nonlinear Convex Anal 17(10):1985–2011, 2016), obtained only for Orlicz spaces as well as their subspaces of order continuous elements equipped with the Mazur–Orlicz F-norm.
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.
Given any real vector space X, the functional \(X\ni x\rightarrow \Vert x\Vert \in \mathbb {R}_{+}:=[0,\infty )\), is called an F-norm if the following conditions are satisfied:
-
(i)
\(\Vert x\Vert =0\) if and only if \(x=0\),
-
(ii)
\(\Vert -x\Vert =\Vert x\Vert \) for all \(x\in X\),
-
(iii)
\(\Vert x+y\Vert \le \Vert x\Vert +\Vert y\Vert \) for all \(x,y\in X\),
-
(iv)
\(\Vert \lambda _{n}x_{n}-\lambda x\Vert \rightarrow 0\) whenever \(\Vert x_{n}-x\Vert \rightarrow 0\) and \(\lambda _{n}\rightarrow \lambda \) for any \(x\in X\), \((x_{n})_{n=1}^{\infty }\) in X, \(\lambda \in \mathbb {R}\) and \((\lambda _{n})_{n=1}^{\infty }\) in \(\mathbb {R}\).
An F-normed space \(X=(X,\Vert \cdot \Vert )\) is said to be an F-space if it is complete with respect to the F-norm topology. If a lattice X is endowed with a monotone F-norm \(\Vert .\Vert \) (i.e., the condition \(|y| \le |x|\) implies \(\Vert y\Vert \le \Vert x\Vert \) for \(x, y \in X\)), under which X is topologically complete, then \(X = (X, \Vert .\Vert )\) is said to be an F-lattice.
The notation S(X) (resp. B(X)) stands for the unit sphere (resp. the closed unit ball) of a real F-normed space \((X,\left\| \cdot \right\| )\).
In the whole paper, we will assume that \((\Omega ,\Sigma ,\mu )\) is a complete \(\sigma \)-finite and non-atomic measure space. Let us denote by \(L^{0}(\mu )=L^{0}(\Omega ,\Sigma ,\mu )\) the space of all (equivalence classes of) real-valued and \(\Sigma -\)measurable functions on \(\Omega \).
Definition 1.1
An F-space \((E,\Vert \cdot \Vert _{E})\) is called an F-normed Köthe space if it is a linear subspace of \(L^{0}\) satisfying the following condition:
Denote by \(E_{+}\) the positive cone of E, that is, \(E_{+}=\{x\in E:x\ge 0\}\).
Let us recall now the definitions of the necessary monotonicity properties.
Definition 1.2
An F-normed Köthe space \((E,\Vert .\Vert _{E})\) is said to be strictly monotone \((E\in (SM)\) for short) if for any \(x,y\in E\) such that \(0\le y\le x\), we have \(\Vert y\Vert _{E}<\Vert x\Vert _{E}\) whenever \(y\ne x\) ( or equivalently \(\Vert x-y\Vert _{E}<\Vert x\Vert _{E}\) whenever \(0\le y\le x\) and \(y\ne 0) \) (see [1]).
Definition 1.3
An F-normed Köthe space E is said to be orthogonally strictly monotone \((E\in (OSM)\) for short) if for any \(x\in E_{+}\backslash \{0\}\) and any \(A\in \Sigma \cap {\text {supp}}x\) with \(\mu (A)>0\), we have \(\Vert x\chi _{\Omega \backslash A}\Vert _{E}<\Vert x\Vert _{E}\).
Definition 1.4
An F-normed Köthe space \((E,\Vert .\Vert _{E})\) is said to be lower locally uniformly monotone \((E\in (LLUM)\) for short) if for any \(x\in E\) and \((x_{n})_{n=1}^{\infty }\) in E such that \(0\le x_{n}\le x\) for all \(n\in \mathbb {N}\) and \(\Vert x_{n}\Vert _{E}\rightarrow \Vert x\Vert _{E}\) as \(n\rightarrow \infty \), the condition \(\Vert x-x_{n}\Vert _{E}\rightarrow 0\) as \(n\rightarrow \infty \) holds.
Definition 1.5
An F-normed Köthe space \((E,\Vert .\Vert _{E})\) is said to be orthogonally lower locally uniformly monotone \((E\in (OLLUM)\) for short) if for any \(x\in E_{+}\backslash \{0\}\) and any \((A_{n})_{n=1}^{\infty }\) in \(\Sigma \) the following implication is satisfied:
Definition 1.6
An F-normed Köthe space \((E,\Vert .\Vert _{E})\) is said to be upper locally uniformly monotone \((E\in (ULUM)\) for short) if for any \(x\in E_{+} \) and \((x_{n})_{n=1}^{\infty }\) in \(E_{+}\) such that \(x\le x_{n}\) for all \(n\in \mathbb {N}\) and \(\Vert x_{n}\Vert _{E}\rightarrow \Vert x\Vert _{E}\) as \(n\rightarrow \infty \), the condition \(\Vert x_{n}-x\Vert _{E}\rightarrow 0\) as \(n\rightarrow \infty \) holds.
Definition 1.7
An F-normed Köthe space \((E,\Vert .\Vert _{E})\) is said to be orthogonally upper locally uniformly monotone \((E\in (OULUM)\) for short) if for any \(x\in E_{+}\backslash \{0\}\) such that \(\mu ({\text {supp}}E\backslash {\text {supp}}x)>0\) and any \(x_{n}\in E_{+}\) with \({\text {supp}}x_{n}\subset {\text {supp}}E\backslash {\text {supp}}x\), if \(\Vert x+x_{n}\Vert _{E}\rightarrow \Vert x\Vert _{E}\) then \(\Vert x_{n}\Vert _{E}\rightarrow 0\) as \(n\rightarrow \infty \).
A function \(\Phi :\Omega \times [0,\infty )\rightarrow [0,\infty ]\) is said to be a monotone Musielak–Orlicz function if \(\Phi (t,0)=0\), \(\Phi (t,.)\) is non-decreasing and continuous on \([0,b_\Phi (t))\) for \(\mu -\)a.e. \(t\in \Omega \), where
left continuous at \(b_\Phi (t)\), i.e. \(\lim _{u\rightarrow b_\Phi (t)_{-}} \Phi (t,u)=\Phi (t,b_\Phi (t))\in (0,\infty ]\) for \(\mu -\)a.e. \(t\in \Omega \), \(\lim \nolimits _{u\rightarrow \infty } \Phi (t,u)>0\) for \(\mu -\)a.e. \(t\in \Omega \) and \(\Phi (t,u)\) is \(\Sigma \)-measurable for all \(u\in \mathbb {R}_+\).
Let us also define
and denote:
The functions \(a_\Phi (.)\) and \(b_\Phi (.)\) are \(\Sigma \)-measurable. The proof of this fact goes in the same way as the proof of Proposition 5.1 from [2], p. 175 (see also the earlier proof in [4]), where only the fact that for \(\mu -\)a.e. \(t\in \Omega \), the function \(\Phi (t,u)\) is continuous on \([0,\infty )\) with respect to u was important (it is known that the convexity of such function implies its continuity on the interval, where its values are finite except for the right hand side point of the interval).
We say that a monotone Musielak–Orlicz function \(\Phi \) satisfies the \(\Delta _2\)-condition (resp. the \(\Delta _2(\Omega _{oc})\)-condition) if there exist a set \(\Omega _1\in \Sigma \) with \(\mu (\Omega _1)=0\), a constant \(K>0\) and a function \(0\le h\in L^1(\Omega ,\Sigma ,\mu )\) (resp. a function \(0\le h\in L^1(\Omega _{oc},\Sigma ,\mu )\)) such that \(\Phi (t,2u)\le K\Phi (t,u)+h(t)\) for all \(t\in \Omega \backslash \Omega _1\) (resp. for all \(t\in \Omega _{oc}\backslash \Omega _1\)) and any \(u\ge 0\). We will write then shortly that \(\Phi \in \Delta _2\) (resp. \(\Phi \in \Delta _2(\Omega _{oc})\)). It is easy to see that the following two conditions are equivalent:
-
1.
\(\Phi \in \Delta _2\),
-
2.
there exist a set \(\Omega _1\in \Sigma \) with \(\mu (\Omega _1)=0\), a constant \(K\ge 1\) and a measurable function \(\delta \ge 0\) with \(\Phi (t,\delta (t))\in L^1(\Omega ,\Sigma ,\mu )\) such that \(\Phi (t,2u)\le K\Phi (t,u)\) for all \(t\in \Omega \backslash \Omega _1\) and any \(u\ge \delta (t)\).
Note that if \(\Phi \in \Delta _2\), then \(\Phi (t,.)\) has finite values only for \(\mu -\)a.e. \(t\in \Omega \) (the proof is the same as the proof of Proposition 5.3 in [2]).
For any monotone Musielak–Orlicz function \(\Phi \), let us determine the functional \(I_\Phi :L^0(\mu )\rightarrow [0,\infty ]\) defined by the formula \(I_\Phi (x)=\int _\Omega \Phi (t,|x(t)|)d\mu (t)\). The space
is said to be a Musielak–Orlicz space (see [9,10,11]). We will also consider the subspace \(E^\Phi (\mu )\) of \(L^\Phi (\mu )\):
These spaces are complete with respect to the following Mazur–Orlicz F-norm (see [9,10,11]):
These spaces are F-lattices when considered with the natural partial order.
In the whole paper we will write shortly \(L^\Phi (\mu )\) and \(E^\Phi (\mu )\) instead of \((L^\Phi (\mu ),\Vert .\Vert _\Phi )\) and \((E^\Phi (\mu ),\Vert .\Vert _\Phi )\), respectively, assuming that these function spaces are generated by a monotone Musielak–Orlicz function \(\Phi \).
Let us present now some useful results. The proof of Lemma 1.8 will be omitted because it is the same as the proof of implications \((i)\Rightarrow (ii)\Rightarrow (iii)\) of Theorem 5.5 from [2], where, in fact, the continuity of the function \(\Phi (t,.)\) for \(\mu -\)a.e. \(t\in \Omega \) was important.
Lemma 1.8
(cf. [2], Theorem 5.5). If \(\Phi \notin \Delta _2\), then \(D_\Phi =\{t\in \Omega : b_\Phi (t)<\infty \}\) is a nonnull set or for any
there exist \(\mu -\)measurable functions \(\{x_n(t)\}_{n=1}^\infty \) and mutually disjoint \(\{F_n\}_{n=1}^\infty \) in \(\Sigma \) such that \(x_n(t)<\infty \) on \(F_n\) and
where \(\{k_n\}\) is a subsequence of \(\mathbb {N}\).
Theorem 1.9
(cf. [10], Theorem 8.13 (a)). If \(\mu \) is \(\sigma -\)finite and atomless and \(\Phi \) is a monotone Musielak–Orlicz function such that \(a_\Phi (t)=0\) and \(b_\Phi (t)=\infty \) for \(\mu -\)a.e. \(t\in \Omega \), then \(E^\Phi (\mu )=L^\Phi (\mu )\) if and only if \(\Phi \in \Delta _2\).
Remark 1.10
Theorem 1.9 also holds true without the assumption that a generating monotone Musielak–Orlicz function \(\Phi \) is such that \(a_\Phi (t)=0\) for \(\mu -\)a.e. \(t\in \Omega \).
Lemma 1.11
(see [8], Lemma 1.7.3). Let \(\{\alpha _i\}_{i=1}^\infty \) be a sequence of positive numbers and \(\{a_i(.)\}_{i=1}^\infty \) be a sequence of finite, non-negative functions such that \(\int _\Omega a_i(t)d\mu (t)\ge 2^i \alpha _i\), \(i=1,2,\ldots \;\). If \(\mu \) is non-atomic, then there exists a subsequence \(\{i_k\}_{k=1}^\infty \) of integers and a collection \(\{A_k\}_{k=1}^\infty \) of disjoint subsets of \(\Omega \) such that
Remark 1.12
The collection \(\{A_k\}_{k=1}^\infty \) of disjoint sets from Lemma 1.11 can be found in such a way that \(\mu (\Omega \backslash \underset{k=1}{\overset{\infty }{\bigcup }}A_k)>0\) (see the proof of Lemma 1.7.3 in [8]).
The results presented in the paper generalize some of the results from papers [3, 5], obtained there for Orlicz spaces and their subspaces of order continuous elements endowed with the Mazur–Orlicz F-norm. However, the proofs of the results presented in this paper require deeper techniques then the ones which concern only Orlicz spaces. The application of some methods or ideas of proofs from papers [2,3,4,5,6, 8] was useful.
It seems to be interesting to note that the case of Orlicz spaces equipped with the Mazur–Orlicz F-norm already shows that, for instance, the characterization of strict monotonicity and orthogonal strict monotonicity differ (see [3, 5]), which was not possible in the norm case.
2 Results
Let us start with presenting a generalization of Lemma 6.1 from [5].
Lemma 2.1
For every monotone Musielak–Orlicz function \(\Phi \), any \(x\in L^\Phi (\mu ){\backslash }\{0\}\) and any Mazur–Orlicz F-norm \(\Vert .\Vert _\Phi \), we have:
-
(1)
\(I_\Phi \left( \frac{x}{\Vert x\Vert _\Phi }\right) \le \Vert x\Vert _\Phi \).
-
(2)
If \(I_\Phi \left( \lambda \frac{x}{\Vert x\Vert _\Phi }\right) <\infty \) for some \(\lambda >1\), then \(I_\Phi \left( \frac{x}{\Vert x\Vert _\Phi }\right) =\Vert x\Vert _\Phi \).
-
(3)
If \(I_\Phi \left( \frac{x}{\lambda }\right) =\lambda \) for \(\lambda >0\), then \(\Vert x\Vert _\Phi =\lambda \).
Proof
Although the proof of statements (1) and (2) goes in the same way as the proof of Lemma 6.1 from [5] and the proof of statement (3) is the same as that in [3, Lemma 2.16(iii)], we will present them just for the convenience of the reader.
The proof of statement (1). Note that function \(f(\lambda )=I_\Phi \left( \frac{x}{\lambda }\right) \) is non-increasing on \((0,\infty )\) for any \(x\in L^\Phi (\mu )\). From the definition of the Mazur–Orlicz F-norm \(\Vert .\Vert _\Phi \), we obtain that if \(x\in L^\Phi (\mu )\), then \(I_\Phi \left( \frac{x}{\Vert x\Vert _\Phi +\varepsilon }\right) \le \Vert x\Vert _\Phi +\varepsilon \) for any \(\varepsilon >0\). Let us take a sequence \((\varepsilon _n)_{n=1}^\infty \) of positive numbers such that \(\varepsilon _n\searrow 0\) as \(n\rightarrow \infty \). Then
for any \(n\in \mathbb {N}\), whence by the Beppo Levi theorem, we get that \(I_\Phi \left( \frac{x}{\Vert x\Vert _\Phi }\right) \le \Vert x\Vert _\Phi \) for any \(x\in L^\Phi (\mu )\backslash \{0\}\).
The proof of statement (2). Assume that \(I_\Phi \left( \lambda \frac{x}{\Vert x\Vert _\Phi }\right) <\infty \) for some \(\lambda >1\) and for any \(x\in L^\Phi (\mu )\). For any sequence \((\varepsilon _n)_{n=1}^\infty \) in \((0,\Vert x\Vert _\Phi )\) such that \(\varepsilon _n\searrow 0\) as \(n\rightarrow \infty \) and \(\varepsilon _1\in (0,\Vert x\Vert _\Phi )\) satisfying inequality the \(\frac{1}{\Vert x\Vert _\Phi -\varepsilon _1}\le \frac{\lambda }{\Vert x\Vert _\Phi }\), the condition
holds for any \(n\in \mathbb {N}\). Since \(\Phi \left( t,\frac{|x(t)|}{\Vert x\Vert _\Phi -\varepsilon _n}\right) \le \Phi \left( t,\frac{|x(t)|}{\Vert x\Vert _\Phi -\varepsilon _1}\right) \in L^1(\mu )\) for \(\mu \)-a.e. \(t\in \Omega \) and \(\Phi \left( t,\frac{|x(t)|}{\Vert x\Vert _\Phi -\varepsilon _n}\right) \searrow \Phi \left( t,\frac{|x(t)|}{\Vert x\Vert _\Phi }\right) \) as \(n\rightarrow \infty \) and for \(\mu -\)a.e. \(t\in \Omega \), by the Lebesgue dominated convergence theorem, we obtain
as \(n\rightarrow \infty \), which jointly with inequality (2.1) gives \(I_\Phi \left( \frac{x}{\Vert x\Vert _\Phi }\right) \ge \Vert x\Vert _\Phi \). By virtue of statement (1) of Lemma 2.1, we conclude that \(I_\Phi \left( \frac{x}{\Vert x\Vert _\Phi }\right) =\Vert x\Vert _\Phi \) for any \(x\in L^\Phi (\mu )\backslash \{0\}\), which ends the proof of the Lemma.
The proof of statement (3). By the definition of the F-norm \(\Vert .\Vert _\Phi \), we have that \(\Vert x\Vert _\Phi \le \lambda \). Assuming that \(\Vert x\Vert _\Phi <\lambda \), by statement (1) of this lemma, we get
a contradiction. \(\square \)
Corollary 2.2
In the space \(L^\Phi (\mu )\) the following relationships between the modular \(I_\Phi \) and the F-norm \(\Vert .\Vert _\Phi \) hold:
-
(1)
\(I_\Phi (x)\le \Vert x\Vert _\Phi \) whenever \(x\in B(L^\Phi (\mu ))\).
-
(2)
If \(x\in S(L^\Phi (\mu ))\) and \(I_\Phi (\lambda x)<\infty \) for some \(\lambda >1\), then \(I_\Phi (x)=1\).
-
(3)
The equality \(I_\Phi \left( \frac{x}{\Vert x\Vert _\Phi }\right) =\Vert x\Vert _\Phi \) holds for every \(x\in L^\Phi (\mu )\backslash \{0\}\) whenever \(\Phi \in \Delta _2\).
Proof
Statement (1) follows directly from statement (1) of Lemma 2.1 and statements (2) and (3) come from statement (2) of Lemma 2.1 because the assumption that \(\Phi \in \Delta _2\) gives that \(I_\Phi (\lambda x)<\infty \) for any \(\lambda >0\). \(\square \)
Remark 2.3
Note that the \(\Delta _2\)-condition for \(\Phi \) implies that \(b_\Phi (t)=\infty \) for \(\mu -\)a.e. \(t\in \Omega \), so in statement (3) of Corollary 2.2, the assumption that \(b_\Phi (t)=\infty \) for \(\mu -\)a.e. \(t\in \Omega \) is satisfied automatically.
Theorem 2.4
If \(a_\Phi (t)>0\) for t from a measurable set of positive measure, then the space \(L^\Phi (\mu )\) is not orthogonally strictly monotone.
Proof
Assume that \(a_\Phi (t)>0\) for \(t\in A\subset \Omega \) with \(\mu (A)>0\). Passing to a subset, if necessary, and denoting it again by A, we can assume that \(\mu (A)<\infty \) and \(\mu (\Omega \backslash A)>0\). We will consider two cases separately.
Case 1. Let \(b_\Phi (t)=\infty \) for \(\mu -\)a.e. \(t\in \Omega \). Then, there exists a measurable set \(B\subset \Omega \backslash A\) such that \(0<\int _B \Phi (t,a_\Phi (t)+1)d\mu =b<\infty \). Define
Then \(I_\Phi (y)=I_\Phi (x)=b\), so \(y,x\in L^\Phi (\mu )\). Writing the last equalities equivalently, we get that \(I_\Phi (\frac{by}{b})=I_\Phi (\frac{bx}{b})=b\), which by statement (3), Lemma 2.1, yields that \(\Vert b y\Vert _\Phi =\Vert b x\Vert _\Phi =b\). But \(0\le b y\le b x\) and \(b y\ne b x\), so \(L^\Phi (\mu )\) is not orthogonally strictly monotone.
Case 2. Let \(b_\Phi (t)<\infty \) on a measurable set A of positive and finite measure. We will consider two subcases.
Subcase 1. Assume \(a_\Phi (t)=b_\Phi (t)\) for \(\mu -\)a.e. \(t\in A\). Then, taking a set \(B\subset A\) such that \(0<\mu (B)<\mu (A)<\infty \) and defining
we get that \(0\le y\le x\), \(y\ne x\) and \(I_\Phi (y)=I_\Phi (x)=0\). Moreover, \(I_\Phi (\frac{x}{\lambda })=I_\Phi (\frac{y}{\lambda })=\infty \) for any \(\lambda \in (0,1)\). Therefore, \(\Vert x\Vert _\Phi =\Vert y\Vert _\Phi =1\), so \(L^\Phi (\mu )\) is not orthogonally strictly monotone.
Subcase 2. Assume \(a_\Phi (t)<b_\Phi (t)\) on a measurable set B of positive measure such that \(B\subset A\). Define the sets
Then \(B_n\subseteq B_{n+1}\) and \(\underset{n=1}{\overset{\infty }{\bigcup }}B_n=B\) whence there exists \(m\in \mathbb {N}\) such that \(\mu (B_m)>0\). Denote \(\int _{B_m} \Phi (a_\Phi (t)+\frac{1}{m})d\mu =\widetilde{c}\le \infty \). Then, there exists \(C_m\subset B_m\) of positive measure such that \(\int _{C_m} \Phi (a_\Phi (t)+\frac{1}{m})d\mu =:c<\infty \). Let us define
Then \(I_\Phi (y)=I_\Phi (x)=c\), so \(x,y\in L^\Phi (\mu )\). Writing the last equalities equivalently in the form \(I_\Phi (\frac{cy}{c})=I_\Phi (\frac{cx}{c})=c\), by statement (3) of Lemma 2.1, we get that \(\Vert cy\Vert _\Phi =\Vert cx\Vert _\Phi =c\). However, \(0\le cy\le cx\) and \(cy\ne cx\), so again \(L^\Phi (\mu )\) is not orthogonally strictly monotone. \(\square \)
Remark 2.5
If we assume additionally in Theorem 2.4 that \(b_\Phi (t)=\infty \) for \(\mu -\)a.e. \(t\in \Omega \), then we can present the following simpler proof of this theorem.
If \(a_\Phi (t)>0\) for t belonging to a measurable set B of positive measure, then we can find (coming to a subset A of the set B, if necessary) \(a,b\in \mathbb {R}_+\) such that \(0< a<b\le a_\Phi (t)\) and \(\Phi (t,a)=\Phi (t,b)\) for all \(t\in A\subset B\). Indeed, let us define sets \(B_n:=\left\{ t\in B:\frac{1}{n}<a_\Phi (t) \right\} \). Then \(\underset{n=1}{\overset{\infty }{\cup }} B_n=B\), so there exists \(l\in \mathbb {N}\) such that \(\mu (B_l)>0\). Therefore, \(0<\frac{1}{l+1}<\frac{1}{l}<a_\Phi (t)\) for all \(t\in B_l\). Setting \(a=\frac{1}{l+1}\), \(b=\frac{1}{l}\) and \(A=B_l\), we have shown our thesis.
Next, there exists an increasing sequence \((A_n)_{n=1}^\infty \) of measureable sets such that \(\mu (A_n)<\infty \), \(\mu \left( \Omega \backslash \underset{n=1}{\overset{\infty }{\cup }} A_n\right) =0\) and \(\sup \limits _{t\in {A_n}}\Phi (t,u)<\infty \) for all \(u\in \mathbb {R}_+\) and \(n\in \mathbb {N}\) (see [6]), which gives that \(\chi _{A_n}\in E^\Phi (\mu )\) for all \(n\in \mathbb {N}\). There exists \(m\in \mathbb {N}\) such that \(\mu (A\cap A_m)>0\), whence \(\Phi (t,\lambda )\chi _{A\cap A_{m}}\in L^1(\mu )\) for any \(\lambda >0\).
Let \(F\subset A\cap A_m\) be a set of positive (and finite) measure. Divide this set into two disjoint measurable subsets C and D of positive measures such that \(C\cup D=F\). Let us define
Denote \(w=I_\Phi ([a+a_\Phi (t)]\chi _C)\). Then \(0\le y\le x\), \(y\ne x\) and
so \(y,x\in L^\Phi (\mu )\). Writing equations (2.2) equivalently, we obtain \(I_\Phi \left( \frac{w y}{w}\right) =I_\Phi \left( \frac{w x}{w}\right) =w,\) which by statement (3) of Lemma 2.1, yields that \(\Vert w y\Vert _\Phi =\Vert w x\Vert _\Phi =w\). But \(0\le w y\le w x\) and \(w y\ne w x\), so \(L^\Phi (\mu )\) is not orthogonally strictly monotone.
Theorem 2.6
If \(b_\Phi (t)<\infty \) for t from a measurable set of positive measure, then the space \(L^\Phi (\mu )\) is not orthogonally strictly monotone.
Proof
Assume that \(b_\Phi (t)<\infty \) on a set of positive measure. Although the proof goes similarly to the proof of Theorem 1.4 from [4], we will present it just for the convenience of the reader. Denote
and let \((u_i)_{i=1}^\infty \) denote the sequence of positive rational numbers. Then
We also know that \(b_\Phi (.)\) is a \(\Sigma -\)measurable function. Since \(b_\Phi (t)<\infty \) for t from a set of positive measure, \(\mu (A_0)>0\). Let \(A\subset A_0\) be a measurable subset of the set \(A_0\) such that \(\mu (A)\in (0,\infty )\) and let \(u(t)=b_\Phi (t)\chi _A(t)\). Let \(\{A_k\}_{k=1}^\infty \) be a sequence of pairwise disjoint and measurable subsets of A of positive measure and let \(\{\alpha _k\}_{k=1}^\infty \) be a sequence of real numbers such that \(0<\alpha _k<1\) for any \(k\in \mathbb {N}\) and \(\alpha _k \uparrow 1\) as \(k\rightarrow \infty \). Define
Then \(A_k^n\subset A_k^m\) for \(n\le m\). Thus \(0<\lim \limits _{n\rightarrow \infty }\mu (A_k^n)=\mu (A_k)<\infty \) for all \(k\in \mathbb {N}\). Hence, for every \(k\in \mathbb {N}\) we can find an integer n(k) such that \(\mu (A_k^{n(k)})>0\). Further, for every \(k\in \mathbb {N}\) there exists a set \(B_k\in \Sigma \), \(B_k\subset A_k^{n(k)}\) such that \(\mu (B_k)>0\) and \(\int _{B_k} \Phi (t,\alpha _k u(t))d\mu \le 2^{-k}\). Set \(x_k(t)=\alpha _k u(t)\chi _{B_k}(t)\) and define
Then \(0\le y\le x\), \(y\ne x\) and
whence \(\Vert y\Vert _\Phi \le \Vert x\Vert _\Phi \le 1\), so \(x,y \in L^\Phi (\mu )\). Moreover, for any \(\lambda \in (0,1)\) we can find \(k_0\in \mathbb {N}\), \(k_0\ge 2\) such that \(\lambda <\alpha _k\) for any \(k\ge k_0\). Hence,
so \(\Vert y\Vert _\Phi \ge \lambda \). By the arbitrariness of \(\lambda \in (0,1)\), we obtain that \(\Vert y\Vert _\Phi \ge 1\). Hence and by the fact that \(\Vert x\Vert _\Phi \le 1\), we conclude that \(\Vert x\Vert _\Phi =\Vert y\Vert _\Phi =1\), so \(L^\Phi (\mu )\) is not strictly monotone. \(\square \)
Remark 2.7
Another, simpler proof of Theorem 2.6 is possible and it looks as follow.
Assume that the set \(A=\{t\in \Omega : b_\Phi (t)<\infty \}\) has a positive measure. Let \(\{A_n\}_{n=1}^\infty \) be a sequence of pairwise disjoint sets in \(\Sigma \cap A\). Let us choose for any \(n\in \mathbb {N}\) a measurable subset \(B_n\) of \(A_n\) such that \(\mu (B_n)>0\) and \(I_\Phi \left( \left( 1-\frac{1}{n+1}\right) b_\Phi \chi _{B_n}\right) \le 2^{-n}\). Define
Then \(0\le y\le x\), \(y\ne x\) and \(I_\Phi (y)\le I_\Phi (x)\le \underset{n=1}{\overset{\infty }{\sum }}2^{-n}=1\), whence \(\Vert y\Vert _\Phi \le \Vert x\Vert _\Phi \le 1\). Taking any \(\lambda \in (0,1)\) one can find \(n_\lambda \in \mathbb {N}\) such that \(\frac{1-\frac{1}{n+1}}{\lambda }>1\) for any \(n\ge n_\lambda \), whence \(I_\Phi \left( \frac{x}{\lambda }\right) \ge I_\Phi \left( \frac{y}{\lambda }\right) \ge \underset{n=n_\lambda }{\overset{\infty }{\sum }} I_\Phi \left( \frac{1-\frac{1}{n+1}}{\lambda }b_\Phi \chi _{B_n}\right) =\infty \). Consequently, \(\Vert x\Vert _\Phi \ge \Vert y\Vert _\Phi \ge \lambda \). By the arbitrariness of \(\lambda \in (0,1)\), we get that \(\Vert y\Vert _\Phi \ge 1\), whence \(\Vert y\Vert _\Phi =\Vert x\Vert _\Phi =1\), so \(L^\Phi (\mu )\) is not orthogonally strictly monotone.\(\square \)
Theorem 2.8
The space \(L^\Phi (\mu )\) is strictly monotone if and only if \(\Phi (t,.)\) is strictly increasing for \(\mu -\)a.e. \(t\in \Omega \) and \(\Phi \in \Delta _2\).
Proof
Sufficiency. Assume that \(\Phi (t,.)\) is increasing for \(\mu -\)a.e. \(t\in \Omega \) and \(\Phi \in \Delta _2\). Then, taking any \(0\le y\le x\in L^\Phi (\mu )\), \(y\ne x\) and assuming that \(\Vert x\Vert _\Phi =\Vert y\Vert _\Phi \), by statement (2) of Lemma 2.1, we obtain
a contradiction. Hence \(\Vert y\Vert _\Phi <\Vert x\Vert _\Phi \), so \(L^\Phi (\mu )\) is strictly monotone.
Necessity. By virtue of Theorem 2.6 we can assume that \(b_\Phi (t)=\infty \) for \(\mu -\)a.e. \(t\in \Omega \) because otherwise \(L^\Phi (\mu )\) is not even orthogonally strictly monotone. Under this assumption, first we will show that if \(\Phi \notin \Delta _2\), then \(L^\Phi (\mu )\) is not strictly monotone. In order to do so, assume that \(b_\Phi (t)=\infty \) for \(\mu -\)a.e. \(t\in \Omega \) but \(\Phi \notin \Delta _2\). Applying Lemma 1.8 with \(b_{n}=1+\frac{1}{n}\), \(p_{n}=2^n\) and \(q_n=\frac{1}{2^n}\), where \(n\in \mathbb {N}\), we can find a sequence \(\{\widetilde{x}_n(t)\}_{n=1}^\infty \) of \(\Sigma -\)measurable functions and mutually disjoint sets \(\{F_n\}_{n=1}^\infty \) in \(\Sigma \) such that \(\widetilde{x}_n(t)<\infty \) on the set \(F_n\) and we have
where \(\{k_n\}\) is a strictly increasing subsequence of \(\mathbb {N}\). Let us define
Then \(0\le y\le x\), \(y\ne x\) and \(I_\Phi (x)=\underset{n=1}{\overset{\infty }{\sum }}\Phi (t,\widetilde{x}_n(t))\mu (F_n)=\underset{n=1}{\overset{\infty }{\sum }}\frac{1}{2^n}=1\), whence \(y,x\in L^\Phi (\mu )\) and, by statement (3) of Lemma 2.1, we get that \(\Vert x\Vert _\Phi = 1\). Moreover, \(I_\Phi (y)<1\) and for any \(\lambda \in (0,1)\) there exists \(m\in \mathbb {N}\), \(m\ge 2\) such that \(\frac{1}{\lambda }>1+\frac{1}{k_n}\) for any \(n\ge m\), whence
which gives that \(\Vert y\Vert _\Phi \ge \lambda \) and, consequently, \(\Vert y\Vert _\Phi \ge 1\) by the arbitrariness of \(\lambda \in (0,1)\). Therefore \(\Vert y\Vert _\Phi =\Vert x\Vert _\Phi =1\), which means that \(L^\Phi (\mu )\) is not strictly monotone.
Now, we will show the necessity of the assumption that \(\Phi (t,.)\) is strictly increasing on \(\mathbb {R}_+\) for \(\mu -\)a.e. \(t\in \Omega \). Assume that \(b_\Phi (t)=\infty \) for \(\mu -\)a.e. \(t\in \Omega \) and that \(\mu (\Omega _{nsi})>0\), where \(\Omega _{nsi}=\{t\in \Omega :\Phi (t,.)\text { is not strictly increasing on }\mathbb {R}_+\}\). Then, passing to a subset if necessary, there exist a set A of positive and finite measure and \(a,b\in \mathbb {R}_+\) such that \(0<a<b<\infty \) and \(\Phi (t,a)=\Phi (t,b)\) for all \(t\in A\). Indeed, since the set of positive rational numbers \(\mathbb {Q}_+\) is countable, we can write \(\mathbb {Q}_+=\{r_n\}_{n=1}^\infty \), where \(r_n\ne r_m\) for any \(m,n\in \mathbb {N}\) such that \(m\ne n\). For \(r_m,r_n\in \mathbb {Q}_+\) such that \(r_m<r_n\), let us define the sets
Since \(\underset{\underset{m\ne n}{m,n=1}}{\overset{\infty }{\bigcup }}A_{m,n}= \Omega _{nsi}\), there exist \(m_0,n_0\in \mathbb {N}\) such that \(m_0\ne n_0\), \(\mu (A_{m_0,n_0}\cap \Omega _{nsi})>0\) and we have that \(\Phi (t,r_{m_0})=\Phi (t,r_{n_0})\) for any \(t\in A_{m_0,n_0}\), so it is enough to set \(a=r_{m_0}\), \(b=r_{n_0}\) and \(A=A_{m_0,n_0}\).
Next, there exists an increasing sequence \((A_n)_{n=1}^\infty \) of sets such that \(\mu (A_n)<\infty \), \(\mu \left( \Omega \backslash \underset{n=1}{\overset{\infty }{\cup }} A_n\right) =0\) and \(\sup \limits _{t\in {A_n}}\Phi (t,u)<\infty \) for all \(u\in \mathbb {R}_+\) and \(n\in \mathbb {N}\) (see [6]), which gives that \(\chi _{A_n}\in E^\Phi (\mu )\) for all \(n\in \mathbb {N}\). Then, there exists \(m\in \mathbb {N}\) such that \(\mu (A\cap A_m)>0\), whence \(\Phi (t,\lambda )\chi _{A\cap A_{m}}\in L^1(\mu )\) for any \(\lambda >0\). We will consider two cases separately.
Case 1. Let \(\Phi (t,a)>0\) for any \(t\in A\). Define \(y=a\chi _{A\cap A_m}\) and \(x=b\chi _{A\cap A_m}\) and let us denote \(d=I_\Phi (a\chi _{A\cap A_m})\). Then \(0\le y\le x\), \(y\ne x\) and \(I_\Phi (y)=\int \nolimits _{A\cap A_m}\Phi (t,a)d\mu (t)=\int \nolimits _{A\cap A_m}\Phi (t,b)d\mu (t)=I_\Phi (x)\), so \(I_\Phi (y)=I_\Phi (x)=d<\infty \), whence \(y,x\in L^\Phi (\mu )\). Writing the last equalities equivalently, we obtain that \(I_\Phi \left( \frac{dy}{d}\right) =I_\Phi \left( \frac{d x}{d}\right) =d,\) whence by statement (3) of Lemma 2.1, we get that \(\Vert d y\Vert _\Phi =\Vert d x\Vert _\Phi =d\). By virtue of the facts that \(0\le d y\le d x\) and \(d y\ne d x\), we conclude that \(L^\Phi (\mu )\) is not strictly monotone.
Case 2. Let us assume that \(\Phi (t,a)=0\) for any \(t\in A\). Then \(a_\Phi (t)>0\) for \(t\in A\). By virtue of Theorem 2.4, in this case \(L^\Phi (\mu )\) is not even orthogonally strictly monotone. \(\square \)
Let us present now a useful lemma.
Lemma 2.9
If \((\Omega ,\Sigma ,\mu )\) is a non-atomic, complete and \(\sigma -\)finite measure space and \(\Phi \) is a monotone Musielak–Orlicz function, then the space \(E^\Phi (\mu )\) is nontrivial if and only if the set \(\Omega _{oc}\) has positive measure. Moreover, in this case \({\text {supp}}E^\Phi (\mu )=\Omega _{oc}\), that is, there exists a function \(x\in E^\Phi (\mu )\) such that \(x(t)>0\) for any \(t\in \Omega _{oc}\) as well as if \(x\in L^0(\mu )\) and \(\mu [(\Omega \backslash \Omega _{oc})\cap {\text {supp}}x]>0\) then \(x\notin E^\Phi (\mu )\).
Proof
Sufficiency. Assume that \(\mu (\Omega _{oc})>0\). Then (see [6]), there exists a sequence of increasing sets \(\{A_n\}_{n=1}^\infty \) in \(\Omega _{oc}\cap \Sigma \) such that \(\chi _{A_n}\in E^\Phi (\mu )\), \(0<\mu (A_n)<\infty \) and \({\bigcup \nolimits _{n=1}^\infty } A_n=\Omega _{oc}\). This shows that \(E^\Phi (\mu )\ne \{0\}\).
Necessity. Assume that \(x\in L^0(\mu )\) and \(\mu [(\Omega \backslash \Omega _{oc})\cap {\text {supp}}x]>0\). Let us denote \(A_x=(\Omega \backslash \Omega _{oc})\cap {\text {supp}}x\). Then \(b_\Phi (t)<\infty \) for any \(t\in A_x\). Let us define
Then, \(A_{x,n}\subset A_{x,n+1}\) for any \(n\in \mathbb {N}\) and \(\underset{n=1}{\overset{\infty }{\bigcup }} A_{x,n}=A_x\). Therefore, there exists \(m\in \mathbb {N}\) such that \(\mu (A_{x,m})>0\) and \(b_\Phi (t)<\infty \) for all \(t\in A_{x,m}\). Now, let us define the set
for any \(n\in \mathbb {N}\). It is easy to see that \(B_{x,n}\subset B_{x,n+1}\) for any \(n\in \mathbb {N}\) and \(\underset{n=1}{\overset{\infty }{\bigcup }} B_{x,n}=A_{x,m}\). Consequently, there exists \(k\in \mathbb {N}\) such that \(\mu (B_{x,k})>0\). Taking \(\lambda >0\) so big that \(\frac{\lambda }{m}>2k\), we get \(I_\Phi (\lambda x)\ge I_\Phi (\lambda x \chi _{B_{x,k}})\ge I_\Phi (2k \chi _{B_{x,k}})=\infty \), by the fact that \(\Phi (t,2k)=\infty \) for any \(t\in B_{x,k}\), which means that \(x\notin E^\Phi (\mu )\). \(\square \)
Corollary 2.10
The space \(E^\Phi (\mu )\) is strictly monotone if and only if \(\mu (\Omega _{oc})=0\) or if \(\mu (\Omega _{oc})>0\), then \(\mu (\Omega _{oc}\cap \Omega _{nsi})=0\).
Proof
Sufficiency. If \(\mu (\Omega _{oc})=0\), then \(E^\Phi (\mu )=\{0\}\), whence \(E^\Phi (\mu )\) is strictly monotone. Assume that \(\mu (\Omega _{oc})>0\). Then \(\mu (\Omega _{oc}\cap \Omega _{nsi})=0\). Consequently, \(\mu (\Omega _{oc}\cap \Omega _{si})=\mu (\Omega _{oc})>0\), where \(\Omega _{si}=\{t\in \Omega :\Phi (t,.)\text { is strictly increasing on }\mathbb {R}_+\}\). By virtue of Lemma 2.9, \(E^\Phi (\mu )\ne \{0\}\) and \({\text {supp}}E^\Phi (\mu )=\Omega _{oc}\). Therefore, we can (and we will) further consider below the space \(E^\Phi (\mu )\) on the measure space \((\Omega _{oc},\Sigma |_{\Omega _{oc}},\mu |_{\Omega _{oc}})\) only. Note that \(a_\Phi (t)=0\) for all \(t\in \Omega _{oc}\) (because \(\Phi (t,.)\) is strictly increasing on \(\mathbb {R}_+\) for \(\mu -\)a.e. \(t\in \Omega _{oc}\)). Next, the proof goes in a similar way as the proof of sufficiency for Theorem 2.8.
Necessity. Assume that \(E^\Phi (\mu )\) is strictly monotone but \(\mu (\Omega _{oc})>0\) and \(\mu (\Omega _{oc}\cap \Omega _{nsi})>0\). Then \({\text {supp}}E^\Phi (\mu )=\Omega _{oc}\), so \(b_\Phi (t)=\infty \) for all \(t\in \Omega _{oc}\). Since the proof goes in a similar way as the proof of the necessity of the fact that \(\Phi (t,.)\) must be strictly increasing on \(\mathbb {R}_+\) for \(\mu -\)a.e. \(t\in \Omega \) in Theorem 2.8, it is omitted (in the case when \(a_\Phi (t)>0\) on a set of positive measure we can proceed similarly as in the proof of Remark 2.5). \(\square \)
Let us present now Lemmas 2.11 and 2.12 which will be useful in the proof of Theorem 2.13.
Lemma 2.11
Let \(\Phi (t,.)\) be a monotone Musielak–Orlicz function on \(\mathbb {R}_+\) for \(\mu -\)a.e. \(t\in \Omega \). Then, for any \(x\in E^\Phi (\mu )\) the function \(f_x(\lambda )=I_\Phi (\lambda x)\) is continuous on the interval \((0,\infty )\) and right continuous at 0.
Since the easy proof is similar to the proof of Lemma 4.1(i) from [3], it is omitted.
Lemma 2.12
For any monotone Musielak–Orlicz function \(\Phi \), any measure space \((\Omega ,\Sigma ,\mu )\) and any sequence \((x_n)_{n=1}^\infty \) in \(L^\Phi (\mu )\), modular convergence and F-normed convergence are equivalent, i.e. \(\Vert x_n\Vert _\Phi \rightarrow 0\) if and only if \(I_\Phi (\lambda x_n)\rightarrow 0\) for any \(\lambda >0\), as \(n\rightarrow \infty \).
Since an easy proof is similar to the proof of Lemma 6.4, p. 2004, from [5], it is omitted.
Theorem 2.13
The following conditions are equivalent:
-
(a)
\(E^{\Phi }(\mu )\) is lower locally uniformly monotone,
-
(b)
\(E^{\Phi }(\mu )\) is strictly monotone,
-
(c)
\(\mu (\Omega _{oc})=0\) or if \(\mu (\Omega _{oc})>0\), then \(\mu (\Omega _{oc}\cap \Omega _{nsi})=0\).
Proof
By virtue of Corollary 2.10, statements (b) and (c) are equivalent. Moreover, statement (a) implies statement (b). So, we need only to prove that statement (b) implies statement (a).
Note that \(E^\Phi (\mu )\) is lower locally uniformly monotone if \(E^\Phi (\mu )=\{0\}\). Assume that \(0\le x_{n}\le x\in E_{+}^{\Phi }(\mu )\backslash \{0\}\) for any \(n\in \mathbb {N}\) and \(\Vert x_{n}\Vert _{\Phi }\rightarrow \Vert x\Vert _{\Phi }\) as \(n\rightarrow \infty \). We need to prove that \(\Vert x_{n}-x\Vert _{\Phi }\rightarrow 0\) as \(n\rightarrow \infty \). By virtue of Lemma 2.9, we know that \(\mu (\Omega _{oc})>0\) and \({\text {supp}}E^\Phi (\mu )=\Omega _{oc}\). By Lemma 2.1, we get that \(I_{\Phi }\left( \frac{x_{n}}{\Vert x_{n}\Vert _{\Phi }}\right) =\Vert x_{n}\Vert _{\Phi }\) for any \(n\in \mathbb {N}\) and \(I_{\Phi }\left( \frac{x}{ \Vert x\Vert _{\Phi }}\right) =\Vert x\Vert _{\Phi }\), whence, by the assumption that \(\Vert x_{n}\Vert _{\Phi }\rightarrow \Vert x\Vert _{\Phi }\) as \(n\rightarrow \infty \), we obtain
as \(n\rightarrow \infty \). Next, by Lemma 2.11, \(I_{\Phi }\left( \frac{x}{\Vert x_{n}\Vert _{\Phi }}\right) \rightarrow I_{\Phi }\left( \frac{x}{\Vert x\Vert _{\Phi }}\right) \) as \(n\rightarrow \infty \), which together with condition (2.3) gives
as \(n\rightarrow \infty \). Since \(\Phi \left( t,\frac{x_{n}(t)}{\Vert x_{n}\Vert _{\Phi }}\right) \le \Phi \left( t,\frac{x(t)}{\Vert x_{n}\Vert _{\Phi }}\right) \) for all \(t\in \Omega _{oc}\), condition (2.4) means that
as \(n\rightarrow \infty \). Consequently, the sequence \(\left\{ \Phi \left( t,\frac{x(t)}{\Vert x_{n}\Vert _{\Phi }}\right) -\Phi \left( t,\frac{x_{n}(t)}{\Vert x_{n}\Vert _{\Phi }}\right) \right\} _{n=1}^{\infty }\) converges to zero in measure on \(\Omega _{oc}\). By the \(\sigma \)-finiteness of the measure \(\mu \), there exists a strictly increasing sequence \(\{n_{k}\}_{k=1}^{\infty }\) in \(\mathbb {N}\) such that the sequence \(\left\{ \Phi \left( t,\frac{x(t)}{\Vert x_{n_k}\Vert _{\Phi }}\right) -\Phi \left( t,\frac{x_{n_k}(t)}{\Vert x_{n_k}\Vert _{\Phi }}\right) \right\} _{k=1}^{\infty }\) converges to zero \(\mu -\)a.e. in \(\Omega _{oc}\). Hence, the assumption that \(\Phi (t,.)\) is strictly increasing on \(\mathbb {R}_+\) and the continuity of \(\Phi (t,.)\) on \(\mathbb {R}_{+}\) for all \(t\in \Omega _{oc}\), imply that \(\{\frac{x}{\Vert x_{n_{k}}\Vert _{\Phi }}-\frac{x_{n_{k}}}{\Vert x_{n_{k}}\Vert _{\Phi }}\}_{k=1}^{\infty }\) converges to zero \(\mu -\)a.e. in \(\Omega _{oc}\). This implies that \(\{x-x_{n_{k}}\}_{k=1}^{\infty }\) converges to zero \(\mu -\)a.e. in \(\Omega _{oc}\). Taking arbitrary \(\lambda >0\), we get
as \(k\rightarrow \infty \) for all \(t\in \Omega _{oc}\). Obviously,
for all \(t\in \Omega _{oc}\) because \(x\in E_{+}^{\Phi }(\mu )\). Conditions (2.6), (2.7) and the Lebesgue dominated convergence theorem yield that \(I_{\Phi }(\lambda (x-x_{n_{k}}))\rightarrow 0\) as \(k\rightarrow \infty \) for any \(\lambda >0\). Consequently, by Lemma 2.12, we conclude that \(\Vert x-x_{n_{k}}\Vert _{\Phi }\rightarrow 0\) as \(k\rightarrow \infty \). Finally, by the double extract subsequence theorem, the proof is completed. \(\square \)
Corollary 2.14
The following conditions are equivalent:
-
(a)
\(L^{\Phi }(\mu )\) is lower locally uniformly monotone,
-
(b)
\(L^{\Phi }(\mu )\) is strictly monotone,
-
(c)
\(\Phi (t,.) \) is strictly increasing on \(\mathbb {R}_+\) for \(\mu -\)a.e. \(t\in \Omega \) and \(\Phi \in \Delta _2\).
Proof
By virtue of Theorem 2.8, statements (b) and (c) are equivalent. Moreover, it is obvious that statement (a) implies statement (b). Assume that \(L^{\Phi }(\mu )\) is strictly monotone. Then, by Theorem 2.8, \(\Phi \) satisfies condition (c). By Theorem 1.9, we obtain that \(L^\Phi (\mu )=E^\Phi (\mu )\) and it follows from condition (c) that \(\mu (\Omega \backslash \Omega _{oc})=0\). By virtue of Theorem 2.13 the proof is finished. \(\square \)
Theorem 2.15
The following conditions are equivalent:
-
(a)
\(E^{\Phi }(\mu )\) is orthogonally lower locally uniformly monotone,
-
(b)
\(E^{\Phi }(\mu )\) is orthogonally strictly monotone,
-
(c)
\(\mu (\Omega _{oc})=0\) or if \(\mu (\Omega _{oc})>0\), then \(\mu (\Omega _{oc}\cap {\text {supp}}a_\Phi )=0\).
Proof
The fact that (a) implies (b) is obvious. We will show that (b) implies (c). Assume that statement (b) holds but condition (c) is not satisfied, that is, \(\mu (\Omega _{oc})>0\) and \(\mu (\Omega _{oc}\cap {\text {supp}}a_\Phi )>0\). We will show that this implies that \(E^\Phi (\mu )\) is not orthogonally strictly monotone. Take \(x\in E_{+}^{\Phi }(\mu )\backslash \left\{ 0\right\} \) with \(\mu (\Omega _{oc}\backslash {\text {supp}}x)>0\) and a measurable set \(A\subset {\text {supp}}x\) such that \(\mu (A)>0\) and \(\mu (\Omega _{oc}\backslash A)>0\). Let us define
Note that \(\mu [(\Omega _{oc}\backslash {\text {supp}}x)\cap {\text {supp}}a_\Phi ]=\mu (\{t\in \Omega _{oc}:a_\Phi (t)>0 =|x(t)|\})>0\). Therefore, \(0\le x\le y\) and \(x\ne y\), so \(\Vert x\Vert _\Phi \le \Vert y\Vert _\Phi \). Moreover,
so \(\Vert y\Vert _{\Phi }\le \Vert x\Vert _{\Phi }\). Consequently, we have obtained that \(\Vert x\Vert _{\Phi }=\Vert y\Vert _{\Phi }\) and \(E^{\Phi }(\mu )\) is not orthogonally strictly monotone.
We will prove now that (c) implies (a). Assume that condition (c) holds. If \(\mu (\Omega _{oc})=0\), then \(E^\Phi (\mu )=\{0\}\), so statement (a) holds. If \(\mu (\Omega _{oc})>0\), then, by the condition \(\mu (\Omega _{oc}\cap {\text {supp}}a_\Phi )=0\), we get that \(a_\Phi (t)=0\) for \(\mu \)-a.e. \(t\in \Omega _{oc}\). Therefore, without loss of generality, we can consider further only \(t\in \Omega _{oc}^0:=\{t\in \Omega _{oc}: a_\Phi (t)=0\}\) instead of \(t\in \Omega _{oc}\) (sets \(\Omega _{oc}\) and \(\Omega _{oc}^0\) differ only on a measure zero set). Assume that \(x\in E_{+}^{\Phi }(\mu )\backslash \{0\}\) and \((A_{n})_{n=1}^{\infty }\) is a sequence in \(\Sigma \cap \Omega _{oc}^0 \) such that \(\Vert x\chi _{A_{n}}\Vert _{\Phi }\rightarrow \Vert x\Vert _{\Phi }\) as \(n\rightarrow \infty \). We will show that \(\Vert x-x\chi _{A_{n}}\Vert _{\Phi }=\Vert x\chi _{\Omega _{oc}^0 \backslash A_{n}}\Vert _{\Phi }\rightarrow 0\) as \(n\rightarrow \infty \). By statement (2), Lemma 2.1, we get
as \(n\rightarrow \infty \) and, by Lemma 2.11, we obtain
as \(n\rightarrow \infty \). Since \(\Phi \left( t,\frac{x(t)\chi _{A_n}(t)}{\Vert x\chi _{A_n}\Vert _\Phi }\right) \le \Phi \left( t,\frac{x(t)}{\Vert x\chi _{A_n}\Vert _\Phi }\right) \) for all \(t\in \Omega _{oc}^0\), by conditions (2.8) and (2.9), we get
as \(n\rightarrow \infty \). Consequently, \(\Vert \Phi (t,x(t)\chi _{\Omega _{oc}^0 \backslash A_{n}})\Vert _{L^{1}(\Omega _{oc}^0)}\rightarrow 0\), whence \(x\chi _{\Omega _{oc}^0 \backslash A_{n}}\rightarrow 0\) as \(n\rightarrow \infty \) in measure (because \(a_\Phi (t)=0\) for all \(t\in \Omega _{oc}^0\)). Since the measure \(\mu \) is \(\sigma \)-finite, passing to a subsequence, if necessary, we can assume that \(x\chi _{\Omega _{oc}^0 \backslash A_{n}}\rightarrow 0\) as \(n\rightarrow \infty \)\(\mu -\)a.e. in \(\Omega _{oc}^0\). Taking any \(\lambda >0\), note that
for all \(t\in \Omega _{oc}^0\) because \(x\in E_{+}^{\Phi }(\mu )\backslash \{0\}\). Moreover, \(\Phi (t, \lambda x(t)\chi _{\Omega _{oc}^0 \backslash A_{n}})\rightarrow 0 \) as \(n\rightarrow \infty \) for \(\mu -\)a.e. \(t\in \Omega _{oc}^0\). Then, \(\left\| \Phi (t, \lambda x(t)\chi _{\Omega _{oc}^0 \backslash A_{n}})\right\| _{L^1(\Omega _{oc}^0)}\rightarrow 0\), by the Lebesgue dominated convergence theorem. By the arbitrariness of \(\lambda >0\), this means that \(\left\| x\chi _{\Omega _{oc}^0 \backslash A_{n}}\right\| _{\Phi }\rightarrow 0\) as \(n\rightarrow \infty \). \(\square \)
Corollary 2.16
The following conditions are equivalent:
-
(a)
\(L^\Phi (\mu )\) is orthogonally lower locally uniformly monotone,
-
(b)
\(L^\Phi (\mu )\) is orthogonally strictly monotone,
-
(c)
\(a_\Phi (t)=0\) for \(\mu -\)a.e. \(t\in \Omega \) and \(\Phi \in \Delta _2\).
Proof
The implication \((a)\Rightarrow (b)\) is clear. Assume that (b) holds. Then, the condition \(\Phi \in \Delta _2\) follows from the proof of necessity of Theorem 2.8, where it was proved that if \(\Phi \notin \Delta _2\), then \(L^\Phi (\mu )\) is not orthogonally strictly monotone. If \(\Phi \in \Delta _2\), then \(L^\Phi (\mu )=E^\Phi (\mu )\) and \({\text {supp}}E^\Phi (\mu )=\Omega \). By virtue of Theorem 2.15, we get that \(a_\Phi (t)=0\) for \(\mu -\)a.e. \(t\in \Omega \).
Finally, assume that statement (c) holds true. Note that if \(\Phi \in \Delta _2\), then \(b_\Phi (t)=\infty \) for \(\mu -\)a.e. \(t\in \Omega \) and \(L^\Phi (\mu )=E^\Phi (\mu )\), so we can apply Theorem 2.15 and the proof is finished. \(\square \)
Theorem 2.17
The following conditions are equivalent:
-
(a)
\(L^\Phi (\mu )\) is upper locally uniformly monotone,
-
(b)
\(\Phi (t,.) \) is strictly increasing on \(\mathbb {R}_+\) for \(\mu -\)a.e. \(t\in \Omega \) and \(\Phi \in \Delta _2\).
Proof
By virtue of Theorem 2.8, implication \((a)\Rightarrow (b)\) is obvious. Now, we will prove that statement (b) implies statement (a). In order to do so, assume that \(\Phi (t,.) \) is strictly increasing on \(\mathbb {R}_+\) for \(\mu -\)a.e. \(t\in \Omega \) and \(\Phi \in \Delta _2\). Assume also that \(0\le x\le x_{n}\in L^{\Phi }(\mu )\) for any \(n\in \mathbb {N}\) and \(\lim \limits _{n\rightarrow \infty }\Vert x_{n}\Vert _{\Phi }=\Vert x\Vert _{\Phi }\), where \(x\ne 0\). Since \(\Phi \in \Delta _{2}\), by virtue of statement (3), Corollary 2.2, we get that \(I_{\Phi }\left( \frac{x_{n}}{\Vert x_{n}\Vert _{\Phi }}\right) =\Vert x_{n}\Vert _{\Phi }\) for any \(n\in \mathbb {N}\) and \(I_{\Phi }\left( \frac{x}{\Vert x\Vert _{\Phi }}\right) =\Vert x\Vert _{\Phi }\), so
as \(n\rightarrow \infty \). Moreover, the assumption that \(\Phi \in \Delta _{2}\) implies that \(b_\Phi (t)=\infty \) for \(\mu -\)a.e. \(t\in \Omega \) and the assumption that \(\Phi (t,.)\) is strictly increasing on \(\mathbb {R}_+\) implies that \(a_\Phi (t)=0\) for \(\mu -\)a.e. \(t\in \Omega \). By Theorem 1.9, we get that \(E^{\Phi }(\mu )=L^{\Phi }(\mu )\). Applying Lemma 2.11 and the assumption that \(\Vert x_n\Vert _\Phi \rightarrow \Vert x\Vert _\Phi \) as \(n\rightarrow \infty \), we obtain that \(I_{\Phi }\left( \frac{x}{\Vert x_{n}\Vert _{\Phi }}\right) \rightarrow I_{\Phi }\left( \frac{x}{\Vert x\Vert _{\Phi }} \right) =\Vert x\Vert _{\Phi }\) as \(n\rightarrow \infty \). Consequently,
as \(n\rightarrow \infty \), i.e.
as \(n\rightarrow \infty \). Hence, by virtue of Lemma 2, p. 97 in [7], there exist a strictly increasing sequence \(\{n_k\}_{k=1}^\infty \) of natural numbers, a function \(y\in L_{+}^{1}(\Omega )\) and a sequence of positive numbers \(\{\varepsilon _{k}\}_{k=1}^{\infty }\downarrow 0\) (we can assume without loss of generality that \(\varepsilon _{k}\le 1\) for any \(k\in \mathbb {N}\)) such that
for \(\mu -\)a.e. \(t\in \Omega \). Consequently,
for \(\mu -\)a.e. \(t\in \Omega \). From inequality (2.10), we conclude (passing to a subsequence, if necessary) that
Since \(\Phi (t,.) \) is a strictly increasing function for \(\mu -\)a.e. \(t\in \Omega \), we conclude that \(\frac{x_{n_{k}}}{\left\| x_{n_{k}}\right\| _{\Phi }}-\frac{x}{\left\| x_{n_{k}}\right\| _{\Phi }}\rightarrow 0\)\(\mu -\)a.e., whence \( \Phi \left( t,\frac{x_{n_{k}}(t)}{\left\| x_{n_{k}}\right\| _{\Phi }}- \frac{x(t)}{\left\| x_{n_{k}}\right\| _{\Phi }}\right) \rightarrow 0\;\;\mu -a.e. \) (and for \(\mu -\)a.e. \(t\in \Omega \)). Moreover, by (2.11), we get
for \(\mu -\)a.e. \(t\in \Omega \). By the order continuity of \(L^{1}(\mu )\) as well as the fact that \(\Vert x_{n_{k}}\Vert _{\Phi }\le 2\Vert x\Vert _{\Phi }\) for k large enough, we get
as \(k\rightarrow \infty \). Applying the \(\Delta _{2}\)-condition, we obtain that \(I_{\Phi }(\lambda (x_{n_{k}}-x))\rightarrow 0\) as \(k\rightarrow \infty \) for any \(\lambda >0\), whence \(\Vert x_{n_{k}}-x\Vert _{\Phi }\rightarrow 0\) as \(k\rightarrow \infty \), by Lemma 2.12. By the double extract subsequence theorem, \(\Vert x_{n}-x\Vert _{\Phi }\rightarrow 0\) as \(n\rightarrow \infty \) and the proof is finished. \(\square \)
Theorem 2.18
The following conditions are equivalent:
-
(a)
\(E^\Phi (\mu )\) is upper locally uniformly monotone,
-
(b)
\(\mu (\Omega _{oc})=0\) or if \(\mu (\Omega _{oc})>0\), then \(\Phi \in \Delta _2(\Omega _{oc})\) and \(\mu (\Omega _{nsi})=0\).
Proof
Assume that statement (b) holds. If \(\mu (\Omega _{oc})=0\), then \(E^\Phi (\mu )=\{0\}\) is obviously upper locally uniformly monotone. If \(\Phi \in \Delta _2(\Omega _{oc})\) and \(\mu (\Omega _{nsi})=0\) under the assumption that \(\mu (\Omega _{oc})>0\), then Theorems 2.17 and 1.9 yield that \(E^\Phi (\mu )\) is upper locally uniformly monotone.
Assume that statement (a) holds. Then \(\mu (\Omega _{oc})=0\) or if \(\mu (\Omega _{oc})>0\), then \(\mu (\Omega _{oc}\cap \Omega _{nsi})=0\), by Theorem 2.13 (see also Corollary 2.10). In what follows, we will restrict the measure space \((\Omega ,\Sigma ,\mu )\) to the measure space \((\Omega _{oc}, \Sigma |_{\Omega _{oc}}, \mu |_{\Omega _{oc}})\), that is, to the support of \(E^\Phi (\mu )\). Then \(E^\Phi (\mu )\ne \{0\}\). Although the beginning of the proof starts similarly to the proof of Lemma 1 on page 65 of the paper [6] by Kamińska (the application of the same technique is enough), we will present it for the convenience of the reader. Suppose that \(\Phi \notin \Delta _2(\Omega _{oc})\).
Note that it is easy to see that the \(\Delta _2(\Omega _{oc})-\)condition is satisfied if and only if \(\int _{\Omega _{oc}} h_n(t)d\mu <\infty \) for some \(n\in \mathbb {N}\), where
Let \(\{u_i\}\) be the set of nonnegative rational numbers, \(\{\Omega _m\}_{m=1}^\infty \) be an ascending sequence of sets such that \(\mu (\Omega _m)<\infty \) for any \(n\in \mathbb {N}\), \(\mu (\Omega _{oc} \backslash \underset{m=1}{\overset{\infty }{\bigcup }}\Omega _m)=0\) and
for every \(u\in \mathbb {R}_+\) and \(m\in \mathbb {N}\) (for the fact that such a sequence \(\{\Omega _m\}\) exists see [6], p. 64). Let
and
Then,
It is obvious that \(u_i \chi _{A_{nmi}} (t) \in E^\Phi (\mu )\) for any \(m,i\in \mathbb {N}\). Since \(\Phi \notin \Delta _2(\Omega _{oc})\) then \(\int _{\Omega _{oc}} g_n(t)d\mu =\infty \) for any \(n\in \mathbb {N}\) because \(g_n(t)\ge h_n(t)\) for any \(t\in \Omega _{oc}\). Putting
we get that \(g_{nl}(t)\uparrow g_n(t)\) as \(l\rightarrow \infty \) for \(\mu -\)a.e. \(t\in \Omega _{oc}\), whence
for any \(n\in \mathbb {N}\) and some \(l(n)\in \mathbb {N}\). Denoting \(\hat{x}_n(t)=\max \limits _{1\le m,i\le l(n)} u_i \chi _{A_{nmi}}(t)\), we obtain that \(g_{nl(n)}(t)=\Phi (t,(1+\frac{1}{n})\hat{x}_n(t))\). By Lemma 1.11 together with Remark 1.12 and condition (2.13), we can find a strictly increasing subsequence \(\{n_k\}\) in \(\mathbb {N}\) and a sequence \(\{A_k\}\) of pairwise disjoint sets, chosen in such way that
holds, and
for any \(k\in \mathbb {N}\). By the definition of the sets \(A_{nmi}\) and functions \(\hat{x}_n\), we get
for any \(n\in \mathbb {N}\). Define
Then \(y_k\in E^\Phi (\mu )\) and conditions (2.16) and (2.15) yield
for any \(k\in \mathbb {N}\). By (2.15), we get
for any \(k\in \mathbb {N}\), whence \(\Vert (1+\frac{1}{n_k})y_k\Vert _\Phi \ge 1\) for any \(k\in \mathbb {N}\). Therefore, \(\Vert 2y_k\Vert _\Phi \ge 1\), whence \(\Vert y_k\Vert _\Phi \ge \frac{1}{2}\), by the triangle inequality.
By virtue of the choice of the sequence \(\{A_k\}_{k=1}^\infty \) satisfying (2.14) as well as condition (2.12), we can find a measurable set A of positive measure such that \(A\subset \Omega _{oc}\backslash \underset{k=1}{\overset{\infty }{\bigcup }}A_k\) and \(\mu (A\cap \Omega _{\widetilde{m}})>0\), where \(\Omega _{\widetilde{m}}\) is some set from the sequence of sets \(\{\Omega _m\}_{m=1}^\infty \) described earlier in the proof (see condition (2.12)). Passing to a subset B of positive measure of the set \(A\cap \Omega _{\widetilde{m}}\), if necessary, we can assume that \(\mu (B)<\infty \). Take a nonnegative real-valued function a(.) such that \(\int _{D}\Phi (t,a(t))d\mu =1\), where \(D\in \Sigma \), \(D\subset B\), \(\mu (D)>0\) and define \(x(t)=a(t)\chi _{D}(t)\). Then \(x\in E^\Phi (\mu )\), \(I_\Phi (x)=1\), whence \(\Vert x\Vert _\Phi =1\). Define
for any \(k\in \mathbb {N}\). Then \(x_k\in E^\Phi (\mu )\backslash \{0\}\), \(0\le x\le x_k\) and \(I_\Phi (x_k)=I_\Phi (x)+I_\Phi (y_k)\le 1+\frac{1}{2^{n_k}}\) for any \(k\in \mathbb {N}\). Since \(x_k\in E^\Phi (\mu )\backslash \{0\}\) and \(1=\Vert x\Vert _\Phi \le \Vert x_k\Vert _\Phi \) for any \(k\in \mathbb {N}\), by statement (2) of Lemma 2.1, we get that \(1\le \Vert x_k\Vert _\Phi =I_\Phi \left( \frac{x_k}{\Vert x_k\Vert _\Phi }\right) \le I_\Phi (x_k)\) for any \(k\in \mathbb {N}\), so
for any \(k\in \mathbb {N}\). Consequently, \(\lim \limits _{k\rightarrow \infty }\Vert x_k\Vert _\Phi =\Vert x\Vert _\Phi \) and, simultaneously, \(\Vert x_k-x\Vert _\Phi =\Vert y_k\Vert _\Phi \ge \frac{1}{2}\), so \(E^\Phi (\mu )\) is not, in fact, orthogonally upper locally uniformly monotone, so it is not upper locally uniformly monotone either.
Therefore, the \(\Delta _2(\Omega _{oc})\)-condition is necessary for the upper local uniform monotonicity of \(E^\Phi (\mu )\). Consequently, as it was shown before, \(\Omega =\Omega _{oc}\) up to a measure zero set, so statement (b) holds true. \(\square \)
Theorem 2.19
The following conditions are equivalent:
-
(a)
\(E^\Phi (\mu )\) is orthogonally upper locally uniformly monotone,
-
(b)
\(\mu (\Omega _{oc})=0\) or if \(\mu (\Omega _{oc})>0\), then \(\Phi \in \Delta _2(\Omega _{oc})\) and \(\mu ({\text {supp}}a_\Phi )=0\).
Proof
Assume that \(E^\Phi (\mu )\) is orthogonally upper locally uniformly monotone. Since orthogonal upper local uniform monotonicity implies orthogonal strict monotonicity, by virtue of Theorem 2.15, we obtain that \(\mu (\Omega _{oc})=0\) or if \(\mu (\Omega _{oc})>0\), then \(\mu (\Omega _{oc}\cap {\text {supp}}a_\Phi )=0\). In the case when \(\mu (\Omega _{oc})>0\), the necessity of the \(\Delta _2(\Omega _{oc})\)-condition follows from the proof of Theorem 2.18, implication (a)\(\Rightarrow \)(b), where it was shown that if \(\Phi \notin \Delta _2(\Omega _{oc})\), then \(E^\Phi (\mu )\) is not orthogonally upper locally uniformly monotone. Since \(\Phi \in \Delta _2(\Omega _{oc})\), we have that \(\mu (\Omega \backslash \Omega _{oc})=0\), so statement (b) is true.
Assume that condition (b) holds. If \(\mu (\Omega _{oc})=0\), then \(E^\Phi (\mu )=\{0\}\), so the space \(E^\Phi (\mu )\) is orthogonally upper locally uniformly monotone. If \(\mu (\Omega _{oc})>0\), then, since \(\Phi \in \Delta _2(\Omega _{oc})\), we get that \(\Omega =\Omega _{oc}\) (up to a set of measure zero). Let \(x\in E^\Phi _+(\mu )\backslash \{0\}\) be such that \(\mu ({\text {supp}}E^\Phi (\mu )\backslash {\text {supp}}x)=\mu (\Omega _{oc}\backslash {\text {supp}}x)=\mu (\Omega \backslash {\text {supp}}x)>0\) and \(\{x_n\}_{n=1}^\infty \) be a sequence in \(E^\Phi _+(\mu )\) with \({\text {supp}}x_n\subset \Omega \backslash {\text {supp}}x\) such that \(\Vert x+x_n\Vert _\Phi \rightarrow \Vert x\Vert _\Phi \) as \(n\rightarrow \infty \). We will show that \(\Vert x_n\Vert _\Phi \rightarrow 0\) as \(n\rightarrow \infty \). Using the same techniques as those presented in the proof of Theorem 2.13 (conditions (2.3)–(2.5) in the proof), we conclude that \(I_\Phi \left( \frac{x+x_n}{\Vert x+x_n\Vert _\Phi }\right) \rightarrow I_\Phi \left( \frac{x}{\Vert x\Vert _\Phi }\right) \) and \(I_\Phi \left( \frac{x}{\Vert x+x_n\Vert _\Phi }\right) \rightarrow I_\Phi \left( \frac{x}{\Vert x\Vert _\Phi }\right) \), whence \(I_\Phi \left( \frac{x+x_n}{\Vert x+x_n\Vert _\Phi }\right) -I_\Phi \left( \frac{x}{\Vert x+x_n\Vert _\Phi }\right) \rightarrow 0\) as \(n\rightarrow \infty \). Since \(x_n\) and x have orthogonal supports, we obtain
as \(n\rightarrow \infty \). Next, similarly as in the proof of Theorem 2.17, we can find a subsequence \((x_{n_k})\) of \((x_n)\), a sequence \((\varepsilon _k)\) with \(0<\varepsilon _k\rightarrow 0\) as \(k\rightarrow \infty \) and \(y\in L^1_+(\Omega )\) such that \(\Phi \left( t,\frac{x_{n_k}(t)}{2\Vert x\Vert _\Phi }\right) \le \Phi \left( t,\frac{x_{n_k}(t)}{\Vert x+x_{n_k}\Vert _\Phi }\right) \le \varepsilon _k y \) for k large enough and all \(t\in \Omega \). Since \(\varepsilon _k\rightarrow 0\) as \(k\rightarrow \infty \), we obtain that \(I_\Phi \left( \frac{x_{n_k}}{2\Vert x\Vert _\Phi }\right) \rightarrow 0\) as \(k\rightarrow \infty \). Applying the \(\Delta _2(\Omega _{oc})\)-condition, we get that \(I_\Phi \left( \lambda x_{n_k}\right) \rightarrow 0\) as \(k\rightarrow \infty \) for any \(\lambda >0\), whence \(\Vert x_{n_k}\Vert _\Phi \rightarrow 0\) as \(k\rightarrow \infty \). The double extract subsequence theorem finishes the proof. \(\square \)
Corollary 2.20
The following conditions are equivalent:
-
(a)
\(L^\Phi (\mu )\) is orthogonally upper locally uniformly monotone,
-
(b)
\(L^\Phi (\mu )\) is orthogonally strictly monotone,
-
(c)
\(\mu ({\text {supp}}a_\Phi )=0\) and \(\Phi \in \Delta _2\).
Proof
It is obvious that (a) implies (b). Implication (b)\(\Rightarrow \)(c) follows from Corollary 2.16. Assume that statement (c) holds true. Since \(\Phi \in \Delta _2\) and \(a_\Phi (t)=0\) for \(\mu -\)a.e. \(t\in \Omega \) then \(E^\Phi (\mu )=L^\Phi (\mu )\), so it is enough to apply Theorem 2.19. \(\square \)
References
Birkhoff, G.: Lattice Theory. Providence, Providence (1967)
Chen, S.: Geometry of Orlicz spaces. Diss. Math. 356, 1–204 (1996)
Cui, Y., Hudzik, H., Kaczmarek, R., Kolwicz, P.: Geometric properties of F-normed Orlicz spaces. Aequ. Math. 93, 311–343 (2019)
Hudzik, H.: Strict convexity of Musielak–Orlicz spaces with Luxemburg’s norm. Bull. Acad. Polon. Sci. Sér. Sci. Math. 29(5–6), 235–247 (1981)
Hudzik, H., Kaczmarek, R., Wójtowicz, M.: Some monotonicity properties in certain \(s\)-normed \((0<s<1)\) and \(F\)-normed lattices. J. Nonlinear Convex Anal. 17(10), 1985–2011 (2016). + Corrigendum in J. Nonlinear Convex Anal. 18(12), 2275 (2017)
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 10(2), 63–73 (1986)
Kantorovich, L.V., Akilov, G.P.: Functional Analysis, 2nd edn. Pergamon Press, Oxford (1982). (English translation)
Kozek, A.: Convex integral functionals on Orlicz spaces. Comment. Math. Prace Mat. 21(1), 109–135 (1980)
Mazur, S., Orlicz, W.: On some classes of linear spaces. Stud. Math. 17, 97–119 (1958). In: Reprinted W. Orlicz, Collected Papers, PWN, Warszawa, pp. 981–1003 (1988)
Musielak, J.: Orlicz Spaces and Modular Spaces. In: Lecture Notes Math., vol. 1034. Springer, Berlin (1983)
Musielak, J., Orlicz, W.: On modular spaces. Stud. Math. 18, 49–65 (1959)
Author information
Authors and Affiliations
Corresponding author
Additional information
To my supervisor, Prof. Henryk Hudzik.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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. Some monotonicity properties in F-normed Musielak–Orlicz spaces. Aequat. Math. 94, 865–885 (2020). https://doi.org/10.1007/s00010-019-00691-4
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00010-019-00691-4
Keywords
- Musielak–Orlicz spaces
- Mazur–Orlicz F-norm
- F-normed Köthe spaces
- Strict monotonicity
- Orthogonal strict monotonicity
- Lower local uniform monotonicity
- Orthogonal lower local uniform monotonicity
- Upper local uniform monotonicity
- Orthogonal upper local uniform monotonicity