Consider a regular bounded open set $\Omega\subset\mathbb{R}^3$, and a set of regular scalar functions $(u_n)_n\in\mathscr{C}^\infty(\Omega)$ such as $\|\Delta u_n\|_{L^\infty(\Omega)} \leq C$. Is it possible to show that $\|\nabla u_n\|_{L^p_{\text{loc}}(\Omega)}$ is also bounded for some $p\in ]1,\infty[ $ ? Or the values on the boundary are too important ?
$(\Delta u_n)_n$ bounded in $L^\infty(\Omega) \Rightarrow (\nabla u_n)_n$ locally bounded in some space?
2
$\begingroup$
pde
-
0You're right, Davide, of course I meant $\nabla u_n$ bounded in the mentionned space (which is not normed, but is Fréchet). Anyway... this seems to be false, even in in dimension 1 (see below) – 2012-06-29
2 Answers
1
We can work with harmonic function (which obviously satisfy the bounded Laplacian condition but with unbounded gradient). For example $u_n(x)=nx_1$ is such that $\Delta u_n=0$ but $\int_K|u_n|^p=n^p\int_K|x_1|^p$ so for a compact set with non-empty interior, the sequence $\{\lVert u_n\rVert_{p,K}\}$ is not bounded for any $p$.
0
Sorry for the silly question. Obviously wrong, even in dimension 1 : the sequence $f_n:x\mapsto x^2+nx$ have bounded second derivative though $(f'_n)_n$ is not bounded in $L^1_{\text{loc}}(\mathbb{R})$...
-
0May be it can be mended by demanding additionally that $L_\infty$ or $L^p_{\operatorname{loc}}$ norm of $u$ is bounded. – 2012-06-29