<< Chapter < Page Chapter >> Page >
det A = u x ( a , b ) v y ( a , b ) - u y ( a , b ) v x ( a , b ) = ( u x ( a , b ) ) 2 + ( v x ( a , b ) ) 2 = ( u x ( a , b ) + i v x ( a , b ) ) ( u x ( a , b ) - i v x ( a , b ) ) = f ' ( c ) f ' ( c ) ¯ = | f ' ( c ) | 2 ,

proving part (1).

The vectors V 1 and V 2 are the columns of the matrix A , and so, from elementary linear algebra, we see that they are linearly independent if and only if the determinant of A is nonzero. Hence, part (2) follows from part (1).Similarly, part (3) is a consequence of part (1).

It may come as no surprise that the contour integral of a function f around the boundary of a geometric set S is not necessarily 0 if the function f is not differentiable at each point in the interior of S . However, it is exactly these kinds of contour integrals that will occupy our attention in the rest of this chapter, and we shouldn't jump to any conclusions.

Let c be a point in C , and let S be the geometric set that is a closed disk B ¯ r ( c ) . Let φ be the parameterization of the boundary C r of S given by φ ( t ) = c + r e i t for t [ 0 , 2 π ] . For each integer n Z , define f n ( z ) = ( z - c ) n .

  1. Show that C r f n ( ζ d ζ = 0 for all n - 1 .
  2. Show that
    C r f - 1 ( ζ ) d ζ = C r 1 ζ - c d ζ = 2 π i .

There is a remarkable result about contour integrals of certain functions that aren't differentiable everywhere within a geometric set, and it is what has been called theFundamental Theorem of Analysis, or Cauchy's Theorem. This theorem has many general statements, but we present one here that is quite broad and certainlyadequate for our purposes.

Cauchy's theorem, fundamental theorem of analysis

Let S be a piecewise smooth geometric set whose boundary C S has finite length, and let S ^ S 0 be a piecewise smooth geometric set, whose boundary C S ^ also is of finite length. Suppose f is continuous on S S ^ 0 ˜ , i.e., at every point z that is in S but not in S ^ 0 , and assume that f is differentiable on S 0 S ^ ˜ , i.e., at every point z in S 0 but not in S ^ . (We think of these sets as being the points “between” the boundary curves of these geometric sets.) Then the two contour integrals C S f ( ζ ) d ζ and C S ^ f ( ζ ) d ζ are equal.

Let the geometric set S be determined by the interval [ a , b ] and the two bounding functions u and l , and let the geometric set S ^ be determined by the subinterval [ a ^ , b ^ ] of [ a , b ] and the two bounding functions u ^ and l ^ . Because S ^ S 0 , we know that u ^ ( t ) < u ( t ) and l ( t ) < l ^ ( t ) for all t [ a ^ , b ^ ] . We define four geometric sets S 1 , ... , S 4 as follows:

  1.   S 1 is determined by the interval [ a , a ^ ] and the two bounding functions u and l restricted to that interval.
  2.   S 2 is determined by the interval [ a ^ , b ^ ] and the two bounding functions u and u ^ restricted to that interval.
  3.   S 3 is determined by the interval [ a ^ , b ^ ] and the two bounding functions l ^ and l restricted to that interval.
  4.   S 4 is determined by the interval [ b ^ , b ] and the two bounding functions u and l restricted to that interval.

Observe that the five sets S ^ , S 1 , ... , S 4 constitute a partition of the geometric set S . The corollary to [link] applies to each of the four geometric sets S 1 , ... , S 4 . Hence, the contour integral of f around each of the four boundaries of these geometric sets is 0. So, by [link] ,

C S f ( ζ ) d ζ = C S ^ f ( ζ ) d ζ + k = 1 4 C S k f ( ζ ) d ζ = C S ^ f ( ζ ) d ζ ,

as desired.

  1. Draw a picture of the five geometric sets in the proof above and justify the claim that the sum of the four contour integrals around the geometric sets S 1 , ... , S 4 is the integral around C S minus the integral around C S ^ .
  2. Let S 1 , ... , S n be pairwise disjoint, piecewise smooth geometric sets, each having a boundary of finite length, and each containedin a piecewise smooth geometric set S whose boundary also has finite length. Prove that the S k 's are some of the elements of a partition { S ˜ l } of S , each of which is piecewise smooth and has a boundary of finite length. Show that, by reindexing, S 1 , ... , S n can be chosen to be the first n elements of the partition { S ^ l } . HINT: Just carefully adjust the proof of [link] .
  3. Suppose S is a piecewise smooth geometric set whose boundary has finite length, and let S 1 , ... , S n be a partition of S for which each S k is piecewise smooth and has a boundary C S k of finite length. Suppose f is continuous on each of the boundaries C S k of the S k 's as well as the boundary C S of S , and assume that f is continuous on each of the S k 's, for 1 k m , and differentiable at each point of their interiors. Prove that
    C S f ( ζ ) d ζ = k = m + 1 n C S k f ( ζ ) d ζ .
  4. Prove the following generalization of the Cauchy Theorem: Let S 1 , ... , S n be pairwise disjoint, piecewise smooth geometric sets whose boundaries have finite length, all contained in the interior of a piecewise smooth geometric set S whose boundary also has finite length. Suppose f is continuous at each point of S that is not in the interior of any of the S k 's, and that f is differentiable at each point of S 0 that is not an element of any of the S k 's. Prove that
    C S f ( ζ ) d ζ = k = 1 n C S k f ( ζ ) d ζ .

Get Jobilize Job Search Mobile App in your pocket Now!

Get it on Google Play Download on the App Store Now




Source:  OpenStax, Analysis of functions of a single variable. OpenStax CNX. Dec 11, 2010 Download for free at http://cnx.org/content/col11249/1.1
Google Play and the Google Play logo are trademarks of Google Inc.

Notification Switch

Would you like to follow the 'Analysis of functions of a single variable' conversation and receive update notifications?

Ask