Exercise 8.26

Exercise 26: Let γ be a closed curve in the complex plane (not necessarily differentiable) with parameter [ 0 , 2 π ] , such that γ ( t ) 0 for every t [ 0 , 2 π ] .

Choose δ > 0 so that | γ ( t ) | > δ for all t [ 0 , 2 π ] . If P 1 and P 2 are trigonometric polynomials such that | P j ( t ) γ ( t ) | < δ 4 for all t [ 0 , 2 π ] (their existence is assured by Theorem 8.15), prove that

( P 1 ) = ( P 2 )

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

| | P j ( t ) | | γ ( t ) | | | P j ( t ) γ ( t ) | < δ 4

we have

| P j ( t ) | | γ ( t ) | δ 4 > 3 δ 4 .

Hence P 1 ( t ) and P 2 ( t ) , 0 g 2 π , define continuous closed differentiable curves in the complex plane which are nowhere 0, so we can define ( P j ) . We have

| P 1 ( t ) P 2 ( t ) | | P 1 ( t ) γ ( t ) | + | P 2 ( t ) γ ( t ) | < δ 2 < 3 δ 4 < | P 1 ( t ) |

so by Exercise 25 we have ( P 1 ) = ( P 2 ) .

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 X be a metric space with disjoint subsets F and K such that F is closed and K is compact. Then there is a positive minimum distance between them, that is, there is a δ > 0 such that d ( x , y ) > δ for all x F and y K . If not, then there are subsequences { x n } F and { y n } K such that lim d ( x n , y n ) = 0 . Since K is compact, { y n } has a subsequence { y n m } converging to y K . Then

d ( x n m , y ) d ( x n m , y n m ) + d ( y n m , y ) 0 as m

which, since F is closed, implies that y F , contradicting the fact that F and K are disjoint. (If you prefer a direct proof, for each y K let N y be an open neighborhood of y disjoint from F . Then { N y } is a cover of K , 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 [ 0 , 2 π ] , 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 δ > 0 such that if P is a trigonometric polynomial satisfying | P ( t ) γ ( t ) | < δ for all t [ 0 , 2 π ] , so that the range of P also does not intersect the negative real axis. Since P is differentiable, ( P ) = 0 by Exercise 25, hence ( γ ) = 0 .

Now suppose γ 1 and γ 2 are closed, continuous curves in the complex plane with domain [ 0 , 2 π ] such that | γ 1 ( t ) γ 2 ( t ) | < | γ 1 ( t ) | for all t [ 0 , 2 π ] . Then by Theorem 4.16 there is a δ > 0 such that

| γ 1 ( t ) | | γ 1 ( t ) γ 2 ( t ) | > δ

on the compact set [ 0 , 2 π ] . Let P 1 , P 2 be trigonometric polynomials such that | P j ( t ) γ j ( t ) | < δ 4 for all t [ 0 , 2 π ] , j = 1 , 2 . Then, for all t [ 0 , 2 π ] ,

| | P 1 ( t ) P 2 ( t ) | | γ 1 ( t ) γ 2 ( t ) | | | ( P 1 ( t ) P 2 ( t ) ) ( γ 1 ( t ) γ 2 ( t ) ) | = | ( P 1 ( t ) γ 1 ( t ) ) ( P 2 ( t ) γ 2 ( t ) ) | | P 1 ( t ) γ 1 ( t ) | + | P 2 ( t ) γ 2 ( t ) | < δ 2 | | P 1 ( t ) | | γ 1 ( t ) | | | P 1 ( t ) γ 1 ( t ) | < δ 4

Hence | P 1 ( t ) | | P 1 ( t ) P 2 ( t ) | > δ 4 for all t [ 0 , 2 π ] . Hence, by Exercise 25,

( γ 1 ) = ( P 1 ) = ( P 2 ) = ( γ 2 ) .

User profile picture
2023-08-07 00:00
Comments