4
$\begingroup$

Let $\Omega $ a smooth domain of $\mathbb R^d$ ($d\geq 2$), $f\in \mathcal C(\overline{\Omega })$. Let $u\in \mathcal C^2(\overline{\Omega })$ solution of $$-\Delta u(x)+f(x)u(x)=0\ \ in\ \ \Omega .$$ Assume that $f(x)\geq 0$ for $x\in \Omega $. Prove that $$\int_{B(x,r)}|\nabla u|^2\leq \frac{C}{r^2}\int_{B(x,2r)}|u|^2,$$ for all $x\in \Omega $ and $r>0$, $B(x,2r)\subset \subset \Omega $ for somme $C\geq 0$ independant of $u,f,x$ and $r$.

My attempts

Using divergence theorem and that $\Delta u=fu$ in $\Omega $, I have that $$\int_{B(x,r)}|\nabla u|^2=\int_{B(x,r)}\text{div}(u\nabla u)-\int_{B(x,r)}u\Delta u=\int_{\partial B(x,r)}u\nabla u\cdot \nu-\int_{B(x,r)}fu^2.$$

But I can't do better. Any help would be welcome.

$\endgroup$
  • $\begingroup$ Do you know test functions and the Poincare Inequality? $\endgroup$ – xpaul Jan 7 '17 at 17:48
  • $\begingroup$ @xpaul: Indeed, I do. If you talk about test function, you mean that we have to prove this inequality in the weak sense ? $\endgroup$ – MathBeginner Jan 7 '17 at 17:53
  • $\begingroup$ Yes, you are right. $\endgroup$ – xpaul Jan 7 '17 at 17:55
  • $\begingroup$ @xpaul: Are you sure it's enough ? Because we want it in the strong sense, no ? $\endgroup$ – MathBeginner Jan 7 '17 at 18:02
4
$\begingroup$

Suppose that $\varphi : \bar{B}(x,2r) \to [0,\infty)$ is Lipschitz and $\varphi =0$ on $\partial B(x,2r)$. Note that since $\varphi$ is Lipschitz, it is differentiable almost everywhere by Rademacher's theorem. Then $$ 0 \le \int_{B(x,2r)} \varphi^2 f u^2 = \int_{B(x,2r)} \varphi^2 u \Delta u = \int_{B(x,2r)} - \nabla (\varphi^2 u) \cdot \nabla u $$
since $\varphi$ vanishes on $\partial B(x,2r)$. Since $$ \nabla(\varphi^2 u) = 2 \varphi \nabla \varphi u + \varphi^2 \nabla u $$ we find, upon plugging in above, that $$ 0 \le -\int_{B(x,2r)}2 \varphi u \nabla \varphi \cdot \nabla u + \varphi^2 |\nabla u|^2, $$ and so $$ \int_{B(x,2r)} \varphi^2 |\nabla u|^2 \le \int_{B(x,2r)} -2 \varphi u \nabla \varphi \cdot \nabla u \le 2 \left(\int_{B(x,2r)} \varphi^2 |\nabla u|^2\right)^{1/2} \left(\int_{B(x,2r)} u^2 |\nabla \varphi|^2 \right)^{1/2}. $$ From this we then see that $$ \int_{B(x,2r)} \varphi^2 |\nabla u|^2 \le 4 \int_{B(x,2r)} u^2 |\nabla \varphi|^2. $$

With the last inequality in hand we can prove the result. Set $$ \varphi(y) = \begin{cases} 1 & \text{if } |x-y| \le r \\ 2 - |x-y|/r & \text{if } r < |x-y| \le 2r. \end{cases} $$ It's easy to see that $\varphi \ge 0$, $\varphi$ vanishes on the boundary, and $\varphi$ is Lipschitz. Also $$ |\nabla \varphi(y)| = \begin{cases} 0 & \text{if } |x-y| \le r \\ 1/r & \text{if } r < |x-y| \le 2r. \end{cases} $$ Plugging this in above then gives the inequality $$ \int_{B(x,r)} |\nabla u|^2 \le \int_{B(x,2r)} \varphi^2 |\nabla u|^2 \le 4 \int_{B(x,2r)} u^2 |\nabla \varphi|^2 = \frac{4}{r^2} \int_{B(x,2r) \backslash B(x,r)} u^2. $$ This is actually stronger than the desired inequality.

$\endgroup$
  • $\begingroup$ You are fast than me+1. $\endgroup$ – xpaul Jan 7 '17 at 18:38
3
$\begingroup$

Denote $B(x,r)$ by $B_r$ and choose a smooth function $\xi$ to have the following property $$ \xi=\left\{\begin{array}{lcr}1,&\text{if }x\in B_r\\ \ge 0,&\text{if }x\in B_{2r}\setminus B_r\\ 0,&\text{if }x\in\Omega\setminus B_{2r}, \end{array} \right. $$ satisfying $|\nabla \xi|\le \frac{C}{r}$. Using $u\xi^2$ as a test function in the equation, one has $$ \int_{\Omega}\nabla u\nabla(u\xi^2)dx=-\int_{\Omega}fu^2\xi^2dx\le0. $$ Thus $$ \int_{\Omega}\xi^2|\nabla u|^2dx\le-2\int_{\Omega}(\xi\nabla u)(u\nabla\xi) dx. $$ By using $2ab\le \frac{1}{2}a^2+2b^2$, one has $$ \int_{\Omega}\xi^2|\nabla u|^2dx\le \frac12\int_{\Omega}\xi^2|\nabla u|^2dx+2\int_{\Omega}|u\nabla\xi|^2 dx $$ and hence $$ \int_{\Omega}\xi^2|\nabla u|^2dx\le 4\int_{\Omega}|u\nabla\xi|^2 dx. $$ So using the property of $\xi$, one has $$ \int_{B_r}|\nabla u|^2dx\le \frac{C}{r^2}\int_{B_{2r}}|u|^2 dx. $$

$\endgroup$
  • $\begingroup$ Nice answer, but I just have some few question. 1) Ok for $\xi$ but why can you take it s.t. $|\nabla \xi|<\frac{C}{r}$ ? 2) I don't really see where $\int_\Omega \xi^2|\nabla u|^2dx\leq -2\leq \int_\Omega (\xi \nabla u)(u\nabla \xi) $. **3)** Since we have $\int_\Omega \xi^2|\nabla u|^2\leq -2\int_\Omega (\xi \nabla u)(u\nabla \xi)$, the following inequlity look wrong (because the $-2$). So maybe it's just $\int_\Omega \xi^2|\nabla u|^2\leq 2\int_\Omega (\xi \nabla u)(u\nabla \xi)$ ? $\endgroup$ – MathBeginner Jan 8 '17 at 10:51
  • $\begingroup$ @MathBeginner, $-2ab\le \frac12a^2+2b^2$. $\endgroup$ – xpaul Jan 8 '17 at 23:54
  • $\begingroup$ Could you please tell me why you can take $\xi$ s.t. $|\nabla \xi|\leq \frac{C}{r}$, it's really the only thing I don't understand. Thank you. $\endgroup$ – MathBeginner Jan 22 '17 at 16:43
  • $\begingroup$ @MathBeginner, the reason to choose such $\xi$ is make $\frac1{r^2}$ in the RHS of your inequality. Note $\xi$ is 1 when $x\in B_r$ and 0 when $x\notin B_{2r}$. $\endgroup$ – xpaul Jan 23 '17 at 17:20
  • $\begingroup$ I know why we do that, but my question is why can we do that ? Why can we control the gradient of $\xi$ ? Thank you $\endgroup$ – MathBeginner Jan 23 '17 at 17:41

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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