A family fλf_\lambda has a common bounded holomorphic neighborhood of a compact real interval II if there exist an open ΩC\Omega\subset\mathbb C, a radius r>0r>0, and M<M<\infty such that every closed radius-rr disc centered on II lies in Ω\Omega, every fλf_\lambda is holomorphic there, and supλ,zΩfλ(z)M\sup_{\lambda,z\in\Omega}|f_\lambda(z)|\le M.

Consequence and failure of uniformity

Cauchy estimates give supλ,xIfλ(m)(x)Mm!rm\sup_{\lambda,x\in I}|f_\lambda^{(m)}(x)|\le M m!r^{-m} at every order. Individual real analyticity gives no such common radius: fn(z)=1/(1+n2z2)f_n(z)=1/(1+n^2z^2) has poles at ±i/n\pm i/n, approaching the real interval containing zero. A bound only on the real interval also cannot replace a bound on the complex domain.