Regions
Regions
Regions
Niles A. Pierce
Caltech 2020
|z − z0 | < , > 0.
z0
ε
Figure 1. -neighborhood of z0 .
z1
w=f(z)
z0 w0
z0 ρ ε
1
δ ρ2
z2
z plane w plane
Figure 2. The set ρ1 < |z − z0 | < ρ2 is open and connected so it is a domain.
z plane w plane
1
z0
ε
(i.e., any neighborhood of w0 contains all values of f (z) attained in some full deleted neighborhood
of z0 ).
w=f(z)
w0
z0 ε
z plane w plane
If a limit exists, it is unique: z can approach z0 from any direction in the complex plane.
Hence, familiar limit properties hold (e.g. if limz→z0 f = a and limz→z0 g = b then limz→z0 f + g =
a + b and limz→z0 f g = ab).
f (z) is continuous at z0 if
lim f (z) = f (z0 ). (4)
z→z0
Using above limit properties, f g is continuous at z0 if f and g are. Example: f (z) = c and f (z) = z
are continuous so polynomial functions f (z) = c0 + c1 z + c2 z 2 + ... + cn z n are continuous.
2
Differentiability
Necessary Condition
A necessary condition for f (z) to be differentiable at z is that the Cauch-Riemann equations hold
at z.
Sufficient Condition
The function f (z) = u(x, y) + iv(x, y) is differentiable at z = x + iy if the partial derivatives ux , uy ,
vx , vy are continuous and satisfy the Cauchy-Riemann equations at z. (Proof: Brown & Churchill)
Differentiation Rules
As for real functions:
(f + g)0 = f 0 + g 0 (5)
0 0 0
(f g) = f g + f g (6)
0
f gf 0 − f g 0
= , g 6= 0 (7)
g g2
d
f (g(z)) = f 0 (g(z))g 0 (z) (8)
dz
Analyticity
A function f (z) is analytic at a point z0 if f (z) is differentiable throughout some -neighborhood of z0 .
A function is entire if it is analytic for the whole complex plane |z| < ∞.