Document 10406848

advertisement

Review Exam I

Complex Analysis

Underlined Definitions: May be asked for on exam

Underlined Propositions or Theorems: Proofs may be asked for on exam

Cauchy’s Integral Formula (#0 ). Let G be a region in

£

, let positively. Let f

∈ A

B ( a , r ). Let f

∈ A

. Then, for z

( , ) ,

Cauchy’s Theorem (#0) . Let G be a region in

£

, let

. Then,

γ f

=

0 .

( , )

G and let

γ be the circle C ( a , r ), oriented

=

1

2

π i

γ w

− z

( , )

G dw .

and let

γ be a closed rectifiable curve in

Chapter 4.5

Definition.

γ ≈

0 for a closed rectifiable curve

γ

lying in a region G if . . .

Lemma 5.1.

Let

γ be a rectifiable curve and let ϕ be continuous on {

γ

}. For each m

1 , let f ( ) m

=

γ

∫ ϕ

( w

− z

) m dw for z

∈ £

. Then, f m

∈ A

(

£

\{ }) and f

' m

( )

= m f m

+

1

( ) .

Cauchy’s Integral Formula (#1). Let G be a region in

£ and let f

∈ A in G such that

γ ≈

0 . Then, for z

G \ { } , n

γ

. Let

γ be a closed rectifiable curve

=

1

2

π i

γ w

− z dw .

Cauchy’s Integral Formula (#2). Let G be a region in

£ and let f

∈ A rectifiable curves in G such that

γ

1

+ γ

2

+ L + γ m

0 . Then, for z

G \

γ k m U

=

1 k m ∑

=

1 n (

γ k

; ) ( )

= k m ∑ 1 ∫

=

1

2

π i

γ k w

− z dw .

,

. Let ,

2

,

L

,

γ m be a closed

Cauchy’s Theorem (#1).

Let G be a region in

£ and let f

∈ A curves in G such that

γ

1

+ γ

2

+ L + γ m

0 . Then, m ∑ ∫ k

=

1 γ k f

=

0

. Let ,

2

,

L

,

γ m be a closed rectifiable

Corollary.

Let G be a region in

£ and let f

∈ A

. Let

γ be a closed rectifiable curve in G such that

γ ≈

0 .

Then, for z

G \ { } , n

γ

( )

= k

2

π

!

i

γ

( w

− z

) k

+

1

Morera’s Theorem Let G be a region in

£ and let f

∈ C dw .

. Suppose that

T f

=

0 for every triangular path

T

G . Then, f

∈ A

.

Chapter 4.6

Definition.

γ

0

~

γ

1

for two closed rectifiable paths

γ γ

1

lying in a region G if . . .

Proposition.

“~” is an equivalence relation

Examples of pairs of curves ,

1

(and the overlying region G ) which are homotopic and of pairs of curves ,

1

(and the overlying region G ) which are not homotopic

Problems about constructing the homotopy function for a pair of curves

γ γ

1

(and the overlying region G ) which are homotopic

Definition. A set S is convex if . . .

Definition. A set S is starlike (w.r.t. a ) if . . .

Examples of sets which are convex / starlike and of sets which are not convex / starlike

Cauchy’s Theorem (#2)

γ ≈

0 .

. Let G be a region in

£ and let

γ be a closed rectifiable curve in G . If

γ

~ 0 , then

Corollary . Let G be a region in

£ which is starlike and let

Then,

γ f

=

0 .

Cauchy’s Theorem (#3) . Let G be a region in

£

and let f f

∈ A

∈ A

G such that

γ

0

~

γ

1

. Then,

0

γ

∫ f

= ∫

γ

1 f .

Corollary.

Let G be a region in

£ and let f

∈ A

. Let

γ be a closed rectifiable curve in G .

. Let Let

γ

0

,

γ

1 be closed rectifiable curves in

. Let

γ be a closed rectifiable curve in G such that

γ

~ 0 .

Then,

γ f

=

0 .

Definition.

γ

0

~

FEP

γ

1

for two rectifiable paths ,

1

lying in a region G if . . .

Examples of pairs of curves

γ γ

1 curves

γ γ

1

(and the overlying region G ) which are FEP-homotopic and of pairs of

(and the overlying region G ) which are not FEP-homotopic

Independence of Path Theorem.

Let G be a region in

£

and let

G such that γ

0

~

FEP

γ

1

. Then,

γ

0

∫ f

= ∫

γ

1 f .

f

∈ A

. Let Let

γ

0

,

γ

1 be rectifiable curves in

Definition. A region G is simply connected if . . .

Examples of regions which are simply connected and of regions which are not simply connected

Cauchy’s Theorem (#4) . Let G be a region in

£ which is simply connected and let closed rectifiable curve in G . Then,

γ f

=

0 .

Corollary.

Let G be a region in

£ which is simply connected and let f

∈ A f

∈ A

. Let

γ be a

. Then, f has a primitive on G .

Definition. A function f has a branch-of-log f on a region G if . . .

Corollary.

Let G be a region in

£ which is simply connected and let branch-of-log f on G .

f

∈ A

. If ( )

0 on G , then f has a

Chapter 4.7

Theorem 7.2.

Let G be a region in

£

and let f

∈ A

. Suppose Z f

= a a

1 2

,

L

, a m

} . Let

γ be a closed rectifiable curve in G such that

γ ≈

0 and such that Z f

Corollary 7.3.

Let G be a region in

£

and let f

∈ A

{ }

= ∅

. Then

1

2

π

∫ '( ) dz i

γ

( )

. Suppose Z f

− α

=

= k m ∑

=

1 n ( ; a k

) a a

1 2

,

L

, a m

} . Let

γ be a

Z closed rectifiable curve in G such that

γ ≈

0 and such that Z f

− α

{ }

= ∅ . Then

1

2

π i

γ

( )

− α dz

= k m ∑

=

1 n ( ; a k

)

Proposition . Let G be a region in

£

and let

γ ≈

0 . Let

σ = f o γ

. Let f

∈ A

. Let

γ be a closed rectifiable curve in belong to the same component of

£

. Then,

G such that n

σ α = n

σ β f

− α

P n ( ; z k

( ))

Z f

− β

P n

γ z

β

Definition. A function f has a simple zero at z = a if . . .

Theorem 7.4.

Let G be a region in

£

, let zero of order m at z = a , then there exists

ε >

( )

= ζ has exactly m simple roots in

( , )

G

0 and

δ >

and let

0 f

∈ A

. Let

such that for each

ζ ∈

.

( )

= α

. If ( )

the equation

− α has a

Corollary.

Open Mapping Theorem

Chapter 4.8

Cauchy-Goursat Theorem . Let G be a region. If f

∈ D

, then f

∈ A

.

Chapter 5.1

Definition. A function f has an isolated singularity at z = a if . . .

Examples of functions which have isolated singularities

Definition. Removable Singularity, Pole, Essential Singularity

Examples of functions which have removable singularities, poles, essential singularities

Problems about classifying singularities as removable singularities, poles, essential singularities

Proposition . Let G be a region in

£ and let f have an isolated singularity at z = a , equivalent.

a

G .

The following are a.

b.

f has a removable singularity at z = a f is bounded (in modulus) on a punctured neighborhood of a c.

d.

lim ( ) z

→ a exists lim ( z

→ a z

) ( )

=

0

Definition. A function f has a pole of order m at z = a if . . .

Proposition.

Let G be a region in

£ and let f have an isolated singularity at z = a .

f has a pole of order m at z = a if and only if there exists a function g analytic and non-vanishing on a neighborhood of z = a such that

=

( z

− a ) m

.

Definition. The singular part of a function f which has a pole of order m at z = a is . . .

Problems about identifying the singular parts of functions with poles

Definition. A double infinite series

∞ ∑ n

=−∞ z n

is absolutely convergent if . . .

Definition. A double infinite series

∞ ∑ n

=−∞ n

is uniformly convergent on a region S if . . .

Examples of double infinite series which are absolutely convergent / uniformly convergent.

Definition. ann a r r

1 2

=

Theorem (Laurent Series Expansion).

Let functions f

2

∈ A

B a R

2

)) and f

1

∈ A

( ) f

=

∈ A

( ( ;

1

,

2

)) such that f

= f

2

+ f

1

. Let G = on

£ ann a R R

B a R

1 2

)

1

) . Then there exist

. Furthermore, n

=

0 a n

( z

− a ) n on B a R

2

) (2) and

( )

= n

∞ ∑

=

1 a

− n

( z

− a )

− n on G (1) where a n

=

1

2

π i

( w

− a ) n

+

1 dw , R

1

R

2

(*) and the coefficient a n

in (*) is independent of the choice of

ρ

. The series for f

2

in (2) converges absolutely on

B a R

2

) and uniformly on subsets B a r

2

of B a R

2

) , 0

< <

R

2

. The series for f

1

in (1) converges absolutely on G and uniformly on subsets ann a r

1

of G .

Furthermore, the series representation

=

∞ ∑ n

=−∞ a n

( z

− a ) n on ( ;

1

,

2

) is unique.

Corollary.

Let G be a region in

£ and let f have an isolated singularity at z = a .

Let the Laurent Series expansion of f on a punctured neighborhood of a . Then, a.

z = a is removable singularity of f in and only if a n

= 0 for all n

≤ −

1 b.

c.

=

∑ n

=−∞ a n

( z

− a ) n z = a is a pole of f of order m if and only if a

− m

0 and a

− n

=

0 for all n m 1 z = a is an essential singularity if and only if a n

0 for infinitely many negative n be

Problems constructing Laurent Series expansions.

Problems constructing Laurent Series expansions for rational functions.

Casorati-Weierstrass Theorem.

Let G be a region in

£ and let f have an isolated singularity at z = a .

If z = a is an essential singularity of f , then for every

δ >

0 , ( ( , )')

= £

.

Download