Inequalities for harmonic measures with respect to non-overlapping domains (Q2832306)

This work is concerned with inequalities for harmonic measures with respect to non-overlapping domains in the plane. Denote \(E=\{z\in {\mathbb C}: |z|\leq 1\}\) and let \(\omega(z,F,B)\) denote the harmonic measure of the set \(F\) with respect to the domain \(B\) evaluated at the point \(z\). Also, \(r(B,z)\) denotes the inner radius of \(B\) with respect to \(z\). NEWLINENEWLINENEWLINENEWLINE Theorem 1. Assume \(\{B_k\}_{k=1,\dots,n}\) are simply connected domains, mutually disjoint and such that \(\partial B_k\cap E\neq \emptyset\). Also, let \(z_k\in B_k\setminus E\). Then, for any real numbers \(\delta_k\) we have NEWLINENEWLINENEWLINE\[NEWLINE \prod_{k=1}^n \left[\frac{(|z_k|^2-1)\sin^2(\pi\omega_k/2)}{r(B_k\setminus E, z_k)} \right]^{\delta_k^2}\leq \prod_{k=1}^n\prod_{l=1,l\neq k}^n\left|\frac{z_k-z_l}{1-\bar z_kz_l} \right|^{\delta_k\delta_l}, NEWLINE\]NEWLINENEWLINENEWLINE where \(\omega_k=\omega(z_k,E\cap \partial B_k,B_k)\), \(k=1,\dots,n\). NEWLINENEWLINENEWLINENEWLINE Theorem 2. Suppose the domains \(B_k\) and the points \(z_k\) satisfy the same conditions as in Theorem 1 and assume further that \(|z_k|=R>1\). Then NEWLINENEWLINE\[NEWLINE \prod_{k=1}^n \sin^2 \frac{\pi \omega_k}{2}\leq \left(\frac{4R(R^n-1)}{n(R^2-1)(R^n+1)}\right)^n \prod_{k=1}^n\prod_{l=1,l\neq k}^n\left|\frac{z_k-z_l}{1-\bar z_kz_l} \right|\leq \left(\frac{4R^n}{(R^n+1)^2}\right)^n. NEWLINE\]NEWLINE NEWLINENEWLINENEWLINENEWLINE Theorem 3. Under the assumptions of Theorem 2, we have NEWLINE\[NEWLINE \prod_{k=1}^n \tan \frac{\pi \omega_k}{4}\leq R^{-n^2/2}. NEWLINE\]NEWLINE The equality is achieved if and only if, up to a rotation about the origin, one has NEWLINENEWLINE\[NEWLINEB_k=\big\{z:|z|>1, |\operatorname{arg} z-2\pi k/n|<\pi/n\big\},\quad z_k=R \exp {2\pi i k/n}.NEWLINE\]NEWLINENEWLINENEWLINEFurther, inequalities for harmonic measure of sets lying on continua are investigated. The last section of the article deals with inequalities for harmonic measures in terms of Schwarzian derivatives of functions that conformally map the domains \(B_k\) into the unit disc.