If is compact with connected complement and is holomorphic near , then for each there is a polynomial such that .
Let the uniform closure of polynomials on a compact set be an algebra. A reciprocal at a sufficiently distant pole belongs to it by a geometric series. A path of poles avoiding the compact set can be divided into short steps; expanding each reciprocal in powers of the previous one transfers polynomial approximability along the path.
For a closed set , a point is a polynomially approximable resolvent point when is a uniform limit on of complex polynomials.
The polynomially approximable resolvent points form a subset that is both open and closed relative to . Openness follows from the uniformly convergent expansionwhen ; relative closedness follows from the uniform continuity of the resolvent as its pole varies away from . Hence approximability at one point propagates throughout its connected component of .
Let be a closed square and let be holomorphic on a neighbourhood of a slightly larger square. The Cauchy integral formula on the larger boundary is uniformly approximated on by Riemann sums of resolvents whose poles lie outside . Far-away resolvents have convergent geometric-series expansions in , and resolvent propagation across a complementary component moves this polynomial approximability to every pole outside the square. Approximating the finitely many resolvents in each Riemann sum by polynomials proves polynomial approximation on without invoking the general Runge theorem.
A proper closed arc of a circle centered at zero has connected complement and stays away from zero. The polynomial Runge theorem therefore gives polynomials converging uniformly to on .
On , the polynomialsconverge uniformly to . Expand first in powers of , whose modulus is at most on , and then expand each in powers of . The estimate controls the diagonal truncation.
Polynomials cannot converge uniformly to on . Uniform convergence there makes the polynomials uniformly Cauchy on the full circle because deleting one point does not change the supremum of a continuous function. They would therefore converge uniformly to on the full circle, contradicting
To approximate a piecewise constant function pointwise, exhaust each of its separated regions by compact subsets whose finite union has connected complement. Apply polynomial Runge approximation to the locally constant holomorphic function on each stage, with errors tending to zero. Every fixed point eventually lies in all later stages, so the uniform stagewise estimates imply pointwise convergence.
Articles by others on the same topic
There are currently no matching articles.