Burkholder’s Exit-Time Condition via Proper Maps: Smirnov Regularity, Hardy–orlicz Criteria and Torsion-Type Problems

Let (Zₜ)t ≥ 0 be a planar Brownian motion running in some domain W and denote by τ W the exit time of Zₜ from W . To establish the finiteness of E( _0≤ t≤ τ W|Zₜ|ᵖ) from the finiteness of E(|Z_τ W|ᵖ) for some $p>0$ , Burkholder [‘Exit times of Brownian motion, harmonic majorization, and Hardy spaces’, Adv. Math. 26 (2) (1977), 182–205] imposed an additional condition on the exit time τ W , namely the finiteness of E(log (τ W)) . Such a condition is typically difficult to verify, since the law of the exit time is often delicate. In this paper, we revisit Burkholder’s condition and propose an alternative viewpoint. Our approach is purely analytic, weaker and formulated in terms of proper analytic maps rather than exit times themselves. This provides a more flexible framework for further applications.