MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $\Omega$ be a domain in $\mathbb{R}^3$, does there exist a vector-valued Sobolev-type space, or maybe space in other sense, $V$, satisfying the following:
1) $S:=\lbrace v\in V:\|v\|_{L^\infty(\Omega)}\leq 1\rbrace$ is bounded in $V$;
2) $V$ has one degree of regularity, or maybe weaker, so that the divergence can be defined, for example, $\textrm{div}v\in L^2(\Omega)$;
3) The trace of $v$ can be suitbly defined on $\partial\Omega$.
4) $C_0^\infty(\Omega)$ is dense in $V$.
5) $V$ is reflexive.


share|cite|improve this question
up vote 2 down vote accepted

I think that such a space will not exists. In particular your requirements (1) and (2) contradicts in the following sense: (1) says basically, that the norm in $V$ is weaker than the $L^\infty(\Omega)$-norm, whereas (2) requires that you can control the divergence by the norm in $V$. Imho, this is not possible.

share|cite|improve this answer
In general, the $L^\infty$ norm can be controlled by the Sobolev norm within the right parameters, but the converse cannot be true. Sobolev functions have some nice properties of the derivatives, but $L^\infty$ (even continuous, H$\"o$lder continuous) can have pathologically bad derivatives. – Daniel Spector Apr 24 '13 at 7:37

Your Answer


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.