Uniqueness of harmonic mappings into strictly starlike domains (Q934557)

From the authors' abstract: Let \(\Omega\) be a bounded simply connected domain which contains a point \(w_0\) and whose boundary is locally connected. Denote by \(\mathbb{D}=\{z\colon | z| <1\}\) the open unit disc and let \(\omega: \mathbb{D}\to \mathbb{D}\) be an analytic function. It is known from the paper of \textit{W. Hengartner} and \textit{G. Schober} [J. Lond. Math. Soc., II. Ser. 33, 473--483 (1986; Zbl 0626.30018)] that the elliptic differential equation \(\overline{f_{\overline{z}}}/f_z=\omega\) admits a one-to-one solution normalized by \(f(0)=w_0,\) \(f_z(0)>0,\) and maps \(\mathbb{D}\) into \(\Omega\) such that (i) the unrestricted limit \(f^*(e^{it})=\lim_{z\to e^{it}}f(z)\) exists and belongs to \(\partial \Omega\) for all but a countable subset \(E\) of the unit circle \(\mathbb{T}=\partial \mathbb{D},\) (ii) \(f^*\) is a continuous function on \(\mathbb{T}\setminus E\) and for every \(e^{is}\in E\) the one-sided limits \(\lim_{t\to s^+}f^*(e^{it})\) and \(\lim_{t\to s^-}f^*(e^{it})\) exist, belong to \(\partial \Omega,\) and are distinct, and (iii) the cluster set of \(f\) at \(e^{is}\in E\) is the straight line segment joining the one-sided limits \(\lim_{t\to s^+}f^*(e^{it})\) and \(\lim_{t\to s^-}f^*(e^{it})\). In this paper it is shown that this solution is unique if \(\Omega\) is a strictly starlike domain with respect to \(w_0\) whose boundary is rectifiable. The proof is based on the paper of the authors and \textit{A. Weitsman} [J. Geom. Anal. 17, No. 1, 41--47 (2007; Zbl 1118.30004)] and an idea attributed to \textit{R. Kühnau}.