An extremal decomposition problem for harmonic measure
Let E be a continuum in the closed unit disk ∣z∣≤1 of the complex z-plane which divides the open disk ∣z∣<1 into n≥2 pairwise non-intersecting simply connected domains Dk, such that each of the domains Dk contains some point ak on a prescribed circle ∣z∣=ρ,0<ρ<1,k=1,...,n. It is shown that for some increasing function Ψ independent of E and the choice of the points ak, the mean value of the harmonic measures $$ Ψ^{-1}\[ \frac{1}{n} \sum_{k=1}^{k} Ψ(ω(a_k,E, D_k))] $$ is greater than or equal to the harmonic measure ω(ρ,E∗,D∗), where E∗={z:zn∈[−1,0]} and D∗={z:∣z∣<1,∣argz∣<π/n}. This implies, for instance, a solution to a problem of R.W. Barnard, L. Cole, and A. Yu. Solynin concerning a lower estimate of the quantity infEmaxk=1,...,nω(ak,E,Dk) for arbitrary points of the circle ∣z∣=ρ. These authors stated this hypothesis in the particular case when the points are equally distributed on the circle ∣z∣=ρ.