On the angular derivative of comb domains (Q2297695)

The author shows how Burdzy's theorem implies an affirmative answer to the necessity part of the Rodin-Warschawski conjecture on comb domains. Suppose \(f\) is a conformal map from a simply connected domain \(\Omega\subset\mathbb C\) and \(\partial\Omega\) has an inner tangent at \(\zeta\in\partial\Omega\). If \(f\) has a non-zero angular derivative \(f'(\zeta)\) at \(\zeta\), then \(f\) is conformal at \(\zeta\). In the case \(0\in\partial\Omega\), \(\Omega\) has a positive angular derivative at 0 if there is a conformal map \(\phi\) of \(\mathbb H=\{z\in\mathbb C:\text{Im}\,z>0\}\) onto \(\Omega\) which has angular limit \(\phi(0)=0\) and angular derivative \(\phi'(0)\) with \(0<\phi'(0)<\infty\). The function \(\tau(z)=ie^{-z}\) maps the strip \(\mathbb S=\{z\in\mathbb C:|\text{Im}\,z|<\pi/2\}\) onto \(\mathbb H\) and \(\psi(z)=\tau^{-1}\circ\phi\circ\tau(z)\) maps \(\mathbb S\) conformally onto the region \(\tilde{\Omega}\). Let \(\tilde{\Omega}\) be a simply connected domain such that the corresponding boundary \(\partial\Omega\) has an inner tangent at 0 with vertical inner normal. Let \(\psi:\mathbb S\to\tilde{\Omega}\) be a conformal map satisfying \(\lim_{\text{Re}\,z\to+\infty}\text{Re}\,\psi(z)=+\infty\). Then \(\tilde{\Omega}\) has an angular derivative at \(+\infty\) if \(\lim_{\text{Re}\,z\to+\infty}(\psi(z)-z)\) exists. The two last limits are taken over \(z\) with \(|\text{Im}\,z|<\pi/2-\delta\) for all \(\delta\in(0,\pi/2)\). Define a comb domain \[R=\mathbb C\setminus\bigcup_{n\geq0}\{a_n+iy:y\leq-\pi/2+\theta_n\;\;\text{or}\;\;y\geq\pi/2-\theta_n\},\] where \(\{a_n\}\) is a sequence increasing to \(+\infty\) and \(0\leq\theta_n<\pi/2\). The Rodin-Warschawski conjecture states that if \(\sum_n\theta_n^2<\infty\), then a necessary and sufficient condition for \(R\) to have an angular derivative at \(+\infty\) is \(\sum_n(a_{n+1}-a_n)^2<\infty\). The author provides the details on how the necessity part of the Rodin-Warschawski conjecture on comb domains follows from Burdzy's theorem [\textit{K.Burdzy}, Math. Z., 192, 89--107 (1986; Zbl 0603.30039)].