Extensions to the boundary of Riemann maps on varying domains in the complex plane (Q1782253)

The authors give a short proof of the following theorem on the convergence of Riemann maps. Denote \(\Delta_R=\{z\in\mathbb C:|z|<R\}\), \(R>0\), \(\Delta_1=\Delta\). Theorem 1.1: Let \(\Gamma\subset\partial\Delta\) be an open interval, let \(U\subset\mathbb C\) be a neighborhood of the closure \(\overline{\Gamma}\) of \(\Gamma\), and suppose that \(\{D_j\}_{j=1}^{\infty}\) is a sequence of simply connected domains containing \(\Delta\), each bounded by a closed Jordan curve and contained in \(\Delta_R\) for some fixed \(R>0\), and assume that \(D_j\cap U=\Delta\cap U\) for all \(j\). Assume further that \(D_j\to\Delta\) with respect to kernel convergence, and for each \(j\), let \(f_j:D_j\to\Delta\) be the Riemann map with \(f_j(0)=0\) and \(f_j'(0)>0\). Then \(f_j\to\text{id}\) uniformly on compact subsets of \(\Delta\cup\Gamma\). The proof is based on the notion of kernel convergence and the Lindelöf maximum principle.