Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $\Omega\subset\mathbb{R}^N$ be a regular bounded domain. Suppose $p=N$, then by Sobolev theorem, we have that for fixed $q\in [1,\infty)$ $$\|u\|_q\leq C\|u\|_{1,N}\ ,\forall\ u\in W^{1,N}(\Omega)$$

for some constant $C$.

Moreover, the function $$f(x)=\log\log\Big(1+\frac{1}{|x|}\Big)$$

is an example of a function $f\in W^{1,N}$ ($N\geq 2$) such that $f\notin L^\infty$.

My question is: Is $W^{1,N}\cap L^\infty$ continuous embedded in $L^\infty$?

${}{}{}{}{}$

share|improve this question
    
What norm do you use for the intersection? The usual way to norm $X\cap Y$ is by $\|\cdot \|_X+\|\cdot \|_Y$. Then of course, the identity map $X\cap Y\to Y$ is a continuous embedding. –  user53153 Jan 14 '13 at 22:02
    
I want the norm of $W^{1,N}$. –  Tomás Jan 14 '13 at 22:06
    
Then you don't win anything by asking $f$ to be bounded. Recall that $C^\infty_c$ is dense in $W^{1,N}$. If a dense subset embeds continuously, so does the entire space. –  user53153 Jan 14 '13 at 22:10
    
Im confused now. If I take a function $u\in W^{1,N}\cap L^\infty$, is there a constant $C$ not depending on $u$ such that $$\|u\|_{\infty}\leq C\|u\|_{1,N}$$ –  Tomás Jan 14 '13 at 22:22

1 Answer 1

up vote 3 down vote accepted

First of all, the one-dimensional example does not work. The function $\log\log (1+1/t)$ does not belong to $W^{1,1}((0,1))$. Indeed, the space $W^{1,1}((0,1))$ consists of the antiderivatives of Lebesgue integrable functions on $(0,1)$, and all such functions are bounded. One can also give an explicit estimate of Poincaré type, $$ \sup_{(0,1)} \left|f - \int_0^1 f\right| \le \int_0^1 |f'| $$

But in dimensions $N\ge 2$ the function $u(x)=\log\log(1+|x|^{-1})$ is indeed the standard example used to show that $W^{1,N}$ does not embed into $L^\infty$.

The question was whether adding the assumption $u\in L^\infty$ could save the embedding. It does not, as can be seen by considering $\min(u,M)$ for arbitrarily large $M$.

There's a more general reason for why the assumption of boundedness could not help here. The space $C^\infty_c$ is dense in $W^{1,N}$, as in any other Sobolev space with $p< \infty$. If an estimate of the form $F(u)\le C\|u\|_{X}$ holds on a dense subset of a normed space $X$, then it holds for all $u\in X$.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.