A note on a harmonic measure estimate and a conjecture of J. Velling

TL;DR

This paper proves a theorem confirming Velling's conjecture relating harmonic measure estimates to boundary arc lengths, transforming previous conditional results into unconditional ones in complex analysis.

Contribution

It establishes a theorem that proves Velling's conjecture, enabling the validation of earlier conditional theorems in harmonic measure and extremal problems.

Findings

Velling's conjecture is proven to be true.

Conditional theorems based on the conjecture are now unconditional.

The result advances understanding of harmonic measure estimates.

Abstract

Suppose that finitely many disjoint open arcs have been selected on the unit circle, each of length less than $\pi$. Let $L_0$ be a longest among them. One can treat the unit disk as a hyperbolic plane in the Poincare disk model. From this perspective each arc $L$ of the selected set determines a hyperbolic half-plane bounded by the geodesic curve $I$ joining endpoints of the arc $L$. Remove from the unit disk all these hyperbolic half-planes. The remaining domain is simply connected and contains the origin. Now map this domain conformally onto the unit disk so that the origin stays fixed. After this map, the boundaries of the hyperbolic half-planes appear as disjoint arcs on the unit circle. Let $I'_0$ be the conformal image of the boundary of the hyperbolic half plane determined by the arc $L_0$. Velling conjectured that $|I'_0| \ge |L_0|,$ where $|\cdot|$ stands for the Euclidean length. He proved some conditional theorems based on validity of this conjecture. In this note we prove a theorem which implies the Velling conjecture and thus converts the conditional theorems of Velling into true ones. 2010 MSC: 30C80, 31A15 Keywords: harmonic measure, extremal problems.