Uniform boundary-potential asymptotics

Compact joint continuity bounds the integral remainder in the boundary identity.

Reference: A. E. Kyprianou, Fluctuations of Lévy Processes with Applications, 2nd ed., Springer, 2014, Chapter 8.

theorem BGW.StableTrees.tendstoUniformlyOn_supPotential_zero_sub {θ : ℝ} (hθ : 1 < θ ∧ θ ≤ 2) (K : ℝ) : TendstoUniformlyOn (fun (q x : ℝ) => supPotential θ q 0 - supPotential θ q x) (stableScale θ) (nhdsWithin 0 (Set.Ioi 0)) (Set.Icc 0 K)

Zero-rate boundary asymptotics, locally uniformly in the nonnegative argument.