Skip to main content

Uniform rotundity in every direction of Orlicz-Sobolev spaces


In this paper, we study the extreme points and rotundity of Orlicz-Sobolev spaces. Analyzing and combining the properties of both Orlicz spaces and Sobolev spaces, we get the sufficient and necessary criteria for Orlicz-Sobolev spaces equipped with a modular norm to be uniformly rotund in every direction.

1 Introduction

Sobolev spaces are valuable mathematical models which were formed in the 20th century. Their effect on the development of partial differential equations is obvious (see [1]). Orlicz-Sobolev spaces are an important extension of the Sobolev spaces, which have some properties of both Orlicz spaces and Sobolev spaces. Moreover, the development of Orlicz-Sobolev spaces not only improves the Banach space theory but also provides a rich model for solving partial differential equations problems. The rotundity and uniformly rotundity in every direction are important geometric properties of Banach spaces. One of the reasons is that these properties are strongly related to the fixed point property (see [2]) and to the approximation theory (see [3, 4]). Zizler proved that if a normed linear space is uniformly rotund in every direction then it has a certain formal structure (see [5]).

Chen and Hu discussed the extreme points and rotundity of Orlicz-Sobolev spaces with maximum norm and Luxemburg norm (see [6, 7]). Garkavi first proposed the concept of uniform rotundity in every direction when he researched the center of Chebyshev (see [8]).

The modular norm of Orlicz-Sobolev spaces is the natural generalization of the Luxemburg norm. Then we can study the Orlicz-Sobolev spaces with modular norm by using the methods of Orlicz spaces. So we equip the Orlicz-Sobolev spaces with a modular norm and study Orlicz-Sobolev spaces.

In the second section we introduce some basic notions, we agree on terminology and provide some results which we will use further in the paper. In the third section we give some relationships between a modular and the modular norm. Furthermore we discuss the extreme points and give the sufficient and necessary criteria for Orlicz-Sobolev spaces equipped with a modular norm to be uniformly rotund in every direction.

2 Preliminaries

In this section we recall some basic notions and results. Let \([X,\|\cdot\|]\) be a Banach space, \(S(X)\) the unit sphere and \(B(X)\) the unit ball.

Definition 2.1


\(M : \Re\rightarrow[0,\infty)\) is called an N function if it has the following properties:

  1. (1)

    M is even, continuous, convex and \(M(0)=0\).

  2. (2)

    \(M(u) > 0\) for all \(u \neq0\).

  3. (3)

    \(\lim_{u\rightarrow0}\frac{M(u)}{u}=0\) and \(\lim_{u\rightarrow\infty}\frac{M(u)}{u}=\infty\).

Besides we call M strictly convex if, for any \(u\neq v\), we have

$$M\biggl(\frac{u+v}{2}\biggr)< \frac{M(u)+M(v)}{2}. $$

An interval \([a,b]\) is called a structural affine interval of M provided that M is affine on \([a,b]\), and it is not affine on either \([a-\varepsilon, b]\) or \([a,b+\varepsilon]\) for all \(\varepsilon>0\). Let \(\{[a_{i},b_{i}]\} _{i} \) be all the structural affine intervals of M. We call

$$\mathit{SC}_{M}\triangleq\Re\bigm\backslash \biggl[\bigcup _{i}(a_{i},b_{i}) \biggr] $$

the set of strictly convex points of M.

Proposition 2.1


Suppose M is strictly convex, then, for any \(D>0\), \(\varepsilon>0\), there exists \(\delta>0\) such that, for any \(u,v\), satisfying \(|u|\leq D\), \(|v|\leq D\), \(|u-v|\geq\varepsilon\), we have

$$M\biggl(\frac{u+v}{2}\biggr)\leq(1-\delta)\frac{M(u)+M(v)}{2}. $$

Let \((\Omega,\Sigma,\mu)\) be the Lebesgue measure space in p Euclidean space with \(0<\mu\Omega<\infty\) and M be an N function. For any measurable function u on Ω, we define the modular of u by

$$\rho ( u ) = \int_{\Omega}M \bigl(u ( t ) \bigr) \,dt. $$

The Orlicz space is defined as follows:

$$L_{M}:=L_{M}(\Omega)= \bigl\{ u ( t ) :\exists k>0, \rho ( ku )< \infty \bigr\} . $$

Then \(L_{M}\) equipped with the Luxemburg norm

$$\| u\|_{(M)}=\inf\biggl\{ \lambda>0: \int_{\Omega}M\biggl(\frac {u(t)}{\lambda}\biggr)\,dt \leq1\biggr\} $$

becomes a Banach space which is called the Orlicz space.

Definition 2.2


We say that the N function M satisfies the condition \(\Delta_{2}\) (we write \(M \in\Delta_{2}\)) if there exist \(K>2\) and \(u_{0}\geq0\) such that \(M(2u)\leq KM(u)\) (\(|u|\geq u_{0}\)).

Definition 2.3


Let X be a Banach space, \(x\in S(X)\). If \(y,z\in B(X)\), \(y+z=2x\) implies \(x=y=z\), then x is called an extreme point of \(B(X)\). The set of extreme points of \(B(X)\) is denoted by \(\operatorname{ext}B(X)\). X is said to be rotund(R) if \(S(X)=\operatorname{ext}B(X)\).

Definition 2.4


Let X be a Banach space. X is called uniformly rotund in every direction (URED) if for any \(z \in X\), \(\{x_{n}\}\subset X\), \(\| x_{n}\|\rightarrow1\), \(\| x_{n}+z\|\rightarrow1\) and \(\|2x_{n}+z\|\rightarrow2\) imply \(z=0\) as \(n\rightarrow\infty\).

Remark 2.1

By Definition 2.3 and Definition 2.4, we get URED R.

Next, we introduce the Orlicz-Sobolev space, which is an expansion of the Orlicz space.

Definition 2.5


Let M be an N function and Ω be bounded and connected open subset of \(\Re^{n}\). The Orlicz-Sobolev space is defined as follows:

$$ W^{m}L_{M}:=W^{m}L_{M}(\Omega)= \bigl\{ u \in L_{M}: D^{\alpha}u\in L_{M},0\leq|\alpha|\leq m \bigr\} , $$

where \(\alpha=(\alpha_{1},\alpha_{2},\ldots,\alpha_{n})\), \(| \alpha|=\sum_{i=1}^{n}\alpha_{i}\), \(\alpha_{i}\) (\(i=1,2,\ldots, n\)) are nonnegative integers, \(D^{\alpha}u\) is the αth distributional derivative of u.

Suppose \(u \in W^{m}L_{M}\), we define its convex modular with respect to M by

$$\tilde{\rho}_{M}(u)= \sum_{0\leq|\alpha| \leq m} \int_{\Omega}M\bigl(D^{\alpha}u(t)\bigr)\,dt, $$

and define the modular norm by

$$\| u\|_{m,(M)}= \inf\biggl\{ \lambda>0: \tilde{\rho }_{M} \biggl(\frac{u}{\lambda}\biggr) \leq1 \biggr\} . $$

Then \((W^{m}L_{M}, \|\cdot\|_{m,(M)})\) is a Banach space.

3 Main results

In this section, we first of all discuss the relationships between modular and the modular norm which are similar to that of Orlicz spaces. The results are showed through Lemma 3.1 to Lemma 3.3. Furthermore, these lemmas will help us to study the geometric properties in this paper. Second, we will discuss the extreme points. In this part we get a sufficient criterion for a point to be an extreme point or not, combining the generating function M and properties of both Orlicz spaces and Sobolev spaces. Finally we get the sufficient and necessary criteria for Orlicz-Sobolev spaces equipped with a modular norm to be uniformly rotund in every direction.

Lemma 3.1

Suppose \(u \in W^{m}L_{M}\), then:

  1. (1)

    \(\tilde{\rho}_{M}(u)\leq1\Rightarrow\| u\|_{m, (M)}\leq1\), \(\tilde{\rho}_{M}(u)=1\Rightarrow \| u\|_{m, (M)}=1\).

  2. (2)

    \(u\neq0\), \(\tilde{\rho}_{M}(\frac{u}{\| u\|_{m, (M)}})\leq1\).

  3. (3)

    \(\| u\|_{m, (M)}\leq1\Rightarrow\tilde {\rho}_{M}(u)\leq\| u\|_{m, (M)}\).

  4. (4)

    \(\| u\|_{m, (M)}>1 \Rightarrow\tilde {\rho}_{M}(u)\geq\| u\|_{m, (M)}\).

Lemma 3.2

Suppose \(M \in\Delta_{2}\) and \(u \in W^{m}L_{M}\), then \(\tilde{\rho}_{M}(u)=1\Leftrightarrow\| u\|_{m,(M)}=1\).

Lemma 3.3

Suppose \(M \in\Delta_{2}\) and \(u \in W^{m}L_{M}\), then:

  1. (1)

    \(\forall \varepsilon\in(0,1)\), \(\exists \delta\in(0, 1)\), such that \(\tilde{\rho}_{M}(u)\leq1-\varepsilon\Rightarrow \| u\|_{m,(M)}\leq1-\delta\).

  2. (2)

    \(\forall \varepsilon\in(0,1)\), \(\exists \delta\in(0,1)\), such that \(\tilde{\rho}_{M}(u)> 1+\varepsilon\Rightarrow \| u\|_{m,(M)}\geq1+\delta\).

The proofs of Lemma 3.1 to Lemma 3.3 are clear.

Lemma 3.4


Let \(\alpha= \inf \{t_{1}:(t_{1},t_{2},\ldots,t_{n})\in\Omega\}\), \(\beta= \sup \{t_{1}:(t_{1},t_{2},\ldots,t_{n})\in\Omega\}\), \(r\in[\alpha,\beta]\). Assume that \(f\in L_{M}\) satisfies \(f(t)\geq 0\), for μ-a.e. \(t= (t_{1},t_{2},\ldots,t_{n})\in\Omega\). Then if \(f(t)\) is non-decreasing with respect to \(t_{1}\) and \(f(t)=0\) for \(t_{1}\leq r\), we have \(\|\int_{E(t)}f(t)\,ds\| _{(M)}\leq(\beta-r)\| f\|_{(M)}\), where \(E(t)=E_{r}(t_{1},t_{2},\ldots,t_{n})=\{s\in[r,t_{1}]:(s,t_{2},\ldots ,t_{n})\in\Omega\}\).

Base on the above lemmas, we obtain the following result.

Theorem 3.1

Suppose \(u \in W^{m}L_{M}\), the following statements are equivalent:

  1. (1)


  2. (2)

    \(\tilde{\rho}_{M}(u)\rightarrow0\Leftrightarrow \| u\|_{m,(M)}\rightarrow0\).

  3. (3)

    \(\tilde{\rho}_{M}(u)\rightarrow1\Leftrightarrow \| u\|_{m,(M)}\rightarrow1\).


(1) (2). The proof is similar to that of the Orlicz spaces (see [1]).

(2) (1). Otherwise, if \(M\notin\Delta_{2}\), then there exists a nonnegative sequence \(\{c_{k}\}\uparrow\infty\) such that

$$M\biggl(\biggl(1+\frac{1}{k}\biggr)c_{k}\biggr)>2^{k}M(c_{k}). $$

Set \(\lambda_{k}=\frac{1}{2^{k}M(c_{k})}\) (\(k=1,2,\ldots\)), α, β are defined as in Lemma 3.4. Without loss of generality, let \(\sum_{k=1}^{\infty}\lambda_{k}<\mu(\Omega)\). Taking \(\delta_{0} \in(\alpha,\beta)\) such that setting \(\Omega _{0}=\{t\in\Omega:t_{1}\leq\delta_{0}\}\), we have \(\mu(\Omega _{0})=\mu(\Omega)- \sum_{k=1}^{\infty}\lambda_{k}\). Then choose \(\delta_{1} \in(\delta_{0},\beta)\) and \(\Omega_{1}=\{ t\in\Omega:\delta_{0}< t_{1}\leq\delta_{1}\}\) such that \(\mu (\Omega_{1})=\lambda_{1}\). By the induction process, for any \(k\in N^{+}\), we have \(\Omega_{k}=\{t\in\Omega:\delta_{k-1}< t_{1}\leq \delta_{k}\}\) such that \(\mu(\Omega_{k})=\lambda_{k}\). Obviously, \(\sum_{k=0}^{\infty}\mu(\Omega_{k})=\mu(\Omega)\) and \(M(c_{k})\mu (\Omega_{k})=\frac{1}{2^{k}}\) for any \(k\in N^{+}\).


$$u_{p}(t)=\sum_{k=p+1}^{\infty}c_{k} \cdot\chi_{\Omega_{k}}(t),\quad 1 \leq p< \infty, $$


$$\begin{aligned} \rho_{M}(u_{p})&= \int_{\Omega}M\Biggl(\sum_{k=p+1}^{\infty}c_{k} \cdot \chi_{\Omega_{k}}(t)\Biggr)\,dt \\ &=\sum_{k=p+1}^{\infty} \int_{\Omega_{k}}M\bigl(c_{k}\cdot\chi_{\Omega _{k}}(t) \bigr)\,dt \\ &=\sum_{k=p+1}^{\infty}M(c_{k})\cdot\mu( \Omega_{k}) \\ &=\sum_{k=p+1}^{\infty}\frac{1}{2^{k}}= \frac{1}{2^{p}}, \end{aligned}$$

which implies \(\| u_{p}\|_{(M)}\leq1\).

On the other hand, for any \(l>1\), there exists \(p_{0}\) satisfying \(l\geq1+\frac{1}{p_{0}}\), thus for all \(p\geq p_{0}\),

$$\begin{aligned} \rho_{M}(lu_{p})&\geq\rho_{M}\biggl(\biggl(1+ \frac{1}{p_{0}}\biggr)u_{p}\biggr)=\sum_{k=p+1}^{\infty}M \biggl(\biggl(1+\frac{1}{p_{0}}\biggr)c_{k}\biggr)\cdot\mu( \Omega_{k}) \\ &\geq\sum_{k=p+1}^{\infty}M\biggl(\biggl(1+ \frac{1}{k}\biggr)c_{k}\biggr)\cdot\mu(\Omega _{k}) \\ &\geq\sum_{k=p+1}^{\infty}2^{k}M(c_{k}) \cdot\mu(\Omega_{k})>1. \end{aligned}$$

We have \(\| u_{p}\|_{(M)}\geq\frac{1}{\frac{1}{l}}=l\), thus \(\| u_{p}\|_{(M)}\geq1\). Consequently, \(\| u_{p}\|_{(M)}=1\).


$$\tilde{u}_{j,p}(t)= \int_{\alpha}^{t_{1}} \int_{\alpha}^{x_{j-1}} \cdots \int_{\alpha}^{x_{1}}\sum_{k=p+1}^{\infty} c_{k}\cdot\chi_{\Omega_{k}}(s,t_{2},\ldots, t_{n})\, ds\, dx_{1}\, dx_{2}\cdots\, dx_{j-1},\quad 1\leq j\leq m, $$


Then, for \(\alpha=(j,0,0,\ldots,0)\), we have \(D^{(j,0,0,\ldots,0)}\tilde{u}_{m,p}(t)=\tilde{u}_{m-j,p}(t)\), \(0\leq j\leq m\). And at the same time for \(\alpha\notin\{(0,0,\ldots,0),(1,0,\ldots ,0),\ldots,(m,0,\ldots,0)\}\),

$$ D^{\alpha}\tilde{u}_{m,p}(t)=0. $$

Furthermore, by the induction and Lemma 3.4, we derive

$$\| D^{\alpha}\tilde{u}_{m,p}\|_{(M)}\leq(\beta - \delta_{p})^{m-|\alpha|}\| u_{p}\|_{(M)}. $$

It follows from \(\lambda_{k}\rightarrow0\) that \(\mu(\Omega _{k})=\lambda_{k}\rightarrow0\), \(k\rightarrow\infty\). This implies that \(\delta_{k}\) approaches β. We can conclude, for any \(\alpha\neq(m, 0, 0,\ldots, 0)\), \(\| D^{\alpha}\tilde{u}_{m, p}\|_{(M)}\rightarrow0\) as \(p\rightarrow\infty\). By (3.1) and Lemma 3.1(3), we obtain \(\tilde{\rho}_{M}(\tilde{u}_{m, p})\rightarrow0\), \(p\rightarrow \infty\). Thus \(\|\tilde{u}_{m,p}\|_{m, (M)}\leq1\), \(p\rightarrow\infty\).


$$\|\tilde{u}_{m, p}\|_{m, (M)}\geq\| u_{p} \|_{(M)}=1, $$


$$\biggl\{ \lambda>0:\tilde{\rho}_{M}\biggl(\frac{\tilde{u}_{m,p}}{\lambda }\biggr) \leq1\biggr\} \subset\biggl\{ \lambda>0:\rho_{M}\biggl(\frac{u_{p}}{\lambda} \biggr)\leq 1\biggr\} . $$

By the above discussion we have

$$\tilde{\rho}_{M}(\tilde{u}_{m, p})\rightarrow0,\qquad \| \tilde{u}_{m, p}\|_{m,(M)}=1,\quad p\rightarrow\infty. $$

It is a contradiction. Thus \(M\in\Delta_{2}\).

(1) (3). By Lemma 3.1(3), (4) and Lemma 3.3.

(3) (1). Suppose \(\tilde{\rho}_{M}(u)\rightarrow 1\Leftrightarrow\| u\|_{m,(M)}\rightarrow1 \) and \(M\notin\Delta_{2}\), by the proof of (2) (1) we can get

$$\tilde{\rho}_{M}(\tilde{u}_{m,p})\rightarrow0,\qquad \| \tilde{u}_{m,p}\|_{m,(M)}=1,\quad p\rightarrow\infty. $$

It is a contradiction. Thus \(M\in\Delta_{2}\). □

Now, we turn to the extreme points and rotundity of Orlicz-Sobolev spaces.

Proposition 3.1

Suppose \(u\in S(W^{m}L_{M})\), if there exist \(\varepsilon>0\) and affine intervals \((a_{\alpha}, b_{\alpha})\) of M, \(0\leq|\alpha |\leq m\) such that

$$ \operatorname{int} \bigcap_{0\leq|\alpha|\leq m}\bigl\{ t\in\Omega: D^{\alpha}u(t)\in(a_{\alpha}+\varepsilon, b_{\alpha}-\varepsilon ) \bigr\} \neq\emptyset , $$

then \(u\notin \operatorname{ext}B(W^{m}L_{M})\).


Let \(\Omega_{0}= \bigcap_{0\leq|\alpha|\leq m}\{ t\in\Omega:D^{\alpha}u(t)\in(a_{\alpha}+\varepsilon,b_{\alpha }-\varepsilon)\}\). Take \(t^{\prime}, t^{\prime\prime}, r>0\), such that \(U(t^{\prime}, r)\subset\Omega_{0}\), \(U(t^{\prime\prime}, r)\subset\Omega_{0}\), and \(U(t^{\prime}, r)\cap U(t^{\prime\prime }, r)=\emptyset\), define

$$\begin{aligned}& J_{t^{\prime}}(t)= \textstyle\begin{cases} e^{-\frac{1}{r^{2}-\sum_{i=1}^{n}(t_{i}-t^{\prime}_{i})^{2}}},& t\in U(t^{\prime},r), \\ 0,& t \in\Omega\setminus U(t^{\prime},r), \end{cases}\displaystyle \\& J_{t^{\prime\prime}}(t)= \textstyle\begin{cases}e^{-\frac{1}{r^{2}-\sum_{i=1}^{n}(t_{i}-t^{\prime\prime }_{i})^{2}}} ,& t\in U(t^{\prime\prime}, r), \\ 0 ,& t \in\Omega\setminus U(t^{\prime\prime}, r), \end{cases}\displaystyle \end{aligned}$$

then \(J_{t^{\prime}}(t), J_{t^{\prime\prime}}(t)\in C_{c}^{\infty }(\Omega)\subset W^{m}L_{M}(\Omega)\).


$$\begin{aligned}& c_{1}=\varepsilon\cdot \min_{0\leq|\alpha|\leq m}\biggl\{ \frac {1}{\max_{t\in\Omega}|D^{\alpha}J_{t^{\prime}}(t)|+1}\biggr\} , \\& c_{2}=\varepsilon\cdot \min_{0\leq|\alpha|\leq m}\biggl\{ \frac {1}{\max_{t\in\Omega}|D^{\alpha}J_{t^{\prime\prime}}(t)|+1}\biggr\} , \end{aligned}$$

then \(c_{1}>0\), \(c_{2}>0\), and \(c_{1}D^{\alpha}J_{t^{\prime}}(t)\leq \varepsilon\), \(c_{2}D^{\alpha}J_{t^{\prime\prime}}(t)\leq \varepsilon\), for any α with \(0\leq|\alpha|\leq m\), \(t\in \Omega\). Let \(c=\min\{c_{1}, c_{2}\}\). Then we define

$$ v(t)=u(t)+cJ_{t^{\prime}}(t)-cJ_{t^{\prime\prime }}(t),\qquad w(t)=u(t)-cJ_{t^{\prime}}(t)+cJ_{t^{\prime\prime}}(t), \quad t\in \Omega, $$

then \(v, w\in W^{m}L_{M}\), \(w+v=2u\), and \(w\neq v\). Let \(M(u)=k_{\alpha}u+d_{\alpha}\) on \((a_{\alpha},b_{\alpha})\), therefore

$$\begin{aligned} \begin{aligned} \int_{\Omega}M\bigl(D^{\alpha}v(t)\bigr)\,dt ={}& \int_{\Omega\setminus U(t^{\prime},r)\setminus U(t^{\prime\prime},r)}M\bigl(D^{\alpha}u(t)\bigr)\,dt + \int_{U(t^{\prime},r)}M\bigl(D^{\alpha}u(t)+D^{\alpha}cJ_{t^{\prime }}(t) \bigr)\,dt \\ &{}+ \int_{U(t^{\prime \prime},r)}M\bigl(D^{\alpha}u(t)-D^{\alpha }cJ_{t^{\prime\prime}}(t) \bigr)\,dt \\ ={}& \int_{\Omega\setminus U(t^{\prime},r)\setminus U(t^{\prime \prime},r)}M\bigl(D^{\alpha}u(t)\bigr)\,dt+ \int_{U(t^{\prime},r)}\bigl(k_{\alpha }D^{\alpha}u(t)+d_{\alpha} \bigr)\,dt \\ &{}+ \int_{U(t^{\prime \prime},r)}\bigl(k_{\alpha}D^{\alpha }u(t)+d_{\alpha} \bigr)\,dt \\ &{}+ \int_{U(t^{\prime},r)}k_{\alpha}D^{\alpha}cJ_{t^{\prime}}(t)\,dt - \int_{U(t^{\prime\prime},r)}k_{\alpha}D^{\alpha}cJ_{t^{\prime \prime}}(t)\,dt \\ ={}& \int_{\Omega\setminus U(t^{\prime},r)\setminus U(t^{\prime \prime},r)}M\bigl(D^{\alpha}u(t)\bigr)\,dt+ \int_{U(t^{\prime},r)\cup U(t^{\prime\prime},r)}\bigl(k_{\alpha}D^{\alpha} u(t)+d_{\alpha}\bigr)\,dt \\ ={}& \int_{\Omega}M\bigl(D^{\alpha}u(t)\bigr)\,dt. \end{aligned} \end{aligned}$$

So we conclude \(\tilde{\rho}_{M}(v)=\tilde{\rho }_{M}(u)\leq1\). Likewise, \(\tilde{\rho}_{M}(w)=\tilde {\rho}_{M}(u)\leq1\). Therefore \(v,w\in B(W^{m}L_{M})\) and \(v\neq w\), we know that \(u\notin \operatorname{ext}B(W^{m}L_{M})\). □

Lemma 3.5

Let \(u\in S(W^{m}L_{M})\), if

  1. (i)

    \(\tilde{\rho}_{M}(u)=1\), and

  2. (ii)

    \(\mu\{t\in\Omega:u(t) \notin \mathit{SC}_{M}\}=0\),

then \(u\in \operatorname{ext}B(W^{m}L_{M})\).


Suppose \(v, w\in B(W^{m}L_{M})\) and \(w+v=2u\). We have to show \(u=v=w\). The convexity of M implies

$$\begin{aligned} 1&=\tilde{\rho}_{M}(u)=\sum_{0\leq|\alpha|\leq m} \int _{\Omega}M\bigl(D^{\alpha}u(t)\bigr)\,dt \\ &=\sum_{0\leq|\alpha|\leq m} \int_{\Omega}M\biggl(D^{\alpha }\biggl(\frac{v(t)+w(t)}{2} \biggr)\biggr)\,dt \\ &\leq\sum_{0\leq|\alpha|\leq m}\biggl(\frac{1}{2} \int_{\Omega }M\bigl(D^{\alpha}v(t)\bigr)\,dt+ \frac{1}{2} \int_{\Omega}M\bigl(D^{\alpha}w(t)\bigr)\,dt\biggr) \\ &=\frac{1}{2}\sum_{0\leq|\alpha|\leq m} \int_{\Omega }M\bigl(D^{\alpha}v(t)\bigr)\,dt+ \frac{1}{2}\sum_{0\leq|\alpha|\leq m} \int_{\Omega}M\bigl(D^{\alpha}w(t)\bigr)\,dt \\ &\leq1. \end{aligned}$$

So the equality holds in the above inequations. Again by the convexity of M, for any α with \(0\leq|\alpha|\leq m\),

$$\int_{\Omega}M\bigl(D^{\alpha}u(t)\bigr)\,dt= \frac{1}{2} \int_{\Omega }M\bigl(D^{\alpha}v(t)\bigr)\,dt+ \frac{1}{2} \int_{\Omega}M\bigl(D^{\alpha}w(t)\bigr)\,dt. $$

In particular, when \(\alpha=(0, 0,\ldots, 0)\),

$$\int_{\Omega}M\bigl(u(t)\bigr)\,dt=\frac{1}{2} \int_{\Omega}M\bigl(v(t)\bigr)\,dt+\frac {1}{2} \int_{\Omega}M\bigl(w(t)\bigr)\,dt. $$

Then by (ii), we conclude \(u=v=w\). So \(u\in \operatorname{ext}B(W^{m}L_{M})\) holds. □

Theorem 3.2

Let M be a strictly convex N function. \(W^{m}L_{M}\) is rotund if and only if \(M\in\Delta_{2}\).


Sufficiency. It is trivial by Lemma 3.2 and Lemma 3.5.

Necessity. Suppose \(M\notin\Delta_{2}\), by the proof process of Theorem 3.1, there exist \(p_{0}\) and \(p_{0+1}\) such that

$$\|\tilde{u}_{m,p_{0}}\|_{m,(M)}=1, \qquad \|\tilde {u}_{m,p_{0+1}}\|_{m,(M)}=1. $$

Let \(w=\tilde{u}_{m,p_{0}}\), \(v=\tilde{u}_{m,p_{0+1}}\), and \(u=\frac {w+v}{2}\).


$$\| u\|_{m,(M)}=1. $$

Therefore \(v,w\in B(W^{m}L_{M})\), but \(w\neq v\), so \(u \notin \operatorname{ext}B(W^{m}L_{M})\). That is a contradiction with the fact that \(W^{m}L_{M}\) is rotund. Thus the condition \(M\in\Delta_{2}\) holds. □

Based on the above results, we can prove the following theorem.

Theorem 3.3

Let M be a strictly convex N function. \(W^{m}L_{M}\) is URED if and only if \(M\in\Delta_{2}\).


Sufficiency. Suppose \(w\in W^{m}L_{M}\), \(\{u_{n}\}\subset W^{m}L_{M}\) satisfying \(\| u _{n}\|_{m,(M)}\rightarrow1\), \(\| u _{n}+w \|_{m,(M)}\rightarrow1\) and \(\|2u _{n}+w\|_{m,(M)}\rightarrow2\) as \(n\rightarrow\infty\). Let \(v_{n}=u_{n}+w\). We get

$$\| v_{n} \|_{m,(M)}\rightarrow1,\qquad \biggl\| \frac {u_{n}+v_{n}}{2} \biggr\| _{m,(M)}\rightarrow1 \quad \mbox{as } n\rightarrow \infty. $$

Furthermore \(\tilde{\rho}_{M}(u_{n})\rightarrow1\), \(\tilde {\rho}_{M}(v_{n})\rightarrow1\), \(\tilde{\rho}_{M}(\frac {u_{n}+v_{n}}{2})\rightarrow1\), since \(M\in\Delta_{2}\). Now we claim that \(\{u_{n}-v_{n}\}\) converges in measure to 0. Otherwise, there exist \(\delta_{0}>0\), \(\varepsilon_{0}>0\), and \(\{u_{n_{k}}\}\) and \(\{v_{n_{k}}\}\), such that

$$\mu\bigl\{ t\in\Omega:\bigl\vert u_{n_{k}}(t)-v_{n_{k}}(t)\bigr\vert \geq\delta_{0} \bigr\} \geq \varepsilon_{0}. $$

Since \(\tilde{\rho}_{M}(u_{n_{k}})\rightarrow1\), for any \(\bar {\varepsilon_{0}}\), choose \(k_{0}\in N^{+}\), for \(k\geq k_{0}\) we have

$$\bigl\vert \tilde{\rho}_{M}(u_{n_{k}})-1\bigr\vert < \bar{ \varepsilon_{0}}. $$

Then for \(D=M^{-1}(\frac{3(1+\bar{\varepsilon_{0}})}{\varepsilon _{0}})\) and \(k\geq k_{0}\),

$$\begin{aligned} 1+\bar{\varepsilon_{0}}&>\tilde{\rho }_{M}(u_{n_{k}})= \sum_{0\leq \vert \alpha \vert \leq m} \int_{\Omega}M\bigl(D^{\alpha}u_{n_{k}}(t)\bigr)\,dt \\ &\geq \int_{\{t\in\Omega: \vert u_{n_{k}}(t)\vert >D\}}M\bigl(u_{n_{k}}(t)\bigr)\,dt \\ &\geq M(D)\mu\bigl\{ t\in\Omega:\bigl\vert u_{n_{k}}(t)\bigr\vert >D \bigr\} , \end{aligned}$$

which implies

$$\mu\bigl\{ t\in\Omega:\bigl\vert u_{n_{k}}(t)\bigr\vert >D \bigr\} < \frac{\varepsilon_{0}}{3} \quad (k\geq k_{0}). $$

Likewise, \(\mu\{t\in\Omega:|v_{n_{k}}(t)|>D \}<\frac{\varepsilon _{0}}{3}\) (\(k\geq k_{0}\)).


$$\Omega_{D,\delta_{0}}=\bigl\{ t\in\Omega:\bigl\vert u_{n_{k}}(t)-v_{n_{k}}(t) \bigr\vert \geq \delta_{0},\bigl\vert u_{n_{k}}(t)\bigr\vert \leq D ,\bigl\vert v_{n_{k}}(t)\bigr\vert \leq D\bigr\} \quad (k \geq k_{0}). $$


$$\begin{aligned}& \Omega_{D,\delta_{0}}\cup\bigl\{ t\in\Omega:\bigl\vert u_{n_{k}}(t)\bigr\vert >D \bigr\} \cup\bigl\{ t\in\Omega:\bigl\vert v_{n_{k}}(t)\bigr\vert >D \bigr\} \\& \quad \supset\bigl\{ t\in\Omega :\bigl\vert u_{n_{k}}(t)-v_{n_{k}}(t) \bigr\vert \geq\delta_{0}\bigr\} . \end{aligned}$$

Then the following inequalities hold:

$$\begin{aligned} \begin{aligned} \mu(\Omega_{D,\delta_{0}})\geq{}&\mu\bigl(\bigl\{ t\in\Omega :\bigl\vert u_{n_{k}}(t)-v_{n_{k}}(t)\bigr\vert \geq\delta_{0} \bigr\} \bigr)-\mu\bigl(\bigl\{ t\in\Omega :\bigl\vert u_{n_{k}}(t)\bigr\vert > D\bigr\} \bigr) \\ &{} -\mu\bigl(\bigl\{ t\in\Omega:\bigl\vert v_{n_{k}}(t)\bigr\vert > D\bigr\} \bigr) \\ \geq{}&\frac{\varepsilon_{0}}{3}. \end{aligned} \end{aligned}$$

By Proposition 2.1, for the given D, \(\delta_{0}\), there exists \(\delta>0\) such that

$$M\biggl(\frac{v_{n_{k}}(t)+u_{n_{k}} (t)}{2}\biggr)< (1-\delta)\frac{M(v_{n_{k}}(t))+M(u_{n_{k}}(t))}{2}, $$

where \(t\in\Omega_{D,\delta_{0}}\).


$$\begin{aligned} 1 =&\lim_{k \to\infty}\tilde{\rho}_{M}\biggl( \frac{u_{n_{k}}+ v_{n_{k}}}{2}\biggr)=\lim_{k \to\infty}\sum _{0\leq|\alpha|\leq m} \int_{\Omega}M\biggl(D^{\alpha}\biggl(\frac {u_{n_{k}}(t)+v_{n_{k}}(t)}{2} \biggr)\biggr)\,dt. \\ =&\lim_{k \to\infty} \int_{\Omega}M\biggl(\frac {u_{n_{k}}(t)+v_{n_{k}}(t)}{2}\biggr)\,dt+\lim _{k \to\infty}\sum_{1\leq |\alpha|\leq m} \int_{\Omega}M\biggl(D^{\alpha}\biggl(\frac {u_{n_{k}}(t)+v_{n_{k}}(t)}{2} \biggr)\biggr)\,dt \\ =&\lim_{k \to\infty} \int_{\Omega_{D,\delta_{0}}}M\biggl(\frac {u_{n_{k}}(t)+v_{n_{k}}(t)}{2}\biggr)\,dt+\lim _{k \to\infty} \int_{\Omega \setminus\Omega_{D,\delta_{0}}}M\biggl(\frac {u_{n_{k}}(t)+v_{n_{k}}(t)}{2}\biggr)\,dt \\ &{}+\lim_{k \to\infty}\sum_{1\leq|\alpha|\leq m} \int _{\Omega}M\biggl(D^{\alpha}\biggl(\frac{u_{n_{k}}(t)+v_{n_{k}}(t)}{2} \biggr)\biggr)\,dt \\ \leq&\lim_{k \to\infty}(1-\delta) \int_{\Omega_{D,\delta _{0}}}\frac{M(v_{n_{k}}(t))+M(u_{n_{k}}(t))}{2}\,dt+\lim_{k \to\infty } \int_{\Omega\setminus\Omega_{D,\delta_{0}}}M\biggl(\frac {u_{n_{k}}(t)+v_{n_{k}}(t)}{2}\biggr)\,dt \\ &{}+\lim_{k \to\infty}\sum_{1\leq|\alpha|\leq m} \int _{\Omega}M\biggl(D^{\alpha}\biggl(\frac{u_{n_{k}(t)}+v_{n_{k}}(t)}{2} \biggr)\biggr)\,dt \\ \leq&\lim_{k \to\infty}\frac{\rho_{M}(u_{n_{k}})+\rho _{M}(v_{n_{k}})}{2}-\lim_{k \to\infty} \delta \int_{\Omega _{D,\delta_{0}}}\frac{M(v_{n_{k}}(t))+M(u_{n_{k}}(t))}{2}\,dt \\ &{}+\lim_{k \to\infty}\sum_{1\leq|\alpha|\leq m} \int _{\Omega}M\biggl(D^{\alpha}\biggl(\frac{u_{n_{k}}(t)+v_{n_{k}}(t)}{2} \biggr)\biggr)\,dt \\ \leq&\lim_{k \to\infty}\frac{\rho_{M}(u_{n_{k}})+\rho _{M}(v_{n_{k}})}{2}-\lim_{k \to\infty} \delta \int_{\Omega _{D,\delta_{0}}}M\biggl(\frac{u_{n_{k}}(t)- v_{n_{k}}(t)}{2}\biggr)\,dt \\ &{}+\lim_{k \to\infty}\sum_{1\leq|\alpha|\leq m} \int _{\Omega}M\biggl(D^{\alpha}\biggl(\frac{u_{n_{k}}(t)+v_{n_{k}}(t)}{2} \biggr)\biggr)\,dt \\ \leq&\lim_{k \to\infty}\frac{\rho_{M}(u_{n_{k}})+\rho _{M}(v_{n_{k}})}{2}-\delta M\biggl( \frac{\delta_{0}}{2}\biggr)\mu(\Omega _{D,\delta_{0}}) \\ &{}+\lim_{k \to\infty}\sum_{1\leq|\alpha|\leq m} \int _{\Omega}M\biggl(D^{\alpha}\biggl(\frac{u_{n_{k}}(t)+v_{n_{k}}(t)}{2} \biggr)\biggr)\,dt \\ \leq&\lim_{k \to\infty}\frac{\rho_{M}(u_{n_{k}})+\rho _{M}(v_{n_{k}})}{2}-\delta M\biggl( \frac{\delta_{0}}{2}\biggr)\mu(\Omega _{D,\delta_{0}}) \\ &{}+\lim_{k \to\infty}\sum_{1\leq|\alpha|\leq m}\biggl[ \frac{1}{2} \int_{\Omega}M\bigl(D^{\alpha}u_{n_{k}}(t)\bigr)\,dt+ \frac {1}{2} \int_{\Omega}M\bigl(D^{\alpha}v_{n_{k}}(t)\bigr)\,dt \biggr] \\ \leq&\lim_{k \to\infty}\frac{1}{2}\tilde{\rho }_{M}(u_{n_{k}})+\lim_{k \to\infty}\frac{1}{2} \tilde{\rho }_{M}(v_{n_{k}})-\delta M\biggl(\frac{\delta_{0}}{2} \biggr)\frac{\varepsilon _{0}}{3} \\ \leq&1-\delta M\biggl(\frac{\delta_{0}}{2}\biggr)\frac{\varepsilon_{0}}{3}< 1. \end{aligned}$$

It is a contradiction. Then the claim holds, so \(w=0\). We finished the proof of sufficiency. Necessity follows from Remark 2.1 and Theorem 3.2. □


  1. Adams, RA: Sobolev Spaces. Academic Press, New York (1975)

    MATH  Google Scholar 

  2. Goebel, K, Kirk, WA: Topics in Metric Fixed Point Theory. Cambridge University Press, Cambridge (1990)

    Book  MATH  Google Scholar 

  3. Odyniec, W, Lewicki, G: Minimal Projection in Banach Spaces. Lecture Notes in Mathematics. Springer, Berlin (1990)

    Book  MATH  Google Scholar 

  4. Singer, I: The Theory of Best Approximation and Functional Analysis. SIAM, Philadelphia (1974)

    Book  MATH  Google Scholar 

  5. Zizler, V: On some rotundity and smoothness properties of Banach spaces. Diss. Math. 87, 5-33 (1971)

    MathSciNet  MATH  Google Scholar 

  6. Chen, ST, Hu, CY: On the extreme points and rotundity of Luxemburg norm in Orlicz Sobolev spaces. Nat. Sci. J. Harbin Norm. Univ. 17(2), 1-6 (2001) (in Chinese)

    MathSciNet  Google Scholar 

  7. Chen, ST, Hu, CY: The extreme points and rotundity of Orlicz Sobolev spaces with maximum norm. J. Nat. Sci. Heilongjiang Univ. 18(4), 15-22 (2001) (in Chinese)

    MathSciNet  MATH  Google Scholar 

  8. Garkavi, AL: On the Chebyshev center of a set in a normed space. J. Nat. Sci. Heilongjiang Univ., 328-331 (1961) (in Russian)

  9. Chen, ST: Geometry of Orlicz spaces. Diss. Math. 356, 1-204 (1996)

    MathSciNet  Google Scholar 

  10. Ding, GG: Introduction to Banach Spaces. Science Press, Beijing (1984) (in Chinese)

    Google Scholar 

  11. Smith, MA: Some examples concerning rotundity in Banach spaces. Math. Ann., 233, 155-161 (1978)

    Article  MathSciNet  MATH  Google Scholar 

  12. Chen, ST, Hu, CY, Zhao, XJ: Uniform rotundity of Orlicz Sobolev spaces. Soochow J. Math. 29(3), 299-312 (2003)

    MathSciNet  MATH  Google Scholar 

Download references


This work is supported by the Science and Technology Commission of Shanghai Municipality (STCSM) under Grant No. 13dz2260400. The authors would like to thank the handling editors for the help in the processing of the paper. The authors are very grateful to the anonymous referees for the useful suggestions and remarks, which helped to improve the contents of this article.

Author information

Authors and Affiliations


Corresponding author

Correspondence to Rui Mao.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors conceived of the study, participated in its design and coordination, drafted the manuscript, participated in the sequence alignment, and read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Cao, F., Mao, R. & Wang, B. Uniform rotundity in every direction of Orlicz-Sobolev spaces. J Inequal Appl 2016, 277 (2016).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: