Skip to main content

Local monotonicity coefficients in Orlicz sequence spaces equipped with the p-Amemiya norm


In this paper, the monotonicity is investigated with respect to Orlicz sequence space \(l_{\varPhi , p}\) equipped with the p-Amemiya norm, and the necessary and sufficient condition is obtained to guarantee the uniform monotonicity, locally uniform monotonicity, and strict monotonicity for \(l_{\varPhi , p}\). This completes the results of the paper (Cui et al. in J. Math. Anal. Appl. 432:1095–1105, 2015) which were obtained for the non-atomic measure space. Local upper and lower coefficients of monotonicity at any point of the unit sphere are calculated, \(l_{\varPhi , p}\) is calculated.


The role of monotonicity in Banach lattices is similar to the role of rotundity in Banach spaces. It is well known that monotonicity properties of Banach lattices has various applications in the fields of ergodic theory (see [2]) and approximation theory; in particular, they are very useful for estimating the errors of the approximation. Also, they have been introduced and studied in the context of their geometric structure by Birkhoff in [3]. Moreover, Betiuk-Pilarska and Prus showed recently that if X is a weakly orthogonal Banach lattice with \(\varepsilon _{m}( X )<1\), then X has the weak normal structure. Consequently, X has the weak fixed point property (see [4]).

For lattice theory and monotonicity results in some Banach lattices we refer to [514]. Monotonicity has been extensively studied by several researchers in some specific lattices such as Lorentz, Orlicz or Musielak-Orlicz spaces [1533].

In this paper, monotonicity properties and the coefficient of monotonicity for Orlicz sequence spaces equipped with the p-Amemiya norm are investigated.

Let X be a Banach lattice with a lattice norm \(\|\cdot \|\) and \(X^{+}\) be the positive cone of X. We denote by \(B(X)\) the unit ball of X, by \(S(X)\) the unit sphere of X, and \(S(X^{+})=S(X)\cap X ^{+}\). We begin with auxiliary definitions and results that are used in the sequel.

A Banach lattice X is strictly monotonic (STM) if, for all x, \(y\in X^{+}\), the conditions \(x\geq y\), \(y\neq 0\), and \(\|x\|=\|y\|\) imply \(x=y\). X is uniformly monotone (UM) if, for any sequence \(\{x_{n}\}\), \(\{y_{n}\}\) in \(X^{+}\), \(y_{n}\geq x_{n}\), the equalities \(\lim_{n\rightarrow \infty }\|x_{n}\|=\lim_{n\rightarrow \infty }\|y_{n}\|\) imply \(\lim_{n\rightarrow \infty }\|y_{n}-x_{n}\|=0\).

A point \(x\in S(X^{+})\) is said to be upper (lower) locally monotonic point if, for any \(\varepsilon >0\), there exists \(\delta (\varepsilon )>0\) such that, for any \(y\in X^{+}\) (resp. for \(0\leq y\leq x\)), the condition \(\|y\| \geq \varepsilon \) implies \(\|x+y\|\geq 1+\delta (\varepsilon )\) (resp. \(\|x-y\|\leq 1- \delta (\varepsilon )\)). X is said to be upper (lower) locally uniformly monotone if any \(x\in S(X^{+})\) is upper (lower) locally monotone point.

Obviously, each UM Banach lattice is both (upper and lower) locally uniformly monotone, and both these properties imply strict monotonicity. In an UM Banach lattice, the norm is order continuous and monotonically complete. For example, the lattice \(L_{p}\) (\(1\leq p<\infty \)) is an UM, but the lattice \(L_{\infty }\) is not even a STM.

A map \(\varPhi : \mathbb{R}\rightarrow [0,\infty ]\) is said to be an Orlicz function if \(\varPhi (0)=0\), Φ is not identically equal to zero, it is even, convex, and left-continuous on the whole space of \(\mathbb{R}^{+}\). We say that Φ satisfies \(\Delta _{2}\)-condition at zero \((\varPhi \in \Delta _{2}(0))\) if there exist \(u_{0}>0\) and \(K>2\) such that \(\varPhi (u_{0})>0\) and \(\varPhi (2u)\leq K\varPhi (u)\) for any \(0< u\leq u_{0}\).

For a given Orlicz function Φ, we define a convex functional \(I_{\varPhi }\) on \(l^{0}\) by

$$ I_{\varPhi }(x)=\sum_{i=1}^{\infty } \varPhi \bigl( \bigl\vert x(i) \bigr\vert \bigr) \quad \text{for any } x\in l^{0}. $$

We define \(\operatorname{supp}(x)=\{i\in \mathbb{N}:|x(i)|\neq 0\}\) and the Orlicz sequence space \(l_{\varPhi }\) generated by an Orlicz function Φ by the formula

$$ l_{\varPhi }=\bigl\{ x\in l^{0}:I_{\varPhi }(cx)< \infty \mbox{ for some } c > 0 \mbox{ depending on } x\bigr\} . $$

The Orlicz space \(l_{\varPhi }\) is usually equipped with the Luxemburg norm

$$ \Vert x \Vert _{\varPhi }=\inf \biggl\{ \varepsilon >0:I_{\varPhi }\biggl(\frac{x}{\varepsilon }\biggr) \leq 1\biggr\} $$

or with an equivalent one

$$ \Vert x \Vert ^{\circ }_{\varPhi }=\sup \Biggl\{ \sum _{i=1}^{\infty } \bigl\vert x(i)y(i) \bigr\vert \,d\mu :y \in l_{\varPsi }, I_{\varPsi }(y)\leq 1\Biggr\} $$

called the Orlicz norm.

For any \(1\leq p\leq \infty \) and \(u\geq 0\), define

$$ s_{p}(u)= \textstyle\begin{cases} (1+u^{p})^{\frac{1}{p}} &\mbox{for } 1\leq p< \infty, \\ \max \{1,u\} &\mbox{for } p=\infty \end{cases} $$

and next define \(s_{\varPhi ,p}(x)=s_{p}\circ I_{\varPhi }(x)\) for all \(1\leq p\leq \infty \) and all \(x\in l^{0}\). Note that the functions \(s_{p}\) and \(s_{\varPhi ,p}\) are convex. Moreover, the function \(s_{p}\) is increasing on \(\mathbb{R}^{+}\) for \(1\leq p <\infty \), but the function \(s_{\infty }\) is only increasing on the interval \([1,\infty )\).

Definition 1.1


Let \(1\leq p\leq \infty \). For any \(x\in l^{0}\), define the p-Amemiya norm by the formula

$$ \Vert x \Vert _{\varPhi ,p}=\inf_{k>0} \frac{1}{k}s_{\varPhi ,p}(kx). $$

In this paper, the Orlicz sequence space equipped with the p-Amemiya norm will be denoted by \(l_{\varPhi ,p}\). It is known that \(\|x\|_{ \varPhi ,1}=\|x\|_{\varPhi }^{\circ }\) and \(\|x\|_{\varPhi ,\infty }=\|x\|_{ \varPhi }\) (see [34]). Orlicz sequence spaces \(l_{\varPhi ,p}\) are Banach lattices.

For a given Orlicz function Φ, define

$$ a_{\varPhi }=\max \bigl\{ u\geq 0:\varPhi (u)=0\bigr\} ,\qquad b_{\varPhi }=\sup \bigl\{ u\geq 0:\varPhi (u)< \infty \bigr\} . $$

For every Orlicz function Φ, we define its complementary function \(\varPsi : \mathbb{R}\rightarrow [0,\infty ] \) by the formula \(\varPsi (v)= \sup \{u|v|-\varPhi (u):u\geq 0\}\). The complementary function Ψ is also an Orlicz function. Let \(p_{+}\) be the right-hand side derivative of Φ on \([0,b_{\varPhi })\) and set \(p_{+}(b_{\varPhi })= \lim_{u\rightarrow b_{\varPhi }^{-}}p_{+}(u)\). Define the function \(\alpha _{p} : L_{\varPhi ,p}\rightarrow [-1,\infty ]\) by

$$ \alpha _{p}(x)= \textstyle\begin{cases} I^{p-1}_{\varPhi }(x)I_{\varPsi }(p_{+}( \vert x \vert ))-1, & 1\leq p< \infty, \\ -1, &p=\infty , I_{\varPhi }(x)\leq 1 , \\ I_{\varPsi }(p_{+}( \vert x \vert )), &p=\infty , I_{\varPhi }(x)>1 \end{cases} $$

and the functions \(k_{p}^{*}:l_{\varPhi ,p}\setminus \{0\}\rightarrow [0, \infty )\), \(k_{p}^{**}:l_{\varPhi ,p}\rightarrow [0,\infty )\) by

$$\begin{aligned}& k_{p}^{*}=\inf \bigl\{ k\geq 0:\alpha _{p}(kx)\geq 0\bigr\} \quad (\text{with } \inf \phi =\infty ), \\& k_{p}^{**}=\sup \bigl\{ k\geq 0:\alpha _{p}(kx)\leq 0\bigr\} . \end{aligned}$$

It is obvious that \(k_{p}^{*}(x)\leq k_{p}^{**}(x)\) for every \(1\leq p\leq \infty \) and \(x\in l_{\varPhi ,p}\setminus \{0\}\).

Set \(K_{p}(x)=\{0< k<\infty :k_{p}^{*}(x)\leq k\leq k_{p}^{**}(x)\}\). Note that \(K_{p}(x)=\emptyset \) if and only if \(k_{p}^{*}(x)=k_{p} ^{**}(x)=\infty \). Moreover, the p-Amemiya norm \(\|x\|_{\varPhi ,p}\) is attained at every point \(k\in [k_{p}^{*}(x),k_{p}^{**}(x))\) where \(k_{p}^{*}(x)<\infty \), and at \(k_{p}^{**}(x)\) whenever this number is finite.

Monotonicity in \(l_{\varPhi ,p}\) spaces

We begin this section with some useful lemmas.

Lemma 2.1


Let X be a Banach sequence lattice. Xis STM iff, for every\(x=(x(1),x(2),\ldots )\in X\)such that\(\|x\|=1\)for every atom\(\{j\}\)included in\(\operatorname{supp}(x)\), \(\|x \chi _{\mathbb{N}\setminus \{j\}}\|<\|x\|\).

Lemma 2.2


A Banach latticeXis UM iff, for any\(x\in X\)such that\(\|x\|=1\)and for every\(\varepsilon >0\), there exists\(\delta >0\)such that, for any measurable set\(A\subset \operatorname{supp}(x)\)where\(\|x\chi _{A}\|>\varepsilon \), we have\(\|x\chi _{\mathbb{N}\setminus A}\|<\|x \|-\delta \).

Lemma 2.3

Let\(x\in l_{\varPhi ,p}\setminus \{0\}\)be given. If\(K_{p}(x)=\emptyset \), then\(\|x\|_{\varPhi ,p}=r_{\varPhi }\sum_{i=1}^{\infty }|x(i)|\), where\(r_{\varPhi }=\lim_{u\rightarrow \infty }\frac{\varPhi (u)}{u}\).


Let \(f(k)=\frac{1}{k}(1+I_{\varPhi }^{p}(kx))^{\frac{1}{p}}\). Then \(\lim_{k\rightarrow 0^{+}}f(k)=+\infty \). Since \(f(k)\) is continuous and \(K_{p}(x)=\emptyset \), we have

$$ \Vert x \Vert _{\varPhi ,p} =\lim_{k\rightarrow \infty }f(k) =\lim _{k\rightarrow \infty }\frac{I _{\varPhi }(kx)}{k} =\lim_{k\rightarrow \infty } \sum_{i=1}^{\infty } \bigl\vert x(i) \bigr\vert \frac{ \varPhi (kx(i))}{k \vert x(i) \vert } =r_{\varPhi }\sum _{i=1}^{\infty } \bigl\vert x(i) \bigr\vert . $$


Lemma 2.4

LetΦbe an Orlicz function. For any subset\(A\subset \mathbb{N}\)and anypwith\(1\leq p<\infty\), the following conditions are equivalent:

  1. (1)

    For any\(x\in l_{\varPhi,p}\)satisfying\(\operatorname{supp}(x)\subset A\), we have\(K_{p}(x)=\emptyset\).

  2. (2)

    \(I_{\varPhi}^{p-1}(q_{-}(r_{\varPhi}\chi_{A}))I_{\varPsi}(r_{\varPhi}\chi_{A})<1\), where\(\chi_{A}=\sum_{i\in A}e_{i}\).


\((1)\Rightarrow(2)\) If \(I_{\varPhi}^{p-1}(q_{-}(r_{\varPhi}\chi_{A}))I_{\varPsi}(r_{\varPhi}\chi_{A})>1\), take a sequence \(\{N_{n}\}\) of subsets of \(\mathbb{N}\) such that \(N_{1}\subset N_{2}\subset N_{3}\subset\cdots\) , \(\bigcup_{n=1}^{\infty}N_{n}=\mathbb{N}\), and \(\chi_{N_{n}}\in l_{\varPhi,p}\) for all \(n\in\mathbb{N}\). Since

$$\lim_{n\rightarrow \infty}I_{\varPhi}^{p-1}\bigl(q_{-}(n\chi_{N_{n}\cap A})\bigr)I_{\varPsi}\bigl(p_{+}(n\chi_{N_{n}\cap A})\bigr)=I_{\varPhi}^{p-1}\bigl(q_{-}(r_{\varPhi}\chi_{A})\bigr)I_{\varPsi}(r_{\varPhi}\chi_{A}), $$

there exists \(n_{0}\in\mathbb{N}\) such that \(I_{\varPhi}^{p-1}(q_{-}(n_{0}\chi_{N_{n_{0}}\cap A}))I_{\varPsi}(p_{+}(n_{0}\chi_{N_{n_{0}}\cap A}))>1\), thus \(K_{p}(n_{0}\chi_{N_{n_{0}}\cap A})\neq\emptyset\). Therefore \(I_{\varPhi}^{p-1}(q_{-}(r_{\varPhi}\chi_{A}))I_{\varPsi}(r_{\varPhi}\chi_{A})\leq 1\).

If \(I_{\varPhi}^{p-1}(q_{-}(r_{\varPhi}\chi_{A}))I_{\varPsi}(r_{\varPhi}\chi_{A})=1\), then \(I_{\varPhi}(q_{-}(r_{\varPhi}\chi_{A}))<\infty\). Define \(y=q_{-}(r_{\varPhi}\chi_{A})\), we have \(I_{\varPhi}(y)<\infty\), that is, \(y\in l_{\varPhi,p}\).

For any \(k\geq1\), we get \(I_{\varPhi}^{p-1}(ky)I_{\varPsi}(p_{+}(ky))\leq I_{\varPhi}^{p-1}(q_{-}(r_{\varPhi}\chi_{A}))I_{\varPsi}(r_{\varPhi}\chi_{A})=1\) and

$$\begin{aligned} I_{\varPhi}^{p-1}(ky)I_{\varPsi}\bigl(p_{+}(ky)\bigr) &\geq I_{\varPhi}^{p-1}(y)I_{\varPsi}\bigl(p_{+}(y)\bigr) \\ &= I_{\varPhi}^{p-1}\bigl(q_{-}(r_{\varPhi}\chi_{A})\bigr)I_{\varPsi}\bigl(p_{+}\bigl(q_{-}(r_{\varPhi}\chi_{A})\bigr)\bigr) \\ &\geq I_{\varPhi}^{p-1}\bigl(q_{-}(r_{\varPhi}\chi_{A})\bigr)I_{\varPsi}(r_{\varPhi}\chi_{A})=1. \end{aligned}$$

Therefore, \([1,\infty)\subset K_{p}(y)\neq\emptyset\), so \(I_{\varPhi}^{p-1}(q_{-}(r_{\varPhi}\chi_{A}))I_{\varPsi}(r_{\varPhi}\chi_{A})<1\).

\((2)\Rightarrow(1)\) Set \(x\in l_{\varPhi,p}\), \(\operatorname{supp}(x)\subset A\). If \(I_{\varPhi}^{p-1}(q_{-}(r_{\varPhi}\chi_{A}))I_{\varPsi}(r_{\varPhi}\chi_{A})<1\), then

$$I_{\varPhi}^{p-1}(kx)I_{\varPsi}\bigl(p_{+}(kx)\bigr)\leq I_{\varPhi}^{p-1}\bigl(q_{-}(r_{\varPhi}\chi_{A})\bigr)I_{\varPsi}(r_{\varPhi}\chi_{A})< 1 $$

for all \(k>0\). So \(k_{p}^{*}(x)=\infty\), whence \(K_{p}(x)=\emptyset\). □

Next, let us discuss the strict monotonicity, upper and lower local uniform monotonicities, and uniform monotonicity of \(l_{\varPhi ,p}\).

Theorem 2.1

If\(1\leq p<\infty \), the space\(l_{\varPhi ,p}\)is strictly monotone if and only if one of the following conditions holds:

  1. (1)

    \(a_{\varPhi }=0\)or

  2. (2)

    \(I_{\varPhi }^{p-1}(q_{-}(r_{\varPhi }))I_{\varPsi }(r_{\varPhi })< 1\).

If\(p=\infty \), \(l_{\varPhi ,p}\)is strictly monotone if and only if\(a_{\varPhi }=0\)and\(\varPhi \in \Delta _{2}(0)\).


Here, we only discuss the case where \(1\leq p<\infty \), see [22] for detailed discussion whenever \(p=\infty \).

Necessity. If \(a_{\varPhi }>0\), divide \(\mathbb{N}\) into infinite pairwise disjoint subsets, denoted by \(N_{n}\), such that \(\operatorname{Card}(N _{n})=\infty \) for all \(n\in \mathbb{N}\). Define \(x_{n}= \sum_{i\in N_{n+1}}a_{\varPhi }e_{i}\), \(x=\sum_{i\in N_{1}}a_{\varPhi }e_{i}\).

For any \(k>1\), we have \(I_{\varPhi }(kx_{n})=I_{\varPhi }(kx)=I_{\varPhi }(k(x _{n}+x))=\infty \). Moreover, for any \(k\in (0,1]\), we get

$$ \frac{1}{k}\bigl(1+I_{\varPhi }^{p}(kx_{n}) \bigr)^{\frac{1}{p}} =\frac{1}{k}\bigl(1+I _{\varPhi }^{p}(kx) \bigr)^{\frac{1}{p}} =\frac{1}{k}\bigl(1+I_{\varPhi }^{p} \bigl(k(x_{n}+x)\bigr)\bigr)^{ \frac{1}{p}}=\frac{1}{k}. $$

Therefore, \(\|x_{n}\|_{\varPhi ,p}=\inf_{k>0}\frac{1}{k}(1+I_{\varPhi }^{p}(kx _{n}))^{\frac{1}{p}}=1\). In the same way we obtain that \(\|x\|_{ \varPhi ,p}=\|x_{n}+x\|_{\varPhi ,p}=1\). This shows that \(l_{\varPhi ,p}\) is not STM.

If \(I_{\varPhi }^{p-1}(q_{-}(r_{\varPhi }))I_{\varPsi }(r_{\varPhi })\geq1\), take a sequence \(\{N_{n}\}\) of subset of \(\mathbb{N}\) such that \(N_{1}\subset N_{2}\subset N_{3}\subset \cdots \) , \(\bigcup_{n=1}^{\infty }N_{n}= \mathbb{N}\), and \(\chi _{N_{n}}\in l_{\varPhi ,p}\) for all \(n\in \mathbb{N}\). Since

$$ \lim_{n\rightarrow \infty }I_{\varPhi }^{p-1} \bigl(q_{-}(n\chi _{N_{n}})\bigr)I_{\varPsi }\bigl(p _{+}(n\chi _{N_{n}})\bigr)=I_{\varPhi }^{p-1} \bigl(q_{-}(r_{\varPhi })\bigr)I_{\varPsi }(r_{ \varPhi }), $$

there exists \(n_{0}\in \mathbb{N}\) such that \(I_{\varPhi }^{p-1}(q_{-}(n _{0}\chi _{N_{n_{0}}}))I_{\varPsi }(p_{+}(n_{0}\chi _{N_{n_{0}}}))\geq1\). Consequently, by Lemma 2.4 we have \(K_{p}(n_{0}\chi _{N_{n _{0}}})\neq \emptyset \).

Set \(x=n_{0}\chi _{N_{n_{0}}}\). Then \(x\in l_{\varPhi ,p}\) and \(K_{p}(x) \neq \emptyset \). Take \(h\in K_{p}(x)\) and define \(y=x+\frac{a_{ \varPhi }}{h}\chi _{\mathbb{N}\setminus N_{n_{0}}}\). Then we have \(x \leq y\), \(x\neq y\), and

$$\begin{aligned} \Vert y \Vert _{\varPhi ,p}&\leq \frac{1}{h} \bigl(1+I_{\varPhi }^{p}(hy)\bigr)^{\frac{1}{p}} = \frac{1}{h}\bigl(1+\bigl(I_{\varPhi }(hx)+I_{\varPhi }(a_{\varPhi } \chi _{\mathbb{N}\setminus N_{n_{0}}})\bigr)^{p}\bigr)^{\frac{1}{p}} \\ &= \frac{1}{h}\bigl(1+I_{\varPhi }^{p}(hx) \bigr)^{\frac{1}{p}}= \Vert x \Vert _{\varPhi ,p}. \end{aligned}$$

Therefore, \(\|x\|_{\varPhi ,p}=\|y\|_{\varPhi ,p}\), which implies that \(l_{\phi ,p}\) is not STM.

Sufficiency. If \(a_{\varPhi }=0\), for any \(x,y\in (l_{\varPhi ,p})^{+}\) satisfying \(\|x\|_{\varPhi ,p}=1\) and \(y\neq 0\), the following cases are considered,

  1. 1.

    If \(K_{p}(x)\neq \emptyset \), then \(K_{p}(x+y)\neq \emptyset \), so taking \(k\in K_{p}(x+y)\), we get

    $$\begin{aligned} \Vert x+y \Vert _{\varPhi ,p}^{p}- \Vert x \Vert _{\varPhi ,p}^{p} &=\frac{1}{k^{p}}\bigl(1+I^{p} _{\varPhi }\bigl(k(x+y)\bigr)\bigr)- \Vert x \Vert _{\varPhi ,p}^{p} \\ &\geq \frac{1}{k^{p}}\bigl(1+I^{p}_{\varPhi } \bigl(k(x+y)\bigr)\bigr)-\frac{1}{k^{p}}\bigl(1+I ^{p}_{\varPhi }(kx) \bigr) \\ &\geq \frac{1}{k^{p}}\bigl(\bigl(I_{\varPhi }(kx)+I_{\varPhi }(ky) \bigr)^{p}-I^{p}_{\varPhi }(kx)\bigr) \\ &\geq \frac{1}{k^{p}}I^{p}_{\varPhi }(ky)>0. \end{aligned}$$
  2. 2.

    If \(K_{p}(x)=\emptyset \), then \(K_{p}(x+y)=\emptyset \), and according to Lemma 2.3,

    $$\begin{aligned} \Vert x+y \Vert _{\varPhi ,p} &=r_{\varPhi }\sum _{i=1}^{\infty } \bigl\vert x(i)+y(i) \bigr\vert =r_{ \varPhi } \Biggl(\sum_{i=1}^{\infty }x(i)+ \sum_{i=1}^{\infty }y(i) \Biggr) \\ &= \Vert x \Vert _{\varPhi ,p}+ \Vert y \Vert _{\varPhi ,p} = \Vert x \Vert _{\varPhi ,p}>1. \end{aligned}$$

When \(K_{p}(x+y)\neq \emptyset \), taking \(k\in K_{p}(x+y)\), the proof can be proceeded in the same way as in case 1. In conclusion, \(l_{\varPhi , p}\) is strictly monotone.

In the following we consider (2) was established. For any \(x\in S(l _{\varPhi ,p})\) and any \(j\in \operatorname{supp}(x)\), we have \(\|x\chi _{j}\| _{\varPhi ,p}>0\). According to Lemma 2.4, we know that \(K_{p}(x\chi _{\mathbb{N}\setminus \{j\}})=\emptyset \). If \(K_{p}(x)= \emptyset \), then

$$\begin{aligned} \Vert x \Vert _{\varPhi ,p} &=r_{\varPhi }\sum _{i=1}^{\infty } \bigl\vert x(i) \bigr\vert =r_{\varPhi } \bigl\vert x(j) \bigr\vert +r _{\varPhi }\sum _{i\neq j} \bigl\vert x(i) \bigr\vert \\ &\geq \Vert x \chi _{\{j\}} \Vert _{\varPhi ,p}+ \Vert x \chi _{\mathbb{N}\setminus \{j\}} \Vert _{\varPhi ,p} > \Vert x \chi _{\mathbb{N}\setminus \{j\}} \Vert _{\varPhi ,p}. \end{aligned}$$

If \(K_{p}(x)\neq \emptyset \), taking \(h\in K_{p}(x)\), we get

$$ \Vert x \Vert _{\varPhi ,p} =\frac{1}{h}\bigl(1+I_{\varPhi }^{p}(hx) \bigr)^{\frac{1}{p}} \geq \frac{1}{h}\bigl(1+I_{\varPhi }^{p}(hx \chi _{\mathbb{N}\setminus \{j\}})\bigr)^{ \frac{1}{p}} > \Vert x\chi _{\mathbb{N}\setminus \{j\}} \Vert _{\varPhi ,p}. $$

According to Lemma 2.1, \(l_{\varPhi , p}\) is strictly monotone. □

Lemma 2.5

If\(x\in S(l_{\varPhi ,p})\), \(x\geq 0\), and\(K_{p}(x)=\emptyset \), thenxis a point of upper local uniform monotonicity as well as a point of lower local uniform monotonicity.


By Lemma 2.3, we have \(\|x\|_{\varPhi ,p}=r_{\varPhi }\sum_{i=1}^{ \infty }x(i)\). For any \(y\in (l_{\varPhi ,p})^{+}\) with \(y\leq x\) and \(\|y\|_{\varPhi ,p}\geq \varepsilon \), we have \(K_{\varPhi ,p}(x-y)=\emptyset \), whence

$$\begin{aligned} \Vert x-y \Vert _{\varPhi ,p} &=r_{\varPhi }\sum _{i=1}^{\infty }\bigl(x(i)-y(i)\bigr)=r_{\varPhi } \sum_{i=1}^{\infty }x(i)-r_{\varPhi } \sum_{i=1}^{\infty }y(i) \\ &= \Vert x \Vert _{ \varPhi ,p}- \Vert y \Vert _{\phi ,p} \leq 1-\varepsilon . \end{aligned}$$

This shows that x is a point of lower local uniform monotonicity.

Assume that x is not a point of upper local uniform monotonicity. Then there exists a sequence \(\{x_{n}\}\) in \((l_{\varPhi ,p})^{+}\) such that \(\|x_{n}\|_{\varPhi ,p}\geq \varepsilon >0\) and \(\lim_{n\rightarrow \infty }\|x+x_{n}\| _{\varPhi ,p}=1\). Next, we consider some cases under this assumption.

  1. 1.

    There exists an infinite number of n such that \(K_{p}(x_{n}+x)= \emptyset \). Due to Lemma 2.3, we have

    $$\begin{aligned} \Vert x+x_{n} \Vert _{\varPhi ,p} &=r_{\varPhi }\sum _{i=1}^{\infty }\bigl(x(i)+x_{n}(i) \bigr) =r _{\varPhi }\sum_{i=1}^{\infty }x(i)+r_{\varPhi } \sum_{i=1}^{\infty }x_{n}(i) \\ &\geq \Vert x \Vert _{\varPhi ,p}+ \Vert x_{n} \Vert _{\varPhi ,p} \geq 1+\varepsilon . \end{aligned}$$

    This inequality holds for infinite \(n\in \mathbb{N}\), which is contradictory obviously.

  2. 2.

    There exists an infinite number of \(n\in \mathbb{N}\) such that \(K_{p}(x_{n}+x)\neq \emptyset \). In this case, applying the double extract subsequence theorem, we may assume that \(K_{p}(x_{n}+x)\neq \emptyset \) for any \(n\in \mathbb{N}\). Let \(k_{n}\in K_{p}(x_{n}+x)\), \(n=1,2,\ldots \) . Here, we consider two subcases as follows.

    1. (1)

      If \(\lim_{n\rightarrow \infty }k_{n}= k_{0}<\infty \), then

      $$ \Vert x+x_{n} \Vert _{\varPhi ,p}=\frac{1}{k_{n}} \bigl(1+I_{\varPhi }^{p}\bigl(k_{n}(x_{n}+x) \bigr)\bigr)^{ \frac{1}{p}} \geq \frac{1}{k_{n}}\bigl(1+I_{\varPhi }^{p}(k_{n}x) \bigr)^{ \frac{1}{p}}. $$

      Since \(K_{p}(x)=\emptyset \), \(\lim_{n\rightarrow \infty }\|x_{n}+x\|_{\varPhi ,p}=1\) and by the Fatou lemma, we have

      $$ 1=\lim_{n\rightarrow \infty } \Vert x_{n}+x \Vert _{\varPhi ,p}\geq \frac{1}{k_{0}}\bigl(1+I_{ \varPhi }^{p}(k_{0}x) \bigr)^{\frac{1}{p}}> \Vert x \Vert _{\varPhi ,p}=1, $$

      which is a contradiction.

    2. (2)

      If \(\lim_{n\rightarrow \infty }k_{n}=\infty \), then by superadditivity of Φ on \(R_{+}\), we get

      $$\begin{aligned} 1 &=\liminf_{n\rightarrow \infty } \Vert x_{n}+x \Vert ^{p} \\ &=\liminf_{n\rightarrow \infty }\frac{1}{k_{n}^{p}}\bigl(1+I_{\varPhi }^{p} \bigl(k_{n}(x _{n}+x)\bigr)\bigr) \\ &\geq \liminf_{n\rightarrow \infty }\frac{1}{k_{n}^{p}} \bigl(1+I_{\varPhi }^{p}(k_{n}x _{n})+I_{\varPhi }^{p}(k_{n}x)\bigr) \\ &=\liminf_{n\rightarrow \infty } \biggl(\frac{1}{k_{n}^{p}} \bigl(1+I_{\varPhi }^{p}(k_{n}x _{n}) \bigr)+\frac{1}{k_{n}^{p}}\bigl(1+I_{\varPhi }^{p}(k_{n}x) \bigr) \biggr) \\ &\geq \liminf_{n\rightarrow \infty }\bigl( \Vert x_{n} \Vert ^{p}_{\varPhi ,p}+ \Vert x \Vert ^{p}_{\varPhi ,p} \bigr) \\ &\geq 1+\varepsilon . \end{aligned}$$

This is a contradiction, which finishes the proof. □

Lemma 2.6


  1. (1)

    For any sequences\(\{\xi _{k}\}\), \(\{\eta _{k}\}\), we have\((\sum_{k}|\xi _{k}+\eta _{k}|^{p})^{\frac{1}{p}}\leq (\sum_{k}|\xi _{k}|^{p})^{ \frac{1}{p}}+(\sum_{k}|\eta _{k}|^{p})^{\frac{1}{p}}\)for every\(1\leq p<\infty \).

  2. (2)

    \((1+(u+v)^{p})^{\frac{1}{p}}\leq (1+u^{p})^{\frac{1}{p}}+v\)for allu, \(v\geq 0\)and every\(1\leq p<\infty \).

  3. (3)

    \(\max \{1,(u+v)\}\leq \max \{1,u\}+v\)for allu, \(v\geq 0 \).

  4. (4)

    \(s_{\varPhi ,p}(x+y)\leq s_{\varPhi ,p}(x)+I_{\varPhi }(y)\)for all measurable functionsx, ywith disjoint supports.

Theorem 2.2

For the Orlicz sequence space, the following conditions are equivalent:

  1. (1)

    \(l_{\varPhi ,p}\)is uniformly monotone.

  2. (2)

    \(l_{\varPhi ,p}\)is upper locally uniformly monotone.

  3. (3)

    \(l_{\varPhi ,p}\)is lower locally uniformly monotone.

  4. (4)

    \(\bigg\{ \begin{array}{l@{\quad}l} l_{\varPhi ,p} \textit{ is strictly monotone}, &\textit{if } p=\infty , \\ l_{\varPhi ,p} \textit{ is strictly monotone and } \varPhi \in \Delta _{2}(\infty ), &\textit{if } 1\leq p<\infty . \end{array} \)


Obviously, \((1)\Rightarrow (2)\) and \((1)\Rightarrow (3)\).

\((4)\Rightarrow (1)\). In this paper, we only discuss the case \(1\leq p<\infty \), because the case \(p=\infty \) was discussed in [22].

Assume that \(\varPhi \in \Delta _{2}(0)\). If \(a_{\varPhi }=0\) but \(l_{\varPhi ,p}\) is not uniformly monotone, there exist \(\varepsilon >0\) and \(x_{n}\), \(y_{n} \in l_{\varPhi ,p}^{+}\) for all \(n\in \mathbb{N}\) satisfying \(\|x_{n}\|_{\varPhi ,p}=1\), \(\|y_{n}\|_{\varPhi ,p}\geq \varepsilon \), and \(\lim_{n\rightarrow \infty }\|x_{n}+y_{n}\|_{\varPhi ,p}=1\). Then \(\|y_{n}/2\| _{\varPhi }\geq 2^{-\frac{1}{p}-1}\varepsilon \). By virtue of \(\varPhi \in \Delta _{2}(0)\), there exists \(\delta >0\) such that \(I_{\varPhi }(y_{n}/2) \geq \delta \).

Take \(k_{n}\in K_{p}(x_{n}+y_{n})\). Since \(\|x_{n}+y_{n}\|_{\varPhi ,p} \leq 2\), we get \(k_{n}>1/2\). Hence

$$\begin{aligned} \Vert x_{n}+y_{n} \Vert _{\varPhi ,p}^{p}-1 &= \Vert x_{n}+y_{n} \Vert _{\varPhi ,p}^{p}- \Vert x _{n} \Vert _{\varPhi ,p}^{p} \\ &\geq \frac{1}{k_{n}^{p}} \bigl(1+I^{p}_{\varPhi } \bigl(k_{n}(x_{n}+y_{n})\bigr) \bigr)- \frac{1}{k_{n}^{p}} \bigl(1+I^{p}_{\varPhi }(k_{n}x_{n}) \bigr) \\ &\geq \frac{1}{k_{n}^{p}} \bigl(\bigl(I_{\varPhi }(k_{n}x_{n})+I_{\varPhi }(k_{n}y _{n})\bigr)^{p}-I^{p}_{\varPhi }(k_{n}x_{n}) \bigr) \\ &\geq \frac{1}{k_{n}^{p}}I^{p}_{\varPhi }(k_{n}y_{n}) \geq 2^{p}I^{p} _{\varPhi } \biggl( \frac{y_{n}}{2} \biggr)\geq 2^{p}\delta ^{p}, \end{aligned}$$

which contradicts the equality \(\lim_{n\rightarrow \infty }\|x_{n}+y_{n}\|_{ \varPhi ,p}=1\).

Moreover, if \(I_{\varPhi }^{p-1}(q_{-}(r_{\varPhi }))I_{\varPsi }(r_{\varPhi }) < 1\), then \(I_{\varPhi }^{p-1}(p_{+}(kx))I_{\varPsi }(kx)\leq I_{\varPhi } ^{p-1}(q_{-}(r_{\varPhi }))I_{\varPsi }(r_{\varPhi })< 1\) for all \(x\in l _{\varPhi ,p}\) and all \(k>0\), so we have \(k_{x}^{*}=\infty \) and \(K_{p}(x)=\emptyset \). For any \(\varepsilon >0\) and any \(\operatorname{supp}(x) \subset A\) such that \(\|x\chi _{A}\|_{\varPhi ,p}\geq \varepsilon \), it is easy to see that \(K_{p}(x\chi _{A})=\emptyset \), \(K_{p}(x \chi _{\mathbb{N}\setminus A})=\emptyset \). Therefore,

$$\begin{aligned} \Vert x \Vert _{\varPhi ,p} &=r_{\varPhi }\sum _{i=1}^{\infty } \bigl\vert x(i) \bigr\vert =r_{\varPhi } \sum_{i\in A} \bigl\vert x(i) \bigr\vert +r_{\varPhi }\sum_{i\in \mathbb{N}\setminus A} \bigl\vert x(i) \bigr\vert \\ &> \Vert x\chi _{A} \Vert _{\varPhi ,p}+ \Vert x\chi _{\mathbb{N}\setminus A} \Vert _{\varPhi ,p} \\ &\geq \Vert x\chi _{\mathbb{N}\setminus A} \Vert _{\varPhi ,p}+\varepsilon . \end{aligned}$$

By Lemma 2.2, \(l_{\varPhi ,p}\) is uniformly monotone.

\((2)\Rightarrow (4)\). We only need to prove that \(\varPhi \in \Delta _{2}(0)\) if \(1\leq p<\infty \). If not, for any \(\varepsilon \in (0,1/2)\) there exists a sequence \(\{u_{n}\}\downarrow 0\) such that

$$ \varPhi (u_{n})< \varepsilon u_{n}p_{+}(u_{n}),\qquad \Biggl(\sum_{n=1}^{\infty }\varPsi \bigl(p_{+}(u_{n})\bigr) \Biggr) \Biggl(\sum _{n=1} ^{\infty }\varPhi (u_{n}) \Biggr)^{p-1}=1. $$

Set \(k=(1+(\sum_{n=1}^{\infty }\varPhi (u_{n}))^{p})^{\frac{1}{p}}\) and define \(x=\frac{1}{k}(u_{1},0,u_{2},0,u_{3},0,\ldots )\). Then

$$\begin{aligned} \alpha _{p}(kx) &=I_{\varPhi }^{p-1}(kx)I_{\varPsi } \bigl(p_{+}\bigl(k \vert x \vert \bigr)\bigr)-1 \\ &= \Biggl(\sum_{n=1}^{\infty }\varPsi \bigl(p_{+}(u_{n})\bigr) \Biggr) \Biggl(\sum _{n=1}^{\infty }\varPhi (u_{n}) \Biggr)^{p-1}-1=0. \end{aligned}$$

So we get \(k\in K_{p}(x)\) and \(\|x\|_{\varPhi ,p}=\frac{1}{k}(1+I_{ \varPhi }^{p}(kx))^{\frac{1}{p}}=1\).

Since \(\varPhi \notin \Delta _{2}(0)\), for any \(\eta \in (0,\varepsilon )\), there exists sufficiently small \(v>0\) such that \(\varPhi ((1+\eta )v)>\frac{ \varPhi (v)}{\eta }\). Take \(m\in \mathbb{N}\) such that \(\eta < m \varPhi (v) \leq 2\eta \) and define \(y=\frac{1}{k}( \overbrace{0,v,0,v,\ldots ,0,v}^{2m},0,0, 0,\ldots )\). Note that,

$$ I_{\varPhi }\bigl((1+\eta )ky\bigr)=m\varPhi \bigl((1+\eta )v\bigr)> \frac{m\varPhi (v)}{\eta }>1. $$

So we have \(\|y\|_{\varPhi ,p}\geq \|y\|_{\varPhi }\geq \frac{1}{(1+\eta )k}>\frac{1}{(1+\varepsilon )k}\). And due to

$$\begin{aligned} k &= \Biggl(1+ \Biggl(\sum_{n=1}^{\infty } \varPhi (u_{n}) \Biggr)^{p} \Biggr) ^{\frac{1}{p}} \\ &< \Biggl(1+\varepsilon ^{p} \Biggl(\sum_{n=1}^{\infty }u_{n}p_{+}(u_{n}) \Biggr)^{p} \Biggr) ^{\frac{1}{p}} \\ &= \Biggl(1+\varepsilon ^{p} \Biggl(\sum_{n=1}^{\infty } \varPhi (u_{n})+\sum_{n=1} ^{\infty } \varPsi \bigl(p_{+}(u_{n})\bigr) \Biggr)^{p} \Biggr)^{\frac{1}{p}} \\ &= \Biggl(1+\varepsilon ^{p} \Biggl(\sum_{n=1}^{\infty } \varPhi (u_{n})+\Biggl(\sum_{n=1} ^{\infty }\varPhi (u_{n})\Biggr)^{1-p} \Biggr)^{p} \Biggr)^{\frac{1}{p}}, \end{aligned}$$

we obtain \(k^{p}<1+\varepsilon ^{p}((k^{p}-1)^{\frac{1}{p}}+(k^{p}-1)^{- \frac{1}{q}})^{p}\), thus \(k< (\frac{1}{1-\varepsilon } )^{\frac{1}{p}}\) and \(\|y\|_{\varPhi ,p}\geq \frac{1}{(1+\varepsilon )k}> \frac{(1-\varepsilon )^{\frac{1}{p}}}{1+\varepsilon }\). Since \(k>1\), by Lemma 2.6, we have

$$\begin{aligned} \Vert x+y \Vert _{\varPhi ,p}-1 &= \Vert x+y \Vert _{\varPhi ,p}- \Vert x \Vert _{\varPhi ,p} \\ &\leq \frac{1}{k}(1+I_{\varPhi }^{p}\bigl(k(x+y) \bigr)^{\frac{1}{p}}-\frac{1}{k}(1+I _{\varPhi }^{p}(kx)^{\frac{1}{p}} \\ &\leq \frac{1}{k}I_{\varPhi }(ky) < I_{\varPhi }(ky) \\ &=m\varPhi (v) \leq 2\eta . \end{aligned}$$

This contradicts property (2) from our theorem.

\((3)\Rightarrow (4)\). If Φ does not satisfy \(\Delta _{2}(0)\)-condition, there exists a sequence \(\{u_{k}\} \uparrow \infty \), satisfying \(\varPhi ( (1+\frac{1}{k} )u_{k} )>2^{k+1}\varPhi (u_{k})\) for all \(k\in \mathbb{N}\). Take \(m_{n} \in \mathbb{N}\) such that \(\frac{1}{2^{n+1}}\leq m_{n}\varPhi (u_{n})< \frac{1}{2^{n}}\). And define

$$\begin{aligned}& x=\bigl(\overbrace{u_{1},\ldots ,u_{1}}^{m_{1}}, \overbrace{u_{2},\ldots ,u _{2}}^{m_{2}} \overbrace{u_{3},\ldots ,u_{3}}^{m_{3}},\ldots \bigr), \\& x_{n}=\sum_{n=(m_{1}+m_{2}+\cdots +m_{n})+1}^{\infty }x(i)e_{i} \quad (\mbox{for all }n\in \mathbb{N}). \end{aligned}$$

Then \(0\leq x_{n}\leq x\) and

$$\begin{aligned}& I_{\varPhi }(x)=\sum_{i=1}^{\infty }m_{i} \varPhi (u_{i})\leq \sum_{i=1}^{\infty } \frac{1}{2^{i}}=1, \\& \begin{aligned} I_{\varPhi } \biggl( \biggl(1+\frac{1}{n} \biggr)x_{n} \biggr) &=\sum_{i=n+1} ^{\infty }\varPhi \biggl( \biggl(1+\frac{1}{n} \biggr)u_{i} \biggr) \geq \sum _{i=n+1}^{\infty }\varPhi \biggl( \biggl(1+ \frac{1}{i} \biggr)u_{i} \biggr) \\ &>\sum_{i=n+1}^{\infty }2^{i+1}m_{i} \varPhi (u_{i}) =\sum_{i=n+1}^{\infty }1= \infty \quad (\mbox{for all }n\in \mathbb{N}). \end{aligned} \end{aligned}$$


$$ \frac{n}{n+1}\leq \Vert x_{n} \Vert _{\varPhi } \leq \Vert x_{n} \Vert _{\varPhi ,p},\qquad 1= \Vert x \Vert _{\varPhi }\leq \Vert x \Vert _{\varPhi ,p}\leq 2^{\frac{1}{p}} \quad (\mbox{for all }n\in \mathbb{N}) $$


$$ \lim_{n\rightarrow \infty } \Vert x-x_{n} \Vert _{\varPhi ,p}=\lim_{n\rightarrow \infty } \Biggl\Vert \sum _{n=1}^{(m_{1}+m_{2}+\cdots +m_{n})}x(i)e_{i} \Biggr\Vert _{\varPhi ,p} = \Vert x \Vert _{\varPhi ,p}. $$

This means that \(l_{\varPhi ,p}\) is not lower locally uniformly monotonic. □

Corollary 2.1

\(l_{\varPhi ,p}\)is order continuous if and only if\(\varPhi \in \Delta _{2}(0)\).


Let \(\varPhi (u)=|u|e^{-\frac{1}{|u|}}\) for \(u\neq 0\) and \(\varPhi (0)=0\). Then the Orlicz space \(l_{\varPhi ,p}\) is STM for \(p=1\) but it is not STM for \(1< p\leq \infty \).

Indeed, Φ vanishes only at 0. For any \(u>0\), \(\lim_{u\rightarrow 0}\frac{ \varPhi (2u)}{\varPhi (u)}=\lim_{u\rightarrow 0}2e^{\frac{1}{2u}}=\infty \), which implies that the function Φ does not satisfy the condition \(\Delta _{2}(0)\). By Theorem 2.2, we obtain our result.

A Banach lattice X is said to be weakly orthogonal if, for every weakly null sequence \(\{x_{n}\}\), it follows that \(\lim_{n\rightarrow \infty }\||x_{n}|\wedge |x|\|=0\) for all \(x\in X\). Dalby [36] proved that weakly compact convex subsets of a weakly orthogonal Banach lattice with uniformly monotone norm have a weak normal structure. And Yunan Cui [37] proved that the Köthe sequence spaces X are weakly orthogonal if and only if X is order continuous. So we obtain the following result.

Corollary 2.2

If\(a_{\varPhi }=0\), \(\varPhi \in \Delta _{2}(0)\), then each nonexpansive mapping of a nonempty convex weakly compact set in\(l_{\varPhi ,p}\)has a fixed point.

Coefficients of local uniform monotonicities of \(l_{\varPhi ,p}\)

For a given Banach lattice X, the upper (lower) modulus of monotonicity of X for all \(\varepsilon >0\) (resp. \(0<\varepsilon \leq 1\)) is defined by the formula

$$\begin{aligned}& \eta _{X}(\varepsilon )=\inf \bigl\{ \Vert x+y \Vert -1:x,y\in X^{+}, \Vert x \Vert =1, \Vert y \Vert \geq \varepsilon \bigr\} , \\& \delta _{X}(\varepsilon )=\inf \bigl\{ 1- \Vert x-y \Vert :x\geq y\geq 0, \Vert x \Vert =1, \Vert y \Vert \geq \varepsilon \bigr\} . \end{aligned}$$

In 1993, Kurc [14] proved the following equality:

$$ \delta _{X}(\varepsilon )=\frac{\eta _{X}(\varepsilon )}{1+\eta _{X}(\varepsilon )} \quad \bigl(\forall \varepsilon \in [0,1)\bigr). $$

Obviously, X is uniformly monotone if and only if \(\eta _{X}(\varepsilon )>0\) (or \(\delta _{X}(\varepsilon )>0\)) for every \(\varepsilon \in (0,1]\). X is strictly monotone if and only if \(\delta _{X}(1)=1\).

Moreover, the numbers \(\varepsilon _{m}(X)\) and \(\widetilde{\varepsilon }_{m}(X)\) defined by

$$\begin{aligned}& \varepsilon _{m}(X)=\sup \bigl\{ \varepsilon \in [0,1]:\eta _{X}(\varepsilon )=0 \bigr\} =\inf \bigl\{ \varepsilon \in [0,1]: \eta _{X}(\varepsilon )>0\bigr\} , \\& \widetilde{\varepsilon }_{m}(X)=\sup \bigl\{ \varepsilon \in [0,1]:\delta _{X}(\varepsilon )=0\bigr\} = \inf \bigl\{ \varepsilon \in [0,1]:\delta _{X}(\varepsilon )>0\bigr\} \end{aligned}$$

are said to be the upper and lower characteristic of the monotonicity of X, respectively. In 2009, Hudzik and Kaczmarek [20] proved the following:

$$ \widetilde{\varepsilon }_{m}(X)\leq \varepsilon _{m}(X)\leq 2\widetilde{ \varepsilon }_{m}(X). $$

Namely, X is uniformly monotonic if and only if \(\varepsilon _{m}(X)= \widetilde{\varepsilon }_{m}(X)=0\).

Similarly, for any \(x \in S(X^{+})\) and any \(\varepsilon >0\) (resp. \(\varepsilon \in [0,1]\)), the functions defined by

$$\begin{aligned}& {\eta }_{x}(\varepsilon )=\inf \bigl\{ \Vert x+y \Vert -1:y\in X^{+}, \Vert y \Vert \geq \varepsilon \bigr\} , \\& \delta _{x}(\varepsilon )=\inf \bigl\{ 1- \Vert x-y \Vert :0< y\leq x, \Vert y \Vert \geq \varepsilon \bigr\} \end{aligned}$$

are called the upper and the lower modulus of local monotonicity at the point x, respectively. Moreover, the numbers

$$\begin{aligned}& \varepsilon _{m}(x)=\sup \bigl\{ \varepsilon \in [0,1]:{\eta }_{x}(\varepsilon )=0 \bigr\} , \\& \widetilde{\varepsilon }_{m}(x)=\sup \bigl\{ \varepsilon \in [0,1]:\delta _{x}(\varepsilon )=0\bigr\} \end{aligned}$$

are called the upper and the lower characteristic of monotonicity at the point x, respectively. Clearly, x is a point of upper (lower) local uniform monotonicity if and only if \(\varepsilon _{m}(x)=0\) (\(\widetilde{\varepsilon } _{m}(x)=0\)).

For more information about the characteristics of monotonicity and the modulus of monotonicity, see [7, 9, 13, 20] and the references therein.

In the last part of our paper we consider the problem of estimates for the local characteristic of monotonicity lower modulus of monotonicity of Orlicz function spaces equipped with the p-Amemiya norm.

Lemma 3.1


For any\(\varepsilon \in (0,1)\), we have

$$\begin{aligned} \delta _{X}(\varepsilon ) =&\inf \bigl\{ 1- \Vert x-y \Vert :0\leq y\leq x, \Vert X \Vert =1, \Vert y \Vert \geq \varepsilon \bigr\} \\ =&\inf \bigl\{ 1- \Vert x-y \Vert :0\leq y\leq x, \Vert X \Vert =1, \Vert y \Vert =\varepsilon \bigr\} \\ =&\inf \bigl\{ 1- \Vert x-y \Vert :0\leq y\leq x, \Vert X \Vert \leq 1, \Vert y \Vert \geq \varepsilon \bigr\} \\ =&\inf \bigl\{ 1- \Vert x-y \Vert :0\leq y\leq x, \Vert X \Vert \leq 1, \Vert y \Vert =\varepsilon \bigr\} . \end{aligned}$$

Lemma 3.2


For every\(x\in l_{\varPhi ,p}\setminus \{0\}\)and every\(1\leq p < \infty \), the function\(k \rightarrow \frac{1}{k}s_{\varPhi ,p}(kx)\)is decreasing on\((0,k_{p}^{*}(x))\).

Theorem 3.1

  1. (1)

    If\(\varPhi \notin \Delta _{2}(0)\), \(1\leq p\leq \infty \), then\(\widetilde{{\varepsilon }}_{m}(l_{\varPhi ,p})=\varepsilon _{m}(l_{\varPhi ,p})=1\).

  2. (2)

    If\(\varPhi \in \Delta _{2}(0)\), \(1\leq p<\infty \), and either of the two conditions (i) \(a_{\varPhi }=0\)or (ii) \(I_{\varPhi }^{p-1}(q_{-}(r_{\varPhi }))I _{\varPsi }(r_{\varPhi })<1\)is satisfied, then\(\widetilde{{\varepsilon }}_{m}(l _{\varPhi ,p})=\varepsilon _{m}(l_{\varPhi ,p})=0\).

  3. (3)

    If\(\varPhi \in \Delta _{2}(0)\), \(p=\infty \), then\(\widetilde{{\varepsilon }} _{m}(l_{\varPhi ,p})=\varepsilon _{m}(l_{\varPhi ,p})=0\).

Let us discuss the local characteristic of monotonicity at the points from the unit sphere.

Lemma 3.3


For any\(u\in l_{\varPhi }\), setting\([u]_{n}=\sum_{i=1}^{n}u(i)e_{i}\), we have

$$ \lim_{n\rightarrow \infty } \Vert u-u_{n} \Vert _{\varPhi }=\lim_{n\rightarrow \infty } \Vert u-u_{n} \Vert _{\varPhi }^{\circ }=\theta (u), $$

where\(\theta (u)=\inf \{\lambda >0:I_{\varPhi } (\frac{u}{\lambda } )<\infty \}\).

Theorem 3.2

For any\(x\in S(l^{+}_{\varPhi ,p})\), we have the following results:

  1. (1)

    If\(\varPhi \notin \Delta _{2}(0)\), then

    $$ \varepsilon _{m}(x)= \textstyle\begin{cases} 1,& p=\infty, \\ \frac{1}{k^{*}_{p}(x)}, & 1\leq p< \infty. \end{cases} $$
  2. (2)

    If\(\varPhi \in \Delta _{2}(0)\), \(1\leq p<\infty \), and either of the two conditions (i) \(a_{\varPhi }=0\)or (ii) \(I_{\varPhi }^{p-1}(q_{-}(r_{\varPhi }))I _{\varPsi }(r_{\varPhi })<1\)is satisfied, then\(\varepsilon _{m}(x)=0\);

  3. (3)

    If\(\varPhi \in \Delta _{2}(0)\)and\(p=\infty \), then\(\varepsilon _{m}(x)=0\).


Only the case \(1\leq p<\infty \) should be considered. If condition (2) is satisfied, then \(l_{\varPhi ,p}\) is upper locally uniformly monotone, so \(\varepsilon _{m}(x)=0\) according to Theorem 2.2.

If \(\varPhi \notin \Delta _{2}(0)\), then for any \(\varepsilon \in (0,\frac{1}{3})\) and any \(\delta >0\), there is \(u>0\) such that \(\varPhi (u)<\delta \) and \(\varPhi ((1+\varepsilon )u)>\frac{1}{\delta }\varPhi (u)\). Choose \(m \in \mathbb{N}\) such that \(\delta < m\varPhi (u)\leq 2\delta \). Take \(i_{0}\in \mathbb{N}\) such that \(k_{p}^{*}(x)x(i)<\varepsilon u\) is satisfied for all \(i>i_{0}\).

Define \(y=\sum_{i=i_{0}+1}^{i_{0}+m} (\frac{u}{k_{p}^{*}(x)}-x(i) )e_{i}\). Then

$$ I_{\varPhi }\bigl((1+3\varepsilon )k_{p}^{*}(x)y\bigr)> \sum_{i=i_{0}+1}^{i_{0}+m}\varPhi \bigl((1+3\varepsilon ) (1-\varepsilon )u\bigr)>m \varPhi \bigl((1+\varepsilon )u\bigr)>1. $$

Hence \(\|y\|_{\varPhi ,p}\geq \|y\|_{\varPhi }> \frac{1}{(1+3\varepsilon )k_{p}^{*}(x)}\).

On the other hand, according to Lemma 2.6, we have

$$\begin{aligned} & \Vert x+y \Vert _{\varPhi ,p} \\ &\quad \leq \frac{1}{k_{p}^{*}(x)} \bigl(1+I_{\varPhi }^{p} \bigl(k_{p}^{*}(x) (x+y)\bigr) \bigr)^{\frac{1}{p}} \\ &\quad =\frac{1}{k_{p}^{*}(x)} \Biggl[1+ \Biggl(\sum_{i=i_{0}+1}^{i_{0}+m} \varPhi (u)+\sum_{i=1}^{i_{0}}\varPhi \bigl(k_{p}^{*}(x)x(i)\bigr)+\sum _{i=i_{0}+m+1} ^{\infty }\varPhi \bigl(k^{*}_{p}(x)x(i) \bigr) \Biggr)^{p} \Biggr]^{\frac{1}{p}} \\ &\quad < \frac{1}{k_{p}^{*}(x)} \bigl(1+ \bigl(m\varPhi (u)+I_{\varPhi } \bigl(k_{p}^{*}(x)x\bigr) \bigr)^{p} \bigr)^{\frac{1}{p}} \\ &\quad \leq \frac{1}{k_{p}^{*}(x)} \bigl( \bigl(1+I_{\varPhi }^{p} \bigl(k_{p}^{*}(x)x\bigr) \bigr)^{\frac{1}{p}}+m\varPhi (u) \bigr) \\ &\quad = \Vert x \Vert _{\varPhi ,p}+\frac{1}{k_{p}^{*}(x)}m\varPhi (u) \\ &\quad \leq \Vert x \Vert _{\varPhi ,p}+2\delta . \end{aligned}$$

So, \(\eta _{x} (\frac{1}{(1+3\varepsilon )k_{p}^{*}(x)} )\leq 2\delta \rightarrow 0\) as \(\delta \rightarrow 0\). Therefore, \(\varepsilon _{m}(x)\geq \frac{1}{(1+3\varepsilon )k_{p} ^{*}(x)}\). By the arbitrariness of \(\varepsilon >0\), we have \(\varepsilon _{m}(x)\geq \frac{1}{k _{p}^{*}(x)}\).

Assuming that \(\varepsilon _{m}(x)>\frac{1}{k_{p}^{*}(x)}\). There is \(\varepsilon _{0}>0\) such that \(\varepsilon _{m}(x)>\frac{1}{k_{p}^{*}(x)}+\varepsilon _{0}\), thus there exists a sequence \(\{y_{n}\}\subset l^{+}_{\varPhi ,p}\) satisfying \(\|y_{n}\|_{\varPhi ,p}\geq \frac{1}{k_{p}^{*}(x)}+\varepsilon _{0}\) and \(\lim_{n\rightarrow \infty }\|x+y_{n}\|_{\varPhi ,p}=1\).

Denote \(k_{n}=k^{*}_{p}(x+y_{n})\) for all \(n\in \mathbb{N}\). Clearly, \(k _{n}\leq k_{p}^{*}(x)\). Without loss of generality, assuming that \(\lim_{n\rightarrow \infty }k_{n}= k_{0}\), we have \(k_{0}\leq k^{*}_{p}(x)\). If \(k_{0}< k^{*}_{p}(x)\), by Lemma 3.2, the function \(k\rightarrow \frac{1}{k}s_{\varPhi ,p}(kx)\) is decreasing on \((0,k^{*}_{p}(x))\), so there is \(\sigma >0\) such that \(\frac{1}{k_{n}}s_{\varPhi ,p}(k_{n}x) \geq \frac{1}{k_{p}^{*}(x)}s_{\varPhi ,p}(k_{p}^{*}(x))+\sigma \) for n large enough. Hence,

$$ \Vert x+y_{n} \Vert _{\varPhi ,p}-1= \Vert x+y_{n} \Vert _{\varPhi ,p}- \Vert x \Vert _{\varPhi ,p}\geq \sigma $$

for n large enough. This contradicts the equality \(\lim_{n\rightarrow \infty }\|x+y_{n}\|_{\varPhi ,p}=1\).

If \(k_{0}= k^{*}_{p}(x)\), by virtue of the Fatou lemma, \(\liminf_{n\rightarrow \infty }I_{\varPhi }(k_{n}x)\geq I_{\varPhi }(k_{0}x)=(k_{0} ^{p}-1)^{\frac{1}{p}}\). Then

$$\begin{aligned} k_{0}^{p} &=\lim_{n\rightarrow \infty }k_{n}^{p} \Vert x+y_{n} \Vert _{\varPhi ,p}^{p} \\ &=\lim_{n\rightarrow \infty }\bigl(1+I_{\varPhi }^{p} \bigl(k_{n}(x+y_{n})\bigr)\bigr) \\ &\geq \lim_{n\rightarrow \infty }\bigl(1+\bigl(I_{\varPhi }(k_{n}x)+I_{\varPhi }(k_{n}y_{n}) \bigr)^{p}\bigr) \\ &\geq \lim_{n\rightarrow \infty }\bigl(1+I_{\varPhi }^{p}(k_{n}x)+I_{\varPhi }^{p}(k_{n}y _{n})\bigr) \\ &\geq \lim_{n\rightarrow \infty }\bigl(I_{\varPhi }^{p}(k_{n}x)+ \Vert k_{n}y \Vert ^{p}_{\varPhi ,p}\bigr) \\ &\geq \biggl(k_{0} \biggl(\frac{1}{k_{0}}+\varepsilon _{0} \biggr) \biggr)^{p}+k_{0}^{p}-1 \\ &=k_{0}^{p}+(1+k_{0}\varepsilon _{0})^{p}-1 >k_{0}^{p}. \end{aligned}$$

This is a contradiction. Therefore, \(\varepsilon _{m}(x)= \frac{1}{k_{p}^{*}(x)}\). □

Theorem 3.3

For any\(x\in S(l^{+}_{\varPhi ,p})\)and any\(1\leq p\leq \infty \), we have

$$ \widetilde{\varepsilon }_{m}(x)=\theta (x). $$


Set \([x]_{n}=\sum_{i=1}^{n}x(i)e_{i}\) for all \(x\in l_{\varPhi ,p}\). By Lemma 3.3, we have \(\theta (x)=\lim_{n\rightarrow \infty }\|x-[x]_{n} \|_{\varPhi ,p}\).

For any \(\varepsilon >0\), there is \(i_{0}\in \mathbb{N}\) such that \(\|[x]_{i _{0}}\|_{\varPhi ,p}>1-\varepsilon \), whence \(\|x-(x-[x]_{i_{0}})\|_{\varPhi ,p}>1-\varepsilon \). Further, as a result of the inequalities \(\|x-[x]_{i_{0}}\|_{\varPhi ,p}\geq \|x-[x]_{i_{0}}\|_{ \varPhi }\geq \theta (x)\), we get \(\delta _{x}(\theta (x))<\varepsilon \). By the arbitrariness of ε, we obtain \(\delta _{x}(\theta (x))=0\), whence \(\widetilde{\varepsilon }_{m}(x)\geq \theta (x)\).

Assuming that \(\widetilde{\varepsilon }_{m}(x)>\theta (x)\), then there is \(\varepsilon _{0}>0\) such that \(\widetilde{\varepsilon }_{m}(x)>\theta (x)+\varepsilon _{0}\). So there exists a sequence \(\{y_{n}\}\) in \(l_{\varPhi ,p}\) satisfying \(y_{n}\leq x\), \(\|y_{n}\|_{\varPhi ,p}\geq \theta (x)+\varepsilon _{0}\) for any \(n\in \mathbb{N}\) and \(\lim_{n\rightarrow \infty }\|x-y_{n}\|_{\varPhi ,p}=1\).

Choose a sufficiently large \(i_{0}\) such that \(\|x-[x]_{i_{0}}\|_{ \varPhi ,p}<\theta (x)+\frac{\varepsilon _{0}}{2}\). Then

$$\begin{aligned} \Vert y_{n} \Vert _{\varPhi ,p} &\leq \bigl\Vert [y_{n}]_{i_{0}} \bigr\Vert _{\varPhi ,p}+ \bigl\Vert y_{n}-[y _{n}]_{i_{0}} \bigr\Vert _{\varPhi ,p} \\ &\leq \bigl\Vert [y_{n}]_{i_{0}} \bigr\Vert + \bigl\Vert x-[x]_{i_{0}} \bigr\Vert _{\varPhi ,p} \\ &< \bigl\Vert [y_{n}]_{i_{0}} \bigr\Vert _{\varPhi ,p}+\theta (x)+\frac{\varepsilon _{0}}{2}, \end{aligned}$$

whence \(\|[y_{n}]_{i_{0}}\|_{\varPhi ,p}>\frac{\varepsilon _{0}}{2}\). Consequently, \(\|[y_{n}]_{i_{0}}\|_{\varPhi }>\frac{\varepsilon _{0}}{2^{\frac{1}{p}+1}}\), whence there is \(\delta >0\) such that \(I_{\varPhi }([y_{n}]_{i_{0}})>\delta \). Taking any \(k\in K_{p}(x)\), we get

$$\begin{aligned} \Vert x-y_{n} \Vert _{\varPhi ,p}^{p} &\leq \frac{1}{k^{p}}\bigl(1+I_{\varPhi }^{p}\bigl(k(x-y _{n})\bigr)\bigr) \\ &\leq \frac{1}{k^{p}}\bigl(1+\bigl(I_{\varPhi }(kx)-I_{\varPhi }(ky_{n}) \bigr)^{p}\bigr) \\ &\leq \frac{1}{k^{p}}\bigl(1+\bigl(I_{\varPhi }^{p}(kx)-I_{\varPhi }^{p}(ky_{n}) \bigr)\bigr) \\ &\leq \Vert x \Vert ^{p}_{\varPhi ,p}-I_{\varPhi }^{p}(y_{n}) \\ &\leq 1-\delta ^{p}. \end{aligned}$$

This is a contradiction with \(\lim_{n\rightarrow \infty }\|x-y_{n}\|_{\varPhi ,p}=1\). Therefore, \(\widetilde{\varepsilon }_{m}(x)=\theta (x)\). □


  1. 1.

    Cui, Y.A., Hudzik, H., Wisła, M.: Monotonicity properties and dominated best approximation problems in in Orlicz spaces equipped with the p-Amemiya norm. J. Math. Anal. Appl. 432, 1095–1105 (2015)

    MathSciNet  MATH  Google Scholar 

  2. 2.

    Akcoglu, M.A., Sucheston, L.: On uniform monotonicity of norms and ergodic theorems in function spaces. Rend. Circ. Mat. Palermo 8(2), 325–335 (1985)

    MathSciNet  MATH  Google Scholar 

  3. 3.

    Birkhoff, G.: Lattice Theory. Am. Math. Soc., Providence (1979)

    Google Scholar 

  4. 4.

    Betiuk-Pilarska, A., Prus, S.: Banach lattices which are order uniformly noncreasy. J. Math. Anal. Appl. 342(2), 1271–1279 (2008)

    MathSciNet  MATH  Google Scholar 

  5. 5.

    Chen, S.T., He, X., Hudzik, H.: Monotonicity and best approximation in Banach lattices. Acta Math. Sin. 5(25), 785–794 (2009)

    MathSciNet  MATH  Google Scholar 

  6. 6.

    Ciesielski, M., Kolwick, P., Panfil, A.: Local monotonicity structure of symmetric spaces with applications. J. Math. Anal. Appl. 409, 649–662 (2014)

    MathSciNet  MATH  Google Scholar 

  7. 7.

    Foralewski, P., Hudzik, H., Kaczmarek, R., Krbec, M.: Moduli and characteristics of monotonicity in some Banach lattices. Fixed Point Theory Appl. 2010, Article ID 852346 (2010)

    MathSciNet  MATH  Google Scholar 

  8. 8.

    Foralewski, P., Hudzik, H., Kowalewski, W., Wisła, M.: Monotonicity properties of Banach lattices and their applications—a survey. In: Ordered Structures and Applications, Positivity VII. Trends in Mathematics, pp. 203–232 (2016)

    Google Scholar 

  9. 9.

    Hudzik, H., Kaczmarek, R.: Moduli and characteristics of monotonicity in general Banach lattices and in Orlicz spaces in particular. Nonlinear Anal. 70, 3407–3423 (2009)

    MathSciNet  MATH  Google Scholar 

  10. 10.

    Hudzik, H., Kamińska, A., Mastyło, M.: Monotonicity and rotundity properties in Banach lattices. Rocky Mt. J. Math. 30(3), 933–950 (2000)

    MathSciNet  MATH  Google Scholar 

  11. 11.

    Hudzik, H., Kurc, W.: Monotonicity properties of Musielak–Orlicz spaces and dominated best approximation in Banach lattices. J. Approx. Theory 95, 353–368 (1998)

    MathSciNet  MATH  Google Scholar 

  12. 12.

    Hudzik, H., Narloch, A.: Relationships between monotonicity and complex rotundity properties with some consequences. Math. Scand. 96, 289–306 (2005)

    MathSciNet  MATH  Google Scholar 

  13. 13.

    Hudzik, H., Wlaźlak, K.: Monotonicity properties in Banach spaces via sublinear operators and corrigendum to “Rotundity properties in Banach spaces via sublinear operators, Nonlinear Analysis 64 (2006) 1171–1188”. Nonlinear Anal. 67, 2208–2216 (2007)

    MathSciNet  MATH  Google Scholar 

  14. 14.

    Kurc, W.: A dual property to uniform monotonicity in Banach lattices. Collect. Math. 44, 155–165 (1993)

    MathSciNet  MATH  Google Scholar 

  15. 15.

    Bru, B., Heinrich, H.: Monotonies des espaces d’Orlicz. C. R. Acad. Sci. Paris 301, 893–894 (1985)

    MathSciNet  MATH  Google Scholar 

  16. 16.

    Ciesielski, M., Kamińska, A., Kolwick, P., Pluciennik, R.: Monotonicity and rotundity of Lorentz spaces \(\varGamma _{p,\omega }\). Nonlinear Anal. 75(5), 2713–2723 (2012)

    MathSciNet  Google Scholar 

  17. 17.

    Cui, Y., Hudzik, H., Kacznarek, R., Kolwick, P.: Geometric properties of F-normed Orlicz spaces. Aequ. Math. (2018).

    Google Scholar 

  18. 18.

    Cui, Y.A., Hudzik, H., Szymaszkiewicz, L., Wang, T.F.: Criteria for monotonicity properties of Musielak–Orlicz spaces equipped with the Amemiya norm. J. Math. Anal. Appl. 303, 376–390 (2005)

    MathSciNet  MATH  Google Scholar 

  19. 19.

    Hudzik, H.: Banach lattices with order isometric copies of \(l^{\infty }\). Indag. Math. 9(4), 521–527 (1998)

    MathSciNet  MATH  Google Scholar 

  20. 20.

    Hudzik, H., Kaczmarek, R.: Monotonicity characteristic of Köthe–Bochner spaces. J. Math. Anal. Appl. 349, 459–468 (2009)

    MathSciNet  MATH  Google Scholar 

  21. 21.

    Hudzik, H., Kamińska, A.: Monotonicity properties of Lorentz spaces. Proc. Am. Math. Soc. 123(9), 2715–2721 (1995)

    MathSciNet  MATH  Google Scholar 

  22. 22.

    Hudzik, H., Liu, X.B., Wang, T.F.: Points of monotonicity in Musielak–Orlicz function spaces endowed with the Luxemburg norm. Arch. Math. 82, 534–545 (2004)

    MathSciNet  MATH  Google Scholar 

  23. 23.

    Kiwerski, T., Kolwick, P.: Rotundity and monotonicity properties of selected Cesàro function spaces. Positivity 22(1), 357–377 (2018)

    MathSciNet  MATH  Google Scholar 

  24. 24.

    Kolwick, P.: Local structure of symmetrizations \(E^{(*)}\) with applications. J. Math. Anal. Appl. 440, 810–812 (2016)

    MathSciNet  Google Scholar 

  25. 25.

    Kolwick, P., Leśnik, K.: Topological and geometrical structure of Calderón–Lozanovskii construction. Math. Inequal. Appl. 13(1), 111–130 (2010)

    Google Scholar 

  26. 26.

    Kolwick, P., Pluciennik, R.: On uniform rotundity in every direction in Calderón–Lozanovskii spaces. J. Convex Anal. 14(3), 621–645 (2007)

    MathSciNet  MATH  Google Scholar 

  27. 27.

    Kolwick, P., Pluciennik, R.: Local \(\Delta _{2}^{E}(x)\) condition as a crucial tool for local structure of Calderón–Lozanovskii spaces. J. Math. Anal. Appl. 356, 605–614 (2009)

    MathSciNet  MATH  Google Scholar 

  28. 28.

    Kolwick, P., Pluciennik, R.: Points of upper local uniform monotonicity in Calderón–Lozanovskii spaces. J. Convex Anal. 17(1), 111–130 (2010)

    MathSciNet  MATH  Google Scholar 

  29. 29.

    Kurc, W.: Characterizations of some monotonicity properties of a lattice norm in Musielak–Orlicz spaces. Acta Univ. Carol., Math. Phys. 30(2), 91–94 (1989)

    MathSciNet  MATH  Google Scholar 

  30. 30.

    Kurc, W.: Strictly and uniformly monotone Musielak–Orlicz spaces and applications to best approximation. J. Approx. Theory 69(2), 173–187 (1992)

    MathSciNet  MATH  Google Scholar 

  31. 31.

    Kurc, W.: Strictly and uniformly monotone sequential Musielak–Orlicz spaces. Collect. Math. 50(1), 1–17 (1999)

    MathSciNet  MATH  Google Scholar 

  32. 32.

    Liu, X.B., Wang, T.F.: Upper (lower) monotone coefficient of a point in Orlicz sequence space. J. Heilongjiang Univ. Nat. Sci. 18(1), 1–4 (2001)

    MathSciNet  MATH  Google Scholar 

  33. 33.

    Lü, Y.M., Wang, J.M., Wang, T.F.: Monotone coefficients and monotonicity of Orlicz spaces. Rev. Mat. Complut. 12(1), 105–114 (1999)

    MathSciNet  MATH  Google Scholar 

  34. 34.

    Cui, Y.A., Duan, L.F., Hudzik, H., Wisła, M.: Basic theory of p-Amemiya norm in Orlicz spaces (\(1\leq p\leq \infty \)): extreme points and rotundity in Orlicz spaces endowed with these norms. Nonlinear Anal. 69, 1797–1816 (2008)

    MATH  Google Scholar 

  35. 35.

    Cui, Y.A., Hudzik, H., Li, J.J., Wisła, M.: Strongly extreme points in Orlicz spaces equipped with the p-Amemiya norm. Nonlinear Anal. 71, 6343–6364 (2009)

    MathSciNet  MATH  Google Scholar 

  36. 36.

    Dalby, T.M.: Facets of the fixed point theory for nonexpansive mappings. Ph.D. thesis, University of Newcastle (1997)

  37. 37.

    Cui, Y.A., Hudzik, H., Pluciennik, R.: Weak orthogonality and weak property \((\beta )\) in some Banach sequence spaces. Czechoslov. Math. J. 49(124), 303–316 (1999)

    MathSciNet  MATH  Google Scholar 

  38. 38.

    Chen, S.T.: Geometry of Orlicz spaces. Diss. Math. 356, 1–204 (1996)

    MathSciNet  Google Scholar 

Download references


We would like to thank the anonymous referees and the associate editor for their valuable suggestions and comments, which improved this paper greatly.

Availability of data and materials

The datasets used during the current study are available from the corresponding author on reasonable request.

Authors’ information

He Xin, Ph.D.; Cui Yunan Ph.D., professor; H. Hudzik, Ph.D., professor.


This work was supported by the China Natural Science Fund (11701125, 11871181, 11971136) and the Fundamental Research Funds for the Central Universities (2017-KYYWF-0137).

Author information




HX wrote the original draft manuscript. HH revised the manuscript. CY checked the manuscript. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Xin He.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

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

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

He, X., Cui, Y. & Hudzik, H. Local monotonicity coefficients in Orlicz sequence spaces equipped with the p-Amemiya norm. J Inequal Appl 2020, 37 (2020).

Download citation


  • Orlicz spaces
  • Monotonicity
  • Monotone coefficient
  • p-Amemiya norm