Assume that $p\in [1,\infty ]$ and $u=P_{h}[\phi ]$, where $\phi \in L^{p}(\mathbb{S}^{n-1},\mathbb{R}^n)$ and $u(0) = 0$. Then we obtain the sharp inequality $\lvert u(x) \rvert \le G_p(\lvert x \rvert )\lVert \phi \rVert_{L^{p}}$ for some smooth function $G_p$ vanishing at $0$. Moreover, we obtain an explicit form of the sharp constant $C_p$ in the inequality $\lVert Du(0)\rVert \le C_p\lVert \phi \rVert \le C_p\lVert \phi \rVert_{L^{p}}$. These two results generalize and extend some known results from the harmonic mapping theory (D. Kalaj, Complex Anal. Oper. Theory 12 (2018), 545–554, Theorem 2.1) and the hyperbolic harmonic theory (B. Burgeth, Manuscripta Math. 77 (1992), 283–291, Theorem 1).
Schwarz Lemma: The Case of Equality and an Extension
