Winding number
[25/44%]Let be analytic in the annulus . Assume that has no zeros in . Show that there exists an integer and an analytic function in such that, for all , .
Let be the unilateral shift and let be an analytic function in a neighborhood of such that if . Let , . Show that and that if , , where the winding number of about . Moreover, show that if , then .
What are the components of the set of invertible elements in ?
Compute , where is a simple closed contour traversed in the positive direction and not passing through the origin.
Compute , where , , and is a simple closed contour enclosing the origin ().
If the simple contour encloses the origin, , , and the curves and have several simple intersection points inside the contour , compute the integral (see problem 4321).
Find the circulation of the vector along a closed contour : (1) does not encircle the axis; (2) encircles the axis.
Let
Find all analytic functions with the following property: if is any cycle in which is not homologous to zero (mod ), then is not homologous to zero (mod ).
Find the value of the line integral , taken around a closed contour in the positive direction.
The curves and have several simple points of intersection. Compute the value of the integral , taken in the positive direction around a closed contour .
We consider a closed, continuous, oriented curve in the -plane that avoids the origin. If, starting from an arbitrary point, describes the entire curve in the given direction (returning to its starting point) the argument of changes continuously and its total variation is a multiple, , of . The integer is called the winding number of the curve.
Every ray from the origin intersects the curve in question at least times.
Here denotes a closed continuous curve without double points and the closed interior of . The winding number of a closed, continuous, oriented curve avoiding the origin is the integer such that the argument of changes by as describes the entire curve once in the given direction.
The functions and are regular in , except possibly at finitely many poles, finite and different from on the boundary of . We define . The winding number of the image under of is equal to the sum of the winding numbers of the images of under and respectively.
The winding number of a closed, continuous, oriented curve avoiding the origin is the integer such that the argument of changes by as describes the entire curve once in the given direction.
The function is single-valued, regular and does not assume a certain value in the annulus . All the closed continuous curves without double points that enclose the circle and that lie inside the annulus are mapped by the function onto curves in the -plane with the same winding number.
Let be a continuously differentiable closed curve in the complex plane, with parameter interval , and assume that for every . Define the index of to be
Prove that Ind is always an integer. Hint: There exists on with . Hence is constant. Since it follows that . Note that Ind .
Compute Ind when . Explain why Ind is often called the winding number of around 0.
Let be as in Exercise 23, and assume in addition that the range of does not intersect the negative real axis. Prove that Ind . Hint: For , Ind is a continuous integer-valued function of . Also, Ind as .
Suppose and are curves as in Exercise 23, and
Prove that Ind Ind . Hint: Put . Then , hence Ind , by Exercise 24. Also,
Let be a closed curve in the complex plane (not necessarily diffierentiable) with parameter interval , 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 Ind . Prove that the statements of Exercises 24 and 25 hold without any differentiability assumption.
Let be a continuous complex function defined in the complex plane. Suppose there is a positive integer and a complex number such that
Prove that for at least one complex number . Note that this is a generalization of Theorem 8.8. Hint: Assume for all , define
for , and prove the following statements about the curves :
Ind
Ind for all sufficiently large .
Ind is a continuous function of , on [0, ).
Show that , and are contradictory, since .
Let be the closed unit disc in the complex plane. (Thus if and only if ). Let be a continuous mapping of into the unit circle . (Thus, for every ).
Prove that for at least one . Hint: For , put
and put . If for every , then for every . Hence Ind , by Exercises 24 and 26. It follows that Ind . But Ind . Derive a contradiction, as in Exercise 27.
As in Example 10.36, consider the 1 -form
in .
Carry out the computation that leads to formula (113), and prove that .
Let , for some , and let be a -curve in , with parameter interval , with , such that the intervals , do not contain 0 for any . Prove that
Hint: For , define
Then is a 2 -surface in whose parameter domain is the indicated rectangle. Because of cancellations (as in Example 10.32),
Use Stokes' theorem to deduce that
because .
Take where are fixed. Use part (b) to show that
Show that
in any convex open set in which , and that
in any convex open set in which . Explain why this justifies the notation , in spite of the fact that is not exact in .
Show that (b) can be derived from (d).
If is any closed -curve in , prove that
(See Exercise 23 of Chap. 8 for the definition of the index of a curve).
Suppose is a closed curve in the plane, with parameter interval . Take . Approximate uniformly by trigonometric polynomials . Show that if and are sufficiently large. Define this common value to be . Prove that the result does not depend on the choice of ; prove that Lemma 10.39 is now true for closed curves, and use this to give a different proof of Theorem 10.40.
Let be the plane minus two points, and show that some closed paths in satisfy assumption (1) of Theorem 10.35 without being null-homotopic in .
Suppose , is a cycle in such that for all for every , and . Prove that .
Suppose , the algebra of all continuous complex functions on the unit circle , with the supremum norm. Show that two invertible members of are in the same coset of if and only if they are homotopic mappings of into the set of all nonzero complex numbers. Deduce from this that is isomorphic to the additive group of the integers. (The notation is as in Theorem 10.34).
Prove the equality
for any simple piecewise-smooth closed curve such that the domain bounded by the curve contains the segment .