1
$\begingroup$

Let $\Omega=B_1(0)$ and $u\in C(\Omega, R^n) \cap C^2(\Omega, R^n)$ be a vector valued map into the unit ball ( ie. $|u(x)|\le 1$ for all $x\in \Omega $, such that $$|\triangle u(x)| \le |\triangledown u(x)|^2$$ for all $x\in \Omega$

How can i show that $v:= |u^2| $ is a subharmonic and conclude that $sup_\Omega|u| \le sup_{\partial \Omega } |u| $ .

Thank you for your help .

  • 0
    I guess that $\Omega$ is a subset of some $\mathbb{R}^m$, which makes $\nabla u(x)$ a matrix, so what do you mean by $|\nabla u(x)|^2$?2012-06-16
  • 0
    @Deltapsi I understood it to mean the same thing as for a vector: sum of squares of entries. (I.e., the square of the Frobenius / Hilbert-Schmidt norm.) This is what the proof required anyway.2012-06-16

1 Answers 1

1

Write $u=(u_1,\dots,u_n)$. For each $k=1,\dots, n$ calculate $$\Delta (u_k^2)=\mathrm{div}\nabla (u_k^2) = \mathrm{div} (2u_k\nabla u_k)=2u_k\Delta u_k+2|\nabla u_k|^2$$ Hence, $\Delta |u|^2 = 2\sum_{k}u_k\Delta u_k+2|\nabla u|^2$. We like the second term, because it's nonnegative. What to do with the first? Use Cauchy-Schwarz, of course: $\left|\sum_{k}u_k\Delta u_k\right|\le |u||\Delta u|\le |\Delta u|\le |\nabla u|^2$. Thus $\Delta |u|^2\ge 0$.

  • 0
    How do you prove that $\sum_ku_k\Delta u_k \ge 0$?2012-06-16
  • 0
    @Deltapsi I don't.2012-06-16
  • 0
    So why do you say that $\Delta|u|^2 \ge 0$?2012-06-16
  • 0
    @Deltapsi If $a$ and $b$ are real numbers such that $|a|\le b$, then $a+b\ge 0$.2012-06-16
  • 0
    I get it now, thanks!2012-06-16
  • 0
    @LeonidKovalev : Can i say using max principle that $sup_\Omega|u| \le sup_{\partial \Omega } |u| $ . I am not getting it exactly .2012-06-19
  • 0
    @Theorem Yes. Since $|u|^2$ is subharmonic, it satisfies $\sup_{\Omega}|u|^2\le \sup_{\partial\Omega}|u|^2$. Take square roots of both sides to get $\sup_{\Omega}|u|\le \sup_{\partial\Omega}|u|$. Square root is an increasing function, so it plays well with supremum and infimum.2012-06-19
  • 0
    @LeonidKovalev : Thank you Sir.2012-06-19