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
    @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
    @LeonidKovalev : Thank you Sir.2012-06-19