Holomorphic Functions
Holomorphic Functions
Holomorphic functions
1.1. Complex-valued functions.
At the start of the study of calculus, we usually consider real-valued functions f
of a real variable x. Now we want to replace real -valued functions f by complex -
valued functions F , and we want to replace the real variable x by a complex variable
z = x + iy. Thus we consider functions F defined on the complex plane (or a
subregion of the complex plane) which takes on complex values. Examples of such
functions are:
F1 (x + iy) = (x + iy)2 , or equivalently F1 (z) = z 2
F2 (x + iy) = ex cos(y) + iex sin(y), or equivalently F2 (z) = ez
F3 (x + iy) = x − iy, or equivalently F3 (z) = z̄.
A complex-valued function has a real part and an imaginary part. Thus every
complex-valued function F can be written
F (x + iy) = u(x + iy) + iv(x + iy)
where u and v are real -valued functions of a complex variable. For example
F1 (x + iy) = (x + iy)2 = (x2 − y 2 ) + i (2xy),
so in this case
u(x + iy) = x2 − y 2
and
v(x + iy) = 2xy.
It follows that a complex-valued function F of a complex variable is really the same
as a pair of real-valued functions (u, v) of a complex variable. Also, since a complex
number z is determined by giving its real part x and its imaginary part y, we can
think of a real-valued functions u and v of a complex variable as the same as a pair
of real-valued functions of two real variables (x, y).
1.2. Derivatives.
In the differential calculus we define the derivative of a real-valued function f
of a real variable x. We think of f as defined on an interval of the real axis with
values on the real axis, and we write:
f (x + h) − f (x)
f 0 (x) = lim .
h→0 h
We would like to do the same thing for complex -valued functions of a complex
variable. The key point is that if F is a complex-valued function of a complex
variable, and if h is a non-zero complex number, the expression
F (z + h) − F (z)
h
2
is the quotient of two complex numbers, and hence is itself a complex number.
It is important to realize that this situation is very special to the case of complex-
valued functions of a complex variable. If we consider functions F which map R3
to R3 , and if x̄ and h̄ are vectors in R3 , then F (x̄ + h̄) − F (x̄) is a vector in R3 ,
and the quotient
F (x̄ + h̄) − F (x̄)
h̄
makes no sense because division of vectors is not defined!
Now just as with real-valued functions of a real variable, we say that the function
F is (complex) differentiable at the point z if the limit as h → 0 of this expression
exists, and we write
F (z + h) − F (z)
F 0 (z) = lim .
h→0 h
It follows that
F3 (z + h) − F3 (z)
lim does not exist,
h→0 h
and so F3 (z) = z̄ is not a holomorphic function.
Then
w − z = eit ,
dw = ieit dt,
5
and so
I Z 2π
F (w)
dw = i F (z + eit ) dt
C w−z 0
Z 2π Z 2π
=i F (z) dt + i [F (z + eit ) − F (z)] dt
0 0
Z 2π
= 2πiF (z) + i [F (z + eit ) − F (z)] dt.
0
But now it follows from Theorem 1.3 that for any > 0,
I I
F (w) F (w)
dw = dw.
∂Ω w − z C w − z
Thus
Z 2π I
dθ 1 dz
= (4π)
0 1 + a cos(θ) 2πi (z − r1 )(z − r2 )
1
= (4π)
r2 − r1
2π
=√ .
1 − a2
Z +∞
dx
Example 2: Evaluate 2 + 4)(x2 + 9)
−∞ (x
The function
1 1
f (z) = =
(z 2 2
+ 4)(z + 9) (z + 2i)(z − 2i)(z + 3i)(z − 3i)
is holomorphic everywhere except at the four points ±2i and ±3i. We consider
I
dz
(z 2 + 4)(z 2 + 9)
C(R1 ,R2 ,N )
where C(R1 , R2 , N ) is the square with vertices at {R1 , R1 + iN, −R2 + iN, −R2 },
where N > 3 Then the points 2i and 3i are inside this square, and the points −2i
and −3i are outside.
We can replace this line integral with the sum of two line integrals, one going
around a small circle C2 centered at 2i and the other around a small circle C3
centered at 3i. Using the Cauchy integral formula, we have
I
dz −1 2πi π
2 + 4)(z 2 + 9)
= 2πi (2i + 2i)(2i + 3i)(2i − 3i) = 3
= ;
C (z −20i 10
I 2
dz −1 2πi π
2 + 4)(z 2 + 9)
= 2πi (3i + 2i)(3i − 2i)(3i + 3i) = 3
=− .
C3 (z 30i 15
Thus I
dz π π π
= − = .
C(R1 ,R2 ,N ) (z 2 2
+ 4)(z + 9) 10 15 30
dz
H
But C(R1 ,R2 ,N ) (z2 +4)(z 2 +9) is the sum of four integrals I1 + I2 + I3 + I4 . The