The Schwarz-Pick lemma for planar harmonic mappings (Q657288)

The author generalizes the classical Schwarz-Pick lemma for holomorphic mappings to plane harmonic mappings of the unit disk \(D\). For any \(0<r<1\) and \(0\leq\rho<1\), the author constructs a closed convex domain \(E_{r,\rho}\) such that the following theorem (Theorem 3) is true. Given \(z,w=\rho e^{i\alpha}\in D\) and \(0<r<1\), then, for every harmonic mapping \(F\) with \(F(D)\subset D\) and \(F(z)=w,\) one has \(F(\Delta(z,r))\subset e^{i\alpha}E_{r,\rho}=\{e^{i\alpha}\zeta:\zeta\in E_{r,\rho}\}\), where \(\Delta(z,r)\) is the pseudo-disk of center \(z\) and pseudo-radius \(r;\) conversely, for every \(w'\in e^{i\alpha}E_{r,\rho}\), there exists a harmonic mapping \(F\) and a point \(z'\in\partial\Delta(z,r)\) such that \(F(D)\subset D\), \(F(z)=w\) and \(F(z')=w'\). Then the author establishes a Finsler metric \(\mathcal{H}_z(u)\) on \(D\) and proves the following (Theorem 5): Let \(F\) be a harmonic mapping such that \(F(D)\subset D\) and \(z\in D\). Then, \[ \mathcal{H}_{|F(z)|}(e^{i\theta}F_z(z)+e^{-i\theta}F_{\bar z}(z))\leq\frac1{1-|z|^2} \] holds for \(0\leq\theta\leq2\pi\). This result is sharp and the equality may be attained for any values of \(z\), \(\theta\), \(F(z)\) and \(\arg(e^{i\theta}F_z(z)+e^{-i\theta}F_{\bar z}(z))\).