View
4
Download
0
Category
Preview:
Citation preview
logo1
Derivatives Differentiation Formulas
Derivatives of Complex Functions
Bernd Schroder
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Introduction
1. The idea for the derivative lies in the desire to computeinstantaneous velocities or slopes of tangent lines.
2. In both cases, we want to know what happens when the
denominator in the difference quotientf (x+h)− f (x)
hgoes to
zero.3. Although the visualization is challenging, if not impossible, we
can investigate the same question for functions that map complexnumbers to complex numbers.
4. After all, the algebra and the idea of a limit translate to C.
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Introduction1. The idea for the derivative lies in the desire to compute
instantaneous velocities or slopes of tangent lines.
2. In both cases, we want to know what happens when the
denominator in the difference quotientf (x+h)− f (x)
hgoes to
zero.3. Although the visualization is challenging, if not impossible, we
can investigate the same question for functions that map complexnumbers to complex numbers.
4. After all, the algebra and the idea of a limit translate to C.
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Introduction1. The idea for the derivative lies in the desire to compute
instantaneous velocities or slopes of tangent lines.2. In both cases, we want to know what happens when the
denominator in the difference quotientf (x+h)− f (x)
hgoes to
zero.
3. Although the visualization is challenging, if not impossible, wecan investigate the same question for functions that map complexnumbers to complex numbers.
4. After all, the algebra and the idea of a limit translate to C.
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Introduction1. The idea for the derivative lies in the desire to compute
instantaneous velocities or slopes of tangent lines.2. In both cases, we want to know what happens when the
denominator in the difference quotientf (x+h)− f (x)
hgoes to
zero.3. Although the visualization is challenging
, if not impossible, wecan investigate the same question for functions that map complexnumbers to complex numbers.
4. After all, the algebra and the idea of a limit translate to C.
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Introduction1. The idea for the derivative lies in the desire to compute
instantaneous velocities or slopes of tangent lines.2. In both cases, we want to know what happens when the
denominator in the difference quotientf (x+h)− f (x)
hgoes to
zero.3. Although the visualization is challenging, if not impossible
, wecan investigate the same question for functions that map complexnumbers to complex numbers.
4. After all, the algebra and the idea of a limit translate to C.
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Introduction1. The idea for the derivative lies in the desire to compute
instantaneous velocities or slopes of tangent lines.2. In both cases, we want to know what happens when the
denominator in the difference quotientf (x+h)− f (x)
hgoes to
zero.3. Although the visualization is challenging, if not impossible, we
can investigate the same question for functions that map complexnumbers to complex numbers.
4. After all, the algebra and the idea of a limit translate to C.
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Introduction1. The idea for the derivative lies in the desire to compute
instantaneous velocities or slopes of tangent lines.2. In both cases, we want to know what happens when the
denominator in the difference quotientf (x+h)− f (x)
hgoes to
zero.3. Although the visualization is challenging, if not impossible, we
can investigate the same question for functions that map complexnumbers to complex numbers.
4. After all, the algebra and the idea of a limit translate to C.
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Definition.
Let f be defined in a neighborhood of the point z0. Then fis called differentiable at z0 if and only if the limit
limz→z0
f (z)− f (z0)z− z0
exists.In this case we set
f ′(z0) := limz→z0
f (z)− f (z0)z− z0
and call it the derivative of f at z0. Other notations for the derivative
at z0 aredfdz
(z0) and Df (z0).
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Definition. Let f be defined in a neighborhood of the point z0.
Then fis called differentiable at z0 if and only if the limit
limz→z0
f (z)− f (z0)z− z0
exists.In this case we set
f ′(z0) := limz→z0
f (z)− f (z0)z− z0
and call it the derivative of f at z0. Other notations for the derivative
at z0 aredfdz
(z0) and Df (z0).
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Definition. Let f be defined in a neighborhood of the point z0. Then fis called differentiable at z0
if and only if the limit
limz→z0
f (z)− f (z0)z− z0
exists.In this case we set
f ′(z0) := limz→z0
f (z)− f (z0)z− z0
and call it the derivative of f at z0. Other notations for the derivative
at z0 aredfdz
(z0) and Df (z0).
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Definition. Let f be defined in a neighborhood of the point z0. Then fis called differentiable at z0 if and only if the limit
limz→z0
f (z)− f (z0)z− z0
exists.
In this case we set
f ′(z0) := limz→z0
f (z)− f (z0)z− z0
and call it the derivative of f at z0. Other notations for the derivative
at z0 aredfdz
(z0) and Df (z0).
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Definition. Let f be defined in a neighborhood of the point z0. Then fis called differentiable at z0 if and only if the limit
limz→z0
f (z)− f (z0)z− z0
exists.In this case we set
f ′(z0) := limz→z0
f (z)− f (z0)z− z0
and call it the derivative of f at z0. Other notations for the derivative
at z0 aredfdz
(z0) and Df (z0).
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Definition. Let f be defined in a neighborhood of the point z0. Then fis called differentiable at z0 if and only if the limit
limz→z0
f (z)− f (z0)z− z0
exists.In this case we set
f ′(z0) := limz→z0
f (z)− f (z0)z− z0
and call it the derivative of f at z0.
Other notations for the derivative
at z0 aredfdz
(z0) and Df (z0).
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Definition. Let f be defined in a neighborhood of the point z0. Then fis called differentiable at z0 if and only if the limit
limz→z0
f (z)− f (z0)z− z0
exists.In this case we set
f ′(z0) := limz→z0
f (z)− f (z0)z− z0
and call it the derivative of f at z0. Other notations for the derivative
at z0 aredfdz
(z0)
and Df (z0).
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Definition. Let f be defined in a neighborhood of the point z0. Then fis called differentiable at z0 if and only if the limit
limz→z0
f (z)− f (z0)z− z0
exists.In this case we set
f ′(z0) := limz→z0
f (z)− f (z0)z− z0
and call it the derivative of f at z0. Other notations for the derivative
at z0 aredfdz
(z0) and Df (z0).
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
The function f with an open domain is called differentiable
(orholomorphic or analytic) if and only if it is differentiable at every z0in its domain. The function f is called entire if and only if it isdifferentiable at every z ∈ C. If f is not differentiable at z0, but forevery neighborhood of z0 there is a point so that f is analytic in aneighborhood around that point, then z0 is called a singularity.
It can be proved that f is differentiable if and only if
lim∆z→0
f (z0 +∆z)− f (z0)∆z
exists. In this case, the above limit is the
derivative.
With ∆w := f (z0 +∆z)− f (z0) we also writedwdz
= lim∆z→0
∆w∆z
.
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
The function f with an open domain is called differentiable (orholomorphic or analytic)
if and only if it is differentiable at every z0in its domain. The function f is called entire if and only if it isdifferentiable at every z ∈ C. If f is not differentiable at z0, but forevery neighborhood of z0 there is a point so that f is analytic in aneighborhood around that point, then z0 is called a singularity.
It can be proved that f is differentiable if and only if
lim∆z→0
f (z0 +∆z)− f (z0)∆z
exists. In this case, the above limit is the
derivative.
With ∆w := f (z0 +∆z)− f (z0) we also writedwdz
= lim∆z→0
∆w∆z
.
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
The function f with an open domain is called differentiable (orholomorphic or analytic) if and only if it is differentiable at every z0in its domain.
The function f is called entire if and only if it isdifferentiable at every z ∈ C. If f is not differentiable at z0, but forevery neighborhood of z0 there is a point so that f is analytic in aneighborhood around that point, then z0 is called a singularity.
It can be proved that f is differentiable if and only if
lim∆z→0
f (z0 +∆z)− f (z0)∆z
exists. In this case, the above limit is the
derivative.
With ∆w := f (z0 +∆z)− f (z0) we also writedwdz
= lim∆z→0
∆w∆z
.
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
The function f with an open domain is called differentiable (orholomorphic or analytic) if and only if it is differentiable at every z0in its domain. The function f is called entire if and only if it isdifferentiable at every z ∈ C.
If f is not differentiable at z0, but forevery neighborhood of z0 there is a point so that f is analytic in aneighborhood around that point, then z0 is called a singularity.
It can be proved that f is differentiable if and only if
lim∆z→0
f (z0 +∆z)− f (z0)∆z
exists. In this case, the above limit is the
derivative.
With ∆w := f (z0 +∆z)− f (z0) we also writedwdz
= lim∆z→0
∆w∆z
.
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
The function f with an open domain is called differentiable (orholomorphic or analytic) if and only if it is differentiable at every z0in its domain. The function f is called entire if and only if it isdifferentiable at every z ∈ C. If f is not differentiable at z0, but forevery neighborhood of z0 there is a point so that f is analytic in aneighborhood around that point, then z0 is called a singularity.
It can be proved that f is differentiable if and only if
lim∆z→0
f (z0 +∆z)− f (z0)∆z
exists. In this case, the above limit is the
derivative.
With ∆w := f (z0 +∆z)− f (z0) we also writedwdz
= lim∆z→0
∆w∆z
.
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
The function f with an open domain is called differentiable (orholomorphic or analytic) if and only if it is differentiable at every z0in its domain. The function f is called entire if and only if it isdifferentiable at every z ∈ C. If f is not differentiable at z0, but forevery neighborhood of z0 there is a point so that f is analytic in aneighborhood around that point, then z0 is called a singularity.
It can be proved that f is differentiable if and only if
lim∆z→0
f (z0 +∆z)− f (z0)∆z
exists.
In this case, the above limit is the
derivative.
With ∆w := f (z0 +∆z)− f (z0) we also writedwdz
= lim∆z→0
∆w∆z
.
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
The function f with an open domain is called differentiable (orholomorphic or analytic) if and only if it is differentiable at every z0in its domain. The function f is called entire if and only if it isdifferentiable at every z ∈ C. If f is not differentiable at z0, but forevery neighborhood of z0 there is a point so that f is analytic in aneighborhood around that point, then z0 is called a singularity.
It can be proved that f is differentiable if and only if
lim∆z→0
f (z0 +∆z)− f (z0)∆z
exists. In this case, the above limit is the
derivative.
With ∆w := f (z0 +∆z)− f (z0) we also writedwdz
= lim∆z→0
∆w∆z
.
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
The function f with an open domain is called differentiable (orholomorphic or analytic) if and only if it is differentiable at every z0in its domain. The function f is called entire if and only if it isdifferentiable at every z ∈ C. If f is not differentiable at z0, but forevery neighborhood of z0 there is a point so that f is analytic in aneighborhood around that point, then z0 is called a singularity.
It can be proved that f is differentiable if and only if
lim∆z→0
f (z0 +∆z)− f (z0)∆z
exists. In this case, the above limit is the
derivative.
With ∆w := f (z0 +∆z)− f (z0) we also writedwdz
= lim∆z→0
∆w∆z
.
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Example.
Compute the derivative of f (z) = z3.
dz3
dz= lim
∆z→0
(z+∆z)3− z3
∆z
= lim∆z→0
z3 +3z2∆z+3z∆z2 +∆z3− z3
∆z
= lim∆z→0
3z2∆z+3z∆z2 +∆z3
∆z
= lim∆z→0
∆z(3z2 +3z∆z+∆z2
)∆z
= lim∆z→0
3z2 +3z∆z+∆z2
= 3z2
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Example. Compute the derivative of f (z) = z3.
dz3
dz= lim
∆z→0
(z+∆z)3− z3
∆z
= lim∆z→0
z3 +3z2∆z+3z∆z2 +∆z3− z3
∆z
= lim∆z→0
3z2∆z+3z∆z2 +∆z3
∆z
= lim∆z→0
∆z(3z2 +3z∆z+∆z2
)∆z
= lim∆z→0
3z2 +3z∆z+∆z2
= 3z2
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Example. Compute the derivative of f (z) = z3.
dz3
dz
= lim∆z→0
(z+∆z)3− z3
∆z
= lim∆z→0
z3 +3z2∆z+3z∆z2 +∆z3− z3
∆z
= lim∆z→0
3z2∆z+3z∆z2 +∆z3
∆z
= lim∆z→0
∆z(3z2 +3z∆z+∆z2
)∆z
= lim∆z→0
3z2 +3z∆z+∆z2
= 3z2
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Example. Compute the derivative of f (z) = z3.
dz3
dz= lim
∆z→0
(z+∆z)3− z3
∆z
= lim∆z→0
z3 +3z2∆z+3z∆z2 +∆z3− z3
∆z
= lim∆z→0
3z2∆z+3z∆z2 +∆z3
∆z
= lim∆z→0
∆z(3z2 +3z∆z+∆z2
)∆z
= lim∆z→0
3z2 +3z∆z+∆z2
= 3z2
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Example. Compute the derivative of f (z) = z3.
dz3
dz= lim
∆z→0
(z+∆z)3− z3
∆z
= lim∆z→0
z3 +3z2∆z+3z∆z2 +∆z3− z3
∆z
= lim∆z→0
3z2∆z+3z∆z2 +∆z3
∆z
= lim∆z→0
∆z(3z2 +3z∆z+∆z2
)∆z
= lim∆z→0
3z2 +3z∆z+∆z2
= 3z2
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Example. Compute the derivative of f (z) = z3.
dz3
dz= lim
∆z→0
(z+∆z)3− z3
∆z
= lim∆z→0
z3 +3z2∆z+3z∆z2 +∆z3− z3
∆z
= lim∆z→0
3z2∆z+3z∆z2 +∆z3
∆z
= lim∆z→0
∆z(3z2 +3z∆z+∆z2
)∆z
= lim∆z→0
3z2 +3z∆z+∆z2
= 3z2
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Example. Compute the derivative of f (z) = z3.
dz3
dz= lim
∆z→0
(z+∆z)3− z3
∆z
= lim∆z→0
z3 +3z2∆z+3z∆z2 +∆z3− z3
∆z
= lim∆z→0
3z2∆z+3z∆z2 +∆z3
∆z
= lim∆z→0
∆z(3z2 +3z∆z+∆z2
)∆z
= lim∆z→0
3z2 +3z∆z+∆z2
= 3z2
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Example. Compute the derivative of f (z) = z3.
dz3
dz= lim
∆z→0
(z+∆z)3− z3
∆z
= lim∆z→0
z3 +3z2∆z+3z∆z2 +∆z3− z3
∆z
= lim∆z→0
3z2∆z+3z∆z2 +∆z3
∆z
= lim∆z→0
∆z(3z2 +3z∆z+∆z2
)∆z
= lim∆z→0
3z2 +3z∆z+∆z2
= 3z2
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Example. Compute the derivative of f (z) = z3.
dz3
dz= lim
∆z→0
(z+∆z)3− z3
∆z
= lim∆z→0
z3 +3z2∆z+3z∆z2 +∆z3− z3
∆z
= lim∆z→0
3z2∆z+3z∆z2 +∆z3
∆z
= lim∆z→0
∆z(3z2 +3z∆z+∆z2
)∆z
= lim∆z→0
3z2 +3z∆z+∆z2
= 3z2
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Example.
Show that f (z) = z is not differentiable at any z0 ∈ C.
lim∆z→0
z0 +∆z− z0
∆z= lim
∆z→0
z0 +∆z− z0
∆z
= lim∆z→0
∆z∆z
... which does not exist.
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Example. Show that f (z) = z is not differentiable at any z0 ∈ C.
lim∆z→0
z0 +∆z− z0
∆z= lim
∆z→0
z0 +∆z− z0
∆z
= lim∆z→0
∆z∆z
... which does not exist.
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Example. Show that f (z) = z is not differentiable at any z0 ∈ C.
lim∆z→0
z0 +∆z− z0
∆z
= lim∆z→0
z0 +∆z− z0
∆z
= lim∆z→0
∆z∆z
... which does not exist.
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Example. Show that f (z) = z is not differentiable at any z0 ∈ C.
lim∆z→0
z0 +∆z− z0
∆z= lim
∆z→0
z0 +∆z− z0
∆z
= lim∆z→0
∆z∆z
... which does not exist.
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Example. Show that f (z) = z is not differentiable at any z0 ∈ C.
lim∆z→0
z0 +∆z− z0
∆z= lim
∆z→0
z0 +∆z− z0
∆z
= lim∆z→0
∆z∆z
... which does not exist.
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Example. Show that f (z) = z is not differentiable at any z0 ∈ C.
lim∆z→0
z0 +∆z− z0
∆z= lim
∆z→0
z0 +∆z− z0
∆z
= lim∆z→0
∆z∆z
... which does not exist.
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Theorem.
If the complex function f is differentiable at z0, then f iscontinuous at z0. Hence, every differentiable function is continuous.However, not every continuous function is differentiable.
Proof. For continuity at z0 note that
0 = limz→z0
(z− z0) limz→z0
f (z)− f (z0)z− z0
= limz→z0
(z− z0)f (z)− f (z0)
z− z0
= limz→z0
f (z)− f (z0).
For the last statement, consider f (z) = z.
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Theorem. If the complex function f is differentiable at z0, then f iscontinuous at z0.
Hence, every differentiable function is continuous.However, not every continuous function is differentiable.
Proof. For continuity at z0 note that
0 = limz→z0
(z− z0) limz→z0
f (z)− f (z0)z− z0
= limz→z0
(z− z0)f (z)− f (z0)
z− z0
= limz→z0
f (z)− f (z0).
For the last statement, consider f (z) = z.
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Theorem. If the complex function f is differentiable at z0, then f iscontinuous at z0. Hence, every differentiable function is continuous.
However, not every continuous function is differentiable.
Proof. For continuity at z0 note that
0 = limz→z0
(z− z0) limz→z0
f (z)− f (z0)z− z0
= limz→z0
(z− z0)f (z)− f (z0)
z− z0
= limz→z0
f (z)− f (z0).
For the last statement, consider f (z) = z.
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Theorem. If the complex function f is differentiable at z0, then f iscontinuous at z0. Hence, every differentiable function is continuous.However, not every continuous function is differentiable.
Proof. For continuity at z0 note that
0 = limz→z0
(z− z0) limz→z0
f (z)− f (z0)z− z0
= limz→z0
(z− z0)f (z)− f (z0)
z− z0
= limz→z0
f (z)− f (z0).
For the last statement, consider f (z) = z.
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Theorem. If the complex function f is differentiable at z0, then f iscontinuous at z0. Hence, every differentiable function is continuous.However, not every continuous function is differentiable.
Proof.
For continuity at z0 note that
0 = limz→z0
(z− z0) limz→z0
f (z)− f (z0)z− z0
= limz→z0
(z− z0)f (z)− f (z0)
z− z0
= limz→z0
f (z)− f (z0).
For the last statement, consider f (z) = z.
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Theorem. If the complex function f is differentiable at z0, then f iscontinuous at z0. Hence, every differentiable function is continuous.However, not every continuous function is differentiable.
Proof. For continuity at z0 note that
0
= limz→z0
(z− z0) limz→z0
f (z)− f (z0)z− z0
= limz→z0
(z− z0)f (z)− f (z0)
z− z0
= limz→z0
f (z)− f (z0).
For the last statement, consider f (z) = z.
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Theorem. If the complex function f is differentiable at z0, then f iscontinuous at z0. Hence, every differentiable function is continuous.However, not every continuous function is differentiable.
Proof. For continuity at z0 note that
0 = limz→z0
(z− z0) limz→z0
f (z)− f (z0)z− z0
= limz→z0
(z− z0)f (z)− f (z0)
z− z0
= limz→z0
f (z)− f (z0).
For the last statement, consider f (z) = z.
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Theorem. If the complex function f is differentiable at z0, then f iscontinuous at z0. Hence, every differentiable function is continuous.However, not every continuous function is differentiable.
Proof. For continuity at z0 note that
0 = limz→z0
(z− z0) limz→z0
f (z)− f (z0)z− z0
= limz→z0
(z− z0)f (z)− f (z0)
z− z0
= limz→z0
f (z)− f (z0).
For the last statement, consider f (z) = z.
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Theorem. If the complex function f is differentiable at z0, then f iscontinuous at z0. Hence, every differentiable function is continuous.However, not every continuous function is differentiable.
Proof. For continuity at z0 note that
0 = limz→z0
(z− z0) limz→z0
f (z)− f (z0)z− z0
= limz→z0
(z− z0)f (z)− f (z0)
z− z0
= limz→z0
f (z)− f (z0).
For the last statement, consider f (z) = z.
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Theorem. If the complex function f is differentiable at z0, then f iscontinuous at z0. Hence, every differentiable function is continuous.However, not every continuous function is differentiable.
Proof. For continuity at z0 note that
0 = limz→z0
(z− z0) limz→z0
f (z)− f (z0)z− z0
= limz→z0
(z− z0)f (z)− f (z0)
z− z0
= limz→z0
f (z)− f (z0).
For the last statement, consider f (z) = z.
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Theorem. If the complex function f is differentiable at z0, then f iscontinuous at z0. Hence, every differentiable function is continuous.However, not every continuous function is differentiable.
Proof. For continuity at z0 note that
0 = limz→z0
(z− z0) limz→z0
f (z)− f (z0)z− z0
= limz→z0
(z− z0)f (z)− f (z0)
z− z0
= limz→z0
f (z)− f (z0).
For the last statement, consider f (z) = z.
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Theorem.
Let f and g be differentiable at z0 and let c ∈ C. Then thefunctions f +g, f −g and cf are all differentiable at z0 and
(f +g)′(z0) = f ′(z0)+g′(z0),(f −g)′(z0) = f ′(z0)−g′(z0),
(cf )′(z0) = cf ′(z0).
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Theorem. Let f and g be differentiable at z0 and let c ∈ C.
Then thefunctions f +g, f −g and cf are all differentiable at z0 and
(f +g)′(z0) = f ′(z0)+g′(z0),(f −g)′(z0) = f ′(z0)−g′(z0),
(cf )′(z0) = cf ′(z0).
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Theorem. Let f and g be differentiable at z0 and let c ∈ C. Then thefunctions f +g, f −g and cf are all differentiable at z0
and
(f +g)′(z0) = f ′(z0)+g′(z0),(f −g)′(z0) = f ′(z0)−g′(z0),
(cf )′(z0) = cf ′(z0).
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Theorem. Let f and g be differentiable at z0 and let c ∈ C. Then thefunctions f +g, f −g and cf are all differentiable at z0 and
(f +g)′(z0) = f ′(z0)+g′(z0),
(f −g)′(z0) = f ′(z0)−g′(z0),(cf )′(z0) = cf ′(z0).
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Theorem. Let f and g be differentiable at z0 and let c ∈ C. Then thefunctions f +g, f −g and cf are all differentiable at z0 and
(f +g)′(z0) = f ′(z0)+g′(z0),(f −g)′(z0) = f ′(z0)−g′(z0),
(cf )′(z0) = cf ′(z0).
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Theorem. Let f and g be differentiable at z0 and let c ∈ C. Then thefunctions f +g, f −g and cf are all differentiable at z0 and
(f +g)′(z0) = f ′(z0)+g′(z0),(f −g)′(z0) = f ′(z0)−g′(z0),
(cf )′(z0) = cf ′(z0).
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Proof (addition only).
(f +g)′(z0)
= limz→z0
(f +g)(z)− (f +g)(z0)z− z0
= limz→z0
f (z)+g(z)− f (z0)−g(z0)z− z0
= limz→z0
f (z)− f (z0)+g(z)−g(z0)z− z0
= limz→z0
f (z)− f (z0)z− z0
+ limz→z0
g(z)−g(z0)z− z0
= f ′(z0)+g′(z0)
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Proof (addition only).
(f +g)′(z0)
= limz→z0
(f +g)(z)− (f +g)(z0)z− z0
= limz→z0
f (z)+g(z)− f (z0)−g(z0)z− z0
= limz→z0
f (z)− f (z0)+g(z)−g(z0)z− z0
= limz→z0
f (z)− f (z0)z− z0
+ limz→z0
g(z)−g(z0)z− z0
= f ′(z0)+g′(z0)
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Proof (addition only).
(f +g)′(z0)
= limz→z0
(f +g)(z)− (f +g)(z0)z− z0
= limz→z0
f (z)+g(z)− f (z0)−g(z0)z− z0
= limz→z0
f (z)− f (z0)+g(z)−g(z0)z− z0
= limz→z0
f (z)− f (z0)z− z0
+ limz→z0
g(z)−g(z0)z− z0
= f ′(z0)+g′(z0)
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Proof (addition only).
(f +g)′(z0)
= limz→z0
(f +g)(z)− (f +g)(z0)z− z0
= limz→z0
f (z)+g(z)− f (z0)−g(z0)z− z0
= limz→z0
f (z)− f (z0)+g(z)−g(z0)z− z0
= limz→z0
f (z)− f (z0)z− z0
+ limz→z0
g(z)−g(z0)z− z0
= f ′(z0)+g′(z0)
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Proof (addition only).
(f +g)′(z0)
= limz→z0
(f +g)(z)− (f +g)(z0)z− z0
= limz→z0
f (z)+g(z)− f (z0)−g(z0)z− z0
= limz→z0
f (z)− f (z0)+g(z)−g(z0)z− z0
= limz→z0
f (z)− f (z0)z− z0
+ limz→z0
g(z)−g(z0)z− z0
= f ′(z0)+g′(z0)
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Proof (addition only).
(f +g)′(z0)
= limz→z0
(f +g)(z)− (f +g)(z0)z− z0
= limz→z0
f (z)+g(z)− f (z0)−g(z0)z− z0
= limz→z0
f (z)− f (z0)+g(z)−g(z0)z− z0
= limz→z0
f (z)− f (z0)z− z0
+ limz→z0
g(z)−g(z0)z− z0
= f ′(z0)+g′(z0)
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Proof (addition only).
(f +g)′(z0)
= limz→z0
(f +g)(z)− (f +g)(z0)z− z0
= limz→z0
f (z)+g(z)− f (z0)−g(z0)z− z0
= limz→z0
f (z)− f (z0)+g(z)−g(z0)z− z0
= limz→z0
f (z)− f (z0)z− z0
+ limz→z0
g(z)−g(z0)z− z0
= f ′(z0)+g′(z0)
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Proof (addition only).
(f +g)′(z0)
= limz→z0
(f +g)(z)− (f +g)(z0)z− z0
= limz→z0
f (z)+g(z)− f (z0)−g(z0)z− z0
= limz→z0
f (z)− f (z0)+g(z)−g(z0)z− z0
= limz→z0
f (z)− f (z0)z− z0
+ limz→z0
g(z)−g(z0)z− z0
= f ′(z0)+g′(z0)
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Theorem.
Product and Quotient Rule. Let f and g be differentiableat z0. Then fg is differentiable at x with
(fg)′(z0) = f ′(z0)g(z0)+g′(z0)f (z0).
Moreover, if g(z0) 6= 0, then the quotientfg
is differentiable at z0 with(fg
)′(z0) =
f ′(z0)g(z0)−g′(z0)f (z0)(g(z0)
)2 .
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Theorem. Product and Quotient Rule. Let f and g be differentiableat z0.
Then fg is differentiable at x with
(fg)′(z0) = f ′(z0)g(z0)+g′(z0)f (z0).
Moreover, if g(z0) 6= 0, then the quotientfg
is differentiable at z0 with(fg
)′(z0) =
f ′(z0)g(z0)−g′(z0)f (z0)(g(z0)
)2 .
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Theorem. Product and Quotient Rule. Let f and g be differentiableat z0. Then fg is differentiable at x
with
(fg)′(z0) = f ′(z0)g(z0)+g′(z0)f (z0).
Moreover, if g(z0) 6= 0, then the quotientfg
is differentiable at z0 with(fg
)′(z0) =
f ′(z0)g(z0)−g′(z0)f (z0)(g(z0)
)2 .
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Theorem. Product and Quotient Rule. Let f and g be differentiableat z0. Then fg is differentiable at x with
(fg)′(z0) = f ′(z0)g(z0)+g′(z0)f (z0).
Moreover, if g(z0) 6= 0, then the quotientfg
is differentiable at z0 with(fg
)′(z0) =
f ′(z0)g(z0)−g′(z0)f (z0)(g(z0)
)2 .
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Theorem. Product and Quotient Rule. Let f and g be differentiableat z0. Then fg is differentiable at x with
(fg)′(z0) = f ′(z0)g(z0)+g′(z0)f (z0).
Moreover, if g(z0) 6= 0, then the quotientfg
is differentiable at z0
with(fg
)′(z0) =
f ′(z0)g(z0)−g′(z0)f (z0)(g(z0)
)2 .
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Theorem. Product and Quotient Rule. Let f and g be differentiableat z0. Then fg is differentiable at x with
(fg)′(z0) = f ′(z0)g(z0)+g′(z0)f (z0).
Moreover, if g(z0) 6= 0, then the quotientfg
is differentiable at z0 with(fg
)′(z0) =
f ′(z0)g(z0)−g′(z0)f (z0)(g(z0)
)2 .
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Proof (quotient rule only).
limz→z0
fg(z)− f
g(z0)
z− z0
= limz→z0
f (z)g(z) −
f (z0)g(z0)
z− z0= lim
z→z0
f (z)g(z0)−f (z0)g(z)g(z)g(z0)
z− z0
= limz→z0
1g(z)g(z0)
f (z)g(z0)− f (z0)g(z)z− z0
= limz→z0
1g(z)g(z0)
f (z)g(z0)− f (z0)g(z0)+ f (z0)g(z0)− f (z0)g(z)z− z0
= limz→z0
1g(z)g(z0)
f (z)g(z0)− f (z0)g(z0)−(f (z0)g(z)− f (z0)g(z0)
)z− z0
= limz→z0
1g(z)g(z0)
(f (z)g(z0)− f (z0)g(z0)
z− z0− f (z0)g(z)− f (z0)g(z0)
z− z0
)
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Proof (quotient rule only).
limz→z0
fg(z)− f
g(z0)
z− z0
= limz→z0
f (z)g(z) −
f (z0)g(z0)
z− z0= lim
z→z0
f (z)g(z0)−f (z0)g(z)g(z)g(z0)
z− z0
= limz→z0
1g(z)g(z0)
f (z)g(z0)− f (z0)g(z)z− z0
= limz→z0
1g(z)g(z0)
f (z)g(z0)− f (z0)g(z0)+ f (z0)g(z0)− f (z0)g(z)z− z0
= limz→z0
1g(z)g(z0)
f (z)g(z0)− f (z0)g(z0)−(f (z0)g(z)− f (z0)g(z0)
)z− z0
= limz→z0
1g(z)g(z0)
(f (z)g(z0)− f (z0)g(z0)
z− z0− f (z0)g(z)− f (z0)g(z0)
z− z0
)
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Proof (quotient rule only).
limz→z0
fg(z)− f
g(z0)
z− z0
= limz→z0
f (z)g(z) −
f (z0)g(z0)
z− z0
= limz→z0
f (z)g(z0)−f (z0)g(z)g(z)g(z0)
z− z0
= limz→z0
1g(z)g(z0)
f (z)g(z0)− f (z0)g(z)z− z0
= limz→z0
1g(z)g(z0)
f (z)g(z0)− f (z0)g(z0)+ f (z0)g(z0)− f (z0)g(z)z− z0
= limz→z0
1g(z)g(z0)
f (z)g(z0)− f (z0)g(z0)−(f (z0)g(z)− f (z0)g(z0)
)z− z0
= limz→z0
1g(z)g(z0)
(f (z)g(z0)− f (z0)g(z0)
z− z0− f (z0)g(z)− f (z0)g(z0)
z− z0
)
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Proof (quotient rule only).
limz→z0
fg(z)− f
g(z0)
z− z0
= limz→z0
f (z)g(z) −
f (z0)g(z0)
z− z0= lim
z→z0
f (z)g(z0)−f (z0)g(z)g(z)g(z0)
z− z0
= limz→z0
1g(z)g(z0)
f (z)g(z0)− f (z0)g(z)z− z0
= limz→z0
1g(z)g(z0)
f (z)g(z0)− f (z0)g(z0)+ f (z0)g(z0)− f (z0)g(z)z− z0
= limz→z0
1g(z)g(z0)
f (z)g(z0)− f (z0)g(z0)−(f (z0)g(z)− f (z0)g(z0)
)z− z0
= limz→z0
1g(z)g(z0)
(f (z)g(z0)− f (z0)g(z0)
z− z0− f (z0)g(z)− f (z0)g(z0)
z− z0
)
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Proof (quotient rule only).
limz→z0
fg(z)− f
g(z0)
z− z0
= limz→z0
f (z)g(z) −
f (z0)g(z0)
z− z0= lim
z→z0
f (z)g(z0)−f (z0)g(z)g(z)g(z0)
z− z0
= limz→z0
1g(z)g(z0)
f (z)g(z0)− f (z0)g(z)z− z0
= limz→z0
1g(z)g(z0)
f (z)g(z0)− f (z0)g(z0)+ f (z0)g(z0)− f (z0)g(z)z− z0
= limz→z0
1g(z)g(z0)
f (z)g(z0)− f (z0)g(z0)−(f (z0)g(z)− f (z0)g(z0)
)z− z0
= limz→z0
1g(z)g(z0)
(f (z)g(z0)− f (z0)g(z0)
z− z0− f (z0)g(z)− f (z0)g(z0)
z− z0
)
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Proof (quotient rule only).
limz→z0
fg(z)− f
g(z0)
z− z0
= limz→z0
f (z)g(z) −
f (z0)g(z0)
z− z0= lim
z→z0
f (z)g(z0)−f (z0)g(z)g(z)g(z0)
z− z0
= limz→z0
1g(z)g(z0)
f (z)g(z0)− f (z0)g(z)z− z0
= limz→z0
1g(z)g(z0)
f (z)g(z0)− f (z0)g(z0)+ f (z0)g(z0)− f (z0)g(z)z− z0
= limz→z0
1g(z)g(z0)
f (z)g(z0)− f (z0)g(z0)−(f (z0)g(z)− f (z0)g(z0)
)z− z0
= limz→z0
1g(z)g(z0)
(f (z)g(z0)− f (z0)g(z0)
z− z0− f (z0)g(z)− f (z0)g(z0)
z− z0
)
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Proof (quotient rule only).
limz→z0
fg(z)− f
g(z0)
z− z0
= limz→z0
f (z)g(z) −
f (z0)g(z0)
z− z0= lim
z→z0
f (z)g(z0)−f (z0)g(z)g(z)g(z0)
z− z0
= limz→z0
1g(z)g(z0)
f (z)g(z0)− f (z0)g(z)z− z0
= limz→z0
1g(z)g(z0)
f (z)g(z0)− f (z0)g(z0)+ f (z0)g(z0)− f (z0)g(z)z− z0
= limz→z0
1g(z)g(z0)
f (z)g(z0)− f (z0)g(z0)−(f (z0)g(z)− f (z0)g(z0)
)z− z0
= limz→z0
1g(z)g(z0)
(f (z)g(z0)− f (z0)g(z0)
z− z0− f (z0)g(z)− f (z0)g(z0)
z− z0
)
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Proof (quotient rule only).
limz→z0
fg(z)− f
g(z0)
z− z0
= limz→z0
f (z)g(z) −
f (z0)g(z0)
z− z0= lim
z→z0
f (z)g(z0)−f (z0)g(z)g(z)g(z0)
z− z0
= limz→z0
1g(z)g(z0)
f (z)g(z0)− f (z0)g(z)z− z0
= limz→z0
1g(z)g(z0)
f (z)g(z0)− f (z0)g(z0)+ f (z0)g(z0)− f (z0)g(z)z− z0
= limz→z0
1g(z)g(z0)
f (z)g(z0)− f (z0)g(z0)−(f (z0)g(z)− f (z0)g(z0)
)z− z0
= limz→z0
1g(z)g(z0)
(f (z)g(z0)− f (z0)g(z0)
z− z0− f (z0)g(z)− f (z0)g(z0)
z− z0
)
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Proof (quotient rule cont.).
limz→z0
1g(z)g(z0)
(f (z)g(z0)− f (z0)g(z0)
z− z0− f (z0)g(z)− f (z0)g(z0)
z− z0
)= lim
z→z0
1g(z)g(z0)
(f (z)− f (z0)
z− z0g(z0)−
g(z)−g(z0)z− z0
f (z0))
=1(
g(z0))2
(f ′(z0)g(z0)−g′(z0)f (z0)
)=
f ′(z0)g(z0)−g′(z0)f (z0)(g(z0)
)2 .
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Proof (quotient rule cont.).
limz→z0
1g(z)g(z0)
(f (z)g(z0)− f (z0)g(z0)
z− z0− f (z0)g(z)− f (z0)g(z0)
z− z0
)
= limz→z0
1g(z)g(z0)
(f (z)− f (z0)
z− z0g(z0)−
g(z)−g(z0)z− z0
f (z0))
=1(
g(z0))2
(f ′(z0)g(z0)−g′(z0)f (z0)
)=
f ′(z0)g(z0)−g′(z0)f (z0)(g(z0)
)2 .
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Proof (quotient rule cont.).
limz→z0
1g(z)g(z0)
(f (z)g(z0)− f (z0)g(z0)
z− z0− f (z0)g(z)− f (z0)g(z0)
z− z0
)= lim
z→z0
1g(z)g(z0)
(f (z)− f (z0)
z− z0g(z0)−
g(z)−g(z0)z− z0
f (z0))
=1(
g(z0))2
(f ′(z0)g(z0)−g′(z0)f (z0)
)=
f ′(z0)g(z0)−g′(z0)f (z0)(g(z0)
)2 .
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Proof (quotient rule cont.).
limz→z0
1g(z)g(z0)
(f (z)g(z0)− f (z0)g(z0)
z− z0− f (z0)g(z)− f (z0)g(z0)
z− z0
)= lim
z→z0
1g(z)g(z0)
(f (z)− f (z0)
z− z0g(z0)−
g(z)−g(z0)z− z0
f (z0))
=1(
g(z0))2
(f ′(z0)g(z0)−g′(z0)f (z0)
)
=f ′(z0)g(z0)−g′(z0)f (z0)(
g(z0))2 .
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Proof (quotient rule cont.).
limz→z0
1g(z)g(z0)
(f (z)g(z0)− f (z0)g(z0)
z− z0− f (z0)g(z)− f (z0)g(z0)
z− z0
)= lim
z→z0
1g(z)g(z0)
(f (z)− f (z0)
z− z0g(z0)−
g(z)−g(z0)z− z0
f (z0))
=1(
g(z0))2
(f ′(z0)g(z0)−g′(z0)f (z0)
)=
f ′(z0)g(z0)−g′(z0)f (z0)(g(z0)
)2 .
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Proof (quotient rule cont.).
limz→z0
1g(z)g(z0)
(f (z)g(z0)− f (z0)g(z0)
z− z0− f (z0)g(z)− f (z0)g(z0)
z− z0
)= lim
z→z0
1g(z)g(z0)
(f (z)− f (z0)
z− z0g(z0)−
g(z)−g(z0)z− z0
f (z0))
=1(
g(z0))2
(f ′(z0)g(z0)−g′(z0)f (z0)
)=
f ′(z0)g(z0)−g′(z0)f (z0)(g(z0)
)2 .
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Theorem.
Chain Rule. Let f ,g be complex functions and let z0 besuch that g is differentiable at z0 and f is differentiable at g(z0). Thenf ◦g is differentiable at z0 and the derivative is(f ◦g)′(z0) = f ′
(g(z0)
)g′(z0).
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Theorem. Chain Rule.
Let f ,g be complex functions and let z0 besuch that g is differentiable at z0 and f is differentiable at g(z0). Thenf ◦g is differentiable at z0 and the derivative is(f ◦g)′(z0) = f ′
(g(z0)
)g′(z0).
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Theorem. Chain Rule. Let f ,g be complex functions and let z0 besuch that g is differentiable at z0 and f is differentiable at g(z0).
Thenf ◦g is differentiable at z0 and the derivative is(f ◦g)′(z0) = f ′
(g(z0)
)g′(z0).
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Theorem. Chain Rule. Let f ,g be complex functions and let z0 besuch that g is differentiable at z0 and f is differentiable at g(z0). Thenf ◦g is differentiable at z0
and the derivative is(f ◦g)′(z0) = f ′
(g(z0)
)g′(z0).
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Theorem. Chain Rule. Let f ,g be complex functions and let z0 besuch that g is differentiable at z0 and f is differentiable at g(z0). Thenf ◦g is differentiable at z0 and the derivative is(f ◦g)′(z0) = f ′
(g(z0)
)g′(z0).
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Proof (small technicality ignored).
limz→z0
f ◦g(z)− f ◦g(z0)z− z0
= limz→z0
f(g(z)
)− f
(g(z0)
)z− z0
· g(z)−g(z0)g(z)−g(z0)
= limz→z0
f(g(z)
)− f
(g(z0)
)g(z)−g(z0)
· g(z)−g(z0)z− z0
= limz→z0
f(g(z)
)− f
(g(z0)
)g(z)−g(z0)
· limz→z0
g(z)−g(z0)z− z0
= limu→g(z0)
f (u)− f(g(z0)
)u−g(z0)
· limz→z0
g(z)−g(z0)z− z0
= f ′(g(z0)
)g′(z0).
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Proof (small technicality ignored).
limz→z0
f ◦g(z)− f ◦g(z0)z− z0
= limz→z0
f(g(z)
)− f
(g(z0)
)z− z0
· g(z)−g(z0)g(z)−g(z0)
= limz→z0
f(g(z)
)− f
(g(z0)
)g(z)−g(z0)
· g(z)−g(z0)z− z0
= limz→z0
f(g(z)
)− f
(g(z0)
)g(z)−g(z0)
· limz→z0
g(z)−g(z0)z− z0
= limu→g(z0)
f (u)− f(g(z0)
)u−g(z0)
· limz→z0
g(z)−g(z0)z− z0
= f ′(g(z0)
)g′(z0).
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Proof (small technicality ignored).
limz→z0
f ◦g(z)− f ◦g(z0)z− z0
= limz→z0
f(g(z)
)− f
(g(z0)
)z− z0
· g(z)−g(z0)g(z)−g(z0)
= limz→z0
f(g(z)
)− f
(g(z0)
)g(z)−g(z0)
· g(z)−g(z0)z− z0
= limz→z0
f(g(z)
)− f
(g(z0)
)g(z)−g(z0)
· limz→z0
g(z)−g(z0)z− z0
= limu→g(z0)
f (u)− f(g(z0)
)u−g(z0)
· limz→z0
g(z)−g(z0)z− z0
= f ′(g(z0)
)g′(z0).
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Proof (small technicality ignored).
limz→z0
f ◦g(z)− f ◦g(z0)z− z0
= limz→z0
f(g(z)
)− f
(g(z0)
)z− z0
· g(z)−g(z0)g(z)−g(z0)
= limz→z0
f(g(z)
)− f
(g(z0)
)g(z)−g(z0)
· g(z)−g(z0)z− z0
= limz→z0
f(g(z)
)− f
(g(z0)
)g(z)−g(z0)
· limz→z0
g(z)−g(z0)z− z0
= limu→g(z0)
f (u)− f(g(z0)
)u−g(z0)
· limz→z0
g(z)−g(z0)z− z0
= f ′(g(z0)
)g′(z0).
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Proof (small technicality ignored).
limz→z0
f ◦g(z)− f ◦g(z0)z− z0
= limz→z0
f(g(z)
)− f
(g(z0)
)z− z0
· g(z)−g(z0)g(z)−g(z0)
= limz→z0
f(g(z)
)− f
(g(z0)
)g(z)−g(z0)
· g(z)−g(z0)z− z0
= limz→z0
f(g(z)
)− f
(g(z0)
)g(z)−g(z0)
· limz→z0
g(z)−g(z0)z− z0
= limu→g(z0)
f (u)− f(g(z0)
)u−g(z0)
· limz→z0
g(z)−g(z0)z− z0
= f ′(g(z0)
)g′(z0).
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Proof (small technicality ignored).
limz→z0
f ◦g(z)− f ◦g(z0)z− z0
= limz→z0
f(g(z)
)− f
(g(z0)
)z− z0
· g(z)−g(z0)g(z)−g(z0)
= limz→z0
f(g(z)
)− f
(g(z0)
)g(z)−g(z0)
· g(z)−g(z0)z− z0
= limz→z0
f(g(z)
)− f
(g(z0)
)g(z)−g(z0)
· limz→z0
g(z)−g(z0)z− z0
= limu→g(z0)
f (u)− f(g(z0)
)u−g(z0)
· limz→z0
g(z)−g(z0)z− z0
= f ′(g(z0)
)g′(z0).
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Proof (small technicality ignored).
limz→z0
f ◦g(z)− f ◦g(z0)z− z0
= limz→z0
f(g(z)
)− f
(g(z0)
)z− z0
· g(z)−g(z0)g(z)−g(z0)
= limz→z0
f(g(z)
)− f
(g(z0)
)g(z)−g(z0)
· g(z)−g(z0)z− z0
= limz→z0
f(g(z)
)− f
(g(z0)
)g(z)−g(z0)
· limz→z0
g(z)−g(z0)z− z0
= limu→g(z0)
f (u)− f(g(z0)
)u−g(z0)
· limz→z0
g(z)−g(z0)z− z0
= f ′(g(z0)
)g′(z0).
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Proof (small technicality ignored).
limz→z0
f ◦g(z)− f ◦g(z0)z− z0
= limz→z0
f(g(z)
)− f
(g(z0)
)z− z0
· g(z)−g(z0)g(z)−g(z0)
= limz→z0
f(g(z)
)− f
(g(z0)
)g(z)−g(z0)
· g(z)−g(z0)z− z0
= limz→z0
f(g(z)
)− f
(g(z0)
)g(z)−g(z0)
· limz→z0
g(z)−g(z0)z− z0
= limu→g(z0)
f (u)− f(g(z0)
)u−g(z0)
· limz→z0
g(z)−g(z0)z− z0
= f ′(g(z0)
)g′(z0).
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Example
(derivatives work just like they did in calculus). Find thederivative of f (x) = (iz+4)3 (
z2 +1)2.
ddz
(iz+4)3 (z2 +1
)2
= 3(iz+4)2 i(z2 +1
)2+(iz+4)3 2
(z2 +1
)2z
= 3i(iz+4)2 (z2 +1
)2+4z(iz+4)3 (
z2 +1)
= (iz+4)2 (z2 +1
)(3iz2 +3i+4iz2 +16z
)= (iz+4)2 (
z2 +1)(
7iz2 +16z+3i)
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Example (derivatives work just like they did in calculus).
Find thederivative of f (x) = (iz+4)3 (
z2 +1)2.
ddz
(iz+4)3 (z2 +1
)2
= 3(iz+4)2 i(z2 +1
)2+(iz+4)3 2
(z2 +1
)2z
= 3i(iz+4)2 (z2 +1
)2+4z(iz+4)3 (
z2 +1)
= (iz+4)2 (z2 +1
)(3iz2 +3i+4iz2 +16z
)= (iz+4)2 (
z2 +1)(
7iz2 +16z+3i)
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Example (derivatives work just like they did in calculus). Find thederivative of f (x) = (iz+4)3 (
z2 +1)2.
ddz
(iz+4)3 (z2 +1
)2
= 3(iz+4)2 i(z2 +1
)2+(iz+4)3 2
(z2 +1
)2z
= 3i(iz+4)2 (z2 +1
)2+4z(iz+4)3 (
z2 +1)
= (iz+4)2 (z2 +1
)(3iz2 +3i+4iz2 +16z
)= (iz+4)2 (
z2 +1)(
7iz2 +16z+3i)
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Example (derivatives work just like they did in calculus). Find thederivative of f (x) = (iz+4)3 (
z2 +1)2.
ddz
(iz+4)3 (z2 +1
)2
= 3(iz+4)2 i(z2 +1
)2+(iz+4)3 2
(z2 +1
)2z
= 3i(iz+4)2 (z2 +1
)2+4z(iz+4)3 (
z2 +1)
= (iz+4)2 (z2 +1
)(3iz2 +3i+4iz2 +16z
)= (iz+4)2 (
z2 +1)(
7iz2 +16z+3i)
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Example (derivatives work just like they did in calculus). Find thederivative of f (x) = (iz+4)3 (
z2 +1)2.
ddz
(iz+4)3 (z2 +1
)2
= 3(iz+4)2 i(z2 +1
)2
+(iz+4)3 2(z2 +1
)2z
= 3i(iz+4)2 (z2 +1
)2+4z(iz+4)3 (
z2 +1)
= (iz+4)2 (z2 +1
)(3iz2 +3i+4iz2 +16z
)= (iz+4)2 (
z2 +1)(
7iz2 +16z+3i)
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Example (derivatives work just like they did in calculus). Find thederivative of f (x) = (iz+4)3 (
z2 +1)2.
ddz
(iz+4)3 (z2 +1
)2
= 3(iz+4)2 i(z2 +1
)2+(iz+4)3 2
(z2 +1
)2z
= 3i(iz+4)2 (z2 +1
)2+4z(iz+4)3 (
z2 +1)
= (iz+4)2 (z2 +1
)(3iz2 +3i+4iz2 +16z
)= (iz+4)2 (
z2 +1)(
7iz2 +16z+3i)
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Example (derivatives work just like they did in calculus). Find thederivative of f (x) = (iz+4)3 (
z2 +1)2.
ddz
(iz+4)3 (z2 +1
)2
= 3(iz+4)2 i(z2 +1
)2+(iz+4)3 2
(z2 +1
)2z
= 3i(iz+4)2 (z2 +1
)2+4z(iz+4)3 (
z2 +1)
= (iz+4)2 (z2 +1
)(3iz2 +3i+4iz2 +16z
)= (iz+4)2 (
z2 +1)(
7iz2 +16z+3i)
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Example (derivatives work just like they did in calculus). Find thederivative of f (x) = (iz+4)3 (
z2 +1)2.
ddz
(iz+4)3 (z2 +1
)2
= 3(iz+4)2 i(z2 +1
)2+(iz+4)3 2
(z2 +1
)2z
= 3i(iz+4)2 (z2 +1
)2+4z(iz+4)3 (
z2 +1)
= (iz+4)2 (z2 +1
)(3iz2 +3i+4iz2 +16z
)
= (iz+4)2 (z2 +1
)(7iz2 +16z+3i
)
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
logo1
Derivatives Differentiation Formulas
Example (derivatives work just like they did in calculus). Find thederivative of f (x) = (iz+4)3 (
z2 +1)2.
ddz
(iz+4)3 (z2 +1
)2
= 3(iz+4)2 i(z2 +1
)2+(iz+4)3 2
(z2 +1
)2z
= 3i(iz+4)2 (z2 +1
)2+4z(iz+4)3 (
z2 +1)
= (iz+4)2 (z2 +1
)(3iz2 +3i+4iz2 +16z
)= (iz+4)2 (
z2 +1)(
7iz2 +16z+3i)
Bernd Schroder Louisiana Tech University, College of Engineering and Science
Derivatives of Complex Functions
Recommended