idt itkorevaar/4200fall19/sept20post.pdf · 2019-09-20 · recall green's theorem for real...

10
Example 3 : For the radius R circle traversed counterclockwise, t = R e i t , 0 t 2 , compute 1 z dz . B3 Integral estimate: Let A open, f : A continuous, : a, b a C 1 curve. Then fz dz = a b f t t dt a b f t t dt (A3) = a b f t t dt Def Let A open, f : A continuous, : a, b a C 1 curve. Then fz dz a b f t t dt Using the definition, we see that the shorthand for the integral estimate in B3 is fz dz fz dz . Note that dz = t dt is the element of arclength. Example 4 : In Example 2, you showed that for t =e i t , 0 t 2 , z dz = 1. Compute z dz and verify the integral estimate B3. R o X Friday in brown R r me f o tret back to J I iReitdt guy 4270rad this o Rie t T 11841 Xlt idt 2 it L i l IlEtyz I a tat joke p you i'definiens T T 2 11dm to length II 2

Upload: others

Post on 19-Mar-2020

2 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: idt itkorevaar/4200fall19/sept20post.pdf · 2019-09-20 · Recall Green's Theorem for real line integrals from multivariable Calculus, for C1 vector fields P x, y, Q x, y around oriented

Example 3: For the radius R circle traversed counterclockwise, t = R ei t, 0 t 2 , compute

1z

dz .

B3 Integral estimate: Let A open, f : A continuous, : a, b a C1 curve. Then

f z dz = a

bf t t dt

a

bf t t dt (A3)

=a

bf t t dt

Def Let A open, f : A continuous, : a, b a C1 curve. Then

f z dza

bf t t dt

Using the definition, we see that the shorthand for the integral estimate in B3 is

f z dz f z dz .

Note that dz = t dt is the element of arclength.

Example 4: In Example 2, you showed that for t = ei t, 0 t2

,

z dz = 1.

Compute

z dz

and verify the integral estimate B3.

R o

X Friday in brown Rr

me f o tretbackto J I iReitdt guy 4270rad

this o Rie t T11841 Xlt

idt 2 it

L

i

l IlEtyz I

a tatjoke p you i'definiensT T 211dm tolength

II2

Page 2: idt itkorevaar/4200fall19/sept20post.pdf · 2019-09-20 · Recall Green's Theorem for real line integrals from multivariable Calculus, for C1 vector fields P x, y, Q x, y around oriented

B3 Theorem FTC for complex line integrals Let A open, f : A continuous, : a, b a C1 curve. If f has an analytic antiderivative in A, i.e. F = f , then complex line integrals only depend onthe endpoints of the curve , via the formula

f z dz F b F a

proof:

Example 5: Redo Example 2 using the FTC: t = ei t, 0 t2

, f z = z ,

z dz =

Example 6: Could you redo example 3 with the FTC? For the radius R circle traversed counterclockwise, t = R ei t, 0 t 2 , compute

1z

dz .

e

8lbH

Jab Idt

F 81h18Ity part a A4

chaffL fab Fluty at Forti hey

iiif z z I IF ft II

2

8127 201Reit

z.tz.dzaoo

Fla loglz Zo1h12 2ol t iarglzZo

OLargaZo 2K

loglz.ggGotRI1fZotRltc startedjustabovecut tookhint

qRti2E Oi 2mi

Page 3: idt itkorevaar/4200fall19/sept20post.pdf · 2019-09-20 · Recall Green's Theorem for real line integrals from multivariable Calculus, for C1 vector fields P x, y, Q x, y around oriented

The connection between contour integrals and Calc 3 line integrals:

Let A open, f : A continuous, : a, b a C1 curve. write

t = x t i y t , f z = u x, y i v x, y .

Then

f z dz = a

bf t t dt

=a

bu x t , y t i v x t , y t x t i y t dt

=a

bu x t , y t x t v x t , y t y t dt i

a

bv x t , y t x t u x t , y t y t dt

= u dx v dy i v dx u dy.

On Friday we'll combine this Calc 3 line integral way of writing contour integrals with Calc 3 Green's Theorem, for some interesting results.

Page 4: idt itkorevaar/4200fall19/sept20post.pdf · 2019-09-20 · Recall Green's Theorem for real line integrals from multivariable Calculus, for C1 vector fields P x, y, Q x, y around oriented

Math 4200Friday September 20

2.1-2.2 Contour integrals and Green's Theorem. We'll finish the examples and discussion related to contour integrals in Wednesday's notes first, before proceding into today's. One focus today is that if an analytic function has an antiderivative, then the value of a contour integral only depends on the starting andending points of the contour (FTC for contour integrals). On Monday we'll turn that discussion around to use contour integrals in simply connected domains, to find the antiderivatives of analytic functions.

Announcements:

Warm up exercise

For : a, b a C1 curve and f : continuous, how do you compute

f z dz ?

If f z = F z z in our domain, what is the shortcut for computing the contour integral above?

We needyour wed notes

2 Htt J fComo'ttidtda 8 ll Idt

Tsingf Haida F Nbs f Hai

just depends on the terminalink al pts of 8on F

Page 5: idt itkorevaar/4200fall19/sept20post.pdf · 2019-09-20 · Recall Green's Theorem for real line integrals from multivariable Calculus, for C1 vector fields P x, y, Q x, y around oriented

Recall Green's Theorem for real line integrals from multivariable Calculus, for C1 vector fields P x, y , Q x, y around oriented boundaries of planar domains. A. (If you're rusty about why it's true

there's a Wikipedia page; I also added an appendix page reminder from some old class notes, at the end of today's notes.)

A P dx Q dy =

A

Qx Py dA

What does Green's Theorem say about A

f z dz if f is C1 and analytic on the closure A_

? Hint:

Cauchy-Riemann. (Note, we are interpreting the boundary integral as a sum of contour integrals if the boundary has more than one component.)

Example. Can you compute

1

1

z 2dz

2

1

z 2dz ?

(You can use partial fractions and these tricks to compute the contour integral of any rational function, around any simple closed curve.)

I forgot

2AT

dryofA

CR UxVyk

ut iv dxtidy rudx vdy t i v dx tu dyF F F TeQ Py OA Q Py

Haida o If DA t iff y v DAA W

F a sumof 0 A OCR4 contourintegrals CR

zdZ O fqzt.dz

tanaekg Eg's ais analytic in A Dh R

Green'sThinR small

f dztfzt.dz 0 0dZ 2ii if A D

Page 6: idt itkorevaar/4200fall19/sept20post.pdf · 2019-09-20 · Recall Green's Theorem for real line integrals from multivariable Calculus, for C1 vector fields P x, y, Q x, y around oriented

Contour curve algebra:

Def Let : a, b be a C1 curve, with range a, b A an open set. Then we define the curve : a, b A by

t = a b t ,

i.e. traversing the curve in the opposite direction.

Note, by our discussion of contour integrals in terms of Riemann sums yesterday, if f is a C1 analytic function on A, then

f z dz = f z dz .

It's probably also worth verifying this with the chain rule, just for practice:

j V 847

Mrst ai j b 8t bi Ha Hal

no timetoday

Page 7: idt itkorevaar/4200fall19/sept20post.pdf · 2019-09-20 · Recall Green's Theorem for real line integrals from multivariable Calculus, for C1 vector fields P x, y, Q x, y around oriented

Now, consider piecewise C1 contours that piece together continuously:

Def: Let j : aj, bj be C1, j = 1, 2 ..., n . Require j bj = j 1 aj 1 , j = 1, ... n 1

j bj = j 1 aj 1 , j = 1, ... n 1.

Then = 1, 2, ... n will be our notation for the piecewise C1 path obtained from following the paths in order. (The text acually requires that the intervals aj, bj piece together as well, i.e. bj = aj 1 , which

we could always accomplish by reparameterizing the curves if necessary. And in that case wouldactually be a piecewise C1 function on the amalgamated interval a1, bn .)

Def For as above, define 1 a1 to be the initial point of , and n bn to be the terminal point.

Def If = 1, 2, ... n is piecewise C1 as above we write

1 2 ... n

and define the contour by = n, n 1, ..., 2, 1 so

n n 1 ... 2 1 .And we define the contour integral

f z dz =

1 2...

n

f z dzj = 1

n

j

f z dz .

2

Page 8: idt itkorevaar/4200fall19/sept20post.pdf · 2019-09-20 · Recall Green's Theorem for real line integrals from multivariable Calculus, for C1 vector fields P x, y, Q x, y around oriented

Theorem Let = 1 2 ... n be a piecewise C1 curve, with range in A open. Let f : A continuous. Then

(1)

f z dz = f z dz

proof:

j

f z dz =

j

f z dz . Now sum over j.

(2) If antiderivative F : A with F = f then

f z dz = F Q F P

where Q is the terminal point of of and P is the initial point.proof:

f z dz = j = 1

n

j

f z dz

= j = 1

n

F j bj F j aj

= F 1 a1 F 1 b1 F 2 a2 F 2 b1 F 3 a3 F 3 b3 ...

F n an F n bn

F Q F P(telescoping series).

(3) f z dz = j = 1

n

j

f z dz j = 1

n

j

f z dz j = 1

n

j

f zj dzj .

1

Page 9: idt itkorevaar/4200fall19/sept20post.pdf · 2019-09-20 · Recall Green's Theorem for real line integrals from multivariable Calculus, for C1 vector fields P x, y, Q x, y around oriented

Examples: Compute the following. Recall that particular parameterizations don't matter, just the directionsof the curves.

parameterization Green's Theorem FTC

1 dz

z dz

z_ dz XXX

Hoda f 1921 0

f ODA Jzdz E 0

i82

I a

ffodatiff2dALA LA

Jy x iykdxtidy i 2E

fyxwdxtydytify yd.itxdyP I F ToQ Py o Q Py 2

Page 10: idt itkorevaar/4200fall19/sept20post.pdf · 2019-09-20 · Recall Green's Theorem for real line integrals from multivariable Calculus, for C1 vector fields P x, y, Q x, y around oriented