Runge's theorem

[8/0%]
LaTeX

Let Ω={z:∣z∣<1 and ∣2z−1∣>1}\Omega = \left\{ z:\left|z\right| < 1\text{ and }\left|2 z-1\right| > 1\right\}, and suppose f∈H(Ω)f \in H(\Omega ).

?
(a)

Must there exist a sequence of polynomials PnP_{n} such that Pn→fP_{n} \rightarrow f uniformly on compact subsets of Ω\Omega?

(b)

Must there exist such a sequence which converges to ff uniformly in Ω\Omega?

(c)

Is the answer to (b) changed if we require more of ff, namely, that ff be holomorphic in some open set which contains the closure of Ω\Omega?

Is there a sequence of polynomials PnP_{n} such that Pn(0)=1P_{n}(0) = 1 for n=1,2,3,…n = 1,2,3, \ldots, but Pn(z)→0P_{n}(z) \rightarrow 0 for every z≠0z \neq 0, as n→∞n \rightarrow \infty?

?

Is there a sequence of polynomials PnP_{n} such that

lim⁡n→∞Pn(z)={1 if Im(z)>00 if z is real −1 if Im(z)<0 \lim _{n \rightarrow \infty } P_{n}(z) = \begin{cases} 1 & \text{ if } \mathrm{Im}\left(z\right) > 0 \\ 0 & \text{ if } z \text{ is real } \\ -1 & \text{ if } \mathrm{Im}\left(z\right) < 0 \end{cases}
?

For n=1,2,3,…n = 1,2,3, \ldots, let Δn\Delta_{n} be a closed disc in UU, and let LnL_{n} be an arc (a homeomorphic image of [0,1])[0,1]) in U−ΔnU-\Delta_{n} which intersects every radius of UU. There are polynomials PnP_{n} which are very small on Δn\Delta_{n} and more or less arbitrary on LnL_{n}. Show that {Δn},{Ln}\left\{ \Delta_{n}\right\} ,\left\{ L_{n}\right\}, and {Pn}\left\{ P_{n}\right\} can be so chosen that the series f=ΣPnf = \Sigma P_{n} defines a function f∈H(U)f \in H(U) which has no radial limit at any point of TT. In other words, for no real θ\theta does lim⁡r→1f(reiθ)\lim_{r \rightarrow 1} f\left(r e^{i \theta }\right) exist.

?

Show that in Theorem 13.9 we need not assume that AA intersects each component of S2−ΩS^{2}-\Omega. It is enough to assume that the closure of AA intersects each component of S2−ΩS^{2}-\Omega.

?

Suppose, however, that ff is any complex-valued measurable function defined in the complex plane, and prove that there is a sequence of holomorphic polynomials PnP_{n} such that lim⁡n→∞Pn(z)=f(z)\lim_{n \rightarrow \infty } P_{n}(z) = f(z) for almost every zz (with respect to two-dimensional Lebesgue measure).

?

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.

?
?
(a)

Fubini's theorem was applied to vector-valued integrals in the proof of Theorem 10.29. Justify this.

(b)

Construct a proof of Theorem 10.29 that uses no contour integrals, as follows: Prove the theorem first for polynomials gg, then for rational functions gg with no poles in Ω1\Omega_{1}, and obtain the general case from Runge's theorem.

References

[Rud87] Rudin W. Real and Complex Analysis. 3rd ed., McGraw-Hill, 1987.
[Rud91] Rudin W. Functional Analysis. 2nd ed., McGraw-Hill, 1991.