Abstract
In the paper, Wisła (J Math Anal Appl 483(2):123659, 2020, 10.1016/j.jmaa.2019.123659), it was proved that the classical Orlicz norm, Luxemburg norm and (introduced in 2009) p-Amemiya norm are, in fact, special cases of the s-norms defined by the formula \(\left\| x\right\| _{\Phi ,s}=\inf _{k>0}\frac{1}{k}s\left( \int _T \Phi (kx)d\mu \right) \), where s and \(\Phi \) are an outer and Orlicz function respectively and x is a measurable real-valued function over a \(\sigma \)-finite measure space \((T,\Sigma ,\mu )\). In this paper the strict monotonicity, lower and upper uniform monotonicity and uniform monotonicity of Orlicz spaces equipped with the s-norm are studied. Criteria for these properties are given. In particular, it is proved that all of these monotonicity properties (except strict monotonicity) are equivalent, provided the outer function s is strictly increasing or the measure \(\mu \) is atomless. Finally, some applications of the obtained results to the best dominated approximation problems are presented.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Many geometric properties of Banach spaces are directly related to the property of its norm. One such important property is the property of the existence of an element that realizes the distance of a set from a point (the so-called solvability of best approximation problem). More precisely, for a given nonempty proper subset A of a Banach space X and \(x\not \in A\) the question is stated whether there exists \(z\in A\) such that
In this paper, we will give results on solvability (even more, on strong solvability) of the dominated best approximation problem, i.e., for the case when A is a closed sublattice of an Orlicz space X and z is an upper or lower boundary of A.
The dominated best approximation problem is strictly connected with the monotonicity properties of the norm. Thus in the first part of the paper we will investigate the strict monotonicity, uniform monotonicity, local lower uniform monotonicity and upper local uniform monotonicity of Orlicz spaces equipped with the so-called s-norms [36].
Orlicz spaces \(L_\Phi \), introduced by W. Orlicz in 1932 (see [33]) form a wide class of Banach spaces of measurable functions or sequences. Originally W. Orlicz defined the norm as follows
where \(\Psi \) is the complementary function to \(\Phi \) in the sense of Young defined by
In 1955, Luxemburg [25] investigated topologically equivalent norm to the Orlicz one which was defined as follows
where \(I_\Phi (x)=\int _T \Phi (x(t))d\mu \). In the fifties Ichiro Amemiya (see [30, p. 218]) considered the norm defined by the following formula
Krasnoselskii and Rutickii [18], Nakano [30], Luxemburg and Zaanen [26] proved, under additional assumptions on the function \(\Phi \), that the Orlicz norm can be expressed exactly by the Amemiya formula, i.e. \(\left\| \cdot \right\| _\Phi ^o =\left\| \cdot \right\| _\Phi ^A\). In the most general case of Orlicz function \(\Phi \), the similar result was obtained by Hudzik and Maligranda [12]. Moreover, it is not difficult to verify that the Luxemburg norm can also be expressed by an Amemiya-like formula (see [4, 32]), namely
In the paper, Hudzik and Maligranda [12] proposed to investigate another class of norms given by the so-called p-Amemiya formula
where \(1\le p \le \infty \) (if \(p=\infty \) then we use the formula (1)).
However it is easy to observe that both formulae (1) and (2) can be expressed by the norm (called s-norm) defined by
where s is the so-called outer function (see [36]). Let us underline that this concept covers all the previously investigated cases of norms. Moreover, each outer function corresponds to a random nonnegative variable \({\mathcal {X}}\) (over a probability space \((\Omega ,{\mathcal {M}},{\mathcal {P}})\)) with expected value \(0\le E({\mathcal {X}})\le 1\) (see the Preliminaries chapter below). So the results presented in this paper may find applications in probability theory or stochastic modelling.
In recent years several papers have been published devoted to the study of the problem of monotonicity of Orlicz space equipped with a certain norm (and often under additional assumptions about the function \(\Phi \) or the measure \(\mu \)) see, e.g., [2, 6, 9, 11, 19,20,21, 24]. In this paper we consider the most general case of s-norms and Orlicz functions. Moreover, we will investigate the general case of measure space—in particular, there may be atoms among measurable sets.
In the section 3 it was proved that strict monotonicity of the function \(\Phi \) on \((0,\infty )\) is necessary for \(L_{\Phi ,s}\) (the Orlicz space \(L_{\Phi }\) equipped with the s-norm \(\left\| \cdot \right\| _{\Phi ,s}\)) to be strictly monotone, for all possible choices of the outer function s (Lemma 3.7). The strict monotonicity of \(\Phi \) is also sufficient for \(L_{\Phi ,s}\) to be strictly monotone as long the outer function s is strictly increasing on \((0,\infty )\) (Theorem 3.9). If the outer function s is constant on some nontrivial interval \((0,\varepsilon )\) and the Orlicz function \(\Phi \) takes finite values only, then the Orlicz space \(L_{\Phi ,s}\) is strictly monotone if and only if \(\Phi \) is strictly increasing on \((0,\infty )\), \(\Phi \) satisfies the \(\Delta _2\)-condition (Theorem 3.9).
The uniform monotonicity of \(L_{\Phi ,s}\) does not depend on the outer function s in the case of atomless measure \(\mu \). Namely, if the measure \(\mu \) is atomless (and for any choice of s) or s is strictly increasing on \((0,\infty )\) (and for any choice of measure \(\mu \)), the Orlicz space \(L_{\Phi ,s}\) is uniformly monotone if and only if \(\Phi \) is strictly increasing on \((0,\infty )\) and satisfies the \(\Delta _2\)-condition (Theorem 4.10).
Finally, using the results in [19] we proved that, if s is an outer function strictly increasing on \((0,\infty )\) or \(\mu \) is an atomless measure then, for every closed sublattice A of \(L_{\Phi ,s}\), the dominated best approximation problem is strongly solvable for any (lower or upper) boundary of A as long as \(\Phi \) is strictly increasing on \((0,\infty )\) and satisfies the \(\Delta _2\)-condition (Corollary 5.5).
2 Preliminaries
For any map \(\Phi :{\mathcal {R}}\rightarrow [0,\infty ]\) define
If \(a_\Phi =0\) then \(\Phi \) is positive and strictly increasing on \((0,\infty )\). We will also write \(\Phi >0\) in that case. Analogously, we will write \(\Phi <\infty \), provided \(b_\Phi =\infty \). A map \(\Phi :{\mathcal {R}}\rightarrow [0,\infty ]\) is said to be an Orlicz function if \(\Phi (0)=0\), \(\Phi \) is not identically equal to zero, it is even, convex on the interval \((-b_\Phi ,b_\Phi )\) and left-continuous at \(b_\Phi \), i.e., \(\lim _{u\rightarrow b_\Phi ^-}\Phi (u)=\Phi (b_\Phi )\).
Throughout the paper we will assume that \((T,\Sigma ,\mu )\) is a non-trivial measure space with a \(\sigma \)-finite and complete measure \(\mu \). By \(T_a\) we will denote the (countable) set of all \(\mu \)-atoms. We will say that the atomless part of T is not empty, if T contains a measurable set of positive measure that does not contain any atoms. Moreover we will always assume that either the atomless part of T is not empty or \(T_a\) does not reduce to a finite set of atoms. Thus the \(\sigma \)-algebra \(\Sigma \) is non-trivial, i.e., it contains a nonempty and proper subset of T of positive and finite measure (indeed, otherwise T would be an atom or \(\mu \) would not be \(\sigma \)-finite).
By \(L^0=L^0(\mu )\) we will denote the set of all \(\mu \)-equivalence classes of \(\Sigma \)-measurable real functions defined on T equipped with the topology of convergence in measure on \(\mu \)-finite sets. For a given Orlicz function \(\Phi \), on the space \(L^0(\mu )\) we define a convex functional (called a pseudomodular [29]) by
The Orlicz space \(L_{\Phi }\) generated by an Orlicz function \(\Phi \) is a linear lattice of measurable functions defined by the formula
with the \(\mu \)-a.e. partial order, i.e., \(x\le y\) if and only if \(y(t)-x(t)\ge 0\) for \(\mu \)-a.e. \(t\in T\). By the space \(E_{\Phi }\) we will mean a linear subspace of \(L_{\Phi }\) defined as follows
In the case of purely atomic measure (i.e., if \(T{\setminus } T_a=\emptyset \)), the spaces \(L_{\Phi }\) and \(E_{\Phi }\) are usually denoted by \(\ell _\Phi \) and \(h_\Phi \) respectively. We will use this notation only if it is more convenient or necessary. Let us note that the space \(E_{\Phi }\) may degenerate into one element set \(\left\{ 0\right\} \). For instance, this is what happens when the \(\Phi \) values jump to infinity (i.e., \(b_\Phi <\infty \)).
We say that an Orlicz function \(\Phi \) satisfies the condition \(\Delta _2\) if
-
(a)
there exists a constant \(K>0\) such that \(\Phi (2u)\le K\Phi (u)\) for every \(u\in {\mathcal {R}}\) (resp., for every \(|u|\ge u_0\), where \(\Phi (u_0)<\infty \)) provided the measure \(\mu \) is atomless and \(\mu (T)=\infty \) (resp. \(\mu (T)<\infty \)),
-
(b)
there are constants \(a>0\), \(K>0\) and a nonnegative sequence \((c_n)\in \ell ^1\) such that
$$\begin{aligned} \Phi (2u)\mu (e_n)\le K\Phi (u)\mu (e_n) + c_n \end{aligned}$$for every \(u\ge 0\) with \(\Phi (u)\mu (e_n)\le a\) and every \(n\in {\mathcal {N}}\), provided the measure \(\mu \) is purely atomic and \(\left\{ e_n: n\in {\mathcal {N}}\right\} \) is the set of atoms of T (this condition is known as the \(\delta _2\)-condition),
-
(c)
both conditions (a) and (b) are satisfied in the case when T contains an atomless part and the set of atoms is not empty.
It is well known that \(L_{\Phi }=E_{\Phi }\) if and only if \(\Phi \in \Delta _2\) and \(\Phi <\infty \) (see, e.g., [3, 34] for the atomless measure case and [15] for the purely atomic case). Note that \(\Phi \in \Delta _2\) implies that \(\Phi <\infty \) provided the measure \(\mu \) is atomless. But this implication is not true for purely atomic measures.
A function \(s:[0,\infty )\rightarrow [1,\infty )\) is said to be an outer function, if it is convex and
To simplify notations, we extend the domain and range of s to the interval \([0,\infty ]\) by setting \(s(\infty )=\infty \).
Let us note that each outer function corresponds to a random nonnegative variable \({\mathcal {X}}\) (over a probability space \((\Omega ,{\mathcal {M}},{\mathcal {P}})\)) with the expected value \(0\le E({\mathcal {X}})\le 1\) in the sense that
for \(u\ge 0\), where \(F_{{\mathcal {X}}}^{(2)}:{\mathcal {R}}\rightarrow [0,\infty )\) denotes the the second performance function of \({\mathcal {X}}\), which is defined as the integral of the cumulative distribution function \(F_{\mathcal {X}}:{\mathcal {R}}\rightarrow [0,1]\), \(F_{\mathcal {X}}(u)={\mathcal {P}}({\mathcal {X}}\le u)\), over the half-line \((-\infty , u)\), i.e.,
(see the O-R diagram in [31]). Indeed, the second performance function \(F_{{\mathcal {X}}}^{(2)}\) is nonnegative, finite, convex on \({\mathcal {R}}\) and admits an asymptote at infinity with the slope 1 and the y-intercept \(-E({\mathcal {X}})\) [31]. Moreover, if the random variable \({\mathcal {X}}\) is nonnegative and \(E({\mathcal {X}})\in [0,1]\) then \(F_{{\mathcal {X}}}^{(2)}(u)=0\) for all \(u\le 0\), so the function \(s_{\mathcal {X}}(u)=1+F_{{\mathcal {X}}}^{(2)}(u)\) restricted to \([0,\infty )\) is an outer function. In particular, if \({\mathcal {X}}\equiv 0\) then \(s_{\mathcal {X}}(u)=1+u\) for \(u\ge 0\). Analogously, if \({\mathcal {X}}\equiv 1\) then \(s_{\mathcal {X}}(u)=\max \left\{ 1,u\right\} \) for \(u\ge 0\).
If s is an outer function and \(\Phi \) is an Orlicz function then the functional
is a norm on the Orlicz space \(L_{\Phi }\) [36]. In the following by \(L_{\Phi ,s}\) (resp. \(E_{\Phi ,s}\)) we will denote the Orlicz space \(L_{\Phi }\) (resp. \(E_{\Phi }\)) equipped with the s-norm \(\left\| \cdot \right\| _{\Phi ,s}\).
Put \(s_L(u)=\max \left\{ 1,u\right\} \) and \(s_o(u)=1+u\). Then the norms \(\left\| \cdot \right\| _{\Phi ,s_L}\) and \(\left\| \cdot \right\| _{\Phi ,s_o}\) are the Luxemburg norm \(\left\| \cdot \right\| _\Phi \) and the Orlicz norm \(\left\| \cdot \right\| _\Phi ^o\) respectively [25, 32]. Since, for any outer function s, \(s_L(u)\le s(u)\le s_o(u)\) for all \(u\ge 0\), we have the following inequality
for all \(x\in L_{\Phi }\), so all s-norms are (topologically) equivalent to each other. In general, for a fixed Orlicz function \(\Phi \) two different outer functions \(s_1\ne s_2\) create two different norms \(\left\| \cdot \right\| _{\Phi ,s_1}\not \equiv \left\| \cdot \right\| _{\Phi ,s_2}\). But in the case of power functions \(\Phi (u)=c\left| u\right| ^p\), \(1\le p <\infty \), \(c>0\), all Orlicz spaces \(L_{\Phi ,s}\), no matter how the outer function s is chosen, coincide with the Lebesgue spaces \(L^p\) and \(\left\| \cdot \right\| _{\Phi ,s}\equiv d\left\| \cdot \right\| _p\) up to a some constant \(d>0\) depending on p and s. Analogously, if \(\Phi (u)=0\) for \(\left| u\right| \le 1\) and \(\Phi (u)=\infty \) for \(\left| u\right| >1\) then, for all outer functions s, the Orlicz space \(L_{\Phi ,s}\) coincides with the Lebesgue space \(L^\infty \) and \(\left\| \cdot \right\| _{\Phi ,s}= \left\| \cdot \right\| _\infty \) (see [36]).
Note that, for any outer function s, the s-norm convergence to 0 of a sequence \((x_n)\) of functions of \(L_{\Phi }\) implies its modular convergence to 0. Moreover, these two types of convergence are equivalent, i.e.,
as \(n\rightarrow \infty \) if and only if \(\Phi \in \Delta _2\) and, in the case of purely atomic measure, \(\Phi >0\) (see, e.g., [3, 15]).
Recall that an element x of a Banach lattice \((X,\left\| \cdot \right\| )\) is said to be order continuous if \(\left\| x_n\right\| \rightarrow 0\) for any sequence \((x_n)\) in X such that \(0\le x_n \le \left| x\right| \) and \(x_n \rightarrow 0\) \(\mu \)-a.e. By \(X_a\) we will denote the subspace of all order continuous elements in X. If \(X=X_a\) then the Banach lattice X is called order continuous (OC).
If \(\mu \) is purely atomic, then \((L_{\Phi })_a=(\ell _\Phi )_a\ne \left\{ 0\right\} \) for any Orlicz function \(\Phi \) (consider finite sequences of numbers). In general \(E_{\Phi }\subset (L_{\Phi })_a \subset L_{\Phi }\).
It is well known that if \(\Phi <\infty \) then \((L_{\Phi })_a=E_{\Phi }\) [37]. Moreover, \(L_{\Phi }=(L_{\Phi })_a\) if and only if \(\Phi \in \Delta _2\) (see [3, 16, 19]).
Another nice characterization of \(\Delta _2\)-condition is as follows: the modular unit sphere and the Luxemburg-norm unit sphere coincide, i.e.,
for all \(x\in L_{\Phi }\) if and only if \(\Phi \in \Delta _2\) and, if the measure \(\mu \) is purely atomic, on each atom \(e\in T_a\) the function \(u\rightarrow \Phi (u)\mu (e)\) achieves the value 1, i.e., \(\Phi (b_\Phi )\mu (e)\ge 1\) for all \(e\in T_a\) (see [3, 6, 16]).
More details about Orlicz spaces equipped with the Luxemburg or the Orlicz norm, can be found in [3, 18, 22, 23, 27,28,29, 34]. In the paper [12] Hudzik and Maligranda proposed to investigate the family of so-called p-Amemiya norms generated by the outer functions defined by \(s_p(u)=(1+u^p)^{1/p}\). Then several geometric properties of p-Amemiya norms were investigated in a number of papers, e.g., [4, 6, 7, 13, 14, 35]. Basic properties of Orlicz spaces equipped with the s-norm (and, among others, the theorem on duality) are presented in [36].
3 Strict monotonicity properties of Orlicz spaces \(L_{\Phi ,s}\)
Let X be a Banach lattice with a norm \(\left\| \cdot \right\| \). By \(X_+\) we will denote the positive cone of X, i.e. \(X_+=\left\{ x\in X, x\ge 0\right\} \) and by S(A) the interception of the unit sphere of X with the set \(A\subset X\), i.e., \(S(A)=\left\{ x\in A: \left\| x\right\| =1\right\} \). A Banach lattice X is said to be strictly monotone (SM for short) if \(\left\| x-y\right\| <\left\| x\right\| \) for all \(x\ge y\ge 0\) and \(y\ne 0\).
In order to calculate the value of s-norm it is important to know whether the infimum in the formula (3) is achieved at some \(k>0\). Denote
and let \(k^*(x)=\inf \left\{ k>0: k\in K(x)\right\} \) and \(k^{**}(x)=\sup \left\{ k>0:k\in K(x)\right\} \) with the convention that \(k^*(x)=k^{**}(x)=\infty \) as long as \(K(x)=\emptyset \). We shall say that the s-norm is \(k^*\)-finite (resp. \(k^{**}\)-finite) if \(k^*(x)<\infty \) (resp. \(k^{**}(x)<\infty \)) for every \(x\in L_{\Phi }{\setminus }\left\{ 0\right\} \). If \(k^*(x)=k^{**}(x)<\infty \) for all \(L_{\Phi }{\setminus }\left\{ 0\right\} \) then we say that the s-norm is k-unique. In [36], it was proved, that \(K(x)=[k^*(x),k^{**}(x)]\cap (0,\infty )\). Moreover, the criteria for s-norm to be \(k^*\)-finite and \(k^{**}\)-finite were also established in that paper. We will start with a characterization of the set of those function x for which \(k^{**}(x)=\infty \).
Lemma 3.1
For any outer function s and any Orlicz function \(\Phi \), if the space \(L_{\Phi ,s}\) is not \(k^{**}\)-finite then \(\Phi \) takes only finite values. Moreover
In consequence, the s-norm \(\left\| \cdot \right\| _{\Phi ,s}\) may be not \(k^{**}\)-finite only if the set \(E_{\Phi }{\setminus }\left\{ 0\right\} \) is not empty.
Proof
Let \(x\in L_{\Phi }{\setminus }\left\{ 0\right\} \) be such that \(k^{**}(x)=\infty \) and suppose that \(b_\Phi <\infty \). Then \(\left\| x\right\| _\infty <\infty \), whence \(k^{**}(x)\le b_\Phi \left\| x\right\| _\infty ^{-1}<\infty \), a contradiction. Thus \(\Phi <\infty \). In order to prove the inclusion of sets, take any \(x\in L_{\Phi }{\setminus } E_{\Phi }\). Then there exists \(k_0>0\) such that \(I_\Phi (k_0x)=\infty \). Then
i.e., \(k^{**}(x)\le k_0<\infty \). \(\square \)
To make this paper clearer, we present the following lemma here, although some of its statements can also be deduced form the results given in [36].
Lemma 3.2
Let s be an outer function and \(\Phi \) an Orlicz function. If the space \(L_{\Phi ,s}\) is not \(k^{**}\)-finite then
-
(i)
the limit \(c=\lim _{u\rightarrow \infty }\frac{\Phi (u)}{u}\) is positive and finite,
-
(ii)
\(\Phi \) admits an oblique asymptote at infinity if and only if \(\Psi (c)<\infty \), where \(\Psi \) is the Orlicz function complementary to \(\Phi \) in the sense of Young, in fact, the slope and the y-intercept of the asymptote are equal to \(c>0\) and \(-\Psi (c)\) respectively,
-
(iii)
the Lebesgue space \(L^1\) is continuously imbedded into the Orlicz space \(L_{\Phi ,s}\) and \(\left\| y\right\| _{\Phi ,s}\le c\left\| y\right\| _1\) for every \(y\in L^1\),
-
(iv)
\(\left\| x\right\| _{\Phi ,s}=c\left\| x\right\| _1\) for every \(x\in L_{\Phi }{\setminus }\left\{ 0\right\} \), with \(k^{**}(x)=\infty \).
Proof
Let \(x\in L_{\Phi }{\setminus }\left\{ 0\right\} \) be such that \(k^{**}(x)=\infty \). Then, by Lemma 3.1, \(\Phi \) has to take finite values only and \(x\in E_{\Phi }{\setminus }\left\{ 0\right\} \). Moreover,
(i). Suppose that \(\lim _{u\rightarrow \infty }\frac{\Phi (u)}{u} = \infty \). Since \(\Phi \) is convex and \(\Phi (0)=0\), the function \(u\rightarrow \Phi (u)/u\) is nondecreasing on the half-line \((0,\infty )\). By the Beppo Levy theorem,
a contradiction. Thus \(c=\lim _{u\rightarrow \infty }\frac{\Phi (u)}{u} < \infty \). Evidently, since \(\Phi \not \equiv 0\), \(c>0\) as well.
(ii). If \(\Phi \) admits an oblique asymptote then, by (i), its slope is equal to \(c=\lim _{u\rightarrow \infty } \Phi (u)/u\) and \(0<c<\infty \). Since \(\Phi \) is convex, the slope of each secant of \(\Phi \) is less or equal to c. Thus \(\frac{\Phi (u_2)-\Phi (u_1)}{u_2-u_1}\le c\) for all \(0\le u_1 < u_2\), what implies that the function \(u\rightarrow cu-\Phi (u)\) is nondecreasing on \((0,\infty )\). Therefore
Thus \(\Phi \) admits the oblique asymptote with the slope c if and only if \(\Psi (c)<\infty \) and its y-intercept is equal to \(-\Psi (c)\).
(iii). By virtue of (ii), for any measurable function \(y\in L^0{\setminus }\left\{ 0\right\} \) we have
Thus the Lebesgue space \((L^1,\left\| \cdot \right\| _1)\) is continuously imbedded into the Orlicz space \((L_{\Phi },\left\| \cdot \right\| _{\Phi ,s})\).
(iv). By Lemma 3.1, \(x\in L_{\Phi }{\setminus }\left\{ 0\right\} \) and \(k^{**}(x)=\infty \) imply that \(\Phi <\infty \) and \(x\in E_{\Phi }{\setminus }\left\{ 0\right\} \). Moreover \(I_\Phi (kx)>0\) for all \(k>0\) large enough and \(I_\Phi (kx)\rightarrow \infty \) as \(k\rightarrow \infty \), whence
\(\square \)
Let us underline that the existence of finite limit of the quotient \(\Phi (u)/u\) at infinity is not sufficient for \(\Phi \) to admit an oblique asymptote. For example, let \(\Phi (u)=\left| u\right| -\ln (1+\left| u\right| )\). Evidently, \(\lim _{u\rightarrow \infty } \Phi (u)/u = \lim _{u\rightarrow \infty } (1 - \ln (1+u)/u) =1\) and \(\lim _{u\rightarrow \infty } (\Phi (u) -u) = \lim _{u\rightarrow \infty } (-\ln (1+u)) =-\infty \), whence \(\Phi \) does not attend an asymptote at infinity.
Observe that \(\Psi (1)=\infty \) in this case as well, where \(\Psi \) is the Orlicz function complementary to \(\Phi \) in the sense of Young. Indeed, the right-hand derivative \(p_+\) of \(\Phi \) is equal to \(p_+(u)= u/(1+u)\) for all \(u\ge 0\). Hence the inverse function \(q_+=(p_+)^{-1}\), which is the right-hand derivative of \(\Psi \), is given by the formula \(q_+(v)=v/(1-v)\) for all \(0\le v < 1\). Therefore, for every \(\left| v\right| <1\),
Evidently \(\Psi (1)=\lim _{v\rightarrow 1^-}\Psi (v)=+\infty \) (in fact, \(\Psi (v)=+\infty \) for all \(v\ge 1\)).
In order to illustrate the relationship between \(k^{**}\)-finiteness of the s-norm and the space \(E_{\Phi }\) consider the following example.
Example 3.3
Let \(\mu \) be an atomless measure with \(\mu (T)=\infty \) and let \(\Phi (u)= \max \left\{ 0,\left| u\right| -1\right\} \) for all \(u\in {\mathcal {R}}\). Then \(L_{\Phi }=L^1+L^\infty \) and \(L^1\varsubsetneq E_{\Phi }\). If, moreover, the space \(L_{\Phi }\) is equipped with the Orlicz norm, i.e., \(s(u)=1+u\), then \(\left\{ 0\right\} \varsubsetneq E_{\Phi }{\setminus } K^{**}\varsubsetneq L^1\varsubsetneq E_{\Phi }\) and \(E_{\Phi }\cap K^{**}\ne \left\{ 0\right\} \), where \(K^{**}=\left\{ x\in L_{\Phi ,s}{\setminus }\left\{ 0\right\} : k^{**}(x)<\infty \right\} \). Further, for any measurable subset \(A\in \Sigma \),
(Note: the set \(K^{**}\) depends on \(\Phi \) and s, but the sets \(L_{\Phi }, E_{\Phi }\) depend on \(\Phi \) only.)
Proof
Let \(x=y+z\), where \(y\in L^1\), \(z\in L^\infty \). If \(\left\| z\right\| _\infty =0\) then \(I_{\Phi }\left( x\right) = I_{\Phi }\left( y\right) \le \left\| y\right\| _1 <\infty \), so \(x\in L_{\Phi }\). If \(\left\| z\right\| _\infty >0\) then
i.e., \(x\in L_{\Phi }\).
Conversely, let \(x\in L^0\) and \(k>0\) be such that \(I_{\Phi }\left( kx\right) <\infty \). Define
Evidently \(x=y_k+z_k\) and \(\left\| z_k\right\| _\infty \le \frac{1}{k}\), so \(z_k\in L^\infty \). Moreover, \(\left| y_k\right| =\left| sgn\,x(\left| x\right| -\frac{1}{k})\right| \chi _{T{\setminus } A_k} = (\left| x\right| -\frac{1}{k})\chi _{T{\setminus } A_k}\), so
whence \(y_k\in L^1\). We have proved that \(L_{\Phi }=L^1+L^\infty \).
If \(x\in L^1\) then, since \(\Phi (u)\le u\) for all \(u\ge 0\), we have \(I_{\Phi }\left( kx\right) \le \left\| kx\right\| _1<\infty \) for every \(k>0\), so \(L^1\subset E_{\Phi }\). We will show that \(L^1\varsubsetneq E_{\Phi }\). Let \((a_n)\) be any sequence of positive numbers converging to 0. Without loss of generality we can assume that \((a_n)\) decreases to 0. Take a sequence \((A_n)\) of pairwise disjoint measurable sets such that \(\mu (A_n)=\frac{1}{a_n}\) for all \(n\in {\mathcal {N}}\) and define \(x=\sum _{n=1}^\infty a_n\chi _{A_n}\). Evidently \(x\notin L^1\). For any \(k>0\) put \(n_k=\min \left\{ n\in {\mathcal {N}}: ka_n\le 1\right\} \). If \(n_k=1\) then \(ka_n\le 1\) for all \(n\in {\mathcal {N}}\), whence \(I_{\Phi }\left( kx\right) =0<\infty \). So, assume that \(n_k>1\). Then
Therefore \(x\in E_{\Phi }\), whence \(L^1\varsubsetneq E_{\Phi }\).
Let A be any measurable subset of T (with finite or infinite measure). Take \(k=1\). Since \(\Phi (1)=0\), for any outer function s we have
whence \(\left\| \chi _A\right\| _{\Phi ,s}\le 1\). Further, for every \(0<k<1\),
so the norm \(\left\| \chi _A\right\| _{\Phi ,s}\) cannot be achieved at any \(0<k<1\).
From now on we will assume that \(s(u)=1+u\). Finally, for every \(k>1\) put
If \(\mu (A)=\infty \) then \(C(k)\equiv \infty \), if \(\mu (A)=1\) then \(C(k)\equiv 1\) and if \(1\ne \mu (A)<\infty \) then \(C(k)>\min \left\{ \mu (A),1\right\} \) for all \(k>1\) and \(\lim _{k\rightarrow \infty } C(k) = \mu (A)\). Therefore \(\left\| \chi _A\right\| _{\Phi ,s}=\min \left\{ \mu (A),1\right\} \) and
Thus
Evidently, \(\chi _A\in E_{\Phi }\) for all measurable sets A with \(\mu (A)<\infty \). Thus \(E_{\Phi }\cap K^{**}\ne \left\{ 0\right\} \) (take \(\chi _A\) with \(1<\mu (A)<\infty \)) and \(\left\{ 0\right\} \varsubsetneq E_{\Phi }{\setminus } K^{**}\) (take \(\chi _A\) with \(\mu (A)\le 1\)).
The inclusion \(E_{\Phi }{\setminus } K^{**}\subset L^1\) follows directly from Lemma 3.2. Moreover, \(\chi _A\in L^1\cap K^{**}\) for all \(A\in \Sigma \) with \(1<\mu (A)<\infty \), so \(E_{\Phi }{\setminus } K^{**}\varsubsetneq L^1\). \(\square \)
Example 3.4
If the space \(L^1+L^\infty \) is equipped with the Luxemburg norm, i.e., in the Example 3.3 we consider the outer function \(s(u)=\max \left\{ 1,u\right\} \), then the Orlicz space \(L_{\Phi ,s}\) is \(k^{**}\)-finite and, for all measurable sets \(A\in \Sigma \),
Proof
The \(k^{**}\)-finitness follows from the definition of the outer function s (see [36]). Let \(A\in \Sigma \). For any \(0<\lambda <\infty \) define
By (5) and (6) we get that \(C(1)=1\) and \(C(\lambda )\ge \lambda >1\) for all \(\lambda >1\). If \(\mu (A)=\infty \) then \(C(\lambda )=\infty \) for all \(0<\lambda <1\), whence \(\left\| \chi _A\right\| _{\Phi ,s}=\inf _{\lambda >0}C(\lambda )=C(1)=1\) and \(k^*(\chi _A)=k^{**}(\chi _A)=1\).
If \(\mu (A)<\infty \) then the infimum of values of the function \(C(\lambda )\) on the interval (0, 1) is achived at the intersection point of the graphs of the identity function \(\lambda \rightarrow \lambda \) and the function \(\lambda \rightarrow (1-\lambda )\mu (A)\), i.e., at the point \(\lambda =\frac{\mu (A)}{1+\mu (A)}\in (0,1)\). Thus
and \(k^*(\chi _A)=k^{**}(\chi _A)=\frac{\mu (A)+1}{\mu (A)}\). \(\square \)
As it was pointed out in the previous section, the \(\Delta _2\)-condition plays an importatnt role in Orlicz spaces. In the sequel, we will need the following lemma.
Lemma 3.5
Let s be an outer function. If \(\Phi \notin \Delta _2\) then, for every \(0<\varepsilon <1\), we can find \(x\in L_{\Phi }{\setminus }\left\{ 0\right\} \) such that \(I_{\Phi }\left( x\right)<\varepsilon <\left\| x\right\| _{\Phi ,s}=1\).
Proof
Let \(0<\varepsilon <1\). If \(a_\Phi =b_\Phi \) then, putting \(x=a_\Phi \chi _T\), we have \(I_{\Phi }\left( x\right) =0< \varepsilon < 1 =\left\| x\right\| _{\Phi ,s}\). Hence, in the following, we will assume that \(d=b_\Phi -a_\Phi >0\).
In the case of Luxemburg norm it is well known that if \(\Phi \notin \Delta _2\) then there exists \(x\in L_{\Phi }{\setminus }\left\{ 0\right\} \) such that \(I_{\Phi }\left( x\right) <\left\| x\right\| _\Phi =1\) (see [3, 16]). This implies that \(I_{\Phi }\left( kx\right) =\infty \) for all \(k>1\) (otherwise, applying the Lebesgue dominated convergence theorem we would get that \(\left\| x\right\| _\Phi < 1\)).
Put \(A_0=\left\{ t\in T: \left| x(t)\right| \le a_\Phi \right\} \). If \(I_{\Phi }\left( k x\chi _{A_0}\right) =\infty \) for every \(k>1\), then
and the thesis is proved. Thus we can assume that \(I_{\Phi }\left( k_0 x\chi _{A_0}\right) <\infty \) for some \(k_0>1\). For each \(n\ge 1\) define
and
Evidently, the sets \(A_0, A_1,...\) are pairwise disjoint, \(\left\{ t\in T: \left| x(t)\right| >a_\Phi \right\} \subset \bigcup _{n=0}^\infty A_n \) and
Thus we can find \(m > 1\) such that \(I_{\Phi }\left( y\right) <\varepsilon \), where \(y=\sum _{n=m}^\infty x\chi _{A_n}\).
Suppose that \(I_{\Phi }\left( ky\right) <\infty \) for some \(k>1\). Without loss of generality we can assume that \(1<k < k_0\) and, if \(b_\Phi <\infty \), that \(k< \frac{b_\Phi }{b_m}\). For every \(n\ge 1\) we have
whence \(\mu (A_n)<\infty \). Thus
and this contradicts to the assumption that \(I_{\Phi }\left( kx\right) =\infty \) for all \(k>1\). Thus
whence, putting \(z=y\cdot \left\| y\right\| _{\Phi ,s}^{-1}\),
and the proof is completed. \(\square \)
As the immediate consequence of Lemma 3.5 we get the following corollary.
Corollary 3.6
If \(\Phi \notin \Delta _2\) then, for any outer function s, there exists a sequence \((x_n)\) of functions in the unit sphere \(S(L_{\Phi ,s})\) such that the modular \(I_{\Phi }\left( x_n\right) \) converges to 0, i.e., \(\left\| x_n\right\| _{\Phi ,s}=1\) for all \(n\in {\mathcal {N}}\) and \(I_{\Phi }\left( x_n\right) \rightarrow 0\) as \(n\rightarrow \infty \).
Now we turn back to the monotonicity properties of Orlicz spaces. We will start with the lemma that will allow us to restrict the number of cases of outer and Orlicz functions that we have to dealt with.
Lemma 3.7
Let s and \(\Phi \) be an outer and Orlicz function respectively and denote \(a_s=\sup \left\{ u\ge 0:s(u)=1\right\} \). The space \(L_{\Phi ,s}\) is not strictly monotone if one of the following conditions is satisfied
-
(i)
\(a_\Phi >0\),
-
(ii)
\(a_s>0\) and \(\Phi \notin \Delta _2\),
-
(iii)
\(a_s>0\), the set of atoms \(T_a\) of \(\mu \) is infinite and \(\inf _{e\in T_a}\Phi (b_\Phi )\mu (e)<a_s\).
If \(a_\Phi >0\) and \(E_{\Phi }\ne \left\{ 0\right\} \) then the space \(E_{\Phi ,s}\) is not strictly monotone.
Proof
If T contains a nonempty atomless subset \(T_0\) then take a set \(A\subset T_0\) such that \(\mu (A)>0\) and \(\mu (T_0{\setminus } A)>0\). In the other case, the set of atoms \(T_a\) is infinite, so take \(A\subset T_a\) such that the set A is infinite and \(T_a{\setminus } A \ne \emptyset \). Moreover, let \(B\subset T_a{\setminus } A\) be such that \(0<\mu (B)<\infty \).
(i) Assume that \(a_\Phi >0\). Put \(z=\chi _B\). Then \(z\in L_{\Phi }{\setminus }\left\{ 0\right\} \). Further, let \(\varepsilon >0\) be a fixed arbitrary positive number and take \(k_z> 0\) such that \(\frac{1}{k_z}s\left( I_\Phi \left( k_zz\right) \right) \le \left\| z\right\| _{\Phi ,s}+\varepsilon \). Define \(y=a_\Phi {k_z^{-1}}\chi _A\) and \(x=y+z\). Evidently \(x,y\in L_{\Phi }\), \(0\le y\le x\) and \(y\ne 0\). Moreover,
whence, by arbitrariness of \(\varepsilon >0\), \(\left\| x-y\right\| _{\Phi ,s}\ge \left\| x\right\| _{\Phi ,s}\). Since \(y\ne 0\), the space \(L_{\Phi ,s}\) is not strictly monotone.
(ii) Since \(\Phi \notin \Delta _2\), by Lemma 3.5 (with the measure space restricted to \((T\cap A, \Sigma \cap A, \mu |_A)\)) we can find \(z\in L_{\Phi }{\setminus }\left\{ 0\right\} \) such that \(\mathrm{supp}z\subset A\) and \(I_{\Phi }\left( z\right) <a_s\le \left\| z\right\| _{\Phi ,s}=1\). This implies that \(I_\Phi (kz)=\infty \) for all \(k>1\).
Take \(\varepsilon >0\) such that \(\Phi (\varepsilon )\mu (B)<a_s-I_\Phi (z)\). Put \(y = \varepsilon \chi _B\) and \(x=z +y\). Then, evidently, \(0\le y \le x\) and \(y\ne 0\). Since \(s(u)=1\) for all \(0\le u\le a_s\),
for all \(0<k\le 1\). Further, \(I_\Phi (kx)\ge I_\Phi (kz)=\infty \) for all \(k>1\), so
Since \(y\ne 0\), the space \(L_{\Phi ,s}\) is not strictly monotone.
(iii) If the set of atoms \(T_a\) is infinite and \(\Phi (b_\Phi )\mu (e)<a_s\) for an atom \(e\in T_a\) then, putting \(z=b_\Phi \chi _{\left\{ e\right\} }\), we have \(I_{\Phi }\left( z\right) <a_s\le 1\) and \(\left\| z\right\| _{\Phi ,s}=1\). Without loss of generality we can assume that \(e\in A\). Thus, we can repeat the part (ii) of the proof to conclude that \(L_{\Phi ,s}\) is not strictly monotone.
Assume that \(E_{\Phi }\ne \left\{ 0\right\} \). This implies that \(\Phi \) takes only finite values, whence the functions \(z=\chi _B\) and \(y=a_\Phi k_z^{-1}\chi _A\) in the part (i) of the proof belong to \(E_{\Phi }{\setminus }\left\{ 0\right\} \). Repeating the arguments of (i) we conclude that \(E_{\Phi ,s}\) is not strictly monotone. \(\square \)
In the proof of the theorem on strict monotonicity of the Orlicz space \(L_{\Phi ,s}\) we will need the following lemma.
Lemma 3.8
Let s be an outer function, \(0<c<\infty \) and let \(T_a\) be the (empty or infinite) set of atoms of T. If \(\Phi \in \Delta _2\) and \(\inf _{e\in T_a}\Phi (b_\Phi )\mu (e)\ge c\) then, for every \(x\in L_{\Phi }\),
Proof
Let \(x\in L_{\Phi }\) be such that \(I_{\Phi }\left( x\right) <c\). We claim that there exists \(k>1\) such that \(I_{\Phi }\left( kx\right) <\infty \). If \(T{\setminus } T_a \ne \emptyset \) then, by \(\Delta _2\)-condition, \(I_{\Phi }\left( 2x\chi _{T{\setminus } T_a}\right) < \infty \).
Now, assume that the set of atoms \(T_a\) is infinite. For simplicity, put \(T_a=\bigcup _n e_n\), \(e_n=\left\{ n\right\} \) and \(a_n=x(n)\) for all \(n\in {\mathcal {N}}\). Let \(a, K>0\) be constants and \((c_n)\in \ell ^1\) a sequence that appear in \(\Delta _2\)-condition. Since
there exists \(m\in N\) such that \(\Phi (a_n)\mu (e_n)\le a\) for all \(n\ge m\). Thus
Moreover, for each \(n\in {\mathcal {N}}\),
Thus \(\left| a_n\right| <b_\Phi \) for all \(n\in {\mathcal {N}}\). Hence, for each \(1\le n < m\) we can find \(k_n>1\) such that \(k_n\left| a_n\right| <b_\Phi \). Put \(k_0=\min \left\{ k_1,\dots ,k_{m-1},2\right\} \). Then \(k_0>1\) and
and the claim is proved.
Therefore \(k \rightarrow I_\Phi (kx)\) is a nondecreasing continuous function on the interval \((1,k_0)\) and \(I_{\Phi }\left( x\right) <c\). Hence we can find \(k\in (1,k_0)\) such that \(I_{\Phi }\left( kx\right) < c\) as well. \(\square \)
The next theorem provides criteria for the Orlicz space equipped with the s-norm to be strictly monotone.
Theorem 3.9
Let s and \(\Phi \) be an outer and Orlicz function respectively and let \(a_s=\sup \left\{ 0\le u\le 1: s(u)=1\right\} \).
-
(a)
The Orlicz space \(L_{\Phi ,s}\) is strictly monotone if and only if \(\Phi \) vanishes only at 0 and one of the following conditions is satisfied:
-
(i)
s is strictly increasing on \([0,\infty )\) (i.e., \(a_s=0\)),
-
(ii)
\(a_s>0\) and
-
(a)
\(\Phi \in \Delta _2\),
-
(b)
\(\Phi (b_\Phi )\mu (e)\ge a_s\) for all atoms \(e\in T_a\).
-
(a)
-
(i)
-
(b)
For any outer function s, the space \(E_{\Phi ,s}\) is strictly monotone if and only if either \(\Phi \) vanishes only at 0 or \(E_{\Phi }=\left\{ 0\right\} \).
Proof
The necessity part of the proof follows directly from Lemma 3.7.
Sufficiency. Assume that \(\Phi \) vanishes only at 0. Take any \(x,y\in L_{\Phi }\) (respectively, \(x,y\in E_{\Phi }\), provided \(E_{\Phi }\ne \left\{ 0\right\} \)) with \(0\le y \le x\) and \(y\ne 0\). Since \(\Phi \) vanishes only at 0, we have \(0<I_\Phi (k(x-y))<I_\Phi (kx)\) for all \(k>0\). Without loss of generality we can also assume that \(\left\| x\right\| _{\Phi ,s}=1\).
If \(K(x)=\emptyset \) then, by Lemma 3.2, \(\Phi \) admits an asymptote at infinity with the slope \(c>0\) and \(x\in L^1\). By strict monotonicity of the \(L^1\)-norm, \(\left\| x-y\right\| _1< \left\| x\right\| _1<\infty \), so \(x-y\in L^1\) and, again by Lemma 3.2,
Thus, in the following part of the proof we can assume that \(K(x)\ne \emptyset \), i.e., \(k_x\in K(x)\) for some \(1\le k_x<\infty \). Put \(a_s=\sup \left\{ 0\le u\le 1: s(u)=1\right\} \).
If \(I_\Phi (k_x(x-y))\ge a_s\) then \(I_\Phi (k_x x) > a_s\) and, applying the fact that s is strictly increasing on \((a_s,\infty )\), we get
If \(a_s=0\), the above inequality completes the sufficiency part of the proof.
So, let \(0<a_s\le 1\) and assume that \(I_\Phi (k_x(x-y))< a_s\). If \(x, y\in E_{\Phi }\) then we can find \(k_0>k_x\) such that \(I_\Phi (k_0(x-y))< a_s\). Therefore
whence \(E_{\Phi ,s}\) is strictly monotone and the statement (b) is proved.
If \(x, y\in L_{\Phi }\) then, by (i)(a), (i)(b) and Lemma 3.8, we can also find \(k_0>k_x\) such that \(I_\Phi (k_0(x-y))< a_s\). Thus (7) holds true and the proof is completed. \(\square \)
4 Uniform, lower local uniform and upper local uniform monotonicity of Orlicz spaces \(L_{\Phi ,s}\)
A Banach lattice \((X,\left\| \cdot \right\| )\) is said to be
-
uniformly monotone (UM) if for any \(\varepsilon \in (0, 1)\) there exists \(\delta (\varepsilon ) \in (0, 1)\) such that
$$\begin{aligned} \left\| y\right\| \ge \varepsilon \implies \left\| x-y\right\| \le 1-\delta (\varepsilon ) \end{aligned}$$(8)for all \(x\in S(X_+)\), \(0\le y \le x\). Recall that Birkhoff [1] defined a Banach lattice X to be uniformly monotone if for any \(\varepsilon >0\) there exists \(\eta (\varepsilon )>0\) such that
$$\begin{aligned} \left\| y\right\| \ge \varepsilon \implies \left\| x+y\right\| >1+\eta (\varepsilon ) \end{aligned}$$(9)for all \(x,y\in X_+\), \(x\in S(X_+)\). Kurc [19] showed that the definitions (8) and (9) are equivalent.
-
lower locally uniformly monotone (LLUM) if for every \(\varepsilon \in \left( 0,1\right] \) and \(x\in S(X_+)\) there exists \(\delta (x,\varepsilon )>0\) such that
$$\begin{aligned} \left\| y\right\| \ge \varepsilon \implies \left\| x-y\right\| \le 1-\delta (x,\varepsilon ) \end{aligned}$$for every \(0\le y \le x\),
-
upper locally uniformly monotone (ULUM) if for every \(\varepsilon >0\) and \(x\in S(X_+)\) there exists \(\delta (x,\varepsilon )>0\) such that
$$\begin{aligned} \left\| y\right\| \ge \varepsilon \implies \left\| x+y\right\| \ge 1+\delta (x,\varepsilon ) \end{aligned}$$whenever \(y \in X_+\).
It is known that a Banach lattice X is LLUM (resp. ULUM) if and only if for every \(x\in S(X_+)\) and every sequence \((x_n)\) with \(0\le x_n \le x\) (resp. \(0\le x\le x_n\)) the implication
holds true. Evidently, each of the properties UM, LLUM and ULUM of X implies strict monotonicity (SM) of X.
We will say that an Orlicz function \(\Phi \) satisfies the Kamińska condition for a constant \(0<d\le 1\) if \(\Phi (b_\Phi )\mu (e)\ge d\) and for each \(\varepsilon \in (0,d)\) there exists \(\delta >0\) such that
for all \(u>0\) and each atom \(e\in T_a\) (this condition, for \(d=1\), was introduced by Kamińska in the paper [17] and it was denoted by (*) there).
An important consequence of Kamińska condition is a significant simplification of \(\Delta _2\)-condition in the purely atomic measure case.
Lemma 4.1
Let \(T_a=\left\{ e_n: n\in {\mathcal {N}}\right\} \) and let the Orlicz function \(\Phi \) satisfies Kamińska condition with a constant \(d>0\). Then \(\Phi \) satisfies \(\Delta _2\)-condition on \(T_a\) if and only if for each \(\varepsilon >0\) there exist constants \(\delta >0\), \(K>1\) and a sequence \((c_n)\in \ell ^1\) such that
for each \(n\in {\mathcal {N}}\) and all \(u>0\) with \(\Phi (u)\mu (e_n) < d-\varepsilon \).
Proof
By \(\Delta _2\)-condition, there exist constants \(a>0\), \(K_0>1\) and a sequence \((c_n)\in \ell ^1\) such that
for all \(u>0\) with \(\Phi (u)\mu (e_n)\le a\) and \(n\in {\mathcal {N}}\). Let \(\varepsilon >0\) and let \(d>0\), \(\delta >0\) be taken from Kamińska condition. Without loss of generality we can assume that \(\delta <1\). If \(d-\varepsilon \le a\) then (10) is evident. So, let \(d-\varepsilon >a\). Then, for all \(u>0\) with \(a<\Phi (u)\mu (e_n) < d-\varepsilon \) and each \(n\in {\mathcal {N}}\) we have
whence
where \(K=\max \left\{ K_0,\frac{1}{a}\right\} \).
Conversely, if (10) holds then, using the fact that \(2\le (1+\delta )^i\) for some \(i\in {\mathcal {N}}\) and modifying (decreasing) the number \(a=d-\varepsilon >0\) if necessary, we get \(\Delta _2\)-condition on \(T_a\) (for detailed proof see Lemma 4 in [16]). \(\square \)
Before we prove the criteria for the Orlicz space \(L_{\Phi ,s}\) to be uniformly monotone, we need three more result on s-norms generated by outer functions that are constant nearby 0.
Lemma 4.2
Let s be an outer function, \(a_s=\sup \left\{ u\ge 0:s(u)=1\right\} >0\) and let us assume that \(\Phi \) satisfies \(\Delta _2\)-condition.
-
(i)
For all \(x\in L_{\Phi }\), \(\left\| x\right\| _{\Phi ,s}\ge 1 \implies I_\Phi (x)\ge a_s\),
-
(ii)
If \(T_a=\emptyset \) then, for any \(0<\varepsilon <a_s\) we can find \(\eta >0\) such that
$$\begin{aligned} I_\Phi (x)< a_s-\varepsilon \implies \left\| x\right\| _{\Phi ,s} < 1-\eta \end{aligned}$$(11)for all \(x\in L_{\Phi }\).
-
(iii)
If \(T_a\ne \emptyset \) then (11) holds true if and only if \(\Phi \) also satisfies Kamińska condition with the constant \(a_s\).
Proof
(i) Let \(\left\| x\right\| _{\Phi ,s}\ge 1\) and suppose that \(I_{\Phi }\left( x\right) <a_s\). By Lemma 3.8, we can find \(k>1\) such that \(I_{\Phi }\left( kx\right) <a_s\), whence
a contradiction.
(ii) (also proof of the sufficiency part of (iii)). Suppose that we can find \(\varepsilon \in (0,a_s)\) and a sequence \((x_n)\) of elements of \(L_{\Phi }{\setminus }\left\{ 0\right\} \) such that \(I_{\Phi }\left( x_n\right) \le a_s-\varepsilon \) and \(\left\| x_n\right\| _{\Phi ,s} \ge (1-\frac{1}{n+2})\) for all \(n\in {\mathcal {N}}\). By (i) we infer that \(\left\| x_n\right\| _{\Phi ,s} < 1\) for all \(n\in {\mathcal {N}}\).
If \(\mu (T{\setminus } T_a)>0\) then, by \(\Delta _2\)-condition, there exist \(u_0\ge 0\) and \(K_1>0\) such that
for all \(n\in {\mathcal {N}}\), where \(A_n=\left\{ t\in T{\setminus } T_a: \left| x_n(t)\right| < u_0\right\} \) and \(\Phi (u_0)\mu (T{\setminus } T_a)<\infty \) (with the convention \(0\cdot \infty =\infty \)).
Further, if \(T_a\ne \emptyset \) then, by Kamińska condition with \(d=a_s\) and Lemma 4.1, \(\Phi <\infty \) and there exist \(\delta >0\), \(K_2>0\) and a sequence \((c_n)\in \ell ^1\) such that
for every \(n\in {\mathcal {N}}\). Put
and \(\alpha _n = \left\| x_n\right\| _{\Phi ,s}^{-1} - 1\) for \(n\in {\mathcal {N}}\). Then \(0< \alpha _n < 1\) and \(\alpha _n \rightarrow 0\), so \(\alpha _n<\delta \) for all n large enough. Applying (i) we obtain
for all n large enough, a contradiction. Thus the condition (11) holds true.
Proof of the necessity part of (iii). Suppose that \(\Phi (b_\Phi )\mu (e)<a_s\) for an atom \(e\in T_a\). Denote \(x=b_\Phi \chi _e\) and \(\varepsilon =\frac{1}{2}(a_s -I_{\Phi }\left( x\right) )\). Then, evidently, \(I_{\Phi }\left( x\right) <a_s-\varepsilon \). Moreover, \(s(I_{\Phi }\left( x\right) ) = s(a_s-\varepsilon ) = 1\), \(\frac{1}{k}s(I_{\Phi }\left( kx\right) )\ge \frac{1}{k}>1\) for all \(0<k<1\) and \(\frac{1}{k}s(I_{\Phi }\left( kx\right) )=s(\infty )=\infty \) for all \(k>1\). Therefore \(\left\| x\right\| _{\Phi ,s}=1\) and this equality contradicts to the condition (11).
Let \(0<\varepsilon <a_s\). Take any \(u>0\) and \(n\in {\mathcal {N}}\) such that \(\Phi (u)\mu (e_n)\le a_s-\varepsilon \). For \(x=u\chi _{e_n}\) we have \(I_{\Phi }\left( x\right) \le a_s-\varepsilon \), whence, by (11), \(\left\| x\right\| _\Phi \le \left\| x\right\| _{\Phi ,s}<1-\eta \) for some \(0<\eta <1\). Thus, putting \(\delta =\frac{\eta }{1-\eta }\), and applying the fact, that (for the Luxemburg norm \(\left\| \cdot \right\| _\Phi \)) if \(\left\| z\right\| _\Phi \le 1\) then \(I_{\Phi }\left( z\right) \le \left\| z\right\| _\Phi \le 1\), we obtain
so Kamińska condition with the constant \(d=a_s\) holds true. \(\square \)
Lemma 4.3
Let s be an outer function with \(a_s>0\) and let \(\Phi \) satisfy \(\Delta _2\)-condition. If the Orlicz space \(L_{\Phi ,s}\) is uniformly monotone then the condition (11) holds true. If, moreover, the set of atoms \(T_a\) is not empty then the Kamińska condition is satisfied with the constant \(a_s\).
Proof
Suppose that (11) does not hold. Then we can find a sequence \((z_n)\) of nonnegative functions in \(L_{\Phi }\) such that \(I_{\Phi }\left( z_n\right) <a_s-\varepsilon \) and \(\left\| z_n\right\| _{\Phi ,s}>1-\frac{1}{n}\). Since the measure \(\mu \) is \(\sigma \)-finite, without loss of generality we can assume that \(T{\setminus } \mathrm{supp}(z_n)\ne \emptyset \). Note that \(\left\| z_n\right\| _{\Phi ,s}\le s(a_s-\varepsilon ) = 1\).
We claim that for each \(n\in N\) we can find a set \(A_n\subset T{\setminus } \mathrm{supp}(z_n)\) of positive and finite measure and a constant \(u_n>0\) such that \(I_{\Phi }\left( z_n+w_n\right) =a_s\), where \(w_n=u_n\chi _{A_n}\). Indeed, if \(A_n\subset T{\setminus } T_a\) then the atomless part of T is not empty, whence, by \(\Delta _2\)-condition, \(\Phi <\infty \) and the claim follows directly from continuity of the function \(\Phi \).
If \(A_n\) contains atoms then, without loss of generality, we can assume that \(A_n\) consists of one atom only, i.e., \(A_n=\left\{ e_n\right\} \subset T_a\). Since (UM) property implies (SM), by Theorem 3.9, \(\Phi (b_\Phi )\mu (e)\ge a_s\) for each atom \(e\in T_a\) and the claim is proved.
Since \(I_{\Phi }\left( z_n\right) \le a_s-\varepsilon \) we have \(I_{\Phi }\left( w_n\right) \ge \varepsilon \). Hence, by \(\Delta _2\)-condition, we can find \(\eta >0\) such that \(\left\| w_n\right\| _{\Phi ,s}\ge \eta \) for all \(n\in {\mathcal {N}}\). Define
Evidently \(0\le y_n\le x_n\) and \(\left\| x_n\right\| _{\Phi ,s}=1\). Moreover
Finally,
as \(n\rightarrow \infty \), and this contradicts to the assumption that \(L_{\Phi ,s}\) is uniformly monotone. The Kamińska condition follows directly from the Lemma 4.2. \(\square \)
Lemma 4.4
Let s be an outer function and let \(a_s=\sup \left\{ u\ge 0: s(u)=1\right\} \). For every \(v>a_s\) and \(\varepsilon \in (0,v-a_s)\) we can find \(\delta \in (0,1)\) such that
for every \(u\in [\varepsilon ,v]\).
Proof
Suppose that there are \(v>a_s\), \(\varepsilon \in (0,v-a_s)\) and a sequence \((u_n)\) of numbers from the interval \([\varepsilon ,v]\) such that \(s(v)\ge s(v-u_n) > (1-\frac{1}{n})s(v)\) for all \(n\in {\mathcal {N}}\). Since the sequence \((u_n)\) is bounded, passing to a subsequence if necessary, we can assume that \(u_n\rightarrow u_0\in [\varepsilon ,v]\) as \(n\rightarrow \infty \). Letting \(n\rightarrow \infty \) and applying the continuity of s, we get \(s(v-u_0)=s(v)\). Since \(u_0>0\), the last equality can hold true only if \(v-u_0,v \in [0,a_s]\), whence \(v\le a_s\), a contradiction. \(\square \)
Now we will prove the main theorem of this section.
Theorem 4.5
For any outer function s,
the Orlicz space \(L_{\Phi ,s}\) is uniformly monotone if and only if the following conditions are satisfied
-
(i)
the Orlicz function \(\Phi \) vanishes only at 0,
-
(ii)
\(\Phi \) satisfies \(\Delta _2\)-condition,
-
(iii)
\(\Phi \) satisfies Kamińska condition with the constant \(a_s\) provided \(a_s>0\) and the set of atoms \(T_a\) is not empty.
Proof
Necessity. Since UM implies SM, by Theorem 3.9 we infer that \(\Phi >0\). Moreover, UM implies LLUM and this property implies order continuity of the norm (see [8]), so the s-norm norm \(\left\| \cdot \right\| _{\Phi ,s}\) is order continuous. In consequence, the Luxemburg norm \(\left\| \cdot \right\| _\Phi \) is order continuous as well, whence \(\Phi \in \Delta _2\) (see, e.g., [3, 5]). Finally, if \(a_s>0\) and \(T_a\ne \emptyset \), Kamińska condition with the constant \(a_s\) follows from Lemma 4.3.
Sufficiency. Let \(\varepsilon >0\). Take any \(x\in S((L_{\Phi })_+)\) and let \(y\in (L_{\Phi })_+\) be such that \(0\le y \le x\) and \(\left\| y\right\| _{\Phi ,s}\ge \varepsilon \).
If \(K(x)=\emptyset \) then \(x\in L^1\). Hence \(x-y\in L^1\) as well because \(0\le x-y \le x\). Thus applying Lemma 3.2 and the fact that the Lebesgue space \(L^1\) is UM, we can find \(0<\eta _1<1\) such that
where \(c>0\) is the slope of the oblique asymptote of \(\Phi \) at infinity. Hence, in the following, we can assume that \(K(x)\ne \emptyset \).
Let \(k\ge 1\) be such that \(k\in K(x)\) and let us assume that \(I_{\Phi }\left( kx\right) -I_{\Phi }\left( ky\right) \ge a_s\). Since \(\Phi \in \Delta _2\) and \(\Phi >0\), the modular convergence of a sequence of functions to 0 implies its norm convergence to 0. Hence we can find \(\delta >0\) such that \(I_{\Phi }\left( y\right) >\delta \) for all \(\left\| y\right\| _{\Phi ,s}\ge \varepsilon \). Thus \(I_{\Phi }\left( ky\right) >\delta \) as well, whence \(I_{\Phi }\left( kx\right) >a_s\). Moreover, \(\delta <I_{\Phi }\left( ky\right) \le I_{\Phi }\left( kx\right) -a_s\). By superaddtivity of \(\Phi \) and by Lemma 4.4, we can find \(0<\eta _2<1\) such that
That completes the proof in the case when the outer function s is strictly increasing (i.e, \(a_s = 0\)).
Now, assume that \(a_s>0\) and \(I_{\Phi }\left( kx\right) -I_{\Phi }\left( ky\right) < a_s\). If \(I_{\Phi }\left( kx\right) \le a_s + \delta /2\) then
By Lemma 4.2, we can find \(\eta _3>0\) such that
Finally, assume that \(a_s>0\), \(I_{\Phi }\left( kx\right) -I_{\Phi }\left( ky\right) < a_s\) and \(I_{\Phi }\left( kx\right) > a_s + \delta /2\). Since \(\left\| x\right\| _{\Phi ,s}=1\) and \(k\in K(x)\), we have
where \(\eta _4 = 1 - 1/s(a_s+\delta /2) \in (0,1)\). Thus
Taking \(\eta = \min \left\{ \eta _i: 1\le i\le 4\right\} \) we have \(\left\| x-y\right\| _{\Phi ,s}<(1-\eta )\left\| x\right\| _{\Phi ,s}\) for all \(x\in S((L_{\Phi })_+)\) and all \(0\le y\le x\) with \(\left\| y\right\| _{\Phi ,s}\ge \varepsilon \), i.e., the space \(L_{\Phi ,s}\) is uniformly monotone. \(\square \)
We say that a sequence \((x_n)\) of nonnegative elements of a Banach lattice X is nearly order convergent to \(x\in X_+\) from below, if \(0\le x_n \le x\) and \(\left\| x_n\right\| \rightarrow \left\| x\right\| \).
Lemma 4.6
If the outer function s is strictly monotone and the Orlicz function \(\Phi \) vanishes only at 0, then the nearly order convergence from below implies the convergence in measure on the space \(L_{\Phi ,s}\).
Proof
Let \((x_n)\) be a sequence of nonnegative elements of \((L_{\Phi })_+\), \(x\in (L_{\Phi })_+\), \(0\le x_n \le x\) and \(\left\| x_n\right\| _{\Phi ,s} \rightarrow \left\| x\right\| _{\Phi ,s}\). Without loss of generality we can assume that \(\left\| x\right\| _{\Phi ,s}=1\).
Suppose that \((x_n)\) does not converge to x in measure \(\mu \) as \(n\rightarrow \infty \), i.e., we can find \(\varepsilon ,\delta >0\) and a strictly increasing sequence \((n_m)\) of natural numbers such that \(\inf _m\mu (A_m)\ge 2\delta \), where
Then \(0\le \varepsilon \chi _{A_m}\le x-x_{n_m}\in L_{\Phi }\), whence \(\varepsilon \chi _{A_m}\in L_{\Phi }\) and \(\mu (A_{n_m})<\infty \) for all \(m\in {\mathcal {N}}\).
If \(K(x)=\emptyset \) then, by Lemma 3.2, \(x\in L^1\). Thus \(x_n\in L^1\) as well and
whence \(\left\| x_{n_m}\right\| _{\Phi ,s}\not \rightarrow 1\), a contradiction.
Now, assume that \(K(x)\ne \emptyset \), i.e., \(\left\| x\right\| _{\Phi ,s}=\frac{1}{k_x}s(I_{\Phi }\left( k_x x\right) )=1\) for some \(k_x\ge 1\). Define \(\eta =I_{\Phi }\left( k_x\varepsilon \delta \right) \), \(v=I_{\Phi }\left( k_x x\right) \) and \(u_m=I_{\Phi }\left( k_x\varepsilon \chi _{A_m}\right) \) for \(m\in {\mathcal {N}}\). Since \(\Phi >0\) we have \(0<\eta <u_m\le v\) for all \(m\in {\mathcal {N}}\). Since \(a_s=0\), by Lemma 4.4 we can find \(\gamma >0\) such that \(s(v-u)\le (1-\gamma )s(v)\) for every \(u\in (\eta ,v]\). Thus, by superadditivity of \(\Phi \),
for all \(m\in {\mathcal {N}}\). Therefore \(\left\| x_{n_m}\right\| _{\Phi ,s}\not \rightarrow 1\), a contradiction that ends the proof. \(\square \)
Theorem 4.7
If the outer function s is strictly increasing and the Orlicz function \(\Phi \) vanishes only at 0, then the Orlicz space \(E_{\Phi ,s}\) is lower locally uniformly monotone.
Proof
Evidently we can assume that \(E_{\Phi }\ne \left\{ 0\right\} \). Let \(x\in S_+(E_{\Phi })\) and let \((x_n)\) be a sequence of \(E_{\Phi }\) such that \(0\le x_n \le x\) and \(\left\| x_n\right\| _{\Phi ,s}\rightarrow 1\). Let \(\lambda >0\) be an arbitrary positive number. We have \(0\le \lambda (x-x_n)\le \lambda x\) and, by Lemma 4.6, \(\lambda x_n{\mathop {\longrightarrow }\limits ^{\mu }}\lambda x\). Since \(x\in E_{\Phi }\), we have \(I_\Phi (\lambda x)<\infty \) so, by the Lebesgue dominated convergence theorem, \(I_\Phi (\lambda (x-x_n))\rightarrow 0\), whence, by arbitrariness of \(\lambda \), \(\left\| x-x_n\right\| _{\Phi ,s}\rightarrow 0\). Thus the space \(E_{\Phi ,s}\) is lower locally uniformly monotone. \(\square \)
Corollary 4.8
If the outer function s is strictly increasing then the the following conditions are equivalent
-
(i)
\(E_{\Phi ,s}\) is LLUM
-
(ii)
\(E_{\Phi ,s}\) is SM
-
(iii)
\(\Phi >0\).
Proof
Evidently, we can assume that \(E_{\Phi ,s}\ne \left\{ 0\right\} \). \((i)\Rightarrow (ii)\) is obvious. \((ii)\Rightarrow (iii)\) follows from Theorem 3.9. Finally, by Theorem 4.7\((iii)\Rightarrow (i)\). \(\square \)
Theorem 4.9
Let s and \(\Phi \) be an outer and Orlicz function respectively. If one of the following conditions is satisfied
-
(i)
\(L_{\Phi ,s}\) is ULUM,
-
(ii)
\(E_{\Phi ,s}\ne \left\{ 0\right\} \) and \(E_{\Phi ,s}\) is ULUM
then \(\Phi >0\) and \(\Phi \in \Delta _2\).
Proof
Denote by X the space \(L_{\Phi }\) in the case when \(L_{\Phi }\) is ULUM or the space \(E_{\Phi }\) whenever \(E_{\Phi }\ne \left\{ 0\right\} \) and \(E_{\Phi }\) is ULUM. Since ULUM property implies SM, by Lemma 3.7 we infer that \(\Phi >0\).
Suppose that \(\Phi \notin \Delta _2\). Then, since \(X\ne \left\{ 0\right\} \), we can find a sequence \((z_n)\) of elements of \(X_+\) such that \((z_n)\) is modular convergent to 0 but it is not norm convergent to 0 with respect to the norm \(\left\| \cdot \right\| _{\Phi ,s}\). Without loss of generality we can assume that \(\mu (T{\setminus } \bigcup _n \mathrm{supp}z_n)>0\), \(I_\Phi (z_n)\le 2^{-n}\) and \(\left\| z_n\right\| _{\Phi ,s}\ge \eta \) for all \(n\in {\mathcal {N}}\) and some \(\eta >0\).
Take \(x\in S_+(X)\) such that \(\mathrm{supp}(x) \subset T{\setminus } \bigcup _n \mathrm{supp}z_n\) and let \(\varepsilon >0\) be an arbitrary number. We can find \(k_x\ge 1\) such that \(\frac{1}{k_x}s\left( I_\Phi \left( k_xx\right) \right) \le \left\| x\right\| _{\Phi ,s}+\varepsilon \). Put \(y_n=k_x^{-1}z_n\). We have \(I_\Phi (k_x y_n) =I_{\Phi }\left( z_n\right) \le 2^{-n}\) and \(\left\| y_n\right\| _{\Phi ,s}=k_x^{-1}\left\| z_n\right\| _{\Phi ,s}\ge k_x^{-1}\eta >0\). Thus
whence
By arbitrariness of \(\varepsilon >0\) we infer that \(\limsup _{n\rightarrow \infty } \left\| x+y_n\right\| _{\Phi ,p}\le 1\), whence the space X is not ULUM, a contradiction. \(\square \)
The following theorem summarizes the relationship between uniform monotonicity, lower locally uniform monotonicity and upper local uniform monotonicity properties.
Theorem 4.10
Let s and \(\Phi \) be an outer and Orlicz function respectively.
-
(a)
If the outer function s is strictly increasing on \((0,\infty )\) or the measure \(\mu \) is atomless then the following conditions are equivalent
-
(i)
\(L_{\Phi ,s}\) is UM,
-
(ii)
\(L_{\Phi ,s}\) is LLUM,
-
(iii)
\(L_{\Phi ,s}\) is ULUM,
-
(iv)
\(\Phi >0\) and \(\Phi \in \Delta _2\).
-
(i)
-
(b)
If all of the assumptions of (a) are satisfied and, moreover, \(\Phi <\infty \) then in each of the conditions (i), (ii) and (iii) we can put the space \(E_{\Phi ,s}\) instead of \(L_{\Phi ,s}\).
Proof
-
(a)
Evidently \((i)\Rightarrow (ii)\) and \((i)\Rightarrow (iii)\). \((iii)\Rightarrow (iv)\) follows directly from Theorem 4.9, while \((iv)\Rightarrow (i)\) is a consequence of Theorem 4.5. \((ii)\Rightarrow (iv)\) Since LLUM implies SM, by Theorem 3.9, \(\Phi >0\). Moreover, LLUM implies order continuity of the norm (see [8]), whence (see [5, 10]) \(\Phi \in \Delta _2\).
-
(b)
It suffices to note that if \(\Phi <\infty \) and \(\Phi \in \Delta _2\) then \(E_{\Phi ,s}=L_{\Phi ,s}\).
\(\square \)
5 The dominated best approximation problem
Recall that if \(X=(X,\Vert \cdot \Vert )\) is a Banach space and \(\emptyset \ne A\subset X\), then for any \(x\in X\) the number
is called the distance of x from A and the sequence \((y_n)\) of elements of A is said to be an x-minimizing sequence whenever \(\lim _{n\rightarrow \infty }\left\| x-y_n\right\| =d(x,A)\). It is obvious that for any nonempty set A in X and any \(x\in X\) the distance d(x, A) is finite and \(d(x,A)=0\) for any \(x\in A\). Further, the function \({\mathcal {P}}_A(x)=X\rightarrow 2^X\) defined by
is called the projection from X onto A and, for any \(x\in X\), the set \({\mathcal {P}}_A(x)\) is called the projection of x onto A.
The best approximation problem deals with the description of the elements of the set \({\mathcal {P}}_A(x)\). If \({\mathcal {P}}_A(x)\ne \emptyset \) (resp. \(\mathrm{card} {\mathcal {P}}_A(x)=1\)) then we say that the best approximation problem is solvable (resp. uniquely solvable) for \(x\in X\). Further, the best approximation problem is said to be stable for \(x\in A\), if for every x-minimizing sequence \((y_n)\) in A we have \(d(y_n,{\mathcal {P}}_A(x))\rightarrow 0\) as \(n\rightarrow \infty \). Finally, the best approximation problem is called strongly solvable if it is uniquely solvable and stable.
A set A is called a sublattice of the Banach lattice X, if \(A\subset X\) and for any \(x,y \in A\) there exist \(x\wedge y\in A\) and \(x\vee y\in A\). The best approximation problem restricted to A being a sublattice and x being a boundary (lower or upper) of A is called the dominated best approximation problem. Let us recall theorems that present conditions under which the dominated best approximation problem is solvable (see [9, 11, 19]).
Theorem 5.1
(See [19, Proposition 3.1] Let X be a Banach lattice. For every boundary (lower or upper) of the sublattice A of X the dominated best approximation problem is uniquely solvable if and only if it is solvable and X is a strictly monotone space.
Theorem 5.2
(See [11, Theorem 4.3]) Let X be a \(\sigma \)-Dedekind complete Banach lattice and let A be a closed sublattice of X. If X is lower locally uniformly monotone then the dominated best approximation property is uniquely solvable for any (lower or upper) boundary of A.
Theorem 5.3
(See [11, Theorem 4.4]) Let X be a \(\sigma \)-Dedekind complete Banach lattice and let A be a closed sublattice of X. If X is order continuous and upper locally uniformly monotone then the dominated best approximation property is strongly solvable for every (lower or upper) boundary of A.
Now, applying Theorem 3.9 and Theorem 4.10 we get the following corollaries on solvability of the dominated best approximation problem in Orlicz spaces equipped with s-norms.
Corollary 5.4
Let \(\Phi \) be strictly increasing Orlicz function on \((0,\infty )\), s an outer function and let \(a_s=\sup \left\{ u\ge 0: s(u)=1\right\} \). If the outer function s is strictly increasing on \((0,\infty )\) or \(\Phi \) satisfies the \(\Delta _2\)-condition and \(\Phi (b_\Phi )\mu (e)\ge a_s >0\) for all atoms \(e\in T\) then, for every closed sublattice A of the Orlicz space \(L_{\Phi ,s}\), the dominated best approximation problem is uniquely solvable for any (lower or upper) boundary of A if and only if it is solvable.
Corollary 5.5
Let \(\Phi \) be a strictly increasing Orlicz function on \((0,\infty )\) that satisfies the \(\Delta _2\)-condition. If the outer function s is strictly increasing on \((0,\infty )\) or the measure \(\mu \) is atomless then for every closed sublattice A of the Orlicz space \(L_{\Phi ,s}\) the dominated best approximation property is strongly solvable for any boundary (lower or upper) of the sublattice A.
References
Birkhoff, G.: Lattice Theory. American Mathematical Society, Providence (1979)
Bru, B., Heinrich, H.: Monotonies des espaces d’Orlicz. C. R. Acad. Sci Paris 301, 893–894 (1985)
Chen, S.: Geometry of Orlicz Spaces, Dissertationes Mathematics, Vol 356, Warsaw (1996)
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 equipped with these norms. Nonlinear Anal. 69, 1796–1816 (2008)
Chen, S., Hudzik, H., Sun, Y.: Complemented copies of \(l^1\) in Orlicz spaces. Math. Nachr. 158, 299–309 (1992)
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, 1095–1105 (2015)
Cui, Y., Hudzik, H., Wisła, M., Wlaźlak, K.: Non-squareness properties of Orlicz spaces equipped with the \(p\)-Amemiya norm. Nonlinear Anal. Theory Methods Appl. 75, 3973–3993 (2012)
Dominguez, T., Hudzik, H., Lopez, G., Mastyło, M., Sims, B.: Complete characterization of Kadec-Klee properties in Orlicz spaces. Houston J. Math. 29(4), 1027–1044 (2003)
Foralewski, P., Hudzik, H., Kowalewski, W., Wisła, M.: Monotonicity properties of Banach lattices and their applications, ordered structures and applications. Positivity VII (Zaanen Centennial Conference) 22–26 July, (2013), Leiden, The Netherlands, Birkhäuser Basel, pp 203–232 (2016)
Hudzik, H.: Notes on Orlicz spaces. Teubner Texte Math. 120, 23–29 (1989). ((Proceedings of the\(2^{nd}\)International Conference on Function Spaces, August))
Hudzik, H., Kurc, W.: Monotonicity properties of Musielak–Orlicz spaces and dominated best approximation in Banach lattices. J. Approx. Theory 95(3), 353–368 (1998)
Hudzik, H., Maligranda, L.: Amemiya norm equals Orlicz norm in general. Indagationes Math. 11(4), 573–585 (2000)
Kaczmarek, R.: Uniform rotundity of Orlicz function spaces equipped with the p-Amemiya norm. Math. Nachr. 291(10), 1514–1532 (2018)
Kaczmarek, R.: Uniform rotundity in every direction of Orlicz function spaces equipped with the \(p\)-Amemiya norm. Collect. Math. 2, 1–16 (2018)
Kamińska, A.: On comparison of Orlicz spaces and Orlicz classes. Funct. Approx. 11, 113–125 (1980)
Kamińska, A.: Rotundity of Musielak-Orlicz sequence spaces. Bull. Acad. Polon. Sci. Math. 29, 137–144 (1981)
Kamińska, A.: Uniform rotundity of Musielak–Orlicz sequence spaces. J. Approx. Theory 6(4), 302–322 (1986)
Krasnoselskii, M.A., Rutickii, Y.B.: Convex Function and Orlicz Spaces. Nordhoff, Groningen (1961)
Kurc, W.: Strictly and uniformly monotone Musielak–Orlicz spaces and applications to best approximation. J. Approx. Theory 69(2), 173–187 (1992)
Kurc, W.: A dual property to uniform monotonicity in Banach lattices. Collect. Math. 44(1–3), 155–165 (1993)
Kurc, W.: Strictly and uniformly monotone sequential Musielak–Orlicz spaces. Collect. Math. 50(1), 1–17 (1999)
Lindenstrauss, J., Tzafriri, L.: Classical Banach Spaces. I. Sequence Spaces. Springer, Berlin (1977)
Lindenstrauss, J., Tzafriri, L.: Classical Banach Spaces. II. Springer, Berlin (1977)
Lü, Y.M., Wang, J.M., Wang, T.F.: Monotone coefficients and monotonicity of Orlicz spaces. Rev. Mat. Complut. 12(1), 105–114 (1999)
Luxemburg W.A.J.: Banach Function Spaces. Thesis Delft (1955)
Luxemburg, W.A.J., Zaanen, A.C.: Conjugate spaces of Orlicz spaces. Indag. Math. 18, 217–228 (1956)
Maligranda, L.: Orlicz Spaces and Interpolation, Seminars in Mathematics, vol. 5. Universidade Estadual de Campinas, Campinas (1989)
Milnes, H.W.: Convexity of Orlicz spaces. Pac. J. Math. 7, 1451–1486 (1957)
Musielak, J.: Orlicz Spaces and Modular Spaces. Lecture Notes in Mathematics, vol. 1034. Springer, Berlin (1983)
Nakano, H.: Topology and Linear Topological Spaces. Tokyo Mathematics Book Series, vol. 3. Maruzen, Tokyo (1951)
Ogryczak, W., Ruszczyński, A.: From stochastic dominance to mean-risk models: semideviations as risk measures. Eur. J. Oper. Res. 116, 33–50 (1999)
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 Kraków 2, 207–220 (1932)
Rao, M.M., Ren, Z.D.: Theory of Orlicz Spaces. Dekker Inc., New York (1991)
Wisła, M.: Geometric properties of Orlicz spaces equipped with \(p\)-Amemiya norms—results and open questions. Comm. Math. 55(2), 183–209 (2015)
Wisła, M.: Orlicz spaces equipped with \(s\)-norms. J. Math. Anal. Appl. 483(2), 123659 (2020). https://doi.org/10.1016/j.jmaa.2019.123659
Wnuk, W.: Representations of Orlicz lattices. Diss. Math. 235, 20 (1984)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Cui, Y., Wisła, M. Monotonicity properties and solvability of dominated best approximation problem in Orlicz spaces equipped with s-norms. Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat. 115, 198 (2021). https://doi.org/10.1007/s13398-021-01139-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13398-021-01139-8
Keywords
- Banach lattice
- Uniform monotonicity
- Strict monotonicity
- Lower locally uniform monotonicity
- Upper locally uniform monotonicity
- Orlicz space
- s-Norm