It turns out you can approximate analytic functions by rational functions, quotients of polynomials. The resulting theorem is one of the most profound theorems in complex analysis. The basic idea is simple. The Riemann sums for the Cauchy integral formula are rational functions. The idea used to implement this observation is that if you have a compact subset, K of an open set, Ω there exists a cycle composed of closed oriented curves
To begin with, consider the part about the cycle of closed oriented curves. Recall Theorem 50.7.25 which is stated for convenience.
Theorem 55.1.2 Let K be a compact subset of an open set, Ω. Then there exist continuous, closed, bounded variation oriented curves
|
and
|
for all z
This theorem implies the following.
Theorem 55.1.3 Let K ⊆ Ω where K is compact and Ω is open. Then there exist oriented closed curves, γk such that γk∗∩ K = ∅ but γk∗⊆ Ω, such that for all z ∈ K,
| (55.1.1) |
Proof: This follows from Theorem 50.7.25 and the Cauchy integral formula. As shown in the proof, you can assume the γk are linear mappings but this is not important.
Next I will show how the Cauchy integral formula leads to approximation by rational functions, quotients of polynomials.
Lemma 55.1.4 Let K be a compact subset of an open set, Ω and let f be analytic on Ω. Then there exists a rational function, Q whose poles are not in K such that
|
Proof: By Theorem 55.1.3 there are oriented curves, γk described there such that for all z ∈ K,
| (55.1.2) |
Defining g
|
The complicated expression is obtained by replacing each integral in 55.1.2 with a Riemann sum. Simplifying the appearance of this, it follows there exists a rational function of the form
|
where the wk are elements of components of ℂ ∖ K and Ak are complex numbers or in the case where f has values in X, these would be elements of X such that
|
This proves the lemma.