Homepage › Solution manuals › Walter Rudin › Principles of Mathematical Analysis › Exercise 8.26
Exercise 8.26
Exercise 26: Let be a closed curve in the complex plane (not necessarily differentiable) with parameter , such that for every .
Choose so that for all . If and are trigonometric polynomials such that for all (their existence is assured by Theorem 8.15), prove that
by applying Exercise 25.
Define this common value to be . Prove that the statements of Exercises 24 and 25 hold without any differentiability assumption.
Answers
Since
we have
Hence and , , define continuous closed differentiable curves in the complex plane which are nowhere 0, so we can define . We have
so by Exercise 25 we have .
Before showing Exercise 24 for the continuous case, I want to show a general theorem which is pretty standard and may have been done in a previous exercise, or even the text, although I couldn’t find it. Let be a metric space with disjoint subsets and such that is closed and is compact. Then there is a positive minimum distance between them, that is, there is a such that for all and . If not, then there are subsequences and such that . Since is compact, has a subsequence converging to . Then
which, since is closed, implies that , contradicting the fact that and are disjoint. (If you prefer a direct proof, for each let be an open neighborhood of disjoint from . Then is a cover of , so you can pass to a finite subcover whose sets have a positive minimum radius and go from there.)
Suppose is a closed, continuous curve in the complex plane with domain , whose range does not intersect the negative real axis. Since the negative real axis is a closed set and the range of is compact, by the preceding paragraph there is a such that if is a trigonometric polynomial satisfying for all , so that the range of also does not intersect the negative real axis. Since is differentiable, by Exercise 25, hence .
Now suppose and are closed, continuous curves in the complex plane with domain such that for all . Then by Theorem 4.16 there is a such that
on the compact set . Let , be trigonometric polynomials such that for all , . Then, for all ,
Hence for all . Hence, by Exercise 25,