Analysis 3 Flashcards

1
Q

Goursat’s Theorem

A

Let γ be a triangular contour with its interior contained in some domain U and let f(z) be holomorphic on U, then

∫γ f(z) dz = 0

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Cauchy’s Theorem

A

If f is holomorphic on a simple curve c and its interior, then

∫c f(z) dX = 0

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Liouville’s Theorem

A

If f is an entire and bounded function, then f is constant

f = entire + bounded ⇒f = constant

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Morera’s

A

Let f be continuous on a region Ω and ∫γ f(z) dX

= 0 ∀ γ, closed contours in Ω with interior in Ω

Then f is holomorphic

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Define what it means for a function to be holomorphic at a point z₀

A

f is holomorphic at z₀ if lim (f(z) - f(z₀) / z- z₀) exists

If it does, we set f’(z) equal to it and call this the derivative of f at z₀

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

Show that the function is not holomorphic

A

To show that the limit does not exist:

Approach z₀ first horizontally and then vertically

As the two answers are different; the limit does not exist and F is not differentiable at z₀

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Entire

A

If f is holomorphic on the whole complex plane

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Rouche’s theorem

A

Left two functions f(z) and g(z) be analytic inside and on a simple curve C, and suppose that |f(z)| > |g(z)| at each point on C.

Then f(z) and f(z) + g(z) have the same number of zeros, inside C

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

convergence of power series

A

If the function is holomorphic in a disk, then it’s Taylor series converges in this disc

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

Fundamental theorem of algebra

A

All polynomials of degree >0 with complex coefficients have a complex root

This is a corollary of Liouville’s theorem

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

Use partial fractions

A

More than one pole and can’t compute the residue

Use partial fractions and then compute cauchy’s integral

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

Isolated singularity

A

The point α is called an isolated singularity of the complex function f(z) if f is not analytic at z=α but there exists a real number R>0 St. f(z) is analytic everywhere in the punctured disk D(α,ε)

Log z does not have an isolated singularity as it is not analytic over the whole negative real line and the origin

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

Isolated singularities

A

If there exists a deleted neighbourhood of z0 that contains no singularity

Includes poles, removable singularities, essential singularities and branch points

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

Pole

A

An isolated singularity point z0 St. f(z) can be represented by an expression that is of the form

f(z) = F(z)/(z-z0)^n

Where f(z) is analytic at z0 and f(z0) ≠ 0
The integer n is the order of the pole
Poles of order 1 are SIMPLE POLES
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

Removable singularity

A

And isolated singular point z₀ st. f can be defined or resigned at z₀ in such a way to be analytic at z₀. A singular point z₀ is removable if lim f(z) exists as z tends to z₀

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

Cauchy’s integral formula for f and its derivatives

A

Where f is holomorphic on an open sent U containing the closed disc D(α, R) and C is the circle centred at α with radius R traversed anticlockwise and z₀ ∈D(α,R)

17
Q

Poles / zeros of denominator outside the circle

A

The denominator has zeroes at ..
These are outside the circle
Therefor the function f(z) is holomorphic in an open set containing the disc (contour)
By Cauchy’s theorem .. ∫c f(z) dz =0

18
Q

Cauchy’s inequality

A

|f^n(z)| ≤ [n! Max{|z=z₀|=R} |f(z)|]/R^n

19
Q

Antiderivative theorem

A

Let f be continuous on a region Ω and assume that ∃ a holomorphic function F on Ω with F’(z) = f(z).
Then f is called the antiderivative or primitive of f

20
Q

Conformal map

A

Geometrically the distance to ai is less than the distance to -ai iff. z is in the half-plane determined by the perpendicular bisect or of the segment from ai to -ai and containing ai

The bi sector is clearly the real axis

The map is holomorphic on as the root of the denominator is not in it

It is a rational function

The inverse map is given by

This is also holomorphic on D(0,1) as it is a rational function and 1∉D(0,1)

Finding the map z in terms of w shows that the map is an injection and the surjectivity has been shown

21
Q

Simple pole

A

Factorising to get a holomorphic no vanishing function in a neighbourhood of z₀
This makes the quotient holomorphic in the punctured disk D’(Z₀,r) and z₀is an isolated singularity

If a function is holomorphic and non-zero in a neighbourhood of z₀
Show 1/f has a simple pole and z₀ then so does f

22
Q

Integrating logs

A

Key hole contour

Outer circle of radius 1 and corridor along the real axis

Non-principal branch of the logarithm:
Log(z) = log|z| +iarg(z), arg(z) ∈[0,2π]

23
Q

Injective
Surjective
Bijective

A
  • Every member of A has its own unique matching member in B
  • -> one to one function
  • -> function can be reversed
  • every b has at least one matching A
  • ->
  • a perfect one to one correspondence
  • -> both injective and surjective
24
Q

Maximum modulus principal

A

If f is holomorphic and non-constant in a region Ω - then |f(z)| has no maximum value inside Ω

Like opposite to Liouville’s

25
Q

Variation of the argument

A

Δc arg f(z) =1/i ∫c f’(z) / f(z) dz

26
Q

Keyhole

A

If discontinuous on x axis - multi variable function

27
Q

Indented semicircle

A

discontinuous as 0 eg. LogX doesn’t exist at 0

28
Q

Confirms Mapping

A

The mapping w=f(z) by an analytic function is conformal expect at critical points - points where the derivative f’(z) is zero