Chapter 2.20

Uniform Approximation by Polynomials

[3/0%]
LaTeX
Problem 2.20.1

Extend Mergelyan's theorem to the case in which S2−KS^{2}-K has finitely many components: Prove that then every f∈C(K)f \in C(K) which is holomorphic in the interior of KK can be uniformly approximated on KK by rational functions.

?
Problem 2.20.2

Show that the result of Exercise 1 does not extend to arbitrary compact sets KK in the plane, by verifying the details of the following example. For n=1,2,3,…n = 1,2,3, \ldots, let Dn=D(αn;rn)D_{n} = D\left(\alpha_{n} ; r_{n}\right) be disjoint open discs in UU whose union VV is dense in UU, such that Σrn<∞\Sigma r_{n} < \infty. Put K=Uˉ−VK = \bar{U}-V. Let Γ\Gamma and γn\gamma_{n} be the paths

Γ(t)=eit,γn(t)=αn+rneit,0≤t≤2π \Gamma (t) = e^{i t}, \quad \gamma _{n}(t) = \alpha _{n}+r_{n} e^{i t}, \quad 0 \leq t \leq 2 \pi

and define

L(f)=∫Γf(z)dz−∑n=1∞∫γnf(z)dz(f∈C(K)) L(f) = \int _{\Gamma } f(z) d z-\sum _{n = 1}^{\infty } \int _{\gamma _{n}} f(z) d z \quad (f \in C(K))

Prove that LL is a bounded linear functional on C(K)C(K), prove that L(R)=0L(R) = 0 for every rational function RR whose poles are outside KK, and prove that there exists an f∈C(K)f \in C(K) for which L(f)≠0L(f) \neq 0.

?
Problem 2.20.3

Show that the function gg constructed in the proof of Lemma 20.2 has the smallest supremum norm among all f∈H(Ω)f \in H(\Omega ) such that zf(z)→1z f(z) \rightarrow 1 as z→∞z \rightarrow \infty. (This motivates the proof of the lemma).

Show also that b=c0b = c_{0} in that proof and that the inequality ∣b∣<4r\left|b\right| < 4 r can therefore be replaced by ∣b∣<r\left|b\right| < r. In fact, bb lies in the convex hull of the set EE.

?