Gradient maximum principle for harmonic functions
= Gradient maximum principle for harmonic functions
{title2=$\sup_\Omega|Dw|=\sup_{\partial\Omega}|Dw|$}
For a <harmonic function> $w$ smooth inside a bounded domain and $C^1$ on its closure, $\Delta|Dw|^2=2|D^2w|^2\geq0$. The <weak maximum principle for elliptic operators> and continuity of the <gradient> imply $\sup_\Omega|Dw|=\sup_{\partial\Omega}|Dw|$.