The squeezing function on doubly-connected domains via the Loewner differential equation (Q2049966)

The authors compute the squeezing function of the annulus \(A_r=\{z\in\mathbb C:r<|z|<1\}\). For a bounded domain \(\Omega\) in \(\mathbb C^n\) and any \(z\in\Omega\), let \(\mathcal F_{\Omega}(z)\) be the collection of all embeddings \(f\) from \(\Omega\) to \(\mathbb C^n\) such that \(f(z)=0\). Denote \(B(0;r)=\{z\in\mathbb C^n:\|z\|<r\}\). The squeezing function \(S_{\Omega}(z)\) of \(\Omega\) at \(z\) is defined to be \[S_{\Omega}(z)=\sup_{f\in\mathcal F_{\Omega}(z)}\left\{\frac{a}{b}:B(0;a)\subset f(\Omega)\subset B(0;b)\right\}.\] The authors consider the case \(n=1\). Namely, they prove the following theorem. Theorem 1. For \(0<r<1\) and \(r<|z|<1\), \[S_{A_r}(z)=\max\left\{|z|,\frac{r}{|z|}\right\}.\] By restricting \(\mathcal F_{A_r}(z)\) to the case \(f(A_r)\subset\mathbb D=\{z\in\mathbb C:|z|<1\}\), the authors find the extremal conformal map. Theorem 2. Let \(\tilde E\subset\mathbb D\) be closed with \(0\notin\tilde E\), and there exists some constant \(y>0\) such that \(|z|\geq y\) for any \(z\in\tilde E\). Furthermore, assume that \(\Omega=\mathbb D\setminus\tilde E\) is doubly connected. If \(g\) is a conformal map of \(A_r\) onto \(\Omega\) for some \(r\in(0,1)\) such that \(g\) maps \(\partial\mathbb D\) onto \(\partial\mathbb D\), then \(|g^{-1}(0)|\geq y\). Finally, the authors obtain the lower bound for the squeezing function on product domains in \(\mathbb C^n\). Theorem 3. Suppose that \(\Omega\subset\mathbb C^n\) and \(\Omega=\Omega_1\times\dots\times\Omega_n\) where \(\Omega_k\) is a bounded domain in \(\mathbb C\) for each \(k=1,\dots,n\). Then, for any \(z=(z_1,\dots,z_n)\in\Omega\), \[S_{\Omega}(z)\geq\left(S_{\Omega_1}(z_1)^{-2}+\dots+S_{\Omega_n}(z_n)^{-2}\right)^{-1/2}.\]