Schwarz lemma for harmonic mappings in the unit ball (Q682093)

The author proves a generalization of the Schwarz lemma for a harmonic mappings \(u\) from the \(n\)-dimensional unit ball \(B^n\) into itself such that \(u(0)=0\). More precisely, if \(1\leq p\leq \infty\), then he shows that \[ |u(x)| \leq g_p(|x|)\|u\|_p\, , \] where \(g_p\) is a smooth function which vanishes at \(0\). Here \(\|u\|_p\) denotes the standard \(\sup\)-norm on \(B^n\) if \(p=\infty\), whereas if \(1\leq p< \infty\), we have \[ \|u\|_p \equiv \sup_r \Big(\int_{\partial B^n}|u(r\eta)|^p d\sigma(\eta)\Big)^{1/p}\, , \] where \(d\sigma\) is the normalized rotationally invariant Borel measure on \(\partial B^n\). Explicit expressions for \(g_p\) are given in the special cases \(p=1,2,\infty\). Moreover the author provides an explicit form of the sharp constant \(C_p\) in the inequality \[ \|Du(0)\|\leq C_p \|u\|_p\, . \]