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.

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 ?

share|improve this question
    
How is the norm in $L^p_{\operatorname{loc}}$ defined? –  Davide Giraudo Jun 29 '12 at 12:11
    
You'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) –  xounamoun Jun 29 '12 at 13:13
add comment

2 Answers

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$.

share|improve this answer
add comment

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})$...

share|improve this answer
    
May be it can be mended by demanding additionally that $L_\infty$ or $L^p_{\operatorname{loc}}$ norm of $u$ is bounded. –  Andrew Jun 29 '12 at 17:14
add comment

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.